伽利略变换

　微分几何学的产生和发展是和数学分析密切相连的。在这方面第一个做出贡献的是瑞士数学家欧拉。1736年他首先引进了平面曲线的内在坐标这一概念，即以曲线弧长这一几何量作为曲线上点的坐标，从而开始了曲线的内在几何的研究。 发展　　十九世纪初，法国数学家蒙日首先把微积分应用到曲线和曲面的研究中去，并于1807年出版了他的《分析在几何学上的应用》一书，这是微分几何最早的一本著作。在这些研究中，可以看到力学、物理学与工业的日益增长的要求是促进微分几何发展的因素。
微分几何1827年，高斯发表了《关于曲面的一般研究》的著作，这在微分几何的历史上有重大的意义，它的理论奠定了现代形式曲面论的基础。微分几何发展经历了150年之后，高斯抓住了微分几何中最重要的概念和带根本性的内容，建立了曲面的内在几何学。其主要思想是强调了曲面上只依赖于第一基本形式的一些性质，例如曲面上曲面的长度、两条曲线的夹角、曲面上的一区域的面积、测地线、测地线曲率和总曲率等等。他的理论奠定了近代形式曲面论的基础。 　　1872年克莱因在德国埃尔朗根大学作就职演讲时，阐述了《埃尔朗根纲领》，用变换群对已有的几何学进行了分类。在《埃尔朗根纲领》发表后的半个世纪内，它成了几何学的指导原理，推动了几何学的发展，导致了射影微分几何、仿射微分几何、共形微分几何的建立。特别是射影微分几何起始于1878年阿尔方的学位论文，后来1906年起经以威尔辛斯基为代表的美国学派所发展，1916年起又经以富比尼为首的意大利学派所发展。 后期应用　　随后，由于黎曼几何的发展和爱因斯坦广义相对论的建立，微分几何在黎曼几何学和广义相对论中得到了广泛的应用，逐渐在数学中成为独具特色、应用广泛的独立学科。

基本内容　　微分几何学以光滑曲线(曲面)作为研究对象，所以整个微分几何学是由曲线的弧线长、曲线上一点的切线等概念展开的。既然微分几何是研究一般曲线和一般曲面的有关性质，则平面曲线在一点的曲率和空间的曲线在一点的曲率等，就是微分几何中重要的讨论内容，而要计算曲线或曲面上每一点的曲率就要用到微分的方法。 　　在曲面上有两条重要概念，就是曲面上的距离和角。比如，在曲面上由一点到另一点的路径是无数的，但这两点间最短的路径只有一条，叫做从一点到另一点的测地线。在微分几何里，要讨论怎样判定曲面上一条曲线是这个曲面的一条测地线，还要讨论测地线的性质等。另外，讨论曲面在每一点的曲率也是微分几何的重要内容。
微分几何在微分几何中，为了讨论任意曲线上每一点邻域的性质，常常用所谓“活动标形的方法”。对任意曲线的“小范围”性质的研究，还可以用拓扑变换把这条曲线“转化”成初等曲线进行研究。 　　在微分几何中，由于运用数学分析的理论，就可以在无限小的范围内略去高阶无穷小，一些复杂的依赖关系可以变成线性的，不均匀的过程也可以变成均匀的，这些都是微分几何特有的研究方法。
实际应用　　近代由于对高维空间的微分几何和对曲线、曲面整体性质的研究，使微分几何学同黎曼几何、拓扑学、变分学、李群代数等有了密切的关系，这些数学部门和微分几何互相渗透，已成为现代数学的中心问题之一。 　　微分几何在力学和一些工程技术问题方面有广泛的应用，比如，在弹性薄壳结构方面，在机械的齿轮啮合理论应用方面，都充分应用了微分几何学的理论。

其它数学分支学科　　算术、初等代数、高等代数、数论、欧式几何、非欧几何、解析几何、微分几何、代数几何学、射影几何学、拓扑学、分形几何、微积分学、实变函数论、概率和数理统计、复变函数论、泛函分析、偏微分方程、常微分方程、数理逻辑、模糊数学、运筹学、计算数学、突变理论、数学物理学、控制理论 微分几何学　　应用微分学来研究三维欧几里得空间中的曲线、曲面等图形性质的数学分支。差不多与微积分学同时起源于17世纪。单变量函数的几何形象是一条曲线，函数的导数就是曲线切线的斜率。函数的积分在几何上则可理解为一曲线下的面积等等。这种把微积分应用于曲线、曲面的研究，实质上就是微分几何学的开端。L.欧拉、G.蒙日、J.L.拉格朗日以及A.-L.柯西等数学家都曾为微分几何学的发展作出过重要贡献。与此同时，曲面内蕴几何等崭新的思想也在不断地产生并积累着。在此基础上，C.F.高斯奠定了曲面论基础，并使微分几何学成为一门新的数学分支。按F.克莱因变换群几何的分类方法来看，微分几何学应属于运动群，所以也称为运动几何学或初等微分几何学。 　　微分几何学的研究对数学其他分支以及力学、物理学、工程学等的影响是不可估量的。如：伪球面上的几何与非欧几何有密切关系；测地线和力学、变分学、拓扑学等有着深刻的联系，是内容丰富的研究课题。这方面有以J.阿达马、H.庞加莱等人为首的优异研究。极小曲面是和复变函数论、变分学、拓扑学关系极为深刻的研究领域，K.魏尔斯特拉斯、J.道格拉斯等人作出过卓越贡献。 　　微分几何学的研究工具大部分是微积分学。力学、物理学、天文学以及技术和工业的日益增长的要求则是微分几何学发展的重要因素。尽管微分几何学主要研究三维欧几里得空间中的曲线、曲面的局部性质，但它形成了现代微分几何学的基础则是毋庸置疑的。因为依赖于图形的直观性及由它进行类推的方法，即使在今天也未失其重要性。

