ScalingStacks

3.1.3 [01NL]

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

3.1.3

Le faisceau 𝒜X:=𝒜X0,0\mathscr{A}_{X}:=\mathscr{A}^{0,0}_{X} est un faisceau en 𝐑\mathbf{R}-algèbres de fonctions numériques sur XX, que l’on appelle les fonctions lisses. Ses sections sur un ouvert UU sont les fonctions réelles sur XX qui s’écrivent localement sur UU sous la forme φ⁡(log⁡|f1|,…,log⁡|fn|)\varphi(\log\mathopen{|}{f_{1}}\mathclose{|},\ldots,\log\mathopen{|}{f_{n}}\mathclose{|}) où les fif_{i} sont des fonctions holomorphes inversibles et où φ\varphi est une fonction 𝒞∞\mathscr{C}^{\infty} définie sur un ouvert de 𝐑n\mathbf{R}^{n} contenant l’image de l’application (log⁡|f1|,…,log⁡|fn|)(\log\mathopen{|}{f_{1}}\mathclose{|},\dots,\log\mathopen{|}{f_{n}}\mathclose{|}).

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