高观点下的初等几何问题的研究.docVIP

高观点下的初等几何问题的研究 数学系 高秀娟 公理法的几何学 一般说来，数学的公理法就是选取若干个不加定义的原始概念（基本概念）和无条件承认的对基本概念加以制约的若干规定（公理）作为出发点，再以严格的逻辑推演使某一数学分支成为演绎系统的一种方法。 1.欧氏几何 以欧几里得（古希腊最伟大的一位几何学家，公元前330-275年）平行公理为基础的几何学，称为欧几里得几何，简称欧氏几何。我国明代徐光启翻译了几何原本，并将Geometry一词译为几何学。 《几何原本》的基本结构是定义，公设和公理的系统，其中的五条公设如下： 1.从每个点到每个别的点必定可以引直线； 2.每条直线都可以无限延长； 3.以任意点为中心可以用任意半径作圆周； 4.所有的直角都相等； 5.若一条直线与另外两条直线相交，当有一侧的两个同侧内角之和小于两直角时，则这两条直线就在这侧相交。 欧几里得到《几何原本》是历史上第一部几何学著作，但是从现代教学观点来看，它的几何逻辑结构在严谨方面还存在着许多缺陷。所以，在欧几里德以后长达两千年以上的时间里，数学家们都注意到并且试图消除几何原本中在逻辑上存在的缺陷。 欧几里得几何原本中的第五公设的试证，引起了人们的极大关注。原因是前四个公设含义简明，而第五个叙述比较复杂，而且在几何原本里使用较晚，这样就引起人们对它的怀疑。恰恰是在对第五公设的漫长的推证过程中，推导出了一系列等价命题，并且最终导致了非欧几里德几何学的发现和现代几何公里法定建立。 在重新建立几何学基础结构的工作中，最有成就的是希尔伯特的著作《几何基础》，他在著作里提出了欧氏几何完备的公理系统，从这个系统可以用逻辑推导出欧氏几何的全部内容。 2.非欧几何 在证明第五公设的漫长努力过程中，问题其实并未得到根本解决。于是，俄国数学家罗巴切夫斯基（1792-1856）在试证过程中，否定了第五公设的等价命题“在一平面上，通过已知直线外一点，最多能作一条直线与已知直线不相交。“，引入新的平行公理：“在一平面上，通过已知直线外的一个已知点，至少有两条直线与已知直线不相交”，并保留了欧几里德的除了公设五以外的所有公理及公设，构成了一个新的公理系统。在这个新的系统中，他推证了一连串的命题，不但没有得出任何矛盾，恰恰相反，得到的却是一个完善和谐的几何体系，罗巴切夫斯基认为，这个新的体系所建立的几何表明了一种新的结合学的存在。1826年，罗巴切夫斯基宣读了他的新几何学的报告，宣告了非欧几何学的诞生。 罗巴切夫斯基建立的非欧几何当时只得到高斯和约翰.波里埃等少数人的理解。在他去世后，意大利数学家贝尔特拉米给出了罗氏几何的第一个模型---具有负常曲率的伪球面，使得罗氏几何有了现实的意义。从此罗氏几何才被人们却认为也是现实空间的反映。 罗氏几何学的诞生表明，欧几里德的几何公理不是牢不可破的教条，采用不同的公理做基础，可以建立不同他的几何学。所以欧几里德几何不再是几何学的同义语，欧氏几何只是几何学中的一种。 黎曼（1826-1866）在1854年提出了另一种非欧几何学，在这种几何学里，同一平面内的二直线必相交，三角形内角和大于二直角。 二．克莱因的几何学观点 几何学的群论观点，是由德国数学家F·Klein于1872年在埃尔朗根大学任教授时所作的题为“近代几何学研究的比较评述”的演说中首先提出来的，历史上称为《埃尔朗根纲领》（Erlangen Program）。这种变换群的观点对近代几何学的发展产生了深远的影响，支配了从他以来近半个世纪的几何学的研究。 若给定一个集合以及此集合上的一个变换群，则空间内的图形对于此群的不变性质的命题系统的研究就称为这空间的几何学，而空间的维数就称为几何学的维数，且称此群为该几何学所对应的变换群。 有一个变换群就相应的有一种研究在此群作用下不变性质理论的几何学。欧氏几何是研究等价类里一切图形所共有的性质，图形关于正交变换群下的不变性质所构成的命题系统就是欧氏几何学。同理，在仿射变换群下图形的不变性质所构成的命题系统就是仿射几何学；射影变换群下的图形不变性质构成的命题系统就是射影几何学。 设G是集合S的一个变换群，G′是G的子群，G′与G所对应的几何分别为A′与A。由于G′ G，所以对于G不变的性质对于G′一定也不变，因此A中的定理一定也是A′中的定理；但是反过来，却不一定成立。，我们称A′为A的一个子几何。 所以，越大变换群所对应的几何内容越少，相对较小的子群所对应的子几何内容却更丰富。 研究射影变换群下图形的不变性质和不变量的几何分支就是射影几何。因为射影变换保持同素性、结合性和交比不变，因此在射影变换下，一维基本形是不变图形，点列变换成点列，线束变换成线束，另外，二次曲线在射影变换下仍为二次曲线，所以二次曲线也是射影几何讨论的对象。 研究仿射变换群下图形的不变性质