11.01.2014 Views

Mál- og tegurfræði - Háskóli Íslands

Mál- og tegurfræði - Háskóli Íslands

Mál- og tegurfræði - Háskóli Íslands

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

(6.5) Setning EF p ∈]1, +∞], á er vörpunin<br />

KAFLI 6. TVÍRÚM (NYKURRÚM) L P -RÚMA<br />

Φ p : L q (µ) → L p (µ) ∗ ,<br />

g ↦→ G g<br />

einsrðun, þ.e. ||g|| q = ||G g || p . Ef µ er σ-endanlegt þá gildir þetta einnig um p = 1.<br />

Sönnun. Með því að skipta á g <strong>og</strong> g/||g|| q má gera ráð fyrir að ||g|| q = 1. Vitum að<br />

||G g || ≤ 1. Þurfum bara að sanna að ||G g || = 1.<br />

(1) Látum p ∈]1, ∞[. Skilgreinum<br />

Þá er f mælanlegt <strong>og</strong><br />

∫<br />

Nú er<br />

f =<br />

∫<br />

|f| p dµ =<br />

{ 0 g(x) = 0<br />

|g(x)| q<br />

g(x)<br />

g(x) ≠ 0<br />

∫<br />

|g| pq−p dµ =<br />

∫<br />

||G g || ≥ |G g (f)| =<br />

|g| q dµ<br />

|g| 1 dµ = 1 .<br />

(2) Ef p = ∞, þá skilgreinum við f eins <strong>og</strong> áður. Þá er ||f|| ∞ = 1 <strong>og</strong><br />

∫<br />

||G g || ≥ |G g (f)| =<br />

|g| dµ = 1<br />

(3) G.r.f. að X sé σ-endanlegt <strong>og</strong> p = 1. Þá er q = ∞. Tökum ε > 0 <strong>og</strong> skilgreinum<br />

A ε = {x ∈ X | 1 − ε ≤ |g(x)| ≤ 1}<br />

Fyrst ||g||∞ = 1, þá er µ(A ε ) > 0. Við gætum haft µ(A ε ) = +∞. Fyrst X er<br />

σ-endanlegt, þá er til B ε ⊆ A ε þannig að 0 < µ(B ε ) < +∞. Við skilgreinum<br />

f = 1 g χ B ε<br />

Þá er f ∈ L 1 (µ), ||f|| 1 > 0. Við höfum þá að<br />

Þar með er<br />

∫<br />

||G g (f)|| =<br />

∣<br />

∫<br />

fg dµ<br />

∣ ≥ (1 − ε)<br />

|f| dµ = (1 − ε)||f|| 1<br />

(1 − ε) ≤ ||G g || = sup{ |G g(f)|<br />

||f|| 1<br />

| f ∈ L 1 (µ), ||f|| 1 ≠ 0} .<br />

□<br />

(6.6) Setning (Riesz-framsetning á L p (µ)) Látum p ∈ [1, ∞[, q ∈]1, ∞]. Ef p > 1<br />

eða p = 1 <strong>og</strong> X er σ-endanlegt, þá er sérhvert stak G ∈ L p (µ) ∗ af gerðinni G g þar sem<br />

g ∈ L q (µ).<br />

Sönnun.<br />

63

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!