单调递增

单调递增（Monotonically Increasing），又称单调不减，是数学中描述函数或序列变化趋势的基本概念，指当自变量增大时，因变量始终保持非减（即不下降）的性质。用形式化语言表述：对于定义域中的任意两个元素 $x_1$ 和 $x_2$，若 $x_1 < x_2$ 恒有 $f(x_1) \le f(x_2)$，则称函数 $f$ 为单调递增函数。若将不等号严格化为 $<$，则称为严格单调递增。单调递减的定义则与此对称：$x_1 < x_2$ 时 $f(x_1) \ge f(x_2)$。

这一概念贯穿微积分、实分析、优化理论、经济学等多个学科，是分析变量之间单向依赖关系的核心工具。理解单调递增对于掌握函数的整体性态、判断极值的存在性以及建立变量间的因果逻辑都具有基础性意义。单调性分析也是函数图像绘制中的首要步骤，通常与奇偶性、周期性分析并列，构成函数性质研究的基本框架。

1. 严格与非严格单调性

根据函数值是否允许保持不变，单调递增可区分为两种情形。

非严格单调递增：当 $x_1 < x_2$ 时，有 $f(x_1) \le f(x_2)$。函数值可以保持不变，即出现"平台"区域，但绝不下降。常数函数 $f(x) = c$ 即是典型例子，它在整个定义域上既不上升也不下降，既是单调递增也是单调递减。阶梯函数和取整函数 $f(x) = \lfloor x \rfloor$ 也属于此类，它们在整数点上发生跳跃，但在每个整数区间内保持水平。此外，累积分布函数（CDF）在概率论中也是典型的非严格单调递增函数，其值从 0 增加到 1，期间可能出现平段。

严格单调递增：当 $x_1 < x_2$ 时，有 $f(x_1) < f(x_2)$，排除了函数值相等的可能性，要求自变量增大时因变量必须随之严格上升。线性函数 $f(x) = 2x + 1$、幂函数 $f(x) = x^3$ 和指数函数 $f(x) = e^x$ 均属此类。对数函数 $f(x) = \ln x$ 在其定义域 $(0, \infty)$ 上也是严格单调递增的。

两者的区别在实际应用中至关重要。严格单调性保证了函数的单射性（一一映射），从而确保反函数的存在，在工程计算、信号处理和数值插值中尤为重要。例如，严格单调递增函数 $f(x) = x^3$ 的反函数 $f^{-1}(x) = \sqrt[3]{x}$ 在整个实数域上定义良好。非严格单调性则允许水平线段存在，在效用理论中常用于描述"无差异区域"的概念，在算法分析中则对应非递减排序序列的稳定性分析。

2. 导数判别法

对于可导函数，单调递增性可通过一阶导数符号判别。若函数 $f$ 在区间 $I$ 上可导，则 $f'(x) \ge 0$ 对区间内所有 $x$ 成立是 $f$ 在 $I$ 上单调递增的必要条件；若 $f'(x) > 0$ 在区间内除孤立点外处处成立，则 $f$ 严格单调递增。这一判别法将微分学与函数图形分析紧密联系起来。

例如 $f(x) = x^3 - 3x$，求导得 $f'(x) = 3x^2 - 3$。当 $x \in (-\infty, -1) \cup (1, \infty)$ 时 $f'(x) > 0$，函数单调递增；当 $x \in (-1, 1)$ 时 $f'(x) < 0$，函数单调递减。这一分析过程揭示了函数在何处上升、何处下降，进而可定位极值点 $x = -1$（局部极大值）和 $x = 1$（局部极小值）。这种通过导数符号分析函数形态的方法，是函数图像绘制和极值求解的标准程序，也是高中和大学微积分教学的核心内容。

需注意导数判别法并非充要条件，使用时须谨慎。如 $f(x) = x^3$ 在 $x=0$ 处导数为零，但整个实数域上严格单调递增，说明导数为零的点未必破坏严格单调性。反之，导数为零只是函数取得极值的必要条件，对于 $f(x) = x^3$ 而言，$x=0$ 是驻点却非极值点，这一经典反例在微积分教学中经常被用来强调导数符号与单调性之间的微妙关系。对于不可导函数，如绝对值函数 $f(x) = |x|$ 在 $x=0$ 处不可导，但在区间 $[0, \infty)$ 上仍然单调递增，此时需回归单调性的原始定义，直接比较两点函数值的大小来判断。

3. 序列的单调递增

对于数列 $\{a_n\}$，若对任意正整数 $n$ 均有 $a_{n+1} \ge a_n$，则称该数列为单调递增数列。类似地可定义严格单调递增数列。

