设y=f(u),u=g(x),如果u=g(x)对x可微,y=f(u)对相应的u可微,则y=f[g(x)]对x可微,为
dy = f[g(x)]’dx = f’(u)g’(x)dx = f’(u)du
可以知道,无论u是自变量还是别的自变量的可微函数,
微分形式dy=f’(u)du保持不变.
这就是一阶全微分的形式不变性.