Sunday, August 5, 2012

如果进一步要求在流形的不同局部做微积分的结果可以互相联系起来,成为 “整体微积分”,则称此流形为 “微分流形”。R4:这个流形上有无穷多种 “整体微积分” 可做,而我们通常做的四元微积分只是其中一种。这是 4 维的特殊性,因为其他维数的欧氏空间都跟我们的常识相符。

首页 >> 数学 >> 文章
earth拓扑学简介(一) 拓扑学简介(二) 拓扑学简介(三)
1854年,28岁的黎曼在哥廷根大学发表就职演讲。这个职位是所谓无薪讲师,他的收入完全来自于听课的学生所缴纳的学费。即使是争取这样一个职位, 也需要提供一篇就职论文以及发表一个就职演讲。1853年他提交了就职论文,其中讨论了什么样的函数可以展开成三角级数的问题,并导致对定积分的第一个严 格数学定义。之后的就职演讲要求候选人准备三个演讲课题,委员会从中挑选一个作为正式演讲题目。黎曼选了两个思虑多时的课题,外加一个还未及考虑的课题 ——关于几何学的基本假设。他几乎确信委员会将挑选前面两个题目之一。然而,委员会的高斯偏偏就看中了第三个题目。当时黎曼正沉浸于电、磁、光、引力之间 的相互关系问题,从这样的深沉思考中抽身转而研究新的问题无疑是一种巨大的压力,再加上长期的贫穷,一度让黎曼崩溃。但不久他就重新振作起来,用 7 个星期时间准备了关于几何学基本假设的演讲。为了让数学系以外的委员会成员理解他的演讲,黎曼只用了一个公式,并且忽略了所有计算细节。尽管如此,估计在场鲜有人能理解这次演讲的内容。只有高斯为黎曼演讲中蕴含的深邃思想激动不已。
黎曼在演讲中提出了 “弯曲空间” 的概念,并给出怎样研究这些空间的建议。 “弯曲空间” 正是后世拓扑学研究的主要对象。在这些对象上,除了可以运用代数拓扑的工具,还可以运用微积分工具,这就形成了 “微分拓扑学”。
回到黎曼的演讲。黎曼认为,几何学的对象缺乏先验的定义,欧几里德的公理只是假设了未定义的几何对象之间的关系,而我们却不知道这些关系怎么来的, 甚至不知道为什么几何对象之间会存在关系。黎曼认为,几何对象应该是一些多度延展的量,体现出各种可能的度量性质。而我们生活的空间只是一个特殊的三度延展的量,因此欧几里德的公理只能从经验导出,而不是几何对象基本定义的推论。欧氏几何的公理和定理根本就只是假设而已。但是,我们可以考察这些定理成立的可能性,然后再试图把它们推广到我们日常观察的范围之外的几何,比如大到不可测的几何,以及小到不可测的几何。接着,黎曼开始了关于延展性,维数,以及将延展性数量化的讨论。他给了这些多度延展的量(几何对象)一个名称,德文写作 mannigfaltigkeit, 英文翻译为 manifold,英文字面意思可以理解为 “多层”,中国第一个拓扑学家江泽涵把这个词翻译为 “流形”,取自文天祥《正气歌》,“天地有正气,杂然赋流形”,而其原始出处为《易经》,“大哉乾元,万物资始,乃统天。云行雨施,品物流形。” 这个翻 译比英文翻译更加符合黎曼的原意,即多样化的形体。
黎曼定义的 “n 维流形” 大概是这个样子的:以其中一个点为基准,则周围每个点的位置都可以用 n 个实数来确定。后人将这种性质总结为:流形的局部与 n 维欧氏空间的局部具有相同的拓扑性质。如果进一步要求在流形的不同局部做微积分的结果可以互相联系起来,成为 “整体微积分”,则称此流形为 “微分流形”。一个简单的例子就是二维球面。我们都知道,二维球面上没有整体适用的坐标。经度和纬度是一组很好的坐标,但是在南北两极,经度无从定义。尽管如此,球面的每个局部都可以画在平面上,这就是地图。把各个区域的地图收集在一起,重叠的部分用比例尺协调一下,就得到整个球面。这样,坐标(或地图) 只存在于每个局部,而整个球面其实是地图之间的重叠关系。球面是二维流形,因为球面的局部同平面(二维欧氏空间)的局部具有相同的延展性质。球面的整体结构显然跟平面不同。沿着球面的某个方向往前走,比如,从赤道某点出发往东走,最终会回到出发点。而如果在平面上沿某个方向往前走则永不回到出发点。研究流形的整体结构,以及整体结构与局部结构之间的关系,就是 “拓扑学” 的核心课题。微分流形上可以使用微积分的工具,再辅之以前面介绍过的代数工具(同调群,同伦群),就形成了威力强大的 “微分拓扑学”。这门学问的发展使我们对 5 维以上的单连通微分流形(回忆先前介绍的 “单连通” 概念,即每条曲线可于流形内滑缩为一点)有了比较彻底的认识。
到了80年代,数学家对 4 维单连通 “拓扑流形” 也有了彻底的认识,然而 4 维 “微分流形” 却是无比复杂的对象。比如,直观上最简单的四维流形,四维欧氏空间,也就是所有 (x,y,z,t) 这样的数组组成的空间,有无穷多个“微分结构”,通俗一点说,这个流形上有无穷多种 “整体微积分” 可做,而我们通常做的四元微积分只是其中一种。这是 4 维的特殊性,因为其他维数的欧氏空间都跟我们的常识相符。也许 “4” 就是传说中的上帝之数,我们的宇宙就是用 4 个参数来描述的(3个参数表示空间,1 个参数表示时间),我们的时空是一个四维流形。
如果我们忘掉时间,只考察我们生活的空间。它的形态会是怎样?这是黎曼在演讲结尾提出的问题。这个问题到现在还没有答案。这个答案需要物理学家、天文学家、宇宙学家去寻找。宇宙空间会不会是一个三维球面?如果是三维球面,那我们沿着一个方向往前飞行,最终总会回到起点。
相关文章

