微分是很妙的东西,因此你可以把积分号丢掉,就说我们拿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