You have given that the equivalence class of $x$ and the equivalence class of $y$ is equal. $[x]=[y]$. Does this imply that $x\sim y$? If yes, how do I prove it, if no, what sort of counter-examples can I give?
Having the same equivalent class imply that the elements are equivalent?
2
$\begingroup$
elementary-set-theory
equivalence-relations
2 Answers
6
By definiton of the equivalence class of some element, we have \[ [x] = \{z \in X \mid z \sim x\} \] By reflexivity of $\sim$, we have $x \in [x]$. So $y \in [y] = [x]$, that is $y \in [x]$, so by definition of $[x]$, $y \sim x$.
1
Yes. If $[a]$ and $[b]$ are equivalence classes, then either $[a]=[b]$ or $[a]\cap[b] = \varnothing$.
Equivalence classes always form a partition of the underlying set: every element $x$ lies in exactly one equivalence class.