MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In the Wikipedia proof of the Minkowski inequality (, the following inequality is used:
|f+g|p ≤ 2p-1(|f|p+|g|p).
I was just wondering if this inequality has a name or if this is too "first principles" to warrant a name.


share|cite|improve this question
If I read the article correctly it's just using convexity. – Michael Hoffman Nov 2 '09 at 7:53
Thanks Michael, I was under the impression that this was generally true! – mornington Nov 2 '09 at 8:10
It is generally true. It is the composition of the triangle inequality |f+g| </= |f|+|g| composed with the power mean inequality (a+b)/2 </= ((a^p+b^p)/2)^(1/p) for a=|f| and b=|g| which is a consequence of convexity. – Philipp Lampe Nov 2 '09 at 8:19
Thanks Philipp! – mornington Nov 2 '09 at 8:29

It is not named after a person, but I would argue that the inequality does have a name, "the convexity inequality for xp". If you look at the definition of a convex function, the statement that f(x) = xp is convex is exactly the statement that ((x+y)/2)p ≤ (xp+yp)/2. (Plus either that f is continuous or that the weighted version also holds). It is also correct to say "is a consequence of convexity", but it seems better to call it the statement of convexity than a consequence of convexity.

The multivariate form of the convexity inequality is named after a person; it is Jensen's inequality.

All of this may seem like a pat answer, but it works. It is a theorem that you get a valid norm if xp is replaced by any non-negative convex function φ(x) with suitable behavior at 0 and ∞. The resulting norm is called an Orlicz norm and the resulting Banach space is called an Orlicz space.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.