Hölderren desberdintza: berrikuspenen arteko aldeak

Para 1 < ''p'', ''q'' < ∞, ''f''&nbsp;∈ ''L^p''(''μ'') eta ''g''&nbsp;∈ ''L^q''(''μ'') badira, Hölderren desberdintza berdintza bihurtuko da [[baldin eta soilik baldin]] |''f'' |^''p'' eta |''g'' |^''q'' [[Independentzia lineal|linealki mendekoak]] badira ''L''¹(''μ'')-n. Horrek esan nahi du bi zenbaki erreal existitzen direla ''α'',&nbsp;''β''&nbsp;≥&nbsp;0, haietako baten bat desberdin 0 zanik, non ''α'' |''f'' |^''p'' = ''β'' |''g'' |^''q'' ''μ''-[[ia edonon]] baita.