確率変数

確率変数（かくりつへんすう、）とは、統計学の確率論において、起こりうることがらに割り当てている値（ふつうは実数や整数）を取る変数。各事象は確率をもち、その比重に応じて確率変数はランダムに値をとる。
確率変数は離散型確率変数（りさんがたかくりつへんすう、）と連続型確率変数（れんぞくがたかくりつへんすう、）に分けられる。離散型確率変数の場合の確率分布は確率質量関数で表される。連続型確率変数の場合の確率分布は、確率測度が絶対連続ならば確率密度関数で表される。
確率空間 formula_1 において、標本空間 の大きさが連続体濃度の場合、確率変数とは、Ω 上で定義された実数値関数で、formula_2 可測であるものといえる。確率変数値をとる の部分集合が事象であり従って確率をもつために「formula_2 可測」は必要になる。
用語の定義.
日本産業規格では、確率変数（かくりつへんすう、random variable）を
と規定している。
確率変数は、
に割り当てられている値である。
確率論においては、確率変数は確率分布を記述する上で事実上必要な概念である。
確率変数は離散型確率変数（有限個または可算個）と連続型確率変数に分けられる。離散型確率変数の場合の確率は確率質量関数および離散確率分布を参照。連続型確率変数の場合の確率は確率密度関数を参照。
本項では、確率変数を標本空間に定義された可測関数から得られた数値として考える。確率論での数学的な取り扱いは#測度論的定義を参照のこと。
定義.
確率変数 formula_4 は、標本空間（起こりうることがらの集まり） の元に数 を対応させる可測関数である（, はそれぞれ可測空間）（#測度論的定義も参照）。 は通常 formula_5 または formula_6（や formula_7）である。そうでない場合は確率要素として考察する（#概念の拡張参照）。
 の値として、測定値や観測値（例えば、様々な人々の身長など）だけでなく、指示関数値（例えば、ある回数コイントスをしたときの表が出た回数）を採用することが多い。
 の像（値域）が高々可算個である時、 は離散型確率変数と呼ばれ、その分布（離散確率分布）は確率変数値の確率の全てを表したものとして確率質量関数で記述できる。
像が非可算個である時、 は連続型確率変数と呼ばれ、確率分布 が絶対連続ならば確率密度関数が存在し、確率変数が formula_8（例えば区間）に属する確率が確率密度関数の 上のルベーグ積分で表される。
注意すべき点は、絶対連続のとき連続確率分布であるため、確率変数がある値をとる確率は全て 0 になるということである。確率分布が連続でも絶対連続とは限らない。がその例である。そのような確率変数は確率密度関数または確率質量関数で記述できない。
あらゆる確率分布は累積分布関数で記述できる。分布関数とは、 に確率変数が 以下である確率を対応される関数のことである。
確率変数が可測関数として可積分ならば、期待値が存在する。
実例.
例えば、任意に抽出した人の身長を確率変数とする場合を考える。数学的には、確率変数は 対象となる人→その身長 という関数を意味する。確率変数は確率分布に対応し、妥当にあり得る範囲の確率（身長180cm以上190cm以下である確率や 150cm未満または200cm超である確率）を計算できるようになる。
もう一つの確率変数の例は、抽出した人には何人の子供がいるかというものである。これは非負の整数値を取る離散型確率変数である。この場合、確率分布は確率質量関数の積分により表される。また、無限個の仮説を想定することも可能である。例えば、偶数人の子供がいるか、といったものである。何方の場合においても、確率値は確率質量関数の要素の和を無限に取っていくことで求めることができる。子供が0人の可能性 + 子供が2人の可能性 + 子供が4人の可能性 + … という要領である。
このような例では標本空間はしばしば有限に制限される。離散値を無限に計算していくのが数学的に困難だからである。しかしアウトカムの標本空間内で2つの確率変数が同時に測定される場合、すなわちある人について身長と子供の数とを同時に調査する場合などは、両変数に相関関係があるのか否かを知るのは容易である。
概念の拡張.
統計学における基本として、"確率変数"がとる値は実数であり、従って期待値や分散その他の値を計算することができる。しかし、実数以外の要素を値としてとる確率変数も考えられる。値として取る要素としては、ブール変数、、複素数ベクトル、、行列、、樹形図、、図形、多様体、関数等が考えられる。確率要素という用語はこれら全ての概念を指し示す。
もう1つの拡張は確率過程、すなわち時間や空間などで添字付けられた添字付き確率変数である。
このような、より一般化された概念は計算機科学や自然言語処理といった非数的要素を扱う分野で特に有用である。これらの確率要素は実数値の確率変数（主に乱数ベクトル）として取り扱えることが多い。
下記に実例を上げる。
要素の数値化は、非数的な独立した確率要素を扱う際の必須操作ではない。
実例.
コイントスをするという試行において、標本空間は formula_9 である。表が出る回数を調べたい場合は、ここから確率変数 を次の式で定義する：
コインの表 (head) と裏 (tail) が出る確率が等しい時、確率質量関数 formula_11 は次式の通りである。
2つのサイコロを振るとき、出た目の和の確率分布を調べるには、確率変数を次のように取る。
標本空間 は、"2つのサイコロを振って出た目の集合"である。これを formula_13 と略記する。確率変数 は2つのサイコロの出た目に書かれた数の和を表現する、 から formula_7 への写像である。これは次の式で定義される：
 は1つ目のサイコロ、 は2つ目のサイコロの出た目が表す数を表す。
