Академический Документы
Профессиональный Документы
Культура Документы
2
2. Пространство C[0 ,1] непрерывных на отрезке [0,1] фун-
кций удовлетворяет первой аксиоме счётности.
Ясно, что топологическое пространство удовлетворяющее
второй аксиоме счётности, удовлетворяет и первой аксиоме
счётности. Выполнение второй аксиомы счётности является
более сильным условием на топологическое пространство, чем
выполнение первой аксиомы счётности.
Пример 3.4. Любое несчётное пространство X с диск-
ретной топологией удовлетворяет первой аксиоме счётности,
так как у всякой точки x ∈ X есть база системы окрестностей,
состоящая из одной окрестности V = {x} . Но такое простран-
ство не удовлетворяет второй аксиоме счётности, иначе покры-
тие пространства одноточечными множествами {x} , согласно
теореме 3.1, содержало бы не более чем счётное покрытие, что
невозможно.
4
Примером топологического пространства, не являющего-
ся T0 -пространством, может служить пространство с тривиаль-
ной топологией. Все другие рассмотренные нами топологичес-
кие пространства являются T0 -пространствами.
Пример 3.5. Пусть R1 - вещественная прямая с топологи-
ей, базу которой образуют лучи вида a < x < +∞ . Ясно, что здесь
будет выполнена аксиома T0 и не выполнена аксиома T1 .
Пример 3.6. Рассмотрим отрезок T2 с топологией, в ко-
торой открытыми объявим пустое множество и все множества,
получающиеся из [0,1] выбрасыванием не более чем счётногоо
числа точек. Полученное топологическое пространство удов-
летворяет аксиоме T1 , но не удовлетворяет аксиоме T2 .
Пример 3.7. На отрезке [0,1] окрестностями произ-
вольной точки, кроме нуля, назовём обычные окрестности,
а окрестностями нуля назовём всевозможные полуинтерва-
лы [0, α) с выброшенными точками 1 n , n = 1,2,... Получен-
ное топологическое пространство хаусдорфово, но не регу-
лярно, так как не пересекающиеся между собой замкнутое
множество F = {1 n : n = 1,2,...} и точка нуль неотделимы в
смысле аксиомы T3 .
Топологические пространства, не удовлетворяющие акси-
оме T1 , плохо устроены с точки зрения классического анализа.
Одноточечное множество в них может быть не замкнуто, а ко-
нечное множество может иметь предельные точки. В T1 -про-
странствах такие ситуации уже не имеют места.
Класс нормальных пространств достаточно широк, он
включает в себя, например, все метрические пространства.
Можно сказать, что всякое метрическое пространство нор-
мально.
5
3.3. Хаусдорфовы пространства с первой аксиомой
счётности
6
обобщает одновременно понятия ограниченности и замкнутости
для любых топологических пространств и множеств в них.
Рассмотрим вначале некоторые понятия, связанные с по-
крытиями топологических пространств (см. определение 2.13).
Определение 3.7. Всякую систему открытых подмно-
жеств из X , объединение которых равно X , будем называть
открытым покрытием X .
Определение 3.8. Топологическое пространство X на-
зывается компактным (компактом), если из всякого его от-
крытого покрытия можно выбрать конечное подпокрытие.
Определение 3.9. Множество M в топологическом про-
странстве X называется компактным, если оно является
компактным топологическим пространством относительно
индуцированной топологии.
Пример 3.8. Любое топологическое пространство с три-
виальной топологией всегда компактно. Топологическое про-
странство с дискретной топологией компактно в том и только
том случае, когда оно состоит из конечного числа элементов.
Пример 3.9. Пусть X = R1 . Такое топологическое про-
странство некомпактно, так как из покрытия {(− n, n )}∞n=1 нельзя
выделить конечное покрытие. Рассуждая аналогично, легко
показать, что некомпактным является пространство R n и лю-
бое его неограниченное подмножество.
Теорема 3.3. Для того, чтобы множество M ⊂ X было о
компактным, необходимо и достаточно, чтобы любое покры-
тие множества M открытыми в X множествами содер-
жало конечное подпокрытие.
Доказательство. Необходимость. Пусть M компактноее
подмножество в топологическом пространстве ( X , τ) и
S = {U α : α ∈ A} - произвольное его покрытие открытыми в X
множествами, A - множество упорядоченных индексов. Рас-
{
~ ~
}
смотрим след S = U α : α ∈ A покрытия S на подмножествее
7
~
M , U α = U α I M . В силу компактности подпространстваа M
из его открытого покрытия S~ можно выбрать конечное под-
{
~ ~
} { }
покрытие U α1 ,...,U αn . Ясно, что при этом система U α1 ,...,U α n
будет служить конечным подпокрытием исходного покрытия.
Достаточность. Пусть условие выполнено и пусть
~ ~
{ }
T = Vα : α ∈ A - произвольное, открытое в M покрытие под-
д-
пространства M и пусть Vα - такое открытое в X множество, о,
что Vα = Vα I M . Тогда ясно, что система T = {Vα : α ∈ A} обра-
~
8
такая, что 0 < ξ < η и отрезок [ξ, η] целиком содержится в U α 0 .
Поскольку ξ - отмеченная точка, то найдётся конечная подси-
стема U α1 ,...,U α n системы S , покрывающая отрезок [0, ξ] , и
поэтому подсистема U α0 ,U α1 ,...,U α n , очевидно, будет покры-
вать уже отрезок [0, η] , т.е. η ∈ M . Остаётся доказать, чтоо η
совпадает с правым концом исходного отрезка [0,1] . Допустим
противное, тогда в силу открытости U α 0 найдётся η′ ∈ (η,1)
такое, что [η, η′] ⊂ U α 0
, следовательно, подсистемаа
U α0 ,U α1 ,...,U α n будет покрывать [0, η′] , т.е. η′ ∈ M , а это про-
тиворечит тому, что η = sup M .
Понятие компактности тесно связано с понятием замкну-
тости.
Теорема 3.4. Компактное подпространство X хаусдор-
фова пространства Y замкнуто.
Доказательство. Пусть y ∈ CY X . Для любой точки x ∈ X
в силу хаусдорфовости Y найдутся такие открытые окрестно-
сти U x ( y ) , U y (x ) точек y, x , что
о U x ( y ) I U y (x ) = ∅ .
{ }
Система U y ( x ) x∈X образует покрытие в X . В силу ком-
м-
k k
что множества U ( X ) = UU y ( xi ) и IU x ( y ) = U ( y )
i
открыты и
i =1 i =1
9
Рассмотрим вопрос о компактности множеств в евклидо-
вых пространствах E n .
Теорема 3.5. Для того, чтобы в n -мерном евклидовом
м
пространстве E множество X было компактным, необхо-
n о-
димо и достаточно, чтобы X было замкнуто и ограничено.
Доказательство. Необходимость. Если X компактно в E n ,
то оно в силу теоремы 3.4 и замкнуто. Неограниченным мно-
жество X быть не может, так как в противном случае из по-
крытия его семейством концентрических шаров нельзя выб-
рать конечное подпокрытие.
Достаточность условий теоремы следует из леммы Гей-
не-Бореля, рассмотренной в приложении.
Из рассмотренной теоремы следует, что отрезок, квадрат,
шар, сфера в евклидовом пространстве компактны, а любое
непустое открытое множество в евклидовом пространстве не-
компактно.
10