对偶原理2013.pptVIP

平面对偶原则 一、平面对偶原则 1. 基本概念 (1) 对偶元素 点 直线 (2) 对偶运算 过一点作一直线 在一直线上取一点 (4) 对偶图形 在射影平面上，设已知由点、直线及其关联关系 构成的图形 ?，若对 ? 作对偶变换，则得到另一个图形 ? ，称 ?、? 为一对对偶图形。 图形 ? 图形 ? 作对偶变换 互为对偶图形 (3) 对偶变换 互换对偶元素地位、作对偶运算 2. 基本对偶图形举例 (1) 点 (1) 直线 (2) 点列(共线点集) (2) 线束(共点线集) (3) 点场(共面点集) (3) 线场(共面线集) (4) 简单 n 点形：n 个点（其中无三点共线）及其两两顺次连线构成的图形。 (4)‘ 简单 n 线形：n 条直线（其中无三线共点）及其两两顺次相交的交点构成的图形。 顶点：n个；边：n条. 边：n条；顶点：n个。 分别考察 n=3 和 n=4 的情形 平面对偶原则 简单 n 点（线）形：n = 3 简单三点形 ABC 简单三线形 abc 简单 n 点（线）形： n = 4 简单四点形 ABCD 简单四线形 abcd 显然，简单 n 点（线）形与其顶点（边）的顺序有关 平面对偶原则 (5) 完全 n 点形：n 个点（其中无三点共线）及其每两点连线构成的图形。 (5) 完全 n 线形：n 条直线（其中无三线共点）及其每两直线交点构成的图形。 顶点：n 个； 边：n 条； 完全 n 点(线)形：n = 3 完全三点形 ABC 完全三线形 abc 一对自对偶图形。将不加区分，简称三点形或三线形。 平面对偶原则 完全 n 点(线)形：n = 4 完全四点形 ABCD 完全四线形 abcd 平面射影几何最重要的一对图形 平面对偶原则 完全四点形 ABCD 完全四线形 abcd 顶点 4个 边 6条 对边(没有公共顶点的边) 3组 对边点(对边的交点) 3个 对边三点形 XYZ 边 4条 顶点 6个 对顶(不在同一边上的顶点) 3组 对顶线(对顶的连线) 3条 对顶三线形 xyz Fano定理：任一完全四点形的三个对边点必定不共线。 平面对偶原则 例 1 作下列图形的对偶图形 点 2个 直线 5条 关联关系 (1) P,Q 在 l 上； (2) a,b,l 共点于 P；c,d,l 共点于 Q 直线 2条 点 5个 关联关系 (1) p,q 过点 L； (2) A,B,L 共线于 p；C,D,L 共线于 q 翻译 平面对偶原则 3. 对偶命题 (1) 射影命题 在射影平面上，若命题 P 仅与点和直线的关联、顺序关系有关，则称 P 为一个射影命题。 (2) 对偶命题 射影命题P 射影命题P* 作对偶变换 互为对偶命题 (3) 平面对偶原则 定理 (平面对偶原则)在射影平面上， 射影命题P成立 射影命题P*成立 平面对偶原则 例 2 对偶命题举例 (1) P 过相异二点有且仅有一条直线。 (1) P* 两相异直线有且仅有一个交点。 (2) P 如果两个三点形的对应顶点连线共点，则其对应边的交点必定共线。 (2) P* 如果两个三线形的对应边交点共线，则其对应顶点的连线必定共点。 注1 只有射影命题才有对偶命题，射影命题未必是真命题。 注2 对偶原则是一个双射 F： 点几何 线几何 因此，对偶原则可以使得点几何问题与线几何问题相互转化，可以起到事半功倍的作用。 平面对偶原则 二、代数对偶 规定 令坐标相同的点与直线为一对相互对偶的代数对偶元素， 得代数对偶原则 注： 事实上， 可以有许多种不同的代数对偶映射。比如将在第四章学习的配极变换。 平面对偶原则 例 3 代数对偶结论举例. (1) 点 (1) 直线 (2) 点 (2) 直线 (3) 点 (3) 直线 请在课后尽可能多地练习画出已知图形的对偶图形、写出已知命题的对偶命题，并从对偶原则出发，重新审视前面所学知识. 注：在上述(2), (3)及其对偶中，为什么不提“原点”， “无穷远点”等术语？ 平面对偶原则 本章地位 平面射影几何的核心内容之一 本章内容 在一维、二维射影空间以及齐次坐标的基础上，系统学习一维、二维射影变换及其一些特殊情形，对一些射影性质进行初步研究. 平面对偶原则