一致空間

在拓撲學這個數學領域裡，一致空間是指帶有一致結構的集合。一致空間是一個拓撲空間，有可以用來定義如完備性、一致連續及一致收斂等一致性質的附加結構。一致結構和拓撲結構之間的概念區別在於，一致空間可以形式化有關於相對鄰近性及點間臨近性等特定概念。換句話說，「"x" 鄰近於"a" 勝過"y" 鄰近於"b"」之類的概念，在一致空間中是有意義的。而相對的，在一般拓撲空間內，給定集合"A" 和"B"，有意義的概念只有：點"x" 能“任意鄰近”"A"；或是和"B"相比，"A" 是"x" 的“較小鄰域”，但點間鄰近性和相對鄰近性就不能只用拓撲結構來描述了。一致空間廣義化了度量空間和拓撲群，因此成為多數數學分析的根基。定義.一致空間有三個等價定義。周圍定義.考慮集合formula_1以及非空集族formula_2。二元組formula_3稱為一致空間。若其滿足如下公理：其中，formula_19稱為formula_1的一致結構或一致性，其元素稱為周圍，而集合formula_21記為formula_22，稱為對角。若忽略最後一項公理，則稱此空間為準一致空間。通常寫 "U"["x"]={"y" : ("x","y")∈"U"}。在圖形上，典型的周圍被繪製為圍繞“"y"="x"”對角的斑點；"U"["x"] 們則為縱截面。如果 ("x","y") ∈ "U"，則可以說 "x" 和 "y" 是“U-鄰近”的。類似的，如果在 "X" 的子集 "A" 中的所有成對的點都是 "U"-鄰近的，則 "A" 被稱為“U-小”的。周圍"U" 是對稱的，若("y","x") ∈ "U" 蘊涵("x","y") ∈ "U" 。第一個公理表示，在每個周圍"U"而言，每一點都會"U"-鄰近於自身。第三個公理保證「同時"U"-鄰近且"V"-鄰近」也是一致性中的一種鄰近關係。第四個公理表示，對每個周圍"U"，都存在一個「一半大小」的周圍"V"。最後的公理表示，一致結構上的「鄰近性」本質上是對稱的。一致性formula_19的基礎周圍系統是指任一個由Φ 的周圍所組成的集合B，其中Ф 的每一個周圍皆包含一個屬於B 的集合。因此，依據第二個公理，基礎周圍系統B 能無歧義地規範出一致性Φ 來：Φ 為由formula_24 中包含一個屬於B 的集合的子集所組成的集合。每個一致空間都有個由對稱周圍所組成的基礎周圍系統。對一致性的正確直觀概念可由下面度量空間的例子中得知：設("X","d") 為一度量空間，集合formula_25 ，其中的 formula_26會形成一個基礎周圍系統，無歧義地規範出"X" 的標準一致結構來。然後，"x" 和"y" 稱之為"U""a"-鄰近的，若"x" 和"y" 之間距離最多為"a"。設formula_19和formula_28都是定義在集合formula_1上的一致性。若formula_30，則稱一致性formula_19比一致性formula_28精細；或稱formula_28比formula_19粗糙。間距定義.一致空間也可以使用間距的系統來得到等價的定義。間距是一種廣義的偽度量，與一般的偽度量不同，它允許兩點間的間距為無窮。此種定義方式對泛函分析特別有用。更精確地說，設formula_35 為集合formula_1上的一間距，逆像formula_37，其中的formula_38，可證明這些集合形成了一個一致性的基礎周圍系統。由formula_39所生成的一致性即是由單個間距formula_40所定義的一致性。設formula_41為formula_1上的一組間距，則由這組間距所定義的一致結構會是個別間距formula_41所定義的一致結構的“最小上界”。這個一致性的基礎周圍系統可由從個別間距formula_41所定義的一致性的周圍的「有限」交集所組成的集合來得出。若這組間距為「有限」的，可以證明可由單個間距定義出相同的一致結構來，而此一間距即稱為這組間距的“上包絡”formula_45。較不直觀地，可證明有可數基礎周圍系統的一致結構。一致覆蓋定義.一致空間 ("X",Θ) 是集合 "X" 配備顯著的“一致覆蓋”族 Θ，它來自 "X" 的覆蓋的集合，在按星號精緻排序的時候形成了濾子。你可以稱呼覆蓋 P 是覆蓋 Q 的星號精緻(refinement)寫為 P&lt;*Q，如果對於所有 "A"∈P，有 "U"∈Q 使得如果 "A"∩"B"≠∅，"B"∈P，則 "B"⊆"U"。公理化可簡約為：給定一個點 "x" 和一致覆蓋 P，可以把包含 "x" 的 P 的成員的並集認為是 "x" 的大小 P 的典型鄰域，並且這個直覺度量一致的適用在這個空間之上。給定在周圍意義上的一個一致空間，定義覆蓋 P 為一致的，如果存在某個周圍 "U" 使得對於每個 "x"∈"X"，有一個 "A"∈P 使得 "U"["x"]⊆"A"。這些一致覆蓋形成了第二種定義的一致空間。反過來說，給定在一致覆蓋意義上的一個一致空間， ∪{"A"×"A" : "A"∈P} 的超集，因為 P 取值於一致覆蓋上，是第一種定義的一致空間的周圍。此外，這兩個變換是互逆的。一致空間的拓撲.所有一致空間 "X" 都可以變成拓撲空間，透過定義 "X" 的子集 "O" 為開集，當且僅當對於所有 "O" 中的 "x" 存在周圍 "V" 使得 "V"["x"] 是 "O" 的子集。在這個拓撲中，點 "x" 的鄰域濾子是 {"V"["x"]:V∈Φ}。這可以透過遞迴的使用“一半大”周圍的存在性來證明。相較於一般拓撲空間，一致結構的存在性使得比較鄰域大小成為可能："V"["x"] 和 "V"["y"] 被認為是“一樣大”。一致結構所定義的拓撲被稱為引發自一致性。在拓撲空間上一致結構兼容於這個拓撲，如果這個一致結構定義的拓撲同最初的拓撲相符合。一般的說有多個不同的一致結構可以兼容於在 "X" 上的給定拓撲。可一致化空間.拓撲空間被稱為可一致化的，如果一致結構兼容於這個拓撲。所有可一致化空間是完全正則拓撲空間。此外，對於可一致化空間 "X" 下列等價：可一致化空間的拓撲總是對稱拓撲；就是說這個空間是 R0 空間。反過來說，每個完全正則空間都是可一致化的。兼容於完全正則空間 "X" 的拓撲的一個一致性可以定義為最粗糙一致性，它使得所有 "X" 上的連續實數值函式為一致連續。這個一致性的基礎周圍系統提供為集合 ("f" × "f")-1("V") 的所有有限交集，這裡的 "f" 是 "X" 上的連續實數值函式而 "V" 是一致空間 R 的周圍。這個一致性定義了一個拓撲，它明顯的粗糙於 "X" 的最初拓撲；並且它還精細於最初的拓撲是完全正則性的簡單推論：對於任何 "x" ∈ "X" 和 "x" 的鄰域 "V"，有連續實數值函式 "f" 有著 "f"("x")=0 並對於 "V" 的補集中的點等於 1。特別是，緊緻豪斯多夫空間是可一致化的。事實上，對於緊緻豪斯多夫空間 "X" 在 "X" × "X" 中對角的所有鄰域的集合形成了唯一的兼容於這個拓撲的一致性。豪斯多夫一致空間是可度量空間，如果它的一致性可以定義自為可數的偽度量族。實際上，如在上面偽度量定義中討論的，這種一致性可以定義自單一的偽度量，如果這個空間是豪斯多夫的，則它必然是度量。特別是，如果向量空間的拓撲是豪斯多夫的並且可定義自可數的半範數族，則它是可度量的。一致連續.類似於在拓撲空間之間保持拓撲性質的連續函式，在一致空間之間的一致連續函式保持一致性質。帶有一致對映的一致空間形成了範疇。在一致空間之間的同構叫做一致同構。一致連續函式被定義為其周圍的逆像還是周圍的函式，或等價的說，一致覆蓋的逆像還是一致覆蓋的函式。所有一致連續函式都關於引發的拓撲是連續的。完備性.推廣完備度量空間的概念，你也可以定義一致空間的完備性。替代柯西序列，轉而使用柯西濾子。在一致空間 "X" 上的柯西濾子 "F" 是濾子 "F" 使得對於所有周圍 "U"，存在 "A"∈"F" 有著 "A"×"A" ⊆ "U"。換句話說，一個濾子是柯西濾子，如果它包含“任意小”集合。可從定義中得出每個是極小柯西濾子。反過來說，一致空間稱為完備的，如果所有柯西濾子收斂。任何緊緻豪斯多夫空間都是關於兼容於這個拓撲的一致結構的完備一致空間。完備一致空間享有如下重要性質：如果 "f": "A" → "Y" 是從一致空間 "X" 的稠密子集 "A" 到完備一致空間 "Y" 的一致連續函式，則 "f" 可以擴張成在整體 "X" 上的一致連續函式。一致空間的豪斯多夫完全.如同度量空間，所有一致空間 "X" 都豪斯多夫完全：就是說存在一個完備豪斯多夫一致空間 "Y" 和一致連續對映 "i": "X" → "Y" 帶有如下性質：對於任何從 "X" 到完備豪斯多夫一致空間 "Z" 的一致連續對映 "f"，存在一個唯一的一致連續對映 "g": "Y" → "Z" 使得 "f" = "gi"。豪斯多夫完全 "Y" 是唯一的。作為一個集合 "Y" 可以選取為由 "X" 上的極小柯西濾子組成。作為每個 "X" 中點 "x" 的鄰域濾子 B("x")，對映 "i" 可以被定義為把 "x" 對映到 B("x")。如此定義的對映 "i" 一般不是單射；事實上，等價關係 "i"("x") = "i"("x" ') 的圖象是 "X" 的所有周圍的交集，因此 "i" 是單射正好在 "X" 是豪斯多夫空間的時候。在 "Y" 上的一致結構定義如下：對於每個對稱周圍 "V"，設 "C"("V") 是“至少共有一個 V-小集合”的所有極小柯西濾子的對 ("F","G") 的集合。集合 "C"("V") 可以被證實形成了基礎周圍系統；如此就定義了配備了這個一致結構的 "Y"。集合 "i"("X") 因此是 "Y" 的稠密子集。如果 "X" 是豪斯多夫空間，則 "i" 是到 "i"("X") 的同構，因此 "X" 可用它的完全的稠密子集來識別。此外，"i"("X") 總是豪斯多夫的；它叫做關聯於 "X" 的豪斯多夫一致空間。如果 "R" 指示等價關係 "i"("x") = "i"("x" ')，則商空間 "X"/"R" 同胚於 "i"("X")。歷史.在安德烈·韋伊於1937年首次給出一致結構的明確定義之前，一致概念如完備性被使用度量空間討論。尼古拉·布林巴基在書《Topologie Général》中提供了依據周圍的一致結構定義，而 John Tukey 給出了一致覆蓋定義。韋伊還依據偽度量族來刻畫一致空間。