请选择 进入手机版 | 继续访问电脑版

tag 标签: 几何学经管大学堂:名校名师名课

相关帖子

版块 作者 回复/查看 最后发表
基础几何学讲义 attachment 经济金融数学专区 fgq5910 2009-10-2 4 4621 三江鸿 2022-4-17 23:08:02
超代数与超几何的一个范畴公式 外文文献专区 大多数88 2022-3-8 0 231 大多数88 2022-3-8 19:46:40
[下载][推荐]江恩理论进阶 空间与市场几何学 金融实务版 杨国超 2008-7-13 8 3141 inPeak 2019-10-7 02:07:36
几何学的发展简史 attachment 经济金融数学专区 fgq5910 2009-10-26 3 3447 tianwk 2019-4-21 16:43:33
金融几何学——用微分几何的观点看金融 attachment 金融工程(数量金融)与金融衍生品 mame_is_me 2013-6-10 22 7799 kkkm_db 2017-1-23 03:05:39
金融几何学: 一种套期保值和风险管理的几何学管理方法(微分几何) attachment 金融工程(数量金融)与金融衍生品 352693585 2012-12-20 209 26291 Byronguo 2014-6-28 21:30:54
学习数学的重要性 孔凡清-济宁职业技术学院-高等数学 mzl79 2013-11-4 0 3 mzl79 2013-11-4 15:34:21
世纪难题“休谟问题”的破解 跨学科讨论区 choudh 2013-8-29 3 2180 huangyong626 2013-8-29 16:33:26
悬赏 求《江恩数字与几何学》何造中 电子版 - [悬赏 100 个论坛币] 悬赏大厅 Hold住爱 2013-4-17 0 589 Hold住爱 2013-4-17 18:31:38
丘成桐为人民大学师生作“几何学赏析”讲演 教师之家与经管教育 星博士 2011-11-8 0 11044 星博士 2011-11-8 16:38:13
《高维欧氏几何学》PDF格式免费下载 attachment 经济金融数学专区 果冻 2010-3-13 10 4048 果冻 2010-5-23 09:11:26
[原创]江恩投资几何学原理 attachment 金融实务版 ccccbbbb 2009-3-23 3 1749 wood8486 2010-3-1 21:47:20
几何学演化方程式(英文) attachment 经济金融数学专区 fgq5910 2009-10-25 1 1308 叶杭梅 2009-12-18 15:08:54
救救www.gwjhx.com,救救《高维欧氏几何学》! 休闲灌水 果冻 2006-4-20 3 2446 zcj5918 2009-9-26 12:24:22
江恩数字与几何学 attachment 金融学(理论版) xumw128 2009-2-2 0 1999 xumw128 2009-2-2 00:47:00
[转帖]《高维欧氏几何学》有关经济学的内容 教师之家与经管教育 果冻 2008-1-9 3 2891 果冻 2008-1-23 17:55:00
[推荐]江恩理论进阶 空间与市场几何学 金融实务版 luyaohuadyyy 2007-5-15 0 3477 luyaohuadyyy 2007-5-15 06:13:00
[新书] 江恩理论进阶-空间与市场几何学 金融学(理论版) Love小凯 2007-3-14 0 2504 Love小凯 2007-3-14 08:11:00
《高维欧氏几何学》一书中的经济学内容 计量经济学与统计软件 果冻 2005-6-6 22 4473 果冻 2006-1-9 11:18:00

相关日志

