Вы находитесь на странице: 1из 10

3.

Аксиомы счетности и отделимости

Определение 1.1 топологического пространства является


очень общим и под него подходят “плохо” устроенные про-
странства, в которых отдельно взятая точка может оказаться
незамкнутым подмножеством, конечное множество может об-
ладать предельными точками, одна и та же последовательность
точек может оказаться сходящейся к двум различным точкам
или даже к каждой точке пространства.
В связи с этим оказывается целесообразным сузить рас-
сматриваемое множество топологических пространств, добав-
ляя к основным аксиомам различного характера ограничения в
виде аксиом счётности и (или) отделимости, с тем чтобы удов-
летворяющие этим дополнительным аксиомам топологические
пространства по своим свойствам стали ближе к метрическим
или другим специального типа пространствам, широко исполь-
зуемым, например, в математическом анализе или в математи-
ческой физике.

3.1. Аксиомы счётности

При изучении топологических пространств было выявле-


но, что топологические пространства, обладающие счётной
базой топологии, т.е. базой, состоящей не более чем из счётно-
го числа множеств, имеют ряд полезных свойств. В связи с этим
вводится определение.
Определение 3.1. Говорят, что топологическое про-
странство ( X , τ) удовлетворяет второй аксиоме счётности,
если его топология τ обладает счётной базой.
Пример 3.1. Пространство R n (см. примеры 2.8 и 2.9)
удовлетворяет второй аксиоме счётности.
Теорема 3.1. (Линделёф). Если топологическое простран-
ство X удовлетворяет второй аксиоме счётности, то в про-
извольном его открытом покрытии {U α } содержится не бо-
лее чем счётное подпокрытие.
1
Доказательство. Пусть B - счётная база топологии на X .
Так как всякий элемент покрытия {U α } есть объединение мно-
жеств из B , то в B можно выделить подсемействоо C , тожее
покрывающее X и такое, что каждый элемент из C содержит-
ся в некотором элементе семейства {U α } . Тогда, выбрав для
каждого элемента из покрытия C какое-нибудь одно содержа-
щее его множество из {U α } , получим не более чем счётное под-
покрытие покрытия {U α } .
Кроме базы топологии существует важное понятие базы
системы окрестностей точки x топологического пространства X .
Определение 3.2. Семейство B( x ) = {V (x )} окрестностей
точки x называется базой системы окрестностей точки x ,
если в каждой окрестности точки x содержится некоторая
окрестность из этого семейства.
Семейство всех открытых окрестностей точки, очевидно,
является базой системы окрестностей этой точки.
Пример 3.2. Пусть ( X , ρ ) - метрическое пространство.
Тогда
{ }
B( x ) = Vk (x ) = D1 k (x ) ∞k =1
база системы окрестностей точки x . Действительно, в
любую окрестность точки x можно вписать некоторую шаро-
вую окрестность. Для любой шаровой окрестности Dε (x ) мож-
но подобрать число k так, чтобы 1 k < ε ; тогда Vk ( x ) ⊂ Dε (x ) .
Определение 3.3. Говорят, что топологическое про-
странство X удовлетворяет первой аксиоме счётности, если
система окрестностей всякой его точки обладает счётной
базой, т.е. базой, состоящей не более чем из счётного числа
окрестностей.
Пример 3.3. 1. Метрическое пространство удовлетворяет
первой аксиоме счётности.

2
2. Пространство C[0 ,1] непрерывных на отрезке [0,1] фун-
кций удовлетворяет первой аксиоме счётности.
Ясно, что топологическое пространство удовлетворяющее
второй аксиоме счётности, удовлетворяет и первой аксиоме
счётности. Выполнение второй аксиомы счётности является
более сильным условием на топологическое пространство, чем
выполнение первой аксиомы счётности.
Пример 3.4. Любое несчётное пространство X с диск-
ретной топологией удовлетворяет первой аксиоме счётности,
так как у всякой точки x ∈ X есть база системы окрестностей,
состоящая из одной окрестности V = {x} . Но такое простран-
ство не удовлетворяет второй аксиоме счётности, иначе покры-
тие пространства одноточечными множествами {x} , согласно
теореме 3.1, содержало бы не более чем счётное покрытие, что
невозможно.

3.2. Аксиомы отделимости

Важные топологические свойства пространств характери-


зуются аксиомами отделимости. Эти аксиомы позволяют су-
жать класс изучаемых пространств для рассмотрения их более
глубоких свойств.
Определение 3.4. Открытой окрестностью множе-
ства A в топологическом пространстве ( X , τ) называется
всякое открытое множество U , содержащее A .

Приведём основные аксиомы отделимости.


