ScalingStacks

Démonstration. [01VE]

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.

La fonction nulle est évidemment PL. Soit (Xi)(X_{i}) un G-recouvrement de XX par des domaines analytiques relativement stricts et, pour tout ii, soit fif_{i} et gig_{i} des fonctions inversibles sur XiX_{i} telles que u|Xi=log⁡|fi|u|_{X_{i}}=\log\mathopen{|}{f_{i}}\mathclose{|} et v|Xi=log⁡|gi|v|_{X_{i}}=\log\mathopen{|}{g_{i}}\mathclose{|}. La fonction u+vu+v est égale à log⁡|fi​gi|\log\mathopen{|}{f_{i}g_{i}}\mathclose{|} sur XiX_{i}, ce qui prouve qu’elle est PL. De même, la fonction −u-u est égale à log⁡|fi−1|\log\mathopen{|}{f_{i}^{-1}}\mathclose{|} sur XiX_{i}, donc est PL.

Notons Xi+X_{i}^{+} et Xi−X_{i}^{-} les domaines analytiques de XiX_{i} définis par |fi|≥|gi|\mathopen{|}{f_{i}}\mathclose{|}\geq\mathopen{|}{g_{i}}\mathclose{|} et |fi|≤|gi|\mathopen{|}{f_{i}}\mathclose{|}\leq\mathopen{|}{g_{i}}\mathclose{|} respectivement. Sur Xi+X_{i}^{+}, on a max⁡(u,v)=log⁡|fi|\max(u,v)=\log\mathopen{|}{f_{i}}\mathclose{|} et min⁡(u,v)=log⁡|gi|\min(u,v)=\log\mathopen{|}{g_{i}}\mathclose{|}. sur Xi−X_{i}^{-}, on a max⁡(u,v)=log⁡|gi|\max(u,v)=\log\mathopen{|}{g_{i}}\mathclose{|} et min⁡(u,v)=log⁡|fi|\min(u,v)=\log\mathopen{|}{f_{i}}\mathclose{|}. Il en résulte que max⁡(u,v)\max(u,v) et min⁡(u,v)\min(u,v) sont PL. ∎

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