Prove the limit is true using the epsilon,delta definition of a limit.

  • Thread starter Thread starter WK95
  • Start date Start date
  • Tags Tags
    Definition Limit
Click For Summary

Homework Help Overview

The discussion revolves around proving the limit of the function \( f(x) = x^2 - x \) as \( x \) approaches 1, using the epsilon-delta definition of a limit. Participants are examining the appropriate setup and constraints for the proof.

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the setup of the epsilon-delta definition, questioning the validity of setting \( \delta \) as a function of \( x \). There are attempts to manipulate the expression \( |x^2 - x| \) using inequalities and the triangle inequality. Some participants suggest bounding \( |x - 1| \) and using specific values for \( \delta \) to simplify the proof.

Discussion Status

The discussion is active, with various interpretations being explored. Some participants have provided guidance on bounding \( |x - 1| \) and using the triangle inequality, while others express uncertainty about specific steps in the reasoning. There is no explicit consensus on the correctness of all approaches, but productive dialogue is ongoing.

Contextual Notes

Participants are working under the constraints of the epsilon-delta definition, with some noting that \( \delta \) should not depend on \( x \). There is also a focus on ensuring that assumptions made during the proof are valid, particularly regarding bounds on \( |x - 1| \).

WK95
Messages
139
Reaction score
1

Homework Statement


Prove the following:
lim x2 - x = 0
x→1

Homework Equations



If 0<|x-a|<δ then |f(x)-L|<ε

The Attempt at a Solution


Part I - Set up
0<|x-a|<δ |f(x)-L|<ε
If 0<|x-1|<δ then |(x^2 - x) - 0|<ε
x|x-1|<ε
x|x-1|<ε
|x-1|<ε/x
δ=ε/x

Part II - Proof
Given ε < 0, choose δ=ε/x
If 0<|x-1|<δ then
|(x^2 - x) - 0| = |x^2 - x| = x|x - 1| < xδ = x(ε/x) = ε
 
Physics news on Phys.org
No! Delta may not be dependent on x. Also your definition is incorrect, it is for every ε>0 there is a ... etc.

Try this:

|x||x-1| <δ|x| = δ |x-1+1|<δ^2+δ < δ if δ < 1,..., etc.
 
I'm afraid you can't set ##δ=ε/x##. It needs to be a particular number not an arbitrary value. Try setting up ##|x||x-1|## and then apply triangle inequality to find the upper bound ##f(x)## can take. It can be assured that |x-1| will at least be smaller than 1.
 
dirk_mec1 said:
No! Delta may not be dependent on x. Also your definition is incorrect, it is for every ε>0 there is a ... etc.

Try this:

|x||x-1| <δ|x| = δ |x-1+1|<δ^2+δ < δ if δ < 1,..., etc.

I'm not quite sure why you added 1 to |x - 1|
|x||x-1| < δ|x| = δ|x-1+1| < δ^2 + δ < δ
|x^2 - x| < δ|x-1+1| < δ^2 + δ < δ <== I'm not getting this part
 
Seydlitz said:
I'm afraid you can't set ##δ=ε/x##. It needs to be a particular number not an arbitrary value. Try setting up ##|x||x-1|## and then apply triangle inequality to find the upper bound ##f(x)## can take. It can be assured that |x-1| will at least be smaller than 1.

How can it be assured that |x - 1| will be smaller than 1? In a formal proof, how would I show this?

I found the Triangle Inequality to be |A + B| ≤ |A| + |B|

Set up
0<|x - a|<δ |f(x) - L|<ε
If 0<|x - 1|<δ then |(x^2 - x) - 0|<ε
x|x-1|<ε
 
Last edited:
So you have this :

##|x^2 - x| = |x||x-1| < δ|x|##

Now this is quite a common trick and you should use it often. It allows you to use the triangle inequality on your second factor :

##|x| = |x-1+1| ≤ |x-1| + 1 < δ + 1##

Therefore :

##|x^2 - x| = |x||x-1| < δ|x| < δ(δ+1)##

Now at this point, it's very useful to place a bound on ##δ##, let's say ##δ ≤ 1## to make life simple. So we get :

##δ(δ+1) ≤ 2δ##

Now you can find ##δ## in terms of ##ε##.

What is your final value(s) for ##δ##?
 
Here is what I have now.
##|(x^2 - x) - 0| = |x - 1| |x|##
##= |x - 1| |(x - 1) + 1| ≤ |x - 1| (|x - 1| + |1|)##
##= |x - 1|^2 + |x - 1| < |x - 1| + |x - 1| = 2|x - 1|##
assuming
##|x - 1| < 1##
Given
##ε > 0, δ = min{1, ε/2}##
Then
##0 < |x - 1| < δ##
##|(x^2 - x) - 0| < 2|x - 1| < 2(ε/2) = ε##
 
Last edited:
It looks fine to me. ##δ=min(1,\frac{ε}{2})##
 
WK95 said:
Here is what I have now.
##|(x^2 - x) - 0| = |x - 1| |x|##
##= |x - 1| |(x - 1) + 1| ≤ |x - 1| (|x - 1| + |1|)##
##= |x - 1|^2 + |x - 1| < |x - 1| + |x - 1| = 2|x - 1|##
assuming
##|x - 1| < 1##
Given
##ε > 0, δ = min{1, ε/2}##
Then
##0 < |x - 1| < δ##
##|(x^2 - x) - 0| < 2|x - 1| < 2(ε/2) = ε##


I'm not so sure I agree with the third line :

##= |x - 1|^2 + |x - 1| < |x - 1| + |x - 1| = 2|x - 1|##

How were you able to deduce ##|x-1|^2 < |x-1|##. This is certainly not true in general. Your value for ##δ## is indeed correct though.
 
  • Like
Likes   Reactions: 1 person
  • #10
Yes it is true if delta<1.
 
  • Like
Likes   Reactions: 1 person

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K