0中心極限定理2023-07-07 第51回NearMe技術勉強会Futo Ueno
View Slide
1Introduction● 中心極限定理は、統計学において極めて重要である● 中身は意外と難しい● 定理を完全に理解し、必要になったときに安心して使えるようにする
2定理の主張中心極限定理 ([倉田, 星野]「入門統計解析」より引用)
3定理の主張中心極限定理このままでも実用上は特に困らないが・・・
4定理の主張 (気になる点①)中心極限定理このままでも実用上は特に困らないが・・・・「ある分布」が「ある分布」に近づくとは?
5分布収束定義
6分布収束定義※ 確率密度関数を使うのはどうか?
7分布収束定義※ 確率密度関数を使うのはどうか? → 存在しない場合がある
8定理の主張 (気になる点①)中心極限定理このままでも実用上は特に困らないが・・・・「ある分布」が「ある分布」に近づくとは? → done
9定理の主張 (気になる点②)中心極限定理このままでも実用上は特に困らないが・・・・「ある分布」が「ある分布」に近づくとは? → done・収束先がnに依存しているようにみえるのが少々気持ち悪い
10修正(直観)
11修正(直観)n大
12修正(直観)n大スライド
13修正(直観)n大スライド√n 倍
14修正(式)
15定理の主張中心極限定理中心極限定理 (厳密ver.)
16定理の主張中心極限定理中心極限定理 (厳密ver.)?
17中心極限定理の証明
18準備1 : 特性関数定義
19準備1 : 特性関数定義(cf.) モーメント母関数
20準備1 : 特性関数の例
21準備1 : 特性関数の例(ほぼ)ガウス関数→
22準備2 : 特性関数の性質
23準備2 : 特性関数の性質分布関数と特性関数が1対1対応!!!
24準備2 : 特性関数の性質分布関数と特性関数が1対1対応!!!(→ 分布関数を考えたくないときに特性関数に逃げることが可能)
25準備3 : Lévyの連続性定理
26準備3 : Lévyの連続性定理対応 対応
27準備3 : Lévyの連続性定理連続?
28準備3 : Lévyの連続性定理連続?
29準備3 : Lévyの連続性定理連続?
30準備3 : Lévyの連続性定理連続?※イメージ
31証明の方針
32証明の方針対応
33証明の方針対応
34証明の方針対応 対応(?)
35証明の方針Lévyの連続性定理対応 対応(?)
36証明の方針Lévyの連続性定理対応 対応(?)
37証明(cf.)
38証明
39証明
40証明(cf.)
41証明(cf.)
42準備1 : 特性関数の例(再掲)(ほぼ)ガウス関数→
43証明(cf.)
44証明(cf.)
45証明の方針(再掲)対応 対応(?)
46証明の方針(再掲)対応 対応(?) → 対応!
47証明の方針(再掲)Lévyの連続性定理対応 対応(?) → 対応!
48証明の方針(再掲)Lévyの連続性定理対応 対応(?) → 対応!
49証明の方針(再掲)Lévyの連続性定理対応 対応(?) → 対応!
50参考文献・佐藤坦:「はじめての確率論 測度から確率へ」. 共立出版, 1994.・倉田博史, 星野崇弘:「入門統計解析」. 新世社, 2009.
51Thank you