Armstrong基础拓扑学读书笔记——第二章：连续性

2.1 开集和闭集

拓扑空间

（定义2.1） $X$是一个拓扑空间，如果它存在一组非空子集（称为开集）族，满足

• 无限个开集的并是开集
• 有限个开集的交是开集
• 全集和空集是开集

无限开集是不是开集的例子。
设$X$是定义在$R^2$上的欧式拓扑，开集取常规定义下的开圆，取其中无数个开集
$(x,y)|x^2+y^2<\frac{1}{n},n=1,2,\cdots$。
显然这无限个开集的交是原点，而原点不是开集。

邻域

对拓扑空间$X$中的一个点（元素）$p$，任何一个包含$p$的开集都是$p$的一个邻域。

子空间诱导的拓扑

$X$是一个拓扑空间（背景集合和开集族），$Y$是$X$上（背景集合）的一个子集，若定义$Y$中的开集为$X$中开集和$Y$的交，则$Y$为$X$在子空间上诱导（induce）的拓扑。

离散拓扑

$X$中所有的子集均为开集构成的拓扑空集。

闭集

$X$是一个拓扑空间，$X$的一个子集称为一个闭集，如果这个子集的补为开集。

一个子集可以同时为开集和闭集。比如在 X = { 0 , 1 } X=\{0,1\} X={ 0,1}上赋予离散拓扑，则由定义， { 0 } \{0\} { 0}和 { 1 } \{1\} { 1}显然同时为开集和闭集。

极限点

$A$是拓扑空间$X$的一个子集。一个点（元素）$p\in X$被称为$A$的极限点，当且仅当对于任意$p$的邻域，均包含至少一个点，它属于 A − { p } A-\{p\} A−{ p}。

例1：$X$是定义在$R^1$上的欧式拓扑，$A$取所有$1/n,n=1,2,\cdots$点组成的点集，则$A$中唯一的极限点是原点。

例2：$X$是定义在$R^1$上的欧式拓扑，$A$取$[0,1)$，则$A$中任一点均为极限点，且1也是一个$A$的极限点。

例3：$X$是定义在$R^3$上的欧式拓扑，$A$取$R^3$中所有的有理点，则$X$全体都是极限点。

例4：$X$是定义在$R^3$上的欧式拓扑，$A$取 R 3 R^3