Classe d'equivalència: diferència entre les revisions
Contingut suprimit Contingut afegit
m neteja i estandardització de codi |
+ ref. |
||
Línia 1:
Tota [[relació d'equivalència]] ∼ definida en un cert [[conjunt]] ''A'' ens permet dividir aquest conjunt en [[Conjunts_disjunts|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 ∼.<ref>{{Ref-web|títol=Equivalence Class|url=https://mathworld.wolfram.com/EquivalenceClass.html|consulta=2021-09-09|llengua=en|nom=Eric W.|cognom=Weisstein}}</ref>
La classe d'equivalència d'un element, <math>a\in A</math>, en la relació ∼ normalment es representa amb la notació [''a'']<sub>∼</sub> o simplement [''a''] quan la relació d'equivalència usada es considera evident pel context. La notació <math>\bar a</math> també està força estesa. Aquesta classe estarà formada per:
Línia 13:
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.
== Referències ==
{{Referències}}
{{ORDENA:Classe D'Equivalencia}} <!--ORDENA generat per bot-->
| |||