👋欢迎来到黄铜扳手图书馆

点集拓扑(一):拓扑空间

定义在一个集合上并满足拓扑公理的子集族所构成的结构

拓扑空间

拓扑空间

拓扑空间的定义

拓扑空间与拓扑公理

  定义1(拓扑空间):设 XX 是一非空集合,XX 的一个子集族 τ\tau 称为 XX 的一个拓扑,如果它满足
  (1) X,X,\varnothing 都包含在 τ\tau 中。
  (2) τ\tau 中任意多个成员的并集仍在 τ\tau 中。
  (3) τ\tau 中有限多个成员的交集仍在 τ\tau 中。

  集合 XX 和它的一个拓扑 τ\tau 一起称为一个拓扑空间,记作 (X,τ)(X,\tau) 。称 τ\tau 中的成员为这个拓扑空间的开集
  定义中的三个条件称为拓扑公理。(3)可等价地换为

  (3′) τ\tau 中两个成员的交集仍在 τ\tau 中。

  (3) 蕴含(3′),另一方面易用归纳法从(3′)推出(3)。

离散拓扑和平凡拓扑

  从定义看出,给出集合的一个拓扑就是规定它的哪些子集是开集。这种规定不是任意的,必须满足三条拓扑公理。但一般来说一个集合上可以规定许多不相同的拓扑,因此说到一个拓扑空间时,要同时指明集合及所规定的拓扑,以后在不会引起误解的情况下,也常常只用集合来称呼一个拓扑空间,如拓扑空间 XX ,拓扑空间 YY 等。
  设 XX 是一非空集合,显然 2X2^X 满足三个拓扑公理(见幂集),构成 XX 上的拓扑,称为 XX 上的离散拓扑{X,}\set{X,\varnothing} 也是 XX 上的拓扑,称为 XX 上的平凡拓扑。当 XX 中包含多余一个点时,这两个拓扑不相同,并且 XX 还有许多别的拓扑。例如设 X={a,b,c}X=\set{a,b,c} ,则 {X,,{a}}\set{X,\varnothing,\set{a}}{X,,{a,b}}\set{X,\varnothing,\set{a,b}}{X,,{a},{a,b}}\set{X,\varnothing,\set{a},\set{a,b}} 都是 XX 上的拓扑;但 {X,,{a},{b}}\set{X,\varnothing,\set{a},\set{b}} 不是拓扑,因为条件(2)不满足。
  设 τ1,τ2\tau_1,\tau_2 是集合 XX 上的两个拓扑,如果 τ1τ2\tau_1 \subset \tau_2 ,则说 τ2\tau_2τ1\tau_1 (或者说 τ2\tau_2τ1\tau_1 精细)。离散拓扑比任何别的拓扑都大,而平凡拓扑比任何拓扑都小。

几个拓扑例子

  下面给出几个拓扑的例子。
  例1:设 XX 是无限集合,τf={AcAX的有限子集}{}\tau_f=\set{A^c|A是X的有限子集}\bigcup\set{\varnothing} ,则不难验证 τf\tau_fXX 上的一个拓扑,成为 XX 上的余有限拓扑
  例2:设 XX 是不可数无限集合,τc={AcAX的可数子集}{}\tau_c=\set{A^c|A是X的可数子集}\bigcup\set{\varnothing} ,则 τc\tau_c 也是 XX 的拓扑,成为余可数拓扑
  例3:设 R\bm{R} 是全体实数的几何,规定 τe={UU是若干个区间的并集}\tau_e=\set{U|U是若干个区间的并集} ,这里“若干”可以是无穷、有限,也可以是零,因此 τe\varnothing\in\tau_e 。则 τe\tau_eRR 上的拓扑,称为 RR 上的Euclid拓扑,记 E1=(R,τe)\bm{E}^1=(\bm{R},\tau_e)

  现在,对 RR 已规定了五个拓扑:平凡拓扑 τt\tau_t ,离散拓扑 τs\tau_s ,余有限拓扑 τf\tau_f ,余可数拓扑 τc\tau_c 和Euclid拓扑 τe\tau_eτf\tau_f 小于 τc\tau_cτe\tau_e ,而 τc\tau_cτe\tau_e 不能比较大小。

度量拓扑

度量与度量空间

  集合 XX 上的一个度量 dd 是一个映射 d:X×XRd:X\times X \to R ,它满足
  (1) 正定性。

