平均

テンプレート:Otheruses

平均（へいきん、テンプレート:Lang-en-short, テンプレート:Lang-de-short, テンプレート:Lang-fr-short）または平均値（へいきんち、テンプレート:Lang-en-short）とは、数学・統計学において、数の集合やデータの中間的な値を指す。欧米語の原意の中間（値）などと和訳することは少ない。

狭い意味での中間値にとどまらず、算術平均（相加平均）・幾何平均（相乗平均）・調和平均・対数平均など様々な種類で用いられる。一般的には特に算術平均を指し、集合の要素の総和を要素数で割ったものであるテンプレート:Sfn^[1]。

算術平均を用いる際の注意

科学観測や社会調査から得られるデータでは、算術平均を代表値の一つとして用いる。算術平均が中央値、最頻値、中点値と比べてデータの特徴をよく表すものかどうかを検討する必要がある。正規分布に近い場合は算術平均と標準偏差を用いることは適切だが、そうでない分布の場合は、算術平均値が度数の多い値を示すとはいえない。

例えば、国民（例えば日本人）の所得について考える。このデータでは、一部の高所得者が算術平均値を引き上げてしまい、算術平均値をとる世帯は実際にはほとんどいないということになる。よってこの場合正規分布には従わない。日本の国税庁の民間給与実態統計調査によると、平成29年度の場合、給与所得の算術平均値は423万円だが、最頻値は300万円～400万円の区分であり、ずれている^[2]。従って、一般的な世帯の所得をとらえるには中央値や最頻値が有効であるが、所得は97%～99%は所得の対数値が正規分布（対数正規分布）に従っているため^[3]、所得の対数値の算術平均、つまり幾何平均を用いるのが適切な所得の代表値であるともいえる。

分布が左右対称でない時、中央値、最頻値を用いると良い場合もある。また、飛び抜けた値（外れ値）がごく少数の場合には、最大と最小を除外した刈込平均（テンプレート:仮リンク）を用いることもある。平均が中央値、最頻値、中点値と乖離している場合は刈込平均を含めた平均以外の使用を考えるとよいテンプレート:Sfn。

統計学

統計学では、平均値とは普通は算術平均（相加平均）のことを指す。これはデータの値から算術的に計算して得られる統計指標値の一つである。

母平均と標本平均

統計学では平均には母平均と標本平均がある。母平均は、母集団の相加平均のこと。標本平均は、抽出した標本（母集団の部分集合）の相加平均のこと。母平均をテンプレート:Mvar、標本平均をテンプレート:Mvar と書いて区別する場合があるテンプレート:Sfn テンプレート:Sfn。

相加平均

テンプレート:Main 算術平均（さんじゅつへいきん、テンプレート:Lang-en-short, テンプレート:Lang-de-short, テンプレート:Lang-fr-short）とも呼ぶ。

相加平均は

μ = \frac{1}{n} \sum_{i = 1}^{n} x_{i} = \frac{x_{1} + x_{2} + \dots + x_{n}}{n}

で定義される。式変形して

n μ = \sum_{i = 1}^{n} x_{i} = x_{1} + x_{2} + \dots + x_{n}

と表すこともできる。

$x_{1}, x_{2}, \dots, x_{n}$ の相加平均を $\bar{x}$ とも表す。

相加平均は、加法とスカラー倍が定義された数（実数、複素数、ベクトル等）に対して定義できる。

一般化平均

相乗平均

テンプレート:Main 相乗平均（そうじょうへいきん）または幾何平均（きかへいきん、テンプレート:Lang-en-short, テンプレート:Lang-de-short, テンプレート:Lang-fr-short）は

μ_{G} = \sqrt[n]{\prod_{i = 1}^{n} x_{i}} = \sqrt[n]{x_{1} x_{2} \dots x_{n}}

で定義される。幾何平均は相乗平均と同義の用語である。

式変形して

{μ_{G}}^{n} = \prod_{i = 1}^{n} x_{i} = x_{1} x_{2} \dots x_{n}

とも表せる。

対数を取ると

μ_{G} = \exp (\frac{1}{n} \sum_{i = 1}^{n} \log x_{i})

n \log μ_{G} = \sum_{i = 1}^{n} \log x_{i}

となり、相乗平均は、対数の算術平均の指数関数である。あるいは、相乗平均の対数は対数の算術平均である。

