Lp-avaruus

Matematiikassa L^p-avaruudet ovat funktioavaruuksia, jotka ovat p-normilla varustettujen äärellisulotteisten vektoriavaruuksien luonnollisia yleistyksiä.

L^p-avaruuksia kutsutaan myös Lebesgue-avaruuksiksi Henri Lebesguen mukaan ^[1], joskin Bourbakin^[2] mukaan ne esitteli ensimmäisenä Riesz^[3].

L^p-avaruudet ovat tärkeitä Banach-avaruuksia funktionaalianalyysissä ja siten tärkeitä topologisia vektoriavaruuksia. Niillä on sovelluksia fysiikassa, tilastotieteessä, taloustieteessä, tekniikassa ja muilla aloilla.

Tässä osiossa määritellään reaaliset äärellisulotteiset L^p-avaruudet eli L^p-normit reaaliselle vektoriavaruudelle Rⁿ. Kahden vektorin summa avaruudessa Rⁿ määritellään

${\displaystyle \ (x_{1},x_{2},\dots ,x_{n})+(y_{1},y_{2},\dots ,y_{n})=(x_{1}+y_{1},x_{2}+y_{2},\dots ,x_{n}+y_{n}),}$

ja skalaarilla (eli reaaliluvulla) ${\displaystyle \lambda }$ kertominen

${\displaystyle \ \lambda (x_{1},x_{2},\dots ,x_{n})=(\lambda x_{1},\lambda x_{2},\dots ,\lambda x_{n}).}$

Vektorin x = (x₁, x₂, …, x_n) pituus määritellään yleensä Euklidisella normilla

${\displaystyle \ \|x\|_{2}=\left(x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}\right)^{1/2},}$

mutta on monia erilaisia tapoja määritellä vektorin x pituus. Jos p on reaaliluku, p ≥ 1, niin vektorin x L^p-normi määritellään

${\displaystyle \ \|x\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\cdots +|x_{n}|^{p}\right)^{1/p}}$.

Näin ollen L² on tavallinen Euklidinen normi ja etäisyys L¹ on koordinaattien erojen summa).

Tämä on tapana laajentaa arvolle p = ∞ määrittelemällä

${\displaystyle \ \|x\|_{\infty }=\max \left\{|x_{1}|,|x_{2}|,\ldots ,|x_{n}|\right\}}$,

mikä on sama kuin raja-arvo L^p-normista, kun p lähestyy ääretöntä.

Voidaan todistaa, että kaikilla arvoilla p ≥ 1 tämä määritelmä toteuttaa kaikki "pituusmitan" eli normin määritelmän ehdot.

Millä tahansa arvolla p ≥ 1 avaruus Rⁿ varustettuna L^p-normilla (eli p-normilla) on Banach-avaruus.

Avaruudessa Rⁿ, kun n > 1, kaava

${\displaystyle \ \|x\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\cdots +|x_{n}|^{p}\right)^{1/p}}$

ei toteuta kolmioepäyhtälöä, joten se ei ole normi. Silti funktio

${\displaystyle d_{p}(x,y)=\sum _{i=1}^{n}|x_{i}-y_{i}|^{p}}$

määrittelee metriikan eli etäisyysmitan. Metrisesta avaruudesta (Rⁿ, d_p) käytetään merkintää ℓ_n^p. Tämä metriikka määrittelee saman topologian kuin tavallinenkin topologia; kyseinen avaruus on lokaalisti konveksi topologinen vektoriavaruus, vaikka sen yksikköpallo onkin konkaavi.

Pääartikkeli: jonoavaruudet

Tämä p-normi voidaan yleistää jonoille eli vektoreille, joilla on äärettömän monta koordinaattia (komponenttia). Näin syntyvästä avaruudesta käytetään nimitystä ℓ^p. Tämän erikoistapauksia ovat:

• ℓ¹, niiden absoluuttisesti summautuvien jonojen avaruus eli niiden jonojen, joiden muodostama sarja on absoluuttisesti konvergoiva,
• ℓ², neliösummautuvien jonojen avaruus, tärkeä Hilbert-avaruus, ja
• ℓ^∞, rajoitettujen jonojen avaruus.

Tämä p-normi määritellään

${\displaystyle \ \|x\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\cdots +|x_{n}|^{p}+|x_{n+1}|^{p}+\cdots \right)^{1/p}.}$

Jos normi on ääretön, x ei kuulu avaruuteen ℓ^p.

Vastaavasti ∞-normi määritellään

${\displaystyle \ \|x\|_{\infty }=\sup(|x_{1}|,|x_{2}|,\dots ,|x_{n}|,|x_{n+1}|,\dots ).}$

Voidaan todistaa, että

${\displaystyle \ \|x\|_{\infty }=\lim _{p\to \infty }\|x\|_{p}}$,

jos oikea puoli on äärellinen tai vasen puoli on ääretön. Kaikki nämä ℓ^p-avaruudet ovat Banach-avaruuksia.

Alla esitetään kaikkien yleisin tapaus, jossa vektorit x ovatkin funktioita f ja niillä voi olla miten paljon "koordinaatteja" tahansa, jopa ylinumeroituva määrä. Tällöin normin määritelmässä tietenkin korvataan summa integraalilla. Onhan summa vain Lebesguen integraalin erikoistapaus.

Olkoon 1 ≤ p < ∞ ja olkoon (S, Σ, μ) mitta-avaruus. ${\displaystyle {\mathcal {L}}^{p}(S,\mu )}$-avaruus (ei normiavaruus ja eri asia kuin L^p-avaruus) on kaikkien niiden mitallisten funktioiden S${\displaystyle \rightarrow }$C (tai S${\displaystyle \rightarrow }$R) joukko, joiden itseisarvon p:nnen potenssin integraali on äärellinen eli