Аксиома T0 (аксиома Колмогорова). Из каждых двух раз-
личных точек топологического пространства по крайней мере
одна имеет окрестность, не содержащую другую точку.
Аксиома T1 . Каждая точка всякой пары различных то-
чек топологического пространства имеет окрестность, не
содержащую другую точку.
3
Аксиома T2 (аксиома Хаусдорфа). Любые две различные
точки x, y топологического пространства имеют окрестно-
сти U (x ) , U ( y ) такие, что U (x ) I U ( y ) = ∅ .
Аксиома T3 . Для любой точки x топологического про-
странства и всякого замкнутого множества F , не содержа-
щего точку x , существует окрестность U (x ) точки x и от-
крытая окрестность U (F ) множества F такие, что
U ( x ) I U (F ) = ∅ .
Аксиома T4 . Любые два замкнутых непересекающихся
множества F1 , F2 топологического пространства имеют
открытые окрестности U (F1 ) и U (F2 ) такие, что
U (F1 ) I U (F2 ) = ∅ .
Заметим, что среди аксиом T0 − T2 каждая следующая яв-
ляется более сильным условием на пространство, чем преды-
дущая. Если выполнена аксиома T1 , то это же верно для аксиом
м
T2 − T4 .
Определение 3.5.
Топологическое пространство X называют Ti -про-
странством ( i = 0,1,2,3,4 ), если оно удовлетворяет аксиоме Ti .
Пространство X называют регулярным простран-
ством, если одновременно выполнены аксиомы T1 и T3 .
Пространство X называют нормальным простран-
ством, если одновременно выполнены аксиомы T1 и T4 .
T0 -пространства называют Колмогоровскими про-
странствами.
T2 -пространства называют Хаусдорфовыми простран-
ствами.

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. Хаусдорфовы пространства с первой аксиомой
счётности

Важнейшим для наших приложений примером таких про-


странств являются метрические пространства с топологией
индуцированной метрикой. В таких пространствах естествен-
но определяется понятие сходящейся последовательности и её
предела. Условие хаусдорфовости топологического простран-
ства является в известном смысле необходимым и достаточ-
ным условием единственности предела.
Пусть в топологическом пространстве X дана последо-
вательность точек {an } , n = 1,2,...
Определение 3.6. Точка a называется пределом после-
довательности {an } , если для любой окрестности U точки
a найдётся такой номер n0 , что при всехх n > n0 точки an ∈U .
Последовательность {an } называется при этом сходящей-
ся к точке a , что можно записать как lim an = a или an → a .
Теорема 3.2. В хаусдорфовом пространстве X сходящая-
ся последовательность точек {an } имеет единственный пределл.
Доказательство. Допустим, что an имеет два различных
предела a и b . В силу определения хаусдорфова пространстваа
точки a и b могут иметь непересекающиеся окрестности U и
V . По определению предела все члены последовательности an ,
начиная с некоторого номера, должны одновременно лежать
как в U , так и в V , что невозможно, так как U I V = ∅ .

3.4. Компактные пространства

В произвольных топологических пространствах есть поня-


тие замкнутого множества, но нет понятия ограниченности мно-
жества. Рассматриваемое в этом пункте понятие компактности

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} обра-
~

зует покрытие M открытыми в X множествами. По условию,


{ }
существует конечное подпокрытие Vα1 ,...,Vα n покрытия T ,
~
{ ~
}
тогда система Vα1 ,...,Vα n будет служить конечным подпокры-
тием покрытия T~ , поэтому M компактно.
Пример 3.10. Пусть M = [0,1] ⊂ R1 - пространство с топо-
логией индуцированной из R1 . Покажем, что отрезок [0,1] ком-
м-
пактен.
Рассмотрим произвольное покрытие S = {U α : α ∈ A} от-
резка [0,1] , состоящее из открытых в R1 множеств, и докажем,
что оно содержит конечное подпокрытие, тогда из теоремы 3.3.
будет следовать компактность отреза [0,1] .
Условимся считать точку x0 ∈ [0,1] отмеченной, если су-
ществует конечная подсистема системы S , покрывающая зам-
кнутый отрезок [0, x0 ] . Так как точка x = 0 , очевидно, отме-
ченная, то множество M всех отмеченных точек не пусто.
Докажем, что точка η = sup M тоже отмеченная. Пусть
η ∈U α 0 , тогда в силу открытости U α 0 , найдётся точкаа ξ ∈ M

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 . В силу ком-
м-

пактности X имеется конечное подпокрытие {U y (xi )}ik=1 . Ясно,

k k
что множества U ( X ) = UU y ( xi ) и IU x ( y ) = U ( y )
i
открыты и
i =1 i =1

не пересекаются. Таким образом, показано, что в хаусдорфо-


вом пространстве компактное множество X и точку, не лежа-
щую в нём, можно разделить непересекающимися окрестнос-
тями U ( X ) и U ( y ) . Тогда дополнение CY X открыто, а X зам-
кнуто.

9
Рассмотрим вопрос о компактности множеств в евклидо-
вых пространствах E n .
Теорема 3.5. Для того, чтобы в n -мерном евклидовом
м
пространстве E множество X было компактным, необхо-
n о-
димо и достаточно, чтобы X было замкнуто и ограничено.
Доказательство. Необходимость. Если X компактно в E n ,
то оно в силу теоремы 3.4 и замкнуто. Неограниченным мно-
жество X быть не может, так как в противном случае из по-
крытия его семейством концентрических шаров нельзя выб-
рать конечное подпокрытие.
Достаточность условий теоремы следует из леммы Гей-
не-Бореля, рассмотренной в приложении.
Из рассмотренной теоремы следует, что отрезок, квадрат,
шар, сфера в евклидовом пространстве компактны, а любое
непустое открытое множество в евклидовом пространстве не-
компактно.

10