Relazione di equivalenza: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Etichette: Modifica da mobile Modifica da web per mobile |
m Annullate le modifiche di 151.37.93.76 (discussione), riportata alla versione precedente di Mat4free |
||
Riga 28:
[[Immagine:Set partition.svg|thumb|Il risultato di un'operazione di partizione su un insieme: da ciò deriva il nome "quoziente" e la scrittura, che ricordano entrambi la [[Divisione (matematica)|divisione]]]]
* Se <math>X</math> è l'insieme di tutte le automobili e <math>\sim</math> è
* Si consideri la relazione di equivalenza "[[aritmetica modulare|modulo]] 2" nell'insieme degli [[numeri interi|interi]]: <math>x \sim y</math> [[se e solo se]] <math>x - y</math> è un [[numero pari|pari]]. Questa relazione dà origine ad esattamente due classi di equivalenza: [0] contiene tutti i numeri pari, mentre [1] contiene tutti i numeri dispari
* I [[numeri razionali]] possono essere costruiti come l'insieme delle classi di equivalenza di coppie pari di interi <math>(a,b)</math>, con <math>b</math> diverso da zero, dove la relazione di equivalenza è definita come:
| |||