Jauge (mathématiques)

Sommaire 1 Définition 2 Propriétés de la jauge 2.1 Convexité de la jauge 2.2 Jauges ne prenant pas la valeur 2.3 Jauges ne prenant pas la valeur 0 hors de l'origine 3 À quoi servent les jauges ? 4 Références

Définition

Soit E un espace vectoriel sur ou sur , qu'on supposera topologique chaque fois que nécessaire, et soit C une partie convexe de E contenant l'origine.

On appelle jauge de C la fonction p de E dans définie, pour chaque point x de E, par :

,

définition qu'on complète en posant si l'ensemble ci-dessus est vide.

Faisons tout de suite une remarque de vérification immédiate, qui aide à interpréter ce qu'est la jauge :

Propriétés de la jauge

Convexité de la jauge

On vérifie facilement :

Jauges ne prenant pas la valeur

La remarque suivante est immédiate :

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, p 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 jauge 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 jauge 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 jauge évitant la valeur , la jauge 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.

Jauges ne prenant pas la valeur 0 hors de l'origine

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

Il est dès lors immédiat que (dans un espace vectoriel normé) la jauge 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 :

À quoi servent les jauges ?

• Dans la théorie des espaces vectoriels topologiques, c'est par l'introduction d'une collection appropriée de jauges qu'on peut caractériser les espaces localement convexes en termes de semi-normes.

• En géométrie des convexes, la jauge 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 , p désignant la jauge du convexe.

Références

Jean-Baptiste Hiriart-Urruty et Claude Lemaréchal, Fundamentals of convex analysis, coll. « Grundlehren Text Editions », Springer, 2001 (ISBN 3540422056), p. 128-130

Articles en rapport avec la convexité
Géométrie convexe	Article principal : Ensemble convexe Outils et résultats fondamentaux : Enveloppe convexe • Adhérence, intérieur et frontière d'un convexe • Projection sur un convexe fermé • Séparation des convexes • Points remarquables à la frontière d'un convexe • Polytope • Théorème de Krein-Milman • Lemme de Farkas Géométrie combinatoire : Théorème de Carathéodory • Théorème de Radon • Théorème de Helly Géométrie métrique : Courbe de largeur constante • Théorème des quatre sommets Algorithmes de géométrie convexe : Approche polyèdrale • Marche de Jarvis • Parcours de Graham • Théorème optimisation/séparation Optimisation linéaire : Programmation linéaire • Algorithme du simplexe • Génération de colonnes
Interactions géométrie-analyse	Théorème de Hahn-Banach • Jauge
Analyse convexe	Article principal : Fonction convexe Outils et résultats fondamentaux : Inégalité de Jensen Optimisation convexe : Conditions de Kuhn-Tucker • Méthode du point intérieur
Utilisations de la convexité	Inégalités de convexité : Inégalité arithmético-géométrique • Inégalité de Hölder Analyse fonctionnelle : Espace localement convexe • Théorème du point fixe de Schauder Localisation de zéros de polynômes : Théorème de Gauss-Lucas Théorie des nombres : Théorème de Minkowski

• Portail des mathématiques