{d(x,x)=0,xXd(x,y)>0,xy(1)\begin{aligned} \begin{cases} d(x,x)=0,\forall x \in X\\[5pt] d(x,y)>0,当x\ne y \end{cases} \tag{1}\end{aligned}

  (2) 对称性。

d(x,y)=d(y,x),x,yx(2)\begin{aligned} d(x,y)=d(y,x),\quad\forall x,y \in x \tag{2}\end{aligned}

  (3) 三角不等式。

d(x,z)d(x,y)+d(y,z), x,y,zX(3)\begin{aligned} d(x,z)\le d(x,y)+d(y,z),\space\forall x,y,z \in X \tag{3}\end{aligned}

  当集合 XX 上规定了一个度量 dd 后,称为度量空间,记作 (X,d)(X,d)

Euclid空间

  例4:记 Rn={(x1,x2,,xn)xiR,i=1,,n}\bm{R}^n=\set{(x_1,x_2,\cdots,x_n)|x_i\in\bm{R},i=1,\cdots,n} ,规定 RR 上的度量 dd

d((x1,x2,,xn),(y1,y2,,yn))=i=1n(xiyi)2(4)\begin{aligned} d((x_1,x_2,\cdots,x_n),(y_1,y_2,\cdots,y_n))=\sqrt{\sum_{i=1}^{n}(x_i-y_i)^2} \tag{4}\end{aligned}

  直接代入可得 dd 满足度量的性质度量条件(1)度量条件(2)。对于度量条件(3),使用Cauchy-Schwartz不等式可得

(d(x,y)+d(y,z))2=d(x,y)2+d(y,z)2+2d(x,y)d(y,z)=i=1n(xiyi)2+i=1n(yizi)2+2(i=1n(xiyi)2)(i=1n(yizi)2)i=1n(xiyi)2+i=1n(yizi)2+2(i=1n(xiyi)(yizi))2(Cauchy-Schwartz不等式)=i=1n(xiyi)2+i=1n(yizi)2+2i=1n(xiyi)(yizi)=i=1n(xiyi)2+i=1n(yizi)2+2i=1n(xiyi)(yizi)=i=1n((xiyi)2+2(xiyi)(yizi)+(yizi)2)=i=1n(xiyi+yizi)2=i=1n(xizi)2=d(x,z)2(5)\begin{aligned} \left(d(\bm{x},\bm{y})+d(\bm{y},\bm{z})\right)^2&=d(\bm{x},\bm{y})^2+d(\bm{y},\bm{z})^2+2d(\bm{x},\bm{y})d(\bm{y},\bm{z})\\[5pt] =&\sum_{i=1}^{n}(x_i-y_i)^2+\sum_{i=1}^{n}(y_i-z_i)^2+2\sqrt{\left(\sum_{i=1}^{n}(x_i-y_i)^2\right)\left(\sum_{i=1}^{n}(y_i-z_i)^2\right)}\\[15pt] \ge&\sum_{i=1}^{n}(x_i-y_i)^2+\sum_{i=1}^{n}(y_i-z_i)^2+2\sqrt{\left(\sum_{i=1}^{n}(x_i-y_i)(y_i-z_i)\right)^2}\text{(Cauchy-Schwartz不等式)}\\[15pt] =&\sum_{i=1}^{n}(x_i-y_i)^2+\sum_{i=1}^{n}(y_i-z_i)^2+2\left|\sum_{i=1}^{n}(x_i-y_i)(y_i-z_i)\right|\\[15pt] =&\sum_{i=1}^{n}(x_i-y_i)^2+\sum_{i=1}^{n}(y_i-z_i)^2+2\sum_{i=1}^{n}(x_i-y_i)(y_i-z_i)\\[15pt] =&\sum_{i=1}^{n}\bigg((x_i-y_i)^2+2(x_i-y_i)(y_i-z_i)+(y_i-z_i)^2\bigg)\\[15pt] =&\sum_{i=1}^{n}(x_i-y_i+y_i-z_i)^2 = \sum_{i=1}^{n}(x_i-z_i)^2 = d(\bm{x},\bm{z})^2 \tag{5}\end{aligned}

  注意 d(x,y),d(y,z),d(x,z)d(\bm{x},\bm{y}),d(\bm{y},\bm{z}),d(\bm{x},\bm{z}) 都大于 00 ,故 d(x,z)d(x,y)+d(y,z)d(\bm{x},\bm{z}) \le d(\bm{x},\bm{y})+d(\bm{y},\bm{z})度量条件(3)满足。

  记 En=(Rn,d)\bm{E}^n=(\bm{R}^n,d) ,称为n维Euclid空间

  设 (X,d)(X,d) 是一个度量空间,我们来规定 XX 的一个拓扑。

球形邻域

  定义2(球形邻域):设 x0X,εx_0 \in X,\varepsilon 是一正数,称 XX 的子集

B(x0,ε)={xXd(x0,x)<ε}(6)\begin{aligned} B(x_0,\varepsilon)=\set{x \in X | d(x_0,x)<\varepsilon} \tag{6}\end{aligned}

  为以 x0x_0 为中心,ε\varepsilon 为半径的球形邻域

  引理1(X,d)(X,d) 的任意两个球形邻域的交集是若干球形邻域的并集。

图1 球形邻域的交集

 〔证明(引理1)〕设 U=B(x1,ε1)B(x2,ε2)U=B(x_1,\varepsilon_1)\cap B(x_2,\varepsilon_2)xU\forall x \in U ,则由球形邻域定义εid(x,xi)>0(i=1,2)\varepsilon_i-d(x,x_i)>0(i=1,2) 。记 εx=min{ε1d(x,x1),ε2d(x,x2)}\varepsilon_x=\min\set{\varepsilon_1-d(x,x_1),\varepsilon_2-d(x,x_2)} 。我们考虑任意 xB(x,εx)x' \in B(x,\varepsilon_x) ,由球形邻域定义d(x,x)<εxd(x',x)<\varepsilon_x 。又知 εx=min{ε1d(x,x1),ε2d(x,x2)}<ε1d(x,x1)\varepsilon_x=\min\set{\varepsilon_1-d(x,x_1),\varepsilon_2-d(x,x_2)}<\varepsilon_1-d(x,x_1) ,有 d(x,x)<ε1d(x,x1)d(x',x)<\varepsilon_1-d(x,x_1) ,即 d(x,x)+d(x,x1)<ε1d(x',x)+d(x,x_1)<\varepsilon_1 。由三角不等式可知 d(x,x1)<d(x,x)+d(x,x1)<ε1d(x',x_1) < d(x',x)+d(x,x_1) < \varepsilon_1 ,所以由球形邻域定义可知 xB(x1,ε1)x' \in B(x_1,\varepsilon_1) ,同理可证 xB(x2,ε2)x' \in B(x_2,\varepsilon_2) ,即 xB(x1,ε1)B(x2,ε2)=Ux' \in B(x_1,\varepsilon_1)\cap B(x_2,\varepsilon_2) = U ,故 B(x,εx)UB(x,\varepsilon_x) \subseteq U ,对所有 xx 求并集有 xUB(x,εx)U\displaystyle\bigcup_{x\in U}B(x,\varepsilon_x) \subseteq U 。但是由球形邻域定义又有 xU,xB(x,εx)xUB(x,εx)\forall x \in U,x \in B(x,\varepsilon_x) \subseteq \displaystyle\bigcup_{x\in U}B(x,\varepsilon_x) ,即 UxUB(x,εx)U \subseteq \displaystyle\bigcup_{x\in U}B(x,\varepsilon_x) ,最后我们得到

