平均 (数学)

この項目では、数学における平均について説明しています。その他の用法については「平均」をご覧ください。

現在、削除の方針に従って、この項目の一部の版または全体を削除することが審議されています。 削除についての議論は、削除依頼の依頼サブページで行われています。削除の議論中はこのお知らせを除去しないでください。 この項目の執筆者の方々へ： まだ削除が行われていない場合は、議論に参加し、削除の方針に該当するかどうか検討してください。また、本項目を既に編集されていた方は、自身の編集した記述内容を念のために控えておいてください。

このページのノートに、このページに関する質問があります。（2026年3月） 質問の要約：平均との主題の違いについて

数学における平均（へいきん、英: mean）とは、複数の数または量の集まりに対し、一定の規則に従って単一の代表値を対応させる概念である。広義には、与えられた値の集合の中間的または代表的な性質を表す量の総称であり、狭義にはしばしば算術平均を指す。平均には複数の種類が存在し、どの平均を採用するのが適切かは、対象となる量の構造、保存したい関係、応用上の目的によって異なる。^[1]

平均の概念は初等数学や統計学にとどまらず、解析学、確率論、数理統計学、不等式論、情報科学、計量学など広い分野で重要な役割を果たす。統計学では中心傾向を表す代表値として、確率論では期待値として、解析学では冪平均や準算術平均のような一般化された平均として扱われる。^[2][3]

平均は、複数の値を一つの値に要約する操作の総称である。ただし、その要約法は一意ではない。たとえば、加法的に合成される量の代表には算術平均が自然である一方、倍率や成長率の代表には幾何平均、単位当たり量や逆数的構造をもつ量の統合には調和平均が適切となることがある。したがって平均は単なる計算規則ではなく、対象のもつ数学的構造を反映する概念である。^[4][5]

古典的には、算術平均・幾何平均・調和平均の三つが特に重要視され、後には二乗平均、加重平均、冪平均、準算術平均など、多様な平均が研究されるようになった。これらの相互関係、大小関係、特徴付けは、不等式論および関数方程式論の主要な研究対象となっている。^[6]

有限個の実数

${\displaystyle x_{1},x_{2},\dots ,x_{n}}$

に対し、平均とは通常、これらから 1 個の実数

${\displaystyle M(x_{1},\dots ,x_{n})}$

を与える写像であって、少なくとも次のような性質のいくつかを備えたものをいう。

• 全ての引数が等しいとき、その値自身を返す（冪等性）
• 引数の順序を入れ替えても値が変わらない（対称性）
• 値が最小値と最大値の間にある（内部性）
• 各引数について単調である（単調性）

数学において「平均」と呼ばれる対象は一種類ではなく、このような性質を満たす多くの関数から成る。最も基本的な例は算術平均である。^[7][8]

平均として自然に要請される性質には、次のようなものがある。これらは全ての平均に共通するわけではないが、古典的平均の多くはその大部分を満たす。^[9]

正の実数に対し、実数 ${\displaystyle p\neq 0}$ に対する冪平均（power mean, generalized mean）は

${\displaystyle M_{p}(x_{1},\dots ,x_{n})=\left({\frac {1}{n}}\sum _{i=1}^{n}x_{i}^{p}\right)^{1/p}}$

で定義される。極限を含めると、${\displaystyle p=1}$ は算術平均、${\displaystyle p=2}$ は二乗平均、${\displaystyle p=-1}$ は調和平均、${\displaystyle p\to 0}$ で幾何平均となる。^[20]

冪平均は多くの古典的平均を統一的に扱う枠組みであり、一般に

${\displaystyle p<q\Rightarrow M_{p}(x_{1},\dots ,x_{n})\leq M_{q}(x_{1},\dots ,x_{n})}$

が成り立つ。これは冪平均不等式と呼ばれる。^[21]

その特別な場合として、正の実数について

${\displaystyle \mathrm {HM} \leq \mathrm {GM} \leq \mathrm {AM} \leq \mathrm {QM} }$

が成り立つ。これは調和平均・幾何平均・算術平均・二乗平均の大小関係を表す基本的不等式である。等号成立は全ての値が等しい場合に限られる。^[22]

単調連続関数 ${\displaystyle f}$ を用いて

${\displaystyle M_{f}(x_{1},\dots ,x_{n})=f^{-1}\left({\frac {f(x_{1})+\cdots +f(x_{n})}{n}}\right)}$

