2026-03-06

Topo Basic Note

Topo Basic Note

基本概念

拓扑与拓扑基与邻域

拓扑就是在一个集合上定义哪些是开集,同时满足对有限交,无限并的封闭性.

于是闭集公里说的是你也可以定义哪些是闭集满足对有限并和无限交的封闭性

邻域有的定义为包含一个点的开集,有的定义为包含一个点的开集的超集,就是是否允许非开集邻域.

开集等价条件

一个集合是开集等价于其中所有点都有被这个集合包含的邻域

左推右显然,右推左就把所有邻域并起来说明相互包含.

UUβ\beta生成开集的条件

β\beta是集合XX上的拓扑基,UXU\subset Xβ\beta生成的拓扑中的开集等价于xU,Bxβ,s.t. xBxU\forall x\in U,\exists B_x\in \beta,s.t.\ x\in B_x\subset U

左推右:UU是一些BxB_x的并,所以xUx\in U一定有xx属于某个BxB_x.

右推左:把所有BxB_x并起来.

生成相同拓扑的充分条件

对拓扑(X,T)(X,T)中的一个开集族AA,若对XX中任意开集UU,xU\forall x\in U,都有VxA,xVxU\exists V_x\in A,x\in V_x\subset U,则AA是一个拓扑基,且生成的恰好是(X,T)(X,T)

验证:显然对所有的xx你可以找到一个VV包含他,显然任意两个V1,V2A,V1V2V_1,V_2\in A,V_1\subset V_2是开集可以找到x(V1V2)Ax\in (V_1\cap V_2)\in A,是拓扑基.

显然你用开集不可能生成不是开集的东西,显然所有开集都有U=xUVxU=\bigcup_{x\in U}V_x,就行了.

拓扑基的判定

BB是拓扑基当且仅当:

  • 并集是全集.
  • BB中任意两个集合的交在BB中或为空.

显然

内部,外部

IntA=UA,U is openUClA=FA,F is closeF\begin{gathered} \operatorname{Int} A = \bigcup_{U\subset A,U \text{ is open}} U \\ \operatorname{Cl} A=\bigcap_{F\supset A,F \text{ is close}} F \end{gathered}

感觉内部外部的运算基本是符合直觉的.

属于闭包的条件

xClA    xU,U is open    UA\begin{gathered} x\in \operatorname{Cl}A \\ \iff \forall x\in U,U \text{ is open} \iff U\cap A\ne \varnothing \end{gathered}

存在UU为开集包含xx且与AA不交,等价于(XU)A(X-U)\supset A, ClAXU\operatorname{Cl}A\subset X-U,等价于xx不在闭包中.所以反过来逆否命题也成立.

这个实际在说,闭包就是不能用一个开集把它和AA分开的点.

同理可以得到 xIntAx \in \operatorname{Int}A当且仅当xx的任意邻域和XAX-A不交.

极限,导集

集合AA的聚点/极限点:点xx的任意去心邻域都与AA有交,则xxAA的聚点.

导集:AA的所有聚点组成的集合AA'.

点列极限:若对数列xnx_n和点pp,对 pp 的任意邻域总存在NN使得n>Nn>Nxnx_n全部落在UU中则xnx_n的极限是pp.

需要注意的是极限点和点列的关系问题:

  • 点列不一定只有一个极限点:证明极限点唯一一般是要用到可分性的吧.比如平凡拓扑中任意点列都有任意点当极限点.
  • 极限点不一定有点列趋近:比如RR上可数补拓扑中R{0}R-\{0\}集合不存在集合趋向00:对任意点列,你总可以用一个可数补拓扑把这个数列中后面的所有项都删掉让它落不进去.
ClA=AA\begin{gathered} \operatorname{Cl}A=A\cup A' \end{gathered}

用刚才关于点属于闭包的性质: xClAx\in \operatorname{Cl}A等价于xx的任意邻域里有AA中的点,而AA'是任意去心邻域里有AA中的点,则并上AA就一样了,很显然吧.

子空间

(X,T)(X,T)是一个拓扑,若AXA\subset X,定义 (A,{SAST})(A,\{ S\cap A|S\in T \})AA上的拓扑.

容易验证它确实是个拓扑.且若AA是开/闭的,则子集的开/闭集在外面也是开/闭集.

原空间(X,T)(X,T)的一组基BB,对子空间AA交后得到的也是子空间的一组基

我们用上面那个判定拓扑基的条件,对于子空间的每个开集VA,xVV\cap A,\forall x\in V,存在xBiVx\in B_i\subset V,于是xVAxxBi(BiA)(VA)\forall x\in V\cap A\forall x x\exists B_i\in (B_i\cap A)\subset (V\cap A),即证.

