Professional Documents
Culture Documents
Realni Brojevi
Realni Brojevi
Realni Brojevi
pa dijeli i desnu, tj. p1 dijeli m2; dakle i m: Slijedi da je m oblika m = p 1t: Sada je
n2p1p2
pk = p1t2: Sada
tavnijih pojmova. Dakako i ovdje negdje moramo stati i neke pojmove moramo
jednostavno prihvatiti bez svoenja na neke jednostavnije. Dakle,
u svakoj teoriji moramo krenuti od osnovnih (nedeniranih) pojmova i
preko njih denirati sve ostale izvedene pojmove.
Sumirajmo to znaci aksiomatsko zasnivanje neke matematicke teorije. Treba
utvrditi osnovne pojmove, koji su "ocigledno jasni" i ne trebaju se denirati, potom odabrati osnovne tvrdnje (aksiomi, postulati), tj. tvrdnje koje se dogovorno
uzimaju za istinite i ne dokazuju se, a zatim se iz aksioma izvode i dokazuju
tvrdnje (teoremi, propozicije, stavci, poucci, leme, korolari).
U izlaganju gradiva u ovoj skripti ukazujemo da je matematika deduktivna
znanost ne ulazeci detaljnije u aksiomatsko zasnivanje teorije. Mi cemo se
osloniti na matematicka znanja stecena u osnovnoj i srednjoj koli te gradivo
izloziti na nacin pristupacan studentima tehnickog fakulteta. Napomenimo ipak
da je u matematici pecat istine dokaz tvrdnje pa ce skoro svaka trvrdnja u skripti
biti i dokazana. Proucavanjem dokaza citatelji ce bolje razumijeti gradivo i znati
ga primijeniti na prakticnim zadacima.
da "je skup ujedinjenje bilo koje mno zine objekata - elemenata u jednu cjelinu".
, a njihove
elementi danog skupa meusobno razli citi, tj. da skup ne sadr zi neki element u
vie primjeraka.
Skupovima smatramo i "mno zine koje ne sadr ze nikakve objekte" - to su tzv.
svih elemenata s to imaju svojstvo P). Ako skup X "nema mnogo" elemenata,
primjerice, ako su x, y, z, w svi elementi skupa X, onda piemo X = fx; y; z; wg.
Denicja 1.3 Re ci cemo da je Y podskup ili dio skupa X, oznaka: Y X (znak
X Y (znak citamo: sadr zi), ako je svaki element skupa Y ujedno element
skupaX, tj. y 2 Y ) y2 X.
Primjerice, fy j y je pravokutnikg fx j x je paralelogramg.
Re ci cemo da je skup Y jednak skupu X i pisati Y = X, ako je Y X i
jest ;.
Ako je ispunjeno Y X i Y =6 X, onda ka zemo da je Y pravi podskup od X i
Denicja 1.4 Svakim skupom X je posve odreen njegov tzv. partitivni skup
elementi kojega su svi podskupovi od X.
Partitivni skup skupa X ozna cavat cemo sa P(x) ili sa 2X ( citamo: dva na iks). Na
Za citateljevu vjezbu neka bude, primjerice, X skup svih stanara neke zgrade,
a R relacija na X zadana odnosom "biti mlai". Ili, na istom skupu X, neka
druga relacija R bude zadana odnosom "stanovati na viem katu".
0
Primjer Neka je X skup svih hrvatskih dr zavljana do (uklju civo) sto godina
starosti, a relacija na X neka je zadana odnosom "imati jednako godina".
Lako se provjeri da je razredbena relacija, pa je X = X [
0
disjunktnih razreda X ; X ;
0
gdje podskup X
1 0 0 ,
1 0 0
[X unija
n
onda i samo onda kad x nije stariji od y. Lako se provjeri da je tada ( eX; ) ureen
skup.
Denicja 1.8 Neka je (X; ) parcijalno ureen skup i A X njegov neprazan
podskup. Reci cemo da je element m 2 X donja mea skupa A, ako je m a za
svaki a 2 A. Reci cemo da je skup A omeen odozdol, ako postoji barem jedna
donja mea od A. Kad je A omeen odozdol, za donju meu m od A cemo reci
da je najveca donja mea ili inmum skupa A, ako je m
m za svaku donju
meu m od A.
0
1.3 FUNKCIJE
1.3.1 FUNKCIJA
Funkcija jest jedan od najvaznijih matematickih pojmova. Denirat cemo ga
sasvim opcenito, tj. na skupovnoj razini.
Denicja 1.9 Pod funkcijom podrazumijevamo svaki ureeni troslog (X; f ; Y),
pri cemu su X i Y neprazni skupovi, a f je bilo koje pravilo po kojemu se
svakom elementu x 2 X pridru zuje tocno jedan element y 2 Y.
Uobicajeni zapis za funkciju (X; f ; Y) jest
f : X ! Y ili
x 7! y = f(x)
i pritom cesto kazemo da je f funkcija iz skupa
X u skup Y. (Kad su u nekom razmatranju X i Y
zadani
nepromjenjivi,
cesto
se,
K o m p o z i c i j a
f u n k c i j a .
preputamo citatelju.)
Neka su X
X, Y
10
u X. Ovaj f
~ 1
~ 1
~ 1
slu ziti za
ozna cavanje tzv. inverzne funkcije). Ako je (8y 2 Y) f 1[fyg] = fxg jedno clan
~
dakle, g = g .
0
11
kona can.
Primijetimo da Denicija 1.15 izravno povlaci konacnost praznoga skupa ;.
Napomenimo da vrijedi tvrdnja: Neka su X i Y ekvipotentni skupovi, tj. jXj = jY j.
Tada je X (bes) konacan tocno onda kad je Y (bes) konacan.
Denicja 1.16 Reci cemo da je kardinalni broj skupa X manji i l i jednak od
kardinalnog broja skupa Y i pisati jXj jY j (ili cardX cardY), ako postoji neka
injekcija f : X ! Y. Ako je jXj jY j, a X i Y nisu ekvipotentni (tj. jXj =6 jY j), re ci
1 2 M;
(8n 2 N) n 2 M ) s(n) 2 M,
ondaje M = N.
Uvjete (P1), (P2) i (P3) nazivamo Peanovim aksiomima. Posebice, aksiom (P3)
nazivamo nacelom potpune (ili matemati cke) indukcije. Pokazuje se da, u biti glede algebarske i ureajne strukture (to su nama poznate operacije zbrajanja i
mnozenja i ureeja), postoji samo jedan skup N s navedenim svojstvima. Taj
; n; n+
1; g
Istaknimo da iz (P2) slijedi
Skup prirodnih brojeva N je beskonacan.
u (N; ).
(1)
(2)
(3)
(4)
14
(n + 1)~2:
Ozna cimo saM skup svih onih prirodnih brojeva n za kojeje 1 3+23 + +n 3 = ~n
2
(P3).
Provjerimo sada da li M ima i svojstvo (ii), tj. da li iz n 2 M slijedi da je i n +
1 2 M: Da je n 2 M zna ci da je tvrdnja
i2
hn 13 +2 3+
3
+n = 2 (n+1)
istinita. Da doka zemo da je n + 1 2 M, treba dokazati da je
hn + 1
i2 = (n+1) 2
~1 3 +2 3 + +n 3 ~ + (n+ 1) 3 =_____ 2 _(n+2) 4 ___________________(n + 2) 2 :
Kako je prva zagrada na lijevoj strani jednakosti jednaka ~n
(n + 1)~ 2 imamo da
+ 1
; in) meusobno razli citih (dakle, svih) elemenata od [1; n]N, tj. smijemo re ci daje
permutacija n-toga reda svaki ureaj skupa [1; n]N. Broj ij, 1 j n, nazivamo jtom koordinatom sloga (i1
permutaciji skupa X.
Primjer Popiimo sve permutacije skupa X = fa; b; cg. To su:
(a; b; c), (a; c; b), (b; a; c), (b; c; a), (c; a; b), (c; b; a). Ne
skupu N deniramo funkciju faktorijel na na cin
n 7 ! n!=1 2
(n~ 1) n
1=n!.
Reci cemo da su u permutaciji (i1
:ij
; ik;
tvore inverziju, ako je i k < ij. Primjerice, u permutaciji trecega reda (3; 1; 2)
inverziju tvore 3 i 1 te 3 i 2, dok u permutaciji (1; 2; 3) nema inverzija. Ako u
permutaciji (i1
16
; xng.
Sada cemo dobivenu strukturu proiriti na tzv. skup cijelih brojeva. Sjetimo
sedauslucajum < n u Npostojip 2 N t a k a v d a j e m + p = n. Pisali smo p n ~
m. Jasno je da "~" ne moze biti operacija na N jer u slucaju n m ne znamo
to bi "n~m" znacilo. Ovo vodi na zamisao da se skup N razumno proiri. U tu
svrhu promatrajmo skup N i njegov preslik N = f10; 2 ; 3 ;
0
; n;
g, gdje nam
8
> m ~ n,
m +n =n +m = 0; >
> : (n ~ m)0;
0
cim je n < m
:
><
cimjen=m
cim je m < n
Napokon, deniramom + 0 = m = 0 + m , n +0 = n = 0 + n 0 i 0 + 0 = 0 . Lako
0
i ureajem
; ~2; ~1; 0; 1; 2;
; n;
g:
disjunktne razrede [(m n)] Z N. Oznacimo slovom Q skup svih tih razreda, tj. Q =
;
je, po relaciji , (m0 1n0 2 + m0 2n0 1) (n1n2) = m0 1n0 2n1n2 + m0 2n0 1n1n2 = m1n2n0 1n0 2 +
m2n1n0 1n0 2 = (m1n2 + m2n1) (n0 1n0 2); to je
[(m0 1; n0 1)] + [(m0 2; n0 2)] = [(m1 n1)] + [(m2 n2)]:
;
18