一维射影对应.pptVIP

一维基本形的射影对应 一、一维透视对应(中心射影) 定义 以下三种对应称为一维基本形之间的透视对应： (1). 点列与线束. 如果一点列与一线束的对应元素是结合的，就称该点列与线束成透视对应，记为： (2). 点列与点列. 如果两点列对应点连线共点，或者说这两点列与同一线束成透视对应，则称这两点列成透视对应，记为： (3). 线束与线束. 如果两线束对应直线交点共线，或者说这两线束与同一点列成透视对应，则称这两线束成透视对应，记为： (s) 透视中心 透视轴 注记 透视对应保交比；两透视对应的复合不必是透视对应。 (S) 二、一维射影对应 1. Poncelet定义 设[?], [?]为两个一维基本形. 若存在有限个一维基本形[?i] (i=1,2,…,n), 使得 … 则称 [?]与[?]成一维射影对应, 记作 注1. 显然 注2. 为一个保交比的双射. 注3. 有限多个射影对应的积仍然是一个射影对应. 2. Steiner定义 如果两个一维基本形之间的一个对应 满足 (1) ?为一个双射； (2) ?使得任意四对对应元素的交比相等, 则称?为从[?]到[?]的一个一维射影对应, 记作 ，所以透视对应是射影对应的特例. 一维基本形的射影对应 定理1. Poncelet定义?Steiner定义. 证明. “?”. 显然. “?”. 只证明点列对应点列的情况. 设?: l(P)→l(P)为满足Steiner定义的射影对应. 只要证?可以表示为有限次透视对应的积. 设P0, P1, P2为l(P)上相异三点, P为l(P)上任意一点, 且 则有 一维基本形的射影对应 连P0P1, P0P2; P0P1, P0P2. 设P0P1?P0P1=Q1, P0P2?P0P2=Q2. 连Q1Q2=m， 连P0P交m于Q, 连P0Q交l于P, 设P0P0交m于Q0, 则 (P0) (P0) 注. 此定理说明一个一一对应是射影对应当且仅当任意四对对应点的交比相等。 (P0) (P0) 于是有 因为P0, P1, P2互异, 故P0, P1, P2互异. 从而P=P. 即?P?l(P)均有 P=P=?(P). ?可以通过两次透视对应得到, ?满足Poncelet定义. 一维基本形的射影对应 连P0P1, P0P2; P0P1, P0P2. 设P0P1?P0P1=Q1, P0P2?P0P2=Q2. 连 连Q1Q2=m， 连P0P交m于Q, 连P0Q交l于P, 设P0P0交m于Q0, 则 注：利用截的方法, 可证两个线束的情况. 也可证明一个点列与一个线束的情况. 推论 两个相异的同类一维基本形之间的任一射影对应都可表为不超过两个透视对应的积. 推论 任何两个一维基本形之间的射影对应都可表为不超过三个透视对应的积. 思考：已知两点列间射影对应的三双相异的对应元素, 求作任一元素的对应元素. 定理2. 两个一维基本形间的射影对应可由已知相异的三双对应元素唯一确定. 一维基本形的射影对应 三、射影对应成为透视对应的条件 定理3. 两个同类的一维基本形之间的射影对应成为透视对应?公共元素自对应. 证明 由对偶原则, 只要考虑点列. “?” 设点列l(P)与l(P)透视对应, S为透视中心, l ? l=X. 由于直线SX交l, l于同一点X, 所以X自对应. “?” 设f: l(P)→ l(P)为射影对应, 使得f(X)=X. 设f(P)=P. 在l(P)上取异于X的两相异点A, B. 设f(A)=A, f(B)=B. 则A, B相异且不同于X. 设AA ? BB=S, 并设SP ? l=P. 设?是以S为透视中心l(P), l(P)间的透视对应. 则因为射影对应?与f有相异的三双对应点重合, 即A, A; B, B; X, X, 从而?=f. 于是P=P. 即f是透视对应. 一维基本形的射影对应 例1. (Pappus定理)在共面的相异二直线li上各取相异三点Ai, Bi, Ci(i=1,2). 设 则L, M, N三点共线. 证明. 要证明L, M, N共线，只需证明A1B2(B2, D, N, A1)与C1B2(B2, C1, L, E)成射影对应. (B2, D, N, A1) (O, C1, B1, A1) (B2, C1, L, E) (A2) (C2) 一维基本形的射影对应 注：直线LN叫Pappus线 例2. 如图, Pappus线p