U=xUB(x,εx)(7)\begin{aligned} U=\bigcup_{x\in U}B(x,\varepsilon_x) \tag{7}\end{aligned}

证毕

度量拓扑

  命题1:规定 XX 的子集族 τd={UU是若干个球形邻域的并集}\tau_d=\set{U|U是若干个球形邻域的并集} 。则 τd\tau_dXX 上的一个拓扑(若干可以是无穷、可以是有限、也可以是零)。

 〔证明(命题1)〕对拓扑公理(1),取 (xXB(x,εx))X\displaystyle\left(\bigcup_{x \in X}B(x,\varepsilon_x)\right)\bigcap X 即可得到 XX ,而取 x=x=\varnothing 即可得到 \varnothing ,所以满足。对拓扑公理(2),由 UU 的定义容易知道满足。对拓扑公理(3),设 U,UτdU,U' \in \tau_d ,记 U=αB(xα,εα),U=βB(xβ,εβ)U=\displaystyle\bigcup_{\alpha}B(x_\alpha,\varepsilon_\alpha),U'=\displaystyle\bigcup_{\beta}B(x'_\beta,\varepsilon'_\beta) ,由集合及其运算-(49)

UU=(αB(xα,εα))(βB(xβ,εβ))=β((αB(xα,εα))B(xβ,εβ))(集合及其运算-(49))=β(B(xβ,εβ)(αB(xα,εα)))=β(α(B(xβ,εβ)B(xα,εα)))(集合及其运算-(49))=α,β(B(xα,εα)B(xβ,εβ))(8)\begin{aligned} U \cup U' =& \left(\bigcup_{\alpha}B(x_\alpha,\varepsilon_\alpha)\right)\cap\left(\bigcup_{\beta}B(x'_\beta,\varepsilon'_\beta)\right)\\[15pt] =&\bigcup_{\beta}\left(\left(\bigcup_{\alpha}B(x_\alpha,\varepsilon_\alpha)\right)\cap B(x'_\beta,\varepsilon'_\beta)\right)\text{(集合及其运算-(49))}\\[15pt] =&\bigcup_{\beta}\left(B(x'_\beta,\varepsilon'_\beta)\cap\left(\bigcup_{\alpha}B(x_\alpha,\varepsilon_\alpha)\right)\right)\\[15pt] =&\bigcup_{\beta}\left(\bigcup_{\alpha}(B(x'_\beta,\varepsilon'_\beta)\cap B(x_\alpha,\varepsilon_\alpha))\right)\text{(集合及其运算-(49))}\\[15pt] =&\bigcup_{\alpha,\beta}(B(x_\alpha,\varepsilon_\alpha)\cap B(x'_\beta,\varepsilon'_\beta))\\[15pt] \tag{8}\end{aligned}

  根据引理1,对任何 α,β\alpha,\betaB(xα,εα)B(xβ,εβ)τdB(x_\alpha,\varepsilon_\alpha)\cap B(x'_\beta,\varepsilon'_\beta) \in \tau_d 。再由拓扑公理(2),得出 UUτdU \cap U' \in \tau_d

证毕

  称 τd\tau_dXX 上由度量 dd 决定的度量拓扑。每个度量空间都自然地看成具有度量拓扑的拓扑空间,从而Euclid空间 En\bm{E}^n 也是拓扑空间(其度量拓扑称为Euclid拓扑)。从这个意义上讲,拓扑空间是Euclid空间和度量空间的推广。三条拓扑公理也正是从度量空间的开集所具有的最基本的性质中抽象出来的。

拓扑空间中的几个基本概念

  下面要讲的几个基本的拓扑概念在欧氏空间和度量空间中都已出现过,但现在用开集概念来规定它们。

