: Epsilon delta definition of limits

207 views

I mean why would someone deliberately create such confusing definition of limits. Why would existance of delta affects epsilon, why in proof can i put any value of delta (usually 1) and then i have to overwrite that to delta = min {1, something}. Also, proof of any question that says to prove the limit of this fx is (insert number), does not make any sense. Please explain.

In: 0

3 Answers

Anonymous 0 Comments

The formal epsilon-delta definition of a limit is a very sophisticated and subtle piece of technology which took hundreds of years to develop and doesn’t get the justice it deserves in a typical Calculus class.

The biggest thing to keep in mind about limits is that they are, effectively, instructions on how to get arbitrarily precise approximations. For example, if you want a decent approximation for pi then you can use the classic limit sin(pi*x)/x -> pi as x goes to zero. The idea is that if you plug in a small enough number for x, then the closer the value is going to be to pi.* But all you know from this description above is that “When x is small, sin(pi*x)/x is close to pi.” That’s not particularly useful and is *very* imprecise. What does “small” mean? What does “close to pi” mean? Will it be close enough for your purposes?

If I’m making a hyper precise construction, then I can’t necessarily know that the value I have for pi is a good enough approximation for my purposes just because I plugged in a “small feeling” number. So I would go back to the mathematician and say: “I need an approximation for pi that is accurate to 5 decimal places.” And so the mathematician has to answer the following problem: “How small does my x need to be before I can *guarantee* that the resulting approximation is correct up to 5 decimal places?” Or, more technically:

* How much of a bound do I need to put on the size of |x| in order to guarantee that |sin(pi x)/x – pi| < 10^(-5) ?

That is, given a pre-determined allowable error 𝜀 for my approximation, what is the biggest size (or, wiggle room) 𝛿 that I have for the input value? This is the underlying idea of the 𝜀-𝛿 definition of a limit. The statement for a limit is a bit more powerful though. The function sin(pi x)/x can not only approximate pi to 5 decimal places, but to ANY precision we can think about. That is for ANY error 𝜀, I know for a fact that I can find a number 𝛿 so that if |x|<𝛿 then my approximation will be within error 𝜀. That’s what a limit is.

Continuity is a slightly different thing. Intuitively, a continuous function has no radical jumps and can be drawn by a pencil without lifting it off the page. What this means is that if you have your pencil stopped while drawing the graph, then the proceeding values can’t really do anything crazy since they have to connect to where your pencil is. What we might say, then, is that in a continuous function, the value of f(a) is *approximated* by the values of f(x) for x *near* x=a. That is, a function approximates itself. This brings the question to limits, and so we say that the limit at a point must be the value at the point.

Thinking of Calculus in terms of approximation make things much more conceptually grounded than trying to wrap your brain around infinitesimals or whatever, it’s more formally correct, and it’s much more practical as well. But getting from Newton and Leibniz’s calculus with all these vague notions of fluxions and infinitesimals to today’s rigorous and useful understanding of them takes a lot of work, and it’s a good story. If you want to read a bit of it, check out [this paper](https://maa.org/sites/default/files/pdf/upload_library/22/Ford/Grabiner185-194.pdf).

—-

**Side note, this is related to what Archimedes did for his approximation for pi as he plugged x=1/96 into it (which he was able to directly compute using half-angle formulas for sine).**

You are viewing 1 out of 3 answers, click here to view all answers.