Introduction to Tensor Calculus

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

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

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

Векторы: Больше, чем просто стрелки

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

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

где: * — сам вектор (геометрический объект). * — компоненты вектора (числа, координаты). * — базисные векторы. * — размерность пространства (например, 3 для нашего обычного мира).

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

!Разложение вектора v по базису e1 и e2.

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

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

Это называется соглашением Эйнштейна. Правила просты:

Правило суммирования: Если индекс повторяется в одном выражении дважды (один раз сверху, один раз снизу), то по этому индексу подразумевается суммирование.

где: * — «немой» индекс (dummy index), по которому идет суммирование. * — знак тождества, показывающий, что левая часть — это сокращенная запись правой.

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

где: * — свободный индекс (уравнение верно для , и т.д.). * — немой индекс (по нему идет суммирование). * — элементы матрицы преобразования.

> «Я сделал великое открытие в математике; я подавил знак суммирования всякий раз, когда суммирование происходило по индексу, который встречается дважды...» — Альберт Эйнштейн

Дуальные пространства и Ковекторы

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

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

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

где: * — ковектор. * — вектор. * — вещественное число, результат операции.

Базис ковекторов

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

Дуальный базис определяется через уникальное соотношение с векторным базисом, используя символ Кронекера:

где: * — -й базисный ковектор. * — -й базисный вектор. * — символ Кронекера. Он равен , если , и , если .

Любой ковектор можно записать через компоненты:

где: * — компоненты ковектора (индекс снизу). * — базисные ковекторы (индекс сверху).

Заметьте красивую симметрию: * Векторы: компоненты сверху (), базис снизу (). * Ковекторы: компоненты снизу (), базис сверху ().

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

где: * — сумма произведений соответствующих компонент (аналог скалярного произведения).

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

Трансформационные свойства: Суть тензора

Самое важное определение в этом курсе: объект определяется тем, как он изменяется при смене системы координат.

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

где: * — новые базисные векторы. * — матрица перехода (элемент в -й строке, -м столбце). * — старые базисные векторы.

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

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

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

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

где: * — компоненты вектора в новой системе. * — обратная матрица перехода. * — компоненты в старой системе.

Именно поэтому мы пишем индекс сверху — это метка контравариантного объекта.

Ковариантные векторы (Ковекторы)

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

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

где: * — компоненты ковектора в новой системе. * — та же матрица, что меняла базисные векторы. * — компоненты в старой системе.

Индекс снизу — метка ковариантного объекта.

Итоги

Сегодня мы заложили фундамент:

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

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

Нотация Эйнштейна позволяет нам записывать эти сложные суммы просто как или .

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

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

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

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

Тензорное произведение: Строительство новых объектов

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

Представьте, у нас есть вектор и ковектор . Их тензорное произведение — это новый объект. В компонентах это выглядит как простое перемножение их координат:

где: * — компонента тензора (обратите внимание: один индекс сверху, один снизу). * — компонента вектора. * — компонента ковектора.

Этот новый объект имеет компонент (в 3D пространстве — 9 чисел). Это уже напоминает матрицу, не так ли? В этом и суть: матрицы — это частный случай тензоров второго ранга.

!Визуализация объединения вектора и ковектора в тензор.

Общее определение тензора

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

Почему именно так? Вспомните: ковектор — это машина, превращающая вектор в число. Тензор — это обобщение этой идеи.

Тензор ранга можно записать в базисе как объект с верхними индексами и нижними индексами:

где: * — набор чисел, называемых компонентами тензора. * — базисные векторы. * — базисные ковекторы. * Индексы (сверху) отвечают за контравариантную часть. * Индексы (снизу) отвечают за ковариантную часть.

Проще говоря, ранг тензора — это общее количество его индексов. Тензор ранга 2 имеет два индекса (например, , или ). Тензор ранга 0 — это просто скаляр (число без индексов).

Закон преобразования: Паспорт тензора

В физике и геометрии объект считается тензором только если он правильно преобразуется при смене координат. Это самый важный раздел этой статьи.

Вспомним правила из прошлой лекции:

Верхний индекс () требует обратной матрицы перехода .

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

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

Пример: Тензор ранга (1, 1)

Рассмотрим тензор . У него один верхний индекс и один нижний . При переходе из старой системы координат (нештрихованной) в новую (штрихованную), его компоненты изменятся следующим образом:

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

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

Для произвольного тензора закон выглядит устрашающе, но он логичен:

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

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

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

Примеры тензоров

Давайте классифицируем знакомые нам объекты на языке тензоров:

Скаляр (Тензор ранга 0): Число . У него нет индексов. Оно не меняется при смене координат: . Пример: температура в точке.

Вектор (Тензор ранга (1, 0)): Объект . Один верхний индекс.

Ковектор (Тензор ранга (0, 1)): Объект . Один нижний индекс. Пример: градиент температуры.