闭集

  定义3:拓扑空间 XX 的一个子集 AA 称为闭集,如果 AcA^c 是开集(见拓扑空间)。

  也就是说,闭集就是开集的补集,反过来开集一定是一个闭集的补集。例如在离散拓扑空间中,任何子集都是开集,从而任何子集也都是闭集;平凡拓扑空间 XX 中,只有两个闭集: X=cX=\varnothing^c=Xc\varnothing = X^c 。在 (R,τf)(\bm{R},\tau_f) 中,闭集或是 XX ,或为有限集;而 (R,τc)(\bm{R},\tau_c) 中的闭集是X或可数集。

  命题2:拓扑空间的闭集满足:
  (1) XX\varnothing 都是闭集。
  (2) 任意多个闭集的交集是闭集。
  (3) 有限个闭集的并集是闭集。

 〔证明(命题2)〕
  (1) 由拓扑空间的定义可知 X,X,\varnothing 一定是某个拓扑 τ\tau 的子集,也就是 X,X,\varnothing 一定是开集。而 Xc=,c=XX^c=\varnothing,\varnothing^c = X ,因此 X,X,\varnothing 也是闭集。
  (2) 设有任意多个闭集 A1,A2,,Ai,A_1,A_2,\cdots,A_i,\cdots 。由 AiA_i 是闭集可得 AicA_i^c 是开集,而由拓扑公理(2),任意多个 AicA_i^c 的并集 i=1Aic\displaystyle\bigcup_{i=1}^{\infin} A_i^c 也在拓扑空间 τ\tau 内,即也是开集。因此由定义3(i=1Aic)c\displaystyle\left(\bigcup_{i=1}^{\infin} A_i^c\right)^c 是闭集,再由De Morgan公式可得 (i=1Aic)c=i=1(Aic)c=i=1Ai\displaystyle\left(\bigcup_{i=1}^{\infin} A_i^c\right)^c=\bigcap_{i=1}^{\infin} (A_i^c)^c=\bigcap_{i=1}^{\infin} A_i 是闭集。因此任意多个闭集的交集是闭集。
  (3) 设有有限个闭集 A1,A2,,Ai,,AnA_1,A_2,\cdots,A_i,\cdots,A_n 。由 AiA_i 是闭集可得 AicA_i^c 是开集,而由拓扑公理(3),有限个 AicA_i^c 的交集 i=1nAic\displaystyle\bigcap_{i=1}^{n} A_i^c 也在拓扑空间 τ\tau 内,即也是开集。因此由定义3(i=1nAic)c\displaystyle\left(\bigcap_{i=1}^{n} A_i^c\right)^c 是闭集,再由De Morgan公式可得 (i=1nAic)c=i=1n(Aic)c=i=1nAi\displaystyle\left(\bigcap_{i=1}^{n} A_i^c\right)^c=\bigcup_{i=1}^{n} (A_i^c)^c=\bigcup_{i=1}^{n} A_i 是闭集。因此有限个闭集的交集是闭集。

证毕

邻域,点和内部

  定义4:设 AA 是拓扑空间 XX 的一个子集,点 xAx \in A 。如果存在开集 UU ,使得 xUAx \in U \sube A ,则称 xxAA 的一个内点AAxx 的一个邻域AA 的所有内点的集合称为 AA内部,记作 A˚\mathring{A} (或 A°A\degree )。

  命题3
  (1) 若 ABA \sube B ,则 A˚B˚\mathring{A} \sube \mathring{B}
  (2) A˚\mathring{A} 是包含在 AA 中的所有开集的并集,因此是包含在 AA 中的最大开集。
  (3) A˚=A\mathring{A}=A \Harr AA 是开集。
  (4) (AB)°=A˚B˚(A \cap B)\degree = \mathring{A} \cap \mathring{B}
  (5) (AB)°A˚B˚(A \cup B)\degree \supseteq \mathring{A} \cup \mathring{B}

 〔证明(命题3)〕
  (1) 若 xxAA 的内点,则存在开集 UU 使得 xUAx \in U \sube A 。因为 ABA \sube B ,所以 UBU \sube B ,于是 xx 也是 BB 的内点,这样,AA 的内点都是 BB 的内点,A˚B˚\mathring{A} \sube \mathring{B}
  (2) 记 {UααA}\set{U_\alpha | \alpha \in \mathscr{A}} 是包含在 AA 中的所有开集构成的子集族(即 αA,UαA\forall \alpha \in \mathscr{A},U_\alpha \sube A )。xαAUα\forall x \in \displaystyle\bigcup_{\alpha \in \mathscr{A}}U_\alpha ,必存在 α0\alpha_0 使 xUα0x \in U_{\alpha_0} 。由 UαU_\alpha 的定义知 Uα0AU_{\alpha_0} \in A ,再由定义4中内点的定义可知 xxAA 的一个内点,因此 xA˚x \in \mathring{A} 。所以,αAUαA˚\displaystyle\bigcup_{\alpha \in \mathscr{A}}U_\alpha \sube \mathring{A} 。反之,xA˚\forall x \in \mathring{A} ,由定义4中内点的定义可知存在开集 UU 满足 xUAx \in U \sube A ,而由集合 {UααA}\set{U_\alpha | \alpha \in \mathscr{A}} 的定义知必存在 α0\alpha_0 使 U=Uα0U=U_{\alpha_0} 。即 xαAUαx \in \displaystyle\bigcup_{\alpha \in \mathscr{A}}U_\alpha ,从而 A˚αAUα\mathring{A} \sube \displaystyle\bigcup_{\alpha \in \mathscr{A}}U_\alpha 。综上所述,A˚=αAUα\mathring{A} = \displaystyle\bigcup_{\alpha \in \mathscr{A}}U_\alpha ,因此 A˚\mathring{A} 是包含在 AA 中的所有开集的并集。
  (3) 由(2)可知,A˚\mathring{A} 是开集,若 A˚=A\mathring{A}=A ,则 AA 也是开集。反之,当 AA 是开集时,AA 就是包含在 AA 中的最大开集。由(2)可直接得到 A˚=A\mathring{A}=A
  (4)由集合及其运算-(43)可得 ABAA \cap B \sube A ,再由(1)可得 (AB)°A˚(A \cap B) \degree \sube \mathring{A} ,同理可得 (AB)°B˚(A \cap B) \degree \sube \mathring{B} ,因此 (AB)°A˚B˚(A \cap B) \degree \sube \mathring{A} \cap \mathring{B} 。由 A˚A,B˚B\mathring{A} \sube A, \mathring{B} \sube B命题2可得 A˚B˚AB\mathring{A} \cap \mathring{B} \sube A \cap B 。两边取邻域并由(1)可得 (A˚B˚)°(AB)°(\mathring{A}\cap\mathring{B})\degree\sube (A \cap B)\degree 。因此 (A˚B˚)°=(AB)°(\mathring{A}\cap\mathring{B})\degree = (A \cap B)\degree 。又由(2)可得 A˚,B˚\mathring{A},\mathring{B} 都是开集,因此由拓扑公理(3)可知 A˚B˚\mathring{A}\cap\mathring{B} 也是开集,所以由(3)可得 (A˚B˚)°=A˚B˚ (\mathring{A}\cap\mathring{B})\degree=\mathring{A}\cap\mathring{B} 。因此 (AB)°=A˚B˚(A \cap B)\degree = \mathring{A} \cap \mathring{B}
  (5)因为 A˚B˚\mathring{A}\cup\mathring{B} 是包含在 ABA \cup B 中的开集,根据(2)可知 (AB)°A˚B˚(A \cup B)\degree \supset \mathring{A} \cup \mathring{B}

