Підмноговид

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

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

Топологічні підмноговиди[ред.ред. код]

У вузькому сенсі слова топологічний -вимірний підмноговид топологічного -вимірного многовида ― така підмножина , що в індукованій топології є -вимірним многовидом.

У широкому сенсі слова топологічним -вимірний підмноговид топологічного -вимірного многовиду ― такий -вимірний многовид , що як множина точок є підмножиною (іншими словами, ― це підмножина , що оснащене структурою -вимірного многовиду) і для якого тотожнє вкладення є зануренням.