ミンコフスキーの不等式

数学の関数解析学におけるミンコフスキーの不等式（―ふとうしき、英：Minkowski's inequality）とは、 L^p空間がノルム線型空間であることを述べる、数学の定理である。 三角不等式の一般化とも言える。 数学者ヘルマン・ミンコフスキーに因む。

定理の内容

S を測度空間、1 ≦ p ≦ ∞ を任意の実数、 f と g を L^p(S) の要素すなわち p 乗可積分関数とする。 このとき f + g も L^p(S) に含まれ、

[math]\|f+g\|_p \le \|f\|_p + \|g\|_p[/math]

が成立する。 1 < p < ∞ における等号成立の必要十分条件は、 f と g が正の線形従属であること、 すなわち、ある c ≧ 0 が存在して f = c・g もしくは g = c・f と書けることである。 これらの事実から、ミンコフスキーの不等式とはL^p(S)に対する三角不等式の一般化と言える。

ヘルダーの不等式と同様、ミンコフスキーの不等式も数え上げ測度によって有限次元ベクトル空間における特別な場合を考えることができる：

[math]\left( \sum_{k=1}^n |x_k + y_k|^p \right)^{1/p} \le \left( \sum_{k=1}^n |x_k|^p \right)^{1/p} + \left( \sum_{k=1}^n |y_k|^p \right)^{1/p}[/math]

ここで x₁ 、 ...、 x_n 、 y₁ 、 ...、 y_n は任意の実数または複素数であり、 n はベクトル空間の次元である。

証明

最初に、補題「f と g の p 乗ノルムが共に有限ならば f + g もそうである」を示さなければならない。 まず h(x) = x^p (p > 1) が正の実数の集合R⁺における凸関数であることから、 正の a、b に対し

[math]\left(\frac{a+b}{2}\right)^p \le \frac{a^p + b^p}{2}[/math]

が従う。 これを 2^p 倍して (a + b)^p ≦ 2^{p - 1} a^p + 2^{p - 1}b^p を得るが、 これは先の補題の成立を示す。

こうして [math]\|f + g\|_p[/math] というものが意味を持つようになった。 もしそれが零ならば不等式は自明に成り立つので、非零の場合を考える。 まず

[math]\|f + g\|_p^p = \int |f + g|^p \, \mathrm{d}\mu[/math]

[math] \le \int (|f| + |g|)|f + g|^{p-1} \, \mathrm{d}\mu[/math]

[math]=\int |f||f + g|^{p-1} \, \mathrm{d}\mu+\int |g||f + g|^{p-1} \, \mathrm{d}\mu \cdots (*)[/math]

であり、ここでヘルダーの不等式を使うと

[math](*) \le \left( \left(\int |f|^p \, \mathrm{d}\mu\right)^{1/p} + \left (\int |g|^p \,\mathrm{d}\mu\right)^{1/p} \right) \left(\int |f + g|^{(p-1)\left(\frac{p}{p-1}\right)} \, \mathrm{d}\mu \right)^{1-\frac{1}{p}} [/math]

[math]= (\|f\|_p + \|g\|_p)\frac{\|f + g\|_p^p}{\|f + g\|_p}[/math]

となる。 こうしてミンコフスキーの不等式（の定数倍）が得られた。

関連項目

• ヘルダーの不等式
• ヤングの不等式
• コーシー＝シュワルツの不等式
• 不等式
• L^p空間

参考文献

• Hardy, G. H. and Littlewood, J. E. and Pólya, G. (1988). Inequalities, Reprint of the 1952 edition, Cambridge Mathematical Library, Cambridge: Cambridge University Press, xii+324. ISBN 0-521-35880-9.  （邦訳 G. H. ハーディ、J. E. リトルウッド、G. ポーヤ 『不等式』 シュプリンガー・ジャパン〈シュプリンガー数学クラシックス〉、2003年。ISBN 978-4431710561。）
• H. Minkowski, Geometrie der Zahlen, Chelsea, reprint (1953)
• Voitsekhovskii, M.I. (2001), "Minkowski inequality", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104