Proof verification: Baby Rudin Chapter 4 Exercise 8

Question

I am trying to prove:

$f$ is a real, uniformly continuous function on the bounded subset $E$ in $mathbb{R}^1 implies f$ is bounded on $E$.

My attempt:

When I wrote this proof, I thought that the proof was correct. However, a friend of mine pointed out that the last paragraph of the proof is not correct (didn't exactly specify what's incorrect, just that something is). Can someone please point out what's incorrect about this proof, if at all?

José Carlos Santos · Accepted Answer

That proof is wrong because the domain of $f$ is $E$. You can restrict $f$ to a subset of $E$, but, since $overline E$ can be strictly bigger than $E$, it makes no sense to talk about $fleft(overline Eright)$.
It actually follows from the fact that $f$ is uniformly continuous that you can extend $f$ to a continuous function whose domain is $overline E$, but that is not obvious at all.

Proof verification: Baby Rudin Chapter 4 Exercise 8

One Answer

Add your own answers!

Ask a Question