学习笔记 - 拓扑学(一)

拓扑与拓扑空间

拓扑是定义在一个全集X上的满足一定条件的子集的集合\mathcal{T}。具体来说,这个集合\mathcal{T}需要满足三个性质:

  • 包含空集\varnothing和全集X
  • 对于元素的并集封闭
  • 对于有限个元素的交集封闭

我们把X叫做拓扑空间\mathcal{T}叫做定义在该拓扑空间上的一个拓扑。在这个基础上,我们可以定义开集:若U\subset X,且U\in \mathcal{T},则称U为一个开集。通俗的来说,如果在一个集合上定义了一个拓扑,那么这个集合所有属于该拓扑的子集都是开集。

对于同一拓扑空间上的两个拓扑,如果一个拓扑包含另一个拓扑,我们称被包含的拓扑更粗糙,而另一个更精细;同时我们也称这两个拓扑是相容的。

拓扑的基

对于一个拓扑空间X,我们可以用来进行刻画。一个拓扑空间的基是满足下面两个条件的子集的集合\mathcal{B}

  • 对于拓扑空间里的每一个元素x,至少有一个基元素B包含x
  • 如果x属于两个基元素B_1B_2的交集,那么一定存在第三个基元素B_3包含x,且B_3 \subset B_1 \cap B_2

如果我们找到了拓扑空间X的一个基\mathcal{B},那么我们可以通过如下方法产生一个拓扑\mathcal{T}(称为\mathcal{B}生成的拓扑):对于X的一个子集U,如果其所有元素都能找到一个基元素B使得x\in BB\subset U,那么U属于该拓扑。

:在平面上,所有开圆构成的集合是一个基,所有开长方形构成的集合也是一个基。

通过定义可以很轻易地验证,通过基生成的拓扑\mathcal{T}确实是一个拓扑。事实上,我们可以通过另一种方式刻画通过基生成的拓扑:

引理:若X是一个集合,\mathcal{B}是其一个基,则由\mathcal{B}生成的拓扑\mathcal{T}即为\mathcal{B}中元素的并集产生的集合。

证明该引理并不困难,只需要注意到两点:(1)基中的任意基元素都属于其生成的拓扑;(2)基生成的拓扑中的任意集合都可以表示为其元素所属基元素的并集。但是,对于(2),我们需要注意,这种表示方式不一定是唯一的。

给定一个基,我们可以生成一个拓扑,使得拓扑中的元素可以表示为基元素的并集,这一点与线性空间中的基十分类似:给定一组基,我们可以生成一个子空间,使得子空间中的元素可以表示为基的线性组合。但是,后者是唯一的,而前者并不唯一。

给定一个线性空间,我们可以找到它的一组基;对于拓扑空间,给定一个拓扑,我们同样可以找到一个基,使得这个基生成的拓扑恰好为该拓扑:

引理:若X是拓扑空间,\mathcal{T}是一个拓扑,假设\mathcal{C}X中一些开集构成的集合,满足如下条件:对于任意开集U\subset X以及开集中的任意元素x,存在C\in\mathcal{C}使得x\in C\subset U,那么\mathcal{C}\mathcal{T}的一个基。

通过定义可以验证,上述引理定义的\mathcal{C}确实是一个基,所以证明上述引理的关键在于证明\mathcal{T}恰好为\mathcal{C}生成的拓扑\mathcal{T'}\mathcal{T}\subset \mathcal{T}'可以通过基生成的拓扑的定义验证,\mathcal{T}'\subset \mathcal{T}可以通过前一个引理得出。

基的一个作用在于,可以通过基来对拓扑的精细程度进行刻画。直观上来说,基元素越小,通过基生成的拓扑越精细:

引理:设X是一个拓扑空间,\mathcal{T}\mathcal{T}'分别是其两个拓扑,且\mathcal{B}\mathcal{B}'分别是对应的基。那么下述命题是等价的:

  1. \mathcal{T}'\mathcal{T}更精细
  2. 对于任意x\in X以及包含x的基元素B\in\mathcal{B},存在包含x的基元素B'\in\mathcal{B}',使得B'\subset B

从1到2,注意到B\in \mathcal{T}\subset\mathcal{T}',根据定义即可得出;从2到1,对于任意开集U\in\mathcal{T},可以将其中的元素表示为x\in B\subset U,因此有x\in B'\subset U,故U属于\mathcal{B}'生成的拓扑,即为\mathcal{T}'

除了基外,我们还将引入一个概念:子基。一个拓扑空间X的基是满足如下条件的子集的集合\mathcal{S}

  • \mathcal{S}中所有元素的并集为X,或者说,\mathcal{S}覆盖X

\mathcal{S}中任意元素的有限交形成X的一个基,或者说,所有的\mathcal{S}中任意元素的有限交的并集的集合\mathcal{T}构成一个拓扑,这个拓扑被称为子基\mathcal{S}生成的拓扑。我们需要证明的是,集合\mathcal{T}确实是一个拓扑;换言之,\mathcal{S}中任意元素的有限交所构成的集合\mathcal{B}确实是一个基,这个通过验证定义即可。

实数轴上的一些拓扑

我们定义一些实数轴上的拓扑。由引理可得,我们只需要定义对应的基\mathcal{B}即可确定一个拓扑。

  1. 标准拓扑\mathcal{B}=\{(a,b)~|~a,b\in\mathbb{R},~a<b\}
  2. 下限拓扑\mathcal{B}'=\{[a,b)~|~a,b\in\mathbb{R},~a<b\},对应的拓扑空间为\mathbb{R}_l
  3. K-拓扑\mathcal{B}''=\{(a,b)-K~|~a,b\in\mathbb{R},~a<b\}\cup \mathcal{B},其中K=\{1/n,~n\in\mathbb{Z}_+\}为所有正整数的倒数的集合,对应的拓扑空间为\mathbb{R}_K

我们引入的这三类拓扑有如下关系:

\mathbb{R}_l\mathbb{R}_K的拓扑都严格比\mathbb{R}的拓扑精细,但是它们二者并不相容。

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容