第四节对偶原理讲述.ppt

* 平面对偶原理 1.有关齐次坐标的基本结论 (1) 两点a, b重合? (1) 两直线a, b重合? (2) 相异两点a, b连线方程为 (2) 相异两直线a, b交点方程为 坐标为 坐标为 例1 已知平面上无三点共线的五点X、A、B、C、D， 试求直线 XC、XD与直线AB的交点的齐次坐标。 解：因为直线 XC、XD、AB的齐次坐标分别为 X×C， X×D， A×B， 所以 直线 XC与AB的交点为 (A×B) × (X×C) = |XCB|A – |XCA|B 。 同理，直线 XD与AB的交点为 (A×B) × (X×D) = |XDB|A – |XDA|B。 (3) 相异三点a,b,c共线? (3) 相异三直线a,b,c共点? (4). 以相异两点a,b连线为底 的点列中点的齐次坐标能且仅 能表示为la+mb(l,m不全为零). (4) 以相异两直线a,b交点为束 心的线束中直线的齐次坐标能且 仅能表示为la+mb(l,m不全为零). 注：若三点(直线)a, b, c不共线(点), 则上述矩阵满秩。 直线l上的全体点构成的集 合称为点列, l称为此点列的底. 平面上过点O的全体直线构成的集 合称为线束, O称为此线束的中心. 注 关于点列的参数表示 齐次参数表示 将(4)中的c=la+mb的形式称为以相异二点a,b为 基点的点列的齐次参数表示或双参数表示。 非齐次参数表示 令 则有 称为以a,b为基点 的非齐次参数表示或单参数表示. 拓广的实数集 并规定 对于 当 即 时， 于是，点列的非齐次参数表示给出了点列中的点(拓广直线上 的点)到拓广的实数集之间的一个双射。 由于a,b都有无穷多组成比例的齐次坐标，因此对其齐次 坐标的选取必须加以某种约束. 由此将引出单位点概念。 例 3 已知共线三点 a=(3,1,1), b=(7,5,1), c=(6,4,1), 求λ, 使得 解 令 其中ρ为非零比例常数。 可解得λ=3.于是，可适当选取 a, b, c 的齐次坐标，使得 c=a+3b。 注 ρ的存在是齐次性的体现。 对于相异的共线三点a,b,c, 必可适当选取其齐次坐标, 使 得 c = a + b。 (5) 相异三点a,b,c共线?存 在p,q,r(pqr≠0)使得 即可适当选取a,b,c的齐次坐标 使得 (5) 相异三直线a,b,c共点? 存在p,q,r(pqr≠0)使得 即可适当选取a,b,c的齐次坐标 使得 例 4 (1) 设a, b, c为平面上不共线三点. 则平面上任一点 d 的 齐次坐标可以表示为 (2) 设a, b, c, d为平面上四点，其中任意三点不共线. 则可适当 选取这四点的齐次坐标，使得 或者 注： 由此例, 给定平面上不共线三点, 可以表示平面上任意一点的坐标. 坐标三点形概念 2. 平面对偶原则 基本概念 (1). 对偶元素 点 直线 (2). 对偶运算 过一点作一直线 在一直线上取一点 (4). 对偶图形 在射影平面上，设已知由点、直线及其关联关 系构成的图形Σ，若对Σ作对偶变换，则得到另一个图形Σ‘. 称Σ、Σ为一对对偶图形. 图形Σ 图形Σ 作对偶变换 互为对偶图形 (3). 对偶变换 互换对偶元素地位、作对偶运算 基本对偶图形举例 (1) 点 (1) 直线 (2) 点列(共线点集) (2) 线束(共点线集) (3) 点场(共面点集) (3) 线场(共面线集) (4) 简单n点形：n个点(其中无 三点共线)及其两两顺次连线 构成的图形。 (4)‘ 简单n线形：n条直线(其 中无三线共点)及其两两顺次 相交的交点构成的图形。 顶点：n个；边：n条。 边：n条；顶点：n个。 简单n点(线)形：n=3 简单三点形 简单三线形 简单n点(线)形：n=4 简单四点形 简单四线形 显然，简单n点(线)形与其顶点(边)的顺序有关 (5) 完全n点形：n个点(其中无三点共线)及其每两点连线构成的图形。 (5)‘ 完全n线形：n条直线(其中无三线共点)及其每两直线交点构成的图形。 顶点：n个； 边：n条； 完全n点(线)形：n=3 完全三点形ABC 完全三线形abc 一对自对偶图形. 将不加区分, 简称三点形或三线形. 完全n点(线)形：n=4 完全四点形ABCD 完全四线形abcd 射影几何中最重要的一对图形