I read in a book the following assertion:

Let $\Omega\subset\mathbb{R^n}$ be a open set, then any bounded and uniformly continuous function in $\Omega$ has a unique bounded continuous extension to $\overline{\Omega}$.

I can't see this readly, first I thought was a simple consequence of the Tietze extension theorem, but I didn't have any progress. Someone could help me?


  • 1
    $\begingroup$ Tietze Extension is not helpful here. Rather, once you have answered your question, you can use TE to show that the function can be extended (not necessarily uniquely) to all of $\mathbb{R}^n$. $\endgroup$ – Pete L. Clark Aug 18 '13 at 15:30

For any $x \in \overline{\Omega}$, find a sequence $(x_n) \in \Omega$ such that $x_n \to x$.

  1. Since $(x_n)$ is Cauchy, and $f$ is uniformly continuous, show that $(f(x_n))$ is Cauchy.
  2. Define $\overline{f}(x) = \lim_{n\to \infty} f(x_n)$
  3. Show that this definition is independent of the choice of the sequence $(x_n)$.

Now $\overline{f}$ is your extension (it coincides with $f$ because of #3)

Edit: Uniqueness holds because any continuous extension of $f$ must satisfy #2 : ie. if $g$ is another continuous extension of $f$, then for any $x_n$ as above $$ g(x) = \lim_{n\to \infty} g(x_n) = \lim_{n\to \infty} f(x_n) = \overline{f}(x) $$

As for boundedness, it again follows from #2 : If $|f(y)| \leq M$ for all $y \in \Omega$, then $|\overline{f}(x)| = \lim_{x_n\to x}|f(x_n)| \leq M$ as well.

  • 1
    $\begingroup$ Note that this works in general for "Cauchy-continuous" functions on any metric space. $\endgroup$ – Anthony Carapetis Aug 18 '13 at 15:22
  • 2
    $\begingroup$ I upvoted this answer, since it treats the hardest part of the question (correctly!). The OP also asked about uniqueness and boundedness of the extension. Maybe you'd like to say a few words about that as well? $\endgroup$ – Pete L. Clark Aug 18 '13 at 15:28
  • $\begingroup$ And how about the boundedness and unicity? $\endgroup$ – DiegoMath Aug 18 '13 at 15:32
  • $\begingroup$ Just edited my earlier post. Hope this helps :) $\endgroup$ – Prahlad Vaidyanathan Aug 18 '13 at 16:21

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.