定义 设为平面上的四个共线点稱两个单比和的比为这四点的交比或复比,记作其中和称为基础点对,和称为分点对
定义 如果四点的交比,则称点对和调和分离点对囷或称点对与点对调和共轭,这时也称为的第四调和点交比值称为调和比。
定理:中心射影保持共线四点的交比不变
证明:如图为射影中心直线上任意四点在中心射影下的像分别是直线上的
设的垂直于的高长度为的垂直于的长度为
定义 如果平面上的点变换使共线三点還变成共线三点,并且保持共线四点的交比不变称此变换为平面上的射影变换 固定元素。
因为正交变换、相似变换、仿射变换都保持共線三点的单比不变必然保持共线四点的交比不变,所以这些变换都是射影变换 固定元素
射影变换 固定元素的基本不变性质:
[1]定理:平媔上全部射影变换 固定元素的集合构成群
证明:(1)设是平面上的两个射影变换 固定元素,是共线四点
据定义有所以仍是射影变换 固定元素
(2)设是平面的上射影变换 固定元素所以是射影变换 固定元素
故平面上全部射影变换 固定元素的集合构成群
称之为射影变换 固定元素群仿射变换群、相似变换群、正交变换群都是它的子群。
投影变换是将一种地图投影点的坐标变换为另一种地图投影点的坐标的过程研究投影点坐标变换的理论和方法。
在常规编图作业中为将基本制图资料转绘到新编图经纬网中,常用照相、缩放仪、光学投影和网格等轉绘法以达到地图投影变换的目的。目前基本方法为:①解析变换法即找出两投影间的解析关系式。通常有反解变换法或称间接变換法;即{xi,yi}→{iλi}→{Xi,Yi};正解变换法或称直接变换法,即{xiyi}→{Xi,Yi};②数值变换法根据两投影间的若干离散点或称共同点,运用数值逼菦理论和方法建立它们间的函数关系或直接求出变换点的坐标;③数值解析变换法。将上述两类方法相结合即按数值法实现{xi,yi}→{iλi}嘚变换,再按解析法实现{iλi}→{Xi,Yi}的变换随着计算机辅助建立地图数学基础及地图投影变换软件研究的深入,进一步开拓了数学地图学嘚应用领域其中计算机辅助地图投影变换将代替传统的变换方法,将是制图生产中具有突破性的变革
地图投影变换时地图投影和地图編绘的一个重要组成部分,它主要研究从一种地图投影变换成另一种地图投影的理论和方法其实质是建立两平面场之间及邻域双向连续點的一一对应关系。
实现一种地图投影点的坐标变换为另一种地图投影点的坐标目前通常有如下三种方法:
是研究图形的射影性质即它们經过
后,依然保持不变的图形性质的几何学分支学科射影几何学也叫做投影几何学。在经典几何学中射影几何处于一种特殊的地位,通过它可以把其他一些几何学联系起来
创立的解析几何问世的时候,还有一门几何学同时出现在人们的面前这门几何学和画图有很密切的关系,它的某些概念早在
时期就曾经引起一些学者的注意欧洲
时期透视学的兴起,给这门几何学的产生和成长准备了充分的条件這门几何学就是射影几何学。
人们在绘画和建筑艺术方面非常注意和大力研究如何在平面上表现实物的图形。那时候人们发现,一个畫家要把一个事物画在一块画布上就好比是用自己的眼睛当作投影中心把实物的影子影射到画布上去,然后再描绘出来在这个过程中,被描绘下来的像中的各个元素的相对大小和位置关系有的变化了,有的却保持不变这样就促使了数学家对图形在
下的性质进行研究,因而就逐渐产生了许多过去没有的新的概念和理论形成了
射影几何真正成为独立的学科、成为几何学的一个重要分支,主要是在十七卋纪在17世纪初期,
概念稍后,为这门学科建立而做出了重要贡献的是两位法国数学家——
迪沙格是一个自学成才的数学家他年轻的時候当过陆军军官,后来钻研工程技术成了一名工程师和建筑师,他很不赞成为理论而搞理论决心用新的方法来证明
的定理。1639年他絀版了主要著作《试论圆锥曲线和平面的相交所得结果的初稿》,书中他引入了许多几何学的新概念他的朋友
都很推崇他的著作,费尔馬甚至认为他是圆锥曲线理论的真正奠基人
迪沙格在他的著作中,把直线看作是具有
的极限这些概念都是射影几何学的基础。用他的洺字命名的迪沙格定理:“如果两个三角形对应顶点连线共点那么对应边的交点共线,反之也成立”就是
也为射影几何学的早期工作莋出了重要的贡献,1641年他发现了一条定理:“内接于二次曲线的
的交点共线。”这条定理叫做帕斯卡六边形定理也是射影几何学中的┅条重要定理。1658年他写了《
》一书,书中很多定理都是
方面的内容迪沙格和他是朋友,曾经敦促他搞
方面的研究并且建议他要把
的許多性质简化成少数几个基本命题作为目标。
接受了这些建议后来他写了许多有关射影几何方面的小册子。
不过迪沙格和帕斯卡的这些萣理只涉及关联性质而不涉及度量性质(长度、
、面积)。但他们在证明中却用到了长度概念而不是用严格的射影方法,他们也没有意识箌自己的研究方向会导致产生一个新的几何体系
,射影几何的探讨也中断了
射影几何的主要奠基人是19世纪的
。他是画法几何的创始人
嘚学生蒙日带动了他的许多学生用综合法研究几何。由于迪沙格和帕斯卡等的工作被长期忽视了前人的许多工作他们不了解,不得不偅新再做
研究了利用简单图形产生较复杂图形的方法,线素
概念也是他引进的为了摆脱
对度量概念的依赖,施陶特通过几何作图来建竝直线上的点坐标系进而使
也不依赖于长度概念。由于忽视了
的必要性他建立坐标系的做法还不完善,但却迈出了决定性的一步
另—方面,运用解析法来研究
相似,仿射直射等类型,给出线束中四条线交比的度量公式等接着,普吕克引进丁另一种齐次坐标系嘚到了平面上
的方程,无穷远圆点的坐标他还引进了线坐标概念,于是从代数观点就自然得到了
并得到了关于一般线素曲线的一些概念。
在19世纪前半叶的几何研究中
的争论异常激烈;有些数学家完全否定综合法,认为它没有前途而一些几何学家,如沙勒施图迪和施泰纳等,则坚持用综合法而排斥解析法还有一些人,如
虽然承认综合法有其局限性,在研究过程中也难免借助于代数但在著作中總是用综合法来论证。他们的努力使综合
形成一个优美的体系而且用综合法也确实形象鲜明,有些问题论证直接?蚪唷?882年
建成第一个严格嘚射影几何演绎体系
射影几何学的发展和其他数学分支的发展有密切的关系,特别是“
”的概念产生以后也被引进了射影几何学,对這门几何学的研究起了促进作用
中提出了这个观点,并把几种经典几何看作射影几何的子几何使这些几何之间的关系变得十分明朗。這个纲领产生了巨大影响但有些几何,如
不能纳入这个分类法。后来
等在拓广几何分类的方法中作出了新的贡献
概括的说射影几何學是几何学的一个重要分支学科,它是专门研究图形的位置关系的也是专门用来讨论在把点投影到直线或者平面上的时候,图形的不变性质的科学
看作是“理想点”。通常的直线再加上一个无穷点就是无穷远直线如果一个平面内两条直线平行,那么这两条直线就交于這两条直线共有的无穷远点通过同一无穷远点的所有直
和无穷远直线后,原来普通点和普通直线的结合关系依然成立而过去只有两条直线不平行的时候才能求交点的限制就消失了。
由于经过同一个无穷远点的直线都平行因此中心射影和平荇射影两者就可以统一了。平行射影可以看作是经过无穷远点的
了这样凡是利用中心投影或者
把一个图形映成另一个图形的映射,就都鈳以叫做
射影变换 固定元素有两个重要的性质:首先射影变换 固定元素使点列变点列,直线变直线
变线束,点和直线的结合性是射影變换 固定元素的不变性;其次射影变换 固定元素下,交比不变交比是
中重要的概念,用它可以说明两个平面点之间的射影对应
在射影几何里,把点和直线叫做对偶元素把“过一点作一直线”和“在一直线上取一点”叫做对偶运算。在两个图形中它们如果都是由点囷直线组成,把其中一图形里的各元素改为它的对偶元素各运算改为它的对偶运算,结果就得到另一个图形这两个图形叫做对偶图形。在一个命题中叙述的内容只是关于点、直线和平面的位置可把各元素改为它的对偶元素,各运算改为它的对偶运算的时候结果就得箌另一个命题。这两个命题叫做对偶命题
这就是射影几何学所特有的对偶原则。在
上如果一个命题成立,那么它的对偶命题也成立這叫做平面对偶原则。同样在
里,如果一个命题成立那么它的对偶命题也成立,叫做空间对偶原则
下二次曲线的不变性质,也是射影几何学的一项重要内容
如果就几何学内容的多少来说,射影几何学<
< 欧氏几何学这就是说欧氏几何学的内容最丰富,而射影几何学的内容最贫乏比如在欧氏几何学里可以讨论仿射几何学的对象(如简比、平行性等)和射影几何学的对象(如四点的交比等),反过来在射影几何学里不能讨论图形的仿射性质,而在仿射几何学里也不能讨论图形的度量性质
1872年,德国数学家克莱因在爱尔朗根夶学提出著名的《爱尔朗根计划书》中提出用
对几何学进行分类就是凡是一种变换,它的全体能组成“群”就有相应的几何学,而在烸一种几何学里主要研究在相应的变换下的
研究图形的射影性质,即它们经过
不变的性质一度也叫做投影几何学,在经典几何学中
處于一种特殊地位,通过它可以把其他一些几何联系起来
在一个欧氏(或仿射)平面上,两条直线一般相交于一点但有例外,平行線不相交这种例外,使某些定理显得复杂为了排除这种例外,在每条直线上添上一个理想点叫做
,并假定平行直线相交于无穷远点添上无穷远点的直线叫做扩大直线,它是闭的象圆周那样,去掉它上面一点不会使它分成两截。再假定不平行的直线有不同的无穷遠点这样,平面上一切无穷远点的集合就叫做无穷远(直)线而添上
之后的平面就叫做扩大平面。扩大平面也是闭的去掉它上面一條直线,不会使它分成两块
同样,三维欧氏(或仿射)空间中一切无穷远点的集合叫做无穷远(平)面添上无穷远面后的空间叫做扩夶空间,它也是闭的在扩大空间,不但平行直线交于一个
而且平行平面交于一条无穷远直线,一条非无穷远直线和一个与它平行的平媔交于一个无穷远点
如果再进一步,把无穷远元素(点、线、面)和非无穷远元素平等看待不加区别,扩大空间就叫做
同样,从扩夶直线和扩大平面可以得到
在射影空间里,平行的概念消失了:两条共面直线或一个平面和一条直线总相交于一点两个平面总相交于┅条直线;此外,每两点总决定一条直线每三个不共线点总决定一个平面,等等
仍从欧氏(或仿射)平面开始设在平面上已经建立了鉯O为原点的直角(或仿射)
0完全确定p 的位置,(x
0(笛氏)坐标原点的齐次坐标显然可以写成(1,00)。设p不是原点O则x
0向0接近,则p点沿一条经過O而
的直线l向远方移动设表示扩大直线l上的
,则可以认为当x0趋于O 时,p趋于因此,可以把(0x
,特殊地(0,10)和(0,01)依次是x轴和y 轴上无窮远点的齐次坐标。这样每一组不同时为零的三个数x
0都是扩大平面上一点的齐次坐标,而若ρ 为不等于零的数则(ρx
)代表同一点,下面引进记号(x)=(x
不都是0)是欧氏(或仿射)平面上一条直线的
)扩大平面上的无穷远
0=0。这样每一个齐次
都代表扩大平面上一条直线。由于比值u
0完铨确定直线(u)=(u
0)线坐标。为了区别两种
0)就叫做(齐次)点坐标方程(1)叫做点(x)和线(u)的
条件或接合(即(x)在(u)上,或(u)经过(x))条件
当不区别无穷远え素和非无穷远元素,使扩大平面成为
时(x)和(u)就依次成为射影平面上的齐次点坐标和线坐标,它们都可以看作
与此类似可以得到扩大或
Φ,点(x)和面(u)的关联条件是
下面除非特别指明,所讨论的空间就是三维
,所讨论的点、线、面都是射影空间里的点
。在射影空间指萣一个平面x0=0作为无穷远面,就得到扩大空间(见
的基本关系在关联条件(1)中,(x)和(u)有完全的对称性这就使得直线和点可以在逻辑上取得平等的地位。它们叫做平面上的对偶元素
是固定的,它就代表一条直线;令满足(1)的x
变动就可以得到在该线上的一切点,这些点的集合叫莋以(u)为底的点列而(1)也就是点列的方程。根据
理论可以看出,点列中每三点
即:若(y),(z)是点列中任意两个不同的点则它的每一点(x)都可鉯写成(y)和(z)的
参数。在一定意义上λ,μ也可以作为点列中的
。另一方面若令(1)中的x
变动,就得到一切经过点(x)的直线(u)它们的集合叫做以(x)為中心的
,而(1)就是线束的方程同时也是点(x)的方程。若(υ)(ω)是线束中任意两条直线,则线束的每一条直线(u)都可以写成
中的元素都只依赖於两个
参数的比值即依赖于一个独立参数,它们就都叫做一维基本形
已给平面上一个以点和直线构成的图形,把其中的点和直线对换就得到另一个图形,叫做所给图形的对偶例如,点列(和一条直线关联的点的集合)和线束(和一点关联的直线的集合)是对偶形彡角形是自对偶形。
对于平面上一个只涉及点与直线的关联关系的定理如果把其中的点和直线及其关联关系对换,就得到一个新定理叫做原定理的对偶。“如果原定理成立则它的
也成立。”称它为对偶定理这是因为,从代数观点看这两个定理的证明步骤是完全相哃的。
中一个最早而又重要的定理是
定理(图3):两个三角形ABC和A'B'C'的对应顶点的联线AA',BB'CC'经过同一点的充要条件是它们的对应边BC和B'C';CA和C'A';AB囷A'B'的交点共线。这是个自
如果不是在射影(或扩大)平面上而是在欧氏(或仿射)平面上,证明这个定理就需要区别并分别处理其中有某些直线平行的各种特款
三维空间也有对偶定理。在空间点和面是对偶元素,直线是自对偶元素
是自对偶形。空间还有一个一维基夲形是面束这是经过同一条直线的平面的集合。面束是点列的对偶在同一个平面上的点的集合叫做点场,经过同一点的平面的集合叫莋面把;点场和面把互为对偶在同一个平面上的直线的集合叫做线场,经过同一点的直线的集合叫做线把;线场和线把互为对偶点场,線场面把,线把都是二维基本形空间的点的集合和空间的平面的集合依次叫做点空间和面空间,它们是互为对偶的三维基本形在空間,三角形的对偶是三棱形三棱形由经过同一点的三条不共面的直线所构成,这三条直线两两确定三个不共线的平面对于不共面的两個三角形,
定理仍然成立但在空间,它不是自
是简捷了当的但不是必须的
用{p}表示直线l上的点列,其中p表示点列中的任意点设S为不在l仩的一点,作直线p=SP则当p在l上变动时,就得到以S为中心的
{p}叫做点列{p}的投影,而{p}就叫做线束{p}的截影p和 p叫做对应元素(图5)。
为空间不在{p}嘚平面上的点作经过S
和p的平面π,就得到以SS
为轴的面束{π},它是{p}的投影{p}是{π}的截影,p和π 是对应元素(图6)若经过一系列的投影和截影,从一个一维基本形到另一个这两个基本形就叫做射影相关,它们元素间的对应关系就叫做射影对应一个射影对应所包含的两个
叫做射影变换 固定元素,它们互为逆变换
在空间,通过投影和截影点场和线把之间,线场和面把之间都可以互相转化因而点场之间,线把之间线场之间,面把之间也可以互相转化至于
基本形之间的其他转化,例如点场和线场之间的转化则可以通过下面将要叙述嘚代数方法来确定。同样三维基本形之间的转化也要通过代数方法。总之两个二维基本形之间或两个三维基本形之间,也都可以有射影对应和
已经指出如何在点列,点场点空间,以及线场和面空间里建立齐次坐标系事实上,在任何一个一、二、三维的基本形里嘟可以建立
)。这样射影对应或射影变换 固定元素就可以通过
来表示。例如设(x),()为两个点场的齐次坐标则射影变换 固定元素(x)→()可以鼡三个变数的齐次线性变换
;ρ是非零比例常数。解这个方程组,就得到逆变换(x')→(x)的方程。
的一个基本性质是保持关联关系这等于说,咜把
的元素变成线性相关的元素例如,点场之间的变换(2)就把点列变成点列即直线变成直线,因而它还把线束变成线束。由此又可以看出只涉及关联关系的每个定理(如
定理)一定代表一种射影性质,即经过射影变换 固定元素不变的性质换句话说,这种定理是一个
關于射影对应有一个基本定理。如果把一、二、三维的情况概括在一起那就是:若在两个n维 (n=1,23)基本形中,分别指定一组n+2个元素式Φ各组里的每n+1个元素线性无关,则两个基本形间有惟一的射影对应,使两组元素按给定次序相对应事实上,对于任意维
对应这个定悝都成立。所谓“
”可以举例来说明:两个线性无关的点不重合,三个线性无关的点不共线四个线性无关的点不
也可以作用于扩大空間,但经过射影变换 固定元素无穷远元素可以变为非无穷远,非无穷远元素可以变为无穷远(例如平行平面可以变得不平行不平行平媔可以变得平行),因此在未经扩大的欧氏或
里,射影变换 固定元素不完全是一对一的
直射变换和对射变换与射影群
平面既是点场的底,又是线场的底因此,它上面的一个射影变换 固定元素可以把点变成点(或线变成线)也可以把点变成线(或线变成点),前一种叫做直射变换后一种叫做对射变换。
直射变换的逆变换和它们的积(即两个直射变换接连作用所形成的变换)都是直射变换因此,平媔上一切直射变换构成群叫做平面直射群。直射变换的特征是它把共线的点变成共线的点,因而可以说也把直线变成直线
建立在欧氏空间的基础上,但这不是必要的它可以建立在不涉及度量概念的
以三维射影几何为例,在那里基本元素是点,直线和平面射影几哬公理的表达形式是多种多样的,一般可以分为三组第一组叫做关联公理:例如,两点确定一条经过它们的直线三个不
确定一个经过咜们的平面,两个平面交于一条直线等等第二组叫做次序公理:例如,已给直线上三点□□,□直线上必有一点□,使□□和□,□互相隔离等等第三组只含一个公理,即
上的连续公理实质上就是规定:去掉直线上一点以后直线上剩下来的部分满足
根据这些公悝,便可以通过纯演绎方法建立起一个完整的实
所谓实射影几何,就是上面所讨论的射影几何其中点的坐标是
只满足关联公理的空间鈳以称为一般射影空间;在那里面,仍然有
其相应的几何可以称为一般射影几何。如果把关联公理要求降低也可以得到更一般的射影涳间和射影几何。当然在一个一般射影空间里,实射影几何的定理不完全成立
也可以一开始就通过代数方法来建立射影几何
了,但到19卋纪上半叶才有短暂的突破到19世纪,它才形成独立体系最后臻于完备。
射影几何的主要奠基人是 19世纪的J.-V.
的学生蒙日带动了他的许多學生(C.-J.布里昂雄是其中之一)用
等的工作被长期忽视了,前人的许多工作他们不了解不得不重新再做。1822年彭赛列发表了射影几何的苐一部系统著作。他是认识到射影几何是一个新的数学分支的第一个数学家他通过几何方法引进无穷远虚圆点,研究了配极对应并用它來确立
研究了利用简单图形产生较复杂图形(例如二次曲线和
概念也是他引进的(1832)为了摆脱坐标系对度量概念的依赖,K.G.C.von施陶特通过几何作圖来建立直线上的点坐标系(1847)进而令交比也不依赖于长度概念。由于忽视了
的必要性他建立坐标系的做法并不完善,但却迈出了决定性嘚一步
相联系的是F.克莱因,他在
(1872)中提出了这个观点并把几种经典几何看作射影几何的子几何,使这些几何之间的关系变得十分明朗這个纲领产生了巨大影响。但有些几何如
,不能纳入这个分类法。后来□嘉当等在拓广几何分类的方法中作出了新的贡献
内容提示:第4章 射影变换 固定元素学习辅导(1)
文档格式:DOC| 浏览次数:5| 上传日期: 14:33:03| 文档星级:?????
全文阅读已结束如果下载本文需要使用
版权声明:文章内容来源于网络,版权归原作者所有,如有侵权请点击这里与我们联系,我们将及时删除。