搜索
1.什么是投影“投影”亦称“射影”,来源于物体在点光源或平行光源照射下投下的影子。假定一张透明胶片上有一个图形,那么它在光源照射下的影子是什么样的呢?例如在下面的图中,某个平面上有一个三角形ABC,在点光源S的照射下投影到平面P上,形成一个投影,它也是一个三角形。另一个意义:将空间中的物体投影在画面上。例如:小孔成像,凸透镜成像,眼睛看物体等。照相与点光源照射的物理意义不同:不是发出光线,而是接收光线。但数学的理解是相同的,就是将物体上的任一点X与投影中心点(点光源或焦点)连结一条直线,与投影平面交于一点Y,则Y点就是X点在投影平面上的投影。物体上所有点的投影合起来就组成整个物体的投影。对投影的研究有很长的历史,在古代的绘画中已对此做了研究。简言之,画风景画就是以人眼为中心,将风景中的物体投影在画板上。直观上,看东西“近大远小”,反映在绘画上,就可以用例如人物的大小来给出远近的感觉,就是“立体感”。对这方面的系统研究,后来在西方艺术中产生了“透视”的概念。这就是“画法几何”中透视图的基本原理。一个图形经过投影后变成什么样子,这是一个数学问题,术语叫做“射影变换”。很容易从实验看到:1.直线的投影仍是直线。2.(平面)二次曲线的投影仍是二次曲线。习题1:证明上述事实。但是:1.平行的直线经过投影后不一定是平行线;反之,不平行的直线经过投影后可能成为平行线。2.圆在投影下的像可以是椭圆、抛物线或双曲线。3.一组相互平行的直线的投影可能是相交于同一点的一组直线,反之亦然。在风景照片上我们经常可以看到这样的现象(见下面的照片)。“平行线的投影可能交于一点”这个原理很有用,例如在上面的照片中,太阳被云遮住了,但有几道光线射出来,如果我们将两道光线延长,得到一个交点,这个交点就是太阳的位置。习题2:可能有人会问:太阳光线不是平行的吗?怎么能相交呢?请你回答这样的问题。下面的图说明圆在投影下的像是椭圆、抛物线或双曲线的情形。如果让点光源的位置连续变化，则圆的投影如右边这样变化。地平线:如果地面很平,朝着地面上远方望去看到天地交界处是一条直线,这就是所谓地平线。由于地球是球体,实际上地平线是所能看到的最远地方。下图是一个夸张的说明。实际上,即使地面完全是平的,仍然可以看到地平线。它是天空和地面投影到视网膜上的图象的分界线,直观上可以理解为“地面上的无限远处”。站在地球表面看地平线在风景中经常可以看到地平线,不过多半是在水边(见下面的照片)。如果朝着地面上一条很长的直线的方向看去,会看到直线与地平线交于一点,称为“消失点”,一组相互平行的直线有相同的消失点(见下面的照片)。2.投影构形在平面几何中有一些只与“结合性”(即相交性)有关的命题,如“过两点存在唯一直线”、“两平面或者平行或者交于一条直线”,等等。这些都是公理或简单的定理,但还有一些只与结合性有关的相当复杂的定理,例如:这两个定理看上去复杂,却是非常基本的,有时甚至作为公理。请注意这两个图都有很强的对称性:德萨格定理的图中有10个点,10条直线,每条直线上有3个点,过每个点有3条直线;帕普斯定理的图中有9个点,9条直线,每条直线上有3个点,过每个点有3条直线。象这样的复杂且只与结合性有关的定理很多,一般都有很对称的图,统称为“构形定理”。例如下面的图都是构形定理的图。对二次曲线也有类似的构形定理,如上面的几个定理绝非仅仅是一种游戏(“有观赏价值”),恰恰相反,它们都是有关学科中重要的基本定理。这些定理的图有一个共同点,就是如果把它们投影到另一个平面上,仍然是同一个定理的图,所以常称为“投影构形”。但我们前面看到,原来相交的直线,在投影后可能变成相互平行的了，而原来相互平行的直线在投影后则可能变成相交的。此时构形定理的叙述需要改变。这些例外情形使定理的叙述甚为复杂,一方面要排除各种平行的情形以得到对一般情形的陈述,另一方面对每个特殊情形将陈述作适当修改仍能成立。人们发现,若(作为公理)对每条直线加上一个“无穷远点”,并规定相互平行的直线交于无穷远点,所有无穷远点组成一条“无穷远直线”,则所有构形定理仍成立而没有了例外情形。直观地,这个“无穷远点”就是透视图上的消失点,而无穷远直线就是地平线。采用这种方法就不需要讨论上面那样的退化情形了。道理十分简单:如果出现有两条直线平行的情形,就通过投影(射影变换)将它变为没有两条直线平行的一般情形,这样就只需考虑这样的一般情形了。这当然有了很多方便,但更重要的是由此发现了一种重要的几何结构------射影空间。3.射影空间在寻常的直线上加上一个无穷远点,就扩充成了“射影直线”;在寻常的平面上加上所有无穷远点,就扩充成了“射影平面”,其中所有无穷远点组成无穷远直线。在数学上怎样刻画射影平面呢?4.射影空间的结构如我们前面所说,射影空间是与寻常的空间大不相同的几何结构。首先我们来看它们的拓扑结构。我们先来看射影直线,它是由寻常的直线加一个无穷远点得到的,如果沿着直线走,无论是向前走还是向后走,最终都能到达同一个无穷远点。为清楚起见,假定我们沿着直线往南走,如果在到达了无穷远点后继续往前走,那么我们走到哪里了呢?我们发现走到了出发点的北面,如果再往南走就回到了出发点!这就是说,射影直线其实是个大圆圈,那么为什么它看上去不是弯曲的呢?因为这个圆圈的半径是无穷大!再来看射影平面。设想我们站在射影平面上,沿着任何一条直线往前走,在到达了无穷远点后继续往前走,都会回到了出发点。按这样的理解,射影平面的拓扑结构,就颇有些费解了。可以这样设想(见下图):将一个圆盘的每对对径点(就是直径的两个端点)粘合起来,所得的曲面就与射影平面有相同的拓扑结构,不过试一下就可见这样的粘合在寻常空间中是不可能做到的,事实上这可以在4维空间中做到。射影平面与寻常平面的另一个不同之处是“紧致性”,直观地说就是“封闭的”,不象寻常平面那样是开放的。当然这样得到的是一条默比乌斯带(参看下图)。由此可见射影平面是单侧的,这当然和寻常的平面大不相同。但射影平面也有很多和寻常平面一致之处,例如它也是光滑的,具有解析的结构(就是说可以建立很好的坐标系)。还有,在射影平面上的任何一个圈都可以连续地收缩为一个点,不象环面(见下图)那样。射影平面的拓扑结构是最简单的单侧封闭曲面,它可以看做将一个默比乌斯带的边界粘到一个圆盘的边界所得到的封闭曲面。不难看到在现实的空间中是无法将默比乌斯带和圆盘粘到一起的,但这可以在四维空间中做到。如果硬要在三维空间中作出,那就需要允许曲面和自己相交,这样得到的曲面如下图,它的结构可以理解为下面的“七面体”:正八面体的三个反射面连通四个互不相邻的面。下面再来看射影空间的代数结构。我们知道,仿射平面上两条直线的交点个数可能是0或1,但射影平面上两条直线的交点个数只能是1,比仿射平面的情形简单。对于一般的代数曲线的交点个数问题,也是射影平面比仿射平面简单。例如,在仿射平面上两条二次曲线的交点个数可能是0-4(见下图)。实际上情况还要更复杂,因为可能出现两条二次曲线相切的情形。可能出现的情况有:两曲线有一个交点且交点为切点;两曲线有两个交点且其中一个交点为切点;两曲线有三个交点且其中一个交点为切点;两曲线有两个交点且都是切点(见下图,其中最后一张图下面还要进一步解释)。注意定理中所涉及的交点的坐标可能是复数,这是画不出来的,我们通常画的只是示意图。自从射影空间被发现以来,很多深入的研究揭示了射影空间的很多不平凡的性质和结构,内容极其丰富,例如上面说到的射影平面的拓扑性质和代数性质,都可以推广到高维射影空间。限于时间这里不能进一步介绍了。5.构形定理与参量空间现在我们回过头来看前面所说的构形定理,它们看上去都很复杂,在历史上,最早的证明更是复杂得多。但是用今天的观点,都可以很简单地证明。前面我们已经给出德萨格定理的证明。我们将利用下面的一个定理来证明其他一些构形定理,为此先做一些准备。6.射影空间在近代和现代数学中在历史上,射影空间自从被发现和研究以后,逐渐渗入数学的很多其他领域,以及数学之外的一些领域(如物理)。前面已经看到射影空间在几何学、代数学和拓扑学中的重要地位,实际上射影空间的影响远不止此,要了解现代数学不可不了解射影空间。先用一个小问题来说明射影空间在组合学中的作用。有7个男生和7个女生,每个男生认识3个女生,每个女生认识3个男生,每两个男生恰有一个共同认识的女生,每两个女生恰有一个共同认识的男生,这样的组合可能吗?如果可能,能不能具体给出一个例子?这是可能的,具体例子可以用一个射影平面给出,不过这不是上面说的实的或复的射影平面,而是一个建立在“同余数”上的射影平面,限于时间我们不能详细介绍了,但这是不难懂的。再讲一点射影空间与群论的关系。群论的产生在数学的历史上有极其重要的意义,但在刚开始时人们所知道的群少得可怜,后来发现了建立在射影空间上的群,大大丰富了对群的认识。在1872年克莱因(F.Klein)就指出变换群与几何学的密切关系(即所谓艾尔朗根纲领),当时所研究的最“大”的空间就是射影空间,最“大”的群就是射影群。多年来在这个方向的研究已经非常深入,形成了数学的一个重要支柱。射影空间对于数论的影响是上个世纪开始的,这方面的影响非常广泛和深刻,这里无法全面介绍,仅举一个例子:前面说到的三次射影曲线,如果是光滑的,就称为“椭圆曲线”,它是数论中的重要研究对象和强有力的工具,它对数论的影响可以追溯到1930年代,著名的费尔马大定理的证明就依赖于椭圆曲线,千禧年悬赏百万美圆的7个数学问题中,“BSD猜想”就是一个关于椭圆曲线的问题。射影空间对于应用领域也有重要的作用。例如,在编码和密码学中有很多利用射影空间构造码的方法。在计算数学中,解多项式方程组首先就要通过射影空间来判定解的个数。在符号计算中也涉及射影空间。前面说到的“参量空间”的思想,在数论等其他领域中起着重要的作用,近年来在理论物理中也成为一个重要的工具。结束语同学们可能注意到,以往所学的很多数学知识在上面都用到,而且交织在一起。事实上数学是一个整体,而不是由一些彼此独立的学科组成。希望同学们在今后的学习中注意各个课题(代数、几何、三角等)之间的相互联系,而不要把它们相互孤立起来。