Pasting lemma

In topology, the pasting lemma 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.

The pasting lemma is crucial to the construction of the fundamental group of a topological space; it allows one to concatenate continuous paths to create a new continuous path.

Formal statement

Let X,Y be both closed (or both open) subsets of a topological space A such that , and let B also be a topological space. If is continuous when restricted to both X and Y, then f is continuous.

This result allows one to take two continuous functions defined on closed (or open) subsets of a topological space and create a new one.

Proof: if U is a closed subset of B, then and are both closed since the intersection of two closed sets is closed, and f restricted to both X and Y is continuous. Therefore, their union, f ^{− 1}(U) is also closed. A similar argument applies when X and Y are both open.

The infinite analog of this result (where )is not true for closed . It is, however, true if the are open; this follows from the fact that an arbitrary union of open sets is open.

References

• Munkres, James; Topology, Prentice Hall; 2nd edition (December 28, 1999). ISBN 0-13-181629-2.