I.3
I.3.1
Relatii binare
Definitii; matricea asociat
a unei relatii
CC-Matematica 2
I.3.2
= {1,
2, 3} si xRy 3 | 2xy.
1 0
0 0
.
0 1
1 0
Operatii cu relatii
CC-Matematica 2
(i) R reflexiva EX R EX R = EX
CC-Matematica 2
I.3.3
Relatii de ordine
CC-Matematica 2
9
tt
tt
t
tt
tt
{0,O 1}eJ
e J
JJ
JJ
JJ
J
{0, 2}eJ
9
JJ
JJ tttt
J
tt J
tt JJJ
tt
(I.3.1)
{1,O 2}
9
JJ
JJ tttt
J
tt J
tt JJJ
tt
{2}
{1}
O
KKK
s9
s
s
KKK
s
KKK
sss
s
s
KK
sss
{0} eK
CC-Matematica 2
(i) Minim (sau cel mai mic element) daca pentru orice y X, x y.
(ii) Maxim (sau cel mai mare element) daca pentru orice y X, x y.
(iii) Element minimal daca nu exista y X astfel ncat y x.
(iv) Element maximal daca nu exista y X astfel ncat y x.
Minimul sau maximul nu exista neaparat, dar daca exista, sunt unice: sa
presupunem ca exista doua minime x1 si x2 ntr-un poset (X, ). Cum x1
este minim, rezulta x1 y, y X. In particular, x1 x2 . Analog avem
x2 x1 , deci x1 = x2 . La fel rezulta si unicitatea maximului. De exemplu,
orice interval deschis (a, b), vazut ca poset mpreuna cu relatia de ordine
uzuala, nu are minim si nici maxim.
De asemenea, ntr-un poset (X, ) elementele minimale sau maximale
pot sa existe sau nu: daca relatia de oridne este egalitatea EX , atunci toate
elementele sunt minimale si maximale. In posetul (P(M ) \ {, M }, ), elemente minimale sunt toate submultimile cu un singur element, iar elemente
maximale sunt complementarele acestora. Rezulta ca elementele minimale
(maximale) nu sunt neaparat unice. Pe de alta parte, (Z, ) nu are nici
elemente minimale nici maximale. Daca ntr-un poset exista minim (respectiv maxim), atunci acesta este si element minimal (respectiv maximal), dar
reciproc este fals (de ce?).
Propozitia I.3.3.8. Fie (X, ) un poset finit nevid. Atunci exista cel putin
un element minimal n X (respectiv maximal).
Demonstratie. Presupunem prin absurd ca nu exista nici un element
minimal. Fie atunci x0 X (care exista pentru ca X este nevida). Cum
x0 nu este minimal, exista x1 < x0 . Conform presupunerii facute, nici x1 nu
este minimal, deci exista x2 < x1 < x0 , etc. Obtinem astfel un lant infinit
... < x2 < x1 < x0 de elemente distincte din X. Dar X este o multime
finita, contradictie. Deci presupunerea facuta este falsa si exista elemente
minimale. Pentru cele maximale, rationamentul decurge analog.
Definitia I.3.3.9. Spunem ca un poset (X, ) este o multime total ordonata
daca pentru orice x, y X, x y sau y x.
Exercitiul I.3.3.10. Cum arata diagrama Hasse asociata unei multimi total
ordonate finite?
Exemplul I.3.3.11.
nevida.
CC-Matematica 2
CC-Matematica 2
I.3.4
Relatii de echivalent
a si partitii
CC-Matematica 2
X/R
YO
i
Imf