強仿緊空間:強仿緊空間(strongly paracompact spa -百科知識中文網

拓撲性質

設X是一個非空集合，X的冪集的子集（即是X的某些子集組成的集族）T稱為X的一個拓撲。若且唯若：

1．X和空集{}都屬於T；

2．T中任意多個成員的並集仍在T中；

3．T中有限多個成員的交集仍在T中。

稱集合X連同它的拓撲τ為一個拓撲空間，記作（X,T）。

稱T中的成員為這個拓撲空間的開集。

定義中的三個條件稱為拓撲公理。（條件（3）可以等價的換為τ中兩個成員的交集仍在τ中。）

從定義上看，給出某集合的一個拓撲就是規定它的哪些子集是開集。這些規定不是任意的，必須滿足三條拓撲公理。

一般說來，一個集合上可以規定許多不相同的拓撲，因此說到一個拓撲空間時，要同時指明集合及所規定的拓撲。在不引起誤解的情況下，也常用集合來代指一個拓撲空間，如拓撲空間X，拓撲空間Y等。

同時，在拓撲範疇中，我們討論連續映射。定義為：f: (X,T1) ------> (Y,T2) （T1,T2是上述定義的拓撲）是連續的若且唯若開集的原像是開集。兩個拓撲空間同胚若且唯若存在一一對應的互逆的連續映射。同時，映射同倫和空間同倫等價也是很有用的定義。

拓撲空間

在拓撲學及其相關的數學分支中，拓撲空間（topological space）是一個點的集合，其部分子集構成一個族滿足一些公理。拓撲空間的定義僅依賴於集合論，是帶有連續，連通，收斂等概念的最基本的數學空間。

設X是一個集合，O是一些X的子集構成的族，則(X,0)被稱為一個拓撲空間，如果下面的性質成立：

1. 空集和X屬於O，

2.O中任意多個元素的並仍屬於O，

3.O中有限個元素的交仍屬於O。

這時，X中的元素成為點（point），O中的元素成為開集（open set）。我們也稱O是X上的一個拓撲。

仿緊空間

仿緊空間是一類重要的拓撲空間。為了討論拓撲空間的可度量化問題，迪厄多內(Dieudonné，J.)於1944年引入仿緊空間的概念。設X為拓撲空間。若X的任意開覆蓋都有局部有限的開覆蓋加細，則稱X為仿緊空間。緊空間是仿緊空間。度量空間也是仿緊空間。反之未必成立。仿緊空間是緊空間的一種最重要的推廣。對於這一類空間的研究，不僅從內容上推廣了緊空間理論，而且較大地發展了覆蓋方法，有力地推動了一般拓撲學的發展，特別是廣義度量空間理論和度量化問題的廣泛進展。另外，仿緊空間在微分流形、代數拓撲和泛函分析中也有重要的套用。仿緊性具有閉遺傳性。仿緊T2空間的閉連續像是仿緊T2的。仿緊T2空間是全體正規空間。全體正規空間是仿緊空間。仿緊T2空間中的Fσ集是仿緊的。在完全映射下，仿緊空間的原像是仿緊的。仿緊空間是亞緊的、可數仿緊的、族正規的。可數緊的仿緊空間是緊空間。林德勒夫空間是仿緊的。斯通(Stone，A.H.)於1948年、麥可(Michael，E.)於1953年給出了仿緊性的幾個等價條件。森田紀一(Morita，K.)和玉野(Tamano，H.)於1960—1962年也分別給出了幾個等價條件。