1 Definition and basic concepts

Continuity describes the idea that a function does not produce abrupt jumps in output when its input changes slightly. In analysis, it provides a rigorous way to capture the intuitive notion of a smoothly varying dependence between quantities. The concept applies not only to functions on the real line, but also to maps between far more general spaces.

1.1 Intuitive meaning

A mapping is continuous if nearby points in the domain are sent to nearby points in the codomain. On the real line, this corresponds to graphs that can be drawn without lifting a pencil, though that picture is only a heuristic and not a definition. In more abstract settings, the notion of “nearby” is supplied by the structure of the space.

1.2 Formal definition in topological spaces

Let \(f : X \to Y\) be a map between topological spaces. The function is continuous if the preimage of every open set in \(Y\) is open in \(X\). This definition is especially useful because it depends only on the topological structure and not on distances or coordinates.

1.3 Formal definition in metric spaces

If \(X\) and \(Y\) are metric spaces, continuity at a point \(x \in X\) can be expressed using \(\varepsilon\) and \(\delta\). The map \(f\) is continuous at \(x\) if for every \(\varepsilon > 0\), there exists \(\delta > 0\) such that whenever \(d_X(x,x') < \delta\), one has \(d_Y(f(x),f(x')) < \varepsilon\). Continuity on a set means continuity at each point of that set.

1.4 Equivalent characterizations

In many common settings, continuity can be described in several equivalent ways. These formulations are often chosen according to convenience, since some are easier to apply in proofs while others align better with intuition or with the language of topology.

1.4.1 Open set formulation

A function is continuous exactly when the inverse image of every open set is open. This criterion is standard in topology and makes it straightforward to prove continuity of maps built from simpler continuous pieces.

1.4.2 Neighborhood formulation

A map \(f : X \to Y\) is continuous at a point \(x\) if for every neighborhood \(V\) of \(f(x)\), there is a neighborhood \(U\) of \(x\) such that \(f(U) \subseteq V\). This version emphasizes local behavior and is closely related to the \(\varepsilon\)-\(\delta\) definition in metric spaces.

1.4.3 Sequential formulation

For metric spaces, continuity can also be tested using sequences: if \(x_n \to x\) in the domain, then \(f(x_n) \to f(x)\) in the codomain. This is a particularly useful characterization in analysis, since many arguments are naturally expressed in terms of convergent sequences.

1.5 Examples and non-examples

Every constant function is continuous, since its output never changes. Polynomial functions are continuous everywhere on their domains, as are trigonometric functions such as sine and cosine. The absolute value function is also continuous, though it fails to be differentiable at the origin.

A typical non-example is the step function, which remains fixed on one side of a point and jumps to a different value on the other. Rational functions can fail to be continuous at points where the denominator vanishes. These examples show that continuity may hold on one region and fail at isolated points.

2 Properties of continuous mappings

Continuous functions behave well under many standard operations. This stability makes them central tools in both pure and applied mathematics, where one often studies complicated functions by decomposing them into simpler continuous pieces.

2.1 Preservation of limits

If \(x_n \to x\) and \(f\) is continuous at \(x\), then \(f(x_n) \to f(x)\). More generally, continuity ensures that taking a limit and applying the function are compatible operations, provided the limit exists in the relevant sense.

2.2 Composition of continuous functions

The composition of continuous maps is continuous. If \(f : X \to Y\) and \(g : Y \to Z\) are continuous, then \(g \circ f : X \to Z\) is continuous. This property is fundamental, since many functions are assembled from smaller components through composition.

2.3 Algebraic operations on continuous functions

When functions take values in algebraic structures such as the real or complex numbers, continuity is preserved under common operations. As a result, large families of functions can be constructed while retaining continuity.

2.3.1 Sum and product

If \(f\) and \(g\) are continuous real-valued functions, then \(f+g\) and \(fg\) are continuous. This follows from the continuity of addition and multiplication in the target space.

2.3.2 Scalar multiplication

If \(f\) is continuous and \(c\) is a constant scalar, then \(cf\) is continuous. Scalar multiplication is therefore compatible with continuity in linear settings.

2.3.3 Quotients

If \(f\) and \(g\) are continuous and \(g(x) \neq 0\) throughout the domain region of interest, then \(f/g\) is continuous there. The condition that the denominator stay away from zero is essential, since division is not defined at points where \(g\) vanishes.

2.4 Restrictions and extensions

The restriction of a continuous function to a subset of its domain is continuous. Conversely, extending a continuous function beyond its original domain may or may not preserve continuity, depending on whether the new values fit smoothly with the old ones. Questions of extension often arise in approximation theory and analysis on subsets.

2.5 Local and global continuity

Continuity is usually a pointwise or local property: it is checked at each point separately. A function is globally continuous on a set if it is continuous at every point of that set. In many contexts, local continuity near each point leads to useful global consequences when the domain has additional structure.

3 Continuity in different settings

The meaning of continuity depends on the ambient framework. In some spaces, distances provide a direct way to measure closeness; in others, topology alone determines which sets are considered nearby. The same general idea persists across these settings.

3.1 Continuity on subsets of metric spaces

