Find the cardinality of the set of all continuous real-valued functions of one variable.
Trying to solve this problem I stumbled upon one casualty whichI've been struggling for a while with. This is my solution:
The cardinality of this set is bounded below by the cardinality of $\mathbb R$, because $f: \mathbb R \to \mathbb C(\mathbb R)$ given by $f(x) = \mbox{function y = x}$ is an injection. Now, I tried to bound this set from above:
$$|\mathbb R| = |\mathbb R^{\aleph_0}| = |\mathbb R^\mathbb Q|$$
And now I tried to make an injection $$I: \mathbb C(\mathbb R) \to \mathbb R^\mathbb Q$$
given by $$I(x) = x \upharpoonright \mathbb Q$$
However, in order for this solution to be acceptable, I'd have to prove this:
$$ x\upharpoonright \mathbb Q = y \upharpoonright \mathbb Q \Longrightarrow x=y$$
And this is where I got stuck. How can I tackle this proof?
$$\mathbb C(\mathbb R) - \mbox{Continuous real-valued functions}$$