《微分学》第五讲曲面论(二).pdf_大学文库

第五讲曲面论(二) Gauss- Bonnet公式 2001年11月23日 1曲面论发展的简介很高兴又与大家见面了.我在医院里住了几天,你们可以看出来我还没有完全好,不过我觉得我还是跟大家讲讲这些东西.那么,我今天要讲的是 Gauss-Bonnet公式.这个公式有相当的意义,也有相当的历史,尤其跟我个人的工作也有关系,所以我要提一提我跟这个问题是怎么样的关系.我们上次讲到曲面论,曲面论是微分几何里头最重要的一部分.因为许多微分几何的现象在在3维空间里的2维曲面的情况已经产生了.同时,因为它是在3维空间里头,这个几何的情况是可以看见的,不是完全用代数来表示曲面论有很长的历史,最早的当然是 Monge. Monge是法国的大数学家,他老先生对政治有些活动,所以他除了做大学教授之外,他对法国的教育有很多影响.他是拿破仑底下的一个雇员,帮助拿破仑做事,他是拿破仑政府的海军部长,甚至还跟着拿破仑去埃及打仗.因为他的影响,法国的高工学校( Ploytechnique)就建立起来了.很长一段时期,法国最好的学生都在高工学校.我想高工学校也许象现在的清华,有许多好的学生,例如说,法国一个最大的数学家 Poincare就是 Ploytechniquel的学生. Monge是第一个写关于微分几何书的人,他的书就叫做《微积分在几何上的应用》,这也是我要讲的题目.因此,法国的教育在微分几何有一个相当的传统除了 Monge本人之外,由于他在高工的影响,他有很多学生,都是在微分几何有相当贡献的人.然后在微分几何逐渐发展之中,比较晚一些的是法国另外一个大数学家 Darboux. Darbo ux是法国科学院的秘书长,所以在他的时期,他是在科技界有很多影响的一个人.他不仅是秘书长,也是巴黎大学理学院的院长他的最大的工作是四本《曲面论》.我想,这四大本是数学文献里头永远的个文献.现在可惜由于它是法文的,很多人不看这个书,我想这些人对微

➅✃❨ ▼➪❳(✓) ✠Gauss-BonnetÚ✯ 2001★11Û23❺ 1 ▼➪❳✕✵④❀➄ ✐➦❧➅➛▲✛❉➪ê. ➲ó✚Ó➦Ôê✁✕, ✜➣✱✶✗ñ✉➲↕➊ ❿q❭P, ❳✱➲ú③➲↕✹❐▲✛❨❨❨❏➚Ü. ➃, ➲➌✕✞❨④ ✹Gauss-BonnetÚ✯. ❨➬Ú✯❿★❤④❄❇, ✎❿★❤④➺✩, ❷Ù❐➲ ➬⑤④Ó✯✎❿✞ø, ➘✶➲✞✡✘✡➲❐❨➬➥☛✹✍➃ø④✞ø. ➲ ➣Þ✬❨t▼➪❳, ▼➪❳✹❻■✁❬➦❃✦➢✞④✘❭■. ❖➃➂õ❻ ■✁❬④✙✻óó3➅✽✲➦④2➅▼➪④❁❨✳➨➋✠ê. ✸✣, ❖➃➬ ✹ó3➅✽✲➦❃, ❨➬✁❬④❁❨✹✱✶✗❉④, ❳✹q❭⑦❙❥✉✱✰. ▼➪❳❿✐➓④➺✩, ✦④❤❧✹Monge. Monge ✹✛✮④▲❥➛✛, ➷ ➄☛✠é✉↔❿❏Ù➘, ➘✶➷øê✮▲➛s●❷✐, ➷é✛✮④s➳❿ ✐õ❦✴. ➷✹ü➺❯➂✆④✘➬ü✃, ÐÏü➺❯✮✴, ➷✹ü➺❯✉⑧ ④✵✁❭➓, ☎➊↕❐øü➺❯❱❸ù❑❈. ❖➃➷④❦✴, ✛✮④➦Ó➛ ❉(Ploytechnique)Ò❖➪å✉ê. ✐➓✘ã✣Ï, ✛✮✦P④➛✠Ñó➦Ó ➛❉. ➲✳➦Ó➛❉✎➂✻✙ó④✽➉, ❿➂õP④➛✠, ➽➌⑨, ✛✮✘➬ ✦▲④❥➛✛Poincare Ò✹Ploytechnique④➛✠. Monge✹➅✘➬❯✞➉ ❻■✁❬❱④⑤, ➷④❱Ò✇✮✕❻è■ó✁❬Þ④❛⑦✖, ❨✎✹➲✞❨ ④☛ø. ❖✩, ✛✮④s➳ó❻■✁❬❿✘➬★❤④☎✿. øêMongeý⑤ ❷✐, ❸➉➷ó➦Ó④❦✴, ➷❿✐õ➛✠, Ñ✹ó❻■✁❬❿★❤à✚④ ⑤. ❧⑨ó❻■✁❬➴▲✕✵❷➙, ✞✈t✘❏④✹✛✮☞✐✘➬▲❥➛ ✛Darboux. Darbo ux✹✛✮✮➛Ó④➩❱➓, ➘✶ó➷④✣Ï, ➷✹ó✮ ✆➂❿✐õ❦✴④✘➬⑤. ➷❳➑✹➩❱➓, ✎✹➤➞▲➛➤➛Ó④Ó➓. ➷④✦▲④Ó✯✹➃ý✕▼➪❳✖. ➲✳, ❨➃▲ý✹❥➛➞✚➦❃④Ï④ ✘➬➞✚. ✙ó✱ê❸➉➬✹✛➞④, ✐õ⑤❳✗❨➬❱, ➲✳❨❏⑤é❻ 1

