Топология задаваемая многообразием

[Oleg Zubelevich]

Brukvalub в сообщении #1028607 писал(а):

и в гугле м

о! это мудро. посмотрел, проникся

[AlexDem]

Oleg Zubelevich в сообщении #1028601 писал(а):

Однако эта топология не обязана быть отделимой

Насчёт отделимости выше я напутал. Хаусдорфовость часто вводят руками в определение топологического многообразия, как здесь:

neo66 в сообщении #244400 писал(а):

Уточню, что под топологическим многообразием я понимаю хаусдорфово топологическое пространство со счетной базой, любая точка которого гомеоморфна открытому подмножеству в $\Mathbb{R}^n$.

У Чернавского написано про отделимость, просто я читал давно и позабыл.