Fonction propre (analyse convexe)

En analyse convexe (une branche des mathématiques), une fonction à valeurs dans la droite réelle achevée est dite propre si elle est n'est pas identiquement égale à et ne prend pas la valeur .

Pour les notions de fonction propre en analyse spectrale et en topologie, voir respectivement Fonction propre et Application propre

Définitions

Une fonction à valeurs dans est dite propre si elle vérifie l'une des propriétés équivalentes suivantes :

  • elle ne prend pas la valeur et elle n'est pas identiquement égale à ;
  • elle ne prend pas la valeur et son domaine effectif est non vide ;
  • son épigraphe est non vide et ne contient pas de droite verticale.

Elle est dite impropre dans le cas contraire.

En analyse convexe, il est utile de pouvoir considérer des fonctions pouvant prendre des valeurs infinies, car certaines fonctions sont le résultat de constructions qui n'assurent pas a priori la finitude des valeurs qu'elles prennent. Les fonctions convexes prenant la valeur sont très particulières et en général indésirables.

Certains auteurs[1] notent

l'ensemble des fonctions convexes propres définies sur un espace vectoriel . Cet ensemble n'est clairement pas stable par différence, ni même par somme (la somme de deux fonctions convexes propres peut être impropre).

Propriété

Si est de dimension finie, on peut le munir d'un produit scalaire, noté , qui en fait un espace euclidien.

Existence d'une minorante affine  Soit un espace euclidien. Alors une fonction a une minorante affine : il existe et tels que

Cette minorante affine peut être choisie exacte en un point donné de l'intérieur relatif du domaine de  : pour tout , il existe , parallèle à l'enveloppe affine de tel que

La seconde partie de ce résultat revient à dire qu'une fonction convexe propre est sous-différentiable sur l'intérieur relatif de son domaine.

Annexes

Référence

Bibliographie

  • Portail de l’analyse
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.