Professional Documents
Culture Documents
PMF Split
2015./2016.
A (λx + ηy ) = λA (x ) + ηA (y ) .
De…nicija
Normiranim prostorom nazivamo svaki ure†eni par (X , k k) koji se
sastoji od (realnoga) vektorskog prostora X i funkcije ( norme)
kk : X ! R, k k(x ) kx k, s ovim svojstvima:
(N1) kx k 0;
(N2) kx k = 0 , x = 0;
(N3) kλx k = jλj kx k, λ 2 R;
(N4) kx + y k kx k + ky k.
kk∞ (x ) kx k∞ = maxfjxi j j i = 1, , n g , x = ( x1 , , xn )
kk∞ (x ) kx k∞ = maxfjxi j j i = 1, , n g , x = ( x1 , , xn )
k k1 : Rn ! R,
n
kk1 (x ) kx k1 = ∑ j xi j , x = (x1 , , xn )
i =1
De…nicija
Pod metrikom ili udaljenošću na skupu X podrazumijevamo svaku
funkciju d : X X ! R s ovim svojstvima:
(M1) d (x, y ) 0;
(M2) d (x, y ) = 0 , x = y ;
(M3) d (x, y ) = d (y , x );
(M4) d (x, z ) d (x, y ) + d (y , z ).
Ure†eni par (X , d ) tada nazivamo metriµckim prostorom, a elemente
x 2 X - toµckama metriµckoga prostora (X , d ).
0, x = y
d (x, y ) = .
c, x 6= y
0, x = y
d (x, y ) = .
c, x 6= y
Teorem
Svaka norma k k na vektorskom prostoru X inducira metriku
d : X X ! R zadanu pravilom
d (x, y ) = kx y k.
dY d jY Y :Y Y ! R,
dobiva novi metriµcki prostor (Y , dY ). Pri tom govorimo o (metriµckom)
potprostoru metriµckoga prostora (X , d ) i pišemo (Y , d ) (X , d ).
Primjer
U sluµcaju n = 1 pripadni metriµcki prostori (Rn , d2 ), (Rn , d∞ ), (Rn , d1 ) se
podudaraju s euklidskim pravcem (R, d ), d (ξ, η ) = jξ η j, pa se i
odgovaraju´ce kugle podudaraju. Na euklidskomu pravcu je svaka kugla
Bd (ξ 0 , r ) neki simetriµcni interval hξ 0 r , ξ 0 + r i R.
Napomena
Za svaki m n, (Rm , d2 ) se moµze smatrati metriµckim potprostorom od
(Rn , d2 ), Rm Rn . Pri tomu toµcku y = (y1 , , ym ) 2 Rm
identi…ciramo s toµckom ye = (y1 , , ym , 0, , 0) 2 Rn , odnosno Rm
smještamo u R tj. identi…cramo sa skupom
n
g
R m = f(y ,
1 , ym , 0, , 0) j yi 2 R, i = 1, ..., m g Rn . Uz takvu
identi…kaciju za svaki y 2 Rm vrijedi
g
B̃ (y , r ) = B (ye, r ) \ Rm
Zadatak
Skup A (X , d ) je ome†en akko postoje x 2 X i r > 0 takvi da je
A B (x, r ) .
Zadatak
Pokaµzite da je svaki diskretni metriµcki prostor ome†en a euklidski
neome†en prostor.
Zadatak
Pokaµzite da je svaki diskretni metriµcki prostor ome†en a euklidski
neome†en prostor.
Zadatak
Svojstvo ome†enosti u Rn je isto bez obzira na izbor metrike d1 , d2 ili d∞ .
Teorem
Skup U (X , d ) je otvoren toµcno onda kad za svaku toµcku x0 2 U
postoji neka kugla B (x0 , r ) U.
Zadatak
Ispitaj da li su otvoreni sljede´ci podskupovi euklidskog pravca:
Z, ha, ∞i , [a, b ].
De…nicija
Topološkim prostorom nazivamo svaki ure†eni par (X , T ) što se sastoji
od skupa X i mnoµzine T 2X nekih njegovih podskupova sa svojstvima
(T1), (T2) i (T3). Mnoµzinu T nazivamo topološkom strukturom (ili
topologijom) a podskupove U X koji su µclanovi od T , otvorenim
skupovima u prostoru (X , T ).
De…nicija
Topološkim prostorom nazivamo svaki ure†eni par (X , T ) što se sastoji
od skupa X i mnoµzine T 2X nekih njegovih podskupova sa svojstvima
(T1), (T2) i (T3). Mnoµzinu T nazivamo topološkom strukturom (ili
topologijom) a podskupove U X koji su µclanovi od T , otvorenim
skupovima u prostoru (X , T ).
Primjer
Svaki skup X dopušta dvije trivijalne topološke strukture: najmanju
(najgrublju, indiskretnu) T = f∅, X g i najve´cu (najsitniju, diskretnu)
T = 2X . U prvoj su, dakle, otvoreni skupovi samo ∅ i X , dok je u drugoj
svaki skup A X otvoren.
Zadatak
Odredite relativnu toplogiju na skupu:
N i [2, 5i [ f7g kao potprostoru euklidskog prostora R,
(x, y ) j x 2 + y 2 = 1 i f(x, 0) j x 2 Rg kao potprostoru euklidkog
prostora R2 , skupu kao potprostoru euklidkog prostora R2 .
Primjer
Za svaki m n, Rm se moµze smatrati (po standardnom smještenju)
topološkim potprostorom od Rn , tj. Rm Rn .
Primjer
Interval [a, b ] , a 6= b, nije okolina toµcke a, ali je toµcke a +2 b u euklidskom
prostoru R.
Toµcki a +2 b , 0 skup [a, b i f0g nije okolina ali skup [a, b i [ c, c ] je
okolina u euklidskom prostoru R2 .
Primjer
Interval [a, b ] , a 6= b, nije okolina toµcke a, ali je toµcke a +2 b u euklidskom
prostoru R.
Toµcki a +2 b , 0 skup [a, b i f0g nije okolina ali skup [a, b i [ c, c ] je
okolina u euklidskom prostoru R2 .
Propozicija
Skup U (X , T ) je otvoren toµcno onda kad za svaku toµcku x0 2 U
postoji neka okolina O (x0 ) takva da je O U.
Primjer
Interval [a, b ] , a 6= b, nije okolina toµcke a, ali je toµcke a +2 b u euklidskom
prostoru R.
Toµcki a +2 b , 0 skup [a, b i f0g nije okolina ali skup [a, b i [ c, c ] je
okolina u euklidskom prostoru R2 .
Propozicija
Skup U (X , T ) je otvoren toµcno onda kad za svaku toµcku x0 2 U
postoji neka okolina O (x0 ) takva da je O U.
Zadatak
Presjek konaµcno mnogo okolina toµcke x je okolina toµcke x.
Teorem
Mnoµzina C 2X svih zatvorenih skupova F X u topološkom prostoru X
udovoljava ovim uvjetima:
(T1)0 C je zatvorena na presijecanje bilo koje mnoµzine zatvorenih
skupova;
(T2)0 C je zatvorena na konaµcno uniranje;
(T3)0 X , ∅ 2 C .
Teorem
Mnoµzina C 2X svih zatvorenih skupova F X u topološkom prostoru X
udovoljava ovim uvjetima:
(T1)0 C je zatvorena na presijecanje bilo koje mnoµzine zatvorenih
skupova;
(T2)0 C je zatvorena na konaµcno uniranje;
(T3)0 X , ∅ 2 C .
Primjer
U diskretnom topološkom prostoru je svaki skup i otvoren i zatvoren.
Zadatak
Neka je A R ome†en skup. Tada je inf A (sup A) gomilište skupa A, µcim
2 A. U protivnom inf A (sup A) moµze biti i izolirana toµcke od
inf A (sup A)/
A.
Zadatak
Neka je A R ome†en skup. Tada je inf A (sup A) gomilište skupa A, µcim
2 A. U protivnom inf A (sup A) moµze biti i izolirana toµcke od
inf A (sup A)/
A.
Zadatak
Vrijedi A0 B 0 , za bilo koja dva skupa A, B, A B, topološkog prostora.
De…nicija
Zatvaraµc Cl A skupa A X iz topološkog prostora X je presjek svih
zatvorenih skupova koji sadrµze A.
De…nicija
Zatvaraµc Cl A skupa A X iz topološkog prostora X je presjek svih
zatvorenih skupova koji sadrµze A.
De…nicija
Zatvaraµc Cl A skupa A X iz topološkog prostora X je presjek svih
zatvorenih skupova koji sadrµze A.
De…nicija
Zatvaraµc Cl A skupa A X iz topološkog prostora X je presjek svih
zatvorenih skupova koji sadrµze A.
De…nicija
Granica skupa A X iz topološkog prostora X je skup
Fr A = Cl A \ Cl (X nA)
(Osnove matematiµcke analize) 2015./2016. 34 / 137
Zadatak
Odredite zatvaraµce i granice sljede´cih podskupova euklidskih prostora:
ha, b i, N i Q u R i u R2 ;
n-disk, x, sin x1 j x > 0 R2 ; (x, y ) j y = n1 x, n 2 N, x 2 R u
R .
2
Teorem
Neka je (Xj j j 2 J ) mnoµzina nepraznih podskupova Xj X topološkog
S T
prostora X takvih da je Xj = X i Xj 6= ∅. Ako je svaki Xj povezan
j 2J j 2J
onda je i X povezan.
De…nicija
Za metriµcki prostor koji je povezan i kompaktan kaµzemo da je kontinuum.
Zadatak
Dokaµzite da interval ha, b i nije kompaktan podskup od R.
Zadatak
Dokaµzite da interval ha, b i nije kompaktan podskup od R.
Zadatak
Dokaµzite da je n-kvadar [ξ 1 , η 1 ] [ξ n , η n ] Rn kompaktan.
Zadatak
Dokaµzite da interval ha, b i nije kompaktan podskup od R.
Zadatak
Dokaµzite da je n-kvadar [ξ 1 , η 1 ] [ξ n , η n ] Rn kompaktan.
Teorem
Zatvoreni podskup kompaktnog prostora je kompaktan.
Teorem
Podskup euklidskog prostora je kompaktan akko je zatvoren i ome†en.
De…nicija
Neka su X i Y topološki prostori. Kaµzemo da je f : X ! Y neprekidno
preslikavanje (funkcija) u toµcki x0 2 X ako za svaku okolinu V toµcke
f (x0 ) postoji okolina U toµcke x0 takva da je f (U ) V . U protivnome
kaµzemo da je f prekidno u toµcki x0 . Ako je f neprekidno u svakoj toµcki
x 2 X kaµzemo da je f neprekidno.
De…nicija
Neka su X i Y topološki prostori. Kaµzemo da je f : X ! Y neprekidno
preslikavanje (funkcija) u toµcki x0 2 X ako za svaku okolinu V toµcke
f (x0 ) postoji okolina U toµcke x0 takva da je f (U ) V . U protivnome
kaµzemo da je f prekidno u toµcki x0 . Ako je f neprekidno u svakoj toµcki
x 2 X kaµzemo da je f neprekidno.
Primjer
Neka je X topološki prostor, a A X bilo koji njegov potprostor. Tada je
ulaganje (inkluzija) iA : A ,! X , iA (x ) = x za svaki x 2 A, neprekidna
funkcija.
Primjer
Neka je X diskretan topološki prostor. Dokaµzite da je za svaki topološki
prostor Y svaka funkcija f : X ! Y neprekidna.
Primjer
Dokaµzite da je funkcija f : [ 1, 4] [ f5g ! R zadana sa
1, x 2 Q
f (x ) =
0, x 2 I
Zadatak
Neka su X i Y topološki prostori, O X otvoren skup i f : X ! Y
funkcija. Ako je f jO : O ! Y neprekidna u toµcki x0 2 O onda je i
funkcija f neprekidna u x0 .
Zadatak
Neka su X i Y topološki prostori, O X otvoren skup i f : X ! Y
funkcija. Ako je f jO : O ! Y neprekidna u toµcki x0 2 O onda je i
funkcija f neprekidna u x0 .
Teorem
Neka su X , Y i Z topološki prostori, a f : X ! Y i g : Y ! Z funkcije.
Ako je f neprekidna u toµcki x0 2 X i g neprekidna u toµcki f (x0 ) 2 Y ,
onda je kompozicija gf : X ! Z neprekidna u toµcki x0 .
Primjer
0, x < 0
Funkcija f : R ! R f (x ) = nije neprekidna iako su suµzenja
1, x 0
f1 f j( ∞,0 ) i f2 f j[0,∞) neprekidna (konstante). S druge strane,
primjenom prethodnog teorema, izlazi da je funkcija h f j(0,∞)[( ∞,0 )
neprekidna.
Korolar
Neka su (X , dX ) i (Y , dY )metriµcki prostori. Funkcija f : X ! Y je
neprekidna u toµcki x0 2 X onda i samo onda, ako udovoljava ovomu
uvjetu:
Zadatak
Neka je Y metriµcki prostor, a X topološki. Funkcija f : X ! Y je
neprekidna akko je f 1 (B ) X otvoren skup u X , za svaku kuglu B oko
neke toµcke u Y .
Primjer
Norma k k : X ! R na vektorskom prostoru X je neprekidno
preslikavanje, pri µcemu X uzimamo kao metriµcki prostor s metrikom
induciranom normom k k, a R kao standardni euklidski prostor.
Teorem
Neka je X topološki prostor. Funkcija f : X ! Rn je neprekidna u toµcki
x0 2 X ako i samo ako su sve njezine koordinatne funkcije fj : X ! R,
j = 1, , n, neprekidne u toµcki x0 . Posljediµcno, funkcija f je neprekidna
toµcno onda kad su joj sve koordinatne funkcije f1 , , fn neprekidne.
Teorem
Neka je X topološki prostor. Funkcija f : X ! Rn je neprekidna u toµcki
x0 2 X ako i samo ako su sve njezine koordinatne funkcije fj : X ! R,
j = 1, , n, neprekidne u toµcki x0 . Posljediµcno, funkcija f je neprekidna
toµcno onda kad su joj sve koordinatne funkcije f1 , , fn neprekidne.
Korolar
Neka je X topološki prostor i Y metriµcki prostor, a f , g : X ! Y dva
neprekidna preslikavanja, te neka je f jA = g jA za neki podskup A X .
Tada je f jCl A = g jCl A .
Korolar
Neka je X topološki prostor i Y metriµcki prostor, a f , g : X ! Y dva
neprekidna preslikavanja, te neka je f jA = g jA za neki podskup A X .
Tada je f jCl A = g jCl A .
Korolar
Neka je X topološki prostor i Y metriµcki prostor i neka je A X gust
podskup (Cl A = X ). Ako neprekidna funkcija f : A ! Y dopušta
neprekidno proširenje f˜ : X ! Y na X onda je ono jedinstveno.
Korolar
Neka je X topološki prostor. Ako su f , g : X ! R neprekidna
preslikavanja, onda su i f + g : X ! R, (f + g )(x ) = f (x ) + g (x ), i
f g : X ! R, (f g )(x ) = f (x )g (x ), neprekidna preslikavanja. Posebice,
zbrajanje i mnoµzenje funkcije s danom konstantom λ 2 R (tj.
konstantnom funkcijom cλ : X ! R) jesu neprekidna preslikavanja.
Korolar
Neka je X topološki prostor. Ako su f , g : X ! R neprekidna
preslikavanja, onda su i f + g : X ! R, (f + g )(x ) = f (x ) + g (x ), i
f g : X ! R, (f g )(x ) = f (x )g (x ), neprekidna preslikavanja. Posebice,
zbrajanje i mnoµzenje funkcije s danom konstantom λ 2 R (tj.
konstantnom funkcijom cλ : X ! R) jesu neprekidna preslikavanja.
Korolar
Za svaki topološki prostor T i svaki n 2 N, skup svih neprekidnih
preslikavanja x : T ! Rn tvori (realni) vektorski prostor C (T , Rn ).
Korolar
Polinomi jedne ili više varijabli su neprekidne funkcije. Racionalne funkcije
su neprekidne u svim toµckama u kojima je funkcija de…nirana (sve toµcke iz
R osim nul toµcaka nazivnika) i te toµcke tvore otvoreni skup.
De…nicija
Neka su (X , dX ) i (Y , dY ) metriµcki prostori i f : X ! Y funkcija. Re´ci
´cemo da je f jednoliko preslikavanje ili da je jednoliko ( uniformno)
neprekidna funkcija, ako udovaljava ovomu uvjetu:
De…nicija
Neka su (X , dX ) i (Y , dY ) metriµcki prostori i f : X ! Y funkcija. Re´ci
´cemo da je f jednoliko preslikavanje ili da je jednoliko ( uniformno)
neprekidna funkcija, ako udovaljava ovomu uvjetu:
Primjer
Identiµcka i konstantna preslikavanja metriµckih prostora su uniformno
neprekidna. Zbrajanje vektora na normiranom vektorskom prostoru je
uniformno neprekidno.
Zadatak
Preslikavanje f : R ! R f (x ) = x 2 nije uniformno neprekidno, a
preslikavanje g : R ! R g (x ) = ax + b jest.
Teorem
Ako funkcija f : X ! Y ima Lipschitzovo svojstvo onda je f jednoliko
neprekidna.
Korolar
Svaki linearni operator A : Rm ! Rn ima Lipschitzovo svojstvo pa je
jednoliko neprekidan.
Korolar
Svaki linearni operator A : Rm ! Rn ima Lipschitzovo svojstvo pa je
jednoliko neprekidan.
Korolar
Svaki linearni operator A : Rm ! Rn ima Lipschitzovo svojstvo pa je
jednoliko neprekidan.
De…nicija
Neka su X i Y topološki prostori, a f : X ! Y funkcija. Re´ci ´cemo da je
f homeomor…zam, ako udovoljuje ovim uvjetima:
(i) f je bijekcija;
(ii) f je neprekidno;
(iii) f 1 je neprekidno.
Primjer
Funkcija exp : [0, 2π i ! S 1
Teorem
Neka je f : X ! Y neprekidno preslikavanje. Ako je prostor X povezan,
onda je i slika f (X ) Y povezan skup.
Teorem
Neka je f : X ! Y neprekidno preslikavanje. Ako je prostor X povezan,
onda je i slika f (X ) Y povezan skup.
Primjer
Kruµznica S 1 je povezana. Segment [a, b ] R je povezan. Interval
(a, b ) R je povezan.
Γf = f(x, f (x ) j x 2 X )g Rm +n .
Primjer
U normiranom vektorskom prostoru X svaki par toµcaka x0 i x1 odre†uje
pravocrtni put koji povezuje x0 sa x1 . To je put de…niran sa
ω : [0, 1] ! X , ω (t ) = x0 + t (x1 x0 ) .
U jediniµcnom kvadratu u R2 postoji put µcija trajektorija prolazi svim
toµckama kvadrata (Peanova krivulja).
Teorem
Ako je prostor X putovima povezan onda je i povezan.
Teorem
Ako je prostor X putovima povezan onda je i povezan.
Primjer
Skup W = x, sin x1 j x 2 (0, 1) [ f(0, 0)g je povezan, ali nije
putovima povezan jer ne postoji put koji povezuje toµcku (0, 0) i bilo koju
drugu toµcku iz W .
Teorem
Svaki konveksni skup K u normiranom vektorskom prostoru je povezan i
putovima povezan. Posebno je svaki normirani vektorski prostor
(putovima) povezan.
Teorem
Svaki konveksni skup K u normiranom vektorskom prostoru je povezan i
putovima povezan. Posebno je svaki normirani vektorski prostor
(putovima) povezan.
Primjer
Kugla B (x0 , r ) Rn je putovima povezana.
Teorem
Svaki konveksni skup K u normiranom vektorskom prostoru je povezan i
putovima povezan. Posebno je svaki normirani vektorski prostor
(putovima) povezan.
Primjer
Kugla B (x0 , r ) Rn je putovima povezana.
Teorem
Neprazni podskup K R je povezan akko je konveksan tj. ako je ili
jednotoµckovan skup ili (polu)otvoreni i (polu) zatvoreni interval ili zraka.
Teorem
Otvoreni skup U Rn je podruµcje onda i samo onda, ako za svake dvije
toµcke x, x 0 2 U postoji poligonalni put u U koji ih povezuje, tj. ako
postoji konaµcno mnogo toµcaka x0 = x, x1 , , xk 1 , xk = x 0 , k 2 N,
takvih da sve duµzine xl 1 xl := f(1 t ) xl 1 + xl g , l = 1, , k, leµze u
skupu U.
Korolar
Neka je ϕ : [a, b ] ! R neprekidna funkcija takva da je ϕ (a) ϕ (b ) < 0.
Tada postoji t 2 (a, b ) , ϕ (t ) = 0.
Teorem
Neka je f : X ! Y bijektivno neprekidno preslikavanje topološkog prostora
X u metriµcki prostor Y . Ako je X kompaktan onda je f 1 : Y ! X
neprekidno, tj. f je homeomor…zam.
Teorem
Neka je f : X ! Y bijektivno neprekidno preslikavanje topološkog prostora
X u metriµcki prostor Y . Ako je X kompaktan onda je f 1 : Y ! X
neprekidno, tj. f je homeomor…zam.
Zadatak
Dokaµzite da je f : (0, 1) [ f2, 3g ! [0, 1] f (x ) = x, x 2 (0, 1) ,
f (2) = 0, f (3) = 1, neprekidna bijekcija koja nije homeomor…zam.
Teorem
Neka je f : X ! Y bijektivno neprekidno preslikavanje topološkog prostora
X u metriµcki prostor Y . Ako je X kompaktan onda je f 1 : Y ! X
neprekidno, tj. f je homeomor…zam.
Zadatak
Dokaµzite da je f : (0, 1) [ f2, 3g ! [0, 1] f (x ) = x, x 2 (0, 1) ,
f (2) = 0, f (3) = 1, neprekidna bijekcija koja nije homeomor…zam.
Zadatak
Ispitajte je li f : [0, π ] ! (x, y ) 2 R2 j x 2 + y 2 = 1
f (t ) = (cos t, sin t ) homeomor…zam.
De…nicija
Neka su X i Y topološki prostori, A X podskup, x0 2 X gomilište od A
i f : A ! Y funkcija. Re´ci ´cemo da funkcija f ima graniµcnu vrijednost
(ili da ima limes) u toµcki x0 , ako postoji toµcka y0 2 Y takva da, za svaku
okolinu V Y od y0 , postoji okolina U X od x0 za koju je
f [A \ (U r fx0 g)] V . Pri tom govorimo da je toµcka y0 graniµcna
vrijednost ili limes funkcije f u toµcki x0 i pišemo: f (x ) ! y0 µcim x ! x0 .
De…nicija
Neka su X i Y topološki prostori, A X podskup, x0 2 X gomilište od A
i f : A ! Y funkcija. Re´ci ´cemo da funkcija f ima graniµcnu vrijednost
(ili da ima limes) u toµcki x0 , ako postoji toµcka y0 2 Y takva da, za svaku
okolinu V Y od y0 , postoji okolina U X od x0 za koju je
f [A \ (U r fx0 g)] V . Pri tom govorimo da je toµcka y0 graniµcna
vrijednost ili limes funkcije f u toµcki x0 i pišemo: f (x ) ! y0 µcim x ! x0 .
Primjer
Za realnuqfunkcija realne varijable zadanu analitiµckim izrazom
2
g (x ) = x x 2x2+1 nema smisla promatrati limes u toµcki x0 = 1 iako je
g (1) = 0. Naime x0 = 1 nije gomilište podruµcja de…nicije funkcije g .
Primjer
Za realnuqfunkcija realne varijable zadanu analitiµckim izrazom
2
g (x ) = x x 2x2+1 nema smisla promatrati limes u toµcki x0 = 1 iako je
g (1) = 0. Naime x0 = 1 nije gomilište podruµcja de…nicije funkcije g .
Primjer
Realna funkcija realne varijable zadana sa
x + 3, x 6= 0
h (x ) =
1, x = 0
Primjer
Funkcija (
x5
, (x, y ) 6= (0, 0)
f (x, y ) = (y x 2 )2 +x 8
0, (x, y ) = (0, 0)
nema limes u toµcki 0 = (0, 0) , iako restrikcije na sve pravce kroz ishodište
imaju limese u 0 i svi su jednaki 0. Primijetimo da raµcunanjem ovoga
limesa prelaskom na polarne koordinate ne moµzemo donijeti zakljuµcak.
Zadatak
2 2
Pokazati da za funkciju f : R2 n f(0, 0)g ! R, f (x, y ) = j xx 2 +yy 2 j, postoje
uzastopne graniµcne vrijednosti u toµcki (0, 0), koje su i me†usobno jednake,
ali da f nema graniµcne vrijednosti u toj toµcki.
f (x ), x 2 A r fx0 g
f˜ : A [ fx0 g ! Y , f˜ (x ) =
y0 , x = x0
neprekidna u toµcki x0 .
f (x ), x 2 A r fx0 g
f˜ : A [ fx0 g ! Y , f˜ (x ) =
y0 , x = x0
neprekidna u toµcki x0 .
Korolar
Funkcija f : A ! Y iz A X u metriµcki prostor Y je neprekidna u toµcki
x0 2 A \ A0 onda i samo onda, ako u toµcki x0 ima graniµcnu vrijednost i
lim f = f (x0 ). (Ova se µcinjenica µcesto zapisuje kao
x !x 0
lim f (x ) = f (x0 ) = f ( lim x ) i pritom se govori da ”neprekidna funkcija
x !x 0 x !x 0
komutira s limesom”.)
Korolar
Funkcija f : X ! Rn , gdje je X metriµcki prostor, ima u toµcki x0 2 X 0
graniµcnu vrijednost lim f = (y1 , , yn ) ako i samo ako svaka njezina
x !x 0
koordinatna funkcija fj : X ! R ima u toµcki x0 graniµcnu
vrijednost lim fj = yj , j = 1, , n.
x !x 0
Korolar
Funkcija f : X ! Rn , gdje je X metriµcki prostor, ima u toµcki x0 2 X 0
graniµcnu vrijednost lim f = (y1 , , yn ) ako i samo ako svaka njezina
x !x 0
koordinatna funkcija fj : X ! R ima u toµcki x0 graniµcnu
vrijednost lim fj = yj , j = 1, , n.
x !x 0
De…nicija
Re´ci ´cemo da niz (xk ) u topološkom prostoru X konvergira, ako postoji
neka toµcka x0 2 X sa svojstvom da svaka njezina okolina sadrµzi skoro sve
µclanove toga niza. (Skoro sve znaµci sve osim, moµzda, konaµcno mnogo
njih.) Toµcku x0 nazivamo graniµcnom vrijednošću (ili limesom) niza
(xk ). Pri tom govorimo i da niz (xk ) teµzi (ili konvergira) prema toµcki x0
i pišemo (xk ) ! x0 . Ako niz (xk ) u X ne konvergira, kaµzemo da divergira.
De…nicija
Re´ci ´cemo da niz (xk ) u topološkom prostoru X konvergira, ako postoji
neka toµcka x0 2 X sa svojstvom da svaka njezina okolina sadrµzi skoro sve
µclanove toga niza. (Skoro sve znaµci sve osim, moµzda, konaµcno mnogo
njih.) Toµcku x0 nazivamo graniµcnom vrijednošću (ili limesom) niza
(xk ). Pri tom govorimo i da niz (xk ) teµzi (ili konvergira) prema toµcki x0
i pišemo (xk ) ! x0 . Ako niz (xk ) u X ne konvergira, kaµzemo da divergira.
Teorem
Neka je A X podskup metriµckog prostora X i neka je x0 2 X . Toµcka x0
je gomilište skupa A onda i samo onda, ako postoji nestacionarani niz (ak )
u A koji konvergira prema x0 .
Teorem
Neka je A X podskup metriµckog prostora X i neka je x0 2 X . Toµcka x0
je gomilište skupa A onda i samo onda, ako postoji nestacionarani niz (ak )
u A koji konvergira prema x0 .
Korolar
Skup A X je zatvoren u metriµckom prostoru X ako i samo ako je za
svaki niz (ak ) u A, koji konvergira u X , graniµcna vrijednost
x0 = lim(ak ) 2 A.
De…nicija
Neka je (xk ) niz u topološkom prostoru X . Re´ci ´cemo da je toµcka x0 2 X
gomilište niza (xk ) ako svaka okolina toµcke x0 sadrµzi beskonaµcno mnogo
µclanova toga niza.
De…nicija
Neka je (xk ) niz u topološkom prostoru X . Re´ci ´cemo da je toµcka x0 2 X
gomilište niza (xk ) ako svaka okolina toµcke x0 sadrµzi beskonaµcno mnogo
µclanova toga niza.
De…nicija
Neka je (xk ) niz u topološkom prostoru X . Re´ci ´cemo da je toµcka x0 2 X
gomilište niza (xk ) ako svaka okolina toµcke x0 sadrµzi beskonaµcno mnogo
µclanova toga niza.
De…nicija
Neka je (xk ) niz u topološkom prostoru X . Re´ci ´cemo da je toµcka x0 2 X
gomilište niza (xk ) ako svaka okolina toµcke x0 sadrµzi beskonaµcno mnogo
µclanova toga niza.
Primjer
k
1 +( 1 )k 2
Niz (yk ) u R, yk = 2 + k1 , ima 3 gomilišta 1, 0 i 1.
Primjer
Niz (zk ) u R2 , zk = (cos kα, sin kα) , ima za skup gomilišta jediniµcnu
kruµznicu S 1 , gdje je α 2 R i 2π
α
/ Q.
2
Zadatak
Konstruirajte niz u R kojemu je skup gomilišta jednak N odnosno R.
Zadatak
Odredite sva gomilišta i pripadne konvergentne podnizove sljede´cih nizova:
(( 1)n + 1) n, ( 1)n +1 + 1 n i sin n π4 , ( 1)n u R2 , te
1 n
tg n π3 , cos n π2 , 1 + n u R3 .
Korolar
Podskup K euklidskog prostora Rn je kompaktan ako i samo ako svaki niz
u K ima gomilište koje je u K .
Korolar
Podskup K euklidskog prostora Rn je kompaktan ako i samo ako svaki niz
u K ima gomilište koje je u K .
Teorem
Neka je X Rn kompaktni prostor i U = (Uα j α 2 A) njegov otvoreni
pokrivaµc. Tada postoji broj λ > 0 ( Lebesgueov broj pokrivaµca U ) takav
da, za svaki A X µcim je diam A λ, vrijedi A Uα , za neki α 2 A.
Korolar
Podskup K euklidskog prostora Rn je kompaktan ako i samo ako svaki niz
u K ima gomilište koje je u K .
Teorem
Neka je X Rn kompaktni prostor i U = (Uα j α 2 A) njegov otvoreni
pokrivaµc. Tada postoji broj λ > 0 ( Lebesgueov broj pokrivaµca U ) takav
da, za svaki A X µcim je diam A λ, vrijedi A Uα , za neki α 2 A.
Propozicija
Ako linearni operator A iz de…nicije diferencijabilnosti postoji, on je
jedinstven.
f ( P0 + H ) f (P0 ) = df (P0 ) (H ) + r (H )
r (H )
gdje je r : Rn ! Rm funkcija greške sa svojstvom lim = 0.
H !0 jjH jj
f ( P0 + H ) f (P0 ) = df (P0 ) (H ) + r (H )
r (H )
gdje je r : Rn ! Rm funkcija greške sa svojstvom lim = 0.
H !0 jjH jj
Ako su f , g : Ω ! Rm dvije funkcije takve da je f jU = g jU za neki
otvoren skup U Ω, P0 2 U, i ako je f (neprekidna) diferencijabilna
u P0 tada je i g (neprekidna) diferencijabilna u P0 i vrijedi
df (P0 ) = dg (P0 )
f ( P0 + H ) f (P0 ) = df (P0 ) (H ) + r (H )
r (H )
gdje je r : Rn ! Rm funkcija greške sa svojstvom lim = 0.
H !0 jjH jj
Ako su f , g : Ω ! Rm dvije funkcije takve da je f jU = g jU za neki
otvoren skup U Ω, P0 2 U, i ako je f (neprekidna) diferencijabilna
u P0 tada je i g (neprekidna) diferencijabilna u P0 i vrijedi
df (P0 ) = dg (P0 )
Teorem
Ako je f : Ω ! Rm diferencijabilna u P0 2 Ω tada je f neprekidna u P0 .
Zadatak
p
1 3 π
Odredite tangentu na sliku funkcije (cos t, sin t, t ) u toµcki 2 2 , 3
, .
Primjer
Neka je f : Rn ! Rm linearni operator. Tada je f diferencijabilan na Rn i
df (P0 ) = f u svakoj toµcki P0 2 Rn . To slijedi iz µcinjenice da je
f (P0 + H ) f (P0 ) = f (H ) + 0, 8P0 , H 2 Rn .
Primjer
Neka je f : Rn ! Rm linearni operator. Tada je f diferencijabilan na Rn i
df (P0 ) = f u svakoj toµcki P0 2 Rn . To slijedi iz µcinjenice da je
f (P0 + H ) f (P0 ) = f (H ) + 0, 8P0 , H 2 Rn .
Propozicija
Neka su f , g : Ω Rn ! Rm preslikavanja diferencijabilna u toµcki
P0 2 Ω i neka su λ, µ 2 R. Tada je i preslikavanje λf + µg : Ω ! Rm
diferencijabilno u P0 2 Ω i vrijedi d (λf + µg )(P0 ) = λdf (P0 ) + µdg (P0 ).
Posebno, za parcijalne derivacije vrijedi
∂i (λf + µg )(P0 ) = λ∂i f (P0 ) + µ∂i g (P0 ), i = 1, ..., n.
(Osnove matematiµcke analize) 2015./2016. 106 / 137
Propozicija
Neka su f , g : Ω Rn ! R preslikavanja diferencijabilna u P0 2 Ω. Tada
je i produkt f g : Ω ! R diferencijabilan u P0 i vrijedi
d (fg )(P0 ) = f (P0 )dg (P0 ) + g (P0 )df (P0 ). Posebno, za parcijalne
derivacije vrijedi
∂i (fg )(P0 ) = ∂i f (P0 )g (P0 ) + f (P0 )∂i g (P0 ), i = 1, ..., n.
Teorem
Neka su Ω, Ω0 Rn otvoreni skupovi, a f : Ω ! Ω0 , g : Ω0 ! Ω
preslikavanja takva da je g f = 1Ω , f g = 1Ω0 . Ako je f
diferencijabilno u P0 2 Ω, a g diferencijabilno u Q0 := f (P0 ) 2 Ω0 , onda
je diferencijal df (P0 ) : Rn ! Rn regularan operator i vrijedi
dg (Q0 ) = (df (P0 )) 1 .
Zadatak
Izraµcunajte d (f g ) (1, 1, 2) ako je f (x, y ) = x 10 + y , xy 2 i
g (x, y , z ) = x + y , xz 2 .
Zadatak
Neka je f (t ) = (x, y ) : R ! R2 i g (x, y ) = (u, v , w ) : R2 ! R3 ,
t0 2 R, Q0 = f (P0 ) = (x (t0 ) , y (t0 )) .
Tada je h = g f = (h1 , h2 , h3 ) : R ! R3
Zadatak
x 2 sin x1 , x 6= 0
Dokaµzite da je funkcija f : R ! R f (x ) =
0, x = 0
diferencijabilna ali nije klase C 1 .
Korolar
Neka je f 2 C k (Ω), Ω Rn , tada je, za svaki P0 2 Ω,i sve
i1 , , ik 2 f1, , n g ∂ (i1 ) 0 ∂ ( i k ) 0 f ( P0 ) = ∂ i 1 ∂ik f (P0 ), za svaku
permutaciju (i10 , , ik0 ) multiskupa fi1 , , ik g.
Teorem
Neka je Ω Rn otvoren skup i f : Ω ! R diferencijabilna funkcija. Ako
je duµzina P0 P0 + H sadrµzana u Ω, tada postoji ϑ 2 (0, 1) takav da je
f (P0 + H ) f (P0 ) = df (P0 + ϑH ) (H ) .
Korolar
Neka je Ω Rn otvoren skup i f : Ω ! R diferencijabilna funkcija. Ako
je duµzina P0 P0 + H sadrµzana u Ω, za H = (h1 , ..., hn ) 2 Rn , tada postoji
n
ϑ 2 (0, 1) takav da je f (P0 + H ) f (P0 ) = ∑ ∂i f (P0 + ϑH ) hi .
i =1
Teorem
Neka je Ω Rn otvoren skup i f : Ω ! Rm diferencijabilna funkcija i
neka je duµzina P0 P0 + H sadrµzana u Ω. Ako je skup
jjdf (P )jj j P 2 P0 P0 + H ome†en, onda je
jjf (P0 + H ) f (P0 )jj sup jjdf (P )jj j P 2 P0 P0 + H jjH jj .
Primjer
Za funkciju F : R3 ! R F (x, y , z ) = x 2 + y 2 z 2 u toµcki 0 = ((0, 0) , 0)
ne moµzemo primijeniti teorem o implicitnoj
p funkciji jer je Fz0 (0,
p0, 0) = 0.
Funkcije f1 , f2 : R ! R, f1 (x, y ) = x + y 2 , f2 (x, y ) =
2 2 x2 + y2
su implicitno zadane preslikavanjem F . Obje su neprekidne ali nisu
diferencijabilne u (0, 0) .
De…nicija
Neka su Ω i Ω0 otvoreni skupovi u Rn odnosno u Rm . Za diferencijabilno
preslikavanje f : Ω ! Ω0 klase C 1 kaµzemo da je difeomor…zam ako
postoji diferencijabilno preslikavanje g : Ω0 ! Ω klase C 1 takvo da je
g f = 1Ω i f g = 1Ω0 , tj. ako je f bijekcija takva da su i f i f 1
diferencijabilna preslikavanja klase C 1 .
De…nicija
Neka su Ω i Ω0 otvoreni skupovi u Rn odnosno u Rm . Za diferencijabilno
preslikavanje f : Ω ! Ω0 klase C 1 kaµzemo da je difeomor…zam ako
postoji diferencijabilno preslikavanje g : Ω0 ! Ω klase C 1 takvo da je
g f = 1Ω i f g = 1Ω0 , tj. ako je f bijekcija takva da su i f i f 1
diferencijabilna preslikavanja klase C 1 .
Primjer
Pokaµzite da je funkcija f : R ! R f (x ) = x 3 neprekidna bijekcija, štoviše
homeomor…zam, klase C 1 , ali nije difeomor…zam.
De…nicija
Neka su Ω i Ω0 otvoreni skupovi u Rn odnosno u Rm . Za diferencijabilno
preslikavanje f : Ω ! Ω0 klase C 1 kaµzemo da je difeomor…zam ako
postoji diferencijabilno preslikavanje g : Ω0 ! Ω klase C 1 takvo da je
g f = 1Ω i f g = 1Ω0 , tj. ako je f bijekcija takva da su i f i f 1
diferencijabilna preslikavanja klase C 1 .
Primjer
Pokaµzite da je funkcija f : R ! R f (x ) = x 3 neprekidna bijekcija, štoviše
homeomor…zam, klase C 1 , ali nije difeomor…zam.
Propozicija
Ako je f : Ω ! Ω0 , Ω Rn , Ω Rm , difeomor…zam onda je n = m.
Zadatak
Odredite sve toµcke (x, y ) 2 R2 oko kojih postoji okolina takva da je
suµzenje funkcije f (x, y ) = e 2x +y x 2 y , e 2x +y y 2 na tu okolinu
difeomor…zam.
(Osnove matematiµcke analize) 2015./2016. 136 / 137
Primijetimo da Teorem o inverznom preslikavanju zaista ima samo lokalni
karakter. Moguće je naime da je diferencijal preslikavanja f u svakoj toµcki
regularan operator, ali da f nema (globalni) inverz. (Za funkciju jedne
varijable na intervalu to nije moguće, jer je takva funkcija uvijek strogo
monotona.)
Primjer
Preslikavanje f : R2 ! R2 f (x, y ) = (e x cos y , e x sin y ) je klase C ∞ i
e x cos y e x sin y
vrijedi df (x, y ) = x . Budu´ci je jacobijan
e sin y e x cos y
jdf (x, y )j = e 2x , to je operator df (x, y ) regularan u svakoj toµcki (x, y )
pa, po Teorermu o inverznom preslikavanju, f u svakoj toµcki ima "lokalni
inverz". No, budu´ci je f (x, y ) = f (x, y + 2kπ ), f nema globalni inverz.