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?

compactness proof explanation real analysis solution verification uniform continuity

One 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.

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

Proof verification: Baby Rudin Chapter 4 Exercise 8

One Answer

Add your own answers!

Related Questions

Binomial conditional on Poisson

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

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

How to solve these kind of Modular Arithmetics situations?

Can you find an invertible submatrix?

Bounded linear map which is not continuous

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

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

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

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

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

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)$?

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

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

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

Is Basic Mathematics by Serge Lang rigorous?

Variance Estimator in Simple Random Sampling Without Replacement

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

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

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

Ask a Question