Prove that the set of equivalence classes generated by ~ is uncountable

I am very unsure on how to do this question though I have attempted it. I'm not sure that the statement "if there exists a bijection between a set A and an uncountable set B, then A is uncountable" is true. I would appreciate a few pointers or some guidance on this question. Thanks

Let $T$ denote the set of real transcendental numbers.

Define $\sim$ to be an (equivalence) relation on $T$ defined by $x - y\in\Bbb{Q}$.

Let $C$ denote the set of equivalence classes generated by $\sim$.

Prove that the set $C$ is uncountable.

PROOF:

Note, the set of real numbers is uncountably infinite. Also note, the set of algebraic numbers (deonoted by $\Bbb{A}$) is countably infinite,

We have that $T=\Bbb{R}-\Bbb{A}$.

The set theoretic difference between between an uncountable and a countable set is uncountable. Hence, $T$ is uncountable.

Next, note that $\forall t\in T, \exists$ an equivalence class $[t]$.

Let the bijection $\sigma: T\to C$ be defined by $\sigma(t)=[t]$.

Hence, $C$ is uncountable.


Solution 1:

Your proof is wrong because $\sigma$ is not injective: $\sigma(e)=\sigma(e+1)$. Here is a correct proof. Note that every equivalence class $[a]$ is countable (it is in one-to-one correspondence with $\Bbb Q$: $q\mapsto a+q$). If the set of equivalence classes $C$ was countable, then $\Bbb R$ would be countable as the union of countably many countable sets.