微分是说局部可以近似成线性函数+高阶无穷小,重点是这个近似的存在性。导数是这个近似线性函数的系数。
一元函数的微分和导数可以说就是一种东西,可导和可微也是等价的;主要区别在于多元函数甚至多元映射。
多元线性函数(比如R²→R,f(x,y)=z)用一个系数当然表示不出来,所以得对每个变量各定义一个“导数”,即 偏导。但是自定义了每一个偏导依旧是不够的,你不能保证所有偏导联合起来能构成一个线性函数。(“可导但不可微”的例子书里已经写了)。
再就是复变函数f:C→C。这里我们用模代替绝对值,可以得到复数极限和复数的可微性,但你会发现(见“复变函数”这门课)此时可微(导)性非常稀有,可微是一个非常强的条件,必须满足某某方程才可微(导),而且一旦可微自动赠送任意阶可微性。
一元函数的微分和导数可以说就是一种东西,可导和可微也是等价的;主要区别在于多元函数甚至多元映射。
多元线性函数(比如R²→R,f(x,y)=z)用一个系数当然表示不出来,所以得对每个变量各定义一个“导数”,即 偏导。但是自定义了每一个偏导依旧是不够的,你不能保证所有偏导联合起来能构成一个线性函数。(“可导但不可微”的例子书里已经写了)。
再就是复变函数f:C→C。这里我们用模代替绝对值,可以得到复数极限和复数的可微性,但你会发现(见“复变函数”这门课)此时可微(导)性非常稀有,可微是一个非常强的条件,必须满足某某方程才可微(导),而且一旦可微自动赠送任意阶可微性。











