PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
Hölder inequality (Theorem)

The Hölder inequality concerns vector p-norms: given $1 \leq p$ , $q \leq \infty$ ,

   If $\displaystyle \frac{1}{p}+\frac{1}{q}=1$ then $\displaystyle \vert x^Ty\vert \leq \vert\vert\,x\,\vert\vert _p\vert\vert\,y\,\vert\vert _q $

An important instance of a Hölder inequality is the Cauchy-Schwarz inequality.

There is a version of this result for the $L^p$ spaces. If a function $f$ is in $L^p(X)$ , then the $L^p$ -norm of $f$ is denoted $||\,f\,||_p$ . Given a measure space $(X,\mathfrak{B},\mu)$ , if $f$ is in $L^p(X)$ and $g$ is in $L^q(X)$ (with $1/p + 1/q = 1$ ), then the Hölder inequality becomes

\begin{eqnarray*} \Vert fg\Vert_1 = \int_X \vert fg\vert \mathrm{d}\mu & \le & \left(\int_X|f|^p\mathrm{d}\mu\right)^{\frac{1}{p}} \left(\int_X|g|^q\mathrm{d}\mu\right)^{\frac{1}{q}}\\ & = & \Vert f\Vert_p\,\Vert g \Vert_q \end{eqnarray*}



"Hölder inequality" is owned by PrimeFan. [ full author list (6) | owner history (5) ]
(view preamble | get metadata)

View style:

See Also: vector p-norm, Cauchy-Schwartz inequality, Cauchy-Schwarz inequality, proof of Minkowski inequality, conjugate index, bounded linear functionals on $L^p(\mu)$, $L^p$-norm is dual to $L^q$

Other names:  Holder inequality, Hoelder inequality
Keywords:  vector, norm

Pronunciation (guide):
 Holder: /hul-dr/

Attachments:
proof of Hölder inequality (Proof) by paolini
Log in to rate this entry.
(view current ratings)

Cross-references: measure space, function, Cauchy-Schwarz inequality, vector p-norms
There are 14 references to this entry.

This is version 15 of Hölder inequality, born on 2001-10-06, modified 2008-10-04.
Object id is 94, canonical name is HolderInequality.
Accessed 36117 times total.

Classification:
AMS MSC46E30 (Functional analysis :: Linear function spaces and their duals :: Spaces of measurable functions ($L^p$-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant)
 15A60 (Linear and multilinear algebra; matrix theory :: Norms of matrices, numerical range, applications of functional analysis to matrix theory)

Pending Errata and Addenda
None.
[ View all 6 ]
Discussion
Style: Expand: Order:
forum policy
More that just "vector" p-norms by ariels on 2002-06-03 07:56:32
The H\"older inequality applies generally to objects in Banach spaces (also infinite dimensional) $L_p(X)$ and $L_q(X)$ (where, as always, $\frac{1}{p}+\frac{1}{q}=1$); it states that the product is integrable (a member of $L_1(X)$), and that the norms behave as required.
[ reply | up ]
layout? by drini on 2001-10-06 03:30:39
perhaps
if $p$ and $q$ are such that $1/p+1/q=1$ then...

cause it looks like you're multiplying the norms with the fractions...
 f
G -----> H G
p \ /_ ----- ~ f(G) 
 \ / f ker f 
 G/ker f 
[ reply | up ]

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)