1.1 偏好关系与理性假设
要对现实中复杂的人类决策行为进行严密刻画与公理化建模，必须首先回答一个基础问题：我们应当从何处出发刻画个体的选择与决策逻辑？现代微观经济学发展出两条相互印证的理论路线：一条是从心理层面的主观评价出发的偏好法（preference-based approach），另一条是从市场中直接观测到的实际行为出发的选择法（choice-based approach）。本讲聚焦于偏好路线的公理化构建与基本性质。
决策行为的抽象设定
现实生活中，人们面临各种决策：选购哪款消费品、选择哪份工作、在不同政策方案间如何投票。为了穿透具体场景的细节差异，现代微观理论将决策环境抽象为备择集（set of alternatives），记为 \(X\)。
集合 \(X\) 中的元素代表决策者面临的所有互斥可行选项——选择其中一个，即意味着放弃其他选项。备择集可以是离散的有限集合：
\[X = \{x, y, z\} \qquad \text{或} \qquad X = \{\text{方案 A}, \text{方案 B}, \text{方案 C}\}\]
也可以是连续的高维几何空间。在经典的消费理论中，备择集被具体化为消费集（consumption set）\(X \subseteq \mathbb{R}_{+}^{L}\)。其中的每个元素称为消费束（consumption bundle）\(x = (x_1, \dots, x_L)\)，每个分量 \(x_l \ge 0\) 分别度量第 \(l\) 种商品的消费数量。
这一抽象界定的力量在于：无论面对离散的生涯抉择，还是连续的商品组合，我们都可以使用同一套公理化数学语言展开推演。
刻画决策行为的两条理论路线
面对集合 \(X\)，理论家如何刻画决策规律？这里存在两条认知路径：
| 理论路线 | 出发点与核心特征 | 理论优势与局限 |
|---|---|---|
| 偏好法（Preference-based） | 假定决策者内心存在对备择集的二元排序关系 \(\succeq\)，再据此推导最优选择。 | 在高维或连续备择集（如消费集）中解析处理能力极强，但主观偏好本身不可直接观测。 |
| 选择法（Choice-based） | 直接观察并记录决策者在不同备择子集下实际选出的结果 \(c(B) \subseteq B\)。 | 完全建立在可观测的市场行为之上，但当备择数量巨大时难以穷举与直接推广。 |
这两条路线并非孤立对立，而是微观经济学认识论的一体两面。它们引出了整个现代决策理论的核心纽带：
\[\text{理性的内心偏好} \quad \Longrightarrow \quad \text{前后一致的选择行为（满足显示偏好弱公理 WARP）？}\]
\[\text{可观测的一致选择行为} \quad \stackrel{?}{\Longrightarrow} \quad \text{必然可由某种理性偏好所生成？}\]
前一个命题构成了本章的收官定理（第 1.6 讲将给出严格证明），后一个命题则揭示了从可观测数据反推消费者内在结构的经验边界。
偏好关系的形式化表达
在偏好法路线中，我们用数学上的二元关系（binary relation）来刻画决策者对备择集 \(X\) 中任意两项的态度。
对任意两个备择 \(x, y \in X\)，最基础的原始判断是“弱偏好”：
\[x \succeq y \quad \iff \quad \text{决策者认为 } x \text{ 至少与 } y \text{ 一样好}\]
由这一原始弱偏好关系，我们可以直接诱导出另外两种严格对称与反对称的态度：
- 严格偏好（strict preference）\(x \succ y\)：定义为 \(x \succeq y\) 且并非 \(y \succeq x\)（“明确更偏好 \(x\)”）；
- 无差异（indifference）\(x \sim y\)：定义为 \(x \succeq y\) 且 \(y \succeq x\)（“两者带来同等程度的满意”）。
二元关系赋予了我们超越具体数值度量的能力：我们不需要先假设“快乐有几斤几两”，只需要决策者能够在任意两项之间给出相对排序。
理性偏好的核心公理与结构
二元关系本身十分宽泛（例如“是……的亲属”也是二元关系，但它无法对陌生人进行比较）。要让偏好关系成为能够支撑最优化分析的理论工具，必须施加最低限度的内在一致性要求。这就是理性假设（rationality）。
定义在备择集 \(X\) 上的偏好关系 \(\succeq\) 称为理性的，若它同时满足以下两条公理：
- 完备性（Completeness）：对所有 \(x, y \in X\)，\(x \succeq y\) 与 \(y \succeq x\) 至少有一个成立；
- 传递性（Transitivity）：对所有 \(x, y, z \in X\)，若 \(x \succeq y\) 且 \(y \succeq z\)，则必有 \(x \succeq z\)。
1. 完备性的经济认知
完备性排除了“无法评价”、“拒绝比较”或“逻辑空白”。它断言：无论把哪两个备择放在决策者面前，他总能给出一个明确态度——要么 \(x\) 至少不弱于 \(y\)，要么 \(y\) 至少不弱于 \(x\)；若两者兼备，则二者无差异。
完备性是一条实质性的行为假定。它要求决策者的认知视野覆盖备择集的每一个角落，从而确保在任何给定的可行集内，不存在逻辑上无法比较的断层。
2. 传递性与行为稳定性
传递性要求决策者的排序结构在链条式比较中保持内在一致。若 \(x\) 不比 \(y\) 差，\(y\) 不比 \(z\) 差，那么理性必然要求 \(x\) 不比 \(z\) 差。
若传递性不成立，系统将出现循环偏好（例如 \(x \succ y \succ z \succ x\)）。在经济学中，此类循环意味着决策者无法在 \(\{x, y, z\}\) 中挑出无可争议的最优选项；在动态交易环境下，循环偏好还会导致个体在重复置换中不断损失资源而回到原点（即著名的“钱泵”困境，money pump）。因此，传递性是确保决策最优化问题存在稳定解的必要数学条件。
3. 公理体系的独立性与自反性冗余探讨
在数学的传统序理论中，二元关系往往还会提及自反性（Reflexivity，即 \(\forall x \in X, x \succeq x\)）。初学者常问：既然如此，为什么现代高级微观经济学（如 MWG）的理性定义中只列出完备性与传递性两条，而不把自反性单列为第三条公理？是否可以将其删除？
答案是：自反性完全可以从公理体系中删除，因为完备性在逻辑上已经天然蕴含了自反性。
推导证明：根据完备性公理，对备择集 \(X\) 中的任意元素 \(a, b \in X\)，必有 \(a \succeq b\) 或 \(b \succeq a\) 成立。现取特殊的测试情形，令 \(a = x\) 且 \(b = x\)。代入完备性定义，命题化为“\(x \succeq x\) 或 \(x \succeq x\) 至少有一个成立”，这在逻辑上必然推出： \[x \succeq x\] 由此可见，任何满足完备性的偏好关系必然自动满足自反性。
方法论意义：公理化理论体系追求最小独立假定原则（Occam’s Razor）——绝不把可以作为简单推论的性质提升为独立的先验假设。只有在放松完备性假定、研究“决策者在某些选项间无法作出比较”的前沿不完备偏好（Incomplete Preferences）理论中，自反性才需要作为一项独立的公理单独提出来。在基准微观框架下，完备性加传递性就是理性的全部核心。
偏好性质与单调性特征
仅有完备性与传递性两条理性公理，足以刻画现实中消费者的选择行为吗？
答案是否定的。纯粹的理性偏好极其宽泛抽象，它甚至允许“消费者认为商品越多越痛苦”或“消费者的满足感在某个极低数量点完全停滞”等极端病态情况。为了让抽象的数学结构能够准确捕捉现实中绝大多数人类面对物质财富时的基本行为倾向，微观经济学引入了一组关于商品合意性（desirability）的数学性质——单调性（Monotonicity）。
正是通过施加这些精细的数学性质，理论偏好模型才得以与现实世界中“资源具有稀缺性”、“商品能带来满足感（多比少好）”的经验常识紧密契合。
设消费集为 \(X = \mathbb{R}_{+}^{L}\)，偏好关系 \(\succeq\) 满足：
- 单调性（Monotonicity，或称弱单调性）：对任意 \(x, y \in X\)，
- 若对所有商品 \(l=1,\dots,L\) 均有 \(x_l \ge y_l\)，则 \(x \succeq y\)（增加某些商品而不减少其他商品，境况不恶化）；
- 若对所有商品 \(l=1,\dots,L\) 均有 \(x_l > y_l\)（记作 \(x \gg y\)），则 \(x \succ y\)（所有商品严格增加，境况严格改善）。
- 强单调性（Strong Monotonicity）：对任意 \(x, y \in X\)，
- 若 \(x \ge y\) 且 \(x \neq y\)（即所有商品不减少，且至少有一种商品严格增加），则必有： \[x \succ y\]
1. 单调性的经济内涵与几何约束
强单调性深刻刻画了现实中“商品多多益善”（more is better）的心理事实：只要给消费者哪怕多一瓶矿泉水，在其他商品不减的前提下，他就感到严格更加幸福。
在几何空间中，强单调性对偏好结构施加了极其强烈的形状约束：
- 排除东北方向的无差异点（切线斜率非正）：在二维平面 \((x_1, x_2)\) 上，如果消费者从 \(x\) 移动到严格东北方向的任何一点（两种商品均增加），境况严格改善。因此，同一无差异集上的两个不同消费束绝不可能呈东北–西南关系；在曲线光滑可微时，其切线斜率必须非正。
- 排除“厚”无差异带：在现实中，没有任何一个正常人会认为一片有面积的二维区域内所有消费束都完全无差异。强单调性排除了带状或具有内点的“肥厚无差异集”，保证了无差异曲线是一条纤细的几何线。
2. 局部非餍足性及其边界作用
强单调性虽然符合生活直觉，但对某些理论场景而言显得过于严苛（例如经济中存在完全中性或甚至带来负效用的商品）。经济学证明：为了推导出“消费者会花光所有预算”这一核心结论，我们不需要强单调性，只需要一个弱得多的局部拓扑性质——局部非餍足性（Local Non-Satiation, LNS）。
定义在消费集 \(X\) 上的偏好关系 \(\succeq\) 满足局部非餍足性，若对任意消费束 \(x \in X\) 和任意微小的距离 \(\varepsilon > 0\)，都存在至少一个消费束 \(y \in X\)，使得：
\[\|y - x\| \le \varepsilon \qquad \text{且} \qquad y \succ x\]
局部非餍足性的经济直觉极其纯粹：无论消费者当前处在多么富足的消费状态，在他当前位置的任意微小邻域内，总存在一个哪怕稍微变动一点点就能让他感到严格更满意的方向。
它彻底排除了经济学中的全域饱和点（bliss point，即一个在该点处往任何方向移动都会变差的最优顶点）。正是局部非餍足性这一精巧的数学性质，在不强加单调性的前提下，严密保证了消费者在竞争市场中一定会把预算花到边界上（瓦尔拉斯定律，Walras’ Law）。
通过对理性、单调性与局部非餍足性的层层抽象，微观理论建立起了一个既保持高度数学严密性、又能忠实再现人类基本经济行为特征的公理基石。
关键术语
| 术语 | 符号表达 | 核心概念定义与现实映射 |
|---|---|---|
| 备择集 | \(X\) | 决策者面临的互斥可选方案全体集合 |
| 消费束 | \(x \in \mathbb{R}_{+}^{L}\) | 包含 \(L\) 种商品消费数量的高维空间向量 |
| 偏好法 | \(\succeq\) | 基于内心主观二元相对排序推导选择行为的分析路线 |
| 选择法 | \(c(B) \subseteq B\) | 基于实际可观测决策结果提炼内在规律的分析路线 |
| 完备性 | \(\forall x, y, x \succeq y \lor y \succeq x\) | 任意两个备择均可进行相对比较，排除认知断层 |
| 传递性 | \(x \succeq y \land y \succeq z \implies x \succeq z\) | 链条式排序不发生循环，排除钱泵困境与死循环 |
| 理性偏好 | 完备性 + 传递性 | 支撑数学最优化求解的基准二元关系，自反性为其自然推论 |
| 强单调性 | \(x \ge y, x \neq y \implies x \succ y\) | 单一商品增加即严格改善，数学刻画“多比少好”且排除厚无差异带 |
| 局部非餍足 (LNS) | \(\forall x, \varepsilon>0, \exists y: \|y-x\|\le\varepsilon \land y \succ x\) | 任意微小邻域内总有更优选项，排除全域饱和顶点，保证预算耗尽 |
延伸阅读与下一讲预告
- 深入思考：二元关系虽然能够给出定性排序，但在包含无穷多备择的连续商品空间 \(\mathbb{R}_{+}^{L}\) 上，直接使用集合语言求解最优化问题极其困难。我们如何将这种定性的偏好次序，无损地翻译为能够进行求导与微积分计算的实数值效用函数？
- 下一讲（1.2 效用函数表示与存在性）：我们将探讨偏好关系向实数值函数的跃迁。我们将引入连续性公理，证明并非所有理性偏好都能被效用函数表示（以字典序偏好为著名反例），并严格推导保证效用函数必然存在的对角线构造定理。