Chapter 04
Limits and ε-δ: Defining "Getting Arbitrarily Close"
A limit is the mathematical tool that lets us predict the state at a goal point without actually reaching it. Measuring the instantaneous velocity of a moving object, or the process of AI learning step by step toward the answer, all rest on this concept of limit.
Math diagram by chapter
Select a chapter to see its diagram below. View the flow of basic math at a glance.
See the limit and ε-δ in the graph below.
Summary: Pick error ε (green); then there is distance δ (blue) so that whenever x is in the blue band, f(x) is in the green band. That is the idea of ε-δ.
How to read
- Orange point = (x, f(x)) on the curve approaching (2, 4)
- Green band = L±ε (allowed error for f(x))
- Blue band = a±δ (if x is here, f(x) is in the green band)
What is a limit?
A limit describes where the function is heading as gets arbitrarily close to some value . We write . The key point is that never actually equals —we only look at the trend in the immediate neighborhood of .
Intuitive example: Imagine navigation where the distance to your destination shrinks from , , , . Even if the car never "exactly" stops at the destination, we know where it's going. In math we say that as approaches , the distance between and converges to 0. When a limit does not exist: For as , the left limit () and right limit () differ, so no limit is defined. One-sided limits like as are well defined.
The epsilon ()–delta () definition is the precise mathematical agreement that defines a limit. Think of it as a bet:
(1) Someone challenges you: "Can you keep the error within (whether 0.1 or 0.0001)?"
(2) You prove: "If I keep within some distance of , the result is guaranteed to fall within that error ." So the core of epsilon-delta is: no matter how small an error () you demand, I can always find a range of () that satisfies it.
Because it is the only way to define the instantaneous rate of change (derivative). "Instantaneous" means a time interval of zero—and we cannot divide by zero. By sending the interval arbitrarily close to zero (a limit), we can compute speed even from a single frozen frame.
It guarantees continuity and differentiability. If the AI's graph is broken or has a sharp spike, learning is impossible. The limit must exist and equal the function value for "continuity," and only then can we use differentiation to find the direction that reduces error. In other words, limits are the map that keeps AI from getting lost.
It is the theoretical foundation of gradient descent. When we say AI updates parameters by "a tiny amount," that "tiny amount" is justified mathematically by the limit. Tuning the learning rate and searching for the optimum is like implementing the idea of a limit in computation. Numerical differentiation also uses the limit principle when we take very small (e.g. ) to approximate the derivative.
When looking at a limit, focus on where is going (e.g. , ) and what value gets close to. Drawing the graph helps: you'll see bunch up near around .
Epsilon-delta proofs work by choosing first, then finding a that works. In practice, understanding that "close enough gives as small an error as we want" is enough to move on to derivatives and continuity.
Example problems and solutions are in the table below.
- ProblemEx 1.
- SolutionSolution: Substitute : . Answer 5.
- ProblemEx 2.
- SolutionSolution: As grows, . Answer 0.
- ProblemEx 3.
- SolutionSolution: Substitute : . Answer 5.
| Problem | Solution |
|---|---|
| Ex 1. | Solution: Substitute : . Answer 5. |
| Ex 2. | Solution: As grows, . Answer 0. |
| Ex 3. | Solution: Substitute : . Answer 5. |
Problem types and how to solve
- TypePolynomial limit
- Description, polynomial
- How to get the answerPolynomials are continuous; substitute . Limit = function value.
- TypeConstant
- Description
- How to get the answerConstant is regardless of . Answer .
- TypeLinear
- Description
- How to get the answerSubstitute → .
- Typex→∞
- Description
- How to get the answerSee what approaches as grows. , → 0. Use leading term.
- Typeε-δ concept
- DescriptionNumber asked in the definition
- How to get the answerEnter the number that matches (e.g. 1=distance, 2=error).
| Type | Description | How to get the answer |
|---|---|---|
| Polynomial limit | , polynomial | Polynomials are continuous; substitute . Limit = function value. |
| Constant | Constant is regardless of . Answer . | |
| Linear | Substitute → . | |
| x→∞ | See what approaches as grows. , → 0. Use leading term. | |
| ε-δ concept | Number asked in the definition | Enter the number that matches (e.g. 1=distance, 2=error). |
Example (polynomial limit)
Find .
Solution
Polynomial is continuous; substitute . . → Answer 5
Example (linear)
Find .
Solution
Substitute → . → Answer 5
Example (constant)
Find .
Solution
Constant function is 7 for all . → Answer 7
Example (x→∞)
Find .
Solution
As grows, approaches 0. → Answer 0