Partition of unity

In mathematics, a partition of unity on a topological space ⁠${\displaystyle X}$⁠ is a set ⁠${\displaystyle R}$⁠ of continuous functions from ⁠${\displaystyle X}$⁠ to the unit interval [0,1] such that for every point ${\displaystyle x\in X}$:

• there is a neighbourhood of ⁠${\displaystyle x}$⁠ where all but a finite number of the functions of ⁠${\displaystyle R}$⁠ are non zero^[1], and
• the sum of all the function values at ⁠${\displaystyle x}$⁠ is 1, i.e., ${\textstyle \sum _{\rho \in R}\rho (x)=1.}$

Partitions of unity are useful because they often allow one to extend local constructions to the whole space. They are also important in the interpolation of data, in signal processing, and the theory of spline functions.