Граница диска

[Someone]

npetric в сообщении #1321567 писал(а):

Если в базе вообще нет односвязных множеств, то говорить не о чем -- она выполняется.

Я не понимаю, зачем это вообще нужно.

[npetric]

Просто комментарий для надёжности

[npetric]

И компоненты связности можно не рассматривать в общем-то, хотя это не ошибка

[nya]

npetric в сообщении #1321532 писал(а):

А что там с теоремой Римана, я так до конца и не понял? Когда начинаю гуглить, натыкаюсь на теорему из комплексного анализа (с ним я пока не знаком). Можете, пожалуйста, привести ссылку?

Это она и есть, любое собственное открытое стягиваемое связное подмножество $\mathbb{R}^2$ биголоморфно (в частности гомеоморфно) открытому диску.

[Slav-27]

npetric в сообщении #1321532 писал(а):

пусть открытое подпространство $\mathbb{R}^n$ стягиваемо, тогда оно гомеоморфно $\mathbb{R}^n$

А это уже неверно (хотя верно для плоскости).