Continuity

A function is continuous at a point if its graph has no break, jump, or hole there — formally, the limit of the function as you approach the point equals the function's actual value. Key result: ${\lim }_{x\to a}f(x)=f(a)$. Applies across calculus, analysis, and physics wherever smooth, unbroken behaviour matters. Rigorously formulated by Cauchy, Bolzano, and Weierstrass in the 19th century.

A function $f$ is continuous at a point $a$ when three conditions hold simultaneously: $f(a)$ is defined, the limit ${\lim }_{x\to a}f(x)$ exists, and these two values are equal. A function continuous at every point of its domain (or an interval) is simply called continuous. Continuity matters because it is the precise mathematical translation of the everyday idea that you can draw a graph "without lifting your pen," and it is the foundation on which the Intermediate Value Theorem, the Extreme Value Theorem, integration, and differentiation are built. A surprising fact: there exist functions — like the Weierstrass function — that are continuous everywhere yet have a corner (no well-defined slope) at every single point, so continuity is genuinely weaker than smoothness.

The Core Insight

Continuity is a local promise about predictability: if you know where a point is heading (its limit), continuity guarantees the function actually arrives there. The whole concept reduces to forcing the predicted value (the limit) and the actual value (the function value) to coincide. Everything else — sums of continuous functions, the IVT, integrability — flows from this single equality.

Formal Statement

Continuity at a Point

Let $f$ be a function defined on an open interval containing $a$. We say $f$ is continuous at $a$ if:

For this single equation to be valid, all three of the following must hold:

Here $x$ is the input variable, $a$ is the point of interest, $f(a)$ is the function's value at $a$, and ${\lim }_{x\to a}f(x)$ is the value $f(x)$ approaches as $x$ gets arbitrarily close to $a$ (from both sides).

The ε–δ Definition

The rigorous (Weierstrass) form: $f$ is continuous at $a$ if for every $\epsilon >0$ there exists a $\delta >0$ such that:

Here $\epsilon$ (epsilon) is the allowed output error and $\delta$ (delta) is the required input closeness. Note that no "$0<|x-a|$" is needed, unlike the limit definition, because $x=a$ trivially satisfies the conclusion.

Continuity on an Interval

Intermediate Value Theorem

If $f$ is continuous on the closed interval $[a,b]$ and $N$ is any value strictly between $f(a)$ and $f(b)$, then there exists at least one $c\in (a,b)$ such that:

Extreme Value Theorem

If $f$ is continuous on a closed, bounded interval $[a,b]$, then $f$ attains both an absolute maximum value $M$ and an absolute minimum value $m$ somewhere on $[a,b]$:

Why It Holds / Derivation

Sum of Continuous Functions is Continuous

The same argument structure (using the corresponding limit laws) proves that differences, products, and quotients (where the denominator is nonzero) of continuous functions are continuous.

Augustin-Louis Cauchy | 1789–1857

Cauchy was the French mathematician who, in his 1821 Cours d'analyse, gave the first widely-adopted limit-based definition of continuity, writing that an infinitely small increment in $x$ produces an infinitely small increment in $f(x)$. Though he still leaned on the language of "infinitesimals," his work decisively shifted analysis away from vague geometric intuition toward arithmetical rigor. His foundational program was later sharpened by Bolzano (who had similar ideas slightly earlier but in obscurity) and completed by Weierstrass's ε–δ formalism, giving us the definitions in this article.

Building Intuition

Think of continuity through three mental pictures:

1. The pen test. A function is continuous on an interval if you can draw its entire graph there without lifting your pen off the paper. Jumps, holes, and vertical-asymptote blowups all force you to lift the pen.

1. The zoom-in test. Pick the point $a$. As you demand the output stay within an ever-tighter band of width $\epsilon$ around $f(a)$, you can always satisfy this by restricting the input to a small-enough window of width $\delta$ around $a$. The function "settles down" to $f(a)$ as you approach.

1. The prediction test. Stand at $a$ and ask: "Based only on where the function is heading from nearby points, where do I predict it to be?" That prediction is the limit. Continuity means the function keeps its promise — it actually is where you predicted.

The deep point: continuity is about agreement between trend and reality. A discontinuity is a broken promise.

A continuous function (gold) versus a jump discontinuity at x = a

Worked Examples

Checking Continuity of a Piecewise Function

Since ${\lim }_{x\to 3}f(x)=7=f(3)$:

Finding a Root via the Intermediate Value Theorem

Common Misconceptions

