拓扑空间简介

目录

  • 介绍
  • 集合论与映射
    • 映射相关定义
      • 映射(map)
      • 映射的一种分类:一一的和到上的
  • 拓扑空间
    • 背景介绍
    • 开子集
      • 开子集的选择
    • 拓扑
      • 拓扑空间
      • 常见拓扑
      • 拓扑子空间
      • 同胚
      • 其他重要定义
    • 开覆盖
    • 紧致性
  • 习题

介绍

这是对梁灿彬的《微分几何与广义相对论》一书的阅读记录,对微分几何这种比较复杂的数学理论没经过在学校大量练习,还不做一些笔记,是难以熟悉掌握的。这里会结合我自身的知识储备,记录下微分几何的知识递进脉络。

集合论与映射

只需要了解过高中和大学掌握的朴素集合论,就可以进入微分几何的学习,这里不做阐述。

映射相关定义

映射也是高中就涉及到的知识,但它的具体定义在高数题目中其实很少用到,感觉不太熟悉这一方面,这里列出书上给出的严格定义。

映射(map)

定义: X X X Y Y Y是非空集合,一个从 X X X Y Y Y的映射(map),记作 f : X → Y f: X\rightarrow Y f:XY,是一个法则 f f f,它给 X X X每个元素,指定 Y Y Y唯一的对应元素。若 y ∈ Y y\in Y yY x ∈ X x\in X xX的对应元素,写作 y = f ( x ) y=f(x) y=f(x),称 y y y x x x在映射 f f f下的像(image),称 x x x y y y的原像或逆像(inverse image)。 X X X称为映射 f f f的定义域(domain), X X X的所有元素在映射 f f f下的像的集合,记作 f [ X ] f[X] f[X],称为映射 f : X → Y f:X\rightarrow Y f:XY的值域(range)。

以下给出一些常用记法和说明:

  • 映射的相等:当且仅当 f ( x ) = f ′ ( x ) , ∀ x ∈ X f(x)=f'(x),\forall x\in X f(x)=f(x),xX,映射 f : X → Y f: X\rightarrow Y f:XY和映射 f ′ : X → Y f': X\rightarrow Y f:XY相等。
  • y = f ( x ) y=f(x) y=f(x)的另一种记法为: f : x ↦ y f:x\mapsto y f:xy
  • 在映射 f f f下部分像的集合,可以记为 f [ A ] = { y ∈ Y ∣ ∃ x ∈ A , y = f ( x ) } ⊂ Y f[A]=\{y\in Y| \exists x\in A, y=f(x)\}\subset Y f[A]={yY∣∃xA,y=f(x)}Y

映射的简单示意图

上图是映射的简单示意图,可以加深印象,认识到 X X X中每个元素都会映射到 Y Y Y形象化的说就是 X X X中每个元素都会伸出一个箭头到 Y Y Y中某元素上;但 Y Y Y中的元素则没有什么严格约束,可以多个箭头连到一个元素上,也可以有没有箭头连的“孤独的元素”。

映射的一种分类:一一的和到上的

定义: 映射 f : X → Y f:X\to Y f:XY一一的(one-to-one),当且仅当任意一个 y ∈ Y y\in Y yY,有不多于一个原像; f : X → Y f:X\to Y f:XY到上的(onto),当且仅当任意一个 y ∈ Y y\in Y yY都有原像。

这里是梁书中的叫法,其他书中有用单射(injection)和满射(surjection)的,它们对应上述定义的一一到上

既是一一的又是到上的映射被称为一一到上的,其他书中可能称为双射(bijection)或一一映射,这种一一映射会强于之前定义的一一的。为避免歧义,一一的仅用于指单射。

单射和满射的概念很简单,但不经常锻炼又容易混淆,这里从名字上来速记。单射和满射都是针对 Y Y Y的约束,单射中的对应至多1个,意思是 Y Y Y中元素被至多一个箭头指向;满射中的对应所有,即所有 Y Y Y中的元素都有箭头指向它。

拓扑空间

背景介绍

如果映射 f : X → Y f:X\to Y f:XY中, X = R X=R X=R Y = R Y=R Y=R,那么 f f f就表示定义域为 R R R的一元函数。这个映射不仅可以定义一一到上的要求,还可以定义连续性,可微性等诸多有用的属性。高等数学中对连续性的定义依赖于距离这个概念:
∀ ε > 0 , ∃ δ > 0 , w h e n ∣ x ′ − x ∣ < δ , ∣ f ( x ′ ) − f ( x ) ∣ < ε \forall\varepsilon>0, \exist \delta>0,when\ |x'-x|<\delta, |f(x')-f(x)|<\varepsilon ε>0,δ>0,when xx<δ,f(x)f(x)<ε
这里,两个不等式实质上都是暗示数轴上的距离大小关系相互依赖。只有距离能定义,这种连续性才可以定义,这肯定无法推广到任意集合上,因为有些集合无法定义出距离。

然而,细想一下,似乎连续性有另一种不依赖于距离的定义方式,即:使用开区间定义,描述如下:

X = Y = R X=Y=R X=Y=R,当且仅当 Y Y Y中任一开区间的“逆像”都是 X X X开区间之并(或空集), f : X → Y f:X\to Y f:XY是连续的。

