【前言】
最近数学分析讲到了微分,我又遇到了之前自学微分时产生的疑惑。
![equation?tex=dx](https://i-blog.csdnimg.cn/blog_migrate/7d319966bb55e2f0555334d422700188.png)
到底是什么?是一个未知数,还是一个函数?
![equation?tex=dx](https://i-blog.csdnimg.cn/blog_migrate/7d319966bb55e2f0555334d422700188.png)
可以取任意大小吗,还是必须取非常小?
这篇文章就是我对微分概念的梳理,以及对一些常见误解的解释。
【误解的根源】
我发觉数学符号的一大缺陷就是没有类型系统。
数学的符号系统有没有缺陷?www.zhihu.com
你可以从不同角度看待一个符号,比如
![equation?tex=f%28x%29](https://i-blog.csdnimg.cn/blog_migrate/d9c9c3688701745e51fa4a203b331891.png)
,你可以看成一个函数,也可以看成函数
![equation?tex=f](https://i-blog.csdnimg.cn/blog_migrate/b1546fe57556d315e29ee6712725da66.png)
在点
![equation?tex=x](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png)
对应的数值。实际上你在切换视角的时候就潜意识地进行了类型转换,而这种隐式的类型转换往往是误解的根源,因此本文会把每个对象的类型显式地写出,读者可以将这种记号与通常教科书上的记号(我在本文中讲其称为简写记号)进行对比,从而加深对微分概念的理解。
例如,为了强调类型,有时我会把函数/映射
![equation?tex=f](https://i-blog.csdnimg.cn/blog_migrate/b1546fe57556d315e29ee6712725da66.png)
记为
![equation?tex=%28%5Cbm%7Bfunction%7D%29+f](https://i-blog.csdnimg.cn/blog_migrate/0c4df69699d4e5226302a5e2d4f43fc6.png)
,变量
![equation?tex=x](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png)
记为
![equation?tex=%28%5Cbm%7Bvariable%7D%29x](https://i-blog.csdnimg.cn/blog_migrate/298b3898ae0d085e39ee173e64c399d3.png)
。
【微分的定义】
教科书上对微分的标准定义:
微分是增量中的线性主部。具体来说,考虑
![equation?tex=y%3Df%28x%29](https://i-blog.csdnimg.cn/blog_migrate/0968e0afadc9022c382aed6c86ffddc6.png)
在点
![equation?tex=x_0](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png_0)
自由变量的增量
![equation?tex=%5CDelta+x](https://i-blog.csdnimg.cn/blog_migrate/5a833121384e07d24c0aef599b14203e.png)
引起的因变量的增量
![equation?tex=%5CDelta+y](https://i-blog.csdnimg.cn/blog_migrate/15048ad18f403ddcc46918debe209d23.png)
。若有常数
![equation?tex=a](https://i-blog.csdnimg.cn/blog_migrate/3a1b450ba33b8215b0d69885896f7309.png)
使得
![equation?tex=%5CDelta+y%3Da%5CDelta+x%2Bo%28%5CDelta+x%29+%28%5CDelta+x+%5Crightarrow+0%29](https://i-blog.csdnimg.cn/blog_migrate/15048ad18f403ddcc46918debe209d23.png%3Da%5CDelta+x%2Bo%28%5CDelta+x%29+%28%5CDelta+x+%5Crightarrow+0%29)
,则称
![equation?tex=%5CDelta+y](https://i-blog.csdnimg.cn/blog_migrate/15048ad18f403ddcc46918debe209d23.png)
有线性主部
![equation?tex=a+%5CDelta+x](https://i-blog.csdnimg.cn/blog_migrate/3a1b450ba33b8215b0d69885896f7309.png+%5CDelta+x)
。这时称
![equation?tex=y%3Df%28x%29](https://i-blog.csdnimg.cn/blog_migrate/0968e0afadc9022c382aed6c86ffddc6.png)
在点
![equation?tex=x_0](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png_0)
可微,并将这个线性主部称为
![equation?tex=y%3Df%28x%29](https://i-blog.csdnimg.cn/blog_migrate/0968e0afadc9022c382aed6c86ffddc6.png)
在点
![equation?tex=x_0](https://i-blog.csdnimg.cn/blog_migrate/79271a73b75b1b2971964504afad8a27.png_0)
的微分。
本文对微分的定义:
对于一个映射
![equation?tex=%28%5Cbm%7Bfunction%7D%29f%3A+x+%5Cmapsto+%28%5Cbm%7Bvariable%7D%29f%28x%29](https://i-blog.csdnimg.cn/blog_migrate/e7baf9ec13b6c38aecb4ae94e0373e37.png)
,
给定
![equation?tex=%28%5Cbm%7Bvariable%7D%29x%2C%28%5Cbm%7Bvariable%7D%29%5CDelta+x](https://i-blog.csdnimg.cn/blog_migrate/298b3898ae0d085e39ee173e64c399d3.png%2C%28%5Cbm%7Bvariable%7D%29%5CDelta+x)
,我们可以得到
实际上这个式子就给出了一个
![equation?tex=%28%5Cmathbb%7BR%7D%2C%5Cmathbb%7BR%7D%29+%5Cto+%5Cmathbb%7BR%7D](https://i-blog.csdnimg.cn/blog_migrate/3ba004f04d18d8c698ffcbf72ac931bc.png)
的新映射