同時分布のソースを表示

[[確率論]]において、'''同時分布'''（どうじぶんぷ）または'''結合分布'''（けつごうぶんぷ, ''joint distribution''）とは、[[確率変数]]が複数個ある場合に、複数の確率変数がとる値の組に対して、その発生の度合いを確率を用いて記述するもので、[[確率分布]]の一種である。

同時分布の表現方法として、離散型の確率変数にたいしては確率質量関数(確率関数ともいう)を用い、連続型の確率変数にたいしては確率密度関数を用いる。

== 定義 ==
数学的には ''n'' 個の確率変数 ''X''<sub>1</sub>, ''X''<sub>2</sub>, …, ''X<sub>n</sub>'' の同時分布は、これらの組 (''X''<sub>1</sub>, ''X''<sub>2</sub>, …, ''X<sub>n</sub>'') を '''R'''<sup>''n''</sup> 値確率変数とみたときの確率分布のことである。

同時分布は '''R'''<sup>''n''</sup> 上の測度であり、記号
:<math>P_{X_1,X_2,\cdots,X_n}(\cdot)</math>
と書かれる。累積分布関数と確率密度関数、確率質量関数も同様に
*<math>F_{X_1,X_2,\cdots,X_n}(x_1, x_2, \cdots, x_n)</math>
*<math>f_{X_1,X_2,\cdots,X_n}(x_1, x_2, \cdots, x_n)</math>
*<math>f_{X_1,X_2,\cdots,X_n}(x_1, x_2, \cdots, x_n)</math>
のように書かれる。

== 離散型確率変数 ==
複数の確率変数がとびとびの離散値をとる場合（離散型確率変数）、同時分布は'''同時確率関数'''（どうじかくりつかんすう）とも呼ばれる。例えば、1円硬貨と5円硬貨の表を1点、裏を0点とする。これらの2枚の硬貨を同時に投げる実験をし、<span lang="en">''X''</span> を1円硬貨の点数、<span lang="en">''Y''</span> を2つの値のうち大きいほうの点数とする。<span lang="en">''Y''</span> は <span lang="en">''X''</span> より小さくなることはない。1円硬貨が表（1点）で5円硬貨が裏（0点）なら、<span lang="en">(''X'', ''Y'')</span> は <span lang="en">(1, 1)</span> となる。同じく1円硬貨が表（1点）で5円硬貨が表（1点）なら、<span lang="en">(''X'', ''Y'')</span> は <span lang="en">(1, 1)</span> となる。この2変数のすべての組み合わせを考えると、<span lang="en">(0, 0)</span> が1、<span lang="en">(0, 1)</span> が1、<span lang="en">(1, 1)</span> が2で総計4となる。

