Dengan distribusi pada vektor acak kami:
xi|μ∼N(μ,Σ)
μ∼N(μ0,Σ0)
Menurut aturan Bayes, distribusi posterior terlihat seperti:
p(μ|{xi})∝p(μ)∏Ni=1p(xi|μ)
Begitu:
lnp(μ|{xi})=−12∑Ni=1(xi−μ)′Σ−1(xi−μ)−12(μ−μ0)′Σ−10(μ−μ0)+const
=−12Nμ′Σ−1μ+∑Ni=1μ′Σ−1xi−12μ′Σ−10μ+μ′Σ−10μ0+const
=−12μ′(NΣ−1+Σ−10)μ+μ′(Σ−10μ0+Σ−1∑Ni=1xi)+const
=−12(μ−(NΣ−1+Σ−10)−1(Σ−10μ0+Σ−1∑Ni=1xi))′(NΣ−1+Σ−10)(μ−(NΣ−1+Σ−10)−1(Σ−10μ0+Σ−1∑Ni=1xi))+const
Yang merupakan kepadatan log seorang Gaussian:
μ|{xi}∼N((NΣ−1+Σ−10)−1(Σ−10μ0+Σ−1∑Ni=1xi),(NΣ−1+Σ−10)−1)
Menggunakan identitas Woodbury pada ekspresi kami untuk matriks kovarians:
(NΣ−1+Σ−10)−1=Σ(1NΣ+Σ0)−11NΣ0
Yang menyediakan matriks kovarians dalam bentuk OP yang diinginkan. Menggunakan ungkapan ini (dan simetrinya) lebih jauh dalam ungkapan untuk mean yang kita miliki:
Σ(1NΣ+Σ0)−11NΣ0Σ−10μ0+1NΣ0(1NΣ+Σ0)−1ΣΣ−1∑Ni=1xi
=Σ(1NΣ+Σ0)−11Nμ0+Σ0(1NΣ+Σ0)−1∑Ni=1(1Nxi)
Yang merupakan bentuk yang dibutuhkan oleh OP untuk mean.