Using Epsilon Delta to prove a limit

[akt9]

Homework Statement

prove that the lim as x goes to 4 of x^2 + x -11 = 9
This is the example used on Paul's Online Notes on limits in calculus which can be found here http://tutorial.math.lamar.edu/Classes/CalcI/DefnOfLimit.aspx (I really like this resource.)

Homework Equations

Paul factors x^2 + x - 11 to get /x+5//x-4/ < Epsilon, then notes that if we can find a value K that is greater than /x+5/ we can say /x+5//x-4/ < K/x-4/

(I am using / for absolute value bars, is there a better convention?)

From there he makes the assumption that K/x-4/ < Epsilon
How does he make that assumption?

The Attempt at a Solution

To me it looks like this:
/x+5//x-4/ < Epsilon and /x+5//x-4/ < K/x-4/
Therefor Epsilon = K/x-4/ and /x-4/ = Epsilon/K

Which would be great except that if that is true, the rest of the proof doesn't work. What am I missing about the relationship of the inequalities?

 

[ystael]

Absolute value bars are written |x|; the | character is shift-\ on a US keyboard.

You seem to be misunderstanding what Paul does, since x^2 + x - 11 \neq (x + 5)(x - 4). In fact, what he appears to be doing is subtracting 9 from both sides and factoring x^2 + x - 20 = (x + 5)(x - 4), then claiming that \lim_{x\to 4} x^2 + x - 20 = 0.

From there, the limit argument goes: Fix some \varepsilon &gt; 0, and try to find \delta so that whenever 0 &lt; |x - 4| &lt; \delta we have |x^2 + x - 20| &lt; \varepsilon.

The argument with K uses the fact that we only care about what happens "close to 4", because we can always make \delta smaller without breaking anything in the proof. In a limit proof, you often want to focus attention only on the parts of your expression that vanish, by estimating the other parts. In this case, Paul says "suppose we could estimate x + 5 by a constant, that is, find some K &gt; 0 so that -- at least for x close enough to 4 -- we have |x + 5| &lt; K. Then in order to prove |x^2 + x - 20| &lt; \varepsilon, it would be enough to prove K|x - 4| &lt; \varepsilon."

You seem to be getting confused by the order of reasoning. \varepsilon is always given at the beginning, and the whole chain of reasoning is based around getting your error to fit under \varepsilon -- because what "limit" means is "no matter how small \varepsilon is, you can manage to fit under it by making \delta small enough". Then the inequality K|x - 4| &lt; \varepsilon is not an assumption, but a reduction. Paul is saying "because of our estimate |x + 5| &lt; K for x close enough to 4, in order to prove what we want, it is good enough to prove K|x - 4| &lt; \varepsilon".

To make things more concrete, let's say that when |x - 4| &lt; 1 we find |x + 5| &lt; 10, so that K = 10. Then we need to find \delta small enough that when 0 &lt; |x - 4| &lt; \delta then 10|x - 4| &lt; \varepsilon (and in any case \delta \leq 1 because we made that assumption already to set the value of K). Well, that's simple enough: to get 10|x - 4| &lt; \varepsilon all we need is |x - 4| &lt; \varepsilon/10; so finally we end up with a proof that, if \delta = \min\{1, \varepsilon/10\}, then 0 &lt; |x - 4| &lt; \delta implies |x^2 + x - 20| &lt; \varepsilon.

 

[akt9]

Thank you. Explained that way, it made a lot of sense to me.

So, just to make sure I understand, I think you are saying that it is enough to to prove that
K|x-4|< Epsilon because |x+5||x-4| gets smaller as x approaches 4. If we replace |x+5| with a constant such that |x+5|< K, it will still get smaller. So, K|x-4| may not equal |x+5||x-4|, but it will be less than Epsilon.

The problem I was having was that it wasn't clear to me that when starting from
|x+5||x-4|< Epsilon and assigning a value to K such that |x+5|< K , that it necessarily followed that K|x-4|< Epsilon.

I was thinkning that if ab<c and a<d, it doesn't necessarily follow that db<c, right?

But after reading your point about focusing on the part of the expression that vanishes I think I understand.

In order to make sure I wasn't violating the inequality I explained it to myself this way:

We are assuming a range of x values close to 4, and K is found using the limit of that range, but the x in |x-4| will be within the range, never the limit of the range, so K|x-4| will still be less than Epsilon.

Does that make sense?

Thank you so much for your help! Also thanks for explaining where the absolute value bar is.