# Lp-ruimte

    Let op: de juiste naam is $L^{p}$-ruimte .
In de functionaalanalyse, een deelgebied van de wiskunde, zijn L$^p$-ruimten functieruimten die zijn gedefinieerd door gebruik te maken van natuurlijke veralgemeningen van $p$-normen voor eindig--dimensionale vectorruimten. Zij worden soms ook Lebesgue-ruimtes genoemd naar Henri Lebesgue, hoewel zij volgens Bourbaki in 1910 voor het eerst door Riesz werden geïntroduceerd. Zij vormen een belangrijke klasse van voorbeelden van banachruimten in de functionaalanalyse en van topologische vectorruimten. Lebesgue-ruimten vinden toepassingen in de natuurkunde, statistiek, financiën, techniek en andere disciplines.

## Klassieke definitie

Zij $1\leq p<\infty$. Definieer $l^{p}$ als de verzameling oneindige rijen reële getallen $(a_{0},a_{1},\ldots ,a_{n},\ldots )$ met de eigenschap dat de reekssom van hun $p$-de machten absoluut convergeert:
    $\sum _{i=0}^{\infty }|a_{i}|^{p}<\infty$.
De verzameling $l^{p}$ vormt een vectorruimte met de puntsgewijze optelling van rijen en de puntsgewijze vermenigvuldiging met een reëel getal:
    $r\cdot (a_{0},a_{1},\ldots ,a_{n},\ldots )+s\cdot (b_{0},b_{1},\ldots ,b_{n},\ldots )=(ra_{0}+sb_{0},ra_{1}+sb_{1},\ldots ,ra_{n}+sb_{n},\ldots )$
De $p$-de machtswortel van bovenstaande reekssom is een norm:
    $\|(a_{i})_{i}\|_{p}=\left(\sum _{i=0}^{\infty }|a_{i}|^{p}\right)^{1 \over p}$
De hiermee geassocieerde metrische ruimte is volledig, $l^{p}$ is dus een banachruimte.
Als $p>1$, dan is de duale banachruimte van $l^{p}$ op natuurlijke wijze isometrisch met de banachruimte $l^{q}$, waar ${\tfrac {1}{p}}+{\tfrac {1}{q}}=1.$ De natuurlijke isometrie wordt gegeven door een rij $(b_{0},b_{1},\ldots ,b_{n},\ldots )$ uit $l^{q}$ als volgt als een functionaal te laten werken op een rij $(a_{0},a_{1},\ldots ,a_{n},\ldots )$ uit $l^{p}$:
    $(a_{0},a_{1},\ldots ,a_{n},\ldots )\mapsto \sum _{i=0}^{\infty }a_{i}b_{i}$.
De ongelijkheid van Hölder garandeert dat bovenstaande reeks absoluut convergeert. Als $p=2$, dan is ook $q=2$. De ruimte $l^{2}$ is een hilbertruimte met als scalair product het rechterlid van bovenstaande uitdrukking.
De verzameling $l^{\infty }$ bestaat uit alle begrensde reële rijen. Dit wordt een banachruimte met de supremumnorm
    $\|(a_{i})_{i}\|_{\infty }=\sup _{i=0}^{\infty }|a_{i}|$
De geïnduceerde topologie is die van de uniforme convergentie. Omdat, met een beetje goede wil, ${\tfrac {1}{1}}+{\tfrac {1}{\infty }}=1,$ lijkt het aannemelijk dat $l^{\infty }$ de duale ruimte is van $l^{1},$ en dit blijkt ook waar te zijn. Het omgekeerde is echter niet waar: $l^{1}$ komt op natuurlijke wijze overeen met een echte deelruimte van de duale van $l^{\infty }.$

## Algemene definitie

