射影几何学
射影几何学
射影几何是研究图形的射影性质,即它们经过射影变换后,依然保持不变的图形性质的几何学分支学科。一度也叫做投影几何学,在经典几何学中,射影几何处于一种特殊的地位,通过它可以把其他一些几何学联系起来。
发展简况
十七世纪,当笛卡儿和费尔马创立的解析几何问世的时候,还有一门几何学同时出现在人们的面前。这门几何学和画图有很密切的关系,它的某些概念早在古希腊时期就曾经引起一些学者的注意,欧洲文艺复兴时期透视学的兴起,给这门几何学的产生和成长准备了充分的条件。这门几何学就是射影几何学。
基于绘图学和建筑学的需要,古希腊几何学家就开始研究透视法,也就是投影和截影。早在公元前200年左右,阿波罗尼奥斯就曾把二次曲线作为正圆锥面的截线来研究。在4世纪帕普斯的著作中,出现了帕普斯定理。
在文艺复兴时期,人们在绘画和建筑艺术方面非常注意和大力研究如何在平面上表现实物的图形。那时候,人们发现,一个画家要把一个事物画在一块画布上就好比是用自己的眼睛当作投影中心,把实物的影子影射到画布上去,然后再描绘出来。在这个过程中,被描绘下来的像中的各个元素的相对大小和位置关系,有的变化了,有的却保持不变。这样就促使了数学家对图形在中心投影下的性质进行研究,因而就逐渐产生了许多过去没有的新的概念和理论,形成了射影几何这门学科。
射影几何真正成为独立的学科、成为几何学的一个重要分支,主要是在十七世纪。在17世纪初期,开普勒最早引进了无穷远点概念。稍后,为这门学科建立而做出了重要贡献的是两位法国数学家——笛沙格和帕斯卡。
笛沙格是一个自学成才的数学家,他年轻的时候当过陆军军官,后来钻研工程技术,成了一名工程师和建筑师,他很不赞成为理论而搞理论,决心用新的方法来证明圆锥曲线的定理。1639年,他出版了主要著作《试论圆锥曲线和平面的相交所得结果的初稿》,书中他引入了许多几何学的新概念。他的朋友笛卡尔、帕斯卡、费尔马都很推崇他的著作,费尔马甚至认为他是圆锥曲线理论的真正奠基人。
迪沙格在他的著作中,把直线看作是具有无穷大半径的圆,而曲线的切线被看作是割线的极限,这些概念都是射影几何学的基础。用他的名字命名的迪沙格定理:“如果两个三角形对应顶点连线共点,那么对应边的交点共线,反之也成立”,就是射影几何的基本定理。
帕斯卡也为射影几何学的早期工作做出了重要的贡献,1641年,他发现了一条定理:“内接于二次曲线的六边形的三双对边的交点共线。”这条定理叫做帕斯卡六边形定理,也是射影几何学中的一条重要定理。1658年,他写了《圆锥曲线论》一书,书中很多定理都是射影几何方面的内容。迪沙格和他是朋友,曾经敦促他搞透视学方面的研究,并且建议他要把圆锥曲线的许多性质简化成少数几个基本命题作为目标。帕斯卡接受了这些建议。后来他写了许多有关射影几何方面的小册子。
不过迪沙格和帕斯卡的这些定理,只涉及关联性质而不涉及度量性质(长度、角度、面积)。但他们在证明中却用到了长度概念,而不是用严格的射影方法,他们也没有意识到,自己的研究方向会导致产生一个新的几何体系射影几何。他们所用的是综合法,随着解析几何和微积分的创立,综合法让位于解析法,射影几何的探讨也中断了。
射影几何的主要奠基人是19世纪的彭赛列。他是画法几何的创始人蒙日的学生。蒙日带动了他的许多学生用综合法研究几何。由于迪沙格和帕斯卡等的工作被长期忽视了,前人的许多工作他们不了解,不得不重新再做。
1822年,彭赛列发表了射影几何的第一部系统著作。他是认识到射影几何是一个新的数学分支的第一个数学家。他通过几何方法引进无穷远虚圆点,研究了配极对应并用它来确立对偶原理。稍后,施泰纳研究了利用简单图形产生较复杂图形的方法,线素二次曲线概念也是他引进的。为了摆脱坐标系对度量概念的依赖,施陶特通过几何作图来建立直线上的点坐标系,进而使交比也不依赖于长度概念。由于忽视了连续公理的必要性,他建立坐标系的做法还不完善,但却迈出了决定性的一步。
另—方面,运用解析法来研究射影几何也有长足进展。首先是莫比乌斯创建一种齐次坐标系,把变换分为全等,相似,仿射,直射等类型,给出线束中四条线交比的度量公式等。接着,普吕克引进丁另一种齐次坐标系,得到了平面上无穷远线的方程,无穷远圆点的坐标。他还引进了线坐
标概念,于是从代数观点就自然得到了对偶原理,并得到了关于一般线素曲线的一些概念。
在19世纪前半叶的几何研究中,综合法和解析法的争论异常激烈;有些数学家完全否定综合法,认为它没有前途,而一些几何学家,如沙勒,施图迪和施泰纳等,则坚持用综合法而排斥解析法。还有一些人,如彭赛列,虽然承认综合法有其局限性,在研究过程中也难免借助于代数,但在著作中总是用综合法来论证。他们的努力使综合射影几何形成一个优美的体系,而且用综合法也确实形象鲜明,有些问题论证直接?蚪唷?882年帕施建成第一个严格的射影几何演绎体系。
射影几何学的发展和其他数学分支的发展有密切的关系,特别是“群”的概念产生以后,也被引进了射影几何学,对这门几何学的研究起了促进作用。
把各种几何和变换群相联系的是克莱因,他在埃尔朗根纲领中提出了这个观点,并把几种经典几何看作射影几何的子几何,使这些几何之间的关系变得十分明朗。这个纲领产生了巨大影响。但有些几何,如黎曼几何,不能纳入这个分类法。后来嘉当等在拓广几何分类的方法中作出了新的贡献。
主要内容
概括的说,射影几何学是几何学的一个重要分支学科,它是专门研究图形的位置关系的,也是专门用来讨论在把点投影到直线或者平面上的时候,图形的不变性质的科学。
在射影几何学中,把无穷远点看作是“理想点”。通常的直线再加上一个无穷点就是无穷远直线,如果一个平面内两条直线平行,那么这两条直线就交于这两条直线共有的无穷远点。通过同一无穷远点的所有直线平行。
在引入无穷远点和无穷远直线后,原来普通点和普通直线的结合关系依然成立,而过去只有两条直线不平行的时候才能求交点的限制就消失了。
由于经过同一个无穷远点的直线都平行,因此中心射影和平行射影两者就可以统一了。平行射影可以看作是经过无穷远点的中心投影了。这样凡是利用中心投影或者平行投影把一个图形映成另一个图形的映射,就都可以叫做射影变换了。
射影变换有两个重要的性质:首先,射影变换使点列变点列,直线变直线,线束变线束,点和直线的结合性是射影变换的不变性;其次,射影变换下,交比不变。交比是射影几何中重要的概念,用它可以说明两个平面点之间的射影对应。
在射影几何里,把点和直线叫做对偶元素,把“过一点作一直线”和“在一直线上取一点”叫做对偶运算。在两个图形中,它们如果都是由点
直线或一个平面和一条直线总相交于一点,两个平面总相交于一条直线;此外,每两点总决定一条直线,每三个不共线点总决定一个平面,等等。
齐次坐标为了能用代数方法来处理射影(或扩大)空间的几何问题,需要引进齐次坐标(有时还引进射影坐标)。
仍从欧氏(或仿射)平面开始。设在平面上已经建立了以□为原点的直角(或仿射)坐标系,(□,□)为一点□ 的坐标。令□则比值□0:□1:□2完全确定□ 的位置,(□0,□1,□2)就叫做□的齐次(笛氏)坐标。原点的齐次坐标显然可以写成(1,0,0)。设□不是原点□,则□1,□2不同时等于零;再令□1,□2固定,而令□0向0接近,则□点沿一条经过□而斜率为□2:□1的直线□向远方移动。设□表示扩大直线□上的无穷远点,则可以认为,当□0趋于□ 时,□趋于□。因此,可以把(0,□1,□2)作为□的齐次坐标,特殊地,(0,1,0)和(0,0,1)依次是□轴和□ 轴上无穷远点的齐次坐标。这样,每一组不同时为零的三个数□0,□1,□2 都是扩大平面上一点的齐次坐标,而若□ 为不等于零的数,则(□□0,□□1,□□2)和
(□0,□1,□2)代表同一点,下面引进记号
(□)=(□0,□1,□2),□(□)=(□□0,□□1,□□2)。
设□ (□1,□2不都是0)是欧氏(或仿射)平面上一条直线的方程。在用齐次坐标表示时,它可以写成
□, (1)这也就是扩大直线的齐次方程,这直线上的无穷远点是(0,□2,-□1)。扩大平面上的无穷远直线方程显然可以写成□0=0。这样,每一个齐次线性方程都代表扩大平面上一条直线。由于比值□0:□1:□2完全确定直线,(□)=(□0,□1,□2)就叫做(齐次)线坐标。为了区别两种齐次坐标,上面引进的(□)=(□0,□1,□2)就叫做(齐次)点坐标。方程(1)叫做点(□)和线(□)的关联条件或接合(即(□)在(□)上,或(□)经过(□))条件。
当不区别无穷远元素和非无穷远元素,使扩大平面成为射影平面时,(□)和(□)就依次成为射影平面上的齐次点坐标和线坐标,它们都可以看作射影坐标的特款。
与此类似,可以得到扩大或射影直线上的点坐标(□)=(□0,□1)以及扩大或射影空间的点坐标(□)=(□0,□1,□2,□3)和面坐标(□)=
(□0,□1,□2,□3)。在扩大或射影空间中,点(□)和面(□)的关联条件是□
下面,除非特别指明,所讨论的空间,就是三维射影空间,所讨论的点、线、面都是射影空间里的点,射影直线和射影平面。在射影空间,指定一个平面□0=0作为无穷远面,就得到扩大空间(见射影坐标)。
对偶原理关联关系是射影平面和射影空间的基本关系。在关联条件(1)中,(□)和(□)有完全的对称性,这就使得直线和点可以在逻辑上取得平等的地位。它们叫做平面上的对偶元素。
设方程(1)里的□□是固定的,它就代表一条直线;令满足(1)的□□变动,就可以得到在该线上的一切点,这些点的集合叫做以(□)为底的点列,而(1)也就是点列的方程。根据线性方程理论,可以看出,点列中每三点线性相关。即:若(□),(□)是点列中任意两个不同的点,则它的每一点(□)都可以写成(□)和(□)的线性组合(□)=□□□(□)+□(□,),其中□□□,□是齐次参数。在一定意义上,□□□,□也可以作为点列中的射影坐标。另一方面,若令(1)中的□□固定,而令□□变动,就得到一切经过点(□)的直线(□),它们的集合叫做以(□)为中心的线束,而(1)就是线束的方程,同时也是点(□)的方程。若(□),(□)是线束中任意两条直线,则线束的每一条直线(□)都可以写成
□。由于点列和线束中的元素都只依赖于两个齐次参数的比值,即依赖于一个独立参数,它们就都叫做一维基本形。
已给平面上一个以点和直线构成的图形,把其中的点和直线对换,就得到另一个图形,叫做所给图形的对偶。例如,点列(和一条直线关联的点的集合)和线束(和一点关联的直线的集合)是对偶形。三角形是自对偶形。
对于平面上一个只涉及点与直线的关联关系的定理,如果把其中的点和直线及其关联关系对换,就得到一个新定理,叫做原定理的对偶。“如果原定理成立,则它的对偶定理也成立。”称它为对偶定理。这是因为,从代数观点看,这两个定理的证明步骤是完全相同的。射影几何中,一个最早而又重要的定理是德扎格定理(图1德扎格定理示意图):两个三角形□□□和□的对应顶点的联线□经过同一点的充要条件是它们的对应边□□和□;□□和□;□□和□的交点共线。这是个自对偶定理。如果不是在射影(或扩大)平面上而是在欧氏(或仿射)平面上,证明这个定理就需要区别并分别处理其中有某些直线平行的各种特款。
三维空间也有对偶定理。在空间,点和面是对偶元素,直线是自对偶元素。线束是自对偶形。空间还有一个一维基本形是面束,这是经过同一条直线的平面的集合。面束是点列的对偶。在同一个平面上的点的集合叫做点场,经过同一点的平面的集合叫做面把;点场和面把互为对偶。在同一个平面上的直线的集合叫做线场,经过同一点的直线的集合叫做线把;线场和线把互为对偶。点场,线场,面把,线把都是二维基本形。空间的点的集合和空间的平面的集合依次叫做点空间和面空间,它们是互为对偶的三维基本形。在空间,三角形的对偶是三棱形。三棱形由经过同一点的三条不共面的直线所构成,这三条直线两两确定三个不共线的平面。对于不共面的两个三角形,德扎格定理仍然成立,但在空间,它不是自对偶定理。
通过代数来说明对偶原理是简捷了当的,但不是必须的。
空间的直线构成一个四维集合(见直线几何)。
射影对应与射影变换在一维基本形之间,可以通过投影和截影互相转化。
用{□}表示直线□上的点列,其中□表示点列中的任意点。设□为不在□上的一点,作直线□=SP,则当□在□上变动时,就得到以□为中心的线束{□},叫做点列{□}的投影,而{□}就叫做线束{□}的截影,□和□叫做对应元素(图2点列和线束间的投影和截影)。再设□1为空间不在{□}的平面上的点,作经过□1和□的平面□,就得到以□□1为轴的面束{□},它是{□}的投影,{□}是{□}的截影,□和□ 是对应元素(图3 线束和面束间的投影和截影)。若经过一系列的投影和截影,从一个一维基本形到另一个,这两个基本形就叫做射影相关,它们元素间的对应关系就叫做射影对应。一个射影对应所包含的两个变换叫做射影变换,它们互为逆变换。
在空间,通过投影和截影,点场和线把之间,线场和面把之间都可以互相转化,因而点场之间,线把之间,线场之间,面把之间也可以互相转化。至于二维基本形之间的其他转化,例如点场和线场之间的转化,则可以通过下面将要叙述的代数方法来确定。同样,三维基本形之间的转化也要通过代数方法。总之,两个二维基本形之间或两个三维基本形之间,也都可以有射影对应和射影变换。
已经指出,如何在点列,点场,点空间,以及线场和面空间里建立齐次坐标系。事实上,在任何一个一、二、三维的基本形里,都可以建立齐次(或叫射影)坐标(见射影坐标)。这样,射影对应或射影变换就可以通过齐次坐标间的满秩齐次线性变换来表示。例如,设(□),(□)为两个点场的齐次坐标,则射影变换(□)→(□)可以用三个变数的齐次线性变换□(2)表示,式中det表示行列式;□是非零比例常数。解这个方程组,就得到逆变换(□)→(□)的方程。
射影变换的一个基本性质是保持关联关系,这等于说,它把线性相关的元素变成线性相关的元素。例如,点场之间的变换(2)就把点列变成点列,即直线变成直线,因而,它还把线束变成线束。由此又可以看出,只涉及关联关系的每个定理(如德扎格定理)一定代表一种射影性质,即经过射影变换不变的性质。换句话说,这种定理是一个射影定理。
关于射影对应,有一个基本定理。如果把一、二、三维的情况概括在一起,那就是:若在两个□维(□=1,2,3)基本形中,分别指定一组□+2个元素,式中各组里的每□+1个元素线性无关,则两个基本形间,有惟一的射影对应,使两组元素按给定次序相对应。事实上,对于任意维射影对应,这个定理都成立。所谓“线性无关”,可以举例来说明:两个线性无关的点不重合,三个线性无关的点不共线,四个线性无关的点不共面。
射影变换也可以作用于扩大空间,但经过射影变换,无穷远元素可以变为非无穷远,非无穷远元素可以变为无穷远(例如平行平面可以变得不
平行,不平行平面可以变得平行),因此,在未经扩大的欧氏或仿射空间里,射影变换不完全是一对一的。
交比交比是一项基本的射影不变量。
根据关于射影对应的基本定理,一维基本形(例如,点列)间的一个射影对应是由三对对应元素惟一地确定的。由此可以推知,若在一个射影对应中,一个一维基本形中的四个元素□1,□2,□3,□4依次对应于另一个一维基本形中的□则四元素组□1,□2,□3,□4和□必有某种共性。交比就是这样的共性。
设在一个一维基本形中,元素□□(□=1,2,3,4)的齐次坐标是□,而用(□□,□□)表示行列式
□则交比
□ (3)交比经过射影变换(例如投影或截影)不变。
若在一个一维基本形中,随意选取三个不同的固定元素□1,□2,□3,而对于任意元素□,设
□则□ 的位置和□ 的一切值(包括∞)一一对应。特殊地,当□=□□时,□=∞;□=□□时,□=0;□=□□时,□=1。因此, □可以作为基本形中的非齐次坐标。若再令□=□1/□0,则(□0,□1)是基本形中的齐次坐标,称为射影坐标。特殊地, □1,□2,□3的坐标依次是(0,1),(1,0)和(1,1)。这三个元素叫做射影坐标系的基元素。
在欧氏空间,若□1,□2,□3,□4是四个共线点,而用□□□□表示由
□□到□□的有向线段长,则
□在欧氏平面,若□□,□□,□□,□□是经过同一点的四条直线,而用(□□□□)表示由□□到□□的有向角,则
□
四个元素有24种排列法,但对于一般位置的四个元素只有 6个不同的交比值,对于某种特殊位置的四个元素,则六个交比值中至少有两个相等。例如,当交比(□□,□□,□□,□□)=-1时,这四个元素称为构成调和组。这时□□和□□,□□和□□都可以对调,元素偶□□,□□和□□,□□也可以对调,而交比不变;而且元素的其他次序所对应的交比值都是2或1/2。这表明,对于构成调和组的四个元素,变动其排列次序,只有3个不同的交比值,即-1, 2, 1/2。当然,在射影相关的基本形中,调和组对应于调和组。
在调和组□□,□□,□□,□□里,□□也叫做□□对于□□,□□的共轭;已给□□,□□和□□,可以用直尺作图求□□。图4求□□对于
□□□□的调和共轭□□的作图法表示,已给点列中任意三点□□,□□和□□,求□□对于□□,□□的调和共轭□□的作图法。注意□,□可以是经过□□□的任意直线上的任意两点。还可以看出, 当□□趋于□□(或□□)时,□□也趋于□□(或□□)。因此,调和组中可以有三点重合。
直射变换与对射变换,射影群考虑一个平面上的二维射影变换。平面既是点场的底,又是线场的底,因此,它上面的一个射影变换可以把点变成点(或线变成线),也可以把点变成线(或线变成点),前一种叫做直射变换,后一种叫做对射变换。
直射变换的逆变换和它们的积(即两个直射变换接连作用所形成的变换)都是直射变换。因此,平面上一切直射变换构成群,叫做平面直射群。直射变换的特征是,它把共线的点变成共线的点,因而可以说,也把直线变成直线。一个直射变换可以用关于点坐标的线性变换(2)代表。如果它把直线(□)变成(□),则通过关联条件可得
□ (4)式中□□是□□在方阵(□□)中的余因子,□是比例常数。可以认为,(2)和(4)代表着同一个直射变换,它们的区别只是在于:一个用了点坐标,一个用了线坐标。
与此类似,对射变换把共点的直线变成共线的点,把共线的点变成共点的直线,即把线变成点,把点变成线。两个对射变换之积是一个直射变换。对射变换不构成群,但是平面上一切直射变换和对射变换在一起构成群,叫做射影群。直射群是射影群的子群。但有时射影群这个名词也用来指直射群。
由于平面对射变换把点变成线,把线变成点,而又保持关联关系,它就体现了平面上的对偶原理。
同样,空间也有直射变换和对射变换,前者把点变成点,面变成面,后者把点变成面,面变成点;它们都把直线变成直线。空间一切直射变换构成直射群,一切直射变换和对射变换构成射影群。空间对射变换体现空间对偶原理。
直线上的一切点变点的射影变换构成直线上的射影群。
其他基本形里都有各自的射影群。
二次曲线与二次曲面扩大平面上的二次曲线
□的齐次方程是
□ (5)式中□□=□□□表明(□□)是对称方阵。
在射影平面上,方程(5)所确定的点的轨迹就叫做一条二次曲线。与此相对偶,含线坐标的齐二次方程
□ (6)代表一个直线的集合,也叫做二次曲线。为了区别(5)和(6),它们所代表的点集和线集依次就叫做点(素)二次曲线和线(素)二次曲线。
用Г表示点二次曲线(5),并假定它是满秩的, 即det(□□)≠0。在它上面的一点(□),Г的切线方程是
□这些切线构成线二次曲线□,式中□□是□□在方阵(□□)里的余因子。按照对偶原理,点曲线的切线的对偶是线曲线的切点(两条“相邻”直线交点的极限位置),因而满秩线二次曲线的切点构成一个点二次曲线。
设□为不在满秩点二次曲线Γ上的任意点,经过□作直线□交Г于□1, □2两点(图5极点和极线)。设在□上,□点对于□1,□2的调和共轭是□,即(□1,□2;□,□)=-1。这样的两点□,□□叫做对于Г的共轭点。当□固定而令□转动时,□□的共轭□总是在一条直线□上,叫做□点对于Г的极线,而□就叫做直线□对于Г的极点。特殊地,若□为Г上的点,它的极线□就是Г在□的切线。显然,若□的极线经过□,则□的极线经过□。若□和□的齐次坐标依次为(□)和(□),则
□ (7)这是一种特殊的对射对应,其特殊性在于(□□)是对称方阵,它叫做对于Γ的配极对应。配极变换的平方,即它和自己的乘积是幺变换(或叫恒等变换)。配极对应也可以体现对偶原理。
二次曲线可以通过射影产生法产生。若在平面上有两个射影相关的线束(即线束间建立了一宗射影对应),它们有不同的中心,而且它们的公共直线不对应于自己,则两线束中对应直线交点的轨迹是一条满秩点二次曲线。用对偶方法可以产生线二次曲线。
射影几何中,关于二次曲线一个最早的著名定理是帕斯卡定理(图6
帕斯卡定理示意图):满秩二次曲线的一个内接六边形□□□□□□的三对对边□□□和□□,□□和□□,□□和□□交于一条直线上。倒转来,若一个六边形的三对对边交点在一条直线上,则六边形顶点在一个二次曲线上,但这个二次曲线可能退化成直线偶。帕斯卡定理在平面上的对偶叫做布里昂雄定理。
帕斯卡定理的一个特款是帕普斯定理:若□,□,□ 和□□,□□,□□分别是两条直线上的三点,它们都不重合,则□□□和□□□,□□□和□□□,□□□和□□□交于共线的三点。在三维射影空间,设(□),(□)依次为齐次点坐标和面坐标,则含□□的一个齐二次方程□代表一个点(素)二次曲面,而含□□的一个齐二次方程代表一个面(素)二次曲面。满秩点二次曲面的切面构成一个满秩面二次曲面,而满秩面二次曲面的切点构成一个满秩点二次曲面。
关于满秩二次曲面也有配极对应,它使极点和极面互相对应,是空间的特殊对射对应。
直纹二次曲面也可以通过射影产生法产生。若两个射影相关的面束的轴是相错(即不共面)直线,则它们对应平面的交线构成一个直纹二次曲面的一族母线。
射影几何的子几何射影群中有许多重要子群,对应于每一个这样的子群有一种几何,叫做射影几何的子几何。
为了简单明确起见,下面所说的射影群就是直射群,所说的射影变换是指直射变换,而且主要分析平面上的情况。
在扩大仿射平面上,令无穷远线□0=0不变的射影变换是仿射变换,用非齐次坐标表示,仿射变换的方程可以写成
□ (8)一切仿射变换所构成的仿射群,是射影群的一个子群。仿射变换保持平行性。
在扩大仿射平面的无穷远线□0□=0上,取两个共轭虚点
□1(0,1,i),□2(0,1,-i),式中i2=-1。令点偶□1,I2(即□,□0=0)不变的仿射变换叫做相似变换;它们的方程可以写成 (8)的形状,但其中(□□)是正交方阵乘以一个常数:□一切相似变换构成相似群(也叫欧氏群或度量群),它是仿射群的子群,也是射影群的子群。有了□1,□2两点后,就可以通过射影方法在平面上引进距离和角的概念(见绝对形),相似变换把每个图形变成一个和它相似的图形,即一切长度按比例变化而角不变。这时扩大平面就可以叫做扩大欧氏平面,它上面的一切圆都经过□1□,□2。这两点就叫做无穷远圆点。
在相似变换中,系数□□□构成正交方阵 (即□□=±1)的,叫做全等变换(或运动);式中det(□□)=1的叫做正常运动,det(□□)=-1的叫做反常运动。后者是一个正常运动和一个对直线反射之积。全等变换把每个图形变成一个和原图全等的图形。全等变换群(或运动群)是射影群、仿射群和相似群的子群。
已给一个空间□ 以及作用于它上面的变换所构成的一个群□,就可以判断,在□里,哪些图形性质经过□中的变换不变,研究这些性质的几何就
叫做属于□的几何。若□1是□的子群,属于□1的几何就叫做属于□的几何的子几何。射影几何和仿射几何依次属于射影群和仿射群,而欧氏几何则可以认为属于相似群,但又部分地属于全等群;因为它既研究相似图形,
又研究全等图形。欧氏几何是仿射几何的子几何,它和仿射几何又都是射影几何的子几何;由于它研究图形的度量性质(长度、角度、面积、……),它也叫做度量几何。
群越大,不变性质越少而越带普遍性;群越小,不变性质越多而越丰富具体。这样,就可以通过不同的群之间的关系来理解不同的几何之间的关系。
空间□的图形还可以通过变换群□分类:把一切可以经过□的变换互相转化的图形归入同一个等价类。例如,一切满秩实迹(即有实点的)二次曲线都互相射影等价,即属于同一个射影类,它们却分为三个仿射类:和无穷远线不相交(于实点)的是椭圆,相切的是抛物线,相交于两(个实)点的是双曲线。每一个仿射类里的二次曲线又可以分为无数度量类;例如同是椭圆,两个半轴长比值不同的就不相似,半轴长不分别相等的就不全等。
两种非欧几何,即椭圆几何和双曲几何都是射影几何的子几何。在射影平面上,把虚迹二次曲线□□变为自己的一切射影变换构成射影群的一个子群,叫做椭圆(运动)群;属于它的几何就是椭圆几何,附有那个不变二次曲线的射影平面叫做椭圆平面。另一方面,把实迹二次曲线□变为
自己,并把它的内部(即□的点的集合)变为内部的射影变换也构成射影群的一个子群,叫做双曲(运动)群;属于它的几何就是双曲几何;那个二次曲线内部就是双曲平面。非欧平面上的长度和角度概念也可以通过射影方法来引进。
射影几何另外一个重要子几何是闵科夫斯基几何。把点偶(0,1,1)和(0,1,-1)(即□)变为自己的一切射影变换构成洛伦兹群,属于它的几何就是闵科夫斯基几何。闵科夫斯基几何为狭义相对论提供了天然的几何说明;四维闵科夫斯基几何就是四维时空(见闵科夫斯基空间)。
上面所论的射影群的每个子群都有一个不变的图形(其中有些是虚迹图形),如对于仿射群的□0=0,对于相似群的□,对于椭圆群的□等。这种不变图形就叫做相应子几何的绝对形。
以上理论都可以推广到三维以至任意维空间。在三维空间,欧氏几何的绝对形是□□,它叫做无穷远虚圆;因为扩大欧氏平面的一切球面都经过它。空间椭圆几何,双曲几何和闵科夫斯基几何的绝对形依次是□□。
公理系统上面把射影几何建立在欧氏空间的基础上,但这不是必要的。它可以建立在不涉及度量概念的公理系统上。
以三维射影几何为例,在那里,基本元素是点,直线和平面。射影几何公理的表达形式是多种多样的,一般可以分为三组。第一组叫做关联公理:例如,两点确定一条经过它们的直线,三个不共线点确定一个经过它们的平面,两个平面交于一条直线等等。第二组叫做次序公理:例如,已给直线上三点□,□,□,直线上必有一点□,使□,□和□,□互相隔离等等。第三组只含一个公理,即连续公理。射影直线上的连续公理实质上就是规定:去掉直线上一点以后,直线上剩下来的部分满足实数轴上的戴德金连续公理。
根据这些公理,便可以通过纯演绎方法建立起一个完整的实射影几何体系,包括射影坐标。所谓实射影几何,就是上面所讨论的射影几何,其中点的坐标是实数。
不同维的射影空间,可以在关联公理里加以区别。
只满足关联公理的空间可以称为一般射影空间;在那里面,仍然有射影变换,其相应的几何可以称为一般射影几何。如果把关联公理要求降低,也可以得到更一般的射影空间和射影几何。当然,在一个一般射影空间里,实射影几何的定理不完全成立。
也可以一开始就通过代数方法来建立射影几何。仍以实三维空间为例,设想每一个非零四实数组(□0,□1,□2,□3)为一点,成比例的四数组代表同一点;再假定线性相关的三点属于同一条直线,线性相关的四点属于同一个平面。这样就把实射影几何完全建立在实数域的基础上了。
用□+1数组代替四数组来表示点,就得到□维射影空间及其射影几何。
若令□+1数组(□0,□1,…,□□)里的□□属于某一个数域□,所得到的是一个一般射影几何。例如当□是复数域时,次序公理和连续公理都不能满足,得到的是很重要的复射影几何。上面从(实)仿射空间得到(实)欧氏空间时,就曾经利用了虚点□1,□2。
若□是一个有限域,所得到的一般射影空间只有有尽多个点,叫做有尽射影空间。例如,若□是特征等于3的模域,则射影平面上有13个点和13条线,每条线上有4个点,经过每点有4条线。如果要通过公理系统来建立这个空间,就要在关联公理中规定:每条线上不能有多于4个点。
历史沿革
射影几何的某些内容,公元前就发现了,但到19世纪上半叶才有短暂的突破。到19世纪,它才形成独立体系,最后臻于完备。
基于绘图学和建筑学的需要,古希腊几何学家就开始研究透视法,也就是投影和截影。早在公元前200年左右,阿波罗尼奥斯就曾把二次曲线作为正圆锥面的截线来研究。在4世纪帕普斯的著作中,出现了帕普斯定理。
在17世纪初期,J.开普勒最早引进了无穷远点概念(1604)。稍后,G.德扎格引进了无穷远点,除证明了上面提到的他的著名定理(1639)外,还引进了交比,调和比,以及对于二次曲线的极点和极线等概念,证明了交比经过透视不变。在他的影响下,B.帕斯卡也研究了有关射影几何的问题,并发表了他的著名定理(1640)。这些定理的特点是概括性强,只涉及关联性质而不涉及度量性质(长度、角度、面积)。但他们在证明中却用到了长度概念,而不是用严格的射影方法,他们也没有意识到,自己的研究方向会导致产生一个新的几何体系射影几何。他们所用的是综合法,随着解析几何和微积分的创立,综合法让位于解析法,射影几何的探讨也中断了。
射影几何的主要奠基人是 19世纪的J.-V.彭赛列。他是画法几何的创始人G.蒙日的学生。蒙日带动了他的许多学生(C.-J.布里昂雄是其中之一)用综合法研究几何。由于德扎格和帕斯卡等的工作被长期忽视了,前人的许多工作他们不了解,不得不重新再做。1822年,彭赛列发表了射影几何的第一部系统著作。他是认识到射影几何是一个新的数学分支的第一个数学家。他通过几何方法引进无穷远虚圆点,研究了配极对应并用它来确立对偶原理。稍后,J.施泰纳研究了利用简单图形产生较复杂图形(例如二次曲线和二次曲面)的方法,线素二次曲线概念也是他引进的(1832)。为了摆脱坐标系对度量概念的依赖,K.G.C.von施陶特通过几何作图来建立直线上的点坐标系(1847),进而使交比也不依赖于长度概念。由于忽视了连续公理的必要性,他建立坐标系的做法还不完善,但却迈出了决定性的一步。
射影几何
南京师范大学 毕业设计(论文) (2009 届) 题目:漫谈射影几何的几种子几何及其关系 学院:数学科学学院 专业:数学与应用数学 姓名:刘峰 学号:0 6 0 5 0 2 1 0 指导教师:杨明升 南京师范大学教务处制
漫谈射影几何的几种子几何及其关系 刘峰 数学与应用数学(师范)06050210 一.摘要 射影几何学是研究图形的射影性质,即它们经过射影变换不变的性质. 射影几何集中表现了投影和截影的思想,论述了同一射影下,一个物体的不同截景所形成的几何图形的共同性质,以及同一物体在不同射影下的几何图形的共同性质,一度也叫做投影几何学,在经典几何学中,射影几何处于一种特殊地位,通过它可以把其他一些几何联系起来. 概括的说,射影几何学是几何学的一个重要分支学科,它是专门研究图形的位置关系的,也是专门用来讨论在把点投影到直线或者平面上的时候,图形的不变性质的科学. 这门”诞生于艺术的科学”,今天成了最美的数学分支之一. 二.关键词 射影几何,摄影仿射几何,摄影欧氏几何,仿射几何,欧氏几何,射影变换,仿射变换,正交变换,射影变换群,仿射变换群,正交变换群,克莱因变换群. 三.射影几何(projective geometry)的发展简况 十七世纪,当笛卡儿和费尔马创立的解析几何问世的时候,还有一门几何学同时出现在人们的面前. 这门几何学和画图有很密切的关系,它的某些概念早在古希腊时期就曾经引起一些学者的注意,欧洲文艺复兴时期透视学的兴起,给这门几何学的产生和成长准备了充分的条件. 这门几何学就是射影几何学. 基于绘图学和建筑学的需要,古希腊几何学家就开始研究透视法,也就是投影和截影. 在文艺复兴时期,人们在绘画和建筑艺术方面非常注意和大力研究如何在平面上表现实物的图形. 那时候,人们发现,一个画家要把一个事物画在一块画布上就好比是用自己的眼睛当作投影中心,把实物的影子影射到画布上去,然后再描绘出来. 在这个过程中,被描绘下来
浅谈解析几何的学习方法
浅谈解析几何的学习方法 ????高中数学中的解析几何内容学生之所以会觉得难是因为对几个常用公式、定理的含义并没有真正弄清楚,实际上如果能花时间把每个公式的推导过程研究一遍消化掉,那么学好它将不是什么疑难问题了。 ????我们知道,“数缺形时少直观,形少数时难入微,数形结合百般好,隔裂分家万事休.”——我国着名数学家华罗庚。 ????作为学习解析几何的开始,我们引入了我国着名的数学家华罗庚的一句话,他告诉了我们“数”和“形”各自的特点和不足,从而强调了数形结合的重要性,尤其是在解析几何的学习过程中,我们始终都要注意运用数形结合的思想和方法。 ????当然,学习这一部分内容,只是了解这种思想也是不够的为此,就为大家介绍一下学习解析几何的方法和需要注意的几点。 一、夯实基础 1、正确理解定义 ??? 有些同学可能现在就会去翻书,去查定义,会说,回答这些问题还不容易嘛,我背一下不就可以了吗。可是,我要告诉大家——定义不是用来背的。????可能大家还没有理解这句话的意思,定义不是要你去死记硬背,而是要你去自己理解,去自己总结。
????教材上引入椭圆定义的时候花费了很大的篇幅,可它的本质是什么?与双曲线的定义又有怎样的相同点、不同点?椭圆、双曲线和抛物线这三个重要的圆锥曲线的统一定义我们又该如何去理解?这些,只有靠你自己总结出来,才能真正成为你自己的东西,在做题的时候,你才能应用自如。看一遍书上的定义,合上课本,想一想,如果让你来描述,你会怎么说。当你能够给别人将这些定义解释清楚的时候,你就已经很好的理解了这些定义,做题时,你就不会因为忽略了定义中隐含的条件而一筹莫展了。 2、比一比,学会总结 ????这一章我们介绍了三种圆锥曲线,它们有很多的相似之处,当然也有很多的不同,它们之间也有着千丝万缕的联系。学习完之后,自己比较一下,它们的定义、性质都有什么异同,哪些量是它们共有的,哪些量是某个圆锥曲线所特有的。当你比较完之后,再回过头来看这一章,你会发现,原来这一章的内容竟然如此的简单和清晰。 ????记住,一定要自己去总结哦!!别人给你的东西永远都是别人的,不是你自己的,只有自己总结过,才能清晰的把握问题的重点。 二、“数”与“形”要紧密联系 ????我们掌握了圆锥曲线的基础之后,就好比为我们的大厦打下了一个坚实的基础,现在,我们就可以正式建造我们的摩天大楼了! 1、让“数”直观
射影几何的诞生与发展
射影几何的诞生与发展 一从透视学到射影几何 1.在文艺复兴时期,描绘现实世界成为绘画的重要目标,这就使画家们在将三维现实世界绘制到二维的画布上时,面临这样的问题: (1)一个物体的同一投影的两个截影有什么共同的性质? (2)从两个光源分别对两个物体投影到同一个物影上,那么两个物体间具有什么关系? 2.由于绘画、制图的刺激而导致了富有文艺复兴特色的学科---透视学的兴起(文艺复兴时期:普遍认为发端于14世纪的意大利,以后扩展到西欧,16世纪大道鼎盛),从而诞生了射影几何学。意大利人布努雷契(1377-1446)是第一个认真研究透视法并试图运用几何方法进行绘画的艺术家。 3.数学透视法的天才阿尔贝蒂(1401-1472)的《论绘画》一书(1511)则是早期数学透视法的代表作,成为射影几何学发展的起点。 4.对于透视法产生的问题给予数学上解答的第一人是德沙格(1591-1661)法国陆军军官,后来成为工程师和建筑师,都是靠自学的。1639年发表《试论锥面截一平面所得结果的初稿》,这部著作充满了创造性的思想,引入了无穷远点、无穷远直线、德沙格定理、交比不变性定理、对合调和点组关系的不变性、极点极带理论等。 5.数学家帕斯卡(1623-1662)16岁就开始研究投射与取景法,1640年完成著作《圆锥曲线论》,不久失传,1779年被重新发现,他最突出的成就是所谓的帕斯卡定理,即圆锥曲线的内接六边形的对边交点共线 6.画家拉伊尔(1640-1718)在《圆锥曲线》(1685)这本射影几何专著中最突出的地方在于极点理论方面的创新。 7.德沙格等人把这种投影分析法和所获得的结果视为欧几里得几何的一部分,从而在17世纪人们对二者不加区别,但这一方法诱发了一些新的思想和观点: 1)一个数学对象从一个形状连续变化到另一形状 2)变换与变换不变性 3)几何新方法------仅关心几何图形的相交与结构关系,不涉及度量 二射影几何的繁荣 1.在19世纪以前,射影几何一直是在欧氏几何的框架下被研究的,并且由于18世纪解析几何、微积分的发展洪流而被人遗忘,到
大学解析几何学习资料
大学解析几何
收集于网络,如有侵权请联系管理员删除 空间解析几何 基本知识 一、向量 1、已知空间中任意两点),,(1111z y x M 和),,(2222z y x M ,则向量 12212121(,,)M M x x y y z z =---u u u u u u r 2、已知向量),,(321a a a a =→、),,(321b b b b =→,则 (1)向量→a 的模为232221||a a a a ++=→ (2)),,(332211b a b a b a b a ±±±=±→→ (3)),,(321a a a a λλλλ=→ 3、向量的内积→→?b a (1)>?=?→→→→→→b a b a b a ,cos |||| (2)332211b a b a b a b a ++=?→→ 其中><→→b a ,为向量→→b a ,的夹角,且π>≤≤<→→b a ,0 注意:利用向量的内积可求直线与直线的夹角、直线与平面的夹角、平面与平 面的夹角。 4、向量的外积→→?b a (遵循右手原则,且→→→⊥?a b a 、→→→⊥?b b a ) 321321 b b b a a a k j i b a → →→→→=?
收集于网络,如有侵权请联系管理员删除 5、(1)332211//b a b a b a b a b a ==? =?→→→→λ (2)00332211=++?=??⊥→→→→b a b a b a b a b a 二、平面 1、平面的点法式方程 已知平面过点),,(000z y x P ,且法向量为),,(C B A n =→ ,则平面方程为 0)()()(000=-+-+-z z C y y B x x A 注意:法向量为),,(C B A n =→ 垂直于平面 2、平面的一般方程0=+++D Cz By Ax ,其中法向量为),,(C B A n =→ 3、(1)平面过原点)0,0,0(? 0=++Cz By Ax (2)平面与x 轴平行(与yoz 面垂直)?法向量→n 垂直于x 轴 0=++?D Cz By (如果0=D ,则平面过x 轴) 平面与y 轴平行(与xoz 面垂直)?法向量→ n 垂直于y 轴0=++?D Cz Ax (如果0=D ,则平面过y 轴) 平面与z 轴平行(与xoy 面垂直)?法向量→ n 垂直于z 轴 0=++?D By Ax (如果0=D ,则平面过z 轴) (3)平面与xoy 面平行?法向量→ n 垂直于xoy 面0=+?D Cz
圆锥曲线和射影几何
圆锥曲线与射影几何 射影几何是几何学的重要内容,射影几何中的一些重要定理与结论往往能运用在欧式几何中,有利于我们的解题。在这里,我们将对解析几何中一些常见的圆锥曲线问题进行总结,并给中一些较为方便的解法。 例1:设点C(2,0)B(1,0),A(-1,0),, D 在双曲线12 2=-y x 的左支上,A D ≠,直线 CD 交双曲线122=-y x 的右支于点E 。求证:直线AD 与直线BE 的交点P 在直 线2 1= x 上。 如果是用解析几何的做法,这将是非常麻烦的。但是如果用射影几何的知识求解,将会有意想不到的效果。 我们知道,圆与圆锥曲线在摄影变换下是可以互相转换的。我们先不考虑题目中的数据与特殊的关系,仅仅考虑点线之间的位置关系,那么题设变成: 有一点 A 在一条双曲线内部,过A 引两条直线与双曲线分别交于 B , C , D , E 。连 BD ,CE 交于点P ,且P 点在四边形BCDE 外部。 又因为双曲线与圆在射影几何中属同一个变换群,所以可以将双曲线变为圆。如图1 连 BE ,CD 交于点Q ,连PQ ,先证明:直线PQ 是A 点的极线。 D
证明: 对 C 于'C 重合,B 于'B 重合的六边形''EBB DCC 用帕斯卡定理得: DC 于EB 的交点Q ,'CC 于'BB 的交点M ,E C '于'DB 的交点P 三点共线, 同理P ,Q ,N 三点共线 所以 P ,Q ,M ,N 四点共线。 又因为 BC 是M 的极线,DE 是N 的极线,所以MN 是BC 与DE 的交点A 的极线,即 PQ 是A 的极线。 回到原图,由极线的定义与性质得 PQ OA ,且FAGH 为调与点列。
解析几何学习知识重点情况总结复习资料
一、直线与方程基础: 1、直线的倾斜角α: [0,)απ∈ 2 、直线的斜率k : 21 21 tan y y k x x α-== -; 注意:倾斜角为90°的直线的斜率不存在。 3、直线方程的五种形式: ①点斜式:00()y y k x x -=-; ②斜截式:y kx b =+; ③一般式:0Ax By C ++=; ④截距式:1x y a b +=; ⑤两点式: 121 121 y y y y x x x x --=-- 注意:各种形式的直线方程所能表示和不能表示的直线。 4、两直线平行与垂直的充要条件: 1111:0l A x B y C ++=,2222:0l A x B y C ++=, 1l ∥2l 1221 1221 A B A B C B C B =???≠?; 1212120l l A A B B ⊥?+= . 5、相关公式: ①两点距离公式:11(,)M x y ,22(,)N x y ,
MN = ②中点坐标公式:11(,)M x y ,22(,)N x y , 则线段MN 的中点1122 ( ,)22 x y x y P ++; ③点到直线距离公式: 00(,)P x y ,:0l Ax By C ++=, 则点P 到直线l 的距离d = ; ④两平行直线间的距离公式:11:0l Ax By C ++=,22:0l Ax By C ++=, 则平行直线1l 与2l 之间的距离d = ⑤到角公式:(补充)直线1111:0l A x B y C ++=到直线2222:0l A x B y C ++=的角为 θ,(0,)(,)22 ππ θπ∈U ,则2112 tan 1k k k k θ-=+? .(两倾斜角差的正切) 二、直线与圆,圆与圆基础: 1、圆的标准方程:222()()x a y b r -+-=; 确定圆的两个要素:圆心(,)C a b ,半径r ; 2、圆的一般方程:220x y Dx Ey F ++++=,(22 40D E F +->); 3、点00(,)P x y 与圆222:()()C x a y b r -+-=的位置关系: 点00(,)P x y 在圆内? 22200()()x a y b r -+-<; 点00(,)P x y 在圆上? 22200()()x a y b r -+-=; 点00(,)P x y 在圆外? 222 00()()x a y b r -+->; 4、直线:0l Ax By C ++=与圆222:()()C x a y b r -+-=的位置关系: 从几何角度看: 令圆心(,)C a b 到直线:0l Ax By C ++=的距离为d , 相离?d r >;
一维优化方法
一维优化方法 最优化设计数学模型中的基本概念: 1、设计变量 在机械设计中,区别不同的设计方案,通常是以一组取值不同的参数来表示。这些参 数可以是表示构件形状、大小、位置等的几何量,也可以是表示构件质量、速度、加速度、力、力矩等的物理量。在构成一项设计方案的全部参数中,可能有一部分参数根据实际情 况预先确定了数值,它们在优化设计过程中始终保持不变,这样的参数称为给定参数(或 叫预定参数)或设计常数。另一部分参数则是需要优选的参数,它们的数值在优化设计过 程中则是需要优选的参数,它们的数值在优化计算过程中是变化的,这类参数称为设计变量,它相当于数学上的独立自变量。一个优化问题如果有n个设计变量,而每个设计变量 用xi(i=1,2, ,n)表示,则可以把n个设计变量按一定的次序排列起来组成一个列阵或行 阵的转置,即写成 ??x1? x=?x? 2?=[x1,x2, ,xT ?? ?n] ?x? n? 我们把x定义为n维欧式空间的一个列向量,设计变量x1,x2, ,xn为向量x的n个 分量。以设计变量x1,x2, ,xn为坐标轴展成的空间称为n维欧式空间,用Rn表示。该空 间包含了该项设计所有可能的设计方案,且每一个设计方案就对应着设计空间上的一个设 计向量或者说一个设计点x。 2、目标函数 优化设计是在多种因素下欲寻求使设计者员满意、且适宜的一组参数。“最满意”、“最适宜”是针对某具体的设计问题,人们所追求的某一特定目标而言。在机械设计中, 人们总希望所设计的产品具有最好的使用性能、体积小、结构紧凑、重量最轻和最少的制 造成本以及最多的经济效益,即有关性能指标和经济指标方面最好。 在优化设计中,一般将所追求的目标(最优指标)用设计变量的函数形式表达,称该函 数为优化设计的目标函数。目标函数的值是评价设计方案优劣程度的标准,也可称为准则 函数。建立这个函数的过程称为建立目标函数。一般的表达式为
射影几何学
在射影几何学中,把无穷远点看作是“理想点”。通常的直线再加上一个无穷点就是无穷远直线,如果一个平面内两条直线平行,那么这两条直线就交于这两条直线共有的无穷远点。通过同一无穷远点的所有直线平行。 德国数学家克莱因(图)在爱尔朗根大学提出著名的《爱尔朗根计 划书》中提出用变换群对几何学进行分类 在引入无穷远点和无穷远直线后,原来普通点和普通直线的结合关系依然成立,而过去只有两条直线不平行的时候才能求交点的限制就消失了。 由于经过同一个无穷远点的直线都平行,因此中心射影和平行射影两者就可以统一了。平行射影可以看作是经过无穷远点的中心投影了。这样凡是利用中心投影或者平行投影把一个图形映成另一个图形的映射,就都可以叫做射影变换了。 射影变换有两个重要的性质:首先,射影变换使点列变点列,直线变直线,线束变线束,点和直线的结合性是射影变换的不变性;其次,射影变换下,交比不变。交比是射影几何中重要的概念,用它可以说明两个平面点之间的射影对应。 在射影几何里,把点和直线叫做对偶元素,把“过一点作一直线”和“在一直线上取一点”叫做对偶运算。在两个图形中,它们如果都是由点和直线组成,把其中一图形里的各元素改为它的对偶元素,各运算改为它的对偶运算,结果就得到另一个图形。这两个图形叫做对偶图形。在一个命题中叙述的内容只是关于点、直线和平面的位置,可把各元素改为它的对偶元素,各运算改为它的对偶运算的时候,结果就得到另一个命题。这两个命题叫做对偶命题。这就是射影几何学所特有的对偶原则。在射影平面上,如果一个命题成立,那么它的对偶命题也成立,这叫做平面对偶原则。同样,在射影空间里,如果一个命题成立,那么它的对偶命题也成立,叫做空间对偶原则。研究在射影变换下二次曲线的不变性质,也是射影几何学的一项重要内容。如果就几何学内容的多少来说,射影几何学;仿射几何学;欧氏几何学,这就是说欧氏几何学的内容最丰富,而射影几何学的内容最贫乏。比如在欧氏几何学里可以讨论仿射几何学的对象(如简比、平行性等)和射影几何学的对象(如四点的交比等),反过来,在射影几何学里不能讨论图形的仿射性质,而在仿射几何学里也不能讨论图形的度量性质。
浅析射影几何及其应用讲解
浅析射影几何及其应用 湖北省黄冈中学 一、概述 射影几何是欧几里得几何学的一个重要分支,研究的是在射影变换中图形所具有的性质。在高等数学中,射影几何的定义是根据克莱因的变换群理论与奥古斯特·费迪南德·莫比乌斯(1970-1868)的齐次坐标理论,这一部分已经涉及了群论和解析几何,但是这两位数学家对于射影几何的发展作出的巨大贡献是令人钦佩的。在本次综合性学习中小组成员对于射影几何的纯几何内容进行了探究,对以下专题进行了研究: 1、射影几何的基本概念及交比不变性 2、笛沙格定理(早期射影几何中最重要的定理之一) 3、对偶原理 4、二次曲线在射影几何上的应用 5、布列安桑定理和帕斯卡定理 6、二次曲线蝴蝶定理
二、研究过程 1、射影几何的基本概念及交比不变性 射影几何虽然不属于高考内容,射影几何与较为容易的中学几何具有更加抽象、难以理解的特点,但是射影几何所研究的图形的性质是极具有吸引力的,可以说是中学几何的一个延伸。 射影几何所研究的对象是图形的位置关系,和在射影变换下图形的性质。射影,顾名思义,就是在光源(可以是平行光源或者是点光源),图形保持的性质。在生活中,路灯下人的影子会被拉长,矩形和圆在光源照射下会出现平行四边形和椭圆的影子,图形的形状和大小发生了变化。然而,在这种变换中图形之间的有些位置关系没有变,比如,相切的椭圆和直线在变换之后仍相切。此外,射影几何最重要的概念之一——交比也不会发生改变。 在中学的几何中,我们认为两条平行的直线是不相交的。但是在射影几何中,我们可以规定一簇平行直线相交于平面上一个无穷远点,而通过这个点的所有直线是一簇有确定方向的平行直线。一条直线有且只有一个无穷远点,平面上方向不同的直线经过不同的无穷远点。所有这样的无穷远点构成了一条无穷远直线,同样在三维空间中可类似地定义出无穷远平面,这样就扩充了两个公理: 1、过两点有且只有一条直线 2、两条直线有且只有一个交点 这两条公理对普通点(即非无穷远点)和无穷远点均成立。这两条公
空间解析几何教学大纲
《空间解析几何》课程教学大纲 一课程说明 1.课程基本情况 课程名称:空间解析几何 英文名称:Analytic geometry 课程编号:2411207 开课专业:数学与应用数学 开课学期:第1学期 学分/周学时:3/3 课程类型:专业基础课 2.课程性质(本课程在该专业的地位作用) 本课程是数学与应用数学及信息与计算机科学专业的一门专业基础课,是初等数学通向高等数学的桥梁,是高等数学的基石,线性代数,数学分析,微分方程,微分几何,高等几何等课程的学习都离不开空间解析几何的基本知识及研究方法。空间解析几何是用代数的方法研究几何图形的一门学科,是从初等数学进入高等数学的转折点,是沟通几何形式与数学关系的一座桥梁。 3.本课程的教学目的和任务 通过本课程的学习,学生在掌握解析几何的基本概念的基础上,树立起空间观念。使学生受到几何直观及逻辑推理等方面的训练,扩大知识领域,培养空间想象能力以及运用向量法与坐标法计算几何问题和证明几何问题的能力,并且能用解析方法研究几何问题和对解析表达式给予几何解释,为进一步学习其它课程打下基础;另一方面加深对中学几何理论与方法的理解,从而获得在比较高的观点下处理几何问题的能力,借助解析几何所具有的较强的直观效果提高学生认识事物的能力。 4.本课程与相关课程的关系、教材体系特点及具体要求
本课程的教学,要求学生熟练掌握用代数的方法在空间直角坐标系下,研究平面、空间直线、柱面、锥面、旋转曲面和二次曲面等几何图形的性质,能对坐标化方法运用自如,从而达到数与形的统一。了解二次曲线的一般理论和二次曲面的一般理论。以培养学生掌握解析几何的基础知识为主,着力培养学生运用解析几何的思想和方法解决实际问题的能力,以及娴熟的矢量代数的计算能力和推理、演绎的逻辑思维能力,为后续课程的学习打下良好的基础。 5.教学时数及课时分配 二教材及主要参考书 1.李养成,《空间解析几何》,科学出版社。 2.吴光磊、田畴编,《解析几何简明教程》,高等教育出版社。 3.丘维声,《解析几何》,北京大学出版社。 4.南开大学《空间解析几何引论》编写组编,《空间解析几何引论》,高教出版社。 5.吕林根许子道等编《解析几何》(第三版),高等教育出版社出版 三教学方法和教学手段说明 1.启发式教学,课堂教学与课后练习相结合。 2.可考虑运用多媒体教学软件辅助教学。
射影几何学
射影几何学 射影几何是研究图形的射影性质,即它们经过射影变换后,依然保持不变的图形性质的几何学分支学科。一度也叫做投影几何学,在经典几何学中,射影几何处于一种特殊的地位,通过它可以把其他一些几何学联系起来。 发展简况 十七世纪,当笛卡儿和费尔马创立的解析几何问世的时候,还有一门几何学同时出现在人们的面前。这门几何学和画图有很密切的关系,它的某些概念早在古希腊时期就曾经引起一些学者的注意,欧洲文艺复兴时期透视学的兴起,给这门几何学的产生和成长准备了充分的条件。这门几何学就是射影几何学。 基于绘图学和建筑学的需要,古希腊几何学家就开始研究透视法,也就是投影和截影。早在公元前200年左右,阿波罗尼奥斯就曾把二次曲线作为正圆锥面的截线来研究。在4世纪帕普斯的著作中,出现了帕普斯定理。 在文艺复兴时期,人们在绘画和建筑艺术方面非常注意和大力研究如何在平面上表现实物的图形。那时候,人们发现,一个画家要把一个事物画在一块画布上就好比是用自己的眼睛当作投影中心,把实物的影子影射到画布上去,然后再描绘出来。在这个过程中,被描绘下来的像中的各个元素的相对大小和位置关系,有的变化了,有的却保持不变。这样就促使了数学家对图形在中心投影下的性质进行研究,因而就逐渐产生了许多过去没有的新的概念和理论,形成了射影几何这门学科。 射影几何真正成为独立的学科、成为几何学的一个重要分支,主要是在十七世纪。在17世纪初期,开普勒最早引进了无穷远点概念。稍后,为这门学科建立而做出了重要贡献的是两位法国数学家——笛沙格和帕斯卡。
笛沙格是一个自学成才的数学家,他年轻的时候当过陆军军官,后来钻研工程技术,成了一名工程师和建筑师,他很不赞成为理论而搞理论,决心用新的方法来证明圆锥曲线的定理。1639年,他出版了主要著作《试论圆锥曲线和平面的相交所得结果的初稿》,书中他引入了许多几何学的新概念。他的朋友笛卡尔、帕斯卡、费尔马都很推崇他的著作,费尔马甚至认为他是圆锥曲线理论的真正奠基人。 迪沙格在他的著作中,把直线看作是具有无穷大半径的圆,而曲线的切线被看作是割线的极限,这些概念都是射影几何学的基础。用他的名字命名的迪沙格定理:“如果两个三角形对应顶点连线共点,那么对应边的交点共线,反之也成立”,就是射影几何的基本定理。 帕斯卡也为射影几何学的早期工作做出了重要的贡献,1641年,他发现了一条定理:“内接于二次曲线的六边形的三双对边的交点共线。”这条定理叫做帕斯卡六边形定理,也是射影几何学中的一条重要定理。1658年,他写了《圆锥曲线论》一书,书中很多定理都是射影几何方面的内容。迪沙格和他是朋友,曾经敦促他搞透视学方面的研究,并且建议他要把圆锥曲线的许多性质简化成少数几个基本命题作为目标。帕斯卡接受了这些建议。后来他写了许多有关射影几何方面的小册子。 不过迪沙格和帕斯卡的这些定理,只涉及关联性质而不涉及度量性质(长度、角度、面积)。但他们在证明中却用到了长度概念,而不是用严格的射影方法,他们也没有意识到,自己的研究方向会导致产生一个新的几何体系射影几何。他们所用的是综合法,随着解析几何和微积分的创立,综合法让位于解析法,射影几何的探讨也中断了。 射影几何的主要奠基人是19世纪的彭赛列。他是画法几何的创始人蒙日的学生。蒙日带动了他的许多学生用综合法研究几何。由于迪沙格和帕斯卡等的工作被长期忽视了,前人的许多工作他们不了解,不得不重新再做。 1822年,彭赛列发表了射影几何的第一部系统著作。他是认识到射影几何是一个新的数学分支的第一个数学家。他通过几何方法引进无穷远虚圆点,研究了配极对应并用它来确立对偶原理。稍后,施泰纳研究了利用简单图形产生较复杂图形的方法,线素二次曲线概念也是他引进的。为了摆脱坐标系对度量概念的依赖,施陶特通过几何作图来建立直线上的点坐标系,进而使交比也不依赖于长度概念。由于忽视了连续公理的必要性,他建立坐标系的做法还不完善,但却迈出了决定性的一步。 另—方面,运用解析法来研究射影几何也有长足进展。首先是莫比乌斯创建一种齐次坐标系,把变换分为全等,相似,仿射,直射等类型,给出线束中四条线交比的度量公式等。接着,普吕克引进丁另一种齐次坐标系,得到了平面上无穷远线的方程,无穷远圆点的坐标。他还引进了线坐
解析几何教学指南
《空间解析几何》教学指南 说明: 1.课程性质 空间解析几何是高等师范院校数学专业的一门重要基础课。是初等数学通向高等数学的桥梁。是高等数学的基石。线性代数,数学分析,微分方程,微分几何,高等几何等课程的学习都离不开空间解析几何的基本知识以及研究方法。空间解析几何是用坐标法,把数学的基本对象与数量关系密切联系起来,它对整个数学的发展起了很大作用。 2.教学目的 本课程的教学目的是培养学生的空间想象能力以及解决问题的能力,并为以后学习其他数学课程作准备,也为日后的中学几何教学打下良好的基础。 (1)对空间的直线和平面,对曲面特别是二次曲面有明晰的空间位置、形状的概念,对于坐标化方法能应用自如,从而达到数与形的统一; (2)能具备空间想象能力,娴熟的矢量代数的计算能力和推理、演绎的逻辑思维能力,科学地处理中学数学的有关教学内容。 3.教学内容与学时安排: 第一章矢量与坐标 20学时 第二章轨迹与方程 6学时 第三章平面于空间直线 18学时 第四章柱面、锥面、旋转曲面与二次曲面 20学时 第五章二次曲线的一般理论 22学时 第六章二次曲面的一般理论 4学时 4.课程教学重点与难点: 重点:基本概念;矢量计算;做图能力; 难点:一般二次曲线、曲面理论,知识的综合应用。 5.教学方法 本课程以课堂讲授为主,结合课堂提问课堂讨论进行教学,同时对适合的内容以多媒体辅助教学。 6. 课程考核方法与要求: 本课程考核以笔试为主,主要考核学生对基本理论、基本概念、运算技巧的掌握程度,以及学生综合应用知识的能力。 内容: 第一章矢量与坐标(20学时) 1. 主要内容 (1)矢量概念单位矢量零矢量相等矢量反矢量共线矢量共面矢量。 (2)矢量的加法及其运算法则。 (3)数量乘矢量及其运算法则。 (4)矢量的线形运算及矢量的分解。
射影几何对初等几何教学的指导.
前言 射影几何对初等几何教学的指导,不仅表现在提高数学思想与观点上,还 直接表现在对初等几何图形性质的研究中。由射影几何、仿射几何和欧氏几何 三者的关系,我们知道,欧氏几何为仿射几何及射影几何的子几何,因此可以 通过图形的仿射性质和射影性质,指导研究初等几何中的一些问题。完全四点 (线)形的调和性是射影几何的重要不变性,它在射影几何中占有重要地位, 不仅如此,它在初等几何中也有广泛应用。由于它跟初等几何课程有紧密的联 系,它对未来中学数学教师在几何方面基础的培养、观点的提高、思维的灵活、 方法的多样起着重要作用,从而有助于中学数学教学质量的提高和科研能力的 培养,所以我尽量从几何的概念出发,运用活生生的几何直观,作为简化思维 过程进行高度概括总结的武器。经验表明,学了射影几何之后,学生对几何的 学习兴趣提高了很多。所以紧密联系中学数学教学,是本论文的着重点之一。 1.完全四点(线)形的定义及性质 1.1 完全四点形的定义 定义1 平面内无三点共线的四点及其两两连线所构成的图形称为完全四点 形(完全四角形),记作完全四点形ABCD。 定义1′完全四点形含四点六线,每一点称为顶点,每一直线称为边,不过 同一顶点的两边称为对边,六边分为三对,每一对对边的交点称为对边点(对角 点),三个对边点构成的三角形称为对角三角形,如图1。 图1 图2 定义2:平面内无三线共点的四直线及其两两交点所构成的图形。称为完全四线 形(完全四边形),记作完全四线形abcd。 定义2′:完全四线形abcd含四线六点,每一直线称为边,每一点称为顶点,不在
同一边上的两个顶点称为对顶,六个顶点分为三对,每一对对顶的连线称为对顶线(对角线),三条对顶线构成的三角形称为对角三角形,如图2。 1.2 完全四点(线)形的调和性质 定理1:设s、s′是完全四点形ABCD的一对对边,它们的交点是点X,若X与其它二对边点的连线是t、t′,则有 (ss′, tt′) =-1。 图3 证明:如图3,根据定理[1] 1.10,有 (AB,PZ)=(DC,PZ) 同理(DC,QZ)=(BA,PZ) ∴(AB,PZ)=(BA,PZ) 但是(BA, PZ)= 1 (,) AB PZ ∴2 (,) AB PZ=1 但(AB,PZ)≠1 因此(AB,PZ)=-1 由定理[2] 1.9,有 (AB,CD)=(ab,cd) (ss′,tt′)=-1. 推论1:在完全四点形的对边三点形的每条边上有一组调和共轭点,其中两个点是对边点,另两个点是这条边与通过第三个对边点的一对对边的交点。 证明:如图3,根据定理[1] 1.10,有 (AB,PZ)=(DC,QZ) 同理(ML,YZ)=(DC,QZ),(DC,QZ)=(BA,PZ) ∴(AB,PZ)=(ML,YZ)=(BA,PZ)
第5章 一维搜索
第5章 一维搜索 §5.1 最优化算法的简单介绍 1.算法概念 在解非线性规划时,所用的计算方法,最常见的是迭代下降算法. 迭代:从一点) (k x 出发,按照某种规则A 求出后继点) 1(+k x .用1+k 代替k ,重复以上 过程,产生点列}{) (k x 。 规则A 是在某个空间X 中点到点的映射,即对每一个X x k ∈) (,有点 X x A x k k ∈=+)() () 1(. 更一般地,把A 定义为点到集的映射,即对每个点X x k ∈) (,经A 作用,产生一个点 集X x A k ?)() (.任意选取一个点)() () 1(k k x A x ∈+,作为) (k x 的后继点. 定义1: 算法A 是定义在空间X 上的点到集映射,即对每一个点X x ∈,给定-个子集 X x A ?)(. 例1 考虑线性规划: 1 s.t. min 2 ≥x x 最优解1=x .设计一个算法A 求出这个最优解. ??????????? ?+≥??? ???+=1 ,1 ),1(211 ,)1(21 ,1x x x x A 从一点出发,经A 作用得到一个闭区间.从此区间中任取一点作为后继点,得到一个点列.在一定条件下,该点列收敛于问题的解.利用算法A 可以产生不同的点列,如以3=x 为起点可产生点列: {} ,5/4 ,3/2 ,2 ,3 其聚点是问题的最优解. 在许多情况下,要使算法产生的点列收敛于全局最优解是比较困难的.因此,一般把满足某些条件的点集定义为解集合.当迭代点属于这个集合时,就停止迭代.