Lecture zen
Convexité dans un espace vectoriel
[ Definition ]
On appelle segment d’extrémités \(x\) et \(y\) dans un \(\mathbb{R}\)-espace vectoriel l’ensemble des \(t.x+(1-t).y\) pour \(t \in [0,1]\). (la définition s’étend au cas d’un \(\mathbb{C}\)-espace vectoriel en utilisant \(t\) réel dans \([0,1]\)).
Étant donnée \(A\) une partie convexe d’un \(\mathbb{K}\)-espace vectoriel une application \(f\) de \(A\) dans \(\mathbb{R}\) est dite convexe si étant donnés \(x\) et \(y\) dans \(A\) et \(t\) dans \([0,1]\) on a \(f(t.x+(1-t).y)\leq t.f(x).(1-t).f(y)\). L’application \(-f\) est alors dite concave.
En savoir plus
Une partie \(A\) d’un \(\mathbb{K}\)-espace vectoriel (avec \(\mathbb{K}=\mathbb{R}\) ou \(\mathbb{K}=\mathbb{C}\)) est dite convexe si tout segment d’extrémités dans \(A\) est inclus dans \(A\).