Estratto del documento

Relazioni d'equivalenza

Def. Una relazione binaria su A si chiama relazione d'equivalenza se è riflessiva, simmetrica e transitiva.

  • Riflessiva: ∀ x ∈ A, (x,x) ∈ R
  • Simmetrica: ∀ x, y ∈ A, se x R y allora y R x
  • Transitiva: ∀ x, y, z ∈ A, se x R y e y R z allora x R z

Esempi

Es. A = {1,2,3}

R = {(1,1), (2,2), (3,3), (1,2), (2,1), (2,3), (3,2), (1,3), (3,1)}

R è riflessiva, R è simmetrica, R è transitiva

Es. A = animali

R = {(x,y) | se x e y hanno lo stesso numero di gambe}

  • Gatto R cane
  • Gallina R struzzo
  • Uomo R gallina

È una relazione d'equivalenza? Riflessiva Sì, Simmetrica Sì, Transitiva Sì.

Es. A = {persone in quest'aula}

R = {(x, y) | x è amico di y}

  • Riflessiva: ognuno è amico di se stesso
  • Simmetrica: se a è amico di b allora b è amico di a
  • Transitiva: se a è amico di b e b è amico di c allora a è amico di c

R non è una relazione d'equivalenza

Es. ℕ n ∈ ℕ

R1 = { (n,n) }

R2 = {(n,m) | n ≦ m} ∈ ℕ

R1 è riflessiva, simmetrica e transitiva. La relazione d'uguaglianza = è una relazione d'equivalenza.

Classe d'equivalenza

Def. Se R è una relazione d'equivalenza su A, allora per ogni x ∈ A, [x]R = {y ∈ A | x R y} è la classe d'equivalenza di x.

Nota: [X]R ⊆ A

Es. A = {a,b,c} R = {(a,a),(b,b),(c,c),(a,b),(b,a)}

R è relazione d'equivalenza (riflessiva, simmetrica e transitiva)

  • [A]R = {a,b}
  • [B]R = {b,a}
  • [C]R = {c}

Es. A = {a,b,c} |P(A)| = 8

{a} R {b}, {a,b} R {b,c}

P(A) R = {(X,Y) | |X| = |Y|}

  • {a} !R {b,c}
  • {b} !R {b,c}

R è riflessiva, simmetrica e transitiva.

  • [{a}]R = { {a}, {b}, {c} } = [{b}]R = [{c}]R
  • [{a,b}]R = { {a,b}, {b,c}, {a,c} } = [{b,c}]R = [{a,c}]R
  • []R = { }
  • [{a,b,c}]R = { {a,b,c} }

Partizione di un insieme

Def. Una partizione di un insieme A è una famiglia di sottoinsiemi di A tale che:

  • ∀ i ∈ I, Bi ⊆ A
  • Bi ≠ ∅
  • Bi ∩ Bj = ∅ se i ≠ j
  • i∈IBi = A

Es. A = {a,b,c,d} F = { {a,c}, {b}, {d} }
B1 B2 B3

Bi ⊆ A

Bi ≠ ∅

Bi ∩ Bj = ∅ se i ≠ j

Anteprima
Vedrai una selezione di 3 pagine su 7
Algebra e geometria - relazioni e classi di equivalenza Pag. 1 Algebra e geometria - relazioni e classi di equivalenza Pag. 2
Anteprima di 3 pagg. su 7.
Scarica il documento per vederlo tutto.
Algebra e geometria - relazioni e classi di equivalenza Pag. 6
1 su 7
D/illustrazione/soddisfatti o rimborsati
Acquista con carta o PayPal
Scarica i documenti tutte le volte che vuoi
Dettagli
SSD
Scienze matematiche e informatiche MAT/02 Algebra

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher koganzjo di informazioni apprese con la frequenza delle lezioni di Algebra e Geometria e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Università degli Studi dell' Insubria o del prof Gerla Brunella.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community