§ 1.3 射影平面一、实射影平面 (二维实射影空间 )
二、实射影平面的模型
§ 1.3 射影平面三、射影坐标变换定义 1.10 在射影平面上取定四点 A1(1,0,0),A2(0,1,0),A3(0,0,1),
I(1,1,1),规定无论如何选取 A1,A2,A3,I 的齐次坐标,总成立下列关系式
1 2 3,( 0 )I A A A
(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.3 射影平面证明,只要证对平面上任意一点 X,(PQR|E)可惟一确定其点坐标映射,设 X的原始坐标为 (x1*,x2*,x3*),则由线性代数知识以及式 (1.8),
存在惟一向量类 (x1,x2,x3)∈ RP2,满足
R
x
x
x
rqp
rqp
rqp
x
x
x

0.
3
2
1
333
222
111
*
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)时,满足
1 2 3 1 2 3 1 2 3 1 2 3(,,) (,,) (,,) (,,),( 0 )e e e p p p q q q r r r
(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不共线,所以 | pi qi ri |≠0,即 (1.9)式为非奇异线性变换,称为两种射影坐标之间的 射影坐标变换,
注 3 在拓广平面上,笛氏齐次坐标是射影坐标的特例,从而
§ 1.2讨论的结论全部在射影坐标下成立,今后可不区分地使用笛氏齐次坐标或齐次射影坐标,
R
x
x
x
rqp
rqp
rqp
x
x
x

0.
'
3
'
2
'
1
333
222
111
3
2
1
注 4
(1.10)
按坐标变换新、老坐标的书写习惯,(1.9)式改写为这是传统的 坐标变换的逆式,今后 可直接使用,
§ 1.3 射影平面三、射影坐标变换
§ 1.3 射影平面四、实射影直线 (一维实射影空间 )
定义 1.11 在射影直线上取定相异三点 P,Q,E,选取其笛氏齐次坐标 P(pi),Q(qi),E(ei)使得
1 2 3 1 2 3 1 2 3(,,) (,,) (,,),( 0 ) ( 1,1 1 )e e e p p p q q q
则在射影直线上定义了以 P,Q为 基点,E为 单位点 的一个一维 射影坐标系,记作 (PQ|E),射影直线上任意一点 X(x1,x2,x3)的齐次射影坐标 (λ,μ)由下式确定
1 2 3 1 2 3 1 2 3(,,) (,,) (,,),0 ( 1,1 2 )x x x p p p q q q R
注 2,定义 1.11的一维射影坐标系是由二维射影坐标诱导的,
注 1,在射影坐标系 (PQ|E)下,P,Q,E的坐标分别为 (1,0),(0,1),
(1,1),一维笛氏齐次坐标也是一种一维射影坐标,
五、复射影平面、实 -复射影平面实射影平面 *22 )(,,RPRP三维实向量类复射影平面将实射影平面嵌入到复射影平面中 (作为其子空间 ),即带有虚元素的实射影平面
*22 )(,,CPCP三维复向量类实 -复射影平面


虚点实点定义为则使得不存在为则使得若存在
),,(,,0
),,(,,012.1
321
321
xxxPRxC
xxxPRxC
j
j


注 2,实直线上可以有虚点,虚直线上可以有实点;过实点可以有虚直线,过虚点可以有实直线,
注 3,两个元素可能在相差一个非零比例常数的前提下共轭,
注 1,类似定义实直线与虚直线,于是在实 -复射影平面上一个元素是实或虚不会因坐标变换或非奇异线性变换而改变,
§ 1.3 射影平面
.).1( 上在上在直线点 uxux?,) '.1( xuxu 过过点直线?
)0( 即得结论两边取共轭对jj xu
.
).2(
上在上在实直线虚点
u
xux?
.) ',2( xuxu 过过实点虚直线?
(3),实直线上的点或为实点或为成对出现的共轭虚点,
(3)',过实点的直线或为实直线或为成对出现的共轭虚直线,
(4),两共轭虚点连线为实直线,(4)',两共轭虚直线交点为实点,
(5),过一虚点有且仅有一条实直线,
(5)',在一条虚直线上有且仅有一个实点,
注 4,在实 -复射影平面上,下列结论成立,(教材 P.28)
§ 1.3 射影平面五、复射影平面、实 -复射影平面
§ 1.1 射影平面六、图形的射影性质 (射影不变性 )
射影性质射影不变性射影不变量图形在中心射影下保持不变的性质和数量目前已知的射影性质:
射影不变性,点与直线的 关联关系 (结合性 ); 同素性 ; ……
结合性:某点在某直线上;某直线通过某点的事实保持不变射影不变量,有待探索,目前所知几何量均 不是 射影不变的同素性:点?点;直线?直线
§ 1.1,2,3 习题习题 1.1
1,如右图
2,如下图
§ 1.1,2,3 习题习题 1.1
3,如右图
4,设 p与两平面交线 x的交点为 X,则 p'必定经过定点 X.
5,
6,(4),(6),(10).
§ 1.1,2,3 习题习题 1.2
1-14,应该独立熟练完成,(如果有问题,望利用答疑 )
15,(略 ),见本章 Desargues定理的证明,
16,(作业 ),运用本节的 5对结论,耐心计算即可,
17,提示,设定直线 x2–kx3=0上的动点为 O(a,k,1),
先计算 Q,R的坐标得,Q(a,0,1),R(a,k,0).
再求 QR与 A2A3的交点得,X(0,k,–1),
因为 X的坐标与 a无关,所以 X为定点,
A1X的方程为,x2+kx3=0.
§ 1.1,2,3 习题习题 1.2
18,lia+mib+nic共线?不全为 0的数 p,q,r,使得
0)()()( 333222111 cnbmalrcnbmalqcnbmalp
0)()()( 321321321 crnqnpnbrmqmpmarlqlpl
(因为 a,b,c不共线 )?



0
0
0
321
321
321
rnqnpn
rmqmpm
rlqlpl
(因为 p,q,r不全为 0)?
.00
333
222
111
321
321
321

nml
nml
nml
nnn
mmm
lll
§ 1.1,2,3 习题习题 1.2
19,
20,求出这两个无穷远点的坐标,写成 (1,λ,0)的格式,即可看出垂直 (斜率之积为 –1).
221 2 1 2( ) 0,( ) 0,h h a b u a u b u h h a b u或
§ 1.1,2,3 习题习题 1.2
20,由非齐次关联关系 Ux+Vy+1=0,过原点的直线和在无穷远直线上的点、原点和无穷远直线均没有非齐次方程!
22,23,请自行完成,
习题 1.3,要求熟练掌握第 3题的类型,今后要用,
今日作业 P.29,3
The Class is over,Goodbye!
课件作者:南师大数科院周兴和下周一再见!
§ 1.1,2,3 习题