不给出证明,只考虑一下这个定义能不能去排除间断点即可。

  • 对于可去间断点,在那个间断点附近取 Y Y Y的一个很小的开区间,逆像将只有一个元素,一个元素显然不可能是开区间,也不可能表示为开区间之并,因此背离定义,是不连续的。
  • 对于跳跃间断点,在跳跃点总能取到一个开区间,让原像包含一端闭区间,只要有一端是闭区间,就不可能表示为开区间之并。
  • 对于无穷间断点,补充定义的话,只要包含定义的点,那么原像就包含闭区间。
  • 对于震荡间断点,同样在无定义点补充定义的话,那么原像也要包含一个只有一个元素的区间,其他开区间将无限趋近于这个点。

开子集

上述开区间之并的概念很重要,不仅可以用于定义连续性,还可以推广到任意集合。 R R R的可表示为开区间之并的子集我们称为开子集。我们将开子集的概念进行推广。

开子集的选择

R R R上有天然的开子集定义,使用开区间来定义即可。但对于任意集合,可能都不存在数轴的概念,无法定义开区间,我们则需要指定一种开子集的定义方式。同一集合可以定义多种开子集,我们先对定义方式做出约束,即开子集需要满足的基本性质:

  • X X X集本身和空集 ∅ \varnothing 为开子集
  • 有限个开子集之交为开子集
  • 任意个开子集之并为开子集

可见,只定义 ∅ \varnothing X X X为开子集,其他子集都不是开子集,这就是一种开子集的定义方式;指定 X X X的所有子集都是开子集也是一种定义方式。只不过这两种定义方式都是比较平凡的,除了满足性质外,没有对集合 X X X附加什么约束。

拓扑

当我们为一个集合 X X X定义了一种开子集,就是为 X X X附加了一种额外结构,即拓扑结构

定义了拓扑结构的集合 X X X全体开子集的集合,被称为 X X X的一个拓扑。书上将一个拓扑用花体符号来写,笔记里就简单记录为 T T T

更符号化的写法是:非空集合 X X X的一个拓扑(topology) T T T X X X的若干子集的集合,满足:

  • X ∈ T , ∅ ∈ T X\in T, \varnothing\in T XT,T
  • O i ∈ T O_i\in T OiT i = 1 , 2 , ⋯ , n i=1,2,\cdots,n i=1,2,,n,则 ⋂ n i = 1 O i ∈ T \underset{i=1}{\overset{n}\bigcap}O_i\in T i=1nOiT
  • O α ∈ T , ∀ α O_\alpha\in T, \forall \alpha OαT,α,则 ⋂ α O α ∈ T \underset{\alpha}{\bigcap}O_\alpha\in T αOαT

拓扑空间

定义了拓扑 T T T的集合 X X X称为拓扑空间,记为 ( X , T ) (X,T) (X,T),明确了拓扑时,也可只记为 X X X

常见拓扑

  • 离散拓扑:指定 X X X中所有子集为开子集所定义的拓扑。
  • 凝聚拓扑:只指定 X X X ∅ \varnothing 为开子集所定义的拓扑。
  • R R R的通常拓扑:指定 ∅ \varnothing R R R中能表示为开区间之并的子集为开子集所定义的拓扑。
  • R n R^n Rn的通常拓扑:指定 ∅ \varnothing R n R^n Rn中能表示为开球之并的子集为开子集所定义的拓扑。其中开球是集合 B ( x 0 , r ) = { x ∈ R n ∣ ∣ x − x 0 ∣ < r } B(x_0,r)=\{x\in R^n|\ |x-x_0|<r\} B(x0,r)={xRn xx0<r},可以发现 n = 1 n=1 n=1时,开球就是开区间。
  • 乘积拓扑:设两个拓扑空间 ( X 1 , T 1 ) (X_1, T_1) (X1,T1) ( X 2 , T 2 ) (X_2, T_2) (X2,T2) X = X 1 × X 2 X=X_1\times X_2 X=X1×X2(笛卡尔积),定义 X X X的拓扑为: T = { O ∈ X ∣ O T=\{O\in X | O T={OXO可表示为形如 O 1 × O 2 O_1\times O_2 O1×O2的子集之并, O 1 ∈ T 1 , O 2 ∈ T 2 } O_1\in T_1, O_2\in T_2\} O1T1,O2T2},乘积拓扑可以推广到 n n n个拓扑的乘积, R n R^n Rn就是 R R R的乘积拓扑。

拓扑子空间

对于拓扑空间 ( X , T ) (X,T) (X,T)来说, X X X有一个非空子集 A A A A A A也可指定一个拓扑 T S T_S TS,使得 A A A也成为拓扑空间。

如果 A ∈ T A\in T AT,即 A A A X X X在拓扑 T T T下的开子集,那么 T S T_S TS很好定义,只要定义 T S = { V ⊂ A ∣ V ∈ T } T_S=\{V\subset A | V\in T\} TS={VAVT},即 A A A的所有子集中,属于 T T T的那些,都定义为 A A A的开子集即可。然而如果 A A A不是 X X X的开子集,那么按照上述 T S T_S TS的定义, A ∉ T S A\notin T_S A/TS,这违背了拓扑空间的定义。

