Prove Limit Exists: \lim_{x\rightarrow 1}3x-1=2

  • Thread starter Thread starter razored
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary
SUMMARY

The limit proof for \(\lim_{x\rightarrow 1} 3x - 1 = 2\) demonstrates that if \(\delta\) is chosen as \(\frac{\epsilon}{3}\), the definition of the limit is satisfied. The proof follows the structure that for every \(\epsilon > 0\), there exists a \(\delta > 0\) such that \(|f(x) - L| < \epsilon\) whenever \(|x - a| < \delta\). The discussion emphasizes that the derived relationship between \(\delta\) and \(\epsilon\) is valid, and the proof can be formalized by reversing the steps taken to find \(\delta\).

PREREQUISITES
  • Understanding of limits in calculus
  • Familiarity with the epsilon-delta definition of limits
  • Basic algebraic manipulation skills
  • Knowledge of formal proof structures in mathematics
NEXT STEPS
  • Study the epsilon-delta definition of limits in detail
  • Learn how to construct formal proofs in calculus
  • Explore examples of limit proofs involving different functions
  • Practice deriving \(\delta\) for various values of \(\epsilon\)
USEFUL FOR

Students of calculus, mathematics educators, and anyone seeking to deepen their understanding of limit proofs and formal mathematical reasoning.

razored
Messages
173
Reaction score
0
Prove that the limit exists :[tex]\lim_{x\rightarrow 1} 3x -1 =2[/tex]

Here is the work to find [tex]\delta[/tex].
[tex]|3x-3|<\epsilon[/tex] Substitution
[tex]3|x-1|<\epsilon[/tex]
[tex]|x-1|<\frac{\epsilon}{3}[/tex]
[tex]0<|x-1|<\delta[/tex] Appears that epsilon is equal to delta.
[tex]\delta = \frac{\epsilon}{3}[/tex]
I have gotten here thus far, now what? :rolleyes: What I have proved? The only thing I have discovered that delta is simply equal to epsilon.
I don't understand.
I also understand that you begin the proof like this:
Given [tex]\epsilon> 0[/tex], choose [tex]\delta = \frac_{\epsilon}{3}[/tex]
Now what from here as well?

Thanks beforehand.
 
Physics news on Phys.org
First, let me remark that you derived [itex]\delta = \epsilon / 3[/itex] and then proceed to say that "I have discovered that delta is simply equal to epsilon." What you have discovered, is that if you take delta to be equal to epsilon divided by three (or anything smaller will do) then the definition of limit will be satisfied.

You know the definition of the limit:
[tex]\lim_{x \to a} f(x) = L[/tex] means that: for each [itex]\epsilon > 0[/itex] there is a [itex]\delta = \delta(\epsilon) > 0[/itex] such that [itex]|f(x) - L| < \epsilon[/itex] whenever [itex]|x - a| < \delta[/itex].

In general, the proof goes like this:
Let/choose [itex]\epsilon > 0[/itex] (arbitrarily). Define [itex]\delta = \cdots[/itex] and suppose [itex]|x - a| < \delta[/itex]. Then by some sequence of inequalities, we show that [itex]|f(x) - L| < \epsilon[/itex].

Now compare this to the definition and see if you understand the structure of the proof. Next remark is, that to actually give such a proof, you have to know what [itex]\delta[/itex] is. That's why you always start on a scrap piece of paper to calculate this value for any given value of [itex]\epsilon[/itex], which is what you've just done. Now all you have to do is write down the formal prove as I gave it above, substituting the correct values (basically, the proof is what you wrote down reversed).
 
What uou have done is sometimes referred to as "synthetic" proof. You start from the conclusion you want to prove and work back to the hypotheses. That, of course, is NOT a valid proof- you can't start by assuming the conclusion. But if everystep is "reversible" then you just need to reverse everything to get a valid proof. As long as it is clear that every step is reversible it is not, strictly, necessary to write out the "reverse". Many textbooks do exactly what you did- show HOW to find deleta for a given epsilon proves that such a delta exists.
 

Similar threads

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