分散 (確率論)

統計学および確率論における分散（ぶんさん、）とは、データ（母集団、標本）、確率変数（確率分布）の標準偏差の自乗のことである。分散も標準偏差と同様に散らばり具合を表し、標準偏差より分散の方が計算が簡単なため、計算する上で分散を用いることも多い。

分散は具体的には、平均値からの偏差の2乗の平均に等しい。データ  の分散  は

ここで  は平均値を表す。
分散が  であることは、データの値が全て等しいことと同値である。データの分散は二乗平均から平均の2乗を引いた値に等しくなる。

確率変数  の分散 は、 の期待値を  で表すと

となる。
確率変数の分散は確率変数の2次の中心化モーメントである。

統計学では、記述統計学においては標本の散らばり具合を表す指標として標本分散（ひょうほんぶんさん、）を、推計統計学においては不偏分散（ふへんぶんさん、）・不偏標本分散（ふへんひょうほんぶんさん、）を用いる。

 言葉の由来 
英語の （バリアンス）という語はロナルド・フィッシャーが1918年に導入した。

 確率変数の分散 
2乗可積分確率変数  の分散は期待値を  で表すと

で定義される。これを展開して整理すると

とも書ける。また確率変数  の特性関数を  とおくと（ は虚数単位）、これは 2階連続的微分可能で

と表示することもできる。

チェビシェフの不等式から、任意の正の数  に対して

が成り立つ。これは分散が小さくなるほど確率変数が期待値に近い値をとりやすくなることを示す大まかな評価である。

 性質 
 を確率変数、 を定数とし、共分散を  で表すと
（非負性）
（位置母数に対する不変性）
（斉次性）

を満たす。したがって、特に  が独立ならば、

より

が成り立つ。

 例 
 確率変数  が一様分布  に従うとき、
 確率変数  が正規分布  に従うとき、
 確率変数  が二項分布  に従うとき、
 確率変数  がポアソン分布  に従うとき、

 データの分散 
推計統計学では、母集団の分散と標本の分散を区別する必要がある。

 母分散 
大きさが  である母集団  に対して、平均値を  で表すとき、偏差の自乗の平均値

を母分散（ぼぶんさん、）と言う.。

 標本分散・不偏標本分散 
母集団の平均が、分散がのとき、大きさが  である標本  に対して、標本の平均値を  で表すとき、偏差の自乗の平均値

で定義される  を標本分散（ひょうほんぶんさん、）と言う。 は標準偏差と呼ばれる。

定義より、

となるから、標本分散は2乗の平均値と平均値の2乗との差に等しい。ただし、この計算では概して二乗平均が巨大になるため、浮動小数点数による近似計算を行う場合には桁落ちが起きる可能性がある。このため、浮動小数点数を扱う場合には定義に従って偏差の二乗和を計算することが一般的である（あるいは一般の総和計算と同じくカハンの加算アルゴリズムやのような手法により、誤差を小さくする工夫がなされることもある）。

一般に、標本分散の期待値は母分散と一致せず、母分散より小さくなる。これは、母分散は「母平均との偏差」で算出されるのに対し、標本分散では「標本平均との偏差」で算出されることに原因がある。実際には、平均と分散を持つ同一分布からの無作為標本に対して、標本分散の期待値  について、

ここで、

、、は独立のため、

となるため、

が成り立つ。

そこで

を用いると、

となり、期待値が母分散に等しくなる推定量が得られる。つまり母分散の不偏推定量となる。これを不偏標本分散（ふへんひょうほんぶんさん、）や不偏分散（ふへんぶんさん、）と呼ぶ。

上記の標本分散は不偏でないことを強調する場合偏りのある標本分散（）と言う。

なお、不偏標本分散を単に標本分散と呼ぶ文献もある。

定義から明らかに、標本の大きさが大きくなる程につれて偏りのある標本分散は不偏標本分散に近づく。

 注釈 

 出典 

 参考文献 






 関連項目 
 標準偏差
 統計量
 確率密度関数
 確率母関数
 分散分析
 推計統計学
 正規分布
 中心極限定理
 ブラウン運動

*ふんさん
Category:確率論
Category:統計量
Category:初等数学
Category:データ分析
Category:数学に関する記事