Professional Documents
Culture Documents
Dragan S. Dordevic
3.1.2014.
Sadr
zaj
Predgovor
1 Uvod
1.1 Osnovni pojmovi . .
1.2 Topoloski prostori . .
1.3 Metricki prostori . .
1.4 Prostori R, R i Rn .
1.5 Banahovi i Hilbertovi
. . . . .
. . . . .
. . . . .
. . . . .
prostori
2 Pozitivne mere
2.1 Merljivi skupovi . . . . . . .
2.2 Monotone familije . . . . . .
2.3 Merljive funkcije . . . . . .
2.4 Pozitivne mere . . . . . . .
2.5 Konstrukcija Karateodorija
3 Lebegova mera
3.1 Lebeg-Stiltjesova mera na R
3.2 Lebegova mera na R . . . .
3.3 Lebegova mera na Rn . . . .
3.4 Transformacije prostora Rn
4 Integral
4.1 Integral
4.2 Integral
4.3 Integral
funkcije
4.4 Integral
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
. 7
. 8
. 11
. 13
. 17
.
.
.
.
.
.
.
.
.
.
21
21
27
30
39
44
.
.
.
.
49
49
54
60
62
.
.
.
.
73
. . . . . . . . . . . . . . 73
. . . . . . . . . . . . . . 75
. . . . . . . . . . . . . . 81
. . . . . . . . . . . . . . 85
SADRZAJ
4
4.5
Lebegov integral . . . . . . . . . . . . . . . . . . . . . . . . . . 95
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
115
115
120
123
129
7 Izvod
7.1 Vitalijev pokrivac . . . . . . . . . . . . . . . . . .
7.2 Monotone funkcije . . . . . . . . . . . . . . . . .
7.3 Funkcije ogranicene varijacije . . . . . . . . . . .
7.4 Apsolutno neprekidne funkcije . . . . . . . . . . .
7.5 Teoreme diferencijalnog i integralnog racuna . . .
7.6 Diferencijabilne funkcije kao skup prve kategorije
7.7 Vazni primeri u teoriji funkcija . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
131
131
134
140
144
151
154
158
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
167
167
168
168
171
10 Diferenciranje mera
173
11 Vektorske mere
175
Predgovor
Izlozeni rezultati predstavljaju osnovni materijal za izucavanje mere, integrala i izvoda, uzimajuci u obzir potrebe studenata na razlicitim nivoima
studija.
Citanje
kompletnog teksta uslovljeno je poznavanjem elemenata opste i
linearne algebre, kao i teorije skupova. Posebno, vazno je razumeti gustinu
skupova Q i I u skupu realnih brojeva R, postojanje supremuma i infimuma podskupova od R, razlikovati prebrojive skupove (N, Z, Q) od neprebrojivih skupova (I, R, C), kao i uociti primenu aksiome izbora. Poznavanje
- tehnike je svuda neophodno.
Glave 2 - 4 sadrze materijal namenjen prevashodno studentima osnovnih
akademskih studija. Ovaj materijal citalac moze savladati uz poznavanje
osnova matematicke analize: diferencijalnog i integralnog racuna funkcije
jedne promenljive, kao i osobina brojnih i funkcionalnih redova.
Glave 5 - 8 su ozbiljnije prirode i namenjene su studentima master akademskih studija. Neophodno je poznavanje elemenata funkcionalne analize i
topologije.
U ovom trenutku tekst nije kompletan, a takode ima slovnih i drugih
gresaka. Konstantno se radi na poboljsanju materijala namenjenog studientima (obratiti paznju na datum upisan na prvoj strani). Studenti su u
obavezi da konsultuju dodatnu literaturu, koja je navedena u spisku referenci. Obavezno posetiti bilioteku Fakulteta.
SADRZAJ
Glava 1
Uvod
Ova glava predstavlja rekapitulaciju pojmova i teorema koje se koriste u ovom
rukopisu, ali pri tome ne predstavljaju glavnu temu izucavanja. Sadrzaj
ove glave ne moze zameniti detaljno izucavanje realne prave, topoloskih,
metrickih, ili normiranih prostora.
1.1
Osnovni pojmovi
GLAVA 1. UVOD
Ako je (Ai )i neka familija skupova, pri cemu je I indeksni skup, tada je
direktni proizvod skupova ove familije definisan na sledeci nacin:
A=
Ai = {f |f : I
iI
Ai , (i I)f (i) Ai }.
iI
1.2
Topolo
ski prostori
{G : G A, G }.
PROSTORI
1.2. TOPOLOSKI
10
GLAVA 1. UVOD
1.3. METRICKI
PROSTORI
11
Stavi
se, Cc (X) = C0 (X) ako i samo ako je X kompaktan prostor.
1.3
Metri
cki prostori
12
GLAVA 1. UVOD
1.4. PROSTORI R, R I RN
13
S
Skup E je prve kategorije, ako je E =
En , pri cemu su svi En nigde
n=1
1.4
Prostori R, R i Rn
a = sup((, x] Gc ).
14
GLAVA 1. UVOD
n
Y
i=1
1.4. PROSTORI R, R I RN
15
[
!
1
1
1
(a, b) = a + , b
a+
,a +
,
n0
n+1
n
n=n
pri cemu su svi poluzatvoreni intervali na desnoj strani medusobno disjunktni, i ima ih prebrojivo mnogo. Analogno razmatranje vazi i za intervale
zatvorene sa desne strane.
Na osnovu prethodnog rezonovanja, formulisemo rezultat.
Teorema 1.4.2. Svaki otvoren skup G u R je prebrojiva unija uzajamno
disjunktnih poluzatvorenih intervala, pri cemu su svi intervali zatvoreni s
leve strane, ili su svi intervali zatvoreni s desne strane.
Nadalje, jednostavnosti radi, posmatracemo intervale oblika [a, b).
Problemi merenja skupova dovode do situacije da vrednosti nekih funkcija
mogu biti beskonacno velike. Na primer, prirodno je uzeti da je duzina realne
prave jednaka +. Stoga je potrebno razmotriti i prosirenu realnu pravu,
odnosno skup R = [, +].
U skupu R umesto definisanja metrike, definisemo familiju otvorenih
skupova. Na taj nacin, skup R razmatracemo kao topoloski prostor, u kome
je R potprostor. Drugim recima, ako je U R, onda je U otvoren u R, ako
i samo ako je U = R V , gde je V R i V je otvoren u R .
Dakle, otvoreni interval u skupu R je svaki skup oblika
(a, b), [, b), (a, +], [, +],
za a, b R, a < b.
a, b R, a < b.
16
GLAVA 1. UVOD
Svaki otvoreni skup u R je prebrojiva unija uzajamno disjnuktnih poluzatvorenih intervala u R , pri cemu su svi intervali zatvoreni sa leve strane,
ili su svi zatvoreni sa desne strane.
Dokaz ovog tvrdenja je analogan dokazu za otvorene skupove u R.
Algbarske operacije u skupu R definisane su na uobicajeni nacin. Na
primer, ako je a R, tada je a + = +, a (+) = + ako je a >
0, i slicno. Nije moguce definisati + , dok je, sa druge strane, po
konvenciji 0 = 0. Ovu neobicnu konvenciju sustinski koristimo samo
u integraciji. Naime, integral nula-funkcije na skupu beskonacne mere bice
jednak nuli. Takode, integral proizvoljne funkcije na skupu mere nula bice
takode jednak nuli. Ova prosta svojstva integraljenja su posledica prethodno
uvedene konvencije. Za ovako uvedene operacije u skupu R vaze uobicajene
algebarske osobine. Sa druge strane, operacija mnozenja nije neprekidna u
skupu R . Na primer, neka je an = 1/n i bn = n, za svako n N. Tada je
an bn = 1, an 0 i an + kada n +.
Na kraju uvodnog dela opisujemo strukturu otvorenih skupova u Rn za
n > 1.
Teorema 1.4.4. Svaki otvoreni skup u Rn jeste najvise prebrojiva unija
otvorenih kugli. Svaki otvoreni skup u Rn jeste najvise prebrojiva unija
otvorenih n-intervala.
U prethodnom tvrdenju posmatrane otvorene kugle nisu obavezno uzajamno disjunktne, a takode posmatrani otvoreni n-pravougaonici nisu obavezno
uzajamno disjunktni. Ovu nelagodnost prevazilazimo koriscenjem poluzatvorenih intervala u Rn .
Ako je ai , bi R i ai < bi za svako i = 1, 2, . . . , n, tada su poluzatvoreni
n-intervali u Rn odredeni na kao
n
Y
i=1
ili
n
Y
i=1
17
Teorema 1.4.5. Svaki otvoren skup u Rn je prebrojiva unija uzajamno disjunktnih poluzatvorenih n-intervala, tako da su svi n-intervali zatvoreni sa
leve strane, ili su svi zatvoreni sa desne strane.
1.5
18
GLAVA 1. UVOD
x21 + + x2n .
n
X
xj y j ,
x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) Rn .
j=1
n
X
xj y j ,
x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) Cn .
j=1
6
7
19
Napominjemo da je neophodna obazrivost, jer se, na primer, u fizici po pravilu konjuguje prvi cinilac.
Norma indukovana skalarnim proizvodom u Cn je Euklidova norma:
p
kxk = hx, xi, x Cn .
Prostor Cn u odnosu na ovako definisanu normu jeste Hilbertov.
20
GLAVA 1. UVOD
Glava 2
Pozitivne mere
2.1
Merljivi skupovi
S
(3) Ako je En R za svako n N, onda je i
En R.
n=1
21
22
T
En R;
(3) Ako En R za svako n N, tada
n=1
S
S
Ek =
Ek R.
k=1
k=1
S c c
T
En =
En R.
(3) Neka je En R za svako n N. Tada je
n=1
n=1
Ako je A neka familija podskupova od X, od interesa je posmatrati algebre koje sadrze familiju A. Posebno, vazno je postojanje najmanje takve
-algebre.
3
23
S
S
n N, te je i
En R. Sledi da je
En R(A). Ovim smo pokazali
n=1
n=1
Felix Edouard
Justin Emile
Borel (1871-1956), francuski matematicar
24
[
G=
(aj , bj ).
j=1
T
cu za samostalni rad. Neka je a R. Tada je {a} =
a 1j , a + 1j ,
j=1
h
T
1
a j , b , te je
sledi R(I1 ) R(I0 ). Sa druge strane, (a, b) =
j=1
25
(
B :=
)
Bn : Bn B za svako n N ,
n=1
B = (B ) .
Neka je sada A0 = A. Ako je nasledni ordinal i < 1 , neka je
A+1 = (A ) .
26
27
2.2
Monotone familije
S
An M;
(1) Ako je An M i An An+1 za svako n N, tada je
(2) Ako je An M i An An+1 za svako n N, tada je
n=1
An M.
n=1
An .
n=1
T
onda je B =
Bn M(A). Na taj nacin je dokazano da je M(A) jedna
n=1
28
S
monotona familija, sledi da je A =
An R. Sa druge strane, skupovna
jednakost A =
S
n=1
n=1
\
[
[
\
Ak .
Ak ,
C=
B=
n=1
Neka je Bn =
Cn =
k=n
n=1
k=n
k=n
k=n
29
[
\
\
[
lim inf An := B =
Ak , lim sup An := C =
Ak .
n=1
n=1
k=n
k=n
S
An .
n=1
T
n=1
An .
T
oznakama, za svako n N vazi Bn =
Ak = An , te je lim inf An = B =
S
n=1
Bn =
S
n=1
k=n
An .
Sa druge strane, iz C =
C
T
n=1
Ak . Specijalno, C
k=n
B C, sledi da je B = C =
S
n=1
k=n
k=1
An = lim An .
T
S
T
An .
za svako n N vazi Cn =
Ak = An , te je C =
Cn =
n=1
n=1
k=n
S
T
Na osnovu B =
Ak , sledi da je za svako n N ispunjeno
T
k=n
n=1
k=n
Ak B. Specijalno, C =
n=1
n=1
An .
30
2.3
Merljive funkcije
{x X
{x X
{x X
{x X
31
: f (x) > a} R
: f (x) a} R
: f (x) < a} R
: f (x) a} R
za
za
za
za
svako
svako
svako
svako
a R;
a R;
a R;
a R.
[
1
{x X : f (x) < b} =
x X : f (x) b
R
n
n=1
za svako b R. Na kraju,
S
(ai , bi ). Sledi da vazi
i=1
(G) =
f 1 (ai , bi ) R.
i=1
({a}) =
n=1
Takode je
f
({+}) =
1
1
a ,a +
R.
n
n
f 1 ((n, +]) R.
n=1
Slicno se dokazuje da je f
({}) R.
32
33
1
x X1 :
>a
g(x)
= {x X1 : g(x) > 0} R.
1
1
x X1 :
> a = x X1 : 0 < g(x) <
R.
g(x)
a
Ako je a < 0, onda je
1
1
x X1 :
> a = {x X1 : g(x) > 0} x X1 : g(x) <
R.
g(x)
a
34
Sledi da je funkcija
f
g
merljiva na X1 .
k nk
kN nk
k nk
\
{x X : f (x) a} =
{x X : fn (x) a} R,
n=1
{x X : F (x) > a} =
{x X : fn (x) > a} R.
n=1
nk
nk
35
Posledica 2.3.3. Neka je (X, R) merljiv prostor i (fn )n niz prosirenih realnih merljivh funkcija na X. Ako postoji funkcija f tako da je f (x) =
lim fn (x) za svako x X, tada je f merljiva funkcija.
n
te je f merljiva funkcija.
Teorema 2.3.7. Neka je (X, R) merljiv prostor, i neka su f, g : X R
R-merljive funkcije, definisane na X. Tada su merljive i funkcije:
f g,
f
,
g
f (x), |f (x)| n,
fn (x) = n,
f (x) > n,
n,
f (x) < n,
n N.
36
37
n
X
i Ai (x),
x X.
i=1
38
S
da je Ik = (ak1 , bk1 ) (akn , bkn ), i pri tome je G =
Ik . Koristeci merljivost
k=1
f 1 (Ik ) =
k=1
[
k=1
n
\
fj1
(akj , bkj )
!
R,
j=1
x X.
39
2.4
Pozitivne mere
40
[
X
An =
(An ).
n=1
n=1
k=1
(Ak );
k=1
S
An = lim (An );
n=1
(4) Ako je An R
za svakon N, i ako je A1 A2 , pri cemu je
T
An = lim (An );
(A1 ) < , tada je
n
n=1
S
P
(5) Ako je An R za svako n N, tada je
An
(An ).
n=1
n=1
Ak = An , i
k=1
Bk =
k=1
Ak . Sada je
k=1
!
Ak
k=1
k=1
!
Bk
lim
(Bk ) = lim
k=1
k=1
n
[
k=1
!
Bk
= lim (An ).
n
n
X
k=1
(Bk )
41
!c
\
\
[
[
[
c
c
An = A1 \
An .
Cn =
(A1 An ) = A1
An = A1
n=1
n=1
n=1
n=1
n=1
!
\
(A1 )
An = lim (Cn ) = (A1 ) lim (An ).
n
n=1
S
S
Bn . Stoga
An =
Tada je Bi Bj = za i 6= j, Bn An za svako n, i
n=1
je
n=1
!
An
[
n=1
!
Bn
X
n=1
(Bn )
n=1
(An ).
n=1
42
T
skupu N, An = {n, n + 1, . . .} za n N. Tada je A1 A2 ,
An = ,
n=1
T
te je d
An = 0. Sa druge strane, d (An ) = za svako n N.
n=1
S
svako n N ispunjeno En R i (En ) < , i vazi X =
En .
n=1
43
!
[
[
[
[
[
[
Bk =
An \
Bk
Bk \
An
An M
n
[
n
(An \ Bn
[
n
Bn \ An
!k
[
n
(An M Bn )
[
n
Cn .
44
Kako je
Cn
= 0, sledi da je
jedna -algebra.
Nije tesko proveriti da je mera na R1 .
Zadrzimo sada oznake skupova A, B, C, pri cemu je (A) = 0. Neka je
E A. Tada je E M B C. Sledi da je E R1 . Time smo dokazali da je
kompletna pozitivna mera na R1 .
2.5
Konstrukcija Karateodorija
U odredenim konkretnim situacijama, pojavljuju se funkcije na familiji skupova, koje nemaju sve osobine prave mere. Primer takve funkcije jeste
spoljna mera.
Definicija 2.5.1. Neka je X neprazan skup. Spoljna mera na skupu X je
funkcija : P(X) R , koja ima svojstva:
(1)
(2)
(3)
(4)
() = 0;
(A) 0 za svako A P(X);
Ako je A, B P(X) i A B, onda je (A) (B);
Ako je An P(X) za svako n N, tada je
[
X
An
(An ).
n=1
n=1
Ocigledno, svaka mera jeste spoljna mera, dok spoljna mera nije obavezno
mera.
Pokazacemo kasnije da u najvaznijem specijalnom slucaju mera nije definisana na celom partitivnom skupu, vec na jednom njegovom pravom podskupu. Stoga spoljna mera ima jednu prednost nad merom: spoljna mera je
definisana na P(X).
Postupak smanjenja P(X) na manju -algebru, na kojoj je mera, moze
se izvesti konstrukcijom Karateodorija5 .
Teorema 2.5.1. (Karateodori) Neka je spoljna mera na P(X), i neka je
familija R definisana na sledeci nacin.
5
45
S
S
S
Ocigledno je
Ek =
Fk za svako n N, odakle sledi
Ek =
S
k=1
k=1
k=1
Fk . Takode je Fi Fj = za i 6= j.
k=1
46
n
!!
n
[
X
A
Fk
=
(A Fk ).
k=1
n
S
Pri tome je
k=1
k=1
(A) =
n
[
!!
Fk
k=1
n
X
(A Fk ) +
Vazi
Fk
k=1
Fk , odakle sledi A
k=1
k=1
n
S
n
[
!c !
Fk
k=1
!c !
n
[
Fk
k=1
c
n
S
Fk
k=1
c
Fk
. Stoga
k=1
n
[
X
Fk
.
(A Fk ) + A
(A)
k=1
k=1
Ako n , onda je
(A)
(A Fk ) +
k=1
!!
Fk
k=1
S
k=1
Fk =
S
k=1
Fk
!c !
Fk
k=1
k=1
Time je dokazano
!c !
Ek R , te je R -algebra na R .
[
X
Fk =
(Fk ),
k=1
k=1
S
k=1
Fk i
47
i stoga je mera na R .
Na kraju, neka je E R , (E) = 0, F E i A X. Tada je
(A) (A F ) + (A F c ) (A E) + (A) (E) + (A) = (A).
Sledi da je F R , te je kompletna mera na R .
Formilisemo interesantnu posledicu.
Posledica 2.5.1. Neka vaze svi uslovi prethodne teoreme. Ako je E X i
(E) = 0, tada je E R .
Dokaz. Razmotriti poslednji niz nejednakosti u dokazu prethodne teoreme,
uz pretpostavku E = F .
Konstruisanje konkretne spoljne mere na prostoru R, ili Rn , najcesce je
u vezi sa izucavanjem Lebegove mere. Vise o ovome u narednoj glavi.
48
Glava 3
Lebegova mera
3.1
Lebeg-Stiltjesova mera na R
50
g (E) = g
n
[
Ij
:=
j=1
n
X
g (Ij ).
j=1
Treba dokazati da vrednost g (E) ne zavisi od reprezentacije skupa E elementarnim intervalima iz A. Neka postoje dve takve reprezentacije, odnosno
E=
n
[
Ii =
i=1
m
[
Jj ,
j=1
Ii = Ii E = Ii
m
[
!
Jj
j=1
m
[
(Ii Jj ),
j=1
i analogno
Jj =
n
[
(Ii Jj ).
i=1
Sledi da je
E=
n [
m
[
(Ii Jj ) =
i=1 j=1
m [
n
[
(Ii Jj ).
j=1 i=1
51
Skupovi Ii Jj su uzajamno disjunknti, odakle, promenom redosleda sabiranja ako je potrebno, proizilazi da vazi
m
!
n
!
m
n
n
X
X
X
X
X
g (Ii Jj ) =
g (Ii Jj )
g (Ii ) =
i=1
j=1
i=1
m
X
j=1
i=1
g (Jj ).
j=1
n
S
i=1
m
S
Ei =
j=1
i=1
elementarni intervali.
Dokazacemo da je g mera na Lebegovoj algebri R. Iz g () = 0 i
g (E) 0 za svako E R, preostaje da dokazemo prebrojivu aditivnost
funkcije g . Familija R ocigledno nije -algebra, odnosno nije zatvorena za
prebrojive unije svojih elemenata. Stoga prebrojiva aditivnost funkcije g u
stvari predstavlja implikaciju:
S
En R,
Ako je En R za svako n N, En Ek = za n 6= k, i ako je
n=1
onda je
!
En
n=1
g (En ).
n=1
En . Na osnovu
n=1
X
n=1
[g(bn ) g(an )] =
g ([an , bn )).
n=1
52
[ak , bk )
k=1
.
2k
(ak k , bk ).
n=1
n
X
n
n
X
X
[g(ak ) g(ak k )]
[g(bk ) g(ak )] +
k=1
k=1
[g(bk ) g(ak k )] =
k=1
n
n
X
X
X
[g(bk ) g(ak )] +
[g(bk ) g(ak )] + .
k
2
k=1
k=1
k=1
X
k=1
[g(bk ) g(ak )] =
g ([ak , bk )).
k=1
53
[a, b) = [a, b1 )
!
[an , bn+1 ) .
n=1
k=1
X
[
g (A) = inf
(En ) : A
En , En R za svako n N ,
n=1
n=1
[
X
g
An
g (An ),
n=1
n=1
[
k=1
En,k
g (An )
+ n >
g (En,k ).
2
k=1
54
Neka je A =
S
n=1
An . Tada je A
S
n=1 k=1
g (A) = g
!
An
n=1
g (En,k ) <
X
n=1
n=1 k=1
g (An ) +
2n
g (An ) + .
n=1
Ako 0, sledi da je
n=1
!
An
g (An ).
n=1
S
S
(E En ). Tada je, na osnovu subaditivnosti
En , onda je E =
E
n=1
n=1
mere,
X
X
g (E)
g (E En )
g (En ).
n=1
n=1
3.2
Lebegova mera na R
55
S
Ei , gde je Ei R za svako i N.
Neka je E P(R ) i neka je E
Sledi da je E +c
i=1
i=1
56
Ako je m(A) = +, onda je trivijalno m(A) = = +. Stoga pretpostavimo da je m(A) < . Neka je > 0. Tada postoji familja (En )n iz R,
S
P
tako da je A
En i
En < m(A) + 2 < . Za svako n N je onda
n=1
n=1
S
S
[ak , bk ). Neka je Ik = ak 2k , bk . Tada
vala iz A. Stoga je
En =
je G =
n=1
k=1
k=1
m(A) = .
m(G \ F ) < .
S
Dokaz. Neka je A R i > 0. Tada je A =
Ak , pri cemu je Ak =
k=1
k=1
(Gk \ Ak ), te je
k=1
m(G \ A) < .
2
57
S
F A i m(A \ F ) < 2 . Vazi F =
Kn , gde je Kn = F [n, n]. Skupovi
n=1
n=1
n=N +1
S
T
da je Fn A Gn i m(Gn \Fn ) < n1 . Neka je B =
Fn i C =
Gn . Tada
n=1
n=1
1
n
58
En .
n=1
59
Ai [3, 3].
i=1
S
Ai [3, 3]. Ako je x [1, 1], tada postoji tacno jedna
Ocgledno je
i=1
klasa ekvivalencije relacije koja sadrzi x. Prema tome, postoji tacno jedan
elemenat a A sa svojstvom x a. Dakle, postoji rk Q tako da je
S
Ai .
x = a + rk Ak . Sledi [1, 1]
i=1
60
!
Aj
j=1
Dakle, red
j=1
j=1
3.3
Lebegova mera na Rn
n=1
En : A
)
En , Ej A, j = 1, 2, . . .
n=1
61
za svaki n-interval
n
Q
Ij u Rn .
j=1
62
Transformacije prostora Rn
3.4
S
Aj . Posmatramo zatvorene kugle Kj = {x Rp : kxk j}, j N.
je A =
j=1
S
S
(Ai Kj ).
Na osnovu Ai =
(Ai Kj ) za svako i N, sledi da je A =
i=1 j=1
j=1
Tada je
T (E) =
[[
!
T (Ai Kj )
T (F ).
i=1 j=1
S
svi skupovi T (Ai Kj ) kompaktni u Rn . Tada je
T (Ai Kj ) skup
i=1 j=1
63
S
poluzatvorenih kocki Jl , odnosno V =
Jl , pri cemu je Jl n-interval kome
l=1
S
S
El , T (E) =
T (El ),
Neka je El = E Jl . Tada je E =
l=1
mn (E)
l=1
l=1
i
mn (T (E))
mn (T (El )).
l=1
64
mn (T (El ))
l=1
l=1
S
Im (svi intervali Im su zatvoreni sa leve
n-intervala u Rn , tako da je U =
m=1
65
S
Ako je U (Rn ), onda je U =
Ij , pri cemu su Ij uzajamno disjunktni
j=1
66
R (Rn ) vazi
c(T1 )c(T2 )mn (E) = c(T1 )mn (T2 (E)) = mn (T1 T2 (E)) = c(T1 T2 )mn (E).
Dakle, c(T1 T2 ) = c(T1 )c(T2 ).
67
i=1
i=1
68
69
n
X
i=1
n
X
hS(x), ei iei =
hx, ei iei = x.
i=1
70
i, j = 1, . . . , n,
(
1, i = j,
gde je ij =
Kronekerovo . Neka je A = (qij )i,j matrica preslika0, i =
6 j,
qi1
qi2
vanja A u bazi {e1 , . . . , en }, tako da je A(ei ) = .. za svako i = 1, . . . , n.
.
qin
>
Sa druge strane, ako je AA = (rij )i,j matrica preslikavanja AA> u posmatranoj bazi, onda je
rij =
n
X
k=1
71
72
Glava 4
Integral
U ovoj glavi uvodimo novi nacin integraljenja merljivih funkcija u odnosu
na pozitivnu meru. Ovu ideju predlozio je i razvio Lebeg pocetkom 20.
veka. Stoga se u nekoj literaturi opisani nacin integracije naziva Lebegova
integracija. Mi se bavimo samo ovim nacinom integracije, te cemo koristiti termin integral merljive funkcije u odnosu na meru , dok ce termin
Lebegov integral biti rezervisan samo za slucaj integrala funkcije u odnosu
na Lebegovu meru m u prostoru R ili Rn . Uporedicemo poznati Rimanov1
integral sa novouvedenim Lebegovim integralom, i pri tome se nadamo da
citalac nece izgubiti osecaj o kom tipu integrala se zaista radi.
Integral merljive funkcije u odnosu na pozitivnu meru definise se u vise
koraka.
4.1
Neka je (X, R) merljiv prostor, i neka je s : X R merljiva, prosta, nenegativna funkcija. Tada je
n
X
s=
i Ai ,
i=1
73
74
GLAVA 4. INTEGRAL
Integral proste funkcije s na skupu X u odnosu na meru definisan je
kao
Z
s d :=
i (Ai ).
(4.1)
i=1
n
X
Ako
R je s = 0 i (X) = ,Ronda je (na osnovu ranije konvencije 0 =
0 d = 0. Sledi da je s d [0, +] za svaku merljivu, prostu i
X
nenegativnu funkciju s.
n
P
i=1
Z
s d :=
sE d =
n
X
i (E Ai ).
i=1
s d
t d.
s d
(3)
s d
R
(c s) d = c s d.
X
R
X
(s + t)d =
R
X
s d +
t d.
s d, jeste pozitivna
75
S
(En )n disjunktna familija elemenata iz R, i neka je E =
En . Neka je
s=
k
P
i=1
n=1
(E) =
=
k
X
i=1
k
X
i (Ai E) =
i=1
X
k
X
k
X
i=1
i Ai
(Ai En )
k
X
n=1
!
(Ai En )
n=1
i=1
n=1 i=1
En
n=1
i (Ai En ) =
!!
(En ).
n=1
j=1
kao i
(s + t)d = (i + j )(Eij ) =
Eij
s d +
Eij
t d.
Eij
4.2
R
s d + t d.
X
0sf
s d,
X
(4.2)
76
GLAVA 4. INTEGRAL
Ako je E = X, onda se ova definicija poklapa saR(4.2). Funkcija f je integrabilna na skupu E u odnosu na meru , ako je f d < +.
E
77
Z
lim
fn d = [0, +].
n
X
Na osnovu fn f na X, sledi da je
fn d
f d, te je i
f d.
X
S
En . Takode, za svako
fn (x) c s(x), odnosno x En . Sledi da je X =
n=1
n N vazi
Z
fn d
Z
fn d c
En
s d = c (En ).
En
s d (E R) pozitivna
78
GLAVA 4. INTEGRAL
= lim
n
tn d = lim
sn d +
un d =
(f + g) d.
X
P
i neka je f (x) =
fn (x) za svako x X. Tada je funkcija f merljiva i
n=1
Z
f d =
X
Z
X
fn d.
n=1 X
79
k=1 X
Z
=
k=1 X
( lim Sn ) d =
f d.
k=1
(4.3)
S
En . Lako je utvrditi
(En )n niz disjunktnih skupova iz R i neka je E =
n=1
da je
f E =
f En .
n=1
Z
f d =
E
Z
X
n=1
En
f E d =
X
f d =
Z X
(En ).
n=1
n=1
!
f En
d =
Z
X
n=1 X
f En d
80
GLAVA 4. INTEGRAL
Ako je E R i g = E , tada je
Z
Z
E d = (E) = E f d.
X
Dokaz. Merljivost funkcije lim inf fn sledi na osnovu ranijeg rezultata. Neka
n
je za svako n N i svako x X:
gn (x) = inf fi (x).
in
(4.4)
lim inf fn d =
lim gn d = lim
gn d lim inf fn d.
n
4.3. INTEGRAL PROSIRENE
REALNE MERLJIVE
FUNKCIJE
81
Na kraju ove sekcije definisemo pojam -skoro svuda, ili samo skoro
svuda ako se mera podrazumeva. Koristi se skracena oznaka -ss.
Neka je P = P (x) neko svojstvo, koje zavisi od promenljive x X, pri
cemu je (X, R, ) prostor pozitivne mere . Svojstvo P (x) vazi na skupu
X -skoro svuda, ako postoji skup E R tako da je (E) = 0, i pri tome
svojstvo P (x) vazi za svako x X \ E. Pri tome, ne upustamo se u procenu
da li, eventualno, svojstvo P (x) vazi za neko x E.
U literaturi se pojam skoro svuda cesto definise malo opstije: pretpostavlja se da je skup E u prethodnoj definiciji podskup nekog skupa mere
nula.
Na primer, u Teoremi o monotonoj konvergenciji moze se pretpostaviti
0 fn fn+1 -skoro svuda na X, kao i lim fn = f -skoro svuda na
n
X, a da pri tome zakljucak teoreme i dalje vazi. Naime, neka je En skup
na kome je fn fn+1 (n N), i neka je E skup na kome je lim fn = f .
n
Prema uvedenim
pretpostavkama,
(Enc ) = 0 i (E c ) = 0. Dakle, ako je
S
En , tada je (X \ X1 ) = 0, a na skupu X1 je ispunjeno
X1 = X \ E
n=1
4.3
Integral pro
sirene realne merljive
funkcije
f = max{f, 0}
|f | = f + + f .
82
GLAVA 4. INTEGRAL
Integral funkcije f na skupu X u odnosu na meru jeste
Z
Z
Z
+
f d := f d f d,
X
na X. Tada vazi:
R
R
(1) Ako je f L1 (X, ), tada je f d |f |d.
X
Z
Z
Z
Z
Z
Z
f d = f + d f d f + d + f d = |f |d.
4.3. INTEGRAL PROSIRENE
REALNE MERLJIVE
FUNKCIJE
83
|f |d =
X
|f |d
Y
Z
gd =
gd < .
X
Z
+
(cf )d =
(cf ) d
Z
+
(cf ) d = c
= c
f d
f d c
X
f d.
X
Z
(cf )d =
Z
+
Z
X
f d
f + d
f d (c)
X
f d = c
(c)f d = (c)
X
= c
(c)f d
X
(cf ) d
(cf ) d
f d.
X
84
GLAVA 4. INTEGRAL
T
Tada je En En+1 , kao i E =
En . Za svako n N je ispunjeno
n=1
Z
+ >
Z
|f |d
|f |d n (En ).
En
Z
+
h d +
Y
f d +
Y
g d =
Y
85
Z
h d +
g + d.
f d +
f d
Y
f d +
X
Z
+
f d +
ZY
g d
g d
Y
gd.
Y
4.4
86
GLAVA 4. INTEGRAL
Z
Z
|f + g|d
Z
|f |d +
|g|d.
X
Z
(f )d =
Z
(u)d + i
(v)d =
X
ud + i
X
Z
vd =
f d.
X
Z
(if )d =
Z
(v + iu)d =
=
X
(v)d + i
X
Z
vd + i
ud = i
ud
f d.
X
Z
f d =
( + i)(u + iv)d
X
Z
=
vd + i
ud
X
Z
ud
vd +
X
f d.
X
Neka je g = t + is, pri cemu su t, s realne (i integrabilne) funkcije. Koristeci aditivnost integrala u odnosu na realne integrabilne funkcije, sledi da
87
Z
(f + g)d =
Z
(u + s)d + i
Z
ud +
sd + i
X
(v + t)d
gd + i
X
f d +
Z
td
X
gd.
X
Dokaz poslednje nejednakosti integrala sledi na osnovu elementarne nejednakosti funkcija |f + g| |f | + |g|.
Dokazujemo korisne rezultate o kompleksnim integrabilnim funkcijama.
R
Teorema 4.4.2. Ako je |f |d = 0, tada je f = 0 -ss.
Dokaz. Neka je
R
X
|f |d = 0, n N, Fn = {x X : |f (x)| n1 } i F = {x
Fn = F . Sledi da
n=1
za svako n N vazi
Z
0=
Z
|f |d
|f |d
1
(Fn ).
n
Fn
Z
Z
f d |f |d.
Ako je
Z
Z
f d = |f |d,
88
GLAVA 4. INTEGRAL
Z
Z
Z
Z
Z
|z| = f d = f d = f d = ud + i vd R.
Stoga je
vd = 0, te je
Z
|z| =
Z
ud
|f |d.
X
dokazana.
R
R
R
R
Ako je ispunjeno f d = |f |d, tada je ud = |f |d, odnosno
X
X
X
X
R
(|f | u)d = 0. Kako je |f | u 0, onda mora biti |f | = u -ss na X.
F
f d = 0 za svako E R,
tada je f = 0 -ss na X.
0 = Re
X
f d =
u+ d.
E
R
S
P
f d, tada je
En =
(En ).
E
n=1
n=1
89
!
[
[
[
En
= 1
En 2
En
n=1
n=1
n=1
1 (En )
n=1
2 (En ) =
n=1
(En ).
n=1
S
T
Enc = 0.
En . Tada je (F c ) = E c
E
n=1
n=1
90
GLAVA 4. INTEGRAL
odakle sledi
Z
2gd
Z
2gd lim sup
n
|fn f |d.
F
R
Funkcija g je integrabilna na X, pa je integrabilna i na F . Stoga je 2gd <
F
R
. Sledi lim sup |fn f |d 0. Na osnovu nenegativnosti |fn f | 0,
n F
R
sledi da poslednja granicna vrednost postoji, i lim |fn f |d = 0.
n F
R
Iz (X \ F ) = 0, sledi da je lim |fn f |d = 0. Iz nejednakosti
n X
Z
Z
Z
fn d f d |fn f |d,
sledi lim
n X
fn d =
f d.
Z
F (t) =
f (x, t)d(x)
X
integral sa parametrom t.
Teorema 4.4.7. Neka je f : X M R prethodno opisana funkcija, i
neka je t0 tacka nagomilavanja skupa M . Pretpostavimo da vazi:
(1) Postoji lim f (x, t) = f (x) -ss na X.
tt0
tto
91
f (x,t)
(3) Postoji funkcija g L1 (X, ), tako da je t g(x) za svako
t M i -ss x X.
Tada je funkcija
Z
F (t) = f (x, t)d(x)
X
f (x, )
.
t
Odavde sledi
|f (x, t)| |f (x, t0 )| + (b a)g(x)
-ss na X. Prema tome, f (, t) L1 (X, ) za svako t [a, b].
Takode postoji parcijalni izvod
f (x, t)
f (x, tn ) f (x, t)
= lim
t
t
n
t
tn t
-ss na X, za svaki niz tn [a, b] sa svojstvima tn 6= t i lim tn = t.
n
Jos jednom, na osnovu Teoreme o srednjoj vrednosti za funkcije t 7
f (x, t), za svako x X i za svako n N postoji n izmedu t0 i tn , tako da
vazi
92
GLAVA 4. INTEGRAL
f (x, n )
.
t
Sada je ispunjeno
n)
f (x, tn ) f (x, t) (tn t) f (x,
f (x, n )
t
=
=
g(x)
tn t
tn t
t
-ss na X. Prema prethodnoj teoremi sledi da je
Z
dF (t)
F (tn ) F (t)
f (x, tn ) f (x, t)
= lim
= lim
d(x)
t
t
t
t
n
n
dt
tn t
tn t
X
Z
f (x, t)
=
d(x).
t
X
|fn |d < .
n=1 X
Tada red
f (x) =
fn (x)
n=1
Dokaz. Na osnovu
R
P
n=1 X
Z
X
fn d.
n=1 X
Z
gd =
Y
Z
X
n=1
93
P
n=1
|fn (x)| za
|fn |d < ,
P
fn (x) apsolutno konvergira, prema tome i obicno konvergira
red f (x) =
n=1
94
GLAVA 4. INTEGRAL
da je D F c . Stavi
se, skup F je prebrojiva unija ovakvih diskova. Neka je
1
E = f (D). Ako je (E) > 0, onda je
Z
Z
1
1
Medutim, iz D F c i
1
(E)
Z
1
(E) f d a > r.
Prema tome, nije moguce (E) > 0, i stoga vazi (E) = 0. Iz cinjenice da je
F c prebrojiva unija diskova D[a; r] za pogodno odabrane a F c i r > 0, sledi
da mora biti (f 1 (F c )) = 0, te je f (x) F za -skoro svako x X.
Teorema 4.4.12. Neka je (En )n niz merljivih skupova u X, tako da je
(En ) < .
n=1
P
En . Ocigledno, x A ako i samo
skupova En koji sadrze x. Neka je g =
n=1
(Ek ) < ,
n=1
4.5
95
Lebegov integral
Z+
Z+
f dm =
f dm =
f (x)dm(x)
Rb
f dm je Lebegov integral
96
GLAVA 4. INTEGRAL
nk
X
mki (xki
xki1 ),
S(Pk ) =
nk
X
i=1
i=1
f (x)dx.
nk
X
Tk =
i=1
nk
X
i=1
Takode je
Zb
Zb
tk dm = s(Pk ),
Tk dm = S(Pk ).
a
97
Zb
tdm =
lim
tk dm = lim s(Pk ) =
Zb
f (x)dx
Zb
=
Zb
Tk dm =
k
a
T dm.
a
Iz T (x) t(x) za svako x [a, b] sledi da mora biti T (x) = t(x) m-ss na [a, b].
Kako je t(x) f (x) T (x) za svako x [a, b], sledi da je f (x) = t(x) = T (x)
m-ss na [a, b]. Lebegova mera je kompletna na [a, b], te je funkcija f Lebegmerljiva.
Na kraju, trivijalno sledi
Zb
Zb
f (x)dx =
f dm.
a
98
GLAVA 4. INTEGRAL
Ne postoji
+
R
1
1
,
x2
x [0, +) \ Q,
x [0, +) Q.
0,
+
R
1
f dm.
99
+
R
0
sin x
dx
x
sin x
x
+
R
b+c
R
f (x)dx,
Rb
f (x +
a+c
Z (k+1)
Z
X
X
sin x
sin x
sin(x + k)
x dm =
x dm =
x + k dm
0
k
0
k=0
k=0
Z
Z
X
X
sin x
1
dm
sin x dm
=
x
+
k
(k
+
1)
0
0
k=0
k=1
Z
X
1
2X 1
=
sin x dx =
= +.
(k + 1) 0
k=0 k + 1
k=0
Z
100
GLAVA 4. INTEGRAL
Z+
Z+
f (x)dx =
f dm.
a
Dokaz. Neka je (bn )n niz brojeva sa osobinama a < b1 < b2 < i lim bn =
n
[a,bn ]
n=1
Primetimo
R da smo u poslednjoj jednakosti iskoristili neprekidnost mere E 7
(E) = E |f |dm. Sledi da je funkcija f integrabilna u Lebegovom smislu na
[a, +).
Neka je fn = f [a,bn ] . Tada je lim fn = f na [a, +), i |fn | |f |. Na
n
osnovu Lebegove teoreme o dominantnoj konvergenciji je sada
Z+
f (x)dx =
Zbn
lim
f (x)dx = lim
Zbn
n
Z+
f dm = lim
f [a,+) dm
Z+
=
f dm.
a
k+1
R
k0 k
dm(x)
.
1+x2 +k2
Rb
a
f dm,
101
.
1+x2 +k2 [k,1+k]
1+x2 [0,1]
1
f (x). Ako je g(x) = 1+x
e je |f (x, k)|
2 za x R, tada je g L1 (R). Takod
g(x) za svako k, x R. Stoga je, na osnovu Lebegove teoreme o dominantnoj
konvergenciji
Z+
Z1
Z+
f (x, k)dm(x) =
f dm =
I = lim
k0
dx
= .
2
1+x
4
102
GLAVA 4. INTEGRAL
Glava 5
Konvergencije nizova funkcija
5.1
Lp prostori
ap bq
+ .
p
q
103
104
Teorema 5.1.2. (Helder2 ) Neka je (p, q) dualni par brojeva (p, q > 1), i
neka su f, g : X [0, +] merljive funkcije. Tada je
f gd
X
Dokaz. Ako je
1/p
f p d
1/q
g q d
F (s) =
R
f (s)
g(s)
1/p , G(s) =
1/q .
R
f p d
g q d
Tada je
Z
p
Gq d = 1.
F d = 1 i
X
+
.
1/p
1/q
p f p d q g q d
R
R
f p d
g q d
X
X
X
5.1. LP PROSTORI
105
Z
Z
Z
(f + g)p dt f p dt + g p dt .
X
p
f +g
1
(f p + g p ).
2
2
Prema
tome, na osnovu f, g Lp (X, ), sledi f + g Lp (X, ). Ako je
R
(f + g)p d = 0, onda je nejednakost dokazana. Pretpostavimo zato da je
X
R
0 < (f + g)p d < +. Tada vazi
X
1/p
1/q
Z
Z
Z
f (f + g)p1 d f p d (f + g)(p1)q d .
X
Analogno, vazi
g(f + g)p1 d
X
1/p
1/q
Z
g p d (f + g)(p1)q d .
1/q
Z
Z
Z
Z
(f + g)p d (f + g)p d f p ) + g p d .
X
3
106
1/p
Z
dp (f, g) = |f g|p d
X
1/p
R
p
|f g| d
. Tada je dp metrika na Lp .
X
1/p
Z
kf kp = dp (f, 0) = |f |p d
X
5.1. LP PROSTORI
107
1/p
P
P
p
p
|xn | < . Tada je kxkp =
|xn |
.
x = (xn )n , sa svojstvom
n=1
n=1
P
istog reda. Neka je (fn )n niz u Lp (X, ), i neka je
kfn kp = A < . Treba
dokazati da je
n=1
n=1
gn (x) =
n
X
|fk (x)|,
x X, n = 1, 2, . . . .
k=1
n
P
kfk kp A, odnosno
k=1
R
X
gnp d <
108
prosirena realna Ri merljiva funkcija. Na osnovu Teoreme o monotonoj konvergenciji, sledi g p d Ap . Prema tome, g Lp (X, ), te je funkcija g
X
k=1
|f | g sledi f Lp (X, ), te je
p
n
X
f
(x)
f
(x)
2p [g(x)]p , n = 1, 2, . . . .
k
k=1
p
p
Z
Z X
n
n
fk (x) f (x) d = 0.
fk (x) f (x) d =
lim
lim
n
n
Dakle,
k=1
k=1
n=1
tvrdenje.
(2) Neka je p = i neka je (fn )n Kosijev niz u L (X, ). Neka je
Ak = {x X : |fk (x)| kfk k } i neka je Bn,m =
{xS X : |fn (x) fm (x)|
SS
(Ak Bn,m ). Tada je
kfn fm k }, za k, n, m N. Neka je E =
k n m
12
Z
Z
Z
|f g| d |f |2 d |g|2 d) < +.
X
5.1. LP PROSTORI
109
kf k2 = hf, f i 2 .
Dakle, norma k k2 u prostoru L2 (X, ) je odredena skalarnim proizvodom.
Kako je L2 (X, ) Banahov prostor, upravo smo utvrdili da je L2 (X, ) Hilbertov prostor.
Specijalno `2 je Hilbertov prostor, pri cemu je za x = (xn )n `2 i y =
(yn )n `2 ispunjeno
X
hx, yi =
xn y n .
n=1
Xs
110
5.2
Konvergencija po meri
111
Odavde sledi
({x E : |f (x) g(x)| }) ({x E : |f (x) fn (x)| })
+({x E : |g(x) fn (x)| })
i lim (En ()) = 0 za svako > 0. Na osnovu inkluzije
n
{x E : f (x) 6= g(x)}
[
n=1
1
x E : |f (x) g(x)|
n
sledi da je f = g -ss na E.
U sledecoj teoremi dat je odnos izmedu konvergencije -ss i konvergencije
po meri.
Teorema 5.2.2. (Lebeg) Ako je skup E R takav da je (E) < , i niz
(fn )n -ss konacnih funkcija koji -ss konvergira ka funkciji f , koja je takode
-ss konacna, tada (fn )n konvergira po meri ka funkciji f na skupu E.
Dokaz. Pretpostavimo da su fn i f -ss konacne funkcije. Funkcije fn su
merljive, odakle sledi merljivost funkcije f . Neka je > 0 i n N. Posmatrajmo skup
En () = {x E : |fn (x) f (x)| }.
Neka je An = {x E : |fn (x)| = +}, A = {x E : |f (x)| = +} i
B = {x E : fn (x) ne tezi f (x)}. Tada su svi skupovi An , A i B mere nula,
S
An mere nula. Neka je x E \ Q. Tada su fn (x)
te je i skup Q = A B
n=1
i f (x) realni brojevi za svako n N, kao i lim fn (x) = f (x). Za dato > 0
n
Ek (),
R () =
Rn ().
n=1
k=n
!
\
(R ()) =
Rn = lim (Rn ).
n=1
112
i i+1
1
m({x E : |fn (x) 0| }) = m
,
= .
k k
k
Ocigledno je n ako i samo ako k . Prema tome, niz (fn )n tezi ka
0 po meri m na skupu E = [0, 1).
Sa druge strane, ako je x E, tada
za svako k N postoji tacno jedan
darski matematicar
Frigyes Riesz (1880-1956), ma
113
1
1
[
1
,
Rm =
x E : |fnk (x) f (x)|
k
k=m
za svako m N. Ocigledno, za svako m N vazi Rm Rm+1 , kao i
X
1
1
.
k
k
2
k=m
k=m
Neka je R =
m=1
tako da x
/ Rn0 . Sledi da za svako k n0 vazi |fnk (x) f (x)| < k1 . Time
c
je dokazano lim fnk (x) = f (x) za svako x R
, kao i (R ) = 0. Dakle,
k
S
sledi lim (Rn ()) = 0, pri cemu je Rn () =
Ek () i Ek () = {x E :
n
k=n
114
1
1
< k.
Rnk
k
2
Postoji broj n0 N tako da je
(F )
(Rnk )
P
k=n0
1
2k
< . Neka je F =
S
k=n0
Rnk
1
k
. Tada je
1
2k
k=n0
1. Neka je 0 < < 1. Ako je d (N \ E ) < , tada mora biti E = N. Konvergencija lim fn (x) = 1 ne moze biti ravnomerna po x N, jer je fn (x) = 1
n
tek za n x, i ovakav broj n se ne moze izabrati nezavisno od x.
Glava 6
Kompleksne mere
6.1
[
X
An =
(An ).
(6.1)
n=1
n=1
n=1
n=1
116
A=
S
n=1
An .
X
X
|(An )| ||(A).
|(A)| =
(An )
n=1
n=1
Ocigledno, ako je 0, onda je || = .
Dokazujemo sledece interesantno tvrdenje o minimalnom svojstvu totalne
varijacije kompleksne mere.
Teorema 6.1.1. Ako je kompleksna mera na R, tada je || pozitivna mera
na R. Pri tome, ako je proizvoljna pozitivna mera na R sa svojstvom
|(A)| (A) za svako A R, onda vazi ||(A) (A) za svako A R.
Dokaz. Ocigleno je ||() = 0. Potrebno je dokazati prebrojivu aditivnost
funkcije ||. Neka je An R disjunktna familija skupova, i neka je A =
S
An . Za svako n N neka je tn R sa svojstvom tn < ||(An ). Tada za
n=1
n
X
|(Enj )| ||(An ).
j=1
tn
n=1
|(En,j )| ||(A).
n=1 j=1
X
[
||(An )| ||
An .
n=1
n=1
117
XX
X X
|(An Fj )|
(An Fj )
|(Fj )| =
n
n
j
j
XX
X
=
|(An Fj )|
||(An ).
n
||(An ).
n=1
|(Gn )|
n=1
(Gn ) = (E).
n=1
n
X 1 X
zj
|zj |.
jS
j=1
118
P
|(Ej )| > t. Takode sledi da
postoji particija (Ej )j skupa X, tako da je
postoji n N tako da je
n
P
j=1
j=1
n
X
1X
t
(Ej )
|(Ej )| > = 1 + |(X)|.
j=1
jS
Neka je A =
S
jS
Ej . Tada je
|(A)| =
(Ej ) > 1.
jS
Neka je B = X \ A. Tada je
|(B)| = |(X) (A)| |(A)| |(X)| >
t
|(X)| = 1.
Dakle, uz pretpostavku ||(X) = +, sledi da postoje merljivi i uzajamno disjunktni skupovi A, B, tako da je X = AB, |(A)| > 1 i |(B)| > 1.
Takode je ||(A) = +, ili ||(B) = +. Neka je A1 = A i B1 = B. Pretpostavimo da je ||(B1 ) = +. Tada postoje disjunktni merljivi skupovi
A2 , B2 , sa svojstvima |(A2 )| > 1 i ||(B2 ) = +. Nastavimo ovaj postupak
za svaki prirodan broj n. Tada je (An )n niz uzajamno disjunktnih merljvih
S
skupova sa svojstvom |(An )| > 1. Kako je
Aj X, sledi da red
j=1
[
j=1
!
An
(An )
j=1
mora biti konvergentan, sto nije moguce jer je opsti clan po modulu uvek
veci od 1.
119
1
= (|| )
2
|| = + + .
= (+
R R ) + i(I I ),
Z
X
f d + i
f d+
R
f d :=
X
Z
X
,
f d
I
f d+
I
X
120
6.2
Apsolutna neprekidnost i
uzajamna singularnost
tada je .
Dokazacemo kasnije da je ovaj primer najvazniji u pogledu razmatranja
apsolutne neprekidnosti jedne mere u odnosu na drugu.
Mera je skoncentrisana na skupu A R, ako za svako E R vazi
(E) = (A E). Ekvivalentno, je skoncentrisana na skupu A, ako iz
E R i E A = sledi (E) = 0.
Mere 1 i 2 su uzajamno singularne, ako su skoncentrisane na medusobno
disjunkntnim skupovima (u oznaci 1 2 ).
Jednostavno je dokazati sledeci rezultat.
Teorema 6.2.1. Pretpostavimo da su , 1 , 2 , mere na -algebri R, pri
cemu je 0. Tada vazi:
(1) Ako je skoncentrisana na skupu A R, tada je || takode skoncentrisana na A;
(2) Ako je 1 2 , onda je |1 ||2 |;
(3) Ako je 1 i 2 , tada je (1 + 2 );
(4) Ako je 1 i 2 , onda je (1 + 2 ) ;
(5) Ako je , onda je || ;
(6) Ako je 1 i 2 , onda je 1 2 ;
(7) Ako je i , onda je = 0.
Dokazujemo vaznu karakterizaciju apsolutne neprekidnosti mera, cime
opravdavamo koriscenje pojma neprekidnost.
121
Ej ,
F =
Fn .
n=1
j=n
X
1
1
(Fn )
(Ej ) <
= n1 .
j
2
2
j=n
j=n
122
n2
+ (n ).
2
Takode je m.
Sa druge strane, ako je x0 0, > 0 i > 0, onda je
m x0 , x 0 +
< ,
2
1
2
x0 , x 0 +
=
x0 +
,
2
2
4
ako je x0 dovoljno veliki broj. Dakle, ne vazi tvrdenje (2) prethodne Teoreme
6.2.2.
Dokazujemo slican rezultat za uzajamnu singularnost mera.
Teorema 6.2.3. Neka su i pozitivne mere na (X, R). Tada su sledeca
tvrdenja ekvivalentna:
(1) .
(2) Za svako > 0 postoje A, B R, tako da je A B = X, A B = ,
(A) < i (B) < .
Dokaz. (1) = (2): Ova implikacija je jednostavna.
(2) = (1): Pretpostavimo da vazi tvrdenje (2), i neka je n N. Tada
postoje skupovi En R, tako da je (En ) < 21n i (Enc ) < 21n . Neka je
An =
Ek ,
A=
An .
n=1
k=n
X
1
1
(An )
(Ek ) <
= n1
k
2
2
k=n
k=n
A =
[
n=1
Acn ,
Acn
Acn+1 ,
Acn
\
k=n
Ekc Enc ,
123
6.3
S
An = X.
skupova (An )n , tako da je (An ) < za svako n N, kao i
n=1
Neka je
(
wn (x) =
Neka je w(x) =
P
n=1
0,
1
,
2n (1+(An ))
x X \ An ,
x An
n N.
wd imaju iste
124
a ,
s .
wd.
E
R
X
125
Z
sd =
n
X
j (Aj ) =
j=1
n
X
j (Aj ) +
j=1
j (Aj ) +
j=1
Z
=
n
X
sd +
!
j Aj
wd
Aj
wd
j=1
Z X
n
swd.
X
Z
sn d =
Z
sn d +
sn wd,
n N,
1/2
Z
Z
Z
Z
|F (f )| = f d |f |d |f |d |f |2 d ((X))1/2 .
126
za svako f L2 (X, ).
Uocimo skupove
A = {x X : 0 g(x) < 1},
B = {x X : g(x) = 1}.
Ocigledno je A B = X i A B = .
Definisemo mere a i s na sledeci nacin:
a (E) = (A E),
s (E) = (B E).
127
Z
(1 g
n+1
)d +
(1 g n+1 )d
AE
ZBE
(1 g n+1 )d = g(1 + g + g 2 + + g n )wd.
Sada je
(1 g n+1 )d = 0. Zbog 0 g < 1 na skupu A, sledi da niz
BE
n+1
(1 g )
monotono raste ka 1 na skupu E A. Dakle, na osnovu
n
Teoreme o monotonoj konvergenciji, sledi
Z
(1 g n+1 )d a (E),
n .
AE
Ako je E = X, onda je
Z
hd = a (X) = (A X) < ,
X
= +
R R + i(I I ), i primenom prethodnog rezultata na svaku od
cetiri pozitivne i ogranicene mere.
Dokazujemo teoremu u slucaju kada su obe mere pozitivne i -konacne.
Teorema 6.3.3. Neka su i pozitivne i -konacne mere na -algebri R
skupa X.
128
a ,
s .
Xn i (Xn ) <
na |Xn ,
ns |Xn ,
na (E Xn ),
E R,
ns (E Xn ),
E R,
h(x) = hn (x) za x Xn ,
n N.
a (E) =
n=1
s (E) =
X
n=1
129
6.4
X
Z
X
X
f d||
|(En )| =
t||(En ) = t||(At ).
n=1
n=1
n=1
En
Ako je t (0, 1), onda ocigledno mora biti ||(At ) = 0. Sledi da je |h| 1
||-ss.
Pretpostavimo da je ||(E) > 0. Tada je
Z
1
|(E)|
130
(E) = (B E).
B = {x X : h(x) = 1}.
(
h, na A,
0, na B.
AE
Glava 7
Izvod
7.1
Vitalijev pokriva
c
[
m E \
Jk = 0.
k
1
131
132
GLAVA 7. IZVOD
Dokaz. Skup E ne mora biti Lebeg merljiv. Medutim, uvek postoji spoljna
Lebegova mera skupa E, koja moze biti konacna ili beskonacna.
Pretpostavimo prvo da je m (E) < . Postoji otvoren skup U tako da
je E U i m(U ) < . Neka je A0 = {J A : J U }. Jednostavno je
utvrditi da je A0 takode Vitalijev pokrivac skupa A, sa ociglednom osobinom
A0 A.
Neka je J1 A0 proizvoljan segment. Ako je A J1 , ili je m (E \J1 ) = 0,
onda je dokaz zavrsen: trazeni niz (Jk )k se svodi na jedan element J1 . Stoga
pretpostavimo da je m (E \ J1 ) > 0. Skup J1 je zatvoren, te je U1 = U \ J1
otvoren. Kako je E \ J1 U1 , sledi da je U1 6= . Proizilazi da je
0 < c1 =
sup
m(J) < +.
JA0 ,JU1
J1 J2 = .
E\
Jk
k=1
= 0.
Primetimo da vazi
!
n
!
n
!
[
[
[
E\
Jk E \
Jk U \
Jk = Un ,
k
k=1
k=1
7.1. VITALIJEV POKRIVAC
133
S
za svako n N. Neka je n0 N. Za svako x E \ ( k Jk ) Gn0 postoji
J(x) A0 tako da je x J(x) Un0 .
Tvrdimo da nije moguce J(x) Uk za svako k n0 . Ako bi ipak bilo
J(x) Uk za svako k n0 , onda bi S
sledilo m(J(x))S ck < 2m(J
P k+1 ) za
svako k n0 . Medutim, na osnovu Jk U i m ( k Jk ) =
m(Jk )
k
P k
m(U ) < +. Sledi da je red
m(Jk ) konvergentan i lim m(Jk ) = 0.
k
!
p(x)
S
. Na osnovu J(x) * Up(x) sledi J(x)
Jk 6= . Dakle, J(x)Jp(x) 6=
k=1
S
puta vecom duzinom. Za svako n0 N ispunjeno je x E \
J k U n0 .
k
[
[
Jk
Dk
E
l
k=n0
za svako n0 N. Sledi
!!
[
X
X
m E\
Jk
m (Dk ) = 5
m(Jk ) 0,
l
k=n0
n0 .
k=n0
S
Proizilazi da je m E \
Jk
= 0.
134
GLAVA 7. IZVOD
n
!!
[
m E\
Jk
< .
k=1
k=n+1
E\
n
[
!
Jk
E=
!!
Jk
Jk
k=1
k=n+1
k=1
!c !
te je
E\
n
[
!!
Jk
E\
!!
Jk
k=1
k=1
m(Jk ) < .
k=n+1
7.2
Monotone funkcije
Osnovni cilj ove lekcije jeste dokaz da monotona funkcija ima izvod m-skoro
svuda. Osim toga, vazi jedan smer nejednakosti u Njutn-Lajbnicovoj formuli.
Neka je f : [a, b] R funkcija i neka je x (a, b). Izvod funkcije f u
tacki x je, ukoliko postoji, sledeca granicna vrednost:
f (y) f (x)
.
yx
yx
f 0 (x) = lim
135
Izvod funkcije u nekoj tacki ne mora postojati. Zato ima smisla nametnuti
slabije zahteve, kao sto su levi ili desni izvod u tacki, kao i gornji i donji (levi
ili desni) izvod funkcije u tacki.
Definicija 7.2.1. (Dinijevi2 izvodi) Neka je f : [a, b] R i neka je x, y
[a, b], x 6= y, kao i
f (y) f (x)
(x, y) =
.
yx
Dinijevi izvodi funkcije f u tacki x jesu sledece vrednosti u skupu R :
(1) D f (x) = lim inf (x, y) (donji levi izvod);
yx
u, v Q.
136
GLAVA 7. IZVOD
Tada je
E=
Euv .
u,vQ
f (x + h) f (x)
D+ f (x) = sup inf
< v,
h(0,t)
h
t>0
proizilazi da je
f (x + h) f (x)
<v
h(0,t)
h
inf
k0
[
m Euv \
Ik .
k=1
k=1
k0
X
137
k=1
!
f
(y
+
s)
f
(y)
u < D+ f (y) = inf sup
.
t>0 s(0,t)
s
k0
S
k=1
Ik ,
Na vec opisani nacin konstruisemo Vitalijev pokrivac A1 skupa Auv , koji ima
sledeca svojstva:
(i) Za svako y Auv postoji segment [y, y+s], s > 0, tako da je [y, y+s]
V (a, b);
(ii) us < f (y + l) f (y);
(iii) s je proizvoljno mali pozitivan broj.
Prema posledici Teoreme Vitalija, sledi da postoji konacno mnogo uzajamno disjunktnih elemenata Jk = [yk , yk + sk ] A1 , k = 1, . . . , k1 , tako da
je
!
k1
[
Jk < .
m Auv \
k=1
Takode je
u
k1
X
sk <
k=1
k1
X
k=1
Segmenti Jk su sadrzani u segmentima Il , segmenti Jk su uzajamno disjuntni, segmenti Il su uzajamno disjunktni, funkcija f je neopadajuca. Stoga
je
k0
k1
X
X
(f (yk + sk ) f (yk ))
(f (xk + hk ) f (xk )).
k=1
k=1
Na osnovu cinjenice
Euv =
Euv
k
0
[
k=1
!c !
Ik
Euv
k
0
[
k=1
!!
Ik
138
GLAVA 7. IZVOD
kao i
m (Auv ) = m Euv
k
0
[
!!
Ik
= m Euv
k
0
[
!!
Ik
k=1
k=1
proizilazi da vazi
m (Euv ) + m (Auv ).
Vazi i sledece:
Auv \
k1
[
!
Jk
= m (Auv ) m
Auv
k=1
k
1
[
!!
Jk
< .
k=1
Stoga je
m (Auv + m
Auv
k
1
[
!!
+ m
Jk
k
1
[
!
Jk
k=1
k=1
k1
X
Ik
k=1
k1
X
(f (yk + sk ) f (yk ))
k=1
k0
X
(f (xk + hk ) f (xk )) v(m (Euv ) + ).
k=1
139
f (x + hn ) f (x)
, x [a, b], n N.
hn
Tada je lim gn (x) = f 0 (x) za m-skoro svako x [a, b]. (gn )n je niz pozitivnih
n
i merljivih funkcija. Na osnovu Fatuove leme sledi da je
gn (x) =
Zb
Zb
f (x)dm(x) lim inf
gn (x)dm(x).
Zb
Zb
Z n
1
gn (x)dm(x) =
f (x)dm(x) f (x)dm(x)
hn
a
a
a+hn
b+h
a+h
n
Z
Z n
1
f (x)dm(x)
=
f (x)dm(x)
hn
a
= f (b)
Time je teorema dokazana.
1
hn
a+h
Z n
140
GLAVA 7. IZVOD
7.3
Funkcije ograni
cene varijacije
n
X
|f (xk ) f (xk1 )| C,
k=1
V(f ) = sup
a
n
X
|f (xk ) f (xk1 )|
k=1
totalna varijacija funkcije f na [a, b], pri cemu je supremum uzet po svim
podelama P segmenta [a, b].
Lako je uvideti da ako je f realna i monotona funkcija na segmentu [a, b],
onda je f ogranicene varijacije na [a, b], pri cemu je Vba (f ) |f (b) f (a)|.
Takode, ako je f BV [a, b], onda je f ogranicena funkcija na [a, b].
Dokazacemo osnovna tvrdenja o funkcijama ogranicene varijacije.
Teorema 7.3.1. Neka je f, g BV [a, b] i C. Tada je f, f + g
BV [a, b], Vba (f ) = || Vba (f ) i Vba (f + g) Vba (f ) + Vba (g).
Dokaz. Formula Vba (f ) = || Vba (f ) je ocigledno tacna, odakle sledi f
BV [a, b]. Neka je h = f + g i a = x0 < x1 < < xn = b proizvoljna podela
segmenta [a, b]. Tada je
n
X
k=1
|h(xk ) h(xk1 )|
n
X
|f (xk ) f (xk1 )| +
k=1
b
n
X
k=1
V(f ) + V(g),
|g(xk ) g(xk1 )|
7.3. FUNKCIJE OGRANICENE
VARIJACIJE
141
k=1
n
X
k=1
n
X
k=1
n
X
k=1
n
X
|g(xk ) g(xk1 )| + N
n
X
|f (xk ) f (xk1 )|
k=1
k=1
b
M V(g) + N V(f ).
Time je dokazano f g BV [a, b]. Drugi deo tvrdenja ostavljen je citaocu za
samostalan rad.
Teorema 7.3.3. Neka je a, b, c R, a < b < c, i neka je f realna funkcija
definisana na segmentu [a, b]. Tada je f BV [a, b], ako i samo ako je
f (BV [a, c]) (BV [c, b]). Pri tome je
b
142
GLAVA 7. IZVOD
|f (yk ) f (yk1 )| +
k=1
n
X
k=1
Sledi da je
c
|f (xk )f (xk1 )| =
k=1
j
X
k=1
odakle sledi
n
X
k=j+1
b
|f (xk ) f (xk1 )|
j
X
k=1
k=1
n
X
k=j+2
x1
x2
x2
x1
7.3. FUNKCIJE OGRANICENE
VARIJACIJE
143
x1
x2
x1
, x 6= 0,
x cos 2x
0,
x = 0.
Tada je f neprekidna funkcija na [0, 1], ali nije ogranicene varijacije na [0, 1].
Dokaz. Neka je Pn podela segmenta [0, 1]:
0<
1
1
1
<
< < < 1
2n
2n 1
2
za svako n N. Tada je
1
1 1
1
|f (xk ) f (xk1 )| =
+ 2 1 + + + +
(n ).
2n
2 3
n
k=1
n
X
144
GLAVA 7. IZVOD
Posledica 7.3.2. Neka je f BV [a, b]. Tada funkcija f moze imati prekide
samo prve vrste na [a, b], i to njih najvise prebrojivo mnogo.
Dokaz. Na osnovu f = u+iv = (u1 u2 )+i(v1 v2 ), pri cemu su u1 , u2 , v1 , v2
realne neopadajuce funkcije na [a, b].
Posledica 7.3.3. Ako je f BV [a, b] tada je f Borelova (samim tim i
Lebeg-merljiva) funkcija.
Posledica 7.3.4. Ako je a, b R, a < b, i ako je f BV [a, b], tada postoji
f 0 (x) m-skoro svuda na [a, b]. Pri tome, f 0 je Lebeg-integrabilna na [a, b].
7.4
j=1
145
Dokaz. Neka broju > 0 odgovara broj > 0 u definiciji apsolutne neprekidnosti funkcije f . Interval [a, b] podelimo tackama x0 , . . . , xn , tako da je
a = x0 < x1 < x2 < < xn1 < xn = b,
i pri tome |xj xj1 | < za svako j = 1, . . . , n. Dokazacemo da je f
BV [xj1 , xj ] za svako j = 1, . . . , n. Neka je
xj1 = t0 < t1 < < tk1 < tk = xj .
Tada je
m
!
(tj1 , tj )
X
(tj tj1 ) = |xj xj1 | < ,
j
146
GLAVA 7. IZVOD
(j , j ). Tada je (a, b) =
j=1
(j , j ) F . Vazi
j=1
j
Zb
f dm =
Z
X
j=1
Z
f dm +
F
Rb
f dm.
f dm = 0,
Zj
Zj
f dm =
te sledi da je
Zj
f dm
f dm = 0,
a
g dm + C,
x [a, b],
Zj
Zj
|f (j ) f (j )| = g dm |g| dm,
j
j
n
X
147
Z
|f (j ) f (j )|
|g| dm.
S
j=1
(j ,j )
n
n
X
X
(j j ) < =
|f (j ) f (j )| =
j=1
j=1
(j ,j )
x+ n
|fn (x)| = n f x +
f (x) n
|g(t)| M.
n
x
Zx0
Zx0
1
f dm = ( lim fn )dm = lim n
f t+
f (t) dm(t).
n
n
n
0
x0 + n
Zx0
Z
1
f t+
dm(t) =
f dm.
n
a
1
a+ n
148
GLAVA 7. IZVOD
Stoga je
Zx0
f 0 dm = lim n
f dm
1
a+ n
1
x0 + n
x0
f dm .
1
1
a+
a+ n
n
Z
Z
f dm f (a) n
|f f (a)| dm < .
n
a
Sledi da je
1
a+ n
lim n
f dm = f (a).
Analogno,
1
x0 + n
lim n
f dm = f (x0 ).
x0
Dakle,
Zx0
Zx0
0
f dm = f (x0 ) f (a) =
a
Prema tome,
gdm.
a
Zx0
(f 0 g)dm = 0
a
149
(
g(x), g(x) n,
gn (x) =
n,
g(x) > n.
Tada je 0 gn (x) g(x) za svako x [a, b] i svako n N. Takode je
lim gn = g. Funkcija
Zx
x 7 hn (x) =
(g(t) gn (t))dm(t),
x [a, b],
je neopadajuca funkcija. Stoga postoji h0n (x) za m-skoro svako x [a, b].
Kako su funkcije gn ogranicene, prema prethodno dokazanom specijalnom
slucaju, vazi
Zx
d
gn (t)dm(t) = gn (x)
dx
a
d
=
dx
Zx
g(t)dm(t) gn = f 0 (x) gn (x)
a
Zb
0
f dm f (b) f (a) =
a
gdm.
a
Zb
f 0 dm =
gdm.
a
150
GLAVA 7. IZVOD
Rb
Tada je (f 0 g)dm = 0. Kako je f 0 g m-skoro svuda na [a, b], sledi da je
a
Sledi da je
.
yx
yx
Zv
v 0 dm v(b) v(a) = V f.
|g|dm
Sledi da je
b
Zb
Vf
|g|dm.
i = 1, . . . , n.
7.5. TEOREME DIFERENCIJALNOG I INTEGRALNOG RACUNA
151
Teorema 7.4.4. Neka je f : [a, b] C i neka je f = (Re f )+ (Re f ) +
i ((Im f )+ (Im f ) ). Funkcija f je apsolutno neprekidna na [a, b] ako i
samo ako su sve nenegativne funkcije (Re f )+ , (Re f ) , (Im f )+ , (Im f ) apsolutno neprekidne na [a, b].
Jedna od najvaznijih osobina apsolutno neprekidnih funkcija sledi.
Teorema 7.4.5. Neka je a, b R, a < b, i neka je f : [a, b] C apsolutno
neprekidna funkcija. Ako je f 0 (x) = 0 m-skoro svuda na [a, b], tada je f
konstantna funkcija na [a, b].
Dokaz. Neka je a < c < b i neka je E = {x (a, c) : f 0 (x) = 0}. Tada je
m(E) c a. Formiramo Vitalijev pokrivac skupa E, na sledeci nacin.
Za svako x E je ispunjeno
f (x + h) f (x)
= 0.
h0+
h
f 0 (x) = lim
f (x + h) f (x)
< .
(7.1)
7.5
152
GLAVA 7. IZVOD
Zb
(f10 + f20 )dm f1 (b) f1 (a) + f2 (b) f2 (a) < +.
|f |dm
a
Zx
f 0 dm,
x 7 F (x) = f (x)
x [a, b],
f (x) =
x [a, b].
7.5. TEOREME DIFERENCIJALNOG I INTEGRALNOG RACUNA
153
Rx
gdm za svako x R;
(2.2) V f < +;
Zb
f (x)g(x)dm(x) =
[f (x)G(x)]ba
f 0 (x)G(x)dm(x),
Rx
gdm.
Sledi da vazi
Zb
Zb
f 0 Gdm +
f gdm = [f G]ba ,
a
154
GLAVA 7. IZVOD
j=1
za svaku konacnu familiju (u1 , v1 ), . . . , (um , vm ) uzajamno disjunkntih intervala u [a, b].
Neka je > 0, g(uj ) = tj , g(vj ) = sj , j = 1, . . . , n. Funkcija g je
strogo rastuca, te je (t1 , s1 ), . . . , (tn , sn ) uzajamno disjunktan niz intervala u
[g(a), g(b)]. Za dato > 0 neka je > 0 odovarajuci broj iz definicije
apsolutne neprekdinsti funkcije f .
Ako je m = n, uj = u0j i vj = vj0 za svako j = 1, . . . , n, onda sledi
apsolutna neprekidnost funkcije f g.
n
X
j=1
Z
f (G(t))G0 (t)dm(t).
f (x)dm(x) =
a
7.6
Podsetimo da je topoloski prostor X prve kategorije, ako je X najvise prebrojiva unija nigde gustih skupova. Svaki topoloski prostor koji nije prve
kategorije, jeste druge kategorije. Ako je (X, d) kompletan metricki prostor,
tada je X skup druge kategorije.
Neka je C[a, b] prostor realnih ili kompleksnih neprekidnih funkcija na
segmentu [a, b], i neka je k k norma na ovom prostoru. Tada je (C[a, b], k
156
GLAVA 7. IZVOD
f (t) f (x)
1
<n
.
0 < |t x| <
=
m
tx
Ako je f D[a,Sb], onda postoje n, m N tako da je f An,m . Dakle,
D[a, b] A :=
An,m .
n,mN
fk (t) fk (xk )
1
< n.
0 < |xk t| <
=
m
t xk
Niz (xk )k je ogranicen, te postoji konvergentan podniz ovog niza. Bez gubljenja
opstosti, novi konvergentan podniz oznacimo sa (xk )k , pri cemu smo, eventualno, izostavili neke xl i odgovarajuce fl . Neka je lim xk = x0 [a, b]. Ako
k
f (t) f (x0 )
fk (t) fk (xk )
n.
lim
t x0 = k
t xk
Dokazali smo da je f An,m , te je An,m zatvoren skup.
Dokazimo da je An,m nigde gust, odnosno da je unutrasnost ovog zatvorenog
skupa jednaka praznom skupu. Pretpostavimo da je f int An,m za neko
n, m N. Tada postoji neko > 0 tako da je
K(f, ) = {h C[a, b] : kf hk < } An,m .
|g 0 (x)| = p0 (x) k .
2
Na osnovu |p0 (x)| M i k >
2(M +n)
,
sledi da vazi
g(t) g(x)
t x > n.
Dokazali smo g
/ An,m , te jeSAn,m nigde gust skup.
Sledi da je skup A = n,m An,m prve kategorije u C[a, b]. Kako je
D[a, b] A, sledi da je D[a, b] takode prve kategorije. Sledi da N D[a, b]
mora biti skup druge kategorije.
Posledica 7.6.1. Postoje neprekidne funkcije na [a, b], koje nisu diferencijabilne ni u jednoj tacki tog segmenta.
158
GLAVA 7. IZVOD
Napomena 7.6.1. Teorema tvrdi mnogo vise, nego sto je zakljucak prethodne
posledice.
Neprekidnih nigde diferencijabilnih funkcija ima mnogo vise, nego sto ima
funkcija koje su neprekidne i diferencijabilne u bar jednoj tacki segmenta
(poredenje je uzeto u smislu skupova prve ili druge kategorije).
Stoga je diferencijabilnost neprekidne funkcije u jednoj tacki izuzetak, a
nediferencijabilnost neprekidne funkcije ni u jednoj tacki je pravilo.
7.7
Va
zni primeri u teoriji funkcija
Ova sekcija sadrzi primere u teoriji funkcija. Neki primeri mogu biti shvaceni
kao kontra-primeri u razumevanju uzajamnog odnosa neprekidnosti i diferencijabilnosti. Drugi primeri pokazuju da se pojedine pretpostavke u vaznim
teoremama ne mogu izostaviti.
Neprekidne nigde diferencijabilne funkcije
Navodimo primere neprekidnih funkcija, koje nigde (ili uglavnom nigde)
nemaju izvod.
Primer 7.7.1. (Vajerstrasova3 funkcija) Neka je 0 < a < 1, b je prirodan i
neparan broj, tako da je ab > 1 + 32 . Neka je
W (x) =
an cos(bn x),
x R.
n=0
x R, n N.
159
X
]10n x[
V (x) =
, x R.
n
10
n=0
Funkcija V je neprekidna na R i nigde diferencijabilna na R.
n
x[
Dokaz. Funkcije x 7 ]10
su neprekidne i ogranicene sa 101n za svako n
10n
N. Prema Vajerstrasovom kriterijumu, red kojim je definisana funkcija f ,
ravnomerno konvergira na R, te je V neprekidna funkcija na R.
Neka je sada 0 x < 1 i neka je x = 0, a1 a2 . . . decimalni zapis broja x,
pri cemu se cifra 9 ne ponavlja beskonacno puta na kraju ovog zapisa. Ako
je ovaj decimalni zapis konacan, onda na kraju dopisemo beskonacno mnogo
cifara 0.
Tada je 10n x = a1 a2 . . . an , an+1 an+2 . . . . Posmatrajmo y = 0, an+1 an+2 . . . .
Vazi
(
y,
y 12 ,
n
]10 x[=
1 y, y > 12 .
X
V (x + hk ) V (x)
]10n (x 10k )[]10n x[
k
= 10
= 10k
n
hk
10
n=0
k
X
n=0
n=k+1
160
GLAVA 7. IZVOD
Sledi da je
V (x + hk ) V (x)
x
ceo broj, i to nazmenicno paran ili neparan, za svako k N. Kako je
lim hk = 0, sledi da funkcija V nije diferencijabilna u tacki x.
k
P
n=1
1
k1
sin(k 2 x), x R.
1
,
4
3
,
4
x I12 ,
x I22 .
19 U20tre
,
, 26 . Neka je
, I43 = 25
27 27
27 27
1
8,
3,
K(x) = 85
87
,
8
, 2
27 27
161
, I23 =
, 8
27 27
, I33 =
x I13 ,
x I23 ,
x I33 ,
x I43 .
x0 C.
0=
0
P
[0, 1). Tada je x =
ak 21k jedinstven binarni zapis broja x, pri cemu je
n=1
X
Kh (x) =
ak hk .
n=1
162
GLAVA 7. IZVOD
163
Stoga se kao primer prve neprekidne funkcije koja nije nigde diferencijabilna, uzima funkcija Vajerstrasa. Pri tome, funkcija koje je dobio Darbu,
nezavisna je od rezultata Vajerstrasa.
Prica se ovde ne zavrsava. Vajerstras je javno saopstio rezultat o postojanju neprekidne nigde diferencijabilne funkcije u Pruskoj akademiji nauka
1872. godine, ali taj rezultat je objavljen prvi put u radu Du Bua-Rejmona10
1875. godine [8].
10
164
GLAVA 7. IZVOD
Glava 8
Mera i integracija na proizvodu
prostora
8.1
Ex = {y Y : (x, y) E},
[
[
En
=
(En )x ,
S
n=1
n=1
odakle sledi En .
Na osnovu cinjenice da je R1 R2 najmanja -algebra koja sadrzi sve
merljive pravougaonike, sledi da je = R1 R2 .
Analogno se dokazuje drugi deo tvrdenja.
Teorema 8.1.2. R1 R2 je najmanja monotona familija koja sadrzi sve
merljive elementarne figure u X Y .
Dokaz. Oznacimo sa E familiju svih merljivih elementarnih figura u X Y ,
i oznacimo sa M najmanju monotonu familiju u X Y koja sadrzi E. Na
osnovu cinjenice da je R1 R2 jedna -algebra, sledi da je R1 R2 monotona
familija. Na osnovu E R1 R2 sledi M R1 R2 .
Da bi dokazali obrnutu inkluziju R1 R2 M, pretpostavimo A1 , A2
R1 i B1 , B2 R2 . Tada vazi
(A1 B1 ) (A2 B2 ) = (A1 A2 ) (B1 B2 ),
(A1 B1 ) \ (A2 B2 ) = ((A1 \ A2 ) B1 ) ((A1 A2 ) (B1 \ B2 )).
Sledi da je presek dva merljiva pravougaonika opet merljivi pravougaonik, dok
je razlika dva merljiva pravougaonika disjunkta unija dva merljiva pravougaonika
odnosno jedna merljiva elementarna figura. Dakle, ako je C, D E, onda
je C D E, C \ D E, C D = (C \ D) D E.
Za svaki spup P X Y definisemo familiju skupova (P ) na sledeci
nacin:
(P ) = {Q : Q X Y, P \ Q M, Q \ P M, P Q M}.
Ocigledno, Q (P ) ako i samo ako P (Q). Kako je M monotona
familija, sledi da je i (P ) monotona familija.
Pretpostavimo sada da je P E. Na osnovu osobina familije E, sledi da
za svako Q E vazi Q (P ). Sledi E (P ). Kako je M najmanja
monotona familija koja sadrzi E, sledi da je M (P ) za svako P E.
Neka je sada Q M. Upravo smo pokazali da ako je P E, onda je
Q (P ).
Glava 9
Reprezentacije funkcionala
9.1
|f |d M (supp(f )) < .
supp(f )
167
f Cc (X),
168
9.2
9.3
Reprezentacia ograni
cenih funkcionala na
Lp(X, )
1
p
9.3. REPREZENTACIA OGRANICENIH
FUNKCIONALA NA LP (X, )169
(2) Preslikavanje F : g 7 g je izomorfizam iz Banahovog prostora
Lq (X, ) na Banahov prostor (Lp (X, )) .
Dokaz. (1) Ako je f Lp (X, ), na osnovu nejednakosti Heldera sledi da
vazi
Z
Z
|g (f )| = f gd |f g|d kf kp kgkq .
E R.
Funkcional je linaran, te odmah sledi konacna aditivnost funkcije . Dokazacemo prebrojivu aditivnost ove funkcije.
Neka je (En )n niz uzajamno disjunktnih skupova iz R, i neka je E =
S
En . Neka je Fn = E1 En , n N. Tada je Fn Fn+1 za svako n,
n=1
kao i
S
n=1
Fn = E. Takode je
1/p
Z
kE Fn kp = |E Fn |p d = ((E \ Fn )1/p .
X
Niz (E \ Fn )n je opadajuci,
n=1
170
Ako je s prosta merljiva funkcija, onda je s linearna kombinacija karakteristicnih funkcija. Imajuci u vidu linearnost funkcionala i linearnost integrala,
proizilazi da vazi formula
Z
(s) =
sgd
X
(f ) =
f gd
(9.1)
Z
|g|q d =
An
= kk
An
f gd = (f ) kk
|f |p d =
An
An
1/p
|g|q d
1/p
|f |p d
9.4. REPREZENTACIJA OGRANICENIH
FUNKCIONALA NA C0 (X)171
Sledi
1q
|g|q d kk.
An
S
u slucaju da uzimamo u obzir i prosirene realne funkcije). Ako je Y =
An ,
n=1
1q
|g|q d = lim
n
Dakle,
1q
|g|q d kk.
An
1q
|g|q d kg k.
9.4
Reprezentacija ograni
cenih funkcionala na
C0(X)
172
Glava 10
Diferenciranje mera
173
174
Glava 11
Vektorske mere
175
176
Literatura
[1] S. Aljancic, Uvod u realnu i funkcionalnu analizu, Gradevinska knjiga,
Beograd, 1968.
[2] A. M. Amp`ere, Recherches sur quelques points de la theorie des fonctions derivees qui condusent a une nouvelle demonstration de la serie
de Taylor, et `a lexpression finie des termes quon neglige lorsquon arrete
`
cette serie `a un terme quelconque, J. Ecole
Polytech. 6 (1806), No. 13,
148181.
[3] M. Arsenovic, M. Dostanic, D. Jocic, Teorija mere, funkcionalna analiza, teorija operatora, Prirodno-matematicki fakultet, Beograd, 1997.
[4] V. Bogachev, Measure theory, volumes 1 and 2, Springer, BerlinHeidelberg, 2007.
[5] C. Constatinescu, W. Filter, K. Weber, A. Sontag, Advanced integration
theory, Kluwer, Dordrecht-Boston-Londnon, 1998.
[6] J. Diestel, J. J. Uhl, Jr., Vector measures, American Mathematical Society, Providence, Rhode Island, 1977.
[7] B. Driver, Analysis tools with examples, Springer, Berlin - Heidelberg New York, 2003.
[8] P. Du Bois-Reymond, Versuch einer Classification der willk
urlichen
Funktionen reeller Argumente nach ihren Aenderungen in den kleinsten
Intervallen, J. Reine Angew. Math. 79 (1875), 2137
[9] N. Dunford, J. Schwartz, Linear operators, part I, Interscience Publishers, 1958.
[10] H. Federer, Geometric measure theory, Springer, New York, 1969.
177
178
LITERATURA
LITERATURA
179
[26] B. L. van der Waerden, Ein einfaches Beispiel einer nichtdifferenzierbaren stetigen Funktion, Math. Zeit. 32 (1930), 474-475.
[27] K. Weierstrass, Abhandlungen aus der Functionenlehre, Julius Springer,
Berlin, 1886.
[28] A. C. Wheeden, A Zigmund, Measure and integral, Marcel Dekker, New
York, 1977.
[29] J. Yeh, Real analysis: theory of measure and integration, World Scientific, New Jersey, 2006.
[30] A. C. Zaanen, Integration, North Holland, Amsterdam, 1967.