分几何缺少一点了解,他们应该看这个书. Darboux的书讲得非常好,包括了很多材料.在1941相,我在西南联大教书,教《微分几何》,也讲到曲面论讲到曲面论时,当然就看 Darboux的书,就想到 Darboux的书里头,一个主要的方法是用活动标架,也就是采用活动标架法.他用得非常彻底,做得非常之漂亮. Darbon稍微不用的一点是他不用外微分,我想,我的课是讲微积分,而微积分你要讲到多元,多变数的时候,这个外微分不能避免.这是因为在多变数的时候,最有效的工具是外微分.外微分可以加,减,可以乘,可以微分,所以有很多代数的运算可以用到外微分,同时,一个外微分也是一个式子,这个式子给予很多数学问题,不管是它的几何,还是它的分析,都给你很多材料,因此是非常有用的. Darboux的缺点是他没有用外微分.他用活动标架法,但是没有外微分.因此,有很多工作,不用外微分,怎么办呢?他也是还要用微积分的,不用外微分,他用偏微分.用偏微分比外微分差得多了.因为你的曲面是2维的空间,所以对于两个变数,即曲面的参数u,U,你要对u求偏微分,对u求偏微分,这里头有很多偏微分,而用外微分就简单多了.但是他不采用外微分,这是很奇怪的事情. Darboux是发现一次外微分式的第一人.一个是 Darboux,一个是 Frobenius,他们两个人最那发现这个东西的,但是等到应用到曲面研究的时候,不知道为什么,他没有用.也底是由于传统的关系,他写了外微分之后,谁都不懂了,所以他不用外微分了.我刚才讲了,在1941相,我刚巧在昆明教这个课,我很自然地想,为什么不用外微分呢?所以我就用外微分想法子做 Darboux所做的工作,或者说至少做曲面论和一些几何的讨论.我采用外微分,因此我得到一个很好的了解 2曲面论基本内容的回顾什么叫外微分呢?就是你发现要研究曲面的话,曲面是一个2维的流形,它在普通空间里头是2维的,所以它上头任意一个点是两个变数,通常就叫做参数.但是现在呢,我们就叫它局全坐标u,v.因此它的坐标是2个变数的函数所以是这个条件使它在每一点有一个切平面这个切平面当然很要紧,因为 2

■✁❬❜è✘➎ê❽, ➷➣❛➈✗❨➬❱. Darboux④❱❨③✿➒P, Ý✐ê ✐õ❛î. ó1941 ★, ➲óÜ✟➱▲s❱, s✕❻■✁❬✖, ✎❨t▼➪❳. ❨t▼➪❳✣, ❤❧Ò✗Darboux④❱, Ò✳tDarboux④❱➦❃, ✘➬❒✞ ④✵✛✹⑦Ù➘✮✪, ✎Ò✹❢⑦Ù➘✮✪✛. ➷⑦③✿➒➫➂, ✮③✿➒ ❷↕à. Darbouxã❻❳⑦④✘➎✹➷❳⑦✐❻■, ➲✳, ➲④✶✹❨❻è ■, ✌❻è■✜✞❨tõ➹, õ★❥④✣⑧, ❨➬✐❻■❳✕✛➼. ❨✹❖➃ óõ★❥④✣⑧, ✦❿❍④Óä✹✐❻■. ✐❻■✱✶✜, ❃, ✱✶➷, ✱✶ ❻■, ➘✶❿✐õ❙❥④ä➤✱✶⑦t✐❻■, ✸✣, ✘➬✐❻■✎✹✘➬ ✯✝, ❨➬✯✝➱↔✐õ❥➛➥☛, ❳☛✹➬④✁❬, ↕✹➬④■Û, Ñ➱✜ ✐õ❛î, ❖✩✹✿➒❿⑦④. Darboux④❜➎✹➷➊❿⑦✐❻■. ➷⑦Ù ➘✮✪✛, ❜✹➊❿✐❻■. ❖✩, ❿✐õÓ ✯, ❳⑦✐❻■, ✍➃❮✑? ➷✎✹↕✞⑦❻è■④, ❳⑦✐❻■, ➷ ⑦➔❻■. ⑦➔❻■✞✐❻■❿③õê. ❖➃✜④▼➪✹2➅④✽✲, ➘✶ é➉Ü➬★❥, ý▼➪④❦❥u, v, ✜✞éu❋➔❻■, év❋➔❻■, ❨➦❃ ❿✐õ➔❻■, ✌⑦✐❻■Ò❀❭õê. ❜✹➷❳❢⑦✐❻■, ❨✹✐Û ✆④✴❁. Darboux✹✕✙✘✬✐❻■✯④➅✘⑤. ✘➬✹Darboux, ✘➬ ✹Frobenius, ➷➣Ü➬⑤✦✕✙❨➬➚Ü④, ❜✹⑧t❛⑦t▼➪Ï➘④ ✣⑧, ❳⑧✇➃✤➃, ➷➊❿⑦. ✎➂✹❸➉☎✿④✞ø, ➷❯ê✐❻■❷ ⑨, ①Ñ❳➹ê, ➘✶➷❳⑦✐❻■ê. ➲➛❜❨ê, ó1941★, ➲➛✜ó❢ Òs❨➬✶, ➲✐✞❧➃✳, ➃✤➃❳⑦✐❻■✑?➘✶➲Ò⑦✐❻■✳✛ ✝✮Darboux➘✮④Ó✯, Ý❱⑨➊è✮▼➪❳❩✘❏✁❬④ÿ❳. ➲❢⑦ ✐❻■, ❖✩➲③t✘➬✐P④ê❽. 2 ▼➪❳äý✓➂④➹ú ✤➃✇✐❻■✑?Ò✹✜✕✙✞Ï➘▼➪④➏, ▼➪✹✘➬2➅④✖♦, ➬ó ✃✴✽✲➦❃✹2➅④, ➘✶➬Þ❃⑧❄✘➬➎✹Ü➬★❥, ✴➒Ò✇✮❦ ❥. ❜✹✙ó✑, ➲➣Ò✇➬Û❭✰✮u, v. ❖✩➬④✰✮✹2➬★❥④❁❥, ➘✶✹❨➬✣●✫➬ó➎✘➎❿✘➬★➨➪. ❨➬★➨➪❤❧✐✞➏, ❖➃ 2

