显示偏好强公理

显示偏好强公理 (Strong Axiom of Revealed Preference, SARP)

显示偏好强公理 (Strong Axiom of Revealed Preference, SARP) 是 显示偏好理论 的核心一致性公理，由 亨德里克·霍撒克 (Hendrik Houthakker) 于 1950 年提出。SARP 将 显示偏好弱公理 (WARP) 从直接比较推广至间接关系的传递闭包，从而为 效用最大化 行为提供了充分必要条件：消费者的选择不能包含任何直接或间接的显示偏好循环。

形式化定义

设消费者在不同价格-收入情境 $(p^k, m^k)$ 下做出选择 $\{x^k\}$。对于任意序列 $x^1, x^2, \dots, x^N$，若对每个 $k$ 都有 $p^k \cdot x^{k+1} \leq m^k$ 且 $x^k \neq x^{k+1}$，则称 $x^1$ 间接严格显示偏好于 $x^N$（记为 $x^1 \succ^I x^N$）。SARP 要求：

即间接显示偏好关系 $\succ^I$ 本身必须是非对称且传递的——不存在任何形式的偏好循环。

与 WARP 的关系

WARP 仅禁止直接的二元循环（$x \succ^D y \succ^D x$），而 SARP 禁止所有间接循环。在两种商品的经济中两者等价；但当 $n \geq 3$ 时，WARP 无法检出经由第三点的间接循环，如 $x \succ^D y \succ^D z \succ^D x$。这种三元循环等价于石头-剪刀-布式的偏好矛盾，SARP 正是为填补这一漏洞而设计。

SARP 与效用最大化

SARP 最重要的地位在于它构成了理性选择行为的完全刻画。根据 霍撒克定理，对于满足 零次齐次性 和 瓦尔拉斯律 的需求函数 $x(p, m)$，满足 SARP 等价于存在一个 局部非饱和、传递、完备 的 偏好关系 能够理性化该需求函数。WARP 仅保证必要性，而 SARP 凭借对传递闭包的要求成功将充分性也纳入其中，完成了 显示偏好理论 的逻辑闭环。

与斯拉茨基矩阵的联系

在可微情形下，SARP 对应 斯拉茨基矩阵 的对称负半定性。WARP 等价于斯拉茨基矩阵的负半定性（替代效应非正），而 SARP 进一步要求对称性 $s_{ij} = s_{ji}$。该对称性源自偏好传递性蕴含的 reciprocal 条件，是 可积性问题 (Integrability Problem) 的核心结论——从需求函数逆向重构效用函数的充要条件。

经验检验

SARP 的可检验性使其成为 非参数需求分析 的基石。西德尼·阿弗里亚 (Sydney Afriat) 的 阿弗里亚定理 将有限观测数据的理性化条件归结为 广义显示偏好公理 (GARP)。哈尔·瓦里安 (Hal Varian) 于 1982 年开发了利用传递闭包算法检验 SARP/GARP 的高效方法（复杂度 $O(K^3)$）。在 行为经济学 中，SARP 违反率是衡量非理性程度的基准指标；在 福利经济学 中，满足 SARP 是进行 补偿变差 与 等价变差 度量的前提。

总结

SARP 将 WARP 的局部理性提升为全局理性——从"无直接矛盾"深化为"无任何间接矛盾"，完成了显示偏好理论对效用最大化的完备刻画。它与 WARP、GARP 共同构成现代 消费者选择理论 的三大公理基础。