Тензорное исчисление: от алгебры до тензора Риччи

Определение тензора: от векторов и ковекторов к полилинейным отображениям

Когда мы слышим слово «тензор», особенно в контексте машинного обучения, мы часто представляем себе многомерный массив чисел. Скаляр — это просто число (ранг 0), вектор — это столбец чисел (ранг 1), матрица — это таблица (ранг 2), а тензор — это «куб» из чисел или структура более высокой размерности. Это удобное представление для программиста, но оно совершенно не объясняет, что такое тензор с точки зрения математики и физики.

Почему, например, Тензор Риччи является тензором, а произвольный набор чисел — нет? Ответ кроется в том, как эти объекты взаимодействуют с пространством и координатами. Чтобы понять это «углубленно», как вы просили, нам нужно отойти от массивов чисел и перейти к полилинейной алгебре.

В этой статье мы построим определение тензора с нуля, рассматривая его как геометрическую машину.

Векторное пространство: фундамент

Начнем с того, что нам уже знакомо — с векторов. В тензорном исчислении вектор — это не просто стрелочка. Это элемент векторного пространства . В этом пространстве мы можем складывать векторы и умножать их на числа (скаляры).

Чтобы описать вектор числами, нам нужен базис. Пусть у нас есть набор базисных векторов . Любой вектор можно представить как сумму:

Где:

— сам вектор (геометрический объект).

— базисные векторы (линейки, которыми мы измеряем пространство).

— компоненты вектора (числа, координаты).

— размерность пространства.

Обратите внимание: индекс у компонент вектора пишется сверху. Это важно. В тензорном исчислении положение индекса говорит о природе объекта.

Ковекторы: дуальное пространство

Вот здесь начинается магия, необходимая для понимания тензоров. Существует пространство, неразрывно связанное с , которое называется дуальным (или сопряженным) пространством, обозначаемым как . Элементы этого пространства называются ковекторами (или линейными формами, или 1-формами).

Что такое ковектор? Если вектор — это объект, который «торчит» в пространстве (стрелка), то ковектор — это функция, которая «ест» вектор и выдает число.

Определение: Ковектор — это линейное отображение из в множество вещественных чисел .

Где:

— ковектор.

— векторное пространство, откуда берется аргумент.

— множество вещественных чисел (результат).

Линейность означает, что и .

!Визуализация различия между вектором и ковектором

У ковекторов тоже есть свой базис, который называют дуальным базисом и обозначают . Любой ковектор можно разложить по этому базису:

Где:

— компоненты ковектора.

— базисные ковекторы.

Заметьте: у компонент ковекторов индексы пишутся снизу ().

Взаимодействие вектора и ковектора

Когда ковектор действует на вектор , происходит операция, называемая сверткой. В координатах это выглядит как сумма произведений соответствующих компонент:

Где:

— скаляр, результат действия.

— компоненты ковектора (строка).

— компоненты вектора (столбец).

Это очень похоже на скалярное произведение, но на самом деле это более фундаментальная операция: спаривание элемента пространства и его дуального партнера.

Тензор как полилинейная машина

Теперь мы готовы дать строгое определение тензора. Тензор — это обобщение понятий вектора и ковектора.

Представьте себе «черный ящик» (машину), у которого есть несколько входных отверстий (слотов). В одни слоты мы можем засовывать векторы, а в другие — ковекторы. Когда все слоты заполнены, машина выплевывает одно единственное число (скаляр).

Определение: Тензор типа (или ранга ) — это полилинейное отображение, которое берет на вход ковекторов и векторов и возвращает число.

Математически это записывается так:

Где:

— тензор.

— пространство ковекторов (сюда мы подаем штук).

— пространство векторов (сюда мы подаем штук).

— отображение возвращает вещественное число.

Слово «полилинейное» означает, что этот ящик линеен по каждому своему аргументу в отдельности. Если вы удвоите один из входных векторов, результат на выходе тоже удвоится.

!Схема работы тензора как машины, принимающей векторы и ковекторы

Примеры через определение машины:

Скаляр (Тензор ранга 0): Это машина без слотов. Она уже является числом. Тип .

Ковектор (Тензор ранга 1, тип 0,1): Это машина, которая имеет 1 слот для вектора. Вы даете ей вектор — она дает число. Это в точности определение ковектора, которое мы дали выше.

Вектор (Тензор ранга 1, тип 1,0): Это немного сложнее для восприятия, но математически вектор можно рассматривать как машину, которая ждет ковектор, чтобы выдать число.

