定义陈述
设 , 为开区间,。若极限
存在(且有限),则称 在 可导,称该极限值为 在 的导数, 记作 或 。
若 在 的每一点可导,则得到导函数 。
ε-δ 等价表述: 当且仅当
与相近概念的区别
| 概念 | 关键差别 |
|---|---|
| 在 连续 ANL-DEF-012 | 仅要求 ,不涉及变化率 |
| 在 可导 | 要求差商极限存在——比连续严格 |
| 单侧导数 ANL-DEF-016 | 把极限改为 或 |
| 微分 ANL-DEF-015 | 是导数与自变量微元的乘积 ,结果是一个量,不是过程 |
直觉理解
导数 瞬时变化率 函数图像在该点切线的斜率。
差商 是过 与 两点割线的斜率。 让 ,割线”绕 旋转”逼近切线, 切线斜率即 。
核心意义:导数把”函数在一点附近的局部行为”压缩成单个数。 若 ,函数在 附近”上行”;若 ,函数在 处”局部水平”, 是极值候选点(ANL-THM-020);若 ,函数”下行”。
量词顺序:先给 ,再找 。 依赖于 (且通常依赖 ), 含义是”差商误差可任意小”。
链接
- 前置:ANL-DEF-008 函数极限、ANL-DEF-012 函数连续
- 直接推论:ANL-THM-016 可导 ⇒ 连续
- 计算工具:ANL-THM-017 求导四则运算、ANL-THM-018 链式法则
- 例题:ANL-EX-008
跨专业应用
- 物理:位置 对时间的导数 是瞬时速度;速度对时间的导数是加速度
- 经济学:成本函数 的导数 是边际成本(多生产 1 单位的额外成本)
- 工程:测量误差 经函数 后近似传播为