一个更巧妙的 T S T_S TS的定义是:
T S = { V ⊂ A ∣ ∃ O ∈ T , V = A ∩ O } T_S=\{V\subset A | \exist O\in T, V=A\cap O\} TS={VA∣∃OT,V=AO}
这样即使 A A A不是 X X X的开子集, T S T_S TS也满足拓扑的要求。 T S T_S TS叫做 A A A的、由 T T T导出的诱导拓扑 ( A , T S ) (A,T_S) (A,TS)称为 ( X , T ) (X,T) (X,T)拓扑子空间

诱导拓扑是一个比较抽象的概念,书上举了一个很好的例子加深理解, R 2 R^2 R2上的通常拓扑是一个个开圆盘的并,在 R 2 R^2 R2中随便找一个圆周,它肯定不是开子集,但它上面也可以定义拓扑,就是用开圆盘和圆周相交,交的结果作为圆周的开子集。

这里我加入一些个人的理解,按开子集是开区间的抽象,是对集合的几何性质的一种描述,我们取 R 2 R^2 R2上通常拓扑的情况下,很显然一个个开球或开球之并是开区间之并,但二维空间中的圆周它本身也是连续的,按理说在上面定义一个和 R 2 R^2 R2中开区间意义接近的开区间也不难,但它不符合 R 2 R^2 R2上的开区间定义,所以诱导拓扑就是弱化了拓扑的定义,从而方便在这样的几何形状上复用 R 2 R^2 R2的拓扑结构,而无需再定义一个额外的拓扑。

同胚

在拓扑空间中重新定义连续:设 ( X , T ) (X,T) (X,T) ( Y , T S ) (Y,T_S) (Y,TS)为拓扑空间,映射 f : X → Y f:X\to Y f:XY是连续的,当且仅当 f − 1 [ O ] ∈ T , ∀ O ∈ T S f^{-1}[O]\in T,\ \forall O\in T_S f1[O]T, OTS

