18.03.2014 Views

15. Lebesgueův integrál na přímce Integrál podle Lebesgueovy míry ...

15. Lebesgueův integrál na přímce Integrál podle Lebesgueovy míry ...

15. Lebesgueův integrál na přímce Integrál podle Lebesgueovy míry ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

absolutní konvergenci (tj. též (N) ∫ |f(x)| dx konverguje) a neabsolutní konvergenci (tj. (N) ∫ |f(x)| dx<br />

diverguje).<br />

Konvergence integrálu |f| sama o sobě ještě nezaručuje absolutní funkcegenci integrálu f. Např. funkce<br />

{<br />

1, x ≥ 0,<br />

f(x) =<br />

−1, x < 0<br />

nemá primitivní funkci, ale (N) ∫ 1<br />

|f(x)| dx konverguje.<br />

−1<br />

<strong>15.</strong>4. Věta (vztah mezi Newtonovým a Lebesgueovým integrálem). Nechť f je nezáporná spojitá funkce<br />

<strong>na</strong> intervalu (a, b). Potom (N) ∫ b<br />

f(x) dx konverguje, právě když konverguje Lebesgueův integrál funkce<br />

a<br />

f. V tom případě mají oba integrály společnou hodnotu.<br />

Důkaz. (a) Zvolme c ∈ (a, b) a <strong>na</strong>jděme intervaly [a j , b j ] tak, že a < a j < c < b j < b, a j ↘ a, b j ↗ b.<br />

Nechť F je neurčitý Lebesgueův integrál funkce f, což je <strong>podle</strong> věty <strong>15.</strong>2 primitivní funkce k f. Potom<br />

F je neklesající a tudíž má limity F (b−), F (a+). Jelikož (z monotonie) F (b+) nemůže být −∞ a F (a+)<br />

nemůže být +∞, rozdíl F (b+) − F (a+) má smysl a platí<br />

(<strong>15.</strong>1) F (b+) − F (a+) = lim<br />

k<br />

(F (b k ) − F (a k )).<br />

Oz<strong>na</strong>čme<br />

f k = fχ<br />

ak ,b k<br />

.<br />

Funkce f má Lebesgueův integrál přes (a, b) (je totiž nezáporná a měřitelná). Podle Leviho věty a (<strong>15.</strong>1)<br />

je<br />

∫ b<br />

a<br />

f(x) dx = lim<br />

k<br />

∫ b<br />

a<br />

f k (x) dx = lim<br />

k<br />

∫ bk<br />

a k<br />

f(x) dx = lim<br />

k<br />

(F (b k ) − F (a k )) = F (b+) − F (a+),<br />

takže ∫ b<br />

f(x) dx konverguje, právě když F (b+) − F (a+) < ∞, ale to je přesně podmínka pro konergenci<br />

a<br />

Newtonova integrálu.<br />

□<br />

<strong>15.</strong>5. Důsledek (Diskuse vztahu mezi Newtonovým a Lebesgueovým integrálem). Nechť f je spojitá<br />

funkce <strong>na</strong> intervalu (a, b).<br />

(a) Jestliže konverguje Lebesgueův integrál z f od a do b, konverguje i Newtonův a to absolutně.<br />

(b) Jestliže Newtonův integrál z f od a do b konverguje absolutně, pak konverguje i Lebesgueův.<br />

(c) Pokud konverguje jak Lebesgueův, tak Newtonův integrál z funkce f, pak oba mají stejnou hodnotu.<br />

(d) Jestliže Newtonův integrál z f od a do b konverguje neabsolutně, pak Lebesgueův integrál nemá<br />

smysl.<br />

Tvrzení (b) a (c) platí i bez předpokladu spojitosti, ale důkaz je složitější. Tvrzení (a) <strong>na</strong>opak spojitost<br />

vyžaduje. Ji<strong>na</strong>k neplatí žádná inkluze mezi třídou všech lebesgueovsky integrovatelných funkcí a třídou<br />

všech newtonovsky integrovatelných funkcí.<br />

Důkaz je s<strong>na</strong>dné cvičení, založené <strong>na</strong> rozkladu f = f + − f − . Pokud Newtonův integrál f konverguje<br />

absolutně, konvergují i Newtonovy integrály funkcí f + a f − , protože f + = 1 2 (|f| + f) a f − = 1 2<br />

(|f| + f).<br />

<strong>15.</strong>6. Vztah mezi Riemannovým a Lebesguoevým integrálem. Nechť f je Riemannovsky integrovatelná<br />

funkce <strong>na</strong> [a, b]. Potom Lebesgueův integrál funkce f od a do b konverguje a je roven integrálu<br />

Riemannovu.<br />

Důkaz. Nechť R je Riemannův integrál funkce f od a do b. Z definice Riemannova integrálu plyne, že<br />

existují po částech konstatní funkce g j , h j tak, že<br />

g j ≤ f ≤ h j ,<br />

∫ b<br />

a<br />

g j (x) dx ↗ R,<br />

Funkce g = sup j g j a h = inf j h j jsou měřitelné <strong>podle</strong> věty 6.11. Máme<br />

R ≤ sup<br />

j<br />

∫ b<br />

a<br />

g j ≤<br />

∫ b<br />

a<br />

g ≤<br />

∫ b<br />

a<br />

∫ b<br />

a<br />

h ≤ inf<br />

j<br />

h j (x) dx ↘ R.<br />

∫ b<br />

a<br />

h j ≤ R.<br />

Tedy funkce h − g je nezáporná měřitelná a ∫ (h − g) = ∫ h − ∫ g = 0. Podle věty 7.5 je h = g s.v., tedy<br />

i h = f s.v. Tím je dokázá<strong>na</strong> měřitelnost funkce f. Protože f je omezená <strong>na</strong> [a, b], je Lebesgueovsky<br />

integrovatelná a<br />

∫ b<br />

a<br />

f =<br />

∫ b<br />

a<br />

2<br />

h = R.

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

Saved successfully!

Ooh no, something went wrong!