Підбагатовид

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

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

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

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

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