一致空间.doc

一致空间维基百科，自由的百科全书汉漢在数学领域拓扑学中，一致空间是带有一致结构的集合。一致空间是带有用来定义一致性质如完备性、一致连续和一致收敛的附加结构的拓扑空间。在一致结构和拓扑结构之间的概念区别是在一致空间内可以形式化有关于相对邻近性和点间临近性的特定概念。换句话说，想法如“x邻近于a胜过y邻近于b”在一致空间是有意义的。相对的，在一般拓扑空间内，给定集合A, B只能有意义的说点x“任意邻近”A（就是说在 A 的闭包中），或者说A是比B更小的x的“邻域”，但是点间邻近性和相对邻近性不能单独用拓扑结构描述。一致空间推广了度量空间和拓扑群因此是多数数学分析的根基。目录隐藏 1定义o 1.1周围定义o 1.2伪度量定义o 1.3一致覆盖定义 2一致空间的拓扑o 2.1可一致化空间 3一致连续 4完备性o 4.1一致空间的豪斯多夫完全 5例子 6历史 7参见 8引用编辑定义一致空间有三个等价定义。编辑周围定义一致空间(X, ) 是集合X配备了笛卡尔积XX的非空子集族（ 叫做X的一致结构或一致性而它的元素叫做周围（法语entourage：邻居或周围）满足如下公理：1. 如果U在 中，则U包含对角 = (x,x):xX。2. 如果U在 中而V是包含U的XX的子集，则V在 中。3. 如果U和V在 中，则UV在 中。4. 如果U在 中，则存在V在 中，使得只要 (x,y) 和 (y,z) 在V中，则 (x,z) 在U中。5. 如果U在 中，则U-1= (y,x): (x,y) U 也在 中。如果省略了最后的性质则称空间为准一致的。通常写Ux=y: (x,y)U。在图形上，典型的周围被绘制为围绕“y=x”对角的斑点；Ux 们则为纵截面。如果 (x,y) U，则可以说x和y是“U-邻近”的。类似的，如果在X的子集A中的所有成对的点都是U-邻近的（就是说如果AA被包含在U中），则A被称为“U-小”的。周围U是对称的，如果 (y,x) U正好在 (x,y) U的时候。第一个公理声称对于每个周围U每个点都是U-邻近于自身。第三个公理保证“同时U-邻近和V-邻近二者”也是在一致性中的邻近关系。第四个公理声称对于每个周围U都有一个周围V是“一半大”的。最后的公理声称“邻近”关于一致结构的本质对称性质。一致性 的基础周围系统是 的周围的任何集合B，使得所有 的周围包含属于B的一个集合。因此，通常上述性质 2，基础周围系统B足够无歧义的指定一致 : 是包含B的一个集合的XX的子集的集合。所有一致空间都用由对称周围构成的基础周围系统。关于一致性的正确直觉可由度量空间的实例提供：如果 (X,d) 是度量空间，集合这里的形成了X的标准一致结构的基础周围系统。则x和y是Ua-邻近的，正好在x与y之间距离最多为a的时候。一致性 “精细”于在同一个集合上的另一个一致性 ，如果 ；此时 被称为“粗糙”于 。编辑伪度量定义一致空间可以使用伪度量系统来等价的定义，这是对泛函分析（带有半范数提供的伪度量）特别有用的方式。更精确地说，设f:XXR是在集合X上的伪度量。逆像Ua=f1（0,a）对于a 0 可以被证实形成了一致的基础周围系统。由Ua生成的一致是由单一的伪度量f所定义的一致。对于在X上的伪度量族 (fi)，这个族所定义的一致结构是单独伪度量fi所定义的一致结构的“最小上界”。这个一致性的基础周围系统由单独伪度量fi所定义的一直的周围的有限交集的集合来提供。如果伪度量的族是有限的，可以看出同样的一致结构可以定义自单一的伪度量，就是这个族的“上包络” supfi。更少琐碎的，可证实允许可数的基础周围系统（并因此特别为由可数的伪度量族定义的一致）可以定义自一个单一伪度量。结论是任何一致结构都可以如上述那样的定义自（可能不可数）伪度量族（参见 Bourbaki：General Topology Chapter IX 1 no. 4）。编辑一致覆盖定义一致空间(X,) 是集合X配备显著的“一致覆盖”族，它来自X的覆盖的集合，在按星号精致排序的时候形成了滤子。你可以称呼覆盖P是覆盖Q的星号精致(refinement)写为P*Q，如果对于所有AP，有UQ使得如果AB，BP，则BU。公理化可简约为：1. X 是一致覆盖。2. 如果P*Q并且P是一致覆盖，则Q也是一致覆盖。3. 如果P并且Q是一致覆盖，则有一致覆盖R精致P和Q二者。给定一个点x和一致覆盖P，可以把包含x的P的成员的并集认为是x的大小P的典型邻域，并且这个直觉度量一致的适用在这个空间之上。给定在周围意义上的一个一致空间，定义覆盖P为一致的，如果存在某个周围U使得对于每个xX，有一个AP使得UxA。这些一致覆盖形成了第二种定义的一致空间。反过来说，给定在一致覆盖意义上的一个一致空间， AA:AP 的超集，因为P取值于一致覆盖上，是第一种定义的一致空间的周围。此外，这两个变换是互逆的。编辑一致空间的拓扑所有一致空间X都可以变成拓扑空间，通过定义X的子集O为开集，当且仅当对于所有O中的x存在周围V使得Vx 是O的子集。在这个拓扑中，点x的邻域滤子是 Vx:V。这可以通过递归的使用“一半大”周围的存在性来证明。相较于一般拓扑空间，一致结构的存在性使得比较邻域大小成为可能：Vx 和Vy 被认为是“一样大”。一致结构所定义的拓扑被称为引发自一致性。在拓扑空间上一致结构兼容于这个拓扑，如果这个一致结构定义的拓扑同最初的拓扑相符合。一般的说有多个不同的一致结构可以兼容于在X上的给定拓扑。编辑可一致化空间拓扑空间被称为可一致化的，如果一致结构兼容于这个拓扑。所有可一致化空间是完全正则拓扑空间。此外，对于可一致化空间X下列等价： X是柯爾莫果洛夫空間 X是豪斯多夫空间 X是吉洪诺夫空间 对于任何兼容的一致结构，所有周围的交集是对角 (x,x):xX。可一致化空间的拓扑总是对称拓扑；就是说这个空间是R0空间。反过来说，每个完全正则空间都是可一致化的。兼容于完全正则空间X的拓扑的一个一致性可以定义为最粗糙一致性，它使得所有X上的连续实数值函数为一致连续。这个一致性的基础周围系统提供为集合 (ff)-1(V) 的所有有限交集，这里的f是X上的连续实数值函数而V是一致空间R的周围。这个一致性定义了一个拓扑，它明显的粗糙于X的最初拓扑；并且它还精细于最初的拓扑（因此与它相符合）是完全正则性的简单推论：对于任何xX和x的邻域V，有连续实数值函数f有着f(x)=0 并对于V的补集中的点等于 1。特别是，紧致豪斯多夫空间是可一致化的。事实上，对于紧致豪斯多夫空间X在XX中对角的所有邻域的集合形成了唯一的兼容于这个拓扑的一致性。豪斯多夫一致空间是可度量空间，如果它的一致性可以定义自为可数的伪度量族。实际上，如在上面伪度量定义中讨论的，这种一致性可以定义自单一的伪度量，如果这个空间是豪斯多夫的，则它必然是度量。特别是，如果向量空间的拓扑是豪斯多夫的并且可定义自可数的半范数族，则它是可度量的。编辑一致连续类似于在拓扑空间之间保持拓扑性质的连续函数，在一致空间之间的一致连续函数保持一致性质。带有一致映射的一致空间形成了范畴。在一致空间之间的同构叫做一致同构。一致连续函数被定义为其周围的逆像还是周围的函数，或等价的说，一致覆盖的逆像还是一致覆盖的函数。所有一致连续函数都关于引发的拓扑是连续的。编辑完备性推广完备度量空间的概念，你也可以定义一致空间的完备性。替代柯西序列，转而使用柯西滤子（或柯西网）。在一致空间X上的柯西滤子F是滤子F使得对于所有周围U，存在AF有着AAU。换句话说，一个滤子是柯西滤子，如果它包含“任意小”集合。可从定义中得出每个（关于这个一直结构定义的拓扑）收敛的滤子都是柯西滤子。柯西滤子叫做“极小”的，如果不包含更小（就是更粗）的柯西滤子（除了自己）。可以证明所有柯西滤子包含一个唯一的“极小柯西滤子”。每个点的邻域滤子（由这个点的所有邻域构成的滤子）是极小柯西滤子。反过来说，一致空间称为完备的，如果所有柯西滤子收敛。任何紧致豪斯多夫空间都是关于兼容于这个拓扑的一致结构的完备一致空间。完备一致空间享有如下重要性质：如果f:AY是从一致空间X的稠密子集A到完备一致空间Y的一致连续函数，则f可以扩张（唯一的）成在整体X上的一致连续函数。编辑一致空间的豪斯多夫完全如同度量空间，所有一致空间X都豪斯多夫完全：就是说存在一个完备豪斯多夫一致空间Y和一致连续映射i:XY带有如下性质：对于任何从X到完备豪斯多夫一致空间Z的一致连续映射f，存在一个唯一的一致连续映射g:YZ使得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 是d1的一致结构的周围但不是d2的。非正式的，这个例子可以被看作选取正常的一致性并通过连续但非一致连续函数的作用扭曲它。 所有拓扑群G（特别是所有拓扑向量空间）成为一致空间，如果我们定义GG的子集V是周围，当且仅当它包含集合 (x,y):xy1U 对于G的单位元的某个邻域U。这个G上的一致结构叫做在G上的右一致性，因为对于所有G中的a，右乘法xxa是关于这个一致结构一致连续的。你还可以定义G上的左一致性；它们两个不需要相符合，但是它们都生成在G上的给定拓扑。编辑历史在安德烈韦伊于1937年首次给出一致结构的明确定义之前，一致概念如完备性被使用度量空间讨论。尼古拉布尔巴基在书Topologie Gnral中提供了依据周围的一致结构定义，而John Tukey给出了一致覆盖定义。韦伊还依据伪度量族来刻画一致空间。编辑参见 一致同构 一致性质 一致连通空间 完备度量空间 一致连续编辑引用 Nicolas Bourbaki，General Topology(Topologie Gnrale),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 SpacesISBN 0-8218-1512-1 I. M. James,Introduction to Uniform