Choosing $delta$ for a given $varepsilon$ when computing $lim_{xto 2}x^2=4$











up vote
3
down vote

favorite
1












enter image description here



How does the author come to the conclusion that $delta$ has to be the $ minleft{1,frac{epsilon}5right}$. Why that $1$? Can it be any number and we get accordingly the value of $epsilon$? In general, finding $delta$ for any $epsilon$ is purely by some guesswork? I can understand why these values work but the ‘why’ question is troubling me. I’m not very comfortable and unable to convince myself perfectly.










share|cite|improve this question
























  • Why use the Euro sign?
    – Lord Shark the Unknown
    Nov 27 at 6:33










  • Addressing the why? The initial argument is imprecise: ..closer and closer to 2, therefore closer and closer to 4... Strictly speaking, no one has a clue what it means. The epsilon-delta language is a precise tool to show what the limit is equal to.
    – Alvin Lepik
    Nov 27 at 6:33












  • @LordSharktheUnknown I think it's obvious: the OP hasn't seen MathJax basic tutorial and quick reference, and his keyboard layout most likely has Euro sign but not (var)epsilon.
    – Ruslan
    Nov 27 at 7:11












  • @Daniel please do have a look at the above link and use MathJax in your posts on Math.SE.
    – Ruslan
    Nov 27 at 7:13










  • This MathJax fragment $min(1,frac{varepsilon}{5})$ produces $min(1,frac{varepsilon}{5})$ .
    – Gregory Nisbet
    Nov 27 at 7:22















up vote
3
down vote

favorite
1












enter image description here



How does the author come to the conclusion that $delta$ has to be the $ minleft{1,frac{epsilon}5right}$. Why that $1$? Can it be any number and we get accordingly the value of $epsilon$? In general, finding $delta$ for any $epsilon$ is purely by some guesswork? I can understand why these values work but the ‘why’ question is troubling me. I’m not very comfortable and unable to convince myself perfectly.










share|cite|improve this question
























  • Why use the Euro sign?
    – Lord Shark the Unknown
    Nov 27 at 6:33










  • Addressing the why? The initial argument is imprecise: ..closer and closer to 2, therefore closer and closer to 4... Strictly speaking, no one has a clue what it means. The epsilon-delta language is a precise tool to show what the limit is equal to.
    – Alvin Lepik
    Nov 27 at 6:33












  • @LordSharktheUnknown I think it's obvious: the OP hasn't seen MathJax basic tutorial and quick reference, and his keyboard layout most likely has Euro sign but not (var)epsilon.
    – Ruslan
    Nov 27 at 7:11












  • @Daniel please do have a look at the above link and use MathJax in your posts on Math.SE.
    – Ruslan
    Nov 27 at 7:13










  • This MathJax fragment $min(1,frac{varepsilon}{5})$ produces $min(1,frac{varepsilon}{5})$ .
    – Gregory Nisbet
    Nov 27 at 7:22













up vote
3
down vote

favorite
1









up vote
3
down vote

favorite
1






1





enter image description here



How does the author come to the conclusion that $delta$ has to be the $ minleft{1,frac{epsilon}5right}$. Why that $1$? Can it be any number and we get accordingly the value of $epsilon$? In general, finding $delta$ for any $epsilon$ is purely by some guesswork? I can understand why these values work but the ‘why’ question is troubling me. I’m not very comfortable and unable to convince myself perfectly.










share|cite|improve this question















enter image description here



How does the author come to the conclusion that $delta$ has to be the $ minleft{1,frac{epsilon}5right}$. Why that $1$? Can it be any number and we get accordingly the value of $epsilon$? In general, finding $delta$ for any $epsilon$ is purely by some guesswork? I can understand why these values work but the ‘why’ question is troubling me. I’m not very comfortable and unable to convince myself perfectly.







real-analysis limits epsilon-delta






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 27 at 12:12









Martin Sleziak

44.6k7115269




44.6k7115269










asked Nov 27 at 6:24









Daniel Evans

1846




1846












  • Why use the Euro sign?
    – Lord Shark the Unknown
    Nov 27 at 6:33










  • Addressing the why? The initial argument is imprecise: ..closer and closer to 2, therefore closer and closer to 4... Strictly speaking, no one has a clue what it means. The epsilon-delta language is a precise tool to show what the limit is equal to.
    – Alvin Lepik
    Nov 27 at 6:33












  • @LordSharktheUnknown I think it's obvious: the OP hasn't seen MathJax basic tutorial and quick reference, and his keyboard layout most likely has Euro sign but not (var)epsilon.
    – Ruslan
    Nov 27 at 7:11












  • @Daniel please do have a look at the above link and use MathJax in your posts on Math.SE.
    – Ruslan
    Nov 27 at 7:13










  • This MathJax fragment $min(1,frac{varepsilon}{5})$ produces $min(1,frac{varepsilon}{5})$ .
    – Gregory Nisbet
    Nov 27 at 7:22


















  • Why use the Euro sign?
    – Lord Shark the Unknown
    Nov 27 at 6:33










  • Addressing the why? The initial argument is imprecise: ..closer and closer to 2, therefore closer and closer to 4... Strictly speaking, no one has a clue what it means. The epsilon-delta language is a precise tool to show what the limit is equal to.
    – Alvin Lepik
    Nov 27 at 6:33












  • @LordSharktheUnknown I think it's obvious: the OP hasn't seen MathJax basic tutorial and quick reference, and his keyboard layout most likely has Euro sign but not (var)epsilon.
    – Ruslan
    Nov 27 at 7:11












  • @Daniel please do have a look at the above link and use MathJax in your posts on Math.SE.
    – Ruslan
    Nov 27 at 7:13










  • This MathJax fragment $min(1,frac{varepsilon}{5})$ produces $min(1,frac{varepsilon}{5})$ .
    – Gregory Nisbet
    Nov 27 at 7:22
















Why use the Euro sign?
– Lord Shark the Unknown
Nov 27 at 6:33




Why use the Euro sign?
– Lord Shark the Unknown
Nov 27 at 6:33












