ScalingStacks

1.5.2 [01MH]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

1.5.2

Soit 𝒟\mathscr{D} une décomposition cellulaire de PP raffinant 𝒞\mathscr{C}. Pour tout D∈𝒟nD\in\mathscr{D}_{n}, il existe une unique cellule λ⁡(D)∈𝒞n\lambda(D)\in\mathscr{C}_{n} telle que D⊂λ⁡(D)D\subset\lambda(D) ; les sous-espace affine engendré par DD est alors égal à ⟨λ⁡(D)⟩\langle\lambda(D)\rangle. On définit un calibrage (νD)(\nu_{D}) de PP subordonné à la décomposition 𝒟\mathscr{D} on posant νD=μλ⁡(D)\nu_{D}=\mu_{\lambda(D)} pour tout D∈𝒟nD\in\mathscr{D}_{n}. On dira qu’il raffine le calibrage μ\mu.

Soit ω\omega une (n,n)(n,n)-forme mesurable sur un ouvert UU de PP. On a alors ∫U⟨|ω|,|ν|⟩=∫U⟨|ω|,|μ|⟩\int_{U}\langle\mathopen{|}{\omega}\mathclose{|},\mathopen{|}{\nu}\mathclose{|}\rangle=\int_{U}\langle\mathopen{|}{\omega}\mathclose{|},\mathopen{|}{\mu}\mathclose{|}\rangle. Par conséquent, ω\omega est μ\mu-intégrable si et seulement si elle est ν\nu-intégrable, et si c’est le cas on a ∫U⟨ω,ν⟩=∫U⟨ω,μ⟩\int_{U}\langle\omega,\nu\rangle=\int_{U}\langle\omega,\mu\rangle

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.