Matematika1 IIIdio

Matematika I
prof. dr. sc. Blaženka Divjak

izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Dio III
Skupovi i relacije
”Umijeće postavljanja pravih pitanja i problema u matematici treba vrednovati više nego njihovo rješavanje.”Georg
Cantor
Matematika I

Sadržaj izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Skupovi i relacije
Skupovi
Osnovni pojmovi teorije skupova
Operacije sa skupovima
Kartezijev produkt skupova
Binarne relacije
Definicija. Obrat, komplement i dualna relacija
Svojstva binarnih relacija
Relacija ekvivalencije
Relacija parcijalnog uredaja
Funkcije kao relacije
Kardinalni broj skupa
Matematika I

Zadavanje skupa izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Osnovni pojmovi teorije
skupova
Georg Cantor – utemeljitelj teorije skupova Kartezijev produkt
skupova
Skup je osnovni matematički pojam pa se ne definira. Skup čine elementi koji su po Binarne relacije
nekom kriteriju povezani u cjelinu.
Prazan skup je skup koji nema niti jedan element. Oznaka za prazan skup je ∅.
Skup je zadan ako su poznati svi njegovi elementi.
Ako skup A sadrži element a, to zapisujemo u obliku a ∈ A. Ako b nije element

skupa A, to zapisujemo u obliku b ∈
/ A.
Matematika I

Skup se može zadati na dva načina: izv. prof. dr. sc. Z. Erjavec
1 Nabrajanjem elemenata skupa – ovaj način je pogodan samo kada se radi o Skupovi i relacije
skupovima koji nemaju veliki broj elemenata ili ako se radi o skupovima kod Skupovi
kojih je jasno od kojih se elemenata sastoje ako se navede nekoliko njihovih skupova
elemenata Kartezijev produkt
skupova
Binarne relacije
A = {3, 8, 12, −4}
B = {♣, ♥, 1}
N = {1, 2, 3, . . .}
Evo nekoliko istinitih relacija:

1
8 ∈ A, 1∈
/ A, ♣ ∈ B, 5 ∈ N, ∈
/N
2
Matematika I

2 Definiranjem karakterističnog svojstva koji moraju elementi zadovoljavati da bi Skupovi i relacije
pripadali skupu. Skupovi

skupova
Opći oblik ovako zadanog skupa je S = {x | P (x)}, što znači da skupu S Operacije sa skupovima
Kartezijev produkt
pripadaju samo oni elementi koji zadovoljavaju predikat P (x). skupova
Binarne relacije
C = {x ∈ N | 3 6 x < 6}
nm o
Q= m ∈ Z, n ∈ N
n
Naravno, skup C možemo napisati i na prvi način tako da nabrojimo sve njegove
elemente C = {3, 4, 5}.
Matematika I

Skupovi i relacije
Sa zadavanjem skupa bilo je dosta problema. Fregeov pristup je bio da svako Skupovi
svojstvo definira neki skup. Medutim, neki matematičari su uočili da takav pristup Osnovni pojmovi teorije
skupova
dovodi do paradoksa, tj. da se može opisati skup i specificirati objekt za koji se ne Operacije sa skupovima
Kartezijev produkt
može utvrditi da li pripada ili ne pripada tom skupu. skupova
Binarne relacije
Cantor – ne postoji skup svih skupova
Russellov paradoks o brijaču

U nekom selu postoji brijač koji brije sve one i samo one suseljane koji ne briju sami
sebe. Pitanje je, tko brije brijača?
Matematika I

Ako brijač brije sam sebe, onda on radi ono što ne bi smio jer mu u opisu radnog Skupovi i relacije
Skupovi
mjesta stoji da brije samo one koji se sami ne briju. Osnovni pojmovi teorije
skupova
Ako pak brijač ne brije sam sebe, morao bi to uraditi jer on brije one koji se sami ne Operacije sa skupovima
briju. Kartezijev produkt

skupova
Binarne relacije
Fregeov princip da svako svojstvo definira skup ne vrijedi. Zermelo je utvrdio da kod
zadavanja skupa treba uvažiti dodatan zahtjev da se elementi koji odreduju skup
uzimaju iz nekog univerzalnog skupa U na kojemu je definirano svojstvo P (x).
Najčešće je jasno o kojem se univerzalnom skupu radi pa se on ne spominje
eksplicitno. Skupove brojeva često koristimo kao univerzalne skupove.
Matematika I

Skupovi brojeva izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skup prirodnih brojeva Skupovi

N = {1, 2, 3, . . .} skupova
Skup cijelih brojeva Kartezijev produkt

skupova
Z = {. . . , −2, −1, 0, 1, 2, . . .} Binarne relacije
Skup racionalnih brojeva

nm o
Q= m ∈ Z, n ∈ N
n
Skup realnih brojeva: R = Q ∪ I
Skup kompleksnih brojeva
C = {x + yi | x, y ∈ R, i2 = −1}
Matematika I

Kardinalni broj konačnog skupa izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
skupova
Neka je A skup koji ima konačno mnogo elemenata. Operacije sa skupovima
Kartezijev produkt
Kardinalni broj skupa A je broj elemenata koje skup A sadrži. skupova
Binarne relacije
Oznake za kardinalni broj skupa A su
k(A), card A, |A|
Mi ćemo najćešće koristiti oznaku k(A).
Kasnije ćemo strogo matematički definirati pojam kardinalnog broja za bilo koji skup
(koji ne mora imati samo konačno mnogo elemenata).
Matematika I

Skupovi i relacije
Skupovi
Primjer 33. Osnovni pojmovi teorije

skupova
Odredite kardinalne brojeve skupova A = {1, 2, 5, 8} i B = {a, b, c, d}.
Kartezijev produkt
skupova
Binarne relacije
Matematika I

Skupovi i relacije
Skupovi

skupova
Odredite kardinalne brojeve skupova A = {1, 2, 5, 8} i B = {a, b, c, d}.
Kartezijev produkt
skupova
Rješenje. Binarne relacije
Skup A ima četiri elementa i skup B ima četiri elementa, pa je k(A) = 4 i k(B) = 4.
Ovdje odmah možemo primijetiti da ako dva skupa imaju isti kardinalni broj to ne
povlači da oni moraju biti jednaki, tj. da moraju imati iste elemente.
Matematika I
Relacije medu skupovima prof. dr. sc. Blaženka Divjak

Skupovi i relacije
Skup A je podskup skupa B ukoliko su svi elementi skupa A ujedno i elementi Skupovi
skupa B. skupova
A ⊆ B ⇔ ∀x(x ∈ A ⇒ x ∈ B) Kartezijev produkt
skupova
Binarne relacije
B
A
Matematika I

Jednakost skupova izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
skupova
Za dva skupa kažemo da su jednaka ukoliko sadrže iste elemente. Operacije sa skupovima
Kartezijev produkt
skupova
A = B ⇔ (A ⊆ B ∧ B ⊆ A) Binarne relacije
Primjer 34.
Da li su skupovi A = {a, b, c} i B = {c, c, a, b, b, b} jednaki?
Matematika I

Jednakost skupova izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
skupova
Za dva skupa kažemo da su jednaka ukoliko sadrže iste elemente. Operacije sa skupovima
Kartezijev produkt
skupova
A = B ⇔ (A ⊆ B ∧ B ⊆ A) Binarne relacije
Primjer 34.
Da li su skupovi A = {a, b, c} i B = {c, c, a, b, b, b} jednaki?
Rješenje.
A = B zato jer oni sadrže iste elemente. Nije važno ako je neki element napisan više
puta i nije važan redoslijed kojim su elementi napisani.
Matematika I

Pravi podskup izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
skupova
Kartezijev produkt
Skup A je pravi podskup skupa B ako je A podskup od B i B sadrži barem jedan skupova
element koji nije sadržan u A. Binarne relacije
A ⊂ B ⇔ (A ⊆ B ∧ A 6= B)
Vrijedi takoder

A ⊂ B ⇔ A ⊆ B ∧ ∃x(x ∈ B ∧ x ∈
/ A)
Matematika I

Neka je X = {1, 2, 3}, Y = {a, 1, b, 3, 2, 2}. Tada je X ⊆ Y jer je svaki element Skupovi i relacije
skupa X ujedno i element skupa Y . Medutim, vrijedi i X ⊂ Y jer je X ⊆ Y i Skupovi

X 6= Y . skupova
Kartezijev produkt
skupova
Za skupove brojeva vrijede sljedeće inkluzije
Binarne relacije
N⊂Z⊂Q⊂R⊂C
Očito je da vrijedi
Propozicija 1.
Za svaki skup A vrijedi A ⊆ A i ∅ ⊆ A.
Matematika I

∅ → Ovo je prazan skup i on nema niti jedan element.

Skupovi i relacije
{∅} → Ovo nije prazan skup. To je skup koji sadrži Skupovi

jedan element i taj element je baš prazan skup. skupova
Kratko rečeno, ovo je skup koji sadrži prazan Kartezijev produkt
skupova
skup, tj. ∅ ∈ {∅}. Binarne relacije
{{∅}} → Ovo je skup koji sadrži jedan element i taj ele-

ment je skup koji ima jedan element i taj ele-
ment je baš prazan skup. Kratko rečeno, to je
skup koji sadrži skup koji sadrži prazan skup, tj.
{∅} ∈ {{∅}}, ali ∅ ∈
/ {{∅}}.
Matematika I

{∅, {∅}} → Ovo je skup koji ima dva elementa ∅ i {∅}.
Skupovi i relacije
{{∅, {∅}}} → Ovo je skup koji ima samo jedan element Skupovi
{∅, {∅}}. skupova
Kartezijev produkt
skupova
Binarne relacije
Matematika I

Skupovi i relacije
Kartezijev produkt
skupova
Primjer 35.
Binarne relacije
Objasnite zašto vrijede sljedeće relacije: ∅ ⊆ {{∅}} i {∅} * {{∅}}.

Matematika I

Skupovi i relacije
Kartezijev produkt
skupova
Primjer 35.
Binarne relacije
Objasnite zašto vrijede sljedeće relacije: ∅ ⊆ {{∅}} i {∅} * {{∅}}.
Rješenje.
∅ ⊆ {{∅}} vrijedi zbog toga jer je prazan skup podskup svakog skupa.
Što se tiče druge relacije, s lijeve strane imamo skup koji ima jedan element i to baš
prazan skup, tj. ∅ ∈ {∅}, ali ∅ ∈
/ {{∅}} iz čega slijedi {∅} * {{∅}}.
Matematika I

Partitivni skup izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
skupova
Kartezijev produkt
skupova
Partitivni skup skupa A je skup svih podskupova od A. Binarne relacije
Partitivni skup skupa A označavamo sa P(A).
P(A) = {X : X ⊆ A}
Kako je ∅ ⊆ A i A ⊆ A, slijedi da je partitivni skup uvijek neprazan skup.

Matematika I

Skupovi i relacije
Skupovi
skupova
Odredite partitivni skup skupa A = {a, b, c}. Operacije sa skupovima
Kartezijev produkt
skupova
Binarne relacije
Matematika I

Skupovi i relacije
Skupovi
skupova
Kartezijev produkt
skupova
P(A) = ∅, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, A .
Matematika I

Skupovi i relacije
Skupovi
skupova
Kartezijev produkt
skupova
P(A) = ∅, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, A .
Uočimo da je u prethodnom primjeru bilo k(A) = 3, a k(P(A)) = 8 = 23 = 2k(A) .

To vrijedi i općenito za bilo koji konačan skup A.
Matematika I

Propozicija 2. Skupovi i relacije
Skupovi
Neka je A konačan skup i k(A) = n. Tada je k(P(A)) = 2n . Osnovni pojmovi teorije
skupova
Dokaz. Kartezijev produkt
skupova
Trebamo prebrojiti sve podskupove skupa A. Preciznije, trebamo vidjeti koliko Binarne relacije
k-članih podskupova ima skup A, pri čemu je k ∈ {0, 1, 2, . . . , n}. Broj k-članih
podskupova u n-članom skupu jednak je nk . Stoga je ukupni broj podskupova

skupa A jednak
n
X n
k(P(A)) =
k
k=0
Matematika I

Skupovi i relacije
Uvrstimo li x = y = 1 u binomnu formulu Skupovi

skupova
n
X n Operacije sa skupovima
(x + y)n = xn−k y k
k Kartezijev produkt
skupova
k=0
Binarne relacije
dobivamo
n
X n
2n = ,
k
k=0
pa je zaista
k(P(A)) = 2n .
Matematika I
Operacije sa skupovima prof. dr. sc. Blaženka Divjak

Skupovi i relacije
Unija dvaju skupova A i B je skup A ∪ B koji sadrži elemente sadržane u skupu A Skupovi
ili u skupu B. skupova
A ∪ B = {x : x ∈ A ∨ x ∈ B} Kartezijev produkt
skupova
Binarne relacije
B
A
AÈB
Matematika I

Presjek skupova izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Presjek dvaju skupova A i B je skup A ∩ B koji sadrži elemente koji pripadaju Skupovi
skupu A i skupu B. Osnovni pojmovi teorije

skupova
A ∩ B = {x : x ∈ A ∧ x ∈ B} Operacije sa skupovima
Kartezijev produkt
skupova
Binarne relacije
B
A
AÇ B
Za skupove A i B kažemo da su disjunktni ako nemaju zajedničkih elemenata, tj.

ako je A ∩ B = ∅.
Matematika I

Definicija unije i presjeka se može proširiti na više od dva skupa. Skupovi i relacije
Skupovi
Unija n skupova A1 , A2 , . . . , An je skup skupova

