射影几何学.pdf

该【射影几何学 】是由【小sjj】上传分享，文档一共【13】页，该文档可以免费在线阅读，需要了解更多关于【射影几何学 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。:.
在射影几何学中,把无穷远点看作是“理想点”。通常的直线再加上一个无穷点就是无穷远
直线,如果一个平面内两条直线平行,那么这两条直线就交于这两条直线共有的无穷远点。
通过同一无穷远点的所有直线平行。
德国数学家克莱因(图)在爱尔朗根大学提出著名的《爱尔朗根计
划书》中提出用变换群对几何学进行分类
在引入无穷远点和无穷远直线后,原来普通点和普通直线的结合关系依然成立,而过去只有
两条直线不平行的时候才能求交点的限制就消失了。
由于经过同一个无穷远点的直线都平行,因此中心射影和平行射影两者就可以统一了。平行
射影可以看作是经过无穷远点的中心投影了。这样凡是利用中心投影或者平行投影把一个图
形映成另一个图形的映射,就都可以叫做射影变换了。
射影变换有两个重要的性质:首先,射影变换使点列变点列,直线变直线,线束变线束,点
和直线的结合性是射影变换的不变性;其次,射影变换下,交比不变。交比是射影几何中重
要的概念,用它可以说明两个平面点之间的射影对应。
在射影几何里,把点和直线叫做对偶元素,把“过一点作一直线”和“在一直线上取一点”
叫做对偶运算。在两个图形中,它们如果都是由点和直线组成,把其中一图形里的各元素改
为它的对偶元素,各运算改为它的对偶运算,结果就得到另一个图形。这两个图形叫做对偶
图形。在一个命题中叙述的内容只是关于点、直线和平面的位置,可把各元素改为它的对偶
元素,各运算改为它的对偶运算的时候,结果就得到另一个命题。这两个命题叫做对偶命题。
这就是射影几何学所特有的对偶原则。在射影平面上,如果一个命题成立,那么它的对偶命
题也成立,这叫做平面对偶原则。同样,在射影空间里,如果一个命题成立,那么它的对偶
命题也成立,叫做空间对偶原则。研究在射影变换下二次曲线的不变性质,也是射影几何学
的一项重要内容。如果就几何学内容的多少来说,射影几何学;仿射几何学;欧氏几何学,
这就是说欧氏几何学的内容最丰富,而射影几何学的内容最贫乏。比如在欧氏几何学里可以
讨论仿射几何学的对象(如简比、平行性等)和射影几何学的对象(如四点的交比等),反过来,
在射影几何学里不能讨论图形的仿射性质,而在仿射几何学里也不能讨论图形的度量性质。:.
1872年,德国数学家克莱因在爱尔朗根大学提出著名的《爱尔朗根计划书》中提出用变换
群对几何学进行分类,就是凡是一种变换,它的全体能组成“群”,就有相应的几何学,而
在每一种几何学里,主要研究在相应的变换下的不变量和不变性。
射影几何学-理论
相关书籍
扩大空间和射影空间,在一个欧氏(或仿射)平面上,两条直线一般相交于一点,但有例外,
平行线不相交。这种例外,使某些定理显得复杂。为了排除这种例外,在每条直线上添上一
个理想点,叫做无穷远点,并假定平行直线相交于无穷远点。添上无穷远点的直线叫做扩大
直线,它是闭的,象圆周那样,去掉它上面一点,不会使它分成两截。再假定不平行的直线
有不同的无穷远点,这样,平面上一切无穷远点的集合就叫做无穷远(直)线,而添上无穷
远线之后的平面就叫做扩大平面。扩大平面也是闭的,去掉它上面一条直线,不会使它分成
两块。
同样,三维欧氏(或仿射)空间中一切无穷远点的集合叫做无穷远(平)面。添上无穷远面
后的空间叫做扩d大空间,它也是闭的。在扩大空间,不但平行直线交于一个无穷远点,而
且平行平面交于一条无穷远直线,一条非无穷远直线和一个与它平行的平面交于一个无穷远
点。如果再进一步,把无穷远元素(点、线、面)和非无穷远元素平等看待,不加区别,
扩大空间就叫做射影空间。同样,从扩大直线和扩大平面可以得到射影直线和射影平面。在
射影空间里,平行的概念消失了:两条共面直线或一个平面和一条直线总相交于一点,两个
平面总相交于一条直线;此外,每两点总决定一条直线,每三个不共线点总决定一个平面,
等等。
射影几何学-齐次坐标
为了能用代数方法来处理射影(或扩大)空间的几何问题,需要引进齐次坐标(有时还引进射
影坐标)。仍从欧氏(或仿射)平面开始。设在平面上已经建立了以O为原点的直角(或
仿射)坐标系,(x,y)为一点p的坐标。令则比值x:x:x
012:.
完全确定p的位置,(x,x,x)就叫做p的齐次(笛氏)坐标。原点的齐次坐标显然可以
012
写成(1,0,0)。设p不是原点O,则x,x不同时等于零;再令x,x固定,而令x向0
12120
接近,则p点沿一条经过O而斜率为x:x的直线l向远方移动。设表示扩大直线l上的
21
无穷远点,则可以认为,当x趋于O时,p趋于。因此,可以把(0,x,x)作为的
012
齐次坐标,特殊地,(0,1,0)和(0,0,1)依次是x轴和y轴上无穷远点的齐次坐标。这
样,每一组不同时为零的三个数x,x,x都是扩大平面上一点的齐次坐标,而若ρ为不
012
等于零的数,则(ρx,ρx,ρx)和(x,x,x)代表同一点,下面引进记号(x)=(x,x,
01201201
x),ρ(x)=(ρx,ρx,ρx)。
2012
设(u,u不都是0)是欧氏(或仿射)平面上一条直线的方程。在用齐
12
次坐标表示时,它可以写成
,(1)
这也就是扩大直线的齐次方程,这直线上的无穷远点是(0,u,-u)。扩大平面上的无穷远
21
直线方程显然可以写成x=0。这样,每一个齐次线性方程都代表扩大平面上一条直线。由于
0
比值u:u:u完全确定直线,(u)=(u,u,u)就叫做(齐次)线坐标。为了区别两种齐次坐
012012
标,上面引进的(x)=(x,x,x)就叫做(齐次)点坐标。方程(1)叫做点(x)和线(u)的关
012
联条件或接合(即(x)在(u)上,或(u)经过(x))条件。当不区别无穷远元素和非无穷远元
素,使扩大平面成为射影平面时,(x)和(u)就依次成为射影平面上的齐次点坐标和线坐标,
它们都可以看作射影坐标的特款。与此类似,可以得到扩大或射影直线上的点坐标(x)=(x,
0
x)以及扩大或射影空间的点坐标(x)=(x,x,x,x)和面坐标(u)=(u,u,u,u)。在扩
101230123
大或射影空间中,点(x)和面(u)的关联条件是下面,除非特别指明,所
讨论的空间,就是三维射影空间,所讨论的点、线、面都是射影空间里的点,射影直线和射
影平面。在射影空间,指定一个平面x=0作为无穷远面,就得到扩大空间(见射影坐标)。
0
射影几何学-对偶原理
关联关系是射影平面和射影空间的基本关系。在关联条件(1)中,(x)和(u)有完全的对称性,
这就使得直线和点可以在逻辑上取得平等的地位。它们叫做平面上的对偶元素。设方程(1)
里的u是固定的,它就代表一条直线;令满足(1)的x变动,就可以得到在该线上的一切点,
jj
这些点的集合叫做以(u)为底的点列,而(1)也就是点列的方程。根据线性方程理论,可以看
出,点列中每三点线性相关。即:若(y),(z)是点列中任意两个不同的点,则它的每一点(x)
都可以写成(y)和(z)的线性组合(x)=λ(y)+μ(z,),其中λ,μ是齐次参数。在一定意义
上,λ,μ也可以作为点列中的射影坐标。另一方面,若令(1)中的x固定,而令u变动,
jj
就得到一切经过点(x)的直线(u),它们的集合叫做以(x)为中心的线束,而(1)就是线束的方
程,同时也是点(x)的方程。若(υ),(ω)是线束中任意两条直线,则线束的每一条直线(u)
都可以写成:.
。
由于点列和线束中的元素都只依赖于两个齐次参数的比值,即依赖于一个独立参数,它们就
都叫做一维基本形。已给平面上一个以点和直线构成的图形,把其中的点和直线对换,就
得到另一个图形,叫做所给图形的对偶。例如,点列(和一条直线关联的点的集合)和线束
(和一点关联的直线的集合)是对偶形。三角形是自对偶形。
图1
对于平面上一个只涉及点与直线的关联关系的定理,如果把其中的点和直线及其关联关系对
换,就得到一个新定理,叫做原定理的对偶。“如果原定理成立,则它的对偶定理也成立。”
称它为对偶定理。这是因为,从代数观点看,这两个定理的证明步骤是完全相同的。射影几
何中,一个最早而又重要的定理是德扎格定理(图1):两个三角形ABC和的对应
顶点的联线经过同一点的充要条件是它们的对应边BC和;CA和;
AB和的交点共线。这是个自对偶定理。如果不是在射影(或扩大)平面上而是在欧氏
(或仿射)平面上,证明这个定理就需要区别并分别处理其中有某些直线平行的各种特款。
三维空间也有对偶定理。在空间,点和面是对偶元素,直线是自对偶元素。线束是自对偶形。
空间还有一个一维基本形是面束,这是经过同一条直线的平面的集合。面束是点列的对偶。
在同一个平面上的点的集合叫做点场,经过同一点的平面的集合叫做面把;点场和面把互为
对偶。在同一个平面上的直线的集合叫做线场,经过同一点的直线的集合叫做线把;线场和
线把互为对偶。点场,线场,面把,线把都是二维基本形。空间的点的集合和空间的平面的
集合依次叫做点空间和面空间,它们是互为对偶的三维基本形。在空间,三角形的对偶是三
棱形。三棱形由经过同一点的三条不共面的直线所构成,这三条直线两两确定三个不共线的
平面。对于不共面的两个三角形,德扎格定理仍然成立,但在空间,它不是自对偶定理。
通过代数来说明对偶原理是简捷了当的,但不是必须的。空间的直线构成一个四维集合(见
直线几何)。
射影对应与射影变换;在一维基本形之间,可以通过投影和截影互相转化。用{p}表示直
线l上的点列,其中p表示点列中的任意点。设S为不在l上的一点,作直线p=SP,则当p:.
在l上变动时,就得到以S为中心的线束{p},叫做点列{p}的投影,而{p}就叫做线束{p}
的截影,p和p叫做对应元素(图2)。
图片3图片2
再设S为空间不在{p}的平面上的点,作经过S和p的平面π,就得到以SS为轴的面束{π},
111
它是{p}的投影,{p}是{π}的截影,p和π是对应元素(图3)。若经过一系列的投影和截
影,从一个一维基本形到另一个,这两个基本形就叫做射影相关,它们元素间的对应关系就
叫做射影对应。一个射影对应所包含的两个变换叫做射影变换,它们互为逆变换。
在空间,通过投影和截影,点场和线把之间,线场和面把之间都可以互相转化,因而点场之
间,线把之间,线场之间,面把之间也可以互相转化。至于二维基本形之间的其他转化,例
如点场和线场之间的转化,则可以通过下面将要叙述的代数方法来确定。同样,三维基本形
之间的转化也要通过代数方法。总之,两个二维基本形之间或两个三维基本形之间,也都可
以有射影对应和射影变换。
已经指出,如何在点列,点场,点空间,以及线场和面空间里建立齐次坐标系。事实上,在
任何一个一、二、三维的基本形里,都可以建立齐次(或叫射影)坐标(见射影坐标)。这
样,射影对应或射影变换就可以通过齐次坐标间的满秩齐次线性变换来表示。例如,设(x),
()为两个点场的齐次坐标,则射影变换(x)→()可以用三个变数的齐次线性变换
(2)
表示,式中det表示行列式;ρ是非零比例常数。解这个方程组,就得到逆变换()→(x)
的方程。
射影变换的一个基本性质是保持关联关系,这等于说,它把线性相关的元素变成线性相关的
元素。例如,点场之间的变换(2)就把点列变成点列,即直线变成直线,因而,它还把线束:.
变成线束。由此又可以看出,只涉及关联关系的每个定理(如德扎格定理)一定代表一种射
影性质,即经过射影变换不变的性质。换句话说,这种定理是一个射影定理。
关于射影对应,有一个基本定理。如果把一、二、三维的情况概括在一起,那就是:若在两
个n维(n=1,2,3)基本形中,分别指定一组n+2个元素,式中各组里的每n+1个元素线性
无关,则两个基本形间,有惟一的射影对应,使两组元素按给定次序相对应。事实上,对于
任意维射影对应,这个定理都成立。所谓“线性无关”,可以举例来说明:两个线性无关的
点不重合,三个线性无关的点不共线,四个线性无关的点不共面。射影变换也可以作用于
扩大空间,但经过射影变换,无穷远元素可以变为非无穷远,非无穷远元素可以变为无穷远
(例如平行平面可以变得不平行,不平行平面可以变得平行),因此,在未经扩大的欧氏或
仿射空间里,射影变换不完全是一对一的。交比;交比是一项基本的射影不变量。
根据关于射影对应的基本定理,一维基本形(例如,点列)间的一个射影对应是由三对对应
元素惟一地确定的。由此可以推知,若在一个射影对应中,一个一维基本形中的四个元素
E,E,E,E依次对应于另一个一维基本形中的则四元素组E,E,E,
1234123
E和必有某种共性。交比就是这样的共性。
4
设在一个一维基本形中,元素E(i=1,2,3,4)的齐次坐标是,而用(E,
jj
E)表示行列式
j
则交比
(3)
交比经过射影变换(例如投影或截影)不变。
若在一个一维基本形中,随意选取三个不同的固定元素E,E,E,而对于任意元素p,设
123
则p的位置和x的一切值(包括∞)一一对应。特殊地,当p=E时,x=∞;p=E时,x=0;
12
p=E时,x=1。因此,x可以作为基本形中的非齐次坐标。若再令x=x/x,则(x,x)是基
31001
本形中的齐次坐标,称为射影坐标。特殊地,E,E,E的坐标依次是(0,1),(1,0)和(1,
123
1)。这三个元素叫做射影坐标系的基元素。
在欧氏空间,若p,p,p,p是四个共线点,而用pp表示由p到p的有向线段长,则
1234jjjj
在欧氏平面,若p,p,p,p是经过同一点的四条直线,而用(pp)表示由p到p的有向
1234jjjj
角,则
:.
四个元素有24种排列法,但对于一般位置的四个元素只有6个不同的交比值,对于某种特
殊位置的四个元素,则六个交比值中至少有两个相等。例如,当交比(E,E,E,E)=-1时,
1234
这四个元素称为构成调和组。这时E和E,E和E都可以对调,元素偶E,E和E,E也可
12341234
以对调,而交比不变;而且元素的其他次序所对应的交比值都是2或1/2。这表明,对于构
成调和组的四个元素,变动其排列次序,只有3个不同的交比值,即-1,2,1/2。当然,
在射影相关的基本形中,调和组对应于调和组。
图4
在调和组E,E,E,E里,E也叫做E对于E,E的共轭;已给E,E和E,可以用直尺
**********
作图求E。图4表示,已给点列中任意三点p,p和p,求p对于p,p的调和共轭p的
41233124
作图法。注意K,L可以是经过p的任意直线上的任意两点。还可以看出,当p趋于p(或
332
p)时,p也趋于p(或p)。因此,调和组中可以有三点重合。
1421
直射变换与对射变换,射影群;考虑一个平面上的二维射影变换。平面既是点场的底,
又是线场的底,因此,它上面的一个射影变换可以把点变成点(或线变成线),也可以把点
变成线(或线变成点),前一种叫做直射变换,后一种叫做对射变换。
直射变换的逆变换和它们的积(即两个直射变换接连作用所形成的变换)都是直射变换。因
此,平面上一切直射变换构成群,叫做平面直射群。直射变换的特征是,它把共线的点变成
共线的点,因而可以说,也把直线变成直线。一个直射变换可以用关于点坐标的线性变换(2)
代表。如果它把直线(u)变成(),则通过关联条件可得
(4)
式中C是с在方阵(с)中的余因子,σ是比例常数。可以认为,(2)和(4)代表着同一个
ijijij
直射变换,它们的区别只是在于:一个用了点坐标,一个用了线坐标。
与此类似,对射变换把共点的直线变成共线的点,把共线的点变成共点的直线,即把线变成
点,把点变成线。两个对射变换之积是一个直射变换。对射变换不构成群,但是平面上一切
直射变换和对射变换在一起构成群,叫做射影群。直射群是射影群的子群。但有时射影群这
个名词也用来指直射群。由于平面对射变换把点变成线,把线变成点,而又保持关联关系,
它就体现了平面上的对偶原理。同样,空间也有直射变换和对射变换,前者把点变成点,面
变成面,后者把点变成面,面变成点;它们都把直线变成直线。空间一切直射变换构成直射
群,一切直射变换和对射变换构成射影群。空间对射变换体现空间对偶原理。
直线上的一切点变点的射影变换构成直线上的射影群。其他基本形里都有各自的射影群。
二次曲线与二次曲面;扩大平面上的二次曲线:.
的齐次方程是
(5)
式中α=α表明(α)是对称方阵。
ijjjij
在射影平面上,方程(5)所确定的点的轨迹就叫做一条二次曲线。与此相对偶,含线坐标的
齐二次方程
(6)
代表一个直线的集合,也叫做二次曲线。为了区别(5)和(6),它们所代表的点集和线集依次
就叫做点(素)二次曲线和线(素)二次曲线。
用Г表示点二次曲线(5),并假定它是满秩的,即det(α)≠0。在它上面的一点(y),
ij
Г的切线方程是
这些切线构成线二次曲线,式中A是α
ijij
在方阵(α)里的余因子。按照对偶原理,点曲线的切线的对偶是线曲线的切点(两条“相
ij
邻”直线交点的极限位置),因而满秩线二次曲线的切点构成一个点二次曲线。
设p为不在满秩点二次曲线Γ上的任意点,经过p作直线l交Г于p,p两点(图5
12
图5
)。设在l上,p点对于p,p的调和共轭是,即(p,p;p,)=-1。这样的两点p,
1212
叫做对于Г的共轭点。当p固定而令l转动时,p的共轭总是在一条直线p上,叫做p
点对于Г的极线,而p就叫做直线p对于Г的极点。特殊地,若p为Г上的点,它的极线p
就是Г在p的切线。显然,若p的极线经过,则的极线经过p。若p和p的齐次坐标
依次为(x)和(u),则:.
(7)
这是一种特殊的对射对应,其特殊性在于(α)是对称方阵,它叫做对于Γ的配极对应。配
ij
极变换的平方,即它和自己的乘积是幺变换(或叫恒等变换)。配极对应也可以体现对偶原
理。
二次曲线可以通过射影产生法产生。若在平面上有两个射影相关的线束(即线束间建立了一
宗射影对应),它们有不同的中心,而且它们的公共直线不对应于自己,则两线束中对应直
线交点的轨迹是一条满秩点二次曲线。用对偶方法可以产生线二次曲线。
图6
射影几何中,关于二次曲线一个最早的著名定理是帕斯卡定理(图6)满秩二次曲线的一个
内接六边形ABCDEF的三对对边AB和DE,BC和EF,CD和FA交于一条直线上。倒转来,若
一个六边形的三对对边交点在一条直线上,则六边形顶点在一个二次曲线上,但这个二次曲
线可能退化成直线偶。帕斯卡定理在平面上的对偶叫做布里昂雄定理。
帕斯卡定理的一个特款是帕普斯定理:若A,B,C和A┡,B┡,C┡分别是两条直线上的三
点,它们都不重合,则BC┡和B┡C,CA┡和C┡A,AB┡和A┡B交于共线的三点。在三维
射影空间,设(x),(u)依次为齐次点坐标和面坐标,则含x的一个齐二次方程
j
代表一个点(素)二次曲面,而含u的一个齐二次方程代表一个面(素)二次曲面。满秩
j
点二次曲面的切面构成一个满秩面二次曲面,而满秩面二次曲面的切点构成一个满秩点二次
曲面。
关于满秩二次曲面也有配极对应,它使极点和极面互相对应,是空间的特殊对射对应。直
纹二次曲面也可以通过射影产生法产生。若两个射影相关的面束的轴是相错(即不共面)直
线,则它们对应平面的交线构成一个直纹二次曲面的一族母线。射影几何的子几何;射
影群中有许多重要子群,对应于每一个这样的子群有一种几何,叫做射影几何的子几何。为
了简单明确起见,下面所说的射影群就是直射群,所说的射影变换是指直射变换,而且主要
分析平面上的情况。在扩大仿射平面上,令无穷远线x=0不变的射影变换是仿射变换,用
0
非齐次坐标表示,仿射变换的方程可以写成:.
(8)
一切仿射变换所构成的仿射群,是射影群的一个子群。仿射变换保持平行性。在扩大仿射
平面的无穷远线x=0上,取两个共轭虚点I(0,1,i),I(0,1,-i),式中i2=-1。令点偶
012
I,I(即,x=0)不变的仿射变换叫做相似变换;它们的方程可以写成(8)的
120
形状,但其中(с)是正交方阵乘以一个常数:一切相似变换构
ij
成相似群(也叫欧氏群或度量群),它是仿射群的子群,也是射影群的子群。有了I,I
12
两点后,就可以通过射影方法在平面上引进距离和角的概念(见绝对形),相似变换把每个
图形变成一个和它相似的图形,即一切长度按比例变化而角不变。这时扩大平面就可以叫做
扩大欧氏平面,它上面的一切圆都经过I,I。这两点就叫做无穷远圆点。
12
在相似变换中,系数с构成正交方阵(即λ=±1)的,叫做全等变换(或运动);式中det(с
ij
)=1的叫做正常运动,det(с)=-1的叫做反常运动。后者是一个正常运动和一个对直线
ijij
反射之积。全等变换把每个图形变成一个和原图全等的图形。全等变换群(或运动群)是射
影群、仿射群和相似群的子群。
已给一个空间S以及作用于它上面的变换所构成的一个群G,就可以判断,在S里,哪些图
形性质经过G中的变换不变,研究这些性质的几何就叫做属于G的几何。若G是G的子群,
1
属于G的几何就叫做属于G的几何的子几何。射影几何和仿射几何依次属于射影群和仿射
1
群,而欧氏几何则可以认为属于相似群,但又部分地属于全等群;因为它既研究相似图形,
又研究全等图形。欧氏几何是仿射几何的子几何,它和仿射几何又都是射影几何的子几何;
由于它研究图形的度量性质(长度、角度、面积、„„),它也叫做度量几何。
群越大,不变性质越少而越带普遍性;群越小,不变性质越多而越丰富具体。这样,就可以
通过不同的群之间的关系来理解不同的几何之间的关系。
空间S的图形还可以通过变换群G分类:把一切可以经过G的变换互相转化的图形归入同一
个等价类。例如,一切满秩实迹(即有实点的)二次曲线都互相射影等价,即属于同一个射
影类,它们却分为三个仿射类:和无穷远线不相交(于实点)的是椭圆,相切的是抛物线,
相交于两(个实)点的是双曲线。每一个仿射类里的二次曲线又可以分为无数度量类;例如
同是椭圆,两个半轴长比值不同的就不相似,半轴长不分别相等的就不全等。
两种非欧几何,即椭圆几何和双曲几何都是射影几何的子几何。在射影平面上,把虚迹二次
曲线变为自己的一切射影变换构成射影群的一个子
群,叫做椭圆(运动)群;属于它的几何就是椭圆几何,附有那个不变二次曲线的射影平面
叫做椭圆平面。另一方面,把实迹二次曲线变为自己,并把它的内部(即
的点的集合)变为内部的射影变换也构成射影群的一个子群,叫做双曲(运:.
动)群;属于它的几何就是双曲几何;那个二次曲线内部就是双曲平面。非欧平面上的长度
和角度概念也可以通过射影方法来引进。
射影几何另外一个重要子几何是闵科夫斯基几何。把点偶(0,1,1)和(0,1,-1)(即
)变为自己的一切射影变换构成洛伦兹群,属于它的几何就是闵科夫斯
基几何。闵科夫斯基几何为狭义相对论提供了天然的几何说明;四维闵科夫斯基几何就是四
维时空(见闵科夫斯基空间)。上面所论的射影群的每个子群都有一个不变的图形(其中有
些是虚迹图形),如对于仿射群的x=0,对于相似群的,对于椭圆群的
0
等。这种不变图形就叫做相应子几何的绝对形。
以上理论都可以推广到三维以至任意维空间。在三维空间,欧氏几何的绝对形是
,它叫做无穷远虚圆;因为扩大欧氏平面的一切球面都经过它。空间
椭圆几何,双曲几何和闵科夫斯基几何的绝对形依次是
。
射影几何学-公理系统
射影几何建立在欧氏空间的基础上,这不是必要的。它可以建立在不涉及度量概念的公理系
统上。以三维射影几何为例,在那里,基本元素是点,直线和平面。射影几何公理的表达
形式是多种多样的,一般可以分为三组。第一组叫做关联公理:例如,两点确定一条经过它
们的直线,三个不共线点确定一个经过它们的平面,两个平面交于一条直线等等。第二组叫
做次序公理:例如,已给直线上三点A,B,C,直线上必有一点D,使A,B和C,D互相隔
离等等。第三组只含一个公理,即连续公理。射影直线上的连续公理实质上就是规定:去掉
直线上一点以后,直线上剩下来的部分满足实数轴上的戴德金连续公理。
根据这些公理,便可以通过纯演绎方法建立起一个完整的实射影几何体系,包括射影坐标。
所谓实射影几何,就是上面所讨论的射影几何,其中点的坐标是实数。不同维的射影空间,
可以在关联公理里加以区别。只满足关联公理的空间可以称为一般射影空间;在那里面,
仍然有射影变换,其相应的几何可以称为一般射影几何。如果把关联公理要求降低,也可以
得到更一般的射影空间和射影几何。当然,在一个一般射影空间里,实射影几何的定理不完
全成立。也可以一开始就通过代数方法来建立射影几何。仍以实三维空间为例,设想每一
个非零四实数组(x,x,x,x)为一点,成比例的四数组代表同一点;再假定线性相关的三
0123
点属于同一条直线,线性相关的四点属于同一个平面。这样就把实射影几何完全建立在实数
域的基础上了。
用n+1数组代替四数组来表示点,就得到n维射影空间及其射影几何。若令n+1数组(x,
0
x,„,x)里的x属于某一个数域F,所得到的是一个一般射影几何。例如当F是复数域时,
1nj
次序公理和连续公理都不能满足,得到的是很重要的复射影几何。上面从(实)仿射空间得
到(实)欧氏空间时,就曾经利用了虚点I,I。若F是一个有限域,所得到的一般射影
12:.
空间只有有尽多个点,叫做有尽射影空间。例如,若F是特征等于3的模域,则射影平面上
有13个点和13条线,每条线上有4个点,经过每点有4条线。如果要通过公理系统来建立
这个空间,就要在关联公理中规定:每条线上不能有多于4个点。
射影几何学-简史

射影几何的某些内容,公元前就发现了,但到19世纪上半叶才有短暂的突破。到19世纪,
它才形成独立体系,最后臻于完备。基于绘图学和建筑学的需要,古希腊几何学家就开始
研究透视法,也就是投影和截影。早在公元前200年左右,阿波罗尼奥斯就曾把二次曲线作
为正圆锥面的截线来研究。在4世纪帕普斯的著作中,出现了帕普斯定理。
在17世纪初期,(1604)。稍后,
点,除证明了上面提到的他的著名定理(1639)外,还引进了交比,调和比,以及对于二次曲
线的极点和极线等概念,证明了交比经过透视不变。在他的影响下,
射影几何的问题,并发表