${\displaystyle \|f\|_{p}:=\left({\int _{S}|f|^{p}\;\mathrm {d} \mu }\right)^{1/p}<\infty .}$

Tämä avaruus on vektoriavaruus operaatioilla

${\displaystyle (f+g)(x)=f(x)+g(x)\ \ \ {\text{ja}}\ \ \ (\lambda f)(x)=\lambda f(x)\,}$

kaikilla skalaareilla λ.

Minkowskin epäyhtälö sanoo, että kolmioepäyhtälö pätee normille || . ||_p. Niinpä tämä avaruus ${\displaystyle {\mathcal {L}}^{p}(S,\mu )}$ on seminormiavaruus. Siitä saadaan Banach-avaruus ${\displaystyle {L}^{p}(S,\mu )}$ samaistamalla toisiinsa ne funktiot, joiden erotuksen seminormi on nolla eli jotka eroavat toisistaan vain nollamitallisessa joukossa. Siis ${\displaystyle {L}^{p}(S,\mu )}$ on

${\displaystyle L^{p}(S,\mu ):={\mathcal {L}}^{p}(S,\mu )/N,}$

missä

${\displaystyle N:=\mathrm {ker} (\|\cdot \|_{p})=\{f:f=0\ \mu {\text{- melkein kaikkialla}}\}.}$

Avaruus L^∞(S, μ) määritellään vastaavasti essential supremum -normilla

${\displaystyle \|f\|_{\infty }:=\inf\{C\geq 0:|f(x)|\leq C{\mbox{ melkein kaikilla }}x\}.}$

Jälleen

${\displaystyle \|f\|_{\infty }=\lim _{p\to \infty }\|f\|_{p},}$

jos f ∈ L^∞(S, μ) ∩ L^q(S, μ) jollain q < ∞.

Arvoilla 1 ≤ p ≤ ∞ avaruus L^p(S, μ) on Banach-avaruus. Rieszin-Fischerin lause sanoo, että se on täydellinen.

Usein avaruuden nimi lyhennetään L^p(μ) tai L^p.

Kaikki yllä esitetty pätee myös yleisille Bochner-avaruuksille eli sellaisten funktioiden L^p-avaruuksille, joiden arvot eivät ole reaali- tai kompleksilukuja vaan jonkin tietyn Banach-avaruuden alkioita. Eräille muunarvoisillekin funktioille osa yllä esitetystä on yleistetty.

Kuten ℓ²-avaruus, myös avaruus L² on luokkansa ainoa Hilbert-avaruus (ja ainoa, jonka normi on yhteensopiva jonkin sisätulon kanssa). Kompleksiarvoisille funktioille L²-sisätulo määritellään

${\displaystyle \langle f,g\rangle =\int _{S}f(x){\overline {g(x)}}\,\mathrm {d} \mu (x).}$

Kompleksitapauksessa L^∞ on kommutatiivinen C*-algebra.

ℓ^p-avaruudet (1 ≤ p ≤ ∞) ovat erikoistapaus L^p-avaruuksista, jossa joukko S on positiivisten kokonaislukujen joukko N ja mitta μ on lukumäärämitta. Yleisemminkin mille tahansa joukolle S avaruutta L ^p lukumäärämitalla merkitään ℓ^p(S).

Mikä tahansa Hilbert-avaruus on lineaarisesti isomorfinen avaruuden ℓ²(V) kanssa, missä V on mainitun Hilbert-avaruuden Hilbert-kanta tai mikä tahansa sen kanssa yhtä mahtava joukko.

• Adams, Robert A. & Fournier, John F.: Sobolev Spaces. Academic Press, 2003. ISBN 978-0120441433. (englanniksi)
• Bourbaki, Nicolas: Topological vector spaces. Springer-Verlag, 1987. ISBN 978-3540136279. (englanniksi)
• DiBenedetto, Emmanuele: Real analysis. Birkhäuser, 2002. ISBN 3-7643-4231-5. (englanniksi)
• Dunford, Nelson: Linear operators, volume I. Wiley-Interscience, 1958. (englanniksi)
• Duren, P.: Theory of H^p-Spaces. Academic Press, 1970. (englanniksi)
• Grafakos, Loukas: Classical and Modern Fourier Analysis, s. 253–257. Pearson Education, Inc., 2004. ISBN 0-13-035399-X. (englanniksi)
• Hewitt, Edwin: Real and abstract analysis. Springer-Verlag, 1965. (englanniksi)
• Kalton, Nigel J.: An F-space sampler, s. xii+240. Cambridge University Press, 1984. ISBN 0-521-27585-7. (englanniksi)

Riesz, Frigyes (1910). "Untersuchungen über Systeme integrierbarer Funktionen" 69: 449–497. 

• Rudin, Walter: Functional Analysis. McGraw-Hill Science/Engineering/Math, 1991. ISBN 978-0-07-054236-5. (englanniksi)
• Walter Rudin: Real and complex analysis. McGraw-Hill, 1987. ISBN 978-0-07-054234-1. (englanniksi)
• Edward Charles Titchmarsh: The theory of functions. Oxford University Press, 1976. ISBN 9780198533498. (englanniksi)
• Aapo Rantalainen: Avaruuden L1(Rn) differentioivien kantojen ominaisuuksista (PDF) (Pro gradu) 2006. Helsingin yliopisto, Matematiikan laitos. Arkistoitu 11.11.2013.