Jump to content

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

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

В дифференциальной геометрии риманово многообразие — это геометрическое пространство , в котором определены многие геометрические понятия, такие как расстояние, углы, длина, объем и кривизна. Евклидово пространство , т. -сфера , гиперболическое пространство и гладкие поверхности в трехмерном пространстве, такие как эллипсоиды и параболоиды , — все это частные случаи римановых многообразий. Римановы многообразия названы в честь немецкого математика Бернхарда Римана , который первым их концептуализировал.

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

Любая гладкая поверхность в трехмерном евклидовом пространстве представляет собой риманово многообразие с римановой метрикой, обусловленной тем, как она расположена внутри окружающего пространства . То же самое верно для любого подмногообразия евклидова пространства любой размерности. Хотя Джон Нэш доказал, что каждое риманово многообразие возникает как подмногообразие евклидова пространства, и хотя некоторые римановы многообразия естественным образом проявляются или определяются таким образом, идея риманова многообразия подчеркивает внутреннюю точку зрения, которая определяет геометрические понятия непосредственно на само абстрактное пространство без ссылки на окружающее пространство. Во многих случаях, например, для гиперболического пространства и проективного пространства , римановы метрики более естественно определяются или строятся с использованием внутренней точки зрения. Кроме того, многие метрики в группах Ли и однородных пространствах определяются внутренне с помощью групповых действий для переноса внутреннего произведения из одного касательного пространства во все многообразие, а также многие специальные метрики, такие как метрики постоянной скалярной кривизны. а метрики Кэлера–Эйнштейна строятся собственными силами с использованием инструментов уравнений в частных производных .

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

Римановы многообразия были впервые концептуализированы их тезкой, немецким математиком Бернхардом Риманом .

В 1827 году Карл Фридрих Гаусс обнаружил, что гауссова кривизна поверхности, заключенной в трехмерном пространстве, зависит только от локальных измерений, выполненных внутри поверхности ( первая фундаментальная форма ). [1] Этот результат известен как «Теорема Эгрегиум» («замечательная теорема» на латыни).

Карта, сохраняющая локальные измерения поверхности, называется локальной изометрией . Назовите свойство поверхности внутренним свойством, если оно сохраняется за счет локальных изометрий, и назовите его внешним свойством, если это не так. На этом языке Теорема Эгрегиум говорит, что гауссова кривизна является внутренним свойством поверхностей.

Римановы многообразия и их кривизна были впервые нестрого введены Бернхардом Риманом в 1854 году. [2] Однако они будут официально оформлены гораздо позже. Фактически более примитивное понятие гладкого многообразия было впервые явно определено только в 1913 году в книге Германа Вейля . [2]

Эли Картан представил связь Картана , одну из первых концепций связи . Леви-Чивита определил связность Леви-Чивита , специальную связь на римановом многообразии.

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

Определение

[ редактировать ]

Римановы метрики и римановы многообразия

[ редактировать ]
Касательная плоскость сферы с двумя векторами в ней. Риманова метрика позволяет взять скалярное произведение этих векторов.

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

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

Риманова метрика на назначает каждому положительно определенный внутренний продукт плавным образом (см. раздел о регулярности ниже). [3] Это вызывает норму определяется . Гладкое многообразие наделенный римановой метрикой риманово многообразие , обозначаемое . [3] Риманова метрика — это частный случай метрического тензора .

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

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

[ редактировать ]

Если являются гладкими локальными координатами на , векторы

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

. [4]

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

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

[4]

Регулярность римановой метрики

[ редактировать ]

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

бывают ситуации В геометрическом анализе , когда хочется рассмотреть негладкие римановы метрики. См., например (Громов 1999) и (Ши и Там 2002). Однако в этой статье предполагается гладким, если не указано иное.

Музыкальный изоморфизм

[ редактировать ]

