射影几何学的复兴(四)

代数的射影几何学

代数几何学家也在发展射影几何学,最早出现的新代数概念是现在所说的齐次坐标,莫比乌斯(August Ferdinand Möbius,1790-1868)建立了一个方案,他跟高斯、哈密尔顿一样搞天文和数学,虽然没参与综合法和代数法之争,但是在代数方面做了贡献。
他从一个固定的三角形出发,对平面内任一点P,考虑在三角形三个顶点上各放多少质量能使三个质量的重心在点P,就取这三个量为P的坐标。当P在三角形外时部分坐标可以为负的。当三个质量乘以同一个常数时P仍为质心。所以在莫比乌斯的方案中,点的坐标不唯一,而三个坐标之比是确定的。用于空间点时需要四个坐标,在这个坐标系里写的曲线和曲面方程是齐次的(各项次数相同)。
莫比乌斯把从平面到平面或空间到空间的变换分类,如果对应的图形相等,变换是迭合变换,如果对应的图形相似,变换是相似变换。如果保持平行性但不保持长度和形状,变换是仿射变换(欧拉引入的概念),最普遍的变换是直线到直线的变换,称为直射变换。莫比乌斯证明每个直射变换是一个射影变换,即能从一连串透视变换得出,该证明假定变换是一对一且连续的,但连续性条件能减弱。莫比乌斯给出这种交换的一种解析表达式,他指出可以在上述每一类型变换下考虑图形的不变性质。
莫比乌斯对面积和体积也引入了带正负号的元素,因此对同一线上四点的带正负号的交比给出了完善处理。他指出下图线束中四条线的交比可以用顶点P处各角的正弦表示为:\frac{\sin APB}{\sin APC}/\frac{\sin BPD}{\sin CPD},该比值与任何斜截线所截四点A,B,C,D的交比相同,所以交比在投影与截影下不改变。

共线四点的交比

莫比乌斯还缓慢地发展了其它概念,但没有明显进展。

普吕克(Julius Plücker,1801-1868)赋予代数射影几何活力和效率。1836年起他在波恩当数学与物理教授,他主要是一个实验物理学家,有许多著名发现,1863年后他重新投身于数学。
普吕克也引入了齐次坐标,他的第一个概念是三线坐标,从一个固定三角形出发,任一点P的坐标取P到三角形各边带正负号的垂直距离,各距离可以乘以同一个常数,后来他引入一种特殊情况,相当于把三角形一条边看成无穷远直线,等价于把通常的笛卡尔坐标x,y换成x=x1/x3和y=x2/x3,变换后曲线方程对x1,x2,x3齐次,这个概念后来得到了广泛使用。
普吕克利用齐次坐标和关于齐次函数的欧拉定理,若f(tx1,tx2,tx3)=t''f(x1,x2,x3)则x_1\frac{\partial f}{\partial x_1}+x_2\frac{\partial f}{\partial x_2}+x_3\frac{\partial f}{\partial x_3}=nf(x_1,x_2,x_3),给几何概念以优美的代数表示,例如若f(x1,x2,x3)=0是一个圆锥曲线的方程,其中(x1,x2,x3)是圆锥曲线上点的坐标,那么方程x_1'\frac{\partial f}{\partial x_1}+x_2'\frac{\partial f}{\partial x_2}+x_3'\frac{\partial f}{\partial x_3}=0,把x1',x2',x3'看成流动坐标时,可以解释为点(x1,x2,x3)处的切线方程,当把x1,x2,x3看成流动坐标时,可以解释为任意点(x1',x2',x3')相对于该圆锥曲线的极线方程。
利用齐次坐标,普吕克给出无穷远线、圆上无穷远点和其它概念的代数表示。在齐次坐标系(x1,x2,x3)中,无穷远线的方程是x3=0,在射影几何里没毛病,而欧几里得平面的寻常点落在有穷处,因为x=x1/x3,y=x2/x3,不得不令无穷远点x3=0。
通过x=x1/x3,y=x2/x3引入齐次笛卡尔坐标x1,x2,x3后,圆的方程(x-a)^2+(y-b)^2=r^2变成(x_1-ax_3)^2+(x_2-bx_3)^2=r^2x_3^2,由于无穷远线的方程是x3=0,这条线与圆的交点由x_1^2+x_2^2=0,x_3=0确定,圆上无穷远点的坐标是(1,i,0)和(1,-i,0),类似地,球上无穷远圆的方程是x_1^2+x_2^2+x_3^2=0,x_4=0
如果把直线方程写成齐次形式(用x,y,z代替x1,x2,x3)Ax+By+Cz=0,并且要求直线过点(x1,y1,z1)和(1,i,0),则该线的非齐次方程是x-x0+i(y-y0)=0,其中x0=x1/z1,y0=y1/z1。同样,通过(x1,y1,z1)和(1,-i,0)的线的方程是x-x0-i(y-y0)=0。索菲斯·李(Marius Sophus Lie)称之为飘渺线,现在称为迷向线。
普吕克从代数上处理偶性后得到了一个漂亮的概念:线坐标。如果一条直线在齐次坐标中的方程是ux+vy+wz=0,u,v,w或与它们成比例的三个数就是这条线的坐标。于是像正象限f(x1,x2,x3)=0表示一些点的集体,f(u,v,w)=0表示一些线的集体或一个线曲线。
普吕克利用线坐标给对偶原理一个代数表述和证明,给定任一方程f(r,s,t)=0,如果把r,s,t解释为点的齐次坐标x1,x2,x3,就能得到一个点曲线方程,如果把它们解释为u,v,w,就得到对偶的线曲线,用代数过程证明的关于点曲线的任何一个性质都能引出线曲线的对偶性,因为在变量的两种解释下,代数是相同的。
1830年普吕克还指出,看作点集合的曲线同时也能看成曲线切线的集合,因为切线也像点一样确定了曲线形状。切线族是一条线曲线,在线坐标中有一个方程,这个方程的次数称为曲线的类数,而曲线在点坐标中的方程次数叫做曲线的阶数。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 214,377评论 6 496
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 91,390评论 3 389
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 159,967评论 0 349
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 57,344评论 1 288
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,441评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,492评论 1 292
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,497评论 3 412
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,274评论 0 269
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,732评论 1 307
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,008评论 2 328
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,184评论 1 342
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,837评论 4 337
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,520评论 3 322
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,156评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,407评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,056评论 2 365
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,074评论 2 352

推荐阅读更多精彩内容