§§1.31.3射影平面射影平面一、实射影平面(二维实射影空间)二、实射影平面的模型§§1.31.3射影平面射影平面三、射影坐标变换定义1.10在射影平面上取定四点A1(1,0,0),A2(0,1,0),A3(0,0,1),I(1,1,1),规定无论如何选取A1,A2,A3,I的齐次坐标,总成立下列关系式123.(0)IAAA(1.7)则称这四点为平面上的一个原始的射影坐标系,记作(A1A2A3|I).称A1A2A3为坐标三点形，I为单位点.点与直线在这坐标系下的坐标称为原始坐标.注2:原始的射影坐标系确定的坐标映射即为定义1.9中的φ.注1:(1.7)式：选取A1,A2,A3,I的齐次坐标时,必须满足)0().,0,0()0,,0()0,0,(),,(注3:拓广平面上的笛氏齐次坐标系(A1A2A3|I)为一个原始的射影坐标系.§§1.31.3射影平面射影平面证明:只要证对平面上任意一点X,(PQR|E)可惟一确定其点坐标映射.设X的原始坐标为(x1*,x2*,x3*),则由线性代数知识以及式(1.8),存在惟一向量类(x1,x2,x3)∈RP2,满足Rxxxrqprqprqpxxx0.321333222111*3*2*1(1.9)于是(1.9)惟一确定了点X在射影坐标系(P,Q,R|E)下的一个齐次射影坐标(x1,x2,x3).三、射影坐标变换定理1.11在射影平面上任意取定四点P,Q,R,E,满足(1)P,Q,R,E中任何三点不共线;(2)规定选取这四点的原始坐标P(pi),Q(qi),R(ri),E(ei)时,满足123123123123(,,)(,,)(,,)(,,).(0)eeepppqqqrrr(1.8)则这四点构成一个射影坐标系(PQR|E).称PQR为坐标三点形,E为单位点.注1在(PQR|E)下,P,Q,R,E各有一组齐次坐标为P(1,0,0),Q(0,1,0),R(0,0,1),E(1,1,1).因此(PQR|E)也可作为原始坐标系.注2因为P,Q,R不共线，所以|piqiri|≠0,即(1.9)式为非奇异线性变换,称为两种射影坐标之间的射影坐标变换.注3在拓广平面上,笛氏齐次坐标是射影坐标的特例.从而§1.2讨论的结论全部在射影坐标下成立,今后可不区分地使用笛氏齐次坐标或齐次射影坐标.Rxxxrqprqprqpxxx0.'3'2'1333222111321注4(1.10)按坐标变换新、老坐标的书写习惯，(1.9)式改写为这是传统的坐标变换的逆式，今后可直接使用.§§1.31.3射影平面射影平面三、射影坐标变换§§1.31.3射影平面射影平面四、实射影直线(一维实射影空间)定义1.11在射影直线上取定相异三点P,Q,E,选取其笛氏齐次坐标P(pi),Q(qi),E(ei)使得123123123(,,)(,,)(,,).(0)(1.11)eeepppqqq则在射影直线上定义了以P,Q为基点,E为单位点的一个一维射影坐标系,记作(PQ|E).射影直线上任意一点X(x1,x2,x3)的齐次射影坐标(λ,μ)由下式确定123123123(,,)(,,)(,,).0(1.12)xxxpppqqqR注2:定义1.11的一维射影坐标系是由二维射影坐标诱导的.注1:在射影坐标系(PQ|E)下,P,Q,E的坐标分别为(1,0),(0,1),(1,1).一维笛氏齐次坐标也是一种一维射影坐标.五、复射影平面、实-复射影平面实射影平面*22)(,:RPRP三维实向量类复射影平面将实射影平面嵌入到复射影平面中(作为其子空间)，即带有虚元素的实射影平面*22)(,:CPCP三维复向量类实-复射影平面虚点实点定义为则使得不存在为则使得若存在),,(,,0),,(,,012.1321321xxxPRxCxxxPRxCjj注2:实直线上可以有虚点，虚直线上可以有实点；过实点可以有虚直线，过虚点可以有实直线.注3:两个元素可能在相差一个非零比例常数的前提下共轭.注1:类似定义实直线与虚直线.于是在实-复射影平面上一个元素是实或虚不会因坐标变换或非奇异线性变换而改变.§§1.31.3射影平面射影平面.).1(上在上在直线点uxux.)'.1(xuxu过过点直线)0(即得结论两边取共轭对jjxu.).2(上在上在实直线虚点uxux.)'.2(xuxu过过实点虚直线(3).实直线上的点或为实点或为成对出现的共轭虚点.(3)'.过实点的直线或为实直线或为成对出现的共轭虚直线.(4).两共轭虚点连线为实直线.(4)'.两共轭虚直线交点为实点.(5).过一虚点有且仅有一条实直线.(5)'.在一条虚直线上有且仅有一个实点.注4:在实-复射影平面上,下列结论成立.(教材P.28)§§1.31.3射影平面射影平面五、复射影平面、实-复射影平面§§...
