Redigerer Lp-rom (avsnitt)

==Egenskaper==
===Grunnleggende egenskaper===
For alle L<sup>p</sup>-rom gjelder følgende:<ref name="mw" />
#For alle <math>f \in L^p</math> og alle skalarer <math>\alpha</math> gjelder
#:<math>|| \alpha f ||_p = |\alpha| || f ||_p</math>
#<math>L^{p}</math> er et [[vektorrom]]
# For alle <math>f \in L^p</math> finnes det en følge av enkle funksjoner <math>\{ s_n \}_{n=1}^{\infty}</math> i L<sup>p</sup> som konvergerer til f nesten overalt:
## <math>s_n \to f</math>
## <math>|| f - s_n ||_{p} \to 0</math>
## <math>\int_{\Omega} |s_n|^p d\mu \to \int{\Omega} |f|^p d\mu</math>

===Hölders ulikhet===
Hvis p og q er to (utvidet reelle) tall, slik at <math>1 \leq p \leq \infty</math> og <math>1 \leq p \leq \infty</math>, og slik at <math>\frac{1}{p} + \frac{1}{q} = 1</math>, og <math>f, g</math> to A-målbare funksjoner, har vi at
:<math>|| fg ||_1 = \int_{\Omega} | f g | d\mu \leq || f ||_p ||g ||_p</math>
med likhet for p > 1 hvis og bare hvis det finnes to konstanter <math>\alpha, \beta</math> som ikke begge er 0, slik at
:<math>\alpha|f|^p = \beta|g|^q</math>.<ref name="mw" />

Dette kalles for [[Hölders ulikhet]], og hvis <math>p = q = 2</math> får vi [[Cauchy–Schwarz’ ulikhet]].

Dersom vi jobber med funksjonsrom over <math>\mathbb{R}</math>, der <math>\Omega</math> f.eks. kan være et interval <math>[a, b]</math> kan ulikheten uttrykkes som
:<math>\int_a^b | f g | dx \leq || f ||_p ||g ||_p.</math>

===Minkowskis ulikhet===
La <math>1 \leq p \leq \infty</math> igjen. Da gjelder 
:<math>||f + g||_p \leq ||f||_p + ||g||_p</math>
for alle <math>f, g \in L^p (\mu)</math>.<ref name="mw" />

Dette kalles for [[Minkowskis ulikhet]].

===Riesz' teorem===
For <math>1 \leq p \leq \infty</math> er <math>(L^p(\mu), || \cdot ||_p)</math> et komplett metrisk rom med hensyn på normen gitt ved <math>|| \cdot ||_p</math>, altså et [[Banach-rom]].<ref name="mw" />

Dette kalles for [[Riesz' teorem]]. For <math>0 < p < 1</math> har vi at <math>L^p</math> fortsatt er et vektorrom, men {{matte|{{norm}}<sub>p</sub>}} er ikke lenger en norm – derimot kan man vise at det er en [[metrikk (matematikk)|metrikk]], så for <math>0 < p < 1</math> er <math>L^p</math> et [[metrisk rom]].<ref name="mw" /> For <math>p = 2</math> er <math>L^p</math> også et [[Hilbertrom]].