1 定義
指示変数は、ある条件や事象が起こるかどうかを、数値で表すための変数である。確率論や統計学では、複雑な事象を簡潔に扱うための基本的な道具として用いられる。
1.1 基本的な意味
指示変数は、対象となる条件が満たされるときに特定の値をとり、満たされないときに別の値をとる。これにより、文章で表した事象を、代数的な式へ置き換えやすくなる。
1.2 数値の取り方
多くの場合、指示変数は二値を取るように定義される。最も一般的なのは、成立時を1、不成立時を0とする形である。
1.2.1 １と０の対応
1は条件が真であること、0は偽であることを示す。こうした対応は、計算機処理や数式変形に向いている。
1.2.2 条件成立と不成立
条件が成り立つ局面では変数の値が立ち上がり、成り立たない局面では消える。この単純な切り替えにより、事象の有無を明快に区別できる。
1.3 記法と表現
指示変数は、事象Aに対して \(I_A\) や \(\mathbf{1}_A\) のように書かれることが多い。文献によって表記は異なるが、意味はほぼ共通している。
2 確率論での役割
確率論では、指示変数は事象を数値へ翻訳する役目を持つ。これにより、確率計算を期待値や和の形で表しやすくなる。
2.1 事象の数値化
事象が起こるか否かを0と1で表すと、論理的な条件が数式として扱える。これは、確率の議論を整理する際に有効である。
2.1.1 事象と変数の対応
各事象に対応する指示変数を作ることで、事象の発生を変数の値として記述できる。したがって、集合論的な表現が確率変数の枠組みに移される。
2.1.2 複数事象への拡張
複数の事象についてそれぞれ指示変数を定義すると、同時発生や排反関係も表現できる。これにより、条件の組合せを体系的に扱える。
2.2 期待値との関係
指示変数の期待値は、その事象の確率に一致する。これは、指示変数が確率計算を最も単純な形に変える重要な理由である。
2.2.1 期待値の計算方法
0と1のみを取るため、期待値は「1となる確率」に等しい。計算対象が単純なので、事象の確率を直接読み取る感覚で利用できる。
2.2.2 期待値の線形性
複数の指示変数の和の期待値は、それぞれの期待値の和になる。 この性質により、複雑な数え上げ問題でも、項ごとに分けて処理しやすくなる。
2.3 分散との関係
指示変数は二値しか取らないため、分散も比較的容易に求められる。確率が中間的な値にあるときに変動が大きくなり、0または1に近いときは小さくなる。
3 統計学での応用
統計学では、指示変数はデータの有無や条件該当の判定を扱う際に役立つ。観測値を整理し、集計や推定の計算を単純化する効果がある。
3.1 数え上げ問題
出現した回数を、個々の事象の指示変数の和として表すことができる。これにより、総数を式で追跡しやすくなる。
3.1.1 成功回数の表現
試行ごとに成功を示す指示変数を置けば、成功の総回数はそれらの和で表せる。反復試行の分析で特に便利である。
3.1.2 出現回数の表現
ある特徴が何回現れたかも、各観測に対する指示変数を足し合わせて表現できる。これにより、頻度集計が明確になる。
3.2 場合分けの簡略化
条件ごとに式を分ける代わりに、指示変数で重み付けすると、一つの式にまとめられる。これは、場合分けが多い場面で特に有用である。
3.2.1 条件付きの計算
ある条件が満たされた場合だけ値を採用したいとき、指示変数を掛けることでその部分だけを残せる。不要な分岐を減らし、計算を整えやすい。
3.2.2 複雑な式の整理
複数の条件が重なると式が見えにくくなるが、指示変数を使うと構造が分かりやすくなる。論理条件を数式に吸収できるためである。
3.3 推定と検定での利用
統計モデルでは、カテゴリの有無や属性の差を表す説明変数として指示変数が使われる。仮説検定や回帰分析でも、カテゴリー情報の表現に適している。
4 関連概念
指示変数は、ほかの変数や関数と似た面を持つが、役割には違いがある。概念の境界を押さえると、使い分けがしやすい。
4.1 標本変数との違い
標本変数は観測された値そのものを表すのに対し、指示変数は条件の成立を表す。前者が量的情報を担うのに対し、後者は論理的判定に重点がある。
4.2 符号関数との違い
符号関数は数の正負を表す関数であり、典型的には-1、0、1などを返す。指示変数は、事象の真偽を二値で表す点が異なる。
4.3 ダミー変数との関係
ダミー変数は、カテゴリを数値化するための変数で、実務では指示変数に近い使い方をする。特に回帰分析では、カテゴリを表現する手段として広く利用される。
5 性質と拡張
指示変数は単独でも便利だが、複数を組み合わせることで表現力が増す。さらに、数理的には指示関数へと一般化される。
5.1 複数の指示変数の組み合わせ
複数の条件に対応する指示変数を並べると、合成的な条件判定が可能になる。和や積を用いることで、事象の関係を整理しやすい。
5.2 指示関数としての一般化
指示変数は、より一般には指示関数として理解できる。これは、点ではなく集合や領域に対して定義される考え方である。
5.2.1 集合への適用
集合の中に属する点で1、外にある点で0を返す関数として定義される。集合の性質を数式へ写し取る基本的な道具である。
5.2.2 連続空間への拡張
連続的な空間でも、領域に入るかどうかを判定する形で用いられる。これにより、積分や解析の場面でも表現の統一が図れる。