Линейный оператор (Тензор ранга 2, тип 1,1): Это машина, которая берет 1 ковектор и 1 вектор. В матричном виде это . Мы можем рассматривать матрицу как объект, который ждет вектор и ковектор (чтобы спроецировать результат), выдавая число .

Откуда берутся индексы?

Почему мы обычно видим тензоры как , а не как абстрактные машины ? Потому что мы работаем в конкретной системе координат (базисе).

Компоненты тензора — это просто результат тестирования нашей «машины» на базисных векторах и ковекторах. Если у нас есть тензор типа , то его компоненты определяются так:

Где:

— число, стоящее в -й строке и -м столбце (если представлять матрицей).

— действие тензора как функции.

— -й базисный ковектор.

— -й базисный вектор.

Мы просто «скармливаем» тензору базисные элементы, и то, что он выплевывает, мы записываем в таблицу (или гиперкуб) чисел.

Тензор Риччи: углубленный взгляд

Теперь вернемся к вашему вопросу о Тензоре Риччи. Что это такое в рамках нашего определения?

Тензор Риччи, обозначаемый обычно как , является тензором типа .

Это означает, что Тензор Риччи — это машина с двумя входными слотами для векторов.

Где:

— тензор Риччи.

— касательное пространство (пространство векторов) в точке.

Вы даете ему два вектора и , и он возвращает число .

Физический смысл этого числа: В Общей теории относительности тензор Риччи описывает, как искажается объем небольшого шарика из пробных частиц по мере их движения во времени. Если , то объем шарика уменьшается (гравитация притягивает частицы друг к другу). Если равен нулю — объем сохраняется (плоское пространство или вакуум).

Почему это тензор? Потому что это соотношение (между векторами и изменением объема) не зависит от того, какую систему координат вы выберете. Если вы повернете голову (смените базис), компоненты изменятся, координаты векторов изменятся, но результат действия машины — число, описывающее реальное физическое сжатие объема — останется тем же самым.

Резюме

Векторы () и ковекторы () — это кирпичики. Векторы — это стрелки, ковекторы — это измерители (слои).

Тензор — это полилинейная машина (функция), которая принимает на вход определенное количество векторов и ковекторов и выдает скаляр.

Компоненты тензора () — это числа, которые получаются, если вставить в эту машину базисные элементы.

Тензор Риччи — это конкретный пример машины с двумя слотами для векторов, которая измеряет кривизну пространства (изменение объема).

Главное свойство тензора — его независимость от наблюдателя. Машина существует объективно, а числа (компоненты), которыми мы её описываем, зависят от нашего выбора линейки (базиса).

Индексная нотация Эйнштейна и законы преобразования компонент при смене базиса

В предыдущей лекции мы определили тензор как «геометрическую машину», которая принимает векторы и ковекторы и выдает скаляр. Мы выяснили, что эта машина существует независимо от того, как мы на нее смотрим. Однако, чтобы проводить расчеты (например, в Общей теории относительности или механике сплошных сред), нам приходится спускаться с небес абстракции на землю чисел. Нам нужно выбрать базис (систему координат).

Как только мы выбираем базис, тензор превращается в набор компонент — чисел с индексами, например . Но если мы сменим базис (повернем голову, перейдем от метров к дюймам), эти числа изменятся. Как именно? И как не запутаться в нагромождении сумм?

Сегодня мы освоим язык, на котором разговаривают тензоры — нотацию Эйнштейна, и узнаем, как компоненты тензоров реагируют на смену точки зрения.

Соглашение Эйнштейна о суммировании

Альберт Эйнштейн, работая над Общей теорией относительности, постоянно сталкивался с громоздкими формулами, содержащими множество знаков суммы (). В какой-то момент он заметил закономерность и в шутку сказал, что сделал «великое открытие в математике» — решил просто не писать знак суммы.

Правило

В тензорном анализе действует правило: если в одночлене один и тот же индекс встречается дважды — один раз сверху и один раз снизу — то по этому индексу подразумевается суммирование.

Рассмотрим выражение для свертки ковектора и вектора, которое мы видели в прошлой статье:

Где:

— компоненты ковектора.

— компоненты вектора.

— знак суммы от 1 до (размерности пространства).

В нотации Эйнштейна мы просто убираем значок суммы:

Где:

— это сокращенная запись суммы .

Это работает и для матричного умножения. Пусть матрица действует на вектор , получая вектор . В обычной записи это . В тензорной (с правильным расположением индексов):

Где:

— -я компонента результирующего вектора.

— компоненты матрицы (оператора).

— компоненты исходного вектора.

Индекс повторяется (сверху у , снизу у ), значит, по нему идет суммирование.

!Визуализация принципа свертки индексов: повторяющиеся индексы «схлопываются», свободные остаются.

