阿罗不可能定理：为什么「公平投票」注定无解？

合集【数学如隐喻】第 2 期｜ v1.1（2026-10-26）｜给中学生的科普读解｜实际 4743 字

你有没有想过？为什么没有一个投票制度能让所有人都心服口服？为什么「少数服从多数」在三个人竞选时会原地打转？

这不是制度设计偷懒，而是数学上一个令人震撼的结论——阿罗不可能定理。下面用「班级选班长」的例子，把它一步步讲明白。不需要任何高等数学，只需要跟着一个「转圈」的直觉走到底。

先记住一句话

只要选项有三个及以上，「公平」这件事就无法被一套投票规则同时满足——除非让某个人说了算。

这就是阿罗不可能定理（Arrow's Impossibility Theorem）。它由美国经济学家肯尼斯·阿罗在 1951 年的《社会选择与个人价值》中证明，1972 年他因此获得诺贝尔经济学奖。

第一步：三个候选人，多数决就会「转圈」

设班里选班长，候选人是甲、乙、丙。把全班分成三组，人数一样多：

组	人数	心里的排序
1	1/3	甲 > 乙 > 丙
2	1/3	乙 > 丙 > 甲
3	1/3	丙 > 甲 > 乙

现在两两对决，用「少数服从多数」：

甲 vs 乙：组 1、组 3 认为甲好，组 2 认为乙好 → 甲赢（2/3）
乙 vs 丙：组 1、组 2 认为乙好，组 3 认为丙好 → 乙赢（2/3）
丙 vs 甲：组 2、组 3 认为丙好，组 1 认为甲好 → 丙赢（2/3）

于是：甲 > 乙 > 丙 > 甲。

这就像「石头剪刀布」：没有最强，只有相克。这个现象 1785 年就被孔多塞发现，叫投票悖论（Condorcet paradox）。

它带来一个很严重的问题：结果取决于「先比哪一对」。

先比甲、乙 → 甲胜；再比甲、丙 → 丙胜 → 丙当选
先比乙、丙 → 乙胜；再比乙、甲 → 甲胜 → 甲当选

同一个班、同一批偏好，主持人只要安排一下比较顺序，就能「选出」不同的人。这意味着这个投票规则是能被操控的。

第二步：把「公平」翻译成四条规矩

阿罗的做法堪称「数学式翻译」的教科书示范：他把「公平的投票制度」这个模糊说法，翻译成一个精确对象——

一个函数：输入每个选民对候选人的排序，输出全社会对候选人的排序。

然后他列出大家都会同意的几条要求（公理）：

前提 0：至少 3 个选项、至少 2 个选民，而且任何偏好组合都允许出现（不能规定「大家必须这么想」）。

公理 1：集体理性（完备 + 传递）。每个人能对所有选项排出先后（这一点由前提 0 保证）；社会排序也要排得出来，而且不能转圈——有甲 > 乙、乙 > 丙，就必须有甲 > 丙。

公理 2：一致同意（帕累托原则）。如果所有人都认为甲比乙好，社会就必须认为甲比乙好。这是最没争议的一条。

公理 3：无关选项独立（IIA）。甲和乙谁排前面，只能由每个人对「甲 vs 乙」的判断决定，跟丙的存在、丙的强弱完全无关。换句话说：一个根本选不上的人退选或加入，不应该改变甲和乙的胜负。

公理 4：非独裁不存在这样一个人：无论大家怎么想，社会的排序永远等于他一个人的排序。

四条看起来都很温和，对吧？阿罗证明的是：

当选项 ≥ 3 时，同时满足公理 1–4 的投票规则，一个都不存在。

能同时满足 1、2、3 的规则，只有一种——独裁。

第三步：为什么？「关键人物」的直觉

严格证明要用「决定性集合」这类工具，但核心画面很好懂：

想象一排选民，从第 1 个到第 n 个，对「甲 vs 乙」的态度依次是：

最初，所有人都认为「乙 > 甲」。按公理 2，社会也是乙 > 甲。接着，让第 1 个人改成「甲 > 乙」；再让第 2 个人改……一个接一个地改下去。

最后，所有人都认为「甲 > 乙」，按公理 2，社会必须是甲 > 乙。

