之前我们说同胚映射(拓扑变化)时,提到同胚映射(拓扑变化)不改变的性质即为拓扑性质。这里我们要说的可数性和分离性即拓扑性质。
分离性和可数性常作为附加性质,弥补拓扑公理(只概述了度量拓扑的最基本性质)的不足,因此它们本身也被称为公理。本节介绍4个分离公理和2个可数定理。
文章目录
1.分离公理
分离公理是关于两个点(或闭集)能否用邻域来分隔的性质,是对拓扑空间的附加要求。
1.1 T 1 T_1 T1公理
1.定义
任何两个不同点 x , y x,y x,y, x x x存在(开)邻域不含 y y y, y y y存在(开)邻域不含 x x x。
2.判定条件
X
X
X满足
T
1
T_1
T1公理
⟺
\iff
⟺
X
X
X的有限子集是闭集。
证明:
必要性:因为有限子集为单点集的并集,所以只要证明单点集为闭集即可。设
∀
x
,
y
∈
X
,
y
≠
x
\forall x,y \in X,y\not=x
∀x,y∈X,y=x,则
{
x
}
\
y
=
x
\lbrace x \rbrace \backslash y = x
{x}\y=x。由
X
X
X满足
T
1
T_1
T1公理知,存在
y
y
y的邻域内均不含
{
x
}
\
y
=
x
\lbrace x \rbrace \backslash y = x
{x}\y=x的点,所以
x
{x}
x的导集为
∅
\varnothing
∅,即
{
x
}
‾
=
{
x
}
\overline{\lbrace x \rbrace}=\lbrace x \rbrace
{x}={x},即
{
x
}
\lbrace x \rbrace
{x}为闭集。
充分性:设
∀
x
,
y
∈
X
,
y
≠
x
\forall x,y \in X,y\not=x
∀x,y∈X,y=x,因为
{
x
}
,
{
y
}
\lbrace x \rbrace,\lbrace y \rbrace
{x},{y}为闭集,所以其补集
R
\
{
x
}
,
R
\
{
y
}
R \backslash \lbrace x \rbrace,R \backslash \lbrace y \rbrace
R\{x},R\{y}为开集,且分别为
y
,
x
y,x
y,x的开邻域,显然
R
\
{
x
}
,
R
\
{
y
}
R \backslash \lbrace x \rbrace,R \backslash \lbrace y \rbrace
R\{x},R\{y}分别不含
x
,
y
x,y
x,y。
3.必要性推论
若
X
X
X满足
T
1
T_1
T1公理,
A
⊂
X
A \subset X
A⊂X,点
x
x
x是A的聚点
⇒
\Rightarrow
⇒
x
x
x的任意邻域与
A
A
A的交集均为无穷集。
证明:反证法:设
U
U
U为
x
x
x的邻域,不妨设
U
U
U为开集,假设
U
⋂
A
U \bigcap A
U⋂A为有限集。则
B
=
(
U
⋂
A
)
\
{
x
}
=
(
U
⋂
A
)
⋂
{
x
}
c
B=(U \bigcap A )\backslash \lbrace x \rbrace =(U \bigcap A ) \bigcap \lbrace x \rbrace^c
B=(U⋂A)\{x}=(U⋂A)⋂{x}c仍为有限集且不含
x
x
x,所以(由2知)为闭集。则
B
B
B的在U中的补集
U
\
B
U \backslash B
U\B为开集,即
U
\
B
=
U
\
(
(
U
⋂
A
)
⋂
{
x
}
c
)
=
U
⋂
B
c
=
U
⋂
(
(
U
⋂
A
)
c
⋃
{
x
}
)
=
U
⋂
(
U
c
⋃
A
c
⋃
{
x
}
)
=
(
U
⋂
A
c
)
⋃
{
x
}
U \backslash B = U \backslash ((U \bigcap A ) \bigcap \lbrace x \rbrace^c) = U \bigcap B^c=U \bigcap((U \bigcap A)^c \bigcup \lbrace x \rbrace) = U \bigcap(U^c \bigcup A^c \bigcup \lbrace x \rbrace)=(U \bigcap A^c) \bigcup \lbrace x \rbrace
U\B=U\((U⋂A)⋂{x}c)=U⋂Bc=U⋂((U⋂A)c⋃{x})=U⋂(Uc⋃Ac⋃{x})=(U⋂Ac)⋃{x}为
x
x
x的开邻域,但与
A
\
{
x
}
A \backslash \lbrace x \rbrace
A\{x}的交集为空,这与
x
x
x为A的聚点相矛盾。所以
U
⋂
A
U \bigcap A
U⋂A为无穷集
1.2 🔺 T 2 T_2 T2公理
1.定义
任何两个不同的点存在不相交的(开)邻域。
T
2
T_2
T2公理是最重要的分离公理,满足
T
2
T_2
T2公理的拓扑空间被称为
H
a
u
s
d
o
r
f
f
Hausdorff
Hausdorff空间。
显然满足
T
2
T_2
T2公理一定满足
T
1
T_1
T1公理,反正则不然。如R上的余有限拓扑
(
R
,
τ
f
)
(R,\tau_f)
(R,τf)。
2.改善收敛性
若
X
X
X满足
T
2
T_2
T2公理,即
X
X
X是
H
a
u
s
d
o
r
f
f
Hausdorff
Hausdorff空间,则
X
X
X中任意一个序列不会收敛到2个及以上的点。
证明: 设
{
x
n
}
\lbrace x_n \rbrace
{xn}为
H
a
u
s
d
r
o
f
f
Hausdroff
Hausdroff空间
X
X
X中的任意一个收敛序列,假设其收敛到
x
0
x_0
x0,
x
≠
x
0
x \not = x_0
x=x0。即证明
x
n
↛
x
x_n \not \rightarrow x
xn→x。由
X
X
X满足
T
2
T_2
T2公理,存在
x
0
,
x
x_0,x
x0,x的邻域
U
,
V
U,V
U,V满足
U
⋂
V
=
∅
U \bigcap V= \varnothing
U⋂V=∅。因为
x
n
→
x
0
x_n \rightarrow x_0
xn→x0,则由收敛的定义知,
x
0
x_0
x0的邻域
U
U
U中含有
{
x
n
}
\lbrace x_n \rbrace
{xn}的几乎所有项,即只有有限项在
U
c
U^c
Uc中,所以
V
⊂
U
c
V \subset U^c
V⊂Uc中也仅有
{
x
n
}
\lbrace x_n \rbrace
{xn}的有限项。所以
x
n
↛
x
x_n \not \rightarrow x
xn→x。
1.3 T 3 T_3 T3公理
1.定义
任意一点与不含它的任一闭集有不相交的(开)邻域。(若 A ⊂ U 。 A \subset U^。 A⊂U。,则集合 A A A的邻域为 U U U)
2.判定条件
满足
T
3
T_3
T3公理
⟺
\iff
⟺任意点
x
x
x与它的开邻域
W
W
W,存在
x
x
x的开邻域
U
U
U,使得
U
‾
⊂
W
\overline{U} \subset W
U⊂W。
证明:
充分性"
⇐
\Leftarrow
⇐"
设
x
x
x为拓扑空间
X
X
X的任意一点,
A
A
A为不包含
X
X
X的任一闭集,则
A
c
A^c
Ac为
x
x
x的一个开邻域。由条件知:存在
x
x
x的开邻域
U
U
U,使得
U
‾
⊂
A
c
\overline{U} \subset A^c
U⊂Ac。令
V
=
U
‾
c
V=\overline{U}^c
V=Uc,则
A
⊂
V
A \subset V
A⊂V,即
V
V
V为集合A的一个开邻域,且
U
⋂
V
=
∅
U \bigcap V = \varnothing
U⋂V=∅,所以
X
X
X满足
T
3
T_3
T3公理。
必要性"
⇒
\Rightarrow
⇒"
设
x
x
x为拓扑空间
X
X
X的任意一点,
W
W
W为其一开邻域。记
B
=
W
c
B=W^c
B=Wc,则B为不包含
x
x
x的闭集,
U
,
V
U,V
U,V分别为
x
,
B
x,B
x,B的开邻域,且
U
⋂
V
=
∅
U \bigcap V = \varnothing
U⋂V=∅,所以
U
‾
⊂
V
c
⊂
B
c
=
W
\overline{U} \subset V^c \subset B^c = W
U⊂Vc⊂Bc=W。
1.4 T 4 T_4 T4公理
1.定义
任意两个不相交的闭集有不相交的(开)邻域。
2.判定条件
满足 T 4 T_4 T4公理 ⟺ \iff ⟺任意闭集 A A A和它的开邻域 W W W,有 A A A的开邻域 U U U,使得 U ‾ ⊂ W \overline{U} \subset W U⊂W。(这个证明和1.3.2的证明套路一摸一样哦~)
1.5 T i ( i = 1 , 2 , 3 , 4 ) T_i(i=1,2,3,4) Ti(i=1,2,3,4)公理之间的关系
由1.2我们已经知道,满足
T
2
T_2
T2公理则
⇒
\Rightarrow
⇒满足
T
1
T_1
T1公理,这是显然的。
如果拓扑空间
X
X
X满足
T
1
T_1
T1公理(记好前提),则它的单点集是闭集。因此
T
3
⇒
T
2
T_3 \Rightarrow T_2
T3⇒T2,
T
4
⇒
T
3
T_4 \Rightarrow T_3
T4⇒T3,但没有
T
1
T_1
T1公理的前提是不成立的。
例如
(
R
,
τ
)
=
(
τ
=
{
(
−
∞
,
a
)
∣
−
∞
≤
a
≤
∞
}
(R,\tau)= (\tau = \lbrace (-\infty,a)|-\infty \leq a \leq \infty \rbrace
(R,τ)=(τ={(−∞,a)∣−∞≤a≤∞}满足
T
4
T_4
T4公理(不相交闭集仅有
∅
,
R
\varnothing,R
∅,R,其开邻域
∅
,
R
\varnothing,R
∅,R显然是不相交的)但不满足
T
i
(
i
=
1
,
2
,
3
)
T_i(i=1,2,3)
Ti(i=1,2,3)公理。
1.6 度量空间满足4个分离公理
度量空间
(
X
,
d
)
(X,d)
(X,d)满足
T
i
(
i
=
1
,
2
,
3
,
4
)
T_i(i=1,2,3,4)
Ti(i=1,2,3,4)公理。
证明: 显然
(
X
,
d
)
(X,d)
(X,d)中的单点集为闭集(因为其余集可以由球形领域并表示),从而
(
X
,
d
)
(X,d)
(X,d)中的有限集是闭集。因此
(
X
,
d
)
(X,d)
(X,d)满足
T
1
T_1
T1公理。因此只需要再验证
T
4
T_4
T4公理即可。
这里点到集合的距离,若
x
x
x在集合A中则
d
(
x
,
A
)
=
0
d(x,A)=0
d(x,A)=0,否则
d
(
x
,
A
)
=
i
n
f
{
d
(
x
,
y
)
∣
y
∈
A
}
d(x,A)=inf\lbrace d(x,y)|y\in A\rbrace
d(x,A)=inf{d(x,y)∣y∈A}。
2.可数公理
可数公理共有 C 1 , C 2 C_1,C_2 C1,C2两个,也叫第一、二可数公理。满足 C i C_i Ci公理的拓扑空间称为 C i C_i Ci空间。 C 2 C_2 C2空间也叫做完全可分空间。在介绍可数公理前,先引入邻域基的概念。
2.1 🔺邻域基
两“姬”之一,另一个是拓扑“姬”就不用我说了8😀
定义: 设
x
∈
X
x \in X
x∈X,把
x
x
x的所有邻域的集合称为
x
x
x的邻域系,记作
Γ
\Gamma
Γ,
Γ
\Gamma
Γ的一个子集(即
x
x
x的一族邻域)
Υ
\Upsilon
Υ称为
x
x
x的一个邻域基,如果
x
x
x的每个邻域至少包含
Υ
\Upsilon
Υ中的一个成员。
eg:邻域系本身;所有开邻域也构成
x
x
x的一个邻域基;若
Λ
\Lambda
Λ是拓扑空间
X
X
X的拓扑基,则
Υ
=
{
B
∈
Λ
∣
x
∈
B
}
\Upsilon = \lbrace B \in \Lambda | x \in B \rbrace
Υ={B∈Λ∣x∈B}也是
x
x
x的一个邻域基(因为
x
x
x的任何开邻域
U
=
⋃
Λ
B
⊃
Υ
)
U=\bigcup_{\Lambda} B \supset \Upsilon)
U=⋃ΛB⊃Υ)。
2.2 C 1 C_1 C1公理
1.定义
拓扑空间的任一点都有可数邻域基。
( ⚠注意可数是指邻域基本身元素个数是可数的,而非有可数个邻域基)
eg: 度量空间满足
C
1
C_1
C1公理,
{
B
(
x
,
q
)
∣
q
\lbrace B(x,q)|q
{B(x,q)∣q是有理数
}
\rbrace
}和
{
B
(
x
,
1
n
)
∣
n
\lbrace B(x,\frac{1}{n})|n
{B(x,n1)∣n是自然数
}
\rbrace
}都是
x
x
x的可数邻域基。
2. 必要性结论1
如果
X
X
X在
x
x
x处有可数邻域基,则
x
x
x有可数邻域基
{
V
n
}
\lbrace V_n \rbrace
{Vn},使得
m
>
n
m > n
m>n时,
V
m
⊂
V
n
V_m \subset V_n
Vm⊂Vn。
证明: 设
x
x
x处的一个可数邻域基为
{
U
n
}
\lbrace U_n \rbrace
{Un},令
V
n
=
⋂
i
=
1
n
U
n
V_n = \bigcap_{i=1}^n U_n
Vn=⋂i=1nUn,则
V
n
⊂
U
n
V_n \subset U_n
Vn⊂Un,所以
{
V
n
}
\lbrace V_n \rbrace
{Vn}也是
x
x
x处的可数邻域基,并且
m
>
n
m>n
m>n时,
V
m
⊂
V
n
V_m \subset V_n
Vm⊂Vn。
3.必要性结论2
若
X
X
X是
C
1
C_1
C1空间,
A
⊂
X
,
x
∈
A
‾
A \subset X,x \in \overline{A}
A⊂X,x∈A,则
A
A
A中存在序列收敛到
x
x
x。
证明: 取
x
x
x处的可数邻域基
{
V
n
}
\lbrace V_n \rbrace
{Vn},满足
m
>
n
m > n
m>n时,
V
m
⊂
V
n
V_m \subset V_n
Vm⊂Vn(结论1保证
{
V
n
}
\lbrace V_n \rbrace
{Vn}是存在的)。因为
x
∈
A
‾
x \in \overline{A}
x∈A,所以
V
n
⋂
A
≠
∅
,
∀
n
V_n \bigcap A \not= \varnothing ,\forall n
Vn⋂A=∅,∀n。取
x
n
∈
(
V
n
⋂
A
)
,
x_n \in (V_n \bigcap A),
xn∈(Vn⋂A),得到
A
A
A中的一个序列
{
x
n
}
\lbrace x_n \rbrace
{xn},设
x
x
x的任一邻域为
U
U
U,则存在n,使得
x
n
∈
V
n
⊂
U
x_n \in V_n \subset U
xn∈Vn⊂U,又因为当
m
>
n
m>n
m>n时,
x
m
∈
V
m
⊂
V
n
⊂
U
x_m \in V_m \subset V_n \subset U
xm∈Vm⊂Vn⊂U,所以x的任一邻域
U
U
U中含有序列
{
x
n
}
\lbrace x_n \rbrace
{xn}中几乎所有项,即该序列收敛到
x
x
x。
4. 必要性结论3
若
X
X
X是
C
1
C_1
C1空间,
x
0
∈
X
x_0 \in X
x0∈X,映射
f
:
X
→
Y
f:X \rightarrow Y
f:X→Y满足:
x
n
→
x
0
x_n \rightarrow x_0
xn→x0时,
f
(
x
n
)
→
f
(
x
0
)
f(x_n) \rightarrow f(x_0)
f(xn)→f(x0),则
f
f
f在
x
0
x_0
x0处连续。
证明:反证法: 假设满足条件时,
f
f
f在
x
0
x_0
x0点不连续,则存在
f
(
x
0
)
f(x_0)
f(x0)的邻域
V
V
V满足
f
−
1
(
V
)
f^{-1}(V)
f−1(V)不是
x
0
x_0
x0的邻域。所以
x
0
∈
f
−
1
(
V
)
c
‾
x_0 \in \overline{f^{-1}(V)^c}
x0∈f−1(V)c,有必要性结论2知
f
−
1
(
V
)
c
‾
\overline{f^{-1}(V)^c}
f−1(V)c中存在序列
{
x
n
}
\lbrace x_n \rbrace
{xn}收敛到
x
0
x_0
x0,由条件知
x
n
→
x
0
x_n \rightarrow x_0
xn→x0时,
f
(
x
n
)
→
f
(
x
0
)
f(x_n) \rightarrow f(x_0)
f(xn)→f(x0),所以对于几乎所有的
n
n
n,
f
(
x
n
)
∈
V
f(x_n) \in V
f(xn)∈V,即对于几乎所有,
x
n
∈
f
−
1
(
V
)
x_n \in f^{-1}(V)
xn∈f−1(V),这与
{
x
n
}
\lbrace x_n \rbrace
{xn}是
f
−
1
(
V
)
c
‾
\overline{f^{-1}(V)^c}
f−1(V)c中的序列相矛盾,所以假设不成立。
2.3 C 2 C_2 C2公理
1.定义
拓扑空间有可数拓扑基。满足
C
2
C_2
C2公理的拓扑空间也叫完全可分空间。
(⚠注意:度量空间是虽然满足上面的所有公理,但存在度量空间不满足
C
2
C_2
C2公理,如下)
2.两“姬”关系(拓扑基与邻域基关系)
(1)若 X X X有可数拓扑基 Λ \Lambda Λ,则 X X X一定有可数邻域基。( ∀ x ∈ X \forall x \in X ∀x∈X,可数邻域基为 { B ∈ Λ ∣ x ∈ B } \lbrace B \in \Lambda|x \in B \rbrace {B∈Λ∣x∈B}。为啥这玩意是邻域基?问问你的开区间是咋生成的!)
(2)所以满足 C 2 C_2 C2公理 ⇒ \Rightarrow ⇒满足 C 1 C_1 C1公理。
拓扑“姬”,历害!
3. C 2 C_2 C2与可分空间的关系
(1)
C
2
C_2
C2空间是可分空间,反之则未必。
证明: 要证明
C
2
C_2
C2空间是可分空间,只要证明其有可数稠密子集即可。设
{
B
n
}
\lbrace B_n \rbrace
{Bn}为
C
2
C_2
C2空间
X
X
X的可数拓扑基,从每个
{
B
n
}
\lbrace B_n \rbrace
{Bn}中取一点得到集合
{
x
n
}
\lbrace x_n \rbrace
{xn},则
∀
x
∈
X
\forall x \in X
∀x∈X,
x
x
x的任一邻域与
{
x
n
}
\lbrace x_n \rbrace
{xn}都有交点,所以
X
=
{
x
n
}
‾
X=\overline{\lbrace x_n \rbrace}
X={xn},所以
{
x
n
}
\lbrace x_n \rbrace
{xn}为
X
X
X的一个可数稠密子集。所以
C
2
C_2
C2空间
X
X
X是可分的。
(2)可分度量空间是 C 2 C_2 C2空间。
4.Lindelof定理( C 2 C_2 C2与分离公理的联系)
若拓扑空间 X X X满足 C 2 C_2 C2公理和 T 3 T_3 T3公理,则它也满足 T 4 T_4 T4公理。
3.拓扑性质的遗传性和可乘性
1.遗传性
一种拓扑性质,如果具有她的拓扑空间的子空间一定也具有,则称这种拓扑性质具有遗传性。
2.可乘性
一种拓扑性质,如果具有她的两个拓扑空间的乘积空间一定也具有,则称这种拓扑性质具有可乘性。
可分性具有可乘性,但不具有遗传性。
T
1
,
T
2
,
T
3
,
C
1
,
C
2
T_1,T_2,T_3,C_1,C_2
T1,T2,T3,C1,C2两个都具有。
T
4
T_4
T4公理两个都不具有。