Немые и свободные индексы

Важно различать два типа индексов:

Немой индекс (Dummy index): Тот, по которому идет суммирование. Он встречается дважды. Его можно переименовать в любую другую букву, смысл выражения не изменится.

Все эти выражения означают одно и то же число.

Свободный индекс (Free index): Тот, который встречается только один раз в каждом слагаемом уравнения. Он не суммируется. Он определяет, что уравнение справедливо для каждой компоненты.

Здесь — немой индекс (по нему сумма), а — свободный. Это уравнение задает вектор , у которого есть компоненты .

> Правило проверки: В любом правильном тензорном уравнении свободные индексы слева и справа должны быть одинаковыми и стоять на одной высоте.

Смена базиса: суть относительности

Тензор — это объективная реальность. Вектор скорости летящего камня не зависит от того, кто на него смотрит. Но компоненты вектора (числа ) зависят от выбранной системы координат.

Представьте, что мы переходим от «старого» базиса к «новому» базису .

Новые базисные векторы выражаются через старые с помощью матрицы перехода :

Где:

— -й вектор нового базиса.

— -й вектор старого базиса.

— элемент матрицы перехода (число), показывающее вклад старого вектора в новый вектор .

По индексу идет суммирование.

Теперь главный вопрос: если мы изменили линейку (базис), как изменятся результаты измерений (компоненты)?

Контравариантные векторы (Индексы сверху)

Допустим, наш вектор — это стрелка длиной 1 метр. В старом базисе (где базисный вектор — 1 метр) его компонента равна 1. Теперь мы меняем базис: берем новые векторы длиной 100 см (то есть уменьшаем единицу измерения? Нет, допустим, мы берем базис в сантиметрах, тогда базисный вектор стал маленьким, а число стало большим. Или наоборот).

Давайте проще. Пусть новый базисный вектор в 2 раза длиннее старого: . Чтобы описать ту же самую физическую стрелку , нам нужно взять в 2 раза меньше этого нового базисного вектора.

Вывод: Компоненты вектора меняются наоборот (противоположно) изменению базиса. Если базис растягивается, компоненты сжимаются.

Именно поэтому векторы с верхним индексом называют контравариантными (от лат. contra — против, vario — изменяюсь).

Закон преобразования для компонент вектора:

Где:

— компонента вектора в новом базисе.

— элемент обратной матрицы перехода.

— компонента вектора в старом базисе.

Ковариантные ковекторы (Индексы снизу)

А что с ковекторами (нижние индексы)? Вспомним, что ковектор — это линейная функция (или набор плоскостей уровня). Оказывается, компоненты ковектора меняются так же, как и базисные векторы.

Если базисные векторы удлиняются, то и компоненты ковектора «удлиняются» (увеличиваются), чтобы скомпенсировать уменьшение компонент вектора при свертке .

Векторы с нижним индексом называют ковариантными (от лат. co — совместно, vario — изменяюсь).

Закон преобразования для компонент ковектора:

Где:

— компонента ковектора в новом базисе.

— элемент прямой матрицы перехода (той же, что меняла базисные векторы).

— компонента в старом базисе.

Заметьте изящество нотации: индекс суммируется. В формуле для вектора мы были вынуждены использовать обратную матрицу, чтобы индексы «сошлись» по смыслу, а здесь мы используем прямую.

Общий закон преобразования тензора

Теперь мы можем дать определение тензора, которое так любят физики. Часто в учебниках можно встретить фразу: «Тензор — это объект, который преобразуется как тензор». Звучит как тавтология, но теперь мы можем ее расшифровать.

Тензор ранга (с верхними индексами и нижними) — это объект, компоненты которого при смене базиса преобразуются следующим образом:

Каждый верхний индекс требует умножения на обратную матрицу перехода (). Каждый нижний индекс требует умножения на прямую матрицу перехода ().

Рассмотрим пример для тензора (один верхний, один нижний):

Где:

— компонента в новом базисе.

— трансформирует верхний индекс в (контравариантно).

— трансформирует нижний индекс в (ковариантно).

— компонента в старом базисе.

По индексам и идет суммирование (они немые).

Пример: Тензор Риччи

Вернемся к вашему вопросу о Тензоре Риччи . У него два нижних индекса. Значит, это дважды ковариантный тензор. Его закон преобразования:

Где:

Мы используем две копии прямой матрицы перехода .

Одна копия превращает индекс в .

Вторая копия превращает индекс в .

Это гарантирует, что физическая величина (кривизна в направлении вектора) останется неизменным скаляром, потому что изменения в (умножение на ) в точности сократятся с изменениями в (умножение на ).

