有限射影平面.docVIP

有限射影平面 　 ??? 我们简单试一下就会发现,任何两次聚会中必须有一位相同的朋友被邀请到.换句话说,如果第一次邀请A、B、C,第二次邀请D、E、F,这样安排是行不通的.下面我们给出一种可行的安排方案： ??? 第一次邀请A、B、C；第二次,邀请A、D、E；第三次,邀请A、F、G；第四次,邀请B、D、F；第五次,邀请B、E、G；第六次,邀请C、D、G；第七次,邀请C、E、F.我们可以用下面的一个图形来表示这个邀请方案: ?????????????? 上面的图形是非常有名的！它是由数学家G.Fano在1892年提出的,实际上,它就是定义在二元域上的二阶射影平面PG（2,2）. ??? 射影几何的研究始自法国数学家G.Desargues的1639年的著作,但是在当时并没有引起人们的重视.一直到两个世纪后,由于法国著名数学家J.V.Poncelet著作(1822)的发表,射影几何才开始受到数学界的重视,更使其成为19世纪几何学研究的重点.射影几何学在古典几何学中是最基础的、最广泛的而且是最自由的.它是公理化数学的典型之一例,也可以说它是现代数学的先驱. ??? 定义 射影平面（P,L）是由点集合P和线集合L构成的,它是满足下面条件的平面 ??? 1、任意两个点决定一条直线,每条直线上至少有两个点； ??? 2、任意两条直线都相交； ??? 3、存在4点集,使其中的任意三个点不在一条直线上. ??? 注意,定义中的条件3是为了排除射影平面只有一条直线的平凡情形的. ??? 定理4.1 设（P,L）为射影平面,其中点集合P含个点,线集合L有条线,则存在一整数,使,而且每条直线上有个点,过每个点有条线.我们称上述定理中的为射影平面（P,L）的阶数.在有限射影几何中一个非常重要的核心问题是：对给定的自然数,阶射影平面是否存在？如果存在,则有几种类型？ ??? 定理4.2 2阶射影平面是唯一的. ??? 证明 由于是2阶射影平面,所以只能有7个点,不妨设点集合为{0,1,2,3,4,5,6}.因为过点1有三条直线,不妨设它们为{1,2,4},{1,3,0},{1,6,5}.又过点2也有三条直线,而其中的一条已为{1,2,4},所以另外的两条直线可设为{2,3,5}和{2,0,6}.由射影平面的定义,点4和点0应该决定一条直线,而且其上的另外一点为点5.同理,点3和点4也决定一条直线,其上的另外一点为点6.则其决定的射影平面如图示： ????????????? 我们很容易验证,上图与前面的Fano图形是一致的,即2阶射影平面唯一. 下面我们再给出3阶射影平面的图示: ???????????????? 其中13条直线分别为{1,2,3,11},{4,5,6,11},{7,8,9,11},{1,4,7,13},{2,5, 8,13},{3,6,9,13},{1,5,9,12},{2,6,7,12},{3,4,8,12},{1,6,8,10},{2,4,9, 10},{3,5,7,10}, {10,11,12,13}. ??? 定理4.3 如果给定的自然数，为素数,则阶射影平面存在. ??? 证明的方法是利用有限域上的线性空间去构造阶射影平面.我们在后面的章节会给出详细的证明. ??? 通过上述的定理,我们知道2,3,4,5,7,8,9阶射影平面是存在的,而且进一步知道,2,3,4,5,7,8阶射影平面是唯一的,9阶射影平面至少有4种.6阶射影平面不存在.1991年加拿大的林永康（Clement　Lam）教授研究小组,利用计算机证明了不存在10阶射影平面,但是严格的数学逻辑证明目前还没有.至于其它阶数的射影平面是否存在,目前还不知到.