Uniform continuity, bounded subsets

Click For Summary
If a function f: S -> Rn is uniformly continuous and S is bounded, then the image f(S) is also bounded. The proof involves dividing the bounded set S into segments and applying the definition of uniform continuity, which ensures that the image of these segments remains within a certain distance. By covering S with a finite number of segments, one can create corresponding finite balls around the images of these segments. This leads to the conclusion that the entire image f(S) can be contained within a larger ball, confirming its boundedness. The discussion emphasizes the importance of using correct mathematical notation and terminology in the proof.
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:
N_{\epsilon}(f(x)) \supset f(N_{\delta}(x))
and that
S \subset \bigcup_{\rm{finite}} N_{\delta}(x_i)

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:
N_{\epsilon}(f(x)) \supset Im_f(N_{\delta}(x))
might be better notation, because errors can occur when sets are treated like single-valued objects.
 
Last edited:
What's N_e?
 
The epsilon neighborhood of something. It's the same idea as, say:
B(\epsilon,x)
The ball of radius \epsilon around x.

I probably didn't make the best choices in notation there -- my apologies.
 
Question: A clock's minute hand has length 4 and its hour hand has length 3. What is the distance between the tips at the moment when it is increasing most rapidly?(Putnam Exam Question) Answer: Making assumption that both the hands moves at constant angular velocities, the answer is ## \sqrt{7} .## But don't you think this assumption is somewhat doubtful and wrong?

Similar threads

  • · Replies 2 ·
Replies
2
Views
4K
Replies
3
Views
1K
Replies
1
Views
2K
Replies
26
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K