Definition
Numerable principal bundle
A principal bundle with a trivializing cover admitting a locally finite continuous partition of unity.
A topological principal bundle is numerable if it has an open trivializing cover and continuous functions such that:
- the supports form a locally finite family;
- for all ;
- for each .
The sum is locally finite, so it defines a continuous function. Numerability is the existence of these data; a particular cover and partition are not part of the bundle's structure.
Classification setting
Every locally trivial principal bundle over a paracompact Hausdorff base is numerable, by the continuous partition-of-unity theorem. Pullback preserves numerability: pull back the trivializing cover and its functions. Universal bundles classify numerable principal bundles over arbitrary bases; the qualification matters when the base is not paracompact Hausdorff.