Relacije (Diskretne strukture)
-
Upload
tamara-markovic-bankovic -
Category
Documents
-
view
84 -
download
2
description
Transcript of Relacije (Diskretne strukture)
Šta je to relacija?Šta je to relacija?Šta je to relacija?
U raznim oblastima se cesto javlja potreba da se izmedu izvesnih ob-
jekata uspostave izvesne veze, odnosi ili relacije.
Na primer, cesto se javlja potreba
➠ da se izvesni objekti uporede prema nekom zadatom kriterijumu,
➠ da se poredaju u skladu sa nekim pravilom,
➠ da se odrede izvesne slicnosti izmedu objekata, i da se oni grupisu
u grupe medusobno slicnih objekata, itd.
U matematici se sve ovo moze uraditi koriscenjem matematickog pojma
relacije, koji definisemo i bavimo se njime u daljem tekstu.
Diskretne strukture – 2 – Relacije - I deoDiskretne strukture – 2 – Relacije - I deoDiskretne strukture – 2 – Relacije - I deo
Binarne relacijeBinarne relacijeBinarne relacije
Binarnu relaciju na nepraznom skupu A definisemo kao bilo koji pod-
skup Dekartovog kvadrata A2:
⊆ A2.
Ako je
(x, y) ∈ ,
onda kazemo
x je u relaciji sa y.
Cesto umesto (x, y) ∈ pisemo x y.
Diskretne strukture – 3 – Relacije - I deoDiskretne strukture – 3 – Relacije - I deoDiskretne strukture – 3 – Relacije - I deo
Primeri binarnih relacijaPrimeri binarnih relacijaPrimeri binarnih relacija
a) Skup = {(1, 2), (1, 3), (2, 3)} je jedna binarna relacija na skupu
{1, 2, 3}. Umesto (1, 2) ∈ , pise se 1 2.
Kako je to relacija manje za brojeve, uobicajeno oznacavanje je
1 < 2.
b) Na partitivnom skupu proizvoljnog skupa A, inkluzuja ⊆ je jedna
binarna relacija.
c) Skup {(x, x) | x ∈ A} odreduje relaciju jednakosti na nepraznom
skupu A; oznaka relacije je =, odnosno pise se a = a za svaki
element a ∈ A.
Diskretne strukture – 4 – Relacije - I deoDiskretne strukture – 4 – Relacije - I deoDiskretne strukture – 4 – Relacije - I deo
Primeri binarnih relacijaPrimeri binarnih relacijaPrimeri binarnih relacija
d) Poznate binarne relacije na skupu prirodnih brojeva N, pored jed-
nakosti, jesu i <, 6, |, a njihove definicije su:
x < y ⇔ (∃z)(x + z = y) manje (strogo manje)
x 6 y ⇔ (x = y ∨ x < y) manje ili jednako
x | y ⇔ (∃z)(x · z = y) deli, je delitelj
Analogno prvim dvema definisu se i relacije
> vece (strogo vece) > vece ili jednako
Diskretne strukture – 5 – Relacije - I deoDiskretne strukture – 5 – Relacije - I deoDiskretne strukture – 5 – Relacije - I deo
n-arne relacijen-arne relacijen-arne relacije
Slicno pojmu binarne relacije, za bilo koji prirodan broj n uvodimo
pojam n-arne relacije na nepraznom skupu A koja se definise kao
bilo koji podskup Dekartovog stepena An.
Broj n se naziva arnost ili duzina relacije .
Relacije arnosti 1 nazivamo unarne relacije.
Unarne relacije su zapravo “obicni” podskupovi skupa A.
Relacije arnosti 2 su upravo binarne relacije.
Relacije arnosti 3 nazivamo ternarne relacije.
U matematici se najcesce radi sa binarnim relacijama.
Zato, jednostavnosti radi, umesto binarna relacija mi govorimo krace
samo relacija.
Diskretne strukture – 6 – Relacije - I deoDiskretne strukture – 6 – Relacije - I deoDiskretne strukture – 6 – Relacije - I deo
Primeri n-arnih relacijaPrimeri n-arnih relacijaPrimeri n-arnih relacija
a) Ako je A skup tacaka na pravoj, onda se svojstvom
x je izmedu y i z
definise jedna ternarna relacija na A.
b) Skup
{(x, y, z) | x2 + y2 = z2}
je ternarna relacija na skupu R.
c) Skup Np parnih brojeva je unarna relacija na skupu N.
Diskretne strukture – 7 – Relacije - I deoDiskretne strukture – 7 – Relacije - I deoDiskretne strukture – 7 – Relacije - I deo
Grafi cko predstavljanje relacijaGrafi cko predstavljanje relacijaGrafi cko predstavljanje relacija
Kao sto smo ranije rekli, Dekatrov kvadrat A2 skupa A se graficki
predstavlja kvadratom cija donja i leva ivica predstavljaju skup A.
Binarne relacije na A se u tom slucaju predstavljaju kao skupovi tacaka
sa odgovarajucim koordinatama u tom kvadratu.
U ovom primeru je (a, b) ∈ , sto pisemo a b, dok (c, d) /∈ .
Diskretne strukture – 8 – Relacije - I deoDiskretne strukture – 8 – Relacije - I deoDiskretne strukture – 8 – Relacije - I deo
Grafi cko predstavljanje relacijaGrafi cko predstavljanje relacijaGrafi cko predstavljanje relacija
Ako je skup A konacan, onda kvadrat A2 predstavljamo mrezom hori-
zontalnih i vertikalnih duzi, ciji preseci predstavljaju tacke iz A2.
Relaciju ⊆ A2 predstavljamo tako sto parove tacaka iz u toj mrezi
oznacavamo malim kruzicima.
a b c da
b
c
d
Na primer, za A = {a, b, c, d}, gornja slika predstavlja relaciju
= {(a, b), (a, c), (b, b), (b, c), (c, b), (c, d), (d, a), (d, d)}.
Diskretne strukture – 9 – Relacije - I deoDiskretne strukture – 9 – Relacije - I deoDiskretne strukture – 9 – Relacije - I deo
Bulove matriceBulove matriceBulove matrice
Relacija na konacnom skupu A = {a1, a2, . . . , an} moze se pred-
staviti i Bulovom matricom
M =
α1,1 α1,2 . . . α1,n
α2,1 α2,2 . . . α2,n
. . . . . . . . . . . .
αn,1 αn,2 . . . αn,n
gde je
αi,j =
{
1 ako (ai, aj) ∈
0 ako (ai, aj) /∈
Matrica se naziva Bulovom jer se sastoji samo od Bulovih vrednosti –
nula (oznaka za netacno) i jedinica (oznaka za tacno).
Diskretne strukture – 10 – Relacije - I deoDiskretne strukture – 10 – Relacije - I deoDiskretne strukture – 10 – Relacije - I deo
Primer Bulove matricePrimer Bulove matricePrimer Bulove matrice
Ranije razmatrana relacija
= {(a, b), (a, c), (b, b), (b, c), (c, b), (c, d), (d, a), (d, d)},
na skupu A = {a, b, c, d}, moze se predstaviti Bulovom matricom:
M =
0 1 1 0
0 1 1 0
0 1 0 1
1 0 0 1
Primetimo da ova matrica veoma lici na kvadratnu mrezu (rotiranu za
−90◦), kojom je ranije bila predstavljena ista ova relacija.
Diskretne strukture – 11 – Relacije - I deoDiskretne strukture – 11 – Relacije - I deoDiskretne strukture – 11 – Relacije - I deo
Relacije i grafoviRelacije i grafoviRelacije i grafovi
Jos jedan nacin grafickog predstavljanja relacija je uz pomoc grafova.
Orijentisani graf ili digraf je uredeni par (G, E) za koji vazi:
– G je neprazan skup, koji nazivamo skupom cvorova, a njegove
elemente cvorovima grafa;
– E ⊆ G2 je neprazan skup koji nazivamo skupom grana, a njegove
elemente granama grafa.
Jasno, E je nista drugo do binarna relacija na skupu cvorova G.
Za granu e = (a, b) ∈ E kazemo da pocinje u cvoru a a zavrsava se u
cvoru b, sto graficki predstavljamo na sledeci nacin:
a b
Diskretne strukture – 12 – Relacije - I deoDiskretne strukture – 12 – Relacije - I deoDiskretne strukture – 12 – Relacije - I deo
Primer grafaPrimer grafaPrimer grafa
Jednostavnosti radi, kada je iz konteksta jasno da se radi o digrafu,
umesto ”digraf” kazemo i samo ”graf”.
Neka je graf G = (G, E) zadat sa:
G = {a, b, c}, E = {(a, b), (a, c), (b, b), (b, c), (c, b)}.
Ovaj graf (relaciju) graficki predstavljamo na sledeci nacin:
Diskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deo
Primer grafaPrimer grafaPrimer grafa
Jednostavnosti radi, kada je iz konteksta jasno da se radi o digrafu,
umesto ”digraf” kazemo i samo ”graf”.
Neka je graf G = (G, E) zadat sa:
G = {a, b, c}, E = {(a, b), (a, c), (b, b), (b, c), (c, b)}.
Ovaj graf (relaciju) graficki predstavljamo na sledeci nacin:
a b
c
Diskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deo
Primer grafaPrimer grafaPrimer grafa
Jednostavnosti radi, kada je iz konteksta jasno da se radi o digrafu,
umesto ”digraf” kazemo i samo ”graf”.
Neka je graf G = (G, E) zadat sa:
G = {a, b, c}, E = {(a, b), (a, c), (b, b), (b, c), (c, b)}.
Ovaj graf (relaciju) graficki predstavljamo na sledeci nacin:
a b
c
Diskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deo
Primer grafaPrimer grafaPrimer grafa
Jednostavnosti radi, kada je iz konteksta jasno da se radi o digrafu,
umesto ”digraf” kazemo i samo ”graf”.
Neka je graf G = (G, E) zadat sa:
G = {a, b, c}, E = {(a, b), (a, c), (b, b), (b, c), (c, b)}.
Ovaj graf (relaciju) graficki predstavljamo na sledeci nacin:
a b
c
Diskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deo
Primer grafaPrimer grafaPrimer grafa
Jednostavnosti radi, kada je iz konteksta jasno da se radi o digrafu,
umesto ”digraf” kazemo i samo ”graf”.
Neka je graf G = (G, E) zadat sa:
G = {a, b, c}, E = {(a, b), (a, c), (b, b), (b, c), (c, b)}.
Ovaj graf (relaciju) graficki predstavljamo na sledeci nacin:
a b
c
Diskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deo
Primer grafaPrimer grafaPrimer grafa
Jednostavnosti radi, kada je iz konteksta jasno da se radi o digrafu,
umesto ”digraf” kazemo i samo ”graf”.
Neka je graf G = (G, E) zadat sa:
G = {a, b, c}, E = {(a, b), (a, c), (b, b), (b, c), (c, b)}.
Ovaj graf (relaciju) graficki predstavljamo na sledeci nacin:
a b
c
Diskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deo
Primer grafaPrimer grafaPrimer grafa
Jednostavnosti radi, kada je iz konteksta jasno da se radi o digrafu,
umesto ”digraf” kazemo i samo ”graf”.
Neka je graf G = (G, E) zadat sa:
G = {a, b, c}, E = {(a, b), (a, c), (b, b), (b, c), (c, b)}.
Ovaj graf (relaciju) graficki predstavljamo na sledeci nacin:
a b
c
Diskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deoDiskretne strukture – 13 – Relacije - I deo
Još jedan primer grafaJoš jedan primer grafaJoš jedan primer grafa
Neka je graf (G, E) graficki prikazan sa
a b
c
Tada je G = {a, b, c} i
E = {(a, b), (a, c), (b, b), (c, a), (c, c)}.
Napomenimo da granu oblika (a, a) zovemo petlja.
Diskretne strukture – 14 – Relacije - I deoDiskretne strukture – 14 – Relacije - I deoDiskretne strukture – 14 – Relacije - I deo
Malo o terminologijiMalo o terminologijiMalo o terminologiji
Naziv ”graf” potice upravo od grafickog nacina njihovog predstavljanja.
Naziv ”orijentisani graf” istice cinjenicu da kod svake grane razlikujemo
njen pocetni i njen zavrski cvor.
U grafickom predstavljanju grafa, orijentacija je odredena strelicom.
”Digraf” je skracenica naziva orijentisanog grafa na engleskom jeziku
– ”directed graph”.
U matematici se takode izucavaju i neorijentisani grafovi.
Za razliku od orijentisanih grafova, kod kojih je grana uredeni par
cvorova, kod neorijentisanih grafova grana je neuredeni par cvorova.
Diskretne strukture – 15 – Relacije - I deoDiskretne strukture – 15 – Relacije - I deoDiskretne strukture – 15 – Relacije - I deo
Predstavljanje relacija - primeriPredstavljanje relacija - primeriPredstavljanje relacija - primeri
Zadatak 1.1. Neka je A = {2, 4, 5, 8, 9, 10} i neka je relacija na A
definisana sa
a bdef⇔ a deli b u skupu N.
(a) Predstaviti relaciju kao skup uredenih parova.
(b) Predstaviti relaciju grafom.
(c) Predstaviti relaciju Bulovom matricom.
Resenje: a) Imamo da je
= {(2, 2), (2, 4), (2, 8), (2, 10), (4, 4), (4, 8),
(5, 5), (5, 10), (8, 8), (9, 9), (10, 10)}.
Diskretne strukture – 16 – Relacije - I deoDiskretne strukture – 16 – Relacije - I deoDiskretne strukture – 16 – Relacije - I deo
Predstavljanje relacija - primeriPredstavljanje relacija - primeriPredstavljanje relacija - primeri
(b) Kako je
= {(2, 2), (2, 4), (2, 8), (2, 10), (4, 4), (4, 8),
(5, 5), (5, 10), (8, 8), (9, 9), (10, 10)},
se moze predstaviti grafom na jedan od sledecih nacina:
2
45
8
910
2
45
8
9 10
Diskretne strukture – 17 – Relacije - I deoDiskretne strukture – 17 – Relacije - I deoDiskretne strukture – 17 – Relacije - I deo
Predstavljanje relacija - primeriPredstavljanje relacija - primeriPredstavljanje relacija - primeri
(c) Kako je
= {(2, 2), (2, 4), (2, 8), (2, 10), (4, 4), (4, 8),
(5, 5), (5, 10), (8, 8), (9, 9), (10, 10)},
se moze predstaviti sledecom Bulovom matricom:
1 1 0 1 0 1
0 1 0 1 0 0
0 0 1 0 0 1
0 0 0 1 0 0
0 0 0 0 1 0
0 0 0 0 0 1
Diskretne strukture – 18 – Relacije - I deoDiskretne strukture – 18 – Relacije - I deoDiskretne strukture – 18 – Relacije - I deo
Predstavljanje relacija - primeriPredstavljanje relacija - primeriPredstavljanje relacija - primeri
Kako se iz ovog predstavljanja ne vidi bas jasno koja vrsta, odnosno
kolona, odgovara odredenom elementu iz A, to relaciju mozemo
predstaviti i tablicom
2 4 5 8 9 10
2 1 1 0 1 0 1
4 0 1 0 1 0 0
5 0 0 1 0 0 1
8 0 0 0 1 0 0
9 0 0 0 0 1 0
10 0 0 0 0 0 1
Diskretne strukture – 19 – Relacije - I deoDiskretne strukture – 19 – Relacije - I deoDiskretne strukture – 19 – Relacije - I deo
Neke važne relacijeNeke važne relacijeNeke važne relacije
Prazna relacija definise se kao prazan podskup od A2.
Puna ili univerzalna relacija definise se kao ceo skup A2.
Relacija jednakosti na skupu A naziva se cesto i dijagonalna relacija ili
dijagonala i oznacava se sa ∆.
Dakle, ∆ = {(x, x) | x ∈ A}
Diskretne strukture – 20 – Relacije - I deoDiskretne strukture – 20 – Relacije - I deoDiskretne strukture – 20 – Relacije - I deo
Operacije sa relacijamaOperacije sa relacijamaOperacije sa relacijama
Kako relacije na skupu A predstavljaju podskupove od A2, to se poj-
movi presek relacija, unija relacija i komplement relacije definisu kao
preseci skupova:
∩ θ = {(x, y) ∈ A2 | (x, y) ∈ ∧ (x, y) ∈ θ};
∪ θ = {(x, y) ∈ A2 | (x, y) ∈ ∨ (x, y) ∈ θ};
= {(x, y) ∈ A2 | (x, y) 6∈ }.
Diskretne strukture – 21 – Relacije - I deoDiskretne strukture – 21 – Relacije - I deoDiskretne strukture – 21 – Relacije - I deo
Jednakost i inkluzija relacijaJednakost i inkluzija relacijaJednakost i inkluzija relacija
Jednakost relacija takode definisemo kao jednakost skupova,
= θdef⇔ (∀(x, y) ∈ A2) (x, y) ∈ ⇔ (x, y) ∈ θ ),
a inkluziju relacija kao inkluziju skupova:
⊆ θdef⇔ (∀(x, y) ∈ A2) (x, y) ∈ ⇒ (x, y) ∈ θ ).
Diskretne strukture – 22 – Relacije - I deoDiskretne strukture – 22 – Relacije - I deoDiskretne strukture – 22 – Relacije - I deo
Inverzna relacijaInverzna relacijaInverzna relacija
Inverzna relacija relacije na skupu A, u oznaci −1, je relacija na
skupu A definisana sa:
−1 = {(y, x) ∈ A2 | (x, y) ∈ }.
Na slici se vidi da se inverzna relacija −1 dobija rotacijom relacije
oko dijagonale.
Diskretne strukture – 23 – Relacije - I deoDiskretne strukture – 23 – Relacije - I deoDiskretne strukture – 23 – Relacije - I deo
Primeri operacija sa relacijamaPrimeri operacija sa relacijamaPrimeri operacija sa relacijama
Razmatramo relacije na skupu prirodnih brojeva N.
a) Presek relacija 6 i > je relacija jednakosti, a njihova unija je puna
relacija, tj. N2.
b) Komplement relacije < je relacija >, a inverzna relacija za < je
relacija >.
c) Relacija jednakosti je sama sebi inverzna, a njen komplement je
relacija 6=.
d) Relacija deli, |, je podskup relacije 6.
Diskretne strukture – 24 – Relacije - I deoDiskretne strukture – 24 – Relacije - I deoDiskretne strukture – 24 – Relacije - I deo
Kompozicija relacijaKompozicija relacijaKompozicija relacija
Kompozicija ili proizvod relacija i θ na skupu A je relacija ◦ θ na
A, definisana na sledeci nacin:
◦ θ = {(x, y) ∈ A2 | (∃z ∈ A)((x, z) ∈ ∧ (z, y) ∈ θ)}
odnosno
◦ θ = {(x, y) ∈ A2 | (∃z ∈ A)( x z ∧ z θ y )}
Drugim recima, relacija θ se nastavlja (nadovezuje) na .
To nadovezivanje moze se graficki prikazati na sledeci nacin
x z y
θ
Diskretne strukture – 25 – Relacije - I deoDiskretne strukture – 25 – Relacije - I deoDiskretne strukture – 25 – Relacije - I deo
Primer kompozicije relacijaPrimer kompozicije relacijaPrimer kompozicije relacija
Neka je A = {a, b, c, d}, i
= {(a, b), (a, c), (a, d), (b, d)}, θ = {(b, a), (b, c), (d, c)}.
Tada je
◦ θ = {(a, a), (a, c), (b, c)}, θ ◦ = {(b, b), (b, c), (b, d)}.
Diskretne strukture – 26 – Relacije - I deoDiskretne strukture – 26 – Relacije - I deoDiskretne strukture – 26 – Relacije - I deo
Isti primer – drugi na cinIsti primer – drugi na cinIsti primer – drugi na cin
Neka je ponovo A = {a, b, c, d}, i
= {(a, b), (a, c), (a, d), (b, d)}, θ = {(b, a), (b, c), (d, c)}.
Ove relacije mozemo graficki predstaviti
tako da relaciji odgovaraju plave strelice,
a relaciji θ crvene.
Tada relacijama ◦ θ i θ ◦ odgovaraju
kombinacije strelica:
◦ θ: plava–crvena; θ ◦ : crvena–plavaa b
c d
Dakle,
◦ θ = {(a, a), (a, c), (b, c)}, θ ◦ = {(b, b), (b, c), (b, d)}.
Diskretne strukture – 27 – Relacije - I deoDiskretne strukture – 27 – Relacije - I deoDiskretne strukture – 27 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
Tvrdenje 1: Za proizvoljne relacije , θ i σ na skupu A vazi:
◦ (θ ◦ σ) = ( ◦ θ) ◦ σ,
tj. kompozicija relacija je asocijativna operacija.
Dokaz:
Dokazacemo samo da vazi inkluzija
◦ (θ ◦ σ) ⊆ ( ◦ θ) ◦ σ,
jer se obratna inkluzija dokazuje na potpuno isti nacin.
Diskretne strukture – 28 – Relacije - I deoDiskretne strukture – 28 – Relacije - I deoDiskretne strukture – 28 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒
⇒
⇒
⇒
⇒
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
x
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒ (∃x ∈ A) ∧
⇒
⇒
⇒
⇒
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
x
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒ (∃x ∈ A)(a, x) ∈ ∧
⇒
⇒
⇒
⇒
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
x
θ ◦ σ
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒ (∃x ∈ A)(a, x) ∈ ∧ (x, b) ∈ θ ◦ σ
⇒
⇒
⇒
⇒
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
x
θ ◦ σ
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒ (∃x ∈ A)(a, x) ∈ ∧ (x, b) ∈ θ ◦ σ
⇒ (∃x ∈ A) (a, x) ∈ ∧
⇒
⇒
⇒
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
x
θ ◦ σ
y
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒ (∃x ∈ A)(a, x) ∈ ∧ (x, b) ∈ θ ◦ σ
⇒ (∃x ∈ A)(∃y ∈ A)(a, x) ∈ ∧(
∧)
⇒
⇒
⇒
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
x
θ ◦ σ
yθ
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒ (∃x ∈ A)(a, x) ∈ ∧ (x, b) ∈ θ ◦ σ
⇒ (∃x ∈ A)(∃y ∈ A)(a, x) ∈ ∧(
(x, y) ∈ θ ∧)
⇒
⇒
⇒
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
x
θ ◦ σ
yθ σ
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒ (∃x ∈ A)(a, x) ∈ ∧ (x, b) ∈ θ ◦ σ
⇒ (∃x ∈ A)(∃y ∈ A)(a, x) ∈ ∧(
(x, y) ∈ θ ∧ (y, b) ∈ σ)
⇒
⇒
⇒
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
x
θ ◦ σ
yθ σ
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒ (∃x ∈ A)(a, x) ∈ ∧ (x, b) ∈ θ ◦ σ
⇒ (∃x ∈ A)(∃y ∈ A)(a, x) ∈ ∧(
(x, y) ∈ θ ∧ (y, b) ∈ σ)
⇒ (∃y ∈ A)(∃x ∈ A)
⇒
⇒
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
x
θ ◦ σ
yθ σ
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒ (∃x ∈ A)(a, x) ∈ ∧ (x, b) ∈ θ ◦ σ
⇒ (∃x ∈ A)(∃y ∈ A)(a, x) ∈ ∧(
(x, y) ∈ θ ∧ (y, b) ∈ σ)
⇒ (∃y ∈ A)(∃x ∈ A)(
(a, x) ∈ ∧ (x, y) ∈ θ)
∧ (y, b) ∈ σ
⇒
⇒
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
x
θ ◦ σ
yθ σ
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒ (∃x ∈ A)(a, x) ∈ ∧ (x, b) ∈ θ ◦ σ
⇒ (∃x ∈ A)(∃y ∈ A)(a, x) ∈ ∧(
(x, y) ∈ θ ∧ (y, b) ∈ σ)
⇒ (∃y ∈ A)(∃x ∈ A)(
(a, x) ∈ ∧ (x, y) ∈ θ)
∧ (y, b) ∈ σ
⇒ (∃y ∈ A) ∧ (y, b) ∈ σ
⇒
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
x
θ ◦ σ
yθ σ
◦ θ
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒ (∃x ∈ A)(a, x) ∈ ∧ (x, b) ∈ θ ◦ σ
⇒ (∃x ∈ A)(∃y ∈ A)(a, x) ∈ ∧(
(x, y) ∈ θ ∧ (y, b) ∈ σ)
⇒ (∃y ∈ A)(∃x ∈ A)(
(a, x) ∈ ∧ (x, y) ∈ θ)
∧ (y, b) ∈ σ
⇒ (∃y ∈ A)(a, y) ∈ ◦ θ ∧ (y, b) ∈ σ
⇒
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
x
θ ◦ σ
yθ σ
◦ θ
( ◦ θ) ◦ σ
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒ (∃x ∈ A)(a, x) ∈ ∧ (x, b) ∈ θ ◦ σ
⇒ (∃x ∈ A)(∃y ∈ A)(a, x) ∈ ∧(
(x, y) ∈ θ ∧ (y, b) ∈ σ)
⇒ (∃y ∈ A)(∃x ∈ A)(
(a, x) ∈ ∧ (x, y) ∈ θ)
∧ (y, b) ∈ σ
⇒ (∃y ∈ A)(a, y) ∈ ◦ θ ∧ (y, b) ∈ σ
⇒ (a, b) ∈ ( ◦ θ) ◦ σ
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Asocijativnost kompozicijeAsocijativnost kompozicijeAsocijativnost kompozicije
a b
◦ (θ ◦ σ)
x
θ ◦ σ
yθ σ
◦ θ
( ◦ θ) ◦ σ
(a, b) ∈ ◦ (θ ◦ σ) ⇒
⇒ (∃x ∈ A)(a, x) ∈ ∧ (x, b) ∈ θ ◦ σ
⇒ (∃x ∈ A)(∃y ∈ A)(a, x) ∈ ∧(
(x, y) ∈ θ ∧ (y, b) ∈ σ)
⇒ (∃y ∈ A)(∃x ∈ A)(
(a, x) ∈ ∧ (x, y) ∈ θ)
∧ (y, b) ∈ σ
⇒ (∃y ∈ A)(a, y) ∈ ◦ θ ∧ (y, b) ∈ σ
⇒ (a, b) ∈ ( ◦ θ) ◦ σ
Ovim smo dokazali da je ◦ (θ ◦ σ) ⊆ ( ◦ θ) ◦ σ.
Diskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deoDiskretne strukture – 29 – Relacije - I deo
Druga svojstva kompozicijeDruga svojstva kompozicijeDruga svojstva kompozicije
Tvrdenje 2: Postoji skup A i relacije i θ na A takve da je
◦ θ 6= θ ◦ .
tj. da kompozicija relacija ne mora biti komutativna operacija.
Dokaz: U primeru kompozicije relacija koji smo dali napred je
◦ θ 6= θ ◦ ,
sto dokazuje nase tvrdenje.
Diskretne strukture – 30 – Relacije - I deoDiskretne strukture – 30 – Relacije - I deoDiskretne strukture – 30 – Relacije - I deo
Druga svojstva kompozicijeDruga svojstva kompozicijeDruga svojstva kompozicije
Tvrdenje 3: Za proizvoljnu relaciju na skupu A vazi
◦ ∆ = ∆ ◦ = .
Dokaz: Neka je (x, y) ∈ ◦∆. To znaci da postoji z ∈ A takav da je
(x, z) ∈ i (z, y) ∈ ∆, odnosno (x, z) ∈ i z = y, odakle dobijamo
da je (x, y) ∈ . Prema tome, dokazali smo da je ◦ ∆ ⊆ .
Sa druge strane, ako je (x, y) ∈ , tada imamo da je (x, y) ∈ i
(y, y) ∈ ∆, pa prema definiciji kompozicije relacija dobijamo da je
(x, y) ∈ ◦ ∆. Ovim smo dokazali da je ⊆ ◦ ∆, pa konacno
zakljucujemo da je ◦ ∆ = .
Na isti nacin dokazujemo da je ∆ ◦ = .
Diskretne strukture – 31 – Relacije - I deoDiskretne strukture – 31 – Relacije - I deoDiskretne strukture – 31 – Relacije - I deo
Druga svojstva kompozicijeDruga svojstva kompozicijeDruga svojstva kompozicije
Tvrdenje 3: Za proizvoljne relacije ρ, θ i σ na skupu A vazi:
(a) ρ ◦ (θ ∪ σ) = (ρ ◦ θ) ∪ (ρ ◦ σ); (ρ ∪ θ) ◦ σ = (ρ ◦ σ) ∪ (θ ◦ σ);
(b) ρ ◦ (θ ∩ σ) ⊆ (ρ ◦ θ) ∩ (ρ ◦ σ); (ρ ∩ θ) ◦ σ ⊆ (ρ ◦ σ) ∩ (θ ◦ σ);
(c) (ρ ∪ θ)−1 = ρ−1 ∪ θ−1;
(d) (ρ ∩ θ)−1 = ρ−1 ∩ θ−1;
(e) (ρ ◦ θ)−1 = θ−1 ◦ ρ−1;
(f) (ρ−1)−1 = ρ;
(g) (ρ)−1 = (ρ−1).
Dokaz: Ostavlja se za vezbu.
Diskretne strukture – 32 – Relacije - I deoDiskretne strukture – 32 – Relacije - I deoDiskretne strukture – 32 – Relacije - I deo
Druga svojstva kompozicijeDruga svojstva kompozicijeDruga svojstva kompozicije
Tvrdenje 3: Za proizvoljne relacije ρ, θ i σ na skupu A vazi:
ρ ⊆ θ ⇒ σ ◦ ρ ⊆ σ ◦ θ, ρ ⊆ θ ⇒ ρ ◦ σ ⊆ θ ◦ σ.
Dokaz: Neka je ρ ⊆ θ.
Ako (x, y) ∈ σ ◦ ρ, tada postoji z ∈ A takav da je (x, z) ∈ σ i
(z, y) ∈ ρ. Kako je ρ ⊆ θ, to imamo da je (x, z) ∈ σ i (z, y) ∈ θ,
sto znaci da je (x, y) ∈ σ ◦ θ.
Prema tome, dobili smo da je σ ◦ ρ ⊆ σ ◦ θ, cime je dokazana prva
implikacija.
Druga implikacija se dokazuje analogno.
Diskretne strukture – 33 – Relacije - I deoDiskretne strukture – 33 – Relacije - I deoDiskretne strukture – 33 – Relacije - I deo
Refleksivne relacijeRefleksivne relacijeRefleksivne relacije
Relacija na skupu A je refleksivna ako za svaki x ∈ A vazi
(x, x) ∈ .
Drugim recima, relacija je refleksivna ako i samo ako je
∆ ⊆
tj., ako sadrzi dijagonalu.
Prema tome, dijagonala je refleksivna relacija.
Za relaciju na A, relacija ∪ ∆ je najmanja refleksivna relacija na A
koja sadrzi , i zovemo je refleksivno zatvorenje relacije .
Diskretne strukture – 34 – Relacije - I deoDiskretne strukture – 34 – Relacije - I deoDiskretne strukture – 34 – Relacije - I deo
Simetri cne relacijeSimetri cne relacijeSimetri cne relacije
Relacija na A je simetricna ako za sve x, y ∈ A vazi
(x, y) ∈ ⇒ (y, x) ∈ .
Drugim recima, je simetricna relacija ako je ⊆ −1, sto je ekviva-
lentno sa = −1.
Naziv ”simetricna” potice iz cinjenice da su to relacije simetricne u
odnosu na dijagonalu, sto je prikazano na sledecoj slici:
Diskretne strukture – 35 – Relacije - I deoDiskretne strukture – 35 – Relacije - I deoDiskretne strukture – 35 – Relacije - I deo
Antisimetri cne relacijeAntisimetri cne relacijeAntisimetri cne relacije
Relacija na A je antisimetricna ako za sve x, y ∈ A vazi
(x, y) ∈ ∧ (y, x) ∈ ⇒ x = y,
Ovaj uslov je ekvivalentan sa
∩ −1 ⊆ ∆.
Drugim recima, antisimetricna relacija ne moze sadrzati nijedan par
razlicitih tacaka u A2 simetrican u odnosu na dijagonalu.
Odatle i potice naziv ”antisimetricna” relacija.
Diskretne strukture – 36 – Relacije - I deoDiskretne strukture – 36 – Relacije - I deoDiskretne strukture – 36 – Relacije - I deo
Tranzitivne relacijeTranzitivne relacijeTranzitivne relacije
Relacija na A je tranzitivna ako za sve x, y, z ∈ A vazi
(x, y) ∈ ∧ (y, z) ∈ ⇒ (x, z) ∈ .
Ekvivalentna formulacija ovog uslova je ◦ ⊆ .
Tranzitivnost se graficki moze predstaviti na sledeci nacin – ako je x
u relaciji sa y, i y je u relaciji sa z, onda se trougao moze zatvoriti
relacijom izmedu x i z:
x y
z
Diskretne strukture – 37 – Relacije - I deoDiskretne strukture – 37 – Relacije - I deoDiskretne strukture – 37 – Relacije - I deo
Tranzitivno zatvorenje relacijeTranzitivno zatvorenje relacijeTranzitivno zatvorenje relacije
Neka je relacija na skupu A. Za n ∈ N0, n-ti stepen relacije , u
oznaci n, definisemo sa:
0 def= ∆ 1 def
= n+1 def= n ◦
Takode, relacije + i ∗ definisemo na sledeci nacin:
+ def=
⋃
n∈N
n ∗ def=
⋃
n∈N0
n
a) + je najmanja tranzitivna relacija na A koja sadrzi , i zovemo je
tranzitivno zatvorenje relacije ;
b) ∗ je najmanja refleksivna i tranzitivna relacija na A koja sadrzi ,
i zovemo je refleksivno-tranzitivno zatvorenje relacije .
Diskretne strukture – 38 – Relacije - I deoDiskretne strukture – 38 – Relacije - I deoDiskretne strukture – 38 – Relacije - I deo
Putevi u grafuPutevi u grafuPutevi u grafu
Neka je dat graf (G, E), cvorovi a, b ∈ G i neka je
e1 = (a1, b1), e2 = (a2, b2), . . . , en = (an, bn) ∈ E
niz grana za koje vazi
– a = a1 (a je pocetni cvor);
– bn = b (b je zavrsni cvor);
– bk = ak+1 (grana ek+1 se nadovezuje na granu ek), za svaki k,
1 6 k 6 n − 1.
Tada za ovaj niz grana kazemo da je put iz cvora a u cvor b, a broj n
grana u nizu nazivamo duzinom tog puta.
. . .a=a1
b1 =a2 b2 =a3 bn−1 =an bn =b
e1 e2 en
Diskretne strukture – 39 – Relacije - I deoDiskretne strukture – 39 – Relacije - I deoDiskretne strukture – 39 – Relacije - I deo
Putevi u grafuPutevi u grafuPutevi u grafu
Tranzitivno zatvorenje relacije na skupu A moze se predstaviti pomocu
puteva u grafu (A, ), na sledeci nacin:
(a, b) ∈ + ako i samo ako postoji put iz a u b.
Takode, za n ∈ N vazi:
(a, b) ∈ n ako i samo ako postoji put duzine n iz a u b.
Na ovaj nacin bi smo mogli izraziti i tranzitivnost relacije:
Relacija na skupu A je tranzitivna ako i samo ako svaki put u grafu
(A, ) ima precicu duzine 1, tj., postoji grana koja spaja pocetnu i
krajnju tacku tog puta.
Diskretne strukture – 40 – Relacije - I deoDiskretne strukture – 40 – Relacije - I deoDiskretne strukture – 40 – Relacije - I deo
PrimeriPrimeriPrimeri
a) Relacije =, 6, > i | na skupu N prirodnih brojeva su refleksivne.
Sve te relacije su i tranzitivne, = je simetricna a 6, > i | su anti-
simetricne.
Ako relaciju deljenja | posmatramo na skupu celih brojeva, tada
ona nije antisimetricna. Na primer, za svaki ceo broj n 6= 0 vazi:
−n | n i n | −n, pri cemu je n 6= −n.
b) Relacija = {(1, 1), (1, 2), (2, 2)} je refleksivna na skupu {1, 2},
ali nije na skupu {1, 2, 3}, jer ne sadrzi dijagonalu ovog poslednjeg.
Diskretne strukture – 41 – Relacije - I deoDiskretne strukture – 41 – Relacije - I deoDiskretne strukture – 41 – Relacije - I deo
PrimeriPrimeriPrimeri
c) Relacija = {(x, y) | |x − y| < 1} na skupu realnih brojeva R je
refleksivna i simetricna, ali nije tranzitivna.
d) Relacija paralelnosti za prave u ravni:
p‖qdef⇔ p i q se ne seku ili se poklapaju
je refleksivna, simetricna i tranzitivna.
Relacija ortogonalnosti
p⊥qdef⇔ p i q se seku pod pravim uglom
je samo simetricna.
Diskretne strukture – 42 – Relacije - I deoDiskretne strukture – 42 – Relacije - I deoDiskretne strukture – 42 – Relacije - I deo
PrimeriPrimeriPrimeri
Zadatak 1.2. Neka je na skupu celih brojeva zadata sledeca relacija
x y ⇔ (∃u ∈ Z) x = yu.
Koja od sledecih svojstava ima ova relacija:
(a) refleksivna
(b) simetricna
(c) anti-simetricna
(d) tranzitivna
Resenje: Dokazacemo da ova relacija ima svojstva (a) i (d), a nema
ostala svojstva.
(a) Relacija je refleksivna jer za svaki x ∈ Z vazi da je x = x · 1, sto
znaci da je x x.
Diskretne strukture – 43 – Relacije - I deoDiskretne strukture – 43 – Relacije - I deoDiskretne strukture – 43 – Relacije - I deo
PrimeriPrimeriPrimeri
(b) Relacija nije simetricna jer je, na primer, 6 2, a nije 2 6.
Naime, postoji u ∈ Z tako da je 6 = 2 ·u (u = 3), ali ne postoji v ∈ Z
tako da je 2 = 6 · v.
(c) Relacija nije anti-simetricna, jer su, na primer, 2 i −2 razliciti
elementi iz Z za koje vazi da je 2 −2 i −2 2. Naime, 2 = (−2)·(−1)
i −2 = 2 · (−1).
(d) Relacija je tranzitivna jer ako su x, y, z ∈ Z elementi takvi da je
x y i y z, odnosno postoje u, v ∈ Z tako da je x = yu i y = zv,
tada je
x = yu = (zv)u = z(vu),
i kako je jasno da je vu ∈ Z, to dobijamo da je x z.
Diskretne strukture – 44 – Relacije - I deoDiskretne strukture – 44 – Relacije - I deoDiskretne strukture – 44 – Relacije - I deo
PrimeriPrimeriPrimeri
Zadatak 1.3. Neka je S = {1, 2, 3} i neka je relacija R na S zadata
sa
R = {(2, 1), (1, 2), (3, 3), (2, 2), (1, 1)}.
Koja od sledecih svojstava ima ova relacija:
(a) refleksivna
(b) simetricna
(c) anti-simetricna
(d) tranzitivna
Resenje: Dokazacemo da R ima svojstva (a), (b) i (d), a nema (c).
Diskretne strukture – 45 – Relacije - I deoDiskretne strukture – 45 – Relacije - I deoDiskretne strukture – 45 – Relacije - I deo
PrimeriPrimeriPrimeri
(a) Relacija
R = {(2, 1), (1, 2), (3, 3), (2, 2), (1, 1)}
je refleksivna jer sadrzi sve parove (1, 1), (2, 2) i (3, 3) sa dijagonale
Dekartovog kvadrata skupa S.
(b) Relacija R je i simetricna, jer van dijagonale sadrzi samo parove
(1, 2) i (2, 1), koji su medusobno simetricni.
(c) Relacija R nije anti-simetricna, jer sadrzi parove (1, 2) i (2, 1), pri
cemu je 1 6= 2.
Diskretne strukture – 46 – Relacije - I deoDiskretne strukture – 46 – Relacije - I deoDiskretne strukture – 46 – Relacije - I deo
PrimeriPrimeriPrimeri
(d) Kako su za R = {(2, 1), (1, 2), (3, 3), (2, 2), (1, 1)} tacne sledeceimplikacije
(1, 1) ∈ R ∧ (1, 1) ∈ R ⇒ (1, 1) ∈ R
(1, 1) ∈ R ∧ (1, 2) ∈ R ⇒ (1, 2) ∈ R
(1, 2) ∈ R ∧ (2, 1) ∈ R ⇒ (1, 1) ∈ R
(1, 2) ∈ R ∧ (2, 2) ∈ R ⇒ (1, 2) ∈ R
(2, 1) ∈ R ∧ (1, 1) ∈ R ⇒ (2, 1) ∈ R
(2, 1) ∈ R ∧ (1, 2) ∈ R ⇒ (2, 2) ∈ R
(2, 2) ∈ R ∧ (2, 1) ∈ R ⇒ (2, 1) ∈ R
(2, 2) ∈ R ∧ (2, 2) ∈ R ⇒ (2, 2) ∈ R
(3, 3) ∈ R ∧ (3, 3) ∈ R ⇒ (3, 3) ∈ R
to zakljucujemo da je R tranzitivna relacija.
Diskretne strukture – 47 – Relacije - I deoDiskretne strukture – 47 – Relacije - I deoDiskretne strukture – 47 – Relacije - I deo
PrimeriPrimeriPrimeri
Primetimo da je zadatak bilo moguce uraditi i na drugi nacin.
Naime, mozemo uociti da su svi elementi iz skupa {1, 2} medusobno
u relaciji R, dok je 3 u relaciji samo sa samim sobom.
Prema tome, kolekcija koja se sastoji od skupova {1, 2} i {3} je particija
skupa S, i dva elementa iz S su u relaciji R ako i samo ako su u istom
bloku te particije, odakle zakljucujemo da je R relacija ekvivalencije
koja odgovara toj particiji.
Iz toga potom dalje sledi da R ima svojstva (a), (b) i (d), a nema
svojstvo (c).
Diskretne strukture – 48 – Relacije - I deoDiskretne strukture – 48 – Relacije - I deoDiskretne strukture – 48 – Relacije - I deo
Relacije ekvivalencijeRelacije ekvivalencijeRelacije ekvivalencije
Relacija na skupu A je relacija ekvivalencije na A ako je
➊ refleksivna
➋ simetricna
➌ tranzitivna
Umesto ”relacija ekvivalencije” ponekad kazemo samo ”ekvivalencija”.
Glavni primer relacija ekvivalencije je jednakost, tj. dijagonalna relacija.
To je najmanja relacija ekvivalencije na A, u smislu da svaka relacija
ekvivalencije na A mora da je sadrzi, dok nijedan pravi podskup od ∆
nema svojstvo refleksivnosti, pa nije relacija ekvivalencije na A.
I univerzalna relacija je relacija ekvivalencije.
Diskretne strukture – 49 – Relacije - I deoDiskretne strukture – 49 – Relacije - I deoDiskretne strukture – 49 – Relacije - I deo
Primeri relacija ekvivalencijePrimeri relacija ekvivalencijePrimeri relacija ekvivalencije
Primer 1.1. Neka je n proizvoljan prirodan broj, i neka je relacija ≡n
na skupu Z svih celih brojeva definisana sa
x ≡n ydef⇔ n | x − y,
ili, ekvivalentno, sa
x ≡n ydef⇔ x i y imaju isti ostatak pri deljenju sa n.
Dokazati da je ≡n relacija ekvivalencije.
Napomena 1.1. Relacija ≡n poznata je pod nazivom kongruencija po
modulu n.
Dokaz: (1) Za svaki x ∈ Z imamo da n | 0 = x − x, odakle je
x ≡n x, sto znaci da je relacija ≡n refleksivna.
Diskretne strukture – 50 – Relacije - I deoDiskretne strukture – 50 – Relacije - I deoDiskretne strukture – 50 – Relacije - I deo
Primeri relacija ekvivalencijePrimeri relacija ekvivalencijePrimeri relacija ekvivalencije
(2) Za proizvoljne x, y ∈ Z imamo da je
x ≡n y ⇔ n | x − y ⇔ n | −(x − y) ⇔ n | y − x ⇔ y ≡n x,
i dakle, relacija ≡n je simetricna.
(3) Neka su x, y, z ∈ Z elementi takvi da je x ≡n y i y ≡n z, tj.
n | x − y i n | y − z. Tada
n | (x − y) + (y − z) = x − z,
pa je x ≡n z, sto znaci da je ≡n tranzitivna relacija.
Prema tome, ≡n je relacija ekvivalencije.
Primer 1.2. Relacija paralelnosti za prave u ravni, paralelnost za ravni
u prostoru, sve su to primeri relacija ekvivalencije.
Diskretne strukture – 51 – Relacije - I deoDiskretne strukture – 51 – Relacije - I deoDiskretne strukture – 51 – Relacije - I deo
Klase ekvivalencijeKlase ekvivalencijeKlase ekvivalencije
Neka je relacija ekvivalencije na A i a ∈ A.
Klasa ekvivalencije elementa a u odnosu na relaciju ekvivalencije
definise se kao skup svih elemenata iz A koji su u relaciji sa a, tj.
[a]def= {x ∈ A | a x}.
Takode govorimo i -klasa elementa a, ili krace samo klasa elementa
a, u slucajevima kada je jasno o kojoj se relaciji ekvivalencije radi.
Diskretne strukture – 52 – Relacije - I deoDiskretne strukture – 52 – Relacije - I deoDiskretne strukture – 52 – Relacije - I deo
Osnovna svojstva klasaOsnovna svojstva klasaOsnovna svojstva klasa
Tvrdenje 1.
1) Svaka klasa je neprazna - klasa elementa x sadrzi makar taj element.
Dokaz: Za svaki x ∈ A, zbog refleksivnosti imamo da je x x, pa
je x ∈ [x].
2) Ukoliko su dva elementa x i y u relaciji , tada su njihove klase
jednake, tj. oni odreduju jednu istu klasu: [x] = [y].
Dokaz: Neka je a ∈ [x], tj. a x. Prema pretpostavci, x y, pa
na osnovu tranzitivnosti dobijamo da je a y, tj. a ∈ [y].
Odavde zakljucujemo da je [x] ⊆ [y]. Na isti nacin dokazujemo i
obratnu inkluziju, cime dobijamo da je [x] = [y].
Diskretne strukture – 53 – Relacije - I deoDiskretne strukture – 53 – Relacije - I deoDiskretne strukture – 53 – Relacije - I deo
Osnovna svojstva klasaOsnovna svojstva klasaOsnovna svojstva klasa
3) Ukoliko x i y nisu u relaciji , tada su njihove klase disjunktne.
Dokaz: Pretpostavimo da postoji a ∈ [x] ∩ [y]. Tada je a x
i a y, pa na osnovu simetricnosti i tranzitivnosti dobijamo da je
x y, sto je u suprotnosti sa polaznom pretpostavkom.
Odavde zakljucujemo da klase [x] i [y] moraju biti disjunktne.
Iz 2) i 3) sledi da ako dve klase [x] i [y] nisu disjunktne, tj. imaju
neprazan presek, onda moraju da budu jednake.
Diskretne strukture – 54 – Relacije - I deoDiskretne strukture – 54 – Relacije - I deoDiskretne strukture – 54 – Relacije - I deo
Osnovna svojstva klasaOsnovna svojstva klasaOsnovna svojstva klasa
4) Unija svih -klasa je jednaka celom skupu A.
Dokaz: Kako su sve -klase sadrzane u A, to je i njihova unija
sadrzana u A.
Obratno, kako je svaki element x ∈ A sadrzan u nekoj -klasi, tj.
x ∈ [x], to je jasno da je A sadrzan u uniji svih -klasa.
Prema tome, dokazali smo da je A jednak uniji svih -klasa.
Kada neku -klasu zapisemo u obliku [x], tada kazemo da je x pred-
stavniik te klase.
Kako je [x] = [y], za svaki y ∈ [x] (prema 2) ), to ravnopravno sa x
i y moze predstavljati tu klasu, tj., klasu ekvivalencije moze oznacavati
(predstavljati) svaki njen clan.
Diskretne strukture – 55 – Relacije - I deoDiskretne strukture – 55 – Relacije - I deoDiskretne strukture – 55 – Relacije - I deo
Primeri klasaPrimeri klasaPrimeri klasa
a) Neka je relacija na skupu A = {1, 2, 3, 4, 5, 6} zadata sa
1 2 3 4 5 61
2
3
4
5
6
ili matricom M =
1 1 0 1 0 0
1 1 0 1 0 0
0 0 1 0 0 1
1 1 0 1 0 0
0 0 0 0 1 0
0 0 1 0 0 1
Tada je relacija ekvivalencije sa klasama
[1] = [2] = [4] = {1, 2, 4},
[3] = [6] = {3, 6},
[5] = {5}.
Diskretne strukture – 56 – Relacije - I deoDiskretne strukture – 56 – Relacije - I deoDiskretne strukture – 56 – Relacije - I deo
Primeri klasaPrimeri klasaPrimeri klasa
b) Klase ekvivalencije za relaciju ≡3 na N0 su skupovi brojeva sa istim
ostatkom pri deljenju sa 3:
{1, 4, 7, . . . }; {2, 5, 8, . . . }; {0, 3, 6, 9, . . . }.
c) Dijagonala na proizvoljnom skupu A ima jednoclane klase: svaki
element je samo sa sobom u relaciji pa je i sam u klasi.
d) Relacija paralelnosti razbija skup svih pravih u ravni na pravce: u
istoj klasi su sve medusobno paralelne prave.
Diskretne strukture – 57 – Relacije - I deoDiskretne strukture – 57 – Relacije - I deoDiskretne strukture – 57 – Relacije - I deo
Razbijanje skupa na klaseRazbijanje skupa na klaseRazbijanje skupa na klase
Kao sto smo videli, relacija ekvivalencije razbija skup na medusobno
disjunktne klase ekvivalencije.
Relacija ekvivalencije grupise, udruzuje u jednu klasu sve one elemente
koje objedinjuje zajednicko svojstvo - ono koje opisuje ta relacija.
Na primer, kod relacije ≡3, to je svojstvo da imaju isti ostatak pri
deljenju sa 3.
Diskretne strukture – 58 – Relacije - I deoDiskretne strukture – 58 – Relacije - I deoDiskretne strukture – 58 – Relacije - I deo
Razbijanje skupa na klaseRazbijanje skupa na klaseRazbijanje skupa na klase
Zadatak 1.4. Neka je A = {1, 2, 3}.
Odrediti koje od sledecih relacija definisanih na A su relacije ekvivalencije, i za one
koje su relacije ekvivalencije odrediti njihove klase:
(a) R1 = {(2, 2), (1, 1)}
(b) R2 = {(1, 1), (2, 2), (3, 3)}
(c) R3 = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1), (3, 1), (1, 3)}
(d) R4 = {(1, 1), (2, 2), (3, 3), (1, 2), (3, 2), (2, 1)}
(e) R5 = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1), (2, 3), (3, 2), (1, 3), (3, 1)}
Resenje: Dokazacemo da relacije (b) i (e) jesu relacije ekvivalencije, a ostale nisu.
(a) Relacija R1 = {(2, 2), (1, 1)} ocito nije refleksivna, jer ne sadrzi par (3, 3), zbog
cega nije ni relacija ekvivalencije.
Diskretne strukture – 59 – Relacije - I deoDiskretne strukture – 59 – Relacije - I deoDiskretne strukture – 59 – Relacije - I deo
Razbijanje skupa na klaseRazbijanje skupa na klaseRazbijanje skupa na klase
(b) Relacija R2 = {(1, 1), (2, 2), (3, 3)} je ocigledno relacija ekvivalencije cije su
klase jednoelementne: {1}, {2}, {3}.
(c) Relacija R3 = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1), (3, 1), (1, 3)} je ocito reflek-
sivna i simetricna, ali nije tranzitivna, pa nije relacija ekvivalencije.
Naime, imamo da je (2, 1) ∈ R3 i (1, 3) ∈ R3, ali (2, 3) /∈ R3.
(d) Relacija R4 = {(1, 1), (2, 2), (3, 3), (1, 2), (3, 2), (2, 1)} nije relacija ekvivalen-
cije, jer nije simetricna. Zaista, (3, 2) ∈ R4, ali (2, 3) /∈ R4.
(e) U slucaju relacije
R5 = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1), (2, 3), (3, 2), (1, 3), (3, 1)}
imamo da su svi elementi iz skupa A medusobno u toj relaciji, sto znaci da je to
univerzalna relacija na A, odnosno, R5 je relacija ekvivalencije sa samo jednom
klasom: {1, 2, 3}.
Diskretne strukture – 60 – Relacije - I deoDiskretne strukture – 60 – Relacije - I deoDiskretne strukture – 60 – Relacije - I deo
ParticijeParticijeParticije
Dakle, relacija ekvivalencije odreduje jednu particiju (razbijanje) skupa
A na medusobno disjunktne skupove cija je unija ceo skup A.
To nas dovodi do sledece formalne definicije:
Familiju {Ai}i∈I podskupova skupa A zovemo particija ili razbijanje
skupa A ako za tu familiju vazi sledece: sledece uslove:
1) Za svaki i ∈ I je Ai 6= ∅;
2) Za sve i, j ∈ I je ili Ai ∩ Aj = ∅ ili Ai = Aj;
3)⋃
{Ai | i ∈ I} = A.
Skupove Ai nazivamo blokovima particije Π.
Diskretne strukture – 61 – Relacije - I deoDiskretne strukture – 61 – Relacije - I deoDiskretne strukture – 61 – Relacije - I deo
ParticijeParticijeParticije
Ako je relacija ekvivalencije na skupu A, tada prema Tvrdenju 2,
familija svih -klasa jeste jedna particija skupa A.
Tu particiju oznacavamo sa Π, tj.
Πdef= {[x] | x ∈ A}.
Obratno, ako je data particija Π = {Ai | i ∈ I} skupa A, tada mozemo
definisati relaciju Π
na A na sledeci nacin:
(x, y) ∈ Π
def⇔ (∃i ∈ I) x, y ∈ Ai,
tj. ako x i y pripadaju istom bloku particije Π.
Diskretne strukture – 62 – Relacije - I deoDiskretne strukture – 62 – Relacije - I deoDiskretne strukture – 62 – Relacije - I deo
Relacije ekvivalencije i particijeRelacije ekvivalencije i particijeRelacije ekvivalencije i particije
Tvrdenje 2:
a) Za svaku relaciju ekvivalencije na skupu A, Π je particija od A.
b) Za svaku particiju Π skupa A, Π
je relacija ekvivalencije na A.
c) Stavise, vazi i sledece:
(Π)
= i Π(Π) = Π.
Diskretne strukture – 63 – Relacije - I deoDiskretne strukture – 63 – Relacije - I deoDiskretne strukture – 63 – Relacije - I deo
Relacije ekvivalencije i particijeRelacije ekvivalencije i particijeRelacije ekvivalencije i particije
Jednakosti iz Tvrdenja 3, pod c), mogu se pojasniti na sledeci nacin:
c1) Ako za relaciju ekvivalencije formiramo odgovarajucu particiju Π,
a potom za tu particiju formiramo odgovarajucu relaciju ekvivalencije
(Π)
, onda dobijamo relaciju ekvivalencije od koje smo krenuli.
Π (Π)
=
c2) Ako za particiju Π formiramo odgovarajucu relaciju ekvivalencije
Π, a potom za tu relaciju ekvivalencije formiramo odgovarajucu par-
ticiju Π(Π), onda dobijamo particiju od koje smo krenuli.
Π Π Π(Π) = Π
Diskretne strukture – 64 – Relacije - I deoDiskretne strukture – 64 – Relacije - I deoDiskretne strukture – 64 – Relacije - I deo
Relacije ekvivalencije i particijeRelacije ekvivalencije i particijeRelacije ekvivalencije i particije
Zadatak 1.5. Neka je A = {1, 2, 3, 4, 5, 6, 7}.
Odrediti koje od sledecih kolekcija skupova predstavljaju particije skupa A. Za one
koje nisu particije navesti razlog zbog cega to nisu.
(a) {{1, 2}, ∅, {3, 4, 5}, {6, 7}}
(b) {{1, 4}, {2, 3, 7}, {5, 6}}
(c) {{1, 7}, {3, 4, 6}}
(d) {{1, 5}, {3, 4, 5}, {2, 6, 7}}
(e) {{1, 2, 3, 4, 5, 6, 7}}
Resenje: Dokazacemo da kolekcije (b) i (e) jesu particije skupa A, dok ostale nisu.
Potseticemo se da kolekcija podskupova od A jeste particija tog skupa ako se sastoji
od nepraznih skupova, koji su po parovima disjunktni i unija im je ceo skup A.
Diskretne strukture – 65 – Relacije - I deoDiskretne strukture – 65 – Relacije - I deoDiskretne strukture – 65 – Relacije - I deo
Relacije ekvivalencije i particijeRelacije ekvivalencije i particijeRelacije ekvivalencije i particije
(a) Kolekcija {{1, 2}, ∅, {3, 4, 5}, {6, 7}} nije particija skupa A jer se ne sastoji od
nepraznih skupova.
(b) Kolekcija {{1, 4}, {2, 3, 7}, {5, 6}} je particija jer se sastoji od nepraznih, medu-
sobno disjunktnih skupova cija je unija jednaka celom skupu A.
(c) Kolekcija {{1, 7}, {3, 4, 6}} se sastoji od nepraznih, disjunktnih podskupova od
A, ali unija tih podskupova nije ceo skup A (2 i 5 nisu u toj uniji), pa ni to nije
particija skupa A.
(d) Kolekcija {{1, 5}, {3, 4, 5}, {2, 6, 7}} nije particija od A jer skupovi {1, 5} i
{3, 4, 5} iz te kolekcije nisu medusobno disjunktni.
(e) Kolekcija {{1, 2, 3, 4, 5, 6, 7}} je particija skupa A sa samo jednim blokom - celim
tim skupom A.
Diskretne strukture – 66 – Relacije - I deoDiskretne strukture – 66 – Relacije - I deoDiskretne strukture – 66 – Relacije - I deo
Faktor skupFaktor skupFaktor skup
Particiju koja odgovara relaciji ekvivalencije na skupu A nazivamo
takode i faktor skupom skupa A u odnosu na .
Drugim recima, faktor skup skupa A u odnosu na relaciju ekvivalencije
je skup svih klasa ekvivalencije skupa A u odnosu na .
Taj faktor skup oznacavamo sa A/.
Kao sto se vidi sa slike desno, faktor
skup se zapravo dobija tako sto se svaka
-klasa sazme u jedan element.
Diskretne strukture – 67 – Relacije - I deoDiskretne strukture – 67 – Relacije - I deoDiskretne strukture – 67 – Relacije - I deo
Relacije poretka – ure denjaRelacije poretka – ure denjaRelacije poretka – ure denja
Relacija na skupu A je relacija poretka na A ako je
➀ refleksivna
➁ antisimetricna
➂ tranzitivna
Umesto ”relacija poretka” cesto kazemo i parcijalno uredenje ili samo
uredenje.
Za skup A se kaze da je A ureden relacijom , a par (A, ) se zove
parcijalno uredeni skup, ili samo uredeni skup.
Za oznacavanje uredenja na skupovima najcesce koristimo oznaku 6,
koju koristimo i za standardna uredenja brojeva.
Matemati cka logika – 2 – Relacije - II deoMatemati cka logika – 2 – Relacije - II deoMatemati cka logika – 2 – Relacije - II deo
Relacije poretka – ure denjaRelacije poretka – ure denjaRelacije poretka – ure denja
Relacije poretka su, uz relacije ekvivalencija, najrasireniji tip relacija u
matematici.
One sluze da pomocu njih ”uporedujemo” ili ”uredujemo” elemente
skupa A, tj. da formiramo neki ”poredak” u skupu A, odakle poticu i
nazivi za te relacije.
Prefiks ”parcijalno” sluzi da se ukaze na to da u uredenom skupu
mogu da postoje i elementi koji se ne mogu medusobno uporediti, tj.,
medusobno su neuporedivi, kao sto cemo videti u primerima koji slede.
Matemati cka logika – 3 – Relacije - II deoMatemati cka logika – 3 – Relacije - II deoMatemati cka logika – 3 – Relacije - II deo
Relacije poretka – ure denjaRelacije poretka – ure denjaRelacije poretka – ure denja
a) Osnovne relacije poretka na skupu prirodnih brojeva N su relacije
6 (manje ili jednako), | (deli).
Analogno definisana, relacija 6 je relacija poretka i na drugim
skupovima brojeva:
Z (celi brojevi), Q (racionalni brojevi) i R (realni brojevi).
Dakle, (N, 6), (N, |), (Z, 6), (Q, 6) i (R, 6) su uredeni skupovi.
b) Iako je relacija poretka na skupu prirodnih brojeva, analogno defini-
sana relacija ”deli” na skupu celih brojeva nije relacija poretka, jer
nije antisimetricna.
Kao sto smo vec rekli, za svaki celi broj n 6= 0 je −n | n i n | −n,
i pri tome je −n 6= n.
Matemati cka logika – 4 – Relacije - II deoMatemati cka logika – 4 – Relacije - II deoMatemati cka logika – 4 – Relacije - II deo
Relacije poretka – ure denjaRelacije poretka – ure denjaRelacije poretka – ure denja
c) Na partitivnom skupu P(A) proizvoljnog skupa A, inkluzija ⊆ je
relacija poretka.
Uredeni skup (P(A), ⊆) je primer uredenog skupa u kome ima
neuporedivih elemenata.
Na primer, bilo koja dva disjunktna podskupa od A su medusobno
neuporedivi.
Naravno, lako je naci primer i skupova koji imaju neprazan presek,
a neuporedivi su, tj., nijedan od njih nije podskup onog drugog.
d) Relacija < (strogo manje) nije uredenje ni na jednom od skupova
N, Z, Q i R, jer nije refleksivna.
Matemati cka logika – 5 – Relacije - II deoMatemati cka logika – 5 – Relacije - II deoMatemati cka logika – 5 – Relacije - II deo
Zatvorenja relacijaZatvorenja relacijaZatvorenja relacija
Zadatak 1.1. Data je relacija = {(2, 2), (2, 3), (5, 3)} na skupu
A = {1, 2, 3, 4, 5}.
(a) Odrediti najmanju relaciju ekvivalencije na A koja sadrzi relaciju .
(b) Odrediti najmanju relaciju poretka na A koja sadrzi relaciju .
Resenje:
Relacija se moze zadati
sledecim grafom:
1
2
3
4
5
Matemati cka logika – 6 – Relacije - II deoMatemati cka logika – 6 – Relacije - II deoMatemati cka logika – 6 – Relacije - II deo
Zatvorenja relacijaZatvorenja relacijaZatvorenja relacija
(a) Prvi korak u konstrukciji najmanje relacije ekvivalencije koja sadrzi
je refleksivno zatvorenje: relacija se dopunjuje do refleksivne relacije
dodavanjem svih parova oblika (x, x), za svaki x ∈ A za koji taj par
nije vec bio u toj relaciji.
1
2
3
4
5
Relacija
1
2
3
4
5
Refleksivno zatvorenje relacije
Matemati cka logika – 7 – Relacije - II deoMatemati cka logika – 7 – Relacije - II deoMatemati cka logika – 7 – Relacije - II deo
Zatvorenja relacijaZatvorenja relacijaZatvorenja relacija
Sledeci korak je simetricno zatvorenje: relacija dobijena u prvom koraku
se dopunjuje do simetricne relacije tako sto se za svaki par (x, y) ∈
relaciji dodaje i obratni par (y, x), ukoliko nije vec bio u toj relaciji.
1
2
3
4
5
Refleksivno zatvorenje relacije
1
2
3
4
5
Refleksivno-simetricno zatvorenje
relacije
Matemati cka logika – 8 – Relacije - II deoMatemati cka logika – 8 – Relacije - II deoMatemati cka logika – 8 – Relacije - II deo
Zatvorenja relacijaZatvorenja relacijaZatvorenja relacija
Konacno, trazena relacija ekvivalencije se dobija primenom tranzitivnog
zatvorenja: relacija dobijena u prethodnom koraku se dopunjuje do
tranzitivne relacije zatvaranjem svih trouglova u grafu te relacije, tj.,
ukoliko su (x, y) i (y, z) u toj relaciji, onda dodajemo i par (x, y).
1
2
3
4
5
Refleksivno-simetricno zatvorenjerelacije
1
2
3
4
5
Najmanja relacija ekvivalencijekoja sadrzi
Matemati cka logika – 9 – Relacije - II deoMatemati cka logika – 9 – Relacije - II deoMatemati cka logika – 9 – Relacije - II deo
Zatvorenja relacijaZatvorenja relacijaZatvorenja relacija
Dakle, najmanja relacija ekvivalencije koja sadrzi je
{(1, 1), (2, 2), (2, 3), (2, 5), (3, 2), (3, 3), (3, 5),
(4, 4), (5, 2), (5, 3), (5, 5)},
tj., to je relacija ekvivalencije sa klasama
{2, 3, 5}, {1}, {4}.
Matemati cka logika – 10 – Relacije - II deoMatemati cka logika – 10 – Relacije - II deoMatemati cka logika – 10 – Relacije - II deo
Zatvorenja relacijaZatvorenja relacijaZatvorenja relacija
(b) Relacija je antisimetricna, jer nema parova oblika (x, y) i (y, x),
i tranzitivna, jer nema parova oblika (x, y) i (y, z), pa se najmanja
relacija poretka koja sadrzi dobija samo refleksivnim zatvorenjem.
1
2
3
4
5
Relacija
1
2
3
4
5
Najmanja relacija poretka
koja sadrzi
Matemati cka logika – 11 – Relacije - II deoMatemati cka logika – 11 – Relacije - II deoMatemati cka logika – 11 – Relacije - II deo
Dualno ure denjeDualno ure denjeDualno ure denje
Ako je uredenje na skupu A, onda je i inverzna relacija −1 takode
uredenje na A (proveriti za vezbu).
U tom slucaju −1 zovemo dualno uredenje ili dualni poredak za .
a) Dualno uredenje uredenja 6 (manje ili jednako), na bilo kom od
skupova brojeva N, Z, Q ili R, je uredenje > (vece ili jednako).
b) Dualno uredenje uredenja ⊆ na partitivnom skupu P(A) je uredenje
⊇ (nadskup).
Matemati cka logika – 12 – Relacije - II deoMatemati cka logika – 12 – Relacije - II deoMatemati cka logika – 12 – Relacije - II deo
Restrikcija ure denjaRestrikcija ure denjaRestrikcija ure denja
Neka je relacija na skupu A i B ⊆ A.
Definisimo relaciju |B na B sa:
|Bdef= {(x, y) ∈ B × B | (x, y) ∈ } = ∩ B × B.
Ovako definisanu relaciju |B nazivamo restrikcija relacije na B.
Neka je uredenje na skupu A, tada njegova restrikcija |B jeste
uredenje na skupu B.
Bez opasnosti od zabune, umesto |B mi cesto pisemo samo , tj.
polazno uredenje i njegovu restrikciju oznacavamo istim simbolom.
Na primer, uobicajeno uredenje prirodnih brojeva je restrikcija uobica-
jenog uredenja celih brojeva na skup prirodnih brojeva.
Matemati cka logika – 13 – Relacije - II deoMatemati cka logika – 13 – Relacije - II deoMatemati cka logika – 13 – Relacije - II deo
Linearno (totalno) ure denjeLinearno (totalno) ure denjeLinearno (totalno) ure denje
Uredenje na skupu A je linearno ili totalno uredenje ako pored uslova
koji definisu uredenje ispunjava i uslov linearnosti:
➃ za sve x, y ∈ A vazi
x y ∨ y x.
U tom slucaju, par (A, ) se naziva linearno ureden skup, totalno
ureden skup ili lanac.
Drugim recima, uredeni skup je linearno ureden ako su svaka dva nje-
gova elementa uporediva.
Kao sto smo vec videli, u opstem slucaju ne moraju svi elementi uredenog
skupa biti uporedivi.
Matemati cka logika – 14 – Relacije - II deoMatemati cka logika – 14 – Relacije - II deoMatemati cka logika – 14 – Relacije - II deo
Primeri linearno ure denih skupovaPrimeri linearno ure denih skupovaPrimeri linearno ure denih skupova
a) Uredeni skupovi (N, 6), (Z, 6), (Q, 6) i (R, 6) su linearno uredeni.
b) Uredeni skupovi (N, |) i (P(A), ⊆) nisu linearno uredeni:
➠ u (N, |), elementi 2 i 3 su neuporedivi,
➠ u (P(A), ⊆), za a, b ∈ A takve da je a 6= b, {a} i {b} su
neuporedivi elementi iz P(A).
Matemati cka logika – 15 – Relacije - II deoMatemati cka logika – 15 – Relacije - II deoMatemati cka logika – 15 – Relacije - II deo
Predstavljanje ure denih skupovaPredstavljanje ure denih skupovaPredstavljanje ure denih skupova
Neki uredeni skupovi, pre svega oni konacni, mogu se predstavljati
Haseovim dijagramima:
Elementi skupa predstavljaju se kao tacke u ravni i to tako da se x y
obelezava spojnicom od x ka y, pri cemu je x na crtezu nize od y.
Ne oznacava se x x, niti x z, ako postoje spojnice za x y i y z .
1
2
3
4
linearno uredeni skup
({1, 2, 3, 4}, 6)
Matemati cka logika – 16 – Relacije - II deoMatemati cka logika – 16 – Relacije - II deoMatemati cka logika – 16 – Relacije - II deo
Primeri Haseovih dijagramaPrimeri Haseovih dijagramaPrimeri Haseovih dijagrama
{a} {b}
{a, b, c} {a, b, d}
kolekcija od cetiri podskupa skupa
{a, b, c, d} uredena inkluzijom
skup {1, 2, 3, 4, 5, 6}
ureden relacijom ”deli”
1
2
3
4
5
6
∅
{a} {b}
{a, b}
partitivni skup dvoclanog skupa
ureden inkluzijom
Matemati cka logika – 17 – Relacije - II deoMatemati cka logika – 17 – Relacije - II deoMatemati cka logika – 17 – Relacije - II deo
Minimalni i maksimalni elementiMinimalni i maksimalni elementiMinimalni i maksimalni elementi
Neka je (A, 6) uredeni skup.
Za element a ∈ A kazemo da je minimalan u A ako ne postoji x ∈ A
tako da je x 6= a i x 6 a.
Drugim recima, a je minimalan ako u A ne postoji strogo manji element
od njega.
Analogno, za element a ∈ A kazemo da je maksimalan u A ako ne
postoji x ∈ A tako da je x 6= a i a 6 x.
Dakle, a je maksimalan ako u A ne postoji strogo veci element od
njega.
Matemati cka logika – 18 – Relacije - II deoMatemati cka logika – 18 – Relacije - II deoMatemati cka logika – 18 – Relacije - II deo
Najmanji i najve ci elementNajmanji i najve ci elementNajmanji i najve ci element
Za element a ∈ A kazemo da je najmanji u A ako je a 6 x, za svaki
x ∈ A.
Drugim recima, a je najmanji element u A ako je manji od svakog
drugog elementa iz A.
Slicno, za element a ∈ A kazemo da je najveci u A ako je x 6 a, za
svaki x ∈ A.
Prema tome, a je najveci element u A ako je veci od svakog drugog
elementa iz A.
Matemati cka logika – 19 – Relacije - II deoMatemati cka logika – 19 – Relacije - II deoMatemati cka logika – 19 – Relacije - II deo
Odnos minimalnog i najmanjeg elementaOdnos minimalnog i najmanjeg elementaOdnos minimalnog i najmanjeg elementa
Ukoliko uredeni skup A ima najmanji element, tada je on jedinstven.
Pri tome taj element jeste i jedini minimalni element u A.
Uredeni skup moze imati vise minimalnih elemenata (i u tom slucaju
ne moze imati najmanji element).
Minimalni elementi Najmanji element
Isto vazi i za maksimalne elemente i najveci element.
Matemati cka logika – 20 – Relacije - II deoMatemati cka logika – 20 – Relacije - II deoMatemati cka logika – 20 – Relacije - II deo
PrimeriPrimeriPrimeri
a) U uredenim skupovima (N, 6) i (N, |) broj 1 je najmanji element,
dakle i jedini minimalan, dok nema maksimalnih elemenata niti naj-
veceg.
b) U (Z, 6) nema ni minimalnih ni maksimalnih elemenata, pa, prema
tome, ni najmanjeg ni najveceg.
c) U (P(A), ⊆) prazan skup ∅ je najmanji, a skup A je najveci element.
d) U uredenom skupu (P ′(A), ⊆) svih nepraznih podskupova skupa
A, svi jednoelementni podskupovi su minimalni.
Ukoliko A ima bar dva elementa, onda P ′(A) ima vise minimalnih
elemenata, pa nema najmanji element.
Matemati cka logika – 21 – Relacije - II deoMatemati cka logika – 21 – Relacije - II deoMatemati cka logika – 21 – Relacije - II deo
PrimeriPrimeriPrimeri
Uredeni skup na slici ima dva minimalna i
dva maksimalna elementa, ali nema naj-
manji ni najveci element.
{a} {b}
{a, b, c} {a, b, d}
Uredeni skup ({1, 2, 3, 4, 5, 6}, |) ima tri
maksimalna elementa: 4, 5 i 6, i najmanji
element 1.
1
2
3
4
5
6
Matemati cka logika – 22 – Relacije - II deoMatemati cka logika – 22 – Relacije - II deoMatemati cka logika – 22 – Relacije - II deo
Svojstvo kona cnih ure denih skupovaSvojstvo kona cnih ure denih skupovaSvojstvo kona cnih ure denih skupova
Tvrdenje 3: U svakom konacnom uredenom skupu postoji bar jedan
minimalan i bar jedan maksimalan element.
Dokaz: Neka je (A, 6) konacan uredeni skup i a ∈ A.
Ako je a minimalan element, dokaz je gotov; ako nije, postoji elementa1 6= a, tako da je a1 6 a.
Ako je a1 minimalan, tvrdenje je dokazano, a ako nije, postoji element
a2 6= a1, takav da je a2 6 a1. Jasno je da mora biti i a2 6= a, jer bismo u suprotnom dobili a1 = a2 = a.
Na ovaj nacin dolazi se do minimalnog elementa, jer u protivnom skupA ne bi bio konacan – sadrzao bi lanac a, a1, a2, . . . medusobno ra-
zlicitih elemenata.
Dokaz da postoji maksimalan element je analogan.
Matemati cka logika – 23 – Relacije - II deoMatemati cka logika – 23 – Relacije - II deoMatemati cka logika – 23 – Relacije - II deo
Dobro ure deni skupoviDobro ure deni skupoviDobro ure deni skupovi
Za uredeni skup (A, 6) kazemo da je dobro ureden ako je
➠ linearno ureden, i
➠ svaki njegov neprazan podskup ima najmanji elemenat.
a) Glavni primer dobro uredenih skupova je (N, 6).
b) Primer linearno uredenog skupa koji nije dobro ureden je skup svih
nenegativnih racionalnih brojeva Q+0 = {x ∈ Q | 0 6 x} ureden restrik-
cijom uobicajenog uredenja racionalnih brojeva na Q+0 .
Na primer, u ovom uredenom skupu podskup { 1n
| n ∈ N} nema najma-
nji element.
Matemati cka logika – 24 – Relacije - II deoMatemati cka logika – 24 – Relacije - II deoMatemati cka logika – 24 – Relacije - II deo
Donja i gornja granica skupaDonja i gornja granica skupaDonja i gornja granica skupa
Neka je B neprazan podskup uredenog skupa (A, 6).
Element a ∈ A nazivamo donja granica ili donje ogranicenje skupa B
ako je
a 6 x, za svaki element x ∈ B,
tj. ako je a manji od svih elemenata skupa B.
Analogno, element a ∈ A nazivamo gornja granica ili gornje ogranicenje
skupa B ako je
x 6 a, za svaki element x ∈ B,
tj. ako je a veci od svih elemenata skupa B.
Matemati cka logika – 25 – Relacije - II deoMatemati cka logika – 25 – Relacije - II deoMatemati cka logika – 25 – Relacije - II deo
Donja i gornja granica skupaDonja i gornja granica skupaDonja i gornja granica skupa
Sa Bd oznacavacemo skup svih donjih, a sa Bg skup svih gornjih granica
skupa B, tj.
Bd = {a ∈ A | a 6 x, za svaki x ∈ B},
Bg = {a ∈ A | x 6 a, za svaki x ∈ B}.
Skupovi Bd i Bg mogu biti i prazni.
Na primer, kod uredenog skupa na slici,
za skup B = {a, b}, skup Bd je prazan,
dok je Bg = {c, d}.
a b
c d
Matemati cka logika – 26 – Relacije - II deoMatemati cka logika – 26 – Relacije - II deoMatemati cka logika – 26 – Relacije - II deo
Infimum i supremum skupaInfimum i supremum skupaInfimum i supremum skupa
Neka je B neprazan podskup uredenog skupa (A, 6).
Najveca donja granica skupa B, tj. najveci element skupa Bd, ukoliko
takav postoji, naziva se infimum skupa B.
Analogno, najmanja gornja granica skupa B, tj. najmanji element
skupa Bg, ukoliko takav postoji, naziva se supremum skupa B.
Ukoliko postoji infimum skupa B, onda je on jedinstven, zbog jedin-
stvenosti najveceg elementa skupa Bd.
Isto vazi i za supremum.
Matemati cka logika – 27 – Relacije - II deoMatemati cka logika – 27 – Relacije - II deoMatemati cka logika – 27 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
a) U uredenom skupu (N, 6), svaki konacan podskup ima supremum
– to je najveci element podskupa.
U (N, 6) infimum postoji za svaki podskup – to je najmanji element
u podskupu.
b) U uredenom skupu (N, |) infimum konacnog podskupa je najveci
zajednicki delilac, a supremum je najmanji zajednicki sadrzalac ele-
menata tog podskupa.
c) U partitivnom skupu nekog skupa, uredenom inkluzijom, infimum
kolekcije podskupova je njihov presek, a supremum je njihova unija.
Matemati cka logika – 28 – Relacije - II deoMatemati cka logika – 28 – Relacije - II deoMatemati cka logika – 28 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
d) U uredenom skupu na slici, skup B = {a, b} nema infimum, jer
uopste nema donjih granica.
Ovaj skup nema ni supremum, jer skup njegovih gornjih granica
Bg = {c, d} nema najmanji element.
a b
c d
Matemati cka logika – 29 – Relacije - II deoMatemati cka logika – 29 – Relacije - II deoMatemati cka logika – 29 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Zadatak 1.2. Neka je dat parcijalno uredeni skup
a
b
c
d
ef
(a) Odrediti elemente neuporedive sa a:
(b) Odrediti minimalne elemente:
(c) Odrediti maksimalne elemente:
(d) Odrediti najmanji element:
(e) Odrediti najveci element:
(f) Infimum skupa {a, b, d}:
(g) Supremum skupa {a, b, d}:
Matemati cka logika – 30 – Relacije - II deoMatemati cka logika – 30 – Relacije - II deoMatemati cka logika – 30 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
a
b
c
d
ef
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su:
a
b
c
d
ef
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su: f , d, e
a
b
c
d
ef
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su: f , d, e
(b) Minimalni elementi su:
a
b
c
d
ef
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su: f , d, e
(b) Minimalni elementi su: a, f , e
a
b
c
d
ef
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su: f , d, e
(b) Minimalni elementi su: a, f , e
(c) Maksimalni element je: a
b
c
d
ef
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su: f , d, e
(b) Minimalni elementi su: a, f , e
(c) Maksimalni element je: c a
b
c
d
ef
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su: f , d, e
(b) Minimalni elementi su: a, f , e
(c) Maksimalni element je: c
(d) Najmanji element:
a
b
c
d
ef
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su: f , d, e
(b) Minimalni elementi su: a, f , e
(c) Maksimalni element je: c
(d) Najmanji element: ne postoji
a
b
c
d
ef
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su: f , d, e
(b) Minimalni elementi su: a, f , e
(c) Maksimalni element je: c
(d) Najmanji element: ne postoji
(e) Najveci element je:
a
b
c
d
ef
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su: f , d, e
(b) Minimalni elementi su: a, f , e
(c) Maksimalni element je: c
(d) Najmanji element: ne postoji
(e) Najveci element je: c
a
b
c
d
ef
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su: f , d, e
(b) Minimalni elementi su: a, f , e
(c) Maksimalni element je: c
(d) Najmanji element: ne postoji
(e) Najveci element je: c
a
b
c
d
ef
(f) Infimum skupa {a, b, d}:
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su: f , d, e
(b) Minimalni elementi su: a, f , e
(c) Maksimalni element je: c
(d) Najmanji element: ne postoji
(e) Najveci element je: c
a
b
c
d
ef
(f) Infimum skupa {a, b, d}: ne postoji (jer taj skup nema nijednu donju granicu)
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su: f , d, e
(b) Minimalni elementi su: a, f , e
(c) Maksimalni element je: c
(d) Najmanji element: ne postoji
(e) Najveci element je: c
a
b
c
d
ef
(f) Infimum skupa {a, b, d}: ne postoji (jer taj skup nema nijednu donju granicu)
(g) Supremum skupa {a, b, d} je:
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Primeri infimuma i supremumaPrimeri infimuma i supremumaPrimeri infimuma i supremuma
Resenje: Imamo sledece:
(a) Elementi neuporedivi sa a su: f , d, e
(b) Minimalni elementi su: a, f , e
(c) Maksimalni element je: c
(d) Najmanji element: ne postoji
(e) Najveci element je: c
a
b
c
d
ef
(f) Infimum skupa {a, b, d}: ne postoji (jer taj skup nema nijednu donju granicu)
(g) Supremum skupa {a, b, d} je: c (jer je to i jedina gornja granica tog skupa,
pa je i najmanja gornja granica, tj. supremum).
Matemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deoMatemati cka logika – 31 – Relacije - II deo
Reci (stringovi)Reci (stringovi)Reci (stringovi)
Neka je A neprazan skup, koji nazivamo alfabetom, a njegove elemente
slovima.
Rec nad alfabetom A definisemo kao konacan niz
x1x2 · · · xn
elemenata iz A.
Iz ovakve definicije je jasno da se jednakost reci definise kao jednakost
nizova, tj., dve reci
u = x1x2 · · · xn i v = y1y2 · · · ym
jednake ako i samo ako je m = n i xi = yi, za svaki i ∈ {1, 2, . . . , n}.
Matemati cka logika – 32 – Relacije - II deoMatemati cka logika – 32 – Relacije - II deoMatemati cka logika – 32 – Relacije - II deo
KonkatenacijaKonkatenacijaKonkatenacija
Skup svih reci nad alfabetom A oznacavamo sa A+.
Na skupu A+ definisemo operaciju spajanja, dopisivanja ili konkate-
nacije reci na sledeci nacin:
Proizvod reci x1x2 · · · xn i y1y2 · · · yn, gde su x1, . . . , xn, y1, . . . , ym
slova iz A, je rec
x1x2 · · · xny1y2 · · · ym.
Lako se proverava da je ova operacija asocijativna.
Neka je ε element takav da ε /∈ A+, koji nazivamo prazna rec.
Tada pisemo A∗ = A+ ∪{ε}, i dodefinisemo operaciju spajanja reci sa:
uε = u i εu = u, tj., spajanjem bilo koje reci sa praznom reci dobija
se ista ta rec.
Matemati cka logika – 33 – Relacije - II deoMatemati cka logika – 33 – Relacije - II deoMatemati cka logika – 33 – Relacije - II deo
Dužina re ciDužina re ciDužina re ci
Neka je data rec u = x1x2 · · · xn, koju cine slova x1, x2, . . . , xn ∈ A.
Broj n, tj. broj elemenata u nizu x1x2 · · · xn, oznacavamo sa |u|, i
nazivamo ga duzinom reci u. Za praznu rec kazemo da je duzine 0.
Ako x jeste i-to slovo reci u, onda i zovemo pozicijom slova x u reci u.
Neka je A = {x, y}. Reci nad tim alfabetom su
x, y, xy, yx, xyx, xy2, yx2, yxy, xyx2, (xy)2, xy2x, xy3, . . . ,
Na primer, rec xyx2 je duzine 4.
Za prirodan broj k, slovo x i rec u, xk i uk su skraceni zapisi reci
xx · · · x︸ ︷︷ ︸
k puta
i uu · · · u︸ ︷︷ ︸
k puta
Matemati cka logika – 34 – Relacije - II deoMatemati cka logika – 34 – Relacije - II deoMatemati cka logika – 34 – Relacije - II deo
Prefiks, sufiks, infiksPrefiks, sufiks, infiksPrefiks, sufiks, infiks
Za rec u ∈ A∗ kazemo da je
❏ prefiks reci v ako postoji rec w ∈ A∗ takva da je v = uw, tj. ako
je v rec koja pocinje sa u;
❏ sufiks reci v ako postoji rec w ∈ A∗ takva da je v = wu, tj. ako
je v rec koja se zavrsava sa u;
❏ infiks reci v ako postoje reci p, q ∈ A∗ takve da je v = puq, tj.
ako je v rec koja sadrzi rec u.
Infiks reci v nazivamo jos i faktor reci v.
Jasno, prema ovim definicijama, prazna rec je prefiks, sufiks i faktor
bilo koje reci.
Matemati cka logika – 35 – Relacije - II deoMatemati cka logika – 35 – Relacije - II deoMatemati cka logika – 35 – Relacije - II deo
Prefiks (sufiks, faktor) ure denjePrefiks (sufiks, faktor) ure denjePrefiks (sufiks, faktor) ure denje
Zadatak 1.3. Definisimo na skupu A∗ sledece relacije:
u 6p vdef⇔ u je prefiks od v,
u 6s vdef⇔ u je sufiks od v,
u 6f vdef⇔ u je faktor od v.
Dokazati da su sve one relacije poretka na A∗.
Napomena 1.1. Za ova uredenja koristimo sledece nazive
❏ 6p – prefiks uredenje;
❏ 6s – sufiks uredenje;
❏ 6f – faktor uredenje.
Matemati cka logika – 36 – Relacije - II deoMatemati cka logika – 36 – Relacije - II deoMatemati cka logika – 36 – Relacije - II deo
Prefiks (sufiks, faktor) ure denjePrefiks (sufiks, faktor) ure denjePrefiks (sufiks, faktor) ure denje
Resenje: Dokazujemo samo tvrdenje za relaciju 6p. Ostalo se ostavlja
za samostalan rad.
(a) Refleksivnost sledi iz cinjenice da je u = uε, za svaku rec u ∈ A∗.
(b) Antisimetricnost: Neka je u 6p v i v 6p u.
To znaci da je v = up i u = vq, za neke reci p, q ∈ A∗, pa je
u = vq = upq.
Na osnovu svojstva jednakosti reci, iz u = upq sledi da mora biti
pq = ε, sto dalje povlaci da je p = q = ε, odakle je u = v.
(c) Tranzitivnost: Neka je u 6p v i v 6p w.
To znaci da je v = up i w = vq, za neke reci p, q ∈ A∗, odakle je
w = vq = upq. Prema tome, u 6p w.
Matemati cka logika – 37 – Relacije - II deoMatemati cka logika – 37 – Relacije - II deoMatemati cka logika – 37 – Relacije - II deo
Prefiks (sufiks, faktor) ure denjePrefiks (sufiks, faktor) ure denjePrefiks (sufiks, faktor) ure denje
U daljem radu, koristicemo i sledece oznake:
u <p vdef⇔ u 6p v i u 6= v,
u <s vdef⇔ u 6s v i u 6= v,
u <f vdef⇔ u 6f v i u 6= v.
i ako je u <p v (odnosno u <s v, u <f v), govoricemo da je u pravi
prefiks (odnosno pravi sufiks, pravi faktor) reci v.
Matemati cka logika – 38 – Relacije - II deoMatemati cka logika – 38 – Relacije - II deoMatemati cka logika – 38 – Relacije - II deo
Prefiks (sufiks, faktor) ure denjePrefiks (sufiks, faktor) ure denjePrefiks (sufiks, faktor) ure denje
Zadatak 1.4. Dokazati da za proizvoljne reci u, v, w ∈ A∗ vazi
u 6p w ∧ v 6p w ⇒ u 6p v ∨ v 6p u .
Resenje: Napisimo rec w u obliku
w = x1x2 . . . xn,
za neki n ∈ N i slova x1, x2, . . . , xn ∈ A.
Tada u 6p w i v 6p w znaci da je
u = x1 . . . xi i v = x1 . . . xj,
za neke i, j ∈ {1, 2, . . . , n}.
Prema tome, ako je i 6 j, onda imamo da je u 6p v, a ako je j 6 i,
onda je v 6p u.
Matemati cka logika – 39 – Relacije - II deoMatemati cka logika – 39 – Relacije - II deoMatemati cka logika – 39 – Relacije - II deo
Leksikografsko ure denjeLeksikografsko ure denjeLeksikografsko ure denje
Neka je alfabet A linearno ureden nekim uredenjem 6.
Tada se to uredenje moze prosiriti do linearnog uredenja 6l na A∗, koje
nazivamo leksikografsko uredenje, na sledeci nacin:
u 6l vdef⇔ u 6p v ili
u = pxq, v = pyr, sa x < y u A,
gde su p, q, r ∈ A∗ i x, y ∈ A
Drugim recima, u 6l v ako je u 6p v ili za prvo slovo x u u koje se
razlikuje od odgovarajuceg slova y u v vazi da je x < y u A.
Kada kazemo da je y odgovarajuce slovo za x, pod time podrazumevamo
da y u v ima istu poziciju kao x u u.
Takode, p u gornjoj formuli je najduzi zajednicki prefiks reci u i v.
Matemati cka logika – 40 – Relacije - II deoMatemati cka logika – 40 – Relacije - II deoMatemati cka logika – 40 – Relacije - II deo
Leksikografsko ure denjeLeksikografsko ure denjeLeksikografsko ure denje
Zadatak 1.5. Dokazati da je 6l linearno uredenje na A∗.
Resenje:
(1) Refleksivnost: Za proizvoljnu rec u ∈ A∗ je u 6l u, jer je u 6p u.
(2) Antisimetricnost: Za reci u, v ∈ A∗ neka je u 6l v i v 6l u.
(2.1) Ako je u 6p v i v 6p u, tada je u = v, zbog antisimetricnosti
prefiks uredenja.
(2.2) Neka je u 6p v i v = pxq, u = pyr, pri cemu je x < y, za neke
p, q, r ∈ A∗ i x, y ∈ A.
Kako je p najduzi zajednicki prefiks za u i v i u 6p v, to je p = u, sto
je u suprotnosti sa u = pyr i y ∈ A.
Dakle, zakljucujemo da slucaj (2.2) nije moguc.
Matemati cka logika – 41 – Relacije - II deoMatemati cka logika – 41 – Relacije - II deoMatemati cka logika – 41 – Relacije - II deo
Leksikografsko ure denjeLeksikografsko ure denjeLeksikografsko ure denje
(2.3) Neka je v 6p u i u = pxq, v = pyr, pri cemu je x < y, za neke
p, q, r ∈ A∗ i x, y ∈ A.
Na isti nacin dokazujemo da ni ovaj slucaj nije moguc.
(2.4) Neka je x1 < y1, gde je x1, y1 prvi par razlicitih slova na istoj
poziciji u u i v, i neka je y2 < x2, gde je y2, x2 prvi par razlicitih slova
na istoj poziciji u v i u.
Tada je x1 = x2 i y1 = y2, sto znaci da je x1 < y1 i y1 < x1, sto nije
moguce.
Prema tome, ni slucaj (2.4) nije moguc.
Matemati cka logika – 42 – Relacije - II deoMatemati cka logika – 42 – Relacije - II deoMatemati cka logika – 42 – Relacije - II deo
Leksikografsko ure denjeLeksikografsko ure denjeLeksikografsko ure denje
(3) Tranzitivnost: Neka su u, v, w ∈ A∗ reci takve da je u 6l v i
v 6l w.
(3.1) Neka je u 6p v i v 6p w. Tada je u 6p w, zbog tranzitivnosti
prefiks uredenja, pa je u 6l w.
(3.2) Neka je u 6p v i v = pxq, w = pyr, pri cemu je x < y, za neke
p, q, r ∈ A∗ i x, y ∈ A.
Kako u ovom slucaju vazi da je u 6p v i p 6p v, to dobijamo da je
u 6p v ili p 6p u.
Ako je u 6p p, tada, s obzirom da je p 6p w, imamo da je u 6p w, pa
je, dakle, u 6l w, sto je i trebalo dokazati.
Matemati cka logika – 43 – Relacije - II deoMatemati cka logika – 43 – Relacije - II deoMatemati cka logika – 43 – Relacije - II deo
Leksikografsko ure denjeLeksikografsko ure denjeLeksikografsko ure denje
Neka je sada p 6p u. Kako je slucaj p = u obuhvacen prethodnim
slucajem u 6p p, to mozemo uzeti da je p <p u, tj. da je p pravi
prefiks od u.
U tom slucaju imamo da je u = pxq′, za neku rec q ∈ A∗, sto zajedno
sa w = pyr i x < y povlaci da vazi u 6l w.
(3.3) Neka je u = pxq, v = pyr, pri cemu je x < y, za neke p, q, r ∈
A∗ i x, y ∈ A, i v 6p w.
Tada, na potpuno isti nacin kao u (3.2) dokazujemo da je u 6l w.
Matemati cka logika – 44 – Relacije - II deoMatemati cka logika – 44 – Relacije - II deoMatemati cka logika – 44 – Relacije - II deo
Leksikografsko ure denjeLeksikografsko ure denjeLeksikografsko ure denje
(3.4) Neka je u = p1x1q1, v = p1y1r1, pri cemu je x1 < y1, za neke
p1, q1, r1 ∈ A∗ i x1, y1 ∈ A, i neka je v = p2x2q2, w = p2y2r2, pri
cemu je x2 < y2, za neke p2, q2, r2 ∈ A∗ i x2, y2 ∈ A.
Kako je p1 6p v i p2 6p v, to imamo da je p1 6p p2 ili p2 6p p1.
Kako se oba slucaja razmatraju na slican nacin, to mozemo uzeti da
je, na primer, p1 6p p2.
Pretpostavimo najpre da je p1 = p2.
Tada je y1 = x2, i x1 < y1 = x2 < y2 povlaci da je x1 < y2, pa iz
u = p1x1q1, w = p1y2r2 i x1 < y2 zakljucujemo da je u 6l w.
Matemati cka logika – 45 – Relacije - II deoMatemati cka logika – 45 – Relacije - II deoMatemati cka logika – 45 – Relacije - II deo
Leksikografsko ure denjeLeksikografsko ure denjeLeksikografsko ure denje
Neka je sada p1 <p p2.
Iz v = p1y1r1, v = p2x2q2 i p1 <p p2 zakljucujemo da je p2 = p1y1s,
za neku rec s ∈ A∗, odakle sledi da je w = p1y1t, za neku rec t ∈ A∗.
Prema tome, imamo da je u = p1x1q1, w = p1y1t i x1 < y1, odakle
sledi da je u 6l w.
Ovim je dokazana tranzitivnost relacije 6l.
Matemati cka logika – 46 – Relacije - II deoMatemati cka logika – 46 – Relacije - II deoMatemati cka logika – 46 – Relacije - II deo
Leksikografsko ure denjeLeksikografsko ure denjeLeksikografsko ure denje
(4) Linearnost: Neka su date proizvoljne reci u, v ∈ A∗.
Ako u i v nemaju zajednicki prefiks, to znaci da im se razlikuju vec
prva slova. Neka je x prvo slovo od u i y je prvo slovo od v.
Kako je, prema pretpostavci, alfabet A linearno ureden, to je x < y,
u kom slucaju je u <l v, ili je y < x, u kom slucaju je v <l u.
Dalje, uzmimo da u i v imaju zajednicki prefiks. U tom slucaju postoji
najduzi zajednicki prefiks od u i v, koji cemo oznaciti sa p.
Sada imamo da je u = pxq i v = pyr, za neke q, r ∈ A∗ i slova
x, y ∈ A takva da je x 6= y, pa opet na osnovu linearnosti uredenja
na alfabetu A zakljucujemo da je x < y, u kom slucaju je u <l v, ili
je y < x, u kom slucaju je v <l u.
Matemati cka logika – 47 – Relacije - II deoMatemati cka logika – 47 – Relacije - II deoMatemati cka logika – 47 – Relacije - II deo
Leksikografsko ure denjeLeksikografsko ure denjeLeksikografsko ure denje
Zadatak 1.6. Uporediti leksikografski sledece binarne reci:
u = 01000001, v = 00110111, w = 00111111 .
Resenje: Prva pozicija na kojoj se rec u razlikuje od v i w je pozicija 2.
Pri tome, na poziciji 2 rec u ima slovo 1, a reci v i w slovo 0, pa kako
je 0 < 1, to dobijamo da je v <l u i w <l u.
Dalje, prva pozicija na kojoj se razlikuju od reci v i w je pozicija 5.
Na poziciji 5 rec v ima slovo 0, a rec w slovo 1, odakle je v <l w.
Napomena 1.2. Binarne reci iz prethodnog zadatka su ASCII kodovi
alfanumerickih simbola A, 7 i ?, tim redom.
Matemati cka logika – 48 – Relacije - II deoMatemati cka logika – 48 – Relacije - II deoMatemati cka logika – 48 – Relacije - II deo
Leksikografsko ure denjeLeksikografsko ure denjeLeksikografsko ure denje
Zadatak 1.7. Urediti leksikografski sve binarne reci duzine 4.
Resenje:
Sve binarne reci duzine 4 su leksikografski uredene na sledeci nacin:
0000 0001 0010 0011 0100 0101 0110 0111
1000 1001 1010 1011 1100 1101 1110 1111
Matemati cka logika – 49 – Relacije - II deoMatemati cka logika – 49 – Relacije - II deoMatemati cka logika – 49 – Relacije - II deo
Alfabetsko ure denjeAlfabetsko ure denjeAlfabetsko ure denje
Neka je alfabet A linearno ureden nekim uredenjem 6.
Tada se uredenje 6a na A∗, koje nazivamo alfabetsko uredenje, definise
na sledeci nacin:
u 6a vdef⇔ |u| < |v| ili
(
|u| = |v| i u 6l v)
Zadatak 1.8. Dokazati da je 6a linearno uredenje na A∗.
Resenje:
(1) Refleksivnost: Za proizvoljnu rec u ∈ A∗ je u 6a u, jer je |u| = |u|
i u 6l u.
Matemati cka logika – 50 – Relacije - II deoMatemati cka logika – 50 – Relacije - II deoMatemati cka logika – 50 – Relacije - II deo
Alfabetsko ure denjeAlfabetsko ure denjeAlfabetsko ure denje
(2) Antisimetricnost: Neka je u 6a v i v 6a u, za neke reci u, v ∈ A∗.
Ako je |u| = |v|, tada imamo da je u 6l v i v 6l u, odakle je u = v,
zbog antisimetricnosti leksikografskog uredenja.
Sa druge strane, slucaj |u| 6= |v| nije moguc, jer bi u suprotnom dobili
da je |u| < |v| i |v| < |u|.
Prema tome, zakljucujemo da je 6a antisimetricna relacija.
(3) Tranzitivnost: Neka je u 6a v i v 6a w, za neke reci u, v, w ∈ A∗.
(3.1) Ako je |u| < |v| i |v| < |w|, tada je |u| < |w|, pa je u 6a w.
(3.2) Ako je |u| < |v|, |v| = |w| i v 6l w, tada je |u| < |w|, odakle
sledi da je u 6a w.
(3.3) Ako je |u| = |v|, u 6l v, |v| < |w|, tada je opet |u| < |w|,
odakle je u 6a w.
Matemati cka logika – 51 – Relacije - II deoMatemati cka logika – 51 – Relacije - II deoMatemati cka logika – 51 – Relacije - II deo
Alfabetsko ure denjeAlfabetsko ure denjeAlfabetsko ure denje
(3.4) Neka je |u| = |v|, u 6l v, |v| = |w| i v 6l w.
Tada dobijamo da je |u| = |w| i u 6l w, zbog tranzitivnosti leksiko-
grafskog uredenja, odakle sledi da je u 6a w.
Ovim smo dokazali tranzitivnost relacije 6a.
(3) Linearnost: Neka su date proizvoljne reci u, v ∈ A∗.
Ako je |u| 6= |v|, tada je |u| < |v|, u kom slucaju je u 6a v, ili je
|v| < |u|, u kom slucaju je v 6a u.
Ako je |u| = |v|, tada iz linearnosti leksikografskog uredenja sledi da je
u 6l v ili v 6l u, sto zajedno sa |u| = |v| daje u 6a v ili v 6a u.
Matemati cka logika – 52 – Relacije - II deoMatemati cka logika – 52 – Relacije - II deoMatemati cka logika – 52 – Relacije - II deo
Alfabetsko ure denjeAlfabetsko ure denjeAlfabetsko ure denje
Zadatak 1.9. Urediti leksikografski i alfabetski sve binarne reci duzine
manje ili jednake 3.
Resenje: Leksikografski poredak:
0 00 000 001 01 010 011
1 10 100 101 11 110 111
Alfabetski poredak:
0 1 00 01 10 11
000 001 010 011 100 101 110 111
Matemati cka logika – 53 – Relacije - II deoMatemati cka logika – 53 – Relacije - II deoMatemati cka logika – 53 – Relacije - II deo
Alfabetsko ure denjeAlfabetsko ure denjeAlfabetsko ure denje
Zadatak 1.10. Pocev od najmanjeg, pa do najveceg, leksikografski urediti sledece
binarne reci:
A = 01001011, B = 00101010, C = 01100100, D = 01101111, E = 01000101.
Resenje: Kako sve ove reci imaju isto prvo slovo, to razmatramo drugo slovo.
Jedino rec B ima drigo slovo 0, dok sve ostale imaju drugo slovo 1. Prema tome, B
je najmanji element u ovom skupu.
Od preostalih reci, A i E imaju trece slovo 0, pa su manje od C i D, koje kao trece
slovo imaju 1. Ako dalje uporedimo A i E, videcemo da se prvo slovo po kome se
razlikuju na petoj poziciji, gde kod A stoji 1, a kod E stoji 0. Dakle, rec E je druga,
a A treca po velicini.
Konacno, prvo slovo po kome se razlikuju C i D je na petoj poziciji, gde kod C stoji
0, a kod D stoji 1. Prema tome, rec C je cetvrta a D peta po velicini.
Dakle, resenje je BEACD.
Matemati cka logika – 54 – Relacije - II deoMatemati cka logika – 54 – Relacije - II deoMatemati cka logika – 54 – Relacije - II deo
Alfabetsko ure denjeAlfabetsko ure denjeAlfabetsko ure denje
Zadatak 1.11. Neka je 4 uredenje na skupu binarnih nizova
X = {0, 1, 10, 01, 11, 101, 011, 1011}
zadato sledecim Haseovim dijagramom.
0 1
10 01 11
101 011
1011
Koje od sledecih uredenja ima 4 kao svoju restrikciju na skupu X:
(a) prefiks uredenje
(b) leksikografsko uredenje
(c) faktor uredenje
(d) alfabetsko uredenje
(e) sufiks uredenje
Matemati cka logika – 55 – Relacije - II deoMatemati cka logika – 55 – Relacije - II deoMatemati cka logika – 55 – Relacije - II deo
Alfabetsko ure denjeAlfabetsko ure denjeAlfabetsko ure denje
Resenje: Primetimo najpre da uredenje 4 nije linearno, jer, na primer, elementi 0
i 1 nisu uporedivi. Kako znamo da leksikografsko i alfabetsko uredenje jesu linearna
uredenja, to zakljucujemo da 4 nije jedno od njih.
0 1
10 01 11
101 011
1011
Ako bi 4 bilo prefiks uredenje, onda ne bi moglo da bude 0 4 10, a ako bi to bilo
sufiks uredenje, onda ne bi moglo da bude 1 4 01. Odavde zakljucijemo da 4 ne
moze biti ni jedno od ta dva uredenja.
Dakle, ostaje samo mogucnost da 4 jeste faktor uredenje. To zaista vazi, jer se sa
slike vidi da je bilo koja rec iz datog skupa manja od neke druge ako i samo ako je
njen faktor.
Dakle, 4 je faktor uredenje.
Matemati cka logika – 56 – Relacije - II deoMatemati cka logika – 56 – Relacije - II deoMatemati cka logika – 56 – Relacije - II deo
Alfabetsko ure denjeAlfabetsko ure denjeAlfabetsko ure denje
Zadatak 1.12. U odnosu na koje uredenje su poredani sledeci nizovi:
11, 101, 011, 01, 0.
(a) prefiks uredenje
(b) leksikografsko uredenje
(c) faktor uredenje
(d) alfabetsko uredenje
(e) simetricno uredenje
Resenje: U zavisnosti od toga da li su ove reci date u rastucem poretku (od na-
jmanjeg ka najvecem) ili opadajucem poretku (od najveceg ka najmanjem), imamo
da je ili 011 6 101 ili 101 6 011.
Odatle zakljucujemo da se ne radi o prefiks uredenju, jer nijedna od te dve reci nije
prefiks one druge.
Na isti nacin zakljucujemo i da se ne radi o faktor uredenju, jer nijedna od te dve
reci nije faktor druge.
Matemati cka logika – 57 – Relacije - II deoMatemati cka logika – 57 – Relacije - II deoMatemati cka logika – 57 – Relacije - II deo
Alfabetsko ure denjeAlfabetsko ure denjeAlfabetsko ure denje
Simetricno uredenje ne postoji, pa i tu mogucnost iskljucujemo.
Prema tome, preostaju mogucnosti da je 6 alfabetsko ili leksikografsko uredenje.
Kako se kod alfabetskog uredenja reci ureduju najpre po duzini, a potom se reci iste
duzine ureduju leksikografski, to zakljucujemo da 6 nije ni alfabetsko uredenje, jer
dati poredak ne uvazava duzinu reci.
Preostaje, dakle, da 6 jeste leksikografsko uredenje. Ako date nizove poredamo po
leksikografskom poretku, od najveceg ka najmanjem, videcemo da je to upravo dati
poredak.
To znaci da je resenje (b) - leksikografsko uredenje.
Matemati cka logika – 58 – Relacije - II deoMatemati cka logika – 58 – Relacije - II deoMatemati cka logika – 58 – Relacije - II deo