Proof: Uniformly Continuous Function on a Bounded Set is Bounded

  • Thread starter Thread starter Quantumpencil
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary
SUMMARY

The discussion centers on proving that a uniformly continuous function on a bounded set E in R is bounded. The proof begins by leveraging the definition of uniform continuity, stating that for any ε > 0, there exists a δ > 0 such that |f(x) - f(y)| < ε whenever |x - y| < δ. The correct approach involves selecting an arbitrary ε and demonstrating the existence of δ, rather than arbitrarily choosing δ based on the bounds of E. The final proof confirms that for any x in E, the function f remains within a bounded range defined by ε and a chosen point x0 in E.

PREREQUISITES
  • Understanding of uniform continuity and its definition
  • Familiarity with bounded sets in real analysis
  • Knowledge of limits and sequences in calculus
  • Basic proof techniques in mathematical analysis
NEXT STEPS
  • Study the formal definition of uniform continuity in detail
  • Explore the relationship between uniform continuity and absolute continuity
  • Investigate examples of uniformly continuous functions on bounded sets
  • Learn about the implications of boundedness in real analysis
USEFUL FOR

Mathematics students, particularly those studying real analysis, and educators looking to clarify concepts of continuity and boundedness in functions.

Quantumpencil
Messages
96
Reaction score
0

Homework Statement


Let f be a real uniformly continuous function on the bounbed set E in R. Prove that f is bounded on E.



Homework Equations





The Attempt at a Solution



Since f is uniformly continuous, [tex]\left|f(x)-f(y)\right|< \epsilon[/tex] if [tex]\left|x-y\right|< \delta[/tex]. Since E is bounded, there exists some maximal distance between x and y; let M be the upper limit and P be the lower limit of E. Then

[tex]\left|x-y\right|< \\left|M-P\right|<[/tex]. If M, P are not in E, then define two sequences {x_n} and {y_n} such that lim n->infinity {x_n}=M and lim n->infinity {y_n} = P.

Then the definition of uniform continuity implies that if we let [tex]\delta = abs(M-P)[/tex], so that abs(x-y) < delta for all x, y then abs(f(x)-f(y))< epsilon for all f(x), f(y), with epsilon equal to lim n->infinity {f(x_n)}=M and lim n->infinity {f(y_n)}

I feel fairly solid about this, but I'm finding the difference between absolute continuity and continuity a bit confusing and would like a rigor/correctness check.

Thanks.
 
Physics news on Phys.org
Here's where your proof goes wrong:

Then the definition of uniform continuity implies that if we let LaTeX Code: \\delta = abs(M-P) , so that abs(x-y) < delta for all x, y then abs(f(x)-f(y))< epsilon for all f(x), f(y), with epsilon equal to lim n->infinity {f(x_n)}=M and lim n->infinity {f(y_n)}

You can't just pick a delta like this. You can only pick an epsilon and then prove existence of delta using the definition of uniform continuity. Here's how I would prove it:

Choose arbitrary epsilon > 0. Then there exists delta>0 such that as long as |x-y|<delta, |f(x)-f(y)|<epsilon. Choose N so large that N delta > |M-P|. Now, choose arbitrary x0 in E. Then we must have f(x0) - epsilon N < f(x) < f(x0) + epsilon N for all x in E (check this). This proves the theorem.
 
Hm, ok. So that is the same idea I think; or at least that makes complete sense and I was just being silly.

Thanks.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 40 ·
2
Replies
40
Views
5K
Replies
22
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
2K
  • · Replies 27 ·
Replies
27
Views
2K