Partition of unity

In mathematics, a partition of unity of a topological space "X" is a set of continuous functions, $\{\; ho\_i\}\_\{iin\; I\}$, from "X" to the unit interval [0,1] such that for every point, $xin\; X$,
* there is a neighbourhood of "x" where all but a finite number of the functions are identically zero, and
* the sum of all the respective function values at "x" (for every "x" in "X") is identically 1, i.e., $;sum\_\{iin\; I\}\; ho\_i(x)\; =\; 1$. Note however, that this requirement can be weakened to the requirement that the sum of all the respective function values at "x" (for every "x" in "X") is "n" for any non-zero real number "n"
* sometimes, the requirement not as strict: the sum of all the function values at a particular point is only required to be positive rather than a fixed number for all points in the space

Partitions of unity are useful because they often allow one to extend local constructions to the whole space.

The existence of partitions of unity assumes two distinct forms:

# Given any open cover {"U"_"i"}_"i"∈"I" of a space, there exists a partition {ρ_"i"}_"i"∈"I" indexed "over the same set I" such that supp ρ_"i"⊆"U"_"i". Such a partition is said to be subordinate to the open cover {"U"_"i"}_"i".
# Given any open cover {"U"_"i"}_"i"∈"I" of a space, there exists a partition {ρ_"j"}_"j"∈"J" indexed over a possibly distinct index set "J" such that each ρ_"j" has compact support and for each "j"∈"J", supp ρ_"j"⊆"U"_"i" for some "i"∈"I".

Thus one chooses either to have the supports indexed by the open cover, or the supports compact. If the space is compact, then there exist partitions satisfying both requirements.

Paracompactness of the space is a necessary condition to guarantee the existence of a partition of unity. Depending on the category which the space belongs to, it may also be a sufficient condition. The construction uses mollifiers (bump functions), which exist in the continuous and smooth categories, but not the analytic category. Thus analytic partitions of unity do not exist.

ee also

*paracompact space
*gluing axiom
*fine sheaf