# The Unapologetic Mathematician

## Integration on the Standard Cube

Sorry for the delay, I’ve had a packed weekend.

Anyway, we’re ready to start getting into integration on manifolds. And we start with a simple case that everything else will be built on top of.

We let $[0,1]^k\subseteq\mathbb{R}^k$ be the “standard $k$-cube”. We know that the space $\Omega^k([0,1]^k)$ of “top forms” — top because $k$ is the highest degree possible for a differential form on a differential form — has rank $1$ over the algebra $\mathcal{O}([0,1]^k)$ of smooth functions. That is, if $\omega$ is a top form then we can always write

$\displaystyle\omega=f\,du^1\wedge\dots\wedge du^k$

for some smooth function $f$ on the standard cube. Then we write

$\displaystyle\int\limits_{[0,1]^k}\omega=\int\limits_{[0,1]^k}f\,du^1\wedge\dots\wedge du^k=\int\limits_{[0,1]^k}f\,d(u^1\dots du^k)$

here we sorta pull a fast one, notationally speaking. On the left we’re defining the integral of a $k$-form $\omega$. In the middle we rewrite the form as above, in terms of a function and the canonical basis $k$-form $du^1\wedge\dots\wedge du^k$ made from wedging together the basic $1$-forms in order. And then on the right we suddenly switch to a $k$-dimensional Riemann integral over the standard $k$-cube. The canonical basis $k$-form $du^1\wedge\dots\wedge du^k$ corresponds to the volume element $d(u^1,\dots,u^k)$, and top forms are often also called “volume forms” because of this correspondence. In fact, it’s not hard to see that they’re related to signed volumes. This is the starting point from which all integration on manifolds emerges, and everything will ultimately come back to this definition.

### Like this:

Posted by John Armstrong | Differential Topology, Topology

## 7 Comments	»

Comment by | August 2, 2011 | Reply

2. [...] next step after standard cubes in our integration project is to define integration on “singular [...]

Pingback by | August 3, 2011 | Reply

3. [...] can integrate on the standard cube, and on singular cubes in arbitrary manifolds. What if it’s not very easy to describe a [...]

Pingback by | August 5, 2011 | Reply

4. [...] we get by setting that component to . Explicitly, we’ll define the following faces of the standard cube [...]

Pingback by | August 9, 2011 | Reply

5. [...] start by considering the case where is the standard cube . Whipping out the definition of the boundary operator , the integral on the right proceeds as [...]

Pingback by | August 18, 2011 | Reply

6. [...] that we’ve proven Stokes’ theorem in the case of the standard cube, we can now tackle the general [...]

Pingback by | August 20, 2011 | Reply

7. [...] Armstrong: Integrals are Independent of Parametrization, Integration on Singular Cubes, Integration on the Standard Cube, Stokes’ Theorem [...]

Pingback by | August 27, 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": 20, "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.8914629817008972, "perplexity_flag": "middle"}