談談對于微分符號 df 的理解

1、談談對于微分符號談談對于微分符號df的理解的理解[轉載轉載]2011111114:15:02|分類：math|舉報|字號訂閱☆─────────────────────────────────────☆Cracker(rock)于(ThuAug610:37:132009)提到:發(fā)信人:symplectic(身無彩鳳雙飛翼)信區(qū):Mathematics標題:談談對于微分符號df的理解發(fā)信站:北大未名站(2003年05月28日07:29:0

2、7星期三)站內信件這兩天，不斷有人問起這個問題，倒值得認真討論一下。記得別人回憶陳省身先生的文章里也提到，五十年代時，研究生們看到他在黑板上隨意寫下外微分表達式dx，還會覺得驚訝和迷惘。我在這里重新整理了一下自己以往的認識。這里寫下來，就正于大家，也許對學習微分流形的朋友會有幫助。問題的確切表述，應該是這樣：給定微分流形M上的可微函數(shù)f，問表達式df=f_idx^i的確切含義是什么？這里x^i表示一個局部坐標系的坐標分量，f_i表示f對

3、x^i的偏導數(shù)。這個表達式，其實在多元微積分里已經(jīng)出現(xiàn)了。估計最初大家都跟我一樣，把它當作是一個方便的形式記號。在當時的條件下，df可以理解為n元函數(shù)f的Jacobian的另一種表達方法。注意這時的Jacobian應該是一個n元向量，則f_i表示的是此向量的各個分量，而dx^i意味著此分量表達是相對于坐標x^i而確定的。從微分流形的觀點而言，我們可以有更好、更深入的看法。我們不妨設想自己處于這個理論創(chuàng)立者的地位上，那么很自然地要考慮：給

4、定微分流形M，上面有什么自然的構造？這個看法，既是直觀的(借助了幾何圖象)，同時又是抽象的(采用了等價類的代數(shù)描述)。好了，我們再來看第二類對象，它們是任意函數(shù)在p點處的微分，它們同樣可以描述為一些等價類，其中每一類里包含的是一些在p點鄰域上取值的函數(shù)，它們沿任意方向的方向導數(shù)相同。同樣我要在這里提醒大家注意，這里沿某方向的方向導數(shù)是良定的(welldefined)。(如果有人擔心這里的“方向”和“方向導數(shù)”概念還沒有建立起來，那我可以

5、修改為“沿過p點的任意可微曲線，此函數(shù)在p點的導數(shù)”。)這兩類東西，作為對應映射在一點的線性化，本身就自然帶有線性結構。第一類對象，構成了p點的切空間；第二類對象全體，恰好構成前者的對偶空間，即余切空間。把各點處對應的這些空間聯(lián)系起來看，就給出了切叢和余切叢?；仡^來看開頭的表達式，則左邊的df，其實就是由f決定的一個“余切元素”(記住，它代表一個等價類)。右邊呢，x^i作為給定的局部坐標，也就自然給定了n個坐標函數(shù)，這些函數(shù)分別決定了n

6、個余切元素，且構成p點處余切空間的一個基底，它們就是dx^i，而df就可以由它們線性表示。巧得很，這樣表達出來的坐標分量，正好是f沿對應方向的偏導數(shù)。話說到這里可以結束了，但我想把有關的東西進一步解釋清楚點。接著原式，如果我們把f“遮”起來不看，則左邊的d表示一個全微分記號，而右邊表示的則是一個求和，其中每一項里都包括一個切向量(ddx^i)和一個余切元素(dx^i)。這樣一個抽象的表達式，恐怕更讓人困惑，因為看起來每一項中對應的切向量