確率変数と累積分布関数

確率変数

試行の結果を数値として表現するために、確率変数を導入します。

定義(確率変数)

標本空間 \(\Omega\) を定義域とする関数 \[ X:\Omega\to\mathbb{R} \] を確率変数という。
標本点を \(\omega\in\Omega\) に対して \[ \omega\mapsto X(\omega) \] によって、各試行結果を実数に対応させる。

確率変数の例

サイコロを1回振る試行を考えます。
このとき、標本空間は \(\Omega = \{1,2,3,4,5,6\}\) です。

離散型確率変数と連続型確率変数

確率変数には離散型と連続型の2種類があります。
離散型確率変数:値域が高々可算である確率変数
連続型確率変数:分布関数が連続である確率変数

確率変数がある値をとる確率

確率変数 \(X\) がある値 \(x\) を取る確率は、事象 \(\{X=x\}\) が起こる確率と捉えて \[ P(\{X=x\}) \] となりますが、\(\{~\}\) を省略して \[ P(X=x) \] と表すことが多いです。

また、確率変数 \(X\) が \(a\) 以上 \(b\) 以下を取る確率は \[ P(a\le X\le b) \] と表します。他の不等号の場合も同様です。

累積分布関数

定義(累積分布関数)

確率変数 \(X\) に対して \[ F(x)=P(X\le x) \] で定義される関数 \(F\) を \(X\) の累積分布関数という。

定理(累積分布関数の性質)

累積分布関数 \(F(x)\) に対して、以下が成り立つ。

  1. \(a\le b\) ならば \(F(a)\le F(b)\)
  2. \(\displaystyle\lim_{x\to a+0}F(x)=F(a)\)
  3. \(\displaystyle\lim_{x\to-\infty}F(x)=0,\quad \lim_{x\to\infty}F(x)=1\)