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

出典:wikipedia