微分形式不變性

設函數為：，這時：

如果u是自變數，則函數的微分形式為：

如果u是中間變數，即，函數就為複合函數，自變數是x，即複合函數求導得：，那麼複合函數自變數是x)的微分形式為：，因為，帶入式得：

因此，附上複合函數求導證明

證明：令

則

則

則

則

又

則

綜上得證