单调有界原理：若一个数列单调递增且有上界，则该数列必然收敛于其最小上界（上确界）。类似地，单调递减且有下界的数列必然收敛于其最大下界（下确界）。这是实数完备性的重要体现，也是判断数列收敛性的核心工具。在有理数域 $\mathbb{Q}$ 中，单调有界数列未必收敛，例如 $a_n = (1 + 1/n)^n$ 在有理数范围内就没有极限，这正是实数系优于有理数系的关键所在——实数公理中确界存在原理保证了单调有界数列在实数域中必然收敛。

例如数列 $a_n = 1 - 1/n$ 单调递增且有上界 1，根据单调有界原理收敛于 1。在证明自然底数 $e$ 的存在性时，通常通过两条路径完成：一是证明数列 $a_n = (1 + 1/n)^n$ 单调递增，二是证明其有上界（如 3），二者结合即可断定该数列收敛，其极限值定义为 $e$。这一过程不仅展示了单调有界原理的强大力量，也揭示了数学常数 $e$ 的深刻来源。此外，单调有界原理还是证明闭区间上连续函数性质（如介值定理、最值定理）的重要理论基础。

4. 经济学中的应用

单调递增在经济学中有着广泛的直接应用。第一，效用函数通常假定关于消费数量单调递增——消费越多，效用至少不减少，此即"非饱和性"假设（亦称单调性假设），是大多数消费者选择模型的基础。这一假设排除了"餍足点"情形，使预算约束下的效用最大化问题存在边界解而非内点解。第二，生产函数 $Y = F(K, L)$ 通常假定关于每种投入要素单调递增，增加资本或劳动投入至少不会降低产出，此即"边际产出非负"假设，是生产理论和经济增长模型的基本前提。第三，单调变换性质表明，效用函数的任何严格单调递增变换都保持原有的偏好排序不变，这意味着如果 $u(x)$ 是效用函数，则 $v(x) = \ln u(x)$、$v(x) = e^{u(x)}$ 或 $v(x) = -1/u(x)$（对于正效用值）都表示完全相同的偏好关系，为建模提供了极大的灵活性。第四，在微观经济分析中，正常品的需求函数关于收入单调递增，供给函数关于自身价格通常也单调递增，这是供给定律的数学表达。在宏观经济学中，消费函数 $C = C(Y)$ 也通常假定关于国民收入单调递增，边际消费倾向介于 0 和 1 之间。

5. 相关概念辨析

单调递减与单调递增对称：$x_1 < x_2$ 时 $f(x_1) \ge f(x_2)$。两者统称单调函数（单调递增的定义中允许局部保持不变，故"不减"比"递增"更精确）。一个函数可在不同区间上分别递增和递减（如 $f(x) = x^2$ 在负半轴递减、正半轴递增），但不能在整个定义域上同时递增和递减，常数函数除外。在实际应用中，函数单调性和反函数存在性高度关联——函数在区间上严格单调是其在该区间上存在反函数的充要条件。

单调性与凸性：单调性是函数的一阶性质（由一阶导数符号决定），凸性是二阶性质（由二阶导数符号决定）。两者分别描述函数变化的方向和曲率，是互相独立的概念。单调递增的凹函数（如 $\ln x$ 和 $\sqrt{x}$）在经济学中极为常见，对应边际效用递减的直觉；而单调递增的凸函数（如 $e^x$）则描述加速增长现象。四类组合——递增凹函数、递增凸函数、递减凹函数、递减凸函数——构成了函数形态分析的完整分类。

单调性与连续性：单调函数的不连续点只能是跳跃间断点，且最多可数多个，此即"单调函数几乎处处连续"定理，是区分单调函数与一般函数的重要性质。例如符号函数 $\mathrm{sgn}(x)$ 在 $x=0$ 处的跳跃间断是单调函数不连续点的典型形态。这一性质在实分析中用于证明单调函数在勒贝格积分理论中是几乎处处可微的。

总结

单调递增刻画了函数或序列在单一方向上的变化趋势，是数学分析中最基础也最重要的概念之一。从严格定义出发，我们探讨了严格与非严格单调性的区分及其实际意义、导数判别法的使用与局限、序列单调性与实数完备性的关系，以及单调递增在经济学中的广泛应用。通过与单调递减、凸性、连续性等概念的对比，我们对单调递增的理论地位有了更全面的认识。单调性不仅是研究函数性质的出发点，也是连接初等数学与高等分析的桥梁，其应用遍及现代科学的各个分支。