Addressing the why? The initial argument is imprecise: ..closer and closer to 2, therefore closer and closer to 4... Strictly speaking, no one has a clue what it means. The epsilon-delta language is a precise tool to show what the limit is equal to.
– Alvin Lepik
Nov 27 at 6:33






Addressing the why? The initial argument is imprecise: ..closer and closer to 2, therefore closer and closer to 4... Strictly speaking, no one has a clue what it means. The epsilon-delta language is a precise tool to show what the limit is equal to.
– Alvin Lepik
Nov 27 at 6:33














@LordSharktheUnknown I think it's obvious: the OP hasn't seen MathJax basic tutorial and quick reference, and his keyboard layout most likely has Euro sign but not (var)epsilon.
– Ruslan
Nov 27 at 7:11






@LordSharktheUnknown I think it's obvious: the OP hasn't seen MathJax basic tutorial and quick reference, and his keyboard layout most likely has Euro sign but not (var)epsilon.
– Ruslan
Nov 27 at 7:11














@Daniel please do have a look at the above link and use MathJax in your posts on Math.SE.
– Ruslan
Nov 27 at 7:13




@Daniel please do have a look at the above link and use MathJax in your posts on Math.SE.
– Ruslan
Nov 27 at 7:13












This MathJax fragment $min(1,frac{varepsilon}{5})$ produces $min(1,frac{varepsilon}{5})$ .
– Gregory Nisbet
Nov 27 at 7:22




This MathJax fragment $min(1,frac{varepsilon}{5})$ produces $min(1,frac{varepsilon}{5})$ .
– Gregory Nisbet
Nov 27 at 7:22










4 Answers
4






active

oldest

votes

















up vote
13
down vote













This is one of the most annoying aspects of teaching a first course in analysis. The author of such a proof has always worked backwards, and has then rewritten the proof (erasing the entire process of coming up with it) so that it looks completely magic.



This kind of proof is generated as follows.




  1. Intuit that the limit is $4$.

  2. Imagining that the limit is indeed $4$, the proof will look like:


    Let $epsilon > 0$, and choose $delta = mathrm{XXX}$. Pick $x$ to be within $delta$ of $2$. Then $|x^2 - 4| < epsilon$, which completes the proof.




  3. Manipulate the final line until we can get something out of it.


    Let $epsilon > 0$, and choose $delta = mathrm{XXX}$. Pick $x$ to be within $delta$ of $2$. Then $|x^2 - 4| = |x+2| |x-2| < epsilon$, which completes the proof.




  4. Identify any terms which we can bound uniformly by picking $delta$. This is where the $1$ comes from, and it only mattered that it was a positive constant.


    Let $epsilon > 0$, and choose $delta = min(1, mathrm{XXX})$. Pick $x$ to be within $delta$ of $2$. Then $|x^2-4| = |x+2| |x-2| < 5|x-2| < epsilon$, which completes the proof.




  5. Repeat by successively refining $delta$.


    Let $epsilon > 0$, and choose $delta = min(1, frac{epsilon}{5})$. Pick $x$ to be within $delta$ of $2$. Then $|x^2-4| = |x+2| |x-2| < 5 cdot frac{epsilon}{5} = epsilon$, which completes the proof.




  6. Pretend that none of the above happened, and just write down the proof in its final form.


(Thanks to Dr Paul Russell for giving almost exactly this answer in his course Analysis II.)






share|cite|improve this answer























  • Very strong explanation!
    – James
    Nov 27 at 6:36










  • It the way it should teached, including the "re-writing" part so students will understand the written proofs and exercise solution they might stumble upon
    – Pacopaco
    Dec 2 at 23:03




















up vote
4
down vote













I thought I would add some reflections on what exactly is going on with $min(1,cdots)$. Most textbooks (and introductory classes) gloss over this entirely, and pretend it is obvious (and it is obvious for the author and anyone else who, like me, have been doing $epsilon$-$delta$ arguments for years). This glossing-over is a bad thing, as $min(1,cdots)$ is something which stumps most students when they first encounter it. They should be given a thorough reason for why we do it. Here I give something which in my opinion is a bare minimum, but about ten times more than is offered in any textbook or class I have seen (not that I have seen very many).



Note that this applies equally well to the same thing in proofs of continuity.



Limits only care about what happens very close to the point in question. In this case the point $x=2$. It doesn't care what happens at $x=1000$, for instance. Thus we care about small values of $epsilon$ and $delta$. So as long as $epsilon$ is small, choosing $delta$ to be $frac{epsilon}{5}$ works fine, and we're done.



However, while limits only really care about small $epsilon$, the definition says you should be able to pick a $delta$ for any epsilon. This is partly in order to be brief, and partly in order to be impartial as to what constitutes "small". The definition may as well have said "For any $epsilon$ with $0<epsilon<1$, there is a $delta>0$ such that ..." and that would've been equivalent.



However, that's a bit longer to write, and it makes $1$ look like some kind of special number in this context, which it is not. Perhaps more importantly, some times you need to specifically use something like $epsilon=2$ in a proof, and in that case, it's easier if the definition didn't have a limitation on $epsilon$.



So, with that said, when we pick our $delta$, we mostly care about small $epsilon$, but we have to take into account that someone, somewhere, may one day pick $epsilon=1000$. And in that case $delta=200$ is way too big.



This can be solved in two ways. One way is to find an expression for $delta$ which always works. That's complicated and will involve square roots, at the very least. The standard way, which is used here, is to declare that if $epsilon$ is larger than some bound (in this case $5$), we will use $delta=1$. If $epsilon$ is smaller, we will use $fracepsilon5$.



There is nothing special about $1$ in this context. It's just that some number must be picked, and $1$ is a nice number most of the time.






