Pasting lemma

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.