3
$\begingroup$

Suppose $X,Y$ are metric spaces and $E$ is dense in $X$ and $f:E\rightarrow Y$ is continuous. Show that all the below are false,

  1. $Y=\mathbb{R}^k \Rightarrow \exists$ a continuous extension.

  2. $Y$ is compact $\Rightarrow \exists$ a continuous extension.

  3. $Y$ is complete $\Rightarrow \exists$ a continuous extension. (AC$_\omega$)

  4. $E$ is countable & $Y$ is complete $\Rightarrow \exists$ a continuous extension.

Note: If the function between spaces were uniformly continous, then such an extension would infact exist.

$\endgroup$
1

2 Answers 2

2
$\begingroup$

For example, with $X = [0,1]$ , $Y = [-1,1]$ and $E$ the rationals in $(0,1)$, take $f(x) = \cos(\pi/x)$.

$\endgroup$
2
$\begingroup$

$X=\mathbb R$, $Y=[-\frac \pi2,\frac \pi2]\subseteq \mathbb R$, $E=\mathbb Q$, $f(x)=\arctan\left(\frac1{x-\sqrt 2}\right)$ kills them all

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .