Трёхмерное многообразие
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/db/3-Manifold_3-Torus.png/250px-3-Manifold_3-Torus.png)
Трёхмерное многообразие — топологическое пространство, локально устроенное как трёхмерное евклидово пространство . Иными словами, многообразие размерности три. Является центральным понятием трёхмерной топологии.
Теория трёхмерных многообразий предоставляет математический аппарат для описания возможных форм Вселенной. Так, для достаточно малого наблюдателя все трёхмерные многообразия похожи на нашу Вселенную подобно тому, как для землян поверхность Земли похожа на плоскость.
Определение
[править | править код]Топологическое пространство называется трёхмерным многообразием, если каждая его точка имеет окрестность, гомеоморфную открытому подмножеству трёхмерного евклидова полупространства , а само оно хаусдорфово и имеет счётную базу[1].
Связанные понятия
[править | править код]Точки многообразия делятся на два непересекающихся типа: внутренние и граничные. А именно, точки, имеющие окрестность, гомеоморфную открытому подмножеству трёхмерного пространства , называются внутренними, а остальные — граничными. Множество всех внутренних точек многообразия называется его внутренностью, а дополнение внутренности, т. е. множество всех граничных точек, — краем многообразия.
Если край трёхмерного многообразия не пуст, то он является двумерным многообразием, край которого пуст.
Если край многообразия пуст, то говорят, что оно не имеет края или без края. Многообразие без края называется замкнутым, если оно компактно, и открытым — иначе.
Примеры
[править | править код]![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6f/Figure_eight_knot_complement.jpg/250px-Figure_eight_knot_complement.jpg)
Простейшие примеры трёхмерных многообразий являются подмножествами трёхмерного евклидова пространства .
Прежде всего, само пространство , представляющее собой обыкновенное трёхмерное вещественное векторное пространство, является некомпактным трёхмерным многообразием без края. То же самое можно заключить про любое его открытое подмножество.
Такие геометрические фигуры, как шар, полноторий и тела с ручками, являются компактными трёхмерными многообразиями, край которых гомеоморфен сферам с ручками.
Другой важной серией компактных трёхмерных многообразий являются пространства, получающиеся из шара таким вырезанием (открытого) заузленного цилиндра, чтобы край полученного многообразия был гомеоморфен тору. Например, если цилиндр является прямым, получится полноторий. В общем случае такие многообразия гомеоморфны дополнениям соответствующих узлов до трёхмерной сферы.
Аналогично рассматривают результаты удаления из шара открытых трубчатых окрестностей произвольных графов. Такие многообразия включают и дополнения узлов и зацеплений, и тела с ручками.
Ниже приведены некоторые основные замкнутые трёхмерные многообразия.
Трёхмерная сфера
[править | править код]![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/76/Stereographic_polytope_120cell_faces.png/300px-Stereographic_polytope_120cell_faces.png)
Трёхмерная сфера может быть определена как единичная сфера в пространстве . Подобно тому, как двумерная сфера гомеоморфна результату стягивания в одну точку края двумерного шара, т. е. диска, трёхмерная сфера гомеоморфна результату стягивания в одну точку края трёхмерного шара. Или, что то же самое, гомеоморфна одноточечной компактификации трёхмерного евклидова пространства: .
Как показано на рисунке, такое описание позволяет в явном виде строить триангуляции трёхмерной сферы. Кроме того, данная модель позволяет наглядно описывать разбиения Хегора пространства . А именно, стандартно вложенная в сфера с ручками разделяет трёхмерную сферу на два тела с ручками. В частности, дополнение двумерной сферы до трёхмерной сферы гомеоморфно двум шарам.
Трёхмерная сфера гомеоморфна пространству , а значит допускает групповую структуру, а точнее, структуру группы Ли.
Вещественное проективное пространство
[править | править код]Вещественное проективное пространство может быть определено как пространство прямых в , проходящих через начало координат. Подобно тому, как вещественная проективная плоскость гомеоморфна результату отождествления пар противоположных точек края двумерного шара, т. е. диска, вещественное проективное пространство гомеоморфно результату отождествления пар противоположных точек края трёхмерного шара.
Пространство гомеоморфно пространству SO(3), а значит допускает групповую структуру, а точнее, структуру группы Ли. Кроме того, двулистное универсальное накрытие является гомоморфизмом групп Ли.
![](http://upload.wikimedia.org/wikipedia/commons/6/6f/VIDITO-2_vierdimensionaler_Torus.gif)
Трёхмерный тор
[править | править код]Трёхмерный тор является произведением трёх окружностей:
Как показано на рисунке, он гомеоморфен результату отождествления (посредством параллельных переносов) противоположных сторон трёхмерного куба.
Как и в предыдущих примерах, данное трёхмерное многообразие является компактной группой Ли, гомеоморфной произведению трёх копий группы U(1). Универсальное накрытие является гомоморфизмом.
Свойства
[править | править код]С помощью двойственности Пуанкаре и теоремы Гуревича получаются следующие выражения для групп гомологий и когомологий замкнутого связного трёхмерного многообразия в терминах его фундаментальной группы :
где — абелианизация фундаментальной группы. Две средние группы также изоморфны, соответственно, её первым группам гомологий и когомологий:
Данная информация позволяет установить гомотопическую классификацию замкнутых трёхмерных многообразий[2]. Так, башня Постникова[англ.] предоставляет каноническое отображение
- .
Вместе с группой гомологический класс , являющийся образом фундаментального класса , предоставляет полное алгебраическое описание гомотопического типа замкнутого многообразия .
Одной из важных топологических операций является связная сумма двух трехмерных многообразий: . Из общих теорем топологии следует, что для трехмерного многообразия с разложением в связную сумму большинство инвариантов могут быть вычислены из инвариантов многообразий . В частности,
Для трёхмерного многообразия, представленного в виде связной суммы своих простых слагаемых, существует хорошее описание второй гомотопической группы[3]. В частном случае, когда каждая группа бесконечна, но не циклическая, имеется изоморфизм -модулей:
где — двумерные сферы в , окружающие шары, по которым строится связная сумма.
Некоторые классы трёхмерных многообразий
[править | править код]- Граф многообразия[англ.]
- Многообразия Хакена
- Гомологические сферы
- Гиперболические многообразия[англ.]
- Расслоения на отрезки[англ.]
- Дополнения узлов и зацеплений
- Линзовые пространства
- Расслоения Зейферта и расслоения на окружности
- Сферические многообразия[англ.]
- Расслоения над окружностью[англ.] и торические расслоения[англ.]
См. также
[править | править код]Примечания
[править | править код]- ↑ Матвеев и Фоменко, 1998, 1.8. Многообразия.
- ↑ Swarup, G. Ananda (1974). "On a Theorem of C. B. Thomas". Journal of the London Mathematical Society (англ.). s2-8 (1): 13—21. doi:10.1112/jlms/s2-8.1.13. ISSN 1469-7750. Архивировано 12 февраля 2023. Дата обращения: 2 марта 2023.
- ↑ Swarup, G. Ananda (1973-06-01). "On embedded spheres in 3-manifolds". Mathematische Annalen (англ.). 203 (2): 89—102. doi:10.1007/BF01431437. ISSN 1432-1807. S2CID 120672504.
Литература
[править | править код]- Прасолов В. В., Сосинский А. Б. Узлы, зацепления, косы и трёхмерные многообразия. — М.: МЦНМО, 1997. — ISBN 5-900916-10-3.
- Матвеев С. В., Фоменко А. Т. Алгоритмические и компьютерные методы в трехмерной топологии. — М.: Наука, 1998. — ISBN 5-211-01743-9.
- Hempel, John (2004), 3-manifolds, Providence, RI: American Mathematical Society, doi:10.1090/chel/349, ISBN 0-8218-3695-1, MR 2098385
- Jaco, William H. (1980), Lectures on three-manifold topology, Providence, RI: American Mathematical Society, ISBN 0-8218-1693-4, MR 0565450
- Rolfsen, Dale (1976), Knots and Links, Providence, RI: American Mathematical Society, ISBN 0-914098-16-0, MR 1277811
- Bing, R. H. (1983), The Geometric Topology of 3-Manifolds, Colloquium Publications, vol. 40, Providence, RI: American Mathematical Society, pp. x+238, ISBN 0-8218-1040-5, MR 0928227