Continuous function

A continuous function is a function that does not exhibit any abrupt changes in value—small variations in the input produce arbitrarily small variations in the output. In mathematical analysis, this intuitive notion is formalized in several equivalent ways, most notably using limits, epsilon–delta definitions, and topological notions of open sets. Continuity is a fundamental property examined in real analysis, complex analysis, functional analysis, and topology, and it underpins key theorems such as the intermediate value theorem and the extreme value theorem.

History and motivation

The concept of continuity emerged in the 17th and 18th centuries as mathematicians sought to describe motion and physical quantities that change smoothly. Early ideas by Leibniz and Newton relied on infinitesimals and geometric intuition. In the 19th century, the need for rigorous foundations led Cauchy and later Weierstrass to introduce the epsilon–delta formulation, which eliminated reliance on infinitesimals and placed calculus on a solid arithmetic basis. This definition, along with the later topological generalization by Felix Hausdorff and others, transformed continuity into a purely set-theoretic concept, applicable far beyond the real numbers.

Definitions in real analysis

Limit-based definition

For a real-valued function \( f \) defined on a subset \( D \) of the real numbers, \( f \) is continuous at a point \( c \in D \) if
\[
\lim_{x \to c} f(x) = f(c).
\]
This requires that the limit exists, that \( f(c) \) is defined, and that they are equal. If the domain \( D \) contains an interval around \( c \), the limit is the two-sided limit; otherwise, one-sided limits are used for endpoints.

Epsilon–delta definition

The modern standard definition, introduced by Weierstrass, avoids the term “limit” and expresses continuity directly: \( f \) is continuous at \( c \in D \) if for every \( \varepsilon > 0 \) there exists a \( \delta > 0 \) such that for all \( x \in D \),
\[
|x - c| < \delta \implies |f(x) - f(c)| < \varepsilon.
\]
In words, no matter how small a tolerance \( \varepsilon \) is chosen around \( f(c) \), there is a sufficiently small neighbourhood of \( c \) within which all function values stay within that tolerance. A function is continuous on a set if it is continuous at every point of that set.

Continuity via sequences

In the context of metric spaces, continuity at a point \( c \) can be characterized by sequences: for every sequence \( (x_n) \) in the domain converging to \( c \), the sequence \( (f(x_n)) \) converges to \( f(c) \). This sequential criterion is equivalent to the epsilon–delta definition for metric spaces and is often used in proofs.

Topological definition

In general topology, continuity is defined without reference to distance. A function \( f : X \to Y \) between topological spaces is continuous if the preimage of every open set in \( Y \) is open in \( X \). Equivalently, the preimage of every closed set is closed. For a point \( c \in X \), \( f \) is continuous at \( c \) if for every neighbourhood \( V \) of \( f(c) \) there exists a neighbourhood \( U \) of \( c \) such that \( f(U) \subseteq V \). The topological definition unifies the treatment of continuity across diverse spaces, including metric spaces, function spaces, and ordered sets.

Examples and non-examples

• Polynomials \( p(x) = a_n x^n + \dots + a_0 \) are continuous on \( \mathbb{R} \).
• Trigonometric, exponential, and logarithmic functions are continuous on their natural domains.
• The absolute value function \( |x| \) is continuous everywhere; it is even uniformly continuous.
• The Dirichlet function \( f(x) = 1 \) if \( x \in \mathbb{Q} \), \( 0 \) otherwise, is discontinuous at every point.
• The step function \( H(x) = 0 \) for \( x < 0 \), \( H(x) = 1 \) for \( x \geq 0 \), is continuous everywhere except at \( x = 0 \), where it has a jump discontinuity.

Properties of continuous functions

Continuous functions preserve many structural properties of spaces and permit a rich calculus.

Algebraic properties

If \( f \) and \( g \) are continuous at a point, then so are \( f + g \), \( f - g \), \( f \cdot g \), and (provided the denominator is nonzero) \( f/g \). Composition of continuous functions is continuous: if \( f \) is continuous at \( c \) and \( g \) is continuous at \( f(c) \), then \( g \circ f \) is continuous at \( c \).

Topological preservation

A continuous image of a compact set is compact. A continuous image of a connected set is connected. In \( \mathbb{R} \), these yield important corollaries: a continuous function on a closed interval attains its maximum and minimum (extreme value theorem), and it takes every intermediate value between any two function values (intermediate value theorem). Continuity also preserves path-connectedness.

Uniform continuity

A function is uniformly continuous on a set if a single \( \delta \) can serve for all points \( c \) given the same \( \varepsilon \). Formally, for every \( \varepsilon > 0 \) there exists \( \delta > 0 \) such that for all \( x, y \) in the domain, \( |x - y| < \delta \) implies \( |f(x) - f(y)| < \varepsilon \). Every uniformly continuous function is continuous, but the converse is false (e.g., \( 1/x \) on \( (0,1] \)). On compact sets, continuity implies uniform continuity (Heine–Cantor theorem).

Lipschitz continuity and Hölder continuity

Stronger forms of continuity impose quantitative control. A function is Lipschitz continuous if there exists a constant \( L \) such that \( |f(x) - f(y)| \le L|x - y| \) for all \( x, y \). Lipschitz functions are uniformly continuous. Hölder continuity generalizes this with a power \( \alpha \in (0,1] \). These concepts are essential in the theory of differential equations and metric geometry.

Continuity in other settings

Complex analysis

A complex function \( f : \Omega \subseteq \mathbb{C} \to \mathbb{C} \) is continuous if the usual epsilon–delta definition holds with the modulus replacing absolute value. Holomorphic functions (complex differentiable) are continuous, and in fact smooth, but continuity alone does not guarantee complex differentiability.

Continuity in metric spaces and normed vector spaces

Between metric spaces \( (X, d_X) \) and \( (Y, d_Y) \), continuity at \( c \in X \) means: for all \( \varepsilon > 0 \) there exists \( \delta > 0 \) such that \( d_X(x, c) < \delta \implies d_Y(f(x), f(c)) < \varepsilon \). In normed vector spaces, linear maps are continuous if and only if they are bounded, a cornerstone of functional analysis.

Semicontinuity

A function is lower semicontinuous at \( c \) if for every \( y < f(c) \) there is a neighbourhood where \( f(x) > y \); upper semicontinuous is analogous. These weaker notions are important in optimization and variational problems.

Discontinuities and classification

Points where a function fails to be continuous are classified for real functions of a real variable. At a removable discontinuity, the limit exists but differs from the function value (or the function is undefined at that point). A jump discontinuity occurs when the left- and right-hand limits exist but are unequal. An essential discontinuity describes points where at least one one-sided limit does not exist, as in the function \( \sin(1/x) \) near zero.

Related concepts

• Differentiability implies continuity, but continuity does not imply differentiability (e.g., the Weierstrass function is continuous everywhere but differentiable nowhere).
• Absolute continuity guarantees the fundamental theorem of calculus holds and is strictly stronger than uniform continuity.
• Continuous extension: a continuous function on a dense subset can sometimes be extended continuously to the whole space (Tietze extension theorem for normal spaces).
• Homotopy and mappings between topological spaces generalize continuity to deformations and equivalences.