You are here
Home ›partition of unity
Primary tabs
partition of unity
Let be a topological space. A partition of unity is a collection of continuous functions such that
| (1) |
A partition of unity is locally finite if each in is contained in an open set on which only a finite number of are non-zero. That is, if the cover is locally finite.
A partition of unity is subordinate to an open cover of if each is zero on the complement of .
Example 1 (Circle)
A partition of unity for is given by subordinate to the covering .
Application to integration
Let be an orientable manifold with volume form and a partition of unity . Then, the integral of a function over is given by
It is independent of the choice of partition of unity.
Type of Math Object:
Definition
Major Section:
Reference
Mathematics Subject Classification
54D20 Noncompact covering properties (paracompact, Lindelöf, etc.)58A05 Differentiable manifolds, foundations
- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by mairiwalker
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new image: AbstrExample3.jpg by m759
new image: four-diamond_figure.jpg by m759
May 16
new problem: Curve fitting using the Exchange Algorithm. by jeremyboden
new question: Undirected graphs and their Chromatic Number by Serchinnho
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by mairiwalker
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new image: AbstrExample3.jpg by m759
new image: four-diamond_figure.jpg by m759
May 16
new problem: Curve fitting using the Exchange Algorithm. by jeremyboden
new question: Undirected graphs and their Chromatic Number by Serchinnho



Comments
partition of unity
Could you tell me why there always exists such functions to form partition of unity ?
Re: partition of unity
It's quite simple. First, we note that the function
f(x) = exp (-1/x) |x| < 1
0 x >= 1
is infinitely differentiable and never negative. Likewise, in n dimensions, the function
g (x_1, ... x_n) = f ( sqrt{x_1^2 + ... sqrt x_n^2)
is infinitely differentiable and differs from zero only when the point lies in the unit ball. Now, if M is a manifold then, by the paracompactness property, we can cover M with a (possibly infinite) number of balls such that any point is contained in a finite number of these balls. To each ball B, we associate a function like g_B as above (which is stricltly positive inside the ball and zero outside). Sum these functions. Because of our paracompactness property, this sum converges trivially for any point p of M, and define h(p) to be the sum of g_B (p) ofer all balls B in the cover. Note that h(p) is strictly positive for all p. Thus g_B / h exists. The collection of all g_B / h's for all B is your partition of unity.
Thanks so much!
Definition insufficient
Surely we can do better than a circular, one-word semantic definition here....try Kelley, (even Wikepedia!)....
To quote someone: 'incomplete truth is better than no information'.
Best wishes.
Re: Definition insufficient
It looked like only one word because the article needed rerendering (which I've now done).
Aaron Krowne said some time back that this problem needs to be fixed urgently. I agree, but I don't think it's going to happen.
Re: Definition insufficient
Thanks....................that looks much better!