第 2 章 · 概率的公理

2.5 等可能结果的样本空间

Sample Spaces Having Equally Likely Outcomes
学习目标
  • 阐明古典概型的两条前提(样本空间有限、各结果等可能),并由公理推出 \(P(E)=|E|/|S|\);
  • 运用第 1 章的计数工具计算掷骰、扑克、超几何抽样与球入盒等经典模型的概率;
  • 判断"等可能"假设是否施加在恰当粒度的结果上,并能举出误用的反例;
  • 复述生日问题的结论(\(n=23\) 时概率约 \(0.507\)),并用配对数 \(\binom{n}{2}\) 的增长解释"悖论"感;
  • 说明不放回抽样与球入盒模型分别如何通向超几何型概率与二项分布。

1. 古典概型:从对称性到计数

掷一枚均匀硬币、掷一颗均匀骰子、从一副洗匀的扑克牌中发一手牌——这类试验有共同的特征:样本空间只含有限个结果,而且凭借物理上的对称性(材料均匀、充分洗牌),我们有理由认为每个结果发生的机会完全相同。这是概率论历史上最早被研究的模型,其"概率等于比值"的定义由拉普拉斯(Laplace)给出,因此也称为古典概型(classical probability model)。

在这样的样本空间上,求概率就化为纯粹的计数(counting):数出事件包含的有利结果(favorable outcomes)个数,再除以结果总数。第 1 章的全部工具——计数基本原理、排列与组合——在这一节集中亮相。

定义 1 等可能结果的样本空间(古典概型)

设样本空间 \(S\) 有限,且每个样本点发生的可能性相同,则称 \(S\) 为等可能结果的样本空间(sample space having equally likely outcomes)。此时对任意事件 \(E\subset S\),\[ P(E)=\frac{|E|}{|S|}, \] 其中 \(|E|\)、\(|S|\) 分别表示 \(E\) 与 \(S\) 所含样本点的个数。

换言之,事件 \(E\) 的概率等于"\(E\) 的有利结果数 \(\div\) 总结果数"。这一公式之所以合法,前提有两条:\(S\) 有限,且各样本点确实等可能——第二条来自试验的对称性,是模型假设而非公理的推论。

命题 1 古典概率公式的推导

设 \(|S|=N\) 且各样本点等可能,则 (a) 每个样本点的概率为 \(1/N\);(b) 对任意事件 \(E\),\(P(E)=|E|/N\)。

