World Library  
Flag as Inappropriate
Email this Article

Partition of unity

Article Id: WHEBN0000048636
Reproduction Date:

Title: Partition of unity  
Author: World Heritage Encyclopedia
Language: English
Subject: WikiProject Wikislice/Mathematics, First class constraint, Schoenflies problem, Meshfree methods, Hausdorff space
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Partition of unity

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

  • there is a neighbourhood of x where all but a finite number of the functions of R are 0, and
  • the sum of all the function values at x is 1, i.e., \;\sum_{\rho\in R} \rho(x) = 1.
A partition of unity of a circle with four functions. The circle is unrolled to a line segment (the bottom solid line) for graphing purposes. The dashed line on top is the sum of the functions in the partition.

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.

Existence

The existence of partitions of unity assumes two distinct forms:

  1. Given any open cover {Ui}iI of a space, there exists a partition {ρi}iI indexed over the same set I such that supp ρiUi. Such a partition is said to be subordinate to the open cover {Ui}i.
  2. Given any open cover {Ui}iI of a space, there exists a partition {ρj}jJ indexed over a possibly distinct index set J such that each ρj has compact support and for each jJ, supp ρjUi for some iI.

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

A finite open cover always has a continuous partition of unity subordinated to it, provided the space is locally compact and Hausdorff.[1] Paracompactness of the space is a necessary condition to guarantee the existence of a partition of unity subordinate to any open cover. Depending on the category which the space belongs to, it may also be a sufficient condition.[2] The construction uses mollifiers (bump functions), which exist in continuous and smooth manifolds, but not in analytic manifolds. Thus for an open cover of an analytic manifold, an analytic partition of unity subordinate to that open cover generally does not exist. See analytic continuation.

If R and S are partitions of unity for spaces X and Y, respectively, then the set of all pairwise products \{\; \rho\sigma \;:\; \rho\in R \wedge \sigma \in S\;\} is a partition of unity for the cartesian product space X×Y.

Variant definitions

Sometimes a less restrictive definition is used: the sum of all the function values at a particular point is only required to be positive, rather than 1, for each point in the space. However, given such a set of functions, one can obtain a partition of unity in the strict sense by dividing every function by the sum of all functions (which is defined, since at any point it has only a finite number of terms).

Applications

A partition of unity can be used to define the integral (with respect to a volume form) of a function defined over a manifold: One first defines the integral of a function whose support is contained in a single coordinate patch of the manifold; then one uses a partition of unity to define the integral of an arbitrary function; finally one shows that the definition is independent of the chosen partition of unity.

A partition of unity can be used to show the existence of a Riemannian metric on an arbitrary manifold.

Method of steepest descent employs a partition of unity to construct asymptotics of integrals.

Linkwitz–Riley filter is an example of practical implementation of partition of unity to separate input signal into two output signals containing only high- or low-frequency components.

The Bernstein polynomials of a fixed degree m are a family of m+1 linearly independent polynomials that are a partition of unity for the unit interval [0,1].

See also

References

  1. ^ Rudin, Walter (1987). Real and complex analysis (3rd ed. ed.). New York: McGraw-Hill. p. 40.  
  2. ^ Aliprantis, Charalambos D.; Border, Kim C. (2007). Infinite dimensional analysis: a hitchhiker's guide (3rd ed. ed.). Berlin: Springer. p. 716.  

External links

  • General information on partition of unity at [Mathworld]
  • Applications of a partition of unity at [Planet Math]
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.