在拓撲學這個數學領域裡，均勻空間（uniform space）是指帶有一致結構的集合。均勻空間是一個拓撲空間，有可以用來定義如完備性、均勻連續及均勻收斂等一致性質的附加結構。

一致結構和拓撲結構之間的概念區別在於，均勻空間可以形式化有關於相對鄰近性及點間臨近性等特定概念。換句話說，「_x_ 鄰近於 _a_ 勝過 _y_ 鄰近於 _b_」之類的概念，在均勻空間中是有意義的。而相對的，在一般拓撲空間內，給定集合 _A_ 和 _B_，有意義的概念只有：點 _x_ 能「任意鄰近」_A_（亦即在 _A_ 的閉包內）；或是和 _B_ 相比，_A_ 是 _x_ 的「較小鄰域」，但點間鄰近性和相對鄰近性就不能只用拓撲結構來描述了。

均勻空間廣義化了度量空間和拓撲群，因此成為多數數學分析的根基。



定義

均勻空間有三個等價定義。

周圍定義

考慮集合 $X$ 以及非空集族 $\Phi \subseteq P(X\times X)$ 。二元組 $(X,\Phi )$ 稱為均勻空間。若其滿足如下公理：

 
* $\forall U\in \Phi $ ， $\{(x,x)|x\in X\}\subseteq U$ 。

* $\forall U\in \Phi $ ，若 $V\subseteq X\times X$ ，且 $U\subseteq V$ ，則 $V\in \Phi $ 。

* $\forall U,V\in \Phi $ ， $U\cap V\in \Phi $ 。

* $\forall U\in \Phi $ ， $\exists V\in \Phi $ ，使得只要 $(x,y)\in V$ 且 $(y,z)\in V$ ，就有 $(x,z)\in U$ 。

* $\forall U\in \Phi $ ，則 $U^{-1}=\{(y,x)|(x,y)\in U\}\in \Phi $ 。

其中， $\Phi $ 稱為 $X$ 的一致結構或一致性，其元素稱為周圍（法語 entourage：鄰居或周圍），而集合 $\{(x,x)|x\in X\}$ 記為 $\Delta $ ，稱為對角。

若忽略最後一項公理，則稱此空間為准一致空間。

通常寫 _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_。最後的公理表示，一致結構上的「鄰近性」本質上是對稱的。

一致性 $\Phi $ 的基礎周圍系統是指任一個由 Φ 的周圍所組成的集合 B，其中Ф 的每一個周圍皆包含一個屬於 B 的集合。因此，依據第二個公理，基礎周圍系統 B 能無歧義地規範出一致性 Φ 來：Φ 為由 $X\times X$ 中包含一個屬於 B 的集合的子集所組成的集合。每個均勻空間都有個由對稱周圍所組成的基礎周圍系統。

對一致性的正確直觀概念可由下面度量空間的例子中得知：設 (_X_,_d_) 為一度量空間，集合

　
: $U_{a}=\{(x,y)\in X\times X|d(x,y)\leq a\}$ ，其中的 $a>0\,$

會形成一個基礎周圍系統，無歧義地規範出 _X_ 的標準一致結構來。然後，_x_ 和 _y_ 稱之為 _U_a- 鄰近的，若 _x_ 和 _y_ 之間距離最多為 _a_。

設 $\Phi $ 和 $\Psi $ 都是定義在集合 $X$ 上的一致性。若 $\Phi \supseteq \Psi $ ，則稱一致性 $\Phi $ 比一致性 $\Psi $ 精細；或稱 $\Psi $ 比 $\Phi $ 粗糙。

間距定義

一致空間也可以使用間距（法語：écart）的系統來得到等價的定義。間距是一種廣義的偽度量，與一般的偽度量不同，它允許兩點間的間距為無窮。此種定義方式對泛函分析特別有用。更精確地說，設 $f:X\times X\to [0,+\infty ]$ 為集合 $X$ 上的一間距，逆像 $U_{a}=f^{-1}([0,a])$ ，其中的 $a>0$ ，可證明這些集合形成了一個一致性的基礎周圍系統。由 $U_{a}$ 所生成的一致性即是由單個間距 $f$ 所定義的一致性。