n
[ Kartezijev produkt
skupova
Ai = A1 ∪ A2 ∪ · · · ∪ An = {x : x ∈ A1 ∨ x ∈ A2 ∨ · · · ∨ x ∈ An }
Binarne relacije
i=1
Presjek n skupova A1 , A2 , . . . , An je skup

n
\
Ai = A1 ∩ A2 ∩ · · · ∩ An = {x : x ∈ A1 ∧ x ∈ A2 ∧ · · · ∧ x ∈ An }
i=1
Matematika I
Razlika skupova prof. dr. sc. Blaženka Divjak

Razlika dvaju skupova A i B je skup A \ B koji sadrži elemente koji pripadaju skupu Skupovi i relacije
Skupovi
A, a ne pripadaju skupu B. Osnovni pojmovi teorije
skupova
A \ B = {x : x ∈ A ∧ x ∈
/ B} Operacije sa skupovima
Kartezijev produkt
skupova
Binarne relacije
A B
A\ B
Matematika I
Komplement skupa prof. dr. sc. Blaženka Divjak

Komplement skupa A je skup Ac koji sadrži sve elemente univerzalnog skupa U Skupovi i relacije
Skupovi
koji nisu elementi skupa A. Ponekad komplement od A označavamo CA ili kada Osnovni pojmovi teorije
skupova
želimo naglasiti univerzalni skup CU A. Operacije sa skupovima
Kartezijev produkt
c
A = U \ A = {x : x ∈ U ∧ x ∈
/ A} skupova
Binarne relacije
C
A
A
Matematika I

Primjer 37.
Skupovi i relacije
Neka je U = {x ∈ N : 1 6 x 6 10} univerzalni skup i neka je A = {1, 2, 5, 6, 7, 8} i
Skupovi
B = {3, 4, 8, 1}. Odredimo A ∪ B, A ∩ B, A \ B, B \ A i Ac . Osnovni pojmovi teorije

skupova
Kartezijev produkt
skupova
Binarne relacije
Matematika I

Primjer 37.
Skupovi i relacije
Neka je U = {x ∈ N : 1 6 x 6 10} univerzalni skup i neka je A = {1, 2, 5, 6, 7, 8} i
Skupovi
B = {3, 4, 8, 1}. Odredimo A ∪ B, A ∩ B, A \ B, B \ A i Ac . Osnovni pojmovi teorije

skupova
Rješenje. Kartezijev produkt
skupova
Binarne relacije
A ∪ B = {1, 2, 5, 6, 7, 8, 3, 4}
A ∩ B = {1, 8}
A \ B = {2, 5, 6, 7}
B \ A = {3, 4}
Ac = {3, 4, 9, 10}
Matematika I

Svojstva skupovskih operacija izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
skupova
Idempotentnost Operacije sa skupovima

Kartezijev produkt
A ∪ A = A, A∩A=A skupova
Binarne relacije
Komutativnost
A ∪ B = B ∪ A, A∩B =B∩A
Asocijativnost
(A ∪ B) ∪ C = A ∪ (B ∪ C)
(A ∩ B) ∩ C = A ∩ (B ∩ C)
Matematika I

Distributivnost Skupovi i relacije
Skupovi
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) Osnovni pojmovi teorije

skupova
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) Operacije sa skupovima
Kartezijev produkt
skupova
De Morganovi zakoni Binarne relacije
(A ∩ B)c = Ac ∪ B c
(A ∪ B)c = Ac ∩ B c
Zakon involucije
(Ac )c = A
Matematika I

Zakon identitete
Skupovi i relacije
Skupovi
A ∪ ∅ = A, A∩∅=∅ Osnovni pojmovi teorije
skupova
A ∪ U = U, A∩U =A Operacije sa skupovima
Kartezijev produkt
skupova
Binarne relacije
Primjer 38.
Dokažimo da je (A ∪ B)c = Ac ∩ B c .
Matematika I

Zakon identitete
Skupovi i relacije
Skupovi
A ∪ ∅ = A, A∩∅=∅ Osnovni pojmovi teorije
skupova
A ∪ U = U, A∩U =A Operacije sa skupovima
Kartezijev produkt
skupova
Binarne relacije
Primjer 38.
Dokažimo da je (A ∪ B)c = Ac ∩ B c .
Rješenje.
Dokazat ćemo ovu jednakost na dva načina. Prvi način je pomoću tablice pripadnosti
koji se ne može uvijek primijeniti, a drugi način je direktan koji se bazira na definiciji
jednakosti dva skupa. Drugi način je zapravo pravi matematički dokaz.
Matematika I
Pomoću tablice pripadnosti prof. dr. sc. Blaženka Divjak

Ako izaberemo neki element x iz univerzalnog skupa U , tada u slučaju dva skupa A i
Skupovi i relacije
B imamo samo 4 moguća slučaja: Skupovi
skupova
(1) x ∈ A, x ∈ B (2) x ∈ A, x ∈
/B Operacije sa skupovima
(3) x ∈
/ A, x ∈ B (4) x ∈
/ A, x ∈
/B Kartezijev produkt
skupova
Binarne relacije
Na temelju toga radimo tablicu pripadnosti koja se radi na sličan način kao i
semantička tablica za formulu algebre sudova.
A B A∪B (A ∪ B)c Ac Bc Ac ∩ B c
∈ ∈ ∈ ∈
/ ∈
/ ∈
/ ∈
/
∈ ∈
/ ∈ ∈
/ ∈
/ ∈ ∈
/
∈
/ ∈ ∈ ∈
/ ∈ ∈
/ ∈
/
∈
/ ∈
/ ∈
/ ∈ ∈ ∈ ∈
Matematika I

Skupovi i relacije
Direktan dokaz preko definicije jednakosti skupova
Skupovi
c c c
Relacija (A ∪ B) = A ∩ B je zapravo jednakost dva skupa, a iz definicije Osnovni pojmovi teorije
skupova
jednakosti skupova slijedi da moramo dokazati da vrijede sljedeće inkluzije: Operacije sa skupovima
Kartezijev produkt
skupova
(A ∪ B)c ⊆ Ac ∩ B c i Ac ∩ B c ⊆ (A ∪ B)c . Binarne relacije

Matematika I

Skupovi i relacije
Direktan dokaz preko definicije jednakosti skupova
Skupovi
c c c
Relacija (A ∪ B) = A ∩ B je zapravo jednakost dva skupa, a iz definicije Osnovni pojmovi teorije
skupova
jednakosti skupova slijedi da moramo dokazati da vrijede sljedeće inkluzije: Operacije sa skupovima
Kartezijev produkt
skupova
(A ∪ B)c ⊆ Ac ∩ B c i Ac ∩ B c ⊆ (A ∪ B)c . Binarne relacije
Dokažimo prvo da je (A ∪ B)c ⊆ Ac ∩ B c . Moramo zapravo dokazati da je svaki

element skupa (A ∪ B)c ujedno i element skupa Ac ∩ B c . Uzmimo stoga bilo koji
x ∈ (A ∪ B)c . To znači da x ∈
/ A ∪ B. Ako neki element ne pripadi uniji dva skupa,
tada on ne pripada niti jednom od ta dva skupa. Dakle, x ∈
/Aix∈
/ B.
Matematika I

Skupovi i relacije
No, tada je x ∈ Ac i x ∈ B c . Stoga je x ∈ Ac ∩ B c (ako neki element pripada nekim Skupovi
dvama skupovima, tada on pripada i njihovom presjeku). skupova
Sjetimo se sada od čega smo krenuli. Uzeli smo bilo koji x ∈ (A ∪ B)c i dokazali da Operacije sa skupovima
Kartezijev produkt
je tada x ∈ Ac ∩ B c , tj. dokazali smo skupova
Binarne relacije
∀x x ∈ (A ∪ B)c ⇒ x ∈ Ac ∩ B , c

a to znači da je
(A ∪ B)c ⊆ Ac ∩ B c .
Matematika I

Na sličan način dokazujemo da je Ac ∩ B c ⊆ (A ∪ B)c . Uzmimo bilo koji Skupovi i relacije
Skupovi
y ∈ Ac ∩ B c . Iz definicije presjeka dva skupa slijedi da je tada y ∈ Ac i y ∈ B c . Iz Osnovni pojmovi teorije
skupova
definicije komplementa skupa slijedi y ∈
/Aiy∈
/ B. Iz ovoga slijedi y ∈
/ A ∪ B (ako Operacije sa skupovima
Kartezijev produkt
neki element ne pripada nekim dvama skupovima, tada on ne pripada niti njihovoj skupova
uniji). No, tada je y ∈ (A ∪ B)c . Dakle, dokazali smo da vrijedi Binarne relacije
∀y y ∈ Ac ∩ B c ⇒ y ∈ (A ∪ B)c ,

odnosno da je
Ac ∩ B c ⊆ (A ∪ B)c .
Matematika I

Dakle, dokazali smo da je Skupovi i relacije
Skupovi
(A ∪ B)c ⊆ Ac ∩ B c i Ac ∩ B c ⊆ (A ∪ B)c , Osnovni pojmovi teorije

skupova
a po definiciji jednakosti dva skupa to znači da je Kartezijev produkt

skupova
Binarne relacije
(A ∪ B)c = Ac ∩ B c .
Zadatak 5.
Dokažite preostala navedena svojstva skupovskih operacija na dva načina, preko
tablice pripadnosti i direktno preko definicije jednakosti skupova.
Matematika I
Simetrična razlika prof. dr. sc. Blaženka Divjak

Simetrična razlika dvaju skupova A i B je skup A 4 B koji sadrži elemente koji Skupovi i relacije
Skupovi
pripadaju uniji skupova A i B, a istovremeno nisu sadržani u presjeku skupova A i B.
skupova
A 4 B = (A ∪ B) \ (A ∩ B) Operacije sa skupovima
Kartezijev produkt
A 4 B = (A \ B) ∪ (B \ A) skupova
Binarne relacije
B
A
AD B
Matematika I

Zadatak 6. izv. prof. dr. sc. Z. Erjavec
Dokažite da su navedene definicije simetrične razlike ekvivalentne. Dokaz provedite Skupovi i relacije
na dva načina, preko tablice pripadnosti i direktno. Skupovi

skupova
Zadatak 7. Operacije sa skupovima

Kartezijev produkt
Dokažite da je simetrična razlika komutativna i asocijativna operacija. Dokaz skupova
Binarne relacije
provedite na dva načina, preko tablice pripadnosti i direktno.
Tablica pripadnosti za simetričnu razliku:
A B A4B
∈ ∈ ∈
/
∈ ∈
/ ∈
∈
/ ∈ ∈
∈
/ ∈
/ ∈
/
Matematika I

Kartezijev produkt skupova izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
skupova
Dvočlani skup {a, b} zove se par. Kako se radi o skupu, vrijedi {a, b} = {b, a}. Kartezijev produkt
skupova
Ovakav skup može se urediti tako da razlikujemo njegovu prvu i drugu komponentu Binarne relacije
i u tom slučaju ga zovemo uredenim parom i za njega koristimo oznaku (a, b).
Općenito je (a, b) 6= (b, a), a jednakost vrijedi jedino u slučaju a = b.
Definicija uredenog para (K. Kuratowski)

(a, b) = a, {a, b}
Matematika I

Skupovi i relacije
Skupovi
Neka su A i B neprazni skupovi. Kartezijev produkt skupova A i B je skup A × B skupova
koji se sastoji od svih uredenih parova čija prva komponenta pripada skupu A, a Kartezijev produkt
skupova
druga skupu B. Binarne relacije

A × B = (x, y) : x ∈ A, y ∈ B
U slučaju da je A = ∅ ili B = ∅, tada je A × B = ∅.

Matematika I

2
Kartezijev produkt A × A zapisujemo kratko A i zovemo ga Kartezijevim Skupovi i relacije
kvadratom skupa A. Skupovi

2
A =A×A skupova
Kartezijev produkt
Kartezijev produkt skupova može se proširiti i na konačno mnogo skupova. skupova
Neka su A1 , A2 , . . . , An neprazni skupovi. Kartezijev produkt skupova Binarne relacije
A1 , A2 , . . . , An je skup

A1 × A2 × · · · × An = (a1 , a2 , . . . , an ) : ai ∈ Ai , i = 1, . . . , n
(a1 , a2 , . . . , an ) zovemo uredenom n-torkom i kod nje je važan poredak elemenata.

Element ai zove se i-ta komponenta n-torke.
Matematika I

Skupovi i relacije
U slučaju da je za neki i ∈ {1, 2, . . . , n} Ai = ∅, tada je A1 × A2 × · · · × An = ∅. Skupovi

skupova
n
A = A × A × ··· × A Operacije sa skupovima
| {z } Kartezijev produkt
n skupova
Binarne relacije
Napomena.
Definicija Kartezijevog produkta skupova može se proširiti i na beskonačno mnogo
skupova. Medutim, mi ovdje nećemo toliko duboko ulaziti u tu teoriju.
Matematika I
Primjer 39. izv. prof. dr. sc. Z. Erjavec
Neka je A = {1, 2, 3} i B = {a, b}. Odredimo A × B, B × A i A2 . Skupovi i relacije
Skupovi
skupova
Kartezijev produkt
skupova
Binarne relacije
Matematika I
Skupovi
Rješenje. skupova
A × B = (1, a), (1, b), (2, a), (2, b), (3, a), (3, b) Kartezijev produkt
skupova
B × A = (a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3) Binarne relacije
A2 = (1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3)

Matematika I
Skupovi
Rješenje. skupova
A × B = (1, a), (1, b), (2, a), (2, b), (3, a), (3, b) Kartezijev produkt
skupova
B × A = (a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3) Binarne relacije
A2 = (1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3)

Oprez! Odmah je vidljivo da nije A2 = {1, 4, 9}, jer smo se dogovorili da kada se
radi o skupovima i vrijedi A2 = A × A.
Takoder, uočavamo da je
A × B 6= B × A
Matematika I

Prikažite grafički A × B ako je Skupovi i relacije
(a) A = {1, 2, 3}, B = {1, 3, 5} (b) A = [1, 3], B = h2, 5] Skupovi

skupova
Rješenje. Operacije sa skupovima
Kartezijev produkt
skupova
Binarne relacije
Matematika I

(a) A = {1, 2, 3}, B = {1, 3, 5} (b) A = [1, 3], B = h2, 5] Skupovi

skupova
Kartezijev produkt
(a) y skupova
Binarne relacije
5
1 4 x
2 3
Matematika I

