拓撲空間

目錄: 1、拓撲空間; 2、拓撲空間 - 正文; 3、參考書目

拓撲空間

拓撲空間，是歐幾里得空間的一種推廣。給定任意一個集，在它的每一點賦予一種確定的鄰近結(jié)構(gòu)便成為一個拓撲空間。構(gòu)造鄰近結(jié)構(gòu)有多種方法，常用的是指定開集的方法。

拓撲空間 - 正文

給定集x,它的一個子集族J稱為x上的一個拓撲結(jié)構(gòu),簡稱拓撲,是指J滿足下列三個條件：①空集和x本身是J的元;②J內(nèi)任意有限多個元的交仍是J的元;③J內(nèi)任意多個元的并仍是J的元。集x連同它上面的一個拓撲J,構(gòu)成一個拓撲空間,簡稱空間。J的元叫x的開集,開集的補集叫閉集。任何集x上總可以賦予拓撲。例如，x的一切子集組成的族就是x上的一個拓撲, 叫離散拓撲，對應的空間叫離散空間;另一個拓撲僅由空集與x自己所組成,叫平凡拓撲。如果集x上定義了一個度量或距離函數(shù)，那么x內(nèi)可以用一些開球的并表示的一切子集組成x上的一個拓撲，叫度量拓撲。一切開球組成的集族稱為這個拓撲的一個基。一般地，拓撲J的一個子族B稱為J的一個基，是指 J的每個元可表為B的一些元的并。這時,也說拓撲J是由B生成的。拓撲J的一個子族φ稱為J的一個子基是指φ中元的所有有限交構(gòu)成的集族是J的一個基。設A是拓撲空間x的任一子集。規(guī)定A的開集是x的開集與A的交，于是A自己構(gòu)成一個拓撲空間,稱為x的子空間。

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

。兩個拓撲空間x1與x2的笛卡兒積x1×x2上可以引入乘積拓撲如下:其基中的元是形如 A1×A2的集, 這里 Ai是 xi的任意開集,i=1,2。這樣得到的拓撲空間稱為空間x1與x2的積空間。x1與x2叫因子空間。積空間可以推廣到任意多個因子的情況。任意集族{Aα}α∈I的笛卡兒積可類似地定義為集

一族拓撲空間

的笛卡兒積

上可以引入乘積拓撲如下：其基中的元是形如

的集,這里Aα是xα的任意開集，并且這些Aα(α∈I)中除有限多個外都等于xα。這樣得到的拓撲空間稱為空間族{xα}α∈I的積空間。

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

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

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

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

T1分離公理空間內(nèi)任何兩個不同的點都各有一個領(lǐng)域不含另一點。

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

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

全正則分離公理對于空間x 內(nèi)每一點x及不含x的任一閉集B，存在連續(xù)映射ƒ∶x→【0,1】，使得ƒ(x)=0且對B內(nèi)每一點y，ƒ(y)=1。

正規(guī)分離公理空間內(nèi)任何兩個不相交的閉集都各有鄰域互不相交。

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

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

的積空間

仍是緊空間。連續(xù)映射把緊空間映成緊空間，只要映成的空間是T2的。與一個度量空間同胚的拓撲空間叫可度量空間。1924年，蘇聯(lián)拓撲學家∏.C.烏雷松證明了：緊空間是可度量的當且僅當它是第二可數(shù)的。在第二可數(shù)或度量空間范圍內(nèi)，一個空間是緊的當且僅當它是列緊的，即是T2空間且它的每個點列有一個收斂子序列。

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

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