numerable open cover



Topos Theory

topos theory



Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory




A numerable open cover is an open cover of a topological space that admits a subordinate partition of unity.


Let {U i}\{U_i\} be an open cover of the topological space XX (actually Dold doesn’t always require open, see discussion below). It is said to be numerable if there is a collection of functions ϕ i:X[0,1]\phi_i:X \to [0,1] such that

  • supp(ϕ i)¯U i\overline{supp(\phi_i)} \subset U_i,
  • at each point xXx\in X, only finitely many of the ϕ i\phi_i are non-zero,
  • iϕ i(x)1xX\sum_i \phi_i(x) \equiv 1 \forall x\in X.

The open cover ϕ i 1(0,1]\phi_i^{-1}(0,1] is then a locally finite cover that refines {U i}\{U_i\}. The functions {ϕ i}\{\phi_i\} are a partition of unity.

Numerable open covers form a site called the numerable site. Many classical theorems concerning bundles are stated for the numerable site. For example, the classifying space G\mathcal{B}G actually classifies bundles which trivialise over a numerable cover. (References? Dold for Milnor’s classifying space, and tom Dieck I think for Segal’s) These are called numerable bundles?.

For paracompact spaces, numerable covers are cofinal in open covers, so that the numerable site is equivalent to the open cover site. (This needs some more and better saying -David R)

There is also some result by Bourbaki that I have to look up that numerable covers are cofinal in locally finite covers of normal spaces.


  • A. Dold, Partitions of unity in the theory of fibrations, Ann. of Math. (2) 78 1963 223–255 MR0155330 jstor doi

Another one by Dold talks about stacked covers in the appendix: these are useful for ‘decomposing’ numerable covers of products to a sort of parameterised version depending on a numerable cover of the first factor. This is important in looking at concordance of numerable bundles.

Revised on January 21, 2015 18:54:59 by Zoran Škoda (