" Z: s6 q0 G2 D' M) e7 s& ~, z6 Y% m- Z8 W
完备与闭: 前面讲,完备类似于闭,那么,“完备”与“闭”的区别在何处呢?它们的区别在于,完备是空间或集合的性质,而闭是子集的性质。通常我们说某个集合是闭集或开集,实际上是指该集合是R1或某个拓扑空间的闭子集或开子集。例如,开区间(0, 1)是全集(0, 1)或{0,1}∪{2,3}的闭子集,因为(0, 1)在这两个全集中的导集是其自身。但(0, 1)是R1的开子集。闭子集可以用收敛序列定义,因为收敛序列的极限点总是在全集中的,极限点在子集中与否决定该子集是否为闭子集。与此相对,完备性的定义中没有全集的概念,这也是为什么在其定义中必须用柯西序列而不能用收敛序列,因为在收敛序列的定义中必有极限点,若该极限点不在度量空间中,则收敛序列中的点到该极限点距离是未定义的。 4 c% N( r+ H3 X# A- f0 J) t% j( c O; t* o5 l T
4 n( s0 o2 H% V; R在一致结构和拓扑结构之间的概念区别是在一致空间内可以形式化有关于相对邻近性和点间临近性的特定概念。换句话说,想法如“x 邻近于 a 胜过 y 邻近于 b”在一致空间是有意义的。相对的,在一般拓扑空间内,给定集合 A, B 只能有意义的说点 x“任意邻近”A(就是说在 A 的闭包中),或者说 A 是比 B 更小的 x 的“邻域”,但是点间邻近性和相对邻近性不能单独用拓扑结构描述