Резюме

Нотация Эйнштейна: Повторение индекса сверху и снизу означает сумму. Это убирает визуальный шум.

Верхний индекс (): Контравариантный. Компоненты меняются противоположно базису (через ). Это векторы.

Нижний индекс (): Ковариантный. Компоненты меняются так же, как базис (через ). Это ковекторы.

Тензор: Это объект, у которого каждый индекс преобразуется по своему правилу (верхний — через обратную матрицу, нижний — через прямую). Это обеспечивает независимость физических законов от выбора координат.

Теперь, когда мы понимаем язык индексов, в следующей статье мы сможем перейти к операциям над тензорами: как их умножать, сворачивать и почему метрический тензор — это главный инструмент для жонглирования индексами.

Метрический тензор: измерение расстояний, углов и операции с индексами

В предыдущих статьях мы построили мощный аппарат: определили тензоры как полилинейные машины и научились записывать их взаимодействие с помощью индексной нотации Эйнштейна. Мы знаем, что вектор — это объект, существующий независимо от координат, а ковектор — это линейная функция измерения.

Но чего-то не хватает. В нашем абстрактном векторном пространстве мы можем складывать векторы и умножать их на числа, но мы совершенно не знаем, «длинный» ли вектор или «короткий». Мы не знаем, перпендикулярны ли два вектора или направлены под острым углом. Наше пространство пока что аморфно — это просто набор направлений без масштаба.

Чтобы превратить это «мягкое» пространство в жесткую геометрическую конструкцию, где можно измерять расстояния и углы, нам нужен специальный инструмент — метрический тензор.

Зачем нужна метрика?

Представьте, что вы находитесь в пустой комнате. Вы можете сделать шаг вперед (вектор ) или шаг вправо (вектор ). В векторном пространстве без метрики утверждение «шаг вперед длиннее шага вправо» не имеет смысла. Там нет понятия длины.

Чтобы ввести длину, нам нужно правило, которое сопоставляет каждому вектору неотрицательное число. В школе мы учили теорему Пифагора: . Но теорема Пифагора работает только в плоском пространстве с декартовыми координатами. А что, если мы на поверхности сферы? Или в искривленном пространстве-времени возле черной дыры? Или просто используем косые координаты?

Нам нужно обобщенное правило «скалярного произведения». Это правило и задает метрический тензор, который обычно обозначают буквой .

Определение метрического тензора

Метрический тензор — это симметричный тензор типа . Это машина, которая принимает на вход два вектора и выдает скаляр (число).

Где:

— метрический тензор.

— векторное пространство.

— множество вещественных чисел.

Если мы скормим этой машине два вектора и , она вернет нам их скалярное произведение:

Где:

— обозначение скалярного произведения.

— результат действия тензора на векторы.

В координатном представлении (с индексами) это выглядит так:

Где:

— компоненты метрического тензора (числа).

— компоненты первого вектора.

— компоненты второго вектора.

По повторяющимся индексам и идет суммирование (правило Эйнштейна).

!Визуализация того, как метрика определяет расстояния и углы в искривленном пространстве.

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

Симметрия: Расстояние от А до Б такое же, как от Б до А. Скалярное произведение не зависит от порядка векторов.

Где — элемент матрицы метрики в -й строке и -м столбце, а — в -й строке и -м столбце.

Невырожденность: Если длина вектора равна нулю, то это нулевой вектор (в пространствах с положительно определенной метрикой, как в Евклидовой геометрии). Определитель матрицы метрики не равен нулю:

Где — детерминант матрицы, составленной из компонент .

Измерение длины и углов

Имея на руках компоненты , мы можем решать геометрические задачи.

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

Длина (или норма) вектора определяется как корень из скалярного произведения вектора самого на себя:

Где:

— квадрат длины вектора.

— метрический тензор.

— компоненты одного и того же вектора .

В физике часто используют понятие интервала между двумя бесконечно близкими точками, разделенными вектором смещения :

Где:

— бесконечно малая длина (расстояние).

— дифференциал координаты (бесконечно малое смещение).

2. Угол между векторами

Зная скалярное произведение и длины, мы можем найти косинус угла между векторами и :

Где:

— косинус угла.

Числитель — скалярное произведение векторов.

Знаменатель — произведение длин векторов.

Пример: Евклидова метрика

В обычной плоской геометрии (декартовы координаты) базисные векторы перпендикулярны и имеют единичную длину. Метрический тензор выглядит как единичная матрица (символ Кронекера):

Тогда формула длины превращается в знакомую сумму квадратов:

