1
$\begingroup$

Consider $A \subset X$ closed and $X$ as a compact metric space and $f,g : A \rightarrow S^{1}$ as two homotopic maps.$f$ has a continuous extension to a map $F:X \rightarrow S^{1}$. prove that $g$ has a continuous extension homotopic with $F$.

Is there an hint?

Thank you very much.

$\endgroup$

1 Answer 1

0
$\begingroup$

Let $D(Y)$ be the diameter of the set $Y$. Let $t(x)$, for $x \in A$ be the biggest real number such that both $D(F(X\cap B(x,t(x)))) < \frac 13$ and $D(g(A \cap B(x,t(x)))) < \frac 13$. We have $t(x)>0$ for all $x \in X$ thanks to continuity.
Now we will extend the function to a set $T = A \cup (B(x,t(x)/2) \cap X)$. Let $V=(B(x,t(x)/2) \cap X)$. As the image of $V$ by $g$ has a small diameter, it can be identified with $\Re$ , and therefore one can apply Tietze Urysohn extension theorem with the bounded property to get the function $g_2$. As the image of $V$ by $F$ can also be identified to $\Re$, so let's call this function $F_2$ Also, let $h$ be the restriction of the homotopy to $T$. For every $x \in T$ one can lift the path $h(x , \cdot)$. This lifted paths can be joined continuous(easy to see), in order to have a function $h_2$ whose codomain is $\Re$. By combining the functions $F_2$,$h_2$ and $g_2$ over the domain $V \times [0] \cup (V \cap A) \times [0,1] \cup V \times [1]$ (on this order), we can apply Tietze Urysohn extension theorem again. This (when reprojected back to $S_1$) give the extended homotopic function for $T$.
Now we can se the problem changing $g$ by $g_2$ and $A$ by $T$. All the given properties are the same, and as we bounded the extension, the function $t$ is still the same for this new problem. This means the the same $B(x,t(x))$ can be chosen to extend $g_2$. As $X$ is compact, we have a finite cover of this balls, and therefore we can repeat this extension a finite number of times to get the extension over all $X$.
The balls mentioned above are sometimes open and sometimes closed, it's not hard figure out which is which so that all the theorems apply.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.