$\mathbb{R}/{\sim}$: A Question about the Formal Definition of a Quotient

89 Views Asked by At

For an equivalence relation $\sim$ what is $\mathbb{R}/{\sim}$? I mean explicitly and formally...

1

There are 1 best solutions below

6
On BEST ANSWER

Define on $\mathbb R$ an equivalence relation $\sim$ that's reflexive, symmetric and transitive and for all $x\in \mathbb R$ let $$[x]=\{y\in\mathbb R\ |\ y\sim x\}$$ the class of $x$ i.e. the set of element in relation with $x$, hence it isn't difficult to prove that the set of classes denoted by $\mathbb R/\sim$ $$\mathbb R/\sim=\{[x]\ |\ x\in\mathbb R\}$$ forms a partition of $\mathbb R$.