点集拓扑笔记（1）

第一章 拓扑空间

拓扑空间的原型是欧几里德空间$R^n$。然而，欧几里德空间具有许多与其拓扑无关的附加结构，例如度量、坐标、内积和方向。拓扑空间定义背后的想法是抛弃所有与连续映射无关的$R^n$属性，从而将连续性的概念提炼为其本质。

在高等微积分中，我们学习了连续映射的几个特征，其中包括：从$R^n$的一个开子集到$R^m$的映射$f$是连续的，当且仅当$R^m$中任何开集$V$的逆像$f^{-1}\left(V\right)$在$R^n$是开的。这表明连续性可以仅用开集来定义。

为了公理化地定义开集，我们研究了$R^n$中开集的性质。回想一下，在R^n中，两点p和q之间的距离由下式给出：
$$d(p,q)={\left[\sum _{i=1}^n{(p^i-q^i)}^2\right]}^{1/2}$$
以及将中心为$p\in R^n$、半径为$r>0$的开球$B(p,r)$设为集合：
B ( p , r ) = { x ∈ R n ∣ d ( x , p ) < r } B(p,r) = \{ x \in {R^n}|d(x,p) < r\} B(p,r)={x∈Rn∣d(x,p)<r}
对于$R^n$中的集合，如果$U$中的每一个$p$都存在一个中心为$p$、半径为$r$的开球$B(p,r)$，使得$B(p,r)\subset U$（图1），则$U$是开的。显然，任意开集$U_{\alpha }$的并是开的，但无限多个开集的交集不一定是开的。

图1. $R^n$中的一个开集
例子：区间 $[(-1⁄n,1⁄n]（n=1,2,3,\cdots ）$在 $R^1$都是开的，但它们的交点 $\bigcap _{n=1}^{\infty }\left[-1/n,1/n\right]$ 是非开的单元素集 { 0 } \left\{ 0 \right\} {0}。

事实上，$R^n$中有限个开集的交集是开的。这就引出了集合上拓扑的定义。

定义1：集合$S$上的拓扑是一个子集集合$T$，集合$T$中同时包含空集$\varphi$和集合$S$，使得$T$对于任意并和有限交运算是封闭的。

即：如果对于索引集A中所有的$\alpha$，有$U_{\alpha }\in T$，则$\bigcup _{\alpha \in A}{U}_{\alpha }\in \mathcal{T}$；如果$U_1,\cdots ,U_n\in T$，则$\bigcap _{i=1}^n{U}_i\in \mathcal{T}$。