Professional Documents
Culture Documents
Sl. 1.2.3.b)
Primjer 1.2.3.b): Prihod od prodaje ulaznica za fudbalsku utakmicu ovisi o broju navijaa.
Broj navijaa ovisi o broju pobjeda domaina u prethodnim susretima. Dakle, prihod od prodaje
ulaznica je funkcija broja pobjeda u prethodnim utakmicama.
Ovdje smo funkciju h prihoda dobili slaganjem (kompozicijom) dviju funkcija: funkcije f
koja pokazuje broj navijaa u ovisnosti o broju pobjeda i funkcije g koja pokazuje prihod od prodanih
ulaznica u ovisnosti o broju navijaa.
22
Openito f -1 nije preslikavanje skupa Y u skup X, ali se moe tumaiti kao preslikavanje skupa Y u
skup P ( X ) (partitivni skup skupa X), tako da se elementu y Y pridrui element f 1 ^y` P ( X ) .
gf
1
f 1 g 1 E .
(E)
fg = 1Y
Odmah se vidi da za dato preslikavanje f moe postojati samo jedno inverzno preslikavanje. Ako za
f : X o Y postoji inverzno preslikavanje, onda je f bijekcija, i obrnuto, svaka bijekcija f ima inverzno
preslikavanje koje se obino oznaava sa f -1.
Primjer 1. 2. 3. c) Funkcija f prikazana na Sl. 1.2.3.c) je oito injekcija, ali nije surjekcija, pa
nije ni bijekcija i nema inverzne funkcije, dok funkcija g prikazana na Sl. 1.2.3.d) nije injekcija, a ni
surjekcija. Meutim, funkcija h prikazana na Sl. 1.2.3.e) je injekcija i surjekcija, pa ima i inverznu
funkciju h-1. (Prikaite grafiki (shematski) tu inverznu funkciju i provjerite da za ove funkcije h i h -1
vrijede formule
f 1 f x x, (x X ) , f f 1 y y, (y Y ) !)
Y
f
Sl. 1. 2. 3. c)
Y
g
Sl. 1. 2. 3. d)
Y
h
Sl. 1. 2. 3. e)
23
f : R o R , f ( x)
2 x 10 .
24
(x, y R) x + y = y + x
(komutacija za sabiranje),
(x, y, z R) (x y) z = x ( y z)
(asocijacija za mnoenje),
(1 R\^0`) ( x R) x 1 = 1 x = x
(egzistencija jedinice),
-1
-1
-1
(x R\^0`) ( x R) x x = x x = 1 (egzistencija inverznog elementa za mnoenje),
(x, y, z R) x (y + z) = x y + x z
(distribucija mnoenja prema sabiranju),
(x + y) z = x z + y z
(R 9) (x, y R) x y = y x
(komutacija za mnoenje),
(R 10) (x, y, z R) (x d y) (y d z) x d z
(tranzitivnost relacije d)
(R 11) (x, y R) (x d y) (y d x) x = y
(antisimetrija relacije d),
(R 12) (x, y R) (x d y) (y d x)
(usporedljivost),
(R 13) (x, y, z R) x d y x + z d y + z
(kompatibilnost relacije d prema sabiranju),
(R 14) (x, y R) (0 d x) (0 d y) 0 d x y
(kompatibilnost relacije d prema mnoenju),
(R 15) ako su A i B neprazni podskupovi skupa R, takvi da je x d y za sve xA, yB, onda postoji
element zR, takav da je x d z d y za sve xA, yB.
Elementi skupa R zovu se realni brojevi.
(R 4)
(R 5)
(R 6)
(R 7)
(R 8)
Ako je u nekom skupu G definirana binarna operacija + za koju vrijede aksiome (R 1) - (R 3), onda kaemo da je
G grupa. Za grupu G kaemo da je komutativna ili Abelova ako u njoj vrijedi i (R 4).
Element 0 definiran svojstvom (R 2) zove se neutralni element grupe, dok se element definiran svojstvom (R 3) zove
inverzni (suprotni) element elementa x.
Lako se vidi da je neutralni element grupe jednoznano odreen, te da jednaina a + x = b ima jedinstveno rjeenje.
To jedinstveno rjeenje oznaava se sa b - a tako da je po definiciji b a = b + ( a) (koje se zove razlika broja b i
broja a). Time je u skupu R uvedena operacija oduzimanja sa uobiajenim svojstvima. Analogno oduzimanju uvodi se i
b
b : a za a z 0.
operacija dijeljenje realnih brojeva pomou b a 1
a
(R 15q) Ako je A R odozdo ogranien neprazan podskup od R, onda postoji najvea donja mea
inf A R skupa A.
Iz aksioma realnih brojeva (R 1) - (R 15) mogu se dokazati sva uobiajena pravila za raunanje s
realnim brojevima poznata iz elementarne matematike. Ovdje emo navesti nekoliko tih pravila i
pokazati kako se neka od njih mogu izvesti (iz algebarskih aksioma realnih brojeva).
25
( x) = x ;
x0=0x=0;
x ( y) = (x y) = ( x) y ;
( x) ( y) = x y ;
xd0 xt0;
(vi)
(vii)
(viii)
(ix)
(x)
x ( y) = x + y ;
x=y x=y;
(xvi)
(xvii)
(xiii) 0 = 0 ;
(xviii)
xdy xty;
(x d 0) (y d 0) x y t 0 ;
(x d y) (z d u) x+ z d y + u ;
0<1;
x y = 0 (x = 0 y = 0) ;
x2 = y2 (x = y x = y)
x
y
x u
y v
(xiv) x2 t 0; x2 = 0 x = 0 ;
(ix)
xy d
(xv)
(xx)
(xz0) (yz0) ( x y) 1 = (x 1) ( y 1) ;
xz
yz
( y, z z 0)
xv uy x u
;
yv
y v
1 2
x y2 ;
2
1 1
x y
d xy d
x y
d
2
xu
,
yv
za y, v z0;
x2 y 2
,
2
za x > 0, y > 0. *)
Dokaimo svojstva (i), (ii) i (ix):
1) Po definiciji inverznog elementa ( x) (prema (R 3)) je ( x) + ( ( x)) = 0, a po definiciji
elementa ( x) je ( x) + x = 0. Iz jednoznanosti rjeenja jednaine a + x = b slijedi x = (x).
2) Kako je 0 + 0 = 0, to je (0 + 0) x = 0 x + 0 x = 0 x. Prema (R 2) je 0 x + 0 = 0 x, pa zbog
jednoznanosti rjeenja jednaine a + x = b slijedi 0 x = 0. Slino se dobije i relacija x 0 = 0.
3) Prema (R 6) je 1 z 0, pa iz (R 12) imamo ili 1 > 0 ili 1 < 0. Ako bi bilo 1 < 0, onda bi,
zbog svojstva (v), bilo 1 > 0, pa bi prema svojstvu (iv) i (R 14) bilo ( 1) ( 1) = 1 > 0,
to je kontadikcija s pretpostavkom 1 < 0. Otuda slijedi da preostaje jedino mogunost 1 > 0.
Skup R+: = {xR : x > 0} zove se skup (svih) pozitivnih brojeva, a skup R - : = {xR : x < 0}
skup (svih) negativnih brojeva. Prema tome, dokazali smo da 1 R+, tj. da je 1 pozitivan broj.
Za svaki realni broj x R definira se apsolutna vrijednost (modul) _ x _ realnog broja x izrazom:
x, za x t 0,
x :
x, za x 0.
(1.3.1.)
_ x _ = max { x, x}.
Iz (1.3.1) i svojstva relacije d odmah slijedi da za svaki H > 0 vrijede nejednakosti
_ x _ < H H < x < H, _ x _ d H H d x d H,
_ x _ > H (x < H x > H),
_ x _ t H ( x d H x t H).
(xR) _ x_ = _ x _ ;
(x,y R) _ x y _ = _ y x _ ;
(xR) _ x _ d x d _ x _ ;
(xR) _ x _ t 0, _ x _ = 0 x = 0 ;
______________
1)
2)
3)
4)
5)
6)
7)
(1.3.2.)
(1.3.3.)
(1.3.4.)
(x,y R) _ _ x _ _ y _ _ d _ x + y _ d _ x _ + _ y _ ;
(x,y R) _ x y _ = _ x _ _ y _ ;
(x,y R)
x
y
x
y
, ( y z 0).
*)
Ova relacija izmeu harmonijske, geometrijske, aritmetike i kvadratne sredine brojeva x, y proiruje se i na sluaj od
proizvoljno konano mnogo pozitivnih realnih brojeva.
**)
Apsolutna vrijednost _ x _ proizvoljnog realnog broja x moe se ekvivalentno definirati i izrazom x : x 2 , gdje se
uzima aritmetika vrijednost korijena.
26
dobijemo nejednakost
_ x _ d x d _ x _, _ y _ d y d _ y _
(_ x _ + _ y _) d x + y d _ x _ + _ y _,
_ x + y _ d _ x _ + _ y _.
(1.3.5.)
Relacija (1.3.5.) se naziva nejednakost trougla i ima vanu ulogu u mnogim dokazima u analizi i u
njenim primjenama.
Primjer 1.3.1. Rijeimo jednaine:
a) _ x + 1 _ = 3 ;
b) _ x + 1 _ = 3 ;
c) _ x + 1 _ = x ;
d) _ x 1 _ = x .
Rjeenje:
Ako nije naznaeno u kojem skupu treba rijeiti datu jednainu ili nejednainu, onda je uobiajeno
smatrati da to treba uraditi u skupu R realnih brojeva.
a) _ x + 1 _ = 3 x + 1 = r 3 ( x +1 = 3 x +1 = 3 ) ( x = 2 x = 4 ).
b) Jednaina _ x + 1_ = 3 nema ni jednog rjeenja u skupu R jer je _ y _ t 0 za svaki yR.
c) Za x < 0 data jednaina nema rjeenja u R. Za x = 0 data jednaina se svodi na netanu
jednakost 1 = 0, a za x > 0 vrijedi
_ x + 1 _ = x ( x + 1 = x x + 1 = x ) ( 1 = 0 x = ),
tj. ni u tom sluaju ne postoji ni jedno rjeenje u skupu R. Dakle, jednaina _ x + 1 _ = x nema ni
jednog rjeenja u R.
d) _ x 1_ = x (x t 0 x 1 = r x ) x = .
Primjer 1.3.2. Nacrtajmo grafik funkcije:
a) f : R R, f (x) = _ x _;
b) g ( x) sgn x :
1,
0,
1,
x ! 0,
x 0,
x 0.
Rjeenje:
Grafik funkcije f prikazan je na sl. 1.3.1., a grafik funkcije g na sl. 1.3.2.
f (x) = _ x _
Sl. 1.3.1.
g (x) = sgn x
Sl. 1.3.2.
Sl. 1.3.3.
Primjer 1.3.3. Rijeimo nejednainu:
a) _ 3x 1_ < 2x + 5 ; b) _ 3x 1_ t 2x + 5.
Rjeenje:
5
2
4
5
, 6).
4
5
] [6, +f).
_ x + 1 _ = 3x 9;
_ x 1 _ = 3x 9;
_ x 1 _ = _ x 2 _;
_ 1 + 3x _ d 1;
x (x2 + 8x + 11) t 20;
2
f) 3x 21 t 0;
1 x
g)
1
1
.
x 1 1 2x
takav da je
_2x + y_ = 10.
1
1
1
.
8 x4 6
b) min {sinx ~ xR } = 1;
(Primijetite da je preslikavanje x
x
1 x
bijekcija
c) inf {
x
1 x
d) sup{
x
1 x
~ xR }= 1;
~ xR }= 1.
y g(y) =
y
1 y
x
, gdje je R
1 x
U ovom odjeljku pokazujemo kako se u okviru aksiomatski uvedenog skupa R realnih brojeva
mogu uvesti njegovi uobiajeni podskupovi N prirodnih brojeva, Z cijelih brojeva i Q racionalnih
brojeva.
Neka je N : = (ND : D A) familija svih podskupova ND skupa R koji imaju ova dva svojstva:
1 ND ,
x ND x + 1 ND .
Oito je R element familije N, pa ta familija nije prazna.
Neka je N : = N D . Odmah slijedi da je N N. Ovako definirani skup N ( R) zove se
DA
za skup N i ovako definirano preslikavanje S vrijedi ova teorema (koja inae predstavlja tzv.
Peanove aksiome pomou kojih je italijanski matematiar i logiar Giuseppe Peano (1858-1932) dao
potpunu karakterizaciju skupa prirodnih brojeva, tako da se skup prirodnih brojeva N moe i
definirati kao neprazan skup N koji zadovoljava te aksiome):
Teorema 1.3.1.
(N 1) Definirano je preslikavanje S : NoN (tj. postoji funkcija S sa N u N ).
(N 2) Postoji bar jedan element u N (oznaavamo ga sa 1).
(N 3) (nN) S (n) z 1.
(N 4) Ako je S (m) = S (n) za neke m, n N, onda je m = n, tj. S je bijekcija.
(N 5) (Aksiom indukcije). Ako je S podskup od N, koji ima ova dva svojstva:
1 S, (nN) nS S(n)S,
onda je S = N.
29
Pri izgradnji teorije prirodnih brojeva, osobitu ulogu ima aksiom indukcije, iz kojeg proizilazi
princip (potpune) matematike indukcije koji glasi:
Ako neki iskaz I(n) ima ove dvije osobine:
(i)
I(n) je taan iskaz za n = 1;
(ii)
Implikacija I(n) I(n+1) vrijedi za svaki prirodan broj n,
onda je iskaz I(n) taan za sve prirodne brojeve n.
Neka je (G, +) grupa i G0 G. Ako je G0 grupa s obzirom na operaciju +, onda kaemo da je
(G0, +) podgrupa grupe (G, +). Analogno se definira i potpolje (F0, +, ) polja (F, +, ).
Neka je Z : = (ZE, EB) familija svih podgrupa grupe (R, +) koje sadre broj 1. Neka je
Z : = Z E . Odmah se vidi da je i Z podgrupa od (R, +) i 1Z, pa je Z Z .
E B
Skup Z zove se skup cijelih brojeva, a njegovi elementi zovu se cijeli brojevi.
Lako se vidi da je Z = (N) {0} N, gdje je N = { n : nN}.
Tada je oito Q C .
Skup Q se zove skup racionalnih brojeva, a njegovi elementi se zovu racionalni brojevi. Skup
R \ Q = I se zove skup iracionalnih brojeva, a njegovi elementi zovu se iracionalni brojevi. Jasno
je da vrijedi Q I = R, a kako je Q Z, to je Z Q.
Ako za izraze x y -1 ( = y -1 x) (x, y R, y z 0)
dokazuje da vrijedi:
Q={
z
n
x
y
onda se lako
: zZ nN}.
Takoe se dokazuje da postoji surjekcija f : NoQ, te da u svakom intervalu (a, b) (R) , a < b,
ima bar jedan racionalan i bar jedan iracionalan broj (tj. da su skupovi Q i I gusti na prostoru R
realnih brojeva).
Radi jednostavnije formulacije nekih svojstava / teorema u analizi se uvodi proireni prostor /
skup realnih brojeva R . Po definiciji je
R = R { f, +f},
gdje su f, +f dvije meusobno razliite nove take. Ureaj d se proiruje sa R na
stavljajui f < x < + f za svaki xR.
30
p
q
znailo da je p paran broj, jer je kvadrat parnog broja paran, dok je neparnog neparan. Dakle, moralo
bi vrijediti p = 2m za neki mN, tj. p2 = 4m2 = 2q2, odnosno q2 = 2m2, to daje da je i q
paran. Meutim, to je u kontradikciji s pretpostavkom da su p i q relativno prosti prirodni brojevi.
To znai da je 2 iracionalan broj.
Zadatak 1.3.5.* Odredite sve racionalne realne brojeve x za koje je log 2 ( x 2 4 x 1) cio broj.
I.
II.
x1 5,
x1 5,
III.
x1 5,
IV.
x1 5,
x2 1, x3
17
4
x4 .
4
x2 1, x3 4, x4 .
1
4
1
4
.
, x4 , x 5
5
4
4
17
17
1
4
x2 1, x3 , x4 , x 5 .
4
4
17
x2 , x3
17
m
n
, n d 10 data sa m = 22, n = 7.
Teorema 1.3.2. (Teorema o supremumu). Svaki neprazan, odozgo ogranien podskup skupa R
realnih brojeva ima supremum u R.
Dokaz:
Pretpostavimo da je AR, Az, odozgo ogranien podskup od R. Neka je
B : = { yR
~(xA) x d y }. Tada je B skup svih majoranata skupa A. Prema pretpostavci, skupovi A i B su
neprazni i vai svojstvo da je x d y za sve xA, yB. Prema aksiomi (R 15) postoji element zR,
__________________________
* Zadatak sa ispita iz IM1 (samo je jedan od ponuena etiri odgovora I, II, III i IV taan).
31