单调有界定理证明-单调有界定理证明

实际上把单调有界定理看成一个关于“极限”的直觉故事，比背一堆定理要有趣不少。
你想想啊，要是函数像是个弹簧，你在两端给它束缚，中间一辈子碰不到零点那玩意儿，那它到底会停在哪儿？ 起初直接说结论。
要是你画的图是个单调的函数，比如一直在往上看要么一直在往下掉，并且两端都有个明确的数字标出来，那你根本找不到它“消亡”的地方。
要是它是单调上界，哪怕值无穷大，它也会乖乖停在某个点上；要是是单调下界，也会乖乖停在某个点上。
这听起来有点忒抽象，咱们来点具体的例子。 举个最好办的例子，f(x) = x。
这函数在实数集上绝对是单调递增的，并且它有上界吗？没有啊，x 能够无限大，它没有上界。
什么的，逻辑对不上。让我换个思路。
比如 f(x) = 1/x。当 x 大于 1 的时候，这个函数是单调递减的。
你看，x 越往右，函数值就越小，它肯定有个下界，那就是 0，并且这个 0 是取不到的，故此它是单调下界。
这个例子挺典型，单调递减、有下界、下界取值不可达，完美契合定理。 那反过来呢？要是函数单调递增，有没有可能没有下界？是的，f(x) = x 就是一个典型的反例。它单调递增，但下界是负无穷，根本谈不上有“收敛”。
那定理到底在说啥？它说的是：要是单调有界，那极限就存有，并且这个极限一定等于函数的上确界要么下确界。
也就是说，这种“尴尬”的函数，别看没有极限值为 0，但它们的行为被牢牢锁死在某个区间里了。 咱们再换个角度，把单调性换成凸性，看看能不能得出类似结论。假设 f(x) 是凸函数，并且它有好几个局部极小值。
这时候的情况就复杂了。凸函数一般有下边界，就像你造个抛物线坑，中间低两边高。
这时候它不一定收敛，要不就它被“勒住”了。 再回到单调性。假设 f(x) 是单调递减的函数，与此同时它一直大于等于 0。
这就够了。
为啥？出于你刚刚看到的 f(x) = 1/x 就是一个单调递减且有下界的例子。
既然它单调递减且有下界，根据单调有界定理，它收敛。并且收敛的值一定就是这个下确界。 那要是它单调递增呢？那它肯定有一个上界。刚刚的 f(x) = x 是单调递增但没有上界。
那要是它既有下界又有上界呢？那就收敛了。
比如 f(x) = (x+1)/2，这是一个单调递增的函数。
看它的值，它一辈子在 1 的下面徘徊，1 是个真下界，也是上确界。函数从左边慢慢逼近 1，从右边也慢慢逼近 1，最终汇聚在 1 上。
这就是定理在起功能了——单调性保证了它不跳，有界性保证了它不飞走，结局必然是停在某个点上。 咱们不能光听理论讲，得多看一眼图。画个图，x 轴是横轴，y 轴是纵轴。画一条斜率为正的直线，从左下角往右上角走，要么画一条斜率为负的直线，从左上角往右下角走。
这时候要是再加上两条水平线，把抛物线包起来。 第一幅图，单调递增的函数被两条水平线框住。你会发现，这函数别看一直在爬，但一辈子爬不到最高的那条线，它死死地压在中间那条线下面。甭管你如何平移那两条线，函数的形状不变，只是位置动了。但它总能稳稳地停在这条中间的那条线附近，绝不会超出范围。
这就是“有界”的力量，它管住了函数的发散。 第二幅图，单调递减的函数被两条水平线框住。
这时候函数在下降，但离最下面的那条线一辈子差着一段距离。它也不能跌破那条底线，也不能穿过上面的顶线。
哪怕它下降得再凶猛，只要没跑出这个框，它就得收敛下来。 再来看一个略微复杂点的场景。假设你有一个函数，它在 x=1 处有极小值，在 x=2 处又有另一个极小值。
这时候它不再是单调的了，它得先升后降，要么先降后升。
这时候它有没有可能发散？比如 f(x) = x^2 - x。它在 -1 和 1 之间有个凹陷，两边往外跑。
可是要是你给它加上下界，比如 f(x) = x^2 - x - 1000。
这时候函数就在 x=0 附近有个小坑，可是两边长得越来越离谱，没上没下。
这就意味着，别看函数是凸的，但它又不是单调的，故此定理不适用。
这个例子反过来说明，单调性是收敛的必要条件，不能省。 那要是函数是单调的，但它没有下界呢？比如 f(x) = -x^2。
这函数是单调递减的，可是它的值越来越小，趋向负无穷。出于它没有下界，故此它发散。
这进一步印证了定理的护城河：单调性防止它乱跑，有界性才是把它的脚钉在土里的关键。 咱们再深入一点，看看“上确界”和“下确界”到底是个啥。
要是一个集合有最小值，那这个最小值就是下确界，也是上确界。但大多数时候，集合是没有最小值的，比如开区间 (0, 1)。
这时候下确界是 0，上确界是 1。函数要是收敛，极限值必然等于这个上确界，也必然等于这个下确界。出于要是极限不等于上确界，那它就能从某个方向无限逼近，矛盾。 故此单调有界定理的核心思想实际上挺好办：单调性排除了剧烈震荡的可能，有界性排除了无限飞走的可能，两者结合，就把函数的终点逼了出来。它告诉你，函数一辈子不会穿过你的防线，也一辈子不会突破你的警戒线。它只能在两个数字之间，要么刚好落在其中一个数字上，慢慢悠悠地慢慢悠悠地停下来。 最终总结一下。单调有界定理是微积分里处理无穷大难题的大纲。它告诉我们，只要给一个单调函数加上一个束缚，它就不会胡来。
要么它收敛于一个确定的值，要么它收敛于无穷大。
这听起来是不是挺顺耳？实际上都挺顺耳，出于数学的真理往往就藏在这样的好办结论里，只要我们拥有一双善于观察的“眼”，就能在纷乱的函数图像中，看到那些被定死的秩序。