По аналогии с тем, как скалярный продукт в векторном пространстве вызывает изоморфизм между векторным пространством и его двойственным пространством , заданный формулой риманова метрика индуцирует изоморфизм расслоений между касательным и кокасательным расслоениями . А именно, если является римановой метрикой, то

является изоморфизмом гладких векторных расслоений из касательного расслоения к котангенсу . [5]

Изометрии

[ редактировать ]

Изометрия — это функция между римановыми многообразиями, которая сохраняет всю структуру римановых многообразий. Если два римановых многообразия имеют между собой изометрию, они называются изометрическими и считаются одним и тем же многообразием для целей римановой геометрии.

В частности, если и — два римановых многообразия, диффеоморфизм называется изометрией, если , [6] то есть, если

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

Говорят, что гладкая карта не считается диффеоморфизмом, является локальной изометрией, если каждая имеет открытое окружение такой, что является изометрией (и, следовательно, диффеоморфизмом). [6]

Ориентированный -мерное риманово многообразие имеет уникальный -форма называется римановой формой объема . [7] Риманова форма объема сохраняется благодаря изометриям, сохраняющим ориентацию. [8] Форма объема порождает меру по что позволяет интегрировать измеримые функции. [ нужна ссылка ] Если компактен , объем является . [7]

Евклидово пространство

[ редактировать ]

Позволять обозначим стандартные координаты на (Каноническая) евклидова метрика дается [9]

или эквивалентно

или, что то же самое, его координатными функциями

где это дельта Кронекера .

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

Подмногообразия

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

Позволять — риманово многообразие и пусть быть погруженным подмногообразием или вложенным подмногообразием . Откат из является римановой метрикой на , и называется римановым подмногообразием . [10]

В случае, когда , карта дается и метрика это всего лишь ограничение к векторам, касательным вдоль . В общем, формула является

где это вперед продвижение к

Примеры:

  • The -сфера
— гладкое вложенное подмногообразие евклидова пространства. . [11] Риманова метрика, которую это индуцирует на называется круглой метрикой или стандартной метрикой .
  • Исправьте действительные числа . Эллипсоид
— гладкое вложенное подмногообразие евклидова пространства. .
  • График функции гладкой является гладким вложенным подмногообразием со своей стандартной метрикой.
  • Если не просто связен, существует накрывающее отображение , где это универсальная обложка . Это погружение (поскольку оно локально диффеоморфизм), поэтому автоматически наследует риманову метрику. По тому же принципу любое гладкое накрытие риманова многообразия наследует риманову метрику.

С другой стороны, если уже есть риманова метрика , то погружение (или вложение) называется изометрическим погружением (или изометрическим вложением ), если . Следовательно, изометрические погружения и изометрические вложения являются римановыми подмногообразиями. [10]

Продукты

[ редактировать ]

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

  • Учитывая разложение можно определить
    [12]
  • Если представляет собой гладкую координатную карту на и представляет собой гладкую координатную карту на , затем представляет собой гладкую координатную карту на Позволять быть представителем в графике и пусть быть представителем в графике . Представление в координатах является
    где [12]

Например, рассмотрим -тор . Если каждая копия задана круглая метрика, произведение риманова многообразия называется плоским тором .

Позитивные комбинации показателей

[ редактировать ]

Позволять быть римановыми метриками на Если любые положительные гладкие функции на , затем это еще одна риманова метрика на

Каждое гладкое многообразие допускает риманову метрику.

[ редактировать ]

Теорема: Каждое гладкое многообразие допускает (неканоническую) риманову метрику. [13]

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

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

Let be a smooth manifold and a locally finite atlas so that are open subsets and are diffeomorphisms. Such an atlas exists because the manifold is paracompact.

Let be a differentiable partition of unity subordinate to the given atlas, i.e. such that for all .

Define a Riemannian metric on by

where

