Линейно упорядоченное пространство ординальных чисел

< +1} = {| } = W(+1) – компактно (по лемме 5.3) и содержит точку . Следовательно, W(1) локально компактно. ■

5. Счётные множества в W(1).

Определение 2.11. Множество А называется кофинальным в W(), если оно не ограничено сверху, т. е. () ().

Предложение 5.5. Ни одно счётное множество в W(1) не кофинально.

Доказательство.

Будем доказывать методом от противного и предположим, что в W(1) существует счётное кофинальное множество S.

Докажем, что W(1) = :

Очевидно, что W()W(1) для любого SW(1).

Докажем, что W(1).

Пусть W(1). Так как S кофинально, то существует S: . Следовательно, W().

Таким образом, W(1) = .

Заметим, что |W(1)| = 1. Тогда 1|S|0. Следовательно, |S|= 1, чего быть не может, так как S – счётное множество. ■

6. Счётная компактность.

Предложение 5.6. Любое счётное множество из W(1) содержится в компактном подпространстве пространства W(1).

Доказательство.

Пусть А - счётное подмножество в W(1). По предложению 5.5 оно не является кофинальным, то есть А ограничено сверху в W(1). Пусть = supA. Тогда W(1) и АW(+1), где W(+1) на основании леммы 5.3 компактно, так как +1 не предельное ординальное число. Таким образом, нашлось компактное подпространство пространства W(1), в котором содержится множество А. ■

Следствие 5.7. Любое счётное замкнутое множество в W(1) компактно.

Доказательство.

Пусть А – счётное замкнутое множество в W(1). Так как замкнутое подмножество компактного пространства компактно ([8]), а множество А по условию замкнуто, и по предложению 5.6 оно содержится в компактном подпространстве пространства W(1), то А компактно. ■

Предложение 5.8. Пространство W(1) счётно компактно.

Доказательство.

Пусть S – произвольное бесконечное подмножество в W(1), а (n) – его строго возрастающая последовательность. По предложению 5.5 множество {n} не является кофинальным, то есть оно ограничено сверху. Пусть =supn. В любой окрестности () точки , где , есть точки последовательности n множества S. Тогда - предельная точка множества S. ■

7. Пространство W(1) не метризуемо, так как оно не компактно, но счётно компактно, а в метрических пространствах любое счётно компактное пространство компактно.

8. Компактификации.

 Скачать реферат