Proving a set is uncountable

I'm having a bit of trouble thinking of how to prove this homework problem.

Prove that a set $A$ is uncountable if there is an injective function $f:(0, 1)\rightarrow A$. I know $(0, 1)$ is uncountable, but I can't think of a proof to show that $A$ must be as well. Could I do it through contradiction and say that there is no injective function?

Thanks!

If $A$ were countable, then $f((0,1))$, which is a subset of $A$, would also be also countable.

Since $f:(0,1) \to A$ is injective then $f:(0,1) \to f((0,1))$ is a bijective function, so $(0,1)$ would also be countable.

But $(0,1)$ is in fact uncountable, so $A$ is also uncountable.

I assume that you have the following facts at your disposal:

1. $A$ is countable if there is an injection from $A$ into $\mathbb N$; or a surjection from $\mathbb N$ onto $A$. If $A$ is not countable then we say that $A$ is uncountable.
2. We say that $|A|\le|B|$ if and only if there exists $f\colon A\to B$ which is injective.
3. $|(0,1)|=|\mathcal P(\mathbb N)|$.
4. For every set $A$ we have $|A|&lt|\mathcal P(A)|$.
5. If $|A|\le |B|$ and $|B|\le|C|$ then $|A|\le|C|$.

Using these facts we can deduce that $|\mathbb N|&lt|(0,1)|\le|A|$. Can you see how?

Lemma. If $A$ and $B$ are nonempty sets, and there is a one-to-one function $f\colon A\to B$, then there is a surjective function $g\colon B\to A$.

Proof. Let $a_0\in A$ (possible, since $A$ is nonempty). Define $g\colon B\to A$ as follows: $$g(b) = \left\{\begin{array}{ll} a_0 &\text{if }b\notin f(A);\\ a &\text{if }b\in f(A)\text{ and }f(a)=b. \end{array}\right.$$ Note that $g$ is well defined, since $f$ is one-to-one, so there is at most one $a\in A$ with $f(a)=b$. And $g$ is onto, because give $a\in A$, $g(f(a))=a$. $\Box$

Now, we are assuming that there exists an embedding $(0,1)\hookrightarrow A$. Therefore, there is a surjection $g\colon A\to (0,1)$. If $f\colon\mathbb{N}\to A$, then $g\circ f\colon \mathbb{N}\to (0,1)$ is a function that is not onto. Conclude that $f$ is not onto. Conclude that $A$ is not countable.

Alternatively, by contradiction: suppose $f\colon\mathbb{N}\to A$ is onto. Let $S\subseteq \mathbb{N}$ be the set of all natural numbers such that $f(n)\in (0,1)$ (we are vieweing $(0,1)$ as a subset of $A$ via the inclusion). Then $f$ would be an onto function from a countable set (every subset of $\mathbb{N}$ is countable) onto $(0,1)$, which contradicts the fact that $(0,1)$ is not countable.