Підмноговид

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

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

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

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

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