Но если мы перейдем, скажем, в полярные координаты или окажемся на сфере, матрица перестанет быть единичной, и появятся коэффициенты, зависящие от координат.

Жонглирование индексами (Поднятие и опускание)

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

Опускание индекса

Вспомним, что вектор имеет индекс сверху (), а ковектор — снизу (). Метрический тензор имеет два нижних индекса. Если мы свернем метрику с вектором, мы получим объект с одним нижним индексом:

Где:

— компоненты ковектора, полученного из вектора .

— метрический тензор.

— компоненты исходного вектора.

По индексу идет суммирование.

Физический смысл: Метрика позволяет каждому вектору сопоставить «дуальный» ему ковектор. Если вектор — это «заказ» товаров, а метрика — это «прайс-лист», то полученный ковектор — это «счет», готовый к оплате.

Обратный метрический тензор и поднятие индекса

Чтобы проделать обратную операцию (превратить ковектор в вектор), нам нужен обратный метрический тензор, который обозначается как (с индексами сверху).

Матрица является обратной к матрице :

Где:

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

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

— символ Кронекера (единичная матрица: 1 если , иначе 0).

Теперь мы можем поднять индекс:

Где:

— компоненты вектора.

— обратный метрический тензор.

— компоненты ковектора.

!Графическое изображение операций поднятия и опускания индексов как прохождение через оператор метрики.

Смешанные тензоры и след

Метрика позволяет манипулировать индексами любых тензоров, не только векторов. Например, мы можем опустить один индекс у тензора Риччи:

Где:

— тензор Риччи со смешанными индексами (один верхний, один нижний).

— обратная метрика, поднимающая первый индекс.

— обычный тензор Риччи (два нижних).

Это позволяет нам определить важную величину — скалярную кривизну (или скаляр Риччи) . Для этого мы сворачиваем верхний и нижний индексы:

Где:

— скалярная кривизна (просто число в каждой точке пространства).

— след тензора Риччи (сумма диагональных элементов смешанного тензора).

— полная свертка метрики и тензора Риччи.

Резюме

Метрический тензор — это инструмент, который наделяет пространство геометрией. Он определяет расстояния и углы.

Скалярное произведение двух векторов вычисляется как .

Опускание индекса: . Превращает вектор в ковектор.

Поднятие индекса: . Превращает ковектор в вектор, используя обратную метрику.

Метрика связывает алгебраический мир тензоров с физическим миром измерений.

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

Ковариантная производная и параллельный перенос: как дифференцировать в искривленном пространстве

Мы проделали большой путь. Мы научились складывать векторы, измерять их длину с помощью метрического тензора и жонглировать индексами. Но до сих пор наша вселенная была статичной. Мы рассматривали тензоры в одной конкретной точке пространства.

Физика же — это наука об изменениях. Нам нужно знать, как меняется скорость планеты, как искривляется луч света, как течет жидкость. Для этого нам нужен инструмент дифференцирования — производная.

Казалось бы, что может быть проще? Мы все учили производные в школе. Но в искривленном пространстве (или даже просто в криволинейных координатах) обычная производная ломается. Она перестает быть тензором. Чтобы починить математику, нам придется ввести понятие ковариантной производной и разобраться, что такое связность пространства.

Проблема обычной производной

Давайте вспомним определение производной вектора по координате . Грубо говоря, это разность значений вектора в двух близких точках, деленная на расстояние между ними:

Где:

— вектор в новой точке.

— вектор в старой точке.

— шаг смещения.

В плоском пространстве (на листе бумаги) это работает отлично. Мы просто берем вектор из одной точки, параллельно переносим его в другую (не меняя направления) и вычитаем. Но что делать на сфере? Или на поверхности бублика?

Представьте, что вы стоите на Северном полюсе с копьем (вектором), указывающим вдоль нулевого меридиана. Ваш друг стоит на экваторе. Чтобы сравнить ваше копье с его копьем, вам нужно перенести свое копье к нему. Но как? Вдоль какого пути? И как сохранить направление «вдоль меридиана», если сами меридианы искривляются и сходятся?

В искривленном пространстве векторы в разных точках живут в разных векторных пространствах. Складывать или вычитать их напрямую — это все равно что складывать яблоки с апельсинами. Это незаконная операция.

Почему ломаются компоненты?

Вспомним, что вектор — это сумма компонент, умноженных на базисные векторы:

Где:

— компоненты (числа).

— базисные векторы.

Когда мы берем обычную частную производную от вектора, мы применяем правило произведения (правило Лейбница):

Где:

Первое слагаемое — это изменение самих чисел-компонент.

Второе слагаемое — это изменение базисных векторов.

