Spring til indhold

Lp (matematik)

Fra Wikipedia, den frie encyklopædi
(Omdirigeret fra Essentielt supremum)

I matematikken er Lp og p henholdsvis funktionsrummet af p-dobbelt integrable funktioner og det tilhørende følgerum. De giver en vigtig klasse af eksempler på Banachrum i funktionalanalyse.

Betragt det reelle vektorrum Rn. Summen af vektorer i Rn er givet ved

og skalarmultiplikation er givet ved

Længden af en vektor er typisk givet ved

men dette er ingenlunde den eneste måde at definere en længde. For reelle tal p, p ≥ 1, defineres

for enhver vektor . Det viser sig at denne definition tilfredsstiller egenskaberne for en "længdefunktion" (eller en norm); dvs. at nulvektoren er den eneste med længde nul, at længden af en vektor ændres (modulus-)lineært ved skalarmultiplikation, og at længden af summen af to vektorer aldrig er større end summen af de enkelte længder (trekantsuligheden). For hvert p ≥ 1 bliver Rn med ovenstående p-norm et fuldstændigt normeret vektorrum – et Banachrum.

Ovenstående p-norm kan udvides til vektorer med tælleligt uendeligt mange komponenter, hvilket giver rummet ℓp. For en tælleligt uendelig følge, , af reelle (eller komplekse) tal, defineres sum ved

og skalarmultiplikation ved

Analogt med det endelige tilfælde defineres p-normen

Problemet er her, at rækken på højresiden ikke nødvendigvis konvergerer, så f.eks. vil følgen bestående at lutter 1-taller have uendelig p-norm for alle p ≥ 1. Rummet ℓp defineres da som mængden af uendelige følger af reelle eller komplekse tal med endelig p-norm.

Det kan vises, at der for pq gælder ℓp ⊆ ℓq. For eksempel vil følgen

ikke ligge i ℓ1, men den ligger i ℓp for p>1, da rækken

divergerer for p = 1 (den harmoniske række), men den er konvergent for p > 1.

Man definerer tillige ∞-normen af en følge som

og det tilhørende rum, ℓ, af alle følger med endelig ∞-norm (hvilket er netop de begrænsede følger). Det viser sig, at

hvis højresiden er endelig, eller hvis venstresiden er uendelig. Altså betragtes ℓp for 1≤p≤∞.

Den ovenfor definerede p-norm på ℓp kan vises at være en norm, og ℓp bliver med denne norm et Banachrum. Det generelle rum, Lp, fås – som det ses nedenfor – ved at betragte vektorer med vilkårligt mange elementer og ikke blot tælleligt mange; med andre ord betragtes funktioner. For at definere p-normen benyttes Lebesgueintegralet i stedet for summation, og ℓp-rummene vil opstå som særtilfælde.

Egenskaber ved ℓp

[redigér | rediger kildetekst]

Rummet ℓ² er det eneste ℓp-rum, der er et Hilbertrum, da enhver norm, der kommer fra et indre produkt skal opfylde parallelogramidentiteten . Ved at benytte denne på to forskellige enhedsvektorer fås direkte, at identiteten ikke kan være sand, medmindre p = 2.

Rummene ℓp kan indlejres i mange Banachrum. At ethvert Banachrum har en sådan indlejring blev modbevist med B. S. Tsirelsons konstruktion af Tsirelsonrummet i 1974.

Lad 1 ≤ p < ∞ og lad (S, Σ, μ) være et målrum. Betragt mængden af målelige afbildninger fra S til C (eller R), hvis absolut værdi i p'te potens har endeligt Lebesgueintegral; dvs. de f : S → C med

Mængden af sådanne p-dobbelt integrable afbildninger (også kaldet p-dobbelt summable, hvis målet er diskret) danner et vektorrum med følgende naturlige operationer:

og, for en kompleks skalar λ,

At summen af to p-dobbelt integrable funktioner igen er en p-dobbelt integrabel funktion følger af uligheden |f + g|p ≤ 2p (|f|p + |g|p). Faktisk siger Minkowskis ulighed, at trekantsuligheden holder for ||·||p. Mængden af p-dobbelt integrable funktioner danner sammen med funktionen ||·||p et seminormeret vektorrum, der betegnes

Dette rum kan gøres til et normeret vektorrum ved at tage kvotientrummet mht. kernen af ||·||p. Da ||f||p = 0 hvis og kun hvis f = 0 næsten overalt identificeres to funktioner, f og g, i kvotientrummet, hvis f = g næsten overalt. Det tilsvarende normerede vektorrum er