社会的排序不可能一直是乙 > 甲——它最后必须翻成甲 > 乙。那么问题来了：它是在哪一步翻过来的？

一定存在某个人 k：在 k 改口之前，社会是乙 > 甲；k 一改口，社会立刻变成甲 > 乙。也就是 k 一个人「撬动」了整个社会排序。这个 k 就是关键人物。

到这里，只证明了 k 对「甲 vs 乙」这一对有这样的力量。要把他升级成独裁者，还差一步——而这一步正是严格证明里最容易糊过去的地方。

严格证明的下一步不是「再翻一次」，而是分两步走。

第一步是「传染」。先把 k 扩成「翻转时站在甲这边的那个集团 D」（它包含 k，也能决定甲 ≻ 乙），然后观察：D 既然能决定甲 ≻ 乙，就一定能决定甲 ≻ 丙。造一个剖面——让 D 里所有人排「甲 > 乙 > 丙」，其余人排「乙 > 丙 > 甲」。于是 D 一致认为甲 ≻ 乙 ⇒ 社会甲 ≻ 乙；全体都认为乙 ≻ 丙 ⇒ 社会乙 ≻ 丙（公理 2）；传递性 ⇒ 社会甲 ≻ 丙。此时 D 里所有人都认为甲 ≻ 丙、其余人全都认为丙 ≻ 甲，由公理 3，这份决定权就固定下来了。

第二步是「收缩」。既然某个集团能决定任意一对选项，就取其中最小的一个。可以证明，这样的最小集团只能有一个人——办法是把它拆成两半，看哪一半在特定剖面上单独起作用。

（下面这一小段可以跳过，只记结论：最小集团只能是一个人。）

具体怎么拆：把最小集团分成两半 D1、D2，让 D1 排「甲 > 乙 > 丙」，D2 排「乙 > 丙 > 甲」，其余人排「丙 > 甲 > 乙」。

先看乙 vs 丙：D1、D2 都认为乙 > 丙，即整个集团一致——由上面已证的「能决定任意一对」，社会判乙 > 丙。
再看甲 vs 乙，两种可能必居其一：
若社会判「乙 > 甲」，那 D2 就是决定性的：D2 全支持乙、其余人全支持甲，社会却跟着 D2 走。
若社会判「甲 > 乙」，则由传递性社会必须判「甲 > 丙」；此时 D1 是决定性的：D1 全支持甲、其余人全支持丙，社会跟着 D1 走。

无论哪种，都得到一个更小的决定性集团——这与「最小」矛盾。所以最小集团只能是一个人。这个人无论怎么排，社会都跟着他排，他就是独裁者。

于是：k 的偏好 = 社会的偏好。这就是独裁者。

所以不是「某条公理太苛刻」，而是这四条凑在一起，逻辑上必然推出独裁。要么放弃一条，要么接受独裁，没有第三条路。

四个最常见的误解

误解 1：「那投票没用，不如独裁。」不是。定理说的是「完美规则不存在」，没说「规则都差不多」。现实中不同规则各有各的毛病，选哪个取决于你更在乎什么。独裁满足公理 1、2、3，却公然违反公理 4——它是「解」，但不是「好解」。

误解 2：「独裁者」指坏人。这里的「独裁」是纯技术定义：某个人的偏好函数恰好等于社会函数。它甚至可能是「所有人都碰巧同意他」的极端情形。

误解 3：这是说「民主不可能」。它说的是「用一套固定排序规则完美汇总偏好」不可能。民主还包括协商、辩论、分权、任期、舆论——这些恰恰是绕过数学困境的办法。

误解 4：「那还不简单，让大家都说实话就行。」

不行。 这里还有一条平行的不可能定理——吉巴德–萨特思韦特定理（Gibbard–Satterthwaite）：

只要一个投票规则不是独裁制，且能选出的结果至少有 3 种，它就一定留有被策略操控的余地。

也就是说，总有人能靠「说假话」拿到更好的结果。这不是道德问题，是结构问题：明明最喜欢甲，却故意投乙，只因为「甲没戏，不能浪费票」——现实选举里最熟悉的现象，正是这条定理在起作用。

它和阿罗管的是两件事：

	阿罗定理	GS 定理
问什么	能不能排出完整的社会排序	规则会不会被策略操控
失败形态	只剩独裁	总可被虚报利用

