Continuity of g(x) = lim{y->x}f(x)

  • Thread starter Thread starter R_beta.v3
  • Start date Start date
  • Tags Tags
    Continuity
Click For Summary

Homework Help Overview

The discussion revolves around the continuity of the function g(x) defined as the limit of f(y) as y approaches x. Participants explore the implications of this definition and the conditions under which g is continuous.

Discussion Character

  • Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants attempt to establish the continuity of g(x) by analyzing limits and the epsilon-delta definition. There are discussions about the correct interpretation of the limit notation and the variables involved. Some participants question the clarity of the original post and suggest corrections to the notation used.

Discussion Status

The discussion is ongoing, with participants providing feedback on the clarity of the original post and suggesting edits. There is an acknowledgment of the complexity involved in typing mathematical symbols, which may have contributed to the confusion. Some participants express a willingness to help further once the problem is clearly stated.

Contextual Notes

There are noted typos and unclear variable usage in the original post that may hinder understanding. Participants are encouraged to clarify their statements for better assistance.

R_beta.v3
Messages
13
Reaction score
0

Homework Statement

This problem took me a lot of time
if [itex]g(x) = \lim_{y\rightarrow x} {f(x)}[/itex] exist for any x, then g is continuous.

Homework Equations


The Attempt at a Solution


[itex] \lim_{x\rightarrow a^+} {f(x)} = g(a)[/itex], so if ##\epsilon > 0 ## then there is an ##\delta_1 > 0## such that for all x, if ## a < x < \delta_1 + a ## then ## |f(x) - g(a)| < \epsilon/2 ##. For any of those x, ##lim_{y\rightarrow x^-} f(x)## exist, so, there is a ##\delta_2## such that for all y, if ## y < x < \delta_2 + y ##, then ## |f(y) - g(x)| < \delta/2 ##. Choosing some ##y_0## such that ##a < y_0 < x ## we then have ## |f(y_0) - g(x)| < \epsilon/2 ## and ##|f(y_0) - g(a)| < \epsilon/2##
So ##|g(x) - g(a)| = (g(x) - f(y_0) + f(y_0) - g(a)) \leq |g(x) - f(y_0))| + |(f(y_0) - g(a)| < \epsilon/2 + \epsilon/2 = \epsilon ## Therefore, ##\lim_{x\rightarrow a^+}{g(x)} = g(a)##
As x approaches a from the left its be almost the same.

Thanks
 
Physics news on Phys.org
R_beta.v3 said:

Homework Statement

This problem took me a lot of time
if [itex]g(x) = \lim_{y\rightarrow x} {f(x)}[/itex] exist for any x, then g is continuous.

Homework Equations


The Attempt at a Solution


[itex] \lim_{x\rightarrow a^+} {f(x)} = g(a)[/itex], so if ##\epsilon > 0 ## then there is an ##\delta_1 > 0## such that for all x, if ## a < x < \delta_1 + a ## then ## |f(x) - g(a)| < \epsilon/2 ##. For any of those x, ##lim_{y\rightarrow x^-} f(x)## exist, so, there is a ##\delta_2## such that for all y, if ## y < x < \delta_2 + y ##, then ## |f(y) - g(x)| < \delta/2 ##. Choosing some ##y_0## such that ##a < y_0 < x ## we then have ## |f(y_0) - g(x)| < \epsilon/2 ## and ##|f(y_0) - g(a)| < \epsilon/2##
So ##|g(x) - g(a)| = (g(x) - f(y_0) + f(y_0) - g(a)) \leq |g(x) - f(y_0))| + |(f(y_0) - g(a)| < \epsilon/2 + \epsilon/2 = \epsilon ## Therefore, ##\lim_{x\rightarrow a^+}{g(x)} = g(a)##
As x approaches a from the left its be almost the same.

Thanks
It appears that you have some typos in your post ... many typos.

