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
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