第三章配极变换和圆锥曲线.docVIP

第三章 配极变换和圆锥曲线 §1对射变换和配极变换 1.1对射变换 在第二章里,我们讨论了射影平面到平面的射影变换(同素变换)。设把点x映射到点x’的同素变换Ф为： k=1,2,3如果我们在上式中用代替x’,并把三数组()解释为直线的坐标,那么就得到对射变换的概念。 定义 由 (3.1.1) 所确定的映射,称为从平面ω的点x到平面ω的直线的一个对射变换或异素变换,简称平面ω的对射。 还可以写作 (3.1.2) 或 (3.1.3) 定理1 对射变换 (3.1.1)诱导出从平面ω的直线到ω的点x’的一个对射变换 (3.1.4) 其中Aik是矩阵(aik)中元素aik的代数余子式。 如果平面ω上某一个给定点x’的方程是 其中是常量,是变量,把 (3.1.3)代入此式： 令 (3.1.5) 则上式成为： 其中xi是变量,是常数(i=1,2,3)。它就是平面ω上直线ξ＝(ξ1, ξ2，ξ3)的方程,而且它就是在对射变换下点x’的原象。 等式 (3.1.5)就表示某一个给定的点x’与它的原象直线ξ的关系。以(Aki)右乘(3.1.5)两边,得 把归入非零常数σ中,得到： 推论1：平面对射变换保持点和直线的结合关系。 推论2：平面对射变换把共线点变为共点线；把共点线变为共线点。 推论3：平面对射变换(3.1.1)的逆变换是： (3.1.6) 和 (3.1.7) 显然,两个对射变换的乘积不再是对射变换,而是直射变换,因此平面上对射变换的全体不能构成群。但是,对射变换和直射变换的全体构成一个群,叫做广义的射影群。前几章所讲的直射变换构成的群是这个广义射影群的子群。 定理2 把平面上每三点不共线的四点分别变成每三线不共点的四条直线的对射变换唯一存在,即对射变换由四对对应元素唯一决定。 定理3 如果平面ω的对射变换把ω上的点列ξ 变为线束x’,那么点列ξ的每四个调和点对应线束x’的四条调和直线。(图3.1) 图3.1 图3.1 证明：在直线ξ上,u=λ1y+λ2z, v=μ1y+u2z 设对射： 把点列ξ上y,z,u,v变为线束x’的 则有 ， ， , , ， ， ， ∴ 推论：如果平面ω的对射变换把ω的线束x变为点列ξ’,那么线束x的每四条调和直线对应点列ξ’的四个调和点。 1.2 配极变换 对射变换的特殊情况叫做配极变换,它与二次曲线密切相关。 定义 γ是平面ω到它自身的一个对射变换,如果它的平方是恒等变换(γ2＝I),那么称γ为平面ω的配极变换,点x对应的直线ξ’称为点x的极线；直线ξ的对应点x’称为直线ξ的极点。 既然γ2=1,那么由ξ=xr。,有ξr=(xr)r=xr2=x因此有： 定理4 对配极变换γ,若ξ是x的极线,则x是ξ的极点。反之亦真。 这说明极点与极线是彼此对应的。因为配极变换是对射,能把共线点变成共点线,因此如果x画成一条直线η,那么x的极线ξ画成一个线束,而且线束的中心y就是η的极点。 下面研究对射成为配极变换的充要条件。若γ是配极变换；则γ2=I,从而γ=γ-1,就是说方程(3.1.1)与方程(3.1.6)应表示同一个变换,故对于所有的i,k,有 ≠0. ，。 如果，那么，导出 与矛盾，所以。 如果aik=aki那么(3.1.1)和(3.1.6)是恒等的,所以得到： 定理5 对射变换(3.1.1)成为配极变换的充要条件是aik=aki,i,k=1,2,3。 同时,诱导变换(3.1.4)与逆变换(3.1.7)是恒等的,必有Aik=Aki。这样x和x’之间, ξ与ξ’间的差别可以取消。以后我们把配极变换的方程写成