证明记 \(S=\{s_1,s_2,\ldots,s_N\}\)。单点集 \(\{s_1\},\{s_2\},\ldots,\{s_N\}\) 两两互斥,且并集为 \(S\)。由有限可加性(2.3 节公理 A3 的特例),\[ P(\{s_1\})+P(\{s_2\})+\cdots+P(\{s_N\})=P(S)=1. \] 又各单点集概率相等,故每个 \(P(\{s_i\})=1/N\),(a) 得证。对事件 \(E=\{s_{i_1}\}\cup\{s_{i_2\}\cup\cdots\cup\{s_{i_k}\}\)(\(k=|E|\),各项互斥)再用有限可加性,得 \(P(E)=k\cdot(1/N)=|E|/N\)。
注记 "等可能"从何而来

等可能假设的正当性来源只有两类:对称性(均匀骰子、摇匀的彩票机)或随机化设计(充分洗牌、随机分组)。它无法由概率公理证明;其经验检验依靠频率稳定性,理论保证则是第 8 章的大数定律。历史上拉普拉斯曾把"有利结果数/总结果数"当作概率的普遍定义,但其适用范围正是——且仅是——本节的等可能有限模型。

2. 骰子与"结果的粒度"

套用公式 \(P(E)=|E|/|S|\) 之前,必须先自问:你所列举的"结果"真的等可能吗?一个著名的反例:掷两颗骰子,若把"点数和 \(k\in\{2,3,\ldots,12\}\)"当作样本空间,这 11 个结果并不等可能——凑出和为 7 的有序对有 6 种,凑出和为 2 的只有 \((1,1)\) 一种。骰子的对称性保证的是全部 36 个有序对 \((i,j)\) 等可能,而不是它们的函数(如点数和)取值等可能。选对结果的粒度(granularity of outcomes),是使用古典概型的第一要务。

例 1 掷两颗骰子

掷两颗均匀骰子,求 (a) 点数和为 7;(b) 点数和为 11 的概率。

取样本空间 \(S=\{(i,j):\,i,j\in\{1,\ldots,6\}\}\),\(|S|=36\),各有序对等可能。(a) 点数和为 7 的有序对为 \((1,6),(2,5),(3,4),(4,3),(5,2),(6,1)\),共 6 个,故 \(P=6/36=1/6\approx 0.167\)。(b) 点数和为 11 的有序对只有 \((5,6)\) 与 \((6,5)\),故 \(P=2/36=1/18\approx 0.056\)。作为对照,若误认为 11 种"点数和"等可能,会得到 \(1/11\approx 0.091\),两问皆错。
两颗骰子点数和的概率分布(棒高 ∝ 有利有序对个数) 0 2/36 4/36 6/36 1/36 2/36 3/36 4/36 5/36 6/36 5/36 4/36 3/36 2/36 1/36 2 3 4 5 6 7 8 9 10 11 12 P{和=7} = 1/6 点数和 k 概率
图 1:两颗骰子点数和 \(k=2,\ldots,12\) 的概率分布。棒高按有利有序对个数 \(1,2,3,4,5,6,5,4,3,2,1\)(每格 \(1/36\))设置;分布呈对称三角形,\(k=7\) 居中最可能(深蓝棒,即例 1(a))。"点数和"的 11 个取值并非等可能,正是正文警示的反例。

3. 扑克牌型:组合数的舞台

一副标准扑克共 52 张:4 种花色(suit)(黑桃、红心、方块、梅花)各 13 个点数(rank)。发 5 张牌构成一手(hand);牌洗匀后,每一手 5 张牌都等可能,总数为 \(\binom{52}{5}=2\,598\,960\)。常用牌型的名称:一对(one pair)、两条对(two pair)、三条(three of a kind)、四条(four of a kind)、同花(flush,5 张同花色)。计算各种牌型的概率,是组合计数的经典练习。

例 2 扑克牌型的概率

从洗匀的 52 张牌中发 5 张,求恰好是 (a) 一对;(b) 四条;(c) 同花(含同花顺)的概率。

样本空间为所有 5 张牌的组合,\(|S|=\binom{52}{5}=2\,598\,960\),各手等可能。
(a) 一对:分步计数——选"对子"的点数 \(13\) 种;在该点数的 4 张中取 2 张花色,\(\binom{4}{2}=6\);其余 3 张须点数互不相同且异于对子点数:从其余 12 个点数中选 3 个 \(\binom{12}{3}=220\),每张的花色各有 4 种,共 \(4^3=64\)。于是 \[ P(\text{一对})=\frac{13\cdot\binom{4}{2}\cdot\binom{12}{3}\cdot 4^3}{\binom{52}{5}}=\frac{1\,098\,240}{2\,598\,960}\approx 0.4226. \]
(b) 四条:四张同点数——选点数 \(13\) 种,该点数 4 张全取 \(\binom{4}{4}=1\),第 5 张从其余 \(12\times 4=48\) 张中任取。故 \(P=13\cdot 48/\binom{52}{5}=624/2\,598\,960\approx 0.00024\)。
(c) 同花(含同花顺):选花色 4 种,该花色 13 张中任取 5 张 \(\binom{13}{5}=1\,287\)。故 \(P=4\cdot\binom{13}{5}/\binom{52}{5}=5\,148/2\,598\,960\approx 0.00198\)。

两条对与三条的计数思路完全类似(见练习 1 与表后说明):两条对为 \(\binom{13}{2}\binom{4}{2}^2\cdot 44=123\,552\)(44 \(=11\times 4\) 为第五张的限制选法),三条为 \(\binom{13}{1}\binom{4}{3}\binom{12}{2}4^2=54\,912\)。汇总如下表。

表 1:五种常见牌型的组合数与概率(分母均为 \(\binom{52}{5}=2\,598\,960\))
牌型组合数表达式组合数概率
一对\(13\binom{4}{2}\binom{12}{3}4^3\)1,098,240≈ 0.4226
两条对\(\binom{13}{2}\binom{4}{2}^2\cdot 44\)123,552≈ 0.0475
三条\(\binom{13}{1}\binom{4}{3}\binom{12}{2}4^2\)54,912≈ 0.0211
同花(含同花顺)\(4\binom{13}{5}\)5,148≈ 0.00198
四条\(13\cdot 48\)624≈ 0.00024
五种五张牌型的概率(线性真实比例) 0 0.1 0.2 0.3 0.4 一对 两条对 三条 同花 四条 0.4226 0.0475 0.0211 0.00198 0.00024 概率
图 2:五种牌型概率的条形图(线性刻度、真实比例;同花含同花顺)。约 42% 的手牌只是"一对";同花与四条的柱长已几乎不可见——平均约 505 手才出现一次同花,约 4165 手才出现一次四条。

4. 生日问题:一个著名的"悖论"

生日问题(birthday problem)是古典概型最著名的应用,也是"直觉与计算正面冲突"的经典案例。设房间里有 \(n\) 个人:忽略 2 月 29 日,假定一年 365 天,每人的生日等可能地落在任一天,且各人互不影响(相互独立,严格表述见第 3 章;此处相当于认为全部 \(365^n\) 个"生日分配"等可能)。问:其中至少有两人生日相同的概率是多少?

例 3 生日问题(本节重点)

房间中有 \(n\) 个人,求至少有两人生日相同的概率,并计算 \(n=23,30,50\) 时的数值。

直接清点"至少两人相同"的分配方式很繁琐,转而用补集(2.4 节命题 1(a)):\[ P(\text{至少两人相同})=1-P(n\ \text{人生日两两不同}). \] 让 \(n\) 人依次入场:第 1 人的生日任意,\(365/365\);第 2 人须避开已占的 1 天,\(364/365\);第 3 人须避开 2 天,\(363/365\);……;第 \(n\) 人须避开 \(n-1\) 天。于是 \[ P(\text{两两不同})=\frac{365\cdot 364\cdots(365-n+1)}{365^{n}}, \] \[ P(\text{至少两人相同})=1-\frac{365\cdot 364\cdots(365-n+1)}{365^{n}}. \] 代入 \(n=23\):上式 \(=1-0.4927=0.507\);\(n=30\) 时 \(\approx 0.706\);\(n=50\) 时 \(\approx 0.970\)。仅仅 23 个人,"撞生日"的概率就已过半——这就是著名的"生日悖论":结论违反多数人的直觉,但推理无懈可击。
表 2:\(n\) 人中至少两人生日相同的概率(按 365 天等可能计算)
人数 \(n\)510152023253035405060
概率 \(P\)0.0270.1170.2530.4110.5070.5690.7060.8140.8910.9700.994
至少两人生日相同的概率(n = 1,…,60) 0 0.25 0.50 0.75 1.0 0 10 20 30 40 50 60 n=23 p≈0.507 n=30 p≈0.706 n=50 p≈0.970 人数 n 概率
图 3:生日问题曲线:至少两人生日相同的概率随人数 \(n\) 单调上升,按真实比例绘制(\(n=1,\ldots,60\))。绛红圆点标出三个关键值:\(n=23\) 时 \(\approx 0.507\)(恰好越过一半)、\(n=30\) 时 \(\approx 0.706\)、\(n=50\) 时 \(\approx 0.970\)。
注记 "悖论"感从何而来

多数人潜意识里把问题换成了"有人和我生日相同":那只有 \(n-1\) 个配对,\(n=23\) 时概率约 \(1-(364/365)^{22}\approx 5.9\%\),自然微不足道。但真正的问题是 \(n\) 人之间任意两人的比较:配对数为 \(\binom{n}{2}=n(n-1)/2\),随 \(n\) 二次增长——\(n=23\) 时已有 \(\binom{23}{2}=253\) 对,每对"撞日"的概率为 \(1/365\),期望撞日配对数约 \(253/365\approx 0.69\),"过半"便不足为奇。另有两点余话:现实生日分布并不均匀(季节效应),而不均匀只会让撞日概率更大,因此 23 是保守的临界人数;这一"配对多于直觉"的现象后来成为密码学中生日攻击(哈希碰撞分析)的理论基础。

5. 不放回抽样与球入盒:两个母模型

本节剩余两个例子代表两类"母模型":其一是不放回抽样(对应超几何(hypergeometric)型概率),其二是独立投放(球入盒(balls into boxes)模型,也称占位问题(occupancy problem))。许多应用问题都能化归为二者之一。

例 4 产品抽样(超几何型)

一批 10 件产品中有 3 件次品。从中不放回地随机抽取 5 件,求恰好抽到 2 件次品的概率。

不放回且不计次序,样本空间是"10 件中取 5 件"的全部组合,\(|S|=\binom{10}{5}=252\),每种等可能。"恰 2 件次品"须从 3 件次品中取 2 件、再从 7 件正品中取 3 件:\[ P=\frac{\binom{3}{2}\binom{7}{3}}{\binom{10}{5}}=\frac{3\times 35}{252}=\frac{105}{252}=\frac{5}{12}\approx 0.417. \] 注意 \(\binom{7}{3}=35\)(而非 21),分子是 \(105\)。这类"两类总体中不放回抽取"的模型即超几何概型,其一般公式为 \(\binom{m}{k}\binom{N-m}{n-k}/\binom{N}{n}\)(\(N\) 件中含 \(m\) 件目标品,取 \(n\) 件恰中 \(k\) 件)。
例 5 球入盒模型

将 \(n\) 个球独立地、等可能地放入 \(N\) 个盒(每个球各有 \(N\) 种等可能的选择)。(a) 求某个指定盒中恰有 \(k\) 个球的概率;(b) 求某个指定盒为空的概率;并就 \(N=10\)、\(n=5\)、\(k=2\) 给出数值。

样本空间是全部 \(N^n\) 个"球—盒分配方案",各方案等可能(独立性使每个方案概率 \((1/N)^n\))。(a) 指定盒恰有 \(k\) 球:先选出落入该盒的 \(k\) 个球 \(\binom{n}{k}\) 种,这 \(k\) 个球各以 \(1/N\) 落入该盒,其余 \(n-k\) 个球各以 \(1-1/N\) 避开该盒,故 \[ P(\text{指定盒恰 } k \text{ 球})=\binom{n}{k}\Big(\frac{1}{N}\Big)^{k}\Big(1-\frac{1}{N}\Big)^{n-k}. \] 代入 \(N=10\)、\(n=5\)、\(k=2\):\(\binom{5}{2}(0.1)^2(0.9)^3=10\times 0.01\times 0.729=0.0729\)。(b) 指定盒为空:每个球都避开它,\(P=(1-1/N)^n\);数值为 \((9/10)^5\approx 0.590\)。若问"至少有一个盒为空",则需 2.4 节的容斥原理:\[ P(\text{至少一盒空})=\sum_{k=1}^{N}(-1)^{k+1}\binom{N}{k}\Big(\frac{N-k}{N}\Big)^{n}. \]

两个观察值得强调。其一,例 5(a) 的表达式 \(\binom{n}{k}p^k(1-p)^{n-k}\)(此处 \(p=1/N\))正是第 4 章二项分布(binomial distribution)的概率公式雏形——"数独立试验中成功次数"的模型将在 4.6 节正式展开。其二,生日问题恰是球入盒模型的一个特例:把 \(n\) 个人看作 \(n\) 个球、365 个生日看作 365 个盒,"生日两两不同"即"每盒至多一球"。两大母模型在此汇合,这正是古典概型统摄力的体现。

6. 本节小结

要点回顾
  • 古典概型的两条前提:样本空间有限 + 各结果等可能(依据是对称性或随机化设计),此时 \(P(E)=|E|/|S|\),概率论化为计数问题。
  • 等可能必须施加在恰当粒度的结果上:掷两骰的等可能单位是 36 个有序对,而非 11 个"点数和"。
  • 补集策略常是关键:"至少一个/至少两人相同"类事件,常经 \(P(E)=1-P(E^c)\) 化为连乘计算(生日问题、至少一个 6 点、至少一件次品)。
  • 生日问题:\(P=1-365\cdot 364\cdots(365-n+1)/365^n\);\(n=23\) 时约 \(0.507\)。"悖论"感的根源是配对数 \(\binom{n}{2}\) 随 \(n\) 二次增长。
  • 两大母模型:不放回抽样(超几何型,\(\binom{m}{k}\binom{N-m}{n-k}/\binom{N}{n}\))与球入盒(指定盒恰 \(k\) 球为 \(\binom{n}{k}(1/N)^k(1-1/N)^{n-k}\),通向二项分布)。

练习

练习 2-5-1

证明:5 张牌恰为"三条"(一个点数出现 3 次,另两个点数各出现 1 次)的概率约为 \(0.0211\)。

答案与提示

选三条的点数 \(\binom{13}{1}\),取该点数 4 张中的 3 张 \(\binom{4}{3}\),其余两张从 12 个点数中选 2 个 \(\binom{12}{2}\)、各选花色 \(4^2\):\[ \frac{\binom{13}{1}\binom{4}{3}\binom{12}{2}4^2}{\binom{52}{5}}=\frac{54\,912}{2\,598\,960}\approx 0.0211. \]

练习 2-5-2

写出 \(n\) 人生日两两不同的概率表达式,并计算 \(n=30\) 时的数值。

答案与提示

\[ \frac{365\cdot 364\cdots(365-n+1)}{365^{n}}. \] \(n=30\) 时约 \(0.294\);相应地,至少两人生日相同的概率约 \(1-0.294=0.706\),与表 2 一致。

练习 2-5-3

抓阄(抽签)的公平性:10 个阄中有 3 个红阄,10 人依次各抓一个(不放回)。证明:第 \(k\) 个人抓到红阄的概率与 \(k\) 无关,均为 \(3/10\)。

答案与提示

对称性论证:把 10 个阄的抓取结果看成一个随机排列,全部 \(10!\) 种排列等可能;"第 \(k\) 位是红阄"的排列有 \(3\times 9!\) 种(3 选 1 放在第 \(k\) 位,其余 9 个任意排),故 \(P=3\times 9!/10!=3/10\)。也可用条件概率链展开验证。先抓后抓机会均等——抓阄是公平的。

练习 2-5-4

掷两颗均匀骰子,求至少出现一个 6 点的概率;并与例 1(a)"点数和为 7"的概率比较大小。

答案与提示

用补集:两颗都不是 6 的概率为 \((5/6)^2=25/36\),故所求 \(P=1-25/36=11/36\approx 0.306\)。由于 \(11/36\) 大于 \(6/36=1/6\),"至少一个 6"比"点数和为 7"更容易发生。

练习 2-5-5

回到例 4 的产品抽样:求抽出的 5 件中至少含 1 件次品的概率。

答案与提示

补集为"5 件全是正品":\(\binom{7}{5}/\binom{10}{5}=21/252\),故 \(P=1-21/252=231/252=11/12\approx 0.917\)。只有 7 件正品却要抽 5 件,抽到次品几乎是必然。