2
$\begingroup$

I know that the set of continuous functions on $\mathbb{R^n}$ has cardinality of $\mathbb{R}$. Can this be generalized to any subspace of $\mathbb{R^n}$?

It seems intuitive, but the empty set seems to be a counterexample of this claim. If the theorem is false, is there any way to salvage it?

1 Answers 1

5

If $\varnothing\ne X\subseteq\Bbb R^n$, there are $2^\omega=|\Bbb R|$ continuous real-valued functions on $X$. Clearly there are at least that many, since for every $r\in\Bbb R$ the constant function $f:X\to\Bbb R:x\mapsto r$ is continuous. Thus, we need only show that there are at most $2^\omega$ continuous functions on $X$.

$\Bbb R^n$ has a countable base for its topology, so it’s hereditarily separable, and therefore $X$ has a countable dense subset $D$. If $f,g:X\to\Bbb R$ are continuous, and $f\upharpoonright D=g\upharpoonright D$, then $f=g$. (This is a standard result, and you might like to try to prove it if you’ve not seen it before: the proof isn’t hard.) Thus, the number of continuous real-valued functions on $X$ is at most the number of real-valued functions on $D$. Since $D$ is countable, this is $|\Bbb R|^{|D|}\le\left(2^\omega\right)^\omega=2^\omega$: there are at most $2^\omega$ continuous real-valued functions on $X$.

Putting the pieces together, we see that there are precisely $2^\omega$ continuous real-valued functions on $X$.

Of course if you don’t specify the codomain of the functions, there are many more than $2^\omega$. As long as the codomain has cardinality $2^\omega=|\Bbb R|$, however, the result holds.

  • 0
    @user254665: I know that feeling all too well!2016-02-02