<div class="thumb tright">
{| class="toccolours" style="font-size: 85%;"
| align="center" |
{| border="2" cellpadding="4" cellspacing="0" style="margin: 0; background: #f9f9f9; border: 1px #aaa solid; border-collapse: collapse;"
| 
{| cellpadding="0" cellspacing="0" style="margin: 0; background: #f9f9f9; border-collapse: collapse; text-align: center;"
| style="width: 3em;" | 
| style="width: 3em;" | Y
|-
| style="width: 3em;" | X
| style="width: 3em;" | 
|}
| 
{| cellpadding="0" cellspacing="0" style="margin: 0; background: #f9f9f9; border-collapse: collapse; text-align: center;"
| style="width: 3em;" | 0
| style="width: 3em;" | 1
|}
| align="center" | ''X'' の周辺分布<br />（行和）
|-
| 
{| cellpadding="0" cellspacing="0" style="margin: 0; background: #f9f9f9; border-collapse: collapse; text-align: center;"
| style="width: 6em;" | 0
|-
| style="width: 6em;" | 1
|}
| 
{| cellpadding="0" cellspacing="0" style="margin: 0; background: #f9f9f9; border-collapse: collapse; text-align: center;"
| style="width: 3em;" | 1/4
| style="width: 3em;" | 1/4
|-
| style="width: 3em;" | 0
| style="width: 3em;" | 1/2
|}
| 
{| cellpadding="0" cellspacing="0" style="margin: 0; background: #f9f9f9; border-collapse: collapse; text-align: center;"
| style="width: 6em;" | 1/2
|-
| style="width: 6em;" | 1/2
|}
|-
| align="center" | ''Y'' の周辺分布<br />（列和）
| 
{| cellpadding="0" cellspacing="0" style="margin: 0; background: #f9f9f9; border-collapse: collapse; text-align: center;"
| style="width: 3em;" | 1/4
| style="width: 3em;" | 3/4
|}
| 
|}
|-
| 表1: 2確率変数の同時確率関数
|}
</div>
このような2確率変数の同時確率関数を表にまとめると、表1のようになる。可能な事象は3つなので、2&times;2の表では <span lang="en">(1, 0)</span> の確率は0である。表の最終列と最終行は各々 <span lang="en">''X''</span> と <span lang="en">''Y''</span> の分布である。これを同時確率関数の'''周辺確率関数'''または'''周辺分布'''と呼び、行和や列和を計算して求めることができる。この周辺分布より、<span lang="en">''E'' (''X'') = 1/2</span>、<span lang="en">''V'' (''X'') = 1/4</span>、<span lang="en">''E'' (''Y'') = 3/4</span>、<span lang="en">''V'' (''Y'') = 3/16</span>、などが求められる。同時確率関数からは <span lang="en">''X''</span> と <span lang="en">''Y''</span> の積の[[期待値]]や[[共分散]]などが計算できる。計算方法は1変数の期待値と同様で、<span lang="en">''E'' (''XY'') = {(''X'' &times; ''Y'') &times; (''X'' &times; ''Y'') が起きる確率}</span> の総和と定義される。上記の例では 1/2 となる。共分散は <span lang="en">Cov (''X'', ''Y'') = ''E'' (''XY'') - ''E'' (''X'') ''E'' (''Y'')</span> であり、1/8 と求められる。<span lang="en">''X''</span> と <span lang="en">''Y''</span> の結びつき具合を示す母関数係数は <span lang="en">&rho; = Cov (''X'', ''Y'') / (''V'' (''X'') ''V'' (''Y''))<sup>1/2</sup></span> と定義され、これは <span lang="en">1/3<sup>1/2</sup></span> である。なお、同時確率関数から求める母相関係数と、データの特性を調べるために求める標本相関係数の違いには注意が必要である（[[相関係数]]を参照）。条件付き確率関数とは、このような同時確率関数の任意の行あるいは列を選択して、確率の総和が1になるように調整したものをいう。例えば、<span lang="en">''Y'' = 1</span> の条件をつけた場合の <span lang="en">''X''</span> の条件付き分布は、0と1を各々1/3と2/3で執る分布である。1/3は <span lang="en">(0, 1)</span> が起きる確率1/4を列和の3/4で割って求める。<span lang="en">''Y'' = 0</span> の条件をつけた <span lang="en">''X''</span> は確率1で0になる。これは[[一点分布]]である。

条件付き確率関数も確率関数の要件を満たしていることから、条件付き確率関数について、期待値や分散を計算できる。これを条件付き期待値あるいは条件付き分散（偏分散）という。例えば、<span lang="en">''Y'' = 1</span> の条件を付した場合の <span lang="en">''X''</span> の条件付き期待値は、<span lang="en">''E'' (''X'' | ''Y'' = 1) = 2/3</span>、<span lang="en">''E'' (''X'' | ''Y'' = 0) = 0</span>、条件付き分散は <span lang="en">''V'' (''X'' | ''Y'' = 1) = 2/9</span>、<span lang="en">''E'' (''X'' | ''Y'' = 0) = 0</span> などとなる。条件によって値は変化する。

[[Category:確率論|とうしふんふ]]
[[Category:数学に関する記事|とうしふんふ]]