无限次掷骰子先出现5再出现6的概率之对称性证明的形式化推导求助

嘿，我来帮你把这个对称性的部分给形式化写清楚！你的核心思路完全正确，现在我们把对称性的证明严谨地落地：

首先明确几个基础定义：

• 样本空间$\Omega$：所有无限长的公平骰子投掷序列，即$\Omega = { (x_1, x_2, x_3, ...) \mid x_i \in {1,2,3,4,5,6} }$
• 事件$A$：所有首次出现的5早于首次出现的6的序列；事件$A^c$：所有首次出现的6早于首次出现的5的序列
• 额外说明：那些永远不出现5和6的序列属于$\Omega \setminus (A \cup A^c)$，它们的概率为$\lim_{n \to \infty} (4/6)^n = 0$，完全不影响最终概率计算

关键：构造概率保持的双射 #

我们定义一个映射$f: \Omega \to \Omega$，规则是：

• 对于序列中的每个元素，把所有的5替换成6，所有的6替换成5，其他数字保持不变（比如$(3,5,2,6,...)$会被映射为$(3,6,2,5,...)$）

这个映射有三个核心性质：

1. 双射性：$f$是一一对应的——它的逆映射就是自身（再次把5和6互换即可），因此每个序列都有唯一的对应序列，且没有重复。
2. 事件映射关系：$f(A) = A^c$，且$f(Ac) = A$。
   • 假设某个序列属于$A$，意味着它第一次出现${5,6}$中的元素是5；经过$f$映射后，这个首次出现的元素变成了6，因此新序列属于$A^c$。
   • 反过来，若序列属于$A^c$，映射后会变成属于$A$的序列。
3. 概率保持性：因为骰子是公平的，每个独立投掷结果的概率都是$1/6$。对于任意有限长度的前缀序列$(x_1, x_2, ..., x_n)$，它的概率是$(1/6)^n$；而映射后的序列$(f(x_1), ..., f(x_n))$概率同样是$(1/6)^n$——只是互换了5和6的位置，每个结果的概率没有变化。

推导结论 #

因为$f$是概率保持的双射，且$f(A) = A^c$，所以：
$$P(A) = P(f(A)) = P(A^c)$$

结合你已经得出的$P(A) + P(A^c) = 1$，直接就能推出：
$$P(A) = P(A^c) = 0.5$$

如果想从基数角度辅助理解：因为$f$是双射，所以事件$A$和$A^c$的元素个数（基数）完全相等。不过要注意，样本空间$\Omega$是不可数集，概率本质是测度而非单纯基数，但这个双射的构造同时保证了测度（概率）的相等，这才是核心。

备注：内容来源于stack exchange，提问作者TJT