Matemática · Glossário

O que é Integral de uma forma?

Definição 21.18 Matemática universitária — Graduação 3 · Capítulo 21 — Formas diferenciais e o teorema de Stokes

Sejam MM uma kk-subvariedade orientada e ω\omega uma kk-forma definida em uma vizinhança de MM, com suppωM\operatorname{supp}\omega \cap M compacto. (a) Se suppωMγ(V)\operatorname{supp}\omega \cap M \subseteq \gamma(V) para uma única parametrização direta, ponha

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

— sendo o lado direito a integral de Lebesgue em VV (Capítulo 11) do coeficiente gg de γω=g ⁣du1 ⁣duk\gamma^*\omega = g\,\dd u_1\wedge\dots\wedge\dd u_k, que é contínuo de suporte compacto. (b) No caso geral, escolha um número finito de parametrizações diretas γi(Vi)\gamma_i(V_i) cobrindo o compacto suppωM\operatorname{supp}\omega \cap M e uma partição da unidade subordinada (χi)(\chi_i) (Lema 21.20), e ponha Mω=iMχiω\int_M\omega = \sum_i\int_M\chi_i\,\omega, cada termo calculado por (a). Para uma curva (k=1k = 1) parametrizada por γ ⁣:[a,b]Rn\gamma\colon\intcc ab\to\R^n, escrevemos γω=abγω\int_\gamma\omega = \int_a^b\gamma^*\omega, sem exigir injetividade.

Ler no capítulo →