Площина Немицького

У топології площиною Немицького або площиною Мура називається топологічний простір, що є прикладом цілком регулярного гаусдорфового простору, що не є нормальним.

Означення

Якщо $\Gamma$ є замкнутою верхньою півплощиною, тобто $\Gamma =\{(x,y)\in \mathbb {R} ^{2}|y\geq 0\}$, то на ній можна задати топологію за допомогою бази околів для точок ${\mathcal {B}}(p,q)$ як:

• Елементами база околів у точках виду $(x,y)$ де $y>0$ є відкриті круги на площині із достатньо малими радіусами щоб ці круги належали $\Gamma$.
• Елементами база околів у точках виду $p=(x,0)$ є множини виду $\{p\}\cup A$ де A є відкритим кругом у верхній півплощині, що є дотичним до осі x у точці p.

Тобто, база околів складається із множин виду

${\mathcal {B}}(p,q)={\begin{cases}\{U_{\epsilon }(p,q):=\{(x,y):(x-p)^{2}+(y-q)^{2}<\epsilon ^{2}\}\mid \epsilon >0\},&\ q>0;\\\{V_{\epsilon }(p):=\{(p,0)\}\cup \{(x,y):(x-p)^{2}+(y-\epsilon )^{2}<\epsilon ^{2}\}\mid \epsilon >0\},&\ q=0.\end{cases}}$

Індукована топологія на відкритій півплощині $\Gamma \backslash \{(x,0)|x\in \mathbb {R} \}$ при цьому є рівною індукованій топології відкритої площини як підпростору площини із стандартною топологією породженою евклідовою метрикою.

Властивості

• Площина Немицького $\Gamma$ є сепарабельною, тобто для неї існує зліченна щільна підмножина.
• Площина Немицького є цілком регулярним гаусдорфовим простором, що не є нормальним простором.
• Підпростір $\{(x,0)\in \Gamma |x\in R\}$ простору $\Gamma$ із індукованою топологією є дискретним простором. Отже площина Немицького є прикладом того, що підпростір сепарабельного простору не обов'язково є сепарабельним простором.
• Площина Немицького задовольняє першу аксіому зліченності але не задовольняє другу аксіому зліченності і не є простором Лінделефа.
• Площина Немицького не є локально компактним простором.
• Площина Немицького є зліченно метакомпактною але не метакомпактною.

Доведення, що площина Немицького не є нормальним простором

Зліченна множина Неможливо розібрати вираз (SVG (MathML можна ввімкнути через плагін браузера): Недійсна відповідь («Math extension cannot connect to Restbase.») від сервера «http://localhost:6011/uk.wikipedia.org/v1/»:): {\displaystyle S:=\{(p,q) \in \mathbb Q\times \mathbb Q: q>0\}} точок із раціональними координатами є щільною у $\Gamma$. Оскільки кожна неперервна функція $f:\Gamma \to \mathbb {R}$ повністю визначається своїм обмеженням на $S$, тому може бути щонайбільше $|\mathbb {R} |^{|S|}=2^{\aleph _{0}}$ неперервних дійснозначних функцій на $\Gamma$.

З іншого боку дійсна пряма $L:=\{(p,0):p\in \mathbb {R} \}$ є замкнутим дискретним підпростором $\Gamma$ із $2^{\aleph _{0}}$ точками. Тому існує $2^{2^{\aleph _{0}}}>2^{\aleph _{0}}$ неперервних функцій із L у $\mathbb {R}$. Відповідно не всі ці неперервні функції можна продовжити до неперервних функцій на M. Оскільки згідно теореми Тітце про продовження всі дійснозначні неперервні функції на замкнутій підмножині нормального простору можна продовжити до неперервних функцій на всьому просторі то M не є нормальним простором.

Див. також

• Нормальний простір
• Цілком регулярний простір

Література

• Stephen Willard. General Topology, (1970) Addison-Wesley ISBN|0-201-08707-3.
• Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology (вид. Dover reprint of 1978), Berlin, New York: Springer-Verlag, ISBN 978-0-486-68735-3, MR 0507446 (Example 82)