严格单调

严格单调 (Strict Monotonicity)

严格单调（Strict Monotonicity）是数学分析与微观经济学中刻画函数或偏好序变化的基石概念。在函数层面，它要求自变量增大时函数值"严格"增大或减小——排斥任何平坦区间或等号情形；在经济学消费者理论中，严格单调性是偏好公理的核心，意为"多多益善"——消费者对任何商品更多的消费束都严格偏好于更少的消费束。

数学定义与判别

设 $f: I \to \mathbb{R}$ 为区间 $I \subseteq \mathbb{R}$ 上的实值函数：

• 严格递增：对于任意 $x_1 < x_2 \in I$，恒有 $f(x_1) < f(x_2)$。
• 严格递减：对于任意 $x_1 < x_2 \in I$，恒有 $f(x_1) > f(x_2)$。

与普通单调（允许 $f(x_1) \le f(x_2)$）的本质区别在于等号的禁止。常函数 $f(x)=c$ 是单调不减但非严格递增的典型反例。对于可微函数，一阶导数提供简便的充分条件：若在区间上 $f'(x) > 0$ 处处成立，则 $f$ 严格递增；$f'(x) < 0$ 则严格递减。但导数条件并非必要——$f(x)=x^3$ 在 $x=0$ 处导数为零，却在整个 $\mathbb{R}$ 上严格递增。严格单调函数必为单射（injective），在限制值域后存在反函数，这一性质在比较静态分析中至关重要。

经济学中的严格单调偏好

在消费者理论中，设消费集 $X \subseteq \mathbb{R}^n_+$，偏好序 $\succsim$ 称为严格单调的，若对所有 $x, y \in X$：

意即商品束 $x$ 每一维度均不少于 $y$ 且至少在一维上严格多于 $y$ 时，消费者严格偏好 $x$。这等价于所有商品均为"好的"（goods）、不存在餍足点（bliss point）。

严格单调性蕴含局部非餍足性（local non-satiation），是保证最优消费位于预算线上而非预算集内部的充分条件。在此偏好下，瓦尔拉斯法则自动成立——消费者耗尽全部收入；无差异曲线必具有负斜率且向原点凸出。当偏好可用效用函数表示时，严格单调等价于效用函数对每一商品为严格递增函数。典型满足严格单调的函数包括柯布-道格拉斯效用函数 $U = x_1^\alpha x_2^{1-\alpha}$（$\alpha \in (0,1)$）和拟线性效用函数。需注意，完全互补偏好的里昂惕夫效用函数 $U = \min\{x_1/a, x_2/b\}$ 仅满足单调（非严格），因超出固定配比的多余商品边际效用为零。

在优化与博弈中的应用

在最优化理论中，严格单调目标函数保证最优解不会出现在定义域内部（除非存在内部极值点），简化了一阶条件的应用。在动态规划中，满足 Blackwell 充分条件的严格单调算子确保值函数迭代收敛至唯一不动点。在博弈论的超模博弈框架中，支付函数关于对手策略的严格单调性决定最优反应函数的单调方向，为纯策略纳什均衡的存在性与比较静态提供理论基础。在计量经济学中，Box-Cox 变换等单调变换依赖严格单调性，以保证变换前后参数估计和假设检验的有效性不受扭曲。