1. 拓扑空间与连续映射 (I)

您所在的位置:网站首页 证明任意开集的并仍是开集 1. 拓扑空间与连续映射 (I)

1. 拓扑空间与连续映射 (I)

2024-07-16 17:07| 来源: 网络整理| 查看: 265

根据 (并不完全准确, 但颇有启发意义的) 老生常谈, 所谓拓扑学, 就是研究空间在连续形变下保持不变的那些性质. 为了让这句话有意义, 我们需要严格定义什么是 “空间”, 什么是 “连续性”.

目录1.1拓扑空间1.2度量空间1.3子空间与不交并1.4黑话1.5连续映射1.6习题1.1拓扑空间

“空间” (“承载几何性质的事物”) 的观念一直在演化. 在大学课程范围内, 一种比较普遍的 “空间” 概念是所谓拓扑空间. 根据 Felix Hausdorff 在他 1914 年的书 Grundzüge der Mengenlehre (“基础集合论”) 中所下的定义, 一个拓扑空间 (topological space) 是指一个二元组 (X,T), 其中 X 是一个集合, T 是 X 的幂集 1 的一个子集 (根据习惯, T 里面的元素叫做 X 的开子集 (open subset)), 满足如下性质:

1.

任意多个开子集的并仍然是开子集, 即若 (Ui​)i∈I​ 是 T 中一族元素, 那么 ⋃i∈I​Ui​ 也属于 T;

2.

两个开子集的交仍然是开子集, 即若 U,V 属于 T, 那么 U∩V 也属于 T (由此及归纳法可以推出有限个开子集的交也是开子集);

3.

空集 ∅ 和全空间 X 是开的.

满足上述条件的集族 T 被称为 X 上的一个拓扑 (topology).

如果 T 是 X 上的一个拓扑, 且如果 A⊂X 满足 X−A∈T, 那么我们称 A 是拓扑空间 (X,T) 的一个闭子集 (closed subset). 拓扑空间的闭子集满足如下条件:

1.

任意多个闭子集的交仍然是闭子集,

2.

有限个闭子集的并仍然是闭子集,

3.

空集 ∅ 和全空间 X 是闭的.

显然, 开集和闭集的公理是互相对称的, 拓扑也可以通过指定闭集来定义.

⋆ 二十世纪早期的学者用了很久才总结出上述当今常见拓扑空间的定义. (与它等价的定义有很多, 我们不多涉及.) 拓扑空间的定义看起来略显抽象, 看了定义后, 我们在脑中很难绘制一个拓扑空间的图景. 非常粗略地讲, 拓扑空间中的开集描述了拓扑空间中的点彼此之间邻近的程度. 对于最一般的拓扑空间的性质, 即使是从事拓扑学专门研究学者也未尝感兴趣. 大多数数学工作者感兴趣的对象通常是比较具体的拓扑空间, 它们包括:

胞腔空间 (cellular space), 如多面体;

流形 (manifold)2, 如微分非退化的可微函数在 Rn 中的零点;

概形 (scheme), 如齐次多项式在射影空间中的零点, 等等.

这些几何对象, 除了它们自身所具备的拓扑之外, 也含有其他的特殊数学结构. 学者们既关心这些特殊结构, 也关心这些特殊结构给这些几何对象带来的独特拓扑性质. 在今后的学习中, 我们会对这些特点产生更清晰的认识.

既然大多数数学家很少关心一般的拓扑空间, 为何我们还要介绍这个概念呢? 问这个问题就如同在问, 既然数论学者仅关心方程的整数解, 那为什么他们要学习微积分呢? 即使对数论学家, 无穷小分析也是不可或缺的工具. 类似地, 一般的拓扑性质会给几何学的研究赋予更多工具和弹性 (“more elbow space”). ⋆​

例 1.1.1. 我们列举一些肤浅的例子, 这些拓扑空间在我们脑海中都不太像真正的空间.

1.

任何集合 X 都可以装备两个非常简单的拓扑: 离散拓扑 (discrete topology), 即任何子集都是开集; 平凡拓扑 (trivial topology), 只有 ∅ 和 X 是开集.

2.

Sierpiński 空间是只有两个元素的集合 {0,η}; 它的开集为 {∅,{η},{0,η}}.

图 1: Sierpiński space

虽然 Sierpiński 空间看起来和我们想象的空间不太一样, 它倒是经常出现在日常的研究中.

3.

设 X 为一个集合. 则 T={∅}∪{S⊂X:X∖S 是有限集} 定义了 X 上面的一个拓扑, 叫做有限补拓扑 (finite complement topology).

1.2度量空间

一个比较方便产生拓扑空间的方法是使用度量. 一个集合 X 上的度量 (metric) 是一个映射 d:X×X→R, 满足以下性质:

1.

对任何 x,y∈X, 有 d(x,y)=d(y,x);

2.

对任何 x,y∈X, 有 d(x,y)≥0, 且 d(x,y)=0 的必要且充分条件是 x=y;

3.

对任何 x,y,z∈X, 成立三角不等式 (triangle inequality): d(x,z)≤d(x,y)+d(y,z).