证毕

  用归纳法可以从(4)推导出

(i=1nAi)°=i=1nA˚i(9)\begin{aligned} \left(\bigcap_{i=1}^{n}A_i\right)\degree=\bigcap_{i=1}^{n}\mathring{A}_i \tag{9}\end{aligned}

  但对无穷多个子集的交集相应结果不成立。一般地(5)不能把包含号改成等号。在这里举一个反例。

  例5:设 A=[0,1],B=(1,2]A=[0,1],B=(1,2] ,则 (AB)°=[0,2]°=(0,2)(A \cup B)\degree = [0,2]\degree = (0,2) ,而 A˚=(0,1),B˚=(1,2)\mathring{A}=(0,1),\mathring{B}=(1,2) ,因此 A˚B˚=(0,1)(1,2)\mathring{A}\cup \mathring{B} = (0,1)\cup(1,2) ,因此 (AB)°A˚B˚(A \cup B)\degree \ne \mathring{A} \cup \mathring{B}

聚点与闭包

  定义5:设 AA 是拓扑空间 XX 的子集,xXx \in X 。如果 xx 的每个邻域都含有 A\{x}A \backslash \set{x} 中的点,则称 xxAA聚点AA 的所有聚点的集合称为 AA导集,记作 AA' 。称集合 Aˉ=AA\bar{A}=A \cup A'AA闭包

  命题4xAˉx \in \bar{A} \Harr xx 的任一邻域与 AA 都有交点。

 〔证明(命题4)〕假设 xAˉx \in \bar{A} ,则 xAx \in AxAx \in A' 。如果是 xAx \in A ,则显然任意 xx 的邻域与 AA 都有至少有交点 xx 。如果是 xAx \in A' ,则由 AA' 的定义可知 xx 的每个邻域都含有 A\{x}A\backslash\set{x} 中的点,即与 AA 有交点。反过来,如果 xx 的任一邻域都与 AA 有交点。如果交点只是 xx ,则可知 xAx \in A ,如果交点不止是 xx 或者没有 xx ,也就是有 A\{x}A \backslash \set{x} 中的点,则由导集的定义知 xAx \in A' 。因此,结论成立。

证毕

  命题5:若拓扑空间 XX 的子集 AABB 互为补集,则 Aˉ\bar{A}B˚\mathring{B} 互为补集。

 〔证明(命题5)〕由命题4定义4可得如下等价关系

xAˉcx有邻域与A不相交x有邻域包含在BxB的内点(10)\begin{aligned} x \in \bar{A}^c & \Harr x有邻域与 A 不相交\\[5pt] & \Harr x有邻域包含在B中\\[5pt] & \Harr x是B的内点 \tag{10}\end{aligned}

  因此 Aˉc=B˚\bar{A}^c=\mathring{B}

证毕

  命题6
  (1)若 ABA \sube B ,则 AˉBˉ\bar{A} \sube \bar{B}
  (2) Aˉ\bar{A} 是所有包含 AA 的闭集的交集,所以是包含 AA 的最小闭集。
  (3) Aˉ=A\bar{A}=A \Harr AA 是闭集。
  (4)

AB=AˉBˉ(11)\begin{aligned} \overline{A \cup B}=\bar{A} \cup \bar{B} \tag{11}\end{aligned}

  (5)

