A function f is continuous at a point c if and only if, for every ε > 0, there exists a δ > 0 such that whenever |x − c| < δ, it follows that |f(x) − f(c)| < ε.
This is the epsilon-delta definition -- the rigorous foundation upon which all of analysis rests. It says, in essence, that small changes in input produce small changes in output. That the function makes no sudden leaps. That the curve, if you zoom in far enough, becomes indistinguishable from a straight line.
Continuity is not merely a property. It is a promise -- a guarantee that the function will not betray you with unexpected gaps or violent jumps. It is the mathematical embodiment of trust.
The word "continuous" derives from the Latin continuus -- holding together, uninterrupted. Leibniz first formalized the notion: natura non facit saltus -- nature makes no leaps.
If f: [a,b] → ℝ is continuous, then the image f([a,b]) is a connected subset of ℝ. In particular, f satisfies the Intermediate Value Theorem: for every value y between f(a) and f(b), there exists c ∈ [a,b] such that f(c) = y.
The continuous function traces every intermediate state. It cannot skip from one value to another without passing through everything in between. This is the theorem that guarantees solutions exist -- that roots can be found, that temperatures must pass through every degree between hot and cold, that a journey from here to there must traverse every point along the way.
To be continuous is to be committed to completeness. No shortcuts. No teleportation. Every transition, fully earned.
Bolzano (1817) first proved this theorem rigorously, though it was considered "obvious" for centuries. The obvious often conceals the profound -- continuity's power lies precisely in what it forbids.
A continuous function on a closed, bounded interval [a,b] attains both its maximum and minimum values. There exist points c, d ∈ [a,b] such that f(c) ≤ f(x) ≤ f(d) for all x ∈ [a,b].
The continuous function, constrained to a finite domain, is bounded in its ambitions. It reaches a peak. It touches a nadir. It does not escape to infinity or collapse to negative infinity. Within its domain, it achieves everything it is capable of achieving.
This is the mathematician's optimism: given sufficient constraints and the guarantee of continuity, perfection is attainable. The maximum exists. The minimum exists. The best and worst outcomes are known, finite, and reachable.
Weierstrass formalized this in the 1860s. The theorem fails without continuity -- a single discontinuity can send values spiraling beyond all bounds. Continuity is the price of certainty.
As x approaches c from the left, the function draws nearer and nearer to its promised value. The distance shrinks -- one unit, half a unit, a tenth, a hundredth, a thousandth --
-- a millionth, a billionth, vanishing toward zero but never arriving. From the right, the function mirrors this approach, converging with equal determination toward the same unreachable point.