📈 economics

On the construction and representation of social welfare orders satisfying consequentialist equity axioms

本文研究了满足强公平性（Strong Equity）、哈蒙德公平性（Hammond Equity）或皮古-道尔顿转移原则（Pigou-Dalton transfer principle）等公平性公理的无限效用流上社会福利序的构造性特征，证明了虽然当效用集是良序时存在显式的字典序描述，但在一般定义域上此类序的存在性则需要非构造性的集合论假设，例如非拉姆塞集（non-Ramsey collection）的存在。

原作者： Ram Sewak Dubey

发布于 2026-06-23

📖 1 分钟阅读☕ 轻松阅读

CC BY 4.0

原作者： Ram Sewak Dubey

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你是一位宇宙裁判，负责对无限未来的每一代人的幸福感进行排名。你手头有一份效用流列表（就像是为每一代人准备的记分卡，一直延伸到无穷远的未来）。你的任务是决定哪一个列表比另一个“更好”，但你必须遵循严格的公平规则。

Ram Sewak Dubey 的这篇论文深入探讨了这样一个问题：我们能否利用清晰、循序渐进的方法（构造性方法）来构建一个公平的无限未来排名系统，还是说我们必须依赖于那些我们无法写下来的、神奇且隐形的工具（非构造性方法）？

以下是使用简单类比对该论文研究结果的拆解。

三条公平规则

该论文关注的是一个优秀的排名系统应遵循的三条特定的“公平”规则：

强公平（Strong Equity）： 如果有两个场景，除了两代人以外，其他所有人的情况都相同；在其中一个场景中，“穷”的那一代得到了提升，而“富”的那一代受到了损失（但依然比穷的那一代富足），那么系统必须更倾向于那个“穷”的一代得到提升的场景。
哈蒙德公平（Hammond Equity）： 这是上述规则的一个稍弱的版本。
皮古-道尔顿转移（Pigou-Dalton Transfer）： 如果你从一个富人那里拿走一点点幸福感，并把它给一个穷人（且没有让这个穷人变得比富人还富），系统应该更倾向于这种新的安排。

核心冲突：“构建”与“证明其存在”

论文区分了寻找解决方案的两种方式：

构造（蓝图）： 你可以写下一个具体的算法或配方，任何人都可以遵循它来比较任何两个列表并得到结果。这就像是有一份清晰的建筑蓝图来盖房子。
表示（魔力证明）： 你可以用抽象数学（通常依赖于“选择公理”，这就像是一根魔杖，它宣称“某个解确实存在于某处，即便我们找不到它”）来证明一个排名必然存在。这就像是在说：“宇宙中确实存在一栋完美的房子”，但你无法告诉别人它在哪里，也无法教人如何建造它。

好消息：当我们能够构建它时

论文发现，如果幸福的可能水平（“定义域”）是良序的（well-ordered）（这意味着它们像梯子一样排列，你可以始终找到“下一个”阶梯，比如自然数 1, 2, 3...），那么我们可以构建出一个公平的排名系统。

类比： 想象幸福水平就像台阶上的阶梯。作者创建了一个特殊的“字典序”（lexicographic）系统。这个系统不是只看第一代，然后是第二代，而是观察幸福的“阈值”。它将每一个无限的幸福流转化为长串的二进制代码（0 和 1），其依据是每一代的幸福水平是在某些“阈值”阶梯之上还是之下。
结果： 通过像查字典一样比较这些二进制代码，作者创建了一个完美的、显式的排名系统，它满足所有的公平规则。不需要魔杖。

坏消息：当我们需要魔法时（非构造性）

论文还发现，如果幸福水平是降序排列的（比如负整数：-1, -2, -3... 向下无限延伸）或者具有特定的“类整数”结构，我们就会撞墙。

