一维射影几何学.ppt

西南大 学 西南大 学 西南大 学 西南大 学 * 第三章 一维射影几何学 3.1 点列和线束 3.2点列的交比 本章教材分析 3.1 点列和线束 一、一维基本图形 二、一维基本图形示例 3.2 点列的交比 一、点列中四点的交比 二、交比的性质 三、有关交比的例题 * * 第三章 一维射影几何学 本章地位 平面射影几何的核心内容之一 本章内容 重点介绍一维射影几何学，讨论的是一维几何图形，即用一个独立参数描写的几何图形（即点列和线束）；引进射影不变量—交比；讨论两个基本图形间的关系—一维射影几何基本定理。此外，还要讨论两个特殊的一维射影对应：透视对应、对合对应。 本章教材分析 * 3.1 点列和线束 一、一维基本图形 (1) 点列(同一直线上点的集合) 记号 l(A,B,C,…) 或 l(P) 底 元素 (1) 线束(平面上过同一点的直线的集合) 记号 L(a,b,c,…) 或 L(p) 束心 元素 （2）点列和线束统称为一维几何图形（流形），它们互为对偶图形。 * （4）设有两线l(a)、m(b)，它们确定一个交点L，通过L的任意一条直线u可表为： （3）取定直线l上的两点A(a)、B(b)[a= b= ],则l上任一点M（x）可表为： 3.1 点列和线束 一、一维基本图形 * 3.1 点列和线束 (5)在一维几何基本图形中，a,b称为基底元素，为简便起见，参数就用λ表示， λ=0时表示基底元素a，规定λ=∞时表示基底元素b. 一、一维基本图形 例： * 二、一维基本图形示例 3.1 点列和线束 设有共线三点x=(-1,-1,1),y=(1,0,-2),z=(1,-2,-4),试将z表为x,y的线性组合。 * 3.2 点列的交比 一、点列中四点的交比 1.概念 交比 — 最根本的射影不变量 定义. 设A, B, C, D为点列l(P)中四点, 且A ≠ B. 把(AB,CD)表示为这共线四点构成的一个交比. 定义为 (3.1) 易见，交比是简比的比： 证明思路分析：由于交比是简比的比，而简比又是分割比的相反数，可以先将这四点的齐次坐标化为非齐次坐标，再用A,B的非齐次坐标线性表示C,D的非齐次坐标，利用定比分割公式，易求点C、D分割A、B的分割比分别是： * 3.2 点列的交比 一、点列中四点的交比 (3.2) 定理3.1. 设取A,B为基底，将这四点的齐次坐标顺次表为a, b, 则 * 3.2 点列的交比 定理3.2 设点列l(P)中四点A、B、C、D的齐次坐标为p+μiq(i=1,2,3,4). 则 (3.3) 一、点列中四点的交比 * 证明定理3.2. 重新选择A, B,为基点，参数表示C, D. 设 从中解出p, q, 得 于是， A, B, C, D的坐标可表示为 p+μ1q=r, p+μ2q=s. 由定理3.1，有 3.2 点列的交比 推论：设点列上四点A、B、C、D的齐次坐标为 * 3.2 点列的交比 一、点列中四点的交比 例1（习题3.4）：求四点(2,1,-1),(1,-1,1), (1,0,0),(1,5,-5)顺这次序的交比。 * 3.2 点列的交比 一、点列中四点的交比 解：取(2,1,-1),(1,-1,1)为基点，将其余两点表为它们的线性组合。易求 (1,0,0) ∝ (2,1,-1)+ (1,-1,1)， (1,5,-5)∝ (2,1,-1)- 3/2(1,-1,1)， 故所求交比为： 例2：已知A、B分别是y轴、x轴上的无穷远点，C是斜率为1的直线上的无穷远点，且（AB,CD）=3,求D的坐标。 * 3.2 点列的交比 一、点列中四点的交比 解：按题设条件，点A,B,C的坐标分别为： A(0,1,0),B(1,0,0),C(1,1,0).取A、B为基底，则由(1,1,0) ∝ (0,1,0)+ (1,0,0)得出 λ=1.设D∝A+μB，于是 3=(AB,CD)= λ/μ=1/μ得μ=1/3， 故D点的坐标为（1/3，1，0）或(1，3，0). * 1.交比的组合性质 显然，共线四点的交比值与这四点在交比记号中的次序有关. 改变次序一般会改变交比值.因此，依次序不同，共线四点可以构成4!=24个交比.下面来探讨这24个交比的规律. 3.2 点列的交比 二、交比的性质 定理3.3.将某两点互换，同时互