分享 Erlangen纲领——几何学
hylpy1 2016-9-18 09:44
"非欧几何" 的发现是19世纪最大的数学进展之一. 主要的先驱人物是俄国的罗巴切夫斯基, 匈牙利的鲍耶, 和德国的高斯. 非欧几何的故事已经流传很广了, 它与欧氏几何的不同就在于所谓欧氏平行公理: 过直线外一点有且只有一条直线与已知直线平行. 如果把这条公理改成 "过直线外一点有两条以上的直线与已知直线平行", 而保持其它公理不变, 就得到一种新的几何, 称为非欧几何. 关于非欧几何的文章发表于 1830 年左右. 有迹象表明高斯在早些年就得到了一些结果. 然而非欧几何这个名称在 1854 年黎曼的就职演讲发表以后含义就不够精确了(因为黎曼提供了无穷多种“非欧”的几何形态), 现在大部分数学家把上述这种公理化几何称为"双曲几何". 19世纪还出现了一种几何叫射影几何. 研究这种几何的动机是非常贴近生活的 ------ 它主要研究 "中心投影" 现象。通俗一点说, 如果有一盏灯, 它照射在纸面上, 那么纸面上的图形在地面上的投影是怎么样的? 最明显的就是, 纸面上的圆周在灯光下的影子一般不再是圆周, 可能是个椭圆周; 然后注意到, 如果纸面不平行于地面, 纸面上两条平行的直线在灯光下的投影可能不再平行; 更奇异的现象是, 如果纸面足够大,它上面的一个圆周也足够大, 使得圆周上有些点比电灯所处位置更高, 那么这个圆周在地面上的投影就会是双曲线. (记得高中的解析几何课本封面上绘有一个圆锥面, 用不同的平面去截就得到不同的圆锥曲线. 如果把锥的顶点视为一盏灯, 就容易看到所有这些圆锥曲线都可以互为中心投影.) 还有一种几何是研究平行投影下图形怎么变化的, 叫做 "仿射几何". 如果把上面的灯换成太阳, 由于距离太远, 在小范围内是非常精确的平行投影 ------ 纸面上两条平行直线总是投射为地面上的平行直线. 圆周会投射为椭圆周, 但决不会是双曲线。 在 1872 年, 所有这些几何把数学家搞懵了 ------ 到底什么是几何? 这时候 23 岁的德国人克莱因在爱尔朗根大学为其教授就职演讲准备了一篇讲稿 ------ 这篇稿子后来被称为爱尔朗根纲领 ------虽然他后来的演讲并没有讲这个讲稿上的内容. 这篇讲稿提出, 每一种几何对应一个变换群, 这种几何研究的对象是各种形体在相应变换群下不变的性质. "群" 是描述对称性的数学结构. 变换群被伽罗瓦发明出来研究代数方程的可解性. 而克莱因的合作者挪威人李(Lie)到 1872 年已经研究了某些连续的变换群, 现在称为 Lie 群. 以上所说的这几种几何都对应到不同的 Lie 群. 现在我们从克莱因的爱尔朗根纲领来看待以上提到的这些几何: 欧氏几何是 "最小" 的几何, 研究的就是长度啊, 全等啊这些性质. 对应的群就是所谓 "欧氏变换群", 它里面的元素包括平移, 旋转, 反射以及它们的累次作用. 这些变换保持长度不变; 我们说两个图形是 "全等" 的当且仅当有一个欧氏变换把一个图形变为另一个. 我们初中高中的时候还研究相似三角形. 这种包含“相似性”的几何对应到什么变换群?我们可以把 "欧氏变换群" 扩大, 即, 加入 "伸缩" 这个变换, 这样就得到更大的 "相似变换群". 我们能用相似变换把不同长度的对象 "等同" 起来, 比如不同半径的圆周, 在相似几何中就被视为同样的图形. 三角形的 "相似" 就是相似几何中的 "全等". 这个相似变换群包含欧氏变换群, 所以在这个群下不变的性质自然在欧氏变换群下不变, 也就是说, "相似几何" 的概念都是欧氏几何的概念. 反过来就不对, 举个例子, 长度是欧氏几何的概念, 但不是相似几何的概念. 这句话说得直白一点就是,几何体的长度在欧氏变换群下不变,但在相似变换群下有可能改变。 仿射几何是更大的几何. 对应的群叫 "仿射变换群", 包括平移, 线性变换以及它们的累次作用. 线性变换的意思基本上就是那些把直线还变到直线的变换。由于旋转, 反射, 伸缩都是特殊的线性变换, 所以仿射变换群包含相似变换群. 在仿射几何里, 圆和椭圆是同一种图形; 所有的平行四边形都 "全等"; ... 在这个几何里, 长度, 角度都失去意义, 能谈论的只能是平行性质, 或者共线三点的分比(单比), 等等这些很 "粗略" 的性质. 射影几何是以上提到的几何中 "最大" 的几何. 从仿射几何到射影几何的扩张, 比之前的几次扩张要复杂得多. 特别地, 我们需要给平面添上 "无穷远直线" 来使得射影变换是一对一变换. 这其实很容易理解,如果纸面不平行于地面,那么从光源水平射出的光线就只与纸面相交而不与地面相交,这样它与纸面的交点在射影变换下就没有像。如果我们假设地面的无穷远处存在所谓“无穷远点”,那么就可以把这些无穷远点作为水平光线与地面的交点。平面的所有无穷远点构成无穷远直线。在射影几何中, 所有圆锥曲线 ------ 椭圆, 双曲线, 抛物线, 都是 "全等" 的图形. 所以射影几何研究的性质是最 "粗略" 的性质, 比如曲线的 "次数": 直线是由一次方程定义的曲线, 圆锥曲线是由二次方程定义的曲线; 再比如共线四点的交比. 射影几何是非常有趣的几何, 有很多 "巧合", 部分原因就是这个几何的变换群非常大, 对称性高. 同志们如果实在闲得无聊, 可以找本书看看, 书名一般叫做 "Projective geometry". 对于熟悉计算机的同志, 可以看出在每种几何里我们都 "重载" 了 "全等" 这个概念 ------这正是关键所在 ------ 凡是能用一个变换互相转换的对象, 我们都看成同样的对象. 自爱尔朗根纲领提出以来, 对称性(群论)日益收到重视, 到了今天, 已经成为根深蒂固的观念. 物理学中, 自相对论、量子力学以来, 对称性也被作为基本原理, 到了 1970 年代, 物理学家发现自然界四种基本相互作用的根源都是对称性. 由此可见伽罗瓦, 李, 克莱因这些前辈的深刻洞察力. 最近俄罗斯数学家佩雷尔曼解决了百万美元问题 "庞加莱猜想" 及更广泛的 "瑟斯顿几何化猜想". 后面这个猜想就是天才的瑟斯顿继承爱尔朗根纲领的精神给出的解决三维流形分类问题的蓝图. 具体内容如何, 且待下回分解. http://songshuhui.net/archives/42796
4 次阅读|0 个评论
分享 陈省身--什么是几何学?(陈省身在台湾的演讲)
hylpy1 2015-9-3 22:23
陈省身:什么是几何学? 台湾大学的这次演讲在笔者看到过的陈先生的讲座中是最好的。遗憾的是从网上找来的这篇文章没有插图,这影响了文章的魅力。建议大家找来《陈省身文集》好好研读一番。 今天授奖的仪式很隆重,听了许多人的演讲,我非常感动。有机会在此演讲,自己觉得非常荣幸,也非常高兴。我想从现在起,我们就像平常上课一样,不怎么严肃,随便一点。我带了一些材料,非常遗憾的是没法投影。不投影也可以,我没有什么准备。大家希望我讲一点几何学,题目是《什么是几何学》。我虽然搞了几十年的几何工作,但是很抱歉的一点是,当你们听完演讲后,不会得到很简单的答案,因为这是一门广泛而伟大的学问。在最近几千年来,几何学有非常重要的发展,跟许多其它的科学不但有关系、有作用,而且是基本的因素。 讲到几何学,我们第一个想到的是欧几里德。除了基督教的《圣经》之外,欧几里德的《几何原本》在世界出版物中大概是销售最多的一本书了。这本书在中国有翻译,译者是徐光启与利玛窦。徐光启(1562~1633)是中国了不得的学问家,利玛窦(M.RICCI)是到中国来的意大利传教士。他们只翻译了六章,中文本是在1607年出版的。我们现在通用的许多名词,例如并行线、三角形、圆周等这类名词我想都是徐光启翻译的。当时没有把全书翻译完,差不多只翻译了半本,另外还有半本是李善兰和伟烈亚力翻译的。伟烈亚力(A.Wylie)是英国传教士。很高兴的是,李善兰是浙江海宁人。海宁是嘉兴府的一县,我是嘉兴人,所以我们是同乡(掌声)。对了,查济民先生也是海宁人(掌声)。 推动几何学第二个重要的、历史性发展的人是Descarte(1596~1650),中国人翻译成为笛卡儿。他是法国哲学家,不是专门研究数学的。他用坐标的方法,把几何变成了代数。当时没有分析或者无穷的观念。所以他就变成代数。我想笛卡儿当时不见得觉得他这贡献是很伟大的,所以他的几何谕文是他的哲学引里面最后的一个附录,附属于他的哲学的。 这个思想当然在几何上是革命性的,因为当把几何的现象用坐标表示出来时,就变成了代数现象。所以你要证明说一条直线是不是经过一个点,你只要证明某个数是不是等于零就行了。这样就变成了一个简单一点的代数问题。当然并不是任何的几何问题都要变成代数问题,有时候变为代数问题后上原来的问题更加复杂了。但这个关系是基本性的。笛卡儿发现的坐标系,我们大慨在中学念解析几何都学到。有一点是这样的(我的图可惜现在没法投影出来)给定一条直线,直线上有一个原点,其它的点由它的距离X来确定,然后经过x沿一定的方向画一条直线,那么y坐标就是在那条在线从X轴上这个点所经的距离,这就是笛卡儿的坐标,英文叫Cartcsian坐标。它的两条线不一定垂直。不知道哪位先生写教科书时把两条线写成垂直了,因此x坐标与y坐标对称了。笛卡儿的两个坐标不是对称的,这是他非常重要的观念,我们现在就叫纤维丛。这些跟y坐标平行的直线都是铁维,是另外的-个空间。原因是这样的:你把它这样改了之后,那条直线就不一定要直线,可以是任何另外一个空间了。这样可以确定空间里点用另外一组坐标来表示。所以有时候科学或数学不一定完全进步了,有时候反而退步了(笑声)。笛卡儿用了这个坐标,就发现,我们不一定要用Cartesian坐标,可以用其它坐标,比如极坐标。平面上确定一个点,称为原点,过这点画一条射线,称为原轴。这样平面上的点,一个坐标是这点与原点的距离,另外一个是角度,是这点与原点的联机与原轴的相交的角度,这就是极坐标。因此极坐标的两个坐标,一个是正数或零,另外一个是从零到360度的角度。当然我们都知道,还可以有许多其它的坐标,只要用数就可以确定坐标。因此,后来大家弄多了的话,就对几何作出了另外一个革命性的贡献,就是说,坐标不一定要有意义。只要每级数能定义一个点,我们就把它叫坐标。从而几何性质就变成坐标的一个代数性质,或者说分析的性质。这样就把几何数量化了,几何就变成形式化的东西了。这个影响非常之大,当然这个影响也不大容易被接受,比如爱因斯坦。爱因斯坦发现他的相对论,特殊相对论是在1908年,而广义相对论是在1915年,前后差了7年。爱因斯坦说,为什么需要7年我才能从特殊相对论过渡到广义相对谕呢?他说因为我觉得坐标都应该有几何或物理意义。爱因斯坦是一个对学问非常严谨的人,他觉得没有意义的坐标不大容易被接受,所以耽误了他很多年,他才不能不接受,就是因为空间的概念被推广了。 我忘掉了一段。我现在是讲书,请书忘掉了补充一下是无所谓的,讲错了也不要紧(笑声)。同样我回头再讲一点欧几里德。那时的欧几里德的《几何原本》并不仅仅是几何,而是整个数学。因为那时候的数学还没有发现微积分,无穷的观念虽然已经有了,不过不怎么普遍。我再说一点,就很可惜的是欧几里德的身世我们知道得很少,只知道他大概生活在纪元前三百年左右。他是亚历山大学校的几何教授,他的《几何原本》大概是当时的一个课本。亚历山大大学是希腊文化最后集中的一个地方。因为亚历山大自己到过亚历山大,因此就建立了当时北非的大城,靠在地中海。但是他远在到亚洲之后,我们知道他很快就死了。之后,他的大将托勒密(PtolelmyySoter)管理当时的埃及区域。托勒密很重视学问,就成立了一个大学。这个大学就在他的王宫旁边,是当时全世界伟大的大学,设备非常好,有许多书。很可惜由于宗教的原因,由于众多的原因,现在这个学校被完全毁掉了。当时的基督教就不喜叹这个学校,己经开始被毁了,然后回教人占领了北非之后,就大规地破坏,把图书馆的书都拿出来烧掉。所以现在这个学校完全不存在了。 几何是很重要的,因为大家觉得几何就是数学。比方说,现在还有这一印象,法国的科学院,它的数学组叫做几何组。对于法国来讲,搞数学的不称数学家,而叫几何学家,这都是受当时几何的影响。当时的几何比现在的几何的范围来得广。不过从另一方面讲现在的范围更广了,就是我刚才讲到的坐标不一定有意义。一个空间可以有好几种坐标,那么怎样描述空间呢?这就显得很困难啦,因为空间到底有什么样的几何性质,这也是一个大问题。高斯与黎曼建立和发展了这方面的理论。高斯是德国人,我想他是近代数学最伟大的一个数学家。黎曼实际上是他的继承人,也是德国教学家。他们都是哥廷根大学的教授。可惜的是黎曼活看时身体不好,有肺结核病,四十岁就死了。他们的发展有一个主要目的,就是要发展一个空间,它的坐标是局部的。空间里只有坐标,反正你不能讲坐标是什么,只知道坐标代表一个点,所以只是一小块里的点可以用坐标表示。因此虽然点的性质可以用解析关系来表示,但是如何研究空间这就成了大问题。 在这个之前,我刚才又忘了一个,就是基础的数学是欧几里德的书,但是欧几里德的书出了一个毛病。因为欧几里德用公理经过逻辑的手段得到结论。例如说,三角形三角之和一定等于180度,这是了不得的结果。欧几里德可以用公理几步就把它证明了,是一个结谕。这个比现代的科学简单得多了。我们刚才听了很多话,科学家做科学研究,第一样就是跟ZF要钱,跟社会要钱,说你给了我钱,我才能做实验。当然实验是科学的基础。但是这样一来就会有许多的社会问题和政治问题。欧几里德说,你给我一张纸,我只要写几下,就证明了这个结果。不但如此,我是搞数学的,我说数学理论还有优点,数学的理论可以预测实验的结果。不用实验,用数学可以得到结论,然后用实验去证明。当然实验有时的证明不对,也许你的理论就不对了,那当然也有这个毛病。欧几里德的公理是非常明显的,但是他有一个有名的公里叫第五公设出了问题。这个第五公设讲起来比较长,但是简单地说,就是有一条直线与线外一点,经过这点只有一条直线与这条已给的直线平行。这个你要随便画图的诂,觉得相当可信。可是你要严格追问的话,这个公理不大明显,至少不如其它公理这样明显。所以这个第五公设对当时数学界喜欢思想的人是个大问题。当时最理想的情形是:第五公设可以用其它的公理推得,变成一个所谓的定理。那就简单化了,并且可做这个实验。我们搞数学的人有一个简单的方法,就是我要证明这个公理,我先假定这个公理不对,看是不是可以得到矛盾。如果得到矛盾,就证明它是对的了。这就是所谓间接证明法。有人就想用这个方法证明第五公设,但是都失败了。我们现在知道这个第五公设并不一定对,经过一点的并行线可以有无数条,这就是非欧几何的发现。非欧几何的发现,它的社会意义很大,因为它表示空间不一定只有一个。西洋的社会相信上帝只有一个,怎么会有两个空间,或者很多个空间呢?当时这是个很严重的社会问题。不止是社会问题,同时也是哲学问题。像德国大哲学家康德,他就觉得只能有欧氏几何,不能有非欧几何。所以当时这是一个很大的争论。非欧几何的发现一个是J.Bolyai,匈牙利人,在1832年;一个是Lobachevski,俄国人,在1847年。不过我刚才讲到大数学家高斯,我们从他的种种著作中知道他完全清楚,但他没有把它发表成一个结论,因为发表这样一个结论,是可以遭到别人反对的。因此就有这么一个争论。等到意大利的几何学家Beltrami,他在欧几里德的三维空间里造了一个曲面,刞回曲面上的几何就是非欧几何,这对于消除大家的怀疑是一很有利的工具。因为上述结果是说,假定有一个三维的欧几里德空间,就可以造出一个非欧几何的空间来,所以在欧几里德的几何中亦有非欧几何。你假定欧几里德几何,你就得接受非欧几何,因此大家对非欧几何的怀疑有种种的方法慢慢给予解除。 我刚才讲到高斯与黎曼把坐标一般化,使坐标不一定有意义,这对几何学产生的问题可大了。因为空间就变成一块一块拼起来的东西。那想怎么去研究它呢?怎么知道空间有不同的性质呢?甚至怎么区别不同的空间?我这里有几个圆,画了几个不同的空间,可惜我没法把它投影出来。不过,总而言之空间的个数是无穷的,有很多很多不同的空间。现在对于研究几何的人就产生一个基本问题,你怎橡去研究它。这样一个基本的学问现在就叫Topology,拓朴学。它是研究整个空间的性质,如什应叫空间的连续性,怎样的两个空间在某个意义上是相同的,等等。这样就发展了许多许多的工具。这个问题也讨论了。黎曼生活在1826~1866年。德国的教学制度在博士毕业之后,为了有资格在大学教书,一定要做一个公开演讲,这个公开的演讲就是所谓的Habilitationschrift.黎曼在1854年到哥廷根大学去做教授,做了一个演讲,这个在几何上是非常基本的文献,就讨论了这些问题。如何研究这种空间呢?要研究这种空间,如果你只知道空间是随便追磨一块块拼起来的话,就没有什么可以研究的了。于是你往往需要一个度量,至少你知道什么叫两点之间的距离,你怎应去处理它呢?就需要解析的工具。往往你把距离表为一个积分,用积分代表距离。黎曼的这篇1854年的论文,是非常重要的,也是几何里的一个基本文献,相当一个国家的宪法似的。爱因斯坦不知道这篇论文,花了七年的时间想方设法也要发展同样的观念,所以爱因斯坦浪费了许多时间。黎曼这篇论文引进的距离这个观念,是一个积分,在数学界一百多年来有了很大的发展。第一个重要的发展是黎曼几何应用到广义相对论,是相对论的一个基本的数学基础。现在大家要念数学,尤其要念几何学的话,黎曼几何是一个最主要的部分,这个也是从黎曼的演讲开始的。现在黎曼几何的结果多得不得了,不但是几何的基础,可能也是整个数学发展的基础。 我刚才提到一百多年来的发展。所谓的黎曼几何实际上是黎曼的论文的一个简单的情形,是某个情形。黎曼原来的意思,广义下的意思,有个人做了重要的工作,是一个德国人Finsler。所以这部分的几何就叫Finsler几何。他在1918年在哥廷根大学写了一篇博士论文,就讲这个几何。这个几何后来发展不大多,因为大家不知道怎么办。如果这个度量的积分广了一点,对应的数学就变复杂了,不像黎曼的某个情形这样简单。黎曼这情形也不简单。黎曼普通地就写了一个ds的平方等于一个两次微分式,这个两次微分式积分一下就代表弧的长度。怎样研究这样的几何,这是需要一个像黎曼这种天才才有这个办法。黎曼就发展了他所谓的Riemannncurvatureytensor,黎曼曲率张量。你若要搞这类几何的话,就要有张量的观念。而空间的弯曲性,这个弯曲性解析表示出来也比较复杂了,就是黎曼的曲率张量。我们现在大家喜欢讲得奖。我们今天发奖,有奖金,要社会与ZF对你的工作尊重。当年的时候你要搞数学的话,如果没有数学教授的位置,就没有人付你工资。一个主要的办法就是得奖金。有几个科学院它给奖金,得了奖金后你当然可以维持一段时间,因此就很高兴。不过很有意思的是我想Riemann~Christofell曲率张量是一个很伟大的发现,黎曼就到法兰西科学院申请奖金。科学院的人看不懂,就没有给他。所以诸位,今天坐在前排几位你们都是得奖人,都是得到光荣的人,我们对于你们寄予很大的期望,后面几排的大多数人没有得过奖,不过我安慰大家,没得过奖不要紧,没得过奖也可以做工作。我想我在得到学位之前,也没有得过奖。得不得到奖不是一个很重要的因素,黎曼就没有得到奖。他的Riemann~Christofell张量在法兰西的科学院申请奖没有得到。 最近虽然在黎曼几何上有很多发展,非常了不得的发展,但是大家对于一般的情形,黎曼论文的一般情形Finsler几何,没有做很多贡献。很巧的是我在1942年曾写了一篇Finsler几何的论文,就是找能把黎曼几何的结果做到Finsler几何的情形。最近,有两位年轻的中国人,一个叫鲍大维,一个叫沈忠民,我们合写了一本关于Finsler几何的书。这本书就要在Springer~Verlag出版,属于它的GraduateyTexts数学丛书。编辑对于我们的书也很喜欢,给了我们一个很有意思的书号:200。书就在这里,我想这本书等会我会交给谷超豪教授,就把它放在复旦大学的某个图书馆里(掌声)。我们这本书有一个小小的成就,就是把近一百年来最近在黎曼几何上的发现,我们把它推广到一般的情形,即黎曼~Finsler情形。这是黎曼当年的目的。黎曼当然非常伟大,不过他对于一般的情形不是很重视,他甚至在他的文章里讲这里没有新的东西,我们就把他说的没有新的东西做了一些出来。 我知道我旁边坐了两位伟大的物理学家。接下去我想班门弄斧一下,谈一下物理与几何的关系。我觉得物理学里有很多重要的工作,是物理学家要证明说物理就是几何。比方说,你从牛顿的第二运动定律开始。牛顿的第二定律说,F=ma,F是力,m是质量,a是加速度,加速度我们现在叫曲率。所以右边这一项是几何量,而力得当然是物理量。所以牛顿费了半天劲,他只是说物理就是几何(大笑,掌声)。不但如此,爱因斯坦的广义相对论也是这样。爱因斯坦的广义相对论的方程说yyy是Ricci曲率,R是scalarycurvature,即标量曲面,K是常数,是energyystressytensor,即能量~应力张量。你仔细想想,他的左边是几何量,是从黎曼度量得出来的一些曲率。所以爱因斯坦的重要方程式也就是说,几何量等于物理量(掌声)。不止是这些,我们可以一直讲下去。我们现在研究的空间叫流形,是一块块空间拼起来的。这个流形不好研究。流形上的度量,你如果要把它能够用方程写下来的话,你一定要把流形线性化,一定要有一个所谓的矢量空间,叫vectoryspace。矢量空间有一个好处,它的矢量可以相加,可以相减,它还有种种不同的乘法。所以你就可以用解析的方法处理几何的情形。那么一般的流形怎么处理呢?数学家的办法很简单,就是在流形的每一点弄一个切平面。每一点都有个矢量空间,叫切空间,跟它相切、欧几里德空间只有一个切空间。现在的空间情沉复杂了一些,每点都有一个切空间,但都是平坦空间。这个现象在几何上有一个重大的发展,就是把切空间竖起来。反正是一把矢量空间,给流形的每点一个矢量空间,不一定要是流形的切面或切空间。我们就叫它为纤维丛,或叫矢量丛,矢量空间丛。这个我想比爱因斯坦的(相对论)还要重要。Maxwell方程就是建立在一个矢量丛上。你不是要一把矢量空间吗?最好的是一把筷子,这里一维最好是复一维,complex。这把筷子每个都是复空间,它是骗人的一维,其实是二维,是复数空间。复数就有玩意儿了。现在是一把复线,你如果能有法子从这个纤维到另外一个纤维有一个我们所谓的平行性的话,你就立刻得到Maxwell方程。现代文明都靠电,控制电的方程的是Maxwell方程。现在纤维丛上有一个平行性,这个平行性的微分,等于电磁场的强度F,然后你把这个F再求它的另外一种微分(余微分)的话,就得到currentyvectorJ,即流矢量。用两个简单的式子,就把Maxwell方程写出来了。普通你要念电磁学的书的话,当然需要了解电磁的意义。我不了解。但是要了解电磁学的意义,把方程全部写出来的话,书上往往是一整页,种种的微分呀什么的讲了一大堆。其实简单地说,也就是平行性的微分是场的强度,而场的强度经过某个运算就得到它的流矢量。这就是Maxwell方程,与原来的完全一样。所以Maxwell方程就是建立在一维的纤维丛上,不过是一个复一维的纤维丛。你怎样把每个纤维维拼起来呢?我们需要群的觐念。有一个群,群里有一个运算,把一个纤维可以挪到其它一个纤维。纤维如果是一维的,即使是复一维的话,我们需要的群仍旧是可交换的群,叫做Abelygroup,杨振宁先生了不得。他可以用到一个非Abel群,也很简单,我们叫做SU(2)群。用SU(2)connection,把同样的方程式写出来,就是Yang~Mills方程,DA=F 。这有不得了的重要性。我们搞几何学的人觉得有这样的关系,物理学家说你这个关系跟物理有关系,这是非常困难的,并且有基本的重要性。比方说像去年获诺贝尔奖的,我想大家都知道崔琦的名字,做理论方面的所谓Hall效应,也用到我们这些工作。我们说我们专搞曲率。你要开一个车,路如果弯得多了的话你就要慢下来,直的话你就冲,这就是曲率。曲率要是在高维就比较复杂了,不过也是一些代数,并且可以做得很巧妙。我的一个朋友,也是学生,叫Simons。我们所做的工作就是曲率,就对崔琦跟他们一群得诺贝尔奖的有好处。所以一般讲来,在房子里我们只管扫地,想把房子弄弄干净,弄弄清楚,然后有伟大的物理学家来说你们这个还有道理(大笑,掌声),这个我们也很高兴。现在几何不仅应用到物理,也应用到生物学中。讲到DNA的构造,是一个双螺线,双螺线有很多几何,许多几何学都在研究这个问题。现在许多主要的大学,念生物的人一定要念几何。现在有很多人研究大一点的compound,这是分子,是由原子配起来的。原子怎么个配法就是几何了。这些几何的观念不再是空虚的,有实际上的化学的意义。 数学比其它科学有利的地方,是它基本上还是个人的工作。即使在僻远的地方,进步也是可能的。当然他需要几个朋友,得切磋之益。谢谢大家。
8 次阅读|0 个评论

京ICP备16021002-2号 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问:王进律师 知识产权保护声明   免责及隐私声明

GMT+8, 2024-3-29 07:27