In topology, the pasting or gluing lemma, and sometimes the gluing rule, is an important result which says that two continuous functions can be "glued together" to create another continuous function.
The lemma is implicit in the use of piecewise functions.
For example, in the book Topology and Groupoids, where the condition given for the statement below is that
⊆ Int
The pasting lemma is crucial to the construction of the fundamental group and fundamental groupoid of a topological space; it allows one to concatenate paths to create a new path.
be both closed (or both open) subsets of a topological space
also be a topological space.
is continuous when restricted to both
[1] This result allows one to take two continuous functions defined on closed (or open) subsets of a topological space and create a new one.
is a closed subset of
are both closed since each is the preimage of
respectively, which by assumption are continuous.
is also closed, being a finite union of closed sets.
A similar argument applies when
The infinite analog of this result (where
) is not true for closed
For instance, the inclusion map
ι :
from the integers to the real line (with the integers equipped with the cofinite topology) is continuous when restricted to an integer, but the preimage of a bounded open set in the reals with this map is at most a finite number of points, so not open in
It is, however, true if the
form a locally finite collection since a union of locally finite closed sets is closed.
Similarly, it is true if the
are instead assumed to be open since a union of open sets is open.