Gluing lemma for closed subsets
Statement
Let and be closed subsets of a topological space whose union is , and and be continuous maps such that . Then there exists a unique continuous map from to whose restriction to is and to is .
The result can be modified to handle finitely many closed sets which cover ; however, it does not cater to arbitrarily many closed sets which cover . This is in contrast with the gluing lemma for open subsets.
Related results
Proof
The proof uses the following key facts:
- A map is continuous if and only if the inverse image of any closed subset is closed
- A closed subset of a closed subset is closed
- A union of two closed subsets is closed
Fill this in later