バッチ平均

定義 5.1（「統計誤差の解析」§5）

$N = kb$ （ $k \ge 2$ ）とし、 $Y_j = b^{-1}\sum_{s=(j-1)b+1}^{jb}A_s$ （ $j = 1, \ldots, k$ ）をバッチ平均という。 $\bar Y = k^{-1}\sum_j Y_j = \bar A_N$ として

\hat\sigma_{\mathrm{BM}}^2 = \frac{b}{k-1}\sum_{j=1}^k(Y_j - \bar Y)^2

を、長期分散 $\sigma_\infty^2$ のバッチ平均推定量という。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。