(a) A = {1, 2, 3}, B = {1, 3, 5} (b) A = [1, 3], B = h2, 5] Skupovi

skupova
Kartezijev produkt
(a) y (b) y skupova
Binarne relacije
5 5
4 4
3 3
2 2
1 1
1 4 x 1 4 x
2 3 2 3
Matematika I

Skupovi i relacije
Primjer 41. Skupovi

skupova
Što predstavljaju sljedeći Kartezijevi produkti:
(a) pravac × pravac (b) pravac × kružnica Kartezijev produkt

skupova
Binarne relacije
Matematika I

Skupovi i relacije
Primjer 41. Skupovi

skupova
Što predstavljaju sljedeći Kartezijevi produkti:
(a) pravac × pravac (b) pravac × kružnica Kartezijev produkt

skupova
Binarne relacije
Rješenje.
pravac × pravac = ravnina
pravac × kružnica = cilindar
Matematika I

Primjer 42. Skupovi i relacije
Skupovi
Dokažite da vrijedi A × (B ∪ C) = (A × B) ∪ (A × C). Osnovni pojmovi teorije
skupova
Kartezijev produkt
skupova
Binarne relacije
Matematika I

Skupovi
skupova
skupova
Treba dokazati jednakost dva skupa, a to znači da treba dokazati da je Binarne relacije
A × (B ∪ C) ⊆ (A × B) ∪ (A × C) i (A × B) ∪ (A × C) ⊆ A × (B ∪ C).
Matematika I

Skupovi
skupova
skupova
Treba dokazati jednakost dva skupa, a to znači da treba dokazati da je Binarne relacije
A × (B ∪ C) ⊆ (A × B) ∪ (A × C) i (A × B) ∪ (A × C) ⊆ A × (B ∪ C).
Dokažimo prvo da je A × (B ∪ C) ⊆ (A × B) ∪ (A × C). Neka je x ∈ A × (B ∪ C)

proizvoljan. To znači da je x = (x1 , x2 ) pri čemu je (x1 ∈ A) ∧ (x2 ∈ B ∪ C),

odnosno (x1 ∈ A) ∧ (x2 ∈ B) ∨ (x2 ∈ C) . Koristeći distributivnost konjunkcije

prema disjunkciji, slijedi da je (x1 ∈ A) ∧ (x2 ∈ B) ∨ (x1 ∈ A) ∧ (x2 ∈ C) .
Matematika I

Kako je x = (x1 , x2 ), slijedi da je izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
(x ∈ A × B) ∨ (x ∈ A × C),
Skupovi
skupova
odnosno
x ∈ (A × B) ∪ (A × C). Kartezijev produkt
skupova
Binarne relacije
Dakle, zaista je A × (B ∪ C) ⊆ (A × B) ∪ (A × C).
Matematika I

Kako je x = (x1 , x2 ), slijedi da je izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
(x ∈ A × B) ∨ (x ∈ A × C),
Skupovi
skupova
odnosno
x ∈ (A × B) ∪ (A × C). Kartezijev produkt
skupova
Binarne relacije
Dakle, zaista je A × (B ∪ C) ⊆ (A × B) ∪ (A × C).
Dokažimo još da je i (A × B) ∪ (A × C) ⊆ A × (B ∪ C). Neka je

y ∈ (A × B) ∪ (A × C) proizvoljan. To znači da je
(y ∈ A × B) ∨ (y ∈ A × C) . Slijedi da je y = (y1 , y2 ) pri čemu vrijedi

(y1 ∈ A) ∧ (y2 ∈ B) ∨ (y1 ∈ A) ∧ (y2 ∈ C) .
::::: :::::
Matematika I

Skupovi i relacije
Skupovi
Koristeći distributivnost konjunkcije prema disjunkciji, slijedi da je Osnovni pojmovi teorije
skupova
(y1 ∈ A) ∧ (y2 ∈ B) ∨ (y2 ∈ C) , Kartezijev produkt
skupova
Binarne relacije
odnosno
(y1 ∈ A) ∧ (y2 ∈ B ∪ C).
Kako je y = (y1 , y2 ), slijedi da je y ∈ A × (B ∪ C), pa je stvarno

(A × B) ∪ (A × C) ⊆ A × (B ∪ C).
Matematika I

Binarne relacije izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
Pojam relacije je važan matematički pojam koji ima široku primjenu u informatici Svojstva binarnih relacija
(relacijske baze podataka), gdje se često upotrebljavaju specijalne relacije kao što su Relacija parcijalnog
uredaja
relacije ekvivalencije, relacije parcijalnog uredaja i funkcije koje možemo promatrati
kao relacije. Kardinalni broj skupa
Posebno ćemo promatrati binarne relacije koje se najviše pojavljuju u raznim

primjenama i njih ćemo kratko zvati relacije.
Matematika I

Skupovi i relacije
Skupovi
Binarne relacije
Definicija. Obrat,
Neka su A i B neprazni skupovi. komplement i dualna
relacija
Svaki podskup ρ od A × B zovemo relacija iz A u B. Svojstva binarnih relacija

Ako je (a, b) ∈ ρ, tada kratko pišemo a ρ b i kažemo da je a u relaciji ρ sa b. Relacija parcijalnog
uredaja
Ako je (a, b) ∈
/ ρ, tada pišemo a
ρ b i kažemo da a nije u relaciji ρ sa b. Funkcije kao relacije
Matematika I

Skupovi
A = {Ivo, Joža, Marko, Stjepan}, B = {Katica, Maja, Ivona} Binarne relacije
Definicija. Obrat,
Neka je relacija ρ = ”biti zaljubljen” i uzmimo da je komplement i dualna

relacija
ρ= (Ivo, Katica), (Joža, Ivona), (Marko, Katica), (Stjepan, Maja) . Relacija ekvivalencije
Relacija parcijalnog
Očito je ρ ⊆ A × B, pa je ρ jedna relacija iz A u B. uredaja
Npr., (Ivo, Katica) ∈ ρ, odnosno vrijedi Ivo ρ Katica, tj. riječima bismo rekli ”Ivo je zaljubljen Kardinalni broj skupa
u Katicu”.
(Stjepan, Katica) ∈
/ ρ, odnosno vrijedi Stjepan
ρ Katica, odnosno riječima bismo rekli
”Stjepan nije zaljubljen u Katicu”.
Matematika I

Primjer 44.
Skupovi i relacije
Neka je A = {a, b, c} i B = {1, 2}. Napišite barem dvije relacije iz A u B i iz B u A. Skupovi

Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I

Primjer 44.
Skupovi i relacije
Neka je A = {a, b, c} i B = {1, 2}. Napišite barem dvije relacije iz A u B i iz B u A. Skupovi

Binarne relacije
Definicija. Obrat,
Rješenje. komplement i dualna
relacija
Trebamo zapravo napisati dva proizvoljna podskupa na A × B, odnosno B × A. Svojstva binarnih relacija
ρ1 = (a, 1), (b, 1) ← relacija iz A u B uredaja

ρ2 = (b, 2) ← relacija iz A u B Kardinalni broj skupa

ρ3 = (1, c), (1, b), (2, b) ← relacija iz B u A
ρ4 = ∅ ← relacija iz B u A (prazna relacija)
Matematika I

Skupovi i relacije
Skupovi
Primjer 45. Binarne relacije

Definicija. Obrat,
komplement i dualna
Ako je k(A) = m, k(B) = n, koliko ima različitih binarnih relacija iz A u B? relacija
uredaja
Matematika I

Skupovi i relacije
Skupovi
Primjer 45. Binarne relacije

Definicija. Obrat,
komplement i dualna
Ako je k(A) = m, k(B) = n, koliko ima različitih binarnih relacija iz A u B? relacija
Rješenje. Relacija ekvivalencije

uredaja
Kako je k(A) = m, k(B) = n, slijedi da je k(A × B) = mn. Relacija je proizvoljan Funkcije kao relacije
podskup od A × B pa je broj različitih relacija iz A u B jednak ukupnom broju Kardinalni broj skupa
mn
podskupova od A × B, a taj broj je jednak 2 .
Matematika I

Relacije medu elementima zadanog skupa izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Pretpostavimo da je ρ relacija na skupu A, tj. ρ ⊆ A × A. Definicija. Obrat,

komplement i dualna
relacija
Takva relacija ρ se može prikazati pomoću dijagrama kojeg nazivamo grafom Svojstva binarnih relacija
relacije. Relacija ekvivalencije

uredaja
Čvor ili vrh grafa je svaki element skupa A, a svakom uredenom paru (a, b) ∈ ρ Funkcije kao relacije
pridružen je jedan luk pri čemu se prva komponenta naziva izlaznim čvorom grafa, a
druga komponenta ulaznim čvorom.
Matrica incidencije relacije ρ ⊆ A × A je tablica u kojoj se na odgovarajućem

mjestu nalazi 1 ili 0, ovisno o tome jesu li odgovarajući elementi u relaciji ρ ili nisu.
Matematika I
Primjer 46.
Prikažite sljedeće relacije pomoću grafa i matrice incidencije: izv. prof. dr. sc. Z. Erjavec

a A = {1, 2, 3, 4}, ρ ⊆ A2 , ρ = (x, y) : x | y Skupovi i relacije
Skupovi

b A = {a, b, c}, ρ ⊆ A2 , ρ = (a, a), (a, c), (b, b), (c, a) Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I
Primjer 46.
Prikažite sljedeće relacije pomoću grafa i matrice incidencije: izv. prof. dr. sc. Z. Erjavec

a A = {1, 2, 3, 4}, ρ ⊆ A2 , ρ = (x, y) : x | y Skupovi i relacije
Skupovi

b A = {a, b, c}, ρ ⊆ A2 , ρ = (a, a), (a, c), (b, b), (c, a) Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
Rješenje. Svojstva binarnih relacija
Graf relacije Relacija ekvivalencije
(a) Matrica incidencije Relacija parcijalnog
uredaja
/ 4 3
x y 1 2 3 4 Kardinalni broj skupa
1 1 1 1 1
2 0 1 0 1
3 0 0 1 0
4 0 0 0 1
1 2
Matematika I

(b) Matrica incidencije Graf relacije
Skupovi i relacije
/ c
x y a b c Skupovi
Binarne relacije
a 1 0 1 Definicija. Obrat,
komplement i dualna
b 0 1 0 relacija
c 1 0 0 Relacija ekvivalencije
uredaja
a b
Matematika I

Obrat, komplement i dualna relacija izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Neka je ρ ⊆ A2 . Definicija. Obrat,
komplement i dualna
relacija
Obrat ρ̄ relacije ρ Svojstva binarnih relacija
(a, b) ∈ ρ̄ ⇔ (b, a) ∈ ρ Relacija ekvivalencije

uredaja
c
Komplement ρ relacije ρ Funkcije kao relacije
(a, b) ∈ ρc ⇔ (a, b) ∈
/ρ
Dualna relacija ρd relacije ρ
(a, b) ∈ ρd ⇔ (b, a) ∈
/ρ
Matematika I


2 d c
Neka je ρ ⊆ A relacija. Tada vrijedi ρ = ρ̄ = ρc . Skupovi
Binarne relacije
Definicija. Obrat,
Dokaz. komplement i dualna
relacija
Dokažimo prvo da je ρd = ρc . Treba zapravo dokazati jednakost dvaju skupova. Svojstva binarnih relacija
d c
(a, b) ∈ ρ ⇔ (b, a) ∈
/ ρ ⇔ (b, a) ∈ ρ ⇔ (a, b) ∈ ρc uredaja
Dakle, zaista je ρd = ρc . Dokažimo još da je ρ̄c = ρc .
(a, b) ∈ ρ̄c ⇔ (a, b) ∈ / ρ ⇔ (b, a) ∈ ρc ⇔ (a, b) ∈ ρc

/ ρ̄ ⇔ (b, a) ∈
Dakle, zaista je i ρ̄c = ρc .

Matematika I

Primjer 47.
Skupovi i relacije
Neka je A = {a, b, c} i ρ = (a, b), (a, c), (b, a), (b, b) . Skupovi
Binarne relacije
Odredite obrat, komplement i dualnu relaciju od ρ.
Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I

Primjer 47.
Skupovi i relacije
Neka je A = {a, b, c} i ρ = (a, b), (a, c), (b, a), (b, b) . Skupovi
Binarne relacije
Odredite obrat, komplement i dualnu relaciju od ρ.
Definicija. Obrat,
komplement i dualna
relacija

ρ̄ = (b, a), (c, a), (a, b), (b, b) Relacija ekvivalencije

A × A = (a, a), (a, b), (a, c), (b, a), (b, b), (b, c), uredaja

(c, a), (c, b), (c, c) Kardinalni broj skupa
ρc = A × A \ ρ = (a, a), (b, c), (c, a), (c, b), (c, c)

ρd = ρc = (a, a), (c, b), (a, c), (b, c), (c, c)

Matematika I

Svojstva binarnih relacija izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Binarna relacija ρ ⊆ A × A je Definicija. Obrat,
komplement i dualna
1 refleksivna ako vrijedi relacija
(∀x ∈ A) (x, x) ∈ ρ Relacija ekvivalencije
uredaja
2 simetrična ako vrijedi Funkcije kao relacije
(∀x, y ∈ A) (x, y) ∈ ρ ⇒ (y, x) ∈ ρ
3 tranzitivna ako vrijedi

(∀x, y, z ∈ A) (x, y) ∈ ρ ∧ (y, z) ∈ ρ ⇒ (x, z) ∈ ρ
Matematika I

4 antisimetrična ako vrijedi
Skupovi i relacije

(∀x, y ∈ A) (x, y) ∈ ρ ∧ (y, x) ∈ ρ ⇒ x = y Skupovi
Binarne relacije
Definicija. Obrat,
ili ekvivalentno komplement i dualna
relacija
(∀x, y ∈ A) (x, y) ∈ ρ ∧ x 6= y ⇒ (y, x) ∈ ρc

uredaja
5 irefleksivna ako vrijedi Funkcije kao relacije

(∀x ∈ A) (x, x) ∈
/ρ
6 asimetrična ako vrijedi

