確率変数

概要

確率変数は、サイコロの目や明日の気温のように「偶然に左右されて値が決まる量」を、数学の変数として扱えるようにする仕掛けです。確率の世界では、コインを投げる・くじを引くといった試行の結果はそのままでは「表」「裏」「当たり」のような記号にすぎません。確率変数は、それぞれの結果に数値を割り当てる対応関係 — 数学的にはひとつの関数 — として定義され、偶然の世界と数の世界をつなぐ橋になります。

たとえば「コインを3回投げて表が出た回数」を X と書けば、X は 0, 1, 2, 3 のどれかの値を偶然に応じて取る確率変数です。ひとたび X と名付けてしまえば、「X が 2 以上になる確率は?」「X の平均的な値は?」といった問いを、数式で組み立てて計算できるようになります。

確率変数は確率論と統計学のほぼすべての概念の土台です。確率分布は「確率変数がどの値をどんな確率で取るか」の一覧であり、期待値は確率変数の平均、分散と標準偏差は確率変数のばらつきです。この語を押さえずに先へ進むと、以降のすべての定義が宙に浮いてしまいます。

なぜ生まれたか

初期の確率論は「サイコロで6が出る確率」「くじが当たる確率」のように、個別の事象の確率を場合の数で数える学問でした。しかし賭け金の配分や保険料の設計といった実際の問題で本当に知りたいのは、「事象が起きるか否か」より「結局いくら得られるのか」という数量です。事象の言葉だけでは「賞金の平均」「損失のばらつき」を計算する枠組みがなく、問題ごとに場当たり的な計算を繰り返すしかありませんでした。

そこで「偶然の結果に数値を対応させる」という一段の抽象を挟むことで、状況が一変します。賞金でも誤差でも回数でも、いったん確率変数として表現してしまえば、期待値・分散・分布といった共通の道具立てが等しく適用できます。20世紀にコルモゴロフが確率論を測度論（集合の「大きさ」を厳密に扱う数学）の上に再構築した際も、確率変数は「標本空間から実数への関数」として定式化され、現代確率論の中心的な語彙になりました。個別の賭けの計算術だった確率が汎用の数学理論へ育つための鍵が、この抽象だったのです。

詳細

「結果に数を割り当てる関数」という見方

確率変数の定義は「試行の結果ひとつひとつに実数を対応させる関数」です。コインを2回投げる試行なら、起こりうる結果は「表表・表裏・裏表・裏裏」の4通り。ここで「表が出た回数」を X とすると、X は 表表→2、表裏→1、裏表→1、裏裏→0 という対応そのものです。偶然なのは「どの結果が起きるか」であって、対応関係自体は確定した規則である — この切り分けが確率変数の要点です。

この対応を通して、事象の確率が「値の確率」に翻訳されます。「X=1 となる確率」は「表裏または裏表が起きる確率」なので 2/4。こうして得られる「値と確率の対応表」が、そのまま確率分布です。確率変数を定義することと、その分布を考えることは、常にセットで進みます。

離散型と連続型

確率変数は取りうる値の性質で2種類に大別されます。離散型はサイコロの目や来店客数のように、値が飛び飛び（数えられる個数）のもの。それぞれの値に対して「その値になる確率」を直接与えられます。連続型は身長や待ち時間のように、値が連続的に変化しうるもの。連続型では「ちょうど 170.000… cm になる確率」は 0 になってしまうため、個々の値ではなく「この範囲に入る確率」を確率密度関数の曲線の下の面積として与えます。正規分布は連続型の代表例です。この区別はデータの種類と尺度における離散データ・連続データの区別と対応しており、扱う数学の道具（総和か積分か）を分ける重要な分類です。

確率変数を組み合わせる

確率変数の強力さは、変数どうしを演算できることにあります。X と Y が確率変数なら、X+Y も 2X も X の2乗もまた確率変数です。「サイコロ2個の目の合計」「1年間の損害額の総和」のような量を、部品となる確率変数の組み合わせとして構成できます。複数の確率変数を同時に扱うときの確率の与え方は同時分布と周辺分布で、変数どうしが無関係であることの定式化は独立性で扱います。また2つの確率変数が連動して動く度合いは共分散で測ります。

統計学とシミュレーションでの位置づけ

推測統計では、標本抽出で得られる個々の観測値を「同じ分布に従う確率変数の実現値」とみなします。「標本平均もまた確率変数である」という視点に立ってはじめて、中心極限定理や大数の法則が意味を持ち、推定や検定の理論が組み上がります。またプログラミングの側から見ると、乱数を生成して確率変数の実現値を大量に作り出し、複雑な確率変数の分布を数値的に調べるのがモンテカルロ法です。理論と計算のどちらの道でも、出発点に置かれるのはこの「確率変数」という抽象です。