第一讲微分与积分 2001年10月11日 1微积分的起源:牛顿与莱布尼兹 讲到微积分最要紧的两个人是牛顿( (Issac Newton,1642-1727)跟莱布尼 兹(〔 ottpied leibniz,1646-1716),微积分就是他们发现的.关于牛顿,有兴 趣的是他做这个工作是在学生的时候,也许比你们的岁数还要小,那个时候 也就是17世纪那个时候,欧洲瘟疫很厉害,欧洲死了很多人.他在英国剑桥 大学,因为瘟疫的关系,学校放假了,他就回家在家里做关于微积分的这些 工作.莱布尼兹是一个各方面都非常优秀的人,数学是他的兴趣的一部分 他的兴趣到宗教、法律各方面都有.他们两人之间有点争论,是因为争论谁 是微积分的发现者.这个争论是不幸的,也没有什么意义.实质上是莱布尼 兹头一个发表关于微积分论文的人,他的论文在1684年发表.牛顿做这个工 作早于莱布尼兹,而莱布尼兹发表论文早于牛顿,牛顿有了这个工作后没有 发表什么任何的东西.而莱布尼兹不但发表了这些东西,同时还引用了一些 符号,也许我们现在还在用.那么后来两个人有一个争论,大概都是跟数学 没有关系的人在那里造成的情况,这不是一个什么有意思的事情 2微积分基本定理 微积分是数学里头很重要的方面.至于什么是微积分呢?我想微分的发现 跟笛卡儿发现坐标非常有关系,因为笛卡儿发现坐标之后,数学主要的目 的就是研究函数,研究两组数的关系,有种种的关系.我们知道,函数有种 种,有线性的,非线性的,三角函数等种种函数,那么要怎么样地研究函数的 性质?我们都知道,函数可以用曲线来表示,如y=f(x)这条曲线.在这条 曲线的每点,如果它是可以微分的话,那么它在每点有个切线.微分就是把 这个曲线用它的切线来研究它的性质.所以也等于说它是把函数线性化,线
➅✘❨ ❻■➛è■ 2001★10Û11❺ 1 ❻è■④å❮: ✿î➛t❨✚û ❨t❻è■,✦✞➏④Ü➬⑤✹✿î(Issac Newton, 1642-1727)❐t❨✚ û(Gottpied Leibniz, 1646-1716), ❻è■Ò✹➷➣✕✙④. ✞➉✿î, ❿❧ ❯④✹➷✮❨➬Ó✯✹ó➛✠④✣⑧, ✎➂✞✜➣④➭❥↕✞❇, ➬✣⑧, ✎Ò✹17✲✖➬✣⑧, ◆➩➛❁✐➳✸, ◆➩❿ê✐õ⑤. ➷ó❪✮❏✘ ▲➛, ❖➃➛❁④✞ø, ➛❉✽✧ê, ➷Ò➹✛ó✛➦✮✞➉❻è■④❨❏ Ó✯. t❨✚û✹✘➬➮✵➪Ñ✿➒⑨❸④⑤, ❥➛✹➷④❧❯④✘❭■, ➷④❧❯t✌s✁✛❋➮✵➪Ñ❿. ➷➣Ü⑤❷✲❿➎♣❳, ✹❖➃♣❳① ✹❻è■④✕✙❱. ❨➬♣❳✹❳s④, ✎➊❿✤➃❄❇. ✧➓Þ✹t❨✚ û❃✘➬✕✱✞➉❻è■❳➞④⑤, ➷④❳➞ó1684★✕✱. ✿î✮❨➬Ó ✯➉t❨✚û, ✌t❨✚û✕✱❳➞➉✿î, ✿î❿ê❨➬Ó✯⑨➊❿ ✕✱✤➃⑧❬④➚Ü. ✌t❨✚û❳❜✕✱ê❨❏➚Ü, ✸✣↕❩⑦ê✘❏ ♥❘, ✎➂➲➣✙ó↕ó⑦. ➃⑨✉Ü➬⑤❿✘➬♣❳, ▲➊Ñ✹❐❥➛ ➊❿✞ø④⑤ó➦✆➘④❁❨, ❨❳✹✘➬✤➃❿❄❻④✴❁. 2 ❻è■äý➼➤ ❻è■✹❥➛➦❃✐➢✞④✵➪. ➊➉✤➃✹❻è■✑Ú➲✳❻■④✕✙ ❐❼☛✍✕✙✰✮✿➒❿✞ø, ❖➃❼☛✍✕✙✰✮❷⑨, ❥➛❒✞④ø ④Ò✹Ï➘❁❥, Ï➘Ü✜❥④✞ø, ❿➠➠④✞ø. ➲➣⑧✇, ❁❥❿➠ ➠, ❿✧✉④, ✿✧✉④, ➤♥❁❥⑧➠➠❁❥,➃✞✍➃ø➃Ï➘❁❥④ ✉➓? ➲➣Ñ⑧✇, ❁❥✱✶⑦▼✧✉✱✰, ➌y = f(x) ❨✣▼✧. ó❨✣ ▼✧④➎➎, ➌✯➬✹✱✶❻■④➏, ➃➬ó➎➎❿➬★✧. ❻■Ò✹➨ ❨➬▼✧⑦➬④★✧✉Ï➘➬④✉➓. ➘✶✎⑧➉⑨➬✹➨❁❥✧✉➎, ✧ 1
性化之后,可以加、减、乘、除,可以计算,因此可以得到数出来.数学要 是能够得到数出来,总是很要紧的.所以微分大概是说用曲线的切线来研 究曲线的性质.积分来得早了因为积分实际上大致讲起来,它是要计算面 积.那么假使平面上有一个区域,由曲线来做为边界,它的面积有多大,圆周 的面积有多大,这里的问题是积分的开始,也是积分重要的目的.因此,实 际上,积分的发展在微分之前.积分当时也没有一定的定义,积分就是有个 极限的观念.曲线所围城的区域一般想法子用直线来逼近,使得逼近的曲 线趋于你的边界的时候,就有个极限,就是这个区域的面积.所以,总而言 之,积分的发展在微分之前.中间这两个问题好象没有关系,但是其实这关 系非常的密切.积分差不多是微分的反运算.比方说,假使你求这条直线跟 两条垂线所成区域的面积,这两条垂线,一个是s=a,一个是s=x,你要去 算这个区域的面积,是个定积分/af(x)dx,(读作f(x)定积分从a→x).这 是当年莱布尼兹的符号,这个积分的符号记成这样,因为积分总是代表 个和,∫代表和(sum).假设面积一边由s=a的直线作边界,另一边是任意 的x,你把x这条直线移动的话,就得到一个r的函数,这个函数,我叫它A(x) 就是我图上的面积,是个积分,所以它是一个数目,与x有关,所以是x的函 数.这个函数跟曲线方程y=f(x)这个函数有密切关系.为什么有密切的关 系呢?很简单地看看,假如求A(x)=Jaf(x)dx的微分,求它的微分嘛,就是 说,求s=x,x+δx所围成的这个小条区域的面积.现在如果你拿δc除的话 我想很容易看出来了,这个极限就是∫(x).所以很容易看出来A(x)这个函数 的微分就是f(x),因此 dac 这就是微分同积分的基本的关系.这个关系说A(x)是一个积分,求它的微分 的时候,就得f(x).这个一般地,叫做微积分的基本定理.我从前在南开念微 积分的时候,始终不懂为什么这是一个微积分的基本定理,因为一般地把这 个关系式写成 f(a)d ls f(a)d o 形状左边积分是个不定积分 (indefinite integra),不定积分是个函数,左式 2
✉➎❷⑨, ✱✶✜✁❃✁➷✁ø, ✱✶✎➤, ❖✩✱✶③t❥ñ✉. ❥➛✞ ✹✕ê③t❥ñ✉, ✎✹✐✞➏④. ➘✶❻■▲➊✹⑨⑦▼✧④★✧✉Ï ➘▼✧④✉➓. è■✉③ê,❖➃è■✧✓Þ▲➋❨å✉, ➬✹✞✎➤➪ è. ➃✧✫➨➪Þ❿✘➬❑➢, ❸▼✧✉✮➃✣➂, ➬④➪è❿õ▲, ❐➧ ④➪è❿õ▲, ❨➦④➥☛✹è■④✌✮, ✎✹è■➢✞④ø④. ❖✩, ✧ ✓Þ, è■④✕✵ó❻■❷✄. è■❤✣✎➊❿✘➼④➼❇, è■Ò✹❿➬ ô✦④✡✬. ▼✧➘➀➶④❑➢✘➘✳✛✝⑦❺✧✉✆↔, ✫③✆↔④▼ ✧❏➉✜④✣➂④✣⑧, Ò❿➬ô✦, Ò✹❨➬❑➢④➪è. ➘✶, ✎✌Ó ❷, è■④✕✵ó❻■❷✄. ➙✲❨Ü➬➥☛P✻➊❿✞ø, ❜✹Ù✧❨✞ ø✿➒④➲★. è■❿❳õ✹❻■④✬ä➤. ✞✵⑨, ✧✫✜❋❨✣❺✧❐ Ü✣✒✧➘➘❑➢④➪è, ❨Ü✣✒✧, ✘➬✹s = a,✘➬✹s = x, ✜✞❱ ➤❨➬❑➢④➪è, ✹➬➼è■ R x a f(x)dx, (Ö✯f(x)➼è■✱a → x). ❨ ✹❤★t❨✚û④♥❘, ❨➬è■④♥❘✏➘❨ø, ❖➃è■✎✹❙✱✘ ➬❩, R❙✱❩(sum). ✧÷➪è✘✣❸s = a ④❺✧✯✣➂, ☞✘✣✹⑧❄ ④x, ✜➨x❨✣❺✧★➘④➏, Ò③t✘➬x④❁❥, ❨➬❁❥, ➲✇➬A(x), Ò✹➲❈Þ④➪è, ✹➬è■, ➘✶➬✹✘➬❥ø, ➛x❿✞, ➘✶✹x④❁ ❥. ❨➬❁❥❐▼✧✵➬y = f(x)❨➬❁❥❿➲★✞ø. ➃✤➃❿➲★④✞ ø✑Ú✐❀❭➃✗✗, ✧➌❋A(x) = R x a f(x)dx④❻■, ❋➬④❻■❧, Ò✹ ⑨, ❋s = x, x + δx ➘➀➘④❨➬❇✣❑➢④➪è. ✙ó➌✯✜üδxø④➏, ➲✳✐➂✹✗ñ✉ê, ❨➬ô✦Ò✹f(x). ➘✶✐➂✹✗ñ✉A(x)❨➬❁❥ ④❻■Ò✹f(x), ❖✩ dA(x) dx = f(x). (1.1) ❨Ò✹❻■✸è■④äý④✞ø. ❨➬✞ø⑨A(x)✹✘➬è■, ❋➬④❻■ ④✣⑧, Ò③f(x). ❨➬✘➘➃, ✇✮❻è■④äý➼➤. ➲✱✄ó✟✌✬❻ è■④✣⑧, ✮➟❳➹➃✤➃❨✹✘➬❻è■④äý➼➤, ❖➃✘➘➃➨❨ ➬✞ø✯❯➘ Z f(x)dx| b a = Z b a f(x)dx (1.2) ♦ç. ✫✣è■✹➬❳➼è■(indefinite integral), ❳➼è■✹➬❁❥, ✫✯ 2
是函数在b的值减去函数在a的值,等于这个定积分( definite integral).所以 从这个关系知道要求积分的话,只需要求一个函数,它的微分是已知的,就 是f(x),即微分是已知的.所以这样微分跟积分连起来了.互相的,积分等 于微分的反运三,有了f(x),要找一个函数,它的微分等于f(x),是个反运 因此微、积分有密切的关系. 多元微积分 上面讲的是一个变数的微积分.下面讲高维的,要多变数的.多变数的话, 有新的现象,是什么样的呢?我想对于多变数的,我们先不看别的,先看两 个变数的情形,x跟y,那么我们知道这个时候微分的观念的推广是偏微分 等于跟y分开求微分.积分的观念推广是重积分.二重积分( double integral) 是在2维的情形,在高维的情形是多重的.先看2维,2维的情形就有了区域 我们叫它△,那么它的边界叫它γ.所以积分的一个自然推广是一个2重积分, 普通积分把分成小段,然后取小段再乘上这个函数,求一个和.在2重积分 的时候,方法也是把区域分成小块,然后取每一小块的面积,在其上函数值 乘上它的面积,然后求它的和很不得了的,假使函数好的话,无论你如何圈 你的区域极限是一样的,所以这极限就是2重积分 I=///(a,v)dardy 在2维的时候,甚至高维的时候,一个重要的现象是,我们现在有2个变数x,y, 换变数怎么样?所以我现在换变数,换变数当然是在微积分里是很重要的 个办法,因为很多的问题是看你的变数是否选择得适当,有时换变数,问 题就立刻简单化了,就可以解决了.现在我换变数 (1.4) y=y(a',y) 其中,(x,y)是另外一组坐标.我们发现一个事实,在高维的时候微分的乘 法,我们写成 d r a dy,这是一个乘法,怎么乘呢?dr∧dy在微积分上是最微 妙的观点.什么叫微分?什么是dxc?这个是困扰了数学家几百年的事.怎么
✹❁❥ób④❾❃❱❁❥óa④❾, ⑧➉❨➬➼è■(definite integral). ➘✶ ✱❨➬✞ø⑧✇✞❋è■④➏, ➄❽✞❋✘➬❁❥, ➬④❻■✹✳⑧④,Ò ✹f(x), ý❻■✹✳⑧④. ➘✶❨ø❻■❐è■❐å✉ê. ➄★④, è■⑧ ➉❻■④✬ä➤, ❿êf(x), ✞■✘➬❁❥, ➬④❻■⑧➉f(x), ✹➬✬ä➤. ❖✩❻✁è■❿➲★④✞ø. 3 õ➹❻è■ Þ➪❨④✹✘➬★❥④❻è■. ✆➪❨➦➅④, ✞õ★❥④. õ★❥④➏, ❿❝④✙✻, ✹✤➃ø④✑Ú➲✳é➉õ★❥④, ➲➣☛❳✗✴④, ☛✗Ü ➬★❥④❁♦, x❐y, ➃➲➣⑧✇❨➬✣⑧❻■④✡✬④▼✒✹➔❻■, ⑧➉x❐y■✌❋❻■. è■④✡✬▼✒✹➢è■. ✓➢è■(double integral) ✹ó2➅④❁♦, ó➦➅④❁♦✹õ➢④. ☛✗2➅, 2➅④❁♦Ò❿ê❑➢, ➲➣✇➬∆, ➃➬④✣➂✇➬γ. ➘✶è■④✘➬✞❧▼✒✹✘➬2➢è■, ✃✴è■➨x■➘❇ã, ❧⑨❘❇ãò➷Þ❨➬❁❥, ❋✘➬❩. ó2➢è■ ④✣⑧, ✵✛✎✹➨❑➢■➘❇▲, ❧⑨❘➎✘❇▲④➪è, óÙÞ❁❥❾ ➷Þ➬④➪è, ❧⑨❋➬④❩. ✐❳③ê④, ✧✫❁❥P④➏, ➹❳✜➌❬❲ ✜④❑➢,ô✦✹✘ø④, ➘✶❨ô✦Ò✹2➢è■ I = Z Z f(x, y)dxdy. (1.3) ó2➅④✣⑧, ☎➊➦➅④✣⑧, ✘➬➢✞④✙✻✹, ➲➣✙ó❿2➬★❥x, y, ➛★❥✍➃øÚ➘✶➲✙ó➛★❥, ➛★❥❤❧✹ó❻è■➦✹✐➢✞④ ✘➬❮✛, ❖➃✐õ④➥☛✹✗✜④★❥✹❞➔✡③✼❤, ❿✣➛★❥, ➥ ☛Ò➪✴❀❭➎ê, Ò✱✶❽ûê. ✙ó➲➛★❥Õ ( x = x(x 0 , y0 ) y = y(x 0 , y0 ) (1.4) Ù➙, (x 0 , y0 )✹☞✐✘✜✰✮. ➲➣✕✙✘➬✴✧,ó➦➅④✣⑧,❻■④➷ ✛, ➲➣❯➘dx ∧ dy, ❨✹✘➬➷✛, ✍➃➷✑Údx ∧ dyó❻è■Þ✹✦❻ ➱④✡➎. ✤➃✇❻■Ú✤➃✹dxÚ❨➬✹❤✈ê❥➛✛✁➸★④✴. ✍➃ 3
样定微分的定义跟究竟什地是dx,这个很麻烦,可以做到很道意,不过把它 讲清楚需要有一定的时间.究以我马马虎虎说有一个dx.在dxr,dy这种微分 之间要建立乘法∧.什地叫dx∧dy?这个问题更复杂了,你如果dx,dy本身 是什地都不清楚,乘了以后是什地东西更是一个很微妙困难的问题.在这方 面有一个大的进步,就是引进很代数和很微分.假定dx∧dy这个乘法是反对 称 这个问题就清楚简单了.因为乘法如果是反对称的话,当然 dx adx=0.事 假上,因为dx∧dr=- dr a dx,究以 dx a dx=0,在反对称的乘法之下, 把 daa dy看成变数,因为乘法是反对称的,dx2=0,究以就没有高次的东西 了.这样得到的代数叫做很代数.这个代数很妙的.有一个立刻的结论:换 变数公式为 dx n dy= o(a, y) o(,yrrda'ndy 假使我们的微分用的是偏微分,究以 现在用很乘法一乘,dr'Adr'=dy∧dy=0.而dx∧dy/因为乘法是反对称 的,究以是瘟好乘以x=x(x,y),y=y(x,)的所可比a,这个符号是 所可比,是四个偏微分究成的行列式,究以 a(,ydra d(a, y) 这个瘟巧是我们重积分换变数的一个关系我们知道重积分要是换变数的 话,它应该乘上所可比.究以这个结论就是,对重积分的 Integra,即积分下 的式子,把积分号丢掉, Integra是一个微分多项式,乘法是反对称的.究以 假使多重积分有3维,4维到n维的空间,多重积分的 Integral可看成是很代 数的多项式,那地换变数就自然对了.这里头有一点微妙的地方,因为通 常,你要证明换变数的公式的时候,假定所可比是正的,不然的话,乘上所 可比的绝对值,使它是正的.这个是高维几何微妙的东西,就是空间有个
ø➼❻■④➼❇❐➘➽✤➃✹dx, ❨➬✐❢✫, ✱✶✮t✐✇❄, ❳✱➨➬ ❨✽ù❽✞❿✘➼④✣✲. ➘✶➲❥❥➁➁⑨❿✘➬dx. ódx, dy❨➠❻■ ❷✲✞❖➪➷✛∧. ✤➃✇dx ∧ dyÚ❨➬➥☛❮❹ìê, ✜➌✯dx, dyýü ✹✤➃Ñ❳✽ù, ➷ê✶⑨✹✤➃➚Ü❮✹✘➬✐❻➱❤✡④➥☛. ó❨✵ ➪❿✘➬▲④➓❩, Ò✹❩➓✐❙❥❩✐❻■. ✧➼dx ∧ dy❨➬➷✛✹✬é ➪, dx ∧ dy = −dy ∧ dx. (1.5) ❨➬➥☛Ò✽ù❀❭ê. ❖➃➷✛➌✯✹✬é➪④➏,❤❧dx ∧ dx = 0. ✴ ✧Þ, ❖➃dx ∧ dx = −dx ∧ dx, ➘✶dx ∧ dx = 0, ó✬é➪④➷✛❷✆, ➨dx ∧ dy✗➘★❥, ❖➃➷✛✹✬é➪④, dx2 = 0, ➘✶Ò➊❿➦✬④➚Ü ê. ❨ø③t④❙❥✇✮✐❙❥. ❨➬❙❥✐➱④. ❿✘➬➪✴④❼❳Õ➛ ★❥Ú✯➃ dx ∧ dy = ∂(x, y) ∂(x 0 , y0 ) dx0 ∧ dy0 . (1.6) ✧✫➲➣④❻■⑦④✹➔❻■, ➘✶ dx = ∂x ∂x0 dx0 + ∂x ∂y0 dy0 , dy = ∂y ∂x0 dx0 + ∂y ∂y0 dy0 . (1.7) ✙ó⑦✐➷✛✘➷, dx0 ∧ dx0 = dy0 ∧ dy0 = 0. ✌dx0 ∧ dy0❖➃➷✛✹✬é➪ ④, ➘✶✹➛P➷✶x = x(x 0 , y0 ), y = y(x 0 , y0 ) ④➘✱✞ ∂(x,y) ∂(x0 ,y0) , ❨➬♥❘✹ ➘✱✞, ✹➃➬➔❻■➘➘④qï✯, ➘✶ dx ∧ dy = ∂(x, y) ∂(x 0 , y0 ) dx0 ∧ dy0 . (1.8) ❨➬➛✜✹➲➣➢è■➛★❥④✘➬✞ø.➲➣⑧✇➢è■✞✹➛★❥④ ➏, ➬❛➈➷Þ➘✱✞. ➘✶❨➬❼❳Ò✹, é➢è■④Integral, ýè■✆ ④✯✝, ➨è■❘➾➠, Integral✹✘➬❻■õ✶✯, ➷✛✹✬é➪④. ➘✶ ✧✫õ➢è■❿3➅, 4➅tn ➅④✽✲, õ➢è■④Integral✱✗➘✹✐❙ ❥④õ✶✯, ➃➛★❥Ò✞❧éê. ❨➦❃❿✘➎❻➱④➃✵, ❖➃✴ ➒, ✜✞②Ò➛★❥④Ú✯④✣⑧, ✧➼➘✱✞✹t④, ❳❧④➏, ➷Þ➘ ✱✞④ýé❾, ✫➬✹t④. ❨➬✹➦➅✁❬❻➱④➚Ü, Ò✹✽✲❿➬ 4
可( Orietation),你转的时候,死2个相反转的方向.转的时候,假使改了方向 的话,成可比是负值,因此我们一个结论是多重积分的 Integral应该是一个外 代数多项式,是dr,dy的多项式,乘法是反对称,这样换变数完全可以对的 当然我只做了2维的例子.高维是很明显的,同样的外乘法是妙得很呐,是 不会死高次的,所以比较简单,平方一下,就是0 4外微分 上面讲了这么样一种关系,甚概这关系还更要好,我们讲高等微积分的时候, 个重要的定理是格林定理( Green' s Theorem).就是说,假使你死个区域, 在边界上的微分是可以变为区域上的微分,是一个一重积分和二重积分的 关系,这是个非常重要的关系.比方龚升教授死一本小书,讲到这个关系,他 认为这是整个微积分的基本定理,我是同意的.这样的关系现在通常写格林 定理的时候,优优是写成死积分 ab aA Adr +bdy=ar ay 如果死一个问题,死时候你可以只管 Integral,不要管其它,那么 Integral就是 把一个一次微分式变为两次微分式,这儿么变呢?公式定理是这样子:我就 引入一个外微分,我们刚才讲 d r A dy是一个多项式,是一个外代数的一个 式子,就象我们普通多项式一样,不但如此,对于这样的式子,我们还可以定 义它一个微分, d(Ad. + Bdy)=dan dx+dB ndy= Aydy A dr + Brd r A dy. (1.10) 叫外微分( Exterior differential calculus).外微分很简单,假设死Adx+Bdy, 它的微分就是微分它的系数,也就是微分函数.A与B是x,y的函数,所以 就微分A,B.A的微分就是Adx+A2dy,B的微分就是Bdx+Bdy,可 是Adx∧dx=0就得到Ady∧dx,第二项就得Bdx∧dy.但是因为乘法是 反对称的,所以就得(Bx-A),这是格林定理里头2重积分的系数,所以格林 定理把单次积分变成两次积分,它的 Integral实际上是个外微分.可以看出外 5
✺(Orietation),✜Ý④✣⑧, ❿2➬★✬Ý④✵✺. Ý④✣⑧, ✧✫➉ê✵✺ ④➏, ➘✱✞✹❿❾, ❖✩➲➣✘➬❼❳✹õ➢è■④Integral❛➈✹✘➬✐ ❙❥õ✶✯, ✹dx, dy④õ✶✯, ➷✛✹✬é➪, ❨ø➛★❥q❭✱✶é④, ❤❧➲➄✮ê2➅④➽✝. ➦➅✹✐Ò✗④, ✸ø④.✐➷✛✹➱③✐þ, ✹ ❳❒❿➦✬④, ➘✶✞✈❀❭, ➨✵✘✆,Ò✹0. 4 ✐❻■ Þ➪❨ê❨➃ø✘➠✞ø, ☎➊❨✞ø↕❮✞P, ➲➣❨➦⑧❻è■④✣⑧, ✘➬➢✞④➼➤✹➶õ➼➤(Green’s Theorem). Ò✹⑨, ✧✫✜❿➬❑➢, ó✣➂Þ④❻■✹✱✶★➃❑➢Þ④❻■, ✹✘➬✘➢è■❩✓➢è■④ ✞ø, ❨✹➬✿➒➢✞④✞ø. ✞✵×☞s●❿✘ý❇❱, ❨t❨➬✞ø, ➷ ⑨➃❨✹r➬❻è■④äý➼➤, ➲✹✸❄④. ❨ø④✞ø✙ó✴➒❯➶õ ➼➤④✣⑧, ⑨⑨✹❯➘❿è■, Z γ Adx + bdy = (∂B ∂x − ∂A ∂y )dxdy. (1.9) ➌✯❿✘➬➥☛, ❿✣⑧✜✱✶➄☛Integral, ❳✞☛Ù➬, ➃IntegralÒ✹ ➨✘➬✘✬❻■✯★➃Ü✬❻■✯, ❨✍➃★✑ÚÚ✯➼➤✹❨ø✝: ➲Ò ❩➐✘➬✐❻■, ➲➣➛❜❨dx ∧ dy ✹✘➬õ✶✯, ✹✘➬✐❙❥④✘➬ ✯✝, Ò✻➲➣✃✴õ✶✯✘ø,❳❜➌✩, é➉❨ø④✯✝, ➲➣↕✱✶➼ ❇➬✘➬❻■, d(Adx + Bdy) = dA ∧ dx + dB ∧ dy = Aydy ∧ dx + Bxdx ∧ dy. (1.10) ✇✐❻■(Exterior differential calculus). ✐❻■✐❀❭, ✧÷❿Adx + Bdy, ➬④❻■Ò✹❻■➬④ø❥, ✎Ò✹❻■❁❥. A➛B✹x, y④❁❥, ➘✶ Ò❻■A, B . A④❻■Ò✹Axdx + Aydy, B④❻■Ò✹Bxdx + Bydy, ✱ ✹Axdx ∧ dx = 0 Ò③tAydy ∧ dx, ➅✓✶Ò③Bxdx ∧ dy. ❜✹❖➃➷✛✹ ✬é➪④, ➘✶Ò③(Bx − Ay), ❨✹➶õ➼➤➦❃2➢è■④ø❥, ➘✶➶õ ➼➤➨❭✬è■★➘Ü✬è■, ➬④Integral✧✓Þ✹➬✐❻■. ✱✶✗ñ✐ 5
微分是很妙的东西,因此你可以把积分号丢掉,就说我们拿dx,dy造一个很 代数,对这个很代数有个很微分,很微分很简部,就是假使微分各项的时候, 其实是对每项系数微分,结式我得到一个多项作,这个多项作的次数高 个.作为函数就变为一次微分作了,所以次数高一个,因此就作为原来是k次 的话,得到一个k+1次的微分作.这个是格林定理中如何把曲线微分的微分 作变为区域微分作,一重微分变为二重微分的公作.这个就很好了,因为这 里面有一个很代数,所以把这个微分作乘起来,用一个很乘法,微分的乘法 是反对称.然说呢,现在我有一个微分,它把k次的很微分作变为k+1次的 很微分作,这样子就把这个很微分作中间给了一个新的结构,可以微分,这 个微分跟普通的微分不一样,它是把k次变为k+1次,微分一般地总是加 次.这个很微分是最那时候 Frobenius, Darboux和我的老师 Elie Cartan和进 来的.他们最初和进这个观反是对于一次微分作,是 Frobenius, Darboux和 入的一次微分作.而 Elie c artan是法国的教授,是我的老师,他恐这是二 十世纪,也就是上个世纪最伟大的几何学家,法国巴黎大学的教授我想这 种教授很是模范,他不做别的活成,专做数学,时常功课是完全新的.有 年,他给了一门课,是《需析力学》( Analytical Mechanics),他把很微分的 观反表 Frobenius, Darboux表一次作的定义推广到高次作,所以整个的很微 分是 Elie Cartan和进来的,这是有用的东西.这个很微分有奇怪的现象:是 用两次之说等于0 0, 即这个很微分用两次等于0.我们关证明(1.11),就是对回论一个k次微分作 微分一次就变为k+1次,两次就变为k+2次微分作,它一定是0.关证明这 一点,我证明对于函数对了,就行了.所以我关证明对于任意的函数∫,把 这个d,很微分用两次,就等于0,即正2f=0就行了.早么为什么呢?因为 显然我关证明d=0,只关证明正2作用在只有一项上对就行了,这是因为它 是线性的,所以如式线性一项有这个性质,早么整个的和就等于0.早么 项的话,都是一个函数乘上一组dx,我现在选dx2,就是假定在高维,在n维, x就是x1到xn,在高维时,如式有一个函数f,∫是x1,……,xn的一个函数,对于 这个函数,用很微分两次,一定等于0.事实上,因为很微分一次就得到a是f
❻■✹✐➱④➚Ü, ❖✩✜✱✶➨è■❘➾➠, Ò⑨➲➣üdx, dy✆✘➬✐ ❙❥, é❨➬✐❙❥❿➬✐❻■, ✐❻■✐❀❭, Ò✹✧✫❻■➮✶④✣⑧, Ù✧✹é➎✶ø❥❻■, ❼✯➲③t✘➬õ✶✯, ❨➬õ✶✯④✬❥➦✘ ➬. ✯➃❁❥Ò★➃✘✬❻■✯ê, ➘✶✬❥➦✘➬, ❖✩Ò✯➃➷✉✹k✬ ④➏,③t✘➬k + 1✬④❻■✯. ❨➬✹➶õ➼➤➙➌❬➨▼✧❻■④❻■ ✯★➃❑➢❻■✯, ✘➢❻■★➃✓➢❻■④Ú✯. ❨➬Ò✐Pê, ❖➃❨ ➦➪❿✘➬✐❙❥, ➘✶➨❨➬❻■✯➷å✉, ⑦✘➬✐➷✛, ❻■④➷✛ ✹✬é➪. ❧⑨✑, ✙ó➲❿✘➬❻■, ➬➨k✬④✐❻■✯★➃k + 1✬④ ✐❻■✯, ❨ø✝Ò➨❨➬✐❻■✯➙✲➱ê✘➬❝④❼è, ✱✶❻■, ❨ ➬❻■❐✃✴④❻■❳✘ø, ➬✹➨k✬★➃k + 1✬, ❻■✘➘➃✎✹✜✘ ✬. ❨➬✐❻■✹✦✣⑧Frobenius, Dauboux❩➲④➄✓Elie Cartan❩➓ ✉④. ➷➣✦ð❩➓❨➬✡✬✹é➉✘✬❻■✯, ✹Frobenius, Dauboux❩ ➐④✘✬❻■✯. ✌Elie C artan✹✛✮④s●, ✹➲④➄✓, ➷✾❨✹✓ ✛✲✖, ✎Ò✹Þ➬✲✖✦➉▲④✁❬➛✛, ✛✮➤➞▲➛④s●. ➲✳❨ ➠s●✐✹Ü✮, ➷❳✮✴④Ù➘, Û✮❥➛, ✣➒Õ✶✹q❭❝④. ❿✘ ★, ➷➱ê✘➔✶, ✹✕❽Û➴➛✖(Analytical Mechanics), ➷➨✐❻■④ ✡✬✱Frobenius, Dauboux✱✘✬✯④➼❇▼✒t➦✬✯, ➘✶r➬④✐❻ ■✹Elie Cartan❩➓✉④, ❨✹❿⑦④➚Ü. ❨➬✐❻■❿Û✆④✙✻: ✹ ⑦Ü✬❷⑨⑧➉0. d 2 = 0, (1.11) ý❨➬✐❻■⑦Ü✬⑧➉0. ➲➣✞②Ò(1.11), Ò✹é➹❳✘➬k✬❻■✯, ❻■✘✬Ò★➃k + 1✬, Ü✬Ò★➃k + 2✬❻■✯, ➬✘➼✹0. ✞②Ò❨ ✘➎, ➲②Òé➉❁❥éê, Òqê. ➘✶➲✞②Òé➉⑧❄④❁❥f, ➨ ❨➬d, ✐❻■⑦Ü✬, Ò⑧➉0, ýd 2 f = 0 Òqê. ➃➃✤➃✑Ú❖➃ ✗❧➲✞②Òd 2 = 0, ➄✞②Òd 2✯⑦ó➄❿✘✶ÞéÒqê, ❨✹❖➃➬ ✹✧✉④, ➘✶➌✯✧✉✘✶❿❨➬✉➓, ➃r➬④❩Ò⑧➉0. ➃✘ ✶④➏, Ñ✹✘➬❁❥➷Þ✘✜dx, ➲✙ó➔dxi , Ò✹✧➼ó➦➅,ón➅, xiÒ✹x1txn, ó➦➅✣, ➌✯❿✘➬❁❥f,f✹x1, · · · , xn④✘➬❁❥, é➉ ❨➬❁❥, ⑦✐❻■Ü✬, ✘➼⑧➉0. ✴✧Þ, ❖➃✐❻■✘✬Ò③tai✹fi 6
对x1的一个偏微分,那么再用一次呢,它的系数就是从x;到x微分a2,a1 是∫的对x1的微分,所以这是f对从x;到x的二一阶微分 d(aid.ri=odx, A d ri (1.12 这个函数对于i,j是对称的.事实上我们知道一个函数微分两次的话跟次 序没有关系,是对称的如果一个对称的函数是 dz A dy的系数,而 d. A dy是 反对称的,那么它就等于0了.d是一个外微分,是对外代数的多以式的 个运算,这个运算运用两次就等于0了,这是一个了不得的关系.因为几何 上讲,假使你有一个区域,你取这个区域的边界,再取这个边界的边界,就 没有边界了.假使你取的边界是整个球,那么球没有边界.所以几何上讲有 个运算求边界,求边界的话,用两次,就等于0.有一个区域的求一次边界 是一个很好的区域,即不再有边界了,这个几何的性质跟外微分的性质是对 偶的.求两次边界一定等于0,这是个几何的性质;求外微分两次等于0,是 个分析的性质.这两个东西不是两个互不相关的东西,是完全对偶的,是 回事.一个边界通常用符号表示,边界两次等于0,即02=0.它跟外微分 是对偶的.这是一个了不得的几何关系,了不得的数学上的关系,妙得不得 了,因为求边界是一个几何的问题,更是一个整体的问题,一定要拿整个区 域乘上边界,但是求外微分是个分析的问题,是个局部的问题.要外微分只 要知道这个微分式在一点附近的性质就有了.这一个局部的运算跟一个整 体的运算有这系对偶的关系是很难得的事情,是一个重要的几何现象,是重 要的数学现象.为什么对偶呢?其实这就是格林定理的推广,就是 Stokes定 理. Stokes定理讲,假使有一个区域,把它封闭上,△是这系一个k维的区 域,所以它的边界就是边界△k.那么假使有一个微分式叫做a,它的次数 是k-1(dega=k-1),于是我们就有这么一个关系:a在边界的积分等 于d在△的积分, 这是重要极了的定理,通常用 Stokes名义. Stokes是英国的应用数学家,你 们大概在这个课中已经听到 Stokes定理. Stokes定理就把两个普通的运算 7
éxi④✘➬➔❻■, ➃ò⑦✘✬✑, ➬④ø❥Ò✹✱xi txj❻■ai , ai ✹f④éxi ④❻■, ➘✶❨✹fé✱xitxj④✓⑦❻■: d(aidxi) = ∂ai ∂xj dxj ∧ dxi , (1.12) ❨➬❁❥é➉i, j✹é➪④. ✴✧Þ➲➣⑧✇✘➬❁❥❻■Ü✬④➏❐✬ ➇➊❿✞ø, ✹é➪④. ➌✯✘➬é➪④❁❥✹dx ∧ dy④ø❥, ✌dx ∧ dy✹ ✬é➪④, ➃➬Ò⑧➉0 ê. d ✹✘➬✐❻■, ✹é✐❙❥④õ✶✯④✘ ➬ä➤, ❨➬ä➤ä⑦Ü✬Ò⑧➉0 ê, ❨✹✘➬ê❳③④✞ø. ❖➃✁❬ Þ❨, ✧✫✜❿✘➬❑➢, ✜❘❨➬❑➢④✣➂, ò❘❨➬✣➂④✣➂, Ò ➊❿✣➂ê. ✧✫✜❘④✣➂✹r➬❊, ➃❊➊❿✣➂. ➘✶✁❬Þ❨❿ ✘➬ä➤❋✣➂, ❋✣➂④➏, ⑦Ü✬, Ò⑧➉0. ❿✘➬❑➢④❋✘✬✣➂ ✹✘➬✐P④❑➢, ý❳ò❿✣➂ê, ❨➬✁❬④✉➓❐✐❻■④✉➓✹é ❙④. ❋Ü✬✣➂✘➼⑧➉0,❨✹➬✁❬④✉➓; ❋✐❻■Ü✬⑧➉0, ✹ ➬■Û④✉➓. ❨Ü➬➚Ü❳✹Ü➬➄❳★✞④➚Ü, ✹q❭é❙④, ✹✘ ➹✴. ✘➬✣➂✴➒⑦♥❘∂✱✰, ✣➂Ü✬⑧➉0, ý∂ 2 = 0. ➬❐✐❻■ ✹é❙④. ❨✹✘➬ê❳③④✁❬✞ø, ê❳③④❥➛Þ④✞ø, ➱③❳③ ê, ❖➃❋✣➂✹✘➬✁❬④➥☛, ❮✹✘➬r✍④➥☛, ✘➼✞ür➬❑ ➢➷Þ✣➂, ❜✹❋✐❻■✹➬■Û④➥☛, ✹➬Û❭④➥☛. ✞✐❻■➄ ✞⑧✇❨➬❻■✯ó✘➎➂↔④✉➓Ò❿ê. ❨✘➬Û❭④ä➤❐✘➬r ✍④ä➤❿❨øé❙④✞ø✹✐✡③④✴❁, ✹✘➬➢✞④✁❬✙✻, ✹➢ ✞④❥➛✙✻. ➃✤➃é❙✑ÚÙ✧❨Ò✹➶õ➼➤④▼✒, Ò✹Stokes➼ ➤. Stokes➼➤❨, ✧✫❿✘➬❑➢, ➨➬❯✔Þ, ∆k✹❨ø✘➬k➅④❑ ➢, ➘✶➬④✣➂Ò✹✣➂∂∆k . ➃✧✫❿✘➬❻■✯✇✮α, ➬④✬❥ ✹k − 1(degα = k − 1), ➉✹➲➣Ò❿❨➃✘➬✞ø: α ó✣➂④è■⑧ ➉dα ó∆k④è■, Z ∂∆k α = Z ∆k dα. (1.13) ❨✹➢✞ôê④➼➤, ✴➒⑦Stokes Ö❇. Stokes ✹❪✮④❛⑦❥➛✛, ✜ ➣▲➊ó❨➬✶➙✳➨✫tStokes ➼➤. Stokes ➼➤Ò➨Ü➬✃✴④ä➤, 7
个是等于区域的边界的运算,一个是等于外微分的积分,这两个有简单的 关系.假使我们把外微分的积分写成这个关系 (0△,a)=(△,da) (1 这个外微分成一个矢量空间( Vector Space),可以加减,这个区域也是另外 个矢量空间,也可以加减.假使这两个矢量空间经过积分,因此就有一个所 谓的“对”(pair),这个矢量空间的一点和那个矢量空间一点连在一起是得到 个正数,得到一个数,那么 St okes定理就是说这个 paring使得对△的作用 的算子∂与外微分d是伴随的( adjoint),是对偶的“对,这就是 Stokes定理的 意义.高维时,及任意维时都是对的龚升教授在他的小书里说,这个是微积 分的基本定理.从它就给出我们普通微积分的基本定理.因为假使k=1, 那么我们的区域是一个线段,从a到b的线段,这个线段就是△,它的边界呢, 是b点减a点a在这里是一个函数,上次讲的d是个积分,在一维的情形就 是用到直线上.因此在一维的情形△是个线段,它的边界是b-a,a是一个函 数∫,所以da是df,于是 (b-a,=(4,40)→f(b)-f(a)=/可f 这就是说函数在b点的值减去函数在a点的值等于可在这个线段上的积分, 这个就是所谓微积分的基本定理.也就是说右边是从a到b积分可,左边就 是f(b)-∫f(a),这就是我们的基本定理,所以 Stokes定理是微积分的基本定 理在高维的推广.因此在多元的微积分里头也是个进步,非常有用,因为外 微分包含很多材料.有一个公式很容易证明的,就是你把两个外微分的式 子a跟β相乘,而求这个的外微分, d(a∧B)=daAB+(-1) (1.16) 这个公式很容易证明,因为简单为只要假定α和β都单项就行了.这是由于对 于a和β都是线性的.假定它们都是单项的,就可以写成dx1,…,drk,…,dxn, 前头乘个函数一算就可以得到了.所以它们这个乘法之间和外微分有这 样一种简单的关系.这个关系不但如此,还可以更远的,因为假使有
✘➬✹⑧➉❑➢④✣➂④ä➤, ✘➬✹⑧➉✐❻■④è■, ❨Ü➬❿❀❭④ ✞ø. ✧✫➲➣➨✐❻■④è■❯➘❨➬✞ø, (∂∆, α) = (∆, dα). (1.14) ❨➬✐❻■➘✘➬✪Þ✽✲(Vector Space), ✱✶✜❃, ❨➬❑➢✎✹☞✐✘ ➬✪Þ✽✲,✎✱✶✜❃. ✧✫❨Ü➬✪Þ✽✲➨✱è■, ❖✩Ò❿✘➬➘ ➣④“é”(pair), ❨➬✪Þ✽✲④✘➎❩➬✪Þ✽✲✘➎❐ó✘å✹③t ✘➬t❥, ③t✘➬❥, ➃St okes➼➤Ò✹⑨❨➬paring✫③é∆④✯⑦ ④➤✝∂ ➛✐❻■d ✹✃➧④(adjoint), ✹é❙④“é”, ❨Ò✹Stokes➼➤④ ❄❇. ➦➅✣, ù⑧❄➅✣Ñ✹é④.×☞s●ó➷④❇❱➦⑨, ❨➬✹❻è ■④äý➼➤. ✱➬Ò➱ñ➲➣✃✴❻è■④äý➼➤. ❖➃✧✫k = 1, ➃➲➣④❑➢✹✘➬✧ã, ✱a tb④✧ã, ❨➬✧ãÒ✹∆, ➬④✣➂✑, ✹b➎❃a➎. α ó❨➦✹✘➬❁❥, Þ✬❨④dα✹➬è■, ó✘➅④❁♦Ò ✹⑦t❺✧Þ. ❖✩ó✘➅④❁♦∆✹➬✧ã, ➬④✣➂✹b − a, α✹✘➬❁ ❥f,➘✶dα✹df, ➉✹ (b − a, f) = (∆, df) =⇒ f(b) − f(a) = Z b a df. (1.15) ❨Ò✹⑨❁❥ób➎④❾❃❱❁❥óa➎④❾⑧➉dfó❨➬✧ãÞ④è■, ❨➬Ò✹➘➣❻è■④äý➼➤. ✎Ò✹⑨➁✣✹✱atbè■df, ✫✣Ò ✹f(b) − f(a), ❨Ò✹➲➣④äý➼➤, ➘✶Stokes➼➤✹❻è■④äý➼ ➤ó➦➅④▼✒. ❖✩óõ➹④❻è■➦❃✎✹➬➓❩, ✿➒❿⑦, ❖➃✐ ❻■Ý✾✐õ❛î. ❿✘➬Ú✯✐➂✹②Ò④, Ò✹✜➨Ü➬✐❻■④✯ ✝α❐β★➷, ✌❋❨➬④✐❻■, d(α ∧ β) = dα ∧ β + (−1)degαα ∧ dβ, (1.16) ❨➬Ú✯✐➂✹②Ò, ❖➃❀❭➃➄✞✧➼α❩βÑ❭✶Òqê. ❨✹❸➉é ➉α❩βÑ✹✧✉④. ✧➼➬➣Ñ✹❭✶④, Ò✱✶❯➘dx1, · · · , dxk, · · · , dxn, ✄❃➷➬❁❥✘➤Ò✱✶③tê. ➘✶➬➣❨➬➷✛❷✲❩✐❻■❿❨ ø✘➠❀❭④✞ø. ❨➬✞ø❳❜➌✩, ↕✱✶❮Ï④, ❖➃✧✫❿✘ 8
它运算,它的平方等于0,这是外不得了的,这它就过以造一它除法,有它 商( quotient).这样得到一它除法,现在叫做同调( homology).现在许多数学 的发展都是有它运算,加两次等于0,你就能造一它 quotien t,怎么样呢,什 么叫 quotient呢?就是你把成有的满足da=0的a,被成有d3来除,即 Halda=01/dB 1.17 要是a=d的话,因为=0,成以da=0.因此你取成有的成谓的闭形 式( close form),被过以写成d什么的东西来除,就得到在数学里头用一它唬 人的名字叫 homology.也就是取成有的k次的微分式,它们是封闭的(被d作 用为0),被成有的d的除,造一它商结构,这它商结构就叫做 homology.你过 以用到这它d,也过以用到这它边界用到边界的,历史上,是在拓扑里头,先 有用边界的,因为用的是0的 homology叫上同调( cohomology).这是由于历 史的关系,名字用掉了,成以叫 cohomology.这它外厉害,假使你有一它流 形,它是紧致的,它的 cohomology forn是有限维的,这它有限维的维数叫这 它空间的Bett数( Bett i Number).这是拓扑的内容,单学微积分,过以不必 去题,不从这它领域整它的有重要的发展,是近来数学的发展基本内容,当 然外要紧了.你有一它外大的空间,成有微分式组成的空间大得不得了,它 有结构,你过以加减,也过以求外微分,大得不得了,然后呢,它有些几何的 性质,取 quotient,这它 quotient是有限的,这它有限有它好处,得到数目有限, 是说有限维的维数是多少.得到一组数,这组数目就是这它空间的重要性 质,因为得知 Betti数是一它整数,有一群整数外要紧,比方说,球称球称有 这种 Bet ti数,环称也有 Betti数,它们是不一样,下称搞拓扑的人想法要证 明这种 Betti数是拓扑不变量,因此拓扑在数学的运用中就要紧了
➬ä➤,➬④➨✵⑧➉0, ❨✹✐❳③ê④, ❨➬Ò✱✶✆✘➬ø✛, ❿➬ Û(quotient). ❨ø③t✘➬ø✛, ✙ó✇✮✸➤(homology). ✙ó➂õ❥➛ ④✕✵Ñ✹❿➬ä➤, ✜Ü✬⑧➉0, ✜Ò✕✆✘➬quotien t, ✍➃ø✑, ✤ ➃✇quotient✑? Ò✹✜➨➘❿④✇✖dα = 0④α, ú➘❿dβ✉ø, ý {α|dα = 0}/dβ. (1.17) ✞✹α = dβ④➏, ❖➃d 2 = 0, ➘✶dα = 0. ❖✩✜❘➘❿④➘➣④✔♦ ✯(close form), ú✱✶❯➘d✤➃④➚Ü✉ø, Ò③tó❥➛➦❃⑦✘➬➂ ⑤④Ö✠✇homology. ✎Ò✹❘➘❿④k✬④❻■✯, ➬➣✹❯✔④(úd✯ ⑦➃0), ú➘❿④dβ④ø, ✆✘➬Û❼è, ❨➬Û❼èÒ✇✮homology. ✜✱ ✶⑦t❨➬d, ✎✱✶⑦t❨➬✣➂. ⑦t✣➂④, ➺✩Þ, ✹ó❴➚➦❃, ☛ ❿⑦✣➂④, ❖➃⑦④✹∂④homology ✇Þ✸➤(cohomology). ❨✹❸➉➺ ✩④✞ø, Ö✠⑦➠ê, ➘✶✇cohomology. ❨➬✐➳✸, ✧✫✜❿✘➬✖ ♦, ➬✹➏➋④, ➬④cohomology form✹❿✦➅④, ❨➬❿✦➅④➅❥✇❨ ➬✽✲④Betti ❥(Bett i Number). ❨✹❴➚④✓➂, ❭➛❻è■, ✱✶❳✗ ❱☛, ❳✱❨➬☛➢r➬④❿➢✞④✕✵, ✹↔✉❥➛④✕✵äý✓➂, ❤ ❧✐✞➏ê. ✜❿✘➬✐▲④✽✲, ➘❿❻■✯✜➘④✽✲▲③❳③ê, ➬ ❿❼è, ✜✱✶✜❃, ✎✱✶❋✐❻■, ▲③❳③ê, ❧⑨✑, ➬❿❏✁❬④ ✉➓,❘quotient, ❨➬quotient✹❿✦④, ❨➬❿✦❿➬Pÿ, ③t❥ø❿✦, ✹⑨❿✦➅④➅❥✹õè. ③t✘✜❥, ❨✜❥øÒ✹❨➬✽✲④➢✞✉ ➓, ❖➃③⑧Betti ❥✹✘➬r❥, ❿✘❦r❥✐✞➏, ✞✵⑨, ❊➪,❊➪❿ ❨➠Bet ti ❥, ➣➪✎❿Betti ❥, ➬➣✹❳✘ø, ✆➪➫❴➚④⑤✳✛✞② Ò❨➠Betti ❥✹❴➚❳★Þ, ❖✩❴➚ó❥➛④ä⑦➙Ò✞➏ê. 9
第二讲指数与对数函数 2001年10月19日 1本课的计划和目的 还有几分钟,我想趁这个机会讲一讲我的计划和目的.我这个课的课时 是8个小时,但微积分大得不得了,微积分的范围很广.不要说8个小时,明 是80个小时也讲不完的.所以我当然只能讲个大概,尤其是介绍整个的有 些意义的问题.至于详细的情形我没法去多讲.不详细的定义或者证明 我想你们已经学过微积分,所以我都不一定要给你们参考书,你们回去看 看自己以前用的书,大概在书里找得到.也有我的讲的范围和内容是书 中没有的.我觉得应该提一提微积分整个的影响或者是在那些方面向前发 展.可以说,微积分向前发展大概有两个最重要的方面.一个是在几何的应 用.微积分在微分几何的应用,最早是Gaus.Gass也许不是最早的,应该 还有别的人,如 Euler, Monge等人不过,我想Gaus是19世纪全世界最伟大 的数学法.数学在那时候,全世界也明是西欧了.因为这个原因,德国的数 学在19世纪是全世界最好的.那时,不但有Gaus,还有 Gauss的影响及其学 生.Gass最要紧的学生明是 Riemann.因为有 Gauss和 Riemann,德国的数 学明领先,领先的意思明是大法跟着他的方向去发展.在几何上的应用的发 展是很多的.当年 Einstein曾说过物理现象明是几何现象,以此发展他的广 义相对论.广义相对论当然要用坐标, Einstein了解最初的坐标表示几何问 题,希望坐标(x,y)有几何的意义.当一个物理学法觉得应该有几何的或物 理的意义时,他做起来才比较合理.不过, Einstein慢慢了解这个做不到,因 为空间呢,来得比较复杂,它允许任意坐标,允许坐标的任意选择,因此也允 许坐标变换,这明是我们现在所道的流形.流形的概次是空间概次的推 本来用的是 Euclid:空间或者非欧空间等只有几个空间,现在推广的流形明整 个推广了.推广了以说,整个的空间观次在物理上影响向前发展了.因此几 何里头要描写物理现象明需要几何新的概次.除了流形之外,还有纤维丛的
➅✓❨ ➁❥➛é❥❁❥ 2001★10Û19❺ 1 ý✶④✎➍❩ø④ ↕❿✁■➝, ➲✳➽❨➬å❒❨✘❨➲④✎➍❩ø④. ➲❨➬✶④✶✣ ✹8➬❇✣, ❜❻è■▲③❳③ê, ❻è■④✮➀✐✒. ❳✞⑨8➬❇✣, Ò ✹80➬❇✣✎❨❳q④. ➘✶➲❤❧➄✕❨➬▲➊, ❷Ù✹➄ër➬④❿ ✘❏❄❇④➥☛. ➊➉✲û④❁♦➲➊✛❱õ❨. ❳✲û④➼❇Ý❱②Ò, ➲✳✜➣✳➨➛✱❻è■, ➘✶➲Ñ❳✘➼✞➱✜➣❦✤❱, ✜➣➹❱✗ ✘✗✞✄✶✄⑦④❱, ▲➊ó❱➦■③t. ✎❿➲④❨④✮➀❩✓➂✹❱ ➙➊❿④. ➲ú③❛➈✡✘✡❻è■r➬④❦✴Ý❱✹ó❏✵➪✺✄✕ ✵. ✱✶⑨, ❻è■✺✄✕✵▲➊❿Ü➬✦➢✞④✵➪. ✘➬✹ó✁❬④❛ ⑦. ❻è■ó❻■✁❬④❛⑦, ✦✹Gauss. Gauss✎➂❳✹✦④, ❛➈ ↕❿✴④⑤, ➌Euler, Monge⑧⑤. ❳✱, ➲✳Gauss✹19✲✖❭✲➂✦➉▲ ④❥➛✛. ❥➛ó✣⑧, ❭✲➂✎Ò✹Ü◆ê. ❖➃❨➬➷❖, ②✮④❥ ➛ó19✲✖✹❭✲➂✦P④. ✣, ❳❜❿Gauss, ↕❿Gauss④❦✴ùÙ➛ ✠. Gauss✦✞➏④➛✠Ò✹Riemann. ❖➃❿Gauss❩Riemann, ②✮④❥ ➛Ò☛☛, ☛☛④❄❻Ò✹▲✛❐ø➷④✵✺❱✕✵. ó✁❬Þ④❛⑦④✕ ✵✹✐õ④. ❤★Einstein✑⑨✱Ô➤✙✻Ò✹✁❬✙✻, ✶✩✕✵➷④✒ ❇★é❳. ✒❇★é❳❤❧✞⑦✰✮, Einsteinê❽✦ð④✰✮✱✰✁❬➥ ☛, æ❶✰✮(x, y) ❿✁❬④❄❇. ❤✘➬Ô➤➛✛ú③❛➈❿✁❬④ÝÔ ➤④❄❇✣, ➷✮å✉❜✞✈❭➤. ❳✱, Einstein③③ê❽❨➬✮❳t, ❖ ➃✽✲✑, ✉③✞✈❹ì, ➬ã➂⑧❄✰✮, ã➂✰✮④⑧❄➔✡, ❖✩✎ã ➂✰✮★➛, ❨Ò✹➲➣✙ó➘✇④✖♦. ✖♦④➊✬✹✽✲➊✬④▼✒. ý✉⑦④✹Euclid✽✲Ý❱✿◆✽✲⑧➄❿✁➬✽✲, ✙ó▼✒④✖♦Òr ➬▼✒ê. ▼✒ê✶⑨, r➬④✽✲✡✬óÔ➤Þ❦✴✺✄✕✵ê. ❖✩✁ ❬➦❃✞➹❯Ô➤✙✻Ò❽✞✁❬❝④➊✬. øê✖♦❷✐, ↕❿✍➅✲④ 1