我们没有法子研究复杂的图形.我们只能研究最简单的如直线,平面这些东西.切平面跟曲面有最密切的关系.那么,单说密切的关系不够,一定要解析地能够解决比较更深刻的一些问题.有一个切平面,在这个切平面上是2维的,于是每一点就有许多矢量,也就是切矢量.切矢量就是跟这个曲面相切的矢量.因为这个曲面是在 Euclid空间里头,所以我可以讲这个矢量的长度为简单起见,我限于讨论长度等于1的矢量,即单位矢量,所以有一圈单位切矢量.跟这些单位切矢量垂直的有另外一个矢量,我们假定它是取成单位的,那么这个矢量我们叫做单位法矢量.要注意的是这里就有一个几何现象发生了,因为假使这个曲面弄平了的话,单位法矢量可以向上走,也可以向下走换句话说,这个曲面除了是一个2维的流形之外,它还有一个定向:在曲面上你是顺方向转,还是跟逆方向转,这个转动是很不一样的.所以,你要定怎么样子转动是顺方向,这就是要给曲面一个定向.定向有了之后,它的单位法矢量就定了.单位法矢量在这个方向可以向上走,也可以向下走定了一个之后,这个曲面也就定向了.这是很重要的一个观念.虽然相差的只是一个符号,但是这是一个很重要的观念. Mobius是德国伟大的几何学家因为你要定向, Mobius发现有些曲面不能定向,这当然是很有意思的一件事情.你们大家都知道的这个图形:就是拿一张纸,你把它转一圈连起来的话, 就得到所谓的 Mobius曲面,它没法子定向.这是几何上很有意思的一件事情.那么我们假定曲面已经确定了一个方向.有了这样定向的曲面之后,几何情况是怎么样的呢?由单位法矢量e3,其中e3是在3维空间,你发现有一件事实,就是说你单独讨论曲面不够,你一定要利用曲面上的单位切矢量,我叫这个单位切矢量为e1.这样我就有了一个标架,它有了第一个单位矢量和第三个单位矢量.如果空间是定向的,第二个单位矢量e2=e3×e1也就完全确定了.所以我就有个单位标架.单位标架就是三个单位矢量按照一定的次序,是互相垂直的.为什么单位标架在几何的研究之中是这么重要?就是因为几何是根据运动群研究空间在运动之下不变的几何性质,而这运动群就是标架所成的空间.因为是有一个并且只有一个运动把一个标架变为其它的标架至于全体的单位标架跟这个运动群的元素成一一对应,不但是一对应,而且对应保持拓扑和一切的性质,所以运动群很要紧.因为空讲的

➲➣➊❿✛✝Ï➘❹ì④❈♦. ➲➣➄✕Ï➘✦❀❭④➌❺✧, ➨➪❨❏➚ Ü. ★➨➪❐▼➪❿✦➲★④✞ø. ➃, ❭⑨➲★④✞ø❳ê, ✘➼✞❽Û ➃✕ê❽û✞✈❮ý✴④✘❏➥☛. ❿✘➬★➨➪, ó❨➬★➨➪Þ✹2 ➅ ④, ➉✹➎✘➎Ò❿➂õ✪Þ, ✎Ò✹★✪Þ. ★✪ÞÒ✹❐❨➬▼➪★★ ④✪Þ. ❖➃❨➬▼➪✹óEuclid ✽✲➦❃, ➘✶➲✱✶❨❨➬✪Þ④➓Ý. ➃❀❭å❉, ➲✦➉ÿ❳➓Ý⑧➉1 ④✪Þ, ý❭➔✪Þ, ➘✶❿✘❲❭➔ ★✪Þ. ❐❨❏❭➔★✪Þ✒❺④❿☞✐✘➬✪Þ, ➲➣✧➼➬✹❘➘❭➔ ④, ➃❨➬✪Þ➲➣✇✮❭➔✛✪Þ. ✞Õ❄④✹❨➦Ò❿✘➬✁❬✙✻ ✕✠ê, ❖➃✧✫❨➬▼➪❆➨ê④➏, ❭➔✛✪Þ✱✶✺Þ✒, ✎✱✶✺ ✆✒. ➛é➏⑨, ❨➬▼➪øê✹✘➬2➅④✖♦❷✐, ➬↕❿✘➬➼✺: ó ▼➪Þ✜✹⑦✵✺Ý, ↕✹❐✤✵✺Ý, ❨➬Ý➘✹✐❳✘ø④. ➘✶, ✜✞ ➼✍➃ø✝Ý➘✹⑦✵✺, ❨Ò✹✞➱▼➪✘➬➼✺. ➼✺❿ê❷⑨, ➬④ ❭➔✛✪ÞÒ➼ê. ❭➔✛✪Þó❨➬✵✺✱✶✺Þ✒, ✎✱✶✺✆✒. ➼ ê✘➬❷⑨, ❨➬▼➪✎Ò➼✺ê. ❨✹✐➢✞④✘➬✡✬. ➥❧★❿④➄ ✹✘➬♥❘, ❜✹❨✹✘➬✐➢✞④✡✬. Mobius✹②✮➉▲④✁❬➛✛. ❖➃✜✞➼✺, Mobius✕✙❿❏▼➪❳✕➼✺, ❨❤❧✹✐❿❄❻④✘●✴ ❁. ✜➣▲✛Ñ⑧✇④❨➬❈♦: Ò✹ü✘❁➆, ✜➨➬Ý✘❲❐å✉④➏, Ò③t➘➣④Mobius ▼➪, ➬➊✛✝➼✺. ❨✹✁❬Þ✐❿❄❻④✘●✴ ❁. ➃➲➣✧➼▼➪✳➨❤➼ê✘➬✵✺. ❿ê❨ø➼✺④▼➪❷⑨, ✁ ❬❁❨✹✍➃ø④✑?❸❭➔✛✪Þe3, Ù➙e3 ✹ó3➅✽✲, ✜✕✙❿✘● ✴✧, Ò✹⑨✜❭Õÿ❳▼➪❳ê, ✜✘➼✞➻⑦▼➪Þ④❭➔★✪Þ, ➲ ✇❨➬❭➔★✪Þ➃e1. ❨ø➲Ò❿ê✘➬✮✪, ➬❿ê➅✘➬❭➔✪Þ❩ ➅➤➬❭➔✪Þ. ➌✯✽✲✹➼✺④, ➅✓➬❭➔✪Þe2 = e3 × e1✎Òq❭ ❤➼ê. ➘✶➲Ò❿➬❭➔✮✪. ❭➔✮✪Ò✹➤➬❭➔✪Þ➉▲✘➼④ ✬➇, ✹➄★✒❺④. ➃✤➃❭➔✮✪ó✁❬④Ï➘❷➙✹❨➃➢✞? Ò✹ ❖➃✁❬✹✃âä➘❦Ï➘✽✲óä➘❷✆❳★④✁❬✉➓, ✌❨ä➘❦ Ò✹✮✪➘➘④✽✲. ❖➃✹❿✘➬❄✪➄❿✘➬ä➘➨✘➬✮✪★➃Ù ➬④✮✪. ➊➉❭✍④❭➔✮✪❐❨➬ä➘❦④➹↔➘✘✘é❛, ❳❜✹✘ ✘é❛, ✌✪é❛âÑ❴➚❩✘★④✉➓, ➘✶ä➘❦✐✞➏. ❖➃✽❨④ 3

