Вопрос задавал в недавней теме, но интерес к нему не угас, а тема утонула, поэтому выделю его в отдельную тему.
Вот у нас есть многообразие
(связное, без края) и оно тем свойством обладает, что любое его подмногообразие (компактное, связанное, без края)
и любой гомеоморфизм
, подмногообразия
в себя продолжается до гомеоморфизма
многообразия
в себя (что значит ровно то, что существует гомеоморфизм
поверхности в себя, такой, что его сужение на
совпадает с
).
Что известно про такие
? Очевидно, что в качестве
может выступать
, и не может выступать
(что для меня было менее очевидно, но в соседней теме, кажись, разобрались). Может ли выступать в качестве
двумерный тор? Сфера с
ручками? Проективная плоскость? Произвольная конечная сумма проективных плоскостей и торов? Многообразие размерности 3?
Заранее спасибо за ответы.