ScalingStacks

Démonstration. [01MC]

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

Démonstration.

Soit UU un ouvert de PP et soit α\alpha une section de j−1​ℱVp,qj^{-1}\mathscr{F}^{p,q}_{V} sur UU. Soit CC une cellule de VV contenue dans PP. On a dim(C)≤dim(P)<max⁡(p,q)\dim(C)\leq\dim(P)<\max(p,q). Par suite, ℱ⟨C⟩p,q=0\mathscr{F}^{p,q}_{\langle C\rangle}=0, et α\alpha appartient donc à 𝒩p,q​(U)\mathscr{N}^{p,q}(U). ∎

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