第四章仿射几何学2013.2.20解析.doc

第四章 仿射几何学 本章用射影观点介绍平面仿射几何学的基础知识。 §1仿射几何的内容 仿射群 1·1 仿射平面 第一章所讲的欧几里得观点,认为平面上有一条与众不同的特殊直线,叫做无穷远直线。而射影观点对平面上所有直线都同等看待,不存在什么特殊直线。这是两种截然不同的观点。现在我们采用同这两个极端的观点相区别的折衷观点来研究平面,这时的对象不是欧氏平面,也不是射影平面,而是仿射平面。仿射平面的定义是： 定义在射影平面上指定一条直线,称为无穷远直线。除无穷远直线上的点以外,所有射影点的集合称为仿射平面。记作。 对于这个定义有两种解释： 1、在射影平面上任意画一条,作为无穷远直线,但上的点都不属于仿射平面。 2、在射影平面上任意画一条直线,作为无穷远直线,然后把直线挖掉,或者说沿着直线把射影平面切开。 在仿射平面上可以建立平行的概念。在第一种解释下,平行线是相交于上的直线,在第二种解释下,则是永远不相交的直线。 直线通常总取它作为,即x0,用第一种解释,上每一个点都与x0上的点不同,而x=0上的点的第三个坐标都是0,其它点都没有这个性质,所以仿射平面上每个点的第三个坐标都不是0,因而可以用(x1,x,1)来表示。数x和x称为点的仿射坐标。因此,(x,x2)就表示一个仿射点,它的意思就是射影点(x,x2,1)。 对应于仿射平面的两种解释,仿射坐标系就有两种形式,如图·1所示 图·1(a)中,把(xO)画成虚线,表示这条直线上的点不算是仿射平面上的点。沿直线3=0把射影平面切开,就得到图·1(b)的形式。这两种形式,在研究问题时都可采用,视其方便而定。但是,通常说的仿射坐标系,都是指第二种形式而言的。它与笛卡斜坐标系很有点象,实际上两者是大不相同的,在仿射坐标系里,点的仿射坐标是纯粹的数,与角度和长度无关,而笛卡尔坐标系则是以线段的长(或者结合角度)为依据的。 1·2仿射变换 对应于仿射平面的两种解释,仿射变换也有两种定义。 到它自身的直射变换保持直线不变,那么这个直射变换称为仿射变换。 把仿射平面变为它自身的直射变换称为仿射变换。对于这两种定义中的任何一种来说,下面的两个推论显然成立。 仿射变换的逆变换还是仿射变换。仿射变换的乘积是仿射变换。 这两个推论说明：仿射变换的全体构成群,称为仿射变换群或仿射群,记作,显然,仿射变换群是射影变换群的子群。 现在,我们来推导仿射变换的公式。平面到自身的直射变换： 诱导变换：仿射变换保持不变,经过代入计算,有 a32和a31的方程组,得a32a31=0而a33≠O,置a31,并用仿射坐标系,x31。用a1和a2分别代替a和a23,有仿射平面的仿射变换有形式： 在仿射变换中,有一种特殊情况是不仅保持直线不变,而且是点态不变的仿定理2527已经得到： 它的仿射变换式是 如果b≠, (4.1.3) 表示的变换称为伸缩。 如果b=1,而a,a2不全为零,则变换公式 为 称为平移 如果b1,=0,则是恒等变换 b＝-1.则(4.1.3)成为称为中心反射,中心是点()。 两个中心反射的积是一个平移；而每一个平移是两个中心反射的积。 例1 求出使点A（0，1）、B（-1，0）、C（1，1）分别变为A′（-1，3）、B′（-4，2）、C′（1，2）的仿射变换。 解：设所求的仿射变换式为：T：， 分别将对应点的坐标代入上式得： 解此方程组得：，，； ，， 故所求的仿射变换的表达式为：T： ， 1·3 仿射比 仿射变换下的基本不变量叫做仿射比。 设p表示直线上的无穷远点,a,b和c是上三个不相同的点,那么交比R(ab;c, p∞)叫做直线上三个不相同的点a,b和c的仿射比,记作A(a,b,c)。 仿射比是仿射变换下的不变量。事实上,如果在一已知仿射变换下,直线的对应直线是’,而且的三个不同点a,b和c对应’的三个不同点a’,b’和c’, 下面我们来推导仿射比的计算公式。 取a～(a1,a2,1),b～(b,b2,1),直线a×b上与p不相同的点可以表 点的仿射坐标是唯一的,所以ai,bi,i=1,2是确定的数。a不同于 b,两个分母可以都不是零,此时用上式中随便哪一个等式便可以确定的值。 由于点ab～(),与中不能同时为零(若同时为,则a～b),要是有一个分母为零,对应的分子也为零,此时可以用分母不为零的那个等式来确定。 ab就是a×b上的,即ab＝p∞, 因此三个不相同的共线点a,b,x的仿射比是A(a,b,x)= 。其中 仿射比在欧氏几何中可以解释如下：我们把仿射坐标x和x看作欧氏平A(a,b,x)就是个有向线段之比,照欧氏x=(1-)