ABAˉBˉ(12)\begin{aligned} \overline{A \cap B} \sube \bar{A} \cap \bar{B} \tag{12}\end{aligned}

 〔证明(命题6)〕
  (1) 若 xAˉx \in \bar{A} ,则由命题4可知 xx 的任一邻域与 AA 有交点。又由于 ABA \sube B ,这些交点必然也是与 BB 的交点。因此 xx 的任一邻域与 BB 有交点,故 xBˉx \in \bar{B} 。因此 AˉBˉ\bar{A} \sube \bar{B}
  (2) 记 {VααA}\set{V_\alpha | \alpha \in \mathscr{A}} 是包含 AA 的所有闭集构成的子集族(即 αA,VαA\forall \alpha \in \mathscr{A}, V_\alpha \supe A )。xαAVα\forall x \in \displaystyle\bigcap_{\alpha \in \mathscr{A}}V_\alpha ,则对 αA\forall \alpha \in \mathscr{A}xVαx \in V_{\alpha} 。假设 xAˉx \notin \bar{A} ,则由命题4xx 存在邻域 UUAA 不相交,即 AU =A \cap U \ = \varnothing 。由 {VααA}\set{V_\alpha | \alpha \in \mathscr{A}} 的定义可知存在一个闭集 Vα0V_{\alpha_0} 使得 AVα0A \sube V_{\alpha_0}Vα0U=V_{\alpha_0} \cap U = \varnothing ,这样的话 xUVα0αAVαx \in U \nsubseteq V_{\alpha_0} \sube \displaystyle\bigcap_{\alpha \in \mathscr{A}}V_\alpha ,即 xαAVαx \notin \displaystyle\bigcap_{\alpha \in \mathscr{A}}V_\alpha ,与 xαAVαx \in \displaystyle\bigcap_{\alpha \in \mathscr{A}}V_\alpha 矛盾。因此,xAˉx \in \bar{A} 。反过来,对任意 xAˉx \in \bar{A} ,则 xx 的任一邻域 UUAA 都有交点,即 AUA \cap U \ne \varnothing 。对任意包含 AA 的闭集 VαV_{\alpha} ,如果 xVαx \notin V_{\alpha} , 则存在存在邻域 UαU_{\alpha} 使得 UαVα=U_{\alpha} \cap V_{\alpha} = \varnothing 。由于 AVαA \sube V_{\alpha} ,则 UαAUαVα=U_{\alpha} \cap A \sube U_{\alpha} \cap V_{\alpha} = \varnothing 这与 AUA \cap U \neq \varnothing 相矛盾。因此对任意 α\alpha 都有 xVαx \in V_{\alpha} ,即 xαAVαx \in \displaystyle\bigcap_{\alpha \in \mathscr{A}}V_\alpha 。综上所述,Aˉ=αAVα\bar{A} = \displaystyle\bigcap_{\alpha \in \mathscr{A}}V_\alphaAˉ\bar{A} 是所有包含 AA 的闭集的交集。
  (3) 由(2)可知,Aˉ\bar{A} 是闭集,若 Aˉ=A\bar{A}=A ,则 AA 也是闭集。反之,当 AA 是闭集时,AA 就是包含在 AA 中的最大闭集。由(2)可直接得到 Aˉ=A\bar{A}=A
  (4) 先证明 (AB)=AB(A \cup B)' = A' \cup B'x(AB)\forall x \in (A \cup B)' ,则 xx 的每个邻域都含有 (AB)\{x}(A \cup B) \backslash \set{x} 中的点,即含有 A\{x}A \backslash \set{x} 中的点或 B\{x}B \backslash \set{x} 中的点,因此 xAx \in A'xBx \in B' ,因此 xABx \in A' \cup B' ,故 (AB)AB(A \cup B)' \sube A' \cup B' 。同样,对于 xAB\forall x \in A' \cup B' ,则 xx 的邻域含有 A\{x}A \backslash \set{x} 中的点或 B\{x}B \backslash \set{x} 中的点,即 (AB)\{x}(A \cup B) \backslash \set{x} 中的点,因此 x(AB)x \in (A \cup B)' ,即 AB(AB)A' \cup B' \sube (A \cup B)' 。综上所述,(AB)=AB(A \cup B)' = A' \cup B' 。因此,有

