Площина Тихонова

Площина Тихонова — це топологічний простір, визначений за допомогою порядкових просторів, який є контрприкладом кількох правдоподібних здогадок. Він визначається як топологічний добуток двох порядкових просторів і , де є першим нескінченним ординалом і першим незліченним ординалом . Видалена площина Тихонова утворюється видаленням точки .

Властивості

Площина Тихонова є компактним Хаусдорфовим простором і тому є нормальним простором. Проте видалена площина Тихонова не є нормальним простором.[1] Тому площина Тихонова не є повністю нормальним простором[en]. Це показує, що підпростір нормального простору не обов'язково повинен бути нормальним. Площина Тихонова не є досконало нормальним простором, тому що вона не є Gδ простором: одноэлементна множина є замкнутою, але не Gδ множиною.

Результатом компактифікації Стоуна–Чеха видаленої площини Тихонова є площина Тихонова[2].

Примітки

  1. Steen та Seebach, 1995, Example 86, item 2.
  2. Walker, R. C. (1974). The Stone-Čech Compactification (англ.). Springer. с. 95—97. ISBN 978-3-642-61935-9.

Список літератури