データに1つ以上の 0 があるときは、相乗平均は 0 となる。値全てが実数であっても、積が負の場合は、相乗平均は実数の範囲内では存在しない。また複素数の範囲内では、値全てが実数であって積が正負いずれであっても、相乗平均は一意に定まらない可能性がある。

相乗平均は、積と累乗根が定義された数（実数、複素数）について定義できる。

調和平均

テンプレート:Main 調和平均（ちょうわへいきん、テンプレート:Lang-en-short）は

μ_{H} = \frac{n}{\sum_{i = 1}^{n} \frac{1}{x_{i}}} = \frac{n}{\frac{1}{x_{1}} + \frac{1}{x_{2}} + \dots + \frac{1}{x_{n}}}

で定義される。あるいは

\frac{n}{μ_{H}} = \sum_{i = 1}^{n} \frac{1}{x_{i}} = \frac{1}{x_{1}} + \frac{1}{x_{2}} + \dots + \frac{1}{x_{n}}

とも表せる。

調和平均は、逆数の算術平均の逆数である。あるいは、逆数の算術平均は調和平均の逆数である。

しかし、データに1つ以上の 0 があるとき、調和平均はもとの定義式からは定義できないが、0 への極限を取ると、調和平均は 0 となる（ $x_{i} \to 0$ のとき $μ_{H} \to 0$ ）。データに負数があっても調和平均は計算することができる。ただし、正負が混在している場合に逆数の和が 0 になることがあり、その場合の極限は発散する。

一般化平均

テンプレート:Main 算術平均、相乗平均、調和平均は同じ式

μ_{p} = {(\frac{1}{n} \sum_{i = 1}^{n} {x_{i}}^{p})}^{1 / p}

あるいは

n {μ_{p}}^{p} = \sum_{i = 1}^{n} {x_{i}}^{p}

で表せる。この実数テンプレート:Mvar に対して定義した式の値をテンプレート:Mvar一般化平均と呼ぶ。

テンプレート:Math2 で算術平均、テンプレート:Math2 で調和平均となり、テンプレート:Math2 への極限が相乗平均である。また、テンプレート:Math2 の場合を二乗平均平方根 (RMS) と呼び、物理学や工学で様々な応用をもつ。テンプレート:Math2 への極限は最大値、テンプレート:Math2 への極限は最小値である。

一般化平均は、ベクトル $(x_{1}, \dots, x_{n})$ のテンプレート:Mvar ノルムを $n^{1 / p}$ で割った結果に一致する。

データのテンプレート:Mvar乗の平均、つまり、一般化平均のテンプレート:Mvar乗

{μ_{p}}^{p} = \frac{1}{n} \sum_{i = 1}^{n} {x_{i}}^{p}

をテンプレート:Mvar乗平均と呼ぶ。

テンプレート:Mvar乗平均・一般化平均の応用として、例えば統計学では分散と標準偏差がある。偏差（値から相加平均を引いた値）のそれぞれテンプレート:Math乗平均・テンプレート:Math一般化平均として定義されている。

一般化平均はさらに一般化が可能で、全単射な関数テンプレート:Mvar により

μ_{f} = f^{- 1} (\frac{1}{n} \sum_{i = 1}^{n} f (x_{i}))

という平均が定義できる。恒等関数テンプレート:Math2 により相加平均が、逆数テンプレート:Math2 により調和平均が、対数関数テンプレート:Math2 により相乗平均がそれぞれ表されている。

	相加平均	相乗平均	調和平均
$f (x)$	$x$	$\log x$	$x^{- 1}$
$f^{- 1} (y)$	$y$	$\exp y$	$y^{- 1}$
$f^{- 1} (\frac{1}{n} \sum_{i = 1}^{n} f (x_{i}))$	$\frac{1}{n} \sum_{i = 1}^{n} x_{i}$	$\exp (\frac{1}{n} \sum_{i = 1}^{n} \log x_{i})$	${(\frac{1}{n} \sum_{i = 1}^{n} {x_{i}}^{- 1})}^{- 1}$

定義域

実数テンプレート:Mvar に対するテンプレート:Mvar一般化平均は、データの値が全て非負の実数であるときに定義される。これは、一般化平均の式に現れるテンプレート:Mvar乗根（冪函数）が負数に対し定義できないためである。例外は、冪関数を使わずに計算できる算術平均と調和平均 (テンプレート:Math2) である。それ以外のテンプレート:Math2 の場合、負数が1つでも含まれるデータに対しては、一般化平均の定義式は実数を返さないか、実数を返したとしても結果は解釈が難しい。

