統計学および確率論における分散（ぶんさん、）とは、データ（母集団、標本）、確率変数（確率分布）の標準偏差の自乗のことである。分散も標準偏差と同様に散らばり具合を表し、標準偏差より分散の方が計算が簡単なため、計算する上で分散を用いることも多い。
分散は具体的には、平均値からの偏差の2乗の平均に等しい。データ の分散 は
ここで は平均値を表す。 分散が であることは、データの値が全て等しいことと同値である。データの分散は二乗平均から平均の2乗を引いた値に等しくなる。
確率変数 の分散 は、 の期待値を で表すと
となる。 確率変数の分散は確率変数の2次の中心化モーメントである。
統計学では、記述統計学においては標本の散らばり具合を表す指標として標本分散（ひょうほんぶんさん、）を、推計統計学においては不偏分散（ふへんぶんさん、）・不偏標本分散（ふへんひょうほんぶんさん、）を用いる。
言葉の由来 英語の （バリアンス）という語はロナルド・フィッシャーが1918年に導入した。
確率変数の分散 2乗可積分確率変数 の分散は期待値を で表すと
で定義される。これを展開して整理すると
とも書ける。また確率変数 の特性関数を とおくと（ は虚数単位）、これは 2階連続的微分可能で
と表示することもできる。
チェビシェフの不等式から、任意の正の数 に対して
が成り立つ。これは分散が小さくなるほど確率変数が期待値に近い値をとりやすくなることを示す大まかな評価である。
性質 を確率変数、 を定数とし、共分散を で表すと （非負性） （位置母数に対する不変性） （斉次性）
を満たす。したがって、特に が独立ならば、
より
が成り立つ。
例 確率変数 が一様分布 に従うとき、 確率変数 が正規分布 に従うとき、 確率変数 が二項分布 に従うとき、 確率変数 がポアソン分布 に従うとき、
データの分散 推計統計学では、母集団の分散と標本の分散を区別する必要がある。
母分散 大きさが である母集団 に対して、平均値を で表すとき、偏差の自乗の平均値
を母分散（ぼぶんさん、）と言う.。
標本分散・不偏標本分散 母集団の平均が、分散がのとき、大きさが である標本 に対して、標本の平均値を で表すとき、偏差の自乗の平均値
で定義される を標本分散（ひょうほんぶんさん、）と言う。 は標準偏差と呼ばれる。
定義より、
となるから、標本分散は2乗の平均値と平均値の2乗との差に等しい。ただし、この計算では概して二乗平均が巨大になるため、浮動小数点数による近似計算を行う場合には桁落ちが起きる可能性がある。このため、浮動小数点数を扱う場合には定義に従って偏差の二乗和を計算することが一般的である（あるいは一般の総和計算と同じくカハンの加算アルゴリズムやのような手法により、誤差を小さくする工夫がなされることもある）。
一般に、標本分散の期待値は母分散と一致せず、母分散より小さくなる。これは、母分散は「母平均との偏差」で算出されるのに対し、標本分散では「標本平均との偏差」で算出されることに原因がある。実際には、平均と分散を持つ同一分布からの無作為標本に対して、標本分散の期待値 について、
ここで、
、、は独立のため、
となるため、
が成り立つ。
そこで
を用いると、
となり、期待値が母分散に等しくなる推定量が得られる。つまり母分散の不偏推定量となる。これを不偏標本分散（ふへんひょうほんぶんさん、）や不偏分散（ふへんぶんさん、）と呼ぶ。
上記の標本分散は不偏でないことを強調する場合偏りのある標本分散（）と言う。
なお、不偏標本分散を単に標本分散と呼ぶ文献もある。
定義から明らかに、標本の大きさが大きくなる程につれて偏りのある標本分散は不偏標本分散に近づく。
一般化
分散共分散行列
次元列ベクトル値の確率変数 に対し、単一の実数としての分散は多次元の行列へ一般化される。これを分散共分散行列（または単に共分散行列）と呼び、次のように定義される。
この行列 の第 成分は確率変数 と の共分散 であり、特に対角成分 は各要素の分散 を表す。分散共分散行列は常に対称な半正定値行列となる。
複素確率変数の分散 複素数値をとる確率変数 （ は実確率変数）に対する分散は、絶対値の2乗（または複素共役との積）を用いて非負の実数値として次のように定義される。
実部 と虚部 の分散を用いると、 が成り立つ。
確率過程における分散
確率過程 において、各時点 における分散は時間軸上の関数 となる。また、異なる2時点 におけるばらつきの相関を含めた一般化として自己共分散関数 が用いられる。
共分散作用素 ヒルベルト空間などの無限次元空間に値をとる確率要素（例えばランダムな関数など）へ分散を一般化したものが共分散作用素（）である。実可分ヒルベルト空間 上の二乗可積分な確率要素 に対し、共分散作用素 は内積 を通じて以下を満たす直線作用素として定義される。
この作用素 は自己共役かつ非負値のトレースクラス作用素であり、そのトレース（対角和） は空間全体における「全分散」に相当する。
注釈
出典
参考文献
関連項目 標準偏差 統計量 分散共分散行列 自己共分散 確率密度関数 確率母関数 分散分析 推計統計学 正規分布 中心極限定理 ブラウン運動