Relazioni Flashcards

1
Q

Definizione Relazione

A

Si dice Relazione ( o corrispondenza) Tra gli insiemi A e B un sottoinsieme del prodotto cartesiano A x B

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Definizione Relazione Inversa

A

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}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Definizione Relazione Riflessiva

A

Si dice che la relazione R ⊂ IxI gode della proprietà riflessiva se, per ogni a ∈ I , vale che (a,a) ∈ R

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Definizione Relazione Antiriflessiva

A

Si dice che la relazione R ⊂ IxI gode della proprietà antiriflessiva se, per ogni a ∈ I, vale che (a,a) ∉ R

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Definizione Relazione Simmetrica

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Definizione Relazione Antisimmetrica

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Definizione Relazione Transitiva

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Definizione Relazione di Equivalenza

A

Una relazione R ⊂ IxI si dice relazione di equivalenza se gode della proprietà :

  1. Riflessiva
  2. Simmetrica
  3. Transitiva
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Definizione di Classe Di Equivalenza

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Proposizione 1. Classe di equivalenza disgiunzione

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Definizione Insieme Quoziente

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Definizione Relazione D’ordine

A

Una relazione R ⊂ IxI si dice relazione d’ordine se gode della proprieta:

  1. Riflessiva
  2. Antisimmetrica
  3. Transitiva
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Definizione Relazione di Ordine Stretto

A

Una relazione R ⊂ IxI si dice relazione d’ordine stretto se gode della proprieta:

  1. Antiriflessiva
  2. Transitiva
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Definizione Relazione Di Preordine

A

Una relazione R ⊂ IxI si dice relazione preordine se gode della proprieta:

  1. Riflessiva
  2. Transitiva
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Proposizione I di una Relazione Di Preordine

A

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’

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Definizione di Relazione Funzione

A

è una relazione binaria che associa ad ogni elemento del dominio un solo elemento del codominio. In altre parole, una relazione è una funzione se per ogni elemento x del dominio c’è al piu un elemento y del codominio tale che (x,y) appartiene alla relazione

17
Q

Definizione di Chiusura

A

Per essere chiusura deve essere un superinsieme dell’insieme di partenza, tramite che è il piu piccolo tra tutti i superinsiemi e soddisfa la proprietà di partenza