В декартовых координатах базисные векторы постоянны (они везде смотрят в одну сторону и имеют одинаковую длину), поэтому . Второе слагаемое исчезает, и мы счастливы.

Но в полярных координатах или на сфере базисные векторы меняются от точки к точке. Если вы идете по кругу, вектор, указывающий «наружу» (радиальный базисный вектор), постоянно поворачивается. Мы не можем игнорировать второе слагаемое.

!Визуализация того, как базисные векторы меняют направление при перемещении по искривленной поверхности.

Символы Кристоффеля: поправка на вращение

Нам нужно описать, как именно меняются наши базисные векторы, когда мы сдвигаемся по координатам. Величина, которая это описывает, называется Символом Кристоффеля и обозначается .

Определение:

Где:

— скорость изменения -го базисного вектора при движении вдоль -й координаты.

— коэффициент, показывающий, сколько базисного вектора примешивается к изменению.

Символы Кристоффеля — это не тензоры. Это набор поправочных коэффициентов, которые говорят нам, как «кривая» наша система координат. Они похожи на силы инерции (центробежную или Кориолиса), которые возникают, если вы находитесь во вращающейся системе отсчета.

Ковариантная производная

Теперь мы можем собрать правильную производную, которая учитывает и изменение компонент, и вращение базиса. Она называется ковариантной производной и обозначается символом (набла) или точкой с запятой в индексах ().

Для вектора формула выглядит так:

Где:

— ковариантная производная (результат — тензор).

— обычная частная производная компонент (как быстро меняются числа).

— поправка, компенсирующая поворот базиса.

Смысл формулы: Чтобы узнать, как на самом деле изменился вектор, нужно взять видимое изменение его компонент и прибавить (или вычесть) то изменение, которое произошло чисто из-за кривизны сетки координат.

А для ковекторов?

Для ковекторов (нижние индексы) формула почти такая же, но знак поправки меняется на минус. Это логично: базис векторов и базис ковекторов меняются «в противофазе» (вспомните прошлую лекцию: если базис растягивается, компоненты ковектора растут, а вектора — уменьшаются).

Где:

— компоненты ковектора.

Знак минус () компенсирует «обратное» поведение ковекторов.

Параллельный перенос

Теперь мы подходим к красивейшей геометрической концепции. Что значит «перенести вектор параллельно» в искривленном мире?

В плоском мире параллельный перенос означает, что компоненты вектора не меняются (производная равна нулю). В искривленном мире мы требуем, чтобы ковариантная производная была равна нулю вдоль пути.

Определение: Вектор переносится параллельно вдоль кривой, если:

Или, говоря проще, «истинная» скорость изменения вектора равна нулю. Это значит, что с точки зрения внутренней геометрии пространства вектор не поворачивается и не растягивается, хотя его компоненты могут бешено меняться, подстраиваясь под изгибы координатной сетки.

Представьте, что вы идете по поверхности Земли и держите перед собой палку строго прямо. Вы стараетесь не поворачивать её относительно своего пути. Это и есть параллельный перенос.

Удивительное свойство: зависимость от пути

В плоском мире, если вы перенесете вектор из точки А в точку Б, результат не зависит от пути. В искривленном мире это не так.

Мысленный эксперимент:

Возьмите вектор на экваторе, направленный на Север.

Перенесите его параллельно вдоль экватора на 90 градусов долготы. Он все еще смотрит на Север (перпендикулярно экватору).

Поднимите его по меридиану до Северного полюса. Он придет туда, указывая, скажем, вдоль меридиана 90 градусов.

А теперь вернитесь в начало (пункт 1) и сразу идите на Северный полюс. Вектор придет туда, указывая вдоль меридиана 0 градусов.

В одной и той же точке (Северный полюс) мы получили два разных вектора из одного исходного! Разница между ними зависит от кривизны пространства. Именно так мы и будем определять кривизну в следующей лекции.

!Иллюстрация параллельного переноса по замкнутому контуру на сфере, показывающая, что вектор возвращается повернутым.

Геодезические линии: прямые искривленного мира

Что такое «прямая линия»? Это линия, которая не изгибается. А что значит «не изгибается»?

В терминах параллельного переноса определение звучит очень элегантно: Геодезическая — это линия, касательный вектор к которой переносится параллельно вдоль неё самой.

То есть, вы идете вперед и не поворачиваете руль. Ваш вектор скорости в следующий момент времени — это тот же самый вектор , перенесенный параллельно.

Уравнение геодезической:

Или в развернутом виде:

Где:

— координаты пути как функция от времени .

— обычное ускорение.

Второе слагаемое — «гравитационная сила» (или сила инерции), создаваемая геометрией пространства.