(∀x, y ∈ A) (x, y) ∈ ρ ⇒ (y, x) ∈ ρc
Matematika I

Skupovi i relacije
Skupovi
7 kompletna ako vrijedi Binarne relacije

Definicija. Obrat,
komplement i dualna
relacija
(∀x, y ∈ A, x 6= y) (x, y) ∈ ρ ∨ (y, x) ∈ ρ Svojstva binarnih relacija
8 strogo kompletna ako vrijedi Relacija parcijalnog

uredaja
(∀x, y ∈ A) (x, y) ∈ ρ ∨ (y, x) ∈ ρ Kardinalni broj skupa

Matematika I

Skupovi i relacije
Skupovi
Binarne relacije
Lema 1.
Definicija. Obrat,
Neka je ρ ⊆ A2 irefleksivna i tranzitivna relacija. Tada je ρ asimetrična relacija. komplement i dualna

relacija
Dokaz. Relacija ekvivalencije

Pretpostavimo suprotno, tj. da ρ nije asimetrična relacija. Tada postoje a, b ∈ A uredaja
takvi da je (a, b) ∈ ρ i (b, a) ∈ ρ. Po pretpostavci je ρ tranzitivna pa je tada Kardinalni broj skupa
(a, a) ∈ ρ, što je kontradikcija s pretpostavkom da je ρ irefleksivna relacija.

Matematika I

Skupovi i relacije
Pogledajmo sada primjer relacije koja je antisimetrična, a nije asimetrična.
Skupovi

Neka je A = {1, 2, 3}, a ρ = (1, 1), (2, 2) . Tada je ρ antisimetrična relacija. Binarne relacije
Definicija. Obrat,
komplement i dualna
Dokažimo to. Razlikujemo dva slučaja. relacija
a Ako je (x, y) ∈ ρ, tada je x = y pa je implikacija Relacija ekvivalencije
uredaja
(x, y) ∈ ρ ∧ x 6= y ⇒ (y, x) ∈ ρc

| {z } | {z }
0 Kardinalni broj skupa
1
| {z }
0
istinita (nula povlači bilo što je uvijek istina).

Matematika I
b Ako (x, y) ∈
/ ρ, tada je implikacija prof. dr. sc. Blaženka Divjak
(x, y) ∈ ρ ∧ x 6= y ⇒ (y, x) ∈ ρc

Skupovi i relacije
| {z } Skupovi
0
| {z } Binarne relacije
0 Definicija. Obrat,
komplement i dualna
relacija
istinita (nula povlači bilo što je uvijek istina). Svojstva binarnih relacija
Medutim ρ nije asimetrična relacija. Naime, da bi ρ bila asimetrična relacija, trebalo Relacija parcijalnog
uredaja
bi vrijediti Funkcije kao relacije
(∀x, y ∈ A) (x, y) ∈ ρ ⇒ (y, x) ∈ ρc . Kardinalni broj skupa
No, to ne vrijedi za x = 1 i y = 1 zbog
(1, 1) ∈ ρ ⇒ (1, 1) ∈ ρc
| {z } | {z }
1 0
| {z }
0
Matematika I

Skupovi i relacije
Skupovi
Vidjeli smo da nije svaka antisimetrična relacija ujedno i asimetrična. Medutim, Binarne relacije
Definicija. Obrat,
svaka asimetrična relacija je i antisimetrična relacija. Naime, iz definicije asimetrične komplement i dualna
relacija
relacije slijedi da je uvijek barem jedna od tvrdnji (x, y) ∈ ρ i (y, x) ∈ ρ lažna pa je Svojstva binarnih relacija
implikacija Relacija parcijalnog

(x, y) ∈ ρ ∧ (y, x) ∈ ρ ⇒ x = y uredaja
| {z } Funkcije kao relacije
0 Kardinalni broj skupa
istinita, što znači da je ta relacija antisimetrična.

Matematika I

Skupovi i relacije
Skupovi
Pogledajmo razliku izmedu kompletne i strogo kompletne relacije. Binarne relacije

Definicija. Obrat,
komplement i dualna
Relacija 6 ”biti manji od” je strogo kompletna relacija na skupu R jer za svaka dva relacija
broja x i y vrijedi jedna od tvrdnji x 6 y ili y 6 x. Relacija ekvivalencije
Relacija < ”biti strogo manji od” je kompletna relacija na R jer za svaka dva uredaja
različita broja x i y vrijedi jedna od tvrdnji x < y ili y < x. Medutim, ta relacija nije Kardinalni broj skupa
strogo kompletna jer ne vrijedi x < x, tj. broj nije strogo manji od samog sebe.
Matematika I

Relacija ekvivalencije izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Relacija ekvivalencije predstavlja oslabljeni oblik jednakosti. Detaljnije ćemo to Binarne relacije
Definicija. Obrat,
kasnije objasniti. komplement i dualna
relacija
Neka je ρ ⊆ A2 . Relacija ρ je relacija ekvivalencije ako je Svojstva binarnih relacija

1 refleksivna, tj.
uredaja
(∀x ∈ A) (x, x) ∈ ρ Funkcije kao relacije

2 simetrična, tj.
(∀x, y ∈ A) (x, y) ∈ ρ ⇒ (y, x) ∈ ρ
3 tranzitivna, tj.

(∀x, y, z ∈ A) (x, y) ∈ ρ ∧ (y, z) ∈ ρ ⇒ (x, z) ∈ ρ
Matematika I

Skupovi i relacije
Primjer 48. Skupovi

Binarne relacije
Primjeri relacija ekvivalencije: Definicija. Obrat,

komplement i dualna
relacija
1 Univerzalna relacija – svi elementi skupa su u relaciji sa svima, tj. ρ = A × A Svojstva binarnih relacija
2 Jednakost ”=” na skupu A Relacija parcijalnog
uredaja
3 Paralelnost ”k” na skupu svih pravaca ravnine Funkcije kao relacije
4 Sukladnost trokuta na skupu svih trokuta ravnine
5 Sličnost trokuta na skupu svih trokuta ravnine
Matematika I

Skupovi i relacije
Pogledajmo zašto je relacija ”biti paralelan” relacija ekvivalencije na skupu svih Skupovi
pravaca ravnine. Trebamo provjeriti je li ta relacija refleksivna, simetrična i Binarne relacije

Definicija. Obrat,
tranzitivna. komplement i dualna
relacija
Je li refleksivna? Drugim riječima, da li je svaki pravac paralelan sam sa sobom? Da. Relacija ekvivalencije
Je li simetrična? Drugim riječima, ako je pravac p paralelan s pravcem q, da li je uredaja
onda pravac q paralelan s pravcem p? Da. Kardinalni broj skupa
Je li tranzitivna? Drugim riječima, ako je pravac p paralelan s pravcem q, i ako je

pravac q paralelan s pravcem r, da li je onda pravac p paralelan s pravcem r? Da.
Matematika I

2

Neka je A = {1, 2, 3, 4}, ρ ⊆ A , ρ = (x, y) : x − y je neparan ili 0 . Ispišite Skupovi i relacije
elemente zadane relacije i prikažite je pomoću tablice i grafa. Je li to relacija Skupovi

Binarne relacije
ekvivalencije? Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I

2

Neka je A = {1, 2, 3, 4}, ρ ⊆ A , ρ = (x, y) : x − y je neparan ili 0 . Ispišite Skupovi i relacije
elemente zadane relacije i prikažite je pomoću tablice i grafa. Je li to relacija Skupovi

