微积分 - 无穷小量

二分掌柜的

已于 2025-06-26 11:42:39 修改

阅读量1.1k

点赞数 24

CC 4.0 BY-SA版权

分类专栏：数学物理文章标签：微积分无穷小量

于 2025-06-26 11:26:18 首次发布

本文链接：https://blog.csdn.net/flyfish1986/article/details/148917371

数学物理专栏收录该内容

93 篇文章

订阅专栏

微积分 - 无穷小量

flyfish

无穷小量

1. 定义：动态的“趋近于零”的变量

无穷小量 不是一个固定的小数，而是在某个极限过程中，值无限趋近于0的变量。
关键特征：它的“大小”随自变量的变化而变化，最终趋势是“趋于0”，但在达到0之前，它始终是一个非零变量。
例子：

当 $\to 0$ 时，变量 $x$ 、 $x^2$ 、 $sin⁡x\sin x$ 都是无穷小量，因为它们在 $\to 0$ 时极限为0；
当 $\to \infty$ 时，数列 $1n\frac{1}{n}$ 、 $1n2\frac{1}{n^2}$ 也是无穷小量，因为它们随 $n$ 增大无限接近0。

2. 与“很小的数”的区别

无穷小量是变量（依赖于极限过程），而“很小的数”（如 $10^{-100}$ ）是常数，不随变量变化而变化。
例如： $10^{-100}$ 虽然极小，但它的极限还是自身，不是无穷小量；而 $\to 0$ 时的 $x$ 是无穷小量，因为它的极限是0。
无穷小量始终是一个趋近于0的「变量」，而非「达到0的固定值」。其核心在于「过程性」和「动态性」。

3. 无穷小量的本质：变量的「趋势」而非「终点」

定义层面
无穷小量的严格定义基于极限：若变量 $α(x)\alpha(x)$ 在 $\to x_0$ （或 $\to \infty$ ）时满足 $lim⁡α(x)=0\lim \alpha(x) = 0$ ，则称 $α(x)\alpha(x)$ 为该极限过程中的无穷小量。
这里的「无穷小」描述的是变量在极限过程中的趋势（无限趋近于0），而非变量在某一时刻的具体取值。
变量在趋近过程中可以始终不为0，也可以在某些点等于0，但关键是其极限为0。例如：

