da G.D. » 14/11/2008, 19:54
Definire l'inseme $ZZ$ attraverso le classi di equivalenza significa definirlo come insieme quoziente di $NN times NN$ rispetto a una precisa relazione d'equivalenza $\sim$.
Tieni conto che una relazione binaria su un insieme $S$ è una parte del prodotto cartesiano $S times S$ e che questa relazione è di equivalenza se valgono le proprietà rflessiva, smmetrica e transitiva; in tal contesto la classe di equivalenza $[a]$ è una parte di $S$ definita così: $[a]:={x in S|x \sim a}$.
"Everybody lies"
"La morte sorride a tutti: un uomo non può fare altro che sorriderle di rimando"
"Eliminato l'impossibile, ciò che resta, per improbabile che sia, deve essere la verità"
"No! Provare no! Fare. O non fare. Non c'è provare!"