2
$\begingroup$

I need to prove that every equivalence class created by the equivalnce relation $\sim$ on $\mathbb{R}$, that is defined by: $a\sim b \Leftrightarrow (a-b) \in \mathbb{Q}$, is $\aleph_0$. Furthermore, I need to prove that the group of all equivalence classes is uncountable. I have an idea how to move from step one (proving it's $\aleph_0$) to step two (proving that the group of all equivalence classes is uncountable), by using the laws of addition in cardinality. However, I have no idea how to even approach the first step. Any help or idea will be appreciated!

Thanks a bunch!

|cite|improve this question
$\endgroup$
  • 1
    $\begingroup$ Let $B$ be any equivalence class, and let $b$ be a fixed element of $B$. Then $B$ consists of all $a$ of the form $b+r$, where $r$ ranges over the rationals. This gives us a one to one correspondence between $B$ and the rationals. $\endgroup$ – André Nicolas Jan 31 '14 at 0:03
  • $\begingroup$ Related. $\endgroup$ – Cameron Buie Jan 31 '14 at 19:21
3
$\begingroup$

Hint: Take any $b\in\Bbb R$. Then $a\sim b$ if and only if $a=b+p$ for some $p$ such that...what?

|cite|improve this answer
$\endgroup$
  • $\begingroup$ Can't believe I failed to see that. Thanks a lot!! $\endgroup$ – Studentmath Jan 31 '14 at 0:09
2
$\begingroup$

HINT: The rationals are countable. If $x-y\in\Bbb Q$ then there is a unique $q\in\Bbb Q$ such that $x+q=y$.

|cite|improve this answer
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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