AB=(AB)(AB)=(AB)(AB)=(AA)(BB)=AˉBˉ(13)\begin{aligned} \overline{A \cup B} =& (A \cup B) \cup (A \cup B)' \\[5pt] =& (A \cup B) \cup (A' \cup B') \\[5pt] =& (A \cup A') \cup (B \cup B') \\[5pt] =& \bar{A} \cup \bar{B} \tag{13}\end{aligned}

  (5) 先证明 (AB)=AB(A \cap B)'=A' \cap B'x(AB)\forall x \in (A \cap B)' ,则 xx 的每个邻域都含有 (AB)\{x}(A \cap B) \backslash \set{x} 中的点,即含有 A\{x}A \backslash \set{x} 中的点且 B\{x}B \backslash \set{x} 中的点,因此 xAx \in A'xBx \in B' ,因此 xABx \in A' \cap B' ,故 (AB)AB(A \cap B)' \sube A' \cap B' 。同样,对于 xAB\forall x \in A' \cap B' ,则 xx 的邻域含有 A\{x}A \backslash \set{x} 中的点且 B\{x}B \backslash \set{x} 中的点,即 (AB)\{x}(A \cap B) \backslash \set{x} 中的点,因此 x(AB)x \in (A \cap B)' ,即 AB(AB)A' \cap B' \sube (A \cap B)' 。综上所述,(AB)=AB(A \cap B)' = A' \cap B' 。因此,由集合及其运算-(52)可得

AB=(AB)(AB)=(AB)(AB)=((AB)A)((AB)B)(14)\begin{aligned} \overline{A \cap B} =& (A \cap B) \cup (A \cap B)' \\[5pt] =& (A \cap B) \cup (A' \cap B') \\[5pt] =& ((A \cap B) \cup A') \cap ((A \cap B) \cup B') \tag{14}\end{aligned}

  由集合及其运算-(43)可知 ABA,ABBA \cap B \sube A, A \cap B \sube B ,因此再由命题1可得 (AB)AAA,(AB)BBB(A \cap B) \cup A' \sube A \cup A', (A \cap B) \cup B' \sube B \cup B' ,再由命题2可知 AB(AA)(BB)AˉBˉ\overline{A \cap B} \sube (A \cup A') \cap (B \cup B') \sube \bar{A} \cap \bar{B}

证毕

  聚点的概念在欧式空间中早已出现。要注意现在的推广概念在意义上已发生改变。欧氏空间中集合A的聚点的近旁确实聚集了 AA 的无穷多个点,因此有限集是没有聚点的。而在拓扑空间中则不然,例如设 X={a,b,c}X=\set{a,b,c} ,规定拓扑为 τ={X,,{a}}\tau = \set{X, \varnothing, \set{a}} ,则当 A={a}A = \set{a} 时,bbcc 都是 AA 的聚点,因为 bbcc 的邻域只有 XX 一个(在拓扑空间上),X\{b}X \backslash \set{b}X\{c}X \backslash \set{c} 都包含 aa 。而 aa 不是 AA 的聚点,因为 A\{a}=A \backslash \set{a} = \varnothing

  拓扑空间 XX 的子集 AA 称为稠密的,如果 Aˉ=X\bar{A}=X 。如果 XX 有可数的稠密子集,则称 XX可分拓扑空间
  例如 (R,τf)(\bm{R},\tau_f) 是可分的,事实上它的任一无穷子集都是稠密的,有理数集 Q\bm{Q} 是它的一个可数稠密子集; (R,τc)(\bm{R}, \tau_c) 不是可分的,因为它的任一可数集都是闭集,不可能稠密。

序列的收敛性

  在数学分析中,序列收敛的概念是很基本的.拓扑空间中也可推广这个概念,但它失去了一些重要的性质。设 x1,x2,,xn,x_1,x_2,\cdots,x_n,\cdots (或简单地记作 {xn}\set{x_n} ) 是拓扑空间 XX 中点的序列,如果点 x0Xx_0 \in X 的任一邻域 UU 都包含 {xn}\set{x_n} 的几乎所有项(即只有有限个 xnx_n 不在 UU 中;或存在正整数 NN ,使得当 n>Nn > N 时,xnUx_n \in U ),则说 {xn}\set{x_n} 收敛到 x0x_0 ,记作 xnx0x_n \to x_0
  拓扑空间中的序列可能收敛到多个点.例如 (R,τf)(\bm{R}, \tau_f) 中,只要序列 {x}\set{x} 的项两两不同,则任一点 xRx \in \bm{R} 的邻域(必是有限集的补集)包含 {xn}\set{x_n} 的几乎所有项,从而 xnxx_n \to x
  数学分析中,当点 xx 是集合 AA 的聚点时,则 AA 中所有序列收敛到 xx ,在拓扑空间中这一性质不再成立.例如在 (R,τc)(\bm{R},\tau_c) 中,xnxx_n \to x \Harr 对几乎所有 nnxn=xx_n=x .设 A 是一个不可数真子集,于是 Aˉ=R\bar{A}=\bm{R} ( 因为包含 AA 的闭集只有 RR ) .取 xAx \notin A ,则 xxAA 的聚点,但 AA 中任一序列不可能收敛到 xx 。 由千拓扑空间中的序列收敛性出现这些不正常现象,它也就失去了重要性。

子空间

  设 AA 是拓扑空间 (X.τ)(X.\tau) 的一个非空子集。

  定义6:规定 AA 的子集族

τA={UAUτ}(15)\begin{aligned} \tau_A = \set{U \cap A | U \in \tau} \tag{15}\end{aligned}

  容易验证 τA\tau_AAA 上的一个拓扑,称为 τ\tau 导出的 AA 上的子空间拓扑,称为 A,τAA, \tau_AX,τX, \tau子空间
  以后,对拓扑空间的子集都看做拓扑空间,即子空间。
  现在设 AA 是拓扑空间 (X,τ)(X,\tau) 的子集,BB 又是 AA 的子集.于是 BB 有两个途径得到子空间拓扑:直接作为 XX 的子空间和看作 A,τAA, \tau_A 的子空间.事实上它们是一样的,记 (τA)B(\tau_A)_BτA\tau_A 导出的 BB 上的拓扑,则

(τA)B={VBVτA}={(UA)BUτ}={UBUτ}=τB(16)\begin{aligned} (\tau_A)_B=&\set{V \cap B | V \in \tau_A} = \set{(U \cap A) \cap B | U \in \tau} \\[5pt] =& \set{U \cap B | U \in \tau} = \tau_B \tag{16}\end{aligned}

  对千度量空间 (X,d)(X,d) 的子集 AA ,也有两种途径得到拓扑:一种途径是直接看作 X,τdX,\tau_d 的子空间;另一种途径是由 ddAA 上的限制得到 AA 上的度量 dAd_A ,它决定 AA 的度量拓扑.这两个拓扑也是相同的。
  对于子空间 AA 的子集 UU ,笼统地说 UU 是不是开集意义就不明确了,必须说明在 AA 中看还是在全空间中看,这两者是不同的.例如,E1\bm{E}^1E2\bm{E}^2 的子空间,开区间 (0,1)(0,1)E1\bm{E}^1 中是开集,而在 E2\bm{E}^2 中不是开集.因此开集概念是相对概念.同样,闭集、邻域、内点、内部、聚点和闭包等等概念也都是相对概念。

  命题7:设 XX 是拓扑空间,CAXC \sube A \sube X ,则 CCAA 的闭集 \iff CCAAXX 的一个闭集之交集。

 〔证明(命题7)〕

CA的闭集A\CA的开集存在X中的开集U,使得A\C=UA存在X中的开集U,使得C=UcACX中一个闭集与A之交集(17)\begin{aligned} C是A的闭集 \iff& A \backslash C是A的开集 \\[5pt] \iff&存在X中的开集U,使得 A \backslash C = U \cap A \\[5pt] \iff&存在X中的开集U,使得 C = U^c \cap A \\[5pt] \iff&C是X中一个闭集与A之交集 \tag{17}\end{aligned}

证毕

  命题8:设 XX 是拓扑空间,BAXB \sube A \sube X ,则
  (1) 若 BBXX 的开(闭)集,则 BB 也是 AA 的开(闭)集;
  (2) 若 AAXX 的开(闭)集,BBAA 的开(闭)集,则 BB 也是 XX 的开(闭)集。

 〔证明(命题8)〕(1) B=BAB = B \cap A ,直接由命题7可得 BBAA 的开(闭)集。
  (2) 设 BBAA 的开(闭)集,存在 XX 的开(闭)集 UU ,使得 B=UAB=U \cap A ,而 AA 也是 XX 中开(闭)集,由拓扑公理和命题2 BBXX 的开(闭)集。

证毕

连续映射与同胚映射

  连续映射是拓扑学中另一个最基本的概念和研究对象。

连续映射的定义

  和分析学一样,连续性是一种局部性概念。

  定义7::设 XXYY 都是拓扑空间,f:XYf:X \to Y 是一个映射,xXx \in X 。如果对于 YYf(x)f(x) 的任一邻域 VVf1(V)f^{-1}(V) 总是 xx 的邻域,则说 ffxx连续

  容易看出,如果把定义中“任一邻域 VV ”改成“任一开邻域 VV ”(即包含 f(x)f(x) 的任一开集 VV ),那么定义的意义不变。因此 ff 在点 xx 处连续也就是“对包含 f(x)f(x) ”的每个开集 VV ,必存在包含 xx 的开集 UU ,使得 f(U)Vf(U) \sube V

  命题9:设 f:XYf:X \to Y 是一映射,AAXX 的子集,xAx \in A 。记 fA=fA:AYf_A = f|A:A \to YffAA 上的限制,则
  (1) 如果 ffxx 连续,则 fAf_Axx 也连续。
  (2) 若 AAxx 的邻域,则当 fAf_Axx 连续时,ffxx 也连续。

 〔证明(命题9)〕(1) 设 VVfA(x)=f(x)f_A(x)=f(x) 的邻域,则 f1(V)f^{-1}(V)xxXX 中的邻域,即存在开集 UU ,使得 xUf1Vx \in U \sube f^{-1}V 。而 fA1(V)AUf^{-1}_A(V) \supe A \cap U ,这里 AUA \cap UAA 的包含 xx 的开集,这就验证了 fAf_Axx 的连续性。
  (2) 设 VVf(x)f(x) 的邻域,根据条件存在 AA 中的开集 UAU_A ,使得 xUAfA1(V)=Af1(V)x \in U_A \sube f_A^{-1}(V)=A \cap f^{-1}(V) 。设 UA=UAU_A=U \cap A ,其中 UUXX 的开集。则 UA˚U \cap \mathring{A} 也是 XX 的开集,且 xUA˚UAf1(V)x \in U \cap \mathring{A} \sube U_A \sube f^{-1}(V) ,因此 ffxx 连续。

证毕

  此命题的(2)说明 ff 在某点 xx 处的连续性只与 ffxx 附近的情形有关。

  定义8:如果映射 f:XYf:X\to Y 在任一点 xXx \in X 处都连续,则说 ff连续映射

  连续映射具有“整体性”的描述方式。

  定理1:设 f:XYf:X \rightarrow Y 是映射,下列各条件相互等价:
  (1) ff 是连续映射。
  (2) YY 的任一开集在 ff 下的原像是 XX 的开集。
  (3) YY 的任一闭集在 ff 下的原像是 XX 的闭集。

 〔证明(定理1)〕(1) \Rightarrow (2) 。设 VVYY 的开集,U=f1(V)U=f^{-1}(V)xU\forall x \in U ,由于 VV 就是开集,f(x)Vf(x) \in V ,因此 VVf(x)f(x) 的邻域(见定义4)。又由于 ffxx 处连续,即 f1(V)=Uf^{-1}(V)=U 总是 xx 的邻域,故 xx 总是 UU 的内点。由 xx 的任意性,U=U˚U=\mathring{U} 。由命题3的(3)可知 UU 是开集。
  (2) \Rightarrow (3) 。设 FFYY 的闭集,则 FcF^c 是开集(见定义3),因此 f1(Fc)f^{-1}(F^c)XX 的开集。于是 f1(F)=(f1(Fc))cf^{-1}(F)=(f^{-1}(F^c))^cXX 的闭集。

评论
  • 按正序
  • 按倒序
  • 按热度
Powered by Waline v2.15.8
本图书馆已稳定运行203天14小时40分钟26秒
本图书馆累计发布了37篇文章 共51.8万字
本图书馆访客数4741 访问量9968