歐幾裏得空間的一種推廣。給定任意一個集，在它的每一點賦予一種確定的鄰近結構便成為一個拓撲空間。構造鄰近結構有多種方法，常用的是指定開集的方法。給定集x，它的一個子集族J稱為x上的一個拓撲結構，簡稱拓撲，是指J滿足下列三個條件：①空集和x本身是J的元；②J內任意有限多個元的交仍是J的元；③J內任意多個元的並仍是J的元。集xx連同它上面的一個拓撲J，構成一個拓撲空間，簡稱空間。J的元叫x的開集，開集的補集叫閉集。任何集x上總可以賦予拓撲。例如，x的一切子集組成的族就是x上的一個拓撲，叫離散拓撲，對應的空間叫離散空間；另一個拓撲僅由空集與x自己所組成，叫平凡拓撲。如果集x上定義瞭一個度量或距離函數，那麼x內可以用一些開球的並表示的一切子集組成x上的一個拓撲，叫度量拓撲。一切開球組成的集族稱為這個拓撲的一個基。一般地，拓撲J的一個子族B稱為J的一個基，是指 J的每個元可表為B的一些元的並。這時，也說拓撲J是由B生成的。拓撲J的一個子族φ稱為J的一個子基是指φ中元的所有有限交構成的集族是J的一個基。設A是拓撲空間x的任一子集。規定A的開集是x的開集與A的交，於是A自己構成一個拓撲空間，稱為x的子空間。

　　積空間　任意兩個集A1和A2的笛卡兒積定義為集

。兩個拓撲空間 x 1與 x 2的笛卡兒積 x 1× x 2上可以引入乘積拓撲如下：其基中的元是形如 A 1× A 2的集，這裡 A i是 x i的任意開集， i=1，2。這樣得到的拓撲空間稱為空間 x 1與 x 2的積空間。 x 1與 x 2叫因子空間。積空間可以推廣到任意多個因子的情況。任意集族{ A α} α ∈ I的笛卡兒積可類似地定義為集 一族拓撲空間 的笛卡兒積 上可以引入乘積拓撲如下：其基中的元是形如 的集，這裡 A α是 x α的任意開集，並且這些 A α(α∈ I)中除有限多個外都等於 x α。這樣得到的拓撲空間稱為空間族{ x α} α∈ I的積空間。

　　商空間　設x是拓撲空間，將x劃分為兩兩不相交的子集，把每個子集看作一個點，就得到一個新的集H。H的每個點可以看作是由x的某個相應子集中的點重疊而成。規定H的子集U是開集當且僅當U的一切元的並是x的開集。這樣，H便構成一個拓撲空間，叫x的商空間。例如，讓x表平面上的長方形帶ABCDEF，並作為數平面R2的子空間。先把帶扭轉180°，再把FD邊與CA邊粘合起來，這樣得到的圖形叫麥比烏斯帶。這時點A與D重合，C與F、B與E也重合，等等。如果將x劃分為下列兩兩不相交的子集：｛A，D｝，｛C，F｝，｛B，E｝，…以及所有單點集｛p｝，這裡p是x的不在兩條豎直邊上的點。所得的商空間就是麥比烏斯帶（見圖

）。

　　連續映射與同胚　設f是空間x到空間Y的映射，即對於x內每一點x，Y內有惟一一點y與它對應。這個y叫x在f下的像，記為f(x)；稱f是連續映射是指對Y的每個開集G，其逆像f-1[G]={x∈x｜f(x)∈G}是x的開集。如果x內任意兩個不同的點有不同的像，就稱f是單射。如果Y內每一點必是x內某一點的像，就稱f是滿射。從空間x到Y的每個既單又滿映射f必有逆映射g，它是Y到x上的既單又滿映射，這裡g(y)=x當且僅當f(x)=y。這時如果f和g都連續，便稱f為同胚映射。兩個拓撲空間稱為同胚的，是指它們之間存在一個同胚映射。n維歐幾裡得空間Rn的任一開球作為子空間與Rn同胚。另一方面，1913年荷蘭數學傢L.E.J.佈勞威爾證明瞭：當m不等於n時，Rm與Rn不同胚。