と定義される平均を準算術平均（quasi-arithmetic mean）またはコルモゴロフ＝ナグモ平均という。これは算術平均・幾何平均・調和平均などを統一的に含む広いクラスである。たとえば、${\displaystyle f(x)=x}$ なら算術平均、${\displaystyle f(x)=\log x}$ なら幾何平均、${\displaystyle f(x)=1/x}$ なら調和平均が得られる。^[23]

準算術平均は、平均の公理的研究において中心的な位置を占める。連続性・単調性・対称性などの条件のもとで得られる平均の特徴付けと深く結びついており、平均概念の一般理論を与える重要なクラスである。^[24][25]

統計学では、平均は中心傾向を表す代表値の一つである。標本

${\displaystyle x_{1},\dots ,x_{n}}$

に対して

${\displaystyle {\bar {x}}={\frac {1}{n}}\sum _{i=1}^{n}x_{i}}$

で定義される量を標本平均という。母集団の平均を推定する基本的な統計量であり、記述統計および推測統計の双方で中心的役割を担う。^[26][27]

ただし、算術平均は外れ値の影響を受けやすい。そのため、分布が大きく歪む場合や極端値の影響を抑えたい場合には、中央値や最頻値、あるいは切断平均・加重平均などが用いられることもある。^[28]

確率論では、確率変数の平均に対応する概念を期待値という。離散型確率変数 ${\displaystyle X}$ が値 ${\displaystyle x_{i}}$ を確率 ${\displaystyle P(X=x_{i})}$ でとるとき、

${\displaystyle \operatorname {E} [X]=\sum _{i}x_{i}P(X=x_{i})}$

で定義される。これは各値をその生起確率で重み付けした加重平均である。^[29]

連続型確率変数の場合、期待値は確率密度関数 ${\displaystyle f(x)}$ を用いて

${\displaystyle \operatorname {E} [X]=\int _{-\infty }^{\infty }xf(x)\,dx}$

で与えられる。等確率な有限個の結果からなる場合、期待値は通常の算術平均に一致する。^[30]

平均は単なる計算公式の集まりではなく、一定の公理を満たす写像として抽象的に研究される。たとえば、対称性・単調性・連続性・冪等性・内部性などを備えた関数の分類や、部分集合ごとの平均と全体の平均との整合性に関する研究が行われてきた。こうした観点から、準算術平均は特に重要な一般クラスを成す。^[31][32]

平均の概念の起源は古代ギリシア数学に求められる。特に算術平均・幾何平均・調和平均の三つは、古典的数学において早くから重要視され、比や比例、音楽理論、幾何学的構成と深く結びついていた。後世には、商業計算、天文学、誤差論、統計学の発展とともに、平均は単なる比の理論を超えて「代表値」を与える一般概念へと拡張された。^[33][34]

19世紀から20世紀にかけて、統計学の発展により算術平均は記述統計および推測統計の中核概念として定着した。他方、不等式論および関数方程式論の発展により、冪平均や準算術平均などの一般化された平均が体系的に研究されるようになった。^[35][36]

平均は、観測値の要約、複数の測定結果の統合、収益率や成長率の集約、信号の実効値評価、確率変数の代表的な大きさの記述など、広範な応用をもつ。どの平均が適切であるかは、対象が加法的な量であるか、乗法的な量であるか、逆数的構造をもつか、あるいは外れ値にどの程度敏感であってよいかによって決まる。したがって平均の選択は、数学的にも実務的にも重要な意味をもつ。^[37][38][39]

• Bakker, Arthur (2003). “The Early History of Average Values and Implications for Education”. Journal of Statistics Education 11 (1). doi:10.1080/10691898.2003.11910694. 
• Bullen, P. S. (2003). Handbook of Means and Their Inequalities. Springer. ISBN 978-1-4020-1522-9 
• Matkowski, Janusz (2013). “Generalized weighted quasi-arithmetic means and the Kolmogorov–Nagumo theorem”. Colloquium Mathematicum 133 (1): 35–49. doi:10.4064/cm133-1-3. 

• 算術平均
• 加重平均
• 幾何平均
• 調和平均
• 二乗平均
• 冪平均
• 準算術平均
• 期待値
• 中央値
• 最頻値
• 中心傾向
• 算術平均幾何平均不等式