高等几何在初等数学中的应用.docVIP

【标题】高等几何在初等数学中的应用 【作者】李 静 【关键词】克莱因的群论观点??变换群与几何学??仿射变换??射影变换 【指导老师】杨 世 辉 【专业】数学与应用数学 【正文】1. 引言由克莱茵(F. Klein)几何学的群论观点?，几何学是研究在相应的变换群下图形保持不变的性质和量的科学.也就是说，每一种几何学对应着一个变换群，图形在该变换群下保持不变的那些性质和量，就是这种几何学研究的对象.变换群序列(射影群?仿射群?正交群)所对应的几何学，从研究的范围而言，射影几何?仿射几何?欧氏几何;从研究的内容(图形的性质)来说，根据普遍性被包含于特殊性之中，则恰有相反的关系，即射影几何?仿射几何?欧氏几何.即射影几何内容最少，欧氏几何内容最丰富.????用公理法研究几何学，不同的公理体系可以建立不同的几何学，从而说明任何几何学和几何定理都是相对于某种公理体系而言的?.例如，若将欧氏几何的希尔伯特(Hilbert)公理体系的平行公理换成罗巴切夫斯基—鲍里埃公理，而保持其余公理不变，便得到罗氏几何.历史上，依据公理化方法，就能对几何中的许多问题作透彻的理解.掌握公理法，还能对几何中的一些概念作出准确的解释.例如在学习公理法之前，往往不易区别诸如“两线段的大小”和“线段的长度”的概念，但学习了希尔伯特公理体系之后，便会清楚认识到，用介于关系只能对两线段的大小进行比较而不能给出线段长度的概念，建立线段长度的概念还必须依赖连续公理.这样就将两个概念从思想上严格地区分开来.从而避免了混淆概念的错误.高等几何对初等几何有着指导作用.Klein的群论原则把各种几何统一在变换群的观点之下.指出欧氏几何是射影几何的子几何，使我们认清了各种几何的内在联系.初等几何中有射影性质的问题，例如交比、调和比以及共点、共线等问题，都可以用高等的方法去解决.初等几何中有些问题实际上是射影几何的特例.用初等几何的方法去解决很麻烦，用射影几何的方法解决很简单.2. 各种几何学的内在联系分析各种几何的不同结构及相应的几何空间的区别与联系赋予几何学以清楚的分野，使学员居高临下，从整体结构上全面认识和把握中学几何教材的内容和基本思想.2.1?运用克莱因的群论观点克莱因的变换群与几何学的基本观点，可以简要地概括为:如果给定任意元素的集合?和它的一个变换群G，那么我们称集合?为空间，它的元素称为点，它的某些特定的子集称为图形;如果群G的一个变换将图形F变为?，就说图形F与?等价.变换群G下图形的不变性质和不变量，就是等价图形的共同性质，称为几何性质.在变换群G所有变换下图形的不变性质和不变量的命题系统，称为由空间?和变换群G所确定的几何.群G称为该几何的主群.不同的几何学对应于不同的主变换群，因而有不同的研究对象和内容，也就是说有不同的几何结构.如我们熟悉的欧氏几何，它研究欧氏空间中点、直线、平面，以及由它们根据结合、顺序、合同、平行、连续、度量等关系所组成的图形的性质，而这些性质全都是正交变换(运动)群下的不变性质和量.我们在研究直线上点的结合关系、位置关系、连续性等性质的时候，总是取出一条直线作为代表，不考虑它在什么位置，因为我们确信，直线经过运动后其性质是不变的，所有的直线在运动下属于同一个等价类，它们有共同的性质.在研究其它图形的性质时，我们也总认为全等图形有相同的性质，因为它们属干同一个等价类.只要取出类中一个图形作为代表来研究就行了，不必考虑它在什么位置.所有一等价类的划分，共同性质的确定，即几何对象和内容的确定，都由空间和运动群来保证.确定所有图形的点集合加上运动群，就确定了欧几里得空间及其结构，从而确立了欧氏几何学.仿射几何只研究图形的结合关系、顺序关系、平行关系、连续性质，而不研究图形的合同关系和度量关系，这些性质都正好是仿射变换群下的不变性质和量，因此仿射几何是研究仿射变换群下的不变性质和量的几何学.射影几何只研究图形的结合关系、顺序关系和连续性，而这些性质都是射影变换下的不变性质和不变量，因此射影几何是研究射影变换群下图形的不变性质和不变量的几何学.这样不同的变换群确立不同的几何学:正交变换群确立欧氏几何学，与正交变换群相联系的空间称为欧氏空间，空间的维数称为该几何的维数，正交变换群下的不变性质和不变量称为欧氏几何性质或度量性质.相似变换群确立相似几何学或称抛物几何学，也称为扩大的欧氏几何学;仿射变换群确立仿射几何学;射影变换群确立射影几何学.相应地，分别讨论各自变换群下的不变性质，分别称为相似性质，仿射性质和射影性质.每一种几何学的空间结构是由点集和变换群确定的.以平面(二维几何空间)为例，欧氏几何的平面包括了两个内容首先它是一个点集，同时又是具有正交变换下的不变性质的点集.这个平面就是我们所熟悉的中学几何所研究