Теорема Мура о фактор-пространстве — классическое утверждение двумерной топологии, даёт достаточное условие на то, что факторпространство сферы гомеоморфно двумерной сфере.
Доказана Робертом Муром в 1925 году.
Пусть — сюрьективное непрерывное отображение двумерной сферы на хаусдорфово пространство . Предположим, что для любой точки прообраз , а также его дополнение связны. Тогда гомеоморфно , более того отображение есть предел гомеоморфизмов .
Эквивалентная формулировка теоремы даётся на языке отношения эквивалентности на . Отображение задаёт отношение эквивалентности на , определяемое как
Классы эквивалентности образуют полунепрерывное семейство замкнутых множеств. То есть, если , и для любого , тогда .
В старших размерностях необходимым для существования близкого гомеоморфизма, сюрьекция из многообразия на хаусдорфово пространство должна быть клеточной. Это означает, что для любой точки и любого открытого множества , содержащего прообраз , можно найти замкнутое множество , гомеоморфное шару, такое что .
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .