《《點集拓撲學》第6章 §6.1,Hausdorff空間》由會員分享，可在線閱讀，更多相關《《點集拓撲學》第6章 §6.1,Hausdorff空間（4頁珍藏版）》請在裝配圖網(wǎng)上搜索。
1、第6章 分離性公理
§6.1 ,Hausdorff空間
本節(jié)重點:
掌握空間的定義及它們之間的不同與聯(lián)系；
掌握各空間的充要條件；
熟記常見的各種空間.
現(xiàn)在我們回到我們在第二章中提出來的什么樣的拓撲空間的拓撲可以由它的某一個度量誘導出來這一問題．為了回答這個問題勢必要求我們對度量空間的拓撲性質(zhì)有充分的了解．讀者將會發(fā)現(xiàn)，本章中所提到的諸分離性公理，實際上是模仿度量空間的拓撲性質(zhì)逐步建立起來的．對諸分離性的充分研究使我們在§6.5中能夠?qū)τ谇笆鰡栴}作一個比較深刻的（雖然不是完全的）回答．
定義6.1.1 設X是一個拓撲空間，如果X中的任意兩個不相同的點中必
2、有一個點有一個開鄰域不包含另一個點（即如果x，y∈X，x≠y,則或者x有一個開鄰域U使得yU,或者y有一個開鄰域V使得xV)，則稱拓撲空間X是一個空間．
拓撲空間自然不必都是空間，例如包含著不少于兩個點的平庸空間就不是空間．
定理6.1.1 拓撲空間X是一個空間當且僅當X中任意兩個不同的單點集有不同的閉包．（即如果x，y∈X，x≠y，則．）
證明 充分性:設定理中的條件成立．則對于任何x，y∈X，x≠y，由于，因此或者成立，或者成立．當前者成立時，必定有．（因為否則).這推出x有一個不包含y的開鄰域．同理，當后者成立時，y有一個不包含x的開鄰域．這證明X是一個空間．
必
3、要性:設X是一個空間．若x，y∈X，x≠y，則或者x有一個開鄰域U使得或者y有一個開鄰域V使得．若屬前一種情形，由于，若屬后一種情形，同樣也有．
定義6.1.2 設X是一個拓撲空間．如果X中的任意兩個不相同的點中每一個點都有一個開鄰域不包含另一個點，則稱拓撲空間X是一個空間．
空間當然是空間．但反之不然．例如設X={0,1}，T={,{0},X},則T是X的一個拓撲，并且拓撲空間(X，T)是的但不是的．（請讀者自己驗證，）
定理6.1.2 設X是一個拓撲空間，則以下條件等價：
?。?）X是一個空間；
?。?）X中每一個單點集都是閉集；
（3）X中每一個有限子集都
4、是閉集．
證明 （1）蘊涵（2）．設x∈X．當X是一個空間時，對于任何y∈X，y≠x，點x有一個鄰域U使得，即.這證明單點集{x}是一個閉集．
（2）蘊涵（3）．這是顯然的.因為有限個閉集的并仍然是閉集.
?。?）蘊涵（1）．設x,y∈X,x≠y,當(3)成立時單點集{x}和{y}都是閉集．從而分別是y和x的開鄰域，前者不包含x，后者不包含y．這就證明了X是一個空間.
下面的兩個定理表明，空間中關于凝聚點和序列收斂的性質(zhì)和我們在數(shù)學分析中熟知的多了一些類似之處．
定理6.1.3 設X是一個空間．則點x∈X是X的子集A的一個凝聚點當且僅當x的每一個鄰域U中都含有A中的
5、無限多個點,即U∩A是一個無限集．
證明 定理充分性部分是明顯的．以下證明必要性部分．假設x∈X,x∈d(A)．如果x有一個開鄰域U使得U∩A是一個有限集，則集合B=U∩A-{x}也是一個有限集，因此是一個閉集．因此U－B是一個開集，并且是x的一個鄰域．此外易見
(U－B)∩(A-{x})=.這蘊含著x不是A的凝聚點,與假設矛盾．
定理6.1.4 設X是一個空間．則X中的一個由有限個點構(gòu)成的序列{}（即集合{|i∈Z+}是一個有限集）收斂于點x∈X當且僅當存在N＞0使得=x對于任何i≥N成立．
證明 由于X是一個空間，集合A＝{|≠x,i=1,2…}是一個有限集，所以是
6、一個閉集．從而是x的一個開鄰域．于是存在N＞0使得當i≥N有，因而=x.
定義6.1.3 設X是一個拓撲空間．如果X中任何兩個不相同的點各自有一個開鄰域使得這兩個開鄰域互不相交（即如果x，y∈X，x≠y，則點x有一個開鄰域U，點y有一個開鄰域V，使得U∩V=），則稱拓撲空間X是一個Hausdorff空間，或空間．
hausdorff空間一定是空間，但反之不然．
例6.1.1 非Hausdorff的空間的例子．
設X是一個包含著無限多個點的有限補空間．由于X中的每一個有限子集都是閉集，因此它是一個空間．然而在拓撲空間X中任何兩個非空的開集一定會有非空的交．這是因為X中每一
7、個非空開集都是X中的有限子集的補集，而X又是一個無限集的緣故．由此易見X必然不是一個空間．
定理6.1.5 Hausdorff空間中的任何一個收斂序列只有一個極限點．
證明 設{}是Hausdorff空間X中的一個序列，并且有 于是對于j＝1，2，點有一個開鄰域，使得．故存在＞O使得當i≥時有．任意選取M＞max{}．可見，這是一個矛盾．
但在空間中定理6.1.5卻可以不成立．例如設拓撲空間X如例6.1.1中所述，{}是X中的任何一個由兩兩不同的點構(gòu)成的序列，即當i≠j時有.此時對于任何y∈X和y的任一鄰域U,由于U的補集是一個有限集，所以存在N＞0使得當i≥N時有∈U．于是lim=y．也就是說，序列{}收斂于X中的任何一個點．
作業(yè):
P155 3.4.5.
《點集拓撲學》第6章 §6.1,Hausdorff空間
