ScalingStacks

\lemmname 5.7.2 . [01UH]

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

\lemmname 5.7.2.

La fonction x↦max⁡(x1,…,xn)x\mapsto\max(x_{1},\dots,x_{n}) de 𝐑n\mathbf{R}^{n} dans 𝐑\mathbf{R} est convexe.

Soit a=(a1,…,an)a=(a_{1},\dots,a_{n}) une famille de nombres réels strictement positifs. La fonction faf_{a} de 𝐑n\mathbf{R}^{n} dans 𝐑\mathbf{R} donnée par

fa​(x)=log⁡(∑i=1nai​exp⁡(xi))f_{a}(x)=\log\big(\sum_{i=1}^{n}a_{i}\exp(x_{i})\big)

est convexe. Lorsque ε→0+\varepsilon\rightarrow 0^{+}, on a

limε→0+ε​fa​(x/ε)=max⁡(x1,…,xn),\lim_{\varepsilon\rightarrow 0^{+}}\varepsilon f_{a}(x/\varepsilon)=\max(x_{1},\dots,x_{n}),

la limite étant uniforme sur 𝐑n\mathbf{R}^{n}.

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