Binarne relacije
ekvivalencije? Definicija. Obrat,
komplement i dualna
relacija
ρ = (1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (2, 3), (3, 2), (3, 3), (3, 4), (4, 1), (4, 3), (4, 4) Relacija parcijalnog
uredaja
Matrica incidencije Kardinalni broj skupa
/
x y 1 2 3 4
1 1 1 0 1
2 1 1 1 0
3 0 1 1 1
4 1 0 1 1
Matematika I

Graf relacije ρ izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
1 Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
2 4 Relacija parcijalnog
uredaja
Relacija ρ je refleksivna jer je svaki element iz A u relaciji sam sa sobom, što se vidi
takoder iz tablice jer se na glavnoj dijagonali nalaze jedinice. To isto se vidi i iz grafa
jer u svakom vrhu imamo petlju.
Matematika I

Skupovi i relacije
Skupovi
Relacija ρ je simetrična jer je njezina matrica incidencije simetrična s obzirom na Binarne relacije
glavnu dijagonalu, tj. kada god je (a, b) ∈ ρ, tada je i (b, a) ∈ ρ. Takoder, simetriju Definicija. Obrat,
komplement i dualna
relacija
možemo lagano vidjeti i sa grafa. Naime, ako imamo neki brid koji počinje u vrhu a, Svojstva binarnih relacija
a završava u vrhu b, tada moramo imati i brid koji počinje u vrhu b, a završava u Relacija ekvivalencije
vrhu a da bi relacija bila simetrična. uredaja
Zadana relacija ρ nije tranzitivna jer, npr. (1, 2) ∈ ρ i (2, 3) ∈ ρ, ali (1, 3) ∈
/ ρ. Kardinalni broj skupa
Dakle, relacija ρ nije relacija ekvivalencije zbog toga jer nije tranzitivna.
Matematika I


Neka je A skup. Particijom skupa A zovemo skup Ai : i ∈ I nepraznih
podskupova od A takvih da vrijedi: Skupovi i relacije
[ Skupovi
a Ai = A Binarne relacije
Definicija. Obrat,
i∈I komplement i dualna
relacija
b Ai ∩ Aj = ∅ ako je i 6= j, ∀i, j ∈ I Svojstva binarnih relacija
Neka je ρ relacija ekvivalencije na skupu A. Za a ∈ A klasa ekvivalencije [a]ρ uredaja
elementa a s obzirom na relaciju ρ je skup Kardinalni broj skupa

[a]ρ = x ∈ A : x ρ a .
Jednostavnije rečeno, to su svi oni elementi koji su u relaciji ρ s elementom a.

Element a (ili bilo koji drugi element iz [a]ρ ) zovemo reprezentantom te klase.
Matematika I

Neka je A skup svih stanovnika Hrvatske. Neka je ρ relacija na skupu A definirana sa Skupovi
Binarne relacije
Definicija. Obrat,
ρ = (a, b) ∈ A2 : a i b stanuju u istoj županiji .

komplement i dualna
relacija
Odredite klase ekvivalencije relacije ρ. Relacija ekvivalencije

uredaja
Matematika I

Neka je A skup svih stanovnika Hrvatske. Neka je ρ relacija na skupu A definirana sa Skupovi
Binarne relacije
Definicija. Obrat,
ρ = (a, b) ∈ A2 : a i b stanuju u istoj županiji .

komplement i dualna
relacija
Odredite klase ekvivalencije relacije ρ. Relacija ekvivalencije

uredaja
Rješenje. Funkcije kao relacije

Jasno je da je ρ relacija ekvivalencije. Klase ekvivalencije su županije. Npr., ako je
a ∈ A stanovnik Varaždinske županije, tada je [a]ρ skup svih stanovnika Varaždinske
županije pa bismo kratko mogli nazvati klasu [a]ρ Varaždinskom županijom. Svaki
stanovnik te županije je predstavnik te županije (odnosno te klase).
Matematika I

Skupovi i relacije
Županijama (klasama ekvivalencije) je Hrvatska (skup) podijeljena na više manjih Skupovi

Binarne relacije
dijelova. Kako svake dvije različite županije nemaju ništa zajedničko, županije (klase Definicija. Obrat,
komplement i dualna
ekvivalencije) zapravo čine jednu particiju Hrvatske (skupa). relacija
Tako lijepo svojstvo vrijedi za bilo koju relaciju ekvivalencije, što ćemo uskoro i
dokazati. uredaja
Neka je A skup, a ρ relacija ekvivalencije na skupu A. Kvocijentni skup A/ρ od A
s obzirom na relaciju ρ je skup svih klasa ekvivalencije relacije ρ.
Matematika I

Skupovi i relacije
Skupovi
Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I

Propozicija 4.
Skupovi i relacije
Neka je ρ relacija ekvivalencije na skupu A. Tada je kvocijentni skup A/ρ particija
Skupovi
skupa A. Binarne relacije

Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I

Propozicija 4.
Skupovi i relacije
Neka je ρ relacija ekvivalencije na skupu A. Tada je kvocijentni skup A/ρ particija
Skupovi
skupa A. Binarne relacije

Definicija. Obrat,
komplement i dualna
Dokaz. relacija
Neka je ρ relacija ekvivalencije na skupu A. Treba dokazati sljedeće tri tvrdnje: Relacija ekvivalencije
klase ekvivalencije od ρ su neprazne uredaja
svaki element iz A nalazi se u nekoj od klasa Kardinalni broj skupa
klase su disjunktne
Kako je ρ relacija ekvivalencije, tada je ona refleksivna pa vrijedi a ρ a, pa je
a ∈ [a]ρ , tj. [a]ρ 6= ∅, ∀a ∈ A. Dakle, sve klase su neprazne i svaki element se
nalazi u nekoj od tih klasa.
Matematika I

Skupovi i relacije
Treba još dokazati da su različite klase medusobno disjunktne. Neka su [a]ρ i [b]ρ Skupovi
Binarne relacije
dvije različite klase ekvivalencije. Pretpostavimo da one nisu disjunktne, tj. da Definicija. Obrat,
komplement i dualna
postoji x ∈ [a]ρ ∩ [b]ρ . Tada vrijedi x ρ a i x ρ b. Kako je ρ simetrična relacija, tada relacija
vrijedi i a ρ x. Nadalje, jer je ρ i tranzitivna relacija, tada iz a ρ x i x ρ b slijedi Relacija ekvivalencije
a ρ b. Tvrdimo da je u tom slučaju [a]ρ = [b]ρ . Trebamo dokazati jednakost dva Relacija parcijalnog
uredaja
skupa, odnosno treba dokazati da je [a]ρ ⊆ [b]ρ i [b]ρ ⊆ [a]ρ . Funkcije kao relacije
Neka je c ∈ [a]ρ proizvoljan. Tada vrijedi c ρ a. No, kako vrijedi a ρ b, tada zbog
tranzitivnosti relacije ρ slijedi c ρ b, a to znači da je c ∈ [b]ρ . Dakle, [a]ρ ⊆ [b]ρ .
Matematika I

Skupovi i relacije
Skupovi
Binarne relacije
Obrnuto, neka je d ∈ [b]ρ proizvoljan. Tada vrijedi d ρ b. No, kako vrijedi a ρ b, tada Definicija. Obrat,
komplement i dualna
zbog simetričnosti relacije ρ vrijedi i b ρ a. Sada iz d ρ b i b ρ a, zbog tranzitivnosti relacija
relacije ρ, slijedi d ρ a, što znači da je d ∈ [a]ρ . Dakle, [b]ρ ⊆ [a]ρ Relacija ekvivalencije
Dokazali smo da je [a]ρ = [b]ρ , što je kontradikcija s pretpostavkom da su [a]ρ i [b]ρ uredaja
različite klase ekvivalencije. Stoga je naša pretpostavka da [a]ρ i [b]ρ imaju nešto Kardinalni broj skupa
zajedničko bila pogrešna pa je zaista [a]ρ ∩ [b]ρ = ∅.
Dakle, svake dvije klase ekvivalencije, ili su jednake, ili nemaju ništa zajedničko.
Matematika I

Vrijedi i obrnuto. Skupovi i relacije
Skupovi
Propozicija 5. Binarne relacije
Definicija. Obrat,
Svaka particija skupa A prirodno definira jednu relaciju ekvivalencije na skupu A. komplement i dualna
relacija
uredaja
Matematika I

Vrijedi i obrnuto. Skupovi i relacije
Skupovi
Propozicija 5. Binarne relacije
Definicija. Obrat,
Svaka particija skupa A prirodno definira jednu relaciju ekvivalencije na skupu A. komplement i dualna
relacija
Dokaz. Relacija ekvivalencije
Relaciju ρ definiramo na sljedeći način. Za x, y ∈ A definiramo uredaja
def Kardinalni broj skupa
x ρ y ⇐⇒ x i y pripadaju istom elementu particije
Dokažimo da je ρ relacija ekvivalencije. Relacija ρ je refleksivna, tj. vrijedi x ρ x jer

x i x pripadaju istom elementu particije (jer se radi zapravo o jednom elementu).
Matematika I

Skupovi i relacije
Skupovi
Nadalje, ako vrijedi x ρ y, tada iz definicije relacije ρ slijedi da elementi x i y Binarne relacije
Definicija. Obrat,
pripadaju istom elementu particije. No, tada elementi y i x pripadaju istom elementu komplement i dualna
relacija
particije pa je ρ simetrična relacija. Svojstva binarnih relacija

Pretpostavimo da vrijedi x ρ y i y ρ z. Tada postoje elementi A i B iz zadane Relacija parcijalnog

uredaja
particije takvi da je x, y ∈ A i y, z ∈ B. No, tada je y ∈ A ∩ B pa je A = B jer su A Funkcije kao relacije

i B elementi particije, a to znači, ili su jednaki ili su disjunktni. Iz toga slijedi da su
x, z ∈ A, odnosno elementi x i z pripadaju istom elementu particije pa vrijedi x ρ z.
Dakle, ρ je i tranzitivna relacija. Stoga je ρ zaista relacija ekvivalencije.
Matematika I

Neka je ρ relacija ekvivalencije na skupu A. Preslikavanje Skupovi i relacije
Skupovi
p : A → A/ρ, p(x) = [x]ρ Binarne relacije

Definicija. Obrat,
komplement i dualna
relacija
zove se prirodno ili kvocijentno preslikavanje. To preslikavanje je surjekcija koje Svojstva binarnih relacija
svakom elementu iz A pridružuje klasu ekvivalencije kojoj taj element pripada. Relacija ekvivalencije
uredaja
Prijelazom sa skupa A na kvocijentni skup A/ρ relacija ekvivalencije se zamjenjuje Funkcije kao relacije
relacijom jednakosti, tj. ekvivalentni elementi u A prelaze u jednake elemente u A/ρ Kardinalni broj skupa
(identificiraju se). Zato kažemo da relacija ekvivalencije predstavlja oslabljeni oblik

jednakosti (jer mi te ekvivalentne elemente koji nisu ”baš” jednaki na neki način
smatramo jednakima u kvocijentnom skupu).
Matematika I

Skupovi i relacije
Sjetimo se primjera sa hrvatskim županijama. Tamo smo rekli da su dva stanovnika Skupovi
Binarne relacije
Hrvatske ekvivalentna ako imaju prebivalište u istoj županiji. Klase ekvivalencije su Definicija. Obrat,
komplement i dualna
hrvatske županije. Obzirom na tu relaciju ekvivalencije, svi ljudi iz iste županije su relacija
ekvivalentni, tj. smatramo ih ”jednakima”. Naravno da oni nisu jednaki u pravom Relacija ekvivalencije
smislu te riječi. Medutim, takva identifikacija ponekad olakšava neke stvari, osobito uredaja
ako se odlučuje o nekim pitanjima na nivou županija. U tom slučaju se ne gleda svaki
pojedinac posebno jer odluka koja bude donešena se tiče svih ljudi iz te županije, tj.
oni su na neki način u istom položaju što se tiče te odluke, odnosno oni su ”jednaki”.
Matematika I

Kvocijentni skup u većini situacija može imati znatno manje elementa od polaznog Skupovi i relacije
Skupovi
skupa pa je onda lakše raditi na njemu, nego na polaznom skupu. Kao primjer, opet
Binarne relacije
možemo uzeti županije kojih ima 21, dok svih ljudi koji žive u Hrvatskoj ima znatno Definicija. Obrat,
komplement i dualna
više, pa je jasno da je lakše donijeti neku odluku na nivou županija, nego za svakog relacija
pojedinca posebno. Relacija ekvivalencije
uredaja
Matematika I

Kvocijentni skup u većini situacija može imati znatno manje elementa od polaznog Skupovi i relacije
Skupovi
skupa pa je onda lakše raditi na njemu, nego na polaznom skupu. Kao primjer, opet
Binarne relacije
možemo uzeti županije kojih ima 21, dok svih ljudi koji žive u Hrvatskoj ima znatno Definicija. Obrat,
komplement i dualna
više, pa je jasno da je lakše donijeti neku odluku na nivou županija, nego za svakog relacija
pojedinca posebno. Relacija ekvivalencije
uredaja
Sjetimo se i relacije ”biti paralelan” na skupu svih pravaca ravnine. Što su ovdje
klase ekvivalencije? Ovdje klasu ekvivalencije čine svi medusobno paralelni pravci i Kardinalni broj skupa
svakog od tih pravaca možemo uzeti za reprezentanta te klase. Ovdje se svaka od tih
klasa zove smjer i sve medusobno paralelne pravce smatramo jednakima u smislu da
odreduju isti smjer.
Matematika I

jedan smjer drugi smjer
Skupovi i relacije
Skupovi
Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
uredaja
treći smjer četvrti smjer
Matematika I

Zadatak 8. Skupovi i relacije
Dokažite da je ρ ⊆ R2 × R2 Skupovi
Binarne relacije
def 2 2 2 2 Definicija. Obrat,

(x, y) ρ (u, v) ⇐⇒ x + y = u + v komplement i dualna
relacija
relacija ekvivalencije. Odredite klase ekvivalencije. Relacija ekvivalencije
uredaja
Matematika I

Zadatak 8. Skupovi i relacije
Dokažite da je ρ ⊆ R2 × R2 Skupovi
Binarne relacije
def 2 2 2 2 Definicija. Obrat,

(x, y) ρ (u, v) ⇐⇒ x + y = u + v komplement i dualna
relacija
relacija ekvivalencije. Odredite klase ekvivalencije. Relacija ekvivalencije
uredaja
Rješenje. Funkcije kao relacije
2 2 2 2
Refleksivnost. Kako je x + y = x + y , slijedi da vrijedi (x, y) ρ (x, y) za svaki
(x, y) ∈ R2 .
Simetričnost. Pretpostavimo da vrijedi (x, y) ρ (u, v). Tada je x2 + y 2 = u2 + v 2 .

No, onda je sigurno i u2 + v 2 = x2 + y 2 , odnosno vrijedi (u, v) ρ (x, y).
Matematika I
Tranzitivnost. Pretpostavimo da vrijedi (x, y) ρ (u, v) i (u, v) ρ (s, t). Tada je prof. dr. sc. Blaženka Divjak
x2 + y 2 = u2 + v 2 , u2 + v 2 = s2 + t2 , Skupovi i relacije
Skupovi
Binarne relacije
pa je x2 + y 2 = s2 + t2 , odnosno vrijedi (x, y) ρ (s, t). Definicija. Obrat,
komplement i dualna
relacija
Klase ekvivalencije. Neka je (u, v) ∈ R2 proizvoljan. Svojstva binarnih relacija
(u, v) ρ = (x, y) ∈ R2 : (x, y) ρ (u, v)

uredaja
= (x, y) ∈ R2 : x2 + y 2 = u2 + v 2

| {z } Kardinalni broj skupa
const. >0

Dakle, klasa (u, v) ρ elementa (u, v) je zapravo kružnica sa središtem u ishodištu
polumjera u2 + v 2 .
Klasa elementa (0, 0) je samo jedna točka i to ishodište (kružnica polumjera nula sa
središtem u ishodištu).
Matematika I
y prof. dr. sc. Blaženka Divjak

5
Skupovi i relacije
4 Skupovi
Binarne relacije
Definicija. Obrat,
3
komplement i dualna
relacija
2 Svojstva binarnih relacija
1 Relacija parcijalnog
uredaja
x
−5 −4 −3 −2 −1 1 2 3 4 5
−1
−2
−3
−4
−5
Matematika I

Skupovi i relacije
Dakle, elementi kvocijentnog skupa su kružnice sa središtem u ishodištu. Sve točke
Skupovi
koje leže na istoj kružnici sa središtem u ishodištu su medusobno ”jednake”. Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
Modularna ekvivalencija Svojstva binarnih relacija

Neka su a, b ∈ Z, k ∈ N. Tada je uredaja
def Funkcije kao relacije

a ≡ b ( mod k) ⇐⇒ ∃n ∈ Z, a − b = nk Kardinalni broj skupa
a ≡ b (mod k) čitamo ”a je kongruentno (ekvivalentno) b modulo k”

Broj k zovemo modulom ekvivalencije.
Matematika I

Skupovi i relacije
Skupovi
Jednostavnije rečeno, a ≡ b (mod k) ako je a − b djeljivo s k, odnosno ako a i b daju Binarne relacije
Definicija. Obrat,
isti ostatak pri dijeljenju s k. komplement i dualna
relacija
Na primjer, 16 ≡ 7 (mod 3) jer je 16 − 7 djeljivo s 3, odnosno 16 i 7 daju isti ostatak Relacija ekvivalencije
pri dijeljenju s 3. Relacija parcijalnog

uredaja
≡ 7 (mod 5) jer 16 − 7 nije djeljivo s 5, tj. 16 i 7 ne daju isti
S druge strane, 16 Kardinalni broj skupa
ostatak pri dijeljenju s 5.

Matematika I

Skupovi
Modularna ekvivalencija je relacija ekvivalencije. Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I

Skupovi
Modularna ekvivalencija je relacija ekvivalencije. Binarne relacije
Definicija. Obrat,
komplement i dualna
Dokaz. relacija
Refleksivnost. Očito je a ≡ a (mod k) jer je a − a = 0 · k. Relacija ekvivalencije
Simetričnost. Ako je a ≡ b (mod k), tada postoji n ∈ Z takav da je a − b = nk. Iz uredaja
toga slijedi da je b − a = (−n)k pa je b ≡ a (mod k). Kardinalni broj skupa
Tranzitivnost. Neka je a ≡ b (mod k) i b ≡ c (mod k). Tada postoje n1 , n2 ∈ Z

takvi da vrijedi a − b = n1 k i b − c = n2 k. Zbrojimo li ove dvije jednakosti dobivamo
a − c = (n1 + n2 )k, što znači da je a ≡ c (mod k).
Matematika I

Skupovi i relacije
Kvocijentni skup relacije modularne ekvivalencije je
Skupovi
Binarne relacije
Z kZ = Z/≡ = [n] : n = 0, 1, 2, . . . , k − 1 , Definicija. Obrat,
komplement i dualna
relacija
gdje je sa [n] označena klasa svih cijelih brojeva koji pri dijeljenju sa k daju ostatak Svojstva binarnih relacija
n. Dakle, kvocijentni skup se sastoji od svih mogućih ostataka koji se mogu javiti pri Relacija parcijalnog
uredaja
dijeljenju brojem k. Na taj način je skup cijelih brojeva particioniran na k dijelova. Funkcije kao relacije

Na primjer, Z 2Z ima dva elementa, tj. dvije klase. Jedna klasa je [0] koja se sastoji
od svih parnih cijelih brojeva, a druga klasa je [1] koja se sastoji od svih neparnih
cijelih brojeva.
Matematika I

Parcijalni uredaj izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Kao što relacija ekvivalencije poopćuje relaciju jednakosti, tako relacija parcijalnog Skupovi
Binarne relacije
uredaja poopćuje relaciju 6. Definicija. Obrat,
komplement i dualna
relacija
Neka je 4 ⊆ A2 . Relacija 4 je relacija parcijalnog uredaja ako je Svojstva binarnih relacija
1 refleksivna, tj. Relacija parcijalnog
uredaja

(∀x ∈ A) x 4 x Funkcije kao relacije
2 antisimetrična, tj.

(∀x, y ∈ A) x 4 y ∧ y 4 x ⇒ x = y
3 tranzitivna, tj.

(∀x, y, z ∈ A) x 4 y ∧ y 4 z ⇒ x 4 z
Matematika I

Skup zajedno sa parcijalnim uredajem zovemo parcijalno ureden skup. Skupovi i relacije
Skupovi
Binarne relacije
R, 6 je parcijalno ureden skup
Definicija. Obrat,
Refleksivnost. Za svaki realni broj x vrijedi x 6 x. komplement i dualna
relacija
Antisimetričnost. Ako je x 6 y i y 6 x, tada je x = y. Svojstva binarnih relacija

Tranzitivnost. Ako je x 6 y i y 6 z, tada je x 6 z. Relacija parcijalnog
uredaja
P(A), ⊆ je parcijalno ureden skup Kardinalni broj skupa
Refleksivnost. Za svaki skup X vrijedi X ⊆ X.

Antisimetričnost. Ako je X ⊆ Y i Y ⊆ X, tada je X = Y .
Tranzitivnost. Ako je X ⊆ Y i Y ⊆ Z, tada je X ⊆ Z.
Matematika I

Skupovi i relacije
Primjer 51. Skupovi
Binarne relacije
Je li Z, < parcijalno ureden skup? Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I

Skupovi i relacije
Primjer 51. Skupovi
Binarne relacije
komplement i dualna
relacija
Z, < nije parcijalno ureden skup jer < nije refleksivna relacija, tj. x ≮ x. Relacija parcijalnog
uredaja
Matematika I

Skupovi i relacije
Primjer 51. Skupovi
Binarne relacije
komplement i dualna
relacija
Z, < nije parcijalno ureden skup jer < nije refleksivna relacija, tj. x ≮ x. Relacija parcijalnog
uredaja
Podskupovi parcijalno uredenog skupa su takoder parcijalno uredeni skupovi preko

relacije parcijalnog uredaja naslijedene iz nadskupa.
Matematika I

Neka je A, 4 parcijalno ureden skup i neka je B ⊆ A. prof. dr. sc. Blaženka Divjak
a Kažemo da je b ∈ B najveći element u B ako vrijedi

Skupovi i relacije
Skupovi
(∀b0 ∈ B)(b0 4 b) Binarne relacije
Definicija. Obrat,
komplement i dualna
b Kažemo da je b ∈ B najmanji element u B ako vrijedi relacija
0 0
(∀b ∈ B)(b 4 b ) Relacija parcijalnog
uredaja
c Kažemo da je b ∈ B maksimalni element u B ako vrijedi Kardinalni broj skupa
b0 ∈ B ∧ b 4 b0 ⇒ b0 = b

d Kažemo da je b ∈ B minimalni element u B ako vrijedi
b0 ∈ B ∧ b0 4 b ⇒ b0 = b

Matematika I

Skupovi i relacije
Skupovi
Binarne relacije
Objasnimo razliku izmedu najvećeg i maksimalnog elementa u parcijalno uredenom Definicija. Obrat,
komplement i dualna
skupu. Kao prvo, svaka dva realna broja možemo usporediti, medutim, općenito u relacija
parcijalno uredenom skupu ne moraju svaka dva elementa biti usporediva. Kao
primjer možemo uzeti P(A), ⊆ , gdje je A = {1, 2, 3}. Elementi {1}, {2} ∈ P(A) Relacija parcijalnog
uredaja
nisu usporedivi jer niti jedan od njih nije podskup onog drugog. S druge strane Funkcije kao relacije
elementi {1}, {1, 2} ∈ P(A) jesu usporedivi jer je {1} ⊆ {1, 2}.
Matematika I

Najveći vs maksimalni element izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
Najveći element u parcijalno uredenom skupu je onaj element koji je veći od svih
elemenata tog skupa. Dakle, on mora biti usporediv sa svima i ne smije biti većeg Relacija ekvivalencije
elementa od njega. Maksimalni element u parcijalno uredenom skupu je onaj element uredaja
od kojeg nema većeg. Dakle, maksimalni element ne mora biti usporediv sa svima, Kardinalni broj skupa
ali mora biti veći od svih onih elemenata sa kojima je usporediv.
Odavde odmah zaključujemo da je svaki najveći element ujedno i maksimalni, ali

obrnuto ne vrijedi.
Matematika I

Najmanji vs minimalni element izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
Najmanji element u parcijalno uredenom skupu je onaj element koji je manji od svih
elemenata tog skupa. Dakle, on mora biti usporediv sa svima i ne smije biti manjeg Relacija ekvivalencije
elementa od njega. Minimalni element u parcijalno uredenom skupu je onaj element uredaja
od kojeg nema manjeg. Dakle, minimalni element ne mora biti usporediv sa svima, Kardinalni broj skupa
ali mora biti manji od svih onih elemenata s kojima je usporediv.
Odavde odmah zaključujemo da je svaki najmanji element ujedno i minimalni, ali

obrnuto ne vrijedi.
Matematika I
Primjer 52.

Zadan je parcijalno ureden skup P({a, b}), ⊆ . Nacrtajte graf relacije ⊆ i ispitajte izv. prof. dr. sc. Z. Erjavec
postojanje najvećeg, najmanjeg, maksimalnog i minimalnog elementa u skupu B ako Skupovi i relacije
Skupovi
je Binarne relacije
(a) B = {{a}}, (b) B = {{a}, {b}}, (c) B = {∅, {a}} Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I
Primjer 52.

Zadan je parcijalno ureden skup P({a, b}), ⊆ . Nacrtajte graf relacije ⊆ i ispitajte izv. prof. dr. sc. Z. Erjavec
postojanje najvećeg, najmanjeg, maksimalnog i minimalnog elementa u skupu B ako Skupovi i relacije
Skupovi
je Binarne relacije
(a) B = {{a}}, (b) B = {{a}, {b}}, (c) B = {∅, {a}} Definicija. Obrat,
komplement i dualna
relacija

∅ uredaja
{a} {b}
{a, b}
Matematika I

(a) Kako skup B ima samo jedan element {a}, onda je taj element najveći i najmanji Skupovi i relacije
element skupa B jer je usporediv sa svima (tj., usporediv je sam sa sobom), a nema Skupovi
Binarne relacije
niti manjeg niti većeg od njega u skupu B jer je on jedini element skupa B. Isto tako Definicija. Obrat,
komplement i dualna
on je maksimalni i minimalni element skupa B jer nema većeg niti manjeg elementa relacija
od njega u skupu B. Relacija ekvivalencije
uredaja
Matematika I

(a) Kako skup B ima samo jedan element {a}, onda je taj element najveći i najmanji Skupovi i relacije
element skupa B jer je usporediv sa svima (tj., usporediv je sam sa sobom), a nema Skupovi
Binarne relacije
niti manjeg niti većeg od njega u skupu B jer je on jedini element skupa B. Isto tako Definicija. Obrat,
komplement i dualna
on je maksimalni i minimalni element skupa B jer nema većeg niti manjeg elementa relacija
od njega u skupu B. Relacija ekvivalencije
(b) Skup B nema najveći niti najmanji element. Naime, skup B ima dva elementa uredaja
{a} i {b} koji nisu medusobno usporedivi, a po definiciji najveći i najmanji element Kardinalni broj skupa
mora biti usporediv sa svima. Medutim, elementi {a} i {b} su maksimalni elementi
skupa B jer nema većih od njih u skupu B. Isto tako, elementi {a} i {b} su
minimalni elementi skupa B jer nema manjih od njih u skupu B.
Matematika I

Skupovi i relacije
(c) Skup B ima dva elementa ∅ i {a}. Ta dva elementa jesu usporediva, tj. vrijedi Skupovi
Binarne relacije
∅ ⊆ {a}. Stoga je ∅ najmanji element skupa B pa je ujedno i minimalni element Definicija. Obrat,
komplement i dualna
skupa B. Element {a} je najveći element skupa B pa je ujedno i maksimalni. relacija
uredaja
Matematika I

Skupovi i relacije
(c) Skup B ima dva elementa ∅ i {a}. Ta dva elementa jesu usporediva, tj. vrijedi Skupovi
Binarne relacije
∅ ⊆ {a}. Stoga je ∅ najmanji element skupa B pa je ujedno i minimalni element Definicija. Obrat,
komplement i dualna
skupa B. Element {a} je najveći element skupa B pa je ujedno i maksimalni. relacija
Iz prethodnog primjera vidimo da u slučaju da je postojao najveći element da je on uredaja
bio jedinstven, dok maksimalnih elemenata može biti i više. Isto vrijedi za najmanji
element i minimalni element. Tako nešto vrijedi u bilo kojem parcijalno uredenom
skupu.
Matematika I

Skupovi i relacije
Teorem 3. Skupovi
Binarne relacije
Neka je A, 4 parcijalno ureden skup i B ⊆ A. Ako u B postoji najveći element, Definicija. Obrat,
komplement i dualna
onda je on jedinstven. relacija
Dokaz. Relacija parcijalnog
uredaja
Pretpostavimo suprotno, tj. neka su a i b dva različita najveća elementa u skupu B. Funkcije kao relacije
Kako je a najveći, slijedi da je b 4 a. Isto tako, jer je b najveći, slijedi a 4 b. Zbog Kardinalni broj skupa
antisimetričnosti slijedi a = b, što je kontradikcija s pretpostavkom. Dakle, ako

najveći element postoji, on je jedinstven.
Matematika I

Skupovi i relacije
Teorem 4. Skupovi
Binarne relacije
Neka je A, 4 parcijalno ureden skup i B ⊆ A. Ako u B postoji najmanji element, Definicija. Obrat,
komplement i dualna
onda je on jedinstven. relacija
Dokaz. Relacija parcijalnog
uredaja
Pretpostavimo suprotno, tj. neka su a i b dva različita najmanja elementa u skupu Funkcije kao relacije
B. Kako je a najmanji, slijedi da je a 4 b. Isto tako, jer je b najmanji, slijedi b 4 a. Kardinalni broj skupa
Zbog antisimetričnosti slijedi a = b, što je kontradikcija s pretpostavkom. Dakle, ako

najmanji element postoji, on je jedinstven.
Matematika I

Skupovi i relacije
Skupovi
Parcijalni uredaj 4 na skupu A je linearni ili totalni uredaj ako vrijedi Binarne relacije
Definicija. Obrat,
komplement i dualna
(∀x, y ∈ A) x 4 y ∨ y 4 x . relacija
Skup A, 4 u tom slučaju zovemo linearno ureden skup ili lanac. Relacija parcijalnog
uredaja
parcijalni uredaj + stroga kompletnost = linearni uredaj
Matematika I

Skupovi i relacije
R, 6 je linearno ureden skup
Skupovi

P(A), ⊆ nije linearno ureden skup ako je k(A) > 2. Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
Binarna relacija 4 na A je relacija dobrog uredaja ako je 4 linearni uredaj i svaki Relacija parcijalnog
uredaja
neprazni podskup od A ima najmanji element. Funkcije kao relacije

N, 6 je dobro ureden skup

Z, 6 , R, 6 nisu dobro uredeni skupovi
Matematika I

Definirajmo linearni uredaj 4 na N na sljedeći način. Za a, b ∈ N, a 6= b definiramo:
Skupovi i relacije
ako je a paran i b neparan, tada je a ≺ b Skupovi
Binarne relacije
ako su oba broja a i b iste parnosti, tada je a ≺ b ako je a < b u prirodnom Definicija. Obrat,
komplement i dualna
uredaju. relacija
Drugim riječima, svaki paran broj je manji od svakog neparnog broja, a uredaj Relacija ekvivalencije
izmedu brojeva iste parnosti je standardan, tj. uredaja
2, 4, 6, . . . , 2n, . . . , 1, 3, 5, . . . , 2n + 1, . . .

Tada je N, 4 dobro ureden skup. Uočimo da ovdje broj 1, iako nije najmanji,
nema neposrednog prethodnika. Isto tako, broj 2 koji je ovdje najmanji nema
neposrednog prethodnika, ali svatko ima neposrednog sljedbenika.
Matematika I

Vidimo da na istom skupu može postojati više dobrih uredaja. Pitanje je da li se Skupovi i relacije
Skupovi
svaki skup može dobro urediti. O tome govori sljedeći teorem. Binarne relacije
Definicija. Obrat,
komplement i dualna
Teorem 5 (Teorem o dobrom uredaju). relacija
Svaki se skup može dobro urediti. Relacija ekvivalencije
uredaja
Iako je ovo prekrasan teorem, problem je u tome što dokaz tog teorema nije
konstruktivan, tj. ne daje nam način da konstruiramo na proizvoljnom skupu neki
dobar uredaj. Tako, npr. znamo da se skup R može dobro urediti, ali nažalost
nemamo algoritam kojim bismo našli neki dobar uredaj na skupu realnih brojeva.
Matematika I

Uredajne relacije izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
1 Relacija parcijalnog uredaja: refleksivna, antisimetrična, tranzitivna Relacija ekvivalencije

uredaja
2 Relacija slabog uredaja: strogo kompletna, tranzitivna Funkcije kao relacije
3 Relacija kvazi-uredaja: refleksivna, tranzitivna
4 Relacija linearnog uredaja: antisimetrična, strogo kompletna, tranzitivna
Matematika I

Kvazi uredaj
(refleksivnost i tranzitivnost)
Skupovi i relacije
Skupovi
stroga kompletnost antisimetrija
Binarne relacije
Definicija. Obrat,
simetrija komplement i dualna
relacija
Totalni kvazi uredaj Parcijalni uredaj Svojstva binarnih relacija
uredaja
antisimetrija stroga kompletnost
Ekvivalencija
Totalni uredaj
Matematika I

Algebarska karakterizacija izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Neka je ρ ⊆ A × A. Paru (a, b) pridružuje se kod cab tako da je Binarne relacije

Definicija. Obrat,
cab = 1 ⇔ (a, b) ∈ ρ, cab = 0 ⇔ (a, b) ∈

/ ρ. komplement i dualna
relacija
Svojstvo Algebarska reprezentacija Relacija ekvivalencije

refleksivnost caa = 1, ∀a ∈ A uredaja
irefleksivnost caa = 0, ∀a ∈ A
simetrija cab − cba = 0, ∀a, b ∈ A
antisimetrija cab + cba 6 1, ∀a, b ∈ A, a 6= b
asimetrija cab + cba 6 1, ∀a, b ∈ A
kompletnost cab + cba > 1, ∀a, b ∈ A, a 6= b
stroga kompletnost cab + cba > 1, ∀a, b ∈ A
tranzitivnost cac > cab + cbc − 1, ∀a, b, c ∈ A
Matematika I

Funkcije kao relacije izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Relacija f ⊆ A × B je funkcija ako vrijedi Definicija. Obrat,

komplement i dualna
relacija
∀a ∈ A, ∃!b ∈ B, (a, b) ∈ f. Svojstva binarnih relacija

uredaja
f je konstantna funkcija ili konstanta ako
∃!b ∈ B, ∀a ∈ A, (a, b) ∈ f.
Funkcija f je injekcija ako
∀(a1 , b1 ), (a2 , b2 ) ∈ f, a1 6= a2 ⇒ b1 6= b2 .
Matematika I

Skupovi i relacije
Skupovi
Binarne relacije
Funkcija f ⊆ A × B je surjekcija ako Definicija. Obrat,
komplement i dualna
relacija
∀b ∈ B, ∃a ∈ A, (a, b) ∈ f. Svojstva binarnih relacija
Funkcija koja je istovremeno injekcija i surjekcija zovemo bijekcijom. uredaja
Neka je f bijekcija. Inverzna funkcija f −1 je obrat relacije f , tj. f −1 = f¯. Kardinalni broj skupa
Matematika I

Kardinalni broj izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
Već smo prije definirali pojam kardinalnog broja za konačne skupove. Sada bismo Svojstva binarnih relacija
željeli definirati kardinalni broj za bilo koji skup koji ne mora nužno imati konačno Relacija parcijalnog
uredaja
mnogo elemenata. Sjetimo se da smo za konačan skup definirali njegov kardinalni Funkcije kao relacije
broj kao broj elemenata koje taj skup sadrži. Mogli bismo naivno reći da beskonačni
skup ima beskonačno mnogo elemenata i da je njegov kardinalni broj jednak
beskonačno. No, postavlja se pitanje jesu li sve beskonačnosti jednake.
Matematika I

Skupovi i relacije
Da li prirodnih brojeva ima jednako mnogo kao i racionalnih, ili racionalnih brojeva
Skupovi
ima više nego prirodnih? Da li realnih brojeva ima više nego racionalnih ili ih ima Binarne relacije
Definicija. Obrat,
jednako mnogo? Dakle, željeli bismo na neki način usporedivati beskonačne skupove komplement i dualna
relacija
s obzirom na broj elemenata koji oni sadrže, a ne samo reći da oni imaju beskonačno Svojstva binarnih relacija
mnogo elemenata. Takvim pitanjem se bavio Cantor krajem 19. st. pa ćemo ovdje Relacija parcijalnog
uredaja
uvesti pojam kardinalnog broja na način kako je to učinio Cantor. Funkcije kao relacije
Pojam kardinalnog broja nije nimalo jednostavan kako se to na prvi pogled može
učiniti. Stoga ćemo ovdje navesti samo neke osnovne pojmove i razjasniti
najosnovnije koncepte.
Matematika I

Ekvipotentni skupovi izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Definicija. Obrat,
Kažemo da je skup A ekvipotentan (ekvivalentan, jednakobrojan, bijektivan) skupu komplement i dualna
relacija
B ako postoji barem jedna bijekcija skupa A na skup B. Svojstva binarnih relacija
Oznake: A ∼
= B, |A| = |B|, k(A) = k(B) Relacija parcijalnog
uredaja
Propozicija 7. Kardinalni broj skupa
∼
= je relacija ekvivalencije.
Matematika I

Ekvipotentni skupovi izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Definicija. Obrat,
Kažemo da je skup A ekvipotentan (ekvivalentan, jednakobrojan, bijektivan) skupu komplement i dualna
relacija
B ako postoji barem jedna bijekcija skupa A na skup B. Svojstva binarnih relacija
Oznake: A ∼
= B, |A| = |B|, k(A) = k(B) Relacija parcijalnog
uredaja
Propozicija 7. Kardinalni broj skupa
∼
= je relacija ekvivalencije.
Dokaz.
Refleksivnost. A ∼
= A jer je identiteta id : A → A, id(x) = x bijekcija.
Matematika I

Skupovi i relacije
Skupovi
Binarne relacije
Simetričnost. Neka je A ∼
Definicija. Obrat,
= B. To znači da postoji bar jedna bijekcija f : A → B. komplement i dualna
relacija
No, kako je inverz bijekcije opet bijekcija, slijedi da je f −1 : B → A takoder bijekcija, Svojstva binarnih relacija
∼ A.
a to znači da je B = Relacija ekvivalencije
uredaja
Tranzitivnost. Neka je A ∼
=B iB∼
= C. Tada postoje bijekcije f : A → B i Funkcije kao relacije
g : B → C. Kako je kompozicija bijekcija opet bijekcija, slijedi da je g ◦ f : A → C
bijekcija, što znači da je A ∼
= C.
Matematika I

Kardinalni broj izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Kardinalni broj je klasa ekvivalencije kojoj skup pripada obzirom na relaciju ”biti Definicija. Obrat,
ekvipotentan” ∼
komplement i dualna
=. relacija
Stoga za ekvipotentne skupove govorimo da imaju isti kardinalni broj. Relacija ekvivalencije
uredaja
Skup A je konačan ako je prazan ili postoji bijekcija iz A u Nn = {1, 2, . . . , n}. Ako Funkcije kao relacije
skup A nije konačan, kažemo da je beskonačan.
Ako je skup A konačan, A 6= ∅ i bijektivan sa Nn , tada on ima n elemenata i pišemo

k(A) = n. Nadalje, k(∅) = 0.
Dakle, mi smo ovdje klasu ekvivalencije po relaciji ∼

= kojoj pripadaju svi skupovi sa n
elemenata nazvali sa n i kažemo da je kardinalni broj tih skupova jednak n.
Matematika I

Skupovi i relacije
Teorem 6 (O konačnim skupovima). Skupovi

Binarne relacije
Definicija. Obrat,
1 Svaki podskup konačnog skupa je konačan skup. komplement i dualna
relacija
2 Svaki skup bijektivan konačnom skupu je konačan skup. Svojstva binarnih relacija
3 Ako je svaki pravi dio od S konačan, tada je i S konačan. Relacija parcijalnog
uredaja
4 Ako je S konačan skup, tada je i S ∪ {t} konačan skup. Funkcije kao relacije

5 Za svaki n ∈ N, Nn = {1, 2, . . . , n} je konačan i k Nn = n.
6 Neprazan skup S je konačan akko postoji n ∈ N takav da je S ∼
= Nn .
Matematika I

Skupovi i relacije
Skupovi
Binarne relacije
7 Skup S je konačan akko svaka injekcija S → S je ujedno i surjekcija. Definicija. Obrat,
komplement i dualna
8 Skup S je konačan akko svaka surjekcija S → S je ujedno i injekcija. relacija
9 Skup S je konačan akko postoji n ∈ N i surjekcija Nn → S. Relacija ekvivalencije

uredaja
10 Unija konačno mnogo konačnih skupova je konačan skup. Funkcije kao relacije
11 Kartezijev produkt konačno mnogo konačnih skupova je konačan skup.
Matematika I

Karakteristika je beskonačnih skupova da se mogu bijektivno preslikati na Skupovi i relacije
svoj pravi podskup, što za konačne skupove ne vrijedi. Skup A je beskonačan ako Skupovi
Binarne relacije
postoji injekcija f : A → A takva da je f (A) ⊂ A. Definicija. Obrat,
komplement i dualna
relacija
Primjer 53. Svojstva binarnih relacija
Dokažimo da su skupovi N i R beskonačni. Relacija parcijalnog
uredaja
Matematika I

Karakteristika je beskonačnih skupova da se mogu bijektivno preslikati na Skupovi i relacije
svoj pravi podskup, što za konačne skupove ne vrijedi. Skup A je beskonačan ako Skupovi
Binarne relacije
postoji injekcija f : A → A takva da je f (A) ⊂ A. Definicija. Obrat,
komplement i dualna
relacija
Primjer 53. Svojstva binarnih relacija
Dokažimo da su skupovi N i R beskonačni. Relacija parcijalnog
uredaja
Rješenje. Kardinalni broj skupa
Da bismo dokazali da je skup N beskonačan, trebamo naći neku bijekciju sa N na

njegov pravi podskup. Neka je f (n) = 2n. Tada je f bijekcija sa skupa prirodnih
brojeva na skup parnih prirodnih brojeva pa iz toga slijedi da je N beskonačan skup.
Matematika I

Skupovi i relacije
Skupovi
Binarne relacije
1 2 3 4 5 6 7 8 9 10 ··· Definicija. Obrat,
l l l l l l l l l l komplement i dualna
relacija
2 4 6 8 10 12 14 16 18 20 ··· Svojstva binarnih relacija

Što to zapravo znači? To znači da parnih brojeva ima isto toliko koliko ima i svih uredaja
prirodnih brojeva, dakle nema ih ništa manje. Uočite ovdje da je skup svih parnih Kardinalni broj skupa
brojeva pravi podskup skupa N, ali ipak ta dva skupa imaju jednak broj elemenata, tj.
imaju isti kardinalni broj. Takva situacija se ne može dogoditi kod konačnih skupova.
Matematika I

Kako je N beskonačan skup i N ⊂ R slijedi da je i R beskonačan skup. No dokažimo Skupovi i relacije
ipak po definiciji da je R beskonačan skup tako da nademo neku bijekciju sa R na Skupovi

Binarne relacije
njegov pravi podskup. Neka je Definicija. Obrat,
komplement i dualna
 relacija
x + 1, x>0 Svojstva binarnih relacija
g(x) = Relacija ekvivalencije
 x, x<0 Relacija parcijalnog
uredaja
Tada je g bijekcija sa R na njegov pravi podskup R \ [0, 1i kao što možemo vidjeti na Kardinalni broj skupa
sljedećoj slici.
Što nam govori ta bijekcija? Ako iz skupa R izbacimo interval [0, 1i, tada u
preostalom skupu ima isto toliko elemenata koliko ima i u skupu R.
y Matematika I
6 prof. dr. sc. Blaženka Divjak

Skupovi i relacije
4 Skupovi
Binarne relacije
Definicija. Obrat,
komplement i dualna
2 relacija
x uredaja
-4 -2 2 4
-2
-4
Matematika I

Skupovi i relacije
Primjer 54.
Skupovi
Dokažimo da je skup [0, 1] beskonačan. Binarne relacije

Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I

Skupovi i relacije
Primjer 54.
Skupovi
Dokažimo da je skup [0, 1] beskonačan. Binarne relacije

Definicija. Obrat,
komplement i dualna
relacija
Rješenje.
Da bismo dokazali da je skup [0, 1] beskonačan, trebamo pronaći jednu bijekciju sa Relacija ekvivalencije
x
tog skupa na njegov pravi podskup. Neka je f (x) = 2. Tada je f bijekcija sa skupa uredaja
[0, 1] na njegov pravi podskup [0, 12 ] što možemo vidjeti na sljedećoj slici. Dakle, Kardinalni broj skupa
[0, 1] je beskonačan skup. Skupovi [0, 1] i [0, 12 ] imaju isti kardinalni broj, tj. izmedu
1
brojeva 0 i 2 ima jednako mnogo realnih brojeva koliko ih ima i izmedu 0 i 1, dakle
nema ih ništa manje kao što bi se na prvi pogled moglo učiniti.
y Matematika I

Skupovi i relacije
0.75 Skupovi
Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
0.5 Svojstva binarnih relacija
uredaja
0.25 Funkcije kao relacije
x
0.25 0.5 0.75 1 1.25
Matematika I
Primjer 55. prof. dr. sc. Blaženka Divjak

+ +
Dokažimo da skupovi R i h0, 1i imaju isti kardinalni broj, gdje je R = h0, ∞i.
Skupovi i relacije
Rješenje. Skupovi
Binarne relacije
x
Definiramo funkciju f : R+ → h0, 1i sa f (x) = x+1 za koju se može dokazati da je Definicija. Obrat,
komplement i dualna
bijekcija iz čega ćey slijediti tvrdnja. relacija
1
uredaja
0.5
x
5 10 15 20
Matematika I

+
Dokažimo da skupovi R i R imaju isti kardinalni broj, tj. da svih pozitivnih realnih
Skupovi i relacije
brojeva ima isto toliko koliko ima i svih realnih brojeva.
Skupovi
Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I

+
Dokažimo da skupovi R i R imaju isti kardinalni broj, tj. da svih pozitivnih realnih
Skupovi i relacije
brojeva ima isto toliko koliko ima i svih realnih brojeva.
Skupovi
Binarne relacije
Rješenje. Definicija. Obrat,
komplement i dualna
+ x relacija
Bilo koja eksponencijalna funkcija je bijekcija sa R na R , npr. uzmimo f (x) = 2 . Svojstva binarnih relacija
y Relacija ekvivalencije
8 uredaja
6
x
-3 -2 -1 1 2 3
Matematika I

Dokazali smo da je
Skupovi i relacije
R+ ∼
= h0, 1i i R∼
= R+ . Skupovi
Binarne relacije
Zbog simetričnosti relacije ∼

= slijedi da je Definicija. Obrat,
komplement i dualna
relacija
h0, 1i ∼
= R+ R+ ∼
i = R, Relacija ekvivalencije
a zbog tranzitivnosti relacije ∼

uredaja
= slijedi da je Funkcije kao relacije
h0, 1i ∼
= R.
Dakle, svih realnih brojeva ima isto toliko koliko ima i realnih brojeva u intervalu
h0, 1i, nema ih ništa više.
Matematika I

Dokažimo da skupovi [0, 1] i h0, 1i imaju isti kardinalni broj. Skupovi i relacije
Skupovi
Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I

Dokažimo da skupovi [0, 1] i h0, 1i imaju isti kardinalni broj. Skupovi i relacije
Skupovi

Definicija. Obrat,
Neka je f : [0, 1] → h0, 1i definirana sa komplement i dualna
relacija
 Svojstva binarnih relacija

1
 2, x=0
 Relacija ekvivalencije

 Relacija parcijalnog
1 uredaja
f (x) = n+2 , x = n1 , n ∈ N Funkcije kao relacije



 x, Kardinalni broj skupa
inače
Tvrdimo da je f bijekcija. Neka je

S = n1 : n ∈ N ∪ {0}.

Tada vidimo da je funkcija f na skupu [0, 1] \ S identiteta, pa je

f : [0, 1] \ S → [0, 1] \ S bijekcija.
Matematika I

Treba još pokazati da funkcija f bijektivno preslikava skup S na skup izv. prof. dr. sc. Z. Erjavec
1
n : n ∈ N, n > 2 . Naime, jedini elementi koje još nismo gledali iz skupa [0, 1] su Skupovi i relacije
brojevi Skupovi
1 1 1 1 Binarne relacije
0, 1, , , , . . . , , . . . , (∗) Definicija. Obrat,
2 3 4 n komplement i dualna
relacija
a jedini brojevi koji još nisu ”pogodeni” u h0, 1i su Svojstva binarnih relacija
1 1 1 1 Relacija parcijalnog
, , , ..., ,... (∗∗) uredaja
2 3 4 n Funkcije kao relacije
No funkcija f bijektivno preslikava (∗) na (∗∗)
1 1 1 1 1 1 1 1
0 1 2 3 4 5 6 7 8 9 ···
l l l l l l l l l l
1 1 1 1 1 1 1 1 1 1
2 3 4 5 6 7 8 9 10 11 ···
Matematika I

Skupovi i relacije
Dakle, f je zaista bijekcija pa skupovi [0, 1] i h0, 1i imaju isti kardinalni broj, tj. Skupovi
Binarne relacije
imaju jednak broj elemenata. Definicija. Obrat,
komplement i dualna
relacija
Dakle, nije istina da skup [0, 1] ima dva elementa više od skupa h0, 1i, oni imaju Svojstva binarnih relacija
jednak broj elemenata. Relacija parcijalnog
uredaja
Slično se može dokazati da skup [0, 1] nema jedan element više od skupa [0, 1i, oni
imaju jednak broj elemenata.
Matematika I

Prebrojivi i neprebrojivi skupovi izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Skupovi
Binarne relacije
Sada ćemo konačno vidjeti da nisu sve beskonačnosti jednake. Definicija. Obrat,
komplement i dualna
relacija
Kažemo da je skup A prebrojivo beskonačan ako i samo ako ima kardinalni broj Svojstva binarnih relacija
jednak kardinalnom broju skupa N, tj. ako je k(A) = k(N). Relacija parcijalnog
uredaja
Kažemo da je skup A prebrojiv ako je konačan ili prebrojivo beskonačan. Funkcije kao relacije
Za skup A kažemo da je neprebrojiv ako nije prebrojiv.
Oznaka za kardinalni broj skupa N je
k(N) = ℵ0 (alef nula).

Matematika I
Propozicija 8. izv. prof. dr. sc. Z. Erjavec
Skup Z je prebrojiv, tj. k(Z) = ℵ0 . Skupovi i relacije
Skupovi
Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I
Propozicija 8. izv. prof. dr. sc. Z. Erjavec
Skup Z je prebrojiv, tj. k(Z) = ℵ0 . Skupovi i relacije
Skupovi
Binarne relacije
Dokaz. Definicija. Obrat,
komplement i dualna
Treba dokazati da postoji barem jedna bijekcija f : N → Z. Tražena bijekcija je relacija
1 2 3 4 5 6 7 8 9 10 ··· Relacija parcijalnog
uredaja
l l l l l l l l l l
0 1 −1 2 −2 3 −3 4 −4 5 ··· Kardinalni broj skupa
odnosno 
n
2, ako je n paran

f (n) =
− n−1 , ako je n neparan
2
Matematika I

Teorem 7. Skupovi i relacije
Skupovi
Skup Q je prebrojiv, tj. k(Q) = ℵ0 , odnosno sve racionalne brojeve možemo napisati Binarne relacije
u jedan niz. Definicija. Obrat,

komplement i dualna
relacija
uredaja
Matematika I

Teorem 7. Skupovi i relacije
Skupovi
Skup Q je prebrojiv, tj. k(Q) = ℵ0 , odnosno sve racionalne brojeve možemo napisati Binarne relacije
u jedan niz. Definicija. Obrat,

komplement i dualna
relacija
Dokaz. Svojstva binarnih relacija

Najprije ćemo sve racionalne brojeve različite od nule ”zapisati” u jednu tablicu koja Relacija parcijalnog
uredaja
će imati beskonačno mnogo redaka i stupaca. U prvi redak smjestimo prvo sve Funkcije kao relacije
racionalne brojeve s nazivnikom 1 (tj. cijele brojeve) tako da suprotne brojeve pišemo
jedan pokraj drugog s time da prvo napišemo pozitivan, a onda negativan broj. Na
isti način u drugi redak napišemo sve racionalne brojeve s nazivnikom 2, u treći redak
sve racionalne brojeve s nazivnikom 3 itd., kako je prikazano na slici.
Matematika I
1 −1 2 −2 3 −3 ···
0 1 1 1 1 1 1 prof. dr. sc. Blaženka Divjak
Skupovi i relacije
1 −1 2 −2 3 −3 ··· Skupovi
2 2 2 2 2 2
Binarne relacije
Definicija. Obrat,
komplement i dualna
relacija
1 −1 2 −2 3 −3 ··· Svojstva binarnih relacija
3 3 3 3 3 3
uredaja
1 −1 2 −2 3 −3 ···
4 4 4 4 4 4 Kardinalni broj skupa
1 −1 2 −2 3 −3 ···
5 5 5 5 5 5
1 −1 2 −2 3 −3 ···
6 6 6 6 6 6
.. .. .. .. .. .. ..
Matematika I

Drugi korak je da sada sve racionalne brojeve napišemo u jedan niz obilazeći tablicu
Skupovi i relacije
po dijagonalama kako je prikazano na slici. Kako je u toj tablici svaki racionalni broj Skupovi
Binarne relacije
(osim nule) napisan beskonačno puta (jer prikaz racionalnog broja nije jedinstven),
Definicija. Obrat,
tada svaki put kad u tablici naidemo na neki racionalni broj koji je već napisan u komplement i dualna
relacija
nizu, preskočimo ga tako da u tom nizu svaki racionalni broj bude napisan samo Svojstva binarnih relacija
jedanput. Početak toga niza je Relacija parcijalnog
uredaja
1 −1 1 1 −1 2 −1 1 Funkcije kao relacije

0, 1, , −1, 2, , , , , −2, 3, , , , ... Kardinalni broj skupa
2 2 3 4 3 3 4 5
Jasno je da će se na taj način u tom nizu nalaziti svi racionalni brojevi. Dakle, uspjeli
smo sve racionalne brojeve napisati u jedan niz (pobrojali smo ih), a to znači da ih
ima koliko ima i prirodnih brojeva, tj. k(Q) = ℵ0 . ♥
Matematika I

Skupovi i relacije
Teorem 8. Skupovi
Binarne relacije
Skup h0, 1] je neprebrojiv. Definicija. Obrat,
komplement i dualna
relacija
uredaja
Matematika I

Skupovi i relacije
Teorem 8. Skupovi
Binarne relacije
Skup h0, 1] je neprebrojiv. Definicija. Obrat,
komplement i dualna
relacija
Dokaz. Svojstva binarnih relacija
Pretpostavimo da je skup h0, 1] prebrojiv. Tada ga možemo zapisati u obliku niza Relacija ekvivalencije
uredaja
c1 , c2 , . . . , cn , . . . (♣) Funkcije kao relacije

Svaki element cn možemo napisati u obliku decimalnog broja s beskonačno mnogo

decimala različitih od nule (npr. 0.5 = 0.49̇).
Matematika I

c1 = 0.a11 a12 · · · a1n · · ·
Skupovi i relacije
c2 = 0.a21 a22 · · · a2n · · · Skupovi
.. Binarne relacije
. Definicija. Obrat,
komplement i dualna
relacija
cn = 0.an1 an2 · · · ann · · · Svojstva binarnih relacija
.. Relacija ekvivalencije
. Relacija parcijalnog
uredaja
Neka je b = 0.b1 b2 · · · bn · · · realni broj definiran na sljedeći način. Neka je bn = 1 Kardinalni broj skupa
ako je ann 6= 1 i bn = 2 ako je ann = 1. Očito je b ∈ h0, 1] i jasno je da je b različit

od svih cn -ova. Naime b 6= cn jer je bn 6= ann . Naša pretpostavka da se u nizu (♣)
nalaze svi brojevi iz h0, 1] je pogrešna pa je skup h0, 1] neprebrojiv.
Matematika I

