Поднятие и опускание индексов

Поднятие и опускание индексов — это операция в тензорном исчислении и дифференциальной геометрии, заключающаяся в изменении типа тензора путём преобразования его ковариантных индексов в контравариантные или наоборот с помощью метрического тензора. Данная процедура позволяет переходить между различными представлениями одного и того же геометрического или физического объекта, сохраняя его инвариантную сущность.

Определение и основные понятия

В основе операции лежит понятие метрического тензора \( g_{ij} \) (или \( g^{ij} \)), который задаёт способ измерения расстояний и углов в римановом или псевдоримановом пространстве. Метрический тензор является симметричным, невырожденным и имеет обратный тензор, обозначаемый \( g^{ij} \). Поднятие индекса — это умножение ковариантного тензора на контравариантный метрический тензор \( g^{ij} \), а опускание — умножение контравариантного тензора на ковариантный метрический тензор \( g_{ij} \).

Формально для произвольного тензора \( T \) с индексом \( i \) операция записывается следующим образом:

• Поднятие индекса: \( T^{i} = g^{ij} T_{j} \)
• Опускание индекса: \( T_{i} = g_{ij} T^{j} \)

Здесь используется правило суммирования Эйнштейна: по повторяющимся индексам (один верхний, один нижний) производится суммирование. В результате операции тензор меняет свой ранг: ковариантный индекс становится контравариантным, и наоборот.

История

Понятие поднятия и опускания индексов возникло в рамках развития тензорного анализа в конце XIX — начале XX века. Основы тензорного исчисления были заложены Грегорио Риччи-Курбастро и Туллио Леви-Чивитой, которые в 1901 году опубликовали работу «Методы абсолютного дифференциального исчисления». В ней впервые были систематизированы операции с тензорами, включая использование метрического тензора для изменения типа индексов.

Широкое применение эти операции получили в общей теории относительности Альберта Эйнштейна (1915 год), где метрический тензор описывает гравитационное поле, а поднятие и опускание индексов используются для преобразования компонент тензора энергии-импульса, тензора кривизны Римана и других величин. Впоследствии концепция была распространена на дифференциальную геометрию, теорию поля и квантовую механику.

Математическая формализация

Метрический тензор и его свойства

Метрический тензор \( g_{ij} \) — это симметричный тензор второго ранга, который в каждой точке многообразия задаёт билинейную форму на касательном пространстве. Его компоненты зависят от выбора системы координат. Обратный метрический тензор \( g^{ij} \) определяется соотношением: \[ g^{ik} g_{kj} = \delta^{i}_{j} \] где \( \delta^{i}_{j} \) — символ Кронекера (единичная матрица).

Процедура поднятия индекса

Для поднятия индекса у ковариантного тензора \( T_{j} \) выполняется свёртка с контравариантным метрическим тензором: \[ T^{i} = g^{ij} T_{j} \] В результате получается контравариантный тензор первого ранга (вектор). Для тензоров более высокого ранга операция применяется по каждому индексу отдельно. Например, для тензора второго ранга \( T_{ij} \) поднятие первого индекса даёт: \[ T^{i}_{\ j} = g^{ik} T_{kj} \] Поднятие обоих индексов: \[ T^{ij} = g^{ik} g^{jl} T_{kl} \]

Процедура опускания индекса

Опускание индекса выполняется путём свёртки контравариантного тензора с ковариантным метрическим тензором: \[ T_{i} = g_{ij} T^{j} \] Для тензора второго ранга \( T^{ij} \) опускание первого индекса: \[ T_{i}^{\ j} = g_{ik} T^{kj} \] Опускание обоих индексов: \[ T_{ij} = g_{ik} g_{jl} T^{kl} \]

Инвариантность

Операции поднятия и опускания индексов являются взаимно обратными: последовательное поднятие и опускание одного и того же индекса возвращает исходный тензор. Это следует из свойства метрического тензора \( g^{ik} g_{kj} = \delta^{i}_{j} \). Таким образом, поднятие и опускание индексов сохраняют геометрическую сущность объекта, меняя лишь его координатное представление.

Применение в физике

Общая теория относительности

В общей теории относительности метрический тензор \( g_{\mu\nu} \) (где греческие индексы принимают значения 0,1,2,3) описывает геометрию пространства-времени. Поднятие и опускание индексов используется для преобразования компонент тензора энергии-импульса \( T_{\mu\nu} \), тензора кривизны Римана \( R^{\rho}_{\ \sigma\mu\nu} \) и других величин. Например, тензор Риччи \( R_{\mu\nu} \) получается свёрткой тензора Римана: \( R_{\mu\nu} = R^{\rho}_{\ \mu\rho\nu} \), а его контравариантная форма \( R^{\mu\nu} \) — через поднятие индексов.

