从距离中抽取“附近”的结构
实分析常用距离定义连续:x x x 靠近 x 0 x_0 x 0 时,f ( x ) f(x) f ( x ) 靠近 f ( x 0 ) f(x_0) f ( x 0 ) 。但许多问题只关心哪些集合算作局部区域,并不关心距离究竟是 0.1 0.1 0.1 还是 0.01 0.01 0.01 。拓扑把“开球的任意并”抽象为开集;只保留开集之后,连续、收敛、紧致与连通仍可讨论,而长度和角度则被有意舍去。
拓扑空间、开集与闭集
设 X X X 是集合。子集族 τ ⊆ P ( X ) \tau\subseteq\mathcal P(X) τ ⊆ P ( X ) 若满足:
∅ , X ∈ τ \varnothing,X\in\tau ∅ , X ∈ τ ;
对任意指标集 I I I 及任意 U i ∈ τ U_i\in\tau U i ∈ τ ,都有 ⋃ i ∈ I U i ∈ τ \bigcup_{i\in I}U_i\in\tau ⋃ i ∈ I U i ∈ τ ;
对任意正整数 n n n 及 U 1 , … , U n ∈ τ U_1,\ldots,U_n\in\tau U 1 , … , U n ∈ τ ,都有 ⋂ k = 1 n U k ∈ τ \bigcap_{k=1}^nU_k\in\tau ⋂ k = 1 n U k ∈ τ ,
就称 τ \tau τ 是 X X X 上的拓扑,( X , τ ) (X,\tau) ( X , τ ) 是拓扑空间,τ \tau τ 中元素称为开集。若 X ∖ F X\setminus F X ∖ F 开,则 F F F 称为闭集。
第二条允许任意并 ,包括不可数并;第三条只保证有限交 。空族的并是 ∅ \varnothing ∅ ,空族的交是 X X X ,所以边界情形也与第一条相容。由 De Morgan 律,闭集族包含 ∅ \varnothing ∅ 与 X X X ,对任意交封闭,对有限并封闭。开与闭不是互斥标签:∅ \varnothing ∅ 和 X X X 总是既开又闭,其他集合也可能如此。
离散拓扑 P ( X ) \mathcal P(X) P ( X ) 把每个子集都看作开集;不可分拓扑 { ∅ , X } \{\varnothing,X\} { ∅ , X } 除全集与空集外没有开集。若 X X X 无限,余有限拓扑定义为
τ c o f = { ∅ } ∪ { U ⊆ X : X ∖ U 有限 } . \tau_{\mathrm{cof}}
=\{\varnothing\}\cup\{U\subseteq X:X\setminus U\text{ 有限}\}. τ cof = { ∅ } ∪ { U ⊆ X : X ∖ U 有限 } .
两个非空余有限集的交仍余有限,任意多个非空余有限集的并只会让补集更小,故它确为拓扑。
例 1:标准拓扑不对可数交封闭
在实数的标准拓扑中令 U n = ( − 1 / n , 1 / n ) U_n=(-1/n,1/n) U n = ( − 1/ n , 1/ n ) 。每个 U n U_n U n 都开,但
⋂ n = 1 ∞ U n = { 0 } \bigcap_{n=1}^{\infty}U_n=\{0\} n = 1 ⋂ ∞ U n = { 0 } 不是开集:无论 r > 0 r>0 r > 0 多小,开区间 ( − r , r ) (-r,r) ( − r , r ) 都含非零点,不能包含于单点集。另一方面,任意族开区间的并仍开,因为并中任一点已落在某个成员内,可沿用该成员给出的局部开区间。
这也解释闭集的对偶边界:闭集可任意交,却只保证有限并。单点集 { 1 / n } \{1/n\} { 1/ n } 都闭,而它们的可数并 A = { 1 / n : n ≥ 1 } A=\{1/n:n\ge1\} A = { 1/ n : n ≥ 1 } 不闭,因为 0 0 0 是 A A A 的极限点却不在 A A A 中。
邻域、基与子基压缩开集信息
若存在开集 U U U 满足 x ∈ U ⊆ N x\in U\subseteq N x ∈ U ⊆ N ,则称 N N N 是点 x x x 的邻域;邻域本身不必开。集合 A A A 的内部是所有包含于 A A A 的开集之并,闭包是所有包含 A A A 的闭集之交:
int A = ⋃ { U ∈ τ : U ⊆ A } , A ‾ = ⋂ { F ⊇ A : F 闭 } . \operatorname{int}A=\bigcup\{U\in\tau:U\subseteq A\},
\qquad
\overline A=\bigcap\{F\supseteq A:F\text{ 闭}\}. int A = ⋃ { U ∈ τ : U ⊆ A } , A = ⋂ { F ⊇ A : F 闭 } .
点 x ∈ A ‾ x\in\overline A x ∈ A 当且仅当 x x x 的每个开邻域都与 A A A 相交。这个邻域判据不需要序列;在一般拓扑空间中,仅靠序列未必能检测全部闭包点。
拓扑基与子基
集合族 B ⊆ P ( X ) \mathcal B\subseteq\mathcal P(X) B ⊆ P ( X ) 称为一个基,若:
每个 x ∈ X x\in X x ∈ X 至少属于一个 B ∈ B B\in\mathcal B B ∈ B ;
若 x ∈ B 1 ∩ B 2 x\in B_1\cap B_2 x ∈ B 1 ∩ B 2 且 B 1 , B 2 ∈ B B_1,B_2\in\mathcal B B 1 , B 2 ∈ B ,则存在 B 3 ∈ B B_3\in\mathcal B B 3 ∈ B 使 x ∈ B 3 ⊆ B 1 ∩ B 2 x\in B_3\subseteq B_1\cap B_2 x ∈ B 3 ⊆ B 1 ∩ B 2 。
由 B \mathcal B B 生成的开集是基元素的任意并。子基 S \mathcal S S 只要求覆盖 X X X ;S \mathcal S S 中元素的有限交组成一个基,再取任意并得到生成拓扑。
基条件的第二条是局部细化,不要求 B 1 ∩ B 2 B_1\cap B_2 B 1 ∩ B 2 自己属于基。证明基元素任意并构成拓扑时,有限交处正需要它:若点落在两个并集的交中,就先选包含该点的两个基元素,再用更小基元素把点留在交集内。
例 2:有理端点区间生成实数标准拓扑
令
B = { ( p , q ) : p , q ∈ Q , p < q } . \mathcal B=\{(p,q):p,q\in\mathbb Q,\ p<q\}. B = {( p , q ) : p , q ∈ Q , p < q } . 任意 x ∈ R x\in\mathbb R x ∈ R 两侧都有有理数,故 x x x 落在某个基元素中。若
x ∈ ( p 1 , q 1 ) ∩ ( p 2 , q 2 ) x\in(p_1,q_1)\cap(p_2,q_2) x ∈ ( p 1 , q 1 ) ∩ ( p 2 , q 2 ) ,设
a = max ( p 1 , p 2 ) , b = min ( q 1 , q 2 ) . a=\max(p_1,p_2),\qquad b=\min(q_1,q_2). a = max ( p 1 , p 2 ) , b = min ( q 1 , q 2 ) . 由有理数稠密性,可取有理数 r , s r,s r , s 满足 a < r < x < s < b a<r<x<s<b a < r < x < s < b ,于是
x ∈ ( r , s ) ⊆ ( p 1 , q 1 ) ∩ ( p 2 , q 2 ) x\in(r,s)\subseteq(p_1,q_1)\cap(p_2,q_2) x ∈ ( r , s ) ⊆ ( p 1 , q 1 ) ∩ ( p 2 , q 2 ) ,基条件成立。
每个有理端点区间都是标准开集,所以生成拓扑不比标准拓扑更细。反过来,若 U U U 标准开且 x ∈ U x\in U x ∈ U ,存在 ε > 0 \varepsilon>0 ε > 0 使
( x − ε , x + ε ) ⊆ U (x-\varepsilon,x+\varepsilon)\subseteq U ( x − ε , x + ε ) ⊆ U ;再选有理数
p < x < q p<x<q p < x < q 落在该区间内,便有 x ∈ ( p , q ) ⊆ U x\in(p,q)\subseteq U x ∈ ( p , q ) ⊆ U 。因此每个标准开集都是这些基元素的并,两种拓扑相同。
三种标准构造:限制、并列与粘合
设 ( X , τ ) (X,\tau) ( X , τ ) 为拓扑空间,A ⊆ X A\subseteq X A ⊆ X 。子空间拓扑定义为
τ A = { A ∩ U : U ∈ τ } . \tau_A=\{A\cap U:U\in\tau\}. τ A = { A ∩ U : U ∈ τ } .
这里“在 A A A 中开”不等于“在 X X X 中开”。例如 [ 0 , 1 ) [0,1) [ 0 , 1 ) 在子空间
[ 0 , 2 ] [0,2] [ 0 , 2 ] 中开,因为 [ 0 , 1 ) = [ 0 , 2 ] ∩ ( − 1 , 1 ) [0,1)=[0,2]\cap(-1,1) [ 0 , 1 ) = [ 0 , 2 ] ∩ ( − 1 , 1 ) ;它在 R \mathbb R R 中并不开。
在 X × Y X\times Y X × Y 上,积拓扑以 U × V U\times V U × V 为基,其中 U ⊆ X U\subseteq X U ⊆ X 、V ⊆ Y V\subseteq Y V ⊆ Y 开。它是使两个投影
π X ( x , y ) = x \pi_X(x,y)=x π X ( x , y ) = x 、π Y ( x , y ) = y \pi_Y(x,y)=y π Y ( x , y ) = y 都连续的最粗拓扑。有限积的基是有限个开集的直积;无限积中只允许有限多个坐标受到非平凡限制,这一点不能换成“每个坐标都任意限制”的箱拓扑。
若 q : X → Y q:X\to Y q : X → Y 是满射,商拓扑定义为
U ⊆ Y 开 ⟺ q − 1 ( U ) 在 X 中开 . U\subseteq Y\text{ 开}
\quad\Longleftrightarrow\quad
q^{-1}(U)\text{ 在 }X\text{ 中开}. U ⊆ Y 开 ⟺ q − 1 ( U ) 在 X 中开 .
它是使 q q q 连续的最细拓扑。典型情形是由等价关系把同一等价类压成一点。集合 q − 1 ( U ) q^{-1}(U) q − 1 ( U ) 必须是等价类的并,称为饱和集;只检查 X X X 中一个随意开集的像是否开,不能判定商空间中的开性。
例 3:把区间两端粘合
在 [ 0 , 1 ] [0,1] [ 0 , 1 ] 上规定 0 ∼ 1 0\sim1 0 ∼ 1 ,其余点只与自身等价,记商映射为
q : [ 0 , 1 ] → [ 0 , 1 ] / ∼ q:[0,1]\to[0,1]/\!\sim q : [ 0 , 1 ] → [ 0 , 1 ] / ∼ 。对不含粘合点 q ( 0 ) q(0) q ( 0 ) 的集合 U U U ,其原像可按区间内部的普通开集检查。若 U U U 含 q ( 0 ) q(0) q ( 0 ) ,则 q − 1 ( U ) q^{-1}(U) q − 1 ( U ) 必须同时含 0 0 0 与 1 1 1 ;要在子空间 [ 0 , 1 ] [0,1] [ 0 , 1 ] 中开,它必须包含形如
[ 0 , ε ) ∪ ( 1 − δ , 1 ] [0,\varepsilon)\cup(1-\delta,1] [ 0 , ε ) ∪ ( 1 − δ , 1 ] 的两端邻域。因此粘合点附近不是只有区间一端,而是同时展开到原区间的两端。
映射
F ( [ t ] ) = ( cos 2 π t , sin 2 π t ) F([t])=(\cos 2\pi t,\sin 2\pi t) F ([ t ]) = ( cos 2 π t , sin 2 π t ) 定义良好,因为 t = 0 t=0 t = 0 与 t = 1 t=1 t = 1 给出同一点;除该对等价点外,参数在
[ 0 , 1 ) [0,1) [ 0 , 1 ) 上唯一,所以 F F F 为双射。它连续可由复合
F ∘ q ( t ) = ( cos 2 π t , sin 2 π t ) F\circ q(t)=(\cos2\pi t,\sin2\pi t) F ∘ q ( t ) = ( cos 2 π t , sin 2 π t ) 连续以及商映射的判别得到。要进一步断言 F F F 是同胚,还需证明逆映射连续;下一章的“紧空间到 Hausdorff 空间的连续双射必为同胚”会一次完成这一步。
连续性是开集在逆像下保持
连续映射与同胚
映射 f : ( X , τ X ) → ( Y , τ Y ) f:(X,\tau_X)\to(Y,\tau_Y) f : ( X , τ X ) → ( Y , τ Y ) 若对每个开集 V ∈ τ Y V\in\tau_Y V ∈ τ Y 都有
f − 1 ( V ) ∈ τ X f^{-1}(V)\in\tau_X f − 1 ( V ) ∈ τ X ,则称 f f f 连续。若双射 f f f 连续且逆映射
f − 1 f^{-1} f − 1 也连续,则称 f f f 为同胚,称 X X X 与 Y Y Y 同胚。
逆像与任意并、任意交、补集都交换,因此连续性可等价表述为“每个闭集的逆像闭”。逐点地,f f f 在 x x x 连续等价于:对 f ( x ) f(x) f ( x ) 的每个邻域 N N N ,存在 x x x 的邻域 M M M 使 f ( M ) ⊆ N f(M)\subseteq N f ( M ) ⊆ N 。若 B Y \mathcal B_Y B Y 是 Y Y Y 的基,只需检查每个 B ∈ B Y B\in\mathcal B_Y B ∈ B Y 的逆像开,因为一般开集是基元素的并。
恒等映射连续,连续映射的复合连续。后者直接来自
( g ∘ f ) − 1 ( W ) = f − 1 ( g − 1 ( W ) ) . (g\circ f)^{-1}(W)=f^{-1}\!\left(g^{-1}(W)\right). ( g ∘ f ) − 1 ( W ) = f − 1 ( g − 1 ( W ) ) .
同胚比连续双射更强:连续双射可能把不同的局部开集结构压到同一集合对应上,而逆映射无法保持开集。等价地,双射 f f f 是同胚当且仅当它连续且为开映射。
例 4:用基判据证明投影与多项式连续
积空间的投影 π X : X × Y → X \pi_X:X\times Y\to X π X : X × Y → X 连续,因为对任意开集 U ⊆ X U\subseteq X U ⊆ X ,
π X − 1 ( U ) = U × Y , \pi_X^{-1}(U)=U\times Y, π X − 1 ( U ) = U × Y , 它是积拓扑的基元素。投影还是开映射:基元素 U × V U\times V U × V 的像为 U U U ,而一般开集是基元素的并。
对 f : R → R f:\mathbb R\to\mathbb R f : R → R ,f ( x ) = x 2 f(x)=x^2 f ( x ) = x 2 ,固定 x 0 x_0 x 0 和含
x 0 2 x_0^2 x 0 2 的开区间 V V V 。可取 ε > 0 \varepsilon>0 ε > 0 使
( x 0 2 − ε , x 0 2 + ε ) ⊆ V (x_0^2-\varepsilon,x_0^2+\varepsilon)\subseteq V ( x 0 2 − ε , x 0 2 + ε ) ⊆ V 。令
δ = min { 1 , ε 2 ∣ x 0 ∣ + 1 } . \delta=\min\left\{1,\frac{\varepsilon}{2|x_0|+1}\right\}. δ = min { 1 , 2∣ x 0 ∣ + 1 ε } . 若 ∣ x − x 0 ∣ < δ |x-x_0|<\delta ∣ x − x 0 ∣ < δ ,则 ∣ x + x 0 ∣ ≤ 2 ∣ x 0 ∣ + 1 |x+x_0|\le2|x_0|+1 ∣ x + x 0 ∣ ≤ 2∣ x 0 ∣ + 1 ,从而
∣ x 2 − x 0 2 ∣ = ∣ x − x 0 ∣ ∣ x + x 0 ∣ < ε . |x^2-x_0^2|=|x-x_0||x+x_0|<\varepsilon. ∣ x 2 − x 0 2 ∣ = ∣ x − x 0 ∣∣ x + x 0 ∣ < ε . 所以 x 0 x_0 x 0 有邻域映入 V V V ,逐点邻域判据给出连续性。这里的估计只是证明标准拓扑连续的一种方法;拓扑定义本身不要求任意空间都有距离。
同胚会保持所有只由开集定义的性质。例如对任意 A ⊆ X A\subseteq X A ⊆ X ,若
f : X → Y f:X\to Y f : X → Y 是同胚,则
f ( A ‾ ) = f ( A ) ‾ , f ( int A ) = int f ( A ) . f\!\left(\overline A\right)=\overline{f(A)},
\qquad
f\!\left(\operatorname{int}A\right)=\operatorname{int}f(A). f ( A ) = f ( A ) , f ( int A ) = int f ( A ) .
证明第一式时,A ‾ \overline A A 闭且同胚是闭映射,所以
f ( A ‾ ) f(\overline A) f ( A ) 是包含 f ( A ) f(A) f ( A ) 的闭集,得到
f ( A ) ‾ ⊆ f ( A ‾ ) \overline{f(A)}\subseteq f(\overline A) f ( A ) ⊆ f ( A ) 。对逆同胚应用同一论证,再由
f − 1 ( f ( A ) ‾ ) ⊇ A f^{-1}(\overline{f(A)})\supseteq A f − 1 ( f ( A ) ) ⊇ A 取闭包,得到反向包含。内部公式可取补集推出。因此同胚不是外观相似,而是局部邻域与闭包关系完全一致;后续的紧致、连通和分离性质也会随同胚保持。相反,长度、角度与曲率并非纯拓扑量,不能仅由同胚推出。
常见误区与拓扑粗细实验
若同一集合上 τ 1 ⊆ τ 2 \tau_1\subseteq\tau_2 τ 1 ⊆ τ 2 ,称 τ 2 \tau_2 τ 2 比 τ 1 \tau_1 τ 1 细。对
f : ( X , τ X ) → ( Y , τ Y ) f:(X,\tau_X)\to(Y,\tau_Y) f : ( X , τ X ) → ( Y , τ Y ) ,把定义域拓扑变细会让更多逆像有机会成为开集,因此连续性更容易;把值域拓扑变细则要检查更多开集,连续性更困难。极端核验是:离散定义域到任意空间的每个映射都连续;任意空间到不可分值域的每个映射都连续。
还应警惕四种替换:开集只对有限交封闭,不对可数交封闭;邻域不必开;连续映射不一定把开集送到开集;连续双射不一定是同胚。例如恒等双射
id : ( X , P ( X ) ) ⟶ ( X , { ∅ , X } ) \operatorname{id}:(X,\mathcal P(X))\longrightarrow(X,\{\varnothing,X\}) id : ( X , P ( X )) ⟶ ( X , { ∅ , X })
连续,但当 ∣ X ∣ > 1 |X|>1 ∣ X ∣ > 1 时逆映射不连续。这个思考实验只改变拓扑,不改变点集和函数公式,清楚显示连续性属于“映射加两端拓扑”,不属于公式本身。
练习
练习 1:验证余有限拓扑 标记完成
所属知识 拓扑公理
难度 2/5 设 X X X 是无限集合。证明 τ c o f \tau_{\mathrm{cof}} τ cof 是拓扑,并判断单点集是否闭。
查看提示 用 De Morgan 律把交、并转化为有限补集的并、交;任意并为空时单独处理。
查看解答 ∅ ∈ τ c o f \varnothing\in\tau_{\mathrm{cof}} ∅ ∈ τ cof ,且 X X X 的补集为空,所以
X ∈ τ c o f X\in\tau_{\mathrm{cof}} X ∈ τ cof 。任意非空族 ( U i ) (U_i) ( U i ) 中选一个非空成员 U j U_j U j ,则
X ∖ ⋃ i U i = ⋂ i ( X ∖ U i ) ⊆ X ∖ U j , X\setminus\bigcup_iU_i=\bigcap_i(X\setminus U_i)\subseteq X\setminus U_j, X ∖ i ⋃ U i = i ⋂ ( X ∖ U i ) ⊆ X ∖ U j , 故补集有限;空族并已是空集。有限个非空成员的交之补集是有限个有限集的并,仍有限;若有成员为空,交集为空。三条公理成立。对每个 x ∈ X x\in X x ∈ X ,
X ∖ { x } X\setminus\{x\} X ∖ { x } 余有限且开,所以 { x } \{x\} { x } 闭。
练习 2:闭集运算的对偶 标记完成
所属知识 开集与闭集
难度 2/5 从开集公理推出:任意族闭集的交闭,有限族闭集的并闭。说明为什么该证明不能保证可数个闭集的并闭。
查看提示 分别对任意交与有限并取补集,再使用 De Morgan 律。
查看解答 若每个 F i F_i F i 闭,则
X ∖ ⋂ i F i = ⋃ i ( X ∖ F i ) X\setminus\bigcap_iF_i=\bigcup_i(X\setminus F_i) X ∖ ⋂ i F i = ⋃ i ( X ∖ F i ) 是任意开集并,故交闭。若只有有限个 F i F_i F i ,则
X ∖ ⋃ i F i = ⋂ i ( X ∖ F i ) X\setminus\bigcup_iF_i=\bigcap_i(X\setminus F_i) X ∖ ⋃ i F i = ⋂ i ( X ∖ F i ) 是有限开集交,故并闭。可数并的补集是可数开集交,而拓扑公理没有保证它开。实数中闭单点集
{ 1 / n } \{1/n\} { 1/ n } 的并不含其极限点 0 0 0 ,正是反例。
练习 3:半开区间构成的基 标记完成
所属知识 拓扑基
难度 3/5 证明 B = { [ a , b ) : a < b , a , b ∈ R } \mathcal B=\{[a,b):a<b,\ a,b\in\mathbb R\} B = {[ a , b ) : a < b , a , b ∈ R } 是 R \mathbb R R 上某个拓扑的基,并说明它生成的拓扑是否包含标准拓扑。
查看提示 交叠点 x 同时位于两个半开区间时,从较大的左端点开始选一个足够短的半开区间。
查看解答 每个 x x x 属于 [ x , x + 1 ) [x,x+1) [ x , x + 1 ) 。若
x ∈ [ a , b ) ∩ [ c , d ) x\in[a,b)\cap[c,d) x ∈ [ a , b ) ∩ [ c , d ) ,令 e = max ( a , c ) e=\max(a,c) e = max ( a , c ) 、r = min ( b , d ) r=\min(b,d) r = min ( b , d ) ,则
e ≤ x < r e\le x<r e ≤ x < r ;取 s s s 满足 x < s < r x<s<r x < s < r ,有
x ∈ [ x , s ) ⊆ [ a , b ) ∩ [ c , d ) x\in[x,s)\subseteq[a,b)\cap[c,d) x ∈ [ x , s ) ⊆ [ a , b ) ∩ [ c , d ) 。故基条件成立。标准开区间
( u , v ) (u,v) ( u , v ) 可写成
⋃ x ∈ ( u , v ) [ x , v ) \bigcup_{x\in(u,v)}[x,v) ⋃ x ∈ ( u , v ) [ x , v ) ,所以标准拓扑包含于该基生成的拓扑。包含严格,因为 [ 0 , 1 ) [0,1) [ 0 , 1 ) 在新拓扑中开,在标准拓扑中不开。
练习 4:子空间中的开与闭 标记完成
所属知识 子空间拓扑
难度 3/5 令 A = [ 0 , 2 ] ⊆ R A=[0,2]\subseteq\mathbb R A = [ 0 , 2 ] ⊆ R 。证明 [ 0 , 1 ) [0,1) [ 0 , 1 ) 在 A A A 中开,[ 0 , 1 ] [0,1] [ 0 , 1 ] 在 A A A 中闭;判断 [ 0 , 1 ) [0,1) [ 0 , 1 ) 在 A A A 中是否闭。
查看提示 分别把集合写成 A 与母空间开集或闭集的交。
查看解答 [ 0 , 1 ) = A ∩ ( − 1 , 1 ) [0,1)=A\cap(-1,1) [ 0 , 1 ) = A ∩ ( − 1 , 1 ) ,所以在 A A A 中开;
[ 0 , 1 ] = A ∩ ( − ∞ , 1 ] [0,1]=A\cap(-\infty,1] [ 0 , 1 ] = A ∩ ( − ∞ , 1 ] ,而 ( − ∞ , 1 ] (-\infty,1] ( − ∞ , 1 ] 在实数中闭,所以它在
A A A 中闭。[ 0 , 1 ) [0,1) [ 0 , 1 ) 在 A A A 中不闭,因为其在 A A A 中的补集
[ 1 , 2 ] [1,2] [ 1 , 2 ] 不是 A A A 中开集;等价地,序列 1 − 1 / n 1-1/n 1 − 1/ n 位于 [ 0 , 1 ) [0,1) [ 0 , 1 ) 且在
A A A 中收敛到不属于该集合的 1 1 1 。
练习 5:到积空间的连续性 标记完成
所属知识 积拓扑
难度 4/5 设 f : Z → X f:Z\to X f : Z → X 、g : Z → Y g:Z\to Y g : Z → Y 连续。证明
h : Z → X × Y h:Z\to X\times Y h : Z → X × Y ,h ( z ) = ( f ( z ) , g ( z ) ) h(z)=(f(z),g(z)) h ( z ) = ( f ( z ) , g ( z )) 连续。
查看提示 先求基元素
U × V U\times V U × V 的逆像,并把它写成两个开集的交。
查看解答 积拓扑的基元素为 U × V U\times V U × V ,其中 U ⊆ X U\subseteq X U ⊆ X 、V ⊆ Y V\subseteq Y V ⊆ Y 开。计算得
h − 1 ( U × V ) = f − 1 ( U ) ∩ g − 1 ( V ) . h^{-1}(U\times V)=f^{-1}(U)\cap g^{-1}(V). h − 1 ( U × V ) = f − 1 ( U ) ∩ g − 1 ( V ) . 两项由连续性为开,有限交仍开。基元素逆像均开,故 h h h 连续。等价地,
π X ∘ h = f \pi_X\circ h=f π X ∘ h = f 与 π Y ∘ h = g \pi_Y\circ h=g π Y ∘ h = g ;积拓扑正是让两坐标连续的最粗拓扑。
练习 6:商映射的因子化判据 标记完成
所属知识 商拓扑
难度 4/5 设 q : X → X / ∼ q:X\to X/{\sim} q : X → X / ∼ 为商映射,连续映射 f : X → Y f:X\to Y f : X → Y 在每个等价类上取常值。证明存在唯一连续映射 h : X / ∼ → Y h:X/{\sim}\to Y h : X / ∼ → Y 使 f = h ∘ q f=h\circ q f = h ∘ q 。
查看提示 先用
h ( q ( x ) ) = f ( x ) h(q(x))=f(x) h ( q ( x )) = f ( x ) 定义 h;良定义来自 f 在等价类上取常值,连续性直接使用商拓扑定义。
查看解答 定义 h ( [ x ] ) = f ( x ) h([x])=f(x) h ([ x ]) = f ( x ) 。若 [ x ] = [ x ′ ] [x]=[x'] [ x ] = [ x ′ ] ,则 x ∼ x ′ x\sim x' x ∼ x ′ ,由假设
f ( x ) = f ( x ′ ) f(x)=f(x') f ( x ) = f ( x ′ ) ,所以定义良好。q q q 满射使满足 f = h ∘ q f=h\circ q f = h ∘ q 的 h h h 必然唯一。对任意开集 V ⊆ Y V\subseteq Y V ⊆ Y ,
q − 1 ( h − 1 ( V ) ) = f − 1 ( V ) q^{-1}\!\left(h^{-1}(V)\right)=f^{-1}(V) q − 1 ( h − 1 ( V ) ) = f − 1 ( V ) 在 X X X 中开。由商拓扑定义,h − 1 ( V ) h^{-1}(V) h − 1 ( V ) 在 X / ∼ X/{\sim} X / ∼ 中开,因此
h h h 连续。这里必须使用 f f f 连续与商拓扑;仅有集合层面的因子化不能推出连续性。
概念连接与后续学习
集合与映射
提供幂集、逆像、等价关系和商集语言;逆像保持集合运算是连续性证明的代数核心。
函数与图像
给出复合、双射和逆映射;拓扑连续性把实函数的局部概念推广到一般空间。
证明策略
支撑按公理验证、构造更小基邻域以及用反例限定可数交等边界。
紧致性、连通性与分离公理
将用开覆盖、分离和连续像研究全局性质,并补全连续双射成为同胚的常用条件。
流形、坐标图与切空间
将在拓扑空间上加入局部欧氏、可数性与光滑相容条件。
课程 · 2004 Introduction to Topology James Munkres
用于核对 M15 点集拓扑部分的定义、保持性质、分离条件、反例与练习。
打开官方来源
MIT OpenCourseWare 18.901 Introduction to Topology 的课程材料覆盖拓扑空间、连续函数、基、子空间、积与商等主题,可用于逐条核对定义和证明。阅读时应始终标明母空间及其拓扑:同一子集在母空间和子空间中的开闭性可能不同,同一函数公式在不同定义域或值域拓扑下也可能改变连续性。
本章把“附近”编码为满足任意并与有限交公理的开集族,再用基和子基给出可操作的局部描述。子空间限制已有拓扑,积拓扑协调各坐标,商拓扑表达粘合;连续映射由开集逆像定义,同胚则要求双向保持拓扑。下一章将只依赖这些结构,研究哪些开覆盖可有限压缩、空间能否被分开,以及分离公理如何保证极限与紧集具有良好性质。