高等几何编写的作业
- 格式:doc
- 大小:156.00 KB
- 文档页数:4
4.3 二维射影对应的坐标表示
定义4.7 设与'是两个平面,在其上各建立射影(或笛卡尔)坐标系,平面的点
P(1,2,3)到平面'的点'(1',2',3')的一个对应
333332331332322222123132121111'''aaa
aaa
aaa
)3,2,1,(0jiaA
ij
(4.3)
其中
A=333231232221131211aaaaaaaaa, 0
这个对应叫做非奇线性对应,A叫做它的方阵,A叫做它的行列式,ija叫做对应的系数
或参数.
(4.1)式可简写为
311'j
ij
a
3,2,1i
若用矩阵写法,则又可写为:
3213
2
1
'
''A
'
1.4
注意 由于点321',',',当取任何不等于零的值时,它表示同一个点
的坐标',所以每一个P点,有唯一一个'点与之对应.
如果只讨论两平面上的普通点,则(4.1)式还可以写为非齐次坐标式:
333231232221333231131211''aaa
aaa
aaa
aaa
(4.2)
容易证明非齐次线性对应是平面与'的点之间的一一对应,而且它同时可建立与
'
间线场和线场的非齐次线性对应(证明略).因而非奇线对应保持点与直线的结合性.
下面证明非奇线性对应(4.1)是射影对应.根据定义4.2只需证明任何共线四点的交比等于
其对应四点的交比,为此给出以下引理.
引理 设非齐次线对应(4.1)若使平面内的点a与b顺次对应平面'内的'a与'b,则
内的点ba必与对应'的点''21ba,此处1与2顺次a对应'a与b对应'b的比例
常数的值.(证明略).
定理4.1 若在两个平面与'内各自建立射影(或笛卡尔)坐标系,则这两个平面的点
之间的非齐次线性对应必为射影对应.
证明 我们已经知道,(4.1)式是一一对应,且保持点与直线的结合性,所以只要证明共线四
点的交比值不变.
在上取四个不同的共线点.,,,242321bababa根据引理,它们在平面
'
内的对应点顺次为:''',''',',''2214121321bababa,则有
43,21211221124'3'2'1
'
根据定义4.2,可知(4.1)式是射影对应.
注意 为了证明射影定义对应与非齐次线性对应的等价性,还需证明定理4.1的逆定理;若
在两平面与'内各建立射影(或笛卡尔)坐标系,则在这两个平面间的点射影对应必为非齐
次线性对应(证明略).
推论 在一平面内每三点不共线的四点4,3,2,1ii与另一个平面内的每三点不共线的
四点4,3,2,1'ii唯一确定一个射影对应,使4,3,2,1'ii.
由射影变换的定义4.3可知,射影对应的有关定理对于射影变换仍然成立.
下面讨论射影变换的自对应元素.若4321,,,是射影变换(4.1)的不变点,则有
333232331332322222123132121111aaau
aaau
aaau
其中0u,化简得
000333232131323222121313212111uaaa
auaa
aaua
3.4
由于321,,不全为零,故有
0333231232221131211uaaaauaa
aaua
(4.4)
(4.4)式为射影变换存在不变点的条件.求射影变换的不变点,首先应从方程(4.4)中求出u的
值,再代入(4.3)求出不变点的齐次坐标.
注意 射影变换的不共线的不变点至多三个,如果有四个每三点不共线的不变点,则这个变
换必是恒等变换.
例 求射影变换
332211'
'
'
的不变元素.
解 由方程
0100010001uu
u
得 0112uu
所以 ,11u 12u(重根)
将12u代入(4.3)得
01100
00110
00011
321
321
321
于是得1=0为不变点列(0即y轴),1=0这条直线上的点都是不变点,因此这条直线是
不变直线。
注意 不变直线一般不必要求直线上每一点都不变,只要求直线的象仍为自身,即为不必
直线
将11u代入(4.3)得
0200
0020
321
321
解得不变点为0,0,1.
习 题 四
1 求一射影变换,使点1,0,0,1,1,1,1,1,0,1,0,0顺次对应点为
1,1,11,0,0,0,1,0,0,0,1
.
2 求射影变换
321332123211'
2'
2'
的逆变换式,并求出影消线即03的对应直线方程.
3 求射影变换
3322211'
'
'
的不变坐标.
4 求射影变换
3213212211'
36'
4'
的不变元素.