Is it true that a continuous function defined on a closed subset of $\mathbb{R^n}$ extends to a continuous function on the whole space?
extending a continuous function from a closed subset
3
$\begingroup$
calculus
analysis
2 Answers
2
If we don't have any restriction on the range of the continuous function, then the answer is no. Namely, let $A=\{0,1\}\subseteq\mathbb{R}$ and consider the continuous function $\operatorname{id}_A$. You can't extend $\operatorname{id}_A$ to a continuous function on the whole $\mathbb{R}$ because $\mathbb{R}$ is connected while $A$ is not.
However, if the range of the continuous function is for example $\mathbb{R}$, then the extension can always be done, see Tietze extension theorem.
-
0@Desiato: Indeed, I assumed that the extension has the same range than the original function. However, if we are allowed to enlarge also the range of the original function, then I'm not sure what the answer is. – 2012-03-19
1
Yes, if you mean a real-valued function. This is a special case of the Tietze extension theorem.
-
1This is probably a bit of an overkill. You can do it quite explicitly, [see my comment here](http://math.stackexchange.com/questions/47360/urysohns-function-on-a-metric-space#comment276726_47360). – 2012-03-19