Dakle u skupu h0, 1] ima puno više elemenata, nego što ih ima u skupovima N, Z i Q.
Skupovi i relacije
Od prije znamo sljedeće Skupovi

Binarne relacije
h0, 1] ∼
= h0, 1i ∼
= R. Definicija. Obrat,
komplement i dualna
relacija
Kardinalni broj skupa R označavamo sa c, tj. Svojstva binarnih relacija
k(R) = c. (kontinuum) uredaja
k(N) = k(Z) = k(Q) = ℵ0

k(R) = k(h0, 1i) = c
Matematika I

Hipoteza kontinuuma izv. prof. dr. sc. Z. Erjavec
Skupovi i relacije
Cantor je postavio sljedeće pitanje Skupovi

Binarne relacije
Definicija. Obrat,
Postoji li kardinalni broj k takav da je ℵ0 < k < c? komplement i dualna
relacija
Hipoteza kontinuuma: Relacija ekvivalencije
Ne postoji kardinalni broj k takav da je ℵ0 < k < c. uredaja
Paul Cohen je 1966. godine za odgovor na navedeno pitanje dobio Fieldsovu
medalju. Odgovor glasi: uz standardni skup aksioma teorije skupova ne može se
odgovoriti na to pitanje. Zato matematičari ovu hipotezu ponekad dodaju skupu
osnovnih aksioma teorije skupova i na taj način ”odlučuju” da hipoteza vrijedi. Sam
Cohen je rekao:
”Pojam skupa je previše zamagljen da bi hipoteza kontinuuma mogla biti potvrdena
ili oborena.”

