Can you summarize the following document?
        
  一致空間有三個等價定義。

  考慮集合formula_1以及非空集族formula_2。二元組formula_3稱為一致空間。若其滿足如下公理:  其中,formula_19稱為formula_1的一致結構或一致性,其元素稱為周圍(法語 entourage:鄰居或周圍),而集合formula_21記為formula_22,稱為對角。  若忽略最後一項公理,則稱此空間為準一致空間。  通常寫 "U"["x"]={"y" : ("x","y")∈"U"}。在圖形上,典型的周圍被繪製為圍繞“"y"="x"”對角的斑點;"U"["x"] 們則為縱截面。如果 ("x","y") ∈ "U",則可以說 "x" 和 "y" 是“U-鄰近”的。類似的,如果在 "X" 的子集 "A" 中的所有成對的點都是 "U"-鄰近的(就是說如果 "A" × "A" 被包含在 "U" 中),則 "A" 被稱為“U-小”的。周圍"U" 是對稱的,若("y","x") ∈ "U" 蘊涵("x","y") ∈ "U" 。第一個公理表示,在每個周圍"U"而言,每一點都會"U"-鄰近於自身。第三個公理保證「同時"U"-鄰近且"V"-鄰近」也是一致性中的一種鄰近關係。第四個公理表示,對每個周圍"U",都存在一個「一半大小」的周圍"V"。最後的公理表示,一致結構上的「鄰近性」本質上是對稱的。  一致性formula_19的基礎周圍系統是指任一個由Φ 的周圍所組成的集合B,其中Ф 的每一個周圍皆包含一個屬於B 的集合。因此,依據第二個公理,基礎周圍系統B 能無歧義地規範出一致性Φ 來:Φ 為由"X" &times "X" 中包含一個屬於B 的集合的子集所組成的集合。每個一致空間都有個由對稱周圍所組成的基礎周圍系統。  對一致性的正確直觀概念可由下面度量空間的例子中得知:設("X","d") 為一度量空間,集合 會形成一個基礎周圍系統,無歧義地規範出"X" 的標準一致結構來。然後,"x" 和"y" 稱之為"U"-鄰近的,若"x" 和"y" 之間距離最多為"a"。  設formula_19和formula_27都是定義在集合formula_1上的一致性。若formula_29,則稱一致性formula_19比一致性formula_27精細;或稱formula_27比formula_19粗糙。

  一致空間也可以使用偽度量的系統來得到等價的定義,此種定義方式對泛函分析(帶有由半範數而得的偽度量)特別有用。更精確地說,設 "f": "X" × "X" → R 為集合"X" 上的一偽度量,逆像 "U" = "f"([0,a]),其中的"a">0,可證明能形成了一個一致性的基礎周圍系統。由"U" 所生成的一致性即是由單個偽度量"f" 所定義的一致性。  設"f" 為"X" 上的一組偽度量,則由這組偽度量所定義的一致結構會是個別偽度量"f" 所定義的一致結構的“最小上界”。這個一致性的基礎周圍系統可由從個別偽度量"f" 所定義的一致性的周圍的「有限」交集所組成的集合來得出。若這組偽度量為「有限」的,可以證明可由單個偽度量定義出相同的一致結構來,而此一偽度量即稱為這組偽度量的“上包絡” sup "f"。  較不直觀地,可證明有可數基礎周圍系統的一致結構(並因此特別為由一組可數的偽度量定義的一致性)也可由單個偽度量定義出來。可推論出,任何一個一致結構都可以如上述一般由一組(可能為不可數的)偽度量定義出來(參見 Bourbaki:《General Topology》 Chapter IX §1 no. 4)。

  一致空間 ("X",Θ) 是集合 "X" 配備顯著的“一致覆蓋”族 Θ,它來自 "X" 的覆蓋的集合,在按星號精緻排序的時候形成了濾子。你可以稱呼覆蓋 P 是覆蓋 Q 的星號精緻(refinement)寫為 P<*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" 下列等價: 可一致化空間的拓撲總是對稱拓撲;就是說這個空間是 R 空間。  反過來說,每個完全正則空間都是可一致化的。相容於完全正則空間 "X" 的拓撲的一個一致性可以定義為最粗糙一致性,它使得所有 "X" 上的連續實數值函式為一致連續。這個一致性的基礎周圍系統提供為集合 ("f" × "f")("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" 帶有如下性質:  豪斯多夫完全 "Y" 是唯一的(不別同構之異)。作為一個集合 "Y" 可以選取為由 "X" 上的極小柯西濾子組成。作為每個 "X" 中點 "x" 的鄰域濾子 B("x"),對映 "i" 可以被定義為把 "x" 對映到 B("x")。如此定義的對映 "i" 一般不是單射;事實上,等價關係 "i"("x") = "i"("x" ') 的圖象是 "X" 的所有周圍的交集,因此 "i" 是單射正好在 "X" 是豪斯多夫空間的時候。  在 "Y" 上的一致結構定義如下:對於每個對稱周圍 "V"(就是說使得 ("x","y") 在 "V" 中正好在 ("y","x") 在 "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 給出了一致覆蓋定義。韋伊還依據偽度量族來刻畫一致空間。
在拓撲學這個數學領域裡,一致空間(uniform space)是指帶有一致結構的集合。一致空間是一個拓撲空間,有可以用來定義如完備性、一致連續及一致收斂等一致性質的附加結構。