Académique Documents
Professionnel Documents
Culture Documents
2.2 La propriet simmetrica
Consideriamo linsieme A = {cane; leone; pappagallo; elefante; caval-lo} e individuiamo tra gli elementi
dellinsieme stesso la relazione espressa dalla frase: termina con la stessa vocale di . Notiamo che se
cane in relazione con leone, sicuramente anche leone in relazione con cane in quanto entrambi terminano
con la stessa vocale: e. In questo caso la relazione R si dice simmetrica, in quanto qualsiasi siano le parole
che appartengono ad A, se x termina con la stessa vocale di y anche y termina con la stessa vocale di x.
Possiamo dunque in generale affermare che:
DEFINIZIONE una relazione in un insieme A si dice simmetrica quando considerati due elementi x e y
appartenenti ad A ogni volta che x in relazione con y, allora anche y in relazione con x.
In simboli si scrive: x, y A se x R y y R x
2.3 La propriet transitiva
Consideriamo linsieme A = {neo; mare; sedia; tavolo} e individuiamo tra gli elementi dellinsieme stesso la
relazione espressa dalla frase: ha un numero maggiore di lettere . Notiamo che se tavolo ha un
numero di lettere maggiore di sedia e sedia ha un numero di lettere maggiore di mare, allora: tavolo ha un
numero di lettere maggiore di mare. In questo caso la relazione si dice transitiva in quanto se x, y e z
appartengono ad A e x ha un numero di cifre maggiore di y e y un numero di cifre maggiore di z, allora: x ha
un numero di cifre maggiore di z. Possiamo in generale affermare che:
DEFINIZIONE una relazione R in un insieme A si dice transitiva quando considerati tre elementi x, y e z
appartenenti ad A, ogni volta che x in relazione con y e y in relazione con z, anche x in relazione con z.
- 12 -
In simboli si scrive: x, y, z A se x R y e y R z x R z
2.4 La propriet antisimmetrica
Consideriamo linsieme A = {x / x laltezza di un componente della squadra di basket composta da Carlo
(160 cm), Luca (155 cm), Marco (170 cm) e Luigi (165 cm)}; individuiamo al suo interno la relazione
espressa dalla frase: Laltezza di maggiore di quella di .
Osserviamo che se un elemento in corrispondenza con un altro : Laltezza di Marco maggiore
dellaltezza di Luigi , non potr mai accadere che questultimo sia in relazione con il primo.
Ovvero: Marco R Luigi e Luigi R Marco.
Possiamo affermare cio che:
DEFINIZIONE una relazione in un insieme A si dice antisimmetrica quando, considerati due elementi
qualunque x e y appartenenti ad A, no possono sussistere contemporaneamente x R y e y R x.
In simboli si scrive: x, y, A se x R y allora y R x
Le principali relazioni
Nella sottounit precedente abbiamo analizzato le pi importanti propriet delle relazioni fra gli elementi di
uno stesso insieme. Adesso esaminiamo, invece, le relazioni alla luce delle propriet di cui godono, e
classifichiamole in base a queste. Le principali relazioni di cui noi ci occuperemo sono: la relazione di
equivalenza e la relazione di ordine
1.1 La relazione di equivalenza
DEFINIZIONE Una relazione che gode delle propriet riflessiva, simmetrica e transitiva; prende per questo
il nome di relazione di equivalenza.
.
1.2 La relazione di ordine
Oltre alle relazioni di equivalenza assumono una notevole importanza tra le relazioni in un insieme le
relazioni di ordine. Esse si possono classificare in relazioni di ordine largo e relazioni di ordine stretto.
DEFINIZIONE Una relazione che gode delle propriet riflessiva, transitiva e antisimmetrica; prende per
questo il nome di relazione di ordine largo.
DEFINIZIONE Una relazione che gode della propriet antisimmetrica e transitiva; prende per questo il
nome di relazione di ordine stretto.
- 13 -