Classa d'equivalenza

De Wikipedia
Va a: navegá, truvá
Lombard Occidental Quel articul chì l'è scrivüü in Lumbard ucidental urtugrafia ünificada.


Cada relazziun d'equivalenza sü A\, la permett da dividí cheest cungjuunt in di sübcungjuunt dis·gjuunt, numinaa classa d'equivalenza, furmaa par tücc i elemeent in relazziun \sim\, tra da luur.

La classa d'equivalenza d'un elemeent a\in A\,, indicada nurmalameent par \sim a\, u [a] , a l'è furmada par: \sim a=\left\{ b\in A|a\sim b\right\}\,, e la gh'a i sigütaant caraterístich:

  • \sim a\, al è un sübcungjuunt da A\,.
  • \sim a\, al è mia vöj. Cuma mínim al cuntegn

a\,.

  • Inversameent, \forall a\in A\,  a\, al partegn (esatameent) a una classa d'equivalenza, la suva.
  • \sim a=\sim b\Longleftrightarrow b\in \sim a\,.
  • b\notin \sim a\Longleftrightarrow (\sim a\cap \sim b)=\emptyset \,.
Portal Artícuj relazziunaa a Matemàtica