WikiSort.ru - Не сортированное

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

Топологическое подмногообразие

В узком смысле слова топологическое ${\displaystyle n}$ -мерное подмногообразие ${\displaystyle N}$ топологического ${\displaystyle m}$ -мерного многообразия ${\displaystyle M}$ ― такое подмножество ${\displaystyle N\subset M}$ , которое в индуцированной топологии является ${\displaystyle n}$ -мерным многообразием.

В широком смысле слова топологическое ${\displaystyle n}$ -мерное подмногообразие топологического ${\displaystyle m}$ -мерного многообразия ${\displaystyle M}$ ― такое ${\displaystyle n}$ -мерное многообразие ${\displaystyle N}$ , которое как множество точек является подмножеством ${\displaystyle M}$ (иными словами, ${\displaystyle N}$ ― это подмножество ${\displaystyle M}$ , снабженное структурой ${\displaystyle n}$ -мерного многообразия) и для которого тождественное вложение ${\displaystyle i:N\to M}$ является погружением.

Подмногообразие в узком смысле является подмногообразиями в широком смысле, а последнее является подмногообразием в узком смысле тогда и только тогда, когда ${\displaystyle i}$ есть вложение в топологическом смысле (т. е. у каждой точки ${\displaystyle p\in N}$ имеется сколь угодно малые окрестности в ${\displaystyle N}$ , являющиеся пересечениями с ${\displaystyle N}$ некоторых окрестностей в ${\displaystyle M}$ ).

Алгебраическая геометрия

В алгебраической геометрии подмногообразие ― замкнутое подмножество алгебраического многообразия в топологии Зарисского.

Этим формализуется идея, что подмногообразие задается алгебраическим уравнениями. Помимо перехода от ${\displaystyle \mathbb {R} }$ к другим полям, изменение понятия подмногообразие в этом случае состоит в том, что допускаются подмногообразия с особенностями.