函数の平均

微分積分学および、特に多変数微分積分学における函数の平均（へいきん、）は、略式的に言えば函数の定義域に亙って取った値の平均として定義される。
一変数の場合、区間 上の函数 の平均は formula_1 で定義される。これは算術平均を一般化するものである。
幾何平均を一般化することも可能であり、より一般に測度論および確率論においていずれかの種類の平均が重要な役割を持つ。この文脈では、イェンゼンの不等式が函数の算術平均と幾何平均の間の関係を厳に評価するものである。
同様に、函数の調和平均や自乗平均（あるいは自乗平均平方根）なども定義できる。
動機付け.
有限個の値 の（算術）平均 の定義性質は formula_2 であったことを思い出そう。すなわち「その値を 個ものが、与えられた 項 の和に等しいこと」として定義される定数がそれら 項の平均値である。
その類似対応物として、区間 上で定義された函数 の（算術）平均 の定義性質として formula_3 を考えるのは自然である。すなわち、 を区間 上でものが 上での の積分値に等しいような定数 を平均値とする。しかしこのとき、微分積分学の第二基本定理によれば、定数 の積分は formula_4 と求められ、また積分の第一平均値定理によれば、 が開区間 で連続ならば、 が存在して formula_5 となることが保証され、この値 は函数 の における平均値と呼ばれる。そこで と書いて整理すれば、冒頭の定義に至る。
定義.
多変数の場合、ユークリッド空間の相対コンパクト近傍 上での函数 の（算術）平均は formula_6 で定義される。
また、 の幾何平均は formula_7 と定めればよい。