Here is the Euclidean metric on and is its pullback along . While is only defined on , the product is defined and smooth on since . It takes the value 0 outside of . Because the atlas is locally finite, at every point the sum contains only finitely many nonzero terms, so the sum converges.

Now one needs to check that is actually a Riemannian metric. That is, one needs to check that is smooth at and that for fixed it is positive-definite, symmetric, and linear in the first argument. Symmetry is verified as follows:

Linearity in the first argument is verified as follows:

Positive-definiteness is verified as follows:

Because the atlas is locally finite, has a neighborhood on which the sum contains only finitely many nonzero terms. On this neighborhood, is a finite sum of smooth functions. Therefore is smooth at .

Альтернативное доказательство использует теорему вложения Уитни для вложения в евклидово пространство, а затем возвращает метрику из евклидова пространства в . С другой стороны, теорема вложения Нэша утверждает, что для любого гладкого риманова многообразия есть вложение для некоторых такой, что откат на стандартной римановой метрики на является То есть вся структура гладкого риманова многообразия может быть закодирована диффеоморфизмом некоторого вложенного подмногообразия некоторого евклидова пространства. Поэтому можно было бы утверждать, что рассмотрение абстрактных гладких многообразий и их римановых метрик ничего не даст. Однако существует множество естественных гладких римановых многообразий, таких как набор вращений трехмерного пространства и гиперболическое пространство , любое представление которых в качестве подмногообразия евклидова пространства не сможет представить их замечательные симметрии и свойства так же ясно, как их абстрактные представления. презентации делают.

Метрическая пространственная структура

[ редактировать ]

Допустимая кривая это кусочно гладкая кривая чья скорость ненулевое значение везде, где оно определено. Неотрицательная функция определяется на интервале за исключением конечного числа точек. Длина допустимой кривой определяется как

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

Теорема: метрическое пространство , а метрическая топология на совпадает с топологией на . [14]

Эскиз доказательства того, что является метрическим пространством, а метрическая топология на согласен с топологией на

In verifying that satisfies all of the axioms of a metric space, the most difficult part is checking that implies . Verification of the other metric space axioms is omitted.

There must be some precompact open set around p which every curve from p to q must escape. By selecting this open set to be contained in a coordinate chart, one can reduce the claim to the well-known fact that, in Euclidean geometry, the shortest curve between two points is a line. In particular, as seen by the Euclidean geometry of a coordinate chart around p, any curve from p to q must first pass though a certain "inner radius." The assumed continuity of the Riemannian metric g only allows this "coordinate chart geometry" to distort the "true geometry" by some bounded factor.

To be precise, let be a smooth coordinate chart with and Let be an open subset of with By continuity of and compactness of there is a positive number such that for any and any where denotes the Euclidean norm induced by the local coordinates. Let R denote to be used at the final step of the proof.

Now, given any admissible curve from p to q, there must be some minimal such that clearly

The length of is at least as large as the restriction of to So

The integral which appears here represents the Euclidean length of a curve from 0 to , and so it is greater than or equal to R. So we conclude

The observation about comparison between lengths measured by g and Euclidean lengths measured in a smooth coordinate chart, also verifies that the metric space topology of coincides with the original topological space structure of .

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

Если работать с римановыми метриками, которые являются просто непрерывными, но, возможно, не гладкими, длина допустимой кривой и функция риманова расстояния определяются точно так же, и, как и раньше, метрическое пространство и метрическая топология на совпадает с топологией на . [15]

Диаметр пространства метрического является

Теорема Хопфа –Ринова показывает, что если полно . и имеет конечный диаметр, оно компактно И наоборот, если компактна, то функция имеет максимум, так как является непрерывной функцией в компактном метрическом пространстве. Это доказывает следующее.

Если полно, то оно компактно тогда и только тогда, когда оно имеет конечный диаметр.

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

Соединения, геодезические и кривизна

[ редактировать ]

Соединения

[ редактировать ]

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

Позволять обозначим пространство векторных полей на . соединение (Аффинное)

