A partition of unity defines an open cover of , consisting of the open sets . Call this the induced cover.
Sometimes (rarely) the condition that is point finite is dropped. In this case we refer to a non-point finite partition of unity (see red herring principle).
What this means is that the open sets form an open cover refining the cover .
The last two are actually characterisations of paracompact resp. normal spaces (reference Bourbaki, Topology Generale - find this!)
Paracompact smooth manifolds have smooth partitions of unity subordinate to any open cover (this follows from the existence of a smooth bump function on ). It is not true, however, that analytic manifolds have analytic partitions of unity - the aforementioned bump function is smooth but not analytic.
A collection of functions such that every is in the support of some . Then is called locally finite if the cover (i.e. the induced cover) is locally finite.
Let be a non-point finite partition of unity. Then there is a locally finite partition of unity such that the induced cover of the latter is a refinement of the induced cover of the former.
(For a proof, see p.354 of Dold’s Lectures on algebraic topology.)
This implies that (loc. finite) numerable covers are cofinal in induced covers arising from collections of functions as in the definition. In particular, given the Milnor classifying space? of a topological group , which comes with a countable family of ‘coordinate functions’ , has a numerable cover. This is shown by Dold to be a trivialising cover for the universal bundle constructed by Milnor, and so the universal bundle is numerable?.
Partitions of unity can be used in constructing maps from spaces to geometric realizations of simplicial spaces (incl. simplicial sets) - for example a classifying map for a -bundle where is a Lie group.
Partitions of unity can be used to give explicit coboundaries for the cocycles of the complex of functions on a cover.
Let be a open cover and a collection of functions with
Write for the Cech nerve of the cover and for the cosimplicial ring of functions on this simplicial topological space; and for the corresponding (normalized) cochain complex: its differential is the alternating sum of the pullbacks of functions along the face maps, i.e. along the restriction maps
For instance for a collection of functions in degree , we have
This cochain complex has vanishing cochain cohomology in positive degree. We can explicitly construct corresponding coboundaries using the partion of unity:
assume that with the above notation is a cocycle in positive degree, in that . Then define the -cochain
Here in the summands on the right the product is defined on and extended as 0 to all of .
With this definition we have
To see this we compute
where in the second step we used the condition and in the last step we used the property of the partition of unity.
Albrecht Dold, Partitions of unity in the theory of fibrations, Ann. of Math. 78. (1963), 223-255.
Albrecht Dold, Lectures on algebraic topology, Springer Classics in Mathematics (1980), p.354.
M. Mather, Paracompactness and partitions of unity, PhD thesis, Cambridge (1965).