Relazioni Flashcards
Definizione Relazione
Si dice Relazione ( o corrispondenza) Tra gli insiemi A e B un sottoinsieme del prodotto cartesiano A x B
Definizione Relazione Inversa
Data la relazione R ⊂ AxB si dice relazione inversa della R.
la relazione R^-1 ⊂ BxA tale che :
R^-1 = {(b,a) : (a,b) ∈ R}
Definizione Relazione Riflessiva
Si dice che la relazione R ⊂ IxI gode della proprietà riflessiva se, per ogni a ∈ I , vale che (a,a) ∈ R
Definizione Relazione Antiriflessiva
Si dice che la relazione R ⊂ IxI gode della proprietà antiriflessiva se, per ogni a ∈ I, vale che (a,a) ∉ R
Definizione Relazione Simmetrica
Si dice che la relazione R ⊂ IxI gode della proprietà simmetrica, se per ogni a,b ∈ I, si ha che, se (a,b) ∈ R, allora (b,a) ∈ R
Definizione Relazione Antisimmetrica
Si dice che la relazione R ⊂ IxI gode della proprietà antisimmetrica, se per ogni a,b ∈ I, si ha che, se (a,b) ∈ R, allora (b,a) ∈ R allora a = b
Definizione Relazione Transitiva
Si dice che la relazione R ⊂ IxI gode della proprietà transitiva se, per ogni a,b,c ∈ I, si ha che, se (a,b) ∈ R e (b,c) ∈ R allora (a,c) ∈ R
Definizione Relazione di Equivalenza
Una relazione R ⊂ IxI si dice relazione di equivalenza se gode della proprietà :
- Riflessiva
- Simmetrica
- Transitiva
Definizione di Classe Di Equivalenza
Si dice classe di equivalenza dell’elemento a ∈ I rispetto alla relazione di equivalenza R ⊂ IxI il sottoinsieme di I costituito dagli elementi x tali che (a,x) ∈ R . Tale insieme verrà denotato con [a] R o piu semplicemente [a] se R è chiara dal contesto
Proposizione 1. Classe di equivalenza disgiunzione
siano a e b due elementi di I, siano [a] e [b] le classi di equivalenza di a e di b rispetto alla relazione di equivalenza R ⊂ IxI, e sia [a] ≠ [b]; allora [a] e [b] sono disgiunti
Definizione Insieme Quoziente
Si dice insieme quioziente dell’insieme I rispetto alla relazione R l’insieme I/R delle classi di equivalenza degli elementi di I rispetto alla relazione di equivalenza R
Definizione Relazione D’ordine
Una relazione R ⊂ IxI si dice relazione d’ordine se gode della proprieta:
- Riflessiva
- Antisimmetrica
- Transitiva
Definizione Relazione di Ordine Stretto
Una relazione R ⊂ IxI si dice relazione d’ordine stretto se gode della proprieta:
- Antiriflessiva
- Transitiva
Definizione Relazione Di Preordine
Una relazione R ⊂ IxI si dice relazione preordine se gode della proprieta:
- Riflessiva
- Transitiva
Proposizione I di una Relazione Di Preordine
Data una relazione R ⊂ IxI di preordine si può definire un ordinamento corrispondente R’ sull’insieme I’ , quoziente di I rispetto alla relazione di equivalenza:
U = R ∩ R’