common knowledge

共同知识 (Common Knowledge)

共同知识（Common Knowledge）是博弈论、认知逻辑和信息经济学中的核心概念，描述一种比"每个人都知道"更强的知识状态：一个事实 $E$ 是共同知识，当且仅当所有人都知道 $E$，所有人都知道所有人都知道 $E$，如此往复直至无穷。这一概念最早由哲学家 David Lewis 在其 1969 年著作《Convention》中引入，后由罗伯特·奥曼（Robert Aumann）于 1976 年在其里程碑式论文《Agreeing to Disagree》中给出严格的数学形式化，成为现代博弈论和信息经济学的基石。

直观理解与非形式化定义

考虑一个简单的例子：在一间教室里，老师当众宣布"明天有考试"。此时，每个学生都听到了这一消息（"每个人都知道"）。但更进一步：每个学生都看到了其他学生也听到了消息，因此"每个人都知道每个人都知道"；而且每个学生都清楚，其他学生也看到了自己听到消息，因此"每个人都知道每个人都知道每个人都知道"……这一无限递归的认知链条正是共同知识的本质。

共同知识区别于相互知识（Mutual Knowledge）。相互知识仅要求每个人都分别知道 $E$，但不要求对他人知晓这件事有所认知。例如，若老师分别私下告知每位学生考试消息，那么 $E$ 是相互知识——每个人都知道，但每个人不知道别人是否也知道。此时集体行动的基础不存在，协调无法实现。共同知识的关键在于其所创造的是公共确定性——一种无可置疑的、能够协调所有理性行动者预期和行为的认知基础。

数学形式化：知识算子与划分模型

奥曼在 1976 年提出的划分模型（Partition Model）是定义共同知识的标准框架。设状态空间 $\Omega$ 为世界所有可能状态的集合，存在 $n$ 个参与者。每个参与者 $i$ 拥有一个信息划分 $\mathcal{P}_i$：对于任一真实状态 $\omega \in \Omega$，参与者 $i$ 观察到的是划分中包含 $\omega$ 的那个单元 $P_i(\omega)$——即 $i$ 认为可能的所有状态的集合。参与者 $i$ 在状态 $\omega$ 下知道事件 $E \subseteq \Omega$，当且仅当 $P_i(\omega) \subseteq E$。

定义知识算子 $K_i$：$K_i E = \{\omega \in \Omega : P_i(\omega) \subseteq E\}$，即在状态 $\omega$ 下参与者 $i$ 知道 $E$ 的所有状态的集合。进一步，定义"所有人都知道"算子：$\bar{K} E = \bigcap_{i=1}^{n} K_i E$。则 $E$ 是共同知识定义为 $\bar{K}$ 的无限次迭代：

其中 $\bar{K}^1 = \bar{K}E$，$\bar{K}^{m+1} = \bar{K}(\bar{K}^m E)$。该定义等价于：令 $\mathcal{M} = \bigwedge_i \mathcal{P}_i$ 为所有个体划分的相遇（Meet，即最粗的共同加细），则 $E$ 是共同知识当且仅当 $\mathcal{M}(\omega) \subseteq E$。也就是说，共同知识的事件是那些在由所有参与者信息结构共同决定的最粗糙划分下可识别的事件。

奥曼一致同意定理

共同知识最重要的经济学含义体现在奥曼一致同意定理（Aumann's Agreement Theorem）中。定理陈述如下：若两个理性参与者的后验概率（给定各自私有信息后对某事件的主观概率）是共同知识，且他们的先验概率相同（共有共同先验），则这两个后验概率必然相等。

形式化地，设 $\pi$ 为共有先验，参与者 $i$ 的后验概率 $q_i = \pi(E | P_i(\omega))$。若对于某个具体的数值 $p_1, p_2$，事件"$q_1 = p_1$ 且 $q_2 = p_2$"是共同知识，则 $p_1 = p_2$。换言之，诚实地说出自己的概率估计（honest revelation of posteriors）本身就会消除分歧——不可能出现"我不同意你的观点，但我们都知道对方不同意，而且我们都知道这一点"的均衡状态。

这一定理对经济学和金融学具有深远意义：它暗示市场上的理性交易者若已知彼此的交易意愿，其估值分歧将无法持续——因为估值差异本身会在共同知识的结构下自我消解。这构成了有效市场假说和无交易定理（No-Trade Theorem）的重要理论基础。

博弈论中的应用：共同知识与均衡

共同知识假设在现代博弈论中无处不在。共同知识理性（Common Knowledge of Rationality）假设所有参与者都是理性的，所有人都知道所有人是理性的，如此无穷。这一定义为纳什均衡提供了认知基础。标准的纳什均衡不仅要求策略互为最优反应，还要求每个参与者对其他参与者策略的信念正确，而这一信念结构仰赖于共同知识。

然而，值得强调的是，共同知识是一个极强的假设。在现实经济中，高阶信念（Higher-order Beliefs）往往无法实现完全的无限迭代——任何实际通信渠道都可能存在噪声。这促生了全局博弈（Global Games）等新理论框架，用以研究仅存在近似共同知识时的均衡选择问题。

一个经典的思想实验——蓝眼睛岛民之谜（Blue-eyed Islanders Puzzle）——生动展示了共同知识的威力：岛上有 100 个蓝眼睛岛民，每个人都能看到他人的眼睛颜色但看不到自己的。外来者当众宣布"你们中至少有一人有蓝眼睛"。这句话看似没有提供任何新信息（因为每个人早就看到至少 99 个蓝眼睛的人），但它创造了共同知识：此前每个人只知道"至少一人有蓝眼睛"，但现在每个人都知道"每个人都知道至少一人有蓝眼睛"，这一新建立的共同知识最终会触发所有蓝眼睛岛民在 100 天后集体意识到自己的眼睛颜色。

另一个经典例证是泥孩子谜题（Muddy Children Puzzle）和分布式计算领域中的两将军问题（Two Generals Problem）——后者揭示了在不可靠信道中建立共同知识的根本不可能性，深刻影响了计算机科学中关于分布式共识的理论发展。

共同先验假设与争议

共同知识模型通常附带共同先验假设（Common Prior Assumption, CPA）：所有参与者对世界状态持有相同的先验概率分布，差异仅来源于私有信息。这一假设是奥曼定理成立的前提条件，也是贝叶斯博弈中豪尔绍尼转换（Harsanyi Transformation）的标准建模选择。共同先验假设保证了信念差异可以完全归因于信息差异而非先验差异。然而，这一假设在方法论上颇有争议：一方面，它体现了"理性人从相同证据中应得出相同结论"的规范立场；另一方面，它被批评为排除了本质上不可化约为信息差异的根本性信念分歧。近年来，关于共同先验假设的放松及其对均衡预测的影响，已成为理论微观经济学的前沿课题。