【一致空间】
在拓扑学这个数学领域里，一致空间（uniform space）是指带有一致结构的集合。一致空间是一个拓扑空间，有可以用来定义如完备性、一致连续及一致收敛等一致性质的附加结构。
一致结构和拓扑结构之间的概念区别在于，一致空间可以形式化有关于相对邻近性及点间临近性等特定概念。换句话说，「x 邻近于a 胜过y 邻近于b」之类的概念，在一致空间中是有意义的。而相对的，在一般拓扑空间内，给定集合A 和B，有意义的概念只有：点x 能“任意邻近”A（亦即在A 的闭包内）；或是和B相比，A 是x 的“较小邻域”，但点间邻近性和相对邻近性就不能只用拓扑结构来描述了。
一致空间广义化了度量空间和拓扑群，因此成为多数数学分析的根基。
== 定义 ==
一致空间有三个等价定义。
===周围定义===
考虑集合以及非空集族。二元组称为一致空间。若其满足如下公理：
* ，。
* ，若，且，则。
* ，。
* ，，使得只要且，就有。
* ，则。
其中，称为的一致结构或一致性，其元素称为周围（法语 entourage：邻居或周围），而集合记为，称为对角。
若忽略最后一项公理，则称此空间为准一致空间。
通常写 Ux={y : (x,y)∈U}。在图形上，典型的周围被绘制为围绕“y=x”对角的斑点；Ux 们则为纵截面。如果 (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。最后的公理表示，一致结构上的「邻近性」本质上是对称的。
一致性的基础周围系统是指任一个由Φ 的周围所组成的集合B，其中Ф 的每一个周围皆包含一个属于B 的集合。因此，依据第二个公理，基础周围系统B 能无歧义地规范出一致性Φ 来：Φ 为由 中包含一个属于B 的集合的子集所组成的集合。每个一致空间都有个由对称周围所组成的基础周围系统。
对一致性的正确直观概念可由下面度量空间的例子中得知：设(X,d) 为一度量空间，集合
，其中的
会形成一个基础周围系统，无歧义地规范出X 的标准一致结构来。然后，x 和y 称之为Ua-邻近的，若x 和y 之间距离最多为a。
设和都是定义在集合上的一致性。若，则称一致性比一致性精细；或称比粗糙。
=== 间距定义 ===
一致空间也可以使用间距（法语：écart）的系统来得到等价的定义。间距是一种广义的伪度量，与一般的伪度量不同，它允许两点间的间距为无穷。此种定义方式对泛函分析特别有用。更精确地说，设 为集合上的一间距，逆像，其中的，可证明这些集合形成了一个一致性的基础周围系统。由所生成的一致性即是由单个间距所定义的一致性。
设为上的一组间距，则由这组间距所定义的一致结构会是个别间距所定义的一致结构的“最小上界”。这个一致性的基础周围系统可由从个别间距所定义的一致性的周围的「有限」交集所组成的集合来得出。若这组间距为「有限」的，可以证明可由单个间距定义出相同的一致结构来，而此一间距即称为这组间距的“上包络”。
较不直观地，可证明有可数基础周围系统的一致结构（并因此特别为由一组可数的间距定义的一致性）也可由单个间距定义出来。可推论出，任何一个一致结构都可以如上述一般由一组（可能为不可数的）间距定义出来（参见 Bourbaki：《General Topology》 Chapter IX §1 no. 4）。
=== 一致覆盖定义 ===
一致空间 (X,Θ) 是集合 X 配备显著的“一致覆盖”族 Θ，它来自 X 的覆盖的集合，在按星号精致排序的时候形成了滤子。你可以称呼覆盖 P 是覆盖 Q 的星号精致(refinement)写为 P0 空间。
反过来说，每个完全正则空间都是可一致化的。兼容于完全正则空间 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 的一致结构。这个一致性的基础周围系统提供自集合 。这个 M 的一致结构生成了在 M 上的正常度量空间拓扑。但是，不同的度量空间可以有相同的一致结构（平凡的例子可通过度量的常数提供）。这个一致结构还生成一致连续和度量空间的完备性的等价定义。
*使用度量，可以构造有相符合拓扑的不同一致结构的简单例子。例如，设 d1(x,y) = | x − y | 是在 R 上的正常度量，并设 d2(x,y) = | ex − ey |。则这两个度量都引发在 R 上的正常拓扑，但是一致结构是不同的，因为 { (x,y) : | x − y | 1 的一致结构的周围但不是 d2 的。非正式的，这个例子可以被看作选取正常的一致性并通过连续但非一致连续函数的作用扭曲它。
*所有拓扑群 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 给出了一致覆盖定义。韦伊还依据伪度量族来刻画一致空间。