# Proof verification: Baby Rudin Chapter 4 Exercise 8

Mathematics Asked by Ricky_Nelson on October 10, 2020

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?

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.

Correct answer by José Carlos Santos on October 10, 2020

## Related Questions

### Binomial conditional on Poisson

0  Asked on November 16, 2021 by linhares

### In infinite dimensions, is it possible that convergence of distances to a sequence always implies convergence of that sequence?

2  Asked on November 16, 2021 by nikhil-sahoo

### How to express birational equivalence of Diophantine equation $x^4+y^4=z^2$ and elliptic curve?

1  Asked on November 16, 2021 by andrew-li

### How to solve these kind of Modular Arithmetics situations?

0  Asked on November 16, 2021 by rubenszinho

### Can you find an invertible submatrix?

1  Asked on November 16, 2021 by user326210

### Bounded linear map which is not continuous

2  Asked on November 16, 2021

### Is $(mathbb{Z}, times)$ also a group?

4  Asked on November 16, 2021

### IMO problems, can someone help me to learn problem solving skills?

0  Asked on November 16, 2021

### Probability that $max(X_1, ldots, X_n) – min(X_1, ldots, X_n) leq 0.5$

3  Asked on November 16, 2021

### Can $y=10^{-x}$ be converted into an equivalent $y=mathrm{e}^{-kx}$?

4  Asked on November 16, 2021

### Solving $left(x-c_1frac{d}{dx}right)^nf(x)=0$ for $f(x)$

3  Asked on November 16, 2021

### What is an intuitive approach to solving $lim_{nrightarrowinfty}biggl(frac{1}{n^2} + frac{2}{n^2} + frac{3}{n^2}+dots+frac{n}{n^2}biggr)$?

11  Asked on November 16, 2021

### Why does the Binomial Theorem use combinations and not permutations for its coefficients?

5  Asked on November 16, 2021 by jor

### The convergence of the improper integral $int_{0}^inftyfrac{sin^2(x)}{x^{5/2}},dx$

3  Asked on November 16, 2021

### Taking the matrix derivative of the product of one matrix and a Hadamard Product.

2  Asked on November 16, 2021

### Is Basic Mathematics by Serge Lang rigorous?

1  Asked on November 16, 2021 by bonsoir

### Variance Estimator in Simple Random Sampling Without Replacement

1  Asked on November 16, 2021 by guilty_scene

### Has anyone attempted solving the Poincaré conjecture using Lie groups?

0  Asked on November 16, 2021 by paul-cusson

### General integral $int_0^{frac{pi}{p}}lntan x ,dx$

3  Asked on November 16, 2021 by naren

### Evaluating $I=oint frac{cos(z)}{z(e^{z}-1)}dz$ along the unit circle

1  Asked on November 16, 2021 by random-name