数列 $an=1na_n = \frac{1}{n}$ （ $\to \infty$ ）中， $a_n$ 始终不为0，但无限趋近于0；
数列 $bn={0,n为奇数1n,n为偶数b_n = \begin{cases} 0, & n \text{为奇数} \\ \frac{1}{n}, & n \text{为偶数} \end{cases}$ 中， $b_n$ 在奇数项等于0，但极限仍为0，因此也是无穷小量。

与「0」的本质区别
0是常数，而无穷小量是动态变化的变量，二者不可混淆。
若变量在某一过程中始终等于0（如 $f (x) = 0$ ），则它是一个特殊的无穷小量（常值函数），但这是无穷小量的「特例」，而非一般情形。

4. 为什么无穷小量「不能达到0」？—— 从极限的逻辑看

在极限理论中， $lim⁡x→x0f(x)=A\lim_{x \to x_0} f(x) = A$ 的定义关注的是 $x$ 「趋近于 $x_0$ 但不等于 $x_0$ 时」 $f (x)$ 的趋势，即：
对于函数 $f (x)$ ，当 $\to x_0$ 时的无穷小量 $α(x)=f(x)−A\alpha(x) = f(x) - A$ ，讨论的是 $\neq x_0$ 时 $α(x)\alpha(x)$ 的变化，而 $x = x_0$ 处 $α(x0)\alpha(x_0)$ 的值不影响极限的存在性。
例如： $f (x) = x$ 在 $\to 0$ 时， $α(x)=x\alpha(x) = x$ 是无穷小量，此时 $x$ 可以无限接近0，但「 $x = 0$ 」是极限过程的「终点」，而不是过程中必须达到的点。极限理论的精妙之处在于，它通过「无限趋近」的动态过程刻画趋势，避免了古典微积分中「无穷小既是0又非0」的矛盾（即不需要假设存在一个「非零且等于0」的数）。

5. 古典无穷小的误区：将「动态过程」固化为「静态量」

在微积分发展早期（如牛顿和莱布尼茨时代），无穷小量被直观理解为「无限小的非零常数」，甚至出现「 $d x$ 是无穷小，既不等于0又能参与除法」的矛盾表述。例如：
求导数时，先将 $Δx\Delta x$ 视为非零量进行除法运算，再令 $Δx=0\Delta x = 0$ 得到结果，这导致「 $Δx\Delta x$ 既是非零又是零」的逻辑悖论（即贝克莱悖论）。
现代极限理论解决这一问题的关键在于：用「变量趋近于0的过程」替代「固定无穷小常数」，将导数定义为极限值 $lim⁡Δx→0ΔyΔx\lim_{\Delta x \to 0} \frac{\Delta y}{\Delta x}$ ，其中 $Δx\Delta x$ 是「趋于0但始终不为0的变量」，而极限值是一个确定的数（导数）。

6. 通俗类比：无穷小量如同「追0的过程」

想象一个人从A点走向B点（B点坐标为0），他每走一步都离B点更近，但在到达B点之前，他始终处于运动状态（对应无穷小量作为变量的过程）。
若他在某一时刻到达B点（即变量等于0），这只是运动过程中的一个「特殊事件」（如数列中的某一项为0），但运动的「趋势」是「到达B点」（极限为0）。
关键是：「趋势」是对整个过程的描述，而不是某一时刻的状态。

7. 无穷小量的「变」与「限」

无穷小量的「变」：它是随自变量变化而趋近于0的变量，在过程中可以取非零值，也可以偶尔取0，但不能一直等于0（否则失去「变化性」）。
无穷小量的「限」：它的极限是0，但「极限值」和「变量本身」是两个概念——就像「目标」和「走向目标的过程」，过程永远不等于目标，但目标定义了过程的方向。这种动态的极限观点，彻底消除了古典无穷小的逻辑矛盾，使微积分成为严谨的数学理论。

正确的说法

无穷小量不是确定的数
它是随自变量变化而趋近于0的变量，没有固定值。
无穷小量不是一个实数
实数中只有0是常数无穷小量（因 $lim⁡0=0\lim 0 = 0$ ），其他无穷小量均为变量（如函数、序列）。
无穷小量是以0为极限的变量
这是核心定义，例如：
函数 $f(x) = x^2$ 在 $\to 0$ 时是无穷小量（ $lim⁡x→0x2=0\lim_{x\to0} x^2 = 0$ ）；
序列 ${1/n^2\}$ 是 $\to \infty$ 时的无穷小量。
“无穷小量可以是序列”
如 ${1/n\}, \{1/2^n\}, \{(-1)^n/n\}$ 等，均为极限为0的序列（无穷小序列）。
“无穷小量可以是函数”
如 $\sin x$ （ $\to 0$ 时）， $g(x) = e^x - 1$ （ $\to 0$ 时），均为无穷小函数。
无穷小量不是0.000…1（中间无数个0）
标准实数系中，不存在这样的数：
无限小数的定义中，“0.000…”表示小数点后有无限个0，没有“最后一位”，无法在无限个0后加1；
若强行构造“0.00…1”，其本质是“10^{-n}”当 $\to \infty$ 时的极限过程，即变量 $10^{-n}$ ，而非固定数。
在标准微积分（基于实数系）中，没有“0.00…1”这种数，因为：
1. 实数的完备性要求：任何实数可表示为有限小数或无限不循环小数，无限循环小数对应有理数（如 $0.333 \dots = 1/3$ ），但“0.00…1”既非有限小数，也非循环/不循环的无限小数（因“最后一位1”破坏了无限性）；
2. 若强行用极限理解，“0.00…1”等价于 $lim⁡n→∞10−n=0\lim_{n\to\infty} 10^{-n} = 0$ ，即其极限为0，而非一个独立存在的数。
  例外：非标准分析中的“无穷小量”
  在非标准实数系中，引入了“超实数”，允许存在非零的无穷小量（记为 $ε\varepsilon$ ），满足 $|\varepsilon| < r$ 对所有正实数 $r$ 成立。但这种无穷小是新定义的，不同于标准实数系中的变量概念，且不属于微积分入门的范畴。