Épigraphe (mathématiques)

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Épigraphe.
Cet article court présente un sujet plus développé dans : Fonction convexe.

Soit f une fonction définie sur un ensemble \mathbb{E} à valeurs dans la droite réelle achevée \bar{\R}:=\R\cup\{-\infty,+\infty\}. L'épigraphe de f est l'ensemble noté \operatorname{epi}\,f et défini par


\operatorname{epi}\,f := \{(x,\alpha)\in \mathbb{E}\times \R: f(x)\leqslant \alpha\}.

L'épigraphe strict de f est l'ensemble noté \operatorname{epi}_s\,f et défini par


\operatorname{epi}_s\,f := \{(x,\alpha)\in \mathbb{E}\times \R: f(x)< \alpha\}.

Exemples d'utilisation[modifier | modifier le code]

L'épigraphe permet de transférer aux fonctions des notions définies pour les ensembles. En voici deux exemples.