高等几何5.8-5.11节.pptVIP

提 纲 5.8射影变换的特例 5.9 变换群 5.10变换群的例证 5.11 变换群与几何学 第五章 总结 这一节我们把运动变换以及第一章所讲的仿射变换，看作射影变换的特例。为此，把坐标三角形第三个顶点A3取作仿射或笛氏坐标的原点，第三边a3(x3=0)取为无穷远线。 在此基础上，通过对变换T加以限制，使无穷远线不变，得到仿射变换；再限制无穷远线上的两个圆点I(1,i,0),J（1，-i,0）在T下不变而得到相似变换，最后通过令变换矩阵的行列式的绝对值为1，得到运动（变换）。 设G是一个非空集合，*是它的一个代数运算，如果满足以下条件： Ⅰ.结合律成立，即对G中任意元素a,b,c都有 (a*b)*c=a*(b*c)； Ⅱ.G中有元素e，叫做G的左单位元，它对G中每个元素a都有 e*a=a； Ⅲ.对G中每个元素a在G中都有元素a-1，叫做a的左逆元，使 a-1*a=e；则称G对代数运算*做成一个群，记为G; * 。 定理：一个集合S的所有一一变换（单射）的集合，对变换的乘法构成群，称为变换群.(证明参看教材P.99). 对于所考虑的空间内每一个映像点A’，只有一个原像点A和它对应，这种变换称为一对一的变换或可逆变换.凡可逆变换一定具有一个逆变换.以T-1表示T的逆变换，则T（A）=A’,T-1(A’)=A 幺变换或恒同变换将每一点变为其自身，以I表示.从定义可得，IT=T,TI=T,T-1T=I,TT-1=I. 定义5.1：满足下列两个条件的集合称为变换群： 1°封闭性：集合内任两个变换之积仍属于这个集合； 2°集合内任一变换有逆变换，且逆变换仍属于这个集合。 这个关于变换群的定义和代数里抽象群的定义并无不合.因为变换之积总是满足结合律的，所以抽象群定义的这一要求不必提出。并且每一变换T既要求有逆变换，且要求它属于集合，则乘积也就在集合内，所以抽象群定义中的单位元此地也不必提出. （1）射影群k; ＊. k; ＊.={T1|T1:?x’=|aij|≠0}. 第五章 总结 1.射影坐标系 第五章 总结 第五章 总结 第五章 总结 第五章 总结 注：用不过线束束心的任一直线截线束，则线束的交比转化为点列的交比。 仿射几何就是仿射群下图形不变性质的研究。 高等几何第五章 完 一、本章主要内容 射影变换的确定（二维射影几何基本定理）： 2.二维射影变换 无三点共线的四对对应点决定唯一的二维射影变换。 二重元素的求法 步骤：①由特征方程|A-λE|=0,求出特征根; ②将每一个特征根λ分别代入方程组(A-λE )x=0，求出固定点的坐标； ③将每一个特征根λ分别代入方程组(A’-λE)u=0，求出固定线的坐标. 变换群 3.变换群与几何学→克莱因观点及其意义 一、本章主要内容 一个集合S的所有一一变换（单射）的集合，对变换的乘法构成群，称为变换群。 常见的变换群有射影群K，仿射群A，相似群S，正交群M. 此外，关于直线的对称变换的集合不构成群，而关于点的对称变换的集合构成变换群。（参看习题5.25） 2.二维射影变换 1.射影几何学 二、三种几何学的特点与比较 第五章 总结 定义. 设A, B, C, D为点列l(P)中四点, 且A ≠ B. 把(AB,CD)表示为这共线四点构成的一个交比. 定义为 同素性、结合性是最基本的射影不变性，交比是最基本的射影不变量.射影几何是射影变换群下图形不变性质的研究。 * 云 南 师 范 大 学 高等几何（第二版 朱德祥 朱维宗编） 云南师范大学数学学院 第五章 射影坐标系和射影变换 5.8射影变换的特例 5.9 变换群 5.10 变换群的例证 5.11 变换群与几何学 5.8射影变换的特例 一、本节的主要内容： 5.8射影变换的特例 二、射影变换的特例 定义 在拓广的欧氏平面上，保持无穷远直线不变的射影变换称为仿射变换. 命射影变换 保持l∞：x3=0不变?a31=a32=0. 则得： 1.仿射变换 5.8射影变换的特例 这正是第一章中介绍过的仿射变换，因此，仿射变换是射影变换的一种，它使无穷远直线不变。它将有限点变为有限点，无穷远点变为无穷远点。 二、射影变换的特例 1.仿射变换 5.8射影变换的特例 二、射影变换的特例 2.相似变换 限制T满足： I(1,i,0) → I； J（1，-i,0） →J, 则得 将T2用非齐次坐标表示，得： 5.8射影变换的特例 二、射影变换的特例 2.相似变换 将T2用非齐次坐标