参考文献
- statistics - Proof of the independence of the sample mean and sample variance - Mathematics Stack Exchange. https://math.stackexchange.com/questions/47350/proof-of-the-independence-of-the-sample-mean-and-sample-variance. 参照日 2022年3月2日.
- 久保川 達也. 現代数理統計学の基礎. 共立出版, 2017.
- Basu's theorem - Wikipedia. https://en.wikipedia.org/wiki/Basu%27s_theorem. 参照日 2022年3月3日.
- Completeness (statistics) - Wikipedia. https://en.wikipedia.org/wiki/Completeness_(statistics). 参照日 2022年3月3日.
- Ancillary statistic - Wikipedia. https://en.wikipedia.org/wiki/Ancillary_statistic. 参照日 2022年3月3日.
- 正規分布からの iid 標本の標本平均と不偏分散が独立であることの証明の話 - クッキーの日記
- 前々回の記事です。
- 正規分布からの iid 標本の標本平均と不偏分散が独立であることの証明の話【その2】 - クッキーの日記
- 前回の記事です。
前回までの記事の証明について、参考文献 [1] にバス―の定理からただちに示されるとあるので確認します。
バス―の定理は参考文献 [2] の 222 ページにありますがこの箇所の記述に言葉を補ってかきます。 なお、参考文献 [2] の 117 ページにある、「確率が に依存する場合には 、 に依存しない場合には 」という表記を採用します。また、今回の記事以降、標本も参考文献 [2} に倣って と表記します。
定理. 〈 バス―の定理 〉
を可測空間 上の確率分布族とし、 と を可測空間 から可測空間 への可測関数とする。 が について完備十分統計量であり、 が について補助統計量であるならば、 と は独立である。- が について十分統計量である。
- 例. を考える。 は について十分統計量である。これは参考文献 [1] のベストアンサーの we may write に続く式をみるとわかる。この式で を固定したときもはや は分布の形状(位置)に関わってこない。
- が について補助統計量である。
- 例. を考える。 は について補助統計量である。不偏分散の分布は自由度 のカイ2乗分布であり によらない。
- についての十分統計量 が完備である。 可測関数 について、任意の に対し であるならば、任意の に対し である。
- なお、参考文献 [3] のバス―の定理では が complete ではなく boundedly complete であることを要求しています。bounded な に対してだけ満たされればよいというのが boundedly complete で、バス―の定理ではそれで十分ですが、和訳が有界完備というのかわからないので boundedly は以降無視します。
十分統計量はパラメータの情報を十分含んだ統計量と理解できますが、補助統計量は何を補助するのかとか完備とは何が完全に備わっているのかよくわからないですが(自分は)ウィキペディアに詳しかったので参考文献に含めました。それでバス―の定理の証明は以下になります。
証明.
任意の に対し、 の下で となる事象の確率は以下になる。右辺への変形では との同時分布にして周辺化しているだけで、これ自体は や がどのような統計量かによらず成り立つ。ここで、左辺に が補助統計量であることを、右辺に が十分統計量であることを適用する。左辺が に依存しなくなったので の中にそのまま入れる。
これより、いま は完備なので、 によらず が成り立つ。