Риманово многообразие
В дифференциальной геометрии риманово многообразие — это геометрическое пространство , в котором определены многие геометрические понятия, такие как расстояние, углы, длина, объем и кривизна. Евклидово пространство , т. -сфера , гиперболическое пространство и гладкие поверхности в трехмерном пространстве, такие как эллипсоиды и параболоиды , — все это частные случаи римановых многообразий. Римановы многообразия названы в честь немецкого математика Бернхарда Римана , который первым их концептуализировал.
Формально риманова метрика (или просто метрика ) на гладком многообразии — это выбор скалярного произведения для каждого касательного пространства многообразия. Риманово многообразие — это гладкое многообразие вместе с римановой метрикой. Методы дифференциального и интегрального исчисления используются для извлечения геометрических данных из римановой метрики. Например, интегрирование приводит к римановой функции расстояния, тогда как дифференцирование используется для определения кривизны и параллельного переноса.
Любая гладкая поверхность в трехмерном евклидовом пространстве представляет собой риманово многообразие с римановой метрикой, обусловленной тем, как она расположена внутри окружающего пространства . То же самое верно для любого подмногообразия евклидова пространства любой размерности. Хотя Джон Нэш доказал, что каждое риманово многообразие возникает как подмногообразие евклидова пространства, и хотя некоторые римановы многообразия естественным образом проявляются или определяются таким образом, идея риманова многообразия подчеркивает внутреннюю точку зрения, которая определяет геометрические понятия непосредственно на само абстрактное пространство без ссылки на окружающее пространство. Во многих случаях, например, для гиперболического пространства и проективного пространства , римановы метрики более естественно определяются или строятся с использованием внутренней точки зрения. Кроме того, многие метрики в группах Ли и однородных пространствах определяются внутренне с помощью групповых действий для переноса внутреннего произведения из одного касательного пространства во все многообразие, а также многие специальные метрики, такие как метрики постоянной скалярной кривизны. а метрики Кэлера–Эйнштейна строятся собственными силами с использованием инструментов уравнений в частных производных .
Риманова геометрия , изучение римановых многообразий, имеет глубокие связи с другими областями математики, включая геометрическую топологию , комплексную геометрию и алгебраическую геометрию . Приложения включают физику (особенно общую теорию относительности и калибровочную теорию ), компьютерную графику , машинное обучение и картографию . Обобщения римановых многообразий включают псевдоримановы многообразия , финслеровы многообразия и субримановы многообразия .
История
[ редактировать ]
В 1827 году Карл Фридрих Гаусс обнаружил, что гауссова кривизна поверхности, заключенной в трехмерном пространстве, зависит только от локальных измерений, выполненных внутри поверхности ( первая фундаментальная форма ). [1] Этот результат известен как «Теорема Эгрегиум» («замечательная теорема» на латыни).
Карта, сохраняющая локальные измерения поверхности, называется локальной изометрией . Назовите свойство поверхности внутренним свойством, если оно сохраняется за счет локальных изометрий, и назовите его внешним свойством, если это не так. На этом языке Теорема Эгрегиум говорит, что гауссова кривизна является внутренним свойством поверхностей.
Римановы многообразия и их кривизна были впервые нестрого введены Бернхардом Риманом в 1854 году. [2] Однако они будут официально оформлены гораздо позже. Фактически более примитивное понятие гладкого многообразия было впервые явно определено только в 1913 году в книге Германа Вейля . [2]
Эли Картан представил связь Картана , одну из первых концепций связи . Леви-Чивита определил связность Леви-Чивита , специальную связь на римановом многообразии.
Альберт Эйнштейн использовал теорию псевдоримановых многообразий (обобщение римановых многообразий) для разработки общей теории относительности . В частности, уравнения поля Эйнштейна являются ограничениями на кривизну пространства-времени , которое представляет собой 4-мерное псевдориманово многообразие.
Определение
[ редактировать ]Римановы метрики и римановы многообразия
[ редактировать ]
Позволять быть гладким многообразием . Для каждой точки , существует связанное векторное пространство называется пространством касательным в . Векторы в рассматриваются как векторы, касающиеся в .
Однако, не оснащен внутренним продуктом , измерительной линейкой, которая дает касательным векторам понятие длины и угла. Это важный недостаток, поскольку исчисление учит, что для вычисления длины кривой необходимо определить длину векторов, касающихся этой кривой. Риманова метрика измеряет каждое касательное пространство.
Риманова метрика на назначает каждому положительно определенный внутренний продукт плавным образом (см. раздел о регулярности ниже). [3] Это вызывает норму определяется . Гладкое многообразие наделенный римановой метрикой — риманово многообразие , обозначаемое . [3] Риманова метрика — это частный случай метрического тензора .
Риманову метрику не следует путать с функцией расстояния метрического пространства , которую также называют метрикой.
Риманова метрика в координатах
[ редактировать ]Если являются гладкими локальными координатами на , векторы
составляют основу векторного пространства для любого . Относительно этого базиса можно определить компоненты римановой метрики в каждой точке. к
- . [4]
Эти функции можно объединить в матричная функция на . Требование, чтобы является положительно определенным внутренним произведением, то это точно говорит о том, что эта матрица-функция является симметричной положительно определенной матрицей в точке .
В терминах тензорной алгебры риманова метрика может быть записана в терминах двойственного базиса котангенса расслоения как
Регулярность римановой метрики
[ редактировать ]Риманова метрика непрерывен , если его компоненты непрерывны в любой гладкой координатной карте Риманова метрика является гладким, если его компоненты являются гладкими на любой гладкой координатной карте. В этом духе можно рассматривать многие другие типы римановых метрик, такие как липшицевы римановы метрики или измеримые римановы метрики.
бывают ситуации В геометрическом анализе , когда хочется рассмотреть негладкие римановы метрики. См., например (Громов 1999) и (Ши и Там 2002). Однако в этой статье предполагается гладким, если не указано иное.
Музыкальный изоморфизм
[ редактировать ]По аналогии с тем, как скалярный продукт в векторном пространстве вызывает изоморфизм между векторным пространством и его двойственным пространством , заданный формулой риманова метрика индуцирует изоморфизм расслоений между касательным и кокасательным расслоениями . А именно, если является римановой метрикой, то
является изоморфизмом гладких векторных расслоений из касательного расслоения к котангенсу . [5]
Изометрии
[ редактировать ]Изометрия — это функция между римановыми многообразиями, которая сохраняет всю структуру римановых многообразий. Если два римановых многообразия имеют между собой изометрию, они называются изометрическими и считаются одним и тем же многообразием для целей римановой геометрии.
В частности, если и — два римановых многообразия, диффеоморфизм называется изометрией, если , [6] то есть, если
для всех и Например, сдвиги и вращения являются изометриями евклидова пространства (который будет скоро определен) самого себя.
Говорят, что гладкая карта не считается диффеоморфизмом, является локальной изометрией, если каждая имеет открытое окружение такой, что является изометрией (и, следовательно, диффеоморфизмом). [6]
Объем
[ редактировать ]Ориентированный -мерное риманово многообразие имеет уникальный -форма называется римановой формой объема . [7] Риманова форма объема сохраняется благодаря изометриям, сохраняющим ориентацию. [8] Форма объема порождает меру по что позволяет интегрировать измеримые функции. [ нужна ссылка ] Если компактен , объем является . [7]
Примеры
[ редактировать ]Евклидово пространство
[ редактировать ]Позволять обозначим стандартные координаты на (Каноническая) евклидова метрика дается [9]
или эквивалентно
или, что то же самое, его координатными функциями
- где это дельта Кронекера .
Риманово многообразие называется евклидовым пространством .
Подмногообразия
[ редактировать ]
Позволять — риманово многообразие и пусть быть погруженным подмногообразием или вложенным подмногообразием . Откат из является римановой метрикой на , и называется римановым подмногообразием . [10]
В случае, когда , карта дается и метрика это всего лишь ограничение к векторам, касательным вдоль . В общем, формула является
где это вперед продвижение к
Примеры:
- The -сфера
- — гладкое вложенное подмногообразие евклидова пространства. . [11] Риманова метрика, которую это индуцирует на называется круглой метрикой или стандартной метрикой .
- Исправьте действительные числа . Эллипсоид
- — гладкое вложенное подмногообразие евклидова пространства. .
- График функции гладкой является гладким вложенным подмногообразием со своей стандартной метрикой.
- Если не просто связен, существует накрывающее отображение , где это универсальная обложка . Это погружение (поскольку оно локально диффеоморфизм), поэтому автоматически наследует риманову метрику. По тому же принципу любое гладкое накрытие риманова многообразия наследует риманову метрику.
С другой стороны, если уже есть риманова метрика , то погружение (или вложение) называется изометрическим погружением (или изометрическим вложением ), если . Следовательно, изометрические погружения и изометрические вложения являются римановыми подмногообразиями. [10]
Продукты
[ редактировать ]Позволять и — два римановых многообразия и рассмотрим произведение-многообразие . Римановы метрики и естественно положить риманову метрику на который можно описать несколькими способами.
- Учитывая разложение можно определить
- Если представляет собой гладкую координатную карту на и представляет собой гладкую координатную карту на , затем представляет собой гладкую координатную карту на Позволять быть представителем в графике и пусть быть представителем в графике . Представление в координатах является
- где [12]
Например, рассмотрим -тор . Если каждая копия задана круглая метрика, произведение риманова многообразия называется плоским тором .
Позитивные комбинации показателей
[ редактировать ]Позволять быть римановыми метриками на Если любые положительные гладкие функции на , затем это еще одна риманова метрика на
Каждое гладкое многообразие допускает риманову метрику.
[ редактировать ]Теорема: Каждое гладкое многообразие допускает (неканоническую) риманову метрику. [13]
Это фундаментальный результат. Хотя большая часть базовой теории римановых метрик может быть развита, используя только тот факт, что гладкое многообразие является локально евклидовым топологическим пространством, для этого результата необходимо использовать то, что гладкие многообразия хаусдорфовы и паракомпактны . Причина в том, что доказательство использует разбиение единицы .
Доказательство того, что каждое гладкое многообразие допускает риманову метрику. |
---|
Альтернативное доказательство использует теорему вложения Уитни для вложения в евклидово пространство, а затем возвращает метрику из евклидова пространства в . С другой стороны, теорема вложения Нэша утверждает, что для любого гладкого риманова многообразия есть вложение для некоторых такой, что откат на стандартной римановой метрики на является То есть вся структура гладкого риманова многообразия может быть закодирована диффеоморфизмом некоторого вложенного подмногообразия некоторого евклидова пространства. Поэтому можно было бы утверждать, что рассмотрение абстрактных гладких многообразий и их римановых метрик ничего не даст. Однако существует множество естественных гладких римановых многообразий, таких как набор вращений трехмерного пространства и гиперболическое пространство , любое представление которых в качестве подмногообразия евклидова пространства не сможет представить их замечательные симметрии и свойства так же ясно, как их абстрактные представления. презентации делают.
Метрическая пространственная структура
[ редактировать ]— Допустимая кривая это кусочно гладкая кривая чья скорость ненулевое значение везде, где оно определено. Неотрицательная функция определяется на интервале за исключением конечного числа точек. Длина допустимой кривой определяется как
Подынтегральная функция ограничена и непрерывна, за исключением конечного числа точек, поэтому она интегрируема. Для связное риманово многообразие, определим к
Теорема: — метрическое пространство , а метрическая топология на совпадает с топологией на . [14]
Эскиз доказательства того, что является метрическим пространством, а метрическая топология на согласен с топологией на |
---|
Хотя длина кривой задается явной формулой, выписать функцию расстояния, как правило, невозможно любыми явными способами. Фактически, если компактен, всегда существуют точки, в которых недифференцируема, и может быть чрезвычайно сложно даже определить местоположение или природу этих точек даже в таких, казалось бы, простых случаях, как, например, когда представляет собой эллипсоид. [ нужна ссылка ]
Если работать с римановыми метриками, которые являются просто непрерывными, но, возможно, не гладкими, длина допустимой кривой и функция риманова расстояния определяются точно так же, и, как и раньше, — метрическое пространство и метрическая топология на совпадает с топологией на . [15]
Диаметр
[ редактировать ]Диаметр пространства метрического является
Теорема Хопфа –Ринова показывает, что если полно . и имеет конечный диаметр, оно компактно И наоборот, если компактна, то функция имеет максимум, так как является непрерывной функцией в компактном метрическом пространстве. Это доказывает следующее.
- Если полно, то оно компактно тогда и только тогда, когда оно имеет конечный диаметр.
Это не так без предположения полноты; в качестве контрпримера можно рассмотреть любое открытое ограниченное подмножество евклидова пространства со стандартной римановой метрикой. Неверно также и то, что любое полное метрическое пространство конечного диаметра должно быть компактным; важно, что метрическое пространство произошло из риманова многообразия.
Соединения, геодезические и кривизна
[ редактировать ]Соединения
[ редактировать ]— (Аффинная) связность это дополнительная структура на римановом многообразии, определяющая дифференцирование одного векторного поля по другому. Связности содержат геометрические данные, а два римановых многообразия с разными связностями имеют разную геометрию.
Позволять обозначим пространство векторных полей на . соединение (Аффинное)
на это билинейная карта такой, что
- Для каждой функции ,
- Правило продукта держит. [16]
Выражение называется ковариантной производной относительно .
Связь Леви-Чивита
[ редактировать ]Два римановых многообразия с разными связностями имеют разную геометрию. К счастью, с римановым многообразием связана естественная связь, называемая связностью Леви-Чивита .
Соединение говорят, что сохраняет метрику, если
Соединение не имеет кручения, если
где это скобка Ли .
Связность Леви-Чивита — это связность без кручения, сохраняющая метрику. Если риманова метрика фиксирована, существует уникальная связность Леви-Чивита. [17] Обратите внимание, что определение сохранения метрики использует регулярность .
Ковариантная производная вдоль кривой
[ редактировать ]Если — гладкая кривая, гладкое векторное поле вдоль это гладкая карта такой, что для всех . Набор гладких векторных полей вдоль является векторным пространством с учетом поточечного сложения векторов и скалярного умножения. [18] Можно также точечно умножить гладкое векторное поле вдоль с помощью гладкой функции :
- для
Позволять быть гладким векторным полем вдоль . Если — гладкое векторное поле в окрестности изображения такой, что , затем называется расширением .
Учитывая фиксированное соединение на и плавная кривая , существует уникальный оператор , называемая ковариантной производной вдоль , такой, что: [19]
- Если является продолжением , затем .
Геодезика
[ редактировать ]