For p = ∞, defineres rummet L(S, μ) som mængden af essentielt begrænsede funktioner SC (eller R), dvs. funktioner, der er begrænsede pånær på en nulmængde, idet to funktioner igen identificeres, hvis de er ens næsten overalt. For f i L(S, μ) tjener funktionens essentielle supremum som norm:

Som før gælder

hvis fL(S) ∩ Lq(S) for et q < ∞.

For 1 ≤ p ≤ ∞ er Lp(S, μ) et Banachrum. Fuldstændigheden kan vises ved anvendelse af Lebesgueintegralteoriens konvergenssætninger.

De ovenstående definitioner kan generaliseres til de såkaldte Bochnerrum, hvor de betragtede funktioner ikke nødvendigvis er komplekse (eller reelle) men kan tage værdier i generelle normerede vektorrum.

Specialtilfælde

[redigér | rediger kildetekst]

Tilfældet L² er, som ℓ², det eneste Hilbertrum i klassen (og elementerne heri siges ofte at være kvadratisk integrable). Det fremkommende indre produkt,

giver anledning til en rigere teori med anvendelse i blandt andet Fourieranalyse og kvantemekanik.

Benyttes komplekse funktioner er rummet L en kommutativ C*-algebra med punktvis multiplikation og konjugering. For mange målrum, herunder alle sigma-endelige, er det endda en kommutativ von Neumann-algebra. Et element i L definerer en begrænset operator på Hilbertrummet L² ved multiplikation.

Rummene ℓp (1≤p≤∞) fås som specialtilfælde af Lp ved at lade S være mængden af naturlige tal og lade μ være tællemålet. Mere generelt betegnes med ℓp(S) rummet Lp(S,μ), hvor μ er tællemålet, og S er en vilkårlig mængde. For eksempel er rummet rummet af alle følger indekseret ved heltallene og i definitionen på p-normen på dette rum summeres over alle heltal. Rummet ℓ(n), hvor n er mængden med n elementer, er blot Rn med p-normen som defineret ovenfor.

Egenskaber ved Lp

[redigér | rediger kildetekst]

Det duale rum (mængden af alle kontinuerte lineære funktionaler) til Lp for 1 < p < ∞ har en naturlig (isometrisk) isomorfi på Lq, hvor 1/p + 1/q = 1, idet g i Lq associeres med funktionalet G i (Lp)* defineret ved

(hvor her betegner den komplekst konjugerede af f). Det er muligt at vise, at ethvert G i (Lp)* kan udtrykkes på denne måde. Da relationen 1/p + 1/q = 1 er symmetrisk, er Lp refleksiv for alle værdier af p: Den naturlige monomorfi fra Lp til (Lp)** er surjektiv; det er en isomorfi mellem Banachrum.

Hvis målet på S er sigma-endeligt er det duale rum til L1(S) isomorft på L(S). Pånær i trivielle tilfælde, er det duale rum til L dog meget større end L1.

Hvis 0 < p < 1, kan Lp defineres som ovenfor, men || · ||p opfylder ikke nødvendigvis trekantsuligheden i disse tilfælde, og det definerer således kun en quasinorm. Det er imidlertid stadig muligt at definere en metrik ved at sætte d(f, g) = (||fg||p)p. Det resulterende metriske rum er fuldstændigt, og Lp er for 0 < p < 1 det prototypiske eksempel på et F-rum, der ikke er lokalt konvekst.

I hverdagssprog kan man for 1 ≤ p < q ≤ ∞ sige, at Lp(S) indeholder funktioner, der er mere lokalt singulære, mens Lq(S) kan spredes mere ud: Betragt Lebesguemålet på halvlinjen (0, ∞). En kontinuert funktion på L1 kan vokse voldsomt tæt ved 0 men må aftage hurtigt mod uendelig i 0. Omvendt behøver funktioner i L overhovedet ikke aftage, men må heller ikke vokse mod uendelig. Generelt gælder følgende:

Lp(S) er ikke indeholdt i Lq(S), hvis og kun hvis S indeholder mængder med vilkårligt lille mål, og
Lq(S) er ikke indeholdt i Lp(S), hvis og kun hvis S indeholder mængder med vilkårligt stort mål. Specielt gælder, hvis S har endeligt mål, som resultat af Hölders ulighed, at
hvilket vil sige, at Lq er kontinuert indlejret i Lp.