Плоский коллектор - Flat manifold - Wikipedia

В математика, а Риманово многообразие как говорят плоский если это Тензор кривизны Римана везде ноль. Интуитивно плоское многообразие - это такое многообразие, которое "локально выглядит как" Евклидово пространство с точки зрения расстояний и углов, например внутренние углы треугольника в сумме составляют 180 °.

В универсальный чехол из полный плоское многообразие - это евклидово пространство. Это может быть использовано для доказательства теоремы Бибербаха (1911, 1912 ) все это компактный плоские многообразия конечно покрываются торами; 3-мерный случай был ранее доказан Шенфлис (1891).

Примеры

Следующие многообразия можно снабдить плоской метрикой. Обратите внимание, что это может быть не их «стандартная» метрика (например, плоская метрика на двумерном торе не является метрикой, индуцированной ее обычным вложением в ${\displaystyle \mathbb {R} ^{3}}$).

Размер 1

Всякое одномерное риманово многообразие является плоским. Наоборот, учитывая, что всякое связное одномерное гладкое многообразие диффеоморфно либо ${\displaystyle \mathbb {R} }$ или же ${\displaystyle S^{1},}$ Несложно увидеть, что каждое связное одномерное риманово многообразие изометрично одному из следующих (каждое со своей стандартной римановой структурой):

• настоящая линия
• открытый интервал ${\displaystyle (0,x)}$ для некоторого числа ${\displaystyle x>0}$
• открытый интервал ${\displaystyle (0,\infty )}$
• круг ${\displaystyle \{(x,y)\in \mathbb {R} ^{2}:x^{2}+y^{2}=r^{2}\}}$ радиуса ${\displaystyle r,}$ для некоторого числа ${\displaystyle r>0.}$

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

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

Размер 2

Пять возможностей с точностью до диффеоморфизма

Если ${\displaystyle (M,g)}$ - гладкое двумерное связное полное плоское риманово многообразие, то ${\displaystyle M}$ должен быть диффеоморфен ${\displaystyle \mathbb {R} ^{2},}$ ${\displaystyle S^{1}\times \mathbb {R} ,}$ ${\displaystyle S^{1}\times S^{1},}$ то Лента Мебиуса, или Бутылка Клейна. Обратите внимание, что единственными компактными возможностями являются ${\displaystyle S^{1}\times S^{1}}$ и бутылку Клейна, в то время как единственные ориентируемые возможности ${\displaystyle \mathbb {R} ^{2},}$ ${\displaystyle S^{1}\times \mathbb {R} ,}$ и ${\displaystyle S^{1}\times S^{1}.}$

Требуется больше усилий для описания различных полных плоских римановых метрик на этих пространствах. Например, ${\displaystyle S^{1}\times S^{1}}$ даже имеет много разных показателей плоского продукта, поскольку можно принять два фактора, чтобы иметь разные радиусы; следовательно, это пространство даже имеет разные метрики плоского продукта, которые не являются изометрическими с точностью до масштабного коэффициента. Чтобы единообразно говорить о пяти возможностях и, в частности, работать конкретно с лентой Мёбиуса и бутылкой Клейна как с абстрактными многообразиями, полезно использовать язык групповых действий.

Пять возможностей, вплоть до изометрии

Данный ${\displaystyle (x_{0},y_{0})\in \mathbb {R} ^{2},}$ позволять ${\displaystyle T_{(x_{0},y_{0})}}$ обозначить перевод ${\displaystyle \mathbb {R} ^{2}\to \mathbb {R} ^{2}}$ данный ${\displaystyle (x,y)\mapsto (x+x_{0},y+y_{0}).}$ Позволять ${\displaystyle R}$ обозначить отражение ${\displaystyle \mathbb {R} ^{2}\to \mathbb {R} ^{2}}$ данный ${\displaystyle (x,y)\mapsto (x,-y).}$ Учитывая два положительных числа ${\displaystyle a,b,}$ рассмотрим следующие подгруппы ${\displaystyle \operatorname {Isom} (\mathbb {R} ^{2}),}$ группа изометрий ${\displaystyle \mathbb {R} ^{2}}$ со стандартной метрикой.

