ミンコフスキーの不等式

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

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

定理の内容[編集]

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

\|f+g\|_p \le \|f\|_p + \|g\|_p

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

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

\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}

ここで x1 、 ...、 xny1 、 ...、 yn は任意の実数または複素数であり、 n はベクトル空間の次元である。

証明[編集]

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

\left(\frac{a+b}{2}\right)^p \le \frac{a^p + b^p}{2}

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

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

\|f + g\|_p^p = \int |f + g|^p \, \mathrm{d}\mu
 \le \int (|f| + |g|)|f + g|^{p-1} \, \mathrm{d}\mu
=\int |f||f + g|^{p-1} \, \mathrm{d}\mu+\int |g||f + g|^{p-1} \, \mathrm{d}\mu \cdots (*)

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

(*) \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}}
= (\|f\|_p + \|g\|_p)\frac{\|f + g\|_p^p}{\|f + g\|_p}

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

関連項目[編集]

参考文献[編集]

  • Hardy, G. H. and Littlewood, J. E. and Pólya, G. (1988). Inequalities. Cambridge Mathematical Library (Reprint of the 1952 edition ed.). Cambridge: Cambridge University Press. pp. 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