Empirical Distribution Function
観測データから構築される分布関数。各データ点に等しい重み 1/N を置き、F-hat(z) = (1/N)Σ1{z_i ≤ z} として定義される階段関数。サンプル数 N が増えるにつれ、真の分布 F に収束する(大数の法則)。ブートストラップ法の理論的基盤となる概念で、「真の分布の代わりに経験分布からサンプリングする」ことが復元抽出と等価になる。
「経験分布関数 F-hat からサンプリングすることが、復元抽出と等価になる」