ScalingStacks

1.4.3 [01M9]

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

1.4.3

On notera que la notion de fonction (et donc de superforme) lisse sur un polytope d’un espace affine dépend de la façon dont ce polytope est plongé.

PP
QQ

Soit par exemple PP le graphe de 𝐑2\mathbf{R}^{2}, réunion des segments [(−1,0),(0,0)][(-1,0),(0,0)] et [(0,0),(1,1)][(0,0),(1,1)] et Q=[−1,1]Q=[-1,1] son image dans 𝐑\mathbf{R} par la première projection p:𝐑2→𝐑p\colon\mathbf{R}^{2}\rightarrow\mathbf{R}. L’application pp induit un isomorphisme d’espaces linéaires par morceaux de PP sur QQ.

La fonction ff sur QQ définie par f⁡(x)=max⁡(x​,0)f(x)=\max(x,0) est continue, mais n’est pas lisse. En revanche, la fonction f∘pf\circ p sur QQ est lisse, comme restriction de la seconde coordonnée.

La tige en l’origine du faisceau des (1,0)(1,0)-formes sur PP est de dimension 22, engendrée par les images de d′⁡x\mathop{\mathrm{d^{\prime}}}x et d′⁡y\mathop{\mathrm{d^{\prime}}}y, tandis que la tige correspondante sur QQ n’est que de dimension 11, engendrée par d′⁡x\mathop{\mathrm{d^{\prime}}}x.

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