\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.
Source coverage notes 93 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
\lemmname 5.7.2 .
La fonction x ↦ max ( x 1 , … , x n ) x\mapsto\max(x_{1},\dots,x_{n}) de 𝐑 n \mathbf{R}^{n} dans 𝐑 \mathbf{R}
est convexe.
Soit a = ( a 1 , … , a n ) a=(a_{1},\dots,a_{n}) une famille de nombres réels strictement positifs.
La fonction f a f_{a} de 𝐑 n \mathbf{R}^{n} dans 𝐑 \mathbf{R} donnée par
f a ( x ) = log ( ∑ i = 1 n a i exp ( x i ) ) 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 + ε f a ( x / ε ) = max ( x 1 , … , x n ) , \lim_{\varepsilon\rightarrow 0^{+}}\varepsilon f_{a}(x/\varepsilon)=\max(x_{1},\dots,x_{n}),
la limite étant uniforme sur 𝐑 n \mathbf{R}^{n} .