Линейный оператор (Тензор ранга (1, 1)): Объект . Преобразует вектор в вектор. В матричном виде это обычная квадратная матрица.

Метрический тензор (Тензор ранга (0, 2)): Объект . Два нижних индекса. Используется для измерения длин и углов (мы подробно разберем его в будущих статьях).

Операции над тензорами

Сложение

Складывать можно только тензоры одинакового строения (одинакового ранга и расположения индексов). Мы просто складываем соответствующие компоненты:

где: * — результирующий тензор. * — исходные тензоры.

Умножение на скаляр

Каждая компонента умножается на число:

где: * — скалярное число.

Свертка (Contraction)

Это уникальная тензорная операция, которая понижает ранг тензора на 2. Если у тензора есть один верхний и один нижний индекс, мы можем приравнять их и просуммировать (сделать индекс немым).

Пусть у нас есть тензор . Сделаем свертку, положив (и подразумевая сумму):

где: * — полученный скаляр (след матрицы). * — сумма диагональных элементов.

Свертка превращает тензор ранга в тензор ранга — скаляр. В общем случае, свертка тензора ранга дает тензор ранга .

Пример свертки двух тензоров — это действие ковектора на вектор:

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

Зачем все это нужно?

Вы можете спросить: зачем такие сложности с индексами сверху и снизу? Почему нельзя просто использовать матрицы?

Матрицы хороши для 2D таблиц. Но в физике часто встречаются объекты с 3, 4 и более индексами (например, тензор кривизны Римана имеет 4 индекса: ). Матричная нотация для них не работает. Тензорная нотация с индексами — это универсальный язык, который работает для любой размерности и любой сложности объекта.

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

Итоги

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

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

Закон преобразования: каждому верхнему индексу нужна обратная матрица перехода, каждому нижнему — прямая.

Свертка — операция суммирования по паре (верхний + нижний) индексов, понижающая ранг тензора.

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

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

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

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

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

Необходимость метрики

Вспомните обычную евклидову геометрию со школы. Квадрат длины вектора вычисляется по теореме Пифагора: . Это кажется естественным, но это частный случай.

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

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

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

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

В координатном представлении скалярное произведение двух векторов и определяется так:

где: * — скалярное произведение (число). * — компоненты метрического тензора. * — компоненты первого вектора. * — компоненты второго вектора. * По индексам и происходит двойное суммирование (соглашение Эйнштейна).

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

Примеры метрик

Евклидова метрика (в декартовых координатах):

Если базис ортонормированный (векторы перпендикулярны и имеют единичную длину), матрица метрического тензора — это единичная матрица: где: * — символ Кронекера. Тогда скалярное произведение превращается в привычное: .

Метрика Минковского (Специальная теория относительности):

В пространстве-времени расстояние (интервал) измеряется иначе. Время вносит вклад с обратным знаком: где: * — обозначение метрики плоского пространства-времени. * Первая координата отвечает за время, остальные три — за пространство.

Опускание индексов (Lowering Indices)

Теперь перейдем к магии тензорного исчисления. До сих пор вектор и ковектор были принципиально разными объектами. Метрический тензор позволяет установить между ними взаимно однозначное соответствие.

Мы можем превратить вектор в ковектор, «свернув» его с метрическим тензором. Эта операция называется опусканием индекса.

где: * — компоненты полученного ковектора (индекс внизу). * — метрический тензор. * — компоненты исходного вектора (индекс сверху).

Физический смысл: Вектор и ковектор описывают один и тот же физический объект, но с разных точек зрения. Метрика служит «переводчиком» между языком векторов и языком ковекторов.

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

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

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

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

где: * — обратный метрический тензор. * — метрический тензор. * — символ Кронекера (равен 1, если , иначе 0). * Суммирование идет по индексу .

Поднятие индексов (Raising Indices)

Используя обратную метрику, мы можем превратить ковектор обратно в вектор. Эта операция называется поднятием индекса.

где: * — компоненты вектора (индекс сверху). * — обратный метрический тензор. * — компоненты ковектора (индекс снизу).

Жонглирование индексами

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

Рассмотрим тензор . Мы можем опустить его верхний индекс :

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

Или мы можем поднять нижний индекс :

где: * — тензор с двумя верхними индексами. * Мы умножили на и свернули по .

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

Длина и угол

Вернемся к началу. Как теперь записать квадрат длины вектора ? Это скалярное произведение вектора самого на себя:

где: * — полная запись через метрику. * — сокращенная запись: мы сначала опустили один индекс (), а затем свернули его со вторым вектором.

Косинус угла между векторами и определяется формулой:

где: * Числитель — скалярное произведение . * Знаменатель — произведение длин векторов .

Итоги

Метрический тензор — это мост между абстрактной алгеброй и геометрией реального мира.

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

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

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

Скалярное произведение: или .

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

Ковариантная производная и символы Кристоффеля

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

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

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

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

