Александр Петров - Гравитация От хрустальных сфер до кротовых нор
Аркадий Стругацкий, Борис Стругацкий «Понедельник начинается в субботу»
Как мы уже отметили, в СТО пространство и время нужно рассматривать как единый четырёхмерный континуум — его называют пространством Минковского. Тогда непривычные (для бытового восприятия) свойства теории объяснять и интерпретировать значительно легче. Пространство Минковского представляют в виде диаграммы
Рис. 5.2. Путь частицы на диаграмме пространство–время
с временной и пространственными осями. На временной оси в качестве отсчёта используется время, умноженное на скорость света — ct, это упрощает анализ, поскольку все данные имеют одинаковую размерность. Пространственные координаты, также для простоты, часто представлены только координатой x, хотя, конечно, подразумеваются все три. Кроме того, в отличие от общепринятых диаграмм, здесь роль функции играет время, а аргумента — пространственные координаты.
Диаграмма пространства Минковского, точно так же, как обычные диаграммы, используется для отображения в виде графика пути, который проходит материальная частица с течением времени. Если частица движется равномерно и прямолинейно — её путь будет прямой линией, а котангенс угла наклона к оси x равен скорости частицы в долях скорости света. На рис. 5.2 изображён путь такой частицы от начала координат до точки А. Прямые, направленные под углом 45°, отображают пути фотонов, движущихся со скоростью света как через начало координат, так и через точку А в разные стороны. Позже мы определим такие «фигуры» как световые конусы. Движение частицы от точки А возможно только внутри конуса, поскольку её скорость не может превышать световую.
Если частица движется произвольно, то её путь будет представлен кривой, а котангенс угла наклона касательной к оси x в какой‑либо точке будет равен скорости частицы в момент, соответствующий этой точке.
Как в СТО, так и в общей теории относительности (мы увидим это позднее) ключевым понятием является метрическое пространство. Под этим понимается некое множество точек, переход между которыми осуществляется непрерывным образом и определено понятие расстояния между ними. Вспомним обычное пространство Евклида. Квадрат расстояния r между началом координат и точкой с декартовыми координатами х, у, z определяется по правилу: r2 = х2+ у2+ z2. Эта величина всегда положительная, за исключением случая, когда длина равна нулю.
Пространство Минковского тоже метрическое. Однако в нем расстояние между двумя точками называется интервалом и определяется непривычным образом. Квадрат интервала s между началом координат и какой‑либо точкой 4–мерного пространства–времени (рис. 5.2) определяется по правилу:
s2 = c2t2 — х2 — у2 — z2 = c2t2 — r2.
Временную координату ct и пространственные координаты Декарта х, у, и z, представляющие единую координатную сетку в пространстве Минковского, обычно называют координатами Лоренца. Как видно, временная и пространственные части в определении интервала входят с разными знаками. Из‑за этого квадрат интервала может быть положительным, нулевым и даже отрицательным. Пространства, в которых расстояния определяются таким образом, называются псевдоевклидовыми.
Итак, пространство Минковского — это псевдоевклидово метрическое пространство, объединяющее время (длительность) и пространство (протяжённость, 3–мерное пространство Евклида).
Точки в пространстве Минковского называют событиями или мировыми точками. Таким образом, каждой мировой точке соответствует момент времени и точка в 3–мерном пространстве. А интервал — это расстояние между двумя мировыми точками или, в ряде интересных случаев, промежуток времени между двумя событиями.
Теперь попытаемся понять, как в рамках исходной системы отсчёта в пространстве Минковского выглядит другая инерциальная система отсчёта. Оси 0ct и 0x (см. рис. 5.2) в исходной системе образуют базис. Путь наблюдателя, связанного с исходной системой, направлен вдоль оси 0ct. Для него же ось 0x и параллельные ей линии — это сечения одновременности. Наблюдатель другой инерциальной системы движется прямолинейно и равномерно по отношению к первой. Тогда ясно, что его путь направлен вдоль наклонной прямой, например, 0A на рис. 5.2. Для движущегося наблюдателя сечения одновременности также наклонятся. Остаётся сделать вывод: чтобы перейти к базису движущейся инерциальной системы отсчёта нужно осуществить поворот исходного базиса. При этом угол поворота соответствует относительной скорости между системами. Вспомним, что две системы отсчёта связаны преобразованиями Лоренца. Именно поэтому такие повороты базиса называют лоренцевыми вращениями.
На рис. 5.3 на диаграмме пространства Минковского изображён базис неподвижной системы K с не штрихованными координатами, и базис движущейся в направлении оси 0x со скоростью V инерциальной системы отсчёта K’ с штрихованными координатами. Теперь выпишем преобразования Лоренца от одних координат к другим:
Преобразования дают возможность заключить, что обе системы отсчёта эквивалентны. Действительно, если выразить штрихованные координаты через не штрихованные, то получим те же самые преобразования:
с заменой знака «плюс» перед V на «минус» — по отношению к штрихованной системе не штрихов энная движется в противоположном направлении.
Одно из достоинств геометрической интерпретации пространства Минковского состоит в том, что лоренц-инвариантность выражается в инвариантности относительно лоренцевых вращений. В частности, значение интервала, записанного выше, не изменяется после поворота базиса, хотя теперь выражается через новые (штрихованные) координаты нового базиса. Чтобы убедиться в этом нужно лоренцевы преобразования (А) подставить в выражение для квадрата интервала, записанного выше. В результате получим:
то есть s = s'.
В инвариантности интервала нет ничего удивительного — это лишь геометрическое свойство пространства Минковского, а не следствие каких‑то принципов. Действительно, поскольку интервал — это длина в метрическом пространстве, то эта величина не зависит от способов измерения (использования той или иной координатной сетки). Замечательно другое — известные геометрические свойства псевдоевклидовых пространств оказались весьма полезными для описания СТО.
Эффекты сокращения длины, замедления времени, сложение скоростей в СТО являются следствием лоренц-инвариантности. Остановимся на первых двух. Рассмотрим линейку, собственная длина которой l0 — это длина в её системе покоя. Пусть система покоя для выбранной линейка — это система K' , которая движется относительно нас (системы К) со скоростью V. Тогда, если кон
Рис. 5.3. Переход к другой инерциальной системе на диаграмме пространства Минковского
цы линейки имеют координаты x1' и x2', то l0 = x2' - x1'. Определим длину этого отрезка с точки зрения наблюдателя системы K. Для этого нужно в один и тот же (!) момент времени t определить координаты концов линейки x2 и x1 в системе К. Тогда для нас длина линейки буде иметь величину l = x2 — x1. Чтобы определить каждое из значений x2 и x1 через соответствующие штрихованные координаты используем первую часть преобразований Лоренца (Б) каждый раз с одним и тем же значением t. Затем составим разницу и получим l = l0sqrt(1–V2/c2), то есть для нас (покоящейся системы K) движущаяся линейка становится короче.