查看“一致空间”的源代码

{{NoteTA|G1=Math}}
在[[拓扑学]]這個[[數學]]領域裡，'''一致空间'''（uniform space）是指带有'''一致结构'''的[[集合]]。一致空间是一個[[拓撲空間]]，有可以用来定义如[[完备空间|完备性]]、[[一致连续]]及[[一致收敛]]等[[一致性質]]的附加结构。

一致结构和[[拓扑结构]]之间的概念区别在於，一致空间可以形式化有关于相对邻近性及点间临近性等特定概念。换句话说，「''x'' 邻近于''a'' 胜过''y'' 邻近于''b''」之類的概念，在一致空间中是有意义的。而相对的，在一般拓扑空间内，给定集合''A'' 和''B''，有意义的概念只有：点''x'' 能“任意邻近”''A''（亦即在''A'' 的闭包內）；或是和''B''相比，''A'' 是''x'' 的“較小邻域”，但点间邻近性和相对邻近性就不能只用拓扑结构來描述了。

一致空间广義化了[[度量空间]]和[[拓扑群]]，因此成為多数[[数学分析]]的根基。

== 定义 ==
一致空间有三个等价定义。

===周围定义===
考虑集合<math>X</math>以及非空[[集族]]<math>\Phi \subseteq P(X \times X)</math>。二元组<math>(X,\Phi)</math>称为'''一致空间'''。若其满足如下公理：
* <math>\forall U \in \Phi</math>，<math>\{(x,x)|x\in X\} \subseteq U</math>。
* <math>\forall U \in \Phi</math>，若<math>V \in X \times X</math>，且<math>U \subseteq V</math>，则<math>V \in \Phi</math>。
* <math>\forall U, V \in \Phi</math>，<math>U \cap V \in \Phi</math>。
* <math>\forall U \in \Phi</math>，<math>\exists V \in \Phi</math>，使得只要<math>(x,y) \in V</math>且<math>(y,z) \in V</math>，就有<math>(x,z) \in U</math>。
* <math>\forall U \in \Phi</math>，则<math>U^{-1} = \{(y,x)|(x,y)\in U\} \in \Phi</math>。

其中，<math>\Phi</math>称为<math>X</math>的'''一致结构'''或'''一致性'''，其元素称为'''周围'''（[[法语]] entourage：邻居或周围），而集合<math>\{(x,x)|x \in X\}</math>记为<math>\Delta</math>，称为'''对角'''。

若忽略最后一項公理，则称此空间为'''准一致空間'''。

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

一致性<math>\Phi</math>的'''基础周围系统'''是指任一個由Φ 的周围所組成的集合'''B'''，其中Ф 的每一個周围皆包含一個属于'''B''' 的集合。因此，依據第二個公理，基础周围系统'''B''' 能无歧义地規範出一致性Φ 來：Φ 為由''X'' &times ''X'' 中包含一個屬於'''B''' 的集合的子集所組成的集合。每個一致空间都有個由对称周围所組成的基础周围系统。

對一致性的正确直觀概念可由下面[[度量空间]]的例子中得知：設(''X'',''d'') 為一度量空间，集合
: <math> U_a = \{(x,y)\in X\times X|d(x,y)\leq a\} </math> ，其中的 <math>a>0 \,</math>
會形成一個基础周围系统，無歧義地規範出''X'' 的標準一致結構來。然後，''x'' 和''y'' 稱之為''U''<sub>''a''</sub>-邻近的，若''x'' 和''y'' 之间距离最多为''a''。

设<math>\Phi</math>和<math>\Psi</math>都是定义在集合<math>X</math>上的一致性。若<math>\Phi \supseteq \Psi</math>，則稱一致性<math>\Phi</math>比一致性<math>\Psi</math>'''精細'''；或稱<math>\Psi</math>比<math>\Phi</math>'''粗糙'''。

=== 伪度量定义 ===

一致空间也可以使用[[伪度量]]的系统来得到等价的定义，此種定義方式对[[泛函分析]]（带有由[[半范数]]而得的伪度量）特别有用。更精确地说，设 ''f'': ''X'' × ''X'' → '''R''' 為集合''X'' 上的一伪度量，逆像 ''U''<sub>''a''</sub> = ''f''<sup><small> –1</small></sup>([0,a])，其中的''a''>0，可证明能形成了一個一致性的基础周围系统。由''U''<sub>''a''</sub> 所生成的一致性即是由单個伪度量''f'' 所定义的一致性。

