局部非满足性

局部非满足性（Local Nonsatiation）是微观经济学消费者理论中的核心偏好假设。它刻画了消费者"永不知足"的基本经济直觉：在任何消费束的任意邻近范围内，总存在另一个严格更优的消费束。该假设比"单调性"（Monotonicity）更弱，允许某些商品为厌恶品（bads），同时排除了"厚无差异曲线"（thick indifference curves）和"饱和点"（satiation point）的存在，是福利经济学第一定理证明中不可或缺的前提条件。

正式定义

设 $X \subseteq \mathbb{R}^n_+$ 为消费集，$\succsim$ 为定义在 $X$ 上的偏好关系。若对任意 $x \in X$ 及任意 $\epsilon > 0$，都存在 $y \in X$ 使得 $\|y - x\| < \epsilon$ 且 $y \succ x$，则称偏好关系 $\succsim$ 满足局部非满足性。

换言之，在任意消费束的任意小的开球（open ball）内，都存在一个严格优于该消费束的其他消费束。这里的"优于"是严格偏好关系，而非弱偏好——并非要求"至少一样好"，而是要求"严格更好"。

关键含义

1. 无差异曲线无厚度：若偏好满足局部非满足性，则无差异曲线（面）在消费集中具有零测度——不存在具有正面积的"厚无差异带"。证明思路：若存在开集 $B$ 使其中所有点无差异，则对任意 $x \in B$，取 $\epsilon$ 小于 $x$ 到 $B$ 边界的距离，$B_\epsilon(x)$ 内所有点都与 $x$ 无差异，无法找到严格更优的点，矛盾。这一性质保证了无差异曲线是"薄"的，可以使用标准无差异曲线图进行分析。

2. 预算耗尽（Budget Exhaustion）：在局部非满足性假设下，消费者的瓦尔拉斯需求对应 $x(p, w)$ 必然满足预算约束 $p \cdot x = w$。若 $p \cdot x < w$，由预算函数的连续性，存在一个邻域 $B_\epsilon(x)$ 使其中所有点仍满足 $p \cdot y < w$（即仍负担得起）。局部非满足性保证可在该邻域中找到严格优于 $x$ 的点 $y$，因此 $x$ 不可能是最优选择。这一性质是"预算线必与无差异曲线相切"这一经典结论的理论基础。

3. 间接效用函数严格递增：若偏好局部非满足，则间接效用函数 $v(p, w)$ 对 $w$ 严格递增——收入增加必然带来更高的效用水平。若不然，存在 $w' > w$ 使得 $v(p, w') \leq v(p, w)$，则原预算集中存在未被充分利用的改进空间，与局部非满足性矛盾。

与单调性的关系

局部非满足性与单调性是不同层次的假设，二者关系常被初学者混淆：

• 强单调性（Strong Monotonicity）：若 $x \geq y$ 且 $x \neq y$，则 $x \succ y$。
• 弱单调性（Weak Monotonicity）：若 $x \gg y$（所有分量严格更大），则 $x \succ y$。
• 局部非满足性：在任意点的任意邻域内存在严格更优的消费束。

蕴含关系：强单调性 $\Rightarrow$ 弱单调性 $\Rightarrow$ 局部非满足性，反之均不成立。

反例：当消费者偏好包含厌恶品时（如污染排放），单调性不成立——增加污染品不会令消费者更优，但局部非满足性仍可成立——消费者可同时调整污染品和正常品的组合来实现改善。例如效用函数 $u(x_1, x_2) = x_1 - x_2^2$，该偏好不是单调的，但满足局部非满足性。

典型例子

满足局部非满足性的偏好：柯布-道格拉斯、CES、拟线性、里昂惕夫效用函数等标准偏好均在正消费集上满足。

不满足局部非满足性的偏好：饱和偏好（如 $u(x) = -(x_1 - a)^2 - (x_2 - b)^2$，在 $(a, b)$ 处达全局最大值，附近无更优点）、厚无差异曲线偏好（消费者对某区域内所有消费束无差异，如某些行为经济学模型）。

在福利经济学中的应用

局部非满足性在福利经济学第一定理（竞争均衡的帕累托最优性）的证明中起着关键作用。该定理无需单调性假设，只需局部非满足性即可保证竞争均衡是帕累托有效的。即使部分商品是厌恶品，只要每个消费者都局部非满足，市场机制仍能实现资源配置效率。这大大扩展了第一定理的适用范围，奠定了市场机制在效率方面的理论基础。

与其他假设的关系

在高级微观经济学中，局部非满足性常与连续性（Continuity）、凸性（Convexity）配合使用。局部非满足性保证预算约束紧（binding），连续性保证效用函数的存在性，凸性保证最优解的良好性质。三者共同构成了新古典消费者理论的基石。

小结

局部非满足性是比单调性更弱、适用范围更广的偏好假设，它仅要求消费集内任意点附近都存在更优选择，而不要求"越多越好"。该假设排除了厚无差异曲线和饱和点，确保了预算耗尽性质，是消费者理论和一般均衡理论中不可或缺的基础假设。