на это билинейная карта такой, что

  1. Для каждой функции ,
  2. Правило продукта держит. [16]

Выражение называется ковариантной производной относительно .

Связь Леви-Чивита

[ редактировать ]

Два римановых многообразия с разными связностями имеют разную геометрию. К счастью, с римановым многообразием связана естественная связь, называемая связностью Леви-Чивита .

Соединение говорят, что сохраняет метрику, если

Соединение не имеет кручения, если

где это скобка Ли .

Связность Леви-Чивита — это связность без кручения, сохраняющая метрику. Если риманова метрика фиксирована, существует уникальная связность Леви-Чивита. [17] Обратите внимание, что определение сохранения метрики использует регулярность .

Ковариантная производная вдоль кривой

[ редактировать ]

Если — гладкая кривая, гладкое векторное поле вдоль это гладкая карта такой, что для всех . Набор гладких векторных полей вдоль является векторным пространством с учетом поточечного сложения векторов и скалярного умножения. [18] Можно также точечно умножить гладкое векторное поле вдоль с помощью гладкой функции :

для

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

Учитывая фиксированное соединение на и плавная кривая , существует уникальный оператор , называемая ковариантной производной вдоль , такой, что: [19]

  1. Если является продолжением , затем .

Геодезика

[ редактировать ]
В евклидовом пространстве , максимальные геодезические — прямые.
В круглой сфере , максимальные геодезические — большие круги .

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

Исправить соединение на . Позволять быть плавной кривой. Ускорение векторное поле вдоль . Если для всех , называется геодезической . [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]

Бесконечномерные многообразия

[ редактировать ]

Приведенные выше утверждения и теоремы относятся к конечномерным многообразиям — многообразиям, карты которых отображаются в открытые подмножества Их можно в определенной степени распространить на бесконечномерные многообразия; то есть многообразия, смоделированные по образцу топологического векторного пространства ; например, многообразия Фреше , Банаха и Гильберта .

Определения

[ редактировать ]

Римановы метрики определяются аналогично конечномерному случаю. Однако существует различие между двумя типами римановых метрик:

  • Слабая риманова метрика на это гладкая функция такой, что для любого ограничение является внутренним продуктом на [ нужна ссылка ]
  • Сильная риманова метрика на является слабой римановой метрикой такой, что индуцирует топологию на . Если является сильной римановой метрикой, то должно быть гильбертовым многообразием. [ нужна ссылка ]
  • Если является гильбертовым пространством , то для любого можно идентифицировать с Метрика для всех является сильной римановой метрикой. [ нужна ссылка ]
  • Позволять — компактное риманово многообразие и обозначим через ее группа диффеоморфизмов. Последняя представляет собой гладкое многообразие ( см. здесь ) и фактически группу Ли . [ нужна ссылка ] Его касательное расслоение в единице представляет собой набор гладких векторных полей на [ нужна ссылка ] Позволять быть объемной формой на слабая риманова метрика на , обозначенный , определяется следующим образом. Позволять Тогда для ,
    . [ нужна ссылка ]

Метрическая пространственная структура

[ редактировать ]

Длина кривых и функция риманова расстояния определяются аналогично конечномерному случаю. Функция расстояния , называемое геодезическим расстоянием , всегда является псевдометрикой (метрикой, которая не разделяет точки), но может и не быть метрикой. [46] В конечномерном случае доказательство того, что риманова функция расстояния разделяет точки, использует существование предкомпактного открытого множества вокруг любой точки. В бесконечном случае открытые множества перестают быть предкомпактными, поэтому доказательство не удается.

  • Если является сильной римановой метрикой на , затем разделяет точки (следовательно, является метрикой) и индуцирует исходную топологию. [ нужна ссылка ]
  • Если является слабой римановой метрикой, может не разделить точки. Фактически, оно может быть даже тождественно 0. [46] Например, если — компактное риманово многообразие, то слабая риманова метрика на приводит к исчезновению геодезического расстояния. [47]

