微分几何学
微分几何学
differential geometry
应用微分学来研究三维欧几里得空间中的曲线、曲面等图形性质的数学分支。差不多与微积分学同时起源于17世纪。单变量函数的几何形象是一条曲线，函数的导数就是曲线切线的斜率。函数的积分在几何上则可理解为一曲线下的面积等等。这种把微积分应用于曲线、曲面的研究，实质上就是微分几何学的开端。L.欧拉、G.蒙日、J.L.拉格朗日以及A.-L.柯西等数学家都曾为微分几何学的发展作出过重要贡献。与此同时，曲面内蕴几何等崭新的思想也在不断地产生并积累着。在此基础上，C.F.高斯奠定了曲面论基础，并使微分几何学成为一门新的数学分支。按F.克莱因变换群几何的分类方法来看，微分几何学应属于运动群，所以也称为运动几何学或初等微分几何学。
微分几何学的研究对数学其他分支以及力学、物理学、工程学等的影响是不可估量的。如：伪球面上的几何与非欧几何有密切关系；测地线和力学、变分学、拓扑学等有着深刻的联系，是内容丰富的研究课题。这方面有以J.阿达马、H.庞加莱等人为首的优异研究。极小曲面是和复变函数论、变分学、拓扑学关系极为深刻的研究领域，K.魏尔斯特拉斯、J.道格拉斯等人作出过卓越贡献。
微分几何学的研究工具大部分是微积分学。力学、物理学、天文学以及技术和工业的日益增长的要求则是微分几何学发展的重要因素。尽管微分几何学主要研究三维欧几里得空间中的曲线、曲面的局部性质，但它形成了现代微分几何学的基础则是毋庸置疑的。因为依赖于图形的直观性及由它进行类推的方法，即使在今天也未失其重要性。
微分几何学的产生
微分几何学的产生和发展是和数学分析密切相连的。在这方面第一个做出贡献的是瑞士数学家欧拉。1736年他首先引进了平面曲线的内在坐标这一概念，即以曲线弧长这以几何量作为曲线上点的坐标，从而开始了曲线的内在几何的研究。
十八世纪初，法国数学家蒙日首先把微积分应用到曲线和曲面的研究中去，并于1807年出版了它的《分析在几何学上的应用》一书，这是微分几何最早的一本著作。在这些研究中，可以看到力学、物理学与工业的日益增长的要求是促进微分几何发展的因素。
1827年，高斯发表了《关于曲面的一般研究》的著作，这在微分几何的历史上有重大的意义，它的理论奠定了现代形式曲面论的基础。微分几何发展经历了150年之后，高斯抓住了微分几何中最重要的概念和带根本性的内容，建立了曲面的内在几何学。其主要思想是强调了曲面上只依赖于第一基本形式的一些性质，例如曲面上曲面的长度、两条曲线的夹角、曲面上的一区域的面积、测地线、测地线曲率和总曲率等等。他的理论奠定了近代形式曲面论的基础。
1872年克莱因在德国埃尔朗根大学作就职演讲时，阐述了《埃尔朗根纲领》，用变换群对已有的几何学进行了分类。在《埃尔朗根纲领》发表后的半个世纪内，它成了几何学的指导原理，推动了几何学的发展，导致了射影微分几何、仿射微分几何、共形微分几何的建立。特别是射影微分几何起始于1878年阿尔方的学位论文，后来1906年起经以威尔辛斯基为代表的美国学派所发展，1916年起又经以富比尼为首的意大利学派所发展。
随后，由于黎曼几何的发展和爱因斯坦广义相对论的建立，微分几何在黎曼几何学和广义相对论中的得到了广泛的应用，逐渐在数学中成为独具特色、应用广泛的独立学科。