確率的増減関数と信頼区間
📂数理統計学確率的増減関数と信頼区間
定理
確率的単調関数の定義
累積分布関数F(t;θ)がθに対して増加(減少)関数ならば確率的増加(減少)関数という。
連続累積分布関数のピボティング
統計量Tが連続累積分布関数FT(t;θ)を有するとする。固定されたα∈(0,1)に対してα1+α2=αとし、TのサポートTの全てのt∈Tに対して、θL(t)とθU(t)が
- (1): もしFT(t;θ)が確率的減少関数ならば、
FT(t;θU(t))=α1&FT(t;θL(t))=1−α2
- (2): もしFT(t;θ)が確率的増加関数ならば、
FT(t;θU(t))=1−α2&FT(t;θL(t))=α1
と定義されるとする。そうであればランダムインターバル[θL(t),θU(t)]はθに対する1−α信頼区間である。
説明
たとえば、T∼exp(θ)、すなわち指数分布に従うとすると、その累積分布関数F(t;θ)=1−et/θは全てのtに対してθが増加するに従って関数の値が小さくなるため、確率的減少関数であり、定理の条件(1)を満たし、簡単に1−α信頼区間を得ることができる。
定理の名前に出てくるピボティングはピボットから来た言葉である。
証明
(1)の場合のみ証明する。離散累積分布の場合に完全に同一ではないが、類似の定理がある。
{t:α1≤FT(t;θ0)≤1−α2}
1−α受入域が上記のように作られたとする。FTが確率的減少関数であり、α<1の定義から1−α2>α1であるため、θL(t)<θU(t)が成立し、その関数値はユニークである。さらに、
FT(t;θ)<α1⟺FT(t;θ)>1−α2⟺θ>θU(t)θ<θL(t)
したがって、次のことが得られる。
{t:α1≤FT(t;θ0)≤1−α2}={θ:θL(t)≤θ≤θU(t)}
■