Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The question is: Let $(K,\rho)$ be compact metric space. $F\subset K$ closed. $f:F\rightarrow \mathbb{R}$ continuous. Is there a continuous extension of $f$ on $K$?

Attempt: Suppose there exists neighbourhood $G$ of $F$; $G=\{x\in K : \rho(x,F)\leq \epsilon\}$. That for every $x\in G$ there exists exactly one $y\in F$ that $\rho (x,F) = \rho (x,y)$.

Than define $f(x) = f(y)\frac{\epsilon - \rho(x,y)}{\epsilon}$ for $x\in G$. Where $y\in F$ and $\rho(x,F) = \rho(x,y)$.

$f(x)=0$ for $x\in K \setminus G$

Function defined like this should be continuous. Problem is that not for every $F$ exists neighbourhood $G$ with desired properties. Is there a way to fix this?

Like define functions $f_\epsilon$ for $\epsilon > 0$. And than somehow mix those functions.

share|cite|improve this question
up vote 3 down vote accepted

Yes, this follows from the Tietze Extension Theorem

share|cite|improve this answer
Thank you, I knew that there is a standard theorem that states that but I couldn't remember its name. But as well I asked if it is possible to finish off my proof attempt. Do you have any idea? – tom Feb 1 '13 at 0:01
Yea I don't think you can remedy this problem. For example, what if F is a Cantor set inside a closed disc? – mck Feb 1 '13 at 15:28
Yeh that sounds nasty. – tom Feb 1 '13 at 17:51

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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