本科应用数学论文

《本科应用数学论文》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、目录一、标记法和准备初步1二、弧长的第一变分公式4三、指数图形和正规坐标7四、Hopf-Rinow定理11五、曲率张量和Jacobi场14六、共轭点18七、弧长的第二变分公式21八、子空间和第二基本型23九、基本指数引理25十、Ricci曲率及Myers和Bonnet定理29十一、Rauch比较定理31十二、Cartan-Hadamard定理37十三、Cartan-Ambrose-Hicks定理39十四、常数曲率空间43致谢45参考书目46论文摘要黎曼几何是德国数学家黎曼于19世纪中期提出的一种新的几何理论，这

2、种理论摆脱了经典微分几何曲面论中局限于诱导度量的束缚，并在近代数学和物理学中有着非常重要的应用。JEFFCHEEGER和DAVIDG.EBIN所著书“ComparisonTheoremsinRiemannianGeometry"从黎曼度量及联络出发，介绍了黎曼流形研究中的各种基本概念和应用，以测地线的研究为重点讨论了各种形式的比较定理和Morse指数定理。这篇论文即对“ComparisonTheoremsinRiemannianGeometry"的第一章进行了翻译，内容包含了黎曼几何的一些基本概念，如黎曼联络、

3、弧长、测地线、Jacob场、弧长的变分、曲率张量、共轭点等，及一些关于这些概念的运用比较广泛的结论，如Hopf-Rinow定理、基本指数定理、Rauch比较定理、Cartan-Hadamard定理等，这些基本定理是讨论各种形式的比较定理和Morse指数定理时不可缺少的依据。通过对该书第一章的介绍，我们了解了黎曼几何的基本思想，同时也学习了不同于欧式几何的研究方法。一、标记法和准备初步首先定义一些基本概念并列出一些基本知识。指一个光滑无限维的联络，是它的切丛。指有维。或是上的光滑线性向量空间，是上光滑函数的环。我

4、们以一个小写字母表示一点处的切向量，以相应的大写字母表示向量场的延伸部分。设，是上的一个对称正定型且满足对每个，，函数包含于，这样的矩阵被称为黎曼矩阵，指。一个“仿射联络”是一个双线性映射：，它有如下性质：，（1.1a），（1.1b），我们称是在方向上的“共变导数”。黎曼几何基本定理说明对于任何黎曼矩阵，都存在唯一一个仿射联络叫做“黎曼联络”。它有如下性质：（1.2a），（1.2b），指Lie支架，。（1.2a）是仿射联络和矩阵之间兼容的一个条件，（1.2b）是联络本身的一个对称性条件。（1.2b）中设定的与0

5、相等的量叫做联络的挠率。它是型（1，2）的张量。所以基本定理可以理解为总有一个挠率自由的联络与任意给定的矩阵兼容。46下面我们来证明该定理。为表唯一性，设，由（1.2a，b）决定。由（1.2a）式，得，，，将以上第一与第二式相加，然后减去第三式，运用（1.2b），得：。相反地，如果用这个方程去定义，则可以得到一个联络满足（1.2a）和（1.2b）。由（1.1a，b）易见取决于和。如果是一个1-型，可以通过以下等式定义：，通过延长为张量场σ定义了一个诱导。设是一条光滑曲线，是的切线。对于任一，存在唯一一个满足和的

6、向量，称是一个“平行域”，是沿着的“平行转移”。易见沿着，有光滑向量场是的标准正交基。以上等式亦可以写成一个常微分方程的一次系统，如下，46所以。常微分方程的存在定理说明可以解出。因为一次等式是线性的，我们得到一个线性映射，，由(1.2a)得是一个等距映射。设是一个光滑映射，有一个联络。指定是一个沿着的向量场，，是邻域里的一个标架。记，称是光滑的如果函数集是光滑的。如果，定义是沿着方向的共变导数，。易见，该定义与的选取无关。设是黎曼型，是黎曼联络，如果，是沿着的向量场，则易得(∗)。同样，如果是中的向量场，那么

7、，是沿着的向量场，且(∗∗)。沿着的向量场同样叫诱导丛的截面。我们称是“诱导联络”。在证明第一和第二变分公式时用和。但是方便起见，我们不用标记46，而直接假设沿着的向量场定义在上。二、弧长的第一变分公式设是一个黎曼联络，分段光滑连续的曲线的弧长为。由定义，。同样，按规定的定义与特定参数的选择无关。如果定义两点之间的距离是它们之间所有曲线弧长的下确界，那么就是一个矩阵空间。设由到的距离是，当设定是一个矩阵空间，若，则。设是一个局部坐标系，是其原点，指集合。设是给定的黎曼矩阵，是Euclidean矩阵。处处对角化成

8、，其最小的特征值是Br(p)-上的正的连续函数。由此得出由到边界的曲线至少有长度，是的下确界。但是，假设，选择足够小的，则。那么由到的任何曲线必包含由到边界的起始线段。设，接下来的三小节我们将会研究满足的从到的曲线存在的条件。现在证明这样一条曲线存在的必要条件。设是光滑的，且不是一般性，设的参数的选择与它的弧长相关，即是一个常数。设是一个光滑函数，是矩形，它满足46。是曲线的一个“光滑