Extending a continuous function on the unit sphere to the unit ball I'm trying to solve a problem in Lee's topology book. In this book, a closed n-cell $D$ is any space homeomorphic to the closed unit ball. Then $\mathrm{Int} D$ , resp. $\partial D$ are the images of the open unit ball, resp. the boundary of the closed unit ball under such a homeomorphism. Given a continuous function $f: \partial D \rightarrow \left [ 0,1 \right ]$, he wants one to show that $f$ extends to a continuous function $F: D \rightarrow \left [ 0,1 \right ]$ that is strictly positive in $\mathrm{Int} D$. Obviously, it suffices to show this for a closed unit ball and I was thinking something like $$\left \|x  \right \|f\left(\frac{x}{\left \| x \right \|}\right) + \dfrac{1 -\left \| x \right \|}{2},$$ but that does not quite do it. Tietze's extension theorem is not in that book (and in fact is a weaker result). Any ideas? Thanks in advance.
F is not defined at the origin. By defining F(0) = 1/2, F becomes a solution to the problem.
F is not defined at the origin. By defining F(0) = 1/2, F becomes a solution to the problem.