Риманово многообразие

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

История

Понятие риманова многообразия было введено Бернхардом Риманом в его знаменитой лекции «О гипотезах, лежащих в основании геометрии», прочитанной 10 июня 1854 года в Гёттингенском университете. В этой работе Риман предложил обобщение гауссовой теории поверхностей на произвольные размерности, заложив основы того, что позже стало римановой геометрией. Он ввёл понятие метрического тензора и кривизны, а также сформулировал идею о том, что геометрия пространства может быть внутренней, то есть определяться исключительно метрическими свойствами, без обращения к объемлющему евклидову пространству.

Развитие теории в XIX — начале XX века связано с именами Эли Картана, Грегорио Риччи-Курбастро, Туллио Леви-Чивиты, которые разработали тензорное исчисление и понятие связности. В XX веке римановы многообразия стали центральным объектом в общей теории относительности (где пространство-время моделируется как псевдориманово многообразие) и в дифференциальной геометрии в целом.

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

Гладкое многообразие

Основой риманова многообразия является гладкое многообразие \(M\) — топологическое пространство, локально гомеоморфное \(\mathbb{R}^n\) и снабжённое гладкой структурой. Размерность \(n\) многообразия называется размерностью риманова многообразия.

Риманова метрика

Риманова метрика \(g\) — это гладкое семейство скалярных произведений на касательных пространствах \(T_pM\) для каждой точки \(p \in M\). В локальных координатах \((x^1, \dots, x^n)\) метрика задаётся симметричной положительно определённой матрицей \(g_{ij}(x)\): \[ ds^2 = g_{ij}(x) dx^i dx^j, \] где \(ds\) — элемент длины. Метрика позволяет определить:

• Длину кривой \(\gamma: [a,b] \to M\): \(L(\gamma) = \int_a^b \sqrt{g(\dot{\gamma}(t), \dot{\gamma}(t))} dt\).
• Угол между двумя векторами \(u, v \in T_pM\): \(\cos \theta = \frac{g(u,v)}{\sqrt{g(u,u)g(v,v)}}\).
• Объём области: \(V = \int_U \sqrt{\det g} \, dx^1 \dots dx^n\).

Геодезические

Геодезические — это кривые на многообразии, которые локально минимизируют длину и удовлетворяют уравнению геодезических: \[ \frac{d^2 x^k}{dt^2} + \Gamma^k_{ij} \frac{dx^i}{dt} \frac{dx^j}{dt} = 0, \] где \(\Gamma^k_{ij}\) — символы Кристоффеля, выражающиеся через метрику. Геодезические являются аналогом прямых линий в евклидовом пространстве.

Связность и кривизна

На римановом многообразии существует единственная метрическая связность без кручения — связность Леви-Чивиты. Она определяет параллельный перенос векторов вдоль кривых и позволяет ввести тензор кривизны Римана \(R_{ijkl}\), который измеряет отклонение многообразия от евклидова пространства. Основные типы кривизны:

• Секционная кривизна \(K(u,v)\) — кривизна в двумерном направлении, натянутом на векторы \(u, v\).
• Кривизна Риччи \(\operatorname{Ric}_{ij}\) — след тензора кривизны.
• Скалярная кривизна \(R\) — полный след тензора Риччи.

Классификация

Римановы многообразия классифицируются по различным признакам.

По знаку секционной кривизны

• Многообразия положительной кривизны: сфера \(S^n\), проективное пространство \(\mathbb{RP}^n\) (с метрикой постоянной положительной кривизны).
• Многообразия нулевой кривизны: евклидово пространство \(\mathbb{R}^n\), плоский тор \(T^n\).
• Многообразия отрицательной кривизны: гиперболическое пространство \(\mathbb{H}^n\), поверхности с постоянной отрицательной кривизной.

По полноте

• Полные римановы многообразия: любая геодезическая может быть продолжена неограниченно. По теореме Хопфа — Ринова, полнота эквивалентна компактности в метрическом смысле.
• Неполные многообразия: например, евклидова плоскость с выколотой точкой.

По симметрии

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

Примеры

Евклидово пространство \(\mathbb{R}^n\)

Стандартная евклидова метрика \(g_{ij} = \delta_{ij}\) (единичная матрица). Кривизна всюду равна нулю. Геодезические — прямые линии.

Сфера \(S^n\)

Сфера радиуса \(R\) с метрикой, индуцированной из \(\mathbb{R}^{n+1}\). Имеет постоянную положительную секционную кривизну \(K = 1/R^2\). Геодезические — большие круги.

Гиперболическое пространство \(\mathbb{H}^n\)

Модель с постоянной отрицательной кривизной (например, \(K = -1\)). Существует несколько моделей: модель Пуанкаре в единичном шаре, модель Лобачевского в полупространстве. Геодезические — дуги окружностей, ортогональных границе.

Тор \(T^n = S^1 \times \dots \times S^1\)

С плоской метрикой (произведение окружностей). Кривизна равна нулю. Тор компактен и полон.

Применение

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

В физике пространство-время моделируется как псевдориманово многообразие (с метрикой сигнатуры \((+,-,-,-)\) или \((-,+,+,+)\)). Риманова геометрия используется для описания гравитации: уравнения Эйнштейна связывают кривизну многообразия с распределением материи и энергии.

Дифференциальная геометрия и топология

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

Компьютерная графика и обработка данных

Римановы метрики используются для анализа форм (например, в 3D-моделировании), для изучения многообразий данных в машинном обучении (например, в manifold learning) и в задачах визуализации.

Теория управления и робототехника

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

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

• Теорема Гаусса — Бонне связывает интеграл гауссовой кривизны по поверхности с её эйлеровой характеристикой, являясь одним из первых примеров связи геометрии и топологии.
• Теорема Хопфа — Ринова утверждает, что для риманова многообразия полнота эквивалентна компактности в метрическом смысле и существованию минимизирующих геодезических между любыми двумя точками.
• Римановы многообразия постоянной кривизны (сферы, евклидовы пространства, гиперболические пространства) являются локально симметрическими пространствами и играют роль модельных пространств в римановой геометрии.
• Понятие римановой метрики обобщается до псевдоримановой, когда метрика не является положительно определённой, что используется в общей теории относительности.

Источники

• Бернхард Риман. «О гипотезах, лежащих в основании геометрии» (1854).
• М. М. Постников. «Риманова геометрия» (1998).
• Дж. Милнор. «Теория Морса» (1963).
• М. Берже. «Геометрия» (1987).
• С. П. Новиков, А. Т. Фоменко. «Основы дифференциальной геометрии» (1990).
• М. П. дэ Кармо. «Дифференциальная геометрия кривых и поверхностей» (1976).