另—方面，运用解析法来研究射影几何也有长足进展。首先是莫比乌斯创建一种齐次坐标系，把变换分为全等，相似，仿射，直射等类型，给出线束中四条线交比的度量公式等。接着，普吕克引进丁另一种齐次坐标系，得到了平面上无穷远线的方程，无穷远圆点的坐标。他还引进了线坐标概念，于是从代数观点就自然得到了对偶原理，并得到了关于一般线素曲线的一些概念。

    在19世纪前半叶的几何研究中，综合法和解析法的争论异常激烈；有些数学家完全否定综合法，认为它没有前途，而一些几何学家，如沙勒，施图迪和施泰纳等，则坚持用综合法而排斥解析法。还有一些人，如彭赛列，虽然承认综合法有其局限性，在研究过程中也难免借助于代数，但在著作中总是用综合法来论证。他们的努力使综合射影几何形成一个优美的体系，而且用综合法也确实形象鲜明，有些问题论证直接而简洁。1882年帕施建成第一个严格的射影几何演绎体系。

    射影几何学的发展和其他数学分支的发展有密切的关系，特别是“群”的概念产生以后，也被引进了射影几何学，对这门几何学的研究起了促进作用。

    把各种几何和变换群相联系的是克莱因，他在埃尔朗根纲领中提出了这个观点，并把几种经典几何看作射影几何的子几何，使这些几何之间的关系变得十分明朗。这个纲领产生了巨大影响。但有些几何，如黎曼几何，不能纳入这个分类法。后来嘉当等在拓广几何分类的方法中作出了新的贡献。

射影几何学的内容

    概括的说，射影几何学是几何学的一个重要分支学科，它是专门研究图形的位置关系的，也是专门用来讨论在把点投影到直线或者平面上的时候，图形的不变性质的科学。

    在射影几何学中，把无穷远点看作是“理想点”。通常的直线再加上一个无穷点就是无穷远直线，如果一个平面内两条直线平行，那么这两条直线就交于这两条直线共有的无穷远点。通过同一无穷远点的所有直线平行。

    在引入无穷远点和无穷远直线后，原来普通点和普通直线的结合关系依然成立，而过去只有两条直线不平行的时候才能求交点的限制就消失了。

    由于经过同一个无穷远点的直线都平行，因此中心射影和平行射影两者就可以统一了。平行射影可以看作是经过无穷远点的中心投影了。这样凡是利用中心投影或者平行投影把一个图形映成另一个图形的映射，就都可以叫做射影变换了。

    射影变换有两个重要的性质：首先，射影变换使点列变点列，直线变直线，线束变线束，点和直线的结合性是射影变换的不变性；其次，射影变换下，交比不变。交比是射影几何中重要的概念，用它可以说明两个平面点之间的射影对应。

    在射影几何里，把点和直线叫做对偶元素，把“过一点作一直线”和“在一直线上取一点”叫做对偶运算。在两个图形中，它们如果都是由点和直线组成，把其中一图形里的各元素改为它的对偶元素，各运算改为它的对偶运算，结果就得到另一个图形。这两个图形叫做对偶图形。在一个命题中叙述的内容只是关于点、直线和平面的位置，可把各元素改为它的对偶元素，各运算改为它的对偶运算的时候，结果就得到另一个命题。这两个命题叫做对偶命题。

    这就是射影几何学所特有的对偶原则。在射影平面上，如果一个命题成立，那么它的对偶命题也成立，这叫做平面对偶原则。同样，在射影空间里，如果一个命题成立，那么它的对偶命题也成立，叫做空间对偶原则。

    研究在射影变换下二次曲线的不变性质，也是射影几何学的一项重要内容。

    如果就几何学内容的多少来说，射影几何学< 仿射几何学< 欧氏几何学，这就是说欧氏几何学的内容最丰富，而射影几何学的内容最贫乏。比如在欧氏几何学里可以讨论仿射几何学的对象(如简比、平行性等)和射影几何学的对象(如四点的交比等)，反过来，在射影几何学里不能讨论图形的仿射性质，而在仿射几何学里也不能讨论图形的度量性质。

    1872年，德国数学家克莱因在爱尔朗根大学提出著名的《爱尔朗根计划书》中提出用变换群对几何学进行分类，就是凡是一种变换，它的全体能组成“群”，就有相应的几何学，而在每一种几何学里，主要研究在相应的变换下的不变量和不变性。

上一页  [1] [2]