67 Responses to “拓扑学简介(四)—— 流形”

  1. HelloBeauty 说道:
    呃,貌似很深奥
  2. xuby 说道:
    强烈建议“科学松鼠会”网站的编辑器支持 Latex,现在有很多开源的代码,很容易做到。
  3. zoe 说道:
    此地名师荟萃,即使看不太懂我也认真看一下~~O(∩_∩)O~
  4. 橙色波浪 说道:
    很有趣的文章,但是能加点实际例子来说明就更好,意犹未尽呀。
  5. 木遥 说道:
    补充一句,manifold 一词在日文中的翻译就是“多样体”,两相比较就能看出江泽涵老先生是多么有文化。“流形”这个词甚至比原文都更准确的表达了它的内涵,不用说那个不知所谓的“多样体”直译了。
  6. Cielo 说道:
    赞!
    八卦一下,莫非作者是看片会上坐我前排的松鼠?
  7. 白左 说道:
    流形是一个非常非常美的翻译!
  8. chinar 说道:
    宇宙空间会不会是一个三维球面?
    ===========================
    SB问题. 空间就是空间. 三维球面的空间又是个什么东西. 撑得
    • xiphoid 说道:
      如果我们是一群蚂蚁,一辈子就在一棵树周围过活,那么基本上我们会认为地面是一个无限延展的平面。
    • cold 说道:
      无知不可怕,自以为什么都懂还动辄骂人就可怕了
  9. Metaverse 说道:
    这篇……还有后续吧?
  10. 愤怒的桔子 说道:
    完全看不懂,不过还是看完了。。。
  11. 第一滴泪 说道:
    拓补学跟非线性科学有什么关系,平时看到的很多奇怪的拓补图形,比如柯赫雪花之类的,只是存在局部跟整体的关系,并没有从出发点回到原点的性质?我不是学数学的,不过还是觉得很神奇,谢谢 xiphoid!另外,如果4是传说中的上帝之数,那中国人岂不是要郁闷死么?呵呵
    • xiphoid 说道:
      拓扑学跟非线性科学都可以看作是由庞卡莱建立的。他研究三体问题,即三个星体在引力作用下怎样运动。他发现这个问题的解具有很差的分析性质(比如无法显式写出、没有周期性、不收敛等等),所以他只好 “定性” 地研究这样的动力系统,研究系统积分曲线的 “大范围” 性质,比如轨道是否闭合、是否有起点终点、是否分岔等等。这些研究对他发展拓扑学有一定的启示。
      至于一些奇怪的图形,大概属于分形几何的范畴,其最大的特征并非拓扑性质,而是“自相似”。对分形几何的研究渗透了一些拓扑思想,比如分形的维数怎样定义,测度怎样定义,但是拓扑学的主要工具还没有进入分形几何的研究中。
  12. lpiszdf 说道:
    和中科院数学所缘悭一面的人路过……
    学了7年数学仍然对拓扑心有余悸的人路过……
  13. lpiszdf 说道:
    提个可能有点不好听的意见。尽管我早就改行不做数学了,但松鼠会和数学相关的文章我基本都看过。目前看来,还没有几个人能真正把数学的科普讲得深入浅出趣味横生。楼主在文采和诙谐方面还欠缺不少,当然这和拓扑这个主题可能也有关系,是一篇不错的简介,但离优秀的科普还有一定距离。我个人比较佩服木遥,他的文章的科普性更强一些。
    • xiphoid 说道:
      哈哈,只能说心有余而力不足。争取以后改进。
    • cold 说道:
      数学还是比较难讲的,不用公式的话很多东西都没办法表达,用了公式别人却看不懂了
  14. cold 说道:
    讲的蛮清楚,我是学理论物理的,正要学拓扑学,非常感谢
  15. 蚯蚓 说道:
    从第三片开始看不懂了
    我泪奔
    难道这个这么难吗?
    • xiphoid 说道:
      呃,我读数学书也要读个三五十遍才能懂个大概。。。
  16. zjymars 说道:
    现在看数学感觉上就是一种哲学,对这个世界本质的追问,因为思辨太过于复杂,不同的语言交流,甚至同一种语言交流都不能够方便的相互理解(个人觉得语言有太多的感情因素扰乱逻辑思路),所以要用一种抽象的语言来表达。
    对数学热爱的人一定是对万事万物有着无穷的好奇心的人,似乎看到的不是数学逻辑,看的到的是世界的本质。
    • xiphoid 说道:
      高斯黎曼也许达到这个境界了。很多普通数学研究者只是以此谋生。
    • 李旭 说道:
      数学本身研究的就是一切事物的本质。数学从哲学的角度定义就是研究事物关于度量的侧面。
  17. 说道:
    数学文章还是很有受众的,晓波同学继续写啊。
  18. 知识 说道:
    雁过留痕,我过留脚印....
  19. hayate 说道:
    很好的文章,加油加油!
  20. moreng 说道:
    我不懂数学~是个画画的~
    但是做3D的时候必然接触到楼主所说的点线面啊之类的东东~
    在人物脸部建模的时候,理论上说~布线就要考虑到拓扑学~
    而实际上~搞这行的人中很少有人懂数学~布线的时候主要还是从素描课学来的结构体积关系下手~
    真懂数学的,多半是开发软件的人而不是做美术的人。
    如果楼主能将拓扑的知识用3D建摸的例子讲一讲~那就善哉善哉了~
    因为单从美术的角度运用3D工具~布线的时候难免不尽科学~
    另外~记得在周老虎的某个第三方鉴定报告中~有一句“拓扑学分析为平面”~
    这句话怎么个意思???
    谢谢~
    • 白左 说道:
      这个和3D造型差别还是蛮大的吧。。。。拓扑是抽象研究形体的东西。。。3D建模则是具体的形。
      好像是生活中建筑学用到的数学知识和理论数学研究的关系一样。。。一堆完美数对建造完美的建筑关系不大。。。
      不知道我是否表达的清楚?
    • 季候风 说道:
      我对美术不了解。我想如果要把3D动画做得真实,也许的确需要一些三维空间里的几何,比如曲线和曲面的理论。最好的办法不是自己学,而是找一个学几何的朋友经常一起讨论讨论。
      而拓扑学对美术的价值也许是哲学层面上的,比如 Ecsher 的画作。
  21. frankiln 说道:
    我是做计算视觉研究的学生,最近的一些工作基本上就是基于高维图像空间的相应的低维流行建模的,想做一些工作去描述这些流行,现有的描述方法过于关注局部了我觉得,想拿一年时间系统学习拓扑学和微分几何,不知道有没有推荐的教材和学习方法什么的,请各位特别是楼主不吝赐教!!
    • 季候风 说道:
      在图像学里,微分几何比拓扑应用更广。可以看看陈维桓写的《微分流形初步》。当然,更好的办法是找个学几何的朋友一起讨论。
      • frankiln 说道:
        谢谢楼主,可惜我的学校工程气氛太浓,学数学的人少之又少啊
        • 季候风 说道:
          一个人学很难坚持,如果找不到学数学的就找一两个愿意一起学的,开个讨论班
          • 郝中华 说道:
            支持作者,我也打算做图像中流形降维的,通过您的文章对拓扑、流形有了初步了解,虽然一些地方看的不是很懂:)
            现在图像中的流形学习主要是用来降维(science上的两篇--LLE,ISOmap),总感觉流形在图像中的应用应该不止于此,起码数学上流形的产生不是用来解决降维问题的吧。。不知道作者对这方面有什么看法。
            再有,我读拓扑、流行方面的知识感觉很难理解,不知道其他人学习过程都是这样,还是我学习数学的天分不够,呵呵:)
            再次感谢:)
    • moreng 说道:
      “基于高维图像空间的相应的低维流行建模的”——我能不能把这话理解成你在研究UV展开?
      如果是的话~请加油哦~因为UV真的很烦 : )
      • frankiln 说道:
        UV展开是什么??3D建模这方面的东西不懂啊,我的工作应该是类似于找到视频当中的一些运动或者变形的抽象描述。
    • 郝中华 说道:
      朋友,我也打算做图像,流形降维方面的。我的QQ:215428488。能不能加我一下,谢谢了:)
  22. okyle 说道:
    我看不懂。。。。
    学材料的人飘过
  23. 季候风 说道:
    “另外~记得在周老虎的某个第三方鉴定报告中~有一句“拓扑学分析为平面”~
    这句话怎么个意思???”
    呵呵,人家就随便这么一说吧。千万别信。
  24. 瓜子黄杨 说道:
    翻看过一本拓扑学的书,还是科普读物,太难,都是数学公式。大概学数学的人不愿意罗哩罗嗦地讲一大堆。不喜欢用语言描述,把公式写出就万事大吉了。希望写数学书的人,多用语言,而不仅是公式来描述。
    • 季候风 说道:
      做数学研究的人往往觉得通篇公式的数学论文比通篇言辞的数学论文简单得多。这是数学的性质决定的。既然是关于 “数” 的学问,那么公式就是最自然的语言。日常语言反而会词不达意、晦涩、容易造成误解。这也是为什么小学数学课迫不及待地引进阿拉伯数字、乘法表、等式;中学数学课引进代数、函数等等这些概念。这些概念的引进都是为了将数学推理表达成公式。
      数学科普经常会扔出一个公式,然后花很多时间解释它的意义;而有时其效果不如读者自己花10分钟独立思考这个公式的意义。没有公式的数学科普如过眼云烟,其实不会在读者记忆中留下任何东西,也很难使读者对数学增进理解。
      我从学数学的学生到教数学的老师,最大的体会就是:数学不是在课堂上学到的。老师一般不可能让学生在课堂上就 “懂”,必须通过课前预习、课后复习、独立思考和做习题,才能真正懂得课堂讲授内容。与此类似,也不可能通过略读科普来增进对数学的了解或理解,如果是几何,还可以通过一个小例子让读者思考,而介绍其他数学领域恐怕是离不开公式的。
      2007年美国最顶尖的年轻数学家们试图写一本书向高中以上文化程度的民众解释现代数学的书。结果这本1000多页的书写成以后,编纂者们不得不承认,它甚至不能被一般掌握大学数学知识的民众理解。
  25. SwhGo_oN 说道:
    喜欢~非常感谢!加油~:)
  26. 好南儿 说道:
    拓扑学简介(三)
    前两天发现有张图片无法显示,今天打开一片空白。
  27. laoma 说道:
    “以其中一个点为基准,则周围每个点的位置都可以用 n 个实数来确定。”
    用N个实数来确定的一定可以用一个实数来确定。
    {0.abcdefg...,0.ABCDEFG...} 0.aAbBcCdDeEfFgG....
    • cc21 说道:
      不是你这个意思。
      黎曼的意思说白了就是n维流形上一点附近的点可以相对的有个坐标。
    • fwjmath 说道:
      但是如果这样写的话就失去了微分的性质了。
  28. 玄清 说道:
    呃....(三)好像失效了
  29. Ucweb 说道:
    很强大 很厉害
  30. mouse崽 说道:
    正在看基础拓扑学讲义,被那些概念搞得晕晕忽忽……

Leave a Reply

必填
必填,不会公开



No comments:

Post a Comment