Continuous Everywhere, Differentiable Nowhere

The Weierstrass function, introduced in 1872, is defined by:

This function is continuous at every real number but has a corner at every single point — you can draw it without lifting your pen, yet it has no well-defined slope anywhere. It shattered the 19th-century intuition that "continuous curves are smooth except at isolated points."

The Removable Discontinuity

Consider:

Connections

Continuity sits at a crossroads of introductory analysis:

• It is built directly on top of Limit of a Function — equation [1] is a statement about a limit equalling a value.
• It is a necessary precondition for Differentiability: a function must be continuous at a point to be differentiable there (the converse fails).
• It guarantees Riemann Integrability: every function continuous on $[a,b]$ is integrable there.
• It powers two cornerstone existence theorems, the Intermediate Value Theorem and the Extreme Value Theorem, which underlie root-finding and optimization.
• A stronger cousin, Uniform Continuity, demands a single $\delta$ that works across the whole domain, not just locally.

Real-World Applications

1. Bridge and beam engineering. Stress and deflection along a beam are modelled as continuous functions; the Extreme Value Theorem guarantees a maximum-stress point exists, which engineers must locate and reinforce.

1. Root-finding algorithms (bisection method). The Intermediate Value Theorem is the mathematical license for the bisection algorithm used in calculators, CAD software, and numerical solvers to locate solutions of $f(x)=0$.

1. Computer graphics and animation. Smooth motion paths and morphing between shapes require continuous (and usually $C^1$ or $C^2$) interpolating curves; visible "jumps" correspond to discontinuities.

1. Economics — supply and demand. The existence of a market-clearing price (where supply equals demand) follows from IVT applied to a continuous excess-demand function.

1. Thermodynamics and phase transitions. Most physical quantities (temperature, pressure) vary continuously, but phase transitions (ice melting) are points where some derivative becomes discontinuous — classified by exactly which quantity breaks continuity.

1. Signal processing. Continuous-time signals underpin audio and communications; reconstructing a continuous waveform from samples relies on continuity assumptions.

1. Control systems and robotics. Continuous controllers ensure a robot arm's commanded position changes smoothly, avoiding the destructive jerks a discontinuous command would cause.

Historical Development

• c. 300 BCE — Euclid & the Greeks. Implicit geometric notions of "unbroken" magnitudes, but no formal definition; continuity was visual.
• 1665–1700 — Newton & Leibniz. Calculus invented using "flowing" quantities and infinitesimals; continuity assumed intuitively, never rigorously defined.
• 1817 — Bernard Bolzano. Published Rein analytischer Beweis, giving an essentially modern definition of continuity and proving an early form of the IVT — but his work went largely unnoticed.
• 1821 — Augustin-Louis Cauchy. Cours d'analyse defined continuity via limits/infinitesimals, the first influential rigorous treatment, anchoring analysis in arithmetic.
• 1854 — Bernhard Riemann. Connected continuity to integrability, defining the Riemann integral and clarifying which functions can be integrated.
• 1872 — Karl Weierstrass. Published the ε–δ definition and the everywhere-continuous, nowhere-differentiable function, demolishing naive intuition.
• 1872 — Georg Cantor & Richard Dedekind. Rigorous constructions of the real numbers (Cauchy sequences, Dedekind cuts) finally gave continuity a solid foundation — the completeness of $\mathbb{R}$ is what makes the IVT true.
• 1906 — Maurice Fréchet. Generalized continuity to abstract metric spaces, paving the way for topology.
• 1914 — Felix Hausdorff. Formalized topological spaces, recasting continuity purely in terms of open sets ("preimages of open sets are open"), the most general modern viewpoint.

Subtleties & Limits

While continuity for functions $\mathbb{R}\to \mathbb{R}$ is fully settled, deep subtleties persist at higher levels:

• Classifying "how" a function fails continuity led to the rich theory of Baire classes and Borel hierarchies; characterizing the set of discontinuities of arbitrary functions (which must be an $F_{\sigma }$ set) is subtle.
• Generalizing continuity to abstract spaces raises questions about which topologies make familiar operations continuous; some natural function spaces have no metric capturing the "right" notion.
• The interplay of continuity and measurability (e.g. Lebesgue's theorem that a bounded function is Riemann-integrable iff its discontinuity set has measure zero) sits at the boundary of analysis and is fully understood only with measure theory.
• In computability, whether a "continuous" object can be computed to arbitrary precision is an active concern in computable analysis, where some classically continuous functions resist algorithmic evaluation.

See Also