一阶微分形式的不变性yijie weifen xingshi de bubianx-ing

设y=f (u)在点u可微，则无论u是自变量，还是自变量的可微函数，都有

dy =f′ (u)du.

微分的这个性质称为一阶微分形式的不变性.
一阶微分形式的不变性是根据复合函数求导法则推出的. 事实上，当u=ψ(x)为自变量x的可微函数时，d y == {f[ψ (x)]}′ d x= f′,[ψ (x)] ψ ′ (x) d x=f′ (u) du.