Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

There is a relationship on $\Bbb R$ defined aRb if a-b is a rational number. I already proved its an equivalence relation in $\Bbb R$. My question is how to describe the equivalence classes? Here is my attempt at the answer:

[0]=$\{x\in \Bbb R : xR0\}$ = $\{x\in \Bbb R : x-0 $ is rational $\}$

[a]=$\{x\in \Bbb R : xRa\}$ = $\{x\in \Bbb R : x-a $ is rational$\}$

share|cite|improve this question
+1 for showing your thoughts. Seems reasonable to me, but how do we know there aren't separate classes $\frac 12$ and $\frac 14$? – Ross Millikan Sep 9 '12 at 4:50
One thing to get you started is that any rational number $[q]$ represents all $\mathbb{Q}.$ – Shankara Pailoor Sep 9 '12 at 4:54
@ShankaraPailoor: Looks like drew gets that. I don't know how to present that, which seems to be the question. – Ross Millikan Sep 9 '12 at 4:58
Let $t$ be irrational. If $x-t$ is rational, then $x-t = \frac{a}{b}$ for $a,b\in \mathbb{Z}$ with $\gcd(a,b)=1$, and so $b(x-t) = a$. So $x-t$ must actually be an integer, yes? What does it mean when two decimals have integer difference? – Kirk Boyer Sep 9 '12 at 5:33
@KirkBoyer Lets see if I understand this now. The reals can be partioned into the rationals and irrationals. Where in this case the rationals are [0]. The irrationals are [a] becasue like you said for $b(x-t)=a$ x-t must have the same decimals. To anser Ross Millikan why there are not seperate classes is because if $\frac12 R 0 $ and $\frac14 R 0 $ then by symmetry and transitivity $\frac12 R \frac14 $ – drew Sep 9 '12 at 20:59

Let $x \in \mathbb{R}$, then

$[x] = \{x + q : q \in \mathbb{Q}\}$

Thus $[0] = \{0 + q : q \in \mathbb{Q}\} = \{q : q \in \mathbb{Q}\} = \mathbb{Q}$.

To see this, note that by your definition, $[x]$ is the set of all $a$ such that $a - x = q$ for some $q \in \mathbb{Q}$. Hence $a = x + q$ for $q \in \mathbb{Q}$.

If you know some group theory, an alternatively (but essentially equivalent) way of thinking of the equivalent using coset. $(\mathbb{R}, +)$ is an abelian group. $(\mathbb{Q}, +)$ is a normal subgroup. Hence the equivalence classes are the elements of the group $\mathbb{R} / \mathbb{Q}$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.