スラツキーの定理の証明

公開日:

【2023年4月3週】 【B000】数理統計学 【B060】標本分布

この記事をシェアする
  • B!
サムネイル画像

本稿では、スラツキーの定理を証明しています。

なお、閲覧にあたっては、以下の点にご注意ください。

  • スマートフォンやタブレット端末でご覧の際、数式が見切れている場合は、横にスクロールすることができます。

【定理】スラツキーの定理

【定理】
スラツキーの定理
Slutzky’s Theorem

2つの確率変数 X,Y の列 Xn={X1,X2,,Xn}Yn={Y1,Y2,,Yn} c0 を満たす任意の実数 c について、 {Xn} が確率変数 X に分布収束し、{Yn}c に確率収束する、すなわち、 XndXYnpc のとき、 (i)和の漸近分布 Xn+YndX+c (ii)積の漸近分布 XnYndcX (iii)比の漸近分布 XnYndXc が成り立つ。

証明:和の漸近分布

証明

確率変数 X,Zn=Xn+Yn の累積分布関数をそれぞれ、F(x),Hn(z) とすると、0<ε<c に対して、 Hn(z)=P(Xn+Ynz)=P(Xn+Ynz,|Ync|<ε)+P(Xn+Ynz,|Ync|ε) ここで、|Ync|<ε のとき、 Xn+YnzXn<zYn<zc+ε したがって、 Hn(z)P(Xn+cz+ε,|Ync|<ε)+P(|Ync|ε)(1)P(Xn+cz+ε)+P(|Ync|ε) 同様に、1Hn(z) について、 1Hn(z)=P(Xn+Yn>z)=P(Xn+Yn>z,|Ync|<ε)+P(Xn+Yn>z,|Ync|ε)P(Xn+c>zε,|Ync|<ε)+P(|Ync|ε)(2)P(Xn+c>zε)+P(|Ync|ε) ここで、 P(Xn+czε)+P(Xn+c>zε)=1 なので、(2) より、 P(Xn+czε)+P(Xn+c>zε)Hn(z)P(Xn+c>zε)+P(|Ync|ε)(3)P(Xn+czε)P(|Ync|ε)Hn(z) よって、式 (1),(3) より、 P(Xn+czε)P(|Ync|ε)Hn(z)P(Xn+cz+ε)+P(|Ync|ε) 両辺の n のときの極限を取ると、 limn{P(Xn+czε)P(|Ync|ε)}limnHn(z)limn{P(Xn+cz+ε)+P(|Ync|ε)} {Yn}c に確率収束する limnP(|Ync|ε)=0 ことから、 limnP(Xn+czε)limnHn(z)limnP(Xn+czε) ε を十分小さく取る ε0 と、 limnP(Xn+cz)limnHn(z)limnP(Xn+cz) {Xn}X に分布収束するので、 limnP(Xnx)=P(Xx) 連続写像の定理 limnP{g(Xn)g(x)}=P{g(X)g(x)} より、 limnP(Xn+cx+c)=P(X+cx+c) したがって、 F(x+c)limnHn(z)F(x+c) はさみうちの原理により、 limnHn(z)=F(x+c) したがって、分布収束の定義より、 Xn+YndX+c

証明:積の漸近分布

証明

