All books

Professional

Apps About Coach Log in Start reading

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ω=∑i∫Mχ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 →