Gluing lemma for closed subsets

From Topospaces
Revision as of 18:09, 11 December 2007 by Vipul (talk | contribs)

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