Почему время можно считать четвёртой координатой — наравне с длиной, шириной и высотой?
Чтобы назначить встречу, мало сказать «на углу той улицы» — нужно ещё «в три часа». Место задают три числа, момент — четвёртое. Обычно мы держим их порознь: пространство отдельно, время отдельно. А что, если сшить их в одно?
Именно это в 1908 году предложил Герман Минковский — выпускник Кёнигсбергского университета и бывший учитель Эйнштейна. Он показал: пространство и время удобно рассматривать как единую четырёхмерную структуру, где каждое событие — точка с четырьмя координатами $(ct, x, y, z)$ (время умножают на скорость света $c$, чтобы все четыре мерились в одних единицах — метрах). Эта идея и стала математическим фундаментом специальной теории относительности.
Диаграмма Минковского: по вертикали — время (ct), по горизонтали — пространство. Световой конус (наклон 45°) делит события на достижимые (внутри) и недостижимые (снаружи).
Но если время и пространство перемешиваются, что вообще остаётся незыблемым? Минковский нашёл величину, на которой сходятся все наблюдатели.
В относительности два наблюдателя, летящие друг относительно друга, по-разному измеряют и расстояния, и промежутки времени: у одного линейка короче, у другого часы идут медленнее. Кажется, не за что ухватиться. Но одна величина у них всегда совпадает — пространственно-временной интервал:
Это как теорема Пифагора, но с минусами перед пространственными частями. В обычном пространстве длина отрезка одна для всех, как ни поворачивай оси; в пространстве-времени роль такой «длины» играет интервал — он не меняется, как ни «поворачивай» оси, переходя от одного наблюдателя к другому1. Время растягивается, длины сжимаются — а $\Delta s^2$ остаётся.
Знак интервала задаёт световой конус — границу причинности. Граница пробегается светом:
Внутри конуса ($\Delta s^2 > 0$) события можно соединить сигналом медленнее света — одно способно повлиять на другое. Снаружи ($\Delta s^2 < 0$) пришлось бы лететь быстрее света — связи нет. Так геометрия Минковского прямо чертит предел скорости передачи информации.
Где работает тот же закон?
Без поправок Минковского и Эйнштейна врала бы спутниковая навигация: на орбите время идёт чуть иначе, чем на земле, и без учёта этого GPS ошибался бы на километры за сутки. Тот же интервал — рабочий инструмент физики частиц, где частицы летают на околосветовых скоростях.
Пространственно-временной интервал $\Delta s^2 = c^2\Delta t^2 - \Delta x^2 - \Delta y^2 - \Delta z^2$ инвариантен относительно преобразований Лоренца — он одинаков для всех инерциальных наблюдателей (Wikipedia, «Spacetime § Spacetime interval»; «Minkowski space»). ↩
У Минковского есть и совсем другой подарок математике — он связал геометрию с теорией чисел. Его теорема о выпуклом теле звучит почти как загадка: возьми центрально-симметричную выпуклую область вокруг начала координат в целочисленной решётке $\mathbb{Z}^n$. Если её объём достаточно велик —
$$ V > 2^n $$
— то область обязательно накроет хотя бы одну ненулевую точку решётки1. Чисто геометрическое условие на объём гарантирует существование целочисленного решения — мост между «непрерывным» и «дискретным».
Теорема Минковского: симметричная выпуклая область вокруг начала координат объёмом больше 2ⁿ обязательно содержит ненулевой узел целочисленной решётки.
Из этой идеи выросла целая «геометрия чисел». Сегодня она работает там, где меньше всего ждёшь: в основе решёточной криптографии (шифров, стойких к квантовому компьютеру) лежит та же геометрия целочисленных решёток, что Минковский придумал больше века назад.
Открытый вопрос
Минковский дважды соединил несоединимое: пространство со временем и геометрию с числами. Решёточная криптография обещает защиту от квантовых атак — но насколько она на самом деле надёжна, математики проверяют прямо сейчас, ровно теми же вопросами о точках в решётке.
Теорема Минковского о выпуклом теле: центрально-симметричное выпуклое множество объёмом $V > 2^n$ в $\mathbb{R}^n$ содержит ненулевую точку решётки $\mathbb{Z}^n$ — отправная теорема геометрии чисел (Wikipedia, «Minkowski's theorem»). ↩