15.5

Компактные топологические пространства

[8/100%]
Показать
LaTeX
Задача 15.35

Топологическое пространство называется счётно компактным, если каждое счётное открытое покрытие имеет конечное подпокрытие. Для пространства XX, удовлетворяющего второй аксиоме счётности, покажите, что XX компактно тогда и только тогда, когда оно счётно компактно.

?
Задача 15.36

Пусть XX — топологическое пространство. Докажите, что XX счётно компактно тогда и только тогда, когда для любой убывающей последовательности {Fn}\left\{ F_{n}\right\} непустых замкнутых подмножеств XX пересечение ⋂n=1∞Fn\bigcap_{n = 1}^{\infty } F_{n} непусто.

?
Задача 15.37

Пусть XX компактно и хаусдорфово, а {Fn}n=1∞\left\{ F_{n}\right\}_{n = 1}^{\infty } — убывающая совокупность замкнутых подмножеств XX. Пусть O\mathcal{O} — окрестность пересечения ⋂n=1∞Fn\bigcap_{n = 1}^{\infty } F_{n}. Покажите, что существует индекс NN такой, что Fn⊆OF_{n} \subseteq \mathcal{O} при n≥Nn \geq N.

?
Задача 15.38

Покажите, что невозможно представить замкнутый ограниченный промежуток действительных чисел в виде попарно непересекающегося объединения счётной совокупности (содержащей более одного элемента) замкнутых ограниченных промежутков.

?
Задача 15.39

Пусть ff — непрерывное отображение компактного пространства XX на хаусдорфово пространство YY. Покажите, что любое отображение gg пространства YY в ZZ, для которого g∘fg \circ f непрерывно, само должно быть непрерывным.

?
Задача 15.40

Пусть (X,TX, \mathcal{T}) — топологическое пространство.

?
(i)

Докажите, что если (X,TX, \mathcal{T}) компактно, то (X,T1X, \mathcal{T}_{1}) компактно для любой топологии T1\mathcal{T}_{1}, более слабой, чем T\mathcal{T}.

(ii)

Покажите, что если (X,T)(X, \mathcal{T}) хаусдорфово, то (X,T2)\left(X, \mathcal{T}_{2}\right) хаусдорфово для любой топологии T2\mathcal{T}_{2}, более сильной, чем T\mathcal{T}.

(iii)

Покажите, что если (X,T)(X, \mathcal{T}) компактно и хаусдорфово, то любая строго более слабая топология не хаусдорфова, а любая строго более сильная топология не компактна.

Задача 15.41

Пусть XX и YY — хаусдорфовы топологические пространства, а YXY^{X} — совокупность отображений из XX в YY. На YXY^{X} мы определяем топологию, называемую компактно-открытой топологией, взяв в качестве предбазы множества вида UK,O={f:X→Y∣f(K)⊆O}\mathcal{U}_{K, \mathcal{O}} = \left\{ f: X \rightarrow Y \mid f(K) \subseteq \mathcal{O}\right\}, где KK — компактное подмножество XX, а O\mathcal{O} — открытое подмножество YY. Таким образом, компактно-открытая топология является слабейшей топологией на YXY^{X}, при которой множества UK,O\mathcal{U}_{K, \mathcal{O}} открыты.

?
(i)

Пусть {fn}\left\{ f_{n}\right\} — последовательность в YXY^{X}, которая сходится относительно компактно-открытой топологии к f∈YXf \in Y^{X}. Покажите, что {fn}\left\{ f_{n}\right\} сходится поточечно к ff на XX.

(ii)

Теперь предположим, что YY — метрическое пространство. Покажите, что последовательность {fn}\left\{ f_{n}\right\} в YXY^{X} сходится относительно компактно-открытой топологии к непрерывной функции f∈YXf \in Y^{X} тогда и только тогда, когда {fn}\left\{ f_{n}\right\} сходится к ff равномерно на каждом компактном подмножестве KK множества XX.

Задача 15.42

Пусть {fn}\left\{ f_{n}\right\} — последовательность непрерывных вещественнозначных функций на счётно компактном пространстве XX. Предположим, что для каждого x∈Xx \in X последовательность {fn(x)}\left\{ f_{n}(x)\right\} монотонно убывает к нулю. Покажите, что {fn}\left\{ f_{n}\right\} сходится к нулю равномерно.

?