Теорема Хопфа – Ринова

[ редактировать ]

В случае сильных римановых метрик одна часть конечномерной формулы Хопфа–Ринова сохраняется.

Теорема : Пусть — сильное риманово многообразие. Тогда метрическая полнота (в метрике ) подразумевает геодезическую полноту. [ нужна ссылка ]

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

Если является слабой римановой метрикой, то никакое понятие полноты, вообще говоря, не влечет другого. [ нужна ссылка ]

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ до Карму 1992 , стр. 35–36.
  2. ^ Jump up to: а б ду Карму 1992 , с. 37.
  3. ^ Jump up to: а б ду Карму 1992 , с. 38.
  4. ^ Jump up to: а б Ли 2018 , с. 13.
  5. ^ Ли 2018 , с. 26.
  6. ^ Jump up to: а б Ли 2018 , с. 12.
  7. ^ Jump up to: а б Ли 2018 , с. 30.
  8. ^ Ли 2018 , с. 31.
  9. ^ Ли 2018 , стр. 12–13.
  10. ^ Jump up to: а б Ли 2018 , с. 15.
  11. ^ Ли 2018 , с. 16.
  12. ^ Jump up to: а б Ли 2018 , с. 20.
  13. ^ Ли 2018 , с. 11.
  14. ^ Ли 2018 , с. 39.
  15. ^ Бурчер 2015 , с. 276.
  16. ^ Ли 2018 , стр. 89–91.
  17. ^ Ли 2018 , стр. 122–123.
  18. ^ Ли 2018 , с. 100.
  19. ^ Ли 2018 , стр. 101–102.
  20. ^ Ли 2018 , с. 103.
  21. ^ Ли 2018 , стр. 103–104.
  22. ^ Jump up to: а б с Ли 2018 , с. 105.
  23. ^ Ли 2018 , с. 156.
  24. ^ Ли 2018 , с. 137.
  25. ^ Ли 2018 , с. 131.
  26. ^ до Карму 1992 , стр. 146–147.
  27. ^ Ли 2018 , стр. 105–110.
  28. ^ Ли 2018 , с. 201.
  29. ^ Ли 2018 , с. 200.
  30. ^ Ли 2018 , стр. 196–197.
  31. ^ Ли 2018 , с. 207.
  32. ^ Ли 2018 , с. 210.
  33. ^ Jump up to: а б Вольф 2011 , Глава 2.
  34. ^ Вольф 2011 , Главы 2 и 7.
  35. ^ Вольф 2011 , Главы 2 и 3.
  36. ^ Чигер и Эбин 2008 , Предложение 3.18.
  37. ^ Чигер и Эбин 2008 , следствие 3.19; Петерсен 2016 , Раздел 4.4.
  38. ^ Петерсен 2016 , раздел 4.4.3 и стр. 399.
  39. ^ Петерсен 2016 , с. 369.
  40. ^ В модели верхнего полупространства гиперболического пространства структура группы Ли определяется формулой
  41. ^ Ли 2018 , пример 3.16f.
  42. ^ Ли 2018 , с. 72; Милнор 1976 .
  43. ^ Кобаяши и Номидзу 1963 , Теорема IV.4.5.
  44. ^ Jump up to: а б Бесс 1987 , Раздел 7C.
  45. ^ Jump up to: а б с Петерсен 2016 , Глава 10.
  46. ^ Jump up to: а б Маньяни и Тиберио 2020 .
  47. ^ Мичор и Мамфорд 2005 .

Источники

[ редактировать ]
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 71215c74a03de1bacb041e26ea137f7c__1722663660
URL1:https://arc.ask3.ru/arc/aa/71/7c/71215c74a03de1bacb041e26ea137f7c.html
Заголовок, (Title) документа по адресу, URL1:
Riemannian manifold - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)