# Hölder inequality

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:

#### References

 [1] O. Hölder, "Ueber einen Mittelwerthsatz" Nachr. Ges. Wiss. Göttingen (1889) pp. 38–47 [2] G.H. Hardy, J.E. Littlewood, G. Pólya, "Inequalities" , Cambridge Univ. Press (1934) [3] E.F. Beckenbach, R. Bellman, "Inequalities" , Springer (1961)