Prove that a half-open line is uncountable – corrected

analysiselementary-set-theoryfunctions

I have to provide a proof that a halfopen line $L_a:={𝑥 ∈ ℝ:x > a}$ is uncountable.

I have used Schröder-Bernstein-Cantor and tried to show that an injection exists between $L_a$ and $ℝ$ an injection between $ℝ$ and $L_a$ to conclude that a bijective function exists between $ℝ$ and $L_a$ to prove that $L_a$ is uncountable.

I chose the following two functions:

$f:L_a \rightarrow ℝ:x \rightarrow x$ is injective

$g:ℝ \rightarrow L_a:x \rightarrow a+e^x$ is injective

It follows that a bijection exists between both sets, so $L_a$ is uncountable.

EDIT: corrected use of SBC, it should now work.

Thanks for your feedback.

Best Answer

The function $g$ doesn't make sense. For instance, $g(-1)\notin L_a$.

You can simply say that the function$$\begin{array}{ccc}\Bbb R&\longrightarrow&L_a\\x&\mapsto&a+e^x\end{array}$$is a bijection. Therefore, $L_a$ is uncountable.