单点连续定义:设 ( X , T ) (X,T) (X,T) ( Y , T S ) (Y,T_S) (Y,TS)为拓扑空间,映射 f : X → Y f:X\to Y f:XY x ∈ X x\in X xX处连续,当且仅当对于 Y Y Y中任意包含 f ( x ) f(x) f(x)的开子集 G ′ G' G,总存在 X X X的一个开子集 G G G,使得 x ∈ G x\in G xG f [ G ] ⊂ G ′ f[G]\subset G' f[G]G。(原书中符号表达是这样的: ∀ \forall 满足 f ( x ) ∈ G ′ f(x)\in G' f(x)G G ′ ∈ T S G'\in T_S GTS ∃ G ∈ T \exist G\in T GT使得 x ∈ G x\in G xG f [ G ] ⊂ G ′ f[G]\subset G' f[G]G

同胚 ( X , T X ) (X,T_X) (X,TX) ( Y , T Y ) (Y,T_Y) (Y,TY)称为互相同胚的(homeomorphic to each other),当且仅当存在一个映射 f : X → Y f: X\to Y f:XY,满足:

  • f f f是一一到上的;
  • f f f f − 1 f^{-1} f1都连续。

这样, f f f称为 ( X , T X ) (X,T_X) (X,TX) ( Y , T Y ) (Y,T_Y) (Y,TY)的同胚映射,简称同胚。

为什么同胚定义要求映射一一到上的,还要求 f f f f − 1 f^{-1} f1都连续?按理说一一到上且 f f f连续,那么 f − 1 f^{-1} f1就一定连续。实际上 R R R在通常拓扑下确实是这样,但这里是任意的拓扑。只需要将 T X T_X TX取为凝聚拓扑, T Y T_Y TY取为离散拓扑,那么 f f f连续, f − 1 f^{-1} f1将大概率不连续,即使映射是一一到上的。

可微性可否推广?连续性可微性有一个通用的记法 C n C^n Cn,即 n n n阶导函数存在且连续。 C 0 C^0 C0就对应连续性, C ∞ C^\infty C对应光滑 C 0 C^0 C0可以推广到拓扑空间的映射,但对于更高的要求则不能。事实上,拓扑空间之间的映射最高要求就是同胚,同胚在 X X X Y Y Y中元素之间建立了一一对应关系,且在开子集之间也建立了一一对应关系。一切由拓扑决定的性质会全息的被 f f f携带到 Y Y Y中,互相同胚的拓扑空间就是字面意义上像得不能再像了。

其他重要定义

这些定义其实在多元函数微积分中都存在,比如边界,内部,连通性等都能在 R 2 R^2 R2上的二元函数上找到对应的概念,事实上这些概念可以视为在拓扑上的延伸。

  • 邻域:集合 N ⊂ X N\subset X NX称为 x ∈ X x\in X xX的邻域,当且仅当 ∃ O ∈ T \exist O\in T OT,使得 x ∈ O ⊂ N x\in O\subset N xON,自身是开集的邻域叫开邻域。简而言之,就是一个集合能视为邻域,它就必须包含一个开子集,且 x x x属于这个开子集。
  • 闭集 C ⊂ X C\subset X CX叫做闭集(closed set),当且仅当 − C ∈ T -C\in T CT。形象说,就是 C C C的补集一定是开子集。闭集与开集完全对应,因此也满足3条性质,即“任意交、有限并、 X X X ∅ \varnothing 是闭集”
  • 既开又闭:显然 X X X ∅ \varnothing 既是开集有是闭集,任何拓扑空间都有这两个既开又闭的子集。
  • 连通的:只存在 X X X ∅ \varnothing 两个既开又闭的子集的拓扑空间是连通的。不连通的例子也好想,就 R R R上的两个不相交的开区间 A A A B B B,视为一个集合,由R的通常拓扑在这两个线段上诱导出的拓扑,就有两个额外的既开又闭的子集 A A A B B B。恰好这两个区域确实不连通。
  • 闭包 A A A的闭包 A ˉ \bar{A} Aˉ是所有包含 A A A的闭集的交集。
  • 内部 A A A的内部 i ( A ) i(A) i(A)是所有 A A A包含的开集的并集。
  • 边界 A A A的边界是 A ∙ = A ˉ − i ( A ) \overset{\bullet}A=\bar{A}-i(A) A=Aˉi(A)

开覆盖

定义: X X X的开子集的集合 { O α } \{O_\alpha\} {Oα}叫做 A ⊂ X A\subset X AX的一个开覆盖(open cover),当且仅当 A ⊂ ⋃ α O α A\subset \underset{\alpha}\bigcup O_\alpha AαOα。也可称 { O α } \{O_\alpha\} {Oα}覆盖 A A A

紧致性

有限开覆盖

{ O α } \{O_\alpha\} {Oα} A ⊂ X A\subset X AX的开覆盖,如果 { O α } \{O_\alpha\} {Oα}的有限元素的子集也覆盖 A A A,称 { O α } \{O_\alpha\} {Oα}有限开覆盖

紧致性

A A A任一开覆盖都有有限开覆盖,则称 A A A为紧致的。

紧致性稍微难以从直观的角度理解,选用 R R R的通常拓扑举例,如果 A A A是单点集(只包含一个元素),那他肯定是紧致的,任一开覆盖都必定有一个元素,这个元素包含 A A A中的唯一点。

A A A只要包含开区间,哪怕是单边开区间, A A A就不会是紧致的。比如 A = ( 0 , 1 ] A=(0,1] A=(0,1],可以选择一个开覆盖: { ( 1 / n , 2 ) ∣ n ∈ N } \{(1/n,2)|n\in N\} {(1/n,2)nN},这一段段开子集(开区间)一段逐渐逼近 0 0 0,无限并则肯定可以覆盖 A A A,但没有任何一个有限的并可以覆盖 A A A

R R R的紧致性

对于 R R R,有几个紧致性的结论, R R R本身不是紧致的; R R R的任意闭区间都紧致, R R R的任一开区间或半开区间都非紧致。

R R R的紧致性和闭集有密切联系,但不等价,具体区别可以归结为一个定理

( X , T ) (X,T) (X,T) T 2 T_2 T2空间, A ⊂ X A\subset X AX为紧致的,则 A A A为闭集。

其中, T 2 T_2 T2空间又叫做豪斯多夫空间,它指的是满足以下性质的拓扑空间: ∀ x , y ∈ X , x ≠ y , ∃ O 1 , O 2 ∈ T \forall x,y\in X, x\neq y, \exists O_1,O_2\in T x,yXx=y,O1,O2T,使得 x ∈ O 1 , y ∈ O 2 x\in O_1, y\in O_2 xO1,yO2,且 O 1 ∩ O 2 = ∅ O_1\cap O_2=\varnothing O1O2=

常见的拓扑空间都是 T 2 T_2 T2空间,但绝非全部。

习题

  1. 试证 A − B = A ∩ ( X − B ) , ∀ A , B ⊂ X A-B=A\cap(X-B), \forall A,B\subset X AB=A(XB),A,BX.

只要列举出差集的定义即可看出等式两边含义相同。
A − B = { x ∣ x ∈ A , x ∉ B } A-B=\{x|x\in A, x\notin B\} AB={xxA,x/B}
X − B = { x ∣ x ∈ X , x ∉ B } X-B=\{x|x\in X, x\notin B\} XB={xxX,x/B}
A ∩ ( X − B ) = { x ∣ x ∈ A , x ∈ ( X − B ) } = { x ∣ x ∈ A , x ∉ B } A\cap(X-B)=\{x | x\in A, x\in (X-B)\}=\{x | x\in A, x\notin B\} A(XB)={xxA,x(XB)}={xxA,x/B}

  1. 试证 X − ( B − A ) = ( X − B ) ∪ A , ∀ A , B ⊂ X X-(B-A)=(X-B)\cup A, \forall A,B\subset X X(BA)=(XB)A,A,BX.

根据德摩根律, X − ( B − A ) = X − ( B ∩ ( X − A ) ) = ( X − B ) ∪ ( X − ( X − A ) ) X-(B-A)=X-(B\cap(X-A))=(X-B)\cup(X-(X-A)) X(BA)=X(B(XA))=(XB)(X(XA))
其中用差集定义列举即可得知 X − ( X − A ) = A X-(X-A)=A X(XA)=A

  1. 判断映射 f : R → R f:R\to R f:RR是否是一一的(单射)、到上的(满射)。

f ( x ) = x 3 f(x)=x^3 f(x)=x3,双射
f ( x ) = x 2 f(x)=x^2 f(x)=x2,非单非满
f ( x ) = e x f(x)=e^x f(x)=ex,单射
f ( x ) = cos ⁡ x f(x)=\cos x f(x)=cosx,非单非满
f ( x ) = 5 f(x)=5 f(x)=5,非单非满

  1. 判断下面说法正确与否
  • 正切函数是由 R R R R R R的映射。否,定义域并非 R R R
  • 对数函数是由 R R R R R R的映射。否,定义域并非 R R R
  • ( a , b ] ⊂ R (a,b]\subset R (a,b]R用通常拓扑衡量是开集。否,无法表示为开区间之并
  • [ a , b ] ⊂ R [ a,b ]\subset R [a,b]R用通常拓扑衡量是闭集。是,它的补集可以表示为无限个开区间之并。
  1. 举出一个反例证明命题“ ( R , T u ) (R,T_u) (R,Tu)的无限个开子集之交为开子集”是假命题。

( R , T u ) (R,T_u) (R,Tu)指的是 R R R上的通常拓扑,开子集定义为能表示为开区间之并的集合。
构造一系列开子集, ( − 1 1 , 1 1 ) , ( − 1 2 , 1 2 ) , ⋯ , ( − 1 n , 1 n ) (-\frac{1}{1},\frac{1}{1}), (-\frac{1}{2},\frac{1}{2}),\cdots ,(-\frac{1}{n},\frac{1}{n}) (11,11),(21,21),,(n1,n1),当 n n n是无穷时,这无限个开子集之交是一个闭集 [ 0 ] [0] [0]

  1. 证明诱导拓扑定义满足拓扑的基本定义。

拓扑的基本定义有三个条件,逐个检验即可:

  1. 证明 A A A ∅ \varnothing 是开子集。
    A A A一定是开子集,根据诱导拓扑的定义 T S = { V ⊂ A ∣ ∃ O ∈ T , V = A ∩ O } T_S=\{V\subset A | \exist O\in T, V=A\cap O\} TS={VA∣∃OT,V=AO}
    V V V A A A时,肯定存在 O = X O=X O=X(这是由拓扑 ( X , T ) (X,T) (X,T)基本性质决定的),使得 A = A ∩ X A=A\cap X A=AX
    ∅ \varnothing 同理
  2. 证明有限交。
    即证明 T S T_S TS中有限个元素之交仍然是 T S T_S TS的元素。
    假设 V 1 , V 2 , ⋯ , V n ∈ T S V_1,V_2,\cdots , V_n\in T_S V1,V2,,VnTS,必然 ∃ O 1 , O 2 , ⋯ , O n ∈ T \exists O_1,O_2,\cdots , O_n\in T O1,O2,,OnT,使得 V 1 = A ∩ O 1 , V 2 = A ∩ O 2 , ⋯ , V n = A ∩ O n V_1=A\cap O_1,V_2=A\cap O_2, \cdots , V_n=A\cap O_n V1=AO1,V2=AO2,,Vn=AOn,故 V 1 ∩ V 2 ∩ ⋯ ∩ V n = A ∩ ( O 1 ∩ O 2 ∩ ⋯ ∩ O n ) V_1\cap V_2\cap \cdots \cap V_n=A\cap (O_1 \cap O_2\cap \cdots \cap O_n) V1V2Vn=A(O1O2On),故对于有限交 V = V 1 ∩ V 2 ∩ ⋯ ∩ V n ⊂ A V=V_1\cap V_2\cap \cdots \cap V_n\subset A V=V1V2VnA,总存在 O = O 1 ∩ O 2 ∩ ⋯ ∩ O n ∈ T O=O_1 \cap O_2 \cap \cdots \cap O_n\in T O=O1O2OnT,使得 V = A ∩ O V=A\cap O V=AO
  3. 证明无限并。
    假设有无限个 V α = A ∩ O α ⊂ A V_\alpha=A\cap O_\alpha\subset A Vα=AOαA,对于 V = ⋃ α V a = ⋃ α ( A ∩ O α ) = A ∩ ⋃ α O α = A ∩ O V=\underset{\alpha}\bigcup V_a=\underset{\alpha}\bigcup (A\cap O_\alpha)=A\cap\underset{\alpha}\bigcup O_\alpha=A\cap O V=αVa=α(AOα)=AαOα=AO
  1. 举例证明 ( R 3 , T u ) (R^3, T_u) (R3,Tu)存在不开不闭的子集。

R R R上通常拓扑很容易找到一个不开不闭的子集,比如 [ 1 , 3 ) [1,3) [1,3),一边开一边闭。
R 3 R^3 R3 R R R的乘积拓扑,而 [ 1 , 3 ) [1,3) [1,3)的笛卡尔积,形成一个半开半闭的立方体 [ 1 , 3 ) 3 [1,3)^3 [1,3)3,这就是一个不开不闭的子集。因为显然点 ( 1 , 1 , 1 ) ∈ R 3 (1,1,1)\in R^3 (1,1,1)R3不能由开球之并取到。

  1. 常值映射 f : ( X , T X ) → ( Y , T Y ) f:(X, T_X)\to (Y, T_Y) f:(X,TX)(Y,TY)是否连续?说明原因。

y 0 ∈ Y y_0\in Y y0Y,且 f ( x ) = y 0 , ∀ x ∈ X f(x)=y_0,\forall x\in X f(x)=y0,xX,连续就意味着,对于任意包含 y 0 y_0 y0的开子集,其原像也是开子集。由映射关系可知,对任意包含 y 0 y_0 y0的集合,其原像都是 X ∈ T X X\in T_X XTX,故映射连续。

  1. T D T_D TD X X X上的离散拓扑, T C T_C TC Y Y Y上的凝聚拓扑,找出从 ( X , T D ) (X,T_D) (X,TD) ( Y , T C ) (Y,T_C) (Y,TC)的所有连续映射,找出从 ( Y , T C ) (Y,T_C) (Y,TC) ( X , T D ) (X,T_D) (X,TD)的所有连续映射。

首先找从 ( X , T D ) (X,T_D) (X,TD) ( Y , T C ) (Y,T_C) (Y,TC)的连续映射,连续意味着,任何 T C T_C TC中的开子集,其逆像是 T D T_D TD中的开子集。由于 T C T_C TC中的开子集只有 Y Y Y ∅ \varnothing ∅ \varnothing 的逆像肯定仍然是 ∅ \varnothing ,因此只要要求 f − 1 [ Y ] ∈ T D f^{-1}[Y]\in T_D f1[Y]TD即可。根据映射的基本定义, f − 1 [ Y ] = X ∈ T D f^{-1}[Y]=X\in T_D f1[Y]=XTD,因此所有映射都是连续的。
然后找从 ( Y , T C ) (Y,T_C) (Y,TC) ( X , T D ) (X,T_D) (X,TD)的连续映射,即要求所有 X X X的子集,逆像都属于 { Y , ∅ } \{Y,\varnothing\} {Y,},那么只能是常值映射满足此要求。因为如果有两个不同的像,就 X X X就有两个不同的子集,都要求 Y Y Y是子集的逆像,但根据映射的定义,这是不可能的。

  1. 证明拓扑空间点连续的定义和映射连续的定义的等价性。

等价性意味着可以互相推导出,设映射为 f : ( X , T X ) → ( Y , T Y ) f:(X,T_X)\to(Y,T_Y) f:(X,TX)(Y,TY)

  1. 逐点连续 → \to 映射连续
    ∀ B ∈ T Y \forall B\in T_Y BTY,总可以分为三类, ∅ \varnothing ,与值域有交集,与值域无交集。
    其中,如果 B B B ∅ \varnothing 或与值域无交集,那么 f − 1 [ B ] = ∅ ∈ T X f^{-1}[B]=\varnothing\in T_X f1[B]=TX;
    如果 B B B与值域有交集,则可以取到像 y ∈ B y\in B yB,其逆像 x ∈ X x\in X xX,由于逐点连续,那么 x x x处也连续,那么必然存在 x ∈ A ∈ T X x\in A\in T_X xATX,使得 f [ A ] = B f[A]=B f[A]=B
    即,对任意 B B B,逆像都是属于 T X T_X TX,所证成立。
  2. 映射连续 → \to 逐点连续
    思路类似,同样挑出与值域有交集的 B ∈ T Y B\in T_Y BTY,其逆像 A A A必然属于 T X T_X TX
    对任意一点 x ∈ A ∈ T X x\in A\in T_X xATX,找到其像 y y y和包含 y y y B B B,则必然存在 A ∈ T X A\in T_X ATX,使得 x ∈ A x\in A xA,且 f [ A ] = B f[A]=B f[A]=B,故 x x x点连续。
  1. 试证任意开区间 ( a , b ) ⊂ R (a,b)\subset R (a,b)R R R R同胚。

同胚就意味着存在一个逆映射和本身都连续的双射, f : ( a , b ) → R f:(a,b)\to R f:(a,b)R
很容易构造出这样的一个双射:
f ( x ) = tan ⁡ ( π ( b − a ) ( x − a + b 2 ) ) , x ∈ ( a , b ) f(x)=\tan(\frac{\pi}{(b-a)}(x-\frac{a+b}{2})), x\in (a,b) f(x)=tan((ba)π(x2a+b)),x(a,b)

  1. X 1 ⊂ R , X 2 ⊂ R X_1\subset R, X_2\subset R X1R,X2R,其中 X 1 = ( 1 , 2 ) ∪ ( 2 , 3 ) X_1=(1,2)\cup (2,3) X1=(1,2)(2,3) X 2 = ( 1 , 2 ) ∪ [ 2 , 3 ) X_2=(1,2)\cup [2,3) X2=(1,2)[2,3),设 T 1 T_1 T1 T 2 T_2 T2分别是 ( R , T u ) (R,T_u) (R,Tu) X 1 X_1 X1 X 2 X_2 X2上的诱导拓扑,拓扑空间 ( X 1 , T 1 ) (X_1,T_1) (X1,T1) ( X 2 , T 2 ) (X_2, T_2) (X2,T2)是否连通?

连通的定义是,除了 X X X ∅ \varnothing 外,没有即开又闭的子集。
( X 1 , T 1 ) (X_1,T_1) (X1,T1)显然不连通,集合 ( 1 , 2 ) ∈ T 1 (1,2)\in T_1 (1,2)T1就是一个即开又闭的子集;
( X 2 , T 2 ) (X_2,T_2) (X2,T2)是连通的

  1. 任意集合 X X X配以离散拓扑,所得的拓扑空间是否连通?

离散拓扑中,所有子集都是开子集,那么所有子集(补集)也都是闭子集,所有子集都既开又闭,必然不连通。

  1. A ⊂ B A\subset B AB,试证:(a) A ˉ ⊂ B ˉ \bar{A}\subset \bar{B} AˉBˉ,提示 A ⊂ B A\subset B AB说明 B ˉ \bar{B} Bˉ是含 A A A的闭集;(b) i ( A ) ⊂ i ( B ) i(A)\subset i(B) i(A)i(B)

先回顾一下概念: A A A的闭包 A ˉ \bar{A} Aˉ是所有包含 A A A的闭集的交集; A A A的内部 i ( A ) i(A) i(A)是所有 A A A包含的开集的并集。
(a). 根据提示可知, B ˉ \bar{B} Bˉ是包含 A A A的闭集,又由于 A ˉ \bar{A} Aˉ是所有包含 A A A的闭集的交集,所有 A ˉ = ⋂ α C α \bar{A}=\underset{\alpha}\bigcap C_\alpha Aˉ=αCα,其中,某个 C α = B ˉ C_\alpha=\bar{B} Cα=Bˉ,因此, A ˉ ⊂ B ˉ \bar{A}\subset \bar{B} AˉBˉ
(b). 和上述思路一致, A A A包含的所有开集也必然被 B B B包含。

  1. 试证明 x ∈ A ˉ ↔ x x\in \bar{A}\leftrightarrow x xAˉx 的任一邻域与 A A A的交集非空。

回顾一下邻域的概念,邻域是一个集合,它能被视为邻域需要存在一个开子集被它包含,且此开子集有元素 x x x

  1. 从左推右 ⟹ \implies
    反证法,设开子集 O O O x x x的邻域,且 O ∩ A = ∅ O\cap A=\varnothing OA=,故 A ⊂ X − O A\subset X-O AXO,由上一题可知, A ˉ ⊂ X − O \bar{A}\subset X-O AˉXO,因为 X − O X-O XO本身就是闭集。故 x ∈ X − O x\in X-O xXO,矛盾。
  2. 从右推左 ⟸ \impliedby
    反证法,假设 x ∉ A ˉ x\notin \bar{A} x/Aˉ,且 ∀ O \forall O O作为 x x x的开邻域, O ∩ A ≠ ∅ O\cap A\neq \varnothing OA=。总存在闭集 B B B,使得 A ⊂ B A\subset B AB x ∉ B x\notin B x/B,故 x ∈ X − B x\in X-B xXB,那么 ( X − B ) ∩ A = ∅ (X-B)\cap A=\varnothing (XB)A= ( X − B ) (X-B) (XB)是开邻域,与前设矛盾。
  1. 试证明 R R R不是紧致的。

回顾紧致的定义,任一开覆盖都有有限开覆盖,则紧致。
很明显 R R R不是紧致的,可以找到一系列开子集 ( − n , − n + 2 ) , ( − n + 1 , − n + 3 ) ⋯ ( − 2 , 0 ) , ( 1 , 3 ) , ⋯ , ( n , n + 2 ) (-n,-n+2),(-n+1,-n+3) \cdots (-2,0),(1,3), \cdots, (n,n+2) (n,n+2),(n+1,n+3)(2,0),(1,3),,(n,n+2) n n n为无穷大。这一系列开子集可以覆盖 R R R,但有限的子集不能覆盖 R R R,所以不是紧致的。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/699905.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【软件架构】01-架构的概述

1、定义 软件架构就是软件的顶层结构 RUP&#xff08;统一过程开发&#xff09;4 1 视图 1&#xff09;逻辑视图&#xff1a; 描述系统的功能、组件和它们之间的关系。它主要关注系统的静态结构&#xff0c;包括类、接口、包、模块等&#xff0c;并用于表示系统的组织结构…

C++入门学习(三十六)函数的声明

程序是自上而下运行的&#xff0c;比如我下面的代码&#xff1a; #include <iostream> #include<string> using namespace std;int main() { int a1; int b2;int sumaddNumbers(a,b); cout<<sum;return 0; }int addNumbers(int a, int b) { int sum …

MFC 配置Halcon

1.新建一个MFC 工程&#xff0c;Halcon 为64位&#xff0c;所以先将工程改为x64 > VC 目录设置包含目录和库目录 包含目录 库目录 c/c ->常规 链接器 ->常规 > 链接器输入 在窗口中添加头文件 #include "HalconCpp.h" #include "Halcon.h"…

简单讲解并梳理微信小程序默认几个文件和文件夹结构及其作用

那么 我们来说一下 小程序整个项目结构 它各个文件 和 整体结构 这是我们新创建的一个小程序项目 我们从上到下 分别来看一下 这些文件和目录结构的作用 首先是 pages 它的作用在于存储整个项目所有的 page页面文件 我们小程序官方 是推荐我们将所有page 界面都放在pages目录…

稀疏计算、彩票假说、MoE、SparseGPT

稀疏计算可能是未来10年内最有潜力的深度学习方向之一&#xff0c;稀疏计算模拟了对人脑的观察&#xff0c;人脑在处理信息的时候只有少数神经元在活动&#xff0c;多数神经元是不工作的。而稀疏计算的基本思想是&#xff1a;在计算过程中&#xff0c;将一些不重要的参数设置为…

一招解决 vue数据格式校验时候 async-validator: [‘XXXX is not a number‘]

在vue中 amt数字需要进行纯数字校验&#xff1a; 格式都没问题&#xff0c;但是输入纯数字也会报错&#xff0c;报错如下&#xff1a; async-validator:[‘amt is not a number’] 网上找了一些&#xff0c;但是均为能奏效&#xff0c;尝试如下&#xff1a; 尝试1&#x…

基于Python网络爬虫的IT招聘就业岗位可视化分析推荐系统

文章目录 基于Python网络爬虫的IT招聘就业岗位可视化分析推荐系统项目概述招聘岗位数据爬虫分析系统展示用户注册登录系统首页IT招聘数据开发岗-javaIT招聘数据开发岗-PythonIT招聘数据开发岗-Android算法方面运维方面测试方面招聘岗位薪资多维度精准预测招聘岗位分析推荐 结语…

FlinkCDC详解

1、FlinkCDC是什么 1.1 CDC是什么 CDC是Chanage Data Capture&#xff08;数据变更捕获&#xff09;的简称。其核心原理就是监测并捕获数据库的变动&#xff08;例如增删改&#xff09;&#xff0c;将这些变更按照发生顺序捕获&#xff0c;将捕获到的数据&#xff0c;写入数据…

Jenkins中Publish Over SSH插件使用(1)

SSH插件 前言Publish Over SSH插件是jenkins里面必不可少的插件之一&#xff0c;主要的功能有两个把jenkins服务器上的文件&#xff0c;传输到远程nginx&#xff0c; 远程执行shell命令和脚本。 1. SSH插件下载与配置 1.1 下载Publish over SSH插件 系统管理—》管理插件 …

Python Web开发记录 Day1:HTML

名人说&#xff1a;莫道桑榆晚&#xff0c;为霞尚满天。——刘禹锡&#xff08;刘梦得&#xff0c;诗豪&#xff09; 创作者&#xff1a;Code_流苏(CSDN)&#xff08;一个喜欢古诗词和编程的Coder&#x1f60a;&#xff09; 目录 一、HTML1、前端引入和HTML标签①前端引入②浏览…

Linux java查看内存消耗 linux查看java程序内存(转载)

Linux java查看内存消耗 linux查看java程序内存 目录 一、jps命令。 二、ps命令。 三、top命令。 四、free命令。 五、df命令。 查看应用的CPU、内存使用情况&#xff0c;使用jps、ps、top、free、df命令查看。 一、jps命令。 可以列出本机所有java应用程序的进程pid。…

C++ STL vector详解

1. vector简介 template<class T, class Alloc allocator<T>> class vector; vector是一个可以动态增长的数组&#xff0c;T是要存储的元素类型。vector可以像数组一样&#xff0c;用下标[]来访问元素&#xff0c;如&#xff1a; int arr[] {1,2,3,4}; for (i…

搜索专项---双向DFS模型

文章目录 送礼物 一、送礼物OJ链接 本题思路: #include <bits/stdc.h>typedef long long LL;constexpr int N1<<25;int n,m,k; int g[50]; int weight[N],cnt; int ans;void dfs1(int u,int s) {if(uk){weight[cnt]s;return;}dfs1(u1,s);if(g[u](LL)s<m) dfs1…

[NCTF2019]True XML cookbook --不会编程的崽

题目的提示很明显了&#xff0c;就是xxe攻击&#xff0c;直接抓包。 <?xml version "1.0"?> <!DOCTYPE ANY [ <!ENTITY xxe SYSTEM "file:///etc/passwd" > ]> <user><username> &xxe; </username><passwor…

EasyRecovery2024个人免费版本电脑手机数据恢复软件下载

EasyRecovery是一款功能强大的数据恢复软件&#xff0c;能够帮助用户恢复丢失、删除、格式化或损坏的数据。无论是由于误操作、病毒攻击、硬盘故障还是其他原因导致的数据丢失&#xff0c;EasyRecovery都能提供有效的解决方案。 该软件支持从各种存储介质恢复数据&#xff0c;…

反序列化字符串逃逸 [安洵杯 2019]easy_serialize_php1

打开题目 $_SESSION是访客与整个网站交互过程中一直存在的公有变量 然后看extract()函数的功能&#xff1a; extract($_POST)就是将post的内容作为这个函数的参数。 extract() 函数从数组中将变量导入到当前的符号表(本题的作用是将_SESSION的两个函数变为post传参) function…

【Unity】提示No valid Unity Editor liscense found.Please active your liscense.

有两个软件&#xff0c;如果只有一个&#xff0c;点黑的不会有效果、、、、&#xff08;楼主是这个原因&#xff0c;可以对号入座一下&#xff09; 简而言之&#xff0c;就是去下载Unity Hub&#xff0c;再里面激活管理通行证 问题情境&#xff1a; 点击unity出现以下弹窗&a…

类型转换(C++)

一、C语言中的类型转换 在C语言中&#xff0c;如果赋值运算符左右两侧类型不同&#xff0c;或者形参与实参类型不匹配&#xff0c;或者返回值类型与 接收返回值类型不一致时&#xff0c;就需要发生类型转化&#xff0c;C语言中总共有两种形式的类型转换&#xff1a;隐式类型 …

MATLAB环境下使用滤波自适应算法进行主动噪声消除

滤波作为自适应滤波系统中信号处理等研究领域的重要组成模块&#xff0c;主要被应用于信道均衡、系统识别、声学回波抵消、生物医学、雷达、波束形成等模块。在自适应滤波系统中&#xff0c;当信息数据统计方面的相关先验知识是已知的情况下&#xff0c;滤波器才能处理相关的输…