Bovenstaande $l^{p}$-ruimte wordt gegeneraliseerd tot $L^{p}$-ruimte, gedefinieerd aan de hand van integreerbare klassen van reële functies in de zin van de Lebesgue-integraal.
We geven hier de algemene definitie met klassen van integreerbare functies op een maatruimte $(\Omega ,{\mathcal {A}},\mu )$. De functies nemen waarden aan in de reële getallen $\mathbb {R}$ of in de complexe getallen $\mathbb {C}$. De theorie is sterk analoog in beide gevallen, en we gebruiken de letter $\mathbb {K}$ om een van de twee lichamen aan te geven. De topologische vectorruimten die we definiëren, zijn vectorruimten over $\mathbb {K}$.
Zij $0<p<\infty$. Definieer ${\mathcal {L}}^{p}$ als de verzameling ${\mathcal {A}}$-meetbare functies $f:\Omega \to \mathbb {K}$ waarvan de $p$-de macht absoluut integreerbaar is:
    $\int _{\Omega }|f(\omega )|^{p}d\mu (\omega )<\infty$.
Zij ${\mathcal {N}}$ de lineaire deelruimte van de functies met $\int _{\Omega }|f(\omega )|^{p}d\mu (\omega )=0$ (nulfuncties). Dan is bovenstaande uitdrukking nog steeds welgedefinieerd op de nevenklassen van ${\mathcal {N}}$ in ${\mathcal {L}}^{p}$. We gebruiken nog steeds de notatie $f$ voor equivalentieklassen van functies modulo ${\mathcal {N}}$ (al is dan $f(\omega )$ onbepaald voor een $\omega$ met $\mu (\omega )=0$), en noteren $L^{p}={\mathcal {L}}^{p}/{\mathcal {N}}$ voor de quotiëntruimte.
Als $p\geq 1$, dan is
    $\|f\|_{p}=(\int _{\Omega }|f(\omega )|^{p}d\mu (\omega ))^{1 \over p}$
een norm op $L^{p},$ en $(L^{p},\|.\|_{p})$ is een banachruimte.
Als $0<p<1$, dan is de functie
    $d(f,g)=\int _{\Omega }|f(\omega )-g(\omega )|^{p}d\mu (\omega )$
een translatie-invariante metriek op $L^{p}$, en $(L^{p},d)$ is een volledige metrische ruimte. In de functionaalanalyse heet dit een F-ruimte. Deze ruimte is echter niet lokaal convex, dus geen fréchet-ruimte.
Definieer $L^{\infty }$ als de verzameling meetbare functieklassen op $\Omega$ die essentieel begrensd zijn in de zin dat
    $\|f\|_{\infty }=\inf _{N\in {\mathcal {A}},\mu (N)=0}\sup _{\omega \in \Omega \setminus N}|f(\omega )|<\infty$.
Bovenstaande uitdrukking heet het essentieel supremum van $f$. Het is het supremum van de absolute waarde van $f$ op eventuele nulverzamelingen na.
Dan is $(L^{\infty },\|.\|_{\infty })$ een banachruimte.

## Bijzondere gevallen

De ruimten $l^{p}$ komen terug als bijzonder geval door als maatruimte de telmaat op de natuurlijke getallen te nemen. De $L^{p}$-ruimten van reële functies krijgt men met de Lebesgue-maat op de reële getallen.
Als $\mu$ een eindige maat is, en $1\leq p\leq q\leq \infty$, dan volgt uit de ongelijkheid van Jensen dat $L^{q}$ een deelverzameling is van $L^{p}$. De twee normen zijn uiteraard verschillend (en normaal gesproken zelfs niet topologisch equivalent) op de deelverzameling; in het bijzonder is de deelverzameling niet noodzakelijk gesloten in de topologie van de grotere ruimte.

## Samenvattend en om verwarring te voorkomen

Er wordt hier onderscheid gemaakt tussen drie verschillende ruimten.
    $l^{p}(X)$
gaat over de convergentie van reeksen,
    ${\mathcal {L}}^{p}$
gaat over de integreerbaarheid van functies en
    $L^{p}$
gaat over equivalentieklassen van integreerbare functies.
    $l^{p}$
is een bijzonder geval van $L^{p}$. Beide zijn banachruimten. Voor $p=2$ zijn het allebei hilbertruimten.
${\mathcal {L}}^{p}$ is slechts een tussenstadium in de constructie van $L^{p}$, het is in het algemeen zelfs geen topologische vectorruimte.

## Voetnoten

* ↑ Dunford, Schwartz, (1958) loc III.3
* ↑ Bourbaki (1987)
* ↑ Riesz (1910)