share|cite|improve this answer






























    up vote
    0
    down vote













    I can relate to your difficulties. Before I answer your question, I would like to emphasize that in $varepsilon-delta$ proof, you need to do the "calculation" in advance.



    Now, here is the thing... The concept of limit is probably best explained as moving closer and closer to a certain value. In your problem, $x$ is moving closer and closer to $2$. How close? That depends on the choice of your $varepsilon>0$ in the first place. Now, understand that $x$ moves closer to $2$ means you can "bound" $x$. In this case, I can bound $x$ with any number (usually $1$ for simplicity and easy calculation). If you are in doubt, you can try to use another number such as $sqrt{2}$ but maybe the calculation will be not as good sometimes.



    Also, "guess work" as you mention is not entirely wrong. However, you need to be "smart" to guess the correct answer. In this case, do "rough" calculation in advance.



    So, let's think in different perspective. This is our goal :
    $$|x^{2} - 4| < varepsilon$$
    and this is our starting point :
    $$ |x- 2| < delta$$
    Now, consider our goal as starting point :
    begin{align*}
    &|x^2 - 4| = |x-2|,|x+2| < varepsilon \
    &|x-2| < frac{varepsilon}{|x+2|}
    end{align*}



    Now, we want to bound $x$. So, let's use different number, for example $frac{1}{2}$. Assume $|x-2|<frac{1}{2}$ then we have $frac{5}{2}< x+ 2 <frac{7}{2}$ which means $frac{5}{2}< |x+2| < frac{7}{2}$ and now we know that $frac{2}{7} < frac{1}{|x+4|} < frac{2}{5}$



    Going back to the previous inequality, we obtain
    $$|x-2| < frac{varepsilon}{|x+2|}<frac{2}{5}varepsilon$$



    Now, we can find $delta = min {frac{1}{2}, frac{2}{5}varepsilon}$ as our bound and start the proof. What I want to demonstrate here is for you to realize that "guess work" needs to be smartly done and there are a lot of answers to prove.






    share|cite|improve this answer




























      up vote
      0
      down vote













      What @arthur points out is spot on I would just like to add a couple things to it.



      The reason we often choose some "maximal" delta to begin with is to make it easier to work with the piece of the function that's left. For $x^2$ at $2$ this can be nicely seen graphically. X^2 bounded



      Notice that the in the region bounded by the blue and red lines (that's between $2-1=1$ and $2+1=3$ the function $x^2$ is particularly well behaved. It is strictly increasing it is defined everywhere and so will be easy to work with. That is why we want to make sure no matter how big an $epsilon$ someone gives us we always work in this nice region.



      Doing this lets us assume nice things in our proof later on. For example $|x+2|leq 5$ and also $x>0$. When we later try to bound $|x^2-4|$ this information can (and does) come in handy.



      This is even more important when our functions are less well behaved than a quadratic. You might have functions that are not defined everywhere or behave very badly at some points. Compare to a function like $frac{sin(1/x)}{100}$
      0.01sin(1/x)



      This function is continuous everywhere except at $0$ and consequently has a limit everywhere. But if you want to prove that it has a limit somewhere other than $0$ you really want to bound yourself away from that nasty oscillation so you can work with a function that behaves nicely at the place you're taking your limit.






      share|cite|improve this answer





















        Your Answer





        StackExchange.ifUsing("editor", function () {
        return StackExchange.using("mathjaxEditing", function () {
        StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
        StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
        });
        });
        }, "mathjax-editing");

        StackExchange.ready(function() {
        var channelOptions = {
        tags: "".split(" "),
        id: "69"
        };
        initTagRenderer("".split(" "), "".split(" "), channelOptions);

        StackExchange.using("externalEditor", function() {
        // Have to fire editor after snippets, if snippets enabled
        if (StackExchange.settings.snippets.snippetsEnabled) {
        StackExchange.using("snippets", function() {
        createEditor();
        });
        }
        else {
        createEditor();
        }
        });

        function createEditor() {
        StackExchange.prepareEditor({
        heartbeatType: 'answer',
        convertImagesToLinks: true,
        noModals: true,
        showLowRepImageUploadWarning: true,
        reputationToPostImages: 10,
        bindNavPrevention: true,
        postfix: "",
        imageUploader: {
        brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
        contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
        allowUrls: true
        },
        noCode: true, onDemand: true,
        discardSelector: ".discard-answer"
        ,immediatelyShowMarkdownHelp:true
        });


        }
        });














        draft saved

        draft discarded


















        StackExchange.ready(
        function () {
        StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3015411%2fchoosing-delta-for-a-given-varepsilon-when-computing-lim-x-to-2x2-4%23new-answer', 'question_page');
        }
        );

        Post as a guest















        Required, but never shown

























        4 Answers
        4






        active

        oldest

        votes








        4 Answers
        4






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes








        up vote
        13
        down vote













        This is one of the most annoying aspects of teaching a first course in analysis. The author of such a proof has always worked backwards, and has then rewritten the proof (erasing the entire process of coming up with it) so that it looks completely magic.



        This kind of proof is generated as follows.




        1. Intuit that the limit is $4$.

        2. Imagining that the limit is indeed $4$, the proof will look like:


          Let $epsilon > 0$, and choose $delta = mathrm{XXX}$. Pick $x$ to be within $delta$ of $2$. Then $|x^2 - 4| < epsilon$, which completes the proof.




        3. Manipulate the final line until we can get something out of it.


          Let $epsilon > 0$, and choose $delta = mathrm{XXX}$. Pick $x$ to be within $delta$ of $2$. Then $|x^2 - 4| = |x+2| |x-2| < epsilon$, which completes the proof.




        4. Identify any terms which we can bound uniformly by picking $delta$. This is where the $1$ comes from, and it only mattered that it was a positive constant.


          Let $epsilon > 0$, and choose $delta = min(1, mathrm{XXX})$. Pick $x$ to be within $delta$ of $2$. Then $|x^2-4| = |x+2| |x-2| < 5|x-2| < epsilon$, which completes the proof.




        5. Repeat by successively refining $delta$.


          Let $epsilon > 0$, and choose $delta = min(1, frac{epsilon}{5})$. Pick $x$ to be within $delta$ of $2$. Then $|x^2-4| = |x+2| |x-2| < 5 cdot frac{epsilon}{5} = epsilon$, which completes the proof.




        6. Pretend that none of the above happened, and just write down the proof in its final form.


        (Thanks to Dr Paul Russell for giving almost exactly this answer in his course Analysis II.)






        share|cite|improve this answer























        • Very strong explanation!
          – James
          Nov 27 at 6:36










        • It the way it should teached, including the "re-writing" part so students will understand the written proofs and exercise solution they might stumble upon
          – Pacopaco
          Dec 2 at 23:03

















        up vote
        13
        down vote













        This is one of the most annoying aspects of teaching a first course in analysis. The author of such a proof has always worked backwards, and has then rewritten the proof (erasing the entire process of coming up with it) so that it looks completely magic.



        This kind of proof is generated as follows.




        1. Intuit that the limit is $4$.

        2. Imagining that the limit is indeed $4$, the proof will look like:


          Let $epsilon > 0$, and choose $delta = mathrm{XXX}$. Pick $x$ to be within $delta$ of $2$. Then $|x^2 - 4| < epsilon$, which completes the proof.




        3. Manipulate the final line until we can get something out of it.


          Let $epsilon > 0$, and choose $delta = mathrm{XXX}$. Pick $x$ to be within $delta$ of $2$. Then $|x^2 - 4| = |x+2| |x-2| < epsilon$, which completes the proof.




        4. Identify any terms which we can bound uniformly by picking $delta$. This is where the $1$ comes from, and it only mattered that it was a positive constant.


          Let $epsilon > 0$, and choose $delta = min(1, mathrm{XXX})$. Pick $x$ to be within $delta$ of $2$. Then $|x^2-4| = |x+2| |x-2| < 5|x-2| < epsilon$, which completes the proof.




        5. Repeat by successively refining $delta$.


          Let $epsilon > 0$, and choose $delta = min(1, frac{epsilon}{5})$. Pick $x$ to be within $delta$ of $2$. Then $|x^2-4| = |x+2| |x-2| < 5 cdot frac{epsilon}{5} = epsilon$, which completes the proof.




        6. Pretend that none of the above happened, and just write down the proof in its final form.


        (Thanks to Dr Paul Russell for giving almost exactly this answer in his course Analysis II.)






        share|cite|improve this answer























        • Very strong explanation!
          – James
          Nov 27 at 6:36










        • It the way it should teached, including the "re-writing" part so students will understand the written proofs and exercise solution they might stumble upon
          – Pacopaco
          Dec 2 at 23:03















        up vote
        13
        down vote










        up vote
        13
        down vote









        This is one of the most annoying aspects of teaching a first course in analysis. The author of such a proof has always worked backwards, and has then rewritten the proof (erasing the entire process of coming up with it) so that it looks completely magic.



        This kind of proof is generated as follows.




        1. Intuit that the limit is $4$.

        2. Imagining that the limit is indeed $4$, the proof will look like:


          Let $epsilon > 0$, and choose $delta = mathrm{XXX}$. Pick $x$ to be within $delta$ of $2$. Then $|x^2 - 4| < epsilon$, which completes the proof.




        3. Manipulate the final line until we can get something out of it.


          Let $epsilon > 0$, and choose $delta = mathrm{XXX}$. Pick $x$ to be within $delta$ of $2$. Then $|x^2 - 4| = |x+2| |x-2| < epsilon$, which completes the proof.




        4. Identify any terms which we can bound uniformly by picking $delta$. This is where the $1$ comes from, and it only mattered that it was a positive constant.


          Let $epsilon > 0$, and choose $delta = min(1, mathrm{XXX})$. Pick $x$ to be within $delta$ of $2$. Then $|x^2-4| = |x+2| |x-2| < 5|x-2| < epsilon$, which completes the proof.




        5. Repeat by successively refining $delta$.


          Let $epsilon > 0$, and choose $delta = min(1, frac{epsilon}{5})$. Pick $x$ to be within $delta$ of $2$. Then $|x^2-4| = |x+2| |x-2| < 5 cdot frac{epsilon}{5} = epsilon$, which completes the proof.




        6. Pretend that none of the above happened, and just write down the proof in its final form.


        (Thanks to Dr Paul Russell for giving almost exactly this answer in his course Analysis II.)






        share|cite|improve this answer














        This is one of the most annoying aspects of teaching a first course in analysis. The author of such a proof has always worked backwards, and has then rewritten the proof (erasing the entire process of coming up with it) so that it looks completely magic.



        This kind of proof is generated as follows.




        1. Intuit that the limit is $4$.

        2. Imagining that the limit is indeed $4$, the proof will look like:


          Let $epsilon > 0$, and choose $delta = mathrm{XXX}$. Pick $x$ to be within $delta$ of $2$. Then $|x^2 - 4| < epsilon$, which completes the proof.




        3. Manipulate the final line until we can get something out of it.


          Let $epsilon > 0$, and choose $delta = mathrm{XXX}$. Pick $x$ to be within $delta$ of $2$. Then $|x^2 - 4| = |x+2| |x-2| < epsilon$, which completes the proof.




        4. Identify any terms which we can bound uniformly by picking $delta$. This is where the $1$ comes from, and it only mattered that it was a positive constant.


          Let $epsilon > 0$, and choose $delta = min(1, mathrm{XXX})$. Pick $x$ to be within $delta$ of $2$. Then $|x^2-4| = |x+2| |x-2| < 5|x-2| < epsilon$, which completes the proof.




        5. Repeat by successively refining $delta$.


          Let $epsilon > 0$, and choose $delta = min(1, frac{epsilon}{5})$. Pick $x$ to be within $delta$ of $2$. Then $|x^2-4| = |x+2| |x-2| < 5 cdot frac{epsilon}{5} = epsilon$, which completes the proof.




        6. Pretend that none of the above happened, and just write down the proof in its final form.


        (Thanks to Dr Paul Russell for giving almost exactly this answer in his course Analysis II.)







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Nov 27 at 8:17

























        answered Nov 27 at 6:34









        Patrick Stevens

        28.2k52874




        28.2k52874












        • Very strong explanation!
          – James
          Nov 27 at 6:36










        • It the way it should teached, including the "re-writing" part so students will understand the written proofs and exercise solution they might stumble upon
          – Pacopaco
          Dec 2 at 23:03




















        • Very strong explanation!
          – James
          Nov 27 at 6:36










        • It the way it should teached, including the "re-writing" part so students will understand the written proofs and exercise solution they might stumble upon
          – Pacopaco
          Dec 2 at 23:03


















        Very strong explanation!
        – James
        Nov 27 at 6:36




        Very strong explanation!
        – James
        Nov 27 at 6:36












        It the way it should teached, including the "re-writing" part so students will understand the written proofs and exercise solution they might stumble upon
        – Pacopaco
        Dec 2 at 23:03






        It the way it should teached, including the "re-writing" part so students will understand the written proofs and exercise solution they might stumble upon
        – Pacopaco
        Dec 2 at 23:03












        up vote
        4
        down vote













        I thought I would add some reflections on what exactly is going on with $min(1,cdots)$. Most textbooks (and introductory classes) gloss over this entirely, and pretend it is obvious (and it is obvious for the author and anyone else who, like me, have been doing $epsilon$-$delta$ arguments for years). This glossing-over is a bad thing, as $min(1,cdots)$ is something which stumps most students when they first encounter it. They should be given a thorough reason for why we do it. Here I give something which in my opinion is a bare minimum, but about ten times more than is offered in any textbook or class I have seen (not that I have seen very many).



        Note that this applies equally well to the same thing in proofs of continuity.



        Limits only care about what happens very close to the point in question. In this case the point $x=2$. It doesn't care what happens at $x=1000$, for instance. Thus we care about small values of $epsilon$ and $delta$. So as long as $epsilon$ is small, choosing $delta$ to be $frac{epsilon}{5}$ works fine, and we're done.



        However, while limits only really care about small $epsilon$, the definition says you should be able to pick a $delta$ for any epsilon. This is partly in order to be brief, and partly in order to be impartial as to what constitutes "small". The definition may as well have said "For any $epsilon$ with $0<epsilon<1$, there is a $delta>0$ such that ..." and that would've been equivalent.



        However, that's a bit longer to write, and it makes $1$ look like some kind of special number in this context, which it is not. Perhaps more importantly, some times you need to specifically use something like $epsilon=2$ in a proof, and in that case, it's easier if the definition didn't have a limitation on $epsilon$.



        So, with that said, when we pick our $delta$, we mostly care about small $epsilon$, but we have to take into account that someone, somewhere, may one day pick $epsilon=1000$. And in that case $delta=200$ is way too big.



        This can be solved in two ways. One way is to find an expression for $delta$ which always works. That's complicated and will involve square roots, at the very least. The standard way, which is used here, is to declare that if $epsilon$ is larger than some bound (in this case $5$), we will use $delta=1$. If $epsilon$ is smaller, we will use $fracepsilon5$.



        There is nothing special about $1$ in this context. It's just that some number must be picked, and $1$ is a nice number most of the time.






        share|cite|improve this answer



























          up vote
          4
          down vote













          I thought I would add some reflections on what exactly is going on with $min(1,cdots)$. Most textbooks (and introductory classes) gloss over this entirely, and pretend it is obvious (and it is obvious for the author and anyone else who, like me, have been doing $epsilon$-$delta$ arguments for years). This glossing-over is a bad thing, as $min(1,cdots)$ is something which stumps most students when they first encounter it. They should be given a thorough reason for why we do it. Here I give something which in my opinion is a bare minimum, but about ten times more than is offered in any textbook or class I have seen (not that I have seen very many).



          Note that this applies equally well to the same thing in proofs of continuity.



          Limits only care about what happens very close to the point in question. In this case the point $x=2$. It doesn't care what happens at $x=1000$, for instance. Thus we care about small values of $epsilon$ and $delta$. So as long as $epsilon$ is small, choosing $delta$ to be $frac{epsilon}{5}$ works fine, and we're done.



          However, while limits only really care about small $epsilon$, the definition says you should be able to pick a $delta$ for any epsilon. This is partly in order to be brief, and partly in order to be impartial as to what constitutes "small". The definition may as well have said "For any $epsilon$ with $0<epsilon<1$, there is a $delta>0$ such that ..." and that would've been equivalent.



          However, that's a bit longer to write, and it makes $1$ look like some kind of special number in this context, which it is not. Perhaps more importantly, some times you need to specifically use something like $epsilon=2$ in a proof, and in that case, it's easier if the definition didn't have a limitation on $epsilon$.



          So, with that said, when we pick our $delta$, we mostly care about small $epsilon$, but we have to take into account that someone, somewhere, may one day pick $epsilon=1000$. And in that case $delta=200$ is way too big.



          This can be solved in two ways. One way is to find an expression for $delta$ which always works. That's complicated and will involve square roots, at the very least. The standard way, which is used here, is to declare that if $epsilon$ is larger than some bound (in this case $5$), we will use $delta=1$. If $epsilon$ is smaller, we will use $fracepsilon5$.



          There is nothing special about $1$ in this context. It's just that some number must be picked, and $1$ is a nice number most of the time.






          share|cite|improve this answer

























            up vote
            4
            down vote










            up vote
            4
            down vote









            I thought I would add some reflections on what exactly is going on with $min(1,cdots)$. Most textbooks (and introductory classes) gloss over this entirely, and pretend it is obvious (and it is obvious for the author and anyone else who, like me, have been doing $epsilon$-$delta$ arguments for years). This glossing-over is a bad thing, as $min(1,cdots)$ is something which stumps most students when they first encounter it. They should be given a thorough reason for why we do it. Here I give something which in my opinion is a bare minimum, but about ten times more than is offered in any textbook or class I have seen (not that I have seen very many).



            Note that this applies equally well to the same thing in proofs of continuity.



            Limits only care about what happens very close to the point in question. In this case the point $x=2$. It doesn't care what happens at $x=1000$, for instance. Thus we care about small values of $epsilon$ and $delta$. So as long as $epsilon$ is small, choosing $delta$ to be $frac{epsilon}{5}$ works fine, and we're done.



            However, while limits only really care about small $epsilon$, the definition says you should be able to pick a $delta$ for any epsilon. This is partly in order to be brief, and partly in order to be impartial as to what constitutes "small". The definition may as well have said "For any $epsilon$ with $0<epsilon<1$, there is a $delta>0$ such that ..." and that would've been equivalent.



            However, that's a bit longer to write, and it makes $1$ look like some kind of special number in this context, which it is not. Perhaps more importantly, some times you need to specifically use something like $epsilon=2$ in a proof, and in that case, it's easier if the definition didn't have a limitation on $epsilon$.



            So, with that said, when we pick our $delta$, we mostly care about small $epsilon$, but we have to take into account that someone, somewhere, may one day pick $epsilon=1000$. And in that case $delta=200$ is way too big.



            This can be solved in two ways. One way is to find an expression for $delta$ which always works. That's complicated and will involve square roots, at the very least. The standard way, which is used here, is to declare that if $epsilon$ is larger than some bound (in this case $5$), we will use $delta=1$. If $epsilon$ is smaller, we will use $fracepsilon5$.



            There is nothing special about $1$ in this context. It's just that some number must be picked, and $1$ is a nice number most of the time.






            share|cite|improve this answer














            I thought I would add some reflections on what exactly is going on with $min(1,cdots)$. Most textbooks (and introductory classes) gloss over this entirely, and pretend it is obvious (and it is obvious for the author and anyone else who, like me, have been doing $epsilon$-$delta$ arguments for years). This glossing-over is a bad thing, as $min(1,cdots)$ is something which stumps most students when they first encounter it. They should be given a thorough reason for why we do it. Here I give something which in my opinion is a bare minimum, but about ten times more than is offered in any textbook or class I have seen (not that I have seen very many).



            Note that this applies equally well to the same thing in proofs of continuity.



            Limits only care about what happens very close to the point in question. In this case the point $x=2$. It doesn't care what happens at $x=1000$, for instance. Thus we care about small values of $epsilon$ and $delta$. So as long as $epsilon$ is small, choosing $delta$ to be $frac{epsilon}{5}$ works fine, and we're done.



            However, while limits only really care about small $epsilon$, the definition says you should be able to pick a $delta$ for any epsilon. This is partly in order to be brief, and partly in order to be impartial as to what constitutes "small". The definition may as well have said "For any $epsilon$ with $0<epsilon<1$, there is a $delta>0$ such that ..." and that would've been equivalent.



            However, that's a bit longer to write, and it makes $1$ look like some kind of special number in this context, which it is not. Perhaps more importantly, some times you need to specifically use something like $epsilon=2$ in a proof, and in that case, it's easier if the definition didn't have a limitation on $epsilon$.



            So, with that said, when we pick our $delta$, we mostly care about small $epsilon$, but we have to take into account that someone, somewhere, may one day pick $epsilon=1000$. And in that case $delta=200$ is way too big.



            This can be solved in two ways. One way is to find an expression for $delta$ which always works. That's complicated and will involve square roots, at the very least. The standard way, which is used here, is to declare that if $epsilon$ is larger than some bound (in this case $5$), we will use $delta=1$. If $epsilon$ is smaller, we will use $fracepsilon5$.



            There is nothing special about $1$ in this context. It's just that some number must be picked, and $1$ is a nice number most of the time.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Nov 27 at 8:19

























            answered Nov 27 at 6:52









            Arthur

            110k7104186




            110k7104186






















                up vote
                0
                down vote













                I can relate to your difficulties. Before I answer your question, I would like to emphasize that in $varepsilon-delta$ proof, you need to do the "calculation" in advance.



                Now, here is the thing... The concept of limit is probably best explained as moving closer and closer to a certain value. In your problem, $x$ is moving closer and closer to $2$. How close? That depends on the choice of your $varepsilon>0$ in the first place. Now, understand that $x$ moves closer to $2$ means you can "bound" $x$. In this case, I can bound $x$ with any number (usually $1$ for simplicity and easy calculation). If you are in doubt, you can try to use another number such as $sqrt{2}$ but maybe the calculation will be not as good sometimes.



                Also, "guess work" as you mention is not entirely wrong. However, you need to be "smart" to guess the correct answer. In this case, do "rough" calculation in advance.



                So, let's think in different perspective. This is our goal :
                $$|x^{2} - 4| < varepsilon$$
                and this is our starting point :
                $$ |x- 2| < delta$$
                Now, consider our goal as starting point :
                begin{align*}
                &|x^2 - 4| = |x-2|,|x+2| < varepsilon \
                &|x-2| < frac{varepsilon}{|x+2|}
                end{align*}



                Now, we want to bound $x$. So, let's use different number, for example $frac{1}{2}$. Assume $|x-2|<frac{1}{2}$ then we have $frac{5}{2}< x+ 2 <frac{7}{2}$ which means $frac{5}{2}< |x+2| < frac{7}{2}$ and now we know that $frac{2}{7} < frac{1}{|x+4|} < frac{2}{5}$



                Going back to the previous inequality, we obtain
                $$|x-2| < frac{varepsilon}{|x+2|}<frac{2}{5}varepsilon$$



                Now, we can find $delta = min {frac{1}{2}, frac{2}{5}varepsilon}$ as our bound and start the proof. What I want to demonstrate here is for you to realize that "guess work" needs to be smartly done and there are a lot of answers to prove.






                share|cite|improve this answer

























                  up vote
                  0
                  down vote













                  I can relate to your difficulties. Before I answer your question, I would like to emphasize that in $varepsilon-delta$ proof, you need to do the "calculation" in advance.



                  Now, here is the thing... The concept of limit is probably best explained as moving closer and closer to a certain value. In your problem, $x$ is moving closer and closer to $2$. How close? That depends on the choice of your $varepsilon>0$ in the first place. Now, understand that $x$ moves closer to $2$ means you can "bound" $x$. In this case, I can bound $x$ with any number (usually $1$ for simplicity and easy calculation). If you are in doubt, you can try to use another number such as $sqrt{2}$ but maybe the calculation will be not as good sometimes.



                  Also, "guess work" as you mention is not entirely wrong. However, you need to be "smart" to guess the correct answer. In this case, do "rough" calculation in advance.



                  So, let's think in different perspective. This is our goal :
                  $$|x^{2} - 4| < varepsilon$$
                  and this is our starting point :
                  $$ |x- 2| < delta$$
                  Now, consider our goal as starting point :
                  begin{align*}
                  &|x^2 - 4| = |x-2|,|x+2| < varepsilon \
                  &|x-2| < frac{varepsilon}{|x+2|}
                  end{align*}



                  Now, we want to bound $x$. So, let's use different number, for example $frac{1}{2}$. Assume $|x-2|<frac{1}{2}$ then we have $frac{5}{2}< x+ 2 <frac{7}{2}$ which means $frac{5}{2}< |x+2| < frac{7}{2}$ and now we know that $frac{2}{7} < frac{1}{|x+4|} < frac{2}{5}$



                  Going back to the previous inequality, we obtain
                  $$|x-2| < frac{varepsilon}{|x+2|}<frac{2}{5}varepsilon$$



                  Now, we can find $delta = min {frac{1}{2}, frac{2}{5}varepsilon}$ as our bound and start the proof. What I want to demonstrate here is for you to realize that "guess work" needs to be smartly done and there are a lot of answers to prove.






                  share|cite|improve this answer























                    up vote
                    0
                    down vote










                    up vote
                    0
                    down vote









                    I can relate to your difficulties. Before I answer your question, I would like to emphasize that in $varepsilon-delta$ proof, you need to do the "calculation" in advance.



                    Now, here is the thing... The concept of limit is probably best explained as moving closer and closer to a certain value. In your problem, $x$ is moving closer and closer to $2$. How close? That depends on the choice of your $varepsilon>0$ in the first place. Now, understand that $x$ moves closer to $2$ means you can "bound" $x$. In this case, I can bound $x$ with any number (usually $1$ for simplicity and easy calculation). If you are in doubt, you can try to use another number such as $sqrt{2}$ but maybe the calculation will be not as good sometimes.



                    Also, "guess work" as you mention is not entirely wrong. However, you need to be "smart" to guess the correct answer. In this case, do "rough" calculation in advance.



                    So, let's think in different perspective. This is our goal :
                    $$|x^{2} - 4| < varepsilon$$
                    and this is our starting point :
                    $$ |x- 2| < delta$$
                    Now, consider our goal as starting point :
                    begin{align*}
                    &|x^2 - 4| = |x-2|,|x+2| < varepsilon \
                    &|x-2| < frac{varepsilon}{|x+2|}
                    end{align*}



                    Now, we want to bound $x$. So, let's use different number, for example $frac{1}{2}$. Assume $|x-2|<frac{1}{2}$ then we have $frac{5}{2}< x+ 2 <frac{7}{2}$ which means $frac{5}{2}< |x+2| < frac{7}{2}$ and now we know that $frac{2}{7} < frac{1}{|x+4|} < frac{2}{5}$



                    Going back to the previous inequality, we obtain
                    $$|x-2| < frac{varepsilon}{|x+2|}<frac{2}{5}varepsilon$$



                    Now, we can find $delta = min {frac{1}{2}, frac{2}{5}varepsilon}$ as our bound and start the proof. What I want to demonstrate here is for you to realize that "guess work" needs to be smartly done and there are a lot of answers to prove.






                    share|cite|improve this answer












                    I can relate to your difficulties. Before I answer your question, I would like to emphasize that in $varepsilon-delta$ proof, you need to do the "calculation" in advance.



                    Now, here is the thing... The concept of limit is probably best explained as moving closer and closer to a certain value. In your problem, $x$ is moving closer and closer to $2$. How close? That depends on the choice of your $varepsilon>0$ in the first place. Now, understand that $x$ moves closer to $2$ means you can "bound" $x$. In this case, I can bound $x$ with any number (usually $1$ for simplicity and easy calculation). If you are in doubt, you can try to use another number such as $sqrt{2}$ but maybe the calculation will be not as good sometimes.



                    Also, "guess work" as you mention is not entirely wrong. However, you need to be "smart" to guess the correct answer. In this case, do "rough" calculation in advance.



                    So, let's think in different perspective. This is our goal :
                    $$|x^{2} - 4| < varepsilon$$
                    and this is our starting point :
                    $$ |x- 2| < delta$$
                    Now, consider our goal as starting point :
                    begin{align*}
                    &|x^2 - 4| = |x-2|,|x+2| < varepsilon \
                    &|x-2| < frac{varepsilon}{|x+2|}
                    end{align*}



                    Now, we want to bound $x$. So, let's use different number, for example $frac{1}{2}$. Assume $|x-2|<frac{1}{2}$ then we have $frac{5}{2}< x+ 2 <frac{7}{2}$ which means $frac{5}{2}< |x+2| < frac{7}{2}$ and now we know that $frac{2}{7} < frac{1}{|x+4|} < frac{2}{5}$



                    Going back to the previous inequality, we obtain
                    $$|x-2| < frac{varepsilon}{|x+2|}<frac{2}{5}varepsilon$$



                    Now, we can find $delta = min {frac{1}{2}, frac{2}{5}varepsilon}$ as our bound and start the proof. What I want to demonstrate here is for you to realize that "guess work" needs to be smartly done and there are a lot of answers to prove.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Nov 27 at 6:46









                    Evan William Chandra

                    498313




                    498313






















                        up vote
                        0
                        down vote













                        What @arthur points out is spot on I would just like to add a couple things to it.



                        The reason we often choose some "maximal" delta to begin with is to make it easier to work with the piece of the function that's left. For $x^2$ at $2$ this can be nicely seen graphically. X^2 bounded



                        Notice that the in the region bounded by the blue and red lines (that's between $2-1=1$ and $2+1=3$ the function $x^2$ is particularly well behaved. It is strictly increasing it is defined everywhere and so will be easy to work with. That is why we want to make sure no matter how big an $epsilon$ someone gives us we always work in this nice region.



                        Doing this lets us assume nice things in our proof later on. For example $|x+2|leq 5$ and also $x>0$. When we later try to bound $|x^2-4|$ this information can (and does) come in handy.



                        This is even more important when our functions are less well behaved than a quadratic. You might have functions that are not defined everywhere or behave very badly at some points. Compare to a function like $frac{sin(1/x)}{100}$
                        0.01sin(1/x)



                        This function is continuous everywhere except at $0$ and consequently has a limit everywhere. But if you want to prove that it has a limit somewhere other than $0$ you really want to bound yourself away from that nasty oscillation so you can work with a function that behaves nicely at the place you're taking your limit.






                        share|cite|improve this answer

























                          up vote
                          0
                          down vote













                          What @arthur points out is spot on I would just like to add a couple things to it.



                          The reason we often choose some "maximal" delta to begin with is to make it easier to work with the piece of the function that's left. For $x^2$ at $2$ this can be nicely seen graphically. X^2 bounded



                          Notice that the in the region bounded by the blue and red lines (that's between $2-1=1$ and $2+1=3$ the function $x^2$ is particularly well behaved. It is strictly increasing it is defined everywhere and so will be easy to work with. That is why we want to make sure no matter how big an $epsilon$ someone gives us we always work in this nice region.



                          Doing this lets us assume nice things in our proof later on. For example $|x+2|leq 5$ and also $x>0$. When we later try to bound $|x^2-4|$ this information can (and does) come in handy.



                          This is even more important when our functions are less well behaved than a quadratic. You might have functions that are not defined everywhere or behave very badly at some points. Compare to a function like $frac{sin(1/x)}{100}$
                          0.01sin(1/x)



                          This function is continuous everywhere except at $0$ and consequently has a limit everywhere. But if you want to prove that it has a limit somewhere other than $0$ you really want to bound yourself away from that nasty oscillation so you can work with a function that behaves nicely at the place you're taking your limit.






                          share|cite|improve this answer























                            up vote
                            0
                            down vote










                            up vote
                            0
                            down vote









                            What @arthur points out is spot on I would just like to add a couple things to it.



                            The reason we often choose some "maximal" delta to begin with is to make it easier to work with the piece of the function that's left. For $x^2$ at $2$ this can be nicely seen graphically. X^2 bounded



                            Notice that the in the region bounded by the blue and red lines (that's between $2-1=1$ and $2+1=3$ the function $x^2$ is particularly well behaved. It is strictly increasing it is defined everywhere and so will be easy to work with. That is why we want to make sure no matter how big an $epsilon$ someone gives us we always work in this nice region.



                            Doing this lets us assume nice things in our proof later on. For example $|x+2|leq 5$ and also $x>0$. When we later try to bound $|x^2-4|$ this information can (and does) come in handy.



                            This is even more important when our functions are less well behaved than a quadratic. You might have functions that are not defined everywhere or behave very badly at some points. Compare to a function like $frac{sin(1/x)}{100}$
                            0.01sin(1/x)



                            This function is continuous everywhere except at $0$ and consequently has a limit everywhere. But if you want to prove that it has a limit somewhere other than $0$ you really want to bound yourself away from that nasty oscillation so you can work with a function that behaves nicely at the place you're taking your limit.






                            share|cite|improve this answer












                            What @arthur points out is spot on I would just like to add a couple things to it.



                            The reason we often choose some "maximal" delta to begin with is to make it easier to work with the piece of the function that's left. For $x^2$ at $2$ this can be nicely seen graphically. X^2 bounded



                            Notice that the in the region bounded by the blue and red lines (that's between $2-1=1$ and $2+1=3$ the function $x^2$ is particularly well behaved. It is strictly increasing it is defined everywhere and so will be easy to work with. That is why we want to make sure no matter how big an $epsilon$ someone gives us we always work in this nice region.



                            Doing this lets us assume nice things in our proof later on. For example $|x+2|leq 5$ and also $x>0$. When we later try to bound $|x^2-4|$ this information can (and does) come in handy.



                            This is even more important when our functions are less well behaved than a quadratic. You might have functions that are not defined everywhere or behave very badly at some points. Compare to a function like $frac{sin(1/x)}{100}$
                            0.01sin(1/x)



                            This function is continuous everywhere except at $0$ and consequently has a limit everywhere. But if you want to prove that it has a limit somewhere other than $0$ you really want to bound yourself away from that nasty oscillation so you can work with a function that behaves nicely at the place you're taking your limit.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Nov 27 at 10:42









                            DRF

                            4,477926




                            4,477926






























                                draft saved

                                draft discarded




















































                                Thanks for contributing an answer to Mathematics Stack Exchange!


                                • Please be sure to answer the question. Provide details and share your research!

                                But avoid



                                • Asking for help, clarification, or responding to other answers.

                                • Making statements based on opinion; back them up with references or personal experience.


                                Use MathJax to format equations. MathJax reference.


                                To learn more, see our tips on writing great answers.





                                Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                                Please pay close attention to the following guidance:


                                • Please be sure to answer the question. Provide details and share your research!

                                But avoid



                                • Asking for help, clarification, or responding to other answers.

                                • Making statements based on opinion; back them up with references or personal experience.


                                To learn more, see our tips on writing great answers.




                                draft saved


                                draft discarded














                                StackExchange.ready(
                                function () {
                                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3015411%2fchoosing-delta-for-a-given-varepsilon-when-computing-lim-x-to-2x2-4%23new-answer', 'question_page');
                                }
                                );

                                Post as a guest















                                Required, but never shown





















































                                Required, but never shown














                                Required, but never shown












                                Required, but never shown







                                Required, but never shown

































                                Required, but never shown














                                Required, but never shown












                                Required, but never shown







                                Required, but never shown







                                Popular posts from this blog

                                Berounka

                                Sphinx de Gizeh

                                Different font size/position of beamer's navigation symbols template's content depending on regular/plain...