单调有界定理适用于函数吗_为什么单调性如此神奇？

在本文的完成过程中经过了 @sola 的把关，在此表示感谢。

我们常常会认为单调性是很神奇的。在前面讲数列极限时，就已经看到单调性居然会带来收敛与有界等价^[1]，而在一般情况下收敛会比有界强得多。

从函数的观点，就可以为这个事实做一些初步的解释。首先我们叙述函数单调性的定义。

设

是数集

上的一个函数。则称

单调递增，是指对于任意

成立

类似定义单调递减。

单调性的神奇，本质就在于可逆。我们说函数

是可逆的，是指对于任意

成立

记

则此时构造出一个函数

使得

这就是函数

的反函数。我们注意到，单调函数总是可逆的。

由此带来的首先就是如果方程

有解，那么解是唯一的。比如说，方程

将来我们会证明它有解。又因为

单调递增，所以解是唯一的。

再来从这个角度解读单调有界收敛定理，这不会被作为严格证明，只不过是一种理解。同时我还会用到数列的上、下极限^[2]，这也可以作为温故。

对于一个数列

可以把它延拓为一个

上的函数

使它的图像是折线，即

这里

是不大于

的最大整数。若

有界不收敛，则有不等且为实数的上、下极限。

而

必定无限次取到

的上、下极限的平均值（留做习题），所以必定不可逆，也就不单调。另外，容易看出

的单调性和

的单调性等价。

参考

1. ^https://zhuanlan.zhihu.com/p/137302996
2. ^https://zhuanlan.zhihu.com/p/158044599