　　第一與第二可數空間　拓撲空間稱為第二可數的是指它的拓撲有一個可數基。Rn是第二可數空間，因為半徑與球心坐標皆為有理數的一切開球組成Rn上拓撲的可數基。設A是空間x的任一子集。x的子集W稱為子集A的鄰域是指存在開集U包含A且包含在W內。點x的鄰域即子集{x}的鄰域。由點x的一切鄰域組成的集族Ux叫點的鄰域系。Ux的子族Bx稱為x的鄰域基或局部基是指對於Ux的每個元U，Bx中相應地有元B，使B⊆U。如果空間x的每一點都有一個可數局部基，便稱為第一可數空間。第二可數空間與度量空間都是第一可數空間。

　　分離公理　主要有下面幾條。

　　T1分離公理　空間內任何兩個不同的點都各有一個領域不含另一點。

　　豪斯多夫分離公理（T2分離公理)　空間內任何兩個不同的點都各有鄰域互不相交。

　　正則分離公理　空間內每一點以及不含該點的任一閉集都各有鄰域互不相交。

　　全正則分離公理　對於空間x內每一點x及不含x的任一閉集B，存在連續映射f∶x→[0，1]，使得f(x)=0且對B內每一點y，f(y)=1。

　　正規分離公理　空間內任何兩個不相交的閉集都各有鄰域互不相交。

　　滿足T1分離公理的空間叫T1空間。滿足T2分離公理的空間叫T2空間或豪斯多夫空間。一個T1空間如果還滿足正則分離公理或全正則分離公理或正規分離公理，則分別稱為正則空間，全正則空間和正規空間。各空間之間的蘊含關系可用“⇒”表示如下：正規空間⇒全正則空間⇒正則空間⇒T2空間⇒T1空間。度量空間以及下述的緊空間和仿緊空間都是正規空間。

　　緊空間　拓撲空間x的子集族 U稱為x的覆蓋是指x可表為U的一切元的並。由開集組成的覆蓋叫開覆蓋。如果T2空間x的每個開覆蓋有一個有限子族仍是x的覆蓋，則x稱為緊空間。n維歐幾裡得空間Rn中的有界閉集，即可以包含於某個球內的閉集，作為Rn的子空間是緊空間。但Rn本身不是緊空間。任意一族緊空間

的積空間 仍是緊空間。連續映射把緊空間映成緊空間，隻要映成的空間是 T 2的。與一個 度量空間同胚的拓撲空間叫可度量空間。1924年，蘇聯拓撲學傢∏.C.烏雷松證明瞭：緊空間是可度量的當且僅當它是第二可數的。在第二可數或度量空間范圍內，一個空間是緊的當且僅當它是列緊的，即是 T 2空間且它的每個點列有一個收斂子序列。

　　仿緊空間　1944年由法國數學傢J.迪厄多內提出的仿緊空間是緊空間的一種重要推廣。空間內的一個子集族U稱為局部有限的是指空間內每一點有一個鄰域與U內至多有限多個元相交。設U、V是空間x的任二開覆蓋，如果U的每個元是V的某個元的子集，則稱U加細V或U是V的一個加細。一個T2空間稱為仿緊空間是指對於它的每個開覆蓋V，存在一個局部有限的開覆蓋U加細V。緊空間和度量空間都是仿緊空間。

　　連通空間　有一類簡單的幾何圖形隻由“一片”所組成，這就是連通空間的直觀含義。拓撲空間稱為連通空間是指它不能表示為兩個不相交的不空開集的並。等價地，從它到由兩個點組成的離散空間的每個連續函數是常值的，即每一點的像皆相同。Rn是連通空間。R1內的連通子空間恰好是區間，包括帶一個或兩個端點的或不帶端點的，有限或無限的。每個緊連通空間稱為連續統。

　　

參考書目

　J.L.凱萊著，吳從炘、吳讓泉譯：《一般拓撲學》，科學出版社，北京，1982。(J.L.Kelley，General Topology，Van Nostrand，Princeton，1955.)

　児玉之宏、永見啟應著，方嘉琳譯：《拓撲空間論》，科學出版社，北京，1984。（児玉之宏，永見啓応著：《位相空間論》，巖波，東京，1974。）

　R.Engelking，General Topology，Polish ScientificPub.，Warszawa，1977.