Do you perhaps mean to say :
If ##\displaystyle \ g(y) = \lim_{x\to y} {g(x)} \
## for all y, then g is continuous.

?​
 
Oh, yes, sorry, I am too used to using the x as the value approaching a, what I actually meant is the limit as {y approaches x} of f(y).
 
R_beta.v3 said:
Oh, yes, sorry, I am too used to using the x as the value approaching a, what I actually meant is the limit as {y approaches x} of f(y).
You have f and g as functions, and a, x, and y as variables all over the place in your OP.

How about editing your Original Post (if it's not too late). Otherwise, type a post with the corrected version of your problem along with the solution you have so far.

What you have so far makes it virtually impossible for anyone to help you.
 
Correction

R_beta.v3 said:

Homework Statement

This problem took me a lot of time
if [itex]g(x) = \lim_{y\rightarrow x} {f(y)}[/itex] exist for any x, then g is continuous.

Homework Equations


The Attempt at a Solution


[itex] \lim_{x\rightarrow a^+} {f(x)} = g(a)[/itex], so if ##\epsilon > 0 ## then there is an ##\delta_1 > 0## such that for all x, if ## a < x < \delta_1 + a ## then ## |f(x) - g(a)| < \epsilon/2 ##. For any of those x, ##lim_{y\rightarrow x^-} f(y)## exist, so, there is a ##\delta_2 > 0## such that for all y, if ## y < x < \delta_2 + y ##, then ## |f(y) - g(x)| < \delta/2 ##. Choosing some ##y_0 ## such that ##a < y_0 < x ## we then have ## |f(y_0) - g(x)| < \epsilon/2 ## and ##|f(y_0) - g(a)| < \epsilon/2##
So ##|g(x) - g(a)| = |g(x) - f(y_0) + f(y_0) - g(a)| \leq |g(x) - f(y_0)| + |f(y_0) - g(a)| < \epsilon/2 + \epsilon/2 = \epsilon ## Therefore, ##\lim_{x\rightarrow a^+}{g(x)} = g(a)##
As x approaches a from the left its almost the same.

Thanks
That should do. Sorry for the errors, typing math symbols is not as simple nor fun as using a pen.
 
R_beta.v3 said:

Homework Statement

This problem took me a lot of time
if [itex]\displaystyle g(x) = \lim_{y\,\to\, x} {f(y)}[/itex] exist for any x, then g is continuous.

Homework Equations


The Attempt at a Solution


[itex]\displaystyle <br /> \lim_{x\rightarrow a^+} {f(x)} = g(a)[/itex], so if ##\displaystyle \epsilon > 0 ## then there is an ##\delta_1 > 0## such that for all x, if ##\displaystyle a < x < \delta_1 + a ## then ## |f(x) - g(a)| < \epsilon/2 ##.

For any of those x, ##\displaystyle \lim_{y\rightarrow x^-} f(x)## exist, so, there is a ##\displaystyle \delta_2 >0## such that for all y, if ## y < x < \delta_2 + y ##, then ## |f(y) - g(x)| < \delta/2 ##.

Choosing some ##y_0## such that ##a < y_0 < x\,,\ ## we then have ##\displaystyle |f(y_0) - g(x)| < \epsilon/2 ## and ##|f(y_0) - g(a)| < \epsilon/2\ .##

So ##\displaystyle |g(x) - g(a)| = (g(x) - f(y_0) + f(y_0) - g(a)) \leq |g(x) - f(y_0))| + |(f(y_0) - g(a)| < \epsilon/2 + \epsilon/2 = \epsilon\ . ##

Therefore, ##\displaystyle \lim_{x\rightarrow a^+}{g(x)} = g(a)\ .\ ##

As x approaches a from the left it's almost the same.

Thanks

R_beta.v3 said:
That should do. Sorry for the errors, typing math symbols is not as simple nor fun as using a pen.
I added some spacing, to make it a bit more readable.

I'll try to look at it in more detail soon.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
Replies
22
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
32
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K