分散 (確率論)

数学の統計学における分散（ぶんさん、）とは、データ（母集団、標本）、確率変数（確率分布）の標準偏差の自乗のことである。分散も標準偏差と同様に散らばり具合を表し、標準偏差より分散の方が計算が簡単なため、計算する上で分散を用いることも多い。
分散は具体的には、平均値からの偏差の2乗の平均に等しい。データ の分散 は
分散が であることは、データの値が全て等しいことと同値である。データの分散は二乗平均から平均の2乗を引いた値に等しくなる。
確率変数 の分散 は、 の期待値を で表すと
となる。
確率変数の分散は確率変数の2次の中心化モーメントである。
統計学では、記述統計学においては標本の散らばり具合を表す指標として標本分散（ひょうほんぶんさん、）を、推計統計学においては不偏分散（ふへんぶんさん、）・不偏標本分散（ふへんひょうほんぶんさん、）を用いる。
言葉の由来.
英語の （バリアンス）という語はロナルド・フィッシャーが1918年に導入した。
確率変数の分散.
2乗可積分確率変数 の分散は期待値を で表すと
で定義される。これを展開して整理すると
とも書ける。また確率変数 の特性関数を とおくと（ は虚数単位）、これは 2階連続的微分可能で
と表示することもできる。
チェビシェフの不等式から、任意の正の数 に対して
が成り立つ。これは分散が小さくなる程期待値の近くに確率変数の値が分布することを示す大まかな評価である。
性質.
 を確率変数、 を定数とし、共分散を で表すと
を満たす。したがって、特に が独立ならば、
より
が成り立つ。
データの分散.
推計統計学では、母集団の分散と標本の分散を区別する必要がある。
母分散.
大きさが である母集団 に対して、平均値を で表すとき、偏差の自乗の平均値
を母分散（ぼぶんさん、）と言う。
標本分散・不偏標本分散.
大きさが である標本 に対して、平均値を で表すとき、偏差の自乗の平均値
で定義される を標本分散（ひょうほんぶんさん、）と言う。 は標準偏差と呼ばれる。
定義より、
となるから、標本分散は2乗の平均値と平均値の2乗との差に等しい。ただし、この計算では概して二乗平均が巨大になるため、浮動小数点数による近似計算を行う場合には大きな丸め誤差が生じる可能性がある（桁落ち）。このため、浮動小数点数を扱う場合には定義に従って偏差の二乗和を計算することが一般的である（あるいは一般の総和計算と同じくカハンの加算アルゴリズムやのような手法により、誤差を小さくする工夫がなされることもある）。
一般に、標本分散の平均値は母分散より少し小さくなる。実際には、平均と分散を持つ同一分布からの無作為標本に対して、標本分散の期待値 について、
が成り立つ。そこで
を用いると、平均値が母分散に等しくなる推定量が得られる。つまり母分散の不偏推定量となる。これを不偏標本分散（ふへんひょうほんぶんさん、）や不偏分散（ふへんぶんさん、）と呼ぶ。
上記の標本分散は不偏でないことを強調する場合偏りのある標本分散（）と言う。
なお、不偏標本分散を単に標本分散と呼ぶ文献もある。
定義から明らかに、標本の大きさが大きくなる程につれて偏りのある標本分散は不偏標本分散に近づく。