ScalingStacks

Proof. [02NZ]

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

Proof.

We choose (m1,…,mn)(m_{1},\dots,m_{n}) a basis of MM such that (m2,…,mn)(m_{2},\dots,m_{n}) is a basis of M⁡(F)M(F) and m1m_{1} points to the exterior direction. Expressing λ\lambda in this basis we obtain

λ|F=−⟨vF,F⟩​d​volM⁡(F).\lambda|_{F}=-\langle v_{F},F\rangle\,\text{\rm d}\operatorname{vol}_{M(F)}.

The result then follows from Theorem 3.97. ∎

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