形式陈述
取 n ∈ N 0 、p ∈ [ 0 , 1 ] ,令 B 1 , … , B n 是相互独立 公理库 独立性 Statistical independence 若干 σ-代数的任意有限事件选择都按概率乘积分解的性质。 且都服从 Bernoulli( p ) 的随机变量。成功总数
X = ∑ i = 1 n B i 称为服从参数为 n , p 的二项分布,记作 X ∼ Bin ( n , p ) 。对 k = 0 , 1 , … , n ,
Pr ( X = k ) = ( n k ) p k ( 1 − p ) n − k , 其余整数处概率为零。端点参数中的 0 0 按连续延拓解释为 1 ,从而同一公式也覆盖 p = 0 , 1 。这里的二项式系数 公理库 二项式系数 Binomial coefficient n 元集合的 k 元子集数,记作 C(n,k)。 选择恰有 k 次成功的位置。由期望的线性性和独立性,
E X = n p , Var ( X ) = n p ( 1 − p ) , 矩母函数为 M X ( t ) = ( 1 − p + p e t ) n 。若 X ∼ Bin ( m , p ) 、Y ∼ Bin ( n , p ) 且二者独立,则 X + Y ∼ Bin ( m + n , p ) ;参数 p 相同与两变量独立缺一不可。
直觉
二项分布记录的不是每次试验怎样排列,而只是固定 n 次试验最后积累了多少次成功。若总数为 k ,每一种指定的成功位置都具有概率 p k ( 1 − p ) n − k ;一共有 ( n k ) 种位置模式,所以总质量正是二者的乘积。它把一串 0—1 结果压缩为一个计数,同时仍保留“试验次数”和“单次成功倾向”两个彼此不同的尺度:n 决定可取值范围,p 决定质量偏向哪一端。
例子与边界
一枚正面概率为 0.4 的硬币独立抛五次,正面数 X 服从 Bin ( 5 , 0.4 ) 。恰有两次正面的概率是
Pr ( X = 2 ) = ( 5 2 ) ( 0.4 ) 2 ( 0.6 ) 3 = 0.3456 , 而平均正面数是 2 ,方差是 1.2 。这个例子里的“独立”和“每次同为 0.4 ”都属于模型,不是“做了五次试验”自动附带的性质。
若第 i 次成功概率为 p i 且各次仍独立,总数服从 Poisson-binomial 分布,通常不能用单个 p 写成二项 PMF。若各次边缘概率相同却完全相关,例如令 B 1 = ⋯ = B n ,那么总数只可能是 0 或 n ,也不是二项分布。边界参数 p = 0 , 1 分别给出恒为 0 , n 的退化分布;n = 0 时空和恒为零。
推论与应用
二项分布直接承接Bernoulli 随机变量 公理库 Bernoulli 随机变量 Bernoulli random variable 只取 0 与 1 且成功概率为 p 的基本随机变量。 ,其矩母函数也展示了独立和如何把乘积化成幂。固定 p 、让 n 增大并标准化,可由中心极限定理 公理库 中心极限定理 Central limit theorem 适当归一化的独立随机变量和在分布上趋于正态分布。 得到正态近似;令 p = p n 变小而保持 n p n → λ ,则得到Poisson 分布 公理库 Poisson 分布 Poisson distribution · 泊松分布 以强度参数描述固定窗口内稀有事件计数的离散分布。 的稀有事件极限。有限样本下,Chernoff 方法 公理库 Chernoff 方法与 Chernoff 界 Chernoff method · Chernoff bounds 对随机变量施加指数变换并优化参数,以获得指数级尾概率上界。 与 Hoeffding 不等式 公理库 Hoeffding 不等式 Hoeffding's inequality 独立有界随机变量和偏离期望的概率以平方偏差的指数速度衰减。 控制计数偏离 n p 的概率,因此二项模型也是随机抽样、A/B 试验和随机算法成功次数分析的标准起点。
参考资料
Dimitri P. Bertsekas and John N. Tsitsiklis, Introduction to Probability , 2nd ed., Athena Scientific, 2008,§2.6, binomial probabilities and Bernoulli sums。
John Tsitsiklis and Patrick Jaillet, MIT 18.05, Introduction to Probability and Statistics , “Discrete Random Variables: Binomial Distribution”。