但两者不是两个世界，它们可以互推：

阿罗 ⟹ GS：把「选赢家」的规则改造成排序函数（把两个候选都提到顶端，再看选谁），套用阿罗定理，这个规则必然是独裁的。
GS ⟹ 阿罗：1977 年 Muller 与 Satterthwaite 证明「防策略性 ⟺ 强正相关性」，搭起桥；1985 年他们又指出，GS 的证明可直接翻译成阿罗的证明（2007 年诺贝尔经济学奖科学背景文件引用了这一说法）。

所以它们更像同一台机器的两个出口，而不是两条不同的路。不能混用，但也不彼此独立。

现实中，大家各自放弃了哪一条？

规则	大致做法	主要问题（违反了哪条）
简单多数	得票最多者胜	三选项时票会分流，可能选出孔多塞输家；改用两两对决则会「转圈」（公理 1）
两轮投票	无人过半则前两名再投一次	可能把孔多塞赢家挡在第二轮外；仍挡不住策略投票
波达计数	第1名2分、第2名1分、第3名0分，加总	容易被「捣乱候选人」影响（公理 3）
排序复选制	淘汰末位，重新分配票	仍有策略投票，也可能违反公理 3
认可投票	每人给自己认可的人各投一票	违反公理 3（IIA）；也可能选出孔多塞输家

波达计数被「无关选项」搅局的经典小例子：

假设只有甲、乙两人，60 人认为甲 > 乙，40 人认为乙 > 甲。多数决：甲赢。

现在多出一个丙。注意他不是来凑数的——30 人把他排在第一位。偏好变成：

30 人：甲 > 乙 > 丙
30 人：丙 > 甲 > 乙
40 人：乙 > 丙 > 甲

波达计分（2/1/0）：

甲 = 30×2 + 30×1 + 40×0 = 90
乙 = 30×1 + 30×0 + 40×2 = 110
丙 = 30×0 + 30×2 + 40×1 = 100

乙赢了——尽管在「甲 vs 乙」上，仍然是 60 人支持甲、只有 40 人支持乙。

甲的下场比这更难看：一对一他赢乙（60 : 40），三分制下他只有 90 分，垫底。丙的加入没有改变甲、乙单挑的胜负，却把最终结果从甲翻成了乙。这正是公理 3 想禁止的事。

「数学创造」的样板

俄罗斯数学家尤里·曼宁（Yuri Manin）说过「数学是一种隐喻」（Mathematics as Metaphor，详见延伸阅读），阿罗不可能定理是最好的注脚：

翻译：把「公平」变成一个函数（输入偏好组合，输出社会排序）。这个对象在现实里根本不存在，是数学家造出来的。
选择：把「公平」拆成四条可检验的公理——这一步是判断力，不是计算。选哪几条公理，决定了定理长什么样。
推导：用严格的组合论证，得出一个反直觉结论。
反哺现实：结论回到现实，告诉我们「完美民主不存在，任何机制都必须放宽某条公理」。这个信息，在翻译成数学之前是拿不到的。

一条定理最有价值的部分，往往不是「算出了什么」，而是它逼我们承认了一个原本说不清的事实。阿罗不可能定理正是如此：它没有告诉我们该用哪种投票法，但它永久地改变了我们讨论「公平」的方式。

三个小自测题（答案在心里过一遍就行）

为什么阿罗不可能定理要求「至少 3 个选项」？只有 2 个选项时，多数决满足四条公理吗？（提示：两选项时多数决是传递的，也不受无关选项影响——所以定理的「3」是紧的。）
上面「石头剪刀布」的例子，如果改成「每人给候选人打分（0–10 分）再加总」，还会转圈吗？代价是什么？（提示：不会转圈，但「分数」把强弱的强度引了进来，个人可能虚报分数。）
你们班选班委，如果先让候选人「两两辩论、逐轮淘汰」，主持人有没有可能通过安排顺序影响结果？试着设计一个偏好分布。

结语：一条边界定理

阿罗不可能定理不是「唱衰民主」的定理，而是一条边界定理——它精确地告诉我们，在一个由不同偏好的人组成的世界里，「汇总意见」这件事本身有多难。知道了边界在哪，才知道该在边界内怎么设计规则。