情報科学 › 乱数と確率的数値計算 › 統計誤差の解析
中心化した標本平均の積の期待値
補題 6.5(「統計誤差の解析」§6) ・ ✓公理まで証明済み
Wi=(Wi(1),…,Wi(q))(i=1,…,N)を独立同分布な Rq 値確率変数とし、各成分が E[Wi(l)]=0、∣Wi(l)∣≤B を満たすとする。Wˉ(l)=N−1∑iWi(l) について
E[l=1∏qWˉ(l)]≤qqBqN−⌈q/2⌉.本文で読む(証明と前後の説明)→
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。
これを使っている定理 証明で参照している 1 件