このとき確率質量関数 は次の式になる：
連続型確率変数の例として、水平方向に回るルーレットを挙げることができる。標本空間としては「ルーレットの向き全体」を考える。この「向き」は連続的な状態を取り得るのでその標本空間の表現には実数を使うことが適切である。そこで真北方向を0（度）とし、確率変数 を「ルーレットが真北の向きに対して取る角度」として定義すると、確率変数の値域は区間 （0度以上360度未満の実数）であり、ルーレットの元々の目的から各値を取る確率は等しいと考えられる。このとき区間内のあらゆる実数について、その値を取る確率は であるが、ある範囲内の角度をなす確率は正の値である。例えば、（0度以上180度以下）となる確率は である。
確率質量関数の代わりに、 の確率密度を考えると、幅1度の確率密度は である。確率は幅に比例し、確率分布は連続一様分布になる。一般に、連続型確率変数における確率は、存在すれば確率密度関数の範囲における積分値でとらえることができる。
混合タイプの確率変数としては例えば、コインを投げて表が出た時のみルーレットを回すということを考えることができる。コインが裏であれば 、表であれば ルーレットの角度 とすると、この確率変数は確率 で 、その他の数 である確率は上記の例の半分である。
測度論的定義.
確率空間 formula_17 が与えられたとき、確率変数とは、標本 formula_18 に割り当てた値をとる変数のことである。値にはその名の通り formula_5 や formula_7 の他、ベクトル値 formula_21 を割り当てることもある。「値」として、一般的には可測空間 formula_22 とする。確率変数とは formula_23-可測関数 formula_4 である。つまり、値 formula_25 の原像 formula_26 が formula_2 の元であることを意味している。
特に が位相空間である時、最も一般的なσ-集合代数 formula_28 はボレルσ-集合代数 formula_29 である。これは、の全ての開集合から生成されるσ-代数である。
実数確率変数.
ここでは観測値を実数とする。formula_1 が確率空間である。下記の場合、実測値空間として、関数formula_31を実数確率変数とする。
この定義は上記の特別な場合である。集合 formula_33 が実数空間内にボレル完全加法族を成し、それが集合の可測性を示す十分条件だからである。
これでformula_34 を用いて生成する集合の可測性が証明される。
確率変数の分布関数.
確率変数 formula_35 が確率空間 formula_36 内に定義されたとすると、「 の値が2をとる確率はいくつか？」等と問うことができる。これは事象 formula_37 の確率と同じであり、しばしば短く formula_38 や formula_39 と記述される。
実数確率変数 が示す範囲の確率を全て記録すると、 の確率分布が得られる。確率分布は の定義に使われた特定の確率空間を「忘れる」ので、 の様々な値の確率を記録するのみである。このような確率分布は常に分布関数で捉えることができる。
加えて確率密度関数 formula_41 を使える場合も多い。測度論的には確率変数 は、 上での の測定から formula_5 上での formula_41 の測定に「押し進める」もの、といえる。根底にある確率空間 は確率変数の存在を保証するツールであり、しばしば変数を構成し、同一確率空間内の2つ以上の変数の同時分布における相関・依存や独立性の基礎となる。実際は、空間 全体に1つの変数を置き、数直線 formula_5 全体で1つの変数とする。つまり、その変数が確率変数に代わって確率分布する。
確率変数値の平均.
確率空間 に割り当てた確率変数 formula_45 が可積分であるとは、
を満たすことである。これは測度論における可測関数の可積分性と同じである。
このとき確率変数 あるいはその確率分布の平均は
で定義される。
事象 formula_48 の下での確率変数 の条件付期待値は
で定義される。ここで は指示関数である。
モーメント.
確率変数の確率分布は、多くの場合少数の特性値で規定される。例えば、確率変数の期待値 () は確率分布の"1次モーメント"であり、平均とも呼ばれる。一般に、 は と等しくない。次に、確率変数値が全体として「平均」からどれだけ散らばっているかを表す特性値として分散 () および標準偏差 () がある。分散 とは、 と平均の差の2乗の期待値 のことである。
数学的には、与えられた確率変数 が所属する母集団に関する（一般化された）として知られ、確率変数 の分布の性質を示す期待値 の関数のコレクション である。
モーメントは確率変数が実数関数である場合（複素数等についても）に定義できる。確率変数自身が連続であるならば、変数のモーメント自身は確率変数の恒等関数 と等価である。しかし、非実数の確率変数の場合にも、モーメントをその変数の実数関数として得ることができる。例えば、名義尺度変数 として「赤」、「青」、「緑」がある場合、実数関数 formula_50 を考えることができる。こうしてアイバーソンの記法を用いることで、 が「緑」の時は1、それ以外は0と記述できるので、期待値および他のモーメントを定義できる。
確率変数の関数.
実数のボレル可測関数 formula_51 を実数値確率変数 に適用すると、新たな確率変数 を定義することができる。 の分布関数は、
である。
関数 に逆関数 が定義可能であり、かつそれが増加関数かまたは減少関数である場合には、
上記の関係は以下のように展開できる。
さらに、同じく の可逆性に加えて微分可能性も仮定すると、両辺を で微分することにより、確率密度関数の関係を下記のように記述できる。
 の逆関数が存在しない場合でも、それぞれの が高々可算個の根を持つ場合（すなわち、 である の数が有限または可算無限の場合）には、上記の確率密度関数の関係は次のように一般化できる。 
