Classe d'equivalència
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 ∼.
La classe d'equivalència d'un element, a∈A{displaystyle ain A}, 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ó a¯{displaystyle {bar {a}}} també està força estesa. Aquesta classe estarà formada per:
- [a]∼={b∈A|a∼b}{displaystyle [a]_{sim }={bin A|asim b},}
![{displaystyle [a]_{sim }={bin A|asim b},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc7bba1bc86fd56dfdb69b636116b4f33c9a6112)
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:
- [a] és un subconjunt de A.
- [a] no és buit. Com a mínim conté a.
- Inversament, ∀a∈A{displaystyle forall ain A} pertany com a mínim a una classe d'equivalència, la seva.
[a]=[b]⟺b∈[a]{displaystyle [a]=[b]iff bin [a]}.
b∉[a]⟺([a]∩[b])=∅{displaystyle bnotin [a]iff ([a]cap [b])=emptyset }.
![{displaystyle [a]=[b]iff bin [a]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5184eff48a0da4b5a406b3d28a1c77d2cdaca9dc)
![{displaystyle bnotin [a]iff ([a]cap [b])=emptyset }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f6146062ae9c5d0f0b5a05c2f920e89c46629d5)
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.
