Prove continuouty of 1/x (delta-epsilon)

  • Thread starter Thread starter wglmb
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on proving the continuity of the function g(x) = 1/x on the domain ℝ\{0}. The user attempts to construct an ε-δ proof but struggles with the case where |a - b| < 1. A suggestion is made to avoid splitting cases and instead choose a delta that ensures |b| remains bounded, allowing for a more straightforward proof. The key takeaway is that continuity cannot be established at x = 0, as the function is undefined there.

PREREQUISITES
  • Understanding of ε-δ definitions of continuity
  • Familiarity with limits and functions in real analysis
  • Basic algebraic manipulation of fractions
  • Knowledge of the properties of the real numbers
NEXT STEPS
  • Study the ε-δ definition of continuity in detail
  • Learn how to handle cases in proofs without splitting
  • Explore the implications of continuity at points of discontinuity
  • Review examples of continuity proofs for rational functions
USEFUL FOR

Students of real analysis, mathematics educators, and anyone seeking to understand the nuances of continuity proofs in calculus.

wglmb
Messages
16
Reaction score
0
Hi guys, I've been trying to do this for a while but I'm not really getting anywhere. Hints would be much appreciated!

Homework Statement



Prove that the function [itex]g(x)=1/x[/itex] is continuous on [itex]\latexbb{R}\smallsetminus\{0\}[/itex], but cannot be defined at the origin [itex]0[/itex] in such a way that the resulting function is continuous on [itex]\latexbb{R}[/itex].


Homework Equations





The Attempt at a Solution



Just the first part for now - proving continuity on [itex]\latexbb{R}\smallsetminus\{0\}[/itex].
They want an [itex]\epsilon-\delta[/itex] proof. Here we go...


Let [itex]a,b\in\latexbb{R}\smallsetminus\{0\}[/itex].
Let [itex]\delta=\epsilon>0[/itex].
Then [itex]\forall a\in\latexbb{R}\smallsetminus\{0\}[/itex] and [itex]\forall\epsilon>0[/itex] we have:
[itex]\mid a-b\mid<\delta\Rightarrow\mid g(a)-g(b)\mid=\mid \frac{1}{a}-\frac{1}{b}\mid=\mid\frac{b-a}{ab}\mid<\frac{\delta}{\mid ab\mid}[/itex]
Now I take the case where [itex]b[/itex] is such that [itex]\mid a-b\mid>1[/itex] and we have...
[itex]\frac{\delta}{\mid ab\mid}<\delta=\epsilon[/itex]
So it's proven for such [itex]b[/itex] (I think?)

Now I have no idea what to do about [itex]b[/itex] such that [itex]\mid a-b\mid<1[/itex]. Or was splitting it into two cases a bad idea? Am I going anywhere useful here?
Please help!
 
Physics news on Phys.org
It is not a good idea to split cases. You will have to take a different delta to handle the situation at once. The thing that gives some trouble, is the denominator |ab|. We want to make sure this is small. Now, a is fixed (since we want to prove continuity at the fixed point a), so in fact the only trouble is 1/|b|, which we want to make small. This is the same as |b| being not too big. This can be arranged by choosing the right delta, which will depend on a. In that way, |a-b|<delta implies that b will be close to a, and after some fiddling you will be able to estimate 1/|b|.
I hope this helps you. You can also take a look at this thread.
 

Similar threads

Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K