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
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
KAFLI 4. L P -RÚM<br />
Þá er<br />
Ójafnan<br />
gefur<br />
∫<br />
Þessi ójafna jafngildir<br />
<strong>og</strong> þar með er<br />
∫<br />
X<br />
X<br />
F G dµ ≤ 1 p<br />
(4.8) Setning (Ójafna Minkovskis)<br />
|F | p dµ = 1,<br />
∫<br />
∫<br />
∫<br />
X<br />
∫<br />
X<br />
uv ≤ 1 p up + 1 q vq<br />
X<br />
F p dµ + 1 q<br />
X<br />
∫<br />
X<br />
|fg|<br />
||f|| p ||g|| q<br />
dµ ≤ 1<br />
|fg| dµ ≤ ||f|| p ||g|| q<br />
|G| q dµ = 1<br />
G q dµ = 1 p + 1 q = 1<br />
□<br />
Sönnun. Við athugum að<br />
1<br />
p + 1 q<br />
||f + g|| p ≤ ||f|| p + ||g|| p<br />
= 1 ⇔ p + q = pq ⇔ pq − q = p ⇔ pq − p = q ⇔ p − p/q = 1<br />
Við fáum því með ójöfnu Hölders<br />
(||f + g|| p ) p =<br />
≤<br />
≤<br />
∫<br />
∫<br />
|f + g| p dµ = |f + g| |f + g| p−1 dµ<br />
∫X<br />
∫<br />
∫<br />
(|f| + |g|)|f + g| p−1 dµ = |f| |f + g| p−1 dµ + |g| |f + g| p−1 dµ<br />
(∫<br />
) 1/p (∫<br />
|f| p dµ<br />
1/q (∫<br />
|f + g| dµ) pq−q +<br />
= (||f|| p + ||g|| p )||f + g|| p/q<br />
p<br />
Af þessu leiðir að<br />
||f + g|| p−p/q<br />
p ≤ ||f|| p + ||g|| p<br />
Þar sem p − p/q = 1, þá gildir ójafnan.<br />
) 1/p (∫<br />
|g| p dµ<br />
(4.9) Skilgreining Látum V vera vigurrúm yr C. Hálfstaðall (e. seminorm) á<br />
V er fall<br />
|| · || : V → R<br />
sem uppfyllir<br />
(i) ||x|| ≥ 0, x ∈ V<br />
48<br />
(ii) ||cx|| = |c| ||x||, c ∈ C, x ∈ V<br />
(iii) ||x + y|| ≤ ||x|| + ||y||, x, y ∈ V<br />
Ef að auki gildir:<br />
) 1/q<br />
|f + g| pq−q dµ<br />
□