Minkowski inequality (original) (raw)

In mathematical analysis, the Minkowski inequality establishes that the L_p_ spaces are normed vector spaces. Let S be a measure space, let 1 ≤ p ≤ ∞ and let f and g be elements of L_p_(S). Then f + g is in L_p_(S), and we have

with equality only if f and g are linearly dependent.

The Minkowski inequality is the triangle inequality in L_p_(S). Its proof uses Hölder's inequality.

Like Hölder's inequality, the Minkowski inequality can be specialized to sequences and vectors by using the counting measure:

for all real (or complex) numbers _x_1,...,x n, _y_1,...,y n.