Uniform continuity, bounded subsets

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 5K views
redyelloworange
Messages
19
Reaction score
0

Homework Statement



Show that if f: S -> Rn is uniformly continuous and S is bounded, then f(S) is bounded.

Homework Equations



Uniformly continuous on S: for every e>0 there exists d>0 s.t. for every x,y in S, |x-y| < d implies |f(x) - f(y)| < e

bounded: a set S in Rn is bounded if it is contained in some ball about the origin. That is, there is a constant C s.t. |x|<C for every x in S.

The Attempt at a Solution



I understand the idea of the proof pretty well but I cannot write the correct mathematical interpretation of it down.

Basically, S is bounded, so it can be divided into segments (TA called them partitions which is confusing since S is in Rn not R).
Each segment can be made smaller than d. Then, by uniform continuity we know that f(segment) is smaller than e (bounded) so we can draw a ball around it.
Since there is a finite number of segments, there are a finite number of balls f(segment). Hence, we can draw a bigger ball around all of them, and thus f(S) is bounded.

How do I put this into math symbols?

Thanks for your help =)
 
Physics news on Phys.org
The thing you want here is a cover, and not a partition.

Can you show that:
[tex]N_{\epsilon}(f(x)) \supset f(N_{\delta}(x))[/tex]
and that
[tex]S \subset \bigcup_{\rm{finite}} N_{\delta}(x_i)[/tex]

As a note: When you're applying a function to each of a set of objects, it's typical to refer to the result as the image of applying the function to that set. Something like:
[tex]N_{\epsilon}(f(x)) \supset Im_f(N_{\delta}(x))[/tex]
might be better notation, because errors can occur when sets are treated like single-valued objects.
 
Last edited:
The epsilon neighborhood of something. It's the same idea as, say:
[tex]B(\epsilon,x)[/tex]
The ball of radius [itex]\epsilon[/itex] around [itex]x[/itex].

I probably didn't make the best choices in notation there -- my apologies.