类比： 想象尝试去排名那些幸福水平如同向无尽地下室延伸的下行阶梯的无限流。论文证明，如果你试图在这里构建一个公平的排名系统，你将被迫创造出一个**“非 Ramsey 集（Non-Ramsey Set）”**。
什么是非 Ramsey 集？ 把它想象成一个“混沌集合”。它是一组极其混乱且复杂的无限子集，无法通过任何逻辑性的、循序渐进的规则来构建。它是一个仅在使用了“选择公理”（即那根魔杖）时才会存在的数学对象。
结论： 如果你的幸福定义域看起来像一个向下的阶梯，你就无法写出一个公平的排名配方。你只能通过非构造性的魔法来证明它的存在。这意味着现实世界的决策者永远无法实际使用这样的系统来进行决策，因为他们无法计算出结果。

表示陷阱（实数 vs. 排名）

论文还探讨了一个常见的误解：“如果我们能进行排名，我们能不能直接给它们一个分数（一个实数）？”

发现： 对于某些定义域（例如区间 [0, 1]），要在满足公平规则的同时，为每一个无限流分配一个单一的实数（分数）是不可能的。
转折： 然而，即使你不能给它们一个分数，你仍然可能能够显式地对它们进行排名（如“好消息”部分所示）。
启示： 仅仅因为你无法写出一个输出数字（如 85.4）的公式，并不意味着你无法拥有一个清晰的判定规则。这个“分数”和“排名规则”是两回事。

论文主张总结

构造性成功： 如果你的幸福宇宙是“良序的”（像向上爬的梯子），我们可以利用一种巧妙的字典编码法，明确地构建出一个公平的排名系统。
构造性失败： 如果你的幸福宇宙具有“下降式”结构（像向下无限延伸的梯梯），那么如果不依赖于非构造性的数学魔法（非 Ramsey 集），构建公平的排名系统是不可能的。
表示限制： 你无法总是将这些公平排名转化为简单的实数分数，尤其是在像 [0, 1] 这样复杂的定义域上。
差距： 我们能够构建排名系统的世界集合，与我们能够为每个结果分配分数的世界集合是不相等的。它们并不总是一致的。

简而言之，这篇论文描绘出了明确的界限：在哪些领域我们可以编写出一份公平的、循序渐进的未来评判指南，而在哪些领域，我们不得不承认，编写出这样的指南在数学上是不可能的。

技术摘要：关于满足后果主义公平性公理的社会福利序的存在性与构造

问题陈述
本文探讨了在无限效用流（ $X = Y^{\mathbb{N}}$ ）上，满足后果主义公平性公理的社会福利序（SWO）的存在性与显式构造之间的根本张力。具体而言，本文研究了是否可以在不依赖非构造性集合论工具（如选择公理 AC 或非 Ramsey 集的存在性）的情况下，显式地构造出满足强公平性（Strong Equity, SE）、哈蒙德公平性（Hammond Equity, HE）或皮古-达尔顿（Pigou–Dalton, PD）转移原则的 SWO。

虽然以往的文献（例如 Bossert 等人，2007）通过非构造性方法（Szpilrajn 引理）确立了此类 SWO 的存在性，且近期的研究（Lauwers, 2010; Zame, 2007）证实了在特定语境下非构造性工具对于存在性的必要性，但关于“允许显式构造的定义域”与“需要非构造性对象的定义域”之间的精确边界仍有待进一步厘清。此外，本文旨在澄清实值社会福利函数（SWF）的存在性与显式定义的 SWO 存在性之间的关系。

研究方法
作者采用了结合构造性序理论与集合论不可能性的双重路径：

构造法： 对于特定的定义域，本文利用词典序偏好关系构造了显式的 SWO。至关重要的一点是，这些构造并非直接对世代进行词典序排列（因为这会违反公平性），而是将效用流映射为二值阈值-效用编码。随后，这些编码在源自效用定义域 $Y$ 的良序索引集上进行词典序排列。
非构造性/不可能法： 为了确立非构造性方法的必要性，本文利用了非 Ramsey 集合的概念。通过基于自然数子集的特定效用流并应用公平性公理，作者证明了在某些“丰富”的定义域（特别是包含序型为 $\omega^*$ 或 $\mu$ 的子集的定义域）上，满足这些公理的 SWO 的存在性，蕴含了非 Ramsey 集的存在。由于非 Ramsey 集是非构造性对象（其存在依赖于 AC），这证明了在这些定义域上不存在显式的 SWO。
表示分析： 本文区分了 SWF（一个实值映射）的存在性与 SWO（一个二元关系）的存在性。通过使用分离性论证（例如构造不可数个不相交区间），证明了在特定定义域（如 $[0, 1]$ ）上的非表示性结果。

