Mathematics
The Epsilon-Delta Definition of a Limit
Quick fact
The epsilon-delta definition was developed in the 19th century by mathematicians like Cauchy and Weierstrass, replacing the vague notion of 'getting closer' with pure logic—no mention of motion or time.
Why this is interesting
You know a limit is 'the value a function gets close to', but what does 'close' really mean? How close is close enough, and can you ever be sure?
Read the full explanation
Understanding The Epsilon-Delta Definition of a Limit
Imagine you're a quality inspector for a parts factory. A machine (the function) produces a part, and you need its length to be within 1 millimeter of the target length L. 'Within 1 mm' is your epsilon (ε). To guarantee that, you set a tolerance on the machine's setting: how close the input dial must be to the setpoint c. That tolerance is delta (δ). If you can always find a δ that works for every ε you choose, then the machine's output truly approaches L as the input approaches c. This is the essence: no matter how small the allowed error (ε), we can find an acceptable input range (δ) to ensure the output is within that error.
A deeper explanation
Formally, we say lim(x→c) f(x) = L if for every ε 0, there exists a δ 0 such that whenever 0 < |x - c| < δ, then |f(x) - L| < ε. The key is the order of quantifiers: ε is chosen first (any degree of closeness), and δ can depend on ε (and on c if the limit is pointwise). This captures the notion that as x gets arbitrarily close to c (within δ), f(x) gets arbitrarily close to L (within ε). The condition 0 < |x - c| means we don't care about the function's value at c itself—only near it. This definition eliminates the need for motion or infinitesimals, providing a logical foundation for all of calculus. It allows us to prove continuity, define derivatives as limits of difference quotients, and rigorously establish integrals. It is the standard by which 'approaching' is judged in mathematics.