# Hölder inequality

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The Hölder inequality for sums. Let and be certain sets of complex numbers, , where is a finite or an infinite set of indices. The following inequality of Hölder is valid: (1)

where , ; this inequality becomes an equality if and only if , and and are independent of . In the limit case, when , , Hölder's inequality has the form If , Hölder's inequality is reversed. The converse proposition of Hölder's inequality for sums is also true (M. Riesz): If for all such that then For sums of a more general form, Hölder's inequality takes the form if (2)

The Hölder inequality for integrals. Let be a Lebesgue-measurable set in an -dimensional Euclidean space and let the functions belong to , condition

being satisfied. The following inequality of Hölder is then valid: If , one obtains the Bunyakovskii inequality. Analogous remarks (concerning the sign and the limit case) as were made for the Hölder inequality

are also valid for the Hölder inequality for integrals.

In the Hölder inequality the set may be any set with an additive function (e.g. a measure) specified on some algebra of its subsets, while the functions , , are -measurable and -integrable to degree .

The generalized Hölder inequality. Let be an arbitrary set, let a (finite or infinite) functional be defined on the totality of all positive functions and let this functional satisfy the following conditions: a) ; b) for all numbers ; c) if , then the inequality is valid; and d) . If the conditions

are also met, the generalized Hölder inequality is valid for the functional: How to Cite This Entry:
Hölder inequality. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=H%C3%B6lder_inequality&oldid=14455
This article was adapted from an original article by L.P. Kuptsov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article