• ${\displaystyle G_{e}=\{T_{(0,0)}\}}$
• ${\displaystyle G_{\text{cyl}}(a)=\{T_{(an,0)}:n\in \mathbb {Z} \}}$
• ${\displaystyle G_{\text{tor}}(a,b)=\{T_{(na,mb)}:m,n\in \mathbb {Z} \}}$ при условии ${\displaystyle a<b.}$
• ${\displaystyle G_{\text{Moeb}}(a)=\{T_{(2na,0)}:n\in \mathbb {Z} \}\cup \{T_{((2n+1)a,0)}\circ R:n\in \mathbb {Z} \}}$
• ${\displaystyle G_{\text{KB}}(b)=\{T_{(2na,bm)}:n,m\in \mathbb {Z} \}\cup \{T_{((2n+1)a,bm)}\circ R:n,m\in \mathbb {Z} \}}$

Все эти группы действуют свободно и должным образом прерывно на ${\displaystyle \mathbb {R} ^{2},}$ и поэтому различные смежные пространства ${\displaystyle \mathbb {R} ^{2}/G}$ все они естественно имеют структуру двумерных полных плоских римановых многообразий. Ни одно из них не изометрично друг другу, и любое гладкое двумерное полное плоское связное риманово многообразие изометрично одному из них.

Орбифолды

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

Замечания

Отметим, что стандартная «картина» тора как пончик не представляет его с плоской метрикой, поскольку точки, наиболее удаленные от центра, имеют положительную кривизну, а точки, ближайшие к центру, имеют отрицательную кривизну. Согласно формулировке Койпера Теорема вложения Нэша, Существует ${\displaystyle C^{1}}$ встраивание ${\displaystyle S^{1}\times S^{1}\to \mathbb {R} ^{3}}$ который индуцирует любую из метрик плоского продукта, существующих на ${\displaystyle S^{1}\times S^{1},}$ но это нелегко визуализировать. С ${\displaystyle S^{1}}$ представлен как вложенное подмногообразие ${\displaystyle \mathbb {R} ^{2},}$ любую из (плоских) структур продукта на ${\displaystyle S^{1}\times S^{1}}$ естественно представить как подмногообразия ${\displaystyle \mathbb {R} ^{2}\times \mathbb {R} ^{2}=\mathbb {R} ^{4}.}$ Точно так же стандартные трехмерные визуализации бутылки Клейна не представляют плоскую метрику. Стандартная конструкция ленты Мёбиуса путем склеивания концов полосы бумаги действительно дает ей плоскую метрику, но не является полной.

Размер 3

Полный список 6 ориентируемых и 4 неориентируемых компактных примеров см. Волоконное пространство Зейферта.

Высшие измерения

• Евклидово пространство
• Тори
• Продукция плоских коллекторов
• Факторы плоских многообразий по группам, действующим свободно.

Отношение к податливости

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

Это следствие Адамс-Ballmann теорема (1998),^[1] что устанавливает эту характеристику в гораздо более общем контексте дискретный кокомпакт группы изометрий Пространства Адамара. Это дает далеко идущее обобщение Теорема Бибербаха.

Предположение о дискретности является существенным в теореме Адамса-Баллмана: в противном случае классификация должна включать симметричные пространства, Здания Брюа-Титса и Деревья Басс-Серр в силу «недискретной» теоремы Бибербаха Капраса-Monod.^[2]

Смотрите также

• Космические формы
• Кристаллографические группы
• Риччи-плоское многообразие
• Конформно плоский коллектор
• Аффинное многообразие

Рекомендации

• Бибербах, Л. (1911), "Uber die Bewegungsgruppen der Euklidischen Räume I", Mathematische Annalen, 70 (3): 297–336, Дои:10.1007 / BF01564500.

• Бибербах, Л. (1912), "Über die Bewegungsgruppen der Euklidischen Räume II: Die Gruppen mit einem endlichen Fundamentalbereich", Mathematische Annalen, 72 (3): 400–412, Дои:10.1007 / BF01456724.

• Кобаяси, Шошичи; Номидзу, Кацуми (1996), Основы дифференциальной геометрии. Vol. я (Перепечатка оригинального издания 1963 г.), Нью-Йорк: John Wiley & Sons, Inc., стр. 209–224, ISBN  0-471-15733-3
• Шенфлис, А. (1891), Kristallsysteme und Kristallstruktur, Teubner.

• Винберг, Э. (2001) [1994], «Кристаллографическая группа», Энциклопедия математики, EMS Press

внешняя ссылка

• Вайсштейн, Эрик В. «Плоский коллектор». MathWorld.

Рекомендации

1. Adams, S .; Баллманн, В. (1998). «Аменабельные группы изометрий пространств Адамара». Математика. Анна. 312 (1): 183–195.
2. Caprace, P.-E .; Монод, Н. (2015). «Недискретная теорема Бибербаха: от аменабельных групп CAT (0) к зданиям Титса». J. École Polytechnique. 2: 333–383.