ScalingStacks

Démonstration. [01TA]

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.

On peut supposer que V=𝐑nV=\mathbf{R}^{n}. Soit λ\lambda la (1,1)(1,1)-forme d′⁡d′′⁡∥x2∥\mathop{\mathrm{d^{\prime}}}\mathop{\mathrm{d}^{\prime\prime}}\mathopen{\|}{x^{2}}\mathclose{\|} sur 𝐑n\mathbf{R}^{n}. Comme λp\lambda^{p} est fortement positive, elle appartient à l’intérieur du cône des formes de type (p,p)(p,p) strictement positives sur 𝐑n\mathbf{R}^{n} ; il existe donc une fonction strictement positive cc sur PP telle que α+c​λp\alpha+c\lambda^{p} soit une forme fortement positive.

Il suffit de poser α1=α+c​λp\alpha_{1}=\alpha+c\lambda^{p} et α2=c​λp\alpha_{2}=c\lambda^{p}. ∎

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