第一章欧氏平面的拓广2013技巧.docVIP

第一章 射影平面 §1 欧氏平面的拓广 1.1 什么是射影几何学 在系统学习之前回答这个问题是不可能的,作一点粗略的说明,可能对学习有些好处。我们知道,初等几何里研究的是几何图形的形状和大小,如长度,角度、面积和体积等等。这些东西与几何图形的位置无关,即把几何图形从一个位置搬到另一个位置时,图形的形状和大小是不改变的。这种不变性以及图形有关的不变量叫做移动变换下的不变性和不变量。所以,初等几何是研究移动变换下图形的不变性和不变量的学科。 再如,太阳光线照在物体上,地面上就会出现影子,随着时间的推移,影子不仅改变它的位置,形状和大小也在不断地变,但在这种运动形式下,仍然有保持不变的性质：对于竖立在地面的两根电线杆,在阳光下它们的影子,无论何时总是平行的。太阳发出的光线通常认为是平行的,由阳光照射在物体上而得的影子,叫做平行射影。于是,保持平行性就是平行射影下的不变性,若干次平行射影的结果构成所谓仿射变换。那么,研究仿射变换下图形的不变性的几何叫仿射几何。 物理学中有个小孔成象现象,桌面上的光源发出的光线照射在物体上,也会出现影子,这叫中心射影,在中心射影下,影子的位置、形状、大小都要发生变化,平行性也不能保持,然而仍旧有保持不变的东西：图形间元素的结合关系,在中心射影下保持不变。若干次中心射影的结果构成射影变换。研究射影变换下图形不变性的几何就是射影几何。 从以上看来,各种几何与它们相关的变换有关,是否有一种变换就有一门相应的几何呢?不然,这些变换一定要成为群,才能有相应的几何。 (抽像群的有关概念近世代数作专门介绍,这里不再叙述)。 1.2 中心射影法 中心射影法是射影几何的基础。 设和是平面上两条不同的直线,在这平面上任取 一点S,S既不在直线上,也不在直线上。若是直线 上一点,连接S和的直线S交于点，那么点 叫做点从点S到直线上的中心射影(图1·1), 点S叫做射影中心。直线S叫做投射线。叫做原象 点,是与原象点对应的映象点。 图1·1 由中心S和原象点求得映象点的运算,叫做中心射影法。显然, 也是在上的射影。不难知道中心射影与投影中心位置有关。 如果与相交,那末在中心射影下存在一个二重点(自对应点),即与的交点。 在图1.1中,如果上一点与S的连线S与平行,则点不存在,即点无中心射影,同样在上有一点没有原象点,(因为S) 这说明,在欧几里得平面上,中心射影法不能经常实施。为了使原象点和映象点间一一对应,使中心射影法得到完全的实现,必须对欧几里得平面进行拓广。 1.3理想点和理想直线 为了使平面上中心射影法能够完全实现,约定： 两条平行的直线相交于一点,这个点叫做“无穷远点”或“理想点”,并使下列关系成立： 1、任何两个不同的点决定并且只决定一条直线； 2、平面上任何两条不同的直线相交于一个并且只相交于一个点。 根据这个约定显然可知： 定理1 两条平行线只能相交于同一个无穷远点(理想点)。 就是说,无穷远点添在两平行直线的随便哪一端都可以。 新引进的“无穷远点”常用a∞,b∞,p∞等记号表示。任何一个无穷远点a∞可以用确定它的那一组平行直线中的任意一条普通直线来表示,看图1·2。 图1·2 为区分起见,欧几里得平面里原有的点称为“普通点”或“有穷远点”。两条相交(不平行)直线的交点是普通点。 定理2 任何一组平行直线属于唯一的一个无穷远点,此点在组中每一直线上而不在组外的任何直线上。 事实上,给定一组平行直线,取定其中一条直线,则它上面有唯一的无穷远点,再取组中另一直线,则此直线与定直线必共面,所以它们只有唯一公共点,即上面所说的无穷远点。同理可证此点在组中每一条直线上。 定理3 不同的无穷远点属于不同的平行直线组。 设α1∥α2，则α2与α1交于a∞，又设β1是与α1不相同并与α1交于普通点m的直线,β2∥β1,则β2与β1交于b∞(约定)。因为β1与α1不可能有第二个交点,所以b∞与a∞是不相同的。再由定理2,可知不相同的无穷远点a∞与b∞分别属于不相同的平行线组。 推论1 如果一个无穷远点在一条直线上,则必定在平行于这条直线的所有直线上。 推论2 普通直线上有一个而且只有一个无穷远点。 定理4 两个不相同的无穷远点所确定的直线,不可能通过普通点。 证明 设a∞和b∞是两个不相同的无穷远点。由约定1,它们确定一条直线。若a是上的任何一个普通点,则a和a∞确定一条直线,而a和b∞确定另一条直线,因a∞与b∞不同,所以直线与也不相同。而与重合,也与重合,所以与重合,于是引出矛盾。所以不可能通过任何普通点。 定理5 平面上所有的无穷远点在一条直线上