本文是一个新专题的第一篇文章,这个专题介绍现代微分几何的理论和价值,阅读本专题的文章需要微积分和线性代数的知识,但是一些困难的或者非主干的基础知识我还是会介绍的。
现代微分几何的研究对象是所谓的微分流形。估计有很多读者在很久以前就听说过这个词,但是一直不知道它的意思。为了引入微分流形,本文介绍必要的拓扑学知识。
古典微积分的研究对象是函数和向量函数,构建它们的载体是实数集和欧式空间,在这些集合里定义了开集,进而就可以定义邻域和收敛,然后定义映射的连续性。为了在更一般的集合里定义开集,拓扑学引入了拓扑空间。
首先我们回忆在欧式空间里的开集概念,以及它的简单性质。
设非空集合
是
维欧式空间
的子集,满足对于任意
存在
使得对于任意
成立若
则
则称集合
是
中的开集。
特别地,规定空集是
中的开集,显然
自身是
中的开集。
作为例子,空间
上的单位开球
是
中的开集。这是因为对于任意
取
则对于任意
成立若
则
设集合
是
中的开集,则
也是
中的开集。这是因为对于任意
成立
对于集合
可以分别构造一个
并且可以取其中的较小值作为
对于集合
的
但是开集的这种关于交集的封闭性不能推广到无限的情况,这是因为对于无限多个
它们的下确界可以不是正数。
然而开集的关于并集的封闭性是无限的,叙述如下,它的证明留给读者。
设集合
是
中的一些开集组成的集合,则
也是
中的开集。
将欧式空间中的开集概念推广到一般的集合中,就得到了拓扑空间概念。
设
是非空集合
的一些子集组成的集合,满足
-
- 对于任意
成立
- 对于任意
的子集成立
则称
是集合
的一个拓扑,称
中的元素是
在拓扑
下的开集,称
是一个拓扑空间。
设
是一个拓扑空间,集合
点
则称
是
的邻域。
我们常常研究的拓扑空间是Hausdorff空间。
设
是一个拓扑空间,满足对于任意
存在
的邻域
和
的邻域
使得
则称
是Hausdorff空间。
接下来为了引入拓扑空间中的连续映射,我们讨论古典微积分中连续向量函数的一个性质。
设非空集合
是
的一个子集,向量函数
满足对于任意序列
和实数
成立若
则
则称
是连续的。
上述向量函数
连续的充要条件是对于任意
成立对于任意正数
存在正数
使得对于任意
使得若
则
所以向量函数
连续的充要条件是对于任意
中的开集
集合
是
中的开集。
设
是拓扑空间,映射
满足对于任意
成立
则称
是连续的。
进一步地,可以引入两个拓扑空间的同胚和同胚映射概念。
设
是拓扑空间,映射
是双射,且
和
的逆映射
都是连续的,则称
是同胚映射,称
同胚。
比如说,正方体的表面与
上的单位球面
是同胚的,但是它们与空心球的表面
不是同胚的。
同胚是拓扑空间之间的等价关系。如果两个拓扑空间同胚,那么在拓扑学的意义上可以认为它们是相同的。对某些拓扑空间按同胚进行分类,是拓扑学中的重要工作。