Matematika1 IIIdio

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Matematika1 IIIdio

Uploaded by

Copyright:

Available Formats

Matematika I

prof. dr. sc. Blaženka Divjak

prof. dr. sc. Blaženka Divjak

prof. dr. sc. Blaženka Divjak

nekom kriteriju povezani u cjelinu.

Skup je zadan ako su poznati svi njegovi elementi.

Ako skup A sadrži element a, to zapisujemo u obliku a ∈ A. Ako b nije element

prof. dr. sc. Blaženka Divjak

Evo nekoliko istinitih relacija:

prof. dr. sc. Blaženka Divjak

2 Definiranjem karakterističnog svojstva koji moraju elementi zadovoljavati da bi Skupovi i relacije

pripadali skupu. Skupovi

prof. dr. sc. Blaženka Divjak

Cantor – ne postoji skup svih skupova

Russellov paradoks o brijaču

prof. dr. sc. Blaženka Divjak

briju. Kartezijev produkt

prof. dr. sc. Blaženka Divjak

Skup prirodnih brojeva Skupovi

Skup cijelih brojeva Kartezijev produkt

Z = {. . . , −2, −1, 0, 1, 2, . . .} Binarne relacije

Skup racionalnih brojeva

Skup kompleksnih brojeva

prof. dr. sc. Blaženka Divjak

