定理已证明
Beta-二项共轭性
命题陈述
若 θ∼Beta(α,β) 为先验,且在给定 θ 时,n 次独立试验中观测到 k 次成功(即 k∣θ∼Binomial(n,θ)),则后验为 θ∣k∼Beta(α+k, β+n−k)。
为什么成立?
二项似然贡献因子 θk(1−θ)n−k,而 Beta 先验贡献 θα−1(1−θ)β−1;把它们相乘只是把指数相加,恰好落在另一个 Beta 密度的形状上。
证明思路
在给定 θ 时,n 次试验中观测到 k 次成功的似然为 L(k∣θ)=(kn)θk(1−θ)n−k。由上面的后验比例定理,π(θ∣k)∝L(k∣θ)π(θ)=(kn)θk(1−θ)n−k⋅B(α,β)θα−1(1−θ)β−1。
因子 (kn) 与 B(α,β) 不依赖于 θ,故可并入比例常数:π(θ∣k)∝θk(1−θ)n−k⋅θα−1(1−θ)β−1=θ(α+k)−1(1−θ)(β+n−k)−1。
这最后一个表达式恰好就是 Beta(α+k,β+n−k) 密度的核(θ 相关的部分)。由于在 (0,1) 上具有该核的概率密度只有唯一的归一化常数(根据 Beta 函数的定义,即 1/B(α+k,β+n−k)),后验必然恰好是 π(θ∣k)=B(α+k,β+n−k)θ(α+k)−1(1−θ)(β+n−k)−1,即 θ∣k∼Beta(α+k,β+n−k)。