Prove Continuity of g: A Continuity Problem Homework Statement

  • Thread starter Thread starter e(ho0n3
  • Start date Start date
  • Tags Tags
    Continuity
Click For Summary
SUMMARY

The discussion centers on proving the continuity of the function g(x) defined as g(x) = limy→x f(y), where f has only removable discontinuities. The proof requires demonstrating that limx→a g(x) equals g(a) for all points a. The key step involves establishing the relationship between the limits of f and g, specifically that for every ε > 0, there exists a δ > 0 such that |limy→x f(y) - limy→a f(y)| < ε holds for all x within δ of a. The challenge lies in managing the different intervals for the inequalities involving f(y) and g(x).

PREREQUISITES
  • Understanding of limits and continuity in real analysis
  • Familiarity with removable discontinuities and their properties
  • Knowledge of ε-δ definitions of limits
  • Experience with limit theorems and their applications
NEXT STEPS
  • Study the ε-δ definition of continuity in detail
  • Explore the properties of removable discontinuities in functions
  • Learn about limit theorems, particularly the Squeeze Theorem
  • Practice proving continuity for piecewise functions
USEFUL FOR

Students of real analysis, mathematicians dealing with continuity proofs, and educators teaching limit concepts in calculus.

e(ho0n3
Messages
1,349
Reaction score
0
Homework Statement
Let f be a function with the property that every point of discontinuity is a removable discontinuity. This means that [tex]\lim_{y\to x} f(y)[/tex] exists for all x, but f may be discontinuous at some (even infinitely many) numbers x. Define [tex]g(x) = \lim_{y\to x} f(y)[/tex]. Prove that g is continuous.

The attempt at a solution
So I have to prove that for all a,

[tex]\lim_{x \to a} g(x) = \lim_{x \to a} \lim_{y\to x} f(y) = g(a) = \lim_{y\to a} f(y)[/tex]

In other words, for every e > 0, there is a d > 0 such that

[tex]\left| \lim_{y\to x} f(y) - \lim_{y\to a} f(y) \right| < e[/tex]

for all x satisfying |x - a| < d. I have no clue how to find d. Any tips.
 
Physics news on Phys.org
I think you are going to need to reduce the two limits in your last inequality to their definitions.
 
OK. So let d' be such that |f(y) - g(x)| < e for all y with |y - x| < d' and let d'' be such that |f(y) - g(a)| < e for all y with |y - a| < d''.

The problem now is that I can't fiddle around with |f(y) - g(x)| < e and |f(y) - g(a)| < e because there are different intervals where these inequalities are true.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
5
Views
2K
Replies
3
Views
1K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
7
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 23 ·
Replies
23
Views
3K