Навигация
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. Компактификации.
Лемма 5.9. Из любых двух не пересекающихся замкнутых множеств в W(1) хотя бы одно ограничено.
Доказательство.
Будем доказывать методом от противного и предположим, что H и K – кофинальные замкнутые не пересекающиеся множества. Мы можем выбрать возрастающую последовательность (n), n
N, где n
H для n – нечётных, и nК для n – чётных. Так как множества Н и К замкнуты, то предельные точки им принадлежат, то есть = sup n
, чего быть не может, поскольку множества Н и К не пересекаются. ■
Предложение 5.10. Любая функция fС (W(1)) постоянна на «хвосте» W(1)\W() ( зависит от f ).
Доказательство.
Заметим, что любой «хвост» W(1)\W(
), где 
W(1), счётно компактен, так как он является замкнутым подпространством счётно компактного пространства W(1) ([3]). Следовательно, каждое множество образов f [W(1)\W()] – это счётно
компактное подмножество R (поскольку функция f непрерывна, а непрерывный образ счётно компактного множества счётно компактен ([3]) ) и, следовательно, компактно, поэтому пересечение 
[W(1)\W()] центрированного семейства замкнутых множеств непусто. Выберем произвольное число r из этого пересечения. Докажем, что f -1(r) кофинально в W(1). Так как r[W(1)\W()], то rf [W(1)\W()] для любого W(1). Следовательно, f –1(r)W(1)\W() для любого .
Рассмотрим для каждого nN замкнутое
множество Аn = {x W(1):
| f (x) – r | 
}. Оно не пересекается с f –1(r), а f –1(r) кофинально, поэтому по лемме 5.9 Аn имеет точную верхнюю грань в W(1). Обозначим n = sup An. Возьмём произвольное ординальное число >supn. Пусть 
W(1)\W(), тогда >
. Предположим, что f ()
r, тогда |f () - r| для некоторого n. Следовательно, 
Аn и 
n<, т. е. , но > - противоречие.
Таким образом, f () = r для любого W(1)\W(), >. ■
Определение 2.12. Пусть сХ – произвольная компактификация тихоновского пространства Х. Множество сХ\Х, то есть множество всех точек, которыми сХ отличается от Х, называется наростом компактификации сХ.
Определим упорядочение на семействе ζ(Х) всех компактификаций пространства Х.
Определение 2.13. Пусть с1Х и с2Х – компактификации пространства Х. Положим с2Х
с1Х, если существует непрерывное отображение f: с1Х
с2Х такое, что f (х) = х для всех хс1Х.
Известно, что каждое некомпактное локально компактное хаусдорфово пространство Х обладает компактификацией Х с одноточечным наростом. Эта компактификация является наименьшим элементом семейства ζ(Х) всех компактификаций пространства Х по отношению к упорядочению и называется одноточечной компактификацией (александровской компактификацией) ([3]). Отсюда следует, что пространство W(1)
{1} является александровской компактификацией пространства W(1).
Определение 2.14. Пусть Х. - произвольное тихоновское пространство. Наибольший элемент семейства ζ(Х) всех компактификаций пространства Х называется стоун-чеховской компактификацией (или стоун-чеховским расширением) пространства Х.
Предложение 5.12. Пространство W(1) имеет единственное компактное хаусдорфово расширение (а именно W(1){1}).
Доказательство.
Докажем, что W(1){1} является стоун-чеховской компактификацией пространства W(1). Известно, что если каждое непрерывное отображение тихоновского пространства Х в компактное хаусдорфово пространство можно непрерывно продолжить на некоторую компактификацию 
Х пространства Х, то Х является стоун-чеховской компактификацией пространства Х ([3]). Таким образом, достаточно доказать, что любая непрерывная функция, определённая на W(1), продолжается по непрерывности на W(1){1}.
Каждая непрерывная вещественная функция, определённая на W(1), финально постоянна, то есть для некоторого аW(1) и всех х, у > a имеем f (x) = f (y) (по предложению 5.10). Следовательно, если f продолжить на пространство W(1){1}, являющееся одноточечной компактификацией пространства W(1), положив 
(1) = f (х), где х >a, |W(1) = f , то мы получим непрерывную функцию на W(1){1}. Значит, W(1){1} – расширение Стоуна-Чеха пространства W(1). ■
СПИСОК ЛИТЕРАТУРЫ
1. Чиркова Н. В. Выпускная квалификационная работа «Линейно упорядоченные пространства», научный руководитель Варанкина В. И., Киров, 2002.
2. Александров П. С. «Введение в теорию множеств и общую топологию». М.: Наука, 1977.
3. Энгелькинг Р. «Общая топология». М.: Мир, 1986.
4. Келли Дж. Л. «Общая топология». М.: Наука, 1981.
5. А. Н. Колмогоров, С. В. Фомин «Элементы теории функций и функционального анализа». М.: Наука, 1968.
6. И. А. Лавров, Л. Л. Максимова «Задачи по теории множеств, математической логике и теории алгоритмов». М.: Физматлит, 1995.
7. Р. Столл «Множества. Логика. Аксиоматические теории». М.: Просвещение, 1968.
8. Ч. Коснёвски «Начальный курс алгебраической топологии». М.: Мир, 1983.
Похожие работы
... факта, что между двумя отрезками – стороной и диагональю квадрата – не существует общей меры, привело к настоящему кризису основ, по крайней мере, древнегреческой математики. Индийцы рассматривали иррациональные числа как числа нового вида, но допускающие над ними такие же арифметические действия, как и над рациональными числами. Например, индийский математик Бхаскара уничтожает иррациональность в ...
... ячейка, а имя переменной превращается в адрес ячейки. Появление этого адреса происходит в результате работы специального оператора языка (NEW), однако его значение в большинстве случаев не используется при программировании на алгоритмических языках типа Паскаль. Условимся считать, что адрес ячейки, которая будет хранить переменную А, есть А. Или, другими словами, А - это общее имя переменной и ...
... в отечественной теории и практике психологических измерений. Хотя концепт осмысленности измерения развивается с трансформацией идей Стивенса и разработкой проблем статистики и логики, его положения относительно шкалирования, по проблемам измерений в психологии и связанной с ними осмысленностью измерений требуют, на наш взгляд, критического анализа привычной практики использования психологического ...
... и т.д. Строятся доверительные интервалы для средних, дисперсий и коэффициентов корреляции, применяются подходящие критерии согласия. Используются методы дисперсионного, факторного и регрессионного анализа. При обобщении результатов исследования решается вопрос о репрезентативности выборки. Необходимо отметить, что эта последовательность действий, строго говоря, не является хронологической, за ...
0 комментариев