§ 13 射影平面.ppt

* § 1.3 射影平面 一、实射影平面(二维实射影空间) 二、实射影平面的模型 三、射影坐标变换 四、实射影直线(一维实射影空间) 五、复射影平面、实-复射影平面 实射影平面 复射影平面 将实射影平面嵌入到复射影平面中(作为其子空间)，即带有虚元素的实射影平面 实-复射影平面 注2: 实直线上可以有虚点，虚直线上可以有实点；过实点可以有虚直线，过虚点可以有实直线. 注3: 两个元素可能在相差一个非零比例常数的前提下共轭. 注1: 类似定义实直线与虚直线. 于是在实-复射影平面上一个元素是实或虚不会因坐标变换或非奇异线性变换而改变. § 1.3 射影平面 (3). 实直线上的点或为实点或为成对出现的共轭虚点. (3) . 过实点的直线或为实直线或为成对出现的共轭虚直线. (4). 两共轭虚点连线为实直线. (4). 两共轭虚直线交点为实点. (5). 过一虚点有且仅有一条实直线. (5). 在一条虚直线上有且仅有一个实点. 注4: 在实-复射影平面上, 下列结论成立. (教材P.28) § 1.3 射影平面 五、复射影平面、实-复射影平面 § 1.1 射影平面 六、图形的射影性质(射影不变性) 射影性质 射影不变性 射影不变量 图形在中心射影下保持不变的性质和数量 目前已知的射影性质： 射影不变性： 点与直线的关联关系(结合性)；同素性；…… 结合性：某点在某直线上；某直线通过某点的事实保持不变 射影不变量： 有待探索. 目前所知几何量均不是射影不变的 同素性：点 ? 点；直线 ? 直线 § 1.4 平面对偶原则 一、平面对偶原则 重要原理！ 贯穿全书！ 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的情形 § 1.4 平面对偶原则 简单n点(线)形：n=3 简单三点形 简单三线形 简单n点(线)形：n=4 简单四点形 简单四线形 显然，简单n点(线)形与其顶点(边)的顺序有关 § 1.4 平面对偶原则 (5) 完全n点形：n个点(其中无三点共线)及其每两点连线构成的图形. (5) 完全n线形：n条直线(其中无三线共点)及其每两直线交点构成的图形. 顶点：n个； 边：n条； 完全n点(线)形：n=3 完全三点形ABC 完全三线形abc 这是一对自对偶图形，在使用中将不加区分. 简称三点形, 三线形. § 1.4 平面对偶原则 完全n点(线)形：n=4 完全四点形ABCD 完全四线形abcd 这是射影几何中最重要的一对图形，我们来作专门的剖析 § 1.4 平面对偶原则 完全四点形ABCD 完全四线形abcd 顶点 4个 边 6条 对边(没有公共顶点的边) 3组 对边点(对边的交点) 3个 对边三点形 XYZ 边 4条 顶点 6个 对顶(不在同一边上的顶点) 3组 对顶线(对顶的连线) 3条 对顶三线形 xyz 请课后画图，熟悉图形及名称. 今后将专门研究其重要性质 例 1 作下列图形的对偶图形(P.32，例1.12). 点 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 一、平面对偶原则 2、对偶图形举例 1、基本概念 3、作一图形的对偶图形 因此有教材P.32归纳的4个一般步骤, 请在实践中进一步体会. 翻译 § 1.4 平面对偶原则 一、平面对偶原则 2. 基本对偶图形举例 1. 基本概念 3. 作一图形的对偶图形 4. 平面对偶原则 (1) 射影命题 在射影平面上，若命题A仅与点和直线的关联、顺序关系有关，则称A为一个射影命题. (2) 对偶命题 射影命题A 射影命题PA 作对偶变换 互为对偶命题 (3) 平面对偶原则 定理1.9 (平面对偶原则)在射影平面上，