Компактные топологические пространства
[8/100%]Топологическое пространство называется счётно компактным, если каждое счётное открытое покрытие имеет конечное подпокрытие. Для пространства , удовлетворяющего второй аксиоме счётности, покажите, что компактно тогда и только тогда, когда оно счётно компактно.
Пусть — топологическое пространство. Докажите, что счётно компактно тогда и только тогда, когда для любой убывающей последовательности непустых замкнутых подмножеств пересечение непусто.
Пусть компактно и хаусдорфово, а — убывающая совокупность замкнутых подмножеств . Пусть — окрестность пересечения . Покажите, что существует индекс такой, что при .
Покажите, что невозможно представить замкнутый ограниченный промежуток действительных чисел в виде попарно непересекающегося объединения счётной совокупности (содержащей более одного элемента) замкнутых ограниченных промежутков.
Пусть — непрерывное отображение компактного пространства на хаусдорфово пространство . Покажите, что любое отображение пространства в , для которого непрерывно, само должно быть непрерывным.
Пусть () — топологическое пространство.
Докажите, что если () компактно, то () компактно для любой топологии , более слабой, чем .
Покажите, что если хаусдорфово, то хаусдорфово для любой топологии , более сильной, чем .
Покажите, что если компактно и хаусдорфово, то любая строго более слабая топология не хаусдорфова, а любая строго более сильная топология не компактна.
Пусть и — хаусдорфовы топологические пространства, а — совокупность отображений из в . На мы определяем топологию, называемую компактно-открытой топологией, взяв в качестве предбазы множества вида , где — компактное подмножество , а — открытое подмножество . Таким образом, компактно-открытая топология является слабейшей топологией на , при которой множества открыты.
Пусть — последовательность в , которая сходится относительно компактно-открытой топологии к . Покажите, что сходится поточечно к на .
Теперь предположим, что — метрическое пространство. Покажите, что последовательность в сходится относительно компактно-открытой топологии к непрерывной функции тогда и только тогда, когда сходится к равномерно на каждом компактном подмножестве множества .
Пусть — последовательность непрерывных вещественнозначных функций на счётно компактном пространстве . Предположим, что для каждого последовательность монотонно убывает к нулю. Покажите, что сходится к нулю равномерно.