I've been studying these épsilon delta proofs. In the non-linear case, he gets:


Well, I know that these $\delta$ are not equal the opposite of the other, but it has shown that $x$ must be within the range covered by these two deltas. Well, I already have bounded the $x-a$ (in this case, $x-5$) in therms of $\epsilon$, so it should work that for any given $\epsilon$, i could get only the $-5+\sqrt{25+\dfrac{\epsilon}{3}}$. Why I have to get the minimum?

  • $\begingroup$ because u want to take within $\delta$ from $(-5)$ and since all $x's$ within the range $ (5-\sqrt{25-\dfrac{\epsilon}{3}} ,-5+\sqrt{25+\dfrac{\epsilon}{3}})$ do the job, u want to make sure you take the minimal value so that so that when you take $|x-c|<\delta$ you will still be within that interval $\endgroup$ – toufik_kh.17 Dec 14 '13 at 3:12
  • $\begingroup$ @toufik_kh.17 so why can't I just select the minimum delta value and use it in the proof? $\endgroup$ – user108425 Dec 14 '13 at 3:21
  • $\begingroup$ @toufik_kh.17 at the proof part, he assumes $-\delta < x-c < \delta$ and then substitutes $(5-\sqrt{25-\dfrac{\epsilon}{3}} ,-5+\sqrt{25+\dfrac{\epsilon}{3}})$ like delta was equal to both of them, but one is not the opposite of the other! $\endgroup$ – user108425 Dec 14 '13 at 3:33
  • $\begingroup$ the proof uses :$-5+\sqrt{25-\dfrac{\epsilon}{3}}<-\delta<x<\delta$ $\endgroup$ – toufik_kh.17 Dec 14 '13 at 3:37
  • $\begingroup$ @toufik_kh.17 so why he substitutes $5-\sqrt{25-\dfrac{\epsilon}{3}}$ in the $- \delta$ part? $\endgroup$ – user108425 Dec 14 '13 at 3:40

He takes the minimum so that he can use the following two inequalities. $$ \delta \leq 5-\sqrt{25-\dfrac{\epsilon}{3}} \\ \delta \leq -5+\sqrt{25+\dfrac{\epsilon}{3}} $$ The first inequality above can be written as $$ -5 + \sqrt{25-\dfrac{\epsilon}{3}} \leq -\delta. $$ So the proof uses these inequalities to get $$ -5 + \sqrt{25-\dfrac{\epsilon}{3}} \leq -\delta < x - 5 < \delta \leq -5+\sqrt{25+\dfrac{\epsilon}{3}} $$ which is the inequality he intended to get (as you can see when he worked backwards). Hopefully that clears up why he needed to take $\delta$ as the minimum of the two quantities.

  • $\begingroup$ I though $5-\sqrt{25-\dfrac{\epsilon}{3}}$ should be LESS than $\delta$, now I'm confused! $\endgroup$ – user108425 Dec 14 '13 at 12:33
  • $\begingroup$ Also, he says that the delta must be the minimum of the two, bue then in the proof, he uses the two deltas. Why??? $\endgroup$ – user108425 Dec 14 '13 at 12:59
  • $\begingroup$ No, $\delta$ has to be less than $5-\sqrt{25-\dfrac{\epsilon}{3}}$ in order to have the inequality $-5 + \sqrt{25-\dfrac{\epsilon}{3}} < -\delta$. But he also needs the inequality $\delta < -5+\sqrt{25+\dfrac{\epsilon}{3}}$ in the proof. That's why he takes the minimum of the two quantities. In the proof there is only one $\delta$, but there are two $\epsilon$. The second epsilon is a way to work around the fact that $5-\sqrt{25-\dfrac{\epsilon}{3}}$ may be undefined if the $\epsilon$ is too big. $\endgroup$ – Pratyush Sarkar Dec 14 '13 at 16:00
  • $\begingroup$ I don't understand why there's only one delta. For me, $5-\sqrt{25-\dfrac{\epsilon}{3}}$ is not the opposite of $-5 + \sqrt{25+\dfrac{\epsilon}{3}}$. I completely understood the second epsilon. I also don't understand why we have to define delta as the minimum of the two candidates, since $-5+\sqrt{25-\dfrac{\epsilon}{3}}$ is always the minimum delta (i've plotted the two ones for $\epsilon > 0$ $\endgroup$ – user108425 Dec 14 '13 at 22:35
  • $\begingroup$ @user108425 There is always one $\delta$. Also $-5+\sqrt{25-\dfrac{\epsilon}{3}}$ (as you mentioned in your last sentence) is not even in the expression for $\delta$. I think you meant $5-\sqrt{25-\dfrac{\epsilon}{3}}$.Anyway, you may be right that one of the quantity is always smaller than the other. In that case you can just choose that for $\delta$. However, there is no harm in writing $\delta$ as the minimum of the two quantities. It might be even better since you don't need to bother about which quantity is smaller and in the end we only care that a $\delta$ exists. $\endgroup$ – Pratyush Sarkar Dec 15 '13 at 0:02

It is because $\delta$ has to be acceptable in the worst case. Say we are proving $\lim_{x \to 0} f(x)=L$ and for (the given) $\epsilon$ we are within $\epsilon$ over the interval $\delta \in (-1,0.1)$ The definition of limit is symmetric: it says whenever $x$ is within $\delta$ of $0$, then $|f(x)-L|\lt \epsilon$ so we have to shrink the interval to make it symmetric, so our answer should be within $\delta \in (-0.1,0.1)$. This sounds restrictive, but it is not. One can prove that symmetric limits leads to the same thing as asymmetric limits and every interval includes a symmetric interval.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.