Epsilon — Definition, Formula & Examples
Epsilon (ε) is a Greek letter that represents an arbitrarily small positive number, most commonly used in the formal definition of limits. It quantifies how close a function's output must be to the limit value.
In the epsilon-delta definition of a limit, denotes a positive real number such that for every , there exists a corresponding satisfying the condition , where is the limit of as .
Key Formula
Where:
- = An arbitrarily small positive number bounding the distance from f(x) to L
- = A positive number bounding the distance from x to c
- = The limit value of f(x) as x approaches c
- = The point that x approaches
How It Works
In an epsilon-delta proof, your goal is to show that no matter how small someone chooses , you can always find a that keeps within of the limit . Think of as a tolerance on the output: it defines a band around the limit. Your job is to find a corresponding input window that guarantees stays inside that band. Because is arbitrary, the proof must work for every positive value, no matter how tiny.
Worked Example
Problem: Use the epsilon-delta definition to prove that the limit of f(x) = 3x + 1 as x → 2 is 7.
Set up the epsilon condition: We need |f(x) - L| < ε, which becomes |3x + 1 - 7| < ε.
Factor and relate to |x - c|: Factor out 3 to connect the expression to |x - 2|.
Choose delta: Set δ = ε/3. Then whenever 0 < |x - 2| < δ, we get |3x + 1 - 7| = 3|x - 2| < 3·(ε/3) = ε.
Answer: For every ε > 0, choosing δ = ε/3 guarantees |f(x) - 7| < ε, proving the limit is 7.
Why It Matters
Epsilon-delta proofs are the rigorous foundation of calculus, required in college-level real analysis and advanced calculus courses. Mastering this notation is essential for proving continuity, differentiability, and convergence — concepts that underpin engineering, physics, and computer science applications.
Common Mistakes
Mistake: Choosing a specific value for ε (like ε = 0.01) instead of keeping it arbitrary.
Correction: The proof must work for every ε > 0. Your δ should be expressed as a function of ε (e.g., δ = ε/3), not tied to a single number.