一个度量空间 (metric space) 是一个偶对 (X,d), 其中 X 是一个集合, d 是 X 上的一个度量. 度量空间是 M. Fréchet 于 1906 年引入的 3.

令 (X,d) 为一个度量空间, x∈X, ϵ>0 为实数. 则 X 中以 x 为心的 ϵ-开球是指B(x;ϵ)={y∈X:d(y,x)0, 使得 Bϵ​(x)⊂U.

不难验证上面的开集的定义的确给出了一个拓扑. 比如, 我们来验证拓扑的公理 2. 如果 U 和 V 都是开集, 那么对任何 x∈U∩V, 我们知道存在 B(x;ϵ1​)⊂U, B(x;ϵ2​)⊂V. 因此令 ϵ=min{ϵ1​,ϵ2​}, 就有 B(x;ϵ)⊂U∩V. 因此 U∩V 是开集.

验证度量空间中的开集构成拓扑的过程中, 不需要使用三角不等式 3. 这个不等式所保证的是任何的开球 B(x;ϵ) 都是开集. 若 y∈B(x;ϵ), 令 η=21​d(x,y), 我们来验证 B(y;η)⊂B(x,ϵ). 事实上, 由三角形不等式, 对任意 z∈B(y,η), 有d(z,x)≤d(x,y)+d(y,z)0, 使得 B(f(x);ϵ)⊂V. 根据 “ϵ-δ 性质”, 存在 δ>0, 使得 B(x;δ)⊂f−1(B(f(x);ϵ))⊂f−1(V).

例 1.5.2. 令 S 为任意集合. 则 S 到自己的恒等映射诱导了一个连续映射(S,离散)→(S,平凡).它是连续双射, 但除非 S 是单点集合, 它不是同胚.

例 1.5.3. 令 S 为拓扑空间 X 的子空间. 则包含映射 S→X 是连续单射. 上面的例子显示连续单射未必是子空间的包含映射. 如果一个连续单射 f:Z→X 满足 Z→f(Z) 是同胚, 那么我们称 f 为嵌入 (embedding). 通常用带钩的箭头 Z↪X 来表示嵌入.

如果 f:Z↪X 为嵌入, f(Z) 是 X 的开 (闭) 子集, 那么我们称 f 是开 (闭) 嵌入 (open resp. closed embedding).

例 1.5.4. 任何两个有限开区间都是同胚的, 同胚可以通过线性变换实现. 开区间 ]−2π​,2π​[ 与整个实数轴同胚. 比如, 映射x↦tanx:]−2π​,2π​[→R就是这样的一个同胚. 由此推知, 任何开区间都与 R 同胚.

1.5.5 (球极投影). 考虑 R3 中的球面 S2 {(x,y,z)∈R3:x2+y2+z2=1}.令 N=(0,0,1) 为 “北极”. 我们来构造一个从 S2∖{N} 到 R2 的同胚. 令 P∈S2. 则直线 NP 与平面 z=−1 有唯一的一个交点 P′. 我们定义 φ(P)=P′. 见图 2.

图 2: 球极投影 (来源: 维基百科)

这是一个连续映射. 如果几何的直观不足以让读者相信, 我们可以写下 φ 的如下公式表示: φ(x,y,z)=(1−z2x​,1−z2y​,−1).几何直观应该可以让读者相信 φ 有一个连续的逆映射. 它的公式表示为ψ(X,Y,−1)=(4+X2+Y24X​,4+X2+Y24Y​,4+X2+Y2−4+X2+Y2​).读者应该能够将上述操作推广到一般的 n 维球面, 构造出一个从 Sn−{N} 到 Rn 的同胚.

在本节最后, 我们证明一个常用的构造连续函数的引理: 粘贴引理.

命题 1.5.6 (粘贴引理). 令 X 与 Y 为拓扑空间. 令 (Xi​)i∈I​ 为 X 的一族子空间, X=⋃i∈I​Xi​. 令 (fi​:Xi​→Y)i∈I​ 为一族连续映射. 设对任意 (i,j)∈I×I, 有 fi​∣Xi​∩Xj​​=fj​∣Xi​∩Xj​​. 假如

Xi​ 为 X 的开子集, 或者

Xi​ 为 X 的闭子集, 且 I 有限,

则存在唯一的连续映射 f:X→Y 使得 f∣Xi​​=fi​.

证明. 无论如何, 条件 fi​∣Xi​∩Xj​​=fj​∣Xi​∩Xj​​ 保证了映射 f:X→Y, f(x)=fi​(x),若 x∈Xi​良好定义. 我们来验证连续性.

如果 (Xi​)i∈I​ 是开子空间. 令 V 为 Y 的开集. 则 f−1(V) 为并集 ⋃i∈I​fi−1​(V). 由于 fi​ 连续, fi−1​(V) 在 Xi​ 中开, 因此在 X 中开. 于是 f−1(V) 开.

将上面的论证中的每个 “开” 换成 “闭”, 利用闭集的有限并性质, 就能验证关于闭集的粘贴引理.

本节所学概念与例子

拓扑 topology粗/细 coarser/finer开集 open set闭集 closed set离散拓扑 discrete topology平凡拓扑 trivial topologySierpiński 空间有限补拓扑 finite complement (or cofinite) topology度量空间 metric space连续映射 continuous map同胚 homeomorphism子空间 subspace不交并 disjoint union内部 interior闭包 closure稠密 dense无处稠密 nowhere denseRn, Dn, I, Sn球极投影 stereographic projection粘贴引理 pasting lemma

1.6习题

1.6.1. 构造一个从 Rn 到 Rn 的同胚 φ, 同时满足下面两个条件:

φ 在 Rn∖(Dn)∘ 上是恒等映射,

φ(0)=p, 其中 p 是某个 (Dn)∘ 中的点.

1.6.2. 设 φ:S1→S1 为同胚. 证明存在同胚 ψ:D2→D2, 使得 ψ∣S1​=φ.

1.6.3 (Hopf 链环). 定义L={(x,y)∈C2:x2+y2=0,∣x∣2+∣y∣2=1}.

1.

证明 L 与 S1⨿S1 同胚.

2.

描述 L 在球极投影下的像.

1.6.4 (三叶结). 定义C={(x,y)∈C2:x2=y3},L=C∩{(x,y)∈C2:∣x∣2+∣y∣2=1}.

1.

证明 t↦(t3,t2):C→C 是同胚.

2.

证明 L 同胚于 S1.

3.

描述 {(x,y)∈C2:∣x∣2=1/2,∣y∣2=1/2} 在球极投影下的像.

4.

描述 L 在球极投影下的像. 这个像叫做三叶结.

1.6.5. 如果 (X,d) 是度量空间. Z⊂X 是闭子集. 证明 f(x)=inf{d(z,x):z∈Z} 是 X 上的连续函数. 什么时候 f(x)=0?

1.6.6. 令 X 为拓扑空间. 定义一个子集 V 为 Z-闭集, 如果存在 X 上的一族连续函数 (fi​:X→R)i∈I​, 使得V={x∈X:fi​(x)=0,∀i∈I}.我们称 U 为 Z-开集, 如果 X∖U 为 Z-闭集.

1.

验证一切 Z-开集构成了 X 上的一个拓扑 (权且叫做 Z-拓扑).

2.

验证 Z-闭集是 X 的闭集.

3.

如果 X 的拓扑是某个度量诱导的 5, 那么 Z-拓扑与 X 的拓扑是一样的.

1.6.7 (开映射). 拓扑空间之间的映射 f:X→Y 叫做开映射 (open map) 如果 X 中开集关于 f 的像是 Y 中开集.

1.

举例说明开映射未必连续, 连续映射未必开.

2.

开映射的复合是开映射.

3.

设 (Ui​)i∈I​ 是 X 的一个开覆盖. 如果 f∣Ui​​ 对任何 i 都是开映射, 那么 f 是开映射.

4.

设 k 是正整数. 证明 z↦zk:C→C 是开映射.

5.

如果 X 是 C 的开子集, 且 f:X→C 是复解析函数, 证明 f 是开映射. †​

1.6.8 (Cantor 三分集). 考虑K={n=1∑∞​an​3−n∈R:an​=0,2}.

1.

证明 K⊂[0,1].

2.

证明 K 与区间 (3k3s+1​,3k3s+2​) (s,k∈Z) 不相交.

3.

证明 K 是 R 的闭子集.

4.

找出 K∘.

1.6.9 (关于粘贴引理).

1.

举例说明在粘贴引理 (命题 1.5.6 第一款) 的叙述中, 如果 Xi​ 不是开集, 则命题不成立.

2.

举例说明在粘贴引理 (命题 1.5.6 第二款) 的叙述中, 如果 Xi​ 是闭集, 但是允许 I 是无限集, 命题仍然不成立.

3.

我们称拓扑空间 X 的子集族 (Xi​)i∈I​ 局部有限 (locally finite), 如果对任何点 x∈X, 存在 x 的邻域, 使得这个邻域只与有限个 Xi​ 相交. 验证关于闭集的粘贴引理 (命题 1.5.6 第二款) 的题设可以放宽为: 假设 (Xi​)i∈I​ 为局部有限的闭集.

脚注

1.

集合 X 的幂集, 通常记为 2X, 是指 X 的一切子集构成的集合.

2.

流形系江泽涵所译. 盖取典自《周易·乾》: “云行雨施, 品物流形”.

3.

Sur quelques points du calcul fonctionnel. Rend. Circ. Matem. Palermo 22 (1906), 1–72.

4.

按照上面的定义, 拓扑空间是一个偶对 (X,T), 其中 T 是集合 X 上的一个拓扑. 但是句子 “令 (X,T) 为拓扑空间” 过于罗嗦. 因此我们在不至于引起误会的前提下通常在陈述中省略 T.

5.

事实上, 只需假设 X 是所谓的完全正则空间即足够了



【本文地址】


今日新闻


推荐新闻


CopyRight 2018-2019 办公设备维修网 版权所有 豫ICP备15022753号-3