核心贡献与结果

1. 正向构造结果（良序定义域）

定理 1： 若效用定义域 $Y$ 由通常序良序化，则在 $X = Y^{\mathbb{N}}$ 上存在一个显式定义的 SWO，该 SWO 满足强帕累托（Strong Pareto, SP）、强公平性（SE）、哈蒙德公平性（HE）和皮古-达尔顿（PD）原则。
机制： 该构造将流映射为基于 $\bar{Y} = \{t \in Y : \exists s \in Y, t < s\}$ 中阈值的二值编码。其排序方式是在乘积空间 $\bar{Y} \times \mathbb{N}$ 上进行词典序排列，优先考虑较低的阈值，其次是世代。这种方法在保持完备性和传递性的同时，保留了对公平敏感的比较。
扩展： 本文还为仅满足 SE 的情况提供了显式 SWO 构造：若潜在的“转移前贫困”效用水平集 $L(Y)$ 是良序的，或者“转移前富有”水平集 $U(Y)$ 是反良序的，则结论成立。

2. 非构造性含义（丰富的下降定义域）

定理 2： 若定义域 $Y$ 包含一个序型为 $\omega^*$ （例如负整数）的子集，则满足 SE 和单调性（M）的 SWO 的存在性，意味着存在一个非 Ramsey 集合。
定理 2(b)： 类似地，对于结合了 PD 原则与单调性的情况，如果 $Y$ 包含具有常数间隙下降结构的序列，则 SWO 的存在性蕴含了非 Ramsey 集合的存在。
命题 4： 对于序型为 $\mu$ （包含类整数子集）的定义域，仅满足 SE（不考虑效率公理）的 SWO 的存在性同样蕴含了非 Ramsey 集合的存在。这识别出了一类明确的定义域，其 SE 排序本质上是非构造性的。

3. 表示与构造的关系

命题 1： 若 $Y$ 是可数的，则存在满足 SE 的实值 SWF。然而，该证明依赖于 Szpilrajn 引理（偏序的扩张），因此在一般情况下是非构造性的。
命题 2： 若 $Y = [0, 1]$ ，则不存在满足 SE 的实值 SWF。这一不可能性的产生仅由 SE 本身引起，与效率公理无关，其原因在于无法通过嵌入方式将 SE 的严格序嵌入实数轴（通过分离性论证）。
区别： 本文强调，允许显式 SWO 构造的定义域（如良序的 $Y$ ）并不一定等于允许实值 SWF 表示的定义域。反之，在可数定义域上存在 SWF 并不保证其底层 SWO 的显式构造。

意义与主张
本文通过重新审视代际公平中表示与构造之间的“对应关系”来完善理解。

重新阐释对应关系： 本文认为，早期文献中暗示实值 SWF 存在的定义域与允许构造 SWO 的定义域之间存在一致性的观点，对于后果主义公平性公理而言是不正确的。这些定义域是特定于公理的，并取决于 $Y$ 的序理论结构。
显式与非显式： 结果表明，即使在实值表示失效的情况下（例如在 $Y=\mathbb{N}$ 满足 SE+SP 时），在良序定义域上仍可以进行显式的 SWO 构造。相反，在类整数定义域上，任何 SWO（无论是构造性的还是非构造性的）的存在都与非构造性集合论挂钩。
政策相关性： 本文指出，如果一个 SWO 被证明仅通过非构造性方法（AC）才能存在，那么社会规划者是否能显式地对成对的效用流进行排序仍是一个开放性问题。构造性结果为良序定义域上的显式排序提供了框架，而非构造性结果则划定了此类显式政策工具的应用极限。

综上所述，本文确立了：虽然在良序定义域上可以通过显式构造的 SWO 来满足 SE、HE 和 PD 等公平性公理，但在具有类整数下降结构的定义域上，满足这些公理必然涉及非构造性的数学对象，从而限制了此类社会福利序在这些特定语境下的实际可行性。