Площина Тихонова — це топологічний простір, визначений за допомогою порядкових просторів , який є контрприкладом кількох правдоподібних здогадок . Він визначається як топологічний добуток двох порядкових просторів
[
0
,
ω ω -->
1
]
{\displaystyle [0,\omega _{1}]}
і
[
0
,
ω ω -->
]
{\displaystyle [0,\omega ]}
, де
ω ω -->
{\displaystyle \omega }
є першим нескінченним ординалом і
ω ω -->
1
{\displaystyle \omega _{1}}
першим незліченним ординалом . Видалена площина Тихонова утворюється видаленням точки
∞ ∞ -->
=
(
ω ω -->
1
,
ω ω -->
)
{\displaystyle \infty =(\omega _{1},\omega )}
.
Властивості
Площина Тихонова є компактним Хаусдорфовим простором і тому є нормальним простором . Проте видалена площина Тихонова не є нормальним простором. Тому площина Тихонова не є повністю нормальним простором [en] . Це показує, що підпростір нормального простору не обов'язково повинен бути нормальним. Площина Тихонова не є досконало нормальним простором , тому що вона не є Gδ простором : одноэлементна множина
{
∞ ∞ -->
}
{\displaystyle \{\infty \}}
є замкнутою, але не Gδ множиною .
Результатом компактифікації Стоуна–Чеха видаленої площини Тихонова є площина Тихонова[ 2] .
Примітки
Список літератури
Kelley, John L. (1975), General Topology , Graduate Texts in Mathematics, т. 27 (вид. 1), New York: Springer-Verlag , Ch. 4 Ex. F, ISBN 978-0-387-90125-1 , MR 0370454
Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology (вид. Dover Publications reprint of 1978), Berlin, New York: Springer-Verlag , ISBN 978-0-486-68735-3 , MR 0507446
Willard, Stephen (1970), General Topology , Addison-Wesley , 17.12 , ISBN 9780201087079 , MR 0264581