この式は が増加関数でなくとも成立する。
確率に対する公理的アプローチとしての測度論において、空間 上の確率変数 およびボレル可測関数 formula_51 を取る。可測関数を合成したものもまた可測である（しかし、 がルベーグ可測の場合はその限りではない)ため、 もまた空間 上の確率変数である。 の分布を知るために、確率空間 から formula_56 への移行と同じ手順を利用できる。
例1.
 を実数の連続確率分布とした時、 とすると、
 の時は formula_58 であるので、
 の時は formula_60 であるので、
例2.
 は、分布関数が
となる確率変数とする。ただし は固定されたパラメーターである。 確率変数 を formula_63 とすると、
最後の表現は の分布関数で計算できる。すなわち
例3.
 を標準正規分布に従う確率変数であるとすると、その確率密度は下記の通りである。
確率変数 を考えると、上記の式を変数変換して確率密度を下記のように表すことができる。
この場合、 の値は2つの （正の値と負の値）に対応するので、変換は単調写像ではない。しかし、関数が対称であるので、両半分をそれぞれ変形することができる。すなわち、
である。この逆変換は、
であり、両辺を微分すると
である。従って、
これは自由度 の分布である。
確率変数の同値性.
確率変数が同値と見なされるには「等しい」「ほとんど確実に等しい」「分布が等しい」といった、いくつかの異なる意味がある。強さの順に並べると、これらの正確な定義は以下の通り。
分布が等しい.
標本空間が実数直線の部分集合の場合、確率変数 と の分布が等しいとは（formula_75 と表記する）下記のように同じ分布関数を持つことである。
2つの確率変数は同じ積率母関数を持つ時に同じ分布になる。この事実は、例えば独立同一分布の確率変数による複数の異なった関数が同じ分布になるかどうかを調べるための便利な方法を提供する。しかしながら、積率母関数が存在するのは、ラプラス変換が定義される分布関数に対してのみである。
ほとんど確実に等しい.
2つの確率変数 と が「ほとんど確実に等しい」とは、その2つが異なる確率が であることと同値である。
これは、以下で定義される距離が0であることとも同値である。
確率論におけるすべての現実的な目的に関して、この同値性の概念は実際に等しい場合と同等の強さをもつ。
等しい.
最後に、2つの確率変数 と が等しいとは、それらが定義される可測空間上の関数として等しいことを指す。
収束.
数理統計学の重要なテーマは、例えば大数の法則や中心極限定理のように、ある確率変数の特定の列の収束結果を得ることである。
確率変数列 を確率変数 に収束させる方法は様々なものがある。詳細は確率変数の収束で説明する。