拓扑空间的初步知识.pdf

拓扑空间的初步知识 在这篇笔记里，我们介绍拓扑空间及其同胚，常见的拓扑性质，连续映射。 拓扑空间及其同胚 定义 任意给定集合 上的一个拓扑结构 （简称拓扑）是 的某些特定子集组成的集合 ⊂ 2 ，其中那些特定子集称为所声明的开集，并且要求满足如下性质（开集公理）：（1） 空集和全集是开集，即∅, ∈ ；（2 ）任意多的开集的并集是开集，即对于任意 ⊂ ，有 ∪ ∈ ；（3 ）有限多个开集的交集是开集，即对于任意 , ⋯ , ∈ ，有 ∩ ⋯ ∩ ∈ 。 ∈ 指定了拓扑结构的集合就称为一个拓扑空间。 定义 拓扑空间 的任何一个开集的补集就称为一个闭集，即 ⊂ 是闭集当且仅当 ∖ 是开集。于是声明拓扑空间等价于声明其所有闭集，并使满足如下性质（闭集公理）：（1） 空集和全集是闭集；（2 ）任意多的闭集的交集是闭集；（3 ）有限多个闭集的并集是闭集。 ( ) 例 任意度量空间 , 都自然有一个由度量诱导的拓扑结构。对于任意点 ∈ ，把中心 在 、半径为 0的度量开球记为 () = { ∈ : (, ) } 。我们声明 的开集是所有 所有这样的子集 ⊂ ，对每一点 ∈ ，存在视而定的半径 0使得 () ⊂ 。验证留 作练习。特别地，欧氏度量拓扑给出的就是实分析中常见的ℝ 的开集以及闭集，所以它就 是实空间的点集拓扑。 例 拓扑空间的子空间都有通过限制获得的拓扑结构。具体来讲，如果是拓扑空间 的子 集，它的子空间拓扑所声明的开集就是所有形如 ∩ 的子集，其中是 的开集。例如，我 们通常就把三维欧氏向量空间的单位球面的拓扑理解为它的子空间拓扑。 练习 在双曲平面的共形圆盘模型中，复平面的单位圆盘既具有子空间拓扑，又具有双曲 度量的诱导拓扑，试说明这两个拓扑是相同的。 例 拓扑空间的商空间都有诱导的拓扑结构。具体来讲，如果拓扑空间 上有一个等价关系 ∼，则其全部等价类̅ ⊂ 组成的集合 可以赋予一个拓扑，而开集被声明为所有这样的子 集 ⊂ ，使得∪ ̅ ̅ 是 的开集。例如，三维欧氏向量空间的单位球面上把对径点视为等 ∈ 价，则其相应的商空间可以认同为实射影平面，即把任意直径指示的对径点对认同于线把模 型中直径所在的直线。这样就可以为实射影平面赋予一个来自球面的商空间拓扑，我们姑且 称它为实射影平面的点集拓扑。 例 如果拓扑空间的单点都是开集，则它的拓扑称为离散拓扑。这时所有的子集都是开集， 空间看起来散落如星。例如，整数集从实数轴继承的子空间拓扑就是离散拓扑。若换作有理 数集，则其单点并不是开集。这时的子空间拓扑是一种完全不连通拓扑，意思是除单点而外， 非空子集都可以写作两个不相交的开集的并。另外，任何集合都可以被赋予平凡拓扑，即除 空集和全集而外别无开集。平凡拓扑无聊至极，因为任何两点都无法用开集加以区分。 更抽象的对象也常常组成拓扑空间。比如实射影平面上的所有射影圆锥曲线，欧氏平面 上的所有保距变换，等等，它们的空间都可以具有非常自然的拓扑结构，以使我们能够讨论 其中对象的收敛和连续运动。为空间赋予拓扑还可能有多种合理的方案，比如，实射影平面 和扩充复平面常用的拓扑就不止一种。 定义 拓扑空间 、之间的一个同胚是一个可逆映射 : → ，且诱导两个拓扑之间的双 射，即 ⊂ 是开集当且仅当 () ⊂ 是开集。 练习 证明一个拓扑空间的全体自同胚关于映射的复合构成群。（它是集合吗？） 练习 证明度量空间的等距同构都是同胚。 练习 证明平面仿射变换都是同胚。 常见的拓扑性质 所谓拓扑性质就是拓扑空间的同胚不变性质，它们是拓扑学感兴趣的话题。我们列举几 种基本并且常用的。在一般拓扑学中，它们还有强弱不同的变种，以适应某些需要的场合。 定义 （连通性）一个拓扑空间称为是连通的，如果它不能写成两个非空开集的无交并。 这等价于说空间的既开又闭的子集只有空集和全集。子空间的连通性则关