运动不知道在解析的情况之下如何可以处理,而了标架之后,就可以处理了标架就是矢量了,而矢量一般是有3个分量的矢量,而每一个分量是函数,就可以把它微分,加,减什么的.矢量有加,减的运算,也有微分的运算.在某种意义下,还可以有积分的运算.所以我现在就可以微分.我研究曲面的时候,不只一个标架,那么在曲面的每点,这样的标架有多少呢?假使你晓得e1的话,同时这个曲面是定向的,这个标架就完全定了.e1是什么呢?e1是这个曲面在这一点的单位切矢量,那么这个曲面有多少单位切矢量呢?每点有一圈在切平面上头等于单位矢量,而曲面是2维的,所以它们所成的空间是3维流形.这是因为这个点是在曲面上移动,是2维的,现在在点定了之后, 单位切矢量可以绕着它转一圈,成一个圆周,所以它是又加一维,是3维.这个3维空间非常要紧.我想现在实际上,你们要了解微积分或者了解跟微积分下去的数学或者在数学中的应用,这个情况是最简单的,同时是最有用的所以我有一个3维空间,由于每一点有个圆周,现在有个名字叫做圆丛,或者圆周丛,丛是 bundle.所以你要研究曲面的几何性质,用这个解析的方法, 定要讨论它的圆丛.讨论圆丛了之后,一切都简单了.因为一切都是矢量而是矢量的话,它有分量,就可以微分,就可以用代数或者微分的运算.我们是在讨论微积分,我们假定碰到什么函数都可以微分.我叫在这个曲面上的点为x,那么dx是一个矢量,就是从原点连着这个点的矢量.x是u,的函数,而u,v是曲面上的局部坐标,所以你可以写出dx:假使x限制在曲面上那么dx一定是e1与e2的线性组合,所以在这个地方,我就充分利用外微分的观念.实际上dx是一个矢量值的一次微分式,所以它是e1与e2的线性组合, 它的组合系数是一次微分式,所以dx可以写为 dr=wiel+woe, (dax,dx)就是我们曲面的黎曼度量.因为e1,e2是互相垂直的单位矢量,所以就是黎曼度量.如果这个清楚了,这对于普通讲微分几何简单多了.因为普通微分几何,黎曼度量要写成 giidaidr,这是因为在切空间里所利用

ä➘❳⑧✇ó❽Û④❁❨❷✆➌❬✱✶ÿ➤, ✌ê✮✪❷⑨, Ò✱✶ÿ➤ê. ✮✪Ò✹✪Þê, ✌✪Þ✘➘✹❿3➬■Þ④✪Þ, ✌➎✘➬■Þ✹❁❥, Ò ✱✶➨➬❻■, ✜, ❃✤➃④. ✪Þ❿✜, ❃④ä➤, ✎❿❻■④ä➤. óì ➠❄❇✆, ↕✱✶❿è■④ä➤. ➘✶➲✙óÒ✱✶❻■. ➲Ï➘▼➪④ ✣⑧, ❳➄✘➬✮✪, ➃ó▼➪④➎➎, ❨ø④✮✪❿õè✑? ✧✫✜❆ ③e1④➏, ✸✣❨➬▼➪✹➼✺④, ❨➬✮✪Òq❭➼ê. e1✹✤➃✑? e1✹ ❨➬▼➪ó❨✘➎④❭➔★✪Þ, ➃❨➬▼➪❿õè❭➔★✪Þ✑? ➎➎ ❿✘❲ó★➨➪Þ❃⑧➉❭➔✪Þ, ✌▼➪✹2➅④, ➘✶➬➣➘➘④✽✲ ✹3➅✖♦. ❨✹❖➃❨➬➎✹ó▼➪Þ★➘, ✹2➅④, ✙óó➎➼ê❷⑨, ❭➔★✪Þ✱✶✇ø➬Ý✘❲, ➘✘➬❐➧, ➘✶➬✹➅✜✘➅, ✹3➅. ❨ ➬3➅✽✲✿➒✞➏. ➲✳✙ó✧✓Þ, ✜➣✞ê❽❻è■Ý❱ê❽❐❻è ■✆❱④❥➛Ý❱ó❥➛➙④❛⑦, ❨➬❁❨✹✦❀❭④, ✸✣✹✦❿⑦④. ➘✶➲❿✘➬3➅✽✲, ❸➉➎✘➎❿➬❐➧, ✙ó❿➬Ö✠✇✮❐✲, Ý❱ ❐➧✲, ✲✹bundle. ➘✶✜✞Ï➘▼➪④✁❬✉➓, ⑦❨➬❽Û④✵✛, ✘ ➼✞ÿ❳➬④❐✲. ÿ❳❐✲ê❷⑨, ✘★Ñ❀❭ê. ❖➃✘★Ñ✹✪Þ, ✌✹✪Þ④➏, ➬❿■Þ, Ò✱✶❻■, Ò✱✶⑦❙❥Ý❱❻■④ä➤. ➲ ➣✹óÿ❳❻è■, ➲➣✧➼➁t✤➃❁❥Ñ✱✶❻■. ➲✇ó❨➬▼➪Þ ④➎➃x, ➃dx ✹✘➬✪Þ, Ò✹✱➷➎❐ø❨➬➎④✪Þ. x ✹u, v ④❁ ❥, ✌u, v✹▼➪Þ④Û❭✰✮, ➘✶✜✱✶❯ñdx: ✧✫x ✦➏ó▼➪Þ, ➃dx✘➼✹e1 ➛e2④✧✉✜❭, ➘✶ó❨➬➃✵, ➲Òß■➻⑦✐❻■④ ✡✬. ✧✓Þdx✹✘➬✪Þ❾④✘✬❻■✯, ➘✶➬✹e1 ➛e2 ④✧✉✜❭, ➬④✜❭ø❥✹✘✬❻■✯, ➘✶dx✱✶❯➃ dx = ω1e1 + ω2e2. (5.1) (dx, dx) Ò✹➲➣▼➪④➞②ÝÞ. ❖➃e1, e2✹➄★✒❺④❭➔✪Þ, ➘✶ ω 2 1 + ω 2 2 = ds2 (5.2) Ò✹➞②ÝÞ. ➌✯❨➬✽ùê, ❨é➉✃✴❨❻■✁❬❀❭õê. ❖ ➃✃✴❻■✁❬, ➞②ÝÞ✞❯➘gijdxidxj , ❨✹❖➃ó★✽✲➦➘➻⑦ 4