Представьте векторное поле , заданное в пространстве. Мы хотим узнать, как меняется этот вектор при перемещении вдоль координаты . Интуитивно мы берем частную производную компонентов вектора .

Однако, вспомним определение вектора через базис:

где: * — векторный объект. * — компоненты вектора. * — базисные векторы.

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

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

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

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

Символы Кристоффеля

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

где: * — скорость изменения -го базисного вектора вдоль -й координаты. * — базисные векторы. * — Символы Кристоффеля второго рода.

Символы Кристоффеля — это набор коэффициентов (функций координат), которые говорят нам, насколько сильно поворачивается и растягивается координатная сетка.

Важно: Символы Кристоффеля не являются тензорами. У них есть индексы, но они не преобразуются как тензоры при смене координат. Это «коэффициенты связности».

Определение ковариантной производной

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

Для контравариантного вектора (индекс сверху)

Подставим выражение для изменения базиса в формулу полной производной. Мы получим:

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

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

Для ковариантного вектора (индекс снизу)

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

где: * — ковариантная производная ковектора. * — частная производная. * — поправочный член со знаком минус.

Для тензоров высших рангов

Правило легко обобщается. Для каждого верхнего индекса мы добавляем член с , а для каждого нижнего — вычитаем член с .

Пример для тензора :

где: * Первое слагаемое — обычная производная. * Второе слагаемое — поправка для верхнего индекса . * Третье слагаемое — поправка для нижнего индекса .

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

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

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

Из этого условия выводится знаменитая формула для вычисления символов Кристоффеля:

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

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

Физический смысл: Параллельный перенос

Ковариантная производная тесно связана с понятием параллельного переноса.

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

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

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

!Демонстрация параллельного переноса по замкнутому контуру на искривленной поверхности.

Свойства символов Кристоффеля

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

где индексы и можно менять местами без изменения значения.

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

Итоги

Сегодня мы сделали критически важный шаг:

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

Мы ввели символы Кристоффеля как поправки на изменение базиса.

Мы определили ковариантную производную , которая позволяет корректно дифференцировать векторы и тензоры в искривленном пространстве.

Мы узнали, как вычислить через метрику .

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

Кривизна: Тензор Римана и Геодезические

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

В плоском пространстве (например, на листе бумаги) геометрия проста: сумма углов треугольника равна 180 градусам, а параллельные прямые никогда не пересекаются. Но наш мир сложнее. Поверхность Земли искривлена, и, согласно Общей теории относительности Эйнштейна, само пространство-время искривляется под действием массы и энергии. Как описать это математически, не выходя за пределы самого пространства?

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

Параллельный перенос и его неоднозначность

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

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

Однако в искривленном пространстве это не так. Результат параллельного переноса зависит от пути.

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

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

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

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

Давайте возьмем вектор и продифференцируем его дважды: сначала по индексу , затем по , и вычтем результат дифференцирования в обратном порядке. Разница будет не нулевой:

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

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

Формула для тензора Римана

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

где: * — компоненты тензора Римана (один верхний индекс, три нижних). * — обычные частные производные по координатам. * — символы Кристоффеля. * Индексы пробегают значения координат (например, 0, 1, 2, 3).

Если все компоненты тензора Римана равны нулю () во всех точках, то пространство является плоским. Это абсолютный критерий плоскостности.

Свертки тензора Римана: Тензор Риччи и Скаляр Риччи

Тензор Римана имеет компонент в 4-мерном пространстве-времени (хотя из-за симметрий независимых компонент всего 20). Работать с ним напрямую сложно. Часто физикам нужны «усредненные» характеристики кривизны.

Тензор Риччи

Если мы свернем (просуммируем) верхний индекс с средним нижним индексом, мы получим тензор второго ранга, называемый Тензором Риччи:

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

Именно этот тензор входит в знаменитые уравнения Эйнштейна. Он описывает, как меняется объем (или площадь) фигуры при параллельном переносе.

Скалярная кривизна (Скаляр Риччи)

Если мы свернем тензор Риччи с обратным метрическим тензором, мы получим одно число — Скаляр Риччи:

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

Скаляр Риччи — это самая простая мера кривизны. Для сферы радиуса скаляр Риччи равен . Для плоскости .

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

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

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

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

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

Пусть — вектор скорости частицы. Условие «параллельного переноса вектора скорости вдоль самого себя» записывается так:

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

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

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

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

Заключение курса

Поздравляю! Вы прошли путь от базовых определений до вершин тензорного анализа. Давайте подведем итог всему курсу:

Тензоры — это объекты, не зависящие от координат. Их природа определяется законом преобразования индексов.

Метрика () задает геометрию: расстояния и углы.

Ковариантная производная () позволяет дифференцировать в кривых координатах, используя символы Кристоффеля ().

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

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

Этот аппарат лежит в основе Общей теории относительности, современной гидродинамики, теории упругости и многих областей машинного обучения на многообразиях. Тензорное исчисление — это язык, на котором Вселенная пишет свои законы.