`

连续,同胚

连续映射:对任意f(x)f(x)的邻域UU,存在xx的邻域VV使得f(V)Uf(V)\subset U则称ff在点xx连续.

同胚:若f:ABf:A\to B连续且为双射,则ff是同胚,A,BA,B是同胚的.

连续的充要条件是把开集拉回开集,即 U is open    f1(U) is openU\text{ is open} \implies f^{-1}(U) \text{ is open}

必要性:只要对UU中每个点xx使用定义得到xf(Vx)Ux\in f(V_x)\subset U,说明f1(U)=xVxf^{-1}(U)=\bigcup_x V_x即可.

充分性:直接令V=f1(U)V=f^{-1}(U)

那么也等价于把闭集拉回闭集.

也可以容易的说明连续函数复合仍然连续.

limnxn=x\lim_{n \to \infty} x_n=x,则 limnf(xn)=f(x)\lim_{n \to \infty} f(x_n)=f(x)

拆定义,则对任意f(x)f(x)的邻域,f1(f(x))f^{-1}(f(x))xx的邻域,xnx_n只有有限项在这外面,则f(xn)f(x_n)只有有限项在f(x)f(x)的任意邻域外面,就行了

书上还有一条性质是,连续映射满足 xClAx\in \operatorname{Cl}Af(x)Clf(A)f(x)\in \operatorname{Cl}f(A).也是直接用定义就能证.

焊接引理

如果A,BXA,B\subset XXX的闭子空间,X=ABX=A\cup B,有f:AYf:A\to Y,g:BYg:B\to Y,且f,gf,g分别连续,f=gf=gABA\cap B成立,

h(x):XY={f(x),xAg(x),xB\begin{gathered} h(x):X\to Y=\begin{cases} f(x),x\in A \\ g(x),x\in B \end{cases} \end{gathered}

是连续映射

几乎是显然的:hhYY中的闭集拉回A,BA,B中的闭集,而因为A,BA,B是闭子空间,A,BA,B中的闭集也是XX中的闭集,然后再并起来也是闭集,于是得证.

todo:同胚保持边界

乘积拓扑

乘积空间

对拓扑空间(X,T)(X,T)(Y,S)(Y,S),其乘积空间X×YX\times Y上的拓扑是由所有形如U×VU\times V的集合生成的,其中UT,VSU\in T,V\in S.

那么这个定义合法需要:

B={U×VUT,VS}B=\{U\times V| U\in T,V\in S\}构成一组拓扑基

首先因为X×YBX\times Y\in B,所以显然全覆盖了.

只要验证BB中任意两个集合的交,容易发现(U1×V1)(U2×V2)=(U1U2)×(V1V2)(U_1\times V_1)\cap (U_2\times V_2)=(U_1\cap U_2)\times (V_1\cap V_2),于是任意两个的交也在BB中,得证.

拓扑基的乘积是乘积空集的拓扑基

(X,T)(X,T)的拓扑基为BXB_X,(Y,S)(Y,S)的拓扑基为BYB_Y,令B={U×VUBX,VBY}B=\{U\times V| U\in B_X,V\in B_Y\}.仍然验证两条拓扑基判定:你发现第一条显然,第二条和上个定理一样显然,得证.

X,YX,Y各自相同的子空间AX,BYA\subset X,B\subset Y,A×BA\times B的乘积拓扑与A×BA\times B作为X×YX\times Y的子空间诱导的拓扑相同

子空间的拓扑基是拓扑基中的集合直接对应到子空间,所以由子空间诱导的拓扑的基是

{(U×V)(A×B)UT,VS}\begin{gathered} \{(U\times V)\cap (A\times B)| U\in T,V\in S\} \end{gathered}

而乘积拓扑的基是

{(UA)×(VB)UT,VS}\begin{gathered} \{(U\cap A)\times (V\cap B)| U\in T,V\in S\} \end{gathered}

于是直接相等.

可分性

T1T_1可分:对任意两个不同的点x,yx,y,存在邻域xU,yVx\in U,y\in V满足yU,yVy\notin U,y\notin V.

T2T_2可分:对任意两个不同的点x,yx,y,存在邻域xU,yVx\in U,y\in V满足UV=U\cap V=\varnothing.

T3T_3可分:对任意点xx和闭集FF满足xFx\notin F,存在邻域xU,FVx\in U,F\subset V满足UV=U\cap V=\varnothing.

T4T_4可分:对任意两个不交的闭集F1,F2F_1,F_2,存在邻域F1U1,F2U2F_1\subset U_1,F_2\subset U_2满足U1U2=U_1\cap U_2=\varnothing.

T2T_2可分对子空间

(X,T)(X,T)T2T_2,则XX的任意子空间也是T2T_2.

显然.把你用XXT2T_2找到的和子空间交一下就好了.

T2T_2可分的两个空间乘积也是T2T_2可分的.

同样显然.把你用X,YX,YT2T_2找到的对应相乘即可.

度量空间是T4可分的

todo

开映射,闭映射

把开/闭集映到开/闭集的映射称为开/闭映射

p:X×YX,(x,y)x\begin{gathered} p:X\times Y\to X,(x,y)\mapsto x \end{gathered}

是开映射

显然,考虑UX×YU\subset X\times Y是开集,那么拆分到拓扑基知U=a(Ua×Va)U=\bigcup_a (U_a\times V_a),于是p(U)=aUap(U)=\bigcup_a U_a是开的.

后面的内容

后来的课上觉得不喜欢边听边记...

20260409

局部紧

空间是局部紧当且仅当对任意点都存在一个紧集包含它的开邻域.

一点紧致化

(X,T)(X,T)是T2空间,令Y=X{},T=T{YCC is compact in X}Y=X\cup \{\infty\},T'=T\cup \{Y-C | C \text{ is compact in X}\}.

(Y,T)(Y,T')是拓扑空间:简单集合运算(紧集在这做任意交,有限并都是紧的,且T2保证紧集是闭集).容易验证.

(Y,T)(Y,T')XX上诱导的子拓扑是一样的:T2空间中紧集是闭集,所以YCY-C都是开集,而显然TT'也没有比XX多什么开集.

(Y,T)(Y,T')是紧的:对一个YY的开覆盖,你包含了\infty的那个开集一定是一个YCY-C,所以剩下的是一个XX的紧集.那么它的开覆盖一定有限覆盖就完事了.

如果XX是局部紧则YY是T2:任意两个XX中的点都是原来就能分开的,只要证明和\infty能分开,而你写出来发现这恰好就说的局部紧的定义.

如果XX不是紧的,则X=Y\overline{X}=Y:转成找 Int{}\operatorname{Int}\{ \infty \},而因为XX不紧所以这个点不是开集,于是只能是空集.

20260430

轨道空间

曲面(surface):定义曲面是拓扑空间满足T2,C2T_2,C_2且任意一点都有一个与E2E^2E+2E^2_+同胚的邻域,且这个同胚把该点映射到原点.(E+2E^2_+是正半平面包含x轴)

曲面的可定向性:曲面可定向当且仅当不能把莫比乌斯带嵌入曲面

连接和(connected sum):两个曲面A,BA,B的连接和A#BA\#B是在其中各取一个开圆盘,把两个曲面分别挖掉这个开圆盘再粘合开圆盘的边界得到的新曲面.

连接和与取的圆盘和粘合方式无关

这个的证明思路大概是考虑:

  • 一个曲面上选定一个开圆盘,可以通过自同构把这个开圆盘移动到另一个地方
  • 粘合S1S^1只有正反两种粘法

然后仔细考虑每一条.

定义T2#T2#T2=nT2T^2\#T^2\ldots \#T^2=nT^2.

每个定向连通紧致(闭)曲面都同胚于nT2nT^2,(定义n=0n=0时是球面).定义nn为曲面的亏格.

每个不定向连通紧致(闭)曲面都同胚于nP2n {\mathbb P}^2.定义nn为曲面的亏格.

todo

P2#P2{\mathbb P}^2\#{\mathbb P}^2是克莱因瓶.

P2{\mathbb P}^2删掉一个开圆盘是莫比乌斯环,两个莫比乌斯环的边界粘合是克莱因瓶.

todo more

T2#P2=3P2\begin{gathered} T^2\# {\mathbb P}^2=3 {\mathbb P}^2 \end{gathered}

todo

三角形

曲面上的三角形是其一个同胚于E2E^2上一个三角形闭区域的子空间.且这个E2E^2三角形区域的点的同胚对应点是三角形的顶点,边的同胚对应的边是三角形的边.

三角剖分

有限多个三角形覆盖整个平面,且任意两个三角形不交或交于公共边或交于公共点.

闭曲面都有三角剖分

感觉你先证 P2{\mathbb P}^2T2T^2有,那么连接和也有是比较明显的.

欧拉示性数(Euler characteristic)

定义χ(S)=\chi(S)=三角剖分的VE+FV-E+F.

欧拉示性数不依赖三角剖分的选取.

χ(S1#S2)=χ(S1)+χ(S2)2\begin{gathered} \chi(S_1\#S_2)=\chi(S_1)+\chi(S_2)-2 \end{gathered}

你的开圆盘就各取一个小三角形.

显然比粘贴之前少了22个面,少了33个点,33条边.于是就是少了22.

多边形表示:

二维的一个多边形pp把边成对粘合p/p/\sim得到一个闭曲面,则这(p,)(p,\sim)是这个闭曲面的 多边形表示.

todo

任意闭曲面都有多边形表示

todo

20260507

多边形表示

多边形表示都可化简到标准型


拓扑流形

T1,T2,C2,且每个点都有一个邻域同胚于EnE^nE+NE^N_+,且这个同胚把xx映到原点.

拓扑流形可度量化

T2和局部紧推T3,T3和C2用Uryhson 度量化定理.

感觉该补一手点集拓扑啊

Uryhson

Titchz

Uryhson 度量化