Hypographe de f {\displaystyle f} Soit f {\displaystyle f} une fonction définie sur un ensemble E {\displaystyle \mathbb {E} } à valeurs dans la droite réelle achevée R ¯ := R ∪ { − ∞ , + ∞ } {\displaystyle {\bar {\mathbb {R} }}:=\mathbb {R} \cup \{-\infty ,+\infty \}} . L'hypographe de f {\displaystyle f} est l'ensemble noté hyp f {\displaystyle \operatorname {hyp} \,f} et défini par
hyp f := { ( x , α ) ∈ E × R : f ( x ) ⩾ α } . {\displaystyle \operatorname {hyp} \,f:=\{(x,\alpha )\in \mathbb {E} \times \mathbb {R} :f(x)\geqslant \alpha \}.}
L'hypographe strict de f {\displaystyle f} est l'ensemble noté hyp s f {\displaystyle \operatorname {hyp} _{s}\,f} et défini par
hyp s f := { ( x , α ) ∈ E × R : f ( x ) > α } . {\displaystyle \operatorname {hyp} _{s}\,f:=\{(x,\alpha )\in \mathbb {E} \times \mathbb {R} :f(x)>\alpha \}.}
L'hypographe permet de transférer aux fonctions des notions définies pour les ensembles. Par exemple, si E {\displaystyle \mathbb {E} } est un espace vectoriel , l'application f : E → R ¯ {\displaystyle f:\mathbb {E} \to {\bar {\mathbb {R} }}} est concave si son hypographe est convexe .