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

W(1) – линейно упорядоченное множество, так как любые его два элемента сравнимы (по теореме 4.2). Следовательно, на нём можно ввести порядковую топологию, при этом W(1) становится линейно упорядоченным пространством. Для него выполняются общие топологические свойств

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

1. Хаусдорфовость. Пространство W(1) является хаусдорфовым пространством ([1]).

2. Нормальность. Пространство W(1) является нормальным пространством ([1]) и, следовательно, тихоновским пространством ([3]).

3. Фундаментальная система окрестностей произвольной точки из W(1).

Определение 2.10. Множество окрестностей точки х образует фундаментальную систему окрестностей этой точки, если для любой окрестности U(x) точки х найдётся окрестность О(х), для которой х.

Любая точка пространства W(1) обладает фундаментальной системой окрестностей, состоящей из открыто-замкнутых множеств, то есть для любого > 0 множество всех открыто-замкнутых интервалов [+1; ] = ={x: < x < +1}, где образует фундаментальную систему окрестностей точки .

4. Локальная компактность.

Лемма 5.3. W() компактно тогда и только тогда, когда не является предельным ординальным числом.

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

Необходимость. Будем доказывать методом от противного и предположим, что - предельное ординальное число. Рассмотрим множество «хвостов», то есть множество вида W()\W() = {xW():

x }, где – некоторое ординальное число: . Это замкнутые множества. Очевидно, что пересечение конечного числа «хвостов» является «хвостом», то есть не пусто. Таким образом, «хвосты» образуют центрированную систему замкнутых множеств. Так как - предельное ординальное число, то пересечение всех множеств этого семейства пусто и, следовательно, W() не компактно - противоречие. Следовательно, - не является предельным ординальным числом.

Достаточность. Проведём доказательство по индукции:

1.W(0) = Æ - очевидно компактно.

2.Индукционное предположение: пусть ’ = +1 – не предельное ординальное число. Предположим, что W() компактно для любого <+1.

Пусть - семейство открытых множеств, образующих покрытие пространства W(+1). Так как точка покрыта, то существует U, <: [+1; ] U. По индукционному предположению пространство W(+1), являющееся подпространством W(+1), компактно, так как +1<+1. Поэтому конечное подсемейство F из покрывает W(+1). Тогда F{U} – это конечное подпокрытие из , которое покрывает W(+1). Следовательно, W(+1) компактно. ■

Из этой леммы следует, что пространство W(1) не является компактным, так как 1 - предельное ординальное число.

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

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

Возьмём произвольную точку из W(1). Так как W(1), то <1 и +1<1 (так как 1 – предельное ординальное число). Следовательно, +1 не является предельным ординальным числом. В качестве окрестности точки возьмём открыто-замкнутое множество U() = {|

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