Why is restricting the x values to a closed neighborhood important?

  • Context: Undergrad 
  • Thread starter Thread starter JG89
  • Start date Start date
  • Tags Tags
    Continuity Modulus
Click For Summary
SUMMARY

The discussion centers on the importance of restricting x values to a closed neighborhood when proving the continuity of the function f(x) = x^2 - 1. It is established that using the expression |x^2 - x_0^2| = |x - x_0||x + x_0| is inappropriate because it makes epsilon dependent on x, which contradicts the definition of epsilon as a constant. Instead, by assuming |x - x_0| < 1, one can derive that |x + x_0| is bounded, allowing for the selection of delta such that delta(1 + 2x_0) < epsilon, ensuring the continuity proof holds.

PREREQUISITES
  • Understanding of limits and continuity in calculus
  • Familiarity with the epsilon-delta definition of continuity
  • Basic algebraic manipulation of inequalities
  • Knowledge of functions and their properties, specifically polynomial functions
NEXT STEPS
  • Study the epsilon-delta definition of continuity in depth
  • Explore proofs of continuity for various types of functions
  • Learn about closed neighborhoods and their significance in analysis
  • Investigate the implications of continuity on differentiability
USEFUL FOR

Students of calculus, mathematics educators, and anyone interested in understanding the foundational concepts of continuity and limits in mathematical analysis.

JG89
Messages
724
Reaction score
1
Say f(x) = x^2 - 1 and I'm trying to prove that f is continuous, then I was told I CANNOT do this:

[tex]|x^2 - x_0^2| = |x-x_0||x+x_0| < \delta|x+x_0| = \epsilon[/tex]

because then our epsilon is relying on an x value. I was told I could restrict the x values to a closed neighborhood about the point x = x_0, and let epsilon rely on the end points, but I cannot let it rely on any x values like in the example shown.

Is this correct? And if it is, why is it?
 
Physics news on Phys.org
Yes, it's true. It's true because [itex]\epsilon[/itex] is supposed to be a constant and [itex]\delta|x+ x_0|[/itex] is not a constant. so "[itex]\delta|x+ x_0|= \epsilon[/itex] makes no sense.

What you can do is this: Since we only need look at x close to x0, assume |x- x0|< 1. The -1< x- x0< 1 so, adding 2x0 to each part, -1+ 2x0< x+ x_0< 1+ 2x0. The larger of those two numbers, in absolute value, is 1+ 2x0 so [itex]\delta|x+ x_0|< \delta(1+ 2x_0[/itex]. We must choose [itex]\delta[/itex] such that [itex]\delta(1+ 2x_0)< \epsilon[/itex]. Actually, because of the requirement that |x- x0|< 1, we must choose [itex]\delta[/itex] to be the smaller of that number and 1.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 0 ·
Replies
0
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K