Histoire et cultureNotion · Glossaire
Choquet Gustave
Gustave Choquet est un mathématicien français connu notamment pour le théorème de représentation qui porte son nom. Dans sa forme classique, celui-ci affirme que tout point d'un ensemble convexe compact métrisable d'un espace vectoriel topologique localement convexe séparé est le barycentre d'une mesure de probabilité portée par ses points extrémaux, ce qui permet d'étudier l'ensemble à partir de ses éléments extrêmes.
Sommaire
Ce que vous allez apprendre
- Situer les domaines de recherche et les repères biographiques fournis par la source.
- Relier un point d'un convexe compact à une mesure sur ses points extrémaux.
- Vérifier la représentation sur un triangle par un calcul barycentrique.
- Distinguer existence et unicité d'une représentation.
En clair
Né en 1915, Gustave Choquet est un mathématicien français qui a travaillé sur les formes convexes, la topologie et la théorie du potentiel. Imaginez un point placé dans un triangle. On peut retrouver sa position en donnant un poids à chacun des trois sommets, comme si ces sommets se partageaient sa fabrication.
L'idée associée à Choquet étend ce partage à des ensembles convexes compacts bien plus généraux. Une mesure distribue alors les poids sur leurs points extrémaux. Cette manière de représenter les objets a rapproché plusieurs résultats auparavant formulés séparément.
Définition
Gustave Choquet (1915 – 2006) est un mathématicien français dont les recherches ont porté sur la topologie, les fonctions convexes et la théorie du potentiel. Élu membre de l'Académie des sciences en 1976, il a donné son nom au théorème de représentation de Choquet.
Dans sa forme classique, cette représentation s'applique à un ensemble convexe compact : convexe signifie que le segment joignant deux de ses points reste dans l'ensemble, et compact exprime ici une condition de fermeture et de bornitude dans le cadre usuel de dimension finie. Un point extrémal est un point qui ne peut pas être placé strictement entre deux autres points de l'ensemble. Le théorème décrit un point de l'ensemble comme le barycentre d'une mesure de probabilité portée par ces points extrémaux. Les poids d'une combinaison finie sont ainsi remplacés, dans le cadre général, par une mesure.
Ce cadre convexe abstrait a servi à reformuler et à unifier des résultats de la théorie classique du potentiel. Il prolonge aussi des idées présentes dans les théorèmes de Krein-Milman et de Minkowski. Choquet a par ailleurs proposé pour l'enseignement secondaire une présentation axiomatique rigoureuse de la géométrie, conçue pour rester accessible sans culture mathématique avancée.
Un exemple, pas à pas
Prenons un triangle et cherchons à représenter un point intérieur par une mesure concentrée sur ses trois sommets.
Données.
Le sommet A a pour coordonnées (0 ; 0).
Le sommet B a pour coordonnées (10 ; 0).
Le sommet C a pour coordonnées (0 ; 10).
Les poids attribués à A, B et C sont respectivement 0,2 ; 0,3 et 0,5.
Le sommet A a pour coordonnées (0 ; 0).
Le sommet B a pour coordonnées (10 ; 0).
Le sommet C a pour coordonnées (0 ; 10).
Les poids attribués à A, B et C sont respectivement 0,2 ; 0,3 et 0,5.
1. Additionnons les poids : 0,2 + 0,3 + 0,5 = 1. Ils définissent donc une mesure de probabilité sur les trois sommets.
2. Le point représenté, nommé P, est le barycentre pondéré des sommets :
3. Pour la première coordonnée, le calcul donne 0,2 × 0 + 0,3 × 10 + 0,5 × 0 = 3. Pour la seconde, il donne 0,2 × 0 + 0,3 × 0 + 0,5 × 10 = 5.
4. Ainsi, P a pour coordonnées (3 ; 5). Le contrôle est visuel et numérique : les poids sont positifs, leur somme vaut 1 et le point obtenu appartient bien au triangle.
Un diagramme du triangle rend visible cette représentation : chaque sommet porte son poids et leur barycentre commun est le point P.
En pratique
En géométrie convexe, la représentation de Choquet sert à décrire un point à partir des points extrémaux d'un ensemble compact. Pour un triangle, un calcul barycentrique fini suffit ; lorsque les points extrémaux forment un ensemble plus riche, la mesure remplace la simple liste de poids.
En théorie du potentiel, le cadre convexe permet de rapprocher des résultats formulés dans des langages différents. On choisit cette lecture lorsque la structure convexe et ses points extrémaux portent l'information à représenter.
Dans l'histoire de l'enseignement, les travaux de Choquet offrent aussi un cas d'étude sur l'axiomatisation de la géométrie. Une présentation intuitive convient pour découvrir les figures ; une présentation axiomatique devient préférable lorsque l'on veut identifier précisément les hypothèses utilisées.
À ne pas confondre
Gustave Choquet et le théorème de représentation de Choquet. Le premier nomme le mathématicien français né en 1915 et mort en 2006 ; le second nomme un résultat associé à ses travaux. Une date biographique concerne la personne, tandis qu'une hypothèse de convexité ou de compacité concerne le théorème.
Représentation de Choquet et théorème de Krein-Milman. Dans un espace vectoriel topologique localement convexe séparé, Krein-Milman affirme que tout ensemble convexe compact non vide est égal à l'adhérence de l'enveloppe convexe de ses points extrémaux. La représentation de Choquet décrit un point au moyen d'une mesure sur ces points. La présence explicite d'une mesure indique que l'on parle de la représentation de Choquet.
Représentation de Choquet et théorème de Minkowski. Dans un polytope de dimension finie, des combinaisons finies de sommets suffisent. La théorie de Choquet étend cette idée à un cadre convexe compact plus abstrait, où la représentation peut demander une mesure plutôt qu'une liste finie de coefficients.
Limites et pièges
La représentation n'est pas toujours unique. Dans un triangle, les trois poids barycentriques d'un point sont déterminés de façon unique. Dans un convexe compact général, plusieurs mesures portées par les points extrémaux peuvent avoir le même barycentre. Il faut donc séparer existence d'une représentation et unicité de la mesure.
Un point extrémal dépend de l'ensemble considéré. Un même point peut être extrémal dans un segment et ne plus l'être dans un ensemble convexe plus grand. Le bon réflexe consiste à nommer le convexe avant de déterminer ses points extrémaux.
La compacité n'est pas décorative. Retirer une hypothèse du théorème peut faire disparaître les garanties d'existence ou modifier la forme correcte du résultat. Avant d'appliquer la représentation, il faut vérifier le cadre convexe compact exact et ne pas extrapoler le calcul du triangle à tout ensemble convexe.
Pour aller plus loin
La géométrie convexe présente le cadre géométrique dans lequel segments, points extrémaux et représentations prennent sens.
Au-delà de la convexité prolonge la réflexion sur la convexité et les structures qui en dépassent le cadre classique.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres
