# 单调递增函数 (Monotonically Increasing Function)
单调递增函数 (Monotonically Increasing Function)，是{{{数学分析}}}和{{{微积分}}}中的一个基本概念，用以描述{{{函数}}}值随自变量增加而变化的趋势。一个函数被称为单调递增，直观上是指其图像从左到右是“上升”的。根据其上升的严格性，可以进一步细分为严格单调递增和单调不减。
## 形式化定义
设函数 $f(x)$ 的{{{定义域}}}为 $D$，$D$ 是{{{实数}}}集 $\mathbb{R}$ 的一个子集。
### 1. 严格单调递增 (Strictly Monotonically Increasing)
如果对于定义域 $D$ 内的任意两个值 $x_1$ 和 $x_2$，只要 $x_1 < x_2$，就恒有 $f(x_1) < f(x_2)$，那么我们称函数 $f(x)$ 在其定义域 $D$ 上是严格单调递增的。
* 核心思想：自变量 $x$ 的值只要有任何增加，函数值 $f(x)$ 就必须随之增加，不允许保持不变。 * 示例： * $f(x) = 2x + 1$。对于任意 $x_1 < x_2$，显然有 $2x_1 + 1 < 2x_2 + 1$。 * $f(x) = e^x$ ({{{指数函数}}})。它在整个实数域 $\mathbb{R}$ 上都是严格单调递增的。 * $f(x) = x^3$。对于任意 $x_1 < x_2$，都有 $x_2^3 - x_1^3 = (x_2 - x_1)(x_2^2 + x_1x_2 + x_1^2) > 0$，因此该函数在 $\mathbb{R}$ 上是严格单调递增的。
### 2. 单调不减 (Monotonically Non-decreasing)
如果对于定义域 $D$ 内的任意两个值 $x_1$ 和 $x_2$，只要 $x_1 < x_2$，就恒有 $f(x_1) \le f(x_2)$，那么我们称函数 $f(x)$ 在其定义域 $D$ 上是单调不减的。
* 核心思想：自变量 $x$ 的值增加时，函数值 $f(x)$ 或者增加，或者保持不变，但绝不会减少。 * 示例： * {{{向下取整函数}}} $f(x) = \lfloor x \rfloor$。例如，$f(1.2) = 1$, $f(1.5) = 1$, $f(2.1)=2$。当 $x$ 从 $1.2$ 增加到 $1.5$ 时，函数值保持不变；当 $x$ 从 $1.5$ 增加到 $2.1$ 时，函数值增加。这符合单调不减的定义。 * 一个分段定义的函数： $$ f(x) = \begin{cases} 1 & \text{if } x < 0 \\ 1 & \text{if } 0 \le x \le 2 \\ x-1 & \text{if } x > 2 \end{cases} $$ 这个函数在 $(-\infty, 2]$ 区间上是常数，在 $(2, \infty)$ 上是严格递增的，因此在整个定义域上是单调不减的。
重要关系：严格单调递增函数一定是单调不减函数，但反之不成立。在学术文献中，“单调递增”有时作为“单调不减”的同义词使用，而在不引起歧义的情况下，也常用来泛指这两类函数。学习者应根据上下文判断其确切含义。
## 几何直观与导数判别法
### 几何直观
在{{{笛卡尔坐标系}}}中，单调递增函数的图像具有非常直观的特征： * 严格单调递增函数：其图像从左向右看是持续上升的，没有任何水平的部分。 * 单调不减函数：其图像从左向右看，总体趋势是上升或持平的，可以包含水平线段，但绝不会有向下的部分。
### 与导数的关系
对于一个在区间 $I$ 上{{{可微}}}的函数 $f(x)$，我们可以使用其一阶{{{导数}}} $f'(x)$ 的符号来判断其单调性。导数 $f'(x)$ 代表了函数图像在该点的切线{{{斜率}}}。
1. 如果在区间 $I$ 内，恒有 $f'(x) > 0$，则函数 $f(x)$ 在该区间上是严格单调递增的。 * 逻辑：正的导数意味着切线斜率始终为正，表示函数曲线在每一点都处于上升状态。
2. 如果在区间 $I$ 内，恒有 $f'(x) \ge 0$，则函数 $f(x)$ 在该区间上是单调不减的。 * 逻辑：非负的导数意味着切线斜率从不为负，函数曲线或者上升，或者在某些点/子区间上是水平的。
一个重要的细节点：如果 $f'(x) \ge 0$ 且等号只在区间 $I$ 内的有限个孤立点成立，那么函数 $f(x)$ 在 $I$ 上仍然是严格单调递增的。 * 典型案例：函数 $f(x)=x^3$ 的导数是 $f'(x)=3x^2$。在 $x=0$ 点，$f'(0)=0$，但在其他任何点 $x \ne 0$，$f'(x)>0$。由于等号只在单个点 $x=0$ 处成立，函数 $f(x)=x^3$ 在整个实数域 $\mathbb{R}$ 上是严格单调递增的，而不仅仅是单调不减。
## 性质与应用
单调递增函数具有许多重要的数学性质，并在经济学、金融学等领域有广泛应用。
### 1. 可逆性
一个严格单调递增的函数必然是{{{单射}}}（one-to-one），这意味着对于定义域内不同的自变量，其函数值也必然不同。因此，严格单调递增函数存在{{{反函数}}} (Inverse Function)，并且其反函数也必然是严格单调递增的。
### 2. 极限的存在性
根据{{{单调收敛定理}}}，一个在区间上单调递增且有上界的函数，其{{{极限}}}必定存在。例如，当 $x$ 趋向于区间的右端点（或正无穷）时，该函数的极限等于其值域的{{{上确界}}}。
### 3. 在最优化中的作用
对于定义在{{{闭区间}}} $[a,b]$ 上的单调递增函数 $f(x)$，其{{{最小值}}}必然在区间的左端点 $x=a$ 处取得，即 $f(a)$；其{{{最大值}}}必然在区间的右端点 $x=b$ 处取得，即 $f(b)$。这极大地简化了{{{最优化问题}}}的求解。
### 4. 经济与金融应用
* {{{效用函数}}} (Utility Function)：在{{{微观经济学}}}中，消费者的效用函数通常被假定为关于商品消费量的单调递增函数。这体现了“越多越好”（non-satiation）的基本假设，即消费者从更多的商品中获得更高的{{{效用}}}或满足感。 * {{{生产函数}}} (Production Function)：企业的生产函数描述了投入（如{{{劳动}}}、{{{资本}}}）与产出之间的关系。通常假设，在其他投入不变的情况下，增加任何一种{{{生产要素}}}的投入量，总产出都会增加或至少不减少。这表明生产函数是关于其每个输入的单调递增函数。 * {{{供给曲线}}} (Supply Curve)：在多数市场模型中，商品的供给曲线是价格的单调递增函数，表示生产者愿意在更高价格下提供更多的商品。
## 辨析
* 单调递增 vs {{{单调递减函数}}}：单调递减函数是单调递增函数的反向概念。对于单调递减函数，当 $x_1 < x_2$ 时，有 $f(x_1) \ge f(x_2)$（不增）；对于严格单调递减函数，则有 $f(x_1) > f(x_2)$。其导数特征为 $f'(x) \le 0$ 或 $f'(x) < 0$。