前のページ 1/2 次のページ

平均(へいきん)とは、観測されるデータから、その散らばり具合を "平らに均す(ならす)" 事によって得られる、統計的な指標である。平均値ともいう。

例えば A, B, C 三人の体重がそれぞれ 55 kg, 60 kg, 80 kg であったとすると、合計は 195 kg であり、これは 65 kg の人が三人いた場合と同じである。

このようなとき、A, B, C の体重の平均は 65 kg であるといわれる。

これは相加平均(後述)の一例であるが、特に断らずに平均という場合の多くは相加平均を指している。母集団ではなく標本から計算しているという意味で、標本平均と呼ぶこともある。

◆相加、相乗、調和平均

◇定義

n 個のデータx₁, ...,x_nに対し、x₁, ...,x_nの相加平均(そうかへいきん)、相乗平均(そうじょうへいきん)、調和平均(ちょうわへいきん)を、それぞれ

:$\backslash frac\{x\_1+\backslash cdots+x\_n\}\{n\}$、$\backslash sqrt[外部リンク]n\{x\_1\backslash cdots\{\}x\_n\}$、$\backslash frac\{n\}\{\backslash frac\{1\}\{x\_1\}+\backslash cdots+\backslash frac\{1\}\{x\_n\}\}$

により定義する。

ただし、相乗平均は正値のデータに対してのみ定義される。また調和平均の場合x_i=0 (1≦i≦n)を満たすiが存在する場合には定義されないが、相加平均の場合はデータの値がどんな実数であっても定義される。

相加平均、相乗平均をそれぞれ算術平均(さんじゅつへいきん)、幾何平均(きかへいきん)とも言う。

単に平均といったら相加平均を意味することが多い。

:$\backslash frac\{n\}\{\backslash frac\{1\}\{x\_1\}+\backslash cdots+\backslash frac\{1\}\{x\_n\}\}=\backslash left(\backslash frac\{x\_1\{\}^\{-1\}+\backslash cdots+x\_n\{\}^\{-1\}\}\{n\}\backslash right)^\{-1\}$

が成立するので、調和平均はx₁, ...,x_nの "逆数の相加平均" の逆数であると解釈できる。

◇具体例

・相加平均については省略する。

・相乗平均

:* 78年の経済成長率 20% 79年の経済成長率80%の場合,この2年間の平均成長率は$\backslash sqrt\{1.2*1.8\}=\; 1.469693846...$より、約47%

・調和平均

:* 往は時速60km 復は時速90kmの場合の往復の平均速度は$2*\backslash frac\{1\}\{1/60+1/90\}=72$kmである。

:* 並列接続された電気抵抗の抵抗値などを考える場合に用いる(直列回路と並列回路)。

◇ 関係式

  対数を使った関係式

相乗平均の対数は、対数の相加平均に等しい。

すなわち、

:$\backslash log\; \backslash sqrt[外部リンク]n\{x\_1\backslash cdots\{\}x\_n\}\; =\; \backslash frac\{\backslash log\{\}x\_1+\backslash cdots+\backslash log\{\}x\_n\}\{n\}$

が成立する。

  相加・相乗・調和平均の不等式

n 個のデータが全て正の時、次のような大小関係が成り立つ。

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

:$\backslash frac\{x\_1+\backslash cdots+x\_n\}\{n\}\; \backslash ge\; \backslash sqrt[外部リンク]n\{x\_1\backslash cdots\{\}x\_n\}\; \backslash ge\; \backslash frac\{n\}\{\backslash frac\{1\}\{x\_1\}+\backslash cdots\backslash frac\{1\}\{x\_n\}\}$

等号成立条件は、

:x₁=…=x_n

である。

左側の不等式は、「対数を使った関係式」にlogの凸性(ジェンセンの不等式)を適応すれば証明できる。

右側の不等式は、調和平均が逆数の相加平均の逆数という事実を左側の不等式に適応すれば証明できる。

左側の不等式に関しては、数学的帰納法を使った別証明も知られているが、

この場合$n=2^m$と書ける場合に対してのみまず証明して、それから一般のnに対して証明するというトリッキーな方法を使う。

  その他

データ数nが2のときの相加平均、相乗平均、調和平均をそれぞれA、G、Hとすると、

:$A\; =\; \backslash frac\{2\},$、$G\; =\; \backslash sqrt$、$H\; =\; \backslash frac.$

なので、

:$G\; =\; \backslash sqrt$

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

◆様々な平均

◇m乗平均と一般化平均

n 個のデータ$x\_1,\backslash ldots,x\_n$のm乗平均、一般化平均をそれぞれ、

:、

によって定義する。

一般化平均は、相加・相乗・調和の三つの平均概念を一般化したものになっており、

m = 1 とすれば相加平均、m = −1 で調和平均、m → 0 の極限で相乗平均になる。

一般化平均で特に m = 2 の場合は、二乗平均平方根と呼ばれ、物理学や工学で様々な応用をもつ。

一般化平均は、ベクトル$(x\_1,\backslash ldots,x\_n)$のm-ノルムを$\backslash sqrt[外部リンク]m$で割ったものに一致する。

m乗平均・一般化平均の応用として、例えば統計学では分散と標準偏差が

それぞれ m = 2 の場合のm乗平均・一般化平均により定義されている。

(ただし、相加平均を引いた後m乗平均・一般化平均を取る)。

一般化平均はさらに一般化が可能で、可逆な関数 f により

:

という平均が定義できる。f(x) = x により相加平均が、f(x) = 1/x により調和平均が、f(x) = log(x) により相乗平均がそれぞれ表されている事が分かる。

◇加重平均

観測される値それぞれに重みがある時には、単に相加平均をとるのでなく重みを考慮した平均をとるのが便利である。各データ x_i に、重み w_i がついているときの加重平均(重み付き平均)は

:$\backslash cfrac$

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

◇連続分布の相加平均

観測されるデータ x_t が区間 [外部リンク] style="color:#8888ff;">a, b 上に連続的に分布しているとき、その相加平均は積分

:$\backslash frac\backslash int\_a^b\; x\_t\backslash ,dt$

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

◇ベクトルの平均

ベクトル$\backslash mathbf\_1,\backslash ldots,\backslash mathbf\_n$に対し、

$\backslash mathbf\_1,\backslash ldots,\backslash mathbf\_n$の(相加)平均を、

:

により定義する。

相加平均と違い、相乗平均や調和平均はベクトルの場合に一般化されない。

ベクトルの数が3の場合、$\backslash mathbf\_1,\backslash mathbf\_2,\backslash mathbf\_3$の平均は、

$\backslash mathbf\_1,\backslash mathbf\_2,\backslash mathbf\_3$の作る三角形の重心に一致する。

ベクトルの数が4の場合も同様で、$\backslash mathbf\_1,\backslash cdots,\backslash mathbf\_4$の平均は、

$\backslash mathbf\_1,\backslash cdots,\backslash mathbf\_4$の作る四面体の重心に一致する。

この事実は一般にベクトルの数がnの場合も拡張でき、$\backslash mathbf\_1,\backslash cdots,\backslash mathbf\_n$の平均は、

前のページ 1/2 次のページ

・平均 page1

・平均 page2