From Wikipedia, the free encyclopedia
Tota relació d'equivalència ∼ definida en un cert conjunt A ens permet dividir aquest conjunt en subconjunts disjunts, on cada subconjunt està format per tots els elements relacionats entre ells. Cada un d'aquests subconjunts és una classe d'equivalència, generada per la relació d'equivalència ∼.[1][2]
La classe d'equivalència d'un element, , en la relació ∼ normalment es representa amb la notació [a]∼ o simplement [a] quan la relació d'equivalència usada es considera evident pel context. La notació també està força estesa. Aquesta classe estarà formada per:
Donada la classe [a], aquest element a es diu que és el representant de la classe. Les classes d'equivalència compleixen les següents propietats:
Així, qualsevol element b ∈ [a] és també un representant d'aquesta classe i de fet és així com s'anomenen els elements d'una mateixa classe d'equivalència.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.