Oznake za kardinalni broj skupa A su

k(A), card A, |A|

Mi ćemo najćešće koristiti oznaku k(A).

prof. dr. sc. Blaženka Divjak

Primjer 33. Osnovni pojmovi teorije

prof. dr. sc. Blaženka Divjak

Primjer 33. Osnovni pojmovi teorije

Rješenje. Binarne relacije

Relacije medu skupovima prof. dr. sc. Blaženka Divjak

prof. dr. sc. Blaženka Divjak

prof. dr. sc. Blaženka Divjak

prof. dr. sc. Blaženka Divjak

element koji nije sadržan u A. Binarne relacije

prof. dr. sc. Blaženka Divjak

skupa X ujedno i element skupa Y . Medutim, vrijedi i X ⊂ Y jer je X ⊆ Y i Skupovi

prof. dr. sc. Blaženka Divjak

∅ → Ovo je prazan skup i on nema niti jedan element.

{∅} → Ovo nije prazan skup. To je skup koji sadrži Skupovi

{{∅}} → Ovo je skup koji sadrži jedan element i taj ele-

prof. dr. sc. Blaženka Divjak

prof. dr. sc. Blaženka Divjak

Objasnite zašto vrijede sljedeće relacije: ∅ ⊆ {{∅}} i {∅} * {{∅}}.

prof. dr. sc. Blaženka Divjak

Objasnite zašto vrijede sljedeće relacije: ∅ ⊆ {{∅}} i {∅} * {{∅}}.

prof. dr. sc. Blaženka Divjak

Partitivni skup skupa A označavamo sa P(A).

Kako je ∅ ⊆ A i A ⊆ A, slijedi da je partitivni skup uvijek neprazan skup.

prof. dr. sc. Blaženka Divjak

prof. dr. sc. Blaženka Divjak

prof. dr. sc. Blaženka Divjak

Uočimo da je u prethodnom primjeru bilo k(A) = 3, a k(P(A)) = 8 = 23 = 2k(A) .

prof. dr. sc. Blaženka Divjak

Propozicija 2. Skupovi i relacije

prof. dr. sc. Blaženka Divjak

Uvrstimo li x = y = 1 u binomnu formulu Skupovi

Operacije sa skupovima prof. dr. sc. Blaženka Divjak

prof. dr. sc. Blaženka Divjak

skupu A i skupu B. Osnovni pojmovi teorije

Za skupove A i B kažemo da su disjunktni ako nemaju zajedničkih elemenata, tj.