Электродинамика

В специальной теории относительности тензор электромагнитного поля \( F_{\mu\nu} \) — это антисимметричный тензор второго ранга. Его компоненты преобразуются с помощью метрического тензора Минковского \( \eta_{\mu\nu} = \text{diag}(1, -1, -1, -1) \). Поднятие индексов даёт контравариантный тензор \( F^{\mu\nu} \), который используется в уравнениях Максвелла в ковариантной форме.

Квантовая теория поля

В квантовой теории поля поднятие и опускание индексов применяется для работы с полями различных спинов. Например, для векторного поля \( A_{\mu} \) (потенциал электромагнитного поля) поднятие индекса даёт \( A^{\mu} \), что соответствует контравариантному вектору. Операции также используются в лагранжевом формализме для построения скалярных величин (инвариантов).

Примеры

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

Рассмотрим двумерное евклидово пространство с метрическим тензором \( g_{ij} = \delta_{ij} \) (единичная матрица). В декартовых координатах \( g_{ij} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \), обратный тензор \( g^{ij} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \). Для ковариантного вектора \( T_{j} = (a, b) \) поднятие индекса даёт: \[ T^{i} = g^{ij} T_{j} = (a, b) \] Таким образом, в евклидовом пространстве с декартовыми координатами ковариантные и контравариантные компоненты совпадают.

Пример 2: Опускание индекса в пространстве Минковского

В пространстве-времени Минковского метрический тензор \( \eta_{\mu\nu} = \text{diag}(1, -1, -1, -1) \). Для контравариантного 4-вектора \( T^{\mu} = (t, x, y, z) \) опускание индекса даёт: \[ T_{\mu} = \eta_{\mu\nu} T^{\nu} = (t, -x, -y, -z) \] Это соответствует ковариантному представлению вектора, где временная компонента остаётся неизменной, а пространственные меняют знак.

Пример 3: Тензор кривизны

Тензор кривизны Римана \( R^{\rho}_{\ \sigma\mu\nu} \) имеет четыре индекса. Поднятие или опускание любого из них с помощью метрического тензора даёт различные формы, например: \[ R_{\rho\sigma\mu\nu} = g_{\rho\lambda} R^{\lambda}_{\ \sigma\mu\nu} \] Эта форма используется для вычисления скалярной кривизны \( R = g^{\mu\nu} R_{\mu\nu} \).

Интересные факты

• Операции поднятия и опускания индексов являются частным случаем изоморфизма между касательным и кокасательным пространствами, задаваемого метрическим тензором. Этот изоморфизм называется «музыкальным изоморфизмом»: поднятие индекса обозначается символом \( \sharp \) (диез), а опускание — \( \flat \) (бемоль).
• В римановой геометрии метрический тензор может быть неевклидовым, что приводит к различию между ковариантными и контравариантными компонентами. Например, в сферических координатах на сфере метрика имеет вид \( g_{ij} = \text{diag}(1, r^2) \), и поднятие индекса меняет компоненты вектора.
• В квантовой механике операция поднятия и опускания индексов используется для работы со спинорами, где метрика задаётся матрицами Паули.

Критика и ограничения

Операции поднятия и опускания индексов корректно определены только в пространствах, снабжённых невырожденным метрическим тензором. В пространствах без метрики (например, в аффинных пространствах) такие операции не имеют смысла, так как нет способа сопоставить ковариантные и контравариантные компоненты. Кроме того, в псевдоримановых пространствах (например, в пространстве-времени Минковского) метрика не является положительно определённой, что может приводить к изменению знака компонент при опускании индекса, как показано в примере 2. Это не является ошибкой, а отражает геометрические свойства пространства.

Источники

• Риччи-Курбастро Г., Леви-Чивита Т. «Методы абсолютного дифференциального исчисления» (1901).
• Мизнер Ч., Торн К., Уилер Дж. «Гравитация» (1973).
• Дубровин Б. А., Новиков С. П., Фоменко А. Т. «Современная геометрия: методы и приложения» (1986).
• Ландау Л. Д., Лифшиц Е. М. «Теоретическая физика. Том 2: Теория поля» (1973).
• Пенроуз Р. «Путь к реальности, или Законы, управляющие Вселенной» (2004).