Лебеговским функциональным пространством Lp(X) называется совокупность всех вещественно-значных (соответственно комплексно-значных) измеримых по Лебегу функций, таких, что
интегрируема на
. Число
называется нормой функции.
Неравенство Гельдера. Пусть p>1, q>1, 1/p+1/q=1 и выполнено неравенство 
,