【点集拓扑学】§2.3 邻域及邻域系.pptVIP

* * §2.3　邻域与邻域系 我们先在拓扑空间中建立邻域的概念然后再给出映射在某一点处的连续性的概念． 　　定义 2.3.1　设（X，P )是一个拓扑空间，x∈X．如果 U 是 X 的一个子集，满足条件：存在一个开集 V∈P 使得 x∈V U 则称 U 是点 x 的一个邻域．点 x 的所有邻域构成的 x 的子集族称为点 x 的邻域系．如果 U 是包含着点 x 的一个开集，那么它一定是 x的一个邻域，称U是点 x 的一个开邻域． 　定理2.3.1　拓扑空间 X 的一个子集 U 是开集的充分必要条件是 U 是它的每一点的邻域，即只要x∈U，U 便是 x 的一个邻域． 我们把一个度量空间看作拓扑空间时（这时，空间的拓扑是由度量诱导出来的拓扑），一个集合是否是某一个点的邻域，无论是按§2.1中的定义或者是按这里的定义，都是一回事． 　定理2.3.2概括了邻域系的基本性质． 　　定理2.3.2　设 X 是一个拓扑空间．记 为点x∈X 的邻域系．则： 　　（1）对于任何 x∈X， ≠ ；并且如果 U∈ ，则 x∈U； 　　（2）如果 U，V∈ ，则 U∩V∈ ； 　　（3）如果 U∈ 并且 U 　　（4） 如果U∈ ，则存在 V∈ 满足条件：(a) V V，则 V∈ ； U 和 (b) 对于任何 y∈V，有 V∈ ． 　　我们完全可以从邻域系的概念出发来建立拓扑空间理论，这种做法在点集拓扑发展的早期常被采用．这种做法也许显得自然一点，但不如现在流行的从开集概念出发定义拓扑来得简洁． 　　定理2.3.3　设 X 是一个集合．又设对于每一点 x∈X 指定了 x 的一个子集族 ，并且它们满足定理2.3.2 中的条件（1）～（4）．则 x 有惟一的一个拓扑 T 使得对于每一点 x∈X，子集族 恰是点x在拓扑空间（X，P） 中的邻域系．(证明略) 　 现在我们来将度量空间之间的连续映射在一点处的连续性的概念推广到拓扑空间之间的映射中去． 　　定义2.3.2　设 X 和 Y 是两个拓扑空间，f:X→Y，x∈X．如果 f(x)∈Y 的每一个邻域 U 的原象 (U）是 x∈X 的一个邻域，则称映射 f 是一个在点 x 处连续的映射，或简称映射 f 在点 x 处连续． *