Именно это уравнение описывает движение планет вокруг Солнца в Общей теории относительности. Планеты не «притягиваются» Солнцем, они просто летят по прямым линиям (геодезическим) в пространстве, искривленном массой Солнца.

Связь с метрикой

Откуда берутся эти загадочные ? В нашей Вселенной геометрия определяется метрическим тензором (расстояниями). Существует теорема, которая гласит, что существует единственная связность (набор ), которая сохраняет длины векторов при параллельном переносе и не имеет кручения.

Она выражается через производные метрики:

Где:

— обратная метрика.

В скобках — комбинация обычных производных от компонент метрического тензора.

Вам не обязательно запоминать эту формулу наизусть. Главное — понять суть: Метрика (расстояния) определяет Символы Кристоффеля (повороты), а они определяют Ковариантную производную (изменения), которая задает Геодезические (траектории).

Резюме

Обычная производная не работает для тензоров в кривом пространстве, так как игнорирует поворот базиса.

Символы Кристоффеля — это поправочные коэффициенты, описывающие изменение базисных векторов.

Ковариантная производная — это «правильная» производная: сумма обычной производной и поправки с . Она делает из тензора новый тензор.

Параллельный перенос — это перемещение вектора так, чтобы его ковариантная производная была равна нулю. Вектор меняет свои компоненты, чтобы оставаться «неизменным» геометрически.

Геодезическая — это линия, которая сама себя параллельно переносит. Аналог прямой линии.

Теперь у нас есть всё, чтобы понять, что такое кривизна. Ведь если параллельный перенос вектора по замкнутому контуру меняет вектор, значит, пространство внутри контура искривлено. Мерой этого изменения является Тензор Риччи, к которому мы перейдем в финале курса.

Тензор кривизны Римана и геометрический смысл тензора Риччи

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

Этот поворот — не ошибка вычислений. Это фундаментальное свойство пространства, которое называется кривизной. Но как описать эту кривизну математически? Как выразить «степень искривленности» числом или объектом?

Сегодня мы познакомимся с «монстром» тензорного исчисления — Тензором кривизны Римана, и наконец ответим на ваш главный вопрос: что такое Тензор Риччи и какой физический смысл он несет.

Некоммутативность производных

В обычном математическом анализе (в плоском пространстве) порядок взятия производных не важен. Если у вас есть функция , то:

Где:

— сначала дифференцируем по , потом по .

— сначала по , потом по .

Однако, когда мы переходим к ковариантной производной () векторного поля в искривленном пространстве, это правило перестает работать. Результат зависит от того, в каком порядке мы движемся.

Давайте проверим, насколько сильно результат зависит от порядка дифференцирования. Вычислим разницу (коммутатор) двух ковариантных производных, действующих на вектор :

Где:

— коммутатор операторов производной.

— компоненты произвольного вектора.

Если мы распишем это выражение, используя формулы с символами Кристоффеля (которые мы изучили в прошлой лекции), то, к нашему удивлению, все производные от самого вектора сократятся. Останется только сам вектор , умноженный на очень сложную конструкцию, составленную из символов Кристоффеля и их производных.

Эта конструкция и есть Тензор Римана.

Тензор кривизны Римана

Тензор Римана определяется следующим уравнением:

Где:

— разница результатов при изменении порядка дифференцирования.

— тензор кривизны Римана (тип 1, 3).

— исходный вектор.

По индексу идет суммирование.

!Иллюстрация того, как некоммутативность производных приводит к изменению вектора при перемещении по разным путям.

Что это за машина?

Тензор Римана — это машина с 4 слотами (1 для ковектора, 3 для векторов). Но проще думать о нем как об операторе, который принимает два вектора направления (вдоль которых мы строим параллелограмм) и один вектор, который мы переносим.

Формула для вычисления компонент тензора Римана через символы Кристоффеля выглядит устрашающе:

Где:

— обычные частные производные.

— символы Кристоффеля (связность).

Индексы пробегают значения координат (например, 0, 1, 2, 3).

Главный вывод: Если все компоненты равны нулю во всех точках, то пространство плоское. Если хотя бы одна компонента не равна нулю — пространство искривлено.

Геодезическая девиация: приливные силы

Чтобы понять физический смысл кривизны, давайте забудем о формулах и представим два свободно падающих яблока над Землей. Они летят параллельно друг другу к центру Земли. Но поскольку они оба стремятся к центру, их траектории (геодезические) постепенно сближаются.

В плоском пространстве параллельные прямые никогда не пересекаются. В искривленном пространстве расстояние между «параллельными» геодезическими меняется.

