Proof of Odd functions' Continuity

Click For Summary
SUMMARY

An odd function g(x) that is right-continuous at x = 0 is proven to be continuous at x = 0, with g(0) = 0. The proof relies on establishing that the limit as x approaches 0 from the left, \lim_{x \to 0^{-}} g(x), exists and equals \lim_{x \to 0^{+}} g(-x). By applying the epsilon-delta definition of continuity, it is shown that for any given epsilon, a corresponding delta can be found such that |g(x)| < epsilon when x is sufficiently close to 0.

PREREQUISITES
  • Understanding of odd functions and their properties
  • Familiarity with epsilon-delta definitions of continuity
  • Knowledge of limits and their calculations
  • Basic experience with mathematical proofs
NEXT STEPS
  • Study the epsilon-delta definition of continuity in depth
  • Learn about the properties of odd functions and their implications
  • Explore limit calculations for piecewise functions
  • Practice constructing formal proofs in real analysis
USEFUL FOR

Students studying real analysis, mathematicians interested in continuity properties, and educators teaching concepts of limits and function behavior.

bjgawp
Messages
84
Reaction score
0

Homework Statement


If an odd function g(x) is right-continuous at x = 0, show that it is continuous at x = 0 and that g(0) = 0. Hint: Prove first that [tex]\lim_{x \to 0^{-}} g(x)[/tex] exists and equals to [tex]\lim_{x \to 0^{+}} g(-x)[/tex]


Homework Equations





The Attempt at a Solution


Suppose [tex]\lim_{x \to 0^{-}} g(x) = M[/tex] Let [tex]\epsilon[/tex] > 0. We must find [tex]\delta[/tex] > 0 such that whenever [tex]-\delta[/tex] < x < 0, it follows that |g(x) - M | < [tex]\epsilon[/tex]. We know that -x < [tex]\delta[/tex] but relating this to f(-x) is where I'm stuck. Like the other problem I posted, I can't see what the end result is supposed to be. Any help would be very much appreciated!
 
Physics news on Phys.org
I think your attempted solution takes it too far! For an odd function f(-x) = -f(x), that should be enough to get your proof.
 
Hmm I think I do have to incorporate epsilon delta proofs in this one. I was thinking that since -g(x) = g(-x) then |-g(x)| = |g(-x)|. And since we're proving that the limit of odd continuous functions have a limit at 0 (I think that's a safe assumption) then:
Given [tex]\epsilon>0[/tex]. [tex]\exists\delta >0[/tex] such that whenever 0 < |x| < [tex]\delta[/tex] it follows that |g(x) - M| < [tex]\epsilon[/tex]. Since M = 0, then [tex]|g(x)|<\epsilon[/tex]. (All this is the function approaching 0 from the left)

Then looking at g(-x), for the same epsilon and delta (since the definition of odd functions implies symmetry about the origin) we arrive at the same conclusion |g(x)| < [tex]\epsilon[/tex].

Do I seem to be on the right track or is this just dead wrong? It's difficult making the transition from concrete, repetitive epsilon-delta proofs to more general and abstract ones. The methods don't quite seem to be the same ...
 
Last edited:

Similar threads

  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
22
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
1
Views
1K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K