Pasting lemma

Template:Short description 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 $A\setminus B\subseteq \mathrm{Int}A$ and $B\setminus A\subseteq \mathrm{Int}B.$

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.

Formal statement

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

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 $f^{-1}(U)\cap X$ and $f^{-1}(U)\cap Y$ are both closed since each is the preimage of $f$ when restricted to $X$ and $Y$ respectively, which by assumption are continuous. Then their union, $f^{-1}(U)$ is also closed, being a finite union of closed sets.

A similar argument applies when $X$ and $Y$ are both open. $◻$

The infinite analog of this result (where $A=X_1\cup X_2\cup X_3\cup \cdots$) is not true for closed $X_1,X_2,X_3,\dots .$ For instance, the inclusion map $\iota :\mathbb{Z}\to ℝ$ 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 $\mathbb{Z}.$

It is, however, true if the $X_1,X_2,X_3\dots$ form a locally finite collection since a union of locally finite closed sets is closed. Similarly, it is true if the $X_1,X_2,X_3,\dots$ are instead assumed to be open since a union of open sets is open.

References

• Template:Munkres Topology
• Template:Dugundji Topology
• Brown, Ronald; Topology and Groupoids (Booksurge) 2006 Template:ISBN.