2.1 开集和闭集
拓扑空间
(定义2.1) X X X是一个拓扑空间,如果它存在一组非空子集(称为开集)族,满足
- 无限个开集的并是开集
- 有限个开集的交是开集
- 全集和空集是开集
无限开集是不是开集的例子。
设 X X X是定义在 R 2 R^2 R2上的欧式拓扑,开集取常规定义下的开圆,取其中无数个开集
( x , y ) ∣ x 2 + y 2 < 1 n , n = 1 , 2 , ⋯ {(x,y)|x^2+y^2<\frac{1}{n}}, n=1,2,\cdots (x,y)∣x2+y2<n1,n=1,2,⋯。
显然这无限个开集的交是原点,而原点不是开集。
邻域
对拓扑空间 X X X中的一个点(元素) p p p,任何一个包含 p p p的开集都是 p p p的一个邻域。
子空间诱导的拓扑
X X X是一个拓扑空间(背景集合和开集族), Y Y Y是 X X X上(背景集合)的一个子集,若定义 Y Y Y中的开集为 X X X中开集和 Y Y Y的交,则 Y Y Y为 X X X在子空间上诱导(induce)的拓扑。
离散拓扑
X X X中所有的子集均为开集构成的拓扑空集。
闭集
X X X是一个拓扑空间, X X X的一个子集称为一个闭集,如果这个子集的补为开集。
一个子集可以同时为开集和闭集。比如在 X = { 0 , 1 } X=\{0,1\} X={ 0,1}上赋予离散拓扑,则由定义, { 0 } \{0\} { 0}和 { 1 } \{1\} { 1}显然同时为开集和闭集。
极限点
A A A是拓扑空间 X X X的一个子集。一个点(元素) p ∈ X p \in X p∈X被称为 A A A的极限点,当且仅当对于任意 p p p的邻域,均包含至少一个点,它属于 A − { p } A-\{p\} A−{ p}。
例1: X X X是定义在 R 1 R^1 R1上的欧式拓扑, A A A取所有 1 / n , n = 1 , 2 , ⋯ 1/n, n=1,2,\cdots 1/n,n=1,2,⋯点组成的点集,则 A A A中唯一的极限点是原点。
例2: X X X是定义在 R 1 R^1 R1上的欧式拓扑, A A A取 [ 0 , 1 ) [0,1) [0,1),则 A A A中任一点均为极限点,且1也是一个 A A A的极限点。
例3: X X X是定义在 R 3 R^3 R3上的欧式拓扑, A A A取 R 3 R^3 R3中所有的有理点,则 X X X全体都是极限点。
例4: X X X是定义在 R 3 R^3 R3上的欧式拓扑, A A A取 R 3 R^3