244
@awkward_ash ·

How do I choose delta in an epsilon delta proof without just guessing Concept

I can follow epsilon delta proofs when I read them but I cannot produce one. The step where the proof says let delta equal epsilon over five feels like it came from nowhere. How do people actually find that number, and am I allowed to show the work that got me there or does it have to look clean like the textbook?

8 answers Share
Report

Answering anonymously — a moderator will review it first.

  • @corwin_ashby · 9mo ago · 3 replies

    You find delta by working backwards, on scratch paper, and then you write the proof forwards. Those are two separate documents and your textbook only shows you the second one.

    Scratch: start from what you want, |f(x) - L| < ε, and manipulate until you have |x - a| < something. For f(x) = 3x + 1 at a = 2, |3x + 1 - 7| = 3|x - 2|, and you want that under ε, so |x - 2| < ε/3. That is where delta came from.

    Proof: let δ = ε/3, assume 0 < |x - 2| < δ, then |f(x) - 7| = 3|x - 2| < 3δ = ε. Done. Nothing mysterious, just the scratch work read right to left.

    331
    Share
    Reply

    Answering anonymously — a moderator will review it first.

    Report
    • @awkward_ash · 9mo ago

      The two documents framing is what I was missing. I kept trying to derive it in the proof itself and getting tangled.

      88
      Share
      Reply

      Answering anonymously — a moderator will review it first.

      Report
    • @napgapnora · 9mo ago

      Most graders are fine with you writing the scratch work in the margin or labelling it as such, as long as the actual proof stands alone. Ask yours, it costs nothing.

      40
      Share
      Reply

      Answering anonymously — a moderator will review it first.

      Report
  • @heirloom_hank · 9mo ago · 3 replies

    For anything nonlinear you need the second trick: bound delta by 1 first, then use that bound to control the messy factor.

    Example, f(x) = x² at a = 3. |x² - 9| = |x - 3||x + 3|. The |x + 3| is the problem because it depends on x. So say up front you will take δ ≤ 1, which forces 2 < x < 4, which forces |x + 3| < 7. Now |x² - 9| < 7|x - 3|, and you finish with δ = min(1, ε/7).

    That min(1, ...) pattern covers about ninety percent of the exercises you will be given.

    216
    Share
    Reply

    Answering anonymously — a moderator will review it first.

    Report
    • @awkward_ash · 9mo ago

      So the 1 is arbitrary? Could I have used 1/2 and gotten a different bound?

      31
      Share
      Reply

      Answering anonymously — a moderator will review it first.

      Report
    • @heirloom_hank · 9mo ago

      Completely arbitrary. Use 1/2 and you get |x + 3| < 6.5, and δ = min(1/2, ε/6.5) is an equally correct proof. 1 is just the laziest choice that keeps the arithmetic clean.

      62
      Share
      Reply

      Answering anonymously — a moderator will review it first.

      Report
  • @springtail_stella · 9mo ago

    Also worth saying out loud because nobody does: you are allowed to overshoot. Delta does not have to be the largest one that works. If ε/3 works then ε/10 works too. Proofs are not optimisation problems.

    119
    Share
    Reply

    Answering anonymously — a moderator will review it first.

    Report
  • @mat_mira · 9mo ago

    One habit that made these click for me: after you write down a delta, sanity check it with a number. Set ε = 0.03, compute your delta, pick an x that far from a, and see whether f(x) really lands inside the window. If it does not, your algebra dropped a factor somewhere.

    74
    Share
    Reply

    Answering anonymously — a moderator will review it first.

    Report