本記事は「これなら分かる!はじめての数理統計学」シリーズに含まれます。\Sigma_{11|2})\end{align}である。以下のように各変数を$D_1$次元の部分と$D_2=D-D_1$次元の部分に区分けした。\Sigma_{22}^{-1}\Sigma_{21}\end{align}と置いた。多変量正規分布の条件付き分布も多変量正規分布になることを表しています。条件付き分布の計算は一次元の場合でも煩雑になることが多いため,本定理が活躍する場面が非常に多いです。証明やや天下り的なのですが,以下のように変換行列$A$を定めます。D_1$サイズのゼロ行列を表しています。A^T$を小行列に分解すると対角行列となるように定めています。することで,正規分布の独立性に関する定理を利用できるため都合が良いのです。通常は本定理を証明するために,多変量正規分布の確率密度関数の比を展開してあげる必要があり,煩雑な計算を要します。$A\mX$を計算してみましょう。\Sigma_{12}\Sigma_{22}^{-1}\mX_2$とおきました。多変量正規分布の線形変換の定理より,以下が成り立ちます。A^T$は以下のように計算されます。\Sigma_{22})\end{align}かつ$\mY$と$\mX_2$は独立であることが分かります。したがって,$\mX_2$に$\vx_2$という実現値が与えられた条件付き分布は以下のようになります。\Sigma_{11|2})\end{align}$\mY$と$\mX_2$が独立だからこそ,単に$\mX_2=\vx_2$を代入するだけでよくなっています。$\mY$と$\mX_2$が独立でない場合は,条件付き分布に関する本定理を再帰的に使う必要が出てきてしまい,循環論法に陥ります。期待値は定数を足し引きするとその分だけ変動すること,分散は定数を足し引きしても変わらないことを踏まえると,結局以下が成り立ちます。本稿の執筆にあたり参考にした文献は,以下でリストアップしております。※コメントに返信があったらメールで通知する。私はロボットではありません。