情報科学 › 乱数と確率的数値計算 › 分布からの標本抽出
密度・一様分布
定義 2.1(「分布からの標本抽出」§2)
Rd 値の確率変数 X が密度 p をもつとは、ボレル可測な p:Rd→[0,∞) があって、すべてのボレル集合 B について P(X∈B)=∫Bp(x)dx となることをいう。0<m(A)<∞ のボレル集合 A について、密度 1A/m(A) をもつ分布を A 上の一様分布という。(0,1) 上の一様分布を U(0,1) と書く。U∼U(0,1) なら 0≤t≤1 について P(U≤t)=t である。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。