第一章 黎曼几何的基本概念.doc

第一章 黎曼几何的基本概念 本章作为后续各章的准备知识，只对一些必要知识加以介绍，详细的内容可以参考文献[1]、[2]、[3]。 §1.1 微分流形 定义1.1 设M是Hausdorff拓扑空间，如果M是局部欧氏空间，即：对于任意p，存在p点的邻域V和映射：是同胚映射，则称M是n维拓扑流形。这里叫做坐标映射，V叫做坐标域，叫做坐标卡。 定义1.2 n维拓扑流形M上的类微分构造是M上的坐标卡之集（是指标集），满足： （1）M=； （2），坐标卡和是类相容的，即：当非空时，和分别是和之间的类微分同胚； （3）集合(关于（2）是极大的，即：若与(中每个坐标卡是类相容的，则属于(。 定义1.3 n维拓扑流形M带上一个类微分构造(，称为类微分流形。若k=+∞，则称M是一个光滑流形。 例1 n维实射影流形。设X=，在X中定义，使得y=tx。设[记为]是商映射，的拓扑取为商拓扑，则(是连续映射。下面证明是n维光滑流形。 首先证明是Hausdorff拓扑空间。为此作映射：X→X，(x)=tx，t≠0，于是(x)等价于x，且。显然是同胚映射。对是开集，因(V)是开集，所以是开集，由此知是开映射。因为X=是A2空间，所以是A2空间。 为了进一步证明是T2拓扑空间，为此我们构造一个集合B=，那么容易知道： 现在定义函数为： 显然f是连续的并且B=。由于单点集合是实数集合中的闭集合，所以B=是闭集合。因此是T2拓扑空间。从而是Hausdorff拓扑空间。 其次我们证明拓扑空间是局部欧式空间。为此设=，i=1,…,n+1。则是X的开邻域，从而是的坐标域，坐标映射定义为 （1）是单映射。事实上，假设，易见 所以的定义是合理的并且是单映射。 （2）是满映射。事实上，假设，现在定义一个映射为 从而我们有，并且满足关系式，故是满映射且。 （3）是微分同胚。事实上，因为的每个分量是连续的，所以是连续的。又因为和连续，从而也连续，故是微分同胚。 最后证明是的微分构造。 （1）因为X=且是满映射，故=(X)=。 （2）假设 i小于j，则对于任意的，从而 比较分量得 所以 即 因为的分量是光滑函数，所以是光滑函数。 同理可以证明函数是上的光滑函数，所以是的微分构造。至此，我们证明了是n维光滑流形。 定义1.4 函数称为光滑的，如果对上任意一点，存在点的坐标卡，使得是光滑的。 令，在上定义加法和数量乘法如下： （1.1） 其中是中的函数，,是实数，是上任意一点。于是是实数域上的向量空间。 再在上定义乘法如下： （1.2） 则是R上的代数。 定义1.5 设M和N分别是m维和n维光滑的微分流形，映射F：M→N称为光滑映射，如果对M上的任意点P，存在P的坐标卡和F(P)的坐标卡，使得F(V)包含于W 中，且是光滑的。 注1.6 若取N=R，则光滑映射就是光滑函数，因此，光滑函数是光滑流形之间的光滑映射的重要特例。光滑映射的另一个重要特例是流形上的参数曲线。取R上的一个开区间M=(a，b)，则从M到流形N的光滑映射f：(a，b)→N，称为流形N上的一条参数曲线。 注1.7 现在假设F：M→N是光滑映射。在局部上，假设 则 （1.3） 于是 关于有任意阶偏导数。 §1.2 切空间和切映射 定义1.8 设M是n维光滑流形，P是M上的任意一点，则 M在P点的切向量是实值函数→R满足 （1） （2） 其中f, g是P点所有光滑函数集合中的函数，(, (是实数。 记是光滑流形M在P点所有切向量的全体，在中定义加法和数量乘法如下： （1.4） 其中(, (是实数，，则构成一个向量空间，称为流形M在P点的切空间。 注1.9 设是微分流形M在P点的一个局部坐标系，定义映射为 （1.5） 于是对中的任何切向量，有 （1.6） 即是的一组基。 定义1.10 设M和N分别是m维和n维光滑流形，映射F：M→N为光滑映射，F在P点的切映射定义为 （1.7） 其中。 注1.11 设和分别是P点和F(P)点的局部坐标系，对于有 （1.8） §1.3 线性联络 设M是n维光滑流形，是M上的全体光滑向量场构成的向量空间。 定义1.12 对于光滑流形M，定义它上的线性联络是一个光滑映射 满足： （2） 其中f, g是中的函数，X, Y, Z是中的向量场。称为向量场Y沿方向X的协变微商。 注1.13 设是微分流形M在P点的一个局部坐标系，是V上的一组基向