確率変数 X,Zn=XnYn の累積分布関数をそれぞれ、F(x),Hn(z) とすると、0<ε<c に対して、 Hn(z)=P(XnYnz)=P(XnYnz,|Ync|<ε)+P(XnYnz,|Ync|ε) ここで、|Ync|<ε のとき、 XnYnzXnzYn<zcεXn(cε)z したがって、 Hn(z)P{Xn(cε)z,|Ync|<ε}+P(|Ync|ε)(4)P{Xn(cε)z}+P(|Ync|ε) 同様に、1Hn(z) について、 1Hn(z)=P(XnYn>z)=P(XnYn>z,|Ync|<ε)+P(XnYn>z,|Ync|ε)P{Xn(cε)>z,|Ync|<ε}+P(|Ync|ε)(5)P{Xn(cε)>z}+P(|Ync|ε) ここで、 P{Xn(cε)>z}+P{Xn(cε)z}=1 なので、(5) より、 P{Xn(cε)>z}+P{Xn(cε)z}Hn(z)P{Xn(cε)>z}+P(|Ync|ε)(6)P{Xn(cε)z}P(|Ync|ε)Hn(z) よって、式 (4),(6) より、 P{Xn(cε)z}P(|Ync|ε)Hn(z)P{Xn(cε)z}+P(|Ync|ε) 両辺の n のときの極限を取ると、 limn{P{Xn(cε)z}P(|Ync|ε)}limnHn(z)limn{P{Xn(cε)z}+P(|Ync|ε)} {Yn}c に確率収束する limnP(|Ync|ε)=0 ことから、 limnP{Xn(cε)z}limnHn(z)limnP{Xn(cε)z} ε を十分小さく取る ε0 と、 limnP(cXnz)limnHn(z)limnP(cXnz) {Xn}X に分布収束するので、 limnP(Xnx)=P(Xx) 連続写像の定理 limnP{g(Xn)g(x)}=P{g(X)g(x)} より、 limnP(cXncx)=P(cXcx) したがって、 F(cx)limnHn(z)F(cx) はさみうちの原理により、 limnHn(z)=F(cx) したがって、分布収束の定義より、 XnYndcX

証明:比の漸近分布

証明

確率変数 X,Zn=XnYn の累積分布関数をそれぞれ、F(x),Hn(z) とすると、0<ε<c に対して、 Hn(z)=P(XnYnz)=P(XnYnz,|Ync|<ε)+P(XnYnz,|Ync|ε) ここで、|Ync|<ε のとき、 XnYnzXnzYn<z(c+ε) したがって、 Hn(z)P(Xnc+εz,|Ync|<ε)+P(|Ync|ε)(7)P(Xnc+εz)+P(|Ync|ε) 同様に、1Hn(z) について、 1Hn(z)=P(XnYn>z)=P(XnYn>z,|Ync|<ε)+P(XnYn>z,|Ync|ε)P(Xnc+ε>z,|Ync|<ε)+P(|Ync|ε)(8)P(Xnc+ε>z)+P(|Ync|ε) ここで、 P(Xnc+ε>z)+P(Xnc+εz)=1 なので、(8) より、 P(Xnc+ε>z)+P(Xnc+εz)Hn(z)P(Xnc+ε>z)+P(|Ync|ε)(9)P(Xnc+εz)P(|Ync|ε)Hn(z) よって、式 (7),(9) より、 P(Xnc+εz)P(|Ync|ε)Hn(z)P(Xnc+εz)+P(|Ync|ε) 両辺の n のときの極限を取ると、 limn{P(Xnc+εz)P(|Ync|ε)}limnHn(z)limn{P(Xnc+εz)+P(|Ync|ε)} {Yn}c に確率収束する limnP(|Ync|ε)=0 ことから、 limnP(Xnc+εz)limnHn(z)limnP(Xnc+εz) ε を十分小さく取る ε0 と、 limnP(Xncz)limnHn(z)limnP(Xncz) {Xn}X に分布収束するので、 limnP(Xnx)=P(Xx) 連続写像の定理 limnP{g(Xn)g(x)}=P{g(X)g(x)} より、 limnP(Xncxc)=P(Xcxc) したがって、 F(xc)limnHn(z)F(xc) はさみうちの原理により、 limnHn(z)=F(xc) したがって、分布収束の定義より、 XnYndXc

参考文献

  • 黒木 学 著. 数理統計学:統計的推論の基礎. 共立出版, 2020, p.133-134
  • 黒木 学 著. 数理統計学:統計的推論の基礎. 共立出版, 2020, p.140 演習問題 7.2

関連記事

自己紹介

自分の写真

yama

大学時代に読書の面白さに気づいて以来、読書や勉強を通じて、興味をもったことや新しいことを学ぶことが生きる原動力。そんな人間が、その時々に学んだことを備忘録兼人生の軌跡として記録しているブログです。

このブログを検索

ブログ アーカイブ

QooQ