的坐标是候意的 Ca rtesian坐标,它不一定垂直,也不一定是单位.dx等于u1e1+w2e2,但是我们外微分有个基本的性质,就是再用一次的话,它等于0.这就是普通说的偏微分可以是交换的条件,一样的,也就是得到的偏微分与微分的次序无关.所以你就把d到dx上头,一定等于0.你把右边展开的话,就得到d(ue)+d(u2e2),独意当外微分前面有一个一次因式的话,微分第二个因子要改号.也而言之,可以得到 du1=-2∧w12;d2=u1∧u12 0=du3=a1∧u13+u2∧w23 (5.4 我会在下面给出12,13,u23.既然用微积分了,所以可以把(re1e2,e3)的微分表么e,e2,e3的线性组合.这个线性组合把de写成ey现在我用微分几何普通的符号:假使有一个指数要重复的话,就表示相加,,j,k从1到3.你把de;写成e,ω的几何意义很明显:你现在有一组标架,这组标架跟组参数有关系,而对于这一组标架,就有一个邻近标架,这个邻近标架跟原来标架的关系就是u这关系是由一次微分式来表示的.因此就有 ej 这组方程式很要紧,它就表示两个邻近标架互相的关系.在这个函况之下, 微分几何跟力学不大一样,力学往往变数是时间,所以一个标架跟着时间在移动,因此你整个标架只有一个变数,都是时间t的函数.现在我们是一个曲面,每点有许多标架,所以我这标架的参数是3.这是因么有切面的局部坐标,又有切矢量在平面里头变换的坐标,所以我现在这个要变数是3,还因么E这空间是3维的.要变数高了,所以这是有原因使得外微分有效.我们已将de写成方程(5.5).ω对于i,j是反对称的,这是因么我的标架是单位标架即因么(e,e)=6,所以它是反对称的.因此线际上很简单:你把(c)写出来,它是一个方阵.这个方阵是反对称的,所以在对角线的u等于0,其余的对着对角线是反对称的,因此线际上只有3个一次微分式:12,13,23 我想我上次德明了ω12由du1,du的方程(5.3)完合确定,这是一个重要的定 5

④✰✮✹⑧❄④Ca rtesian✰✮, ➬❳✘➼✒❺, ✎❳✘➼✹❭➔. dx ⑧ ➉ω1e1 + ω2e2, ❜✹➲➣✐❻■❿➬äý④✉➓, Ò✹ò⑦✘✬④➏, ➬⑧ ➉0. ❨Ò✹✃✴⑨④➔❻■✱✶✹❜➛④✣●, ✘ø④, ✎Ò✹③t④➔❻ ■➛❻■④✬➇➹✞. ➘✶✜Ò➨d⑦tdxÞ❃, ✘➼⑧➉0. ✜➨➁✣✵✌ ④➏, Ò③td(ω1e1) + d(ω2e2), Õ❄❤✐❻■✄➪❿✘➬✘✬❖✯④➏, ❻ ■➅✓➬❖✝✞➉❘. ✎✌Ó❷, ✱✶③t dω1 = −ω2 ∧ ω12; dω2 = ω1 ∧ ω12. (5.3) 0 = dω3 = ω1 ∧ ω13 + ω2 ∧ ω23. (5.4) ➲❒ó✆➪➱ñω12, ω13, ω23. ✑❧⑦❻è■ê, ➘✶✱✶➨(xe1e2, e3)④❻ ■✱➃e1, e2, e3④✧✉✜❭. ❨➬✧✉✜❭➨dei❯➘ωijej . ✙ó➲⑦❻■✁ ❬✃✴④♥❘: ✧✫❿✘➬➁❥✞➢❹④➏, Ò✱✰★✜, i, j, k✱1t3. ✜ ➨dei ❯➘ωijej , ωij④✁❬❄❇✐Ò✗: ✜✙ó❿✘✜✮✪, ❨✜✮✪❐✘ ✜❦❥❿✞ø, ✌é➉❨✘✜✮✪, Ò❿✘➬ù↔✮✪, ❨➬ù↔✮✪❐➷ ✉✮✪④✞øÒ✹ωij . ❨✞ø✹❸✘✬❻■✯✉✱✰④. ❖✩Ò❿ dei = ωijej . (5.5) ❨✜✵➬✯✐✞➏, ➬Ò✱✰Ü➬ù↔✮✪➄★④✞ø. ó❨➬❁❨❷✆, ❻■✁❬❐➴➛❳▲✘ø, ➴➛⑨⑨★❥✹✣✲, ➘✶✘➬✮✪❐ø✣✲ó ★➘, ❖✩✜r➬✮✪➄❿✘➬★❥, Ñ✹✣✲t④❁❥. ✙ó➲➣✹✘➬▼ ➪, ➎➎❿➂õ✮✪, ➘✶➲❨✮✪④❦❥✹3. ❨✹❖➃❿★➪④Û❭✰ ✮, ➅❿★✪Þó➨➪➦❃★➛④✰✮, ➘✶➲✙ó❨➬✞★❥✹3, ↕❖ ➃E ❨✽✲✹3➅④. ✞★❥➦ê, ➘✶❨✹❿➷❖✫③✐❻■❿❍. ➲➣✳ ❘dei ❯➘✵➬(5.5). ωijé➉i, j✹✬é➪④, ❨✹❖➃➲④✮✪✹❭➔✮✪, ý❖➃(ei , ej ) = δij , ➘✶➬✹✬é➪④. ❖✩ωij✧✓Þ✐❀❭: ✜➨(ωij )❯ ñ✉, ➬✹✘➬✵❥. ❨➬✵❥✹✬é➪④, ➘✶óé♥✧④ω⑧➉0, Ù➏ ④éøé♥✧✹✬é➪④, ❖✩✧✓Þ➄❿3➬✘✬❻■✯: ω12, ω13, ω23. ➲✳➲Þ✬②Òêω12❸dω1, dω2④✵➬(5.3)q❭❤➼, ❨✹✘➬➢✞④➼ 5

❿Ü➬✽✲: ❿E❨➬✽✲❩▼➪M. ✴✧Þ, ❿ê▼➪M, ❧⑨❿❸➘❿➬ ④❭➔✪Þ➘➘④✽✲✹E, ➬✹▼➪④❐➧✲. ✙ó✴➒✇❨➬▼➪✹➂ ✽✲, ➬✹ó➂Þ④✘➬✽✲. ➘✶Ò❿✘➬3➅④❐➧✲, ➬④➂✽✲✹➲ ➣④▼➪. ó❨➬❁❨❷✆, ➲➣❿✁➬✘✬❻■✯: ó✽✲➦❃❿✘✬❻ ■✯ω1, ω2, ❧⑨❿ω12, ω13, ω23, ✘á5➬✘✬❻■✯, Ù➙ω13, ω23✹ω1, ω2④ ✧✉✜❭(Ú✯(5.11)), ➬✱✰▼➪④✁❬✉➓. ➲➣❿ ➅✘äý✯ I = ds2 = (dx, dx) = ω 2 1 + ω 2 2 ; (5.13) ➅✓äý✯ II = (−dx, de3) = ω1 ∧ ω13 + ω2 ∧ ω23 = aω2 + 2bω1ω2 + cω2 2 . (5.14) ✎Ò✹ω1∧ω13 ✜Þω2∧ω23✹▼➪➘➣④➅✓äý✯. ➅✘äý✯✹ω 2 1+ω 2 2 , ✹Ü➬★❥ω1, ω2④➨✵❩. ➅✓äý✯é➉➅✘äý✯❿✁♥❾, ✁♥❾④ ❙❥❩✘➘✇✮➙▼●H = a+c 2 , ✁♥❾④èÒ✹Gauss▼●, ➘✶Gauss▼ ●✹ac − b 2 . ✌➲➣✙ó❿✘➬Û➱④Ú✯Ò✹dω12 = −Kω1 ∧ ω2. ó❨ ➬Ú✯➁✣, ω1 ∧ ω2 Ò✹▼➪④➪è➹↔, ➬❤❧➄❐▼➪④ÝÞ❿✞, ➛ ➬④➔➌➊❿✞ø, ➄❐▼➪④➅✘äý✯❿✞. ó➬④✫✣, ω12 ✹➲➣ ④Levi-Civita➱❞, ❸➉➁✣❸➅✘äý✯q❭❤➼, ➘✶✫✣✎✹➄➛➅ ✘äý✯❿✞, ❖✩➲➣⑧✇Gauss▼●➄❐➅✘äý✯❿✞. ❨✹Gauss✿ ➒③❄④❼✯. 3 Gauss-BonnetÚ✯ ➲➣✱✶❸dω12 = −Kω1 ∧ ω2 ③ñ✉Gauss❿Ö④❨➬➼➤. ➲✙ó⑨, Gauss-Bonnet Ú✯✎➪✴Ò❸❨➬Ú✯③ñ✉. ➃, ❤★➲✎❨➃✳, ❖ ➃✧✫✜❿✘➬❯✔④▼➪, ❿ê❨➬Gauss ▼●➷✶➪è➹↔, ✜❤❧✐ ✞❧➃➥➬④è■✹✤➃: ❿✘➬➪è➹↔➷✶✘➬❁❥(Gauss▼●), ➨ ➬ó▼➪Þè✘✭③ñ④❥✹❳✹❐❨➬▼➪④✁❬❿✞?➃, ❨➬Ò ✹Gauss-BonnetÚ✯: M✹❯✔④➼✺▼➪, ☛ Z Z KdA = 1 2π χ(M). (5.15) 7

在我们这个公式中,我们把A2叫面积元素,我们也可以叫它做dA, KdA就是这个积分.你立刻就想:我们在封闭的曲面,所以如果有一个积分,它可以写所d什么的,那么它的积分在应该是在曲面的时界上,可以变为一个时界积分,这是我开始讲的 Stokes定理主要的部分.所以会不会由这个得到Gaus曲率的积分是0.这看然是错误的,Gaus率积分不会等于0,这是因为你取一个2维的球面,它可以取一般的度量使它的Gaus曲率等于1,那么在曲面上的积分当然不会等于0.所以这个道理是错误的.当年因此我想错在什么地方.错在我们这个公式du12=-KdA不是在曲面上, 是在圆周丛上头.这个曲面是在圆周丛上,所以我需要把这个曲面提高到圆周丛上头,提高是什么意思呢?就是在每一点你取这个点作为原点的单位切矢量.所以换句紧说,我们一般叫这个为矢量场,因此你在一个2维流形上面要取一个矢量场,这个矢量是单位矢量跟曲面相切,即为单位矢量场,这是不是可能?随便任给你一个曲面,你能不能每点指定一个单位切矢量,或者切矢量,使得它是连续的,甚至是可以微分的.这样的矢量场不定有,这是一个拓扑的定理.整个的这一段的发展是曲面论,或者是整体曲面论跟曲面的度量这种种的关系在差不多100年前是主要的问题.那个时候最主要的杂志是《 Mathematische annalen》,全世界数学的中心是在德国.《 Mathematische annalen》上头关于这个问题有很多文章.那时候, Einstein是《 Mathematische annalen》的一个什辑.这个问题完全搞清楚了需要一些时间.那么活中有一个因素是假使你有一个封闭的曲面,你取每点的并且定向的单位法矢量,即取每点确定的单位法矢量,把它映射到单位球上去,这个通常叫做Gaus映射.所以Gaus映射把你的曲面映射到单位球上去,这样就把一个2维曲面映射到另一个2维曲面,两个都是定向的,于是这里就有一个拓扑不变式,叫做 Mapping degree,即映射的次数.在平面的情形,你有一条曲线,所以单位球就是单位圆,那么你把这条封闭的曲线映射到单位圆上头,究竟它转了多少圈呢?这就是 Mapping degree(映射的次数).这个定义在高维,甚至是2维就不这么简单了.看然,我们把曲面映射到单位球上头,然后取单位球上头的面积元素,这就是 Gauss曲率,所以这个映射就等于 Gauss曲率的积分,把这个对面空间的面积元素用映射拉

ó➲➣❨➬Ú✯➙, ➲➣➨ω1 ∧ ω2 ✇➪è➹↔, ➲➣✎✱✶✇➬✮dA, KdAÒ✹❨➬è■. ✜➪✴Ò✳: ➲➣ó❯✔④▼➪, ➘✶➌✯❿✘➬è ■, ➬✱✶❯➘d✤➃④, ➃➬④è■ó❛➈✹ó▼➪④✣➂Þ, ✱✶★ ➃✘➬✣➂è■, ❨✹➲✌✮❨④Stokes➼➤❒✞④❭■. ➘✶❒❳❒❸ ❨➬③tGauss▼●④è■✹0 . ❨✗❧✹❋Ø④, Gauss▼●è■❳❒⑧ ➉0, ❨✹❖➃✜❘✘➬2➅④❊➪, ➬✱✶❘✘➘④ÝÞ✫➬④Gauss▼● ⑧➉1, ➃ó▼➪Þ④è■❤❧❳❒⑧➉0. ➘✶❨➬✇➤✹❋Ø④. ❤ ★❖✩➲✳❋ó✤➃➃✵. ❋ó➲➣❨➬Ú✯dω12 = −KdA❳✹ó▼➪Þ, ✹ó❐➧✲Þ❃. ❨➬▼➪✹ó❐➧✲Þ, ➘✶➲❽✞➨❨➬▼➪✡➦t ❐➧✲Þ❃, ✡➦✹✤➃❄❻✑? Ò✹ó➎✘➎✜❘❨➬➎✯➃➷➎④❭ ➔★✪Þ. ➘✶➛é➏⑨, ➲➣✘➘✇❨➬➃✪Þ➐, ❖✩✜ó✘➬2➅✖ ♦Þ➪✞❘✘➬✪Þ➐, ❨➬✪Þ✹❭➔✪Þ❐▼➪★★, ý➃❭➔✪Þ ➐, ❨✹❳✹✱✕? ➧✧⑧➱✜✘➬▼➪, ✜✕❳✕➎➎➁➼✘➬❭➔★ ✪Þ, Ý❱★✪Þ, ✫③➬✹❐➍④, ☎➊✹✱✶❻■④. ❨ø④✪Þ➐❳ ✘➼❿, ❨✹✘➬❴➚④➼➤. r➬④❨✘ã④✕✵✹▼➪❳, Ý❱✹r ✍▼➪❳❐▼➪④ÝÞ❨➠➠④✞øó❿❳õ100★✄✹❒✞④➥☛. ➬✣⑧✦❒✞④ì➇✹✕Mathematische Annalen✖, ❭✲➂❥➛④➙❡✹ ó②✮. ✕Mathematische Annalen✖Þ❃✞➉❨➬➥☛❿✐õ➞✾. ✣ ⑧, Einstein✹✕Mathematische Annalen✖④✘➬✤ö. ❨➬➥☛q❭➫✽ ùê❽✞✘❏✣✲. ➃Ù➙❿✘➬❖↔✹✧✫✜❿✘➬❯✔④▼➪, ✜ ❘➎➎④❄✪➼✺④❭➔✛✪Þ, ý❘➎➎❤➼④❭➔✛✪Þ, ➨➬♥ó t❭➔❊Þ❱, ❨➬✴➒✇✮Gauss ♥ó. ➘✶Gauss♥ó➨✜④▼➪♥ó t❭➔❊Þ❱, ❨øÒ➨✘➬2➅▼➪♥ót☞✘➬2➅▼➪, Ü➬Ñ✹➼✺ ④, ➉✹❨➦Ò❿✘➬❴➚❳★✯, ✇✮Mapping Degree, ý♥ó④✬❥. ó ➨➪④❁♦, ✜❿✘✣▼✧, ➘✶❭➔❊Ò✹❭➔❐, ➃✜➨❨✣❯✔④ ▼✧♥ót❭➔❐Þ❃, ➘➽➬Ýêõè❲✑?❨Ò✹Mapping Degree(♥ó ④✬❥). ❨➬➼❇ó➦➅, ☎➊✹2➅Ò❳❨➃❀❭ê. ✗❧, ➲➣➨▼➪ ♥ót❭➔❊Þ❃, ❧⑨❘❭➔❊Þ❃④➪è➹↔, ❨Ò✹Gauss ▼●, ➘ ✶❨➬♥óÒ⑧➉Gauss▼●④è■, ➨❨➬é➪✽✲④➪è➹↔⑦♥ó♥ 8

元来之后和原来曲面的面积元素一除,即为求它的整个的积分,就得到映射的 Degree.可以证明这个 Degree在可以定向的曲面的函这下,它是曲面的 Euler数的2很可惜的,我大概没有时间把这个完合讲完.我想我下次再详细讲讲.我现在大致讲讲这个证明是怎么样的.显然我们已有基本公式du12=-KdA.我们还要把曲面放到E上去,所以要定一个单位矢量场这不一定可天.这样的单位矢量场要有异点,也就是说如果你允许整体单位矢量场有异点的话,它那是可天的.这也需要证明.有了异点之后,就看这个异点的性质,比如说,你看看这些单位矢量场,画这儿个图(图略所.这是矢量场的异点的可天性,可天矢量场有许多不同的方向,但是在异点有时候这个矢量向外走,也有时候矢量向里走,也有时候就象第三个图,它是跟双曲线相切.所以讨论矢量场的异点的性质是非常有意思的问题.那么我在任何曲面一定有一个,并且且不只一个,而是有许多有异点的单位矢量场在这个函形之下,你要把曲面切成小块,切成一个所谓 complex(复形).你先定它在顶点,因为所谓的 complex,就是说,有些顶点,有些边,有些面,在顶点,定一个任何的矢量,那么第二步把这个矢量场延到边.取一个边的话,如果矢量场已经在顶点确定了,那么很容易看岀来可以把它延到整个的边.现在是面了:假使是面的话,比方说有个三角形,现在矢量场已经在边上都定了,是不是天够延长到它的内部,这就不明显了.当然这是一定可以的.假使你允许它有异点,比方说是一个三角形,那么你就在三角形中间取一点, 然后从这点连到边上,那么这个矢量场就把它延到内部,但是这样定的矢量场在中间的那点一定是异点,因为中间的那点没法子定一个可以连续的矢量场,使得每点只有一个矢量.在这一点就没法子定.所以刚才这个理由可以证明:假使你允许这矢量场有异点,这样的矢量场是存在的.普通一定有异点,在地球上,要刮风的话,这风跟地球相切的时候,它的方向是个矢量场,一定有一点没有风,至积有一点而这一点就很复杂了,那么这种样子点的研究是很有意思,也很要紧的问题.区别矢量场在异点的性质,很简单的个方法是我们可以在异点定一个整数.这一般就叫做它的指科: I(s)=lim I (5.16)

➹✉❷⑨❩➷✉▼➪④➪è➹↔✘ø, ý➃❋➬④r➬④è■, Ò③t♥ ó④Degree. ✱✶②Ò❨➬Degree ó✱✶➼✺④▼➪④❁❨✆, ➬✹▼➪ ④Euler❥④ 1 2π . ✐✱ê④, ➲▲➊➊❿✣✲➨❨➬q❭❨q. ➲✳➲✆✬ ò✲û❨❨. ➲✙ó▲➋❨❨❨➬②Ò✹✍➃ø④. ✗❧➲➣✳❿äýÚ ✯dω12 = −KdA. ➲➣↕✞➨▼➪✽tEÞ❱, ➘✶✞➼✘➬❭➔✪Þ➐, ❨❳✘➼✱✕. ❨ø④❭➔✪Þ➐✞❿■➎, ✎Ò✹⑨➌✯✜ã➂r✍❭➔ ✪Þ➐❿■➎④➏, ➬✹✱✕④. ❨✎❽✞②Ò. ❿ê■➎❷⑨, Ò✗❨➬ ■➎④✉➓, ✞➌⑨, ✜✗✗❨❏❭➔✪Þ➐, ➌❨✁➬❈➹❈◗➘. ❨✹✪ Þ➐④■➎④✱✕✉, ✱✕✪Þ➐❿➂õ❳✸④✵✺, ❜✹ó■➎❿✣⑧❨ ➬✪Þ✺✐✒, ✎❿✣⑧✪Þ✺➦✒, ✎❿✣⑧Ò✻➅➤➬❈, ➬✹❐✘✘ ✈▼✧★★. ➘✶ÿ❳✪Þ➐④■➎④✉➓✹✿➒❿❄❻④➥☛. ➃➲ ó⑧❬▼➪✘➼❿✘➬, ❄✪✪❳➄✘➬, ✌✹❿➂õ❿■➎④❭➔✪Þ➐. ó❨➬❁♦❷✆, ✜✞➨▼➪★➘❇▲, ★➘✘➬➘➣complex(❹♦). ✜☛ ➼➬ó➸➎, ❖➃➘➣④complex, Ò✹⑨, ❿❏➸➎, ❿❏✣, ❿❏➪. ó➸ ➎, ➼✘➬⑧❬④✪Þ, ➃➅✓❩➨❨➬✪Þ➐Òt✣. ❘✘➬✣④➏, ➌ ✯✪Þ➐✳➨ó➸➎❤➼ê, ➃✐➂✹✗ñ✉✱✶➨➬Òtr➬④✣. ✙ ó✹➪ê: ✧✫✹➪④➏, ✞✵⑨❿➬➤♥♦, ✙ó✪Þ➐✳➨ó✣ÞÑ➼ ê, ✹❳✹✕êÒ➓t➬④✓❭, ❨Ò❳Ò✗ê. ❤❧❨✹✘➼✱✶④. ✧ ✫✜ã➂➬❿■➎, ✞✵⑨✹✘➬➤♥♦, ➃✜Òó➤♥♦➙✲❘✘➎, ❧⑨✱❨➎❐t✣Þ, ➃❨➬✪Þ➐Ò➨➬Òt✓❭, ❜✹❨ø➼④✪Þ ➐ó➙✲④➎✘➼✹■➎, ❖➃➙✲④➎➊✛✝➼✘➬✱✶❐➍④✪ Þ➐, ✫③➎➎➄❿✘➬✪Þ. ó❨✘➎Ò➊✛✝➼. ➘✶➛❜❨➬➤❸✱ ✶②Ò: ✧✫✜ã➂❨✪Þ➐❿■➎, ❨ø④✪Þ➐✹❄ó④. ✃✴✘➼❿ ■➎, ó➃❊Þ, ✞ý❩④➏, ❨❩❐➃❊★★④✣⑧, ➬④✵✺✹➬✪Þ ➐, ✘➼❿✘➎➊❿❩, ➊è❿✘➎. ✌❨✘➎Ò✐❹ìê, ➃❨➠ø✝➎ ④Ï➘✹✐❿❄❻, ✎✐✞➏④➥☛. ❑✴✪Þ➐ó■➎④✉➓, ✐❀❭④ ✘➬✵✛✹➲➣✱✶ó■➎➼✘➬r❥. ❨✘➘Ò✇✮➬④➁✮Õ I(s) = lim 1 2π Z ω1. (5.16) 9

《微分学》第五讲 曲面论(二)

《微分学》第五讲曲面论(二)