# 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 $A\setminus B\subseteq \operatorname {Int} A$ and $B\setminus A\subseteq \operatorname {Int} B$ .

The pasting lemma is crucial to the construction of the fundamental group or fundamental groupoid 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 $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.

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. $\Box$ 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}\ldots$ . For instance, the inclusion map $\iota :Z\rightarrow R$ from the integers to the real line (with the integers equipped with the cofinite topology) is continuous when restricted to an integer, but the inverse image of a bounded open set in the reals with this map is at most a finite number of points, so not open in Z.

It is, however, true if the $X_{1},X_{2},X_{3}\ldots$ 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}\ldots$ are instead assumed to be open since a union of open sets is open.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.