Многообра́зие (топологическое многообразие) — локально евклидово пространство.
Евклидово пространство является самым простым примером многообразия. Более сложным примером может служить поверхность Земли: возможно сделать карту какой-либо области земной поверхности, например, карту полушария, но невозможно составить единую (плоскую и без разрывов) карту всей её поверхности.
Исследования многообразий были начаты во второй половине XIX века, они естественно возникли при изучении дифференциальной геометрии и теории групп Ли. Тем не менее первые точные определения были сделаны только в 30-х годах XX века.
Обычно рассматриваются так называемые гладкие многообразия, то есть те, на которых есть выделенный класс гладких функций — в таких многообразиях можно говорить о касательных векторах и касательных пространствах. Для того чтобы измерять длины кривых и углы, нужна ещё дополнительная структура — риманова метрика.
В классической механике основным многообразием является фазовое пространство. В общей теории относительности четырёхмерное псевдориманово многообразие используется как модель для пространства-времени.
n {\displaystyle n} -мерное топологическое многообразие без края — это хаусдорфово топологическое пространство со счётной базой, в котором каждая точка имеет открытую окрестность, гомеоморфную открытому подмножеству R n {\displaystyle \mathbb {R} ^{n}} , то есть n {\displaystyle n} -мерному евклидову пространству.
n {\displaystyle n} -мерное топологическое многообразие[уточнить] — это хаусдорфово топологическое пространство со счётной базой, в котором каждая точка имеет окрестность, гомеоморфную открытому подмножеству замкнутого полупространства в R n {\displaystyle \mathbb {R} ^{n}} (считаем открытыми также объединения открытых подмножеств с пересечением их границы и граничной гиперплоскости).
Гладкая структура, определённая ниже, обычно возникает в почти всех приложениях и при этом делает многообразие гораздо удобней в работе.
Для топологического многообразия M {\displaystyle M} без границы картой называется гомеоморфизм φ φ --> {\displaystyle \varphi } из открытого множества U ⊂ ⊂ --> M {\displaystyle U\subset M} на открытое подмножество R n {\displaystyle \mathbb {R} ^{n}} . Набор карт, покрывающих всё M {\displaystyle M} , называется атласом.
Если две карты φ φ --> {\displaystyle \varphi } и ψ ψ --> {\displaystyle \psi } накрывают одну точку в M {\displaystyle M} , то их композиция φ φ --> ∘ ∘ --> ψ ψ --> − − --> 1 {\displaystyle \varphi \circ \psi ^{-1}} задаёт отображение «склейки» из открытого множества R n {\displaystyle \mathbb {R} ^{n}} в открытое множество R n {\displaystyle \mathbb {R} ^{n}} . Если все отображения склейки из класса C k {\displaystyle C^{k}} (то есть k {\displaystyle k} раз непрерывно дифференцируемых функций), то атлас называется C k {\displaystyle C^{k}} атласом (можно также рассматривать k = ∞ ∞ --> {\displaystyle k=\infty } или ω ω --> {\displaystyle \omega } , что соответствует бесконечно дифференцируемым и аналитическим склейкам).
Пример: сфера может быть покрыта C ∞ ∞ --> {\displaystyle C^{\infty }} -атласом из двух карт на дополнениях северного и южного полюсов со стереографическими проекциями по отношению к этим полюсам.
Два C k {\displaystyle C^{k}} атласа задают одну C k {\displaystyle C^{k}} -гладкую структуру, если их объединение является C k {\displaystyle C^{k}} -атласом.
Для таких многообразий можно ввести понятия касательного вектора, касательного и кокасательного пространств и расслоений.
Для заданной C 1 {\displaystyle C^{1}} -гладкой структуры можно найти C ∞ ∞ --> {\displaystyle C^{\infty }} -гладкую структуру, задаваемую новым C ∞ ∞ --> {\displaystyle C^{\infty }} -атласом, который задаёт ту же C 1 {\displaystyle C^{1}} -гладкую структуру. Более того, все такие полученные таким образом многообразия являются C ∞ ∞ --> {\displaystyle C^{\infty }} -диффеоморфными. Поэтому часто под гладкой структурой понимают C 1 {\displaystyle C^{1}} -гладкую структуру.
Не каждое топологическое многообразие допускает гладкую структуру. Примеры таких «шершавых» многообразий появляются уже в размерности четыре. Также существуют примеры топологических многообразий, которые допускают несколько различных гладких структур. Первый такой пример нестандартной гладкой структуры, так называемая сфера Милнора, был построен Милнором на семимерной сфере.
Каждое связное одномерное многообразие без границы гомеоморфно вещественной прямой или окружности.[источник не указан 1952 дня]
Гомеоморфный класс замкнутой связной поверхности задаётся её эйлеровой характеристикой и ориентируемостью (если поверхность ориентируема, то это сфера с ручками, если нет, то связная сумма нескольких копий проективной плоскости).
Классификация замкнутых трёхмерных многообразий следует из гипотезы Тёрстона, которая была недавно доказана Перельманом.
Если размерность больше трёх, то классификация невозможна; более того, невозможно построить алгоритм, который определяет, является ли многообразие односвязным. Тем не менее, существует классификация всех односвязных многообразий во всех размерностях ≥ 5.
Можно также классифицировать гладкие многообразия.
Часто гладкие многообразия оснащают дополнительными структурами. Вот список наиболее часто встречаемых дополнительных структур:
Lokasi Pengunjung: 3.137.178.228