Fonction de Minkowski (analyse convexe)

Un article de Wikipédia, l'encyclopédie libre.
(Redirigé depuis Jauge (géométrie))
Aller à : navigation, rechercher

En analyse convexe et en analyse fonctionnelle, une fonction de Minkowski est une fonction définie sur un espace vectoriel, à valeurs dans , dont les ensembles de sous-niveau sont obtenus par homothétie d'un ensemble donné.

De manière plus précise, si est l'espace vectoriel, la fonction de Minkowski de l'ensemble est la fonction , définie en par

La fonction de Minkowski d'un ensemble convexe contenant zéro est une jauge, c'est-à-dire une fonction convexe, positive, positivement homogène de degré un et nulle en l'origine.

Cette notion et sa cousine, la jauge, interviennent en analyse fonctionnelle (démonstration de la forme analytique du théorème de Hahn-Banach), en optimisation (problème de recouvrement par jauge), etc.

Définition[modifier | modifier le code]

Soient un espace vectoriel sur , que l'on supposera topologique chaque fois que nécessaire, et une partie de . On appelle fonction de Minkowski de , la fonction de dans définie en par

Dans cette définition, est l'ensemble des éléments de la forme avec . Par cette définition, s'il n'existe pas de tel que . Dès lors

Propriétés immédiates — Soit une partie de .

  1. , avec égalité si est fermé.
  2. est positive.
  3. est positivement homogène de degré un : si et , on a

Si n'est pas convexe ou ne contient pas zéro, on n'a pas nécessairement . Voici un contre-exemple : si , et , alors mais .

On déduit de la propriété 3 ci-dessus que pour , on a

ce qui justifie la définition imprécise donnée dans l'introduction : les ensembles de sous-niveaux de sont d'homothétiques.

Cas d'un ensemble convexe[modifier | modifier le code]

Dans cette section on considère la fonction de Minkowski associée à un ensemble convexe de , contenant l'origine. Alors est une jauge et partage beaucoup de propriétés avec celles d'une norme.

Propriétés de base[modifier | modifier le code]

Dans le résultat ci-dessous, l'on note le cône asymptotique d'un convexe fermé non vide .

Propriétés de base — Soient , et des convexes de contenant zéro.

  1. est une jauge (elle est donc convexe, positive, positivement homogène de degré un, sous-linéaire et nulle en l'origine).
  2. Pour tout , on a .
  3. avec égalité si est ouvert.
  4. Si , alors .
  5. Si est fermé, alors est fermée et

Fonction de Minkowski ne prenant pas la valeur +∞[modifier | modifier le code]

Fonction de Minkowski finie — La fonction de Minkowski d'un convexe C contenant 0 ne prend que des valeurs finies si et seulement si C est absorbant.

Il est également immédiat de vérifier que cette condition est en particulier réalisée si 0 est intérieur à C ; la réciproque est vraie en dimension finie et facile à vérifier — on peut le faire assez élégamment en remarquant qu'en tant que fonction convexe à valeurs finies et définie partout, est alors continue, et que est alors un voisinage de 0 contenu dans C.

Lorsque 0 est intérieur à C, on peut se faire une image mentale simple de la fonction de Minkowski via ses surfaces de niveau : l'ensemble des points où elle prend la valeur 1 est exactement la frontière du convexe ; les surfaces de niveau pour les autres valeurs strictement positives sont les homothétiques de cette frontière ; en les éventuels points restant non couverts par la réunion de ces surfaces de niveau, la fonction de Minkowski prend la valeur 0.

On peut enfin remarquer que (pour un espace vectoriel réel), si C est symétrique par rapport à 0 avec une fonction de Minkowski évitant la valeur +∞, la fonction de Minkowski est alors une semi-norme ; il en est de même pour un espace vectoriel complexe si on exige une version améliorée de la symétrie, à savoir l'invariance sous multiplication par n'importe quel complexe de module 1.

Fonction de Minkowski ne prenant pas la valeur 0 hors de l'origine[modifier | modifier le code]

Il est clair au vu de la définition que la fonction de Minkowski prend la valeur 0 en un point x0 autre que l'origine si et seulement si toute la demi-droite issue de l'origine et passant par x0 est incluse dans le convexe.

Il est dès lors immédiat que (dans un espace vectoriel normé) la fonction de Minkowski d'un convexe borné ne prend pas la valeur 0 hors de l'origine.

La réciproque est vraie pour un convexe fermé en dimension finie, et se démontrerait en exploitant la compacité de la sphère de rayon 1 :

Ensemble borné — Soit C un convexe fermé contenant 0 dans un espace de dimension finie. Alors C est borné si et seulement si sa fonction de Minkowski ne prend pas la valeur 0 hors de l'origine.

Exemples d'utilisation[modifier | modifier le code]

  • Dans la théorie des espaces vectoriels topologiques, c'est par l'introduction d'une collection appropriée de fonctions de Minkowski qu'on peut caractériser les espaces localement convexes en termes de semi-normes.
  • En géométrie des convexes, la fonction de Minkowski est un outil intéressant pour ramener un problème purement géométrique (recherche d'un hyperplan) à un problème analytique (recherche d'une équation de l'hyperplan). Ainsi dans la preuve de la « forme géométrique » du théorème de Hahn-Banach — fondement de toute la théorie de la séparation des convexes et des hyperplans d'appui —, un pas essentiel est la constatation qu'exiger de l'hyperplan d'équation f(x) = 1 qu'il évite un convexe donné (ouvert et contenant 0), c'est la même chose que de demander à f de vérifier l'inéquation .

Annexes[modifier | modifier le code]

Article connexe[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

  • (en) Jean-Baptiste Hiriart-Urruty et Claude Lemaréchal, Fundamentals of convex analysis, Berlin New York, Springer, coll. « Grundlehren Text », (ISBN 3-540-42205-6), p. 128-130
  • (en) R.T. Rockafellar (1970). Convex Analysis. Princeton Mathematics Ser. 28. Princeton University Press, Princeton, New Jersey.