“微分几何”相关词条：
物理射影几何椭圆函数解析数论数学建模复变函数计算机辅助几何设计概率统计非欧几里得几何解析几何代数几何模糊数学数学史数学物理拓扑计算数学微分流形泛函分析拓扑学复变函数论偏微分方程常微分方程组合数学几何基础泛函动力系统代数学数学分析实变函数图论代数

微分几何研究微分流形的几何性质，是现代数学中一主流；是广义相对论的基础，与拓扑学、代数几何及理论物理关系密切。古典微分几何起源于微积分，主要内容为曲线论和曲面论。欧拉、蒙日和高斯被公认为古典微分几何的奠基人。近代微分几何的创始人是黎曼，他在1854年创立了黎曼几何（实际上黎曼提出的是芬斯勒几何），这成为近代微分几何的主要内容，并在相对论有极为重要的作用。埃利·嘉当和陈省身等人曾在微分几何领域做出极为杰出的贡献。 目录 [隐藏]
1 内在对外在
2 技术要求
3 分支
4 外部链接
5 参考书目
[编辑] 内在对外在从一开始到19世纪中叶，微分几何是从外在观点来进行研究的：曲线和曲面是被放在更高维欧几里得空间中来考虑的（譬如曲面被放在三维的背景空间中）。其中的最简单的成果就是曲线微分几何中的结果。内在观点开始于黎曼的工作，在那里因为几何对象被认为是独立的给出的，所以不能说移到外面来考虑这个对象。内在的观点更加灵活，例如在相对论中时空不能很自然的用外在形式表示。但用内在的观点，曲率和联络这样的结构比较难定义一些，所以采用内在的观点也不是没有代价的。这两种观点也是可以融通的，即外在几何可以被看作是附加于内在几何上的结构。（见纳什嵌入定理） [编辑] 技术要求微分几何的工具也就是流形上的微积分：包括对于流形，切丛，余切丛，微分形式，外微分，p-形式在p维子流形上的积分以及斯托克斯定理，楔积，和李导数的研究。这些都和多变量微积分相关；但对于几何上的应用来讲，必须发展一种在某种意义上和特定坐标系无关的方法。微分几何的特殊概念可以说是那些体现几何本质的二阶导数：曲率的很多表现方式。可微流形是一个拓扑空间，它有一个开覆盖，其中的每个开集同胚于Rn中的一个开单位球。并且，如果f,g是其中两个同胚映射，则函数无限可微。我们称一个函数无限可微，如果它和每个同胚的复合是从开球到R的无限可微函数。在流形的每一点，有一个该点的切空间，它由每个从该点离开进行运动的所有可能的速度(方向和大小)所组成。对一个n维流形，每点的切空间是一个n维向量空间，或者说是一个Rn。切空间有多种定义。其中一个是作为所有在该点取值为0的函数组成的线性空间的对偶空间，除以 所有取值为0 并且一阶导数为0的函数空间（所得到的余空间）。导数为0可以定义为“和任何可微的从实数到该流形的函数的复合的导数为0”，因而只需要用到可微性。向量场是从流形到它的切空间的并集（切丛）的函数，在每一点所取的值是该点的切空间的一个元素。这样的映射称为纤维丛的截面。 向量场可微，如果该向量场应用到每个可微函数都得到一个可微函数。向量场可以看作是时不变的微分方程组。从实数到流形的可微函数是流形上的曲线。这给了一个从实数到切空间的函数:曲线上每点的速度。一条曲线称为一个向量场的一个解，如果曲线每点的速度和向量场在该点的值相等。交错k维线性形式是向量空间V的对偶空间V*的反对称k阶向量积的一个元素。k微分形式就是在流形的每一点选取一个这样的交错k形式--V在这里就是该点的切空间。如果它作用在k个可微向量场上的结果是流形上的一个可微函数，则称它可微。体积形式是维数和流形相同的微分形式。