平面射影几何简介.PPTVIP

第六章 平面射影几何简介 1.引言 2.齐次坐标,射影平面 3.对偶原理 4.交比 5.射影变换与二次曲线的射影 ,分类 6.极点和配极 返回 引言 从上一章中知道平面的仿射变换的重要特性是把 共线的三点变成共线的三点。我们还会遇到更一般的从 一平面到另一平面保持点的共线关系的映射。例如,给 了两个相交平面 以及两平面外的一点O,将点 变成 的交点 的法则,此法则称为 的以O为中心的中心投影 (如图6.1)。在中心投影下,点 的共线关系是保持不变的。 但是,对于 的点 上没有象,因而中心 投影不是映射;同样对于 的点 上没原 象。为了使中心投影成为一个映射并且是双射,就需要 在 上添加一些新的点,使点 都有象,点 都有原象。这样的添加了点的平面就形成了射影平面 的概念 。 §1 齐次坐标,射影平面 1.齐次坐标，射影平面 2.直线的齐次坐标方程 返回 1.齐次坐标,射影平面 在欧氏平面π上给定一仿射标架 那么任意点 有仿射坐标 我们把与 由关系 联系的任何三个不全为零的实数 称为点P关于 仿射标架 的齐次(仿射)坐标,记为 对于P∈π，显然有 点P的仿射坐标(x,y)称为点P的非齐次(仿射)坐标。 对于齐次坐标 不表示π上的任何点,我们把齐次坐标为 的点称为无穷远点。在π上加进这 些无穷远点后称为扩大的欧氏平面,记为 。我们把 扩大的欧氏平面称为射影平面。平面π上的点称为 的通常点。 扩大的欧氏平面是射影平面的一种模型,下面再介绍两种。 (1)解析模型。在去掉原点O的欧氏空间 中定义 一种关系~:点 ~点 当且仅当存在 非零实数λ,使 即 很明显关系~是等价关系, 关于等价关系~的等 价类的集合构成射影平面的解析模型,记为 点 的等价类记为 直观上， 是把空间中过原点的直线视为一点,即 过原点的直线 实际上 是 上的点关于某一仿射标架的齐次 坐标。因此, 上齐次坐标为 的点可理解为 坐标为 的向量，共线的非零向量在 上表示 同一点。 几何模型 取定 中的一个球面,不妨取中心在原点,半径为1 的单位球面 ，在 上定义一种关系~：P~ 当且仅 当P, 是一对对径点。关系~是等价关系， 上关于~ 的等价类的集合就组成射影平面的几何模型,记为 由于每一对对径点确定空间中过原点的唯一一条 直线,因而本质上 是一样的。因为 更为 直观,因此我们用 作为射影平面的模型。其中解析模 型 更容易推广到高维的情形,即n维射影空间 2. 直线的齐次坐标方程 因为欧氏平面π上的任何直线都由方程 给出,并且任何这样的方程都是某一条直线的方程,所以 π上的任何直线在齐次坐标下都由方程 给出,并且任何一个这样的方程都对应着π上的一条直 线。 我们把无穷远点的几何轨迹称为无穷远直线,根据 无穷远点的齐次坐标的特点，无穷远直线可由方程 来表示。 于是,射影平面上,任何方程 其中， 都是某条直线的方程。如果 ，则称为射影直线。如果 ， 则 (1.5)表示无穷远直线。方程(1.5)称为直线的普通方程。 在射影平面上,任何两条直线都相交,这是因为线性方程组 总有非零解。特别地,两条平行直线交于无穷远点 。 对于射影直线而言,如果它的方程为(1.5),则无穷远 点 在此射影直线上,且是此射影直线上的唯 一的无穷远点。实际上 表示仿射坐标中的直线 的方向,因而直观上,射影直线就是欧 氏平面上