Multiple deletion lemma

From Topospaces

Statement

Suppose is a topological space and consider closed subsets of such that there exist open subsets , such that the are pairwise disjoint. Let be the union of the s. Then the following natural map is an isomorphism:

Particular cases

  • When is a normal space, and all the s are pairwise disjoint, then the existence of s is guaranteed.
  • When is a Hausdorff space, and all the s are distinct points, then again the existence of s is guaranteed, so we have the isomorphism.