Уравнение геодезической девиации связывает ускорение сближения яблок с тензором Римана:

Где:

— вектор соединения (расстояние) между двумя яблоками.

— относительное ускорение яблок друг к другу.

— вектор скорости движения яблок.

— тензор Римана.

Это и есть проявление гравитации в Общей теории относительности. Гравитация — это не сила, это стремление геодезических сходиться (или расходиться) из-за кривизны пространства-времени. На языке Ньютона мы называем это приливными силами.

Тензор Риччи: сжатие объема

Тензор Римана содержит всю информацию о кривизне (в 4-мерном пространстве у него 256 компонент, из которых 20 независимых). Это слишком много информации. Часто нам нужно знать не детальную структуру искривления, а усредненный эффект.

Здесь на сцену выходит Тензор Риччи, о котором вы спрашивали. Он получается путем свертки тензора Римана (суммирования верхнего и одного из нижних индексов):

Где:

— тензор Риччи (тип 0, 2).

— тензор Римана, где мы приравняли верхний индекс и средний нижний индекс (обозначив их ) и просуммировали.

Геометрический смысл Тензора Риччи

Вот мы и добрались до сути. Что измеряет ?

Представьте себе маленький шарик, состоящий из пробных частиц (пылинок), свободно парящих в пространстве. В начальный момент времени этот шарик имеет объем . Частицы покоятся друг относительно друга (скорость расширения шарика равна 0).

Если мы находимся в плоском пространстве, шарик так и останется шариком того же объема. Но если пространство искривлено (есть гравитация), частицы начнут двигаться. Тензор Риччи говорит нам, как меняется объем этого шарика в самом начале движения.

Формула изменения объема:

Где:

— вторая производная объема по времени (ускорение изменения объема).

— начальный объем.

— тензор Риччи.

— вектор скорости, вдоль которого движется шарик (обычно вектор времени).

Интерпретация:

Если (положительная кривизна Риччи), то . Объем шарика начинает уменьшаться. Гравитация действует как сила притяжения, сжимая материю.

Если , объем сохраняется (хотя форма шарика может исказиться в эллипсоид из-за приливных сил, описываемых тензором Вейля, но это уже другая история).

!Визуализация того, как тензор Риччи влияет на объем облака частиц.

Таким образом, Тензор Риччи — это мера того, насколько пространство «хочет» сжать материю в точку. В уравнениях Эйнштейна именно тензор Риччи (в составе тензора Эйнштейна) напрямую связан с энергией и импульсом материи. Материя говорит пространству: «Сжимайся здесь!», и пространство отвечает соответствующим тензором Риччи.

Скалярная кривизна

Мы можем пойти еще дальше и свернуть тензор Риччи с метрикой, чтобы получить одно единственное число — скалярную кривизну (или скаляр Риччи) :

Где:

— скалярная кривизна (число в каждой точке).

— обратный метрический тензор.

— тензор Риччи.

Геометрический смысл: Скаляр Риччи сравнивает объем маленького шарика в нашем пространстве с объемом такого же шарика в идеальном плоском Евклидовом пространстве.

Где:

— реальный объем шара радиуса .

— объем шара того же радиуса в плоском мире.

— скалярная кривизна.

Если (как на сфере), реальный объем шара меньше, чем в плоском пространстве (попробуйте расплющить шапку, вырезанную из глобуса — она порвется, потому что ей не хватит площади, чтобы стать плоской). Если (как на седле), объем больше евклидового.

Уравнения Эйнштейна

Теперь у нас есть все детали, чтобы записать самое знаменитое уравнение гравитации — уравнение Эйнштейна. Оно связывает геометрию (левая часть) с материей (правая часть).

Где:

— тензор Риччи (сжатие объема).

— скалярная кривизна.

— метрический тензор.

— тензор энергии-импульса (распределение материи и энергии).

Константы — гравитационная постоянная и скорость света.

Левая часть уравнения называется Тензором Эйнштейна (). Это уравнение говорит: кривизна пространства (в смысле Риччи, скорректированного на скаляр) пропорциональна плотности энергии и импульса в этой точке.

Резюме курса

Мы прошли путь от алгебры до гравитации:

Тензор — это машина, независимая от координат.

Метрика задает расстояния и углы.

Связность задает параллельный перенос и геодезические.

Тензор Римана измеряет некоммутативность производных (истинную кривизну).

Тензор Риччи — это усредненная кривизна, описывающая изменение объема шарика из пробных частиц.

Теперь, когда вы слышите слово «тензор», вы видите не просто массив чисел, а живую геометрию Вселенной, которая дышит, искривляется и направляет движение звезд и галактик.