Partition of unity (source code)

= Partition of unity
{wiki}

Every open cover of a smooth paracompact manifold admits a smooth partition of unity subordinate to it: nonnegative smooth functions with locally finite supports in the cover whose sum is one.