§2.3 邻域与邻域系
本节重点:
掌握邻域的概念及邻域的性质;
掌握连续映射的两种定义;
掌握证明开集与邻域的证明方法(今后证明开集常用定理2.3.1).
我们在数学分析中定义映射的连续性是从“局部”到“整体”的,也就是说先定义映射在某一点处的连续性,然后再定义这个映射本身的连续性.然而对于拓扑空间的映射而言,先定义映射本身的连续性更为方便,所以我们先在§2.2中做好了;现在轮到给出映射在某一点处的连续性的定义了.在定理2.1.4中我们已经发现,为此只要有一个适当的称之为“邻域”的概念,而在§2.1中定义度量空间的邻域时又只用到“开集”.因此我们先在拓扑空间中建立邻域的概念然后再给出映射在某一点处的连续性的概念,这些概念的给出一点也不会使我们感到突然.
定义2.3.1 设(X,P)是一个拓扑空间,x∈X.如果U是X的一个子集,满足条件:存在一个开集V∈P使得x∈VU,则称U是点x的一个邻域.点x的所有邻域构成的x的子集族称为点x的邻域系.易见,如果U是包含着点x的一个开集,那么它一定是x的一个邻域,于是我们称U是点x的一个开邻域.
首先注意,当我们把一个度量空间看作拓扑空间时(这时,空间的拓扑是由度量诱导出来的拓扑),一个集合是否是某一个点的邻域,无论是按§2.1中的定义或者是按这里的定义&#x