Геодезические – это кривые, не имеющие собственного ускорения. Они являются обобщением прямых в евклидовом пространстве на произвольные римановы многообразия. Муравей, живущий в римановом многообразии, идущий прямо вперед, не прилагая никаких усилий для ускорения или поворота, прочертил бы геодезическую.
Исправить соединение на . Позволять быть плавной кривой. Ускорение векторное поле вдоль . Если для всех , называется геодезической . [20]
Для каждого и , существует геодезическая определено на некотором открытом интервале содержащий 0 такой, что и . Любые две такие геодезические согласуются в своей общей области. [21] Объединив все открытые интервалы содержащая 0, на которой геодезическая, удовлетворяющая и существует, получается геодезическая, называемая максимальной геодезической , из которой каждая геодезическая, удовлетворяющая и является ограничением. [22]
Каждая кривая которая имеет наименьшую длину из всех допустимых кривых с теми же концами, что и является геодезической (в перепараметризации единичной скорости). [23]
Примеры
[ редактировать ]- Непостоянные максимальные геодезические евклидовой плоскости это именно прямые линии. [22] Это согласуется с фактом евклидовой геометрии, что кратчайший путь между двумя точками представляет собой отрезок прямой.
- Непостоянные максимальные геодезические с круглой метрикой — это именно большие круги . [24] Поскольку Земля представляет собой примерно сферу, это означает, что кратчайший путь, по которому самолет может пролететь между двумя точками на Земле, — это сегмент большого круга.
Теорема Хопфа – Ринова
[ редактировать ]
Риманово многообразие со связностью Леви-Чивиты, является геодезически полным , если область определения каждой максимальной геодезической равна . [25] Самолет является геодезически полным. С другой стороны, пробитый самолет с ограничением римановой метрики от не является геодезически полной, как максимальная геодезическая с начальными условиями , нет домена .
Теорема Хопфа –Ринова характеризует геодезически полные многообразия.
Теорема: Пусть — связное риманово многообразие. Следующие действия эквивалентны: [26]
- Метрическое пространство завершено каждое ( - последовательность Коши сходится),
- Все замкнутые и ограниченные подмножества компактны,
- является геодезически полным.
Параллельная транспортировка
[ редактировать ]
В евклидовом пространстве все касательные пространства канонически отождествляются друг с другом посредством перевода, поэтому векторы легко перемещать из одного касательного пространства в другое. Параллельный перенос — это способ перемещения векторов из одного касательного пространства в другое по кривой в условиях общего риманова многообразия. При фиксированном соединении существует уникальный способ параллельной транспортировки. [27]
В частности, вызовите гладкое векторное поле по плавной кривой параллельно вдоль если одинаково. [22] Исправить кривую с и . для параллельной транспортировки вектора к вектору в вдоль , сначала продлить к векторному полю, параллельному вдоль , а затем возьмем значение этого векторного поля в точке .
На изображениях ниже показан параллельный транспорт, вызванный связью Леви-Чивита, связанной с двумя разными римановыми метриками на проколотой плоскости. . Кривая, по которой осуществляется параллельный транспорт, представляет собой единичный круг. В полярных координатах метрика слева — это стандартная евклидова метрика. , а метрика справа равна . Эта вторая метрика имеет особенность в начале координат, поэтому она не выходит за пределы прокола, а первая метрика распространяется на всю плоскость.
Внимание: это параллельная транспортировка по проколотой плоскости по единичному кругу, а не параллельная транспортировка по единичному кругу. Действительно, на первом изображении векторы выходят за пределы касательного пространства к единичной окружности.
Тензор кривизны Римана
[ редактировать ]Тензор кривизны Римана точно измеряет степень, в которой параллельная транспортировка векторов вокруг небольшого прямоугольника не является тождественной картой. [28] Тензор кривизны Римана равен 0 в каждой точке тогда и только тогда, когда многообразие локально изометрично евклидову пространству. [29]
Исправить соединение на . Тензор кривизны Римана — это отображение определяется
где — скобка Ли векторных полей . Тензор кривизны Римана – это -тензорное поле. [30]
Тензор кривизны Риччи
[ редактировать ]Исправить соединение на . Тензор кривизны Риччи
где это след. Тензор кривизны Риччи представляет собой ковариантное 2-тензорное поле. [31]
Многообразия Эйнштейна
[ редактировать ]Тензор кривизны Риччи играет определяющую роль в теории многообразий Эйнштейна , которая имеет приложения к изучению гравитации . (Псевдо-)риманова метрика называется метрикой Эйнштейна, если уравнение Эйнштейна
- для некоторой константы
выполняется, и (псевдо)риманово многообразие, метрика которого эйнштейнова, называется эйнштейновым многообразием . [32] Примеры многообразий Эйнштейна включают евклидово пространство, -сфера, гиперболическое пространство и комплексное проективное пространство с метрикой Фубини-Студи .
Скалярная кривизна
[ редактировать ]Постоянная кривизна и пространственные формы
[ редактировать ]Говорят, что риманово многообразие имеет постоянную кривизну κ, если каждая секционная кривизна равна числу κ . Это эквивалентно условию, что относительно любой координатной карты тензор кривизны Римана можно выразить через метрический тензор как
Это означает, что кривизна Риччи равна R jk = ( n – 1) κg jk , а скалярная кривизна равна n ( n – 1) κ , где n — размерность многообразия. В частности, каждое риманово многообразие постоянной кривизны является многообразием Эйнштейна и, следовательно, имеет постоянную скалярную кривизну. Как обнаружил Бернхард Риман в своей лекции 1854 года, посвященной римановой геометрии, локально определенная риманова метрика
имеет постоянную кривизну κ . Любые два римановых многообразия одной и той же постоянной кривизны локально изометричны , поэтому отсюда следует, что любое риманово многообразие постоянной кривизны κ можно покрыть координатными картами, относительно которых метрика имеет указанный выше вид. [33]
Риманова пространственная форма — это риманово многообразие постоянной кривизны, дополнительно связное и геодезически полное . Риманова пространственная форма называется сферической пространственной формой, если кривизна положительна, евклидовой пространственной формой , если кривизна равна нулю, и гиперболической пространственной формой или гиперболическим многообразием, если кривизна отрицательна. В любом измерении сфера со стандартной римановой метрикой, евклидово пространство и гиперболическое пространство являются формами риманова пространства постоянной кривизны 1 , 0 и –1 соответственно. Более того, теорема Киллинга – Хопфа гласит, что любая односвязная сферическая пространственная форма гомотетична сфере, любая односвязная евклидова пространственная форма гомотетична евклидову пространству, а любая односвязная гиперболическая пространственная форма гомотетична гиперболическому пространству. [33]
Используя конструкцию накрывающего многообразия , любая риманова пространственная форма изометрична фактор-многообразию односвязной римановой пространственной формы по модулю определенного группового действия изометрий. Например, группа изометрии n -сферы — это ортогональная группа O( n + 1) . Учитывая любую ее конечную подгруппу G , в которой только единичная матрица имеет 1 в качестве собственного значения , естественное групповое действие ортогональной группы на n -сфере ограничивается групповым действием группы G с фактор-многообразием S н / G, наследующая геодезически полную риманову метрику постоянной кривизны 1 . Таким образом, вплоть до гомотетии, возникает всякая сферическая пространственная форма; это во многом сводит изучение сферических пространственных форм к проблемам теории групп . Например, это можно использовать, чтобы напрямую показать, что каждая четномерная форма сферического пространства гомотетична стандартной метрике либо на сфере, либо на реальном проективном пространстве . Существует еще множество нечетномерных сферических пространственных форм, хотя известны алгоритмы их классификации. Список трехмерных форм сферического пространства бесконечен, но явно известен и включает в себя линзовые пространства и додекаэдрическое пространство Пуанкаре . [34]
Случай евклидовых и гиперболических пространственных форм также может быть сведен к теории групп, основанной на изучении группы изометрий евклидова пространства и гиперболического пространства. Например, в класс двумерных евклидовых пространственных форм входят римановы метрики на бутылке Клейна , ленте Мёбиуса , торе , цилиндре S 1 × R вместе с евклидовой плоскостью. В отличие от случая двумерных сферических пространственных форм, в некоторых случаях две структуры пространственных форм на одном и том же многообразии не являются гомотетическими. Случай двумерных гиперболических пространственных форм еще более сложен и связан с пространством Тейхмюллера . В трех измерениях известны евклидовы пространственные формы, тогда как геометрия гиперболических пространственных форм в трех и более высоких измерениях остается областью активных исследований, известной как гиперболическая геометрия . [35]
Примеры на основе групп Ли
[ редактировать ]Левоинвариантные метрики на группах Ли
[ редактировать ]Пусть G — группа Ли , такая как группа вращений в трехмерном пространстве . Используя структуру группы, любой внутренний продукт в касательном пространстве в единице (или в любом другом конкретном касательном пространстве) можно перенести во все другие касательные пространства, чтобы определить риманову метрику. Формально, учитывая скалярное произведение g e в касательном пространстве в единице, скалярное произведение в касательном пространстве в произвольной точке p определяется выражением
где для произвольного x переводящее L x — левое отображение умножения G → G, точку y в xy . Построенные таким образом римановы метрики левоинвариантны ; правоинвариантные римановы метрики могут быть построены аналогичным образом, используя вместо этого правое отображение умножения.
Связность Леви-Чивиты и кривизна общей левоинвариантной римановой метрики могут быть вычислены явно в терминах ge ассоциированной , присоединенного представления G и алгебры , с G. Ли [36] Эти формулы значительно упрощаются в частном случае римановой метрики, которая является биинвариантной (т. е. одновременно лево- и правоинвариантной). [37] Все левоинвариантные метрики имеют постоянную скалярную кривизну.
Лево- и биинвариантные метрики на группах Ли являются важным источником примеров римановых многообразий. Сферы Бергера , построенные как левоинвариантные метрики на специальной унитарной группе SU(2), являются одними из простейших примеров явления коллапса , при котором односвязное риманово многообразие может иметь малый объем, не имея при этом большой кривизны. [38] Они также приводят пример римановой метрики, которая имеет постоянную скалярную кривизну, но не является эйнштейновой , или даже параллельной кривизны Риччи. [39] Гиперболическому пространству можно задать структуру группы Ли, относительно которой метрика левоинвариантна. [40] [41] Любая биинвариантная риманова метрика на группе Ли имеет неотрицательную секционную кривизну, что дает множество таких метрик: группе Ли можно дать биинвариантную риманову метрику тогда и только тогда, когда она является произведением компактной группы Ли с абелевой Группа лжи . [42]
Однородные пространства
[ редактировать ]Риманово многообразие ( M , g ) называется однородным, если для каждой пары точек x и y в M существует некоторая изометрия f риманова многообразия, переводящая x в y . На языке групповых действий это можно перефразировать как требование естественного действия группы изометрий транзитивности . Всякое однородное риманово многообразие геодезически полно и имеет постоянную скалярную кривизну . [43]
Все однородные римановы многообразия с точностью до изометрии возникают в результате следующей конструкции. Дана группа Ли G с компактной подгруппой K , которая не содержит ни одной нетривиальной нормальной подгруппы группы G , зафиксируем любое дополняемое подпространство W алгебры Ли группы K внутри алгебры Ли G. группы Если это подпространство инвариантно относительно линейного отображения ad G ( k ): W → W для любого элемента k из K , то G -инвариантные римановы метрики на смежном пространстве G / K находятся во взаимно однозначном соответствии с этими скалярными произведениями. на W которые инвариантны относительно ad G ( k ): W → W для каждого элемента k из K. , [44] Каждая такая риманова метрика однородна, при этом G естественно рассматривать как подгруппу полной группы изометрий.
Приведенный выше пример групп Ли с левоинвариантными римановыми метриками возникает как особый случай этой конструкции, а именно, когда K — тривиальная подгруппа, содержащая только единичный элемент. Вычисления связи Леви-Чивита и упомянутой там кривизны можно обобщить на этот контекст, где теперь вычисления формулируются в терминах скалярного произведения на W , алгебры Ли G и разложения в прямую сумму алгебры Ли. группы G в алгебру Ли групп K и W . [44] Это сводит изучение кривизны однородных римановых многообразий в основном к алгебраическим проблемам. Это сокращение вместе с гибкостью приведенной выше конструкции делает класс однородных римановых многообразий очень полезным для построения примеров.
Симметричные пространства
[ редактировать ]Связное риманово многообразие ( M , g ) называется симметричным , если для каждой точки p из M существует некоторая изометрия многообразия с p в качестве неподвижной точки и для которой отрицание дифференциала в точке p является тождественным отображением . Всякое риманово симметрическое пространство однородно, а следовательно, геодезически полно и имеет постоянную скалярную кривизну . которым не обладают большинство однородных римановых многообразий, а именно: тензор кривизны Римана и кривизна Риччи параллельны Однако римановы симметрические пространства также обладают гораздо более сильным свойством кривизны , . Римановы многообразия с этим свойством кривизны, которое можно условно сформулировать как «постоянный тензор кривизны Римана» (не путать с постоянной кривизной ), называются локально симметричными . Это свойство практически характеризует симметрические пространства; Эли Картан доказал в 1920-х годах, что локально симметричное риманово многообразие, геодезически полное и односвязное, на самом деле должно быть симметричным. [45]
Многие фундаментальные примеры римановых многообразий симметричны. К самым основным относятся сферические и вещественные проективные пространства с их стандартными метриками, а также гиперболическое пространство . Комплексное проективное пространство , кватернионное проективное пространство и плоскость Кэли являются аналогами реального проективного пространства, которые также симметричны, как и комплексное гиперболическое пространство , кватернионное гиперболическое пространство и гиперболическое пространство Кэли, которые вместо этого являются аналогами гиперболического пространства. Грассмановы многообразия также несут естественные римановы метрики, превращающие их в симметрические пространства. Среди групп Ли с левоинвариантными римановыми метриками симметричными являются биинвариантные. [45]
Основываясь на их алгебраической формулировке как особых видах однородных пространств, Картан достиг явной классификации симметричных пространств, которые неприводимы , называя те, которые не могут быть локально разложены, как пространства-произведения . Каждое такое пространство является примером многообразия Эйнштейна ; среди них только одномерные многообразия имеют нулевую скалярную кривизну. Эти пространства важны с точки зрения римановой голономии . Как обнаружил в 1950-х годах Марсель Бергер , любое односвязное и неприводимое риманово многообразие либо является симметричным пространством, либо имеет риманову голономию, принадлежащую списку только из семи возможностей. Шесть из семи исключений из симметричных пространств в классификации Бергера попадают в области кэлеровой геометрии , кватернион-келеровой геометрии , G 2 геометрии и геометрии Spin(7) , каждая из которых изучает римановы многообразия, снабженные определенными дополнительными структурами и симметриями. Седьмым исключением является изучение «общих» римановых многообразий без особой симметрии, что отражено в максимально возможной группе голономии. [45]
Бесконечномерные многообразия
[ редактировать ]![]() | Этот раздел включает в себя список использованной литературы , связанную литературу или внешние ссылки , но его источники остаются неясными, поскольку в нем отсутствуют встроенные цитаты . ( Июль 2024 г. ) |
Приведенные выше утверждения и теоремы относятся к конечномерным многообразиям — многообразиям, карты которых отображаются в открытые подмножества Их можно в определенной степени распространить на бесконечномерные многообразия; то есть многообразия, смоделированные по образцу топологического векторного пространства ; например, многообразия Фреше , Банаха и Гильберта .
Определения
[ редактировать ]Римановы метрики определяются аналогично конечномерному случаю. Однако существует различие между двумя типами римановых метрик:
- Слабая риманова метрика на это гладкая функция такой, что для любого ограничение является внутренним продуктом на [ нужна ссылка ]
- Сильная риманова метрика на является слабой римановой метрикой такой, что индуцирует топологию на . Если является сильной римановой метрикой, то должно быть гильбертовым многообразием. [ нужна ссылка ]
Примеры
[ редактировать ]- Если является гильбертовым пространством , то для любого можно идентифицировать с Метрика для всех является сильной римановой метрикой. [ нужна ссылка ]
- Позволять — компактное риманово многообразие и обозначим через ее группа диффеоморфизмов. Последняя представляет собой гладкое многообразие ( см. здесь ) и фактически группу Ли . [ нужна ссылка ] Его касательное расслоение в единице представляет собой набор гладких векторных полей на [ нужна ссылка ] Позволять быть объемной формой на слабая риманова метрика на , обозначенный , определяется следующим образом. Позволять Тогда для ,
- . [ нужна ссылка ]
Метрическая пространственная структура
[ редактировать ]Длина кривых и функция риманова расстояния определяются аналогично конечномерному случаю. Функция расстояния , называемое геодезическим расстоянием , всегда является псевдометрикой (метрикой, которая не разделяет точки), но может и не быть метрикой. [46] В конечномерном случае доказательство того, что риманова функция расстояния разделяет точки, использует существование предкомпактного открытого множества вокруг любой точки. В бесконечном случае открытые множества перестают быть предкомпактными, поэтому доказательство не удается.
- Если является сильной римановой метрикой на , затем разделяет точки (следовательно, является метрикой) и индуцирует исходную топологию. [ нужна ссылка ]
- Если является слабой римановой метрикой, может не разделить точки. Фактически, оно может быть даже тождественно 0. [46] Например, если — компактное риманово многообразие, то слабая риманова метрика на приводит к исчезновению геодезического расстояния. [47]
Теорема Хопфа – Ринова
[ редактировать ]В случае сильных римановых метрик одна часть конечномерной формулы Хопфа–Ринова сохраняется.
Теорема : Пусть — сильное риманово многообразие. Тогда метрическая полнота (в метрике ) подразумевает геодезическую полноту. [ нужна ссылка ]
Однако геодезически полное сильное риманово многообразие может не быть метрически полным и иметь замкнутые и ограниченные подмножества, которые не являются компактными. [ нужна ссылка ] Более того, сильное риманово многообразие, у которого все замкнутые и ограниченные подмножества компактны, может не быть геодезически полным. [ нужна ссылка ]
Если является слабой римановой метрикой, то никакое понятие полноты, вообще говоря, не влечет другого. [ нужна ссылка ]
См. также
[ редактировать ]Ссылки
[ редактировать ]Примечания
[ редактировать ]- ^ до Карму 1992 , стр. 35–36.
- ^ Jump up to: а б ду Карму 1992 , с. 37.
- ^ Jump up to: а б ду Карму 1992 , с. 38.
- ^ Jump up to: а б Ли 2018 , с. 13.
- ^ Ли 2018 , с. 26.
- ^ Jump up to: а б Ли 2018 , с. 12.
- ^ Jump up to: а б Ли 2018 , с. 30.
- ^ Ли 2018 , с. 31.
- ^ Ли 2018 , стр. 12–13.
- ^ Jump up to: а б Ли 2018 , с. 15.
- ^ Ли 2018 , с. 16.
- ^ Jump up to: а б Ли 2018 , с. 20.
- ^ Ли 2018 , с. 11.
- ^ Ли 2018 , с. 39.
- ^ Бурчер 2015 , с. 276.
- ^ Ли 2018 , стр. 89–91.
- ^ Ли 2018 , стр. 122–123.
- ^ Ли 2018 , с. 100.
- ^ Ли 2018 , стр. 101–102.
- ^ Ли 2018 , с. 103.
- ^ Ли 2018 , стр. 103–104.
- ^ Jump up to: а б с Ли 2018 , с. 105.
- ^ Ли 2018 , с. 156.
- ^ Ли 2018 , с. 137.
- ^ Ли 2018 , с. 131.
- ^ до Карму 1992 , стр. 146–147.
- ^ Ли 2018 , стр. 105–110.
- ^ Ли 2018 , с. 201.
- ^ Ли 2018 , с. 200.
- ^ Ли 2018 , стр. 196–197.
- ^ Ли 2018 , с. 207.
- ^ Ли 2018 , с. 210.
- ^ Jump up to: а б Вольф 2011 , Глава 2.
- ^ Вольф 2011 , Главы 2 и 7.
- ^ Вольф 2011 , Главы 2 и 3.
- ^ Чигер и Эбин 2008 , Предложение 3.18.
- ^ Чигер и Эбин 2008 , следствие 3.19; Петерсен 2016 , Раздел 4.4.
- ^ Петерсен 2016 , раздел 4.4.3 и стр. 399.
- ^ Петерсен 2016 , с. 369.
- ^ В модели верхнего полупространства гиперболического пространства структура группы Ли определяется формулой
- ^ Ли 2018 , пример 3.16f.
- ^ Ли 2018 , с. 72; Милнор 1976 .
- ^ Кобаяши и Номидзу 1963 , Теорема IV.4.5.
- ^ Jump up to: а б Бесс 1987 , Раздел 7C.
- ^ Jump up to: а б с Петерсен 2016 , Глава 10.
- ^ Jump up to: а б Маньяни и Тиберио 2020 .
- ^ Мичор и Мамфорд 2005 .
Источники
[ редактировать ]- Бесс, Артур Л. (1987). Многообразия Эйнштейна . Результаты математики и ее пограничные области (3). Том 10. Берлин: Springer-Verlag . дои : 10.1007/978-3-540-74311-8 . ISBN 3-540-15279-2 . МР 0867684 . Збл 0613.53001 .
- Чигер, Джефф ; Эбин, Дэвид Г. (2008). Теоремы сравнения в римановой геометрии (пересмотренное переиздание оригинального издания 1975 года). Провиденс, Род-Айленд: Издательство AMS Chelsea Publishing . дои : 10.1090/чел/365 . ISBN 978-0-8218-4417-5 . МР 2394158 . Збл 1142.53003 .
- ду Карму, Манфредо Пердигао (1992). Риманова геометрия . Математика: теория и приложения (перевод со второго португальского издания оригинальной редакции 1979 г.). Бостон, Массачусетс: Биркхойзер Бостон . ISBN 978-0-8176-3490-2 . МР 1138207 . Збл 0752.53001 .
- Громов, Миша (1999). Метрические структуры для римановых и неримановых пространств . Прогресс в математике. Том. 152. Перевод Бейтса, Шона Майкла. С приложениями М. Каца , П. Пансу и С. Семмеса . (На основе оригинального французского издания 1981 года). Бостон, Массачусетс: Birkhäuser Boston, Inc. doi : 10.1007/978-0-8176-4583-0 . ISBN 0-8176-3898-9 . МР 1699320 . Збл 0953.53002 .
- Кобаяши, Сошичи ; Номидзу, Кацуми (1963). Основы дифференциальной геометрии. Том I. Нью-Йорк – Лондон: John Wiley & Sons, Inc. MR 0152974 . Збл 0119.37502 .
- Ли, Джон М. (2018). Введение в римановы многообразия . Спрингер-Верлаг . ISBN 978-3-319-91754-2 .
- Петерсен, Питер (2016). Риманова геометрия . Тексты для аспирантов по математике . Том. 171 (Третье издание оригинальной редакции 1998 г.). Спрингер, Чам . дои : 10.1007/978-3-319-26654-1 . ISBN 978-3-319-26652-7 . МР 3469435 . Збл 1417.53001 .
- Вольф, Джозеф А. (2011). Пространства постоянной кривизны (Шестое издание 1967 г., оригинальное издание). Провиденс, Род-Айленд: Издательство AMS Chelsea Publishing . дои : 10.1090/чел/372 . ISBN 978-0-8218-5282-8 . МР 2742530 . Збл 1216.53003 .
- Бурчер, Аннегрет (2015). «Структуры длины на многообразиях с непрерывной римановой метрикой». Нью-Йоркский математический журнал . 21 : 273–296. ISSN 1076-9803 .
- Маньяни, Валентино; Тиберио, Даниэле (2020). «Замечание об исчезающих геодезических расстояниях в бесконечных измерениях». Учеб. амер. Математика. Соц . 148 (1): 3653–3656. arXiv : 1910.06430 . дои : 10.1090/proc/14986 . S2CID 204578276 .
- Михор, Питер В.; Мамфорд, Дэвид (2005). «Исчезающее геодезическое расстояние на пространствах подмногообразий и диффеоморфизмов». Документа Математика . 10 : 217–245. arXiv : math/0409303 . дои : 10.4171/дм/187 . S2CID 69260 .
- Милнор, Джон (1976). «Кривизны левоинвариантных метрик на группах Ли» . Достижения в математике . 21 (3): 293–329. дои : 10.1016/S0001-8708(76)80002-3 . МР 0425012 . Збл 0341.53030 .
Внешние ссылки
[ редактировать ]- Л. А. Сидоров (2001) [1994], «Риманова метрика» , Энциклопедия Математики , EMS Press