A family {φ_i} of continuous (often smooth) functions on a topological space such that for each point only finitely many φ_i are nonzero (local finiteness), each φ_i has support contained in a member of a given open cover, and the sum over i of φ_i equals the constant function 1 everywhere on the space.

Principle

Partitions of unity allow one to localize global problems: they subordinate global constructions to an open cover, enabling gluing of local data into globally defined objects while controlling supports and regularity.

Demonstration

On a smooth manifold, choose a locally finite refinement of an open cover and construct nonnegative bump functions supported in the refinement whose normalized sum equals one; use these to patch local differential forms into a global form that agrees locally with given data.

Misapplication

Attempting to use a non-locally-finite family of functions, neglecting support containment in the prescribed cover, or assuming existence on non-paracompact spaces leads to invalid constructions.

Consequence

One can extend local objects to global ones, define integrals by localizing to charts, construct smooth partitions subordinate to any open cover on paracompact smooth manifolds, and perform local-to-global arguments in analysis and geometry.

Reversal

The opposite notion would be a cover by characteristic functions of a partition of the underlying set (discontinuous, non-smooth) which does not permit smooth gluing; reversing the sum-to-one requirement yields decompositions useful for error cancellation but not for localization to unity.

Boundary

Exists under paracompactness hypotheses for topological manifolds and smooth manifolds; not every topological space admits smooth partitions of unity, and partitions are typically constructed with differentiability tied to the category (continuous, C^k, smooth).

Semantic Tension

Confusion often arises between 'partition of unity' (smooth, summing to one) and combinatorial partitions of a set (disjoint indicator functions); the tension concerns smoothness and local finiteness versus purely set-theoretic decomposition.

Synthesis

A partition of unity is a locally finite, support-controlled family of functions summing to one that transfers local constructions to global ones by weighted gluing, available under standard paracompactness hypotheses and tailored to the desired regularity class.