設''f''<sub>''i''</sub> 為''X'' 上的一組伪度量，則由这組偽度量所定义的一致结构會是個別伪度量''f''<sub>i</sub> 所定义的一致结构的“最小上界”。这个一致性的基础周围系统可由從個別伪度量''f''<sub>''i''</sub> 所定义的一致性的周围的「有限」交集所組成的集合来得出。若這組伪度量為「有限」的，可以證明可由单個伪度量定義出相同的一致結構來，而此一偽度量即稱為這組偽度量的“上包络” sup ''f''<sub>''i''</sub>。

較不直觀地，可证明有[[可数]]基础周围系统的一致結構（并因此特别为由一組可数的伪度量定义的一致性）也可由单個伪度量定義出來。可推論出，任何一個一致结构都可以如上述一般由一組（可能為不可数的）伪度量定義出來（参见 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'''<*'''Q''' 并且 '''P''' 是一致覆盖，则 '''Q''' 也是一致覆盖。
# 如果 '''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空间|R<sub>0</sub> 空间]]。

反过来说，每个完全正则空间都是可一致化的。兼容于完全正则空间 ''X'' 的拓扑的一个一致性可以定义为最粗糙一致性，它使得所有 ''X'' 上的连续实数值函数为一致连续。这个一致性的基础周围系统提供为集合 (''f'' × ''f'')<sup>-1</sup>(''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'' 的一致结构。这个一致性的基础周围系统提供自集合 <math> \qquad U_a = d^{-1} ([0,a]) = \{(m,n)\in M\times M|d(m,n)\leq a\} </math>。这个 ''M'' 的一致结构生成了在 ''M'' 上的正常度量空间拓扑。但是，不同的度量空间可以有相同的一致结构（平凡的例子可通过度量的常数提供）。这个一致结构还生成[[一致连续]]和[[完备空间|度量空间的完备性]]的等价定义。

*使用度量，可以构造有相符合拓扑的不同一致结构的简单例子。例如，设 ''d''<sub>1</sub>(''x'',''y'') = | ''x − y'' | 是在 '''R''' 上的正常度量，并设 ''d''<sub>2</sub>(''x'',''y'') = | ''e<sup>x</sup> − e<sup>y</sup>'' |。则这两个度量都引发在 '''R''' 上的正常拓扑，但是一致结构是不同的，因为 { (x,y) : | x − y | < 1 } 是 ''d''<sub>1</sub> 的一致结构的周围但不是 ''d''<sub>2</sub> 的。非正式的，这个例子可以被看作选取正常的一致性并通过连续但非一致连续函数的作用扭曲它。

*所有[[拓扑群]] ''G''（特别是所有[[拓扑向量空间]]）成为一致空间，如果我们定义 ''G'' × ''G'' 的子集 ''V'' 是周围，当且仅当它包含集合 { (''x'', ''y'') : ''x''⋅''y''<sup>−1</sup> ∈ ''U'' } 对于 ''G'' 的[[单位元]]的某个[[邻域]] ''U''。这个 ''G'' 上的一致结构叫做在 ''G'' 上的右一致性，因为对于所有 ''G'' 中的 ''a''，右乘法 ''x'' → ''x''⋅''a'' 是关于这个一致结构[[一致连续]]的。你还可以定义 ''G'' 上的左一致性；它们两个不需要相符合，但是它们都生成在 ''G'' 上的给定拓扑。

== 历史 ==

在[[安德烈·韦伊]]于1937年首次给出一致结构的明确定义之前，一致概念如完备性被使用[[度量空间]]讨论。[[尼古拉·布尔巴基]]在书《Topologie Général》中提供了依据周围的一致结构定义，而 [[John Tukey]] 给出了一致覆盖定义。韦伊还依据伪度量族来刻画一致空间。

== 参见 ==
*[[一致同构]]
*[[一致性质]]
*[[一致连通空间]]
*[[完备度量空间]]
*[[一致连续]]

== 引用 ==
* [[Nicolas Bourbaki]]，<cite>General Topology</cite> (<cite>Topologie Générale</cite>), 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, <cite>Uniform Spaces</cite> ISBN 0-8218-1512-1 
* I. M. James, <cite>Introduction to Uniform Spaces</cite> ISBN 0-521-38620-9 
* I. M. James, <cite>Topological and Uniform Spaces</cite> ISBN 0-387-96466-5 
* [[John Tukey]]，<cite>Convergence and Uniformity in Topology</cite>; ISBN 0-691-09568-X
* [[André Weil]]，<cite>Sur les espaces a structure uniforme et sur la topologie generale</cite>, Act. Sci. Ind. '''551''', Paris, 1937

{{点集拓扑}}

{{Authority control}}
[[Category:点集拓扑学|Y]]
[[Category:一致空间|*]]