Documente Academic
Documente Profesional
Documente Cultură
Curs 13
Relaţii de ordine
Definiţie
Fie (A, ≤) o mulţime parţial ordonată. Un element a ∈ A se numeşte
I maxim (sau cel mai mare element) ⇐⇒ ∀ b ∈ A . b ≤ a.
I minim (sau cel mai mic element) ⇐⇒ ∀ b ∈ A . a ≤ b.
I element maximal ⇐⇒ ∀ b ∈ A astfel ı̂ncât a ≤ b =⇒ b = a.
I element minimal ⇐⇒ ∀ b ∈ A astfel ı̂ncât b ≤ a =⇒ b = a.
Observaţii:
I Maximul (minimul) unei mulţimi parţial ordonate poate exista sau nu.
Dar dacă există, atunci este unic.
I O mulţime parţial ordonată poate avea sau nu elemente maximale
(minimale). Dacă acestea există, atunci nu sunt neapărat unice.
I Dar dacă există maxim (minim), atunci acesta este şi unicul element
maximal (minimal) (atenţie: reciproca nu este neapărat adevărată!)
Relaţii de ordine
Lemă
Fie (A, ≤) o mulţime parţial ordonată finită nevidă.
Atunci există cel puţin un element maximal ı̂n A (respectiv minimal).
Observaţie
Orice submulţime S a unei mulţimi parţial ordonate (A, ≤) este de
asemenea o mulţime parţial ordonată (S, ≤S ), cu relaţia de ordine ≤S
definită prin:
a, b ∈ S , a ≤S b ⇐⇒ a ≤ b
Relaţii de ordine – majorant (minorant), margine
superioară (inferioară)
Fie (A, ≤) o mulţime parţial ordonată şi S ⊆ A o submulţime a sa.
Un element a ∈ A se numeşte majorant pentru S ⇐⇒ ∀ b ∈ S , b ≤ a.
Submulţimea S se numeşte mărginită superior dacă are cel puţin un
majorant.
Cel mai mic majorant (dacă există) se numeşte
W margine superioară (sau
suprem) pentru S şi se notează sup(S) sau S.
Dacă S = {a1 , . . . , an }, vom nota sup(S) cu a1 ∨ a2 ∨ . . . ∨ an .
Un element a ∈ A se numeşte minorant pentru S ⇐⇒ ∀ b ∈ S , a ≤ b
Submulţimea S se numeşte mărginită inferior dacă are cel puţin un
minorant.
Cel mai mare minorant (dacă există) se numeşte
V margine inferioară (sau
infim) pentru S şi se notează inf(S) sau S.
Dacă S = {a1 , . . . , an }, vom nota inf(S) cu a1 ∧ a2 ∧ . . . ∧ an .
Relaţii de ordine – majorant (minorant), margine
superioară (inferioară)
Exemple
I mulţimea părţilor cu relaţia de incluziune (P(M), ⊆)
[ \
sup(S) = X şi inf(S) = X , ∀ S ⊆ P(M)
X ∈S X ∈S
I N
mulţimea numerelor naturale cu relaţia de divizibilitate ( , | )
I N
mulţimea numerelor naturale cu relaţia de ordine uzuală ( , ≤)
¬a ∨ a = 1 şi ¬a ∧ a = 0
Algebre Boole
Definiţie
O algebră Boole este o latice mărginită, distributivă, ı̂n care fiecare
element admite complement.
Exemplu
(P(M), ∪, ∩, (−)c , ∅, M) algebra Boole a părţilor unei mulţimi M.
a ≤ b =⇒ f (a) ≤ f (b)
Teoremă (Knaster-Tarski)
Fie f : P(M) → P(M) o funcţie monotonă. Atunci există cel puţin un
punct fix pentru f . Mai precis,
\ [
Xmin = {S ⊆ M | f (S) ⊆ S} şi Xmax = {S ⊆ M | S ⊆ f (S)}
sunt cel mai mic, respectiv cel mai mare punct fix al lui f .
A × ... × A → A
| {z }
n ori
Definiţie
O algebră este o mulţime nevidă A, ı̂mpreună cu o familie de operaţii de
diverse arităţi.
Exemplu
N
Fie f : A → ( , +, 0) funcţia constantă f (a) = 1, ∀ a ∈ A.
N
Atunci morfismul de monoizi indus f ? : (A? , ·, ) → ( , +, 0) asociază
fiecărui string din A? lungimea sa (numărul de caractere).
Monoidul de tranziţie asociat unui automat
Definiţie
Automat finit determinist peste un alfabet A:
A = (X , δ : A × X → X )
mulţimea finită a stărilor funcţia de tranziţie