射影何学初步.pdfVIP

第五章 射影⼏何学初步 2016 年 1 ⽉ 11 ⽇ 射影几何 • 古⽼分⽀, 可追溯到公元前– 绘图、建筑学, 透视法 • ⼗七世纪, 被德扎格 (Desarques)、帕斯卡(Pascal) 等推⼴和发展 • ⼗九世纪, 形成体系, 成为⼏何的独⽴分⽀ • 在微分⼏何、代数⼏何等数学领域有着⼴泛的应⽤ 本章主要内容– 从几何的角度观察和分析 • 射影平⾯与交⽐ • 射影坐标系、射影坐标变换与射影变换 1 中心投影 • 仿射⼏何学: 从⼏何图形的度量性质中分划出仿射性质: 平⾏、简单⽐ • 射影⼏何学: 从⼏何图形的仿射性质中分划出射影性质: 点的共线、线的共点 例 1. 德扎格定理: 如果两个三角形的对应顶点的连线交于⼀点, 则它们对应边的交点共线. ′ ′ ′ ′ ′ 例 2. 帕普斯(Pappers) 定理: 设 , 是两个共线点组, 是直线 , 的交点, ′ ′ ′ ′ 是直线 , 的交点, 是直线 , 的交点, 则 共线. 两个例⼦的特点: • 只涉及两条交点和连线; • 度量⼯具, 如距离、夹⾓⽤不上; • 仿射⼯具, 平⾏、简单⽐也⽤不上; • 建⽴适当的仿射坐标架, ⽤坐标法也⾮常复杂; • 题⽬有不明确的地⽅: 万⼀对应边没有交点呢? 1 2 射影平面 2 定义 1. 设 和′ 是两张相交的平面, 取定不在 和′ 上的⼀点. 规定⼀个对应 如下: 对 上的 ′ ′ ′ 点 , 把它对应到直线 和 的交点 , 我们把 称为以 为中⼼的 到 上的中⼼投影. • 定义不全: 过 平⾏于′ 的平⾯与 的交线 上的任意点没有像点; • 不是满射: 过 平⾏于 的平⾯与′ 的交线′ 上的任意点没有原像. • 保持共线点组的共线性 • 不保持简单⽐ • 不保持平⾏性 2 射影平面 ⽤中⼼投影证明德扎格定理的⽅法是不能⽤仿射理论来解释的, 因为中⼼投影不是仿射变换. 因为 ′ ′ 因此要完善这种⽅法, 改善中⼼投影, 我们要将平⾯加以扩⼤. 2.1 中心直线把与扩大平面 定义 2. 取定空间中的⼀点, 把空间中所有经过 点的直线构成的集合称为以 点为中⼼的中⼼直 线把, 简称“把 ”, 记作 . 命题 1. 到′ 的中⼼投影 可以分解为两个映射的复合: 设 是 到 的映射, ′ 是 到 ′ 的映射. 于是 ′ ◦ . 注意到 不是满射, ′ 不是定义在整个 上. 注意到 中的直线完全由它们的⽅向决定, 我们把直线的⽅向称为线向 (区别于向量的⽅向, 它可以⽤⼀个⾮零的向量来表⽰, 但是相反⽅向的向量表⽰⽤⼀个线向). 于是 中的凡是线向平⾏ 于 的直线不在映射 的像集中. 凡是线向平⾏于′ 的直线不在映射 ′ 的定义域中. 定义3. 把平面 (作为点集) 扩⼤: 所有平⾏于 的线向作为新元素添加进来, 称这个扩⼤了的集合为