题目
无穷多名囚犯，编号为\(1,2,3,\ldots\)，每人被戴上一顶红色或黑色的帽子。在约定信号发出后，所有囚犯彼此可见——每个人都能看到所有其他囚犯的帽子颜色，但不允许任何交流。随后，每名囚犯被单独带离并回答自己帽子的颜色。
只要仅有有限多名囚犯猜错，所有人即可获释。囚犯们事先有机会商议策略。问：是否存在一个策略，保证他们获释？
分析
答案是：存在，但策略需要依赖选择公理（Axiom of Choice），本质上是非构造性的。
一、无穷帽子编码
将所有囚犯的帽子颜色写成一个无穷序列
\[ x = (x_1, x_2, x_3, \ldots), \quad x_i \in \{R, B\}.\]
全体可能的帽子分配构成集合\(\{R, B\}^{\mathbb{N}}\)，即所有无穷二元序列。
二、等价关系
在全体序列上定义一个等价关系\(\sim\)：
\(x \sim y\)当且仅当\(x\)与\(y\)仅在有限多个位置上不同。
容易验证这确实是一个等价关系（自反、对称、传递）。每个等价类中的序列彼此"最终一致"——除了有限个位置外完全相同。
三、选择代表元
由选择公理，我们可以从每个等价类中挑选一个代表序列。囚犯们在商议阶段就记住所有这些代表——等价类到代表元的映射是固定的、公开的约定。
虽然"记住无穷多个代表"在实际中不可能，但在数学上这是允许的——策略的存在性正是本题要回答的问题。
四、囚犯的推理过程
当帽子揭晓后，囚犯\(k\)看到了除自己之外所有囚犯的帽子。他看到的序列（在位置\(k\)留空）记为
\[ x^{(k)} = (x_1, \ldots, x_{k-1}, \;?, \; x_{k+1}, \ldots).\]
关键观察：无论\(?\)处是\(R\)还是\(B\)，完整序列\(x\)与\(x^{(k)}\)填以任意颜色后都最多只在一个位置上不同。因此，囚犯\(k\)所见的序列足以唯一确定实际分配所属的等价类——因为改变一个位置不会改变序列所在的等价类。
于是，囚犯\(k\)进行如下推理：
- 他看到的序列（将\(?\)填以任意值，比如\(R\)）所属的等价类，就是真实分配所在的等价类。
- 查表得到该等价类的代表元\(r = (r_1, r_2, r_3, \ldots)\)。
- 猜测自己的帽子颜色为\(r_k\)。
五、为什么只有有限多人猜错
设真实帽子分配为\(x\)，代表元为\(r\)。根据等价类的定义，\(x\)与\(r\)仅在有限多个位置上不同。设这些位置为\(\{i_1, i_2, \ldots, i_m\}\)。
对于任何\(k \notin \{i_1, \ldots, i_m\}\)，有\(x_k = r_k\)，囚犯\(k\)猜自己的帽子颜色为\(r_k = x_k\)，猜对。
只有那些位于有限集\(\{i_1, \ldots, i_m\}\)中的囚犯才可能猜错。因此只有有限多名囚犯猜错，所有人获释。
六、注记
- 这个策略虽然在数学上"存在"，但完全不可操作——选择公理只断言代表元的存在性，不给出任何构造方法。没有任何有限程序能选出这个代表族。
- 这个谜题精妙地展示了：在有穷世界中不可能的策略（每个囚犯只有有限信息），在无穷世界中借助选择公理却成为可能。
- 本题属于经典的"无穷帽子谜题"系列，与有限帽子谜题（如问题079：Unanimous Hats、问题087：Half-Right Hats、问题091：Red and Blue Hats in a Line）不同的是，这里并不依赖编码、奇偶性或条件概率，而是直接动用了集合论的基础公理。