指数関数族、十分統計量
共役事前分布なるものが存在し、それによって、事前確率→事後確率→事前確率→事後確率→・・・というプロセスを単純に取り扱うことができることを示した。この事前確率・事後確率はベイズの考え方であるが、このベイズの考え方が、ベータ関数・ディリクレ関数に代表される関数群で有用であるということを意味する。このベイズの考え方で有用であるという性格は、これらの関数が指数関数族と呼ばれる関数タイプに属し、それらの式の形が、十分統計量という考え方と合致していることをこの記事では記す。
- 多変量ベクトル
がある。同じ次元の多変量ベクトル
がある。確率が
であるような事象で、
なる観測度数が得られる確率を考える。
を条件として、
は
と
の関数として表され、その式表現が指数関数を用いて、次のように書けるとき、その関数を指数関数族に属すると言う。
についての非減少関数
が存在し、その
についての増分が指数関数を用いて、次のように表せるような関数。
- ただし、
はベクトル
の転置ベクトル、
はnから計算される『統計量』で、長さが
と同じベクトル。ここに、nは『統計量
』を算出した後で初めて
との間で計算がなされ、それ以外には、この式に登場しない。言い換えると、観測度数
は、
に関する情報を一切用いずにある統計量
を計算し、その上で、
のことは忘れて、
なるベクトルについて
との間で計算をすることにより、
を観測する確率が計算できることを示している。このように、
とから
とは無関係に算出できる統計量であり、かつ、その統計量を中継することによってのみ
と
との両方の影響は算出され、
の介在を除けば、
と
が独立であるとき、
は、
から、取り出せるだけの統計量を取り出しているという意味で、十分統計量と呼ばれる。
- ここに、
は、Fが確率密度分布になるための補正項の役割を果たしている。
- ただし、