无限小增量定理-无限小增量定理

不是所有无穷大都能被轻易包含进有限圈里，这玩意儿就像个拿着放大镜的胖子，越看越大，直到把整个平面都填满了。 咱们先说说那个最经典的例子，那个收敛的柯西序列。
你想想，要是 $1/n$ 这一堆小数加起来确实能变成有限个数的话，那它肯定得是个收敛数列。可实际上它是收敛的，并且收敛到 0。
这就好比你在数数，1、1/2、1/3……加起来一辈子是个无限小的正数，哪怕你数到十亿亿亿，也一辈子猜不到真值到底是多少。
这就是康托尔数列的魔力，它听起来像个无穷大，实际上却收敛到有限的 0。
这没啥，就是数学里的寻常事，但大量人一接触微积分就启动信当作真，认定无穷大就是无限，无穷大就是一个数，结局下一秒就被自己踩得粉碎。 再换个角度，咱们看看 $1/n$ 本身。当你顺着 $1, 1/2, 1/3, dots$ 往下走，这个数列越来越“胖”，越来越接近 0。但你要是非要让它越来越“大”，你只能往反方向走。
比如 $n$，$2n$，$4n$，全都是无穷大。可你试着去接近 0 呢？你选的每一个数都不是无穷大，哪怕你选了 $10^{100}$，它也是有限的。
这就好比你要去跟一个无穷大的巨人握手，你手里拿着个小巧玲珑的玩具，它如何可能碰得着？这就是为啥有的无穷大比其他的无穷大大，有的比别的无穷小。它们之间没法比，出于它们根本不在同一个维度上，一个是无限延伸的线，一个是具体的数字。 咱们得承认，无穷大这个概念在微分里是个老哥们儿，它和有限大一样，有加法，有乘法，有分配律，就连像一般/平平大数一样，都能自己加自己。
比如 $100 + 100 = 200$，$500 + 500 = 1000$。但要是你拿两个无穷大去加呢？$1000 + 1000$ 能等于 2000 吗？结论是，不能。它等于 $10000$，要么是 $2000$，要么是每一个可能的值。
这就好比有人突然对你说：“我有 1000 块钱”，然后他又说：“我有 1000 块钱”。你第一遍信了他，心里盘算着 2000 块，结局第二遍全变了，变成了 2000 块。
那个“2000"到底是不是真值？你根本不知道。它就像个 BUG，只要略微改个条件，结局就天翻地覆。 这时候你得把目光投到导数那边去，导数才是真正爱管闲事的无穷大。说到导数，起初得记住它的定义：变化率。
要是 $f(x)$ 在 $x$ 点附近变化得比 $x$ 本身还快，要么慢到简直没变，那它的导数就是无穷大。
举个例子，函数 $f(x) = x^{-1} = 1/x$。当 $x$ 确实无限接近于 0 时，$f(x)$ 就会像爆炸一样大，大到连我们现有的数学工具都处理不了。
这时候，$f'(x)$ 的值就无穷大了。 注意这里有个关键点：哪位无穷大，哪位才悬。$g(x) = sqrt{x}$，当 $x$ 接近 0 时，$g(x)$ 变得无限小，它的导数自然也是无穷大。但你再看 $h(x) = x^{-1}$，当 $x$ 接近 0 时，$h(x)$ 变得无限大，它的导数也是无穷大。
如何都是无穷大？出于这两个函数在 0 附近的“速度”都是无穷大的。一个是从 0 快速变大，一个是从一个庞大的数字快速变小，它们的“斜率”在 0 这个点上都是刺眼的无穷大。你试着画个图，0 点附近 $1/x$ 的曲线简直就是垂直的直线，连画笔都画不出来。 那 $1/x$ 的导数到底是多少？不能是 0，也不能是 1，更不能是 2 要么 $sqrt{2}$。它是多少？它没有一个确定的值。你说它是 1，那它就是 1；你说它是 0，那它就是 0。它在某个时刻等于 1，在另一个时刻等于 0。
这就是为啥微积分里常说，导数不存有。出于它根本不是有穷数，它是个“所有可能”集合。 这就引出了一个更深层的难题：无穷大到底能不能被消除？大量人当作无穷大能够抵消掉，比如 $infty - infty$ 等于 0。但在真世界里，这一般是不成立的。就像两个无限高的塔，你去比较它们的高度，你一辈子无法给出一个确切的数字。$infty - infty$ 这个式子，随意你选哪个结局，它都是对的。出于它根本不代表一个具体的数。 再找找，有没有哪个无穷大能够真正消除掉？比如 $1000 - 1000$ 是 0，但这是有限个数字相减。
要是要减两个无穷大呢？比如 $lim_{xtoinfty} (x - x)$？这个式子等于 0，能够消除。但要是是 $x + x$，那它等于 $2x$，它不是常数，它随 $x$ 变化，故此它不能被消除。消除掉意味着结局是一个常数，跟 $x$ 无涉。 这就像你试图把无限个无限小的石头擦干净利落，最终只剩下一块石头。
这块石头到底是多小？它可能是 0，也可能是 $10^{-99}$，也可能是 $10^{-1000}$。你擦不出来一个确切的极限值。
这就是为啥在分析里，当涉及到加上一个无穷大（特别是可去间断点）时，我们要贼贼小心。
比如求极限 $lim_{xto 0} (x + x^{-1})$。当 $x$ 趋近于 0 时，$x$ 是无穷小，$x^{-1}$ 是无穷大。
这两个加起来，结局到底是无穷大，还是 0？
要么是别的啥？它可能是无穷大，它可能是 0，它可能是 $sqrt{2}$，它可能是 $pi$。它没有固定的归宿。 故此，回到最启动的那个 $1/n$ 的例子。
为啥它收敛？出于它是在有限个数的空间里跳舞。别看它无限大，但它是趋向于一个有限数的。而 $1/x$ 就不一样了，它是确实在跑向无穷大。 这不只是是数学题，更是一种哲学。无穷大不是数字，它是一种状态，一种趋势。当你说一个函数趋向于无穷大时，你并不是说它变成了某个具体的数，你是在描述它离开了有限数的范畴。
这种“脱离”是无法被计算的。你不能说 $1/x$ 的导数等于无穷小，别看直观上感觉它变小了，但它是无穷大。你不能说它等于 1，别看从某种意义上说，它是有限的。 最终总结一下，无穷大在微积分里是个贼调皮的角色。它看起来强大，实际上挺脆弱。当你试图用常规的大数逻辑去处理它时，你会发现逻辑崩塌。导数、极限、积分，这些微积分的核心工具，在面对无穷大时，往往只能给出“不存有”、“无穷大”、“不确定”这些词。它不像有限的大数那样听话，它就像个黑洞，把所有的逻辑都吸进去。 下次你再看到 $infty - infty$ 这种式子，千万别急着算。它可能是 0，也可能是任何数。别把它当成一般/平平的减法来用。出于它代表的不是一个确定的对象，而是一个“所有可能”的集合。在这个集合里，任何数字都能站得住脚。
这就是无穷大的诅咒，也是它唯一的魅力所在。