ミンコフスキーの不等式

数学の関数解析学におけるミンコフスキーの不等式（―ふとうしき、）とは、"L"空間がノルム線型空間であることを述べる、数学の定理である。三角不等式の一般化とも言える。数学者ヘルマン・ミンコフスキーに因む。
定理の内容.
"S" を測度空間、1 ≦ "p" ≦ ∞ を任意の実数、"f" と "g" を "L"("S") の要素すなわち "p"乗可積分関数とする。このとき "f" + "g" も "L"("S") に含まれ、
が成立する。
1 &lt; "p" &lt; ∞ における等号成立の必要十分条件は、"f" と "g" が正の線形従属であること、すなわち、ある c ≧ 0 が存在して "f" = "c"・"g" もしくは "g" = "c"・"f" と書けることである。これらの事実から、ミンコフスキーの不等式とは"L""p"("S")に対する三角不等式の一般化と言える。
ヘルダーの不等式と同様、ミンコフスキーの不等式も数え上げ測度によって有限次元ベクトル空間における特別な場合を考えることができる：
ここで "x", …, "x", "y", …, "y" は任意の実数または複素数であり、"n" はベクトル空間の次元である。
証明.
最初に、補題「"f" と "g" の "p" 乗ノルムが共に有限ならば "f" + "g" もそうである」を示さなければならない。まず "h"("x") = "x" ("p" &gt; 1) が正の実数の集合R における凸関数であることから、正の "a", "b" に対し
が従う。これを 2 倍して ("a" + "b") ≦ 2 "a" + 2"b" を得るが、これは先の補題の成立を示す。
こうして formula_4 というものが意味を持つようになった。もしそれが零ならば不等式は自明に成り立つので、非零の場合を考える。まず
であり、ここでヘルダーの不等式を使うと
となる。こうしてミンコフスキーの不等式（の定数倍）が得られた。
ミンコフスキーの積分不等式.
formula_10, formula_11 は"σ"-有限な測度空間で、関数 formula_12 は可測とする。 formula_13 かつ formula_14 ならば次が成り立つ：
formula_16 であって、ほとんど全ての formula_17 に対して formula_18 、かつ関数 formula_19 は formula_20 に属するならば、ほとんど全ての formula_21 に対して formula_22 、かつ関数 formula_23 は formula_24 であって、次の不等式が成り立つ：