A function defined on a subset of a metric space is continuous at a point of that subset if small changes within the subset lead to small changes in the image. The surrounding space matters only through the distances inherited by the subset. This viewpoint is common in calculus and real analysis.

3.2 Continuity in topological spaces

Topological continuity does not require a metric. It is defined entirely in terms of open sets, neighborhoods, or related structures. This makes it flexible enough to apply to spaces arising in geometry, algebra, and abstract analysis.

3.3 Continuity in normed and inner product spaces

In normed spaces, continuity can be expressed using the norm-induced metric. Linear maps between normed spaces are continuous under suitable boundedness conditions, and in finite-dimensional spaces all linear maps are continuous. Inner product spaces provide additional geometric structure, but continuity itself is still governed by the same basic principles of proximity.

3.4 Uniform continuity

Uniform continuity strengthens ordinary continuity by requiring the same control over the change in output at every point of the domain. It is an important notion in analysis because it gives stronger guarantees on global behavior.

3.4.1 Distinction from ordinary continuity

Ordinary continuity allows the required \(\delta\) to depend on the point where continuity is tested. Uniform continuity demands a single \(\delta\) for the entire domain, once \(\varepsilon\) is fixed. Thus, uniform continuity is a global condition rather than a local one.

3.4.2 Criteria for uniform continuity

Many standard functions are uniformly continuous on bounded closed intervals. More generally, compactness often ensures uniform continuity. By contrast, functions may be continuous without being uniformly continuous on unbounded domains, such as \(f(x)=x^2\) on the whole real line.

4 Fundamental theorems

Several major results in analysis and topology rely on continuity. These theorems show that continuous functions preserve important structural features of their domains and exhibit predictable behavior on compact or connected sets.

4.1 Intermediate value theorem

A continuous function on a closed interval that takes two values must take every intermediate value between them. This theorem captures the idea that a continuous graph cannot jump over a level without crossing it. It is one of the most familiar consequences of continuity on the real line.

4.2 Extreme value theorem

A continuous function on a compact set attains both a maximum and a minimum. On a closed bounded interval in \(\mathbb{R}\), this means the function has actual largest and smallest values, not merely bounds. The result is central in optimization and many existence arguments.

4.3 Heine–Cantor theorem

A continuous function on a compact metric space is uniformly continuous. This theorem explains why compactness is so effective in analysis: local continuity can be upgraded to a uniform statement. It is frequently used when controlling error estimates across an entire domain.

4.4 Preservation of connectedness

The continuous image of a connected space is connected. This means continuous maps cannot separate a connected domain into disconnected pieces. As a consequence, connectedness is often studied through continuous images and related constructions.

4.5 Preservation of compactness

The continuous image of a compact space is compact. This property is fundamental in topology and analysis because compactness is often the key hypothesis in existence and convergence theorems. It allows one to transfer finite-subcover arguments through continuous maps.

5 Types of continuous mappings

Continuous maps appear in many special forms, each with its own role in mathematics. Some are simple and rigid, while others capture deeper notions of equivalence between spaces.

5.1 Constant mappings

A constant mapping sends every point of the domain to the same point in the codomain. Such maps are always continuous and often serve as basic examples or convenient base cases in proofs.

5.2 Identity mappings

The identity map sends each point to itself. It is continuous in every topological space and acts as the neutral element for composition, making it a fundamental reference map.

5.3 Homeomorphisms

A homeomorphism is a continuous bijection with a continuous inverse. It identifies spaces that are topologically the same, even if they look different geometrically. Homeomorphisms are central in topology because they preserve all purely topological properties.

5.4 Embeddings

An embedding is a map that realizes one space as a subspace of another while preserving its topology. Such maps are typically continuous and injective, with the original space recoverable from its image. Embeddings are important in geometry and the study of manifolds.

5.5 Continuous bijections

A continuous bijection need not have a continuous inverse. This distinction shows that continuity alone does not guarantee a topological equivalence between spaces. Additional conditions, such as compactness of the domain and Hausdorff properties of the codomain, often ensure better behavior.

Continuity is closely linked to many core ideas in analysis and topology. Understanding it typically involves limits, open and closed sets, and the contrast between smooth and nonsmooth behavior.

6.1 Discontinuous mappings

A discontinuous map fails to preserve proximity in one or more points. Discontinuities may be removable, jump-like, or more severe, depending on how the function behaves near the problematic location.

6.2 Limits and convergence

Continuity is formulated in terms of limits, and it is often studied through convergent sequences or nets. In this sense, continuity describes how a function interacts with limiting processes.

6.3 Open and closed sets

Open sets provide the standard topological language for continuity, while closed sets offer an equivalent viewpoint through inverse images of complements. These notions are basic building blocks in topological analysis.

6.4 Continuity and differentiability

Differentiability is stronger than continuity. Every differentiable function is continuous, but not every continuous function is differentiable. This relationship is one of the first major distinctions encountered in calculus.

6.5 Continuity in higher mathematics

Continuity extends far beyond elementary analysis. It plays a major role in functional analysis, differential geometry, topology, dynamical systems, and many other fields, where it serves as a minimal condition for stable behavior and structural preservation.