Mathematics · Glossary

What is Integral of a form?

Definition 21.18 University Mathematics — Year 3 · Chapter 21 — Differential Forms and Stokes’ Theorem

Let MM be an oriented kk-submanifold and ω\omega a kk-form defined on a neighborhood of MM, with suppωM\operatorname{supp}\omega \cap M compact. (a) If suppωMγ(V)\operatorname{supp}\omega \cap M \subseteq \gamma(V) for a single direct parametrization, set

Mω=Vγω\int_M\omega = \int_V\gamma^*\omega

— the right side being the Lebesgue integral over VV (Chapter 11) of the coefficient gg of γω=g ⁣du1 ⁣duk\gamma^*\omega = g\,\dd u_1\wedge\dots\wedge\dd u_k, which is continuous with compact support. (b) In general, choose finitely many direct parametrizations γi(Vi)\gamma_i(V_i) covering the compact suppωM\operatorname{supp}\omega \cap M and a subordinate partition of unity (χi)(\chi_i) (Lemma 21.20), and set Mω=iMχiω\int_M\omega = \sum_i\int_M\chi_i\,\omega, each term computed by (a). For a curve (k=1k = 1) parametrized by γ ⁣:[a,b]Rn\gamma\colon\intcc ab\to\R^n we write γω=abγω\int_\gamma\omega = \int_a^b\gamma^*\omega, no injectivity required.

Read in context →