# The Unapologetic Mathematician

## Integrals over Manifolds (part 2)

Okay, so we can now integrate forms as long as they’re supported within the image of an orientation-preserving singular cube. But what if the form $\omega$ is bigger than that?

Well, paradoxically, we start by getting smaller. Specifically, I say that we can always find an orientable open cover of $M$ such that each set in the cover is contained within the image of a singular cube.

We start with any orientable atlas, which gives us a coordinate patch $(U,x)$ around any point $p$ we choose. Without loss of generality we can pick the coordinates such that $x(p)=0$. There must be some open ball around $0$ whose closure is completely contained within $x(U)$; this closure is itself the image of a singular cube, and the ball obviously contained in its closure. Hitting everything with $x^{-1}$ we get an open set — the inverse image of the ball — contained in the image of a singular cube, all of which contains $p$. Since we can find such a set around any point $p\in M$ we can throw them together to get an open cover of $M$.

So, what does this buy us? If $\omega$ is any compactly-supported $n$ form on an $n$-dimensional manifold $M$, we can cover its support with some open subsets of $M$, each of which is contained in the image of a singular $n$-cube. In fact, since the support is compact, we only need a finite number of the open sets to do the job, and throw in however many others we need to cover the rest of $M$.

We can then find a partition of unity $\Phi=\{\phi\}$ subordinate to this cover of $M$. We can decompose $\omega$ into a (finite) sum:

$\displaystyle\omega=\sum\limits_{\phi\in\Phi}\phi\omega$

which is great because now we can define

$\displaystyle\int\limits_M\omega=\sum\limits_{\phi\in\Phi}\int\limits_M\phi\omega$

But now we must be careful! What if this definition depends on our choice of a suitable partition of unity? Well, say that $\Psi=\{\psi\}$ is another such partition. Then we can write

$\displaystyle\sum\limits_{\phi\in\Phi}\int\limits_M\phi\omega=\sum\limits_{\phi\in\Phi}\int\limits_M\sum\limits_{\psi\in\Psi}\psi\phi\omega=\sum\limits_{\psi\in\Psi}\int\limits_M\sum\limits_{\phi\in\Phi}\phi\psi\omega=\sum\limits_{\psi\in\Psi}\int\limits_M\psi\omega$

so we get the same answer no matter which partition we use.

### Like this:

Posted by John Armstrong | Differential Topology, Topology

## 4 Comments	»

1. [...] Without loss of generality, we may assume that is supported within the image of a singular cube . If not, we break it apart with a partition of unity as usual. [...]

Pingback by | September 8, 2011 | Reply

2. [...] we can assume that the support of fits within some singular cube , for if it doesn’t we can chop it up into pieces that do fit into cubes , and similarly chop up into pieces that fit within [...]

Pingback by | September 12, 2011 | Reply

3. [...] is such a manifold of dimension , and if is a compactly-supported -form, then as usual we can use a partition of unity to break up the form into pieces, each of which is supported within [...]

Pingback by | September 16, 2011 | Reply

4. [...] many such singular cubes, and the integral on each is well-defined. Using a partition of unity as usual this shows us that the integral over all of exists and, further, must be strictly positive. In [...]

Pingback by | November 24, 2011 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 25, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9463765025138855, "perplexity_flag": "head"}