Professional Documents
Culture Documents
SKRIPTA
preliminarna i eksperimentalna verzija koja
trpi stalne promene
MAJ 2013.
(posleda verzija se nalazi na
www.matf.bg.ac.rs/milinko)
Darko Milinkovi
(Dejvid Linq)
j=1
U Glavi 1 teoriju neprekidnosti i limesa izlaemo preko nexto opxtijeg pojma filtera, koji omoguava da se pojmovi kao xto su limes niza, limes
funkcije, neprekidnost, Rimanov integral, obuhvate jednom definicijom.
Takav naqin izlagaa je konzistentno zastup en u Burbakijevim i Dijedoneovim kigama (videti [4, 6]), a kod nas ga je svojevremeno zastupao prof.
D. Aranelovi, u predavaima [2] koja smo imali sreu i zadovo stvo da
sluxamo i na kojima smo se prvi put sreli sa ovim pojmovima. Ova glava je
postupni prelaz sa Analize 1 na Analizu 2; u oj izlaemo i proxirujemo
neke pojmove sa kojima se qitalac sreo i ranije (ponav ajui povremeno neke
f 0 (a) = lim
Neka je f funkcija vixe realnih promen ivih, tj. neka je f kao u (z), sa
X = . . . = X = R i Y = R. Tada je, za fiksiranu taqku a = (a , . . . , a ) A,
sa
x 7 f (a , . . . , a , x , a , . . . , a )
definisana funkcija jedne promen ive. en izvod (ukoliko postoji) se
naziva parcijalnim izvodom funkcije f po promen ivoj x u taqki a i oznaqava sa
f
1
j1
j+1
xj
(a).
f
f
,...,
.
x1
xk
f :=
b2
x 7
f (x, y) dy
b1
Z
b2
f (x, y) dy dx.
b2
a2
Z
b1
f (x, y) dx dy.
a1
F : Rk Rk
koja je glatka, tj. takva da su x funkcije klase C (neprekidno diferencijabilne realne funkcije jedne realne promen ive). Definiximo
1
F dr :=
dr
dt,
dt
dr
=
dt
dx1
dxk
,...,
.
dt
dt
F = f
f : N X Y,
Ako je f
lim
:XC
Z
fn (x) dx =
a n
n=1
fn (x).
cn z n .
redovi
+
X
cn z n ;
+
X
=0
za n < 0. Specijalno, za z = e
it
cn eint ,
= cos +i sin
, moemo da napixemo
a0
+
(an cos nt + bn sin nt).
2
n=1
f (t)eitx dt
fb(x) :=
Sadraj
GLAVA 1. Neke topoloxke i algebarske strukture u analizi
GLAVA 2. Diferencirae
1. Diferencirae u normiranim prostorima
2. Diferencirae na mnogostrukostima
GLAVA 3. Integracija
1. Integracija u euklidskom prostoru
2. Integracija na mnogostrukostima
GLAVA 4. Nizovi i familije funkcija
GLAVA 5. Uvod u Furijeovu analizu
Literatura
Indeks
11
133
133
188
211
211
231
253
291
319
321
GLAVA 1
x0
f F g {s S | f (s)g(s)} F.
12
k+1
k=1
= lim f
ako za svako > 0 vai2 d(f (s), ) <F , odnosno, na osnovu (3),
F
Dokazati da vai
f =F g lim f = lim g.
FN
FN
Dokazati ove ekvivalencije. Dokazati da se ova definicija limesa niza svodi na definiciju iz (1) kada je M = R sa standardnom metrikom d(x, y) = |y x|.
Iz zadatka u (6) sledi da je limes niza jedinstven i da ne zavisi
od konaqno mnogo qlanova niza.
(8) Niz x : N R je rastui ako je x x , a opadajui ako je
x
x . Niz je monoton ako je rastui ili opadajui. Iz Aksiome supremuma (i definicije supremuma) sledi da je rastui niz
konvergentan ako i samo ako je ograniqen odozgo. Zaista, ako je x
rastui i ograniqen odozgo, onda postoji
Zadatak:
n+1
n+1
a := sup{an | n N}.
Tada a a jer, za svako > 0, postoji a ]a , a ] (u protivnom bi a bilo gore ograniqee mae od supremuma), a onda
je, zbog monotonosti, a ]a , a ] za sve n n . Sliqno, opadajui
niz je konvergentan ako i samo ako je ograniqen odozdo.
n
n0
13
(n)
(n)
B[a; ] = {x M | d(a, x) }.
je skup
S(a; ) = {x M | d(a, x) = }.
M = M1 Mn
Mj
14
dp (x, y) =
n
P
dMj (j x, j y)p
1/p
(1 p < +);
j=1
Nejednakost
trougla za 1 p < + sledi iz nejednakosti Minkovskog.3 Zadatak: Dokazati da je lim d (x, y) = d (x, y).
Specijalno, za M = = M = R sa standardnom metrikom
d(x, y) = |y x| i p = 2 dobijamo standardni euklidski prostor.
Zadatak: Nacrtati lopte B[0; 1] u (R , d ) za 1 p +.
Uopxtee prethodnog primera: Neka je (Y, d) metriqki prostor
i B (T ) skup svih ograniqenih preslikavaa f : T Y . Tada
je sa
1jn
f : R [1, 1],
f (x) =
x
1 + |x|
15
dp : Q Q [0, +[,
(dokazati!), koja se naziva ultrametriqkom nejednakoxu. Zadatak: Dokazati da svaki metriqki prostor u kome vai ultrametriqka nejednakost ima svojstvo da, ako je d(x, y) 6= d(y, z),
onda je d(x, z) = max{d(x, y), d(y, z)}. Dokazati da ako dve lopte
u takvom prostoru imaju zajedniqku taqku, onda je jedna od tih
lopti sadrana u drugoj, i da je svaka taqka lopte en centar.
(13) Zadatak: Dati primer metriqkog prostora (M, d) u kome postoje dve
lopte B]x ; r [ i B]x ; r [ takve da je r < r , a B]x ; r [ B]x ; r [
(strog podskup).
(14) Rastojae izmeu dva skupa. Neka je (M, d) metriqki prostor i A, B
egovi podskupovi. Rastojae izmeu A i B je
1
inf
d(a, b).
(a,b)AB
16
0+
{x1 , . . . , xn } U
{x1 , x2 , x3 , . . .} U ?
Fa
17
Specijalno, taqka a M je taqka nagomilavaa metriqkog prostora M ako je u svakoj enoj okolini sadrano beskonaqno mnogo
taqaka (ovo je specijalni sluqaj prethodne definicije za B = M ).
(20) Neka je M metriqki prostor i a M taqka nagomilavaa. Skup
svih probuxenih okolina taqke a je filter; oznaqimo ga sa F . Limes
preslikavaa f : A\{a} N metriqkog prostora M u metriqki prostor N po ovom filteru oznaqavamo sa lim f (x) i zovemo graniqnom vrednoxu ili limesom preslikavaa f u taqki a. Zadatak:
Dati ekvivalentnu definiciju na jeziku. Dokazati da se ova
definicija svodi na definiciju iz (1) kada je M = R sa standardnom
metrikom d(x, y) = |y x|.
Zadatak: Dokazati da je lim f (x) = A ako i samo ako je
funkcija
(
f (x), za x 6= a
fe(x) =
A,
za x = a
neprekidna u taqki a. Izvesti odatle i iz karakterizacije neprekidnosti preko nizova u (18) karakterizaciju limesa preslikavaa preko
limesa niza.
u ravni R R i
(21) Zadatak: Nai domen funkcije f (x, y) =
ispitati da li se ona moe neprekidno (u standardnoj euklidskoj
metrici) produiti na celu ravan.
(22) Zadatak: Dokazati da je preslikavae metriqkih prostora f : T
M neprekidno u taqki a T ako i samo ako je (a; f ) = 0, gde je
(a; f ) oscilacija preslikavaa f u taqki a (videti (16)).
(23) Limesi u beskonaqnosti i beskonaqni limesi. Familija F podskupova u R koji sadre {t R | t > c} za neko c R je filter
probuxenih okolina taqke +; limes funckije f : R M po ovom
filteru naziva se limesom funkcije u + i oznaqava sa
0
a
xa
xa
sin2 (xy)
|x|+|y|
F+
18
(B2) U B V B (W B) W U V .
(B3) / B.
Ako je B baza filtera na S, onda je
F = {X P(S) | (V B) V X}
{{n, n + 1, . . .} | n N}
lim f = lim f .
FS
s0
t0
x+
lim
1+
1
n
= e,
1
= e.
R3x+
x
S f : S R Gori
lim
1+
XF
19
Primer: Neka je
f : C \ {0} R,
f (z) = i|z|1 (z 2 z 2 ).
z0
Intervali [x , x ] nazivaju se intervalima podele. Podela sa uoqenim taqkama intervala I = [a, b] je par (P, ~c), gde je P = {x , . . . , x }
podela, a ~c = (c , . . . , c ) k { torka taqaka takvih da je c [x , x ].
Parametar podele P je broj
j
j+1
j1
(P ) < d P X.
f (P, ~c) :=
n
X
j=1
f (x) dx := lim f
FI
Iz nejednakosti trougla sledi da je Koxijev uslov neophodan za postojae limesa po filteru. Ovaj uslov nije dovo an u opxtem sluqaju.
Za realne funkcije f : S R Koxijev uslov je i dovo an uslov
egzistencije limesa po filteru.
Dokaz: Neka f : S R zadovo ava Koxijev uslov i neka je
A = {t R | t <F f }.
,
2
20
pa je, za y
f (y0 )
a = lim f,
4Primetimo da smo ovaj dokaz izveli upotrebom Aksiome supremuma, koja vai u R,
ali nema smisla u opxtijim strukturama. Na ovo emo se jox vratiti kasnije; videti (114).
21
xa
N
2
Lip(f ) := sup
x6=y
dN (f (x), f (y))
< +.
dM (x, y)
datak: Dokazati da je
Lipxicova konstanta izometrije je 1. Preslikavaa qija je Lipxicova konstanta strogo maa od 1 nazivaju se kontrakcijama. Lipxicova preslikavaa su uniformno neprekidna. Zadatak: Dokazati
da je preslikavae f : R R, f (x) = p|x| uniformno neprekidno,
ali ne i Lipxicovo.
Zadatak: Neka je A neprazan podskup metriqkog prostora (M, d).
Dokazati da je preslikavae f : M R, f (x) = d(x, A) Lipxicovo i
da je Lip(f ) 1. Specijalno, za A = {a} preslikavae x 7 d(a, x) je
Lipxicovo (pa je i ravnomerno neprekidno).
22
n+1
m1
X
n
ij i,j=1
n
|aij + ij | < 1,
max
1jm
ij
ij
ii
23
(48) Par (X, ) gde je X skup, a familija egovih podskupova koja zadovo ava (T1){(T3) naziva se topoloxkim prostorom, a familija
topologijom.
(49) Zadatak: Neka je X beskonaqan skup i familija egovih podskupova koja se sastoji od i svih skupova qiji je komplement konaqan. Dokazati da je (X, ) topoloxki prostor.
(50) Ako je (X, ) topoloxki prostor i X X egov podskup, na emu
je definisana topologija := {U X | U }. Ova topologija
se naziva relativnom topologijom na podskupu X . Kad govorimo
o topoloxkom potprostoru, podrazumevamo da se radi o relativnoj
topologiji na emu.
(51) Preslikavae f : X Y topoloxkog prostora (X, ) u topoloxki
prostor (Y, ) je neprekidno u taqki a X ako za svaki skup V
koji sadri taqku f (a) postoji skup U takav da je f (U )
V . Ova definicija uopxtava neprekidnost preslikavaa metriqkih
prostora (dokazati!).
(52) Bijekcija f : X Y topoloxkih prostora (X, ) i (Y, ) se naziva
homeomorfizmom ako su f i f neprekidna preslikavaa. Homeomorfizam je izomorfizam struktura (X, ) i (Y, ).
Zadatak: Neka je (X, ) topoloxki prostor, (M, d) metriqki
prostor i : X M homeomorfizam. Dokazati da je se topologija
metriqkog prostora (X, d) podudara sa topologijom .
(53) Zadatak: Neka je : M M homeomorfizam metriqkih prostora
i f : M N preslikavae. Dokazati da je smena promen ive u
limesu
0
lim f (x) =
xa
lim
y1 (a)
f (y)
[c,b]
xc+
24
lim xn = x x F.
A (x) =
1,
0,
xA
x
/A
f (x) =
d(x, A)
d(x, A) + d(x, B)
neprekidno.
Iz ovog zadatka sledi Urisonova lema: Ako su A i B neprazni,
zatvoreni i disjunktni podskupovi metriqkog prostora M , onda postoji neprekidna funkcija f : M [0, 1] takva da je f (A) = {0},
f (B) = {1}.
(63) Neka su d, d : N N R preslikavaa definisana sa
0
d(m, n) = |n m|,
d0 (m, n) =
|n m|
nm
25
mN
nN
k+1
n+1
d(x, y) =
|y x|
1 + |y x|
n+1
nN
min{m,n}
n+1
n+1
n+1
26
n+1
n nN
F :=
Fn
n+1
n=1
B1 B0 ,
B1 A1 = ,
r1 <
.
2
n+1
n+1
n+1
Bn+1 Bn ,
Bn+1 An+1 = ,
rn+1 <
rn
< n;
2
2
An+1 T
x n=1 Fn
n x B0
(n)
27
(n)
Po pretpostavci,
. Iz neprekidnosti sledi da
su svi skupovi zatvoreni. Po Berovoj teoremi, bar jedan od ih
nije nigde gust, tj, zbog zatvorenosti, bar jedan od ih ima nepraznu
unutraxost. To znaqi da postoji x C i > 0 tako da je
0
=
6 C]x0 , x0 + [ An .
Pretpostavimo da je f (x ) 6= 0 za neko k > n. Iz Tejlorove formule (primeene na funkciju f ) i iz neprekidnosti tada sledi da
postoji interval ]x , x + [ na kome je f (x) > 0 za x 6= x . Posle
prelaska na podinterval ako je neophodno, moemo da pretpostavimo
da je < . Odatle bi sledilo da je
(k)
(n)
(n)
C]x0 , x0 + [= {x0 },
jer je skup na levoj strani sadran u A . Ali onda je, po definiciji skupa C , f polinom na ]x , x [ i ]x , x + [, xto je (zbog
neprekidnosti) mogue samo ako je f polinom na ]x , x + [, xto
je kontradikcija sa x C . Dakle, zak uqujemo da je f (x ) = 0 za
sve k n. Isto vai za sve taqke skupa ]x , x + [C .
Neka je t ]x , x +[\C . Tada je f polinom na nekom intervalu
koji sadri taqku t; neka je [a, b] najvei takav interval. Tada jedan
kraj tog intervala (recimo a) pripada skupu C (inaqe bi funkcija
f bila polinom na nekom veem intervalu), tj. a C]x , x + [,
pa je, prema dokazanom, f (a) = 0 za sve k n. To znaqi da je f
polinom stepena maeg od n na [a, b], pa je f (t) = 0 za k > n.
Dakle, dokazali smo da za svako k n i svako x ]x , x + [
vai f (x) = 0. To znaqi da je f polinom na ]x , x + [ xto je
kontradikcija zbog C]x , x + [6= .
(72) Ako je f : S M preslikavae skupa S na kome je dat filter F u
metriqki prostor (M, d), limes po filteru zavisi samo od topologije
indukovane metrikom d (dokazati!). Dve metrike koje indukuju istu
topologiju nazivaju se topoloxki ekvivalentnim metrikama. Drugim reqima, metriqki prostori (M, d ) i (M, d ) su topoloxki ekvivalentni ako i samo ako je identiqko preslikavae id : (M, d )
n
(k)
(k)
(k)
(k)
28
d0 (x, y) =
d(x, y)
.
1 + d(x, y)
Poxto je d 1, odavde sledi da je svaki metriqki prostor topoloxki ekvivalentan nekom ograniqenom metriqkom prostoru.
(74) Zadatak: Dokazati da su metrike d i d na skupu M koje za neke
, ]0, +[ zadovo avaju nejednakosti
0
f 1 (M2 \ F ) = M1 \ f 1 (F )
A f 1 (f (A)) f 1 (f (A)).
Tada vai x
/A
, iz (g) bi sledilo
30
(A B) = (A B) (A B).
Y := {V Y | f 1 (V ) X }
31
sfere S ukloni deo homeomorfan disku, dobije se topoloxki prostor qiji je rub homeomorfan krugu S . Poxto i Mebijusova traka
ima rub homeomorfan S , moemo da zalepimo ova dva prostora du
ruba. Dobijeni topoloxki prostor je projektivna ravan; oznaqava se
sa RP . Drugi naqin da se ovaj prostor konstruixe je sledei: na
granici S diska D = {z C | |z| 1} definisana je relacija z z
za |z| = 1. Koliqniqki prostor D/ je homeomorfan prostoru RP .
Zadatak: Dokazati da se lep eem granice S diska i taqke (pomou
konstantnog preslikavaa c : S ?, gde je ? jednoqlan skup) dobija
dvodimenziona sfera S .
(84) Hausdorfov topoloxki prostor X je n{dimenziona topoloxka mnogostrukost ako ima prebrojivu bazu topologije i ako svaka taqka
x X ima otvorenu okolinu U 3 x koja je homeomorfna lopti
B = {(x , . . . , x ) | x + + x < 1}. Sfera, torus, projektivna
ravan su primeri dvodimenzionih mnogostrukosti. Krug S i prava
R su jednodimenzione mnogostrukosti, a kriva qija je polarna jednaqina r = sin 2 nije. Ako je M m{dimenziona, a N n{dimenziona
topoloxka mnogostrukost, onda je M N (m + n){dimenziona topoloxka mnogostrukost. Otvoren podskup topoloxke mnogostrukosti
je topoloxka mnogostrukost iste dimenzije.
Zadatak: Dokazati da je svaka topoloxka mnogostrukost unija
prebrojive familije kompaktnih skupova.9
(85) Neka su Y , . . . , Y Hausdorfovi prostori, S skup sa filterom F ,
f : S Y Y i f = f : S Y , 1 j k , gde su
projekcije na Y . Tada je
2
2
1
2
n
lim f = lim fj = j .
F
32
S := {x M | (x; f ) }
je zatvoren u M .
Dokaz: Neka je x M \ S, tj. neka je (x ; f ) < . Tada postoji
lopta B]x ; [ takva da je (B]x ; [; f ) < . Ako je x B]x ; [, onda
je B]x ; [ B]x ; [ za neko > 0 , pa je (B]x ; [; f ) < , odakle
sledi B]x , [ M \ S. Odatle zak uqujemo da je M \ S otvoren.
(90) Zadatak: Neka je (M, d) metriqki prostor. Dokazati da je funkcija
f : M R neprekidna ako i samo ako su za sve t R skupovi
{x M | f (x) < t} i {x M | f (x) > t}
otvoreni u M .
(91) Funkcija f : X R definisana na topoloxkom prostoru X je
poluneprekidna odozgo ako je skup {x M | f (x) < t} otvoren za
svako t R;
poluneprekidna odozdo ako je skup {x M | f (x) > t} otvoren za
svako t R
Iz (90) sledi da je funkcija neprekidna ako i samo ako je poluneprekidna i odozgo i odozdo.
Zadatak: Dokazati da je karakteristiqna funkcija otvorenog
skupa poluneprekidna odozdo, a karakteristiqna funkcija zatvorenog skupa poluneprekidna odozgo.
Zadatak: Neka je {f } familija funkcija poluneprekidnih odozdo i {g } familija funkcija poluneprekidnih odozgo.
Dokazati da je funkcija
0
poluneprekidna odozgo.
(92) Produee neprekidnih preslikavaa. Neka su M i N metriqki
prostori, T M gust podskup (T = M ) i f : T N .
33
tx
tx
xn yn lim d(xn , yn ) = 0.
gde su [x ], [y ] klase ekvivalencije nizova x , y iz C . Preslikavae definixemo sa (x) = x (konstantan niz x x). Ostatak
dokaza postojaa kompletiraa je provera da ovako definisani objekti zadovo avaju uslove teoreme. Dokaz jedinstvenosti kompletiraa zasniva se na ideji iz (92): poxto je N gust u M , a M kompletan, preslikavae : N M se produuje do f : M M .
n
11Pa ivom analizom dokaza qitalac e videti da ovo tvree vai i ako je M
proizvo an topoloxki prostor, a N regularan prostor, tj. Hausdorfov prostor u kome
za svaku taqku x i svaku enu otvorenu okolinu W 3 x postoji zatvorena okolina F taqke
x takva da je F W . Ekvivalentno, Hausdorfov prostor je regularan ako za svaku taqku x
i svaki zatvoren podskup F koji ne sadri x postoje disjunktni otvoreni podskupovi U i
V , takvi da je x U i F V .
34
M2
M1
Z2
Z2
(mod 2).
Dokazati da je prostor (X, ) povezan ako i samo ako je C (X) cikliqna grupa reda 2. Xta je C (Z ), gde je Z = {0, 1, . . . , k 1} sa
diskretnom metrikom?
(98) Jedini podskupovi povezanog prostora X koji su i otvoreni i zatvoreni su X i (dokazati!). Zadatak: Dokazati da je u p{adskoj
metrici definisanoj u (12) svaka otvorena lopta B]x; [ i otvoren i
zatvoren skup i da za svako y B]x; [ vai B]x; [= B]y; [. Dokazati
i da je u tom prostoru svaka zatvorena lopta B[x; ] i otvoren i
zatvoren skup i da za svako y B[x; ] vai B[x; ] = B[y; ].
(99) Zadatak: Neka je A X povezan podskup topoloxkog prostora X i
neka je A B A. Dokazati da je B povezan.
(100) Ako je f : X Y neprekidno preslikavae topoloxkih prostora i
A X povezan skup, onda je i f (A) povezan. Dokaz sledi iz qienice
da, kada bi postojala neprekidna surjekcija : f (A) {0, 1}, onda
Z2
Z2
35
U = A] , c[= A] , c],
S = {t A | t < a1 (t) = 0}
36
xto je nemogue jer je A povezan. Poxto je skup svih takvih interval [0, d(a , a )], koji je neprebrojiv skup, i skup A mora da bude
neprebrojiv.
(106) Neka je {A } familija povezanih podskupova metriqkog prostora
M , takva da za neko vai
1
( ) A0 A 6= .
Tada je skup
A=
povezan.
Dokaz: Neka je : A {0, 1} neprekidno preslikavae. Poxto su skupovi A povezani, na svakom od ih preslikavae je
konstantno. Pretpostavimo, ne umaujui opxtost, da je 1 na
A . Poxto je za svako skup A A neprazan, mora da vai
(x) 1 na svakom A , tj. na celom A. Time je dokazano da je svako
neprekidno preslikavae : A {0, 1} konstantno, odakle sledi da
je A povezan.
(107) Ako su X i Y povezani topoloxki prostori, onda je i ihov proizvod
X Y povezan. Za dokaz je dovo no posmatrati familiju {x } Y ,
{X {y}}
i primeniti (106).
(108) Zadatak: Neka je (X, ) topoloxki prostor, Y X i relacija na
Y definisana sa a b ako i samo ako postoji povezan skup V X
takav da je a, b V . Dokazati:
(a) je relacija ekvivalencije;
(b) klase ekvivalencije C su povezani skupovi za sve a Y ;
(v) C je maksimalan povezan podskup u Y koji sadri taqku a.
Skup C naziva se komponentom povezanosti taqke a Y . Zadatak:
Neka je X = R i Y = (f ) grafik funkcije f iz (101). Dokazati
da je skup V = (f ) R] 1, 1[ otvoren u (f ) i da je komponenta
povezanosti taqke (0, 0) u V jednoqlan skup C = {(0, 0)}.
(109) Skup A X u topoloxkom prostoru je putno povezan ako za sve
a , a A postoji neprekidno preslikavae : [0, 1] A (neprekidan
put u A) takvo da je (0) = a , (1) = a . Iz Teoreme o meuvrednosti
sledi da je putno povezan skup A povezan { u protivnom bi iz postojaa neprekidne surjekcije : A {0, 1} sledilo da postoji
neprekidna surjekcija : [0, 1] {0, 1} xto je nemogue. Zadatak: Neka je (f ) grafik funkcije f iz (101). Dokazati da je svako
neprekidno preslikavae : [0, 1] (f ) sa svojstvom (0) = (0, 0)
konstantno. Izvesti zak uqak da skup (f ), za koji smo u (101) videli
da je povezan, nije putno povezan.
Zadatak: Dokazati da je otvoren podskup u R povezan ako i samo
ako je putno povezan. Odatle izvesti zak uqak da je otvoren podskup
topoloxke mnogostrukosti povezan ako i samo ako je putno povezan.
Sliqno kao u (108) definixu se i komponente putne povezanosti.
(110) Topoloxki prostor je lokalno povezan u taqki x ako svaka okolina
U taqke x sadri povezanu podokolinu V U taqke x . Prostor je lokalno povezan ako je lokalno povezan u svakoj svojoj taqki.
yY
(0,0)
S1
k+1
2
0
2
k
k+1
k+1
2
0
2
k
Sk
(0,t)(1,1t)
n=1 n
0
m
n=1 n
h0
kxk 0
kxk = 0 x = 0
38
.
Tada je
metrika na G. Ova metrika je invarijantna u odnosu na translaciju i refleksiju, a grupovne operacije
su neprekidne u tako definisanoj metriqkoj strukturi (dokazati!).
Primeri normiranih grupa: (R, +, 0, | |), (C, +, 0, | |), (U (1), , 1, k k),
gde je U (1) = {z C | |z| = 1}, kzk := arccos Rez.
Zadatak: Dokazati da su jedine zatvorene (kao metriqki potprostori) podgrupe grupe (R, +, | |) cikliqne grupe (a Z, +), za neko
a > 0, {0} i R.
Zadatak: Neka je (G, +, k k) normirana grupa i H G ena
podgrupa. Dokazati da je i (H, +) grupa.
Specijalan sluqaj normirane Abelove grupe je totalno ureena
Abelova grupa: to je struktura (G, +, ), gde je (G, +) Abelova grupa,
a relacija totalnog poretka, koja je saglasna sa translacijom, tj.
u kojoj vai
x y x + a y + a za sve x, y, a G.
U totalno ureenoj grupi je dobro definisana apsolutna vrednost,
izvedena iz relacije totalnog poretka: |x| := max{x, x}. Apsolutna
vrednost se jox naziva i modulom. Pozitivni i negativni deo elementa x totalno ureene grupe se definixu sa
x := max{x, 0},
x := max{x, 0},
tako da je x = x x i |x| = x + x .
Ako je (G, +) podrgupa grupe (R, +), onda je apsolutna vrednost
jedna norma na oj14.
Totalno ureena grupa je arhimedska ako u oj vai Arhimedova
aksioma, tj. bilo koje od sledeih, ekvivalentnih svojstava:
(a) za svako a > 0 skup Na := {na := a+ +a | n N} nije ograniqen
odozgo;
(b) za svako
a > 0 skup Za nije ograniqen ni odozgo ni odozdo;
(v) G = S [na, (n + 1)a[= nZ + [0, a[ za svako a > 0.
Podskup A G totalno ureenog skupa je gust u skupu B G,
A B , ako za sve x, y B , x < y , postoji a A takvo da je x < a < y .
Zadatak: Dokazati da je ova definicija u totalno ureenoj Abelovoj grupi (R, +) ekvivalentna topoloxkoj definiciji gustog skupa,
u normi izvedenoj iz poretka (tj. apsolutnoj vrednosti). Uporediti
to sa grupom (Z, +).
Zadatak: Neka je H G netrivijalna podgrupa totalno ureene
arhimedske Abelove grupe G i H := {x H | x > 0}. Dokazati da
skup H gust u G ako i samo ako je inf H = 0. Dokazati da skup H
nije gust u G ako i samo ako H ima minimum.
Zadatak: Elementi skupa
k xk = kxk
kx + yk kxk + kyk
d(x, y) = ky xk
nZ
D = {k2n | k Z, n N}
14Ako G nije podgrupa u R onda apsolutna vrednost nema realne vrednosti, pa nije
norma. Meutim, i u tom sluqaju moemo da definixemo pojmove kao xto su limes i
neprekidnost; npr. niz xn u G konvergira ka x ako za svako > 0 (gde je G) postoji
n0 N sa osobinom da za sve n n0 vai |x xn | < .
39
16
n2
n2
n2
1
1
2
1
2
15Req Abelova je ovde zapravo suvixna { moe da se dokae da je svaka totalno ureena
arhimedska grupa Abelova. To je posledica Helderove teoreme, koja kae da je svaka totalno
ureena arhimedska grupa izomorfna podgrupi grupe (R, +).
16Videti fusnotu u (29).
17Ova grupa se naziva glavnom linearnom grupom.
40
kx + yk kxk + kyk
kxyk = kxk kyk
kxk = 0 x = 0
pa ako je knk > 1, onda je kn+1k < knk. Odatle vidimo da ova definicija uopxtava svojstvo nearhimedske ureene strukture. Normirano
po e je arhimedsko ako nije nearhimedsko (ova definicija ne uk uquje poredak; tj. uopxtava definiciju arhimedskog ureenog po a
kao totalno ureenog po a qija je aditivna grupa arhimedska).
Kompletirae metriqkog prostora Q sa p{adskom metrikom uvedenom u (12) oznaqavamo sa Q , elemente ovog skupa nazivamo p{
adskim brojevima.
Zadatak: Dokazati da je skup p{adskih brojeva Q kompletno
nearhimedsko po e (operacije po a se prenose sa nizova na ihove
klase ekvivalencije, pomou kojih se konstruixe kompletirae (94)).
U (114) smo videli da je, ako je norma izvedena iz relacije poretka
u totalno ureenoj grupi (kao u npr. u (R, +)), Arhimedova aksioma
posledica kompletnosti. Iz prethodnog zadatka vidimo da je po e
p
41
primer koji pokazuje da u opxtem sluqaju to ne vai. Primetimo da su i Q i R dobijeni kao kompletirae istog skupa Q, ali
sa razliqitim metrikama.
Jox jedna specifiqnost topologije izvedene iz poretka vidi se
u sledeem zadatku. Neka je F totalno ureeno po e. Postoji jedinstven injektivni morfizam po a Q u F definisan sa
Qp
(m/n) = (m 1F )(n 1F )1 ,
kxk 0
kxk = 0 x = 0
k xk = ||kxk
kx + yk kxk + kyk
x, y X K
za sve
i . Sa d(x, y) = ky xk na X je definisana
metrika u odnosu na koju su vektorske operacije neprekidne. Ova
metrika je invarijantna u odnosu na translaciju i refleksiju u komutativnoj grupi (X, +) i apsolutno homogena, tj. d(x, y) = ||d(x, y).
Zadatak: Dokazati da se kompletiraem (93) normiranog vektorskog prostora dobija normirani vektorski prostor, tj. da se vektorske operacije prenose na relacije ekvivalencije u dokazu (94).
Normirani vektorski prostor koji je kompletan nazivamo Banahovim prostorom.
(119) Najjednostavniji primeri normiranih prostora su R i C, na kojima
normu definixe apsolutna vrednost. Opxtije, euklidski
prostori
su vektorski prostori R i C sa normama kak = p|a | + . . . + |a | .
Vani primeri su i prostori C[a, b] neprekidnih funkcija, sa
normom
Z
kf k =
|f (t)| dt
, za 1 p < +.
Nejednkost trougla sledi iz nejednakosti Minkovskog za integrale.
(120) Iz definicije norme sledi kxk kyk kx yk, pa je norma Lipxicovo preslikavae.
(121) Indukcijom se dokazuje kx + + x k kx k + + kx k.
(122) Neka je F filter na skupu S i (Y, k k) normirani vektorski prostor. Iz nejednakosti trougla i homogenosti norme sledi da lim
preslikavaa S Y komutira sa algebarskim operacijama u Y , tj.
n
1/p
lim(f ) = lim f
F
za f, g : S Y i K (dokazati!). Specijalno:
Ako su f i g neprekidne funkcije, onda je i f + g neprekidna
(F = filter okolina);
42
b
a
n n
b
a
b
a
xx0
xx0
g(x) dx
|g(x)| dx
Xk
kxkp :=
X
n
kxj kpXj
1/p
,
1 p < +,
j=1
kxkp :=
X
n
1/p
|xj |
1 p < +,
j=1
(125) Zadatak: Neka je S := {x X | kxk = 1} jediniqna sfera u normiranom prostoru (X, k k) i G = { K | || = 1} multiplikativna
grupa jediniqnih skalara. Dokazati da je sa x 7 x definisano
dejstvo18grupe G na skupu S. Dokazati da je na prostoru orbita ovog
dejstva P (X) = S/G sa d([x], [y]) = min{kx + yk | G} definisana metrika. Specijalno, na realnom projektivnom prostoru je
d([x], [y]) = min{kx yk, kx + yk}.
Prostor P (X) se naziva projektivizacijom Banahovog prostora
X , ili projektivnim prostorom. Specijalno, za X = R
dobijamo
realni RP = S /Z , a za X = C kompleksni CP = S /S
projektivni prostor. Za n = 2 prostor RP smo uveli u (83) na
drugi, ekvivalentan naqin. Jox jedan naqin da se definixe prostor
P (X) je kao koliqniqki prostor X \ {0}/ , gde je x x za sve
n+1
n+1
2n+1
43
tT
var(a) := ka0 k +
kan an+1 k.
xn =
x+
0 +
n
X
x
0 +
(xk+1 xk )+
n
X
(xk+1 xk ) ,
jer su nizovi
i
rastui
i ograniqeni odozgo brojem var(x).
(128) Funkcije ograniqene varijacije. Neka je f : I X preslikavae
intervala I R u normirani vektorski prostor (X, k k). Ako je
P : inf I = t < t < < t = sup I
podela intervala I , oj moemo da pridruimo broj
k=0
k=0
Pn
+
x+
0 +
k=0 (xk+1 xk )
VI (f ; P ) = kf (t0 )k +
Pn
x
0 +
k=0 (xk+1 xk )
n
X
na intervalu I je broj
k=1
VarI (f ) := sup VI (f ; P ).
Ukoliko je ovaj broj konaqan, funkciju f nazivamo funkcijom ograniqene varijacije. Skup BV (I, X) svih funkcija ograniqene varijacije
na intervalu I sa vrednostima u X je normirani vektorski prostor,
sa normom Var (f ).
P
2.
19U sluqaju K = C ovde je req o kompleksnim pravama, tj. objektima realne dimenzije
44
.
2
2
f = f1 f2
Lip(L) = sup
x6=y
xy
kL(x) L(y)kY
= sup kL(z)kY ,
L
= sup
kx ykX
kx ykX
Y
x6=y
kzkX =1
kxkX =1
t0
t0
45
D(f ) =
df
dx
K(f )(x) =
kKk = sup
x[0,1]
x 7
|k(x, t)| dt
Z
|k(a, t)| dt = sup
Posmatrati preslikavaeZ
f 7
x[0,1]
kf k = 1
1
0
46
po intervalima iz P . Dokazati da na P vai |k(a, t)| < /4 i iskoristiti ovu nejednakost za dokaz da f ima traeno svojstvo.
(132) Opxtije, ako su (X , k k ), . . . , (X , k k ) i (Y, k k ) normirani vektorski prostori i L : X X Y vixelinearno (tj. linearno
po svakoj promen ivoj) preslikavae, egova norma se definixe sa
2
kLk
sup
kL(x1 ,
kx1 k1 ==kxn kn =1
kL(h1 , ,hn )kY
sup
kh1 k1 ...khn kn
h1 6=0,...,hn 6=0
:=
=
, xn )kY
2
3
p p
X1 Xn Y
L : X1 L(X2 ; Y ),
kBk
47
f
f
f
f
FS g f FT g
FS g f FT g
FS g f FT g
FS g f FT g .
48
D f (x0 ) := lim
1
(f (x0 + h) f (x0 ))
h
f
xj
(t0 + h) (t0 )
d
(t0 ) := Di (t0 ) = lim
,
h0
dt
h
ukoliko limes na desnoj strani postoji, se naziva tangentnim vektorom na parametrizovanu krivu u taqki (t ). Za samu krivu tada
kaemo da je glatka u toj taqki. Za se koristi jox i oznaka .
Slika (A) se naziva neparametrizovanom krivom, tangentni vektor
na neparametrizovanu krivu u taqki (t ) je svaki vektor kolinearan
sa (t ). Parametrizovana kriva je regularna u taqki (t ) ako je
en tangentni vektor u toj taqki razliqit od nule. Parametarska
jednaqina tangente na krivu (A) u regularnoj taqki (t ) je
0
d
dt
d
dt
(t) = (t0 ) +
d
(t0 )(t t0 ).
dt
d( )
(s0 ) = D (t0 ).
ds
22Pod odreenim pretpostavkama (kojima se definixe diferencijabilnost u normiranim prostorima), D f (x0 ) je linearno po , ali ne i po x0 .
49
d
=
dt
dx1
dxn
,...,
.
dt
dt
d
dt.
dt
t 7
Z t
d
du
du
a
d
d dt
=
ds
dt ds
jediniqni vektor za svako s [0, l()], zovemo ga jediniqnim tangentnim vektorom na krivu . Veliqina
dT
=
ds (s0 )
onda je
1
d
d
T(t) =
dt
dt ,
1
d
dT
(t0 ) =
(t
)
(t
)
dt 0
dt 0
.
50
Neka je regularna kriva u trodimenzionom euklidskom prostoru R . Diferenciraem izraza kT(s)k = T T = 1 po prirodnom
parametru s i primenom Lajbnicovog pravila dobijamo
3
dT
T = 0,
ds
dT/ds
N=
1 dT
ds
B := T N
jer je
. Odatle sledi da je vektor
ortogonalan na T.
Diferenciraem izraza
zak uqujemo da je on ortogonalan
i na , pa je proporcionalan vektoru :
dB
= N.
ds
f : [0, 2] C,
Ova nejednakost se, u izvesnom vidu, prenosi na funkcije sa vrednostima u vektorskom prostoru. Preciznije, vai sledee tvree.
Neka je (Y, kk) normirani vektorski prostor, [a, b] R ograniqen
i zatvoren interval, P [a, b] najvixe prebrojiv skup i f : [a, b] Y
neprekidno preslikavae koje ima desni izvod
D+ f (t0 ) := lim
h0+
f (t0 + h) f (t0 )
h
n
k=1
n
k
n+1 1
n
k=1
52
c = sup A .
pn <s
cpk <s
53
tI\P
i zadatka u (40).
Lopitalova pravila. Neka je a < b +, P [a, b]
najvixe prebrojiv, c P , f : [a, b] C, : [a, b] R funkcije
koje su neprekidne na [a, b] \ {c} i imaju desni izvod na [a, b] \ P .
Pretpostavimo da je monotona i razliqita od nule u okolini
taqke c i da je
lim f (t) = 0 = lim (t) ili
lim |(t)| = .
Tada vai
tI\P
tc+0
tc+0
tc+0
0
(t)
f+
=C
0
tc+0 + (t)
lim
lim
tc+0
f (t)
=
(t)
tc
0
|f+
| Fc0 C0+ |f | Fc0 2C||
0
+
0
+
0
+
0
+
0
+
0
+
0
f+
(c) = lim f 0 (t)
tc+0
54
n+1
n
k=1
n+1
s =
n n
an .
n=0
: cs(G) X
n=0
n+1
p =
zn .
n=0
: cs(X) X
linearno preslikavae.
(142) Ako su X i Y normirani vektorski
prostori, L : X Y neprekidno
linearno preslikavae i P a konvergentan red u X , onda je
n=0
X
X
L
an =
L(an ).
n=0
n=0
55
n1
k=n
k+1
1
n
2n
FN
an =
an ,
nsuppa
n=1
FN
FN
FN
nk
an =
an+k =
n=0
n=k
an+m
n=km
(n+1)1
n=0
k=(n)
n=0
n=0
n=0
(n+1)1
k=(n)
(n)
n=0
n
k=1
(n+1)1
k=(n)
56
(n)
FN
FN
(n)
(n)
n=1
(n+1)
k=(n)+1
(n+1)
xk ((n + 1) (n))x(n) ,
(n)
n=1
(n+1)
k=(n)+1
((n + 1) (n))x(n)
((n) (n 1))x(n)
P(n)
P(n)
= k=(n1)+1 x(n) k=(n1)+1 xk ,
2n
1
np
n+1
n+1
n0
n+1
n
k=n0
n+1
57
X
k=n0
X
qn
q n+1
q n0
q =
=
.
1q 1q
1q
k
k=n0
n
n
kakp :=
X
1/p
kan k
n=0
Skup ograniqenih nizova je normirani vektorski prostor sa uniformnom normom k k , ovaj prostor se nekad oznaqava sa b(X) ili
l (X). Preslikavae
: l1 (X) X
n=0
je neprekidno linearno preslikavae normiranih prostora. Zadatak: Dokazati da za 1 p < q vai l (X) l (X) i da
je ova inkluzija stroga (tj. da je l (X) \ l (X) 6= ).
(161) Ako je (X, k k) Banahov prostor, onda svaki apsolutno konvergentan
red u X konvergira. P
Dokaz: Neka je s = a . Iz nejednakosti trougla (121) sledi
da je, za n > m, ks s k P ka k. Poxto je red P ka k konvergentan, niz egovih parcijalnih suma je Koxijev. Iz poslede
nejednakosti onda sledi da je i niz s Koxijev, xto zbog kompletnosti znaqi da je konvergentan.
(162) Zadatak: Dokazati da je u Banahovom prostoru (X, k k) svaki niz
ograniqene varijacije a bv(X) konvergentan i da egova graniqna
vrednost a zadovo ava nejednakost ka k var(a).
(163) Uopxteni
komutativni zakon. Neka je (X, k k) Banahov prostor i
P
a apsolutno P
konvergentan red u X . Tada je za svaku permutaciju
: N N i red
a
apsolutno konvergentan i vai
p
n
k=1
k
n
k=m+1
(n)
X
n=1
an =
X
n=1
a(n) .
58
ka(k) k
m
X
kak k,
n
k=1
k=1
(k)
n=1
n=1
(n)
n+p
X
Neka je n
n i
n+p
X
,
2
kak k <
k=n+1
ka(k) k <
k=n+1
.
2
. Tada je n
>
X
n
X
n
a
a
k
(k)
k=1
k=1
n
X
+ .
2 2
k=n0 +1
P
P
k=1 ak
k=1 a(k)
kak k +
k=n0 +1
n
X
ka(k) k <
(1)n1
n
2n
2n+1
k1
k1
2n+1
2n
k=1
k=1
2n
2n+1
2n
2n+1
2n
2n1
1
2n+1
sn < 1
1 1
+
2 3
Iz
1+
1 1 1 1 1 1
1
1
1
+ + + +
+
+ .
3 2 5 7 4 9 11 6 13
1
1
1
+
>0
4k 3 4k 1 2k
sledi
5
= t3 < t6 < t9 < ,
6
s
s < 5/6
lim inf
n
n
X
c(k) = a ,
lim sup
n
k=1
n
X
c(k) = b .
k=1
1
(|cn | cn ).
2
P + P
cn =
cn = +
c
n =
Iz P |c | = + sledi
n
(n)
+
n
, tj, ako je
(1) = min P+
t1 := c(1) < b1
{(1)}
t2 := c(1) + c(2) < b2
{(1), (2)}
onda je
,
. Specijalno, skupovi P su
beskonaqni. Neka su i nizovi u takvi da je a < b , a a ,
. Permutaciju definixemo na sledei naqin. Neka je
. Ako je
, definixemo (2) = min P \
. Ako je
definixemo (3) = min P \
. Produimo taj postupak dok ne dobijemoP t > b , xto
e se svakako desiti posle konaqno mnogo koraka, jer c = +.
Definixemo onda (k + 1) = min P i ponovimo sliqan postupak,
uzimajui elemente skupa P sve dok ne dobijemo t < a , kada se
ponovo vraamo na skup P . Poxto su skupovi P beskonaqni, ovim
postupkom je dobro definisano (n) za sve n N. Iz c 0, a
a , b b sledi zak uqak teoreme.
(167) Iz Rimanove teoreme i uopxtenog komutativnog zakona (163) sledi
da je red u R apsolutno konvergentan ako i samo ako svaka egova
permutacija konvergira ka istoj vrednosti (kaemo da je takav red
komutativno konvergentan). U opxtem sluqaju, za redove u Banahovom prostoru, ova ekvivalencija ne vai.
Ni sama Rimanova teorema ne vai za redove u Banahovim prostorima, pa qak ni za redove
u C. Na primer, neka je z niz kompleksnih brojeva, takav da P Re z neapsolutno konvergira,
a P Im z
P
apsolutno konvergira ka zbiru s . Tada red z neapsolutno konvergira,
ali suma svake egove permutacije pripada pravoj Im z = s
(jer P Im z apsolutno konvergira), tako da se ne moe nai permutacija koja konvergira ka proizvo nom kompleksnom broju.
Meutim, vai sledee uopxtee Rimanove teoreme na kompleksne redove: Ako je P z red u C koji neapsolutno konvergira, onda
postoji prava L u kompleksnoj ravni, takva da za svako L postoji
permutacija P z koja konvergira ka . Opxtije, ako je P x red
u normiranom prostoru R koji je neapsolutno konvergentan, onda
postoji afini potprostor A R , takav da za svaku egovu taqku
postoji permutacija P x koja joj konvergira.
P
Pn + n
(n)
(n)
60
(168) Neka je najvixe prebrojiv skup. Familija vektora {a } u Banahovom prostoru (X, k k) je apsolutno zbir iva
ako je ili konaqan,
ili za neku bijekciju : N red P a apsolutno konvergira.
Iz (163) sledi da je ova definicija nezavisna
od izbora bijekcije .
Za zbir ovog reda koristimo i oznaku P a .
(169) Neka je (X, k k) Banahov prostor, prebrojiv skup i {a } apsolutno zbir iva familija vektora u X . Neka je = ,
gde su , . . . , neprazni i disjunktni. Tada su za sve j {1, . . . , k}
familije {a } apsolutno zbir ive i vai
(n)
a =
k X
X
j=1
a .
sn =
n0
X
n
X
aj +
aj ,
j=n0 +1
2n
X
a(j) =
n
X
(a(2j1) + a(2j) ) =
n
X
a(2j1) +
n
X
a(2j)
j=1
j=1
j=1
a =
a .
n=1
bj =
a .
61
a =
bn .
n=1
k
X
kbj k
j=1
k
X
j=1
X
ka k
ka k,
ka k =
ka k
\K
ka k < .
m0
ka k
\(1 m )
ka k < .
\K
m , \ (1
m )
a =
a +
1 m
a .
\(1 m )
m
n=1 bn
, a videli smo da je
m
X
X
bn
a
< .
n=1
mn (m,n)NN
m=1
n=1
mn
amn
mn
amn .
m=1
m=1
n=1
f g :AB C
62
(a b)mn = am bn
P
(a b)mn
=
=
am bn
m=1 n=1
P
P
m=1
(m,n)NN
am
bn
n=1
am
bn .
(a ? b)n =
ak bj =
k+j=n
n=1
n
X
ak bnk .
k=1
X
ak
X
bj
(a ? b)n =
n=0
j=0
k=0
X
X
ak bj.
n=1 j+k=n
Uslov apsolutne konvergencije pod kojim je ovo mnoee opravdano moe i da se oslabi: ako redovi P a i P b konvergiraju, pri
qemu bar jedan od ih konvergira apsolutno, onda je
n
X
an
X
cn ,
je
n=0
n=0
n
An =
iA
Cn
bn
n
X
an ,
Bn =
k=0
n
n
X
Cn =
n
X
cn ,
rn = B Bn
kad n . Tada je
k=0
A Bn B
bn ,
k=0
=
=
=
=
Poxto je
lim An B = AB
Neka
je . Poxto red apsolutno konvergira, suma A =
P
|a | je konaqna. Iz konvergencije reda
sledi da postoji n N
takvo da je
za
. Tada je
n
|a0 rn + + an r0 |
2 + |ann0 rn0 + an r0 |.
63
.
2
k j
k+j=n
homomorfizam prstena.
Podskup
n=0
p(x) = a0 + a1 x + + an xn ,
u kome x ima ulogu formalne promen ive. Tako ima smisla govoriti
o prstenu polinoma C[d/dx]; ovaj prsten je izomorfan prstenu C[x].
Zadatak: Dokazati da je M = C[x] modul nad prstenom R =
C[d/dx] koji nije izomorfan modulu M = C[x] nad prstenom R = C[x]
(u prvom sluqaju , mnoee skalarom" je diferencirae, a u drugom
prsten shvatamo kao modul nad samim sobom).
Dokazati da prvi modul
nije, a da drugi jeste konaqno generisan27.
(174) Koxijev test: Neka je a niz u normiranom vektorskom prostoru.
Tada vai p
n
lim sup
kan k < 1
p
n
kan k > 1
FN
lim sup
FN
kan k
;
lim an
FN
P
an
.
konvergira
ne postoji
divergira
64
lim supn
lim supn
kan k > 1
(r
(r
(r
(r
nije
ne postoji
(175) Dalamberov test: Neka je a niz u normiranom vektorskom prostoru
i ka k > 0 (svi sem konaqno mnogo qlanova niza su razliqiti od
nule). Tada vai
< 1 (q ]0, 1[) niz q ka k opada
lim sup
P
ka k konvergira;
1
(k N) ka k raste za n k
P
a divergira.
Sliqno dokazu Koxijevog testa, dokaz sledi iz poredbenog principa i konvergencije geometrijskog reda; npr. prvi deo sledi iz
n
FN
kan+1 k
kan k
FN
kan+1 k
kan k
FN
lim supn
kan+1 k
kan k
kan+1 k
kan k < 1
kan+1 k
(k) supnk kan k < 1
k
(k) (q ]0, 1[) supnk kakan+1
nk
inf kN supnk
<1
lim inf
n
>FN
q
kan+1 k
kan k
opada.
0 vai
xn+1
xn+1
lim inf n xn lim sup n xn lim sup
,
n
xn
xn
n
n
q n+1
qn
pa Koxijev test daje odgovor o konvergenciji i onda kad ga Dalamberov ne daje. Dokaz ovih nejednakosti moe da se izvede na sledei
naqin. Neka je u = x . Tada vai
xn+1
xn
lim supn
xn+1
xn
n
n
FN
n
n
un+1
un
FN
xn < ,
65
An =
Iz
n
X
ak .
k=0
sledi da vai
Pn
= n+1 + j=k (j j+1 )
Pn
Pn
Pn
=
n+1 +
k=0 ak k
k=0 ak P
j=k (j j+1 )
P
n
n
= An n+1 + k=0 j=k ak (j j+1 )
Pn Pj
= An n+1 + j=0 k=0 ak (j j+1 ),
k
odakle dobijamo
n
X
n
X
ak k =
k=0
Ak (k k+1 ) + An n+1 .
k=0
k=0
n
n
n n
an n =
n=0
Ak (k k+1 ).
k=0
n n
X
n=0
a n n =
Ak (k k+1 ) + A .
k=0
n+1
66
(konvergentan niz u svakom metriqkom prostoru je ograniqen). Zadatak: Dokazati da je niz funkcija
fn = x2 (x2 + (1 nx)2 )1
fn : [0, 1] R,
kfn k FN cn
n
n
n
X
X
X
ck
kfk k
fk
k=m+1
k=m+1
k=m+1
1
n
n1
X
fn (x) kf0 k ex .
n=0
67
n
k=1
n n
n n
cn (z a)n ,
z K.
n=0
R=
1
p
n
lim sup
kcn k
n+1
kcn k
;
n kcn+1 k
R = lim
n=0 n
28Podskup K C je kompaktan ako i samo ako je ograniqen i zatvoren; opxtija definicija kompaktnosti u metriqkom prostoru data je u (192).
68
(x a)n
cn (R)n .
(R)n
a
n
n n
an n
bn
n
k=0
Ra
Rb
k nk
(1)n
x2 + n
n2
n=1
(n)
(0)
(n+1)
(n)
(n+1)
(n+1)
n
k=0
(n)
(k)
(k+1)
a
red P a konvergira i u Y , pa je na osnovu (188) Y kompletan.
() Pretpostavimo da je Y kompletan. Neka je P f apsolutno
konvergentan red u B (TP). Poxto je kf (t)k kf k za svako t T ,
iz konvergencije reda kf k sledi, na osnovu poredbenog principa, konvergencija redaP P kf (t)k. Poxto je Y kompletan, apsolutno konvergentan
red f (t) u Y je konvergentan (za svako t T ),
pa je sa f (t) := P f (t) dobro definisana funkcija f : T Y . Iz
uopxtene nejednakostiPtrougla (121) iPneprekidnosti norme sledi
nejednakost kf (t)k
kf P
(t)k
kf k . Prelaskom na
sup iz e dobijamo kf k
kf k <P+, pa zak uqujemo
da f B (T ). Ostaje jox da dokaemo da red
f konvergira
ka f u
P
P
B (T ), tj. u normi kk . To sledi iz f (t)
f (t) =
f (t),
odakle, posle primene nejednakosti
trougla
i
prelaska
na
sup
, dobijamo nejednakost 0
f P f
P kf k . Posledi
izraz tei nuli, kao ostatak konvergentnog reda. Time je dokaz zavrxen.
(191) Posledica tvrea (190) je da je prostor C[a, b] neprekidnih funkcija f : [a, b] C na ograniqenom i zatvorenom intervalu kompletan u
odnosu na uniformnu normu. Dovo no je dokazati da je on zatvoren u
B [a, b] (C[a, b] je svakako podskup prostora B [a, b] jer je neprekidna
funkcija na zatvorenom intervalu ograniqena). Neka je f niz u
C[a, b] i neka f f B [a, b], tj. kf f k 0. Treba dokazati
da je f C[a, b], tj. da je funkcija f neprekidna u proizvo noj
taqki t [a, b]. Neka je > 0. Tada postoji n takvo da je kf
f k < /3 i > 0 takvo da je, za t ]t , t + [, |f (t) f (t )| <
/3 (jer je f C[a, b]). Dokaz sledi iz
n=0 n
n
k=0 n
n
k=0
n=0
n=0
n=0
n=0
n
k=0
n
k=0
k=n+1
k=n+1
n0
n0
n0
n0
|f (t) f (t0 )| |f (t) fn0 (t)| + |fn0 (t) fn0 (t0 )| + |fn0 (t0 )
f (t0 )|.
1
n
za x Q
za x / Q
70
(n)
(n)
(n)
|y x|
.
1 + |y x|
tM
xM
mn
0
mn
S : lp (X) lp (X),
29Ova ekvivalencija sledi iz Bolcano{Vajerxtrasove teoreme, i predstav a specifiqnost euklidskog prostora; u opxtem sluqaju, ograniqen i zatvoren podskup metriqkog
prostora ne mora da bude kompaktan
72
k+1
k+1
2 1/2
x = x1 e1 + + xn en
73
x
1
kxk
= kxk kxk0 ,
0
f : [0, 2[ S1 ,
n+1
n+1
(n)
74
0
d(x, A)
an
n+1
n+1
n1
n=1
F1 . . . Fk = Fmax{1 ,...,k } .
Za dokaz implikacije (g) (a), za dati niz a definiximo opadajui niz zatvorenih skupova
n
Fn = {an , an+1 , }.
T
n=1 Fn 6=
Iz (g) sledi da je
, pa postoji x T F . Iz definicije zatvorea skupa sledi da je za svaku loptu B]x ; 1/n[
n=1 n
0
(n)
(1)
n+1
75
za m > n, d(a , a ) < 1/n 0, pa je niz a Koxijev. Poxto je M kompaktan (odakle sledi da je i kompletan), a a . Poxto familija
U pokriva M , za neko je a U , a samim tim i B]a ; [ U
(jer je U otvoren). Iz a a i nejednakosti trougla sledi
n
K = .
takav da je
K = .
xM
x1
x1
xk
xk
76
(n)
(n)
(n)
(n)
k+1
k+1
j+1
L0 (x) = f (qj ) +
j+1
f (qj+1 ) f (qj )
(x qj ),
qj+1 qj
f (x) L0 (x)
77
M.
Dokazati da je metriqki prostor (N, d) separabilan.
(230) Separabilnost je mogue definisati i u topoloxkom prostoru (svi
termini koji uqestvuju u definiciji separabilnosti su topoloxki).
Tvree prethodnog zadatka ne vai u svakom topoloxkom prostoru.
Na primer, neka je na realnoj pravoj R definisana topologija kao
topologija qija je baza (videti (78))
familija svih skupova oblika
{x} ]x , x + [Q za sve x R.
Skup Q je prebrojiv i svuda gust u ovom topoloxkom prostoru. Neka je
Y skup svih iracionalnih brojeva. Ovaj skup nema prebrojiv gust (u
relativnoj topologiji (50)) podskup, jer je Y neprebrojiv, a relativna
topologija na Y je diskretna (taqke su otvoreni skupovi), pa za svaki
prebrojiv skup S postoji taqka (a time i otvoren skup) u Y koji je
disjunktan sa S.
(231) Zadatak: Neka je X topoloxki prostor iz (49). Dokazati da je svaki
niz meusobno razliqitih taqaka gust u X .
(232) Svaki kompaktan metriqki prostor je separabilan.
Dokaz: Dokaimo prvo da za svako n N postoji konaqan skup
S takav da vai
n
1
.
n
n0 N
(x M )(s S) d(x, s)
1
.
n0
1
n0
k+1
1
n0
1
n0
1
n
1
n0
S=
Sn .
1
n
78
y 0 = f (x, y).
79
gde je f : R R neprekidna
funkcija koja je uniformno Lipxicova
po drugoj promen ivoj34. Traimo rexee ove jednaqine (po nepoznatoj funkciji y(x)) koje zadovo ava poqetni uslov y(x ) = y za
zadate x , y R.
Teorema: Postoji okolina U x taqke x na kojoj jednaqina y =
f (x, y) ima jedinstveno rexee y : U R koje zadovo ava poqetni
uslov y(x ) = y .
Dokaz: Zadata diferencijalna jednaqina je ekvivalentna jednaqini
Z
2
f (t, y(t)) dt
y(x) = y0 +
F : C(K) C(K),
Tada je
F (y) = y0 +
kF (y1 ) F (y2 )k
x
R
= max (f (t, y1 (t)) f (t, y2 (t)) dt
xK x
0
Rx
max |f (t, y1 (t)) f (t, y2 (t))| dt
xK x
0
Rx
x0
Lip(f ) |x x0 | ky1 y2 k .
1
2Lip(f )
y 0 + p(x)y = q(x)
I(x)
x0
u0 = eI(x) q(x),
u(x0 ) = y0 eI(x0 )
y = y0 eI(x) + eI(x)
q(t)eI(t) dt.
x0
80
(238) Primetimo da smo u (236) mogli, umesto prostora C(M ), da koristimo prostor C(M ; K ) funkcija sa vrednostima u (takoe kompletnom) vektorskom prostoru K , jer je tada i (C(M ; K ), k k ) kompletan prostor. Tako dobijamo Pikarovu teoremu za sisteme obiqnih
diferencijalnih jednaqina.
(239) Kompletnost prostora C(M ) (za kompaktan prostor M ) vezana je za
uniformnu
normu. Na primer, prostor C[1, 1] sa normom kf k :=
R
|f (t)| dt nije kompletan. Niz
n
1
1
1,
fn (t) = nt,
1,
t 1/n
1/n t 1/n
t 1/n
u C[1, 1] je Koxijev, ali nije konvergentan (jer x 7 sgnx nije neprekidna funkcija). Opxtije: norme k k iz (119) za 1 p < +
definixu nekompletne norme na C[a, b].
(240) Kompletirae metriqkog prostora (C[a, b], k k 35) (p = 1 u (119)) se
oznaqava sa L [a, b] i naziva prostorom funkcija integrabilnih po
Lebegu. Iz (131) sledi da je Rimanov integral
p
: C[a, b] C
a
b
a
1
3
1
2
3n+1
X
2n
= 3 < 1,
3n
n=0
[0, 1] R
81
f 7
X
1
n!
n=1
xt
dt
n
n xx0
FT
FS
82
onda je lim lim f (s, t) = lim lim f (s, t). Dokaz je u suxtini
isti kao u (191).
(245) Prirodno se postav a pitae komutativnosti sa limesom u prostoru
podela, tj. sa Rimanovim
integralom;
odnosno, pitae kada vai
Z
Z
FT
FS
FS
fn (x) dx =
lim
FT
a n
Ovo pitae nije deo tvrea (244), jer jedan od limesa nije limes od
f (x), nego limes pridruene funkcije na prostoru podela (28).
Ipak, vai sledee tvree: Ako niz f funkcija integrabilnih po
Rimanu uniformno konvergira, onda je egov limes f integrabilan
po Rimanu38i komutira sa Rimanovim integralom.
Dokaz : Ako f f uniformno, onda je skup prekida graniqne
funkcije f podskup unije prekida funkcija f (jer se neprekidnost u taqki quva pri uniformnom limesu). Poxto je svaka od
funkcija f integrabilna, po Lebegovoj teoremi o integrabilnosti
skup prekida svake od ih ima Lebegovu meru nula, pa je i skup
prekida funkcije f Lebegove mere nula, poxto je sadran u prebrojivoj uniji skupova mere nula. Dakle, po Lebegovoj teoremi, f je
integrabilna funkcija. Ako je > 0, onda je kf f k < /(b a),
za veliko
n, pa je
a
Rb
Rb
fn (x) dx f (x) dx
a
Rb
a
Rb
a xX
= (b a)kfn f k < ,
Rb
nx
2 n
lim
fn (x) dg(x) =
a n
nN
38Dokaz ovog tvrea zaista moe, uz malo dodatne argumentacije, da se svede na komutirae limn i limesa u prostoru podela. To emo, u nexto opxtijem obliku, i da
uradimo u Glavi 4; ovde dajemo drugi, malo direktniji, dokaz.
83
lim
f (x) dg (x).
Zadatak: Neka je g : [a, b] R niz funkcija ograniqene varijacije, takav da je g (a) = 0 za sve n. Ako niz g konvergira ka g u
prostoru BV ([a, b], R), tj. u normi Var () (videti (128)), dokazati
da za proizvo nu neprekidnu funkciju f : [a, b] C vai
n
[a,b]
Z
f (x) dgn (x) =
lim
f (x) dg (x).
(247) Komutativnost integrala sa limesom je sloenije pitae ako je integral nesvojstveni. Tada je sam nesvojstveni integral definisan
kao limes svojstvenog,
pa da bismo
zak uqili da vai
Z
Z
a
lim fn (x) dx
fn (x) dx =
lim
n a
fn (x) dx
= lim lim
Rb
n b a
Rb
= lim lim
b n a
Rb
fn (x) dx
fn (x) dx
Ukoliko
f uniformno konvergira, opravdano je komutirae lim
sa R u treem koraku. Ali, da bi bilo opravdano komutirae limesa
lim
i lim potrebno je da jedan od ih bude uniforman u
odnosu na promen ivu Riz drugog. Ukoliko je to lim , kaemo da
nesvojstveni integral f (x) dx konvergira uniformno po n.
Zadatak: Neka je karakteristiqna funkcija intervala
[0, n]. Dokazati da niz
n
b
a
n
[0,n]
fn =
[0,n]
n
2 1
n
0
n
|fn (t) fm (t)| |fn (t) fm (t) fn (t0 ) + fm (t0 )| + |fn (t0 ) fm (t0 )|
84
gn (t) :=
fn (t) fn (t0 )
t t0
tt0
jednakost f
lim gn (t) =
sledi iz (244).
f (t) f (t0 )
t t0
Zadatak: Dokazati da je sa
=g
f (x) =
X
log (1 + nx)
nxn
n=1
0
n
0
atb
metrika na C [a, b]) i da niz konvergira u (C [a, b], d ) ako i samo ako
konvergira u (C [a, b], d).
Zadatak: Dokazati da prostor (C [a, b], k k ) funkcija koje
imaju izvod proizvo nog reda nije kompletan.
(250) Neprekidna nigde diferencijabilna funkcija. Neka je
1
1
2
f (x) =
10n (10n x)
85
10n
n
k ((10 (a
n
10
n
k ((10 (a
10n
n
n=1 k 10 k =
f (a+k )f (a)
= n=1
Pk
= n=1
Pk
=
+ k )) (10n a))
+ k )) (10n a))
k.
, tj.
Poxto 0 kad k , sledi da ne postoji lim
funkcija f nije diferencijabilna u a, za proizvo no a R.
(251) Neprekidnih funkcija kao xto je ona konstruisana u (250), ima vixe
nego onih koje su negde (bar u jednoj taqki) diferencijabilne, u sledeem smislu:
Skup neprekidnih funkcija koje nisu diferencijabilne ni u jednoj taqki je svuda gust u (C[0, 1], k k ).
Skup funkcija koje imaju konaqan izvod u bar jednoj taqki je
skup prve kategorije u (C[0, 1], k k ).
Dokaz: Dovo no je dokazati drugo tvree; prvo sledi iz ega na
osnovu Berove teoreme i kompletnosti prostora C[0, 1] u uniformnoj
metrici.
Dovo no je dokazati ovo tvree za realne funkcije. Neka je A
skup funkcija f : [0, 1] R koje za neko x ]0, 1 k [ zadovo avaju
nejednakost
|f (x + h) f (x)| kh za sve 0 < h < k .
Skup A = S A sadri sve funkcije koje imaju konaqan desni
izvod u nekoj taqki iz [0, 1[. Dokazaemo da je svaki od skupova A
zatvoren i nigde gust, odakle sledi da je A skup prve kategorije.
Da bismo dokazali da je A zatvoren, pretpostavimo da je f niz
iz A i da f f (u normi k k ) kad n . Poxto je f
A , postoji x [0, 1 k ] za koje je |f (x + h) f (x )| kh za
0 < h < 1 x . Iz kompaktnosti intervala [0, 1 k ] sledi da niz
x ima konvergentan podniz x
; neka je x egov limes. Ako je
0 < h < 1 x , onda je, za dovo no veliko n, 0 < h < 1 x
, pa za
takve h vai
k
h0
f (a+h)f (a)
h
k=1
(n)
f (x )| |f (x + h) f (x(n) + h)|+
|f (x(n) + h) f(n) (x(n) + h)|+
|f(n) (x(n) + h) f(n) (x(n) )|+
|f(n) (x(n) ) f (x(n) )| + |f (x(n) ) f (x )|
|f (x + h) f (x(n) + h)| + +kf(n) f k
kh + kf(n) f k + |f (x(n) ) f (x )|.
|f (x + h) f (x )| kh,
(n)
|f (x + h)
+
+
+
n
1
Ak
86
n n
n+1
n=1
n0
n0
xto znaqi da kg k 0.
(253) Ako je f : [a, b] R monoton niz u C[a, b] koji konvergira ka f
C[a, b], iz Dinijeve teoreme (252) i komutativnosti integrala i uniformnog limesa sledi
Z
Z
n
nN
lim
fn (x) dx =
f (x) dx.
87
b
a
88
n
X
f (tk )
fn : [0, p] R,
nN
nN
ravnostepeno neprekidna?
Zadatak: Koji od sledeih nizova su ravnostepeno neprekidni,
a koji ravnomerno ograniqeni:
(a) f : [0, 1] R, f (x) = x ;
(b) f : [0, 1[ R, f (x) = x ;
(v) f : [0, 1 ] R, f (x) = x ;
(g) f : [0, 1] R, f (x) = cos(nx)?
(255) Arcela{Askolijeva teorema. Neka je M kompaktan metriqki prostor,
Y Banahov prostor i (C (M ), k k ) Banahov prostor neprekidnih
preslikavaa f : M Y sa uniformnom normom k k . Podskup
K C (M ) je relativno kompaktan ako i samo ako su zadovo ena
sledea dva uslova:
(a) familija K je ravnostepeno neprekidna;
(b) za svako x M skup K(x) := {f (x) | f K} je relativno kompaktan u Y .
Dokaz: () Neka je K C (M ) relativno kompaktan skup. Poxto je C (M ) kompletan, iz (213) sledi da za je K totalno ogranqen,
xto znaqi da za svako > 0 ima konaqnu {mreu. Dakle, postoji konaqna familija f , . . . , f K takva da za svako f K za
neko f vai kf f k < /3. Specijalno, za svako x M je
kf (x) f (x)k < . To pokazuje da je K(x) totalno ograniqen, pa iz
kompletnosti prostora Y sledi (b). Ostaje da dokaemo (a). Poxto
je M kompaktan, iz Kantorove teoreme sledi da su sva preslikavaa
iz C (M ) uniformno neprekidna, pa postoji > 0 sa svojstvom da za
svaku od funkcija f , . . . , f vai d(x, y) < kf (x) f (y)k < /3.
Iz nejednakosti trougla onda sledi da je kf (x) f (y)k < za svako
f K, xto dokazuje (a).
n
89
( ) Poxto je
kompletan, dovo no je da dokaemo da je
totalno ograniqen. Neka je
. Iz (a) sledi da svako x
ima otvorenu okolinu koja ima svojstvo da za y V vai
za sve
. Familija {V } je otvoreno
pokrivae kompaktnog prostora ; po Borel{Lebegovoj teoremi ona
ima konaqno potpokrivae
. Iz (b) sledi da je svaki
od skupova
relativno kompaktan, pa poxto je ovih skupova
konaqno mnogo, i ihova unija je relativno kompaktan skup; oznaqimo
ovaj skup sa S. Iz kompaktnosti skupa S sledi da se on moe pokriti
sa konaqno mnogo otvorenih lopti polupreqnika /4 (iz otvorenog
pokrivaa {B]s; /4[} moe da se izdvoji konaqno potpokrivae).
Oznaqimo centre ovih lopti sa s , . . . , s . Neka je F skup svih preslikavaa
CY (M )
K
> 0
M
Vx
kf (x) f (y)k < /4
f K
M
Vx1 , . . . , Vxn
K(xj )
x xM
sS
: {1, . . . , n} {1, . . . , m}
(j)
xj
kg(y)g(xj )k /4,
kf (xj )g(xj )k /2
k+1
nNk
k+1
lim
Nk 3n
fn (xk+1 ).
90
fn (x).
N 3n
Neka su
otvorene lopte polupreqnika /2 koje pokrivaju
(koristimo kompaktnost skupa K ). Poxto je S gust u M , postoji
za svako j. Poxto je x S, postoji limes f (x ) kad
. Iz Koxijevog uslova (u kompletnom prostoru C) sledi
da
(n N) m > n n |f (x ) f (x )| < ,
3
za sve j {1, . . . , k}. Neka je x K proizvo na taqka. Tada je x B
za neko j, pa za sve x B S vai d(x, x ) < i zato je
B1 , . . . , B k
K
xj S Bj
N 3n
|fn (x)fm (x)| |fn (x)fn (xj )|+|fn (xj )fm (xj )|+|fm (xj )fm (x)| < .
Fn : [a, b] C,
Fn (x) =
fn (t) dt
y 0 = f (x, y)
0
n
j+1
y 0 (t) dt = y0 +
yn (x) = y0 +
x0
0
n
j+1
91
yn0 (s) ds =
yn (t) yn (xj ) =
xj
f (s, yn (xj )) ds
xj
y(x) = y0 +
x0
(n1)
svodi na sistem diferencijalnih jednaqina prvog reda, tako da Pikarova i Penova teorema daju dovo ne uslove rexivosti i za jednaqine
vixeg reda.
(259) Vajerxtrasova teorema. Skup polinoma je gust u normiranom prostoru (C[a, b], k k ). Drugim reqima, za svaku neprekidnu funkciju
f : [a, b] C postoji niz polinoma sa kompleksnim koeficijentima
koji uniformno konvergira ka f . Ako je f realna funkcija, postoji
niz polinoma sa realnim koeficijentima koji uniformno konvergira ka f .
Dokaz: Dovo no je dokazati teoremu za [a, b] = [0, 1] i neprekidnu
funkciju za koju je f (0) = f (1) = 0. Zaista, u protivnom moemo da
92
posmatramo funkciju
gde jeZ
1
(1 x2 )n ,
cn
n (x) =
1
2 n
cn =
Neka je
[a,b]
1
2 n
(1 r ) dr = 2
(1 r ) dr
0
tj.
n (x) dx = 1.
1
pn (x) =
f (t)n (t x) dt,
pn (x) =
1/ n
2 n
(1 r ) dr 2
2
0
pa je c
1
n
<
Zbog R
1/ n
2 n
(1 r ) dr 2
n (x)
1
1
4
1
(1 nr2 ) dr = > ,
3 n
n
n(1 2 )n .
, za sve
vai
n (x) dx = 1
0x1
R1
(f (x + t) f (x))n (t) dt
R 11
|f (x + t) f (x)|n (t) dt
1
R R
R1
+
+ |f (x + t) f (x)|n (t) dt
1 R
R
R1
4kf k n(1 2 )n + 2 .
93
u sluqaju kompleksnih funkcija, gust u C[a, b]. Ovo je jox jedan dokaz
separabilnosti prostora C[a, b] o kojoj je bilo reqi u (228).
Zadatak: Neka je p niz polinoma koji konvergira uniformno
na R. Dokazati da je egov limes polinom. Ovaj zadatak pokazuje da
uslov kompaktnosti domena u Vajerxtrasovoj teoremi ne moe da se
izostavi.
(260) Zadatak: Neka je f : [a, b] C neprekidna funkcija i neka je
Z
x f (x) dx = 0 za sve n {0} N.
Dokazati da je f 0.
Rexee: Funkcija f (x) = f (x) je neprekidna. Neka je p niz
polinoma koji uniformno konvergira ka f . Iz komutativnosti uniformnog limesa i integrala sledi
n
|f (x)|2 dx =
a n
pn (x)f (x) dx = 0,
pa je |f (x)| 0.
(261) Neka je Y Banahov prostor nad po em K {R, C} i A K. Funkcija
f : A Y je analitiqka u taqki a A ako je
a
f (z) =
cn (z a)n
f (z) =
cn (z a)n
f (z)
=
=
=
cn (z
b) +(b a)
Pn=0
P
n
n
k
c
a)nk
n
k=0 k (z b) (b
Pn=0
P
n
nk
(z b)k .
k=0
n=k cn k (b a)
kcn k
n
k
|z b|k |b a|nk =
n=0
f (z) =
tj. f je analitiqka u b.
n=0
e
cn (z b)n ,
apsolutno
,
94
definisane na otvorenim skupovima U i V . Dokazati da iz Koxijevog pravila mnoea (apsolutno konvergentnih) redova (172) sledi
da je ihov proizvod f g : U V C analitiqka funkcija.
(263) Neka c niz u C i f analitiqka funkcija realne promen ive x:
n
f (x) =
Iz (245) sledi da je
q
Z
p
cn (x a)n .
n=0
q
(x a)n+1
f (t) dt =
cn
n + 1 p
n=0
za proizvo ne unutraxe
taqke p, qPintervala konvergencije.
Iz lim n = 1 sledi
da red c nx ima isti polupreqnik
konvergencije kao i red P c x , pa iz (248) sledi da je funkcija f
diferencijabilna u unutraxim taqkama domena i da je en izvod
n
f (x) =
n1
cn nxn1 .
(n)
f (x) =
X
f (n) (a)
(x a)n .
n!
n=1
Red na desnoj strani naziva se Tejlorovim redom funkcije f . Specijalno, analitiqka funkcija je klase C .
Zadatak: Neka je f : C C cela funkcija, takva da je za svako
a C u enom razvoju u red sa centrom u a
f (z) =
cn (z a)n
1/x
(n)
f (x) =
X
f (n) (0) n
x 0.
n!
n=0
ex =
95
X
xn
,
n!
n=0
za |x| < 1.
Dokaz: Iz Dalamberovog testa sledi da red na desnoj strani konvergira za |x| < 1. Ako egov zbir (tj. izraz na desnoj strani)
oznaqimo sa f (x), diferenciraem, uz pomo (263), posle sreivaa
binomnih koeficijenata dobijamo (1 + x)f (x) = f (x), odnosno
X
n
(1 + x) =
x ,
n
n=0
. Poxto je
sledi da je (1 + x) f (x) =
tj.
1.
Specijalno, ako je N {0}, dobijamo utnovu binomnu formulu. U tom sluqaju, zbir na desnoj strani je konaqan (pa formula
vai za sve x).
Ako / N {0}, onda je polupreqnik konvergencije binomnog
reda R = 1, pa red na intervalu ] 1, 1[ konvergira apsolutno, a
na egovim kompaktnim podskupovima i uniformno. Na rubovima
intervala konvergencije, u taqkama 1, konvergencija zavisi od :
za > 0 red apsolutno konvergira za x {1, 1};
za 1 < 0 red neapsolutno konvergira za x = 1 i divergira
za x = 1;
za 1 red divergira za x {1, 1}.
Zadatak: Dokazati da je funkcija f (z) = (1 z z ) analitiqka
u nuli i da koeficijenti c u enom razvoju u stepeni red
P
c z formiraju Fibonaqijev niz: c = c = 1, c
=c
+c .
(267) Konvergenciju binomnog reda moemo da iskoristimo da izvedemo
jox jedan dokaz Vajerxtrasove teoreme o aproksimaciji neprekidnih funkcija polinomima (259). Poxto smo u (228) videli da je
skup deo po deo linearnih funkcija gust u (C[a, b], k k ), dovo no je
dokazati da za svaku deo po deo linearnu funkciju postoji niz polinoma koji joj konvergira u normi k k . Svaka deo po deo linearna
funkcija L : [a, b] R, sa temenima (x , y ), y = L(x ) za
2 1
n+2
n+1
m
X
cj |x xj |
j=0
j+1
96
m
X
cj |xk xj |
j=0
za sve k {0, . . . , m}. Ovo je sistem linearnih jednaqina po nepoznatim c , . . . , c . Matrica ovog sistema je simetriqna kvadratna matrica (|x x |)
. Umesto da razmatramo rexivost ovog
sistema u terminima svojstava te matrice, moemo da postupimo na
sledei naqin.
Skup svih deo po deo linearnih funkcija qija temena imaju x{
koordinate x , . . . , x je vektorski prostor, jer je linearna kombinacija deo po deo linearnih funkcija deo po deo linearna funkcija.
Oznaqimo ovaj prostor sa L. egova dimenzija je m + 1, jer je preslikavae
0
k,j{0,...,m}
m
X
cj |x xj | L
j=0
ima trivijalo jezgro: ako je suma na desnoj strani jednaka nuli, onda
je en izvod po x na [x , x ] jednak
j1
a na [x , x
j
j+1 ]
q
|x xj | = (b a) 1 + ((x xj )2 (b a)2 1),
97
p0 0,
1 2
t p2n (t) .
2
t[0,1]
n+1
1
p (t) = p (t) + (t2 p2 (t)),
2
p (t) = |t|
[0, 1]
I
f :RR
f (x) = sin x
f 00 = f f (0) = 0 f 0 (0) = 1
f 00 = f
f
tj.
. Po Dinijevoj teoremi (252) ova konvergencija je
uniformna na , a zbog parnosti i na .
(269) Za funkciju
su ekvivalentni sledei uslovi
(a)
(b)
,
i
.
Dokaz: Implikacija (a) (b) oqigledno vai, treba dokazati
jox (b) (a). Iz
sledi da je funkcija f klase C { desna
strana ove jednakosti (funkcija ) je dvaput diferencijabilna, a
onda je dvaput diferencijabilna i leva, xto znaqi da je f zapravo
qetiri puta diferencijabilna, ali onda je i f qetiri puta diferencijabilna, tj. f je xest puta diferencijabilna itd. Iz Tejlorove
formule
00
f (x) =
n
X
f (k) (0)
k!
k=0
xk + rn (x)
k{0,1} c[x,x]
sledi
|x|n+1
.
(n + 1)!
f (x) =
X
f (n) (0) n X
xn
x =
(1)n
,
n!
(2n + 1)!
n=0
n=0
sin x =
(2n+1)
(1)n
n=0
xn
(2n + 1)!
98
X
zn
,
n!
n=0
sin z =
(1)n
z 2n+1
,
(2n + 1)!
cos z =
(1)n
z 2n
(2n)!
n=0
z log a
zn
n!
log(1 + x) =
0
Realna funkcija
dt
=
1+t
xX
Z
0
log (1 + x) =
(t)n dt =
n=0
(1)n1
FN
X
(1)n1 n
x .
n
n=1
xn
n
arctan x =
(1)n
x2n+1
2n + 1
za x [1, 1].
Primenom (266) za = 1/2 na 1/1 x i integracijom dobijamo
X
x
arcsin x =
(1)
, za |x| < 1.
n
2n + 1
Zadatak: Funkciju f (x) = e
realne promen ive moemo
da razvijemo u red, najpre po stepenima od (x 1) , a zatim po x:
n=0
1
2
2n+1
n=1
1/(x1)
f (x) =
X
X
1
(1)n X n
(x 1)n =
(1)k xk .
n!
n!
k
n=0
n=0
99
1
1 1
+
ez 1 z
2
z = 0
f (z) : C \ {0} C,
f (z) =
1 1
1
Bn 2n1
+ =
z
(1)n1
ez 1 z
2 n=1
(2n)!
nazivaju se Bernulijevim brojevima. Izraqunati B , . . . , B . Dokazati da je niz B neograniqen i odrediti polupreqnik konvergencije
reda na desnoj strani.
(271) Zadatak: NekaPje X Banahov prostor i a niz u X . Dokazati da ako
Dirihleov red a n konvergira za neko t R, onda on uniformno
konvergira
na [t , +[. Specijalno, Rimanova zeta funkcija (z) =
P
n je definisana na skupu Rez > 1.
(272) Princip izolovanih nula. Neka je Y Banahov prostor nad po em
K realnih ili kompleksnih brojeva, A K i f : A Y funkcija
analitiqka u taqki a, data u okolini te taqke stepenim redom
1
n=1
f (z) =
cn (z a)n
(z U \ {a}) f (z) 6= 0.
cn (z a)n = (z a)k
6= 0}
6= 0
za neko n, onda
. Tada je
n=0
n+l
jer on vai za realne brojeve, a skup R u C ima taqku nagomilavaa (funkcije na obe strane ove jednakosti su analitiqke, za desnu
stranu jednakosti to sledi iz pravila Koxijevog mnoea kompleksnih redova { videti (262)).
(274) Drugi naqin da se vidi da C funkcija iz (264) nije analitiqka
je pomou Teoreme jedinstvenosti (273) (ili Principa izolovanih
100
cn z n ,
n=0
m
0
1
2
1
|f (z0 )| c0 + |cm |rm rm |g(z0 )| c0 + |cm |rm ,
2
f : C X,
pokazati da Princip maksimuma modula ne vai za analitiqke funkcije sa kodomenom u Banahovom prostoru, jer je kf k 1 za |z| <
1. Na kom mestu u dokazu Principa maksimuma modula se koristi
specifiqnost kompleksnog kodomena?
Zadatak: Neka je V C otvoren skup i f : V C funkcija
koja je analitiqka na V , neprekidna na V i nije konstantna. Ako je
funkcija |f (z)| konstantna na rubu V , dokazati da je f (z ) = 0 za
neko z V .
(276) Abelova teorema.
Ako red P c u Banahovom prostoru X konvergira,
P
onda red c t konvergira za sve 0 t < 1 i vai
lim
t10
X
n=0
cn tn =
X
n=1
cn .
101
z1
n=0
n=1
f (z) =
cn z n
n=0 n
sn =
n
X
ck
k1
n0
n1
n1
n=n0 +1
n=0
nX
0 1
ksn k |z|n + ,
n=0
|z|n0 +1
1 |z|
(koristili
smo ks k < za n n i formulu za sumu geometrijskog
reda P |z| = |z| /(1|z|)). Odatle sledi da f (z) tei nuli
kad z 1 unutar oblasti u kojoj je |1 z|/(1 |z|) ograniqeno. Time
je dokaz zavrxen.
Primetimo da limes u prethodnoj teoremi ne zavisi od ugla unutar koga z 1, odnosno od konstante C koja definixe oblast
n=n0 +1
n0 +1
|1 z|/(1 |z|) C.
102
0+
0+
lim
t10
cn tn ;
n=0
n n
lim ncn = 0,
lim
t10
cn tn = A
n=0
cn
i vai
cn = A.
n=0
n0
X
n=0
cn A =
n0
X
n=0
. Niz je opadajui, a iz
. Za n N vai
kmcm k
n n = 0
cn (1 tn )
mn
X
n=n0 +1
cn tn +
X
cn tn A .
n=0
103
sledi
Pn0
n=0 cn A
n
P
Pn0
kncn k + n=n0 +1 kncnn kt +
(1 t) n=0
P
n
n=0 cn t A
P
n0 +1
1
n
(1 t)n0 0 + (n0 +1) (1t) +
n=0 cn t A
.
n0 +1
X
cn tn A
< .
Tada je
n=0
X
n0
(2 + 0 ),
c
A
n
f (z) =
z2 .
m
X
x10
x10
x2 > m
n=0
2n
2n
2ki/2n
n 2n
2 1
X
n=0
an
X
n=0
bn
X
n=0
cn .
104
f (z) =
cn (z a)n
n=0
za sve x, y, z A i K.
Normirana algebra je asocijativna algebra koja je normirani vektorski prostor, i koja zadovo ava
kxyk kxk kyk za sve x, y A.
Zadatak: Dokazati da je za svako a A mnoee A 3 x 7 ax A
neprekidno.
Zadatak: Dokazati da je preslikavae
L(X1 X2 ; Y ) L(X1 ; X1 X2 ) L(X1 ; Y ),
(S, T ) 7 S T
n2
Iz
(e q)
qn =
105
(q n q n+1 ) = e,
n=0
q n = (e q)1
n=0
cn =
n
X
ak bnk .
Zadatak: Pretpostavimo
da je ispuen jedan od sledea dva uslova:
P
P
k=0
X
an
X
bn
cn ,
tj. da se dokaz odgovarajueg pravila Koxijevog mnoea za kompleksne redove (172) i (280) prenosi i na ovaj sluqaj. Dokazati da za
svake dve taqke x, y u komutativnoj Banahovoj algebri vai
n=0
n=0
n=0
ex+y = ex ey ,
gde je
ex :=
X
1 n
x .
n!
n=0
tA
106
L (x) = L (L (x)) i normu definisanu u (130). Jedinica u ovoj algebri je identiqko preslikavae I(x) = x. Ako je prostor X Banahov,
iz (134) sledi da je tada L(X) Banahova algebra.
(286) Ako je M kompaktan metriqki prostor, prostor C(M ) kompleksnih
ili realnih funkcija na M je Banahova algebra, u odnosu na sabirae, mnoee skalarom i mnoee funkcija po taqkama:
1
(f g)(x) = f (x)g(x)
(f )(x) = f (x),
1
2
1
2
f (x) = +
y1
yk
g = min{gy1 , . . . , gyk } A.
107
x1
xn
g = max{gx1 , . . . , gxn } A
n
X
k
ck ((x)) < .
(x [a, b]) f (x)
k=0
(288) Vajerxtrasova teorema o aproksimaciji neprekidnih funkcija polinomima (259) je specijalni sluqaj Ston { Vajerxtrasove teoreme.
(289) Zadatak: Neka je A algebra realnih funkcija koja sadri jedinicu
i funkciju f (t) = t. Opisati eno zatvoree A u odnosu na k k u
algebri C [a, b].
(290) Zadatak: Neka je A algebra koja sadri sve linearne kombinacije
funkcija t 7 t , za n = 0, 1, 2, . . .. Opisati eno zatvoree u odnosu
na k k u algebri C [0, 1].
(291) Ston{Vajerxtrasova teorema { kompleksni oblik. Neka je M kompaktan metriqki prostor i C (M ) = {f : M C} algebra neprekidnih kompleksnih funkcija sa normom k k . Neka je A ena podalgebra koja sadri jedinicu, razlikuje taqke i zatvorena je u odnosu
na kompleksno konjugovae, tj.
2n
f A f A,
f (x) = f (x).
Re f =
1
(f + f ),
2
Im f =
1
(f f ),
2i
A = AR + iAR = CR (M ) + iCR (M ) = CC (M ).
108
(292) Iz kompleksne Ston{Vajerxtrasove teoreme sledi Vajerxtrasova teorema o aproksimaciji trigonometrijskim polinomima: Skup trigonometrijskih polinoma
pn (x) =
X
1
a0 +
(ak cos (kt) + bk sin (kt)),
2
k=1
pn : S1 C,
pn (z) =
n
X
ck z k ,
ck C
k=n
lim
n+q
1X
[a,b] (xk ) =
n n
lim
k=1
[a,b] (t) dt
0
(gde je [a, b] karakteristiqna funkcija intervala [a, b]), jer je integral na desnoj strani jednak b a. Neposredno se proverava da
je
Z
n
1 X 2imxk
e
=
n n
e2it dt
lim
2imxk
2imk
41Ovi polinomi su od znaqaja u teoriji trigonometrijskih Furijeovih redova; koeficijent 1/2 uz a0 se pixe da bi neke formule u toj teoriji imale elegantniji zapis.
109
1X
P (xk ) =
n n
lim
k=1
P (t) dt
0
N
imx
m=0 e
1X
f (xk ) =
lim
n n
k=1
. Iz Druge
f (t) dt
0
f (t) dt < (b a) + .
10
xn
xn
10
10
xn
10
m+1
10
10
10
n
X
k fk gk ,
k K,
fk C(X),
gk C(Y ),
k=1
= 10q
, xto nije
110
b
X
n
ba
f a+k
k
n
ta
ba
nk
bt
ba
(Bn g)(x) =
n
X
g(k/n)
(b) Iz binomne
formule sledi
k=0
n k
x (1 x)nk .
k
n
X
n k
x (1 x)nk = (x + (1 x))n = 1.
k
n
P
n
k
k=0
n
P
k 2 nk xk (1
k=0
xk (1 x)nk = nx,
(nx k)2
n k
x (1 x)nk = nx(1 x).
k
g(x) =
pa je
n
X
g(x)
k=1
n k
x (1 x)nk ,
k
n
X
k n k
|g(x) (Bn g)(x)|
g(x) g
x (1 x)nk .
n
k
A = {k | |x k/n| < },
B = {0, 1, . . . , n} \ A.
X
X n
g(x) g k n xk (1 x)nk
xk (1 x)nk < .
n
k
2
k
2
kA
kA
111
Za k B je |x k/n|, pa dobijamo
P
g(x) g
kA
k
n
n k
x (1 x)nk
k
=
=
2kgk
2
2kgk
n2 2
n
P
k=0
n
P
k 2 n k
n
k x (1
(nx k)2
k=0
2kgk
n2 2 nx(1
x)
n
k
x)nk
xk (1 x)nk
2kgk
2n 2 ,
b
n
Z
f (t) dt = lim
b a
1X
f a+k
n n
n
k=0
za neprekidnu funkciju f : [a, b] C, koja se nekad uzima kao definicija integrala neprekidne funkcije, i naziva Koxijevim integralom. Ovaj pristup definiciji integrala je istorijski prethodio
Rimanovom.
(297) Zadatak: Nai zatvoree, unutraxost, rub i skup taqaka nagomilavaa sledeih podskupova normiranog prostora (C[a, b], k k ):
{f C[a, b] | (t [a, b]) f (t) > 0};
R
{f C[a, b] |
f (t) dt > 0};
skup svih polinoma.
(298) Neka je X vektorski prostor nad po em K = C ili R. Skalarni
proizvod u X je preslikavae h, i : X X K sa svojstvima
(S1) hx + x , yi = hx , yi + hx , yi { aditivnost;
(S2) hx, yi = hx, yi { homogenost po prvoj promen ivoj;
(S3) hx, yi = hy, xi { hermitska simetrija;
(S4) hx, xi 0 { pozitivna (semi)definitnost;
(S5) hx, xi = 0 x = 0 { nedegenerisanost.
Primetimo da (S4) ima smisla i ako je K = C, jer iz (S3) sledi
hx, xi R. Iz (S1) i (S3) sledi da je skalarni proizvod aditivan
i po drugoj promen ivoj, a iz (S2) i (S3) da je konjugovano homogen
po drugoj promen ivoj: hx, yi = hx, yi.
Par (X, h, i) naziva se unitarnim (ili predhilbertovim) prostorom.
(299) Primeri unitarnih prostora:
R sa skalarnim proizvodom hx, yi = x y + + x y ;
C sa skalarnim proizvodom hz, wi = z w + + z w . P
l (C) { prostor svih kompleksnih nizova z takvih da red
|z |
konvergira, sa skalarnim proizvodom h{z }, {w }i = P z w
(iz Helderove nejednakosti sledi da red na desnoj strani apsolutno konvergira, xto opravdava ovu definiciju).
b
a
1 1
1
n n
n=1 n
112
b
a
P proizvod
P
P P svojstva:
1
n2
i i xi ,
j j yj =
i
j i j hxi , yj i
hx + y, x + yi = hx, xi + 2Re hx, yi + hy, yi
hx + y, x yi = hx, xi 2iIm hx, yi + hy, yi
4Rehx, yi = hx + y, x + yi hx y, x yi
Im hx, yi = Re hx, iyi
.
Iz poslede dve jednakosti sledi da je skalarni proizvod jednoznaqno odreen vrednostima na dijagonali.
(302) Koxi { Xvarcova nejednakost: |hx, yi| hx, xi hy, yi. Jednakost
vai ako i samo ako su x i y kolinearni (tj. linearno zavisni).
Dokaz: Za vektore x, y i realni broj vai
2
i
|hx, yi| = hx,
= Re hx, ei yi
p e yip
phx, xiphei y, ei yi
= hx, xi hy, yi.
113
P
zn wn
n=1
Rb
|zn |2
1/2 P
n=1
|wn |2
1/2
n=1
1/2 Rb
1/2
Rb
f (t)g(t) dt
|f (t)|2 dt
|g(t)|2 dt
.
a
x 7 ha, xi,
(x, y) 7 hx, yi
su neprekidna.
(305) Ako su k k i k k norme na C[0, 1] uvedene u (119), tada je k k izvedena iz skalarnog proizvoda uvedenog u (299) i iz Koxi{Xvarcove
nejednakosti sledi Znejednakost
1
kf k1 =
|f (x)| dx = h1, |f |i kf k2 .
za x [0, 1 1/n]
0
f (x) = 2n x 2n(n 1)
za x [1 1/n, 1 1/2n]
n
za x [1 1/2n, 1]
p
vai kf k n/2 i kf k = 3/4, odakle sledi da je jediniqna lopta
u prostoru (C[0, 1], k k ) neograniqen skup u prostoru (C[0, 1], k k ).
Primetimo da iz (206) sledi da ovo ne moe da se desi u normiranim prostorima konaqne dimenzije. Vektorski prostor je beskonaqne dimenzije ako za svaki konaqan skup vektora postoji vektor
koji nije u ihovom linearnom omotaqu. Iz prethodnih razmatraa
sledi da je C[a, b] prostor beskonaqne dimenzije (naravno, ova qienica moe da se dokae i direktno).
(306) Zadatak: Neka su k k i k k dve neekvivalentne (tj. takve da nije
k k k k ) norme na prostoru X , takve da
0
n 2
n 1
114
|f (t)| dt
C[0, 1] 3 f 7 |f (1)|
definisano neprekidno preslikavae F : (C[0, 1], k k ) R. Dokazati da je sup{F (f ) | kf k 1} = 1, ali da F ne dostie taj
supremum ni u jednoj taqki jediniqne lopte {f | kf k 1}. Izvesti
zak uqak da jediniqna lopta prostora C[0, 1] u uniformnoj normi
nije kompaktan skup. Ovo je primer ograniqenog i zatvorenog podskupa metriqkog prostora koji nije kompaktan. On pokazuje i da
u (307) ne vai obrnuto tvree.
(309) Zadatak: Neka je S C [a, b] skup neprekidnih realnih funkcija
koje su u svakoj taqki razliqite! od nule. Izraqunati
!
0
inf
f S
f (x) dx
a
dx
f (x)
Vai i obrnuto tvree: ako norma k k na normiranom vektorskom prostoru X nad po em K {R, C} zadovo ava jednakost
paralelograma, onda na X postoji skalarni proizvod h, i takav da je
kxk = hx, xi. U sluqaju K = R skalarni proizvod je zadat sa
2
hx, yi =
a u sluqaju K = C sa
hx, yi =
1
(kx + yk2 + kx yk2 ),
4
1
i
(kx + yk2 + kx yk2 ) + (kx + iyk2 + kx iyk2 ).
4
4
k kp 1 p
Cn Rn
(
) na i , definisanih
u (124), su izvedene iz nekog skalarnog proizvoda?
(311) Vektori x i y unitarnog prostora X su ortogonalni ako je hx, yi = 0,
a ortonormirani ako su ortogonalni i kxk = kyk = 1.
Zadatak: Dokazati da su vektori cos nx i sin mx (m, n N)
ortogonalni u prostoru C[, ] sa skalarnim proizvodom definisanim u (299). Dokazati da su vektori cos nx i cos mx ortogonalni
za m 6= n. Isto vai i za sin nx i sin mx. Ova tvrea se mogu objediniti u jedno: vektori e i e su ortogonalni ako je m 6= n,
m, n Z.
Zadatak: Koje od normi
inx
imx
115
ortogonalan na S
k,j{1,...,n}
sledi
p
det [P ] = det [G].
Matrica G se naziva Gramovom matricom vektora x , . . . , x , a determinanta matrice P (ili kvadratni koren determinante Gramove
matrice) n{dimenzionom zapreminom paralelepipeda nad tim vektorima. Zadatak: Dokazati da je sistem od n vektora linearno
nezavisan ako i samo ako je egova Gramova matrica invertibilna.
(313) Neka su x , . . . , x meusobno ortogonalni vektori unitarnog prostora
(hx , x i = 0 za j 6= k). Za ih vai Pitagorina teorema:
1
Dokaz
sledi iz
n
X
n
X
xk ,
n
n
X
2 X
xk
=
kxk k2 .
k=1
xj
n
n X
X
hxk , xj i =
k=1 j=1
j=1
k=1
k=1
n
X
hxk , xk i,
k=1
poxto je hx , x i = 0 za j 6= k.
(314) Neka su e , . . . , e ortonormirani vektori unitarnog prostora X . Tada za svaki vektor x X vai Beselova nejednakost
k
n
X
n
k=1
mk
kxk2 =
Poxto je khk
n
X
116
(315) Neka je (X, h, i) unitarni prostor beskonaqneR dimenzije (npr. prostor C[a, b], sa skalarnim proizvodom hf, gi = f (t)g(t) dt). Neka je e
proizvo ni jediniqni vektor. Konstruiximo niz meusobno ortogonalnih jediniqnih vektora na sledei naqin. Ako su e , . . . , e ve
konstruisani, izaberimo proizvo ni vektor x koji nije u ihovovm
linearnom omotaqu. Ovo je mogue, poxto je X prostor beskonaqne
dimenzije. U dokazu Beselove nejednakosti (314) definisali smo
vektor h koji je ortogonalan na sve e , 1 j n. Definiximo
e
= khk h. Iz Pitagorine teoreme sledi
b
a
n+1
S := {x X | kxk = 1}
Dokaz: iz lokalne kompaktnosti prostora X i kompaktnosti skupa K sledi da K moe da se pokrije sa konaqno mnogo otvorenih
skupova sa kompaktnim zatvoreem. Unija tih skupova W je otvoren
skup sa kompaktnim zatvoreem koji sadri K . Ako je U = X , dokaz
je zavrxen izborom V = W . Neka je Y = X \U neprazan skup. Iz (219)
sledi da za svako y Y postoji otvoren skup V takav da je
y
K Vy ,
y
/ V y,
Neka je
Y W V y1 V yn = .
V = W Vy1 Vyn .
117
Tada je
V W V V ,
pa skup V ispuava uslove tvrea.
(318) Za lokalno kompaktne Hausdorfove prostore vai sledea varijanta
Urisonove leme (videti (62)). Neka je X lokalno kompaktan Hausdorfov prostor, U X otvoren podskup i K V kompaktan. Tada
postoji neprekidna funkcija : X R sa kompaktnim nosaqem
takva da je 0 (x) 1,
supp V, tj. 0 na X \ V
i 1 na K . Drugim reqima, postoji neprekidna funkcija takva
da je
,
gde su i karakteristiqne funkcije skupova K i V .
Dokaz: Poreajmo racionalne brojeve iz intervala [0, 1] u niz
{q }, tako da je q = 0 i q = 1. Za svako q konstruiximo skup
V na sledei naqin. Skupove V i V (dakle V i V ) izaberimo,
koristei (317), tako da je
y1
yn
qn
q1
q2
K V1 V 1 V0 V 0 V.
q1 , . . . , Vqn
kon-
qj < qk V qk Vqj .
n+1
n+1
rn+1
i neka je
x Vq
x
/ Vq
q,
0,
(
1,
q (x) =
q,
xVq
x
/ Vq
118
I : Cc (X) R
K1 K2 K3 .
fn = fn K1 fn < .
nk
nk
ck
nk
k
X
I(fnk ) I(f )
Z
I : C[a, b] R,
I(f ) =
f (x) dx
Z
I : C[a, b] R,
I(f ) =
f (x) d
a
119
a (f ) = f (a)
za fiksiranu taqku a X .
(321) Zadatak: Neka je X lokalno kompaktan Hausdorfov prostor K X
kompaktan podskup i C (X; K) skup funkcija uz C (X) qiji je nosaq
sadran u K . Dokazati da je C (X; K) normirani vektorski prostor
u odnosu na normu
c
kf kK := sup{|f (x)| | x K}
i da je restrikcija
I : Cc (X; K) R
IX : C(X) R,
IY : C(Y ) R
I : C(X Y ) R
I(f g) = IX (f ) IY (g).
Specijalno, na ovaj naqin, uopxtavajui prvi primer iz (320) induktivno po n dobijamo definiciju Rimanovog integrala neprekidne
funkcije n promen ivih po n{dimenzionom kvadru, tj. funkcije
f : [a1 , b1 ] [an , bn ] R.
b
a
120
vai za funkcije kompleksne promen ive sa vrednostima u Hilbertovom prostoru. Uporediti to sa Zadatkom u (275) koji pokazuje da
Princip maksimuma modula ne vai za funkcije sa vrednostima u
Banahovom prostoru.
(324) U terminima unitarnih prostora zadatak u (260) moe da se interpretira na sledei naqin. Pretpostavka
Z
tn f (t) dt = 0
f (t) sin nt dt = 0 =
0
f (t) cos nt dt
0
121
n
n
X
2
X
2
h
j xj
= khk2 +
j xj
khk2 .
j=1
j=1
hx, ej iej
j=m
h=x
hx, en ien .
x=
hx, en ien .
n
n
X
X
x
hx, ej iej
x
j ej
j=1
j=1
n
j=1
j ej
. Drugim reqima, to
hx, ej iej
he :=
y = ax
122
kyj axj k2
y = ~a ~x
k
1
k
m
n
X
yj
m
X
ak pkj
2
bude najmaa. Drugim reqima, traimo najbo u aproksimaciju vektora (y , . . . , y ) linearnim kombinacijama vektora ~a u standardnoj
euklidskoj normi prostora R .
Zadatak: Metodom najmaih kvadrata nai pravu y = ax + b koja
najbo e opisuje izmerene vrednosti A(0, 2), B(2, 0) i C(3, 2).
Zadatak: Metodom najmaih kvadrata naena je prava y = ax +
b koja najbo e opisuje izmerene vrednosti A (x , y ), . . . , A (x , y ).
Dokazati da se pozitivna iPnegativna vertikalna odstupaa meusobno ponixtavaju, tj. da je (y ax b) = 0.
(329) Linearno nezavisan sistem vektora {f , f , . . .} u43 normiranom vektorskom prostoru X beskonaqne dimenzije je baza tog prostora ako
svaki vektor x X moe da se predstavi u obliku
j=1
k=1
n
i=1
x=
n fn
za neke skalare , n N.
Svaka baza je potpun sistem, ali nije svaki potpun sistem linearno nezavisnih vektora baza44, kao xto pokazuje primer sistema
{1, t, t , . . .} u C[1, 1]. Po Vajerxtrasovoj teoremi o aproksimaciji
polinomima, ovaj sistem je potpun u prostoru (C[1, 1], k k ), a time
i u (C[1, 1], k k ) (poxto uniformni limes komutira sa integralom
n=1
123
f (t) =
n tn
n=0
sZ
kn t k2 =
|n
|2 t2n
dt = |n |
2
,
2n + 1
za dovo no
veliko n vai | | < 2n + 1. Odatle sledi da stepeni
P
red t uniformno konvergira na kompaktnim skupovima intervala ] 1, 1[. Oznaqimo egov zbir sa
n=0
g(t) =
n tn .
n=0
2 Z
X
n
n t
0 =
f
n=0
|f (t) g(t)|2 dt 0,
1+
pa je, zbog neprekidnosti funkcija f i g, f = g na svakom intervalu [1 + , 1 ]. Meutim, g je analitiqka funkcija (pa je, izmeu
ostalog i klase C ), dok je f samo neprekidna, ne obavezno ni diferencijabilna.
(330) Ako je sistem vektora u unitarnom prostoru X ortogonalan i potpun,
onda je on baza.
Dokaz: Mnoee vektora datog sistema skalarom ne mea sadraj tvrea, pa moemo da pretpostavimo da je {e , e , . . .} ortonormiran sistem. Takav sistem je linearno nezavisan, jer iz
n
X
j ej = 0
j=1
xy =
n
j=1
j j
X
n
n
X
hx, ej iej y + x
hx, ej iej .
j=1
j=1
124
j=1
x=
n0
hx, en ien .
Izraz na desnoj strani naziva se Furijeovim redom vektora x. Skalarnim mnoeem obe strane sa x, koristei neprekidnost norme
dobijamo Parsevalovu jednakost
n=1
kxk2 =
|hx, en i|2 .
Sliqno, koristei neprekidnost skalarnog proizvoda, dobijamo Parsevalovu jednakost za skalarni proizvod:
n=1
hx, yi =
hx, en ihy, en i.
n
X
Pn (x) =
hx, ej iej
d(x, En )
1 1
n n
Iz qienice da je za svako x definisan jedinstven vektor P (x) zak uqiti da ovaj sistem ima jedinstveno rexee po a , . . . , a . Izvesti
odatle jox jedno rexee zadatka iz (312).
n
125
(331) Sistem vektora {1, cos t, sin t, cos 2t, sin 2t, } je ortogonalan u unitarnom prostoru C[, ] sa skalarnim proizvodom
Z
hf, gi =
f (t)g(t) dt.
2
2
n 2
X
1
(an cos nx + bn sin nx)
f = a0 +
2
n=1
1
an =
1
bn =
inx
int
n=
ix
+
X
inx
cn e
n=
= lim
N
X
cn einx ,
n=N
jer su konaqne sume na desnoj strani ono xto se dobije kad se parcijalne sume reda po sinusima i kosinusima transformixu uz pomo
Ojlerove formule.
Zadatak: Dokazati da je vektorski prostor svih apsolutno konvertentnih trigonometrijskih redova Banahova algebra, ako su za
f (t) =
+
X
n=
cn eint ,
g(t) =
+
X
n=
dn eint .
126
kf k =
|cn |,
+ X
X
(f ? g)(t) =
n=
n=
ck dj eint .
k+j=n
2
Zadatak: Dokazati da iz Parsevalove jednakosti za funkciju f (t) =
t sledi
2
2
2
2
n=
n=1
X
2
1
=
.
2
n
6
n=1
(332) Parsevalovu jednakost moemo da iskoristimo za dokaz sledeeg tvrea, poznatog kao Liuvilova teorema. Neka je c niz u C i neka red
n
f (z) =
cn z n
n=0
Ako je kf k
n=0
2 2n
|cn | r
1
=
2
, onda je
|cn |2 r2n C 2 ,
f (x) =
+
X
cn einx ,
127
inx/T
inx/T
int/T
n=
+
X
Primetimo da je
T inx/T
e
.
n=
cn
Neka je
cn
T
1
=
f (t)eint/T dt.
1
fb() =
2
f (t)eit dt.
T
Tako je Furijeov red funkcije f priblino jednak
Z
X
b
f ( )e
fb()e d, kad T +.
T
Ovaj integral naziva se Furijeovim integralom funkcije f . Razvijae 2{periodiqne funkcije u en Furijeov red je analogno predstav au funkcije realne promen ive enim Furijeovim integralom. Ova, donekle neformlana, razmatraa emo deta nije razmotriti u Glavi 5.
(334) Risova teorema o projekciji. Neka je X Hilbertov prostor i Y egov
zatvoren potprostor. Tada svaki vektor x X moe na jedinstven
naqin da se napixe u obliku
in x
ix
n=
x = y + z,
y Y, z Y .
45Ovaj uslov nije i dovo an; vixe deta a o ovome emo da vidimo u Glavi 5.
128
kx yn k < d +
1
= dn .
n
odnosno,
1
2kx (yn + ym )/2k2 + kyn ym k2 = kx yn k2 + kx ym k2 .
2
d2n + d2m
(yn + ym )/2
Y
2d2
dn = d + 1/n
2
2
4d 4d
+
+ 2 + 2.
n
m
n
m
= 2(kx y0 k2 + kx yk2 )
= 2(d2 + d2 ) = 4d2 .
, pa dobijamo
>0
x y + y0
=
(x y0 ) + (x y)
< d,
2
2
0
Neka je
Tada je
c := hx y, vi =
6 0.
u=y+
c
v Y.
kvk2
kx uk2 = hx u, x ui = kx yk2
|c|2
< kx yk = d(x, Y )
kvk2
129
Y = {x X | a x = 0}
Poxto je za svako x X
a = a (v)v.
h=x
a (x)
vY
a (v)
hx, (a + b )i =
=
=
=
(a + b )(x)
a (x) + b (x)
hx, (a )i + hx, (b )i
hx, (a ) + (b )i.
130
: X (X ) ,
(x)(x ) = x (x),
131
GLAVA 2
Diferencirae
1. Diferencirae u normiranim prostorima
(1) U Glavi 1 smo videli da izvod realne funkcije realne promen ive
moemo da uopxtimo na preslikavaa f : I Y intervala I R
u normirani vektorski prostor (Y, k k ) { ako je t I unutraxa
taqka, izraz
Y
1
(f (t0 + h) f (t0 ))
h0 h
f 0 (t0 ) = lim
0 (t0 ) := lim
Tada se prava
tt0
(t) (t0 )
.
t t0
lim
0
1
0
2
k1 (t) 2 (t)k
= 0.
t t0
lim
xx0
kf (x) g(x)kY
= 0.
kx x0 kX
134
2. DIFERENCIRA E
x0
x 7 f (x0 ) + L(x x0 ),
S = {x X | kxkX = 1}
X
0
Df : V L(X; Y )
135
+:AV A
d(a1 , a2 ) = kvk,
136
2. DIFERENCIRA E
x0
f (x0 )
Df : V
L(Ta A; Tf (a) B)
aA
x0
f (x0 )
137
Proizvod na desnoj strani je kompozicija linearnih preslikavaa; prethodni izraz moe da se napixe i kao
D(g f ) = (Dg f ) Df.
khkX <
gde je
k(h)kZ kkkZ .
pa je, za khk
<
/(a + 1)
Neka je h = g f . Tada je
i kDg(y )((h)k
0
bkhkX .
h(x0 + h) = g(y0 + Df (x0 )(h) + (h)) = g(y0 ) + Dg(y0 )(Df (x0 )(h)) + (h),
kL(k)kX ckkkY .
138
2. DIFERENCIRA E
<
k 7 f 1 (y0 + k) f 1 (y0 )
Odatle sledi
Poxto je
dobijamo
odakle sledi
kL(k)kX
1
khkX ,
2
1
khkX ,
2
pa je
kL((h))k ckhk
Time smo dokazali da za kkk
X
kf
(y0 + k) f
X
Y
2c2 kkkY .
< 1
vai
Ako je
za sve
L : X Y
DL(x) = L
xX
diferencijabilno u
Dokaz poslede jednakosti moe da se izvede direktno iz definicije izvoda, ili iz dokazanog svojstva DL(x) = L pomou
pravila za izvod sloenog preslikavaa.
Zadatak: Nai matricu prvog izvoda preslikavaa
L : R2 R2 ,
139
DL(x1 , . . . , xn )(h)
= L(h1 , x2 , . . . , xn ) + L(x1 , h2 , x2 , . . . , xn ) + +
+ + L(x1 , . . . , xn1 , hn ).
Zadatak: Neka je L : X X Y
Dokazati da je
(10) Zadatak: Neka je A Banahova algebra i G(A) grupa enih invertibilnih elemenata. Dokazati da je preslikavae
f : G(A) A,
f (x) = x1
1 0
x
1
x2
h,x0 i
kx0 k
A : R GL(n, K)
00 = 2 0 A 0 A1
d2 A 1
A .
dt2
140
2. DIFERENCIRA E
2n
LC (1 x1 + 2 x2 ) = 1 LC (x1 ) + 2 LC (x2 ),
LC (1 x1 + 2 x2 ) = 1 LC (x1 ) + 2 LC (x2 ),
141
1 (x) : B1 Y,
1 (x) = f (x, a2 )
2 (x) : B2 Y,
Dj f (a) = lim
f (a + hej ) f (a)
,
h
ej = (0, . . . , 0, 1, 0, . . . , 0)
su izvodi funkcije jedne (j{te) promen ive, pri qemu se ostale promen ive tretiraju kao konstante. U ovom sluqaju za D f koristi se
i oznaka . Na primer, ako je f (x, y) = x y + e , onda je
h0
f
xj
f
(x, y) = 2xy + ex ,
x
f
(x, y) = x2 .
y
f (x, y) =
x y
x6 +y 6 ,
0,
definisana sa
(x, y) 6= (0, 0)
(x, y) = (0, 0)
ima parcijalne izvode (0, 0) i (0, 0), ali nije neprekidna (pa
samim tim ni diferencijabilna) u taqki (0, 0).
(17) Izvod u pravcu vektora. Pojam parcijalnog izvoda moe da se uopxti
na sledei naqin. Neka su (X, kk ), i (Y, kk ) normirani vektorski
f
x
f
y
142
2. DIFERENCIRA E
vektora X je
D f (a) = lim
f (a + t) f (a)
,
t
f
xj
f : R3 R,
f (x, y, z) = x yz 2 + y 3
D f (a) =
d
f (t).
dt t=0
f (x, y) =
xy
x2 +y 2 ,
(x, y) 6= (0, 0)
(x, y) = (0, 0).
0,
i = (1, 0) j = (0, 1)
Di+j f (0, 0)
f : R3 R,
f (x, y, z) = x2 + y 2 3z
kk
f (x, y) =
x2 y
x4 +y 2 ,
0,
(x, y) 6= (0, 0)
(x, y) = (0, 0),
143
ima izvod D f (0, 0) u pravcu svakog vektora R , ali da nije diferencijabilna u taqki (0, 0).
(24) Zadatak: Dokazati da je funkcija
2
f : R2 R,
f (x, y) = ( 3 x +
y)3
Dh (L f )(a) = L Dh f (a).
Dokaz: U Glavi 1 smo dokazali da je Lipxicova konstanta diferencijabilnog preslikavaa h : [0, 1] Y jednaka supremumu norme
prvog izvoda kDh(t)k (videti (140) na str. 50). Dokaz sada sledi
primenom ovog rezultata i pravila diferenciraa sloene funkcije na preslikavae
01
h : [0, 1] Y,
Zadatak: Posmatrajui preslikavae x 7 f (x) Df (c)(x) dokazati da, pod pretpostavkama iz prethodnog tvrea, za svako c V
vai
kf (b) f (a) Df (c)(b a)k kb ak
sup kDf (x) Df (c)k
.
(27) Zadatak: Neka je V X otvoren povezan podskup i f : V Y
diferencijabilno preslikavae. Dokazati da ako je Df 0 na V ,
onda je preslikavae f konstantno.
Zadatak: Neka je V R otvoren povezan podskup i f : V R
neprekidna funkcija, takva da je
f
(x, y) = 0 za sve (x, y) V.
y
Da li odatle sledi da f ne zavisi od y?
Rexee: Ne sledi. Primer: neka je V = V V V , gde je
Y
L(X;Y )
x[a,b]
V1 =] 2, 0[] 3, 3[,
a f : V R funkcija (definisana sa
f (x, y) =
x2 ,
x2 ,
(x, y) V1 V2
(x, y) V3 .
144
2. DIFERENCIRA E
(x1 , x2 ) 7 D1 f (x1 , x2 ),
(x1 , x2 ) 7 D2 f (x1 , x2 ),
V L(X1 ; Y )
V L(X2 ; Y )
neprekidna.
Specijalno, iz ovog tvrea sledi da je neprekidnost parcijalnih izvoda dovo an uslov za diferencijabilnost (uporediti za
zadacima (16), (23) i (24)).
Dokaz: () Neka je preslikavae f klase C na V i neka je a =
(a , a ) V . Preslikavae
x f (x , a )
je kompozicija preslikavaa f i inkluzije
j : X X X , j (x ) = (x , a ).
Preslikavae j je linearno, kompozicija translacije i preslikavaa i (x ) = (x , 0), tj;
j (x ) = (0, a ) + i (x ).
Izvod konstante je nula, pa je Dj = Di . Preslikavae i je linearno
i neprekidno, pa je, kao xto smo videli u (9), Di = i . Odatle,
na osnovu pravila za izvod kompozicije preslikavaa i definicije
parcijalnog izvoda sledi
D f (a) = D(f j (a )) = Df (j (a )) i .
Sliqno se dokazuje da je
D f (a) = D(f j (a )) = Df (j (a )) i
za inkluziju
j : X X X , i (x ) = (a , x )
i en izvod i . Zak uqak sada sledi iz neprekidnosti preslikavaa
1
(S, T ) 7 S T
145
f (a + h)
=
=
+
f (a) L(h) =
f (a1 + h1 , a2 + h2 ) f (a1 , a2 ) D1 f (a)(h1 ) D2 f (a)(h2 )
f (a1 + h1 , a2 + h2 ) f (a1 , a2 + h2 ) D1 f (a)(h1 )+
f (a1 , a2 + h2 ) f (a1 , a2 ) D2 f (a)(h2 ).
kf (a + h) f (a) L(h)kY
k=1
Jf (a) =
fj
xk
.
j=1,...,s; k=1,...,r
5Matriqno predstav ae linearnog preslikavaa zavisi od izbora baze; ovde je req o
standardnim bazama na Kr i Ks koje qine jediniqni vektori du koordinatnih osa, e1 =
(1, 0, . . . , 0), e2 = (0, 1, 0, . . . , 0) itd.
146
2. DIFERENCIRA E
Iz pravila za mnoee matrica slede zapisi teoreme o izvodu sloenog preslikavaa u terminima parcijalnih izvoda. Na primer,
ako je
x = x(t), y = y(t), z = z(t),
onda je izvod sloene funkcije f (x, y, z) po t jednak
df
f dx f dy f dz
=
+
+
dt
x dt
y dt
z dt
x = x(r, s, t),
y = y(r, s, t),
z = z(r, s, t),
u polarnim koordinatama
f
f
f
=
cos +
sin ,
r
x
y
f
f
f
= r
sin + r
cos .
x
y
v(x, y) = x y
f
u
2
f
v
2
.
Dokazati da je
v(x, y) = f (xy(x2 + y 2 )1 ).
v
v
i x x
+y
= 0.
y
(32) Neka je V X otvoren podskup normiranog prostora X , g : V Y ,
1 k r diferencijabilna preslikavaa u normirane prostore Y
i f : Y Y Z diferencijabilno preslikavae u normirani
prostor Z . Iz pravila za izvod sloene funkcije i (30) sledi
u
u
=
x
y
D(f (g1 , . . . , gr )) =
r
X
k=1
f
xk
6U (7) smo objasnili zaxto u ovom sluqaju (parcijalni) izvod moemo da smatramo
skalarnom funkcijom.
x2 sin 1
x
f (x, y) =
1
2
y
sin
0,
147
xy 6= 0,
x 6= 0, y = 0
x = 0, y 6= 0
x=y=0
f (x, y) =
1
(x2 + y 2 ) sin x2 +y
2,
0,
f
y
(
f (x, y) =
xy
2
x +y 2
0,
f
y
nn
f : GL(n, K) K,
f (X) = det X
df (B)V = det B tr (B 1 V ).
det eA = etr A .
(s+t)A
sA tA
0
Ct
A A
148
2. DIFERENCIRA E
G : V CY (M ),
x 7 f (x, )
preslikavae skupa V u normirani prostor (C (M ), kk ) neprekidnih funcija f : M Y . Tada je G diferencijabilno i egov prvi
izvod u taqki x V je D f (x, ) L(K ; C (M )).
Dokaz: Iz Teoreme o sredoj vrednosti sledi da je za svako t M
tM
F : V C,
F (x) =
f (x, t) dt
f (x, t) dt =
D1 f (x, t) dt.
df (a)(h) =
Poxto su projekcije
r
X
f
(a)hk .
tk
k=1
(t1 , . . . , tr ) 7 tk
ili, krae,
r
X
f
(a)dtk ,
df (a) =
tk
k=1
df =
r
X
f
dtk .
tk
k=1
149
df =
r
X
f
f
dxk +
dyk .
xk
yk
dz k = dxk idyk .
df =
gde je
r
X
f
k=1
1
f
:=
zk
2
f
dzk +
dz k ,
zk
z k
f
f
i
xk
yk
,
f
1
:=
z k
2
f
f
+i
xk
yk
.
r
X
f
dzk ,
zk
k=1
f =
r
X
f
dz k .
z k
k=1
Zak uqak iz (13) je da je R{diferencijabilna funkcija f i C{diferencijabilna ako i samo ako je f = 0. Npr, funkcija
f : C C,
f (z) = |z|2
df (a) L(X; K) = X .
Po Risovoj teoremi o reprezentaciji (videti (335) na str. 129), postoji jedinstveni vektor, oznaqiemo ga sa f (a) X , takav da je
df (a)(h) = hh, f (a)i,
150
2. DIFERENCIRA E
f (a) =
f1
fr
(a), . . . ,
(a) .
x1
xr
Napomenimo da ovaj zapis zavisi od izbora baze i od skalarnog proizvoda. U standardnoj bazi i sa standardnim skalarnim proizvodom
on je sliqan zapisu diferencijala iz (40).7 Meutim, ova dva objekta
se razlikuju: diferencijal je kanonski definisan u proizvo nom
normiranom prostoru, dok je za gradijent potreban skalarni proizvod
i kompletnost.
Ako je K = R, iz Koxi{Xvarcove nejednakosti sledi da za izvod
u pravcu vektora u taqki a vai
D f (a) = Df (a)() = h, f (a)i kk kf (a)k.
f
f
(x0 , y0 )(x x0 ) +
(x0 , y0 )(y y0 ) = 0.
x
y
d
d
(t0 ).
f ((t)) = f ((t0 ))
dt t=t0
dt
f
f
(x0 , y0 ),
(x0 , y0 )
x
x
151
(44) Homogena preslikavaa. Preslikavae f : X Y vektorskih prostora nad po em skalara K je homogeno ako je
f (x) = f (x) za sve K.
Ako su X i Y normirani prostori, a f homogeno preslikavae koje je
diferencijabilno u nuli, onda je f linearno. Zaista, iz homogenosti
sledi f (0) = 0 i f (t) = tf () za t K, pa je
f (t) f (0)
= f ().
t
f = Df (0) L(X; Y )
Df (0)() = lim
To znaqi da je
.
(45) Pozitivno homogene funkcije i Ojlerova teorema. Uopxtee (44)
su preslikavaa koja su homogena stepena k, za neki pozitivan broj
k . To su preslikavaa za koja je
f (x) = f (x) za sve K.
Na primer, k{linearna preslikavaa X X Y su homogena
stepena k. Polinom
t0
je homogen stepena 7.
Zadatak: Neka je preslikavae f : X Y diferencijabilno i
homogeno stepena k. Dokazati da je za svako h X izvod u pravcu
D f : X Y homogeno preslikavae stepena k 1.
Ako je po e skalara K = R, uopxtee homogenosti je pozitivna
homogenost, koji se dobija zahtevom da jednakost f (x) = f (x) vai
za sve > 0. Za pozitivno homogene funkcije vai Ojlerova teorema: Diferencijabilna funkcija f : X R na realnom normiranom prostoru X je pozitivno homogena stepena k ako i samo ako
je
Df (x)(x) = kf (x).
Dokaz: () Neka je x X i neka je : [0, +[ R funkcija
definisana sa
() = f (x) f (x).
Ako je f pozitivno homogena stepena k, onda je 0, pa je () 0.
Po pravilu diferenciraa sloene funkcije odatle sledi
h
Df (x)(x) = kf (x).
152
2. DIFERENCIRA E
Operator
f (x) 7 Df (x)(x)
na prostoru funkcija f : X R naziva se Ojlerovim operatorom.
Ojlerova teorema, drugim reqima, ustanov ava da su pozitivno homogene funkcije stepena k sopstveni vektori Ojlerovog operatora koji
odgovaraju sopstvenoj vrednosti k.
Zadatak: Neka su p(x, y) i q(x, y) homogene funkcije istog stepena homogenosti. Dokazati da se homogena diferencijalna jednaqina
p(x, y)
dy
+ q(x, y) = 0
dx
=
+v
dx
x
u kojoj leva strana zavisi samo od v a desna samo od x, pa moe eksplicitno da se rexi integracijom obe strane.
Zadatak: Skicirati krivu y = x + x , i dokazati da je (0, 0)
ena singularna taqka. Dokazati da se smenom y = vx ova kriva
prevodi u krivu v = x + 1 koja nema singularnih taqaka.
U oba prethodna zadatka, smena promen ive y = vx koja je pojednostavila problem moe da se shvati kao uvoee novih koordinata
x = u, y = uv . Preslikavae
2
= () {0} RP 1 .
Projekcija
:R
povrxi na prvu koordinatu naziva se sigma procesom (u literaturi na engleskom jeziku qexi je termin blow up) i predstav a
jedan od metoda razrexavaa singulariteta krivih u Algebarskoj
geometriji. Jedna primena sigma procesa ne mora uvek da razrexi
singularitet, ali je poznato da svaki singularitet algebarske krive
u ravni (tj. krive koja je skup nula polinoma dve promen ive) moe
da se razrexi konaqnom kompozicijom sigma procesa.
Zadatak: Razrexiti singularitet krive x = y .
2
153
U Glavi 1 smo videli da je i L(X; Y ) normirani vektorski prostor, pa ima smisla govoriti i o izvodu preslikavaa Df (ukoliko
on postoji). Izvod tog preslikavaa je, po definiciji, drugi izvod
preslikavaa f ; preslikavae koje ima drugi izvod naziva se dvaput
diferencijabilnim preslikavaem, a egov drugi izvod je preslikavae
D f : V L(X; L(X; Y )).
U Glavi 1 je pokazano da postoji identifikacija
2
L(X; L(X; Y ))
= L(X, X; Y ),
n1
Dn f : V L(X, , X; Y )
C (V ) :=
C n (V )
nN
1
(n 1)!
154
2. DIFERENCIRA E
pri qemu je, kao xto je objaxeno u (46), na levoj strani jednakosti
drugi izvod shvaen kao bilinearno preslikavae, tj. element prostora L(X, X; Y ) izomorfnog prostoru L(X; L(X; Y )).
Iz diferencijabilnosti preslikavaa Df i osobina izvoda u
pravcu vektora (17) primeenih na preslikavae Df sledi
D2 f (a)(h1 ) = Dh1 (Df )(a).
Obe strane ove jednakosti su linearna preslikavaa na X ; izraqunavaem vrednosti u taqki h X dobijamo
2
Poxto je
L : L(X; Y ) Y, S 7 S(h )
linearno preslikavae, primenom (25) na S = Df (a) izraz na desnoj
strani poslede jednakosti moemo da napixemo kao
2
Poxto je D
h1 (Df (a)(h2 ))
155
Poxto je
a odatle
{i1 , . . . , ik } {1, , r}
156
2. DIFERENCIRA E
a zatim na
f (x, y) =
xy xx2 y
+y 2 ,
0,
(x, y) 6= (0, 0)
(x, y) = (0, 0).
2f
xy
f
y
2f
2f
(0, 0) 6=
(0, 0).
xy
yx
y
x
x
2
y2
e
0,
xy =
6 0
xy = 0,
:=
2
2
+ +
2
x1
x2n
u(x, y) = log
harmonijska.
(b) Dokazati da je funkcija
u : R3 \ {(0, 0, 0)} R,
u(x, y, z) = p
x2 + y 2
1
x2
+ y2 + z2
harmonijska.
(v) Dokazati da je svakapharmonijska funkcija u : R \{(0, 0, 0)}
R koja zavisi samo od = x + y + z oblika u() = a + b .
3
neka je
f : D C, f (x, y) = u(x, y) + iv(x, y)
funkcija klase C .
(a) Dokazati da f zadovo ava Koxi{Rimanov uslov (videti (13))
ako i samo ako je
1
u
v
=
,
x
y
u
v
=
y
x
[D2 f (a)] =
2f
xi xj
1/t
h : Rn R,
h(x) =
(2
(2 kxk2 )
kxk2 ) + (kxk2 2 /4)
k
[
j=1
B]aj ; /2[
k
[
B]aj ; [ Rn \ F.
j=1
158
2. DIFERENCIRA E
f (x) = 1
k
Y
(1 gj )
n
X
X 3 k 7 f (x + k) (f (x) + Df (x)k + . . . +
1 n
D f (x)k n )
n!
1
kf (x + h) (f (x) + Df (x)h + . . . + n!
Dn f (x)hn )kX
2
sup01 kDf (x + h) (Df (x) + D f (x)(h) + +
1
+ (n1)!
Dn f (x)(h)n1 )kL(X;Y ) khkX
(ovde smo koristili pravilo diferenciraa vixelinearnog preslikavaa, videti (9)). Dokaz sledi iz induktivne hipoteze primeene na Df .
(57) Neka je u (56) X = K . Tada Tejlorova formula moe da se napixe u
vidu
X 1
D f (x)h + o(khk ) kad h 0,
f (x + h) =
!
gde je = ( , . . . , ), N {0} (ovakvo se naziva multiindeksom), h = (h , . . . , h ) K i
p
n
X
||n
! :=
p
Y
k=1
k !,
|| :=
p
X
k=1
k ,
h :=
p
Y
k=1
k
h
k ,
D f := D11 . . . Dpp f.
159
|| f
p .
1
x
1 . . . xp
i g(x, y) = 1 x 1 y + xy
u Tejlorov polinom stepena 3 u taqki (0, 0).
(59) Lokalne ekstremne vrednosti funkcija. Neka je V X otvoren
podskup normiranog prostora X i f : V R realna funkcija na V
koja je n puta diferencijabilna u taqki a V . Neka je
Df (a) = 0, . . . , D
f (a) = 0 i D f (a) 6= 0.
Tada vae sledea tvrea:
(a) Ako je a taqka lokalnog ekstremuma funkcije f , onda je n paran
broj, a n{linearna forma D11 f (a) je pozitivno semidefinitna
(tj. D f (a)(h ) 0 za sve h X ) ako je a taqka lokalnog
minimuma, a negativno semidefinitna (tj. D f (a)(h ) 0 za
sve h X ) ako je a taqka lokalnog maksimuma.
(b) Ako je za neko > 0
f (x, y) = log (1 + x + y)
n1
Dn f (a)hn ,
na jediniqnoj sferi khk = 1, onda je a taqka lokalnog minimuma. Ako je za neko > 0
X
Dn f (a)hn ,
f (a + h) f (a) =
za neku funkciju
takvu da
kad .
Po pretpostavci o {tom izvodu funkcije , za neko
D f (a)h 6= 0, pa je
n
n
0
f (a + th0 ) f (a) =
1 n
D f (a)hn0 + (th0 ) kh0 knX
n!
je
tn .
n
0
n
0
11Dovo no je rei ,,za sve h na jediniqnoj sferi khkX = 1", jer je Dnf (a) vixelinearno,
pa time i homogeno preslikavae.
160
2. DIFERENCIRA E
1
+ (h) khkkX .
n!
(n)
(n)
2x3y
1
X
1
S : CX
([0, 1]; x0 , x1 ) R,
S() =
1
X
161
1
(t) < <
CX
([0, 1]; x0 , x1 )
1
(, ) CX ([0, 1]; x0 , x1 )
0 =
dS( )
=0
d
) takvu da je12
Sliqno kao u (39) izvod na desnoj strani se izraqunava diferenciraem pod znakom integrala, uz primenu pravila za izvod sloenog
preslikavaa:
Z
=0
dS( )
=
d
Neka je
D1 L( (t), 0 (t), t)
(t)
0 (t)
+ D2 L( (t), 0 (t), t)
dt.
(t)
.
h(0) = h(1) = 0
h(t) =
Iz (i) x sledi
, pa primenom parcijalne integracije
na
drugi
sabirak
dobijamo
Z
dS( )
=
d =0
D1 L((t), 0 (t), t)
d
D2 L((t), 0 (t), t) h(t) dt,
dt
d
dt
D1 L((t), 0 (t), t)
d
D2 L((t), 0 (t), t) = 0
dt
l() =
1 + (f 0 (t))2 dt.
d
dt
f 0 (t)
1 + (f 0 (t))2
= 0,
1
X ([0, 1]; x0 , x1 );
metod o kome je ovde req spada u oblast varijacionog raquna. Ovde primeujemo (59) na
preslikavae 7 S( ) za svaku glatku familiju . To preslikavae je realna funkcija
realne promen ive, koja se faktorixe kroz prostor CX1 ([0, 1]; x0 , x1 ) kao kompozicija dva
preslikavaa. Prostor CX1 ([0, 1]; x0 , x1 ) nije normirani prostor, ali ipak na ovom mestu
moemo da komutiramo izvod i integral; vixe deta a o toj operaciji rei emo u Glavi 4.
162
2. DIFERENCIRA E
f (x, y) = 0
f
f
(x0 , y0 )(x x0 ) +
(x0 , y0 )(y y0 ) = 0,
x
y
f
f
(x0 , y0 )(x x0 ) +
(x0 , y0 )(y y0 ) = 0
x
y
y
ima rexee po .
Na taj naqin, ako problem rexavaa jednaqine f (x, y) = 0 lokalizujemo (tj. ograniqimo na mali kvadrat, ili okolinu, oko taqke
(x , y )), onda moemo da oqekujemo da moemo i da ga linearizujemo.
Na primer, ako je f (x, y) = x + y 1, onda je kriva C krug
S , a ega moemo da predstavimo kao grafik funkcije y = (x) u
okolini bilo koje taqke sem (1, 0), jer je u svim ostalim taqkama
0
f
(x, y) = 2y 6= 0.
y
f
(x0 , y0 ) 6= 0
x
163
k kp 1 p
f
y
164
2. DIFERENCIRA E
neprekidna linearna preslikavaa (pa su jednaka svom izvodu). Odatle sledi da je parcijalni izvod preslikavaa g po drugoj promen ivoj
D2 g(x, y) = (D2 f (x0 , y0 ))1 (D2 f (x0 , y0 ) D2 f (x, y)),
kD2 g(x, y)kL(Y ) k(D2 f (x0 , y0 ))1 kL(Z;Y ) kD2 f (x0 , y0 ) D2 f (x, y)kL(Y ;Z)
Poxto je, po pretpostavci, preslikavae D f : Q L(Y ; Z) neprekidno u taqki (x , y ), postoji okolina B ]x [; B ]y ; [ na kojoj
je
1
2
1
ky1 y2 kY
2
]0, [
.
2
B]y0 ; [
x BX ]x0 , [
165
lokalnog karaktera moemo da pretpostavimo da je (x , y ) u toj okolini. Time su ispueni svi uslovi teoreme sa taqkom (x , y ) umesto
(x , y ), xto nam da je rexee y = (x) neprekidno u x . Ali, zbog
jedinstvenosti, vai = , pa je neprekidno u x .
Ako je uz 1-3 ispuen uslov , iz (29) sledi da je funkcija f
diferencijabilna
u (x , y ). Odatle, koristei f (x, (x)) 0, dobijamo15
1
L(Z;Y )
. Iz
X.
D1 f (x0 , y0 )(h)kY
(a + 1)k(D2 f (x0 , (x0 )))1 kL(Z;Y ) khk.
Poxto je k = (x
+ h) (x ), posleda nejednakost dokazuje diferencijabilnost16 preslikavaa . Dokaz neprekidne diferencijabilnosti sledi iz neprekidnosti (i neprekidne diferencijabilnosti)
operacija (A, B) 7 A B i A 7 A u prostoru ograniqenih linearnih operatora.
(72) U sluqaju prostora konaqne dimenzije X = K , Y = Z = K , i preslikavaa
f = (f , . . . , f ) : K K K
uslov invertibilnosti linearnog preslikavaa Df (x , y ) svodi se
na uslov inertibilnosti
matrice
0
fi
(x0 , y0 )
yj
.
i,j{1,...,s}
f
y
, kao u (70).
6= 0
:=
kxkX + kykY
166
2. DIFERENCIRA E
y+z
z
xy
d2 y
dx2
(x2 + y 2 )2 = 3x2 y y 3
x2 ey1 y2
y1
= 2x1
1 + y2
0
k
g(x, y) = f (x) y
D1 g(x0 , y0 ) = Df (x0 )
Y
1
Jf (x0 ) =
fi
fj
167
f : R2 R2 ,
0
2
f (, , z) = (r cos , r sin , z)
ima Jakobijan jednak r; ime definisane lokalne koordinate nazivaju se cilindriqnim koordinatama. Preslikavae
g(, , ) = ( cos sin , sin sin , cos )
x1 = cos 1
x2 = sin 1 cos 2
n1
n3
n1
f
y
U okolini u kojoj je
f
y
f
x
f
y
6= 0
.
X = x x0 ,
Y = f (x, y)
168
2. DIFERENCIRA E
zadate lokalne koordinate u okolini taqke (x , y ). U tim koordinatama, jednaqina krive je Y = 0. To znaqi da u novim koordinatama
kriva ima veoma jednostavnu parametrizaciju
0
t 7 (t, 0).
f :EY
= f (x0 )
i difeomorfizam
takvi da je
f (x + x0 ) y0
f
det
fi
(0)
uj
6= 0.
Definiximo preslikavae : E K sa
1i,jr
gde je u = (u , . . . , u )."Matrica
linearnog preslikavaa
h
i
#
1
D(0) =
fi
uj (0)
1i,jr
Inr
: U0 (U0 )
169
gde je g
= fj 1
. Iz posledeg
izraza sledi daje
[D(f 1 )(x)] =
Poxto je D
(x)
D(f
sledi
Ir
?
0
ir+1im .
gi
xj (x)
r+1jn
linearni izomorfizam, iz
)(x)]
gi
0
xj
[DS(y)] =
Ir
?
0
Imr
je nesingularna, pa je, prema Teoremi o inverznoj funkciji, S homeomorfizam klase C u nekoj okolini nule. Neka je = S . Poxto
je S(0) = 0, je difeomorfizam klase C u nekoj okolini nule.
U dovo no maloj okolini nule preslikavae f je dobro
definisano. Moemo, komponujui svaki od difeomorfizama
i sa homotetijom ukoliko je potrebno, da pretpostavimo da su
ona definisana na skupovima I i I kao u formulaciji teoreme;
otvorene skupove U i V definixemo kao ihove slike.
Iz definicije preslikavaa sledi da je
1
Poxto je
170
2. DIFERENCIRA E
f1 , . . . , f m : E K
f1
x1
fm
x1
f1
xn
fm
xn
jednak r.
(a) Ako je r = m, onda su funkcije f , . . . , f funkcionalno nezavisne u okolini taqke x .
(b) Ako je r < m, onda postoji r funkcija sistema f , . . . , f (recimo,
radi jednostavnosti zapisa, da su to funkcije f , . . . , f ), takve
da ostale funkcije tog sistema mogu da se predstave kao
1
gde su g
j = r + 1, . . . , m
171
Svaki difeomeorfizam moe lokalno da se predstavi kao kompozicija prostih. Preciznije, vai sledee tvree. Neka je f : V
f (V ) difeomorfizam otvorenog podskupa V R na f (V ) R .
Tada svaka taqka x V ima okolinu U 3 x takvu da restrikcija
f : U f (U ) moe da se napixe kao
n
f = g1 . . . gn ,
1i,jk
Ink
fi
xj
.
1i,jk
172
2. DIFERENCIRA E
takav da je
Id
= {(t1 , . . . , td , 0, . . . , 0) Kn | (j) |tj | < 1}
dimR M = 2 dimC M.
f : Kn1 K
je povrx kodimenzije 1 u K (povrxi kodimenzije 1 nazivamo hiperpovrxima), pri qemu je koordinatno preslikavae iz definicije
u (88) dato sa
n
odnosno
1
k
173
U 3p
: U I n,
takvi da je
: V Im
t1 = = tr = 0,
odnosno da je (M U ) = {(0, . . . , 0, t , . . . , t ) I }, xto po definiciji iz (88), ali sa izmeenom ulogom prvih r i posledih n r
koordinata, znaqi da je M glatka povrx dimenzije n r.
Primer: Sfera S = {(x, y, z) R | x + y + z = 1} je glatka
podmnogostrukost u R , jer je gradijent funkcije f (x, y, z) = x +y +
r+1
z 1
f (x1 , . . . , xn ) = 0
u : I d M,
linearno preslikavae ranga d. egova slika je d{dimenzioni potprostor Du(0)(K ). Afini prostor
d
p + Du(0)(Kd )
174
2. DIFERENCIRA E
onda vektori
vj :=
x1
xn
(0), . . . ,
(0)
tj
tj
qine bazu prostora T M . Ovo se lako vidi iz matriqnog predstav aa preslikavaa Du(0) Jakobijevom matricom u standardnim koordinatama. Odatle sledi da je parametarska jednaqina tangentnog
prostora T M
r(t) = p + Du(0)(t),
ili, zapisano u koordinatama,
p
x1
1
x1 p1 = x
t1 (0)t1 + + td (0)td
xn
n
xn pn = x
t1 (0)t1 + + td (0)td .
Du(0)(e1 ) =
d
u(te1 )
dt t=0
v = 1 Du(0)(e1 ) + + d Du(0)(ed ) =
d
u(1 te1 + + d ted ),
dt t=0
Du(0)(e1 ) = a1 + ib1 .
Tako dobijamo bazu a , . . . , a , b , . . . , b vektorskog prostora T M posmatranog kao realni vektorski prostor. Vektori a , . . . , a tada qine
bazu kompleksnog vektorskog prostora T M (pretpostav a se da je u
C{diferencijabilno preslikavae, pa je ia = b ).
Ako je M C kompleksna povrx, mnoee sa i = 1 je
linearno preslikavae T M T M realnih vektorskih prostora.
1
175
Df (u(0)) Du(0) 0.
ili, u koordinatama,
Df (p)(x p) = 0,
f1
p1 ) + + x
(p)(xn pn ) = 0
n
fm
fm
x1 (p)(x1 p1 ) + + xn (p)(xn pn ) = 0.
f1
x1 (p)(x1
S1 := {(x, y, z) R3 | (x 1)2 + y 2 + z 2 = 1}
S2 := {(x, y, z) R3 | x2 + y 2 + (z )2 = 3}
176
2. DIFERENCIRA E
f |U V =Fp g|U V ,
U V
C (p) R,
f 7 df (p)(Xp )
(izvod u pravcu vektora X ). Poxto je ovo preslikavae dobro definisano izborom vektora X , da bismo izbegli nepotrebno uvoee
novih oznaka, oznaqiemo i samo preslikavae istim simbolom X .
Preslikavae
p
Xp : C (p) R,
Xp (f ) := df (p)(Xp )
f (x)
j=1
R1 d
f (p + t(x p)) dt
= f (p) + 0 dt
R 1 f
Pn
= f (p) + j=1 (xj pj ) 0 x
(p + t(x p)) dt.
j
f
(p + t(x p)) dt.
xj
kao
n
X
177
j=1
L(f )
Pn
=
(D(xj pj )gj (p) + (pj pj )Dgj )
Pj=1
n
=
aj gj (p)
Pj=1
n
f
=
j=1 aj xj (p) = df (p)(Xp ) = Xp (f ).
Ovo tvree nam omoguava da tangentni prostor T R definixemo kao prostor svih preslikavaa C (p) R koja zadovo avaju
(a) i (b). Ova, ekvivalentna definicija tangentnog prostora T R e
nam biti korisna kada budemo definisali tangentne prostore nexto
opxtijih objekata od povrxi.
Prema tome, tangentni prostor T R moe da se shvati kao vektorski prostor generisanvektorima
p
,...,
,
x1 p
xn p
jer je svaki izvod u pravcu linearna kombinacija izvoda po koordinatama (videti (30), (31)).
(103) Neka je f : R R glatka funkcija ranga 1 (tj. takva da je f 6= 0)
i M hiperpovrx u R zadata jednaqinom f (x) = 0. Neka je g glatka
funkcija definisana u nekoj otvorenoj okolini povrxi M . Pretpostavimo da elimo da naemo ekstremne vrednosti restrikcije
g : M R.
Naravno, ovaj problem ne moemo da reximo metodom traea
nula parcijalnih izvoda (59) kojim traimo lokalne ekstremume
funkcije na otvorenom skupu. Na primer, funkcija g(x, y) = x + y
svakako ima minimum i maksimum na krugu S = {x + y = 1} (jer je
S kompaktan skup, a g neprekidna funkcija), ali parcijalni izvodi
funkcije g nisu jednaki nuli ni u jednoj taqki.
Ovaj problem moemo da reximo pomou sledeeg geometrijskog
opaaa. Ako je p M lokalni ekstremum funkcije g, onda je za
svaku glatku krivu
n
:] , [ M,
(0) = p
d
d
(g )(0) = g(p)
(0),
dt
dt
18
, tj.
2L(1) = L(1)
178
2. DIFERENCIRA E
f = (f1 , . . . , fm ) : Rn R
diferencijabilna funkcija. Problem traea ekstremnih vrednosti restrikcije funkcije g na M moe da se rexi na sledei
naqin. Neka je p taqka lokalnog ekstremuma te restrikcije i neka je
u : I M lokalna parametrizacija povrxi M takva da je u(0) = p.
Tada je 0 taqka lokalnog ekstremuma funkcije
d
g u : I d R,
pa je
odatle sledi da je
(1 j m),
L(x, ) = g(x)
j fj (x),
j=1
179
gde je x = (x , . . . , x ), = ( , . . . , ) (ova funkcija se naziva Lagranevom funkcijom i domen joj je podskup u R ). Tada je neophodan uslov da taqka p = (p , . . . , p ) M bude lokalni ekstremum
funkcije g na glatkoj povrxi M { da je za neko R
1
n+m
L(p, ) = 0.
Zaista, prvih n komponenti gradijenta (x{komponente) na levoj strani daju prvih n jednaqina sistema iz (104), a preostalih m komponenti ({komponente) preostalih m jednaqina tog sistema.
Ovaj neophodni uslov nije i dovo an. Kao i kod obiqnih ekstremuma, dovo an uslov formulixemo na jeziku drugih izvoda, ali
na tangentnom prostoru T M . Pretpostavimo da par (p, ) zadovo ava neophodan uslov postojaa uslovnog ekstremuma. Da bi p zaista
bila taqka uslovnog lokalnog ekstremuma, dovo no je da bilinearna
forma
p
L
(p, )
xi xj
n
X
L
(p, )i j
xi xj
i,j=1
x2
a2
1 1
n n
2
n
,...,
x1
xr
y2
b2
z2
c2
2
1
180
2. DIFERENCIRA E
funkcija zadata na otvorenom podskupu V K , onda en gradijent (u Dekartovim koordinatama i u odnosu na euklidski skalarni
proizvod) moe da se posmatra i kao , mnoee vektora skalarom"
r
grad f = f,
pri qemu ulogu mnoea (v , ) 7 v u standardnom mnoeu vektora (v , . . . , v ) skalarom igra diferencirae , f ) 7 , koje
je, kao i mnoee, distributivna i asocijativna operacija, ali ne i
komutativna.
Ako je X : V K diferencijabilno preslikavae definisano
na otvorenom podskupu V K (ovakva preslikavaa nazivaju se
vektorskim po ima na V ), , skalarni proizvod" (sa mnoeem odgovarajuih koordinata kao kod obiqnog skalarnog proizvoda, ali shvaenim kao kod gradijenta)
k
xk
f
xk
div () :=
Q R
P
+
+
,
x
y
z
i
j
k
= x y
z ,
P
Q R
=
a
odnosno
=
R
P
Q P
R Q
i+
j+
k.
y
z
z
x
x
y
f (x1 , . . . , xr )
xk
f (x1 , . . . , xr )
xk
181
Dokazati da se ovaj zak uqak moe izvesti iz geometrijskog argumenta (iako nije vektor u pravom smislu reqi), jer ovaj
geometrijski argument ima algebarski zapis koji se prenosi i kad
zamenimo sa . Dokazati isto za relaciju
rot grad = 0, tj. f = 0.
Neka je r = xi + yj + zk vektorsko po e u R (vektor poloaja taqke
(x, y, z)) i
J = r .
Dokazati da je J J = J . Objasniti zaxto bi u ovom sluqaju prethodna geometrijska argumentacija dala pogrexan zak uqak J J = 0.
Uopxte, kada na vektorske identitete koji uk uquju vektor nabla
moe da se primeni geometrijsko zak uqivae, a kada ne?
(111) Zadatak: Dokazati da je Laplasijan (videti (51)) jednak kompoziciji = div grad, odnosno
3
f = f.
= f.
= 0.
U opxtem sluqaju, ovi neophodni uslovi potencijalnosti i solenoidnosti nisu dovo ni. U Glavi 3 emo videti da je pitae kada je
neki od tih uslova i dovo an vezano za topologiju domena V .
(113) Diferencijalne forme u K . Tri operatora grad, div, rot izvedena
iz tri vrste mnoea u euklidskom prostoru R mogu da se objedine
u dualnom prostoru sledeom konstrukcijom. Izraz
n
P dx + Q dy + R dz,
182
2. DIFERENCIRA E
() ()
(, ) :=
() ()
dx dy,
dy dz,
dz dx
P dx dy + Q dy dz + R dz dx,
r+s
k+1
deg
f
f
f
dx +
dy +
dz
x
y
z
f
f
f
=d
dx + d
dy + d
dz.
x
y
z
d(df ) = d
184
2. DIFERENCIRA E
f =
f
f
f
i+
j+
k,
x
y
z
df =
f
f
f
dx +
dy +
dz.
x
y
x
f1
f2
f3
=
+
+
,
x
y
z
f1
f2
f3
+
+
x
y
z
d =
dx dy dz.
Drugim reqima,
d( ) =
.
Ova relacija uspostav a dualnost izmeu divergencije i diferencijala 2{forme.
Diferencijal 1{forme izraqunavamo, koristei (a){(g) iz
definicije
diferencijala:
div
d =
f2
f1
x
y
f2
f3
dy dz +
y
z
i
j
k
= x y
z ,
f1 f2 f3
dx dy +
Rotor vektorskog po a je
f1
f3
x
z
dz dx.
185
:=
fJ dxJ ,
:V K
,a
k (V ) = C n (V ) k .
dim k = nk
Zadatak: Dokazati da je
.
Mnoee je antikomutativno i prenosi se sa generatora dx
na
: (V ) (V ) (V )
uz zahtev distributivnosti (odnosno prenosi se na proizvo ne forme
pomou bilinearnosti). Iz antikomutativnosti na generatorima (tj.
postulata dx dx = dx dx ) sledi
r
= (1)
r+s
degdeg
Struktura ( (V ), +, , ), gde je
(V ) :=
k (V )
d : k (V ) k+1 (V )
186
2. DIFERENCIRA E
Uporeivaem dimenzija prostora antisimetriqnih k{linearnih funkcionala i prostora zak uqujemo da su ovi prostori izomorfni.
(115) Diferencijalna jednaqina
r,s{1,...,k}
y0 =
f (x)
g(y)
naziva se diferencijalnom jednaqinom koja razdvaja promen ive. Postupak za eno rexavae je sledei: napiximo je u obliku
dy
f (x)
=
.
dx
g(y)
a odatle, integracijom
obe strane,
rexee
Z
Z
g(y) dy =
f (x) dx.
Postupak , razdvajaa promen ivih" moemo da opravdamo u terminima diferencijalnih formi na sledei naqin. Pomnoimo obe
strane jednaqine y = diferencijalnom formom g(y) dx (R ).
Dobijamo
g(y)y dx = f (x) dx.
Poxto je 1{forma y dx diferencijal funkcije y, izraz na levoj
strani je g(y) dy.
(116) Taqne i zatvorene forme. Neka je V K otvoren skup (V )
diferencijalna k{forma. Ako je
f (x)
g(y)
= d
x
0
d = d(d) = 0.
187
naziva se k{tom de Ramovom kohomoloxkom grupom topoloxkog prostora V . Ove grupe su algebarske invarijante topoloxkog prostora V ;
vixe o tome emo rei kasnije, za sada dajemo sledei zadatak.
Zadatak: Neka je V otvoren podskup u R . Dokazati da je V
povezan21 ako i samo ako je H (V ) 6= 0.
Kasnije emo videti da je prosta povezanost (videti (111) na
str. 37) u vezi sa H (V ) i, opxtije, n{povezanost u vezi sa H .
Ta veza, meutim, nije tako direktna i eksplicitna kao ona koju u
sluqaju povezanosti ustanov ava prethodni zadatak.
Zadatak: Ispitati taqnost i zatvorenost formi
n
0
dR
1
dR
n
dR
= yz dx + xz dy + xy dz,
= x dx + (xy)2 dy + yz dz,
= 2xy 2 dx dy + z dy dz
uR .
(117) Orijentacija euklidskog prostora. Iz Linearne algebre nam je poznato da je orijentacija vektorskog prostora R izbor jedne od dve
klase ekvivalencije egovih baza, pri qemu se baze
v ,...,v
i w ,...,w
smatraju ekvivalentnim ako matrica prelaska A sa jedne na drugu
(Av = w ) ima pozitivnu determinantu.
Dualno, orijentaciju moemo da zadamo kao izbor baze dualnog
prostora (R ) , xto je ekvivalentno izboru n 1{formi , . . . , ili
jedne n{forme . Poxto u n{dimenzionom vektorskom prostoru dim = 1, dve n{forme i moemo da smatramo ekvivalentnim ako je = c za neko c > 0. Izbor jedne od dve klase ekvivalencije netrivijalnih (razliqitih od nule) n{formi moemo da uzmemo
kao definiciju izbora orijentacije.
Pokazaemo da su ove dve definicije orijentacije ekvivalentne.
Neka je
A:R R
linearno preslikavae i netrivijalna n{forma. Tada je
3
A = det (A) .
21U (109) na str. 36 smo videli da je otvoren podskup euklidskog prostora (a iz istog
razloga i proizvo ne mnogostrukosti) povezan ako i samo ako je putno povezan.
188
2. DIFERENCIRA E
A (v1 , . . . , vn )
(Av1 , . . . , Avn )
:=
(v1 , . . . , vn )
(v1 , . . . , vn )
f = det (f ) ,
d(Xy0 ) = div X 0 ,
(1) Glatke mnogostrukosti. U Glavi 1 smo definisali topoloxku mnogostrukost, kao Hausdorfov prostor sa prebrojivom bazom topologije
koji je lokalno homeomorfan euklidskom prostoru (videti (84) na
str. 31). Vana klasa topoloxkih mnogostrukosti su glatke mnogostrukosti. Glatka mnogostrukost je topoloxka mnogostrukost M ,
takva da postoji familija
U = {(U , ) | },
: U (U ) Rn
2. DIFERENCIRA E NA MNOGOSTRUKOSTIMA
() Ako je U
189
, onda je
U 6=
: (U U ) (U U )
(S U, SU ),
(U, ) U.
190
2. DIFERENCIRA E
dim N
1
1 f 1
) ( f 1 ) ( 1
1 = (1
1 )
2/3
h : M2 M2 ,
h(x) =
difeomorfizam.
Ovaj zadatak pokazuje da na istoj topoloxkoj mnogostrukosti sa
dve difeomorfne glatke strukture moe da postoji funkcija koja
je glatka na jednoj, a nije glatka na drugoj. Meutim, vai sledee
tvree.
Zadatak: Neka je h : M M difeomorfizam glatkih mnogostrukosti. Dokazati da je
1
h : C (M2 ) C (M1 ),
h (f ) = f h
2. DIFERENCIRA E NA MNOGOSTRUKOSTIMA
191
(7) Tangentni prostor. Neka je M glatka mnogostrukost i p M . Pojam glatke funkcije na M dozvo ava nam da definixemo vektorski
prostor C (p) i tangentni prostor T M na isti naqin kao i u (102)
na str. 175. Dakle, T M je prostor svih linearnih preslikavaa
X : C (p) R koja zadovo avaju Lajbnicovo pravilo
F (p)
DF (p) : Tp M TF (p) N
192
2. DIFERENCIRA E
nn
nn
DF (p) : Tp M TF (p) N
F |U : U N
ulagae.
Zadatak: Neka je F : M N ulagae. Dokazati da je F (M )
podmnogostrukost u N . Obrnuto, neka je S N podmnogostrukost.
Dokazati da je
iS : S N,
iS (x) = x
ulagae.
(14) Diferencijal funkcije. Ako je M glatka mnogostrukost, onda se
izvod funkcije f : M R oznaqava sa df i naziva i diferencijalom. Prisustvo vektorske strukture na R obezbeuje kanonsku
identifikaciju T R = R, pa diferencijal funkcije f u taqki p
moemo da shvatimo i kao preslikavae df (p) : T M R. Poxto je
ovo preslikavae linearno, diferencijal df (p) je element dualnog
prostora T M . Prostor T M nazivamo kotangentnim prostorom
mnogostrukosti M u taqki p.
(15) Preslikavae F : T M T N indukuje dualno preslikavae
f (p)
F :
TF (p) N
F (p)
Tp M,
F ()(X) := (F X).
2. DIFERENCIRA E NA MNOGOSTRUKOSTIMA
193
F (p)
(G F ) = F G ,
(G F ) = G F
f dy1 = df1
(aJ fJ )dfJ ,
aJ dyJ =
Zadatak: Izraqunati f
sa
f (x, y, z, t) = (xyz, xyz , xy + z ),
a diferencijalna 3{forma u R zadata sa
2
(X, Y, Z) = X (Y Z)
(mexoviti proizvod u R ).
(16) Unija svih tangentnih prostora[
3
T M :=
Tp M
T M :=
Tp M
pM
194
2. DIFERENCIRA E
: T M M, (X ) = p za sve X T M.
Inverzna slika otvorenog skupa
U M u odnosu na ovu projekciju je
[
TM
T1M (U ) =
Tp M =: T U,
dim T M = 2dim M ;
Sliqno, karte
(T U, (, ))
definixu strukturu glatke mnogostrukosti na T M .
(17) U (102) smo videli da je tangentni
prostor
T R generisan vektorima
,...,
.
x1 q
xn q
1 (p)
x1 (p)
xn (p)
, . . . , 1 (p)
pa je
Tp M
generisan vektorima
dx1 , . . . , dxn ,
: U V U,
:U V V
2. DIFERENCIRA E NA MNOGOSTRUKOSTIMA
195
dU = (d0 ).
f d = d f .
indukuje homomorfizme
f :M N
k
k
f : HdR
(N ) HdR
(M )
Zadatak: Neka je
HdR
(M ) :=
za sve
M
k {0, 1, 2 . . .}
k
HdR
(M ).
k0
f : (HdR
(N ), +, ) (HdR
(M ), +, )
homomorfizam prstena.
(19) Zatvorenost forme je lokalno, a taqnost globalno svojstvo. Ilustrovaemo to sledeim primerom.
Neka je M = S jediniqni krug {z C | |z| = 1}. Polarna koordinata nije globalno definisana na M kao jednoznaqna funkcija,
nego samo do na aditivnu konstantu 2k. Ako elimo da izaberemo jednu granu za (npr. izaberemo k = 0), dobiemo neprekidnu
funkciju definisanu lokalno, tj. na nekom intervalu oko svake taqke
na krugu, ali ne i globalno neprekidnu funkciju, jer pri obilasku
punog kruga (tj. pri pribliavau poqetnoj taqki sa druge strane)
imamo skok funkcije za 2, dakle naruxavae neprekidnosti.
Meutim, d dobro definisana 1{forma, jer je d( + 2) = d.
Drugim reqima, d je 1{forma definisana sa
1
d := d(arctan(y/x)) =
y
x
dy 2
dx.
x2 + y 2
x + y2
196
2. DIFERENCIRA E
x(t) = cos t,
. Neka je : [0, 2] S
y(t) = sin t.
f ((2)) f (()) =
0
d
(f )(s) ds
ds
df (s) 0 (s) ds
=
0
d (s) 0 (s) ds
=
0
d
( (s)) ds
0 ds
= ((2)) (()) = .
=
Odatle sledi
f ((2)) f ((0)) = 2,
xto je kontradikcija, poxto je (2) = (0), pa je i f ((2)) =
f ((0)).
Ovime smo dokazali da je d zatvorena 1{forma koja nije taqna,
pa je ena klasa [d] netrivijalna u de Ramovoj kohomologiji H (S ).
Neka je 1{forma na S . Tada je 1{forma na [0, 2], pa je
oblika h(t) dt. Neka je Z
c=
1
2
1
dR
h(t) dt
f(t) =
2. DIFERENCIRA E NA MNOGOSTRUKOSTIMA
197
1
df = d ,
c
0
dR
1
dR
k
HdR
(S1 ) =
R,
0,
j
dR (M )
(M ) :=
dim
XM
k {0, 1}
k > 1.
j
(1)j dim HdR
(M )
X : M TM
: T M M, (X ) = p za sve X T M,
pa vektorsko po e moemo da definixemo i kao preslikavae X :
M T M za koje vai
X = Id .
Primetimo da ovoj definiciji dualna defenicija diferencijalne 1{forma, koja je preslikavae
p
TM
TM
: M T M
T M
h0
198
2. DIFERENCIRA E
Umesto toga, vektorsko po e X : M T M moemo da diferenciramo kao preslikavae izmeu dve mnogostrukosti. Ali onda je,
za Y T M , izvod vektorskog po a X u pravcu vektora Y
p
DX(Yp ) TXp (T M ),
X : M Rn ,
p : TXp (T M ) Tp M,
d
= t (d(i(X)) + i(X)d),
dt t
d
dt
2. DIFERENCIRA E NA MNOGOSTRUKOSTIMA
199
t [i(X)d(df ) + di(X)(df )]
= t [i(X)(df d) + d(i(X)df df i(X))]
= t [di(X)df + df i(X)d + df di(X)].
kazati da je
t
d
t t = t d(i(X)t ) + i(X)dt +
.
dt
t
s+t
s+t
X :=
d
t (x)
dt t=0
d
.
dt t=0 t
H : M [0, 1] N
h0 ' h1 .
200
2. DIFERENCIRA E
Ako je M = [a, b], govorimo o homotopski ekvivalentnim puteAko u definiciji zahtevamo da pri deformaciji H krajevi budu fiksirani, tj. da je
vima u M .
h0 , h1 : [a, b] C
h1 (s) = eis
h0 (s) = eis ,
(gori i doi polukrug) nisu homotopski ekvivalentni sa fiksiranim krajevima, jer se ne mogu deformisati jedan do drugog, bez prolska kroz koordinatni poqetak koji je izbaqen.
Zadatak: Neka je d forma iz (19); posmatrajmo polarna koordinata je definisana mod 2Z, tj. moemo da je posmatramo kao
vixeznaqnu funkciju na C\{0}. Fiksirajmo enu vrednost u taqki 1
na x{osi sa (1) = 0. Za z C i za neprekidan put u C\{0} koji spaja
taqke 1 i z definiximo (z, ) kao vrednost vixeznaqne funkcije
koja se dobija enim neprekidnim (tj. bez skokova mod 2Z) meaem od (1) = 0 do (z) du krive . Dokazati da je
(z, ) = (z, ) ' sa fiksiranim krajevima.
Na ovaj naqin polarna koordinata moe da se shvati kao jednoznaqna
funkcija na koliqniqkom prostoru neprekidnih puteva koji polaze
iz fiksirane taqke (u zadatku je to bila taqka 1) u odnosu na relaciju
homotopske ekvivalencije sa fiksiranim krajevima. Ovakav koliqniqki prostor moe da se pridrui proizvo nom putno povezanom
i lokalno putno povezanom topoloxkom prostoru X (umesto C \ {0})
i naziva se egovim univerzalnim natkrivaem.29
Topoloxki prostori M i N su homotopni (ili homotopski ekvivalentni) ako postoje preslikavaa
f :M N i g:N M
takva da je
g f ' id
i f g ' id .
Qienicu da su M i N homotopski ekvivalentni prostori zapisujemo sa M ' N .
Zadatak: Dokazati da je kruni prsten {z C | 1 |z| 2}
homotopski ekvivalentan krugu S = {z C | |z| = 1}.
Zadatak: Da li su cilindar i Mebijusova traka homotopski ekvivalentni?
1
e
X
2. DIFERENCIRA E NA MNOGOSTRUKOSTIMA
201
h0 = h1 : HDR
(N ) HDR
(M ).
h1 h0 =
d
H dt =
dt t
Ht (d(i(X)) dt = d
Ht i(X) dt
taqna forma (ovde smo primenili H d = d H i pravilo diferenciraa integrala (39) na str. 148), pa je jednaka nuli u kohomologiji
(pripada slici im d), a drugi zbog toga xto je d = 0 za forme kojima
je definisana kohomologija.
(27) Iz (26) sledi
0
(N ).
M ' N HdR
(M )
= HdR
Dokaz: Ako su
f :M N
g:N M
g f ' idM
f g ' idN ,
preslikavaa takva da je
onda je
i g f = id (N ),
pa su linearna preslikavaa f i g izomorfizmi, jer imaju levi i
desni inverz.
Zadatak: Dokazati da je realna prava R kontraktibilna i izvesti odatle da je
(
(M )
f g = idHdR
k
HdR
(R) =
R,
0,
HdR
k=0
k 1.
Kao posledicu, uz pomo (19) zak uqiti da prava i krug nisu homotopni (a samim tim ni homeomorfni) prostori.
(28) Poenkareova lema. Euklidski prostor R je kontraktibilan prostor.
Iz (27) sledi da je
(
n
k
HdR
(Rn ) =
R,
0,
k=0
k 1.
202
2. DIFERENCIRA E
k
HdR
(C \ {0}) =
R,
0,
k {0, 1}
k > 1.
k k
:=
n
X
(1)k Fk () Cn1 (M ),
k=0
: Cn (M ) Cn1 (M ).
da je C A.
2. DIFERENCIRA E NA MNOGOSTRUKOSTIMA
203
Hk (M ) :=
1
j
S = {S1 , S2 , . . .},
takva da je za svako S skup S kompaktan. Definiximo niz kompaktnih skupova {K } na sledei naqin. Neka je K = S . Pretpostavimo
zatim da su K , . . . , K definisani. Neka je d najmai prirodan broj
takav da je d > j i
j
Kj S1 Sd .
204
2. DIFERENCIRA E
Definiximo
K
= S S .
Neka je U U . Posmatrajmo otvorene skupove
j+1
gde je
unutraxost skupa i K
postoji koordinatna karta (V
i
Int
p Pj,
p, (p) = 0
= K0 =
p, , p, )
p,
j,
Neka je W =
. Familija otvorenih skupova
W je otvoreno pokrivae kompaktnog skup K
\ Int(K )), pa postoji eno konaqno potpokrivae. Oznaqimo ega sa sa W , . . . W ,
a odgovarajue skupove familije V sa V , . . . V . Familije
p,
p,
j+1
j,1
j,1
j,kj
j,kj
V = {Vj,1 , . . . Vj,kj | j N}
(x) = 1 za sve x M .
Drugo svojstvo je svojstvo lokalne konaqnosti; iz ega sledi da je
suma u treem svojstvu konaqna.
Za svako pokrivae U = {U | } mnogostrukosti M postoji
razlagae jedinice takvo da
gde je supp
( )( ) supp U ,
supp := {x M | 6= 0}.
Dokaz: Neka su V = {(V , )} i W prebrojive familije konstruisane kao u tvreu (30). U (54) smo videli da postoji funkcija h
klase C takva da je h 1 na B[0; 1] i h 0 van B]0; 2[. Neka je
h := h . Tada je sa
j
hj
j = P
j hj
supp V
2. DIFERENCIRA E NA MNOGOSTRUKOSTIMA
205
()() supp U .
M 3 p 7 gp (Xp , Yp ) R
glatka.
Na svakoj glatkoj mnogostrukosti postoji Rimanova metrika.
Dokaz: Neka su V = {(V , )}, W kao u (30). Na svakom od skupova
V je definisana Rimanova metrika sa
j
gpj := j (p)h, i,
gp =
l() =
a
d d
,
dt dt
dt.
206
2. DIFERENCIRA E
2. DIFERENCIRA E NA MNOGOSTRUKOSTIMA
207
0 = dx1 dxn
=1
0 = f
: (x1 , x2 , . . . , xn ) 7 (x1 , x2 , . . . , xn )
:= (dx1 dxn )
:=
208
2. DIFERENCIRA E
d(Xy) = div X .
M R
f = div(grad f ).
1
j
F : M R n Rn R R
{z
} |
{z
}
|
k
da nemamo koordinate (x1 , . . . , xn ), qak ni lokalno, jer ne postoji neka specijalna koordinatna karta koja bi igrala tih ulogu koordinata { sve koordinatne karte atlasa su
ravnopravne.
33Imajui u vidu prethodnu fusnotu, napomiemo da je mogue definisati Laplasijan i bez forme orijentacije, samo uz pomo Rimanove metrike. U opxtem sluqaju, ove
definicije daju razliqite objekte.
2. DIFERENCIRA E NA MNOGOSTRUKOSTIMA
209
definisano sa
F (p) = (h (p) (p), . . . , h (p) (p), h (p), . . . , h (p))
injektivna imerzija. Odatle i iz kompaktnosti M izvesti zak uqak
da je F ulagae.
(39) Iz zadatka u (38) sledi da svaka kompaktna mnogostrukost moe da se
uloi u euklidski prostor, odnosno da se realizuje kao glatka povrx
(videti (13) na str.192 i definiciju glatke povrxi (88) na str.172).
Ovo tvree vai i bez pretpostavke o kompaktnosti i poznato je kao
Vitnijeva teorema o ulagau: Svaka glatka mnogostrukost dimenzije n moe da se uloi kao glatka podmnogostrukost u euklidski
prostor R .
Primetimo da pomou Vitnijeve teoreme moemo da damo drugi
dokaz postojaa Rimanove metrike na svakoj glatkoj mnogostrukosti:
ako je F : M R ulagae i h, i standardni skalarni proizvod u
R , onda je sa g := F h, i definisana jedna Rimanova metrika na M .
Naravno, metrika koja je konstruisana u (34) na drugi naqin moe
da bude sasvim drugaqija od ove.
Ako je F : M R ulagae mnogostrukosti M u euklidski prostor (tj. ako je M realizovana kao povrx u euklidskom prostoru),
metrika F h, i se naziva jox i prvom kvadratnom formom povrxi
M.
(40) Zadatak: Nai jednaqinu tangentne ravni povrxi x +2xyy +z =
7 u taqki (1, 1, 3) i jednaqinu prave ortogonalne na povrx u toj taqki.
(41) Zadatak: Nai sve trojke (a, b, c) za koje su sfere
(x a) + (y b) + (z c) = 1 i x + y + z = 1
meusobno ortogonalne.
(42) Zadatak: Nai R tako da su u svakoj taqki preseka sfera
(x ) + y + z = 3 i x + (y 1) + z = 1
ihove tangentne ravni meusobno ortogonalne.
(43) Zadatak: Nai taqku krive y = e u kojoj je polupreqnik krivine
(videti (139) na str. 49) najmai.
(44) Zadatak: Data
je kriva
Z
Z
1
2n
2n
2n
x=
1
cos ( t2 ) dt,
2
y=
1
sin ( t2 ) dt.
2
2 3/2
3
GLAVA 3
Integracija
1. Integracija u euklidskom prostoru
J = [a1 , b1 ] [an , bn ] Rn
n
Y
(bj aj ).
j=1
n
i=1
k
i=1
k
i=1
k
i=1
Ako je u svakom kvadru podele J izabrana taqka c , par (P, ~c), gde
je ~c = (c , . . . , c ) nazivamo podelom sa uoqenim taqkama.
Skup svih podela kvadra J sa uoqenim taqkama oznaqiemo sa P .
Na emu definixemo filter F na sledei naqin: X F ako i
samo ako za neko d > 0 vai
i
(P ) < d P X.
211
212
3. INTEGRACIJA
f : PJ C,
f (P, ~c) :=
k
X
f (ci )(Ji ),
f (x) dx := lim f
FJ
nazivamo Rimanovim integralom funkcije f po kvadru J . Ako eRlimo u da oznaci integrala navedemo i dimenziju n domena, umesto
f (x) dx pixemo
Z
Z
J
I : Cc (Rn ) R,
I(f ) :=
f (x) dx,
f (x) dx =
Re f (x) dx + i
Im f (x) dx,
i1
i+1
i1
i+1
213
mi := inf{f (x) | x Ji },
Mi := sup{f (x) | x Ji }.
veliqine
s(f ; P ) :=
k
X
mi (Ji ),
S(f ; P ) :=
k
X
su
Mi (Ji ).
i=1
s(f ; P1 ) S(f ; P2 ),
nazivaju
se veliqine
Z
Iz prethodne nejednakosti
za doe
i gore Darbuove sume sledi
Z
Z
J
f (x) dx
f (x) dx.
Z
f (x) dx =
Tada je
f (x) dx
J
Z
f (x) dx =
Z
f (x) dx =
f (x) dx.
I := lim f
kao u (3). Neka je > 0. Tada postoji > 0 takvo da za (P ) < vai
FJ
s(f ; P ) S(f ; P ) I + .
2
2
214
3. INTEGRACIJA
Poxto je
Z
s(f ; P )
Z
f (x) dx
odatle sledi
f (x) dx S(f ; P ),
Z
f (x) dx
f (x) dx < .
Z
f (x) dx =
f (x) dx = I.
J
s(f ; P0 ) > I .
2
FJ
FJ
215
(11) Skupovi mere nula. Podskup A R je skup Lebegove mere nula ako
za svako > 0 postoji prebrojiva familija n{dimenzionih kvadara
J R takva da je
[
X
A
J i
(J ) < .
Napomenimo da smo u (240) na str. 80 videli kako se, pomou kompletiraa, konstruixe Lebegov integral funkcije jedne promen ive
(ta konstrukcija se bez ikakvih izmena prenosi na sluqaj funkcija
vixe promen ivih). Tada smo rekli da je skup A mer iv u odnosu na
integral I ako je egova karakteristiqna funkcija integrabilna
(tj. nalazi se u domenu I ) i egova mera je
i
i=1
i=1
m(A) := I(A ).
Moe da se pokae (npr. formiraem opadajueg niza kvadara i primenom tvrea o monotonoj konvergenciji (E3) u (253) na 86 strani)
da je definicija skupa Lebegove mere nula koju smo ovde dali ekvivalentna sa m(A) = 0, gde je m mera izvedena iz Lebegovog integrala
I.
(12) Konaqan skup ima Lebegovu meru nula. Ako skup A ima nepraznu
unutraxost, onda on nije skup Lebegove mere nula (dokazati!).
(13) Prebrojiva unija skupova Lebegove mere nula je skup Lebegove mere
nula.
Dokaz: Neka su A skupovi mere nula. Tada za svako k postoji
prebrojiva familija kvadara J takva da je
[
A
J
i X (J ) < 2 .
Familija A je prebrojiva i vai
[
[
A
J
i X (J ) < X 2 = ,
odakle sledi da je S A skup Lebegove mere nula.
(14) Neka je U otvoren podskup u R , A U skup Lebegove mere nula i
f : U V difeomorfizam klase C . Iz Teoreme o sredoj vrednosti
sledi da je f (A) skup Lebegove mere nula.
(15) Imajui u vidu (13) i qienicu da je mnogostrukost parakompaktan
prostor (pa moe da se pokrije prebrojivom familijom koordinatnih karata), definiciju skupa Lebegove mere nula moemo da proxirimo na glatke mnogostrukosti. Kaemo da je podskup A M glatke
n{dimenzione mnogstrukosti M Lebegove mere nula ako je za svaku
koordinatnu kartu (U, ) skup (A U ) Lebegove mere nula u R .
Iz (14) sledi da ova definicija ne zavisi od izbora koordinatnih
karata.
(16) Neka su M i N glatke mnogostrukosti i f : M N preslikavae
klase C . Ako je dim M < dim N , onda je f (M ) skup Lebegove mere
nula.
k
k
i
k
i
k
i
i=1
i=1
k
i i,kN
k=1
k
i
k
i
i,k=1
i,k=1
n
k=1
k=1
216
3. INTEGRACIJA
Dokaz: Zbog (13) i parakompaktnosti, dovo no je dokazati tvree za sluqaj kada je M = B lopta dimenzije m i N = R , gde je
m < n. Poxto je
m
Bm [a, a] [a, a]
1
m
1
k
1
k
Ck
kDf kn
kn
k mn .
za neku konstantu C > 0. Zbog m < n posledi izraz tei nuli kad
k , xto znaqi da f (M ) moe da se pokrije kockama proizvo no
male ukupne zapremine.
(17) Tvree (16) je specijalni sluqaj Sardove teoreme: Neka su M , N
glatke mnogostrukosti dim M = m, dim N = n, i neka je f : M
N preslikavae klase C za neko r > max{0, m n}. Tada je skup
singularnih vrednosti ((10) na str. 191) skup Lebegove mere nula u
N . Skup regularnih vrednosti je gust u N .
Specijalno, skup singularnih vrednosti preslikavaa klase C
je skup Lebegove mere nula, a skup egovih regularih vrednosti je
gust, bez obzira na dimenzije mnogostrukosti M i N .
Dokaz ove teoreme izostav amo. Napomenimo samo da su regularne vrednosti, po definiciji (10) na str. 191, sve taqke u N koje
nisu slike singularnih taqaka, dakle i taqke iz N \ f (M ) koje nisu
slike nijedne taqke. Poxto je, u sluqaju m < n svaka taqka mnogostrukosti M singularna, tvree (16) je specijalni sluqaj Sardove
teoreme.
Qienica da je skup singularnih vrednosti skup Lebegove mere
nula, a skup regularnih vrednosti gust je znaqajna i iz sledeeg razloga: ako je f : M N glatko preslikavae, onda je, za skoro sve
y N skup f (y) ili prazan, ili glatka podmnogostrukost u M
(videti (10) na str. 191).
(18) Lebegova teorema o integrabilnosti. Ogranqena funkcija f : J
C na kvadru J je integrabilna po Rimanu ako i samo ako je skup enih
prekida skup Lebegove mere nula.
Dokaz: Dovo no je dokazati tvree za realne funkcije f : J
R. Na osnovu (22) na str. 17 treba da dokaemo da je funkcija f
integrabilna ako i samo ako je
r
A := {x J | (x; f ) > 0}
[
n=1
An ,
217
n0
.
n0
K := {k N | Jk An0 6= }.
Uz oznake
za k K vai
odakle
sledi X
X
1
n0
(Jk )
Mk mk
1
,
n0
Odatle dobijamo
kK
xJk
xJk
kK
.
n0
(Jk ) < .
k kK
n0
n0
n0
A = {x J | (x; f )
}
2(J)
A J J i (J ) + + (J ) <
.
4kf k
Poxto je za t J \ S (J )
k
i=1
(t; f ) <
za svako t J \ S
Poxto je skup
k
i=1
Ji
,
2(J)
k
[
J = It | t J \
Ji
t1
tr
218
3. INTEGRACIJA
tj
4kf k
2(J)
It
It
xA
.
x
/A
1,
0,
A (x) =
Skup prekida funkcije je rub A skupa A. Iz Lebegove teoreme (18) sledi da je funkcija integrabilna ako i samo ako je A
skup Lebegove mere nula. U tom sluqaju, kaemo da je skup A mer iv
u ordanovom smislu (ili mer iv po ordanu), a veliqinu
A
Z
(A) :=
A (x) dx,
gde je J proizvo ni kvadar koji sadri skup A, nazivamo ordanovom merom skupa A. Iz definicije integrala sledi da je ordanova
mera kvadra egova zapremina, pa zato za ordanovu meru upotreb avamo isti simbol koji smo koristili za zapreminu kvadra.
(20) Zadatak: Neka je A R ograniqen skup. Dokazati da je (A) = 0
ako i samo ako za svako > 0 postoji konaqan skup kvadara J , . . . , J
takav da je
J J A i (J ) + + (J ) < .
Odatle sledi da je (ograniqen1) skup ordanove mere nula skup Lebegove mere nula.
Zadatak: Dokazati da je A = [0, 1] Q skup Lebegove mere nula,
a da nije mer iv u ordanovom smislu.
(21) Zadatak: Neka je f : J C integrabilna funkcija i neka je
J
{x J | f (x) 6= 0}
219
(f A )(x) :=
xA
x
/A
f (x),
0,
(f A )(x) dx
(f (x) + g(x)) dx =
f (x) dx +
g(x) dx.
f (x) dx
g(x) dx.
g(x)f (x) dx
f (x)g(x) dx M
f (x)g(x) dx.
f (x)g(x) dx = f ()
A
g(x) dx.
220
3. INTEGRACIJA
Specijalno, za g 1 dobijamo
Z
m(A)
f (x) dx M (A),
f (x) dx = f ()(A)
za neko A.
(26) Nejednakost trougla za integrale. Ako je skup A mer iv po ordanu i funkcija f : A C integrabilna po Rimanu, onda je i |f | :
A R integrabilna i
Z
Z
A
f (x) dx
|f (x)| dx.
Dokaz: Skup prekida funkcije |f | je podskup skupa prekida funkcije f , pa iz Lebegove teoreme o integrabilnosti sledi da je |f |
integrabilna. Traena nejednakost sledi iz nejednakosti trougla
za sume i (3).
(27) Aditivnost po skupu integracije. Neka su A i B disjunktni skupovi, mer ivi u ordanovom smislu. Ako je funkcija f : A B C
integrabilna po Rimanu, onda su i restrikcije f | i f | integrabilne po Rimanu
i vai Z
Z
Z
A
f (x) dx =
f (x) dx +
f (x) dx.
AB
Z Z
Z Z
f (x, y) dy dx =
f (x, y) dy dx.
f (x, y) dxdy =
IJ
Sliqno, funkcije
i y 7
su integrabilne po Rimanu i vai
Z
y 7
f (x, y) dx
I
Z Z
f (x, y) dx dy =
f (x, y) dx dy.
Z Z
f (x, y) dxdy =
IJ
f (x, y) dx
221
inf f (Ik Jl )
s(f ; P ) =
k,l
Ik Jl
XX
k
inf f (Jl ) (Ik )
Ik Jl
XX
k
yJl
XZ
inf f (x, y) (Jl ) (Ik )
yJl
f (x, y) dy (Ik ).
(x) :=
f (x, y) dy.
J
Sliqno se dokazuje da je
za funkciju
S(f ; P ) S(; PI )
Z
(x) :=
Poxto je , imamo
f (x, y) dy.
J
Poxto je f integrabilna, za svako > 0 podela P moe da se izabere tako da bude S(f ; P ) s(f ; P ) < . Odatle sledi da su i i
integrabilne i da vai traena jednakost.
(29) Ako su, uz ostale pretpostavke Fubinijeve teoreme, funkcije
y 7 f (x, y)
integrabilne
po Rimanu za svako
x, onda je
Z
Z Z
f (x, y) dy dx.
f (x, y) dxdy =
222
3. INTEGRACIJA
f (x, y) dxdy =
f (x, y) dy dx.
Dokaz: Neka je
S
projekcija i S
a(x)
: A R Rn1 ,
. Tada je
(x, y) = x
:= 1 (x)
f (t) dt dx =
tf (t) dt.
(33) Zadatak:
Izmeniti poredak
integracije, a zatimR izraqunati:
R R
R R
dxdy
(v) R xy dxdy.
(a)
dydx
(b)
(34) Neka je u (31) A otvoren R skup i a, b neprekidne funkcije. Tada
je skup S mer iv u ordanovom
smislu i egova ordanova mera je
Z
0
1
1
1 x2
1 2 y
y
0
4 (y4)/2
0 4y
n1
(S) =
p : J0 I R,
n1
p(x, y) = y
(S) =
(Sy ) dy,
k+1
k=1
223
Neka je data funkcija f : A C. Ako za svako monotono pokrivae A skupa A postoji limes
Z
k
lim
f (x) dx
f (x) dx := lim
f (x) dx.
Ak
Ak
.
2k
i1 i2 ir .
i1 , . . . , Vir , Air
odakle sledi
(A) lim (A ).
Poxto iz A A sledi da vai i obrnuta nejednakost, ovime je
dokazana prva jednakost tvrea.
Da bismo dokazali drugu jednakost, primetimo prvo da je f integrabilna na svakom od skupova A (to sledi iz Lebegove teoreme o
integrabilnosti i integrabilnosti funkcije f na A) i ograniqena
na
A, pa je
Z
Z
Z
k
f (x) dx
f (x) dx =
Ovime se jednakost
A
Ak
lim
A\Ak
f (x) dx kf k (A \ Ak ).
Z
f (x) dx =
Ak
f (x) dx
A
224
3. INTEGRACIJA
(38) Za funkciju f : [a, [ C jedne promen ive smo, koristei specifiqnost realne prave, definisali nesvojstveni integral kao
Z
Z
f (x) dx := lim
f (x) dx.
b0
lim
f (x) dx =
b+
cn .
Meutim, poxto red P c neapsolutno konvergira, na osnovu Rimanove teoreme (videti (166) na str. 59) sledi da za proizvo no R
postoji permutacija c niza c takva da red konvergira ka . Neka
je A monotono pokrivae intervala [0, +[ definisano sa
n=1
(n)
A1 = [(1) 1, (1)],
Tada je
Z
f (x) dx =
Ak
pa je
k
X
c(j) ,
j=1
Z
f (x) dx = .
lim
Ak
f (x) dx := lim
A
0+
f (x) dx
A\B]x0 ,[
ako je x konaqna
taqka, odnosnoZ
Z
0
f (x) dx := lim
A
r+
f (x) dx
AB[0;r]
225
IA := lim
f (x) dx,
Ak
onda taj
limes postoji za svako monotono pokrivae; drugim reqima,
onda R f (x) dx konvergira.
Dokaz: Neka je B drugo monotono pokrivae skupa A. Tada je za
svako k familija skupova A B , k = 1, 2, . . . monotono pokrivae
skupa B . Iz (37) sledi da je
A
Z
f (x) dx lim
f (x) dx = lim
Bm
Ak Bm
f (x) dx IA .
Ak
Z
f (x) dx IA .
IB := lim
Bm
Ak
f (x) dx
Ak+m
f (x) dx
Ak
g(x) dx
Ak+m
g(x) dx
Ak
Tada je
f+ (x) |f (x)|,
226
3. INTEGRACIJA
f (x) dx
kon-
|f (x)| dx = +.
lim
|f (x)| dx > 3
Ak+1
Tada je
|f (x)| dx + 2k.
Ak
Z
|f (x)| dx > 2
Ak+1 \Ak
|f (x)| dx + 2k.
Ak
Poxto
je |f (x)| = f Z(x) + f (x), odatle sledi
Z
Z
f+ (x) dx +
|f (x)| dx + 2k.
f (x) dx > 2
Ak+1 \Ak
Ak+1 \Ak
Ak
f+ (x) dx >
Ak+1 \Ak
Ak
k+1
|f (x)| dx + k,
mi (Ji ) >
mi := inf f+
Ji
Ak
f (x) dx =
|f (x)| dx + k.
f+ (x) dx >
Bk
Ak
f (x) dx
dobijamo
Ak
|f (x)| dx
Ak
Z
f (x) dx > k.
Odatle sledi da R
Ak Bk
f (x) dx
t
1
(f ) |det D| : Dt C,
t 7 f ((t))|det D(t)|,
f (x) dx =
Dt
1 (b)
f (x) dx =
1 (a)
Ali, u sluqaju jedne promen ive, difeomorfizam je monotona funkcija. Ako je ona rastua, apsolutna vrednost prvog izvoda je nepotrebna, jer je on pozitivan. Ako opada, onda je (b) < (a), pa
izmena uloga doe i gore granice integrala daje
a
1 (b)
0
f (t) (t) dt =
1 (a)
[1 (b),1 (a)]
n
.
xn
228
3. INTEGRACIJA
a1
ar
a1
ar
Tada
je
Z
XZ
Ji
:= f (x)dx1 . . . dxn
:=
f (x) dx,
Dx
Imajui u vidu ovaj zapis, Teoremu o smeni promen ive (43) moemo
da napixemo u obliku
Z
Z
.
= sign(det D)
Dt
229
x2
ex dx
I :=
ex dx
I2 =
ey dy
e(x
+y 2 )
dxdy.
Podintegralna funkcija je pozitivna, pa smo, na osnovu (39), slobodni da izaberemo proizvo no monotono pokrivae ravni R R.
Izaberimo niz krugova
RR
An = {(x, y) R R | x2 + y 2 n2 }.
y = r sin
+y 2 )
er r drd = (1 en ).
dxdy =
ex dx =
ex
y 2
dxdy,
nn
ehAx,xi dx.
Rn
2 3/2
2 2
2 2
230
3. INTEGRACIJA
2y
(x2 + y 2 ) dxdy.
(x2 + y 2 ) dxdy +
V =
cn = cn1
(v) Dokazati da je
V2k+1 (r) = 2
cosn t dt.
(2)k
r2k+1 ,
(2k + 1)!!
V2k (r) =
(2)k 2k
r .
(2k)!!
1 ax
(e
ebx ) =
x
a zatim izraqunatiZ
exy dy,
1 ax
(e
ebx ) dx.
x
e(ax
+2bxy+cy 2 )
dxdy = 1?
x2
a2
|xyz| dxdydz.
+ yb2 + zc2 1
u zavisnosti od parametra p R.
{x2 +y 2 <1}
2. INTEGRACIJA NA MNOGOSTRUKOSTIMA
2. Integracija na mnogostrukostima
231
:=
sa kompaktnim nosaqem. Sa
a(x) dx
:=
b(x) dx
F dr.
F dr.
232
3. INTEGRACIJA
F dr =
dr
dt.
dt
2 3
k
j=1
onda je
Z
a1 dx1 + + ak dxk =
F dr,
P dx + Q dy =
Q P
x
y
dxdy,
2. INTEGRACIJA NA MNOGOSTRUKOSTIMA
233
P
dxdy =
y
f2 (x)
f1 (x)
P
dy dx
y
I
(P (x, f2 (x)) P (x, f1 (x)) dx =
P dx.
Q
dxdy =
x
Q dx.
(D) =
1
2
x dy y dx,
D
I
(D) =
x dy,
(D) =
y dx.
x = x(s),
r2 x2 (s)
p
r2 x2 (s)
y = h(s) :=
parametrizacija
kruga ZC . Iz (10) slediZ
I
I
s s s+
s+ s s + L
A + r2 =
xdy
Z
=
0
R2
x(s)y 0 (s) ds
ydx =
C
h(s)x0 (s) ds
p
(x(s)y 0 (s) h(s)x0 (s))2 ds.
234
3. INTEGRACIJA
+ (y 0 (s))2 = kT k2 = 1
A + r2
Ar2
A + r2
Lr
,
2
2
S : D R2 ,
dS :=
S S
dudv,
u
v
D
umesto
u
v
v
u
izabrali smo jednu od dve mogue orijentacije na (videti (36) na
str. 208).
Neka je F : R vektorsko po e (ne obavezno tangentno) na
i neka je () 2{forma definisana sa
(X(p), Y(p)) := F(p) (X(p) Y(p)) za X(p), Y(p) T ,
3
4Prema legendi, osnivaqica i prva kra ica Kartagine, feniqanska princeza Didona,
se obrela u Severnoj Africi, gde je pobegla ili bila proterana iz rodnog grada Tira, zbog
politiqkih spletki. Starosedeoci su joj dozvolili da se naseli na povrxini koju moe da
ograniqi koa jednog bika. Ona je isekla kou na tanke trake i okruila ima prostranu
oblast, na kojoj je nastala Kartagina.
2. INTEGRACIJA NA MNOGOSTRUKOSTIMA
235
F dS.
Ovaj integral
se svodi naZ Z dvostruki
Rimanov
integral:
ZZ
F dS =
S S
u
v
dudv.
(14) Grinova formula u vektorskom obliku. Specijalni sluqaj povrxinskog integrala je dvostruki Rimanov integral. Ako oblast D R
posmatramo kao povrx u R zadatu parametrizacijom
D 3 (x, y) 7 (x, y, 0) R3 ,
( F) dS.
Ako je na desnoj strani F = P i + Qj, onda, zapisujui Grinovu formulu u vektorskom obliku za vektorsko po e G = Qi P j, dobijamo
jox jedan vektorski
zapis Grinove
formule:
I
ZZ
D
G dr =
G dxdy.
P dy dz + Q dz dx + R dx dy =
P
Q R
+
+
x
y
z
dxdydz,
gde je povrx orijentisana pomou spo axe (u odnosu na V ) normale (videti (36) na str. 208). U vektorskom obliku, ova formula
ima zapis Z Z
ZZZ
V
F dxdydz.
F dS =
(V ) =
1
3
x dy dz + y dz dx + z dx dy,
1
(V ) =
3
ZZ
r dS.
V
236
3. INTEGRACIJA
A .
Jednodimenzionu meru nazivamo duinom, dvodimenzionu povrxinom, vixedimenzione najqexe zapreminom. Nekad i u vixedimenzionom sluqaju upotreb avamo termin povrxina kada je to prirodno,
npr. povrxina sfere S je prirodniji termin od zapremina sfere.
Poxto forma orijentacije na mnogostrukosti definixe meru
(zapreminu) na opisani naqin, zovemo je jox i formom zapremine.
(18) Mnogostrukost dimenzije nula je skup taqaka, koje su ene komponente povezanosti. Forma orijentacije (zapremine) na oj je 0{forma, tj. funkcija, koja nigde nije jednaka nuli. Kaemo da je taqka
(komponenta povezanosti) mnogostrukosti dimenzije nula pozitivno
orijentisana, ako je ta funkcija u oj pozitivna; u protivnom kaemo
da je ona negativno orijentisana.
(19) Ukoliko je na V zadata Rimanova metrika g (videti (34) na 205.
strani), prirodan je izbor forme orijentacije koja zadovo ava
V
n1
(E1 , . . . , En ) = 1
za neku (a time i svaku5) ortonormiranu (u odnosu na Rimanovu metriku g) bazu E , . . . , E tangentnog prostora. Ovaj uslov je prirodan
jer obezbeuje da je zapremina jediniqne kocke u tangentnom prostoru
jednaka 1 i ovakvu formu nazivamo kanonskom formom zapremine u
prisustvu Rimanove metrike.
U lokalnim koordinatama, ovakva forma moe da se konstruixe
na sledei naqin. Neka je koordinatna karta i { , . . . , } standardna baza u T R . Tada je X : , j = 1, . . . , n baza u T V . Neka
je G determinanta matrice g := g(X , X ); G je skalarna funkcija
na V . Tada je
1
xj
rs
xn
x1
:= ( G dx1 . . . dxn )
jk
Xj =
Tada je g
ajk Ek .
, odnosno (g ) = A A, pa poxto je (
, odatle sledi := (G dx . . . dx ).
Pn
= k=1 ark ask
det A dx1 . . . dxn
rs
n
X
k=1
rs
) =
5Videti (117) na str. 187; matrica prelaska sa jedne ortonormirane baze na drugu je
ortogonalna i ena determinanta je 1.
2. INTEGRACIJA NA MNOGOSTRUKOSTIMA
237
f=
M
(n)cn ,
dr
dl := kdrk =
dt
dt,
2
k
Z
f dl =
f (r(t))kr0 (t)k dt
S S
dS := kdSk =
u v
du dv.
Integral funkcije f : Z ZR
f dS
S
u
(u, v) D
S
v
238
uobiqajene su oznake
S
u
S
F =
u
S
G=
v
E=
paZjeZ
3. INTEGRACIJA
2 2 2
y
z
S
x
+
+
=
u
u
u
u
S
x x y y
z z
=
+
+
v
u v
u v
u v
2 2 2
y
z
S
x
+
+
,
=
v
v
v
v
ZZ
f dS =
EG F 2 dudv,
ali je preciznije
ds2 = E du du + F du dv + F dv du + G dv dv,
S S
1 S S
n=
u v
u v
[II] =
gde je
L=
2S
n,
u2
M=
L
M
M
N
2S
n,
uv
N=
2S
n,
v 2
II = Ldu2 + 2M dudv + N dv 2 .
2. INTEGRACIJA NA MNOGOSTRUKOSTIMA
239
LN M 2
.
EG F 2
f dS =
k f k dS.
Z
:=
M
k Z
X
j=1
Uj
j ,
240
3. INTEGRACIJA
j =
Uj
X
i,j
j i =
Uj
XZ
i,j
j i
Uj Vj
i,j
j i =
XZ
Vj
Vi
Hn := {(x1 , . . . , xn ) Rn | x1 0}
nasleenom iz R .
Mnogostrukost sa granicom je Hausdorfov prostor M sa prebrojivom bazom topologije i familijom U = {(U , )}, gde su U
otvoreni skupovi i svako homomorfizam skupa U na otvoren podskup u H , takvi da:
familija {U } pokriva M ;
ako je U U 6= onda su i difeomorfizmi
otvorenih podskupova (U U ) i (U U ) poluporostora
H ;
familija U je maksimalna familija koja ima prethodna dva svojstva.
Iz Teoreme o inverznoj funkciji (str. 166) sledi da se unutraxe taqke skupa pri difeomorfizmu slikaju u unutraxe taqke, pa
ako se taqka p M pri nekom koordinatnom preslikavau slika u
rub H = {x = 0}, onda se ona slika u rub pri svakom koordinatnom preslikavau. Skup takvih taqaka nazivamo granicom mnogostrukosti M i oznaqavamo sa M .
Iz Teoreme o rangu (str. 168) sledi da je M podmnogostrukost
mnogostrukosti M dimenzije n 1 i da je inkluzija
n
: M M
2. INTEGRACIJA NA MNOGOSTRUKOSTIMA
241
1
(0, x2 , . . . , xn ) = (0, y2 (0, x2 , . . . , xn ), . . . , yn (0, x2 , . . . , xn )).
y1
x1
y2
x1
D( 1
)=
yn
x1
0
y2
x2
yn
x2
0
y2
xn
yn
xn
Budui da je ova matrica nesingularna, mora da bude 6= 0. Meutim, poxto slika doi poluprostor na doi poluprostor, odatle sledi da je > 0 (drugim reqima, y raste po x
du x {koordinatne ose). Poxto je atlas {(U , )} orijentisan, tj.
det D( ) > 0, odatle sledi i da je doi (n 1) (n 1) minor
vei od nule. Drugim reqima, restrikcije | definixu atlas na
M . Orijentaciju definsanu ovim atlasom nazivamo orijentacijom
na M indukovanu orijentacijom na M .
U terminima orijentacije pomou diferencijalnih formi to
znaqi da, ako je orijentacija na unutraxosti poluprostora H data
formom dx dx i quvaju orijentaciju, onda je orijentacija na
M zadata tako da restrikcije |
quvaju orijentaciju, pri qemu
je orijentacija na rubu H = R zadata formom dx dx .
(32) Orijentaciju kraja moemo da formulixemo i u terminima orijentacije tangentnih prostora. Qienica da u definiciji mnogostrukosti sa granicom (29) uzimamo doi poluprostor, a za orijentaciju granice uzimamo formu dx dx u kojoj je ispuxtena
koordinata dx koja je dualna vektoru . Ovaj vektor je vektor
spo axe normale na granicu.
Specijalno, ako je dim M = 1 i M 6= , onda je M = [a, b]. Neka
je orijentacija na M data formom dt. Onda je orijentacija granice
zadata funkcijom (0{formom)
y1
x1
y1
x1
M
n1
f : {a, b} R,
x1
f (a) = 1, f (b) = 1.
242
3. INTEGRACIJA
(33) Stoksova teorema. Neka je M kompaktna orijentisana glatka mnogostrukost dimenzije n sa granicom M i neka je (M ) diferencijalna forma. TadaZ je Z
n1
d =
M =
d = 0.
n
X
dj dxn ,
aj (x) dx1 dx
j=1
d =
n
X
(1)j1
Z
0
aj
dx1 dxn .
xj
aj
dxj = aj (x1 , . . . , xj1 , 1, xj+1 , . . . , xn ) aj (x1 , . . . , xj1 , 0, xj+1 , . . . , xn ).
xj
Poxto je nosaq funkcije a kompaktno sadran u karti koja se razmatra, posledi izraz je jednak nuli ako se radi o skupu A (i time je
ujedno zavrxen dokaz za sluqaj M = ), a ako se radi o skupu B on
je jednak nuli za j 6= 1, dok je za j = 1 jednak a (1, x , . . . , x ). Dokaz
sada sledi iz Fubinijeve teoreme, pomou koje se integral forme d
u razmatranoj
kartiZ svodi
na ponov eni
integral
Z
Z
Z
j
d =
0
0
1
=
0
a1
dx1 dx2 . . . dxn
x1
Z
a1 (1, x2 , . . . , xn ) dx2 . . . dxn =
.
B
2. INTEGRACIJA NA MNOGOSTRUKOSTIMA
243
(34) Iz Stoksove teoreme (33) slede Grinova formula (8) i Teorema o divergenciji (15) kao specijalni sluqajevi. utn{Lajbnicova formula
za funkcije jedne promen ive
Z
b
df = f (b) f (a)
R Q
dy dz+
y
z
P
R
Q P
+
dz dx +
dx dy.
z
z
x
y
P dx + Q dy + R dz =
C
U vektorskom zapisu
ova formula
glasi
I
ZZ
F dr =
( F) dS.
k
: HdR
(M ) R
n
dR
n+1
6= 0
pa je
n
: HdR
(M ) R
im
6= {0},
M
n
HdR
(M )
R
= R.
ker M
Vai i mnogo jaqe tvree: kompaktna povezana dimenziona mnogostrukost bez granice M je orijentabilna ako i samo ako je
dim M
HdR
(M )
= R.
244
3. INTEGRACIJA
n1
dR
m1
n1
dR
n1
m1
n1
m1
f (x) :=
d = 0,
Bx
Bx
Cx
F dr =
F dr.
(39) Neka je M povezana mnogostrukost, p M i (M, p) skup klasa homotopski ekvivalentnih preslikavaa S M koja slikaju 1 S u
p (tj. klasa homotopski ekvivalentnih pet i u M sa baznom taqkom
p). Skup (M, p), ili, krae oznaqeno, (M ), naziva se fundamentalnom grupom7 mnogostrukosti M . U (37) smo videli da je svaka
1
2. INTEGRACIJA NA MNOGOSTRUKOSTIMA
245
n
dR
2
dR
2
dR
:=
k
HdR
(M ) Hk (M ) R,
([], []) 7
1X
dk dxn ,
(1)k1 xk dx1 dx
n
k=1
n1
dR
=
Sn1
n1
d =
Bn
Bn
246
3. INTEGRACIJA
k
HdR
(Sn1 ) =
k {0, n 1}
k
/ {0, n 1}.
R,
0,
k=0
k > 0.
R,
0,
k
HdR
(Bn ) =
n1
n1
n1
Sn1
n1 n1
n1 n1
j h = (h j) = id : HdR
(S
) HdR
(S
)
n1 n1
n1
n1 n1
HdR
(S
) HdR
(Bn ) = {0} HdR
(S
).
n1
n1
2. INTEGRACIJA NA MNOGOSTRUKOSTIMA
247
4 3
3
f dr,
gde je C kriva koja spaja taqke (0, 0, 0) i (1, 2, log 3) ista za svaku takvu
krivu. Izraqunati tu vrednost.
(47) Zadatak: Izraqunati Z Z
C
f
dS,
n
F dS = 0.
F dS =
1
F dS.
2
2t
2t
248
3. INTEGRACIJA
dy
dx
x(t)
y(t)
dt .
dt
dt
S2+
2
+
x = cos ,
y = sin ,
z = ,
0 2.
2 z
f (t) =
Izraqunati f (t).
(56) Zadatak: Izraqunati R , ako je
(a) = x dy dz + y dz dz, a S gora strana povrxi
S+ (t)
x2 + y 2 1,
z = x2 + y 2 ;
0 z 4;
x2 + y 2 + z 2 1,
2
dx dz
z 0;
x2 + y 2 = z 2 ,
0 < z < 1;
x + y + z 1,
x 0,
y 0,
z 0.
2. INTEGRACIJA NA MNOGOSTRUKOSTIMA
249
Da li je F potencijalno po e? Da li je F solenoidalno po e?
(b) Izraqunati R F dr ako je S krug x + y = 1, z = 0.
(60) Zadatak: Neka je
(a) F = 2xi + 2yj + 2zk
(b) F = yi xj
(v) F = (yz + e cos y)i + (xz e sin y)j + (xy + z)k
(g) F = (5x 4xy)i + (3x 2y)j
(d) F = (y + z)i + (x + z)j + (x + y)k.
Da li postoji funkcija f takva da je F = f ? Ako postoji, nai je,
ako ne postoji dokazati da ne postoji.
(61) Zadatak: Neka je F = 2xi + 2yj + 2zk. Izraqunati R F dr, gde je C
neka kriva na sferi x + y + z = 1. (Da li je, da bi ovaj zadatak
imao smisla, potrebno vixe informacija o krivoj C i zaxto?)
(62) Zadatak: RNeka je C put koji spaja taqke (x , y , z ) i (x , y , z ). Izraqunati z dx + 2y dy + 2xz dz. (Da li je, da bi ovaj zadatak imao
smisla, potrebno vixe informacija o putu C i zaxto?)
(63) Zadatak: Neka je r = xi+yj+zk vektor poloaja taqke (x, y, z) R ,
F i G vektorska po a u R i f : R R glatka funkcija. Dokazati
(a) div(f F) = f F + F f
(b) (f F) = f F + f F
(v) (F G) = G F F G
(g) r = 3
(d) r = 0.
(64) Zadatak: Ispitati solenoidalnost vektorskog po a f (r)r, gde je r =
xi + yj + zk, r = krk i f : R R glatka funkcija.
(65) Zadatak: NekaR je C trougao sa temenima (0, 0), (0, 1) i (1, 0). Izraqunati integral y dx + x dy
(a) pomou Grinove teoreme
(b) bez pomoi Grinove teoreme.
(66) Zadatak: Nekapje F = yi xj i neka je sfera x + y + z = 4, a
polusfera
z = 4 x y . Dokazati da je
(a) RRRR F dS = 8
(b) F dS = 0.
Da li rezultat (b) zavisi od vektorskog po a F? Da li rezultat (b)
zavisi od povrxi ?
(67) Zadatak: Neka su = dx dy, = ydx dz, = dr dy (gde je r
sferna koordinata, tj. r = x + y + z ) tri diferencijalne forme
u R . Izraqunati ihove vrednosti na parovima vektora
(a) X = i + j + 2k, Y = j u taqki (0, 1, 0).
(b) X = i j, Y = i j u taqki (2, 2, 1).
(68) Zadatak: Preslikavae f : R R zadato je sa f (s, t) = (st, 1).
Izraqunati f (dx + xdy).
(69) Zadatak: Za vektorsko po e A i funkciju f u R definisane su
diferencijalne forme
2
2
2
1
A
(X) := hA, Xi,
2
A
(X, Y) := A, X, Y ,
f3 := f dV,
250
3. INTEGRACIJA
1
1
2
A
B
= AB
,
1
2
3
.
A
B
= hA,Bi
dR
dR
a : Sn Sn ,
x 7 x
i prirodnu projekciju
: S RP dokazati:
(a) da je (RP ) = (S )/ ;
(b) da je
(
2
k=0
k 1.
R,
0,
k
HdR
(RP 2 ) =
f
x
f
z
f
z
df =
f
x
f
y
f
z
f
z
f
y
f
f
dz +
d
z
z
z
3 je orijentabilan. Razlog
lei u tome xto antipodalno preslikavae a : Sn Sn meaR orijentaciju za parno, a ne
mea za neparno n. Ako je n (RP n ) i n parno, onda je S = 0 (pa iz de Ramove
teoreme (40) sledi [ ] = 0). To ne vai ako je n neparno.
n
2. INTEGRACIJA NA MNOGOSTRUKOSTIMA
251
i Stoksove teoreme
u oblikuI
ZZ
d(f dz) =
f dz,
f
z
h
z
1 f
z
f
z
ZZ
f
z
lim
0+
d
z dz =
(v) Dokazati da je Z Z
D\D
d
z dz =
f
z
f (z)
dz
z
f () =
1
2i
f (z)
1
dz
z
2i
f
=0
z
f (z)
dz.
z
I
d
z dz,
lim
D\D
za svako
0+
f
z
f (z)
dz = 2if ().
z
d
z dz.
1
2i
f (z)
dz.
z
f (z)
z
k
2
j=1 x2j
=4
.
z z
252
3. INTEGRACIJA
K(x) :=
1
2
log kxk n = 2,
1
(2 n)n
kxk2n
n > 2,
gde je zapremina jediniqne sfere u R , harmonijska. Ova funkcija naziva se fundamentalnim rexeem Laplasove jednaqine.
(78) Zadatak: Neka je K fundamentalno rexee Laplasove jednaqine i D
oblast u R . Neka je y D i B lopta sa centrom u y i polupreqnikom
> 0. Uvedimo oznaku K (x) := K(x y).
(a) DokazatiZ da je
Z
Z
n
Ky u uKy dS +
Ky u dV =
D\B
Ky u uKy dS
n1 1
Ky u dS nn n1 Ky () sup kuk
Ky u uKy dS.
Ky u dV
u(y) =
() Ako je u funkcija sa kompaktnim nosaqem Ru D, dokazati da Grinova formula reprezentacije glasi u(y) = K u dV.
(e) Neka je f glatka funkcija sa kompaktnim nosaqem. Dokazati da
Puasonova jednaqina u = f ima rexee u = RK f , gde zvezdica
oznaqava konvoluciju funkcija: ( )(y) := (x y)(x) dx.
D
GLAVA 4
kada je druga promen iva iz bilo kog razloga izdvojena i ima neku
posebnu ulogu. Tu promen ivu nazivamo parametrom familije; skup
T nazivamo skupom parametara. Nekada umesto f (x, t) pixemo f (x),
odnosno
f : X Y, t T.
Jedan primer familije preslikavaa je niz preslikavaa
t
fn : X Y ;
odnosno, ako
odnosno
Iz
253
254
d(ft1 (x), ft2 (x)) d(ft1 (x) f (x)) + d(f (x) ft2 (x)),
t1
t1
t2
f : X T Y,
tT
f := lim ft : X Y
yt := lim ft (x),
FX
FX (limFT
ft (x))
i lim
FT (limFX
ft (x))
i vai
Dokaz: Neka je > 0. Iz postojaa ravnomernog limesa po filteru F i Koxijevog uslova (3) sledi da postoji skup T F , takav
da je za sve t , t T i sve x X
FX FT
FT
FX
t1
t2
FT
FX
yt
. Ostaje jox da
255
t1 , yt2 )
t2
preemo na
t2
t2
d(f (x), y) d(f (x), ft2 (x)) + d(ft2 (x), yt2 ) + d(yt2 , y),
sledi da je
FT
FX
f := lim ft : X Y,
ft : V Y,
tT
postoji limes
lim ft (x0 ) Y.
f := lim f : V Y.
kft1 (x) ft2 (x)k k[ft1 (x) ft2 (x)] [ft1 (x0 ) ft2 (x0 )]k + kft1 (x0 ) ft2 (x0 )k
sup kDft1 (x0 + x) Dft2 (x0 + x)k kx x0 k + kft1 (x0 ) ft2 (x0 )k.
01
256
k[ft1 (x + h) ft1 (x) Dft1 (x)(h)] [ft2 (x + h) ft2 (x) Dft2 (x)(h)]k
[ sup kDft1 (x + h) Dft2 (x + h)k + kDft1 (x) Dft2 (x)k]khk.
Ova nejednakost vai kad god je x, x + h V i iz e sledi (na osnovu pretpostavke o postojau ravnomernog limesa familije Df i
Koxijevog uslova) da familija
01
Qt (h) :=
h0
FT
FT
f (x + h) f (x) (x)(h)
lim Qt (h) =
.
FT
khk
h0 FT
FT h0
n
ft : J C
f := lim ft : J C.
f (x) dx = lim
ft (x) dx.
ft
i=1
i=1
FT
>0
Za svako t T je
k
X
i=1
257
f :X J C
F (x) :=
f (x, t) dt
f :V J C
F : V C,
F (x) :=
klase C i
f (x, t) dt
J
Z
DF (x) =
D1 f (x, t) dt.
v1 (t) dt, . . . ,
vk (t) dt .
Dokaz: Jednu verziju ove teoreme videli smo u (39) na str. 148;
dokazaemo je sada na malo direktniji naqin, bez pozivaa na (38) na
str. 148. Iz nejednakosti trougla za integrale i Teoreme o sredoj
vrednosti sledi dazaZ proizvo no x V vai
J
F (x0 + h) F (x0 )
D1 f (x0 , t) dt h
f (x, t) dt
A
258
familija funkcija
f : X A C,
f : X [a, [ C
Z
lim
f (x, t) dt.
U sluqaju da je singularna
taqka ]a, b[ unutraxa taqka, onda
R
kaemo da integral f (x, t) dt ravnomerno konvergira ako ravnomerno konvergiraju
integrali Z
Z
f (x, t) dt i
f (x, t) dt.
U sluqaju vixe singularnih taqaka , . . . , [a, b] ravnomerna konvergencija se svodi
na ravnomernu
konvergenciju svih integrala
Z
Z
a
b
a
ck+1
f (x, t) dt,
ck
f (x, t) dt,
k
lim
0+
f (x, t) dt.
Sliqno, ako je oblastRA neograniqena i u oj nema konaqnih singularnih taqaka, onda f (x, t) dt ravnomerno konvergira ako postoji
ravnomeran (po x X ) limes
Z
A\B]t0 ;[
lim
r+
f (x, t) dt.
f : X [a, [ C
259
f (x, t) dt
b2
f (x, t) dt < .
b1 , b2 U sup
xX
b1
f : X [a, [ C,
g : X [a, [ R
Ako integral
g(x, t) dt
ravnomerno konvergira.
Dokaz
sledi iz Z
Z
f (x, t) dt
b2
f (x, t) dt
b2
i (12).
(14) Abelov i Dirihleov stav. Neka su
b1
b2
|f (x, t)| dt
b1
f : X [a, [ C,
g(x, t) dt
b1
g : X [a, [ R
f (x, t)g(x, t) dt
(x,t)XA
xX,b[a,[
b
a
260
b2
b2
f (x, t) dt
f (x, t) dt + g(x, b2 )
b1
b1
f :X AC
R
f (x, t) dt
A
X
Tada je
FX
Z
lim
Z
f (x, t) dt =
f (t) dt.
Dokaz sledi iz pravila komutativnosti dva limesa (4) i komutativnosti limesa i integrala (8); izvedimo ga radi jednostavnosti
zapisa za n = Z1 (za n > 1 dokaz je isti).
Po definiciji je
Z
FX
lim
f (x, t) dt.
Poxto integral ravnomerno konvergira, drugi limes na desnoj strani je ravnomerni limes, pa moe da komutira sa prvim. Tako dobijamo
Z
Z
FX
FX b
lim
f (x, t) dt.
Sada drugi limes na desnoj strani komutira sa integralom, na osnovu (8), tako Zda dobijamo
Z
FX
b FX
lim
f (x, t) dt = lim
lim
a FX
f (x, t) dt =
FX
F (x) :=
neprekidna funkcija.
Dokaz sledi iz (9) i (6).
f (x, t) dt
A
261
V
i
D
f (x, t) dt konvergira ravnomerno,Zonda i R f (x,Z t) dt konvergira ravnomerno i
n
f (x, t) dt =
D1 f (x, t) dt.
f :J AC
R
f (x, t) dt
A
f (x, t) dt
integrabilna
na J i vai
Z Z
Z Z
f (x, t) dx dt.
f (x, t) dt dx =
Tada vai
Z Z
A
Z Z
f (x, y) dy dx =
f (x, y) dx dy.
i neka je
|f (x, y)| dx dy
c
Z
F (x, b) =
f (x, y) dy.
a
262
|x| n
|x| > n
n ,
0,
fn (x) =
fn (x) dx = 2.
ex dx =
uz pomo polarnih koordinata i Fubinijeve teoreme. Sledei zadatak daje jox jedan naqin da se on izraquna. Primetimo da je zbog
parnosti podintegralne funkcije dovo no izraqunati integral po
intervalu [0, +[.
Zadatak: Uvodei smenu t = xy dokazati da je
Z
Z
et dt = y
e(xy) dx.
sin x
x
sin x
dx = .
x
2
+ sin (tx)
x
0
+
0
xt
lim F (t).
t+
263
sin x xt
x
sin x xt
e
dt < ,
x
2
sin x xt
e
dt <
x
2
za dovo no veliko t.
(23) Gama funkcija ili Ojlerov integral druge vrste je funkcija
0
tz1 et dt.
(z) =
0
z log t
x log t iy log t
z1
x1
x1 t
x1 t
x1
Zaista, iz t
x1
(z + 1) = z(z).
sledi
= ez log t
z
d z
(t ) = ez log t = ztz1 ,
dt
t
+
z t
t e
0
+ Z
dt = t (e )
Specijalno, poxto je
Z
(1) =
e
0
+
= 1,
dt = e
t
264
t1 x1 +2 x2 1 et dt
(1 x1 + 2 x2 ) =
0
+
tx1 1 et
1
tx2 1 et
2
dt
1
2
tx2 1 et dt
tx1 1 et dt
= 1 (x1 )2 (x2 ).
Z
|u(x)v(x)| dx
p1 Z
|u(x)| dx
q1
|v(x)| dx
q
1 1
2 2
(n + 1) n
(n + 1 + x) n
(n + 2) (n + 1)
odnosno
0 h(x) log
n!
x log (n + 1),
x(x + 1) (x + n)
nx n!
x log (1 + n1 ).
x(x + 1) (x + n)
nx n!
,
x(x + 1) (x + n)
nx n!
n x(x + 1) (x + n)
f (x) = lim
za
0 < x < 1.
265
(x) = lim
dokazati da je
Z
1
tx1 et dt = lim
(x) =
t
n
n
,
n
t
tx1 1
dt
n
(koristiti f (t) dt = f (t) (t) dt). Smenom s = t/n u posledem integralu izvesti drugi dokaz Gausove formule (26).
(28) Ako na desnoj strani Gausove formule (26) napixemo
Rn
[0,n]
1
1
n!
=
x(x + 1) (x + n)
x (1 + x)(1 + x/2) (1 + x/n)
log(n + 1) =
=
(log (k + 1) log k) =
k=1
n
X
k=1
gde je
=
n
X
kad
n ,
n
X
k=1
1
+ o(1),
k
1
log 1 +
k
kad n ,
X
1
k=1
1
1
1
log 1 +
= lim 1 + + + log (n + 1)
n
k
k
2
n
kciju:
(x) = ex
1 Y en
.
x n=1 1 + nx
266
X
1
1
+
.
xk n=1 (x + n)k
(x)(1 x) =
.
sin x
pa je
(x)(x)(x) =
1
1
x2 Q
n=1 1
x2
n2
Q
x n=1 1
(x)2
n2 2
,
.
n=1 1
x2
k2 2
(x)2
n2 2
.
inx
Poxto su e
inx
2ik/n
, k = 0, . . . , n 1, nule polinoma z
zn 1 =
za z = e dobijamo
n1
Y
(z e2ik/n ),
k=0
2ix
einx 2i sin nx =
n1
Y
(e2ix e2ik/n )
k=0
n1
Y
k=0
= 2n ieinx
n1
Y
, pa je
sin (x + k/n).
k=0
sin
267
k
n
= n1 .
n
2
dobijamo
Koristei
r
Y
dobijamo
k=1
Qr
2 k
k=1 sin n
2n1
r
Y
sin nx = n sin x
odnosno
k=1
gde je
r
Y
k=1
sin2 (x/n)
1
sin2 (k/n)
= n sin (x/n)
(1 s(n, k, x)),
k=1
sin2 x
,
sin2 (k/n)
kr
k > r.
(
s(n, k, x) =
sin2 x
,
sin2 (k/n)
cos x =
za kosinus i
sinh x =
Y
n=1
x2
1+ 2 2 ,
n
4x2
(2n 1)2 2
Y
cosh =
1+
n=1
4x2
(2n 1)2 2
x2
log | sin x| = log |x| +
log 1 + 2 2 ,
n
n=1
cot x =
1 X
+
x n=1
1
1
+
.
x n x + n
coth x =
1 X
2x
+
.
2
x n=1 x + n2 2
268
dobijamo
es ds,
t1/2 et dt = 2
(1/2) =
=t
2x1
(x) = (x/2)((x + 1)/2).
(x)(x + 1/2) =
22x1
(2x).
Ovaj zadatak moe da se rexi direktno (smenama promen ive u integralima koji se u emu pojav uju) ili pomou (25).
(35) Osim (25), postoji i sledea funkcionalna karakterizacija Gama
funkcije: to je jedinstvena funkcija f :]0, +[ R klase C koja
ima svojstva
(a) f (x + 1) = xf (x);
(b) f (x)f (x + 1/2) = f (2x);
(v) f (x)f (1 x) = .
Zaista, funkcija zadovo ava svojstva (a){(v): svojstvo (a), kao
xto smo videli i u (25), sledi iz parcijalne integracije, svojstvo
(b) je formula dopuavaa (30), a (v) Leandrova formula (34).
Pretpostavimo da funkcija f zadovo ava (a){(v) i dokaimo da
je f . Neka je funkcija g :]0, +[ R definsana sa
1
22x1
sin(x)
f (x) = g(x)(x).
Tada je
h(x) =
1
[h(x/4) + h((x + 1)/4) + h((x + 2)/4) + h((x + 3)/4)].
4
2 1
1 X
h(x) = n
h((x + k)/2n ).
2
k=0
1
0
269
. Prelaskom
h(t) dt
h(x) =
B(x, y) =
tx1
y1
x1
x1
y1
y1
B(x, y) =
B(x, y) =
x1
y
x1
B(x 1, y).
x+y1
1
tx2 (1 t)y dt
Z
x 1 1 x2
t
(1 t)y1 (1 t) dt
y
0
x1
=
(B(x 1, y) B(x, y)),
y
y1
B(x, y 1).
x+y1
(n 1)!
.
x(x + 1) (x + n 1)
Specijalno, za m, n N je
B(m, n) =
(m 1)!(n 1)!
.
(m + n 1)!
(x) =
0
270
monotono konvergira ka f
(str. 86) dokazati daZje
(s)
= log s
s
1+s
B(x, y) =
sx1
ds.
(1 + s)x+y
(42) Veza izmeu Gama i Beta funkcije. Funkcije Gama i Beta su povezane
sledeom formulom:
0
B(x, y) =
(x)(y)
(x + y)
(y)
B(x, 1 x) =
B(x, y)
sin(x)
dobijamo izraz
tx1 (1 t)y1 dt
B(x, y) =
0
/2
B(x, y) = 2
sin2x1 cos2y1 d.
B(1/2, 1/2) = .
a1
a1
c1
1
dx
0 n 1xn
b1
/2
0
1
2
n sin(/n)
(a/2)(b/2)
2((a+b)/2)
a1
2 sin(c/2)
(b) RR
(v)
(47) Integrali
+ dx
1+x3
0
+ x1
x+1
0
3 3
dx =
271
za 0 < < 1.
sin(x)
a+1
R(a) =
log (x) dx
log (x) dx
R(0) =
log (1 x) dx.
R(0) =
2R(0) =
R(0) =
Integral
1
1
log
2
/2
/2
Z
J=
log sin s ds
Z
J =2
/4
log sin(2t) dt =
log 2 + 2
2
/4
/4
, dobijamo
/2
log cos t dt =
pa zak uqujemo da je
/4
log sin t dt + 2
J=
log 2 + 2J,
2
odnosno J = log 2.
Tako smo dobili rezultat
R(0) = log
Zadatak: Dokazati da je
2.
d
da R(a)
= log a
i zak uqiti da je
(y + 1) (x + y) (x)
.
(x + y)
y
272
R
Ako
sada
napixemo,
kao
u
(41),
B(x, y) =
R
t
e dt, dobijamo
+
ty1
(1+t)x+y
0
+ y1 t
0
0 (x)
= lim
y0
(x)
0 (x)
=
(x)
ty1 et
1
(1 + t)x+y
dt
i (y) =
dx.
Prelaskom na limes pod znakom integrala dobijamo Koxijevu formulu za logaritamski izvod Gama funkcije:
0
et
1
(1 + t)x
dt
.
t
B(x, y) =
Koristei ovaj izraz umesto (41) u izvoeu u (48) dobijamo jox jednu
formulu za logaritamski izvod
Gama funkcije:
0
0 (x)
=
(x)
ext
et
t
1 et
(x 1)e
log (x) =
dt.
et ext
1 et
dt
.
t
+
0
1
0
1
1+t
t dt
t
dt
t
t dt
t
1
(s, x) =
1
(x + n)s
n=0
x1+0
(s) =
X
1
s
n
n=1
Rimanova zeta{funkcija.
(52) Zadatak: Ispitati funkciju (x) = P i skicirati en grafik.
n=1
1
nx
273
s1
s1
n=1
ts1
dt = (1 21s )(s)(s).
et + 1
Zadatak: Dokazati da je
0
za s > 1, x > 0
Z
za 1 x < 1, s > 0 ili x = 1, s > 1.
Izvesti iz ovog zadatka tvree prethodnog.
Zadatak: Koristei prethodni zadatak i relaciju
1
(s 1)
(s) = (s 1)(s 1), tj.
=
s1
(s)
dokazati
Z
1
1
e
e
(s, x)
=
t
dt za s > 1, x > 0.
s1
(s)
1e
t
Dokazati da je opravdano izraqunati limes ovog izraza kad s 1 + 0
meajui poredak limesa
i integrala
i zak huqiti odatle da je
Z
+ s1 tx
t e
dt = (s)(s, x)
1 et
X
xts1
xn
dt
=
(s)
et x
ns
n=1
xt
s1
lim
s1+0
1
s1
(s)
1
s1
(s, x)
0 (s)
(s)
s1+0
(55) Primetimo da je Rimanova zeta{funkcija definisana i za kompleksne vrednosti promen ive s, ako je Re s > 1.
Zadatak: Dokazati da funkcija (s) moe da se predstavi kao
Stiltjesov integral Z
d[x]
(s) =
, za Re s > 1,
x
gde je 0 < < 1 i [x] ceo deo broja x. Primenom parcijalne integracije dokazati da je
Z
+
(s) =
s
s
s1
d{x}
,
xs+1
274
Z
R(a) =
log (x) dx =
eax
ex
2a 1 x dx
x
e
.
x
e 1
2
x
eax ex dx
=
2
x
ex eax dx
1
= log a
2
x
2
1
1 1 eax
+
dx.
ex 1 x 2 x
X
2x2
x
x
+
=
1
+
ex 1 2
x2 + 4n2 2
n=1
X
1
1
1 1 eax
ax
+
=
2e
.
x
2
e 1 x 2 x
x + 4n2 2
n=1
x2
eax
dx
+ 4n2 2
1
x2 +4n2 2
eax x2n dx =
2 +
2n!
.
a2n+1
m
X
B2(m+1)
2a 1
B2n
log a a +
+
,
2n1
2
(2n
1)2na
(2m
+
1)2ma2m+1
n=1
B2n = (1)n1
2(2n!)
(2n).
(2)2n
275
2a 1
log a a
.
2
12a
(n + 1) = n!
Imajui u vidu da je
formulu za faktorijel
2 +
1/2
s
n=1 n
k
1 2
n = p
1 p2 . . . pk ,
X
X
1
1
=
k s
1 2
s
n
(p
p
1
2 . . . pk )
1 ,...,k =0
n=1
X
X
1
1
...
=
1 s
k s
(p
(p
1 )
k )
=0
=0
(s) =
k
Y
1
1
psj
1
.
1
ns
1
ns
k
Y
X
1
1
1 s
s
n
pj
n=1
j=1
ako su
prosti brojevi, onda je i p1 p2 . . . pk + 1 prost, pa ih ne moe biti konaqno
mnogo. Meutim, Ojlerov dokaz koji ovde dajemo je pouqan, jer dovodi u vezu proste brojeve
sa zeta{funkcijom.
2Iz log(1 + x) x kad x 0 Qsledi da, ako red P an apsolutno konvergira, onda i red
P
log(1 + an ), a time i proizvod (1 + an ), konvergira.
p1 , p2 . . . , pk
276
(s) =
Y
p
1
1 s
p
1
,
gde je na desnoj strani beskonaqni proizvod po svim prostim brojevima p. Nekada se ona zapisuje u obliku
log (s) =
log(1 ps ) =
XX
pns
.
n
p n=1
(59) Neka je, za x R, (x) broj prostih brojeva koji nisu vei od x;
drugim reqima
X
1,
(x) =
log (s) =
log 1
1
ps
1
((n) (n 1)) log 1 s
n
n=2
X
1
1
=
(n) log 1 s log 1
n
(n + 1)s
n=2
Z n+1
X
s
(n)
dx.
=
s 1)
x(x
n
n=2
=
Z
log (s) = s
(x)
dx.
x(xs 1)
((s))2 =
X
d(n)
,
ns
n=1
X
dk (n)
,
ns
n=1
((s))k =
Z
I(f ) =
f (t) dt.
0
277
Poxto je integral neprekidna funkcija po goroj granici, I je linearno preslikavae I : C(R) C(R), pa je definisano preslikavae
I n = I| {z
I} : C(R) C(R),
puta
1
(n 1)!
I n (f ) =
Dn I n = Id : C(R) C(R),
I n = (Dn )1 ,
za n N.
Time smo definisali izvod reda n za svako n Z.
Poxto Gama funkcija uopxtava faktorijel, izraz za I moemo
da uopxtimo za proizvo no
> 0:
Z
Dn := I n
1
()
I :=
a time i
D := I
za Z [0, +[.
Na kraju, za preostale vrednosti , dakle za < 0, definxemo
D = Dm (Dm ),
f (t)est dt,
L(f )(s) =
s C.
f (t)est dt,
B(f )(s) =
sC
278
(n)
n1 j
j=0
Q(s)
,
s+
tako da se rexavae polazne diferencijalne jednaqine svodi na traee funkcije qija je Laplasova transformacija izraz na desnoj
strani, tj. traee inverzne Laplasove transformacije
y(t) = L1 ((s + )1 Q(s)) = L1 ((s + )1 L(q)(s)).
1
fb(x) :=
f (t)eitx dt,
279
T
T T
[
kf ,
Dk fb(x) = M
gde je (M f )(x) := ixf (x) i M = M . . .M . Ova formula ustanov ava dualnost mnoea i diferenciraa (xto je dualnost poloaja i
impulsa u kvantnoj fizici).
Zadatak: Dokazati da je Furijeova transformacija funkcije
t 7 f (t) funkcija x 7 fb( x).
Zadatak: Dokazati da je Furijeova transformacija funkcije
t 7 f (t t ) za fiksiranu konstantu t R funkcija x 7 e
fb(x).
Zadatak: Neka je a > 0. Nai Furijeovu transformaciju funkcije
(
k
t0 x
a1 (1 |x|a1 ),
0,
a (x) :=
Zadatak:
kcije
|x| a
x > a.
(2a)1 ,
0,
|x| a
x>a
u v(x) :=
u(t)v(x t) dt,
f[
g =
2 fb gb,
fd
g =
2 fb gb.
280
dk
dk
(u
v)
=
u
v
dxk
dxk
za k m.
(68) Komutativnost konvolucije. Ako je u v definsano, onda je u v =
v u. Dokaz je jednostavna posledica smene promen ive y = x t.
(69) Aproksimacija jedinice. Neka familija funkcija K : R R
zadovo ava sledee uslove:
()(x)
R K (x) 0
() R R K (x) dx = 1
lim V K (x) dx = 1
R\V
ravnomerno na J .
Dokaz: Neka je > 0. Poxto je f ravnomerno neprekidna, postoji
> 0 sa osobinom
|x y| < |f (x) f (y)| < .
|f (x t) f (x)|K (t) dt
R
Z
+
Z
|f (x t) f (x)|K (t) dt
K (t) dt + 2kf k
<
K (t) dt.
R\],[
Posledi sabirak tei nuli kad , zbog treeg svojstva aproksimacije jedinice, odakle sledi da, ako je u dovo no maloj okolini
taqke , za sve x vai
|f K (x) f (x)| < 2.
281
za |x| 1
za|x| > 1,
za povo no izabrano c i = + dokazati Prvu Vajerxtrasovu
teoremu o aproksimaciji neprekidnih funkcija polinomima.
(71) Zadatak: Neka
je
(
e
,
|x| < 1
1
i
K = (x/).
(x) =
0,
|x| 1
Primenom Tvrea (69) za povo no izabrano i = +0 dokazati da
svaka neprekidna funkcija f : R R sa kompaktnim nosaqem moe
da se ravnomerno aproksimira funkcijama klase C sa kompaktnim
nosaqem.
(72) Zadatak: Neka je
cn (1 x2 )n ,
0,
Kn (x) =
1/(1x2 )
Ky (x) =
1
y
x2 + y 2
2
x2
2
y 2
x2
1
Kt (x) = exp( )
4t
2 t
=0
sa graniqnim uslovom u(x, 0) = f (x).
(74) Zadatak: Jednaqina
u
t
sa poqetnim uslovom
2u
x2
2u
2u
= c2 2
2
t
x
u(x, 0) = f (x),
u
(x, 0) = g(x),
t
= x + ct
282
x+ct
g(s) ds.
xct
. Izraqunati
lim lim a
i lim lim a .
(76) Zadatak: Ispitati ravnomernu konvergenciju sledeih nizova funkcija:
(a) f : [0, 1] R, f (x) = x ;
(b) f : [0, 1[ R, f (x) = x ;
(v) f : [0, 1 ] R, f (x) = x ;
;
(g) f : R R, f (x) =
(d) f : R R, f (x) = .
(77) Zadatak:
Ispitati ravnomernu konvergenciju redova
(a) PP n (x) na [0, 1];
(b) P(1) (n + x) na [0, +[;
(v) (1) e n na [0, +[.
(78) Zadatak: Ispitati ravnomernu konvergenciju redova
X
(1) (x + n)
i X(1) x (x + n) .
(79) Zadatak:P Neka je P Pa apsolutno konvergentan red. Dokazati da
redovi a sin(nx) i a cos(nx) ravnomerno konvergiraju na R.
(80) Zadatak: Neka je a monoton niz koji
konvergira ka nuli. Ispitati
ravnomernu konvergenciju redova P a sin(nx) i P a cos(nx).
(81) Zadatak: Neka je 1 < r < 1. Izraqunati
X
X
a sin(nx)a cos(nx).
a sin(nx) i
(82) Zadatak: Ispitati ravnomernu konvergenciju niza f : [0, 1] R,
ako je
(a) f (x) =
(b) f (x) = 2n xe
(v) f (x) = n x(1 x )
(g) f (x) = x x
(d) f (x) = .
(83) Zadatak: Ispitati ravnomernu konvergenciju niza f (x) = na
otvorenom intervalu ]0, 1[. Zak uqiti da Dinijeva teorema (str. 86)
ne vai ako se iz e isk uqi pretpostavka o kompaktnosti domena.
(84) Zadatak: Ispitati ravnomernu konvergenciju niza
nm
n m
m
n+m
nm
nm
n
cos(n2 x)
n
cos(nx)
n2
m n
n nx 1
n 2
n=0
n=0
n=0
n=0
nx
1+n2 x2
2
n2 x2
2
2 n
1
1+nx
na R. Da li konvergira niz
d
dx fn (x)
1
1+nx
283
0,
fn (x) := sin2 x ,
0,
1
n+1
x
1
n+1
<x<
x n1 .
1
n
n 2
fn (x) = x(1 + n2 x2 )1 .
fn : [0, 1] R,
Izraqunati R
(a) lim R f (x) dx i R R lim f (x) dx.
(b) lim
nf (x) dx i
lim
nf (x) dx.
Ispitati obiqnu i ravnomernu konvergenciju nizova f (x) i nf (x).
(89) Zadatak: Neka je f (x) = 2(n + 1)x(1 x ) . Dokazati da je za svako
x [0, 1] niz f (x) konvergentan. Izraqunati
Z
Z
lim
f (x) dx i
lim f (x) dx.
Da li niz f konvergira ravnomerno na [0, 1]?
(90) Izraqunati
Z
Z
lim
2n xe
dx i
lim 2n xe
dx.
Ispitati obiqnu i ravnomernu konvergenciju niza 2n xe .
(91) Graniqni prelaz u Stiltjesovom integralu I. Zadatak: Neka je
g : [a, b] C funkcija ograniqene varijacije i f R(g) (tj. f
je niz kompleksnih
funkcija na [a, b] takvih da postoji Stiltjesov
integral R f dg). Dokazati da, ako f ravnomerno konvergira ka
R
R
f , vai f R(g) i lim f dg = f dg.
(92) Graniqni prelaz u Stiltjesovom integralu II. Zadatak: Neka je
X
f (x) =
k cos (k x) i g = n
sin (nx).
1
n 0
1
n 0
1
0
1
0
2 n
0 n
n2 x2
n2 x2
0 n
b
a
n a
k=1
1/2
n2 x2
284
2
R
lim
f dgn 6=
2
R
f dg .
b
a
n
b
n a
b
a
Zb
lim
Zb
f dgn =
n
a
f dg .
a
konvergira ravnomerno na
(95) Zadatak: Dokazati da red
svakom kompaktnom intervalu u , ali da ne konvergira apsolutno
ni za jedno x R.
(96) Zadatak:
Dokazati da sledei redovi konvergiraju ravnomerno:
(a) PP x za 0 x 1
(b) P e za 0 x < +
(v)
za 0 x < +.
Zak uqiti iz svakog od ovih primera da je Vajerxtrasov poredbeni
princip dovo an, ali ne i neophodan uslov za ravnomernu konvergenciju reda.
(97) Zadatak: Dokazati da red PP
konvergira ravnomerno na R.
(98) Zadatak: Dokazati da red
konvergira za svako x R. Da
li ovaj red konvergira ravnomerno
na
R?
P
(99) Zadatak: Nai sumu reda
.
(100) Zadatak: Razviti funkciju f (x) = u stepeni red sa centrom u
taqki 3 i nai intervalPkonvergencije dobijenog reda.
(101) Zadatak: Izraqunati
.
(102) Zadatak: Razviti funkcije
X 1
X (1)
a
a
f (x) =
i
g(x) =
k! 1 + a x
k! 1 + a x
(gde je 0 < a < 1) u stepene redove na intervalu ] 1, 1[.
(103) Zadatak: Koristei identitet sin x = (1 cos (2x)) razviti funkciju sin x u stepeni red. Diferenciraem dobijenog izraza nai
stepeni red za funkciju 2 sin x cos x i proveriti direktno da li je
dobijeni red stepeni red za funkciju sin 2x.
P
2
(1)n x n+n
2
R
(1)n n
n
(1)n nx
n
(1)n
x+n
(1)n x2
(1+x2 )n
x2
(1+x2 )n
n=2
xn
n(n1)
1
x+1
xn1
n=1 n(n+1)
2k 2
2k 2
k=0
k=0
1
2
285
arctan x =
1
dt
1 + t2
1 1 1
= 1 + + .
4
3 5 7
dx i
log x log(1 + x) dx.
e log x dx,
x
(106) Zadatak: Izraqunati integrale
x
Z
0
0,1
0,1
sin x
dx,
x
sa taqnoxu do 10 .
(107) Zadatak: Izraqunati
0,1
ex dx,
1
dx
1 + x4
cos 31 ,
tan 46 ,
sin 6, 3,
arctan x
=
x
Z
Z
0
arctan 1, 02
dy
1 + x2 y 2
arctan x
dx.
x 1 x2
1 1 2
1
+
2 2 2
+ .
(109) Zadatak: Izraqunati zbir
(110) Zadatak: Rexiti pomou stepenih redova diferencijalnu jednaqinu
y y = 0 sa poqetnim uslovima
(a) y(0) = 0, y(1) = 1
(b) y(0) = 1, y(1) = 0.
(111) Zadatak: Dokazati da ako Dirihleov red P konvergira u taqki
x , onda on konvergira ravnomerno na skupu x x , a apsolutno za
x > x + 1.
(112) Zadatak: Dokazati da je funkcija
1 1 3
3 2
1 1 4
4 2
00
cn
nx
J0 (x) =
Z
0
cos(xt)
dt
1 t2
(1)n
n=1
x2n
.
22n (n!)2
00
+ x1 y 0 + y = 0
i da
286
J0 (x) =
/2
cos(x sin ) d
i da je R J (x) dx = 1.
(Uputstvo: izraqunati lim R e J (x) dx.)
(114) Zadatak:ZDokazati da su funkcije
Z
cos(n x sin ) d
cos(x cos ) d i
x
rexea diferencijalne jednaqine x y + xy + (x n ) = 0.
(115) Zadatak: Neka je
za x < (n + 1)
0,
f (x) = sin (x ),
za (n + 1) x n
0,
za x > n .
(a) Dokazati da niz f neravnomerno konvergira ka funkciji f .
(b) Dokazati da je f (ipak) neprekidna.
(v) Ispitati ravnomernu i apsolutnu konvergenciju reda P f .
(g) Zak uqiti da apsolutna konvergencija reda, qak i za svako x, ne
povlaqi ravnomernu konvergenciju.
(116) Zadatak: Neka je f (x) = P (1 + n x) .
(a) Odrediti domen funkcije f .
(b) Ispitati ravnomernu neprekidnost reda na desnoj strani.
(v) Ispitati neprekidnost funkcije f .
(g) Ispitati ograniqenost funkcije f .
(117) Zadatak: Ispitati funkciju f (x) = P x (1P+ x ) i nacrtati en grafik. Na kojim intervalima je red x (1 + x )
ravnomerno konvergentan?
(118) Zadatak: Izraqunati
+
0
+ tx
t0+ 0
0
2 00
n=1
n=1
lim (1 x)
x10
2 n
n=1
2 n
(x)n (1 x2n )1 .
(x)n (1 x2n )1 .
2 1
f (x) =
X
{nx}
.
n2
n=1
0
n
287
za x > 0
za x 0
i neka je x niz meusobno razliqitih taqakaP intervala (a, b). Neka
je c niz kompleksnihPbrojeva, takav da red |c | konvergira.
(a) Dokazati da red c k(x x ) Pkonvergira ravnomerno na [a, b].
(b) Dokazati da je funkcija f (x) = c k(xx ) neprekidna u svakoj
taqki x 6= x i ograniqene varijacije na [a, b].
(122) Zadatak: Neka je f : [a, b] C ravnomerno ograniqen niz funkcija
integrabilnih po Rimanu. Dokazati Zda niz funkcija
(
k(x) =
1,
0,
Fn : [a, b] C,
Fn (x) =
fn (t) dt
ft : [a, b] C
n=0
(1)n
3n+1
lim fn (tn ) = f (t ).
x10 n=1
x10
(1)n1 xn
n
1+xn
1
2
n1
n=1
xn
1x2n
1
2
ix
2 n
Qn (x) dx = 1.
1
288
2 n
Pn (x) =
Dokazati da je
Z
1x
f (t)Qn (t x) dt
f (x + t)Qn (t) dt =
Pn (x) =
|x y| <
i da za takvo vai
(Uputstvo: R
R
R
R
P (x) f (x) =
(f (x + t) f (t))Q (x) dx =
+
+ .)
(e) Dokazati da P konvergira ka f ravnomerno na [0, 1].
() Izvesti direktan dokaz Vajerxtrasove teoreme o uniformnoj aproksimaciji neprekidnih funkcija polinomima, bez pozivaa na
Ston{Vajerxtrasovu ili Korovkinovu teoremu. (Uputstvo: ako
je f : [0, 1] R funkcija takva da je f (0) = f (1) = 0, proxiriti
je neprekidno nulom na R i primeniti prethodno rezonovae, u
protivnom posmatrati funkciju g(x) = f (x)f (0)x(f (1)f (0)).
Dokazati i da izborom intervala [0, 1] umesto [a, b] nije umaena
opxtost.)
(131) Zadatak: Odrediti domen i izraqunati prvi izvod funkcije
1
1
2+cos t
f (t) =
2+sin t
sin (tx)
dx.
x
289
xy dx dy
xb xa
dx.
log x
ax
bx
t+0
2 2
t+0
x2 /t
1 ex
cos x dx.
x
ex cos (2tx) dx
(s)
=
xs
y s1 eyx dy.
(b) Izraqunati
Z
Z
cos (bx)
sin (bx)
dx za 0 < s < 1 i
dx za 0 < s < 2.
x
x
(140) Zadatak: Dokazati da je R log(1 2t cos x + t ) dx = 0.
(141) Zadatak: Neka je
0
2
0
si(x) :=
Dokazati da je
sin t
dt.
t
ex si(x) dx =
.
4
sin(tx) sin(sx)
i
e
x
x
(Uputstvo: diferencirati po parametru.)
Z
1 cos(tx) nx
e
dx
x
nx
dx.
290
1 ex
cos x dx.
x
R + 1etx
cos x dx
x
0
.)
(Uputstvo: diferencirati
(144) Zadatak: Dokazati
da
su
funkcije
Z
Z
e
sin(t x)
x 7
dt i x 7
dt
1+t
t
rexea diferencijalne jednaqine y + y = 1/x. Izraqunati ihove
limese kad xZ + i zak uqiti
da je
Z
0
tx
x
00
etx
dt =
1 + t2
sin(t x)
dt.
t
x
tan x = cot x 2
tan x =
2x
n=1
dokazati da je
x2
2(n1)2 2
4
1
1
=
tan(x/2) + cot(x/2)
sin x
2
X1 X
1
2x
=
+
(1)n 2
.
sin x
x n=1
x n2 2
X
1
1
= 2+
2
x
sin x
n=1
Zadatak: Dokazati
1
1
+
.
(x n)2
(x + n)2
1 X
2x
1
= +
(1)n 2
.
sinh x
x n=1
x + n2 2
GLAVA 5
1
1
(f (x) + f (x)) + (f (x) f (x)).
2
2
h(x) 7 h(x),
Z2 = {1, 1}
h(x) 7 h(x),
Z2 = {1, 1}.
1 X
f(x) :=
gf (gx)
|G|
gG
int
inx
n=
1Primetimo da smo sliqnu situaciju imali u (13) na 140. strani, kada smo realno
linearno preslikavae predstavili kao zbir kompleksno linearnog i kompleksno antilinearnog { tu se radilo o dejstvima L(x) 7 iL(ix) i L(x) 7 iL(ix) grupe Z2 .
291
292
(2) Neka je (G, +) lokalno kompaktna Abelova topoloxka grupa (topoloxke grupe smo definisali u (115) na 39. strani). Homomorfizam
: G S1
u multiplikativnu grupu jediniqnih kompleksnih brojeva, tj. preslikavae koje zadovo ava
(x + y) = (x) (y)
hx, 0i = h0, i = 1
za sve x G i i
p
(Tq = (S1 )q , )
a : G G,
a (x) = x + a,
za sve a G.
Jedna takva forma na R T je forma2
a =
p
= dx1 dxp d1 dq .
je funkcija
funkcije f : G
Z
fb : C,
fb() =
f (x)hx, i (x).
G
293
(R, +),
(Z, +).
(s) ds 6= 0,
I=
I(x) =
x+
(x + s) ds =
(s) ds
(u posledem koraku smo koristili invarijantnost forme ds). Odatle sledi da je diferencijabilna funkcija (integral neprekidne
funkcije je diferencijabilna funkcija po granici integracije), pa
izraz (x + s) = (x) (s) moemo da diferenciramo po s, xto nam,
za s = 0, daje
(x) = C(x),
gde je C = (0). Odatle sledi
0
(x) = eitx
za neko . U sluqaju
to daje rezultat = R. Ako je
, uslov
daje = Z.
Ako je
i
, onda je (n) = e , odakle sledi da
je dualna grupa u ovom sluqaju izomorfna sa S (izomorfizam je
definisan sa
).
Tako dobijamo Furijeove transformacije za ove tri klasiqne
grupe:
R
G = R, = R: fb(x) =
f (t)e
dt;
R
b
G = S , = Z: f (n) =
f (e )e
d;
P
b
G = Z, = S : f (e ) =
f (n)e
.
Ove izraze smo ve videli u prethodnim poglav ima u vezi sa klasiqnim Furijeovim integralima, Furijeovim koeficijentima i Furijeovim redovima.
(5) Konvolucija funkcija f, g : G CZ je funkcija
t R
G = R
G = S1
(0) = (2)
= R/2Z
G = Z (1) = ei
7 ei
in
+
itx
1
i in
2
+
in
in
n=
f g : G C,
f g(x) =
f (x y)g(y) dy,
|f (x y)g(y)| dy < +.
khk1 =
|h(t)| dt.
294
(6) Formula inverzije. Neka je dx invarijantna forma na Abelovoj Lijevoj grupi G. Tada postoji invarijantna forma d na dualnoj grupi
, takva da za svaku neprekidnu funkciju f : G C za koju je
Z
Z
|f (x)| dx < +,
vai
|fb()| d < +
Z
f (x) =
fb()hx, i d.
Dokaz ovog tvrea u navedenoj opxtosti izostav amo. Razmotrimo samo sluqaj klasiqnih grupa (4). Ako je G = R (ili, opxtije,
G = R ), dokaz sledi iz Fubinijeve teoreme. Ako je G = S ili
G = Z, teorema se svodi na odreivae Furijeovih koeficijenata
Furijeovog reda, o qemu je bilo reqiR ub Glavi 1 (videti str. 125).
Primetimo
da u tom sluqaju uslov |f (n)| dn < + znaqi da red
P
|c | (gde su c = fb(n) Furijeovi koeficijenti P
funkcije f ) apsolutno konvergira, odakle slediR dab Furijeov red c e (koji se u
tom sluqaju interpretira kao f (n)e dn) ravnomerno konvergira
ka neprekidnoj funkciji f .
(7) Primena na parcijalne diferencijalne jednaqine. Neka je
inx
inx
P (1 , . . . , n )
polinom n promen ivih. Tada je sa P (D) definisan operator diferenciraa { sabirku odgovara diferencirae D D ,
gde je D parcijalni izvod reda po k{toj promen ivoj. Neka je v
data funkcija n promen ivih. Pretpostavimo da elimo ra reximo
1
1
k
k
1
1
n
n
n
n
u(t)eit dx
P\
(D)u() = vb(),
U (63) na str. 279 smo videli kako Furijeova transformacija ostvaruje dualnost mnoea i diferenciraa, odakle sledi
P\
(D)u() = P (i)b
u(),
295
Zadatak:
talasna jednaqina3
sa poqetnim uslovima
2
2u
2 u
=
c
t2
x2
u(x, 0) = f (x),
u
(x, 0) = g(x)
t
u
b(, t) = A() cos(ct) + B() sin(ct).
i odatle
u
b(, t) =
B() =
1
gb
c
1b
1
f ()(eic + eic ) +
(eic eic ).
2
2ic
1
u(x, t) =
2
u
b(, t)eix d
1
1
u(x, t) = (f (x + ct) + f (x ct)) +
2
2
u(x, 0) = f (x)
x21
x21
u
b0 (, t) = c1 (12 + + n2 )b
u(, t).
296
(b) Rexavaem ove jednaqine (de eem sa ub na desnoj strani dobijamo izvod funkcije log ub) i korixeem poqetnog uslova dokazati da je
u
b(, t) = fb()e
.
(v) Primenom inverzne Furijeove transformacije dokazati da je
rexee jednaqine provoea toplote
c2 kk2 t
gde je
K(x, t) = (2c t) e
Ovo rexee smo, za n = 1, videli u (73) na 281. strani.
(8) Metod razdvajaa promen ivih. I Furijeovi redovi nalaze primenu
u teoriji parcijalnih jednaqina. Razmotrimo jox jednom talasnu
jednaqinu iz (7)
n kxk2 /4c2 t
sa poqetnim uslovima
2
2u
2 u
=
c
t2
x2
u(x, 0) = f (x),
u
(x, 0) = g(x).
t
u
(xto odgovara sluqaju kada ona opisuje strune duine L koja osciluje; grafik funkcije y = u(x, t) je poloaj strune u trenutku
t, krajevi u(0, t) i u(L, t) su priqvrxeni i ne osciluju).
Pokuxajmo da naemo rexee u obliku
u(x, t) = X(x)T (t)
T 00 (t) = c2 T (t),
x
x
,
Ae + Be
X(x) = Ax + B,
A cos(x) + B sin(x),
= 2 > 0
=0
= 2 < 0,
297
u(x, t) =
un (x, t),
uz pravilno odreene konstante C i D (u se naziva superpozicijom rexea u ). ih nalazimo iz poqetnih uslova u(x, 0) = f (x),
(x, 0) = g(x):
n=1
u
t
f (x) =
Cn sin(nx/L),
X
nc
Dn sin(nx/L).
g(x) =
L
n=1
u(x, t) =
bn sin(nx/L)enc
t/L
f (x) =
bn sin(nx/L).
(9) Zadatak: Raziviti funkcije f (x) = e i g(x) = x u trigonometrijski Furijeov red na ]0, [:
(a) po sinusima
(b) po kosinusima.
(10) Iz Beselove nejednakosti (314) na str. 115 primeene na ortonormirani sistem vektora {e | n Z} u prostoru kvadratno integrabilnih funkcija
Z
n=1
inx
R2 [, ] = {f : [, ] C |
|f (x)|2 dx < +}
5Trigonometrijski Furijeov red funkcije na intervalu [L, L] je razvoj po ortonormiranom sistemu { 12t , 1L cos(nx/L), 1L sin(nx/L) | n N}. Razvoj na intervalu [0, L] samo
po sinusima se dobija tako xto se funkcija koja se razvija produi da bude neparna na
[L, L], jer u tom sluqaju trigonometrijski Furijeov red ne sadri kosinuse. Sliqno,
razvoj koji sadri samo sinuse se dobija tako xto se funkcija proui tako da bude parna.
298
f (x)g(x) dx
sledi da je
f (x)einx dx = 0.
lim
n+
|f (x)| dx < +.
Tada je
f (x)eix dx = 0.
lim
f (x)eix dx
f (x)eix dx < ,
pa je dovo no dokazati tvree za interval [a, b] umesto ], [. Drugim reqima, moemo da pretpostavimo da se u emu radi o svojstvenom integralu
f (x)eix dx,
Z
0
f (x) dx
a
n
X
mj xj < ,
j=1
b
ix
f (x)e
Z
dx
g(x)e
ix
Z
dx
g(x)eix dx =
n
xj
1 X
mj eix
.
i j=1
x=xj1
299
(13) U Glavi 1 (videti str. 125) smo videli da je trigonometrijski Furijeov red kvadratno integrabilne funkcije f : [, ] C dat sa
Z
X
1
f (t)e
c e , gde je c =
dt.
2
Ako hoemo da naglasimo da su c Furijeovi koeficijenti funkcije
f oznaqavamo ih i sa c (f ).
Neka je
+
inx
int
n=
n
X
Sn (x) =
cn e
inx
k=n
1
=
2
f (t)
X
n
ik(xt)
dt
k=n
Dn (x) =
eikx .
k=n
Funkcije D se nazivaju Dirihleovim jezgrima. U terminima Dirihleovih jezgara, parcijalna suma Furijeovog reda ima oblik konvolucije
Z
n
1
2
Sn (x) =
f (t)Dn (x t) dt.
(14) Zadatak:
(a) Primenom formule za geometrijski zbir, dokazati da je
sin(n + 1/2)x
.
sin(x/2)
Dn (x) =
(b) Dokazati da je
1
2
Dn (t) dt = 1.
1
sin(x/2)
dokazati da je za svako
]0, [
Z
lim
Dn (t) dt = 0.
(15) Princip lokalizacije. Neka su f, g :] , [ C apsolutno integrabilne funkcije koje su jednake na nekoj otvorenoj okolini U taqke
x ] , [, tj. takve da postoji otvoren podskup U ] , [ koji
sadri taqku x i takav da vai
x U f (x) = g(x).
cn (f )einx
+
X
n=
cn (g)einx
300
Sn (x) =
1
2
1
2
1
2
f (x s)Dn (s) ds
f (x s)Dn (s) ds +
1
2
f (x + s) + f (x s)
sin((n + 1/2)s) ds.
sin(s/2)
1
n 2
kf k22 :=
|f (x)|2 dx < +,
+
X
f (x) =kk2
cn (f )einx ,
cn (f ) =
1
2
f (t)eint dt
u normi
f (x ) := lim f (x t),
t0+
f (x t) f (x )
dt
t
t0+
Z
0
f (x + t) f (x+ )
dt
t
6Pri tome ignorixemo, za integraciju nebitne, taqke oblika 2n (u ima moe da bude
naruxen uslov periodiqnosti).
301
apsolutno konvergiraju.
Ako je 2{periodiqna funkcija f : R C apsolutno integrabilna
na [, ] i zadovo ava Dinijev uslov u taqki x, onda en Furijeov
red u toj taqki konvergira i vai
+
X
cn (f )einx =
n=
f (x ) + f (x+ )
.
2
Sn (x) =
1
2
f (x t)Dn (t) dt
Z 0 Z
1
=
+
f (x t)Dn (t) dt
2
0
Z
1
=
(f (x t) + f (x + t)Dn (t) dt
2 0
Z
1
f (x ) + f (x+ )
Dn (t) dt+
=
0
2
Z
1
f (x t) f (x ) f (x + t) f (x+ )
+
+
Dn (t) dt
0
2
2
f (x ) + f (x+ )
+
=
Z 2
1 f (x t) f (x ) f (x + t) f (x+ )
+
+
sin((n + 1/2)t) dt.
2 sin(t/2)
2 sin(t/2)
0
takva da je f neprekidna na svakom od intervala ]x , x [, a u ihovim graniqnim taqkama ima jednostrane limese. Funkcija je deo
po deo klase C ako ima deo po deo neprekidan izvod. Iz Lagraneve
teoreme sledi da funkcija koja je deo po deo klase C zadovo ava
Dinijev uslov (16).
(18) Dinijev uslov za Furijeove integrale. Neka je f : R C deo po deo
neprekidna funkcija koja zadovo ava Dinijev uslov u taqki x. Tada
en Furijeov integral konvergira u toj taqki i vai, u oznakama
iz (16),
j1
f (x ) + f (x+ )
=
2
fb()eix d.
302
Dn (s) ds = 2
sin (T s)
ds =
s
fb()eix d =
ST (x) :=
sin u
du =
u
2
1
2
f (t)e
itx
dt d.
Qitaocu ostav amo da pokae da je opravdana promena poretka integracije u posledem integralu, odakle, posle eksplicitnog izraqunavaa integrala po sledi da je
ST (x) =
(f (x s) + f (x + s))
sin (sT )
ds.
s
f (x )+f (x+ )
2
f (x s) f (x ) f (x + s) f (x+ )
+
s
s
sin (sT ) ds.
X
2 sin() 1
(1)n
cos(x) =
+
cos(nx) .
22 n=1 2 n2
Za x = odatle dobijamo
ctg()
2 X
1
1
=
.
n=1 2 n2
1
1
2 n2 n2 2 ,
0
1
ctg()
Z
1 X x 2
d =
d
n=1 0 2 n2
303
sin(x) X
x2
=
log 1 2 ,
x
n
n=1
Y
sin(x)
x2
=
1 2
x
n
n=1
za |x| < 1.
(20) Iz Ojlerovog razvoja sinusa sledi Valisova
formula
Y
2
1
=
1 2
n=1
4n
i
.
=
=
6
n
12
n
(22) Dirihleova lema. Neka je g : [0, [ R rastua i ograniqena funkcija
i g(0 ) en desni limes
u nuli. Tada je
Z
2
n1
n=1
n=1
lim
g(x)
sin(x)
dx = g(0+ ).
x
2
g(0+ )
sin(x)
dx +
x
(g(x) g(0+ ))
sin(x)
dx.
x
g(0+ )
sin t
dt
t
+ 2
sin t
dt = .
t
2
(g(x) g(0+ ))
lim
sin(x)
dx = 0.
x
(g(x) g(0+ ))
sin(x)
dx +
x
(g(x) g(0+ ))
sin(x)
dx
x
304
(g(x) g(0+ ))
0
sin(x)
dx = (g() g(0+ ))
x
= (g() g(0+ ))
sin(x)
dx
x
sin t
dt,
t
konvergira, vai
+ sin t
t
0
dt
sin t
dt M < +
t
sin t
dt =
t
+ )|
<
sin t
dt
t
sin t
dt 2M.
t
(g() g(0+ ))
< 2M ,
1
|x|
log 2
2x
(26) Funkcije
305
Fn (x) =
1 X
Dk (x),
n+1
Dn (x) =
sin(n + 1/2)x
sin(x/2)
Fn (x) =
n (x) :=
S0 (x) + + Sn (x)
n+1
n (x) =
1
2
1
2 Fn (x),
|x|
|x| >
0,
f :RC
cn (f )einx
n=
306
en Furijeov red. Tada je Furijeov red prvog izvoda f (x) red
0
incn (f )einx
n=
1
2
f 0 (x)einx dx
Z
in
1
inx
f (x)einx dx = incn (f ),
f (x)e
=
+ 2
2
in
f : [, ] C
(k)
(k)
(p)
gde je
|cn (f )| = np n ,
P 2
n < +
niz takav da je
. Specijalno
kad n .
(29) Neka je p 1 i f : [, ] C funkcija klase C , takva da je
f () = f (), za k {0, 1, . . . , p 1}.
Tada Furijeov red funkcije f konvergira apsolutno i ravnomerno
ka f na intervalu [, ].
Dokaz: Iz (28) sledi da je
cn (f ) = o(np ),
(k)
(k)
1
|cn (f )einx | np n (n2 + n2p ).
2
P 2p
P 2
p 1
n
n
Poxto je , red
konvergira, a red konvergira na
osnovu (28). Odatle, iz Vajerxtrasovog poredbenog principa, sledi
307
cn (f )einx
en Furijeov
red. Tada je
Z
n=
f (t) dt = c0 (f ) +
0
nZ\{0}
cn (f ) inx
(e
1).
in
X
1
k+
n=k
k
X
n=1
f (t) dt c0 (f )x
F (x) =
4A L2 ,
y = y(t),
t ,
s
,
L
308
Iz
dt
ds
sledi
2
L
L2
ds 2
=
.
dt
4 2
Iz
zz 0 = (x iy)(x0 + iy 0 )
= (xx0 + yy 0 ) + i(xy 0 x0 y)
1
= (x2 + y 2 )0 + i(xy 0 x0 y)
2
1
2
A=
(xy 0 x0 y) dt
1
2i
z 0 (t)z(t) dt
1
4i
Neka je
1
2i
A=
z 0 (t)z(t) dt.
z(t) =
+
X
cn eint
+
X
incn eint .
1 0
1
hz , zi :=
2
2
Poxto Zje
1
2
|z 0 (t)|2 dt =
odatle sledi
L2 = 4 2
+
X
n=
+
X
1 0 2
1
kz k :=
2
2
|z 0 (t)|2 dt =
|ncn |2
n=
+
X
z (t)z(t) dt =
L2
4 2
|ncn |2
incn cn .
n=
1
2
z 0 (t)z(t) dt =
A=
+
X
n=
ncn cn .
i
A,
309
+
X
(n2 n)|cn |2 0.
n=
=0
t ,
fJ =
1
(J)
f (t) dt,
kf fJ kp Ckf kp .
Ovde je
Z
kf fJ kp =
1/p
|f (t) fJ | dt
,
p
Z
kf kp =
1/p
kf (t)k dt
,
p
|f 0 (t)|2 dt =
n2 |cn |2
n=
|cn |2 =
|f (t) fJ |2 dt,
n6=0
|f 0 (t)|2 dt
|f (t) fJ |2 dt
(n2 1)|cn |2 ,
|n|2
x = x(t),
y = y(t),
310
pa je
Z
A=
xy 0 dt =
(x xJ )y 0 dt
Z
1
=
((x xJ )2 + (y 0 )2 (x xJ y 0 )2 ) dt
2
Z
1
((x xJ )2 + (y 0 )2 ) dt.
2
1
A
2
((x0 )2 + (y 0 )2 ) dt =
1 L2
2,
2 4 2
x
2
sin 2nx
n=1
2n
sin (2n1)x
n=1
2n1
f (x) =
a0
1
+
2
1
3
1
5
1
7
k=1
n
2
2
0
0
0
n
1
0
n1
311
B0 (x) = 1
1
2
B1 (x) = x
B2 (x) = x2 x +
1
6
3
1
B3 (x) = x3 x2 + x
2
2
1
30
5
5
1
B5 (x) = x5 x4 + x3 x
2
3
6
5
1
1
B6 (x) = x6 3x5 + x4 x2 + .
2
2
42
B4 (x) = x4 2x3 + x2
2n+1
n1
n1
0
n
n1
n1
Bn (1 x) = (1)n1 Bn (x) + C.
Bn (1) Bn (0) =
Bn0 (x) dx = n
Bn1 (x) dx = 0.
X
tn
tetx
=
B
(x)
,
n
et 1 n=0
n!
x+1
Bn0 (t) dt
Bn (x + 1) Bn (x) =
x+1
Bn1 (t) dt
1k + 2k + + nk =
(42) Brojevi
n1
n+1
Bk (x) dx.
1
Bn := Bn (0)
312
i korixeem
= (2n + 2)B
(x) i B
= 0 zak uqujemo
da su B i B suprotnog znaka za n 1.
(43) Iz (40) sledi da Bernulijevi brojevi mogu da se definixu pomou
koeficijenata u razvoju analitiqke funkcije z 7 z/(e 1) u stepeni
red
0
B2n+2
(x)
2n
2n+1
2n+1
2n+2
X
zn
z
=
Bn .
z
e 1 n=0
n!
Bn (x) =
(45) Za svako k N je
n1 (x)
dokazati
n
X
n
Bk xnk .
k
k=0
(2k) = (1)k1
(2)2k B2k
,
2(2k)!
n=1
1
2
B1 (x) =
X
(1)n
sin(2n(x 1/2)).
n
n=1
Z
B2 (x) = B2 + 2
B1 (x),
razvoj funkcije B (x) u Furijeov red dobijamo po pravilu za integraciju Furijeovog reda (ili primenom utn{Lajbnicove formule):
0
B2 (x) = 4
X
(1)n+1
cos(2n(x 1/2)).
(2n)2
n=1
313
Ako ponovimo postupak i ovaj izraz integralimo jox dva puta, dobijamo Furijeov razvoj za B (x). Indukcijom dolazimo do opxte formule
4
pa je
X
(1)n+1
cos(2n(x 1/2)),
(2n)2k
n=1
X
(1)n+1
cos(n)
(2n)2k
n=1
1
(2n)2k
n=1
1
2k
(2n)
n=1
2(1)k+1 (2k)! X 1
=
(2)2k
n2k
n=1
2(1)k+1 (2k)!
(2k),
(2)2k
2
.
6
(2) =
(1)n1
n=1
cos(nx)
.
n
n=1
log (x) =
a0 X
+
an cos(2nx) + bn sin(2nx))
2
n=1
314
funkcije log (x) u Furijeov red na intervalu ]0, 1] treba da izraqunamo integrale
Z
n {0, 1, 2, . . .}
n {1, 2, 3, . . .}.
an = 2
0
Z 1
bn = 2
an cos(2nx).
n=1
2,
an =
1
, n {1, 2, 3, . . .}.
2n
bn
(x 1)et
log (x) =
0
et ext
1 et
dt
t
log (x) =
=s
1 sx1
ds
x+1
,
1s
log s
Z
bn = 2
1 sx1
ds
x + 1 sin(2nx) dx
.
1s
log s
bn =
1
( + log(2n)),
n
X
k=n
ck eikx
315
[, ] C
n (x) :=
1
[S0 (x) + S1 (x) + + Sn (x)].
n+1
Dokazati:
(a) Ako je sup |f (x)| M , onda je sup | (x)| M .
(b) Ako je f funkcija ograniqene varijacije, onda je niz S (x) ravnomerno ograniqen.
je ravnomerno ograniqen.
(v) Niz P
(51) Zadatak: Razviti funkciju
x
x,n
n
sin (kx)
k=1
k
f (x) = ex ,
f : [, ] C,
log(2 cos x2 )
0
|x| <
x = ,
g(x) =
0x
x 0
x,
0,
X
sin(nx)
x
=
.
n
2
n=1
=
i
= .
2n
4
2n 1
4
Dokazati da za x ] , [ vai
n=1
n=1
(1)n
sin(nx)
x
= .
n
2
Dokazati da za x [, ] vai
n=1
(1)n
cos(nx)
3x2 2
=
.
n2
12
n=0
n=0
n=0
n=0
n=1
316
(f 0 (x))2 dx,
(f (x))2 dx
(f (x))2 dx
(f 0 (x))2 dx,
pri qemu jednakost vai ako i samo ako je f (x) = a cos x + b sin x.
(57) Zadatak: Neka su f, g : R C 2{periodiqne funkcije i c (f ),
c (g) ihovi Furijeovi koeficijenti u odnosu na trigonometrijski
sistem. Dokazati da Furijeovi koeficijenti c (h) normirane konvolucije
Z
h(x) =
1
1
f g(x) =
2
2
f (x t)g(t) dt
inx
{1, x, x2 , . . .}
potpun u prostoru
2
R [1, 1] := {f : [1, 1] C |
kf k22
:=
1
1
Pn (x) =
1 dn 2
(x 1)n .
2n n! dxn
|f (x)|2 dx =
n+
1
2
2
f (x)Pn (x) dx ,
317
lim
n
X
f (x + k) =
1
2
f (t) dt.
ikx
l2
Zaxto se ova jednakost tako zove? Koje tvree elementarne geometrije ona uopxtava i kako se to tvree elementarno dokazuje?
Dati primer normiranog prostora u kome ne vai jednakost paralelograma.
(65) Zadatak: Neka je 1 k n, k, n N i f : [0, 1] R karakteristiqna funkcija skupa [ , ]. Dokazati:
(a) Niz
qR f konvergira u prostoru (R ([0, 1]), kk ) sa normom kf k :=
|f (t)| dt) ka funkciji f 0.
(b) Niz f (t) ne konvergira ni za jedno t [0, 1].
(v) Podniz f (t) konvergira za svako t (0, 1].
kn
k1 k
n
n
kn
1
0
kn
1,n
Literatura
[1] A anqi, S. Uvod u realnu i funkcionalnu analizu
[2] Aranelovi, D. Predavaa iz Analize, 1985{87.
[3] Arnold, V.I. Obiqne diferencijalne jednaqine
[4] Burbaki, N. Funkcije realne promen ive i Opxta topologija
[5] Geldbaum, B. i Olmsted, . Kontraprimeri u analizi
[6] Dijedone, . Osnove moderne analize i Traktat o analizi 1{9
[7] Dorogovcev, A.J. Matematiqka analiza, zbirka zadataka
[8] Edvards, H.M. Rimanova Zeta funkcija
[9] Zoriq, V.A. Matematiqka analiza 1, 2
[10] Kurepa, S. Funkcionalna analiza
[11] Lukex, J. i Mali, J. Mera i integral
[12] Mardexi, S. Matematiqka analiza 1, 2
[13] Marjanovi, M. Matematiqka analiza 1
[14] Rudin, V. Principi matematiqke analize i Furijeova analiza na grupama
[15] Tomas, .B. i Fini, R.L. Kalkulus i analitiqka geometrija
[16] Hanter, . i Nahtergel, B. Primeena analiza
319
Indeks
aksioma
Arhimedova, 38
supremuma, 39
algebra
Banahova, 104
normirana, 104
aproksimacija jedinice, 280
asimptotske relacije, 47
atlas, 189
baza
filtera, 17
Hamelova, 122
Xauderova, 122
topologije, 29
vektorskog prostora, 122
Beta funkcija, 269
broj
Bernulijev, 99, 274, 311
Lebegov, 75
brojevi
p{adski, 40
de Ramova kohomologija, 187, 195
difeomorfizam, 48, 167
mnogostrukosti, 190
prost, 171
diferencijal, 148
forme, 183
na mnogostrukosti, 192
spo axi, 183
diferencijalna forma, 181
na mnogostrukosti, 194
taqna, 186
zatvorena, 186
dijadski razlomci, 39
dijametar, 16
dimenzija
mnogostrukosti, 189
povrxi, 172
divergencija vektorskog po a, 180
na mnogostrukosti, 208
duina krive, 49
321
322
na mnogostrukosti, 208
grupa
arhimedska, 38
dualna, 292
fundamentalna, 244
glavna linearna, 39
homoloxka, 202
homotopska, 245
kohomoloxka, 187, 195
kompletna, 39
Lijeva, 192
normirana Abelova, 37
ortogonalna, 112
topoloxka, 39
totalno ureena, 38
unitarna, 112
Hesijan, 157
hiperpovrx, 172
holomorfno preslikavae, 140
homeomorfizam, 23
homologija, 202
homotopija, 199
imerzija, 192
integral
Danijelov, 86, 87
Darbuov, 213
diferencijalne forme, 231
na mnogostrukosti, 239
Dirihleov, 262
Furijeov, 127, 278, 292
Koxijev, 111
krivolinijski
druge vrste, 231
prve vrste, 237
Laplasov, 277
Lebegov, 80
neodreeni, 53
nesvojstveni, 222
Ojlerov, 271
po skupu, 219
povrxinski
druge vrste, 235
prve vrste, 237
Puasonov, 229, 262
Rabeov, 271
Radonov, 118
razlom eni, 277
Rimanov, 19, 212
vektorskog po a, 231, 235
izometrija, 14
izvod, 134
inverznog preslikavaa, 137
kompleksni, 140
kovarijantni, 198
Lijev, 199
linearnog preslikavaa, neprekidnog,
138
INDEKS
na mnogostrukosti, 191
parcijalni, 48, 141
razlom eni, 277
sloene funkcije, 136
u pravcu, 48, 141
unutraxi, 188
vektorskog po a, 197
vixeg reda, 153
Jakobijan, 136
jednaqina
diferencijalna
Beselova, 285
homogena, 152
koja razdvaja promen ive, 186
linearna, 79
parcijalna, 294
Koxi{Rimanova, 157
Laplasova, 156, 252, 281
Ojler{Lagraneva, 160
provoea toplote, 281, 295, 297
Puasonova, 252
talasna, 281, 295, 296
jednakost
paralelograma, 114
Parsevalova, 124
jezgro
{tipa, 280
Dirihleovo, 299
Fejerovo, 305
karakter na grupi, 292
karta, 189
Kavalijerijev princip, 222
Klajnova flaxa, 30
kodimenzija, 172, 190
kompaktifikacija, 78
jednom taqkom, 78
kompletirae, 33
komponenta povezanosti, 36
komponente povezanosti
putne, 36
koneksija, 198
konstanta
Lipxicova, 21
kontrakcija, 21, 188
konvergencija
ravnomerna, 14
uniformna, 14
konvolucija
funkcija, 279, 293
nizova, 62
koordinate
cilindriqne, 167
lokalne, 167, 172, 189
polarne, 167
sferne, 167
uopxtene, 167
kriterijum
INDEKS
Vajerxtrasov, 259
kriva
glatka, 48, 133
neparametrizovana, 48, 133
parametrizovana, 48, 133
regularna, 48, 162
krivina
krive, 49
polupreqnik, 49
povrxi
Gausova, 239
glavna, 239
kvadratna forma
druga, 238
prva, 209, 238
Laplasijan, 156, 251
na mnogostrukosti, 208
lema
Dirihleova, 303
Lebegova, 75
Poenkareova, 201
Rimanova, 298
Urisonova, 24
lep ee topoloxkih prostora, 30
limes
beskonaqni, 17
desni i levi, 23
gori, 18
netangentni, 101
po taqkama, 253
preslikavaa, 17
ravnomerni, 253
u beskonaqnosti, 17
uniformni, 253
Lopitalova pravila, 53
lopta
otvorena, 13
zatvorena, 13
matrica
Gramova, 115
Jakobijeva, 136
Mebijusova traka, 30
mera, 87, 236
Harova, 292
Lebegova, 87, 215
ordanova, 218
metod najmaih kvadrata, 121
metriqki prostori
topoloxki ekvivalentni, 27
metrika, 12
p{adska, 15
diskretna, 13
Rimanova, 205
uniformna, 14
metrike
topoloxki ekvivalentne, 27
mnogostrukost
glatka, 188
Grasmanova, 43
klase C k , 189
sa granicom, 240
topoloxka, 31
multiindeks, 158
natkrivae
univerzalno, 200
nejednakost
Beselova, 115
izoperimetrijska, 233, 307
Koxi{Xvarcova, 112
Poenkareova, 309
Steklova, 316
ultrametriqka, 15
Virtingerova, 316
neprekidnost
ravnomerna, 21
ravnostepena, 88
niz
Koxijev, 20
ograniqene varijacije, 43
uniformno ograniqen, 66
norma, 41
linearnog operatora, 44
operatorska, 44
ravnomerna, 43
uniformna, 43
nosaq funkcije, 70
Ojlerova karakteristika, 197
Ojlerova konstanta, 265
okolina, 16, 23
otvorena, 16, 23
probuxena, 16
opxti qlan reda, 54
orijentacija, 187, 206, 236
granice, 241
oscilacija, 16
otvoreno pokrivae skupa, 74
parametar
prirodni, 49
parametar podele, 19
parametrizacija
lokalna, 172, 189
povrxi, 172
prirodna, 49
parcijalna suma reda, 54
podela
intervala, 19
kvadra, 211
sa uoqenim taqkama, 19, 211
podmnogostrukost, 172, 189
polinom
Bernxtajnov, 110
Bernulijev, 310
Leandrov, 316
323
324
Tejlorov, 158
po e
arhimedsko, 40
nearhimedsko, 40
normirano, 40
ureeno, 40
vektorsko, 180
na mnogostrukosti, 197
potencijalno, 181
solenoidno, 181
poluneprekidnost, 32
potencijal, 181
vektorski, 181
potprostor
metriqki, 13
topoloxki, 23
povrx
d{dimenziona, 172
glatka, 172
klase C k , 172
regularna, 234
pozitivni i negativni deo x+ , x , 38
preslikavae
n puta diferencijabilno, 153
diferencijabilno, 134, 135
kompleksno, 140
realno, 140
glatko
na mnogostrukosti, 190
holomorfno, 140
homogeno, 151
klase C 1 , 144
klase C n , 153
klase C , 153
Lipxicovo, 21
neprekidno, 23
neprekidno diferencijabilno, 144
ograniqeno, 13
pozitivno homogeno, 151
princip maksimuma, 100
proizvod
beskonaqni, 54
metriqkih prostora, 13
mnogostrukosti, 189
normiranih prostora, 42
Ojlerov za funkciju, 275
skalarni, 111
spo axi , 182
topoloxkih prostora, 30
projektivizacija, 42
projektivna ravan, 31
prostor
{kompaktan, 31
afini, 135
Banahov, 41
Hausdorfov, 28
Hilbertov, 119
kompaktan metriqki, 70
INDEKS
kompaktan topoloxki, 75
kompletan, 20
kontraktibilan, 201
kotangentni, 192
lokalno kompaktan, 116
lokalno povezan, 36
metriqki, 11
diskretan, 13
nepovezan, 34
normalan, 28
normirani, 41
parakompaktan, 203
podela, 19, 211
povezan, 34
lokalno, 36
prosto, 37
putno, 36
predhilbertov, 111
projektivni, 31, 42
pseudometriqki, 12
refleksivan, 130
regularan, 33
separabilan, 76
tangentni, 173, 175, 191
topoloxki, 23
topoloxki vektorski, 42
ultrametriqki, 15
unitarni, 111
prsten
polinoma, 63
pseudometrika, 12
raslojee
kotangentno, 194
tangentno, 193
ravan
oskulatorna, 50
razlagae jedinice, 204
red
apsolutno konvergentan, 57
binomni, 95
Dirihleov, 99, 275, 285
dvostruki, 61
Furijeov, 124
geometrijski, 57
harmonijski, 55
uopxteni, 56
Loranov, 8
normalno konvergentan, 66
stepeni, 67
Tejlorov, 94
u normiranoj Abelovoj grupi, 54
regularna vrednost, 191
reparametrizacija krive, 48
rotor vektorskog po a, 180
rub skupa, 23
sfera
u metriqkom prostoru, 13
INDEKS
sigma proces, 152
simpleks, 202
singularna vrednost, 191
skup
gust, 23, 38
mere nula, 87, 215
mer iv, 87
po ordanu, 218
nigde gust, 26
ograniqen, 13
otvoren, 16
prekompaktan, 73
prve i druge kategorije, 26
relativno kompaktan, 74
rezidualan, 26
savrxen, 25
totalno ograniqen, 73
zatvoren, 24
smena promen ive
u integralu, 227
u limesu, 18
stav
Abel{Dirihleov, 67, 259
Vajerxtrasov o uniformnoj
konvergenciji reda, 66
svojstvo
Kantorovo, 25
taqka
fiksna, 22
izolovana, 23
nagomilavaa, 16
nagomilavaa skupa, 23
nepokretna, 22
regularna, 162
singularna, 150, 162, 191
unutraxa, 24
tangenta, 133, 150
tangentni prostor, 173, 175, 191
tangentni vektor, 48
Teorema
Banahova o fiksnoj taqki, 22
o meuvrednosti, 35
o sredoj vrednosti, 50
teorema
Abelova, 100
Arcela{Askolijeva, 88
Berova o kategorijama, 26
Brauerova, 246
de Ramova, 245
Dinijeva, 86
Fubinijeva, 220
Gausa{Ostrogradskog, 235
Grinova, 232, 235
Helderova, 39
jedinstvenosti, 99
Kantorova, 75
Lebegova o integrabilnosti, 216
Liuvilova, 126
o divergenciji, 235
o implicitnoj funkciji, 163
o inverznoj funkciji, 166
o rangu, 168
o sredoj vrednosti
za integrale, 219
Ojlerova, 151
Peanova, 90
Pikarova, 78
Pitagorina, 115
Rimanova za redove, 59
Risova, 127, 129
Sardova, 216
Stoksova, 242
Ston{Vajerxtrasova, 106, 107
Tauberova, 102
Vajerxtrasova, 91, 108
Vejlova, 108
Vitnijeva, 209
topologija, 23
diskretna, 25
koliqniqka, 30
relativna, 23
Zariskog, 28
topoloxka grupa, 39
topoloxki vektorski prostor, 42
torzija
krive, 50
Transformacija
Laplasova, 277
transformacija
Furijeova, 127, 278, 292
inverzna, 294
ulagae, 192
univerzalno natkrivae, 200
unutraxost skupa, 24
uslov
Dinijev, 300
Dirihle{ordanov, 304
Dirihleov, 304
Koxijev, 19
za ravnomerni limes, 254
Lipxicov, 21
uzimalica, 242
varijacija
funkcije, 43
niza, 43
totalna, 43
vektor
binormale, 50
nabla , 179
normale na krivu, 50
tangentni, 48
vektori
ortogonalni, 114
ortonormirani, 114
325
326
vektorski prostor
normirani, 41
vektorsko po e, 180
na mnogostrukosti, 197
potencijalno, 181
solenoidno, 181
vixelinearna preslikavaa, 46
zatvoree, 23
INDEKS