微分几何
微分几何学是运用数学分析的理论研究曲线或曲面在它一点邻域的性质，换句话说，微分几何是研究一般的曲线和曲面在“小范围”上的性质的数学分支学科。
微分几何的产生
微分几何学的产生和发展是和数学分析密切相连的。在这方面第一个做出贡献的是瑞士数学家欧拉。1736年他首先引进了平面曲线的内在坐标这一概念，即以曲线弧长这以几何量作为曲线上点的坐标，从而开始了曲线的内在几何的研究。
十八世纪初，法国数学家蒙日首先把微积分应用到曲线和曲面的研究中去，并于1807年出版了它的《分析在几何学上的应用》一书，这是微分几何最早的一本著作。在这些研究中，可以看到力学、物理学与工业的日益增长的要求是促进微分几何发展的因素。
1827年，高斯发表了《关于曲面的一般研究》的著作，这在微分几何的历史上有重大的意义，它的理论奠定了现代形式曲面论的基础。微分几何发展经历了150年之后，高斯抓住了微分几何中最重要的概念和带根本性的内容，建立了曲面的内在几何学。其主要思想是强调了曲面上只依赖于第一基本形式的一些性质，例如曲面上曲面的长度、两条曲线的夹角、曲面上的一区域的面积、测地线、测地线曲率和总曲率等等。他的理论奠定了近代形式曲面论的基础。
1872年克莱因在德国埃尔朗根大学作就职演讲时，阐述了《埃尔朗根纲领》，用变换群对已有的几何学进行了分类。在《埃尔朗根纲领》发表后的半个世纪内，它成了几何学的指导原理，推动了几何学的发展，导致了射影微分几何、仿射微分几何、共形微分几何的建立。特别是射影微分几何起始于1878年阿尔方的学位论文，后来1906年起经以威尔辛斯基为代表的美国学派所发展，1916年起又经以富比尼为首的意大利学派所发展。
随后，由于黎曼几何的发展和爱因斯坦广义相对论的建立，微分几何在黎曼几何学和广义相对论中的得到了广泛的应用，逐渐在数学中成为独具特色、应用广泛的独立学科。
微分几何学的基本内容
微分几何学以光滑曲线(曲面)作为研究对象，所以整个微分几何学是由曲线的弧线长、曲线上一点的切线等概念展开的。既然微分几何是研究一般曲线和一般曲面的有关性质，则平面曲线在一点的曲率和空间的曲线在一点的曲率等，就是微分几何中重要的讨论内容，而要计算曲线或曲面上每一点的曲率就要用到微分的方法。
在曲面上有两条重要概念，就是曲面上的距离和角。比如，在曲面上由一点到另一点的路径是无数的，但这两点间最短的路径只有一条，叫做从一点到另一点的测地线。在微分几何里，要讨论怎样判定曲面上一条曲线是这个曲面的一条测地线，还要讨论测地线的性质等。另外，讨论曲面在每一点的曲率也是微分几何的重要内容。
在微分几何中，为了讨论任意曲线上每一点邻域的性质，常常用所谓“活动标形的方法”。对任意曲线的“小范围”性质的研究，还可以用拓扑变换把这条曲线“转化”成初等曲线进行研究。
在微分几何中，由于运用数学分析的理论，就可以在无限小的范围内略去高阶无穷小，一些复杂的依赖关系可以变成线性的，不均匀的过程也可以变成均匀的，这些都是微分几何特有的研究方法。
近代由于对高维空间的微分几何和对曲线、曲面整体性质的研究，使微分几何学同黎曼几何、拓扑学、变分学、李群代数等有了密切的关系，这些数学部门和微分几何互相渗透，已成为现代数学的中心问题之一。
微分几何在力学和一些工程技术问题方面有广泛的应用，比如，在弹性薄壳结构方面，在机械的齿轮啮合理论应用方面，都充分应用了微分几何学的理论。
几何空间
空间的概念复我们来说是熟悉的。我们生活的空间是包含在上下、前后、左右之中的。如果需要描述我们所处的空间中的某一位置，就需要用三个方向来表示，这个意思也就是说空间是“三维”的。
在数学中经常用到“空间”这个概念，它指的范围很广，一般指某种对象（现象、状况、图形、函数等）的任意集合，只要其中说明了“距离”或“邻域”的概念就可以了。而所谓“维”的概念，如果我们所谈到的只是简单的几何图形，如点、线、三角形和多边形……，那么理解维的概念并不困难：点的维数是零；一条线段的维数是一；一个三角形的维数是二；一个立方体内所有点的集合的是三维的。
如果把维度的概念扩充到任意点集合上去的时候，维的概念就不那么容易理解了。比如，什么是四维空间呢？关于四维空间，我国古代有一些说法是很有意思的。最典型的就是对于“宇宙”两字的解释，古人的说法是“四方上下曰宇，古往今来曰宙”，用现在的话说就是，四维空间是在三维空间的基础上再加上时间维作为并列的第四个坐标。
爱因斯坦认为每一瞬间三维空间中的所有实物在占有一定的位置就是四维的。比如我们所住的房子，就是由长度、宽度、高度、和时间制约的。所谓时间制约就是从盖房的时候算起，直到最后房子倒塌为止。
根据上边的说法，几何学和其它科学研究的 n维空间的概念，就可以理解成由空间的点的 n个坐标决定。这个空间的图形就定义成满足这个或那个条件的点的轨迹。一般来说，某个图形由 n个条件给出，那么这个图形就是某个 n维的点。至于这个图形到底是什么形象，我们是否能想象得出来，对数学来说是无关紧要的。
几何学中的“维”的概念，实际上就是构成空间的基本元素，也就是点的活动的自由度，或者说是点的坐标。所谓 n维空间，经常是用来表示超出通常的几何直观范围的数学概念的一种几何语言。
从上面的介绍可以看出，几何中的元素可用代数中的是数来表示，代数问题如果通过几何的语言给与直观的描述，有时候可以给代数问题提示适当的解法。比如解三元一次方程组，就可以认为是求解三个平面的交点问题。
代数几何学的内容
用代数的方法研究几何的思想，在继出现解析几何之后，又发展为几何学的另一个分支，这就是代数几何。代数几何学研究的对象是平面的代数曲线、空间的代数曲线和代数曲面。
代数几何学的兴起，主要是源于求解一般的多项式方程组，开展了由这种方程组的解答所构成的空间，也就是所谓代数簇的研究。解析几何学的出发点是引进了坐标系来表示点的位置，同样，对于任何一种代数簇也可以引进坐标，因此，坐标法就成为研究代数几何学的一个有力的工具。
代数几何的研究是从19世纪上半叶关于三次或更高次的平面曲线的研究开始的。例如，阿贝尔在关于椭圆积分的研究中，发现了椭圆函数的双周期性，从而奠定了椭圆曲线理论基础。
黎曼1857年引入并发展了代数函数论，从而使代数曲线的研究获得了一个关键性的突破。黎曼把他的函数定义在复数平面的某种多层复迭平面上，从而引入了所谓黎曼曲面的概念。运用这个概念，黎曼定义了代数曲线的一个最重要的数值不变量：亏格。这也是代数几何历史上出现的第一个绝对不变量。
在黎曼之后，德国数学家诺特等人用几何方法获得了代数曲线的许多深刻的性质。诺特还对代数曲面的性质进行了研究。他的成果给以后意大利学派的工作建立了基础。
从19世纪末开始，出现了以卡斯特尔诺沃、恩里奎斯和塞维里为代表的意大利学派以及以庞加莱、皮卡和莱夫谢茨为代表的法国学派。他们对复数域上的低维代数簇的分类作了许多非常重要的工作，特别是建立了被认为是代数几何中最漂亮的理论之一的代数曲面分类理论。但是由于早期的代数几何研究缺乏一个严格的理论基础，这些工作中存在不少漏洞和错误，其中个别漏洞直到目前还没有得到弥补。
20世纪以来代数几何最重要的进展之一是它在最一般情形下的理论基础的建立。20世纪30年代，扎里斯基和范•德•瓦尔登等首先在代数几何研究中引进了交换代数的方法。在此基础上，韦伊在40年代利用抽象代数的方法建立了抽象域上的代数几何理论，然后20世纪50年代中期，法国数学家塞尔把代数簇的理论建立在层的概念上，并建立了凝聚层的上同调理论，这个为格罗腾迪克随后建立概型理论奠定了基础。概型理论的建立使代数几何的研究进入了一个全新的阶段。
代数几何学中要证明的定理多半是纯几何的，在论证中虽然使用坐标法，但是采用坐标法多建立在射影坐标系的基础上。
在解析几何中，主要是研究一次曲线和曲面、二次曲线和曲面。而在代数几何中主要是研究三次、四次的曲线和曲面以及它们的分类，继而过渡到研究任意的代数流形。
代数几何与数学的许多分支学科有着广泛的联系，如数论、解析几何、微分几何、交换代数、代数群、拓扑学等。代数几何的发展和这些学科的发展起着相互促进的作用。同时，作为一门理论学科，代数几何的应用前景也开始受到人们的注意，其中的一个显著的例子是代数几何在控制论中的应用。
近年来，人们在现代粒子物理的最新的超弦理论中已广泛应用代数几何工具，这预示着抽象的代数几何学将对现代物理学的发展发挥重要的作用。
射影几何
射影几何是研究图形的射影性质，即它们经过射影变换后，依然保持不变的图形性质的几何学分支学科。一度也叫做投影几何学，在经典几何学中，射影几何处于一种特殊的地位，通过它可以把其他一些几何学联系起来。
射影几何的发展简况
十七世纪，当笛卡儿和费尔马创立的解析几何问世的时候，还有一门几何学同时出现在人们的面前。这门几何学和画图有很密切的关系，它的某些概念早在古希腊时期就曾经引起一些学者的注意，欧洲文艺复兴时期透视学的兴起，给这门几何学的产生和成长准备了充分的条件。这门几何学就是射影几何学。
基于绘图学和建筑学的需要，古希腊几何学家就开始研究透视法，也就是投影和截影。早在公元前200年左右，阿波罗尼奥斯就曾把二次曲线作为正圆锥面的截线来研究。在4世纪帕普斯的著作中，出现了帕普斯定理。
在文艺复兴时期，人们在绘画和建筑艺术方面非常注意和大力研究如何在平面上表现实物的图形。那时候，人们发现，一个画家要把一个事物画在一块画布上就好比是用自己的眼睛当作投影中心，把实物的影子影射到画布上去，然后再描绘出来。在这个过程中，被描绘下来的像中的各个元素的相对大小和位置关系，有的变化了，有的却保持不变。这样就促使了数学家对图形在中心投影下的性质进行研究，因而就逐渐产生了许多过去没有的新的概念和理论，形成了射影几何这门学科。
射影几何真正成为独立的学科、成为几何学的一个重要分支，主要是在十七世纪。在17世纪初期，开普勒最早引进了无穷远点概念。稍后，为这门学科建立而做出了重要贡献的是两位法国数学家——笛沙格和帕斯卡。
笛沙格是一个自学成才的数学家，他年轻的时候当过陆军军官，后来钻研工程技术，成了一名工程师和建筑师，他很不赞成为理论而搞理论，决心用新的方法来证明圆锥曲线的定理。1639年，他出版了主要著作《试论圆锥曲线和平面的相交所得结果的初稿》，书中他引入了许多几何学的新概念。他的朋友笛卡尔、帕斯卡、费尔马都很推崇他的著作，费尔马甚至认为他是圆锥曲线理论的真正奠基人。
迪沙格在他的著作中，把直线看作是具有无穷大半径的圆，而曲线的切线被看作是割线的极限，这些概念都是射影几何学的基础。用他的名字命名的迪沙格定理：“如果两个三角形对应顶点连线共点，那么对应边的交点共线，反之也成立”，就是射影几何的基本定理。
帕斯卡也为射影几何学的早期工作做出了重要的贡献，1641年，他发现了一条定理：“内接于二次曲线的六边形的三双对边的交点共线。”这条定理叫做帕斯卡六边形定理，也是射影几何学中的一条重要定理。1658年，他写了《圆锥曲线论》一书，书中很多定理都是射影几何方面的内容。迪沙格和他是朋友，曾经敦促他搞透视学方面的研究，并且建议他要把圆锥曲线的许多性质简化成少数几个基本命题作为目标。帕斯卡接受了这些建议。后来他写了许多有关射影几何方面的小册子。
不过迪沙格和帕斯卡的这些定理，只涉及关联性质而不涉及度量性质(长度、角度、面积)。但他们在证明中却用到了长度概念，而不是用严格的射影方法，他们也没有意识到，自己的研究方向会导致产生一个新的几何体系射影几何。他们所用的是综合法，随着解析几何和微积分的创立，综合法让位于解析法，射影几何的探讨也中断了。
射影几何的主要奠基人是19世纪的彭赛列。他是画法几何的创始人蒙日的学生。蒙日带动了他的许多学生用综合法研究几何。由于迪沙格和帕斯卡等的工作被长期忽视了，前人的许多工作他们不了解，不得不重新再做。
1822年，彭赛列发表了射影几何的第一部系统著作。他是认识到射影几何是一个新的数学分支的第一个数学家。他通过几何方法引进无穷远虚圆点，研究了配极对应并用它来确立对偶原理。稍后，施泰纳研究了利用简单图形产生较复杂图形的方法，线素二次曲线概念也是他引进的。为了摆脱坐标系对度量概念的依赖，施陶特通过几何作图来建立直线上的点坐标系，进而使交比也不依赖于长度概念。由于忽视了连续公理的必要性，他建立坐标系的做法还不完善，但却迈出了决定性的一步。
另—方面，运用解析法来研究射影几何也有长足进展。首先是莫比乌斯创建一种齐次坐标系，把变换分为全等，相似，仿射，直射等类型，给出线束中四条线交比的度量公式等。接着，普吕克引进丁另一种齐次坐标系，得到了平面上无穷远线的方程，无穷远圆点的坐标。他还引进了线坐标概念，于是从代数观点就自然得到了对偶原理，并得到了关于一般线素曲线的一些概念。
在19世纪前半叶的几何研究中，综合法和解析法的争论异常激烈；有些数学家完全否定综合法，认为它没有前途，而一些几何学家，如沙勒，施图迪和施泰纳等，则坚持用综合法而排斥解析法。还有一些人，如彭赛列，虽然承认综合法有其局限性，在研究过程中也难免借助于代数，但在著作中总是用综合法来论证。他们的努力使综合射影几何形成一个优美的体系，而且用综合法也确实形象鲜明，有些问题论证直接而简洁。1882年帕施建成第一个严格的射影几何演绎体系。
射影几何学的发展和其他数学分支的发展有密切的关系，特别是“群”的概念产生以后，也被引进了射影几何学，对这门几何学的研究起了促进作用。
把各种几何和变换群相联系的是克莱因，他在埃尔朗根纲领中提出了这个观点，并把几种经典几何看作射影几何的子几何，使这些几何之间的关系变得十分明朗。这个纲领产生了巨大影响。但有些几何，如黎曼几何，不能纳入这个分类法。后来嘉当等在拓广几何分类的方法中作出了新的贡献。
射影几何学的内容
概括的说，射影几何学是几何学的一个重要分支学科，它是专门研究图形的位置关系的，也是专门用来讨论在把点投影到直线或者平面上的时候，图形的不变性质的科学。
在射影几何学中，把无穷远点看作是“理想点”。通常的直线再加上一个无穷点就是无穷远直线，如果一个平面内两条直线平行，那么这两条直线就交于这两条直线共有的无穷远点。通过同一无穷远点的所有直线平行。
在引入无穷远点和无穷远直线后，原来普通点和普通直线的结合关系依然成立，而过去只有两条直线不平行的时候才能求交点的限制就消失了。
由于经过同一个无穷远点的直线都平行，因此中心射影和平行射影两者就可以统一了。平行射影可以看作是经过无穷远点的中心投影了。这样凡是利用中心投影或者平行投影把一个图形映成另一个图形的映射，就都可以叫做射影变换了。
射影变换有两个重要的性质：首先，射影变换使点列变点列，直线变直线，线束变线束，点和直线的结合性是射影变换的不变性；其次，射影变换下，交比不变。交比是射影几何中重要的概念，用它可以说明两个平面点之间的射影对应。
在射影几何里，把点和直线叫做对偶元素，把“过一点作一直线”和“在一直线上取一点”叫做对偶运算。在两个图形中，它们如果都是由点和直线组成，把其中一图形里的各元素改为它的对偶元素，各运算改为它的对偶运算，结果就得到另一个图形。这两个图形叫做对偶图形。在一个命题中叙述的内容只是关于点、直线和平面的位置，可把各元素改为它的对偶元素，各运算改为它的对偶运算的时候，结果就得到另一个命题。这两个命题叫做对偶命题。
这就是射影几何学所特有的对偶原则。在射影平面上，如果一个命题成立，那么它的对偶命题也成立，这叫做平面对偶原则。同样，在射影空间里，如果一个命题成立，那么它的对偶命题也成立，叫做空间对偶原则。
研究在射影变换下二次曲线的不变性质，也是射影几何学的一项重要内容。
如果就几何学内容的多少来说，射影几何学< 仿射几何学< 欧氏几何学，这就是说欧氏几何学的内容最丰富，而射影几何学的内容最贫乏。比如在欧氏几何学里可以讨论仿射几何学的对象(如简比、平行性等)和射影几何学的对象(如四点的交比等)，反过来，在射影几何学里不能讨论图形的仿射性质，而在仿射几何学里也不能讨论图形的度量性质。
1872年，德国数学家克莱因在爱尔朗根大学提出著名的《爱尔朗根计划书》中提出用变换群对几何学进行分类，就是凡是一种变换，它的全体能组成“群”，就有相应的几何学，而在每一种几何学里，主要研究在相应的变换下的不变量和不变性。
微分几何学是运用数学分析的理论研究曲线或曲面在它一点邻域的性质，换句话说，微分几何是研究一般的曲线和曲面在“小范围”上的性质的数学分支学科。
微分几何的产生
微分几何学的产生和发展是和数学分析密切相连的。在这方面第一个做出贡献的是瑞士数学家欧拉。1736年他首先引进了平面曲线的内在坐标这一概念，即以曲线弧长这以几何量作为曲线上点的坐标，从而开始了曲线的内在几何的研究。
十八世纪初，法国数学家蒙日首先把微积分应用到曲线和曲面的研究中去，并于1807年出版了它的《分析在几何学上的应用》一书，这是微分几何最早的一本著作。在这些研究中，可以看到力学、物理学与工业的日益增长的要求是促进微分几何发展的因素。
1827年，高斯发表了《关于曲面的一般研究》的著作，这在微分几何的历史上有重大的意义，它的理论奠定了现代形式曲面论的基础。微分几何发展经历了150年之后，高斯抓住了微分几何中最重要的概念和带根本性的内容，建立了曲面的内在几何学。其主要思想是强调了曲面上只依赖于第一基本形式的一些性质，例如曲面上曲面的长度、两条曲线的夹角、曲面上的一区域的面积、测地线、测地线曲率和总曲率等等。他的理论奠定了近代形式曲面论的基础。
1872年克莱因在德国埃尔朗根大学作就职演讲时，阐述了《埃尔朗根纲领》，用变换群对已有的几何学进行了分类。在《埃尔朗根纲领》发表后的半个世纪内，它成了几何学的指导原理，推动了几何学的发展，导致了射影微分几何、仿射微分几何、共形微分几何的建立。特别是射影微分几何起始于1878年阿尔方的学位论文，后来1906年起经以威尔辛斯基为代表的美国学派所发展，1916年起又经以富比尼为首的意大利学派所发展。
随后，由于黎曼几何的发展和爱因斯坦广义相对论的建立，微分几何在黎曼几何学和广义相对论中的得到了广泛的应用，逐渐在数学中成为独具特色、应用广泛的独立学科。
微分几何学的基本内容
微分几何学以光滑曲线(曲面)作为研究对象，所以整个微分几何学是由曲线的弧线长、曲线上一点的切线等概念展开的。既然微分几何是研究一般曲线和一般曲面的有关性质，则平面曲线在一点的曲率和空间的曲线在一点的曲率等，就是微分几何中重要的讨论内容，而要计算曲线或曲面上每一点的曲率就要用到微分的方法。
在曲面上有两条重要概念，就是曲面上的距离和角。比如，在曲面上由一点到另一点的路径是无数的，但这两点间最短的路径只有一条，叫做从一点到另一点的测地线。在微分几何里，要讨论怎样判定曲面上一条曲线是这个曲面的一条测地线，还要讨论测地线的性质等。另外，讨论曲面在每一点的曲率也是微分几何的重要内容。
在微分几何中，为了讨论任意曲线上每一点邻域的性质，常常用所谓“活动标形的方法”。对任意曲线的“小范围”性质的研究，还可以用拓扑变换把这条曲线“转化”成初等曲线进行研究。
在微分几何中，由于运用数学分析的理论，就可以在无限小的范围内略去高阶无穷小，一些复杂的依赖关系可以变成线性的，不均匀的过程也可以变成均匀的，这些都是微分几何特有的研究方法。
近代由于对高维空间的微分几何和对曲线、曲面整体性质的研究，使微分几何学同黎曼几何、拓扑学、变分学、李群代数等有了密切的关系，这些数学部门和微分几何互相渗透，已成为现代数学的中心问题之一。
微分几何在力学和一些工程技术问题方面有广泛的应用，比如，在弹性薄壳结构方面，在机械的齿轮啮合理论应用方面，都充分应用了微分几何学的理论。
几何空间
空间的概念复我们来说是熟悉的。我们生活的空间是包含在上下、前后、左右之中的。如果需要描述我们所处的空间中的某一位置，就需要用三个方向来表示，这个意思也就是说空间是“三维”的。
在数学中经常用到“空间”这个概念，它指的范围很广，一般指某种对象（现象、状况、图形、函数等）的任意集合，只要其中说明了“距离”或“邻域”的概念就可以了。而所谓“维”的概念，如果我们所谈到的只是简单的几何图形，如点、线、三角形和多边形……，那么理解维的概念并不困难：点的维数是零；一条线段的维数是一；一个三角形的维数是二；一个立方体内所有点的集合的是三维的。
如果把维度的概念扩充到任意点集合上去的时候，维的概念就不那么容易理解了。比如，什么是四维空间呢？关于四维空间，我国古代有一些说法是很有意思的。最典型的就是对于“宇宙”两字的解释，古人的说法是“四方上下曰宇，古往今来曰宙”，用现在的话说就是，四维空间是在三维空间的基础上再加上时间维作为并列的第四个坐标。
爱因斯坦认为每一瞬间三维空间中的所有实物在占有一定的位置就是四维的。比如我们所住的房子，就是由长度、宽度、高度、和时间制约的。所谓时间制约就是从盖房的时候算起，直到最后房子倒塌为止。
根据上边的说法，几何学和其它科学研究的 n维空间的概念，就可以理解成由空间的点的 n个坐标决定。这个空间的图形就定义成满足这个或那个条件的点的轨迹。一般来说，某个图形由 n个条件给出，那么这个图形就是某个 n维的点。至于这个图形到底是什么形象，我们是否能想象得出来，对数学来说是无关紧要的。
几何学中的“维”的概念，实际上就是构成空间的基本元素，也就是点的活动的自由度，或者说是点的坐标。所谓 n维空间，经常是用来表示超出通常的几何直观范围的数学概念的一种几何语言。
从上面的介绍可以看出，几何中的元素可用代数中的是数来表示，代数问题如果通过几何的语言给与直观的描述，有时候可以给代数问题提示适当的解法。比如解三元一次方程组，就可以认为是求解三个平面的交点问题。
代数几何学的内容
用代数的方法研究几何的思想，在继出现解析几何之后，又发展为几何学的另一个分支，这就是代数几何。代数几何学研究的对象是平面的代数曲线、空间的代数曲线和代数曲面。
代数几何学的兴起，主要是源于求解一般的多项式方程组，开展了由这种方程组的解答所构成的空间，也就是所谓代数簇的研究。解析几何学的出发点是引进了坐标系来表示点的位置，同样，对于任何一种代数簇也可以引进坐标，因此，坐标法就成为研究代数几何学的一个有力的工具。
代数几何的研究是从19世纪上半叶关于三次或更高次的平面曲线的研究开始的。例如，阿贝尔在关于椭圆积分的研究中，发现了椭圆函数的双周期性，从而奠定了椭圆曲线理论基础。
黎曼1857年引入并发展了代数函数论，从而使代数曲线的研究获得了一个关键性的突破。黎曼把他的函数定义在复数平面的某种多层复迭平面上，从而引入了所谓黎曼曲面的概念。运用这个概念，黎曼定义了代数曲线的一个最重要的数值不变量：亏格。这也是代数几何历史上出现的第一个绝对不变量。
在黎曼之后，德国数学家诺特等人用几何方法获得了代数曲线的许多深刻的性质。诺特还对代数曲面的性质进行了研究。他的成果给以后意大利学派的工作建立了基础。
从19世纪末开始，出现了以卡斯特尔诺沃、恩里奎斯和塞维里为代表的意大利学派以及以庞加莱、皮卡和莱夫谢茨为代表的法国学派。他们对复数域上的低维代数簇的分类作了许多非常重要的工作，特别是建立了被认为是代数几何中最漂亮的理论之一的代数曲面分类理论。但是由于早期的代数几何研究缺乏一个严格的理论基础，这些工作中存在不少漏洞和错误，其中个别漏洞直到目前还没有得到弥补。
20世纪以来代数几何最重要的进展之一是它在最一般情形下的理论基础的建立。20世纪30年代，扎里斯基和范•德•瓦尔登等首先在代数几何研究中引进了交换代数的方法。在此基础上，韦伊在40年代利用抽象代数的方法建立了抽象域上的代数几何理论，然后20世纪50年代中期，法国数学家塞尔把代数簇的理论建立在层的概念上，并建立了凝聚层的上同调理论，这个为格罗腾迪克随后建立概型理论奠定了基础。概型理论的建立使代数几何的研究进入了一个全新的阶段。
代数几何学中要证明的定理多半是纯几何的，在论证中虽然使用坐标法，但是采用坐标法多建立在射影坐标系的基础上。
在解析几何中，主要是研究一次曲线和曲面、二次曲线和曲面。而在代数几何中主要是研究三次、四次的曲线和曲面以及它们的分类，继而过渡到研究任意的代数流形。
代数几何与数学的许多分支学科有着广泛的联系，如数论、解析几何、微分几何、交换代数、代数群、拓扑学等。代数几何的发展和这些学科的发展起着相互促进的作用。同时，作为一门理论学科，代数几何的应用前景也开始受到人们的注意，其中的一个显著的例子是代数几何在控制论中的应用。
近年来，人们在现代粒子物理的最新的超弦理论中已广泛应用代数几何工具，这预示着抽象的代数几何学将对现代物理学的发展发挥重要的作用。
射影几何
射影几何是研究图形的射影性质，即它们经过射影变换后，依然保持不变的图形性质的几何学分支学科。一度也叫做投影几何学，在经典几何学中，射影几何处于一种特殊的地位，通过它可以把其他一些几何学联系起来。
射影几何的发展简况
十七世纪，当笛卡儿和费尔马创立的解析几何问世的时候，还有一门几何学同时出现在人们的面前。这门几何学和画图有很密切的关系，它的某些概念早在古希腊时期就曾经引起一些学者的注意，欧洲文艺复兴时期透视学的兴起，给这门几何学的产生和成长准备了充分的条件。这门几何学就是射影几何学。
基于绘图学和建筑学的需要，古希腊几何学家就开始研究透视法，也就是投影和截影。早在公元前200年左右，阿波罗尼奥斯就曾把二次曲线作为正圆锥面的截线来研究。在4世纪帕普斯的著作中，出现了帕普斯定理。
在文艺复兴时期，人们在绘画和建筑艺术方面非常注意和大力研究如何在平面上表现实物的图形。那时候，人们发现，一个画家要把一个事物画在一块画布上就好比是用自己的眼睛当作投影中心，把实物的影子影射到画布上去，然后再描绘出来。在这个过程中，被描绘下来的像中的各个元素的相对大小和位置关系，有的变化了，有的却保持不变。这样就促使了数学家对图形在中心投影下的性质进行研究，因而就逐渐产生了许多过去没有的新的概念和理论，形成了射影几何这门学科。
射影几何真正成为独立的学科、成为几何学的一个重要分支，主要是在十七世纪。在17世纪初期，开普勒最早引进了无穷远点概念。稍后，为这门学科建立而做出了重要贡献的是两位法国数学家——笛沙格和帕斯卡。
笛沙格是一个自学成才的数学家，他年轻的时候当过陆军军官，后来钻研工程技术，成了一名工程师和建筑师，他很不赞成为理论而搞理论，决心用新的方法来证明圆锥曲线的定理。1639年，他出版了主要著作《试论圆锥曲线和平面的相交所得结果的初稿》，书中他引入了许多几何学的新概念。他的朋友笛卡尔、帕斯卡、费尔马都很推崇他的著作，费尔马甚至认为他是圆锥曲线理论的真正奠基人。
迪沙格在他的著作中，把直线看作是具有无穷大半径的圆，而曲线的切线被看作是割线的极限，这些概念都是射影几何学的基础。用他的名字命名的迪沙格定理：“如果两个三角形对应顶点连线共点，那么对应边的交点共线，反之也成立”，就是射影几何的基本定理。
帕斯卡也为射影几何学的早期工作做出了重要的贡献，1641年，他发现了一条定理：“内接于二次曲线的六边形的三双对边的交点共线。”这条定理叫做帕斯卡六边形定理，也是射影几何学中的一条重要定理。1658年，他写了《圆锥曲线论》一书，书中很多定理都是射影几何方面的内容。迪沙格和他是朋友，曾经敦促他搞透视学方面的研究，并且建议他要把圆锥曲线的许多性质简化成少数几个基本命题作为目标。帕斯卡接受了这些建议。后来他写了许多有关射影几何方面的小册子。
不过迪沙格和帕斯卡的这些定理，只涉及关联性质而不涉及度量性质(长度、角度、面积)。但他们在证明中却用到了长度概念，而不是用严格的射影方法，他们也没有意识到，自己的研究方向会导致产生一个新的几何体系射影几何。他们所用的是综合法，随着解析几何和微积分的创立，综合法让位于解析法，射影几何的探讨也中断了。
射影几何的主要奠基人是19世纪的彭赛列。他是画法几何的创始人蒙日的学生。蒙日带动了他的许多学生用综合法研究几何。由于迪沙格和帕斯卡等的工作被长期忽视了，前人的许多工作他们不了解，不得不重新再做。
1822年，彭赛列发表了射影几何的第一部系统著作。他是认识到射影几何是一个新的数学分支的第一个数学家。他通过几何方法引进无穷远虚圆点，研究了配极对应并用它来确立对偶原理。稍后，施泰纳研究了利用简单图形产生较复杂图形的方法，线素二次曲线概念也是他引进的。为了摆脱坐标系对度量概念的依赖，施陶特通过几何作图来建立直线上的点坐标系，进而使交比也不依赖于长度概念。由于忽视了连续公理的必要性，他建立坐标系的做法还不完善，但却迈出了决定性的一步。
另—方面，运用解析法来研究射影几何也有长足进展。首先是莫比乌斯创建一种齐次坐标系，把变换分为全等，相似，仿射，直射等类型，给出线束中四条线交比的度量公式等。接着，普吕克引进丁另一种齐次坐标系，得到了平面上无穷远线的方程，无穷远圆点的坐标。他还引进了线坐标概念，于是从代数观点就自然得到了对偶原理，并得到了关于一般线素曲线的一些概念。
在19世纪前半叶的几何研究中，综合法和解析法的争论异常激烈；有些数学家完全否定综合法，认为它没有前途，而一些几何学家，如沙勒，施图迪和施泰纳等，则坚持用综合法而排斥解析法。还有一些人，如彭赛列，虽然承认综合法有其局限性，在研究过程中也难免借助于代数，但在著作中总是用综合法来论证。他们的努力使综合射影几何形成一个优美的体系，而且用综合法也确实形象鲜明，有些问题论证直接而简洁。1882年帕施建成第一个严格的射影几何演绎体系。
射影几何学的发展和其他数学分支的发展有密切的关系，特别是“群”的概念产生以后，也被引进了射影几何学，对这门几何学的研究起了促进作用。
把各种几何和变换群相联系的是克莱因，他在埃尔朗根纲领中提出了这个观点，并把几种经典几何看作射影几何的子几何，使这些几何之间的关系变得十分明朗。这个纲领产生了巨大影响。但有些几何，如黎曼几何，不能纳入这个分类法。后来嘉当等在拓广几何分类的方法中作出了新的贡献。
射影几何学的内容
概括的说，射影几何学是几何学的一个重要分支学科，它是专门研究图形的位置关系的，也是专门用来讨论在把点投影到直线或者平面上的时候，图形的不变性质的科学。
在射影几何学中，把无穷远点看作是“理想点”。通常的直线再加上一个无穷点就是无穷远直线，如果一个平面内两条直线平行，那么这两条直线就交于这两条直线共有的无穷远点。通过同一无穷远点的所有直线平行。
在引入无穷远点和无穷远直线后，原来普通点和普通直线的结合关系依然成立，而过去只有两条直线不平行的时候才能求交点的限制就消失了。
由于经过同一个无穷远点的直线都平行，因此中心射影和平行射影两者就可以统一了。平行射影可以看作是经过无穷远点的中心投影了。这样凡是利用中心投影或者平行投影把一个图形映成另一个图形的映射，就都可以叫做射影变换了。
射影变换有两个重要的性质：首先，射影变换使点列变点列，直线变直线，线束变线束，点和直线的结合性是射影变换的不变性；其次，射影变换下，交比不变。交比是射影几何中重要的概念，用它可以说明两个平面点之间的射影对应。
在射影几何里，把点和直线叫做对偶元素，把“过一点作一直线”和“在一直线上取一点”叫做对偶运算。在两个图形中，它们如果都是由点和直线组成，把其中一图形里的各元素改为它的对偶元素，各运算改为它的对偶运算，结果就得到另一个图形。这两个图形叫做对偶图形。在一个命题中叙述的内容只是关于点、直线和平面的位置，可把各元素改为它的对偶元素，各运算改为它的对偶运算的时候，结果就得到另一个命题。这两个命题叫做对偶命题。
这就是射影几何学所特有的对偶原则。在射影平面上，如果一个命题成立，那么它的对偶命题也成立，这叫做平面对偶原则。同样，在射影空间里，如果一个命题成立，那么它的对偶命题也成立，叫做空间对偶原则。
研究在射影变换下二次曲线的不变性质，也是射影几何学的一项重要内容。
如果就几何学内容的多少来说，射影几何学< 仿射几何学< 欧氏几何学，这就是说欧氏几何学的内容最丰富，而射影几何学的内容最贫乏。比如在欧氏几何学里可以讨论仿射几何学的对象(如简比、平行性等)和射影几何学的对象(如四点的交比等)，反过来，在射影几何学里不能讨论图形的仿射性质，而在仿射几何学里也不能讨论图形的度量性质。
1872年，德国数学家克莱因在爱尔朗根大学提出著名的《爱尔朗根计划书》中提出用变换群对几何学进行分类，就是凡是一种变换，它的全体能组成“群”，就有相应的几何学，而在每一种几何学里，主要研究在相应的变换下的不变量和不变性。
回复Comments
作者:
{commentrecontent}