拓扑空间简介

目录

  • 介绍
  • 集合论与映射
    • 映射相关定义
      • 映射(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.hqwc.cn/news/488382.html

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

相关文章

【MIT-PHP-推荐】imi-ai 是一个 ChatGPT 开源项目

mi-ai 是一个 ChatGPT 开源项目&#xff0c;支持聊天、问答、写代码、写文章、做作业等功能。 项目架构合理&#xff0c;代码编写优雅&#xff0c;简单快速部署。前后端代码完全开源&#xff0c;不管是学习自用还是商用二开都很适合。 本项目现已支持 ChatGPT 聊天 AI 和 Emb…

MobaXterm连接VirtualBox虚拟机

目录 1.下载MobaXterm 2.获取连接配置 3.mobaXterm连接虚拟机 4.更好的方案 1.下载MobaXterm 据说MobaXtrem是远程终端的超级全能神器,官网下载地址&#xff1a;MobaXterm free Xserver and tabbed SSH client for Windows 选择适合你的版本&#xff1a;一个是Home Editi…

Normalization,LayerNormalization和BatchNormalization

前言 假设我们的损失函数在空间中是一个曲面&#xff0c;这个曲面可以被我们人为的切出等高线&#xff0c;在采用梯度下降算法的时候&#xff0c;我们沿着梯度反方向迭代&#xff08;梯度方向与等高线垂直&#xff09;&#xff0c;到最后我们会抵达上图曲面的最低点。 在上面的…

学习python的第6天,痛苦焦虑的开始是期待

小号加了她的网易云音乐小号&#xff0c;成为了她的粉丝之一&#xff0c;收到她的私信回复之后&#xff0c;便又开始期待新的回复了&#xff0c;所以嘛&#xff0c;痛苦总是从开始期待开始的............. 昨天学习了python的逻辑控制之 if 和比较 .__eq__(a) 而且在最后顺带…

【开源】SpringBoot框架开发婚恋交友网站

目录 一、摘要1.1 项目介绍1.2 项目录屏 二、功能模块2.1 数据中心模块2.2 会员管理模块2.3 新闻管理模块2.4 相亲大会管理模块2.5 留言管理模块 三、系统设计3.1 用例设计3.2 数据库设计3.2.1 会员信息表3.2.2 新闻表3.2.3 相亲大会表3.2.4 留言表 四、系统展示五、核心代码5.…

又燃起来了!临深惠湾折扣力度持续铺排

又火了&#xff01; 6月&#xff0c;房企半年报出炉&#xff01; 房企备战“618”&#xff0c;持续安排优惠。 不排除这两天会有更大的宣传&#xff01; 房街团队收集了该市117处待售房产的折扣清单。 需要的粉丝可以扫描底部二维码获取。 上一篇公布了林深汇湾的优惠名单后…

运维SRE-17 自动化批量管理-ansible3

--- - hosts:alltasks:- name: 01 打开冰箱门shell: echo 01 >> /tmp/bingxiang.log- name: 02 把大象放进冰箱里shell: echo 02 >> /tmp/bingxiang.log- name: 03 关上冰箱门shell: echo 03 >> /tmp/bingxiang.log[rootm01 /server/ans/playbook]# cat 05-n…

(响应数据)学习SpringMVC的第三天

响应数据 一 . 传统同步业务数据响应 1.1 请求资源转发与请求资源重定向的区别 请求资源转发时,froward:可不写 二 . 前后端分离异步方式 回写json格式的字符串 1 用RestController代替Controller与 ResponseBody 2 . 直接返回user对象实体 , 即可向 前端ajax 返回json字…

Linux下“一切皆文件”

“Linux下一切皆文件” Linux 下一切皆文件这个说法是指 Linux 系统中的一种设计理念&#xff0c;即将所有设备、资源和进程等抽象为文件或文件夹的形式。这种设计理念的好处在于统一了对待不同类型资源的方式&#xff0c;提供了统一的接口和工具来进行管理和操作。 Linux 下…

漫漫数学之旅033

文章目录 经典格言数学习题古今评注名人小传 - 托马斯赫胥黎 经典格言 如果只有一点知识是危险的&#xff0c;那么知识足够丰富而不危险的人又在哪里呢&#xff1f;——托马斯赫胥黎&#xff08;Thomas Huxley&#xff09; 托马斯赫胥黎这位智慧的先知曾经用一种妙趣横生的方式…

22款奔驰C260L升级小柏林音响 无损音质效果

奔驰新款C级号称奔驰轿车的小“S”&#xff0c;在配置方面上肯定也不能低的&#xff0c;提了一台低配的车型&#xff0c;通过后期升级加装件配置提升更高档次&#xff0c;打造独一无二的奔驰C级&#xff0c;此次来安排一套小柏林之声音响&#xff0c;效果怎么样&#xff0c;我们…

12 个顶级音频转换器软件(免费)

当涉及不受支持的音乐文件时&#xff0c;音频文件转换器软件总是会派上用场。当您希望缩小大量大型音乐文件的大小以节省设备存储空间时&#xff0c;它也很有帮助。您在寻找传输音频的软件吗&#xff1f;好吧&#xff0c;请仔细选择音频转换器&#xff0c;因为最好的音乐转换器…