|
|
$[0, \infty[$ с первым несчетным (или любым терминальным несчетным) ординалом, с естественной топологией связного многообразия. Длинная прямая есть полугруппа, и порожденная
Если взять не первый несчетный ($\Omega$) а больший, то это не будет многообразием т.к. в окрестности $(0, \Omega)$ не будет карты. Такие дела.
(Читать комментарии) Добавить комментарий:
|
|