設 $f_{i}$ 為 $X$ 上的一組間距，則由這組間距所定義的一致結構會是個別間距 $f_{i}$ 所定義的一致結構的「最小上界」。這個一致性的基礎周圍系統可由從個別間距 $f_{i}$ 所定義的一致性的周圍的「有限」交集所組成的集合來得出。若這組間距為「有限」的，可以證明可由單個間距定義出相同的一致結構來，而此一間距即稱為這組間距的「上包絡」 $\sup f_{i}$ 。

較不直觀地，可證明有可數基礎周圍系統的一致結構（並因此特別為由一組可數的間距定義的一致性）也可由單個間距定義出來。可推論出，任何一個一致結構都可以如上述一般由一組（可能為不可數的）間距定義出來（參見 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_。公理化可簡約為：

1. {X} 是一致覆蓋。
2. 如果 P<\*Q 並且 P 是一致覆蓋，則 Q 也是一致覆蓋。
3. 如果 P 並且 Q 是一致覆蓋，則有一致覆蓋 R 精緻 P 和 Q 二者。

給定一個點 _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_ 下列等價：


* _X_ 是科摩哥洛夫空間

* _X_ 是郝斯多夫空間

* _X_ 是吉洪諾夫空間

* 對於任何兼容的一致結構，所有周圍的交集是對角 {(_x_, _x_) : _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_（就是說使得 (_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_)。



例子


* 所有度量空間 (_M_, _d_) 都可被當作均勻空間。實際上因為度量是當然的偽度量，上文的偽度量定義給出了 _M_ 的一致結構。這個一致性的基礎周圍系統提供自集合 $\qquad U_{a}=d^{-1}([0,a])=\{(m,n)\in M\times M|d(m,n)\leq a\}$ 。這個 _M_ 的一致結構生成了在 _M_ 上的正常度量空間拓撲。但是，不同的度量空間可以有相同的一致結構（平凡的例子可通過度量的常數提供）。這個一致結構還生成均勻連續和度量空間的完備性的等價定義。

* 使用度量，可以構造有相符合拓撲的不同一致結構的簡單例子。例如，設 _d_1(_x_,_y_) = | _x − y_ | 是在 R 上的正常度量，並設 _d_2(_x_,_y_) = | _ex − ey_ |。則這兩個度量都引發在 R 上的正常拓撲，但是一致結構是不同的，因為 {(x,y) : | x − y | <1} 是 _d_1 的一致結構的周圍但不是 _d_2 的。非正式的，這個例子可以被看作選取正常的一致性並通過連續但非均勻連續函數的作用扭曲它。

* 所有拓撲群 _G_（特別是所有拓撲向量空間）成為均勻空間，如果我們定義 _G_ × _G_ 的子集 _V_ 是周圍，若且唯若它包含集合 { (_x_, _y_) : _x_⋅_y_−1 ∈ _U_ } 對於 _G_ 的單位元素的某個鄰域 _U_。這個 _G_ 上的一致結構叫做在 _G_ 上的右一致性，因為對於所有 _G_ 中的 _a_，右乘法 _x_ → _x_⋅_a_ 是關於這個一致結構均勻連續的。你還可以定義 _G_ 上的左一致性；它們兩個不需要相符合，但是它們都生成在 _G_ 上的給定拓撲。



歷史

在安德烈・韋伊於 1937 年首次給出一致結構的明確定義之前，一致概念如完備性被使用度量空間討論。尼古拉・布林巴基在書《Topologie Général》中提供了依據周圍的一致結構定義，而 John Tukey 給出了一致覆蓋定義。韋伊還依據偽度量族來刻畫均勻空間。



參見


* 一致同構

* 一致性質

* 一致連通空間

* 完備度量空間

* 均勻連續



引用


* Nicolas Bourbaki，General Topology (Topologie Générale), ISBN 0-387-19374-X (Ch. 1-4), ISBN 0-387-19372-3 (Ch. 5-10): Chapter II is a comprehensive reference of uniform structures, Chapter IX § 1 covers pseudometrics, and Chapter III § 3 covers uniform structures on topological groups

* J. R. Isbell, Uniform Spaces ISBN 0-8218-1512-1

* I. M. James, Introduction to Uniform Spaces ISBN 0-521-38620-9

* I. M. James, Topological and Uniform Spaces ISBN 0-387-96466-5

* John Tukey，Convergence and Uniformity in Topology; ISBN 0-691-09568-X

* André Weil，Sur les espaces a structure uniforme et sur la topologie generale, Act. Sci. Ind. 551, Paris, 1937