Русская Википедия:Трёхмерное многообразие
Трёхмерное многообразие — топологическое пространство, локально устроенное как трёхмерное евклидово пространство <math>\R^3</math>. Иными словами, многообразие размерности три. Является центральным понятием трёхмерной топологии.
Теория трёхмерных многообразий предоставляет математический аппарат для описания возможных форм Вселенной. Так, для достаточно малого наблюдателя все трёхмерные многообразия похожи на нашу Вселенную подобно тому, как для землян поверхность Земли похожа на плоскость.
Определение
Топологическое пространство называется трёхмерным многообразием, если каждая его точка имеет окрестность, гомеоморфную открытому подмножеству трёхмерного евклидова полупространства <math>\R^2 \times \R_{\ge 0}</math>, а само оно хаусдорфово и имеет счётную базуШаблон:Sfn.
Связанные понятия
Точки многообразия делятся на два непересекающихся типа: внутренние и граничные. А именно, точки, имеющие окрестность, гомеоморфную открытому подмножеству трёхмерного пространства <math>\R^3</math>, называются внутренними, а остальные — граничными. Множество всех внутренних точек многообразия называется его внутренностью, а дополнение внутренности, т. е. множество всех граничных точек, — краем многообразия.
Если край трёхмерного многообразия не пуст, то он является двумерным многообразием, край которого пуст.
Если край многообразия пуст, то говорят, что оно не имеет края или без края. Многообразие без края называется замкнутым, если оно компактно, и открытым — иначе.
Примеры
Простейшие примеры трёхмерных многообразий являются подмножествами трёхмерного евклидова пространства <math>\R^3</math>.
Прежде всего, само пространство <math>\R^3</math>, представляющее собой обыкновенное трёхмерное вещественное векторное пространство, является некомпактным трёхмерным многообразием без края. То же самое можно заключить про любое его открытое подмножество.
Такие геометрические фигуры, как шар, полноторий и тела с ручками, являются компактными трёхмерными многообразиями, край которых гомеоморфен сферам с ручками.
Другой важной серией компактных трёхмерных многообразий являются пространства, получающиеся из шара таким вырезанием (открытого) заузленного цилиндра, чтобы край полученного многообразия был гомеоморфен тору. Например, если цилиндр является прямым, получится полноторий. В общем случае такие многообразия гомеоморфны дополнениям соответствующих узлов до трёхмерной сферы.
Аналогично рассматривают результаты удаления из шара открытых трубчатых окрестностей произвольных графов. Такие многообразия включают и дополнения узлов и зацеплений, и тела с ручками.
Ниже приведены некоторые основные замкнутые трёхмерные многообразия.
Трёхмерная сфера
Трёхмерная сфера <math>S^3</math> может быть определена как единичная сфера в пространстве <math>\R^4</math>. Подобно тому, как двумерная сфера гомеоморфна результату стягивания в одну точку края двумерного шара, т. е. диска, трёхмерная сфера гомеоморфна результату стягивания в одну точку края трёхмерного шара. Или, что то же самое, гомеоморфна одноточечной компактификации трёхмерного евклидова пространства: <math>S^3 \cong \R^3 \cup \{\infty\}</math>.
Как показано на рисунке, такое описание позволяет в явном виде строить триангуляции трёхмерной сферы. Кроме того, данная модель позволяет наглядно описывать разбиения Хегора пространства <math>S^3</math>. А именно, стандартно вложенная в <math>\R^3</math> сфера с ручками разделяет трёхмерную сферу на два тела с ручками. В частности, дополнение двумерной сферы до трёхмерной сферы гомеоморфно двум шарам.
Трёхмерная сфера гомеоморфна пространству <math>{\rm Spin}(3)</math>, а значит допускает групповую структуру, а точнее, структуру группы Ли.
Вещественное проективное пространство
Шаблон:Main Вещественное проективное пространство <math>\R{\rm P}^3</math> может быть определено как пространство прямых в <math>\R^4</math>, проходящих через начало координат. Подобно тому, как вещественная проективная плоскость гомеоморфна результату отождествления пар противоположных точек края двумерного шара, т. е. диска, вещественное проективное пространство гомеоморфно результату отождествления пар противоположных точек края трёхмерного шара.
Пространство <math>\R{\rm P}^3</math> гомеоморфно пространству SO(3), а значит допускает групповую структуру, а точнее, структуру группы Ли. Кроме того, двулистное универсальное накрытие <math>S^3 \to \R{\rm P}^3</math> является гомоморфизмом групп Ли.
Трёхмерный тор
Шаблон:Main Трёхмерный тор является произведением трёх окружностей:
- <math>\mathrm{T}^3 = S^1 \times S^1 \times S^1.</math>
Как показано на рисунке, он гомеоморфен результату отождествления (посредством параллельных переносов) противоположных сторон трёхмерного куба.
Как и в предыдущих примерах, данное трёхмерное многообразие является компактной группой Ли, гомеоморфной произведению трёх копий группы U(1). Универсальное накрытие <math>\R^3 \to \mathrm{T}^3</math> является гомоморфизмом.
Свойства
С помощью двойственности Пуанкаре и теоремы Гуревича получаются следующие выражения для групп гомологий и когомологий замкнутого связного трёхмерного многообразия <math>M</math> в терминах его фундаментальной группы <math>\pi = \pi_1(M)</math>:
- <math>\begin{align}
H_0(M;\mathbb{Z}) &\cong H^3(M;\mathbb{Z}) \cong \mathbb{Z}, \\ H_1(M;\mathbb{Z}) &\cong H^2(M;\mathbb{Z}) \cong \pi/[\pi,\pi], \\ H_2(M;\mathbb{Z}) &\cong H^1(M;\mathbb{Z}) \cong \mathrm{Hom}(\pi,\mathbb{Z}) \cong \mathrm{Hom}(\pi/[\pi,\pi],\mathbb{Z}), \\ H_3(M;\mathbb{Z}) &\cong H^0(M;\mathbb{Z}) \cong \mathbb{Z}, \end{align}</math> где <math>\pi/[\pi,\pi]</math> — абелианизация фундаментальной группы. Две средние группы также изоморфны, соответственно, её первым группам гомологий и когомологий:
- <math>\begin{align}
H_1(\pi;\mathbb{Z}) &\cong \pi/[\pi,\pi], \\ H^1(\pi;\mathbb{Z}) &\cong \text{Hom}(\pi,\mathbb{Z}). \end{align}</math>
Данная информация позволяет установить гомотопическую классификацию замкнутых трёхмерных многообразий[1]. Так, Шаблон:Нп5 предоставляет каноническое отображение
- <math>q: M \to B\pi</math>.
Вместе с группой <math>\pi</math> гомологический класс <math>q_*([M]) \in H_3(B\pi) \cong H_3(\pi,\mathbb{Z})</math>, являющийся образом фундаментального класса <math>[M] \in H_3(M)</math>, предоставляет полное алгебраическое описание гомотопического типа замкнутого многообразия <math>M</math>.
Одной из важных топологических операций является связная сумма двух трехмерных многообразий: <math>M_1\# M_2</math>. Из общих теорем топологии следует, что для трехмерного многообразия с разложением в связную сумму <math>M = M_1\# \ldots \# M_n</math> большинство инвариантов могут быть вычислены из инвариантов многообразий <math>M_i</math>. В частности,
- <math>\begin{align}
H_1(M) &= H_1(M_1)\oplus \ldots \oplus H_1(M_n), \\ H_2(M) &= H_2(M_1)\oplus \ldots \oplus H_2(M_n), \\ \pi_1(M) &= \pi_1(M_1) * \ldots * \pi_1(M_n). \end{align}</math>
Для трёхмерного многообразия, представленного в виде связной суммы своих простых слагаемых, существует хорошее описание второй гомотопической группы[2]. В частном случае, когда каждая группа <math>\pi_1(M_i)</math> бесконечна, но не циклическая, имеется изоморфизм <math>\mathbb{Z}[\pi]</math>-модулей:
- <math>\pi_2(M) \cong \frac{\mathbb{Z}[\pi]\{ \sigma_1,\ldots,\sigma_n\}}{(\sigma_1 + \ldots + \sigma_n)},</math>
где <math>\sigma_i:S^2 \to M</math> — двумерные сферы в <math>M_i</math>, окружающие шары, по которым строится связная сумма.
Некоторые классы трёхмерных многообразий
- Шаблон:Нп5
- Многообразия Хакена
- Гомологические сферы
- Шаблон:Нп5
- Шаблон:Нп5
- Дополнения узлов и зацеплений
- Линзовые пространства
- Расслоения Зейферта и расслоения на окружности
- Шаблон:Нп5
- Шаблон:Нп5 и Шаблон:Нп5
См. также
Примечания
Литература
