Hölders olikhet (efter Otto Hölder) är en olikhet för integraler och serier inom den gren av matematik som kallas funktionalanalys, och kan ses som en generalisering av Cauchy–Schwarz olikhet. Olikheten är ett viktigt resultat i studiet av Lp-rum, där den används för att visa Minkowskis olikhet (vilket är triangelolikheten för Lp-rum och är nödvändig för att visa att rummen är normerade rum), samt ett antal andra uppskattningar.
Låt (S,Σ,μ) vara ett måttrum och låt
med
. För mätbara funktioner, reell- eller komplexvärda, definieras Lp-normen som
![{\displaystyle \|\ .\ \|_{p}:f\mapsto {\biggl (}\int _{S}|f|^{p}\,\mathrm {d} \mu {\biggr )}^{1/p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8ac94b215ca0d66e87b14e699fc587d2aebfae3)
Hölders olikhet ges nu av följande påstående:[1]
![{\displaystyle \|fg\|_{1}\leq \|f\|_{p}\|g\|_{q}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcc6ef64b19122c3944cfee255b4f7cbd9f9afd9)
Detta kan också skrivas på integralform som
![{\displaystyle \int _{S}|f(x)g(x)|d\mu \leq {\biggl (}\int _{S}|f|^{p}\,\mathrm {d} \mu {\biggr )}^{1/p}{\biggl (}\int _{S}|g|^{q}\,\mathrm {d} \mu {\biggr )}^{1/q}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/269197a9faa2a55dbd5f14507753cb3f55937128)
Eftersom en oändlig summa även kan ses som en integral (om man låter man
och μ vara räknemåttet) så kan Hölders olikhet även formuleras för reella och komplexa talföljder (element i
eller
). Då fås följande olikhet:
![{\displaystyle \sum \limits _{k=1}^{\infty }|x_{k}\,y_{k}|\leq {\biggl (}\sum _{k=1}^{\infty }|x_{k}|^{p}{\biggr )}^{\!1/p\;}{\biggl (}\sum _{k=1}^{\infty }|y_{k}|^{q}{\biggr )}^{\!1/q}\forall \,\,(x_{k})_{k\in \mathbb {N} },(y_{k})_{k\in \mathbb {N} }\in \mathbb {R} ^{\mathbb {N} }{\text{ eller }}\mathbb {C} ^{\mathbb {N} }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aab7ce227b888451d81c6f6204bb932b5d52b68d)
Kommentarer
I definitionen ovan betyder
noll. För
definieras uttrycket
som
![{\displaystyle \|f\|_{\infty }=\inf\{M:\mu \{x\in S:f(x)>M\}=0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/012e267c16368099de5783b8b1de4fa89586c3b8)
det vill säga infimum av
, där g tillhör mängden av funktioner som är lika med f nästan överallt.
Referenser
- ^ Burkill, J.C. (1951). The Lebesgue integral. Cambridge University Press. sid. 65