Recall from topology that a space $Y$ has the Universal Extension Property if there is a normal space $X$, a closed subset $A \subset X$, and a continuous map $f: A \rightarrow Y$, such that $\exists g:X \rightarrow Y$, an extension of $f$. Then how is it that $Y$ is connected? I'd really like a nice proof of this.
Question regarding the Universal Extension Property in Topology
2
$\begingroup$
general-topology
-
0@nonpop: Of course! Apparently, my point-set topology has gotten rusty. – 2012-12-02
1 Answers
4
Suppose that $Y$ has the UEP. Take $X=[0,1]$ and $A=\{0,1\}$. Let $y_0$ and $y_1$ be any two points of $Y$, and let $f:A\to Y$ take $i$ to $y_i$. Clearly $f$ is continuous, so it has a continuous extension $\hat f:X\to Y$. Then $\hat f[X]$ is a connected set containing $y_0$ and $y_1$, so $y_0$ and $y_1$ must lie in the same component of $Y$. But $y_0$ and $y_1$ were arbitrary, so $Y$ has only one component and is therefore connected.
-
1Just to make it explicit: this proves that $Y$ is even *path connected.* – 2012-12-02