Пространство Минковского и псевдоевклидова геометрия

Сигнатура метрики и индекс инерции

В основе пространства Минковского лежит симметричная билинейная форма (метрический тензор), которая в каноническом базисе имеет на главной диагонали не только положительные единицы. В классической физической нотации четырехмерное пространство Минковского задается диагональной матрицей с элементами (1, -1, -1, -1) — одна временная координата и три пространственные. Это означает, что «квадрат длины» четырехмерного вектора (ct, x, y, z) вычисляется по формуле s^2 = (ct)^2 - x^2 - y^2 - z^2. Набор знаков метрики называется сигнатурой пространства. Согласно закону инерции Сильвестра, какой бы базис мы ни выбрали в этом пространстве, количество плюсов и минусов в метрике всегда останется неизменным. Это фундаментальный инвариант геометрии Вселенной.

Световой конус и типы векторов

Из-за минусов в метрике все векторы в пространстве Минковского делятся на три принципиально разных класса, что немыслимо в обычной геометрии. Если квадрат длины вектора больше нуля (s^2 > 0), он называется времениподобным. События, соединенные такими векторами, могут причинно-следственно влиять друг на друга (можно долететь на ракете). Если квадрат длины меньше нуля (s^2 < 0), вектор называется пространственноподобным. Такие события не связаны причинностью. Самые удивительные векторы — это те, чей квадрат длины в точности равен нулю (s^2 = 0), хотя сами векторы не нулевые. Они называются светоподобными (изотропными). Множество всех таких векторов образует трехмерную поверхность, называемую световым конусом, которая описывает пути распространения света в вакууме.

Преобразования Лоренца как ортогональные матрицы

В классическом евклидовом пространстве преобразования, сохраняющие длины векторов и углы между ними, описываются ортогональными матрицами (геометрически это вращения). В пространстве Минковского преобразования, сохраняющие псевдоевклидово скалярное произведение (интервал s^2), называются преобразованиями Лоренца. С точки зрения линейной алгебры, это матрицы Lambda, удовлетворяющие условию: Lambda^T * g * Lambda = g, где g — матрица метрического тензора Минковского. Эти матрицы описывают переход между различными инерциальными системами отсчета. По сути, знаменитые физические эффекты замедления времени и лоренцева сокращения длины — это просто геометрическое следствие поворотов гиперболических углов в четырехмерном псевдоевклидовом пространстве.

Изотропный базис и геометрические особенности

Псевдоевклидова алгебра порождает множество явлений, противоречащих нашей интуиции. Например, неравенство треугольника в пространстве Минковского для времениподобных векторов работает «в обратную сторону»: длина суммы двух векторов может быть больше, чем сумма их длин (именно на этом математическом парадоксе основан парадокс близнецов в теории относительности). Кроме того, в таком пространстве можно построить базис, целиком состоящий из векторов нулевой длины (изотропный базис). Проекции векторов и ортогонализация Грама-Шмидта также требуют модификации, поскольку проекция на изотропный вектор не определена из-за деления на нулевой квадрат длины. Изучение этих алгебраических структур обязательно для студентов-физиков во всем мире.