分散 (確率論)

数学の統計学における分散（ぶんさん、英: variance）とは、データ（母集団、標本）、確率変数（確率分布）の標準偏差の自乗のことである。分散も標準偏差と同様に散らばり具合を表し、標準偏差より分散の方が計算が簡単なため、計算する上で分散を用いることも多い。 分散は具体的には、平均値からの偏差の2乗の平均に等しい。データ x1, x2, …, xn の分散 s2 は s 2 = 1 n ∑ i = 1 n ( x i − x ¯ ) 2 {\displaystyle s^{2}={\frac {1}{n}}\textstyle \sum \limits _{i=1}^{n}(x_{i}-{\overline {x}})^{2}} ここで x は平均値を表す。 分散が 0 であることは、データの値が全て等しいことと同値である。データの分散は二乗平均から平均の2乗を引いた値に等しくなる。 確率変数 X の分散 V[X]は、X の期待値を E[X] で表すと V[X] = E[(X − E[X])2] となる。 確率変数の分散は確率変数の2次の中心化モーメントである。 統計学では、記述統計学においては標本の散らばり具合を表す指標として標本分散（ひょうほんぶんさん、英: sample variance）を、推計統計学においては不偏分散（ふへんぶんさん、英: unbiased variance）・不偏標本分散（ふへんひょうほんぶんさん、英: unbiased sample variance）を用いる。 英語の variance（バリアンス）という語はロナルド・フィッシャーが1918年に導入した。 2乗可積分確率変数 X の分散は期待値を E[X] で表すと V [ X ] = E [ ( X − E [ X ] ) 2 ] {\displaystyle V[X]=E{\big [}(X-E[X])^{2}{\big ]}} で定義される。これを展開して整理すると V [ X ] = E [ ( X − E [ X ] ) 2 ] = E [ X 2 − 2 X E [ X ] + ( E [ X ] ) 2 ] = E [ X 2 ] − 2 E [ X E [ X ] ] + E [ ( E [ X ] ) 2 ] = E [ X 2 ] − 2 E [ X ] E [ X ] + ( E [ X ] ) 2 ( ∵ E [ X ] = C o n s t ) = E [ X 2 ] − ( E [ X ] ) 2 {\displaystyle {\begin{alignedat}{5}V[X]&=E{\big [}(X-E[X])^{2}{\big ]}\\&=E{\big [}X^{2}-2XE[X]+(E[X])^{2}{\big ]}\\&=E[X^{2}]-2E{\big [}XE[X]{\big ]}+E{\big [}(E[X])^{2}{\big ]}\\&=E[X^{2}]-2E[X]E[X]+(E[X])^{2}(\because E[X]=Const)\\&=E[X^{2}]-(E[X])^{2}\\\end{alignedat}}} とも書ける。また確率変数 X の特性関数を φX(t) = E[eitX] とおくと（i は虚数単位）、これは 2階連続的微分可能で V [ X ] = − φ X ″ ( 0 ) + ( φ X ′ ( 0 ) ) 2 {\displaystyle V[X]=-\varphi _{X}''(0)+(\varphi _{X}'(0))^{2}} と表示することもできる。 チェビシェフの不等式から、任意の正の数 ε に対して P ( | X − E [ X ] | > ε ) ≤ V ( X ) ε 2 {\displaystyle P(|X-E[X]|>\varepsilon )\leq {\frac {V(X)}{\varepsilon ^{2}}}} が成り立つ。これは分散が小さくなるほど確率変数が期待値に近い値をとりやすくなることを示す大まかな評価である。 X, X1, …, Xn を確率変数、a, b, a1, …, an を定数とし、共分散を Cov[ · , · ] で表すと V [ X ] ≥ 0 {\displaystyle V[X]\geq 0} （非負性） V [ X + b ] = V ( X ) {\displaystyle V[X+b]=V(X)} （位置母数（英語版）に対する不変性） V [ a X ] = a 2 V ( X ) {\displaystyle V[aX]=a^{2}V(X)} （斉次性） V [ ∑ i a i X i ] = ∑ i , j a i a j Cov ⁡ [ X i , X j ] {\displaystyle V{\bigl [}\textstyle \sum \limits _{i}a_{i}X_{i}{\bigr ]}=\sum \limits _{i,j}a_{i}a_{j}\operatorname {Cov} [X_{i},X_{j}]} を満たす。したがって、特に X1, …, Xn が独立ならば、 Cov ⁡ [ X i , X j ] = { V ( X i ) ( i = j ) 0 ( i ≠ j ) {\displaystyle \operatorname {Cov} [X_{i},X_{j}]={\begin{cases}V(X_{i})&(i=j)\\0&(i\neq j)\end{cases}}} より V [ X 1 + ⋯ + X n ] = V [ X 1 ] + ⋯ + V [ X n ] {\displaystyle V[X_{1}+\dotsb +X_{n}]=V[X_{1}]+\dotsb +V[X_{n}]} が成り立つ。 確率変数 X が一様分布 U(a, b) に従うとき、V(X) = (b − a)2/12 確率変数 X が正規分布 N(μ, σ2) に従うとき、V(X) = σ2 確率変数 X が二項分布 B(n, p) に従うとき、V(X) = np(1 − p) 確率変数 X がポアソン分布 Po(λ) に従うとき、V(X) = λ 推計統計学では、母集団の分散と標本の分散を区別する必要がある。 大きさが n である母集団 x1, x2, …, xn に対して、平均値を μ で表すとき、偏差の自乗の平均値 σ 2 = 1 n ∑ i = 1 n ( x i − μ ) 2 {\displaystyle \sigma ^{2}={\frac {1}{n}}\textstyle \sum \limits _{i=1}^{n}(x_{i}-\mu )^{2}} を母分散（ぼぶんさん、英: population variance）と言う。 大きさが n である標本 x1, x2, …, xn に対して、平均値を x で表すとき、偏差の自乗の平均値 s 2 = 1 n ∑ i = 1 n ( x i − x ¯ ) 2 {\displaystyle s^{2}={\frac {1}{n}}\textstyle \sum \limits _{i=1}^{n}(x_{i}-{\bar {x}})^{2}} で定義される s2 を標本分散（ひょうほんぶんさん、英: sample variance）と言う。s は標準偏差と呼ばれる。 定義より、 s 2 = 1 n ∑ i = 1 n x i 2 − ( x ¯ ) 2 = x 2 ¯ − ( x ¯ ) 2 {\displaystyle s^{2}={\frac {1}{n}}\textstyle \sum \limits _{i=1}^{n}{x_{i}}^{2}-({\bar {x}})^{2}={\overline {x^{2}}}-({\bar {x}})^{2}} となるから、標本分散は2乗の平均値と平均値の2乗との差に等しい。ただし、この計算では概して二乗平均が巨大になるため、浮動小数点数による近似計算を行う場合には大きな丸め誤差が生じる可能性がある（桁落ち）。このため、浮動小数点数を扱う場合には定義に従って偏差の二乗和を計算することが一般的である（あるいは一般の総和計算と同じくカハンの加算アルゴリズムやpairwise summation（英語版）のような手法により、誤差を小さくする工夫がなされることもある）。 一般に、標本分散の平均値は母分散より少し小さくなる。実際には、平均と分散を持つ同一分布からの無作為標本に対して、標本分散の期待値 E[s2] について、 E [ s 2 ] = ( 1 − 1 n ) σ 2 {\displaystyle E[s^{2}]=\left(1-{\frac {1}{n}}\right)\sigma ^{2}} が成り立つ。そこで σ