2

Problem: Let $(X,\mathcal T)$ be a normal space, $A\subset X$ closed. (1) Let $C$ be a convex compact subset in $\mathbf R^m$. Prove that any continuous map $f:A\to C$ can be extended to a continuous map $f:X\to C$. (2) Let $f:A\to\mathbf R$ and $g_1,g_2:X\to\mathbf R$ be continuous functions. Suppose $$g_1(x)\le f(x)\le g_2(x),\forall x\in A\qquad \underline{\text{and}}\qquad g_1(x)\le g_2(x),\forall x\in X. $$ Prove: $f$ can be extended to a continuous function $\widetilde{f}:X\to \mathbf R$ such that $$g_1(x)\le \widetilde{f}(x)\le g_2(x),\forall x\in X.$$

My attempt: For (1) I tried to say that the projection of $C$ to any axis $\mathbf R$ is a closed interval; hence we can use the Tietze extension theorem, but we then get $f:X\to \prod[a_i,b_i]$, where $\pi_i(C)=[a_i,b_i]$. I don't know how to let the image be in $C$.

For (2) I tried to let $h(x)=\dfrac{f(x)-g_1(x)}{g_2(x)-g_1(x)}$, but I don't know how to deal with the case that $g_1(x)=g_2(x)$ for some $x$.

Luosw
  • 55

1 Answers1

1

For (1), note that any nonempty compact convex subset of $\mathbb{R}^n$ is homeomorphic to a closed unit ball of some dimension (see this post), hence homeomorphic to the product of closed intervals. Now you can use Tietze extension theorem to finish the proof.

For (2): Let $g_3(x)=g_2(x)+1$. We have $g_1(x)\le f(x)\le g_3(x),x\in A$, so by the method described in the question we obtain an $f_0$ that $g_1\le f_0\le g_3$ in $X$ and $f_0=f$ in $A$. $\widetilde{f}=\min\{f_0,g_2\}$ is the function we want.

PureRun89
  • 1,553