Метрический тензор: аналитическая геометрия искривленных пространств

Квадрат интервала и элементы длины дуги

В основе метрической тензорной алгебры лежит понятие бесконечно малого расстояния (интервала) между двумя бесконечно близкими точками пространства. В плоской декартовой системе квадрат длины дуги вычисляется элементарно: $ds^2 = dx^2 + dy^2 + dz^2$. В обобщенном криволинейном пространстве (римановом многообразии), которое описывается произвольными координатами $u^1, u^2, \dots, u^n$, эта формула превращается в дифференциальную квадратичную форму: $ds^2 = \sum_{i,j} g_{ij} du^i du^j$. Здесь коэффициенты $g_{ij}$ образуют симметричную матрицу метрического тензора. Этот тензор в каждой конкретной точке пространства диктует локальные правила измерения расстояний. Поскольку пространство искривлено, матрица $g_{ij}$ не является константой; ее элементы непрерывно изменяются от точки к точке, отражая изгибы геометрии.

Ковариантные и контравариантные координаты

Введение метрического тензора навсегда разделяет векторы в аналитической геометрии на два фундаментальных класса: контравариантные векторы (координаты которых записываются с верхними индексами, например, вектор скорости $v^i$) и ковариантные векторы или ковекторы (с нижними индексами, например, вектор градиента $p_i$). В плоском прямоугольном пространстве между ними нет алгебраической разницы. Однако в кривом пространстве они преобразуются при смене координат по разным правилам. Метрический тензор выполняет роль математического моста между этими двумя мирами: умножение контравариантного вектора на метрический тензор «опускает» индекс, превращая его в ковариантный ковектор: $v_i = \sum_j g_{ij} v^j$. Обратная матрица метрического тензора $g^{ij}$ выполняет обратную операцию «поднятия» индекса.

Вычисление углов и символы Кристоффеля

Скалярное произведение двух векторов $A$ и $B$ в криволинейных координатах алгебраически определяется именно через метрический тензор: $(A, B) = \sum_{i,j} g_{ij} A^i B^j$. Это позволяет строго вычислять углы между пересекающимися кривыми на любой поверхности, приравнивая косинус угла к скалярному произведению, деленному на длины векторов. Но метрический тензор определяет не только статические свойства. Если мы хотим перемещать вектор вдоль искривленной поверхности так, чтобы он оставался «параллельным самому себе» (параллельный перенос), мы должны учитывать кривизну базиса. Для этого из пространственных производных метрического тензора $g_{ij}$ вычисляются Символы Кристоффеля. Они описывают фиктивные силы (например, силу Кориолиса или центробежную силу), возникающие просто из-за кривизны выбранной системы координат.

Тензор кривизны Римана и гравитация

Высшим проявлением аналитической мощи метрического тензора является Тензор кривизны Римана. Он алгебраически конструируется из сложной комбинации вторых и первых производных матрицы $g_{ij}$. Если тензор Римана тождественно равен нулю во всех точках, пространство является абсолютно плоским (евклидовым), как бы причудливо ни была скручена система координат. Если же компоненты тензора Римана отличны от нуля, пространство обладает истинной, внутренней кривизной. Именно эта математическая архитектура позволила Альберту Эйнштейну создать Общую теорию относительности. В уравнениях Эйнштейна гравитация больше не рассматривается как таинственная сила притяжения; гравитация — это просто искривление четырехмерного пространства-времени, форма которого полностью и строго описывается 10 независимыми компонентами метрического тензора $g_{ij}$.