文档介绍：§ 射影平面
一、实射影平面(二维实射影空间)
二、实射影平面的模型
§ 射影平面
三、射影坐标变换
在射影平面上取定四点A1(1,0,0), A2(0,1,0), A3(0,0,1), I(1,1,1), 规定无论如何选取A1, A2, A3, I 的齐次坐标, 总成立下列关系式
()
则称这四点为平面上的一个原始的射影坐标系, 记作(A1A2A3 | I). 称A1A2A3为坐标三点形,I为单位点. 点与直线在这坐标系下的坐标称为原始坐标.
注2: .
注1: ()式:选取A1, A2, A3, I的齐次坐标时, 必须满足
注3: 拓广平面上的笛氏齐次坐标系(A1A2A3|I)为一个原始的射影坐标系.
§ 射影平面
证明: 只要证对平面上任意一点X, (PQR|E)可惟一确定其点坐标映射. 设X的原始坐标为(x1*, x2*, x3*), 则由线性代数知识以及式(), 存在惟一向量类(x1, x2, x3)∈RP2, 满足
()
于是()惟一确定了点X在射影坐标系(P,Q,R|E)下的一个齐次射影坐标(x1, x2, x3).
三、射影坐标变换
在射影平面上任意取定四点P, Q, R, E, 满足
(1) P, Q, R, E中任何三点不共线;
(2) 规定选取这四点的原始坐标P(pi), Q(qi), R(ri), E(ei)时, 满足
()
则这四点构成一个射影坐标系(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,即()式为非奇异线性变换, 称为两种射影坐标之间的射影坐标变换.
注3
在拓广平面上, 笛氏齐次坐标是射影坐标的特例. 从而§, 今后可不区分地使用笛氏齐次坐标或齐次射影坐标.
注4
()
按坐标变换新、老坐标的书写习惯,()式改写为
这是传统的坐标变换的逆式,今后可直接使用.
§ 射影平面
三、射影坐标变换
§ 射影平面
四、实射影直线(一维实射影空间)
在射影直线上取定相异三点P, Q, E, 选取其笛氏齐次坐标P(pi), Q(qi), E(ei)使得
则在射影直线上定义了以P, Q为基点, E为单位点的一个一维射影坐标系, 记作(PQ|E). 射影直线上任意一点X(x1, x2, x3)的齐次射影坐标(λ, μ)由下式确定
注2: .
注1: 在射影坐标系(PQ|E)下, P, Q, E的坐标分别为(1,0), (0,1), (1,1). 一维笛氏齐次坐标也是一种一维射影坐标.
五、复射影平面、实-复射影平面
实射影平面
复射影平面
将实射影平面嵌入到复射影平面中(作为其子空间),即带有虚元素的实射影平面
实-复射影平面
注2: 实直线上可以有虚点,虚直线上可以有实点;过实点可以有虚直线,过虚点可以有实直线.
注3: 两个元素可能在相差一个非零比例常数的前提下共轭.
注1: 类似定义实直线与虚直线. 于是在实-复射影平面上一个元素是实或虚不会因坐标变换或非奇异线性变换而改变.
§ 射影平面
(3). 实直线上的点或为实点或为成对出现的共轭虚点.
(3)' . 过实点的直线或为实直线或为成对出现的共轭虚直线.
(4). 两共轭虚点连线为实直线.
(4)'. 两共轭虚直线交点为实点.
(5). 过一虚点有且仅有一条实直线.
(5)'. 在一条虚直线上有且仅有一个实点.
注4: 在实-复射影平面上, 下列结论成立. ()
§ 射影平面
五、复射影平面、实-复射影平面
§ 射影平面
六、图形的射影性质(射影不变性)
射影性质
射影不变性
射影不变量
图形在中心射影下保持不变的性质和数量
目前已知的射影性质:
射影不变性:
点与直线的关联关系(结合性);同素性;……
结合性:某点在某直线上;某直线通过某点的事实保持不变
射影不变量:
有待探索. 目前所知几何量均不是射影不变的
同素性:点点;直线直线
§ , 2, 3 习题
1. 如右图
2. 如下图