самолет Мура

В математике плоскость Мура , также иногда называемая плоскостью Немыцкого (или плоскостью Немыцкого , топологией касательного диска Немыцкого ), является топологическим пространством . Это полностью регулярное хаусдорфово пространство (то есть пространство Тихонова ), которое не является нормальным . Это пример пространства Мура , которое не метризуемо . Оно названо в честь Роберта Ли Мура и Виктора Владимировича Немыцкого .

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

• Элементами локального базиса в точках с являются открытые диски на плоскости, которые достаточно малы, чтобы лежать внутри .${\displaystyle (x,y)}$${\displaystyle у>0}$${\displaystyle \Гамма}$
• Элементами локального базиса в точках являются множества , где A — открытый круг в верхней полуплоскости, касающийся оси x в точке p .${\displaystyle р=(х,0)}$${\displaystyle \{p\}\чашка A}$

То есть, локальная основа задается как

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

Таким образом, топология подпространства , унаследованная от , совпадает с топологией подпространства, унаследованной от стандартной топологии евклидовой плоскости.${\displaystyle \Гамма \backslash \{(x,0)|x\in \mathbb {R} \}}$

• Плоскость Мура отделима , то есть имеет счетное плотное подмножество.${\displaystyle \Гамма}$
• Плоскость Мура — это полностью регулярное хаусдорфово пространство (т.е. пространство Тихонова ), которое не является нормальным .
• Подпространство имеет в качестве топологии подпространства дискретную топологию . Таким образом, плоскость Мура показывает, что подпространство сепарабельного пространства не обязательно должно быть сепарабельным.${\displaystyle \{(x,0)\in \Гамма |x\in R\}}$${\displaystyle \Гамма}$
• Плоскость Мура удовлетворяет первой аксиоме счетности , но не удовлетворяет второй аксиоме счетности или аксиоме Линделёфа .
• Плоскость Мура не является локально компактной .
• Плоскость Мура счетно метакомпактна , но не метакомпактна .

Тот факт, что это пространство не является нормальным, можно установить с помощью следующего подсчетного аргумента (который очень похож на аргумент о том, что плоскость Зоргенфрея не является нормальной):${\displaystyle \Гамма}$

1. С одной стороны, счетное множество точек с рациональными координатами плотно в ; следовательно, каждая непрерывная функция определяется своим ограничением на , поэтому на может быть не более многих непрерывных вещественных функций .${\displaystyle S:=\{(p,q)\in \mathbb {Q} \times \mathbb {Q} :q>0\}}$${\displaystyle \Гамма}$${\displaystyle f:\Gamma \to \mathbb {R} }$${\displaystyle S}$${\displaystyle |\mathbb {R} |^{|S|}=2^{\алеф _{0}}}$${\displaystyle \Гамма}$
2. С другой стороны, вещественная прямая — это замкнутое дискретное подпространство с множеством точек. Поэтому существует множество непрерывных функций из L в . Не все эти функции можно расширить до непрерывных функций на .${\displaystyle L:=\{(p,0):p\in \mathbb {R} \}}$${\displaystyle \Гамма}$${\displaystyle 2^{\алеф _{0}}}$${\displaystyle 2^{2^{\алеф _{0}}}>2^{\алеф _{0}}}$${\displaystyle \mathbb {R} }$${\displaystyle \Гамма}$
3. Следовательно, не является нормальным, поскольку по теореме Титце о продолжении все непрерывные функции, определенные на замкнутом подпространстве нормального пространства, могут быть продолжены до непрерывной функции на всем пространстве.${\displaystyle \Гамма}$

На самом деле, если X — сепарабельное топологическое пространство, имеющее несчетное замкнутое дискретное подпространство, то X не может быть нормальным.

• Пространство для ежа

• Стивен Уиллард. Общая топология , (1970) Addison-Wesley ISBN  0-201-08707-3 .
• Стин, Линн Артур ; Зеебах, Дж. Артур-младший (1995) [1978], Контрпримеры в топологии ( переиздание Дувра 1978 г.), Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-0-486-68735-3, МР  0507446 (Пример 82)
• «Плоскость Немыцкого». PlanetMath .