テンプレート:Math2 の場合、0 を含むデータに対しては一般化平均の定義式は使えないが、調和平均同様、0 への極限を取ると一般化平均は 0 となる。幾何平均（テンプレート:Math一般化平均）も 0 となるので、テンプレート:Math2 の場合に一般化平均は 0 と考えることができる。

具体例

相乗平均
- 78年の経済成長率20%、79年の経済成長率80%の場合、この2年間の平均成長率は $\sqrt{1.2 \times 1.8} = 1.469693846 \dots$ より、約47%
調和平均
- 往は時速60 km、復は時速90 kmの場合の往復の平均速度は $\frac{2}{1 / (60 k m h^{- 1}) + 1 / (90 k m h^{- 1})} = 72 k m h^{- 1}$ である。
- 並列接続された電気抵抗の抵抗値などを考える場合に用いる（直列回路と並列回路）。

関係式

相加平均≧相乗平均≧調和平均

テンプレート:Mvar個の実数が全て正の時、次の大小関係が成り立つ。

相加平均 ≥ 相乗平均 ≥ 調和平均

\frac{x_{1} + x_{2} + \dots + x_{n}}{n} \geq \sqrt[n]{x_{1} x_{2} \dots x_{n}} \geq \frac{n}{\frac{1}{x_{1}} + \frac{1}{x_{2}} + \dots + \frac{1}{x_{n}}}

等号成立条件は

x_{1} = x_{2} = \dots = x_{n}

である。

左側の不等式は、両辺に対数をとりlogの凸性（イェンセンの不等式）を適用すれば証明できる（数学的帰納法を使った別証明も知られている）。右側の不等式は、調和平均が逆数の相加平均の逆数という事実を左側の不等式に適用すれば証明できる。

さらに拡張したテンプレート:Mvar一般化平均 ${(\frac{1}{n} \sum_{i = 1}^{n} {x_{i}}^{p})}^{1 / p}$ （テンプレート:Mvar は実数）について、一般にはテンプレート:Mvar の広義増加関数となる。テンプレート:Math2 のとき相加平均、テンプレート:Math2 のとき調和平均、テンプレート:Math2 のとき極限として幾何平均になる（#一般化平均を参照）。

相加平均と調和平均の相乗平均

データの大きさテンプレート:Mvar が 2 のときの相加平均、相乗平均、調和平均をそれぞれテンプレート:Math2 とすると、

A = \frac{x_{1} + x_{2}}{2}, G = \sqrt{x_{1} x_{2}}, H = \frac{2 x_{1} x_{2}}{x_{1} + x_{2}}

なので、

G = \sqrt{A H}

が成立する。すなわち、データの相乗平均は相加平均と調和平均の相乗平均に等しくなる。

様々な平均

加重平均

テンプレート:Redirect データの値それぞれに不均等な重みがある場合は、単に相加平均をとるのでなく重みを考慮した平均をとるべきである。各値テンプレート:Mvar に、重みテンプレート:Mvar がついているときの加重平均（重み付き平均）は

\frac{w_{1} x_{1} + \dots + w_{n} x_{n}}{w_{1} + \dots + w_{n}}

と定義される。特に全ての重みが等しければ、これは通常の相加平均である。

例えば、重み付き最小二乗法では、誤差の小さなデータに大きな重みを与えた残差の加重平均を最小化^{[注 1]}することで、尤度の最大化を図る。テンプレート:仮リンクによって期待値をモンテカルロ推定するときは、求めたい期待値に関する確率密度とサンプルの確率密度の比を重みとした加重平均を推定量とする。

相乗平均についての重み付き平均は

{({x_{1}}^{w_{1}} \dots {x_{n}}^{w_{n}})}^{1 / p}

と定義される。ただし $p = \sum_{i = 1}^{n} w_{i}$ とする。

連続分布の相加平均

テンプレート:See also データテンプレート:Math が区間テンプレート:Math で連続的に分布しているとき、その相加平均は積分

\frac{1}{b - a} \int_{a}^{b} x (t) d t

と定義される。これは離散分布の相加平均に対して、無限個の平均を算出する操作を極限により表したものである。

対数平均

テンプレート:Main 特にテンプレート:Math が指数関数である場合、その相加平均は端点での関数の値テンプレート:Math2 のみで計算でき、

\frac{x (b) - x (a)}{\ln (x (b)) - \ln (x (a))}

となる。これは対数平均と呼ばれ、対数平均温度差などの応用例がある。

ベクトルの平均

相加平均や加重平均はベクトルの場合に定義を拡張することができる。ベクトルの平均は物理学における質点の重心と関係がある。相乗平均や調和平均は定義できない。

相加平均

ベクトルテンプレート:Math2 に対し、それらの（相加）平均を

\frac{𝒙_{1} + \dots + 𝒙_{n}}{n}

で定義する。

テンプレート:Math2 の場合、テンプレート:Math2 の平均は各点が作る三角形の重心である。これはベクトルの数がテンプレート:Mvar の場合にも一般化でき、テンプレート:Math2 の平均は各点が作るテンプレート:Mvar 単体の重心である。

加重平均

加重平均も同様にベクトルに拡張でき、

\frac{w_{1} 𝒙_{1} + \dots + w_{n} 𝒙_{n}}{w_{1} + \dots + w_{n}}

と定義される。

テンプレート:Mvar乗平均・一般化平均はスカラー

\frac{‖ 𝒙_{1} ‖^{m} + \dots + ‖ 𝒙_{n} ‖^{m}}{n}, \sqrt[m]{\frac{‖ 𝒙_{1} ‖^{m} + \dots + ‖ 𝒙_{n} ‖^{m}}{n}}

として定義される。ただしここでテンプレート:Math は、ベクトルのノルムである。テンプレート:Math2 の場合、テンプレート:Math は内積 $⟨ 𝒙, 𝒙 ⟩$ に一致するので、テンプレート:Math2 の場合のテンプレート:Mvar乗平均や一般化平均が特に重要である。たとえば物理学では速さの平均値（根二乗平均速度）として、テンプレート:Math2 の場合の一般化平均を使うことがある。

ベクトルの加重平均の概念には、物理的な解釈を与えることができる。質点テンプレート:Math2 がそれぞれ位置テンプレート:Math2 にあり、それぞれの質量がテンプレート:Math2 であるとき、加重平均

\frac{m_{1} 𝒙_{1} + \dots + m_{n} 𝒙_{n}}{m_{1} + \dots + m_{n}}

は系の重心である。

算術幾何平均

テンプレート:Main テンプレート:Math2 を、テンプレート:Math2 を満たす2つの非負実数とする。テンプレート:Math2 を

a_{i + 1} = \frac{a_{i} + b_{i}}{2}

b_{i + 1} = \sqrt{a_{i} b_{i}}

により定義する。このとき、

\lim_{i \to \infty} a_{i} = \lim_{i \to \infty} b_{i}

をテンプレート:Math とテンプレート:Math の算術幾何平均という。

移動平均

テンプレート:See 系列データを平滑化する手法である。画像や音声等、デジタル信号処理に留まらず、テクニカル分析などの金融分野、気象、水象を含む計測分野等、広い技術分野で使われている。

注釈

テンプレート:Reflist

出典

テンプレート:Reflist

参考文献

岡田泰栄『平均値の統計』共立出版<数学ワンポイント双書>、1981年。
鷲尾泰俊『推定と検定』共立出版<数学ワンポイント双書>、1978年。
テンプレート:Cite book
テンプレート:Cite book
テンプレート:Citation
テンプレート:Cite book

平均

目次

算術平均を用いる際の注意

統計学

母平均と標本平均

相加平均

一般化平均

相乗平均

調和平均

一般化平均

定義域

具体例

関係式

相加平均≧相乗平均≧調和平均

相加平均と調和平均の相乗平均

様々な平均

加重平均

連続分布の相加平均

対数平均

ベクトルの平均

相加平均

加重平均

算術幾何平均

移動平均

注釈

出典

参考文献

関連項目

ナビゲーションメニュー

平均

算術平均を用いる際の注意

統計学

母平均と標本平均

相加平均

一般化平均

相乗平均

調和平均

一般化平均

定義域

具体例

関係式

相加平均≧相乗平均≧調和平均

相加平均と調和平均の相乗平均

様々な平均

加重平均

連続分布の相加平均

対数平均

ベクトルの平均

相加平均

加重平均

算術幾何平均

移動平均

注釈

出典

参考文献

関連項目

ナビゲーション メニュー

検索

ナビゲーションメニュー