Helly Eduard

Imaginez une famille finie d'au moins trois régions convexes, dessinées sur une feuille. Une région convexe contient tout le segment reliant deux de ses points ; « sans creux » peut aider à l'imaginer, mais ne suffit pas à la caractériser. Le théorème de Helly dit qu'en dimension 2, il suffit de vérifier les groupes de trois régions : si chaque groupe de trois possède au moins un point commun, toutes les régions en possèdent un.

Cette idée relie une vérification locale à une conclusion globale. Eduard Helly, mathématicien autrichien né à Vienne en 1884, l'a démontrée en 1913 ; le résultat a été publié en 1923.

Le théorème de Helly est un résultat de géométrie combinatoire sur des ensembles convexes. Un ensemble est convexe lorsque, pour deux de ses points, tout le segment qui les relie reste dans l'ensemble.

Dans un espace de dimension d, considérons une famille finie de n ensembles convexes, avec n ≥ d + 1. Le nombre d désigne la dimension de l'espace, et n le nombre total d'ensembles. Si toute sous-famille de d + 1 ensembles a une intersection non vide, alors l'intersection des n ensembles est non vide :

Le test porte donc sur des sous-familles de taille d + 1, tandis que la conclusion porte sur la famille entière. En dimension 2, le seuil est d + 1 = 3 : on examine les groupes de trois convexes. Le résultat ne concerne pas des régions arbitraires ; la convexité est la condition qui permet de passer de ces intersections locales à l'intersection globale.

Prenons quatre rectangles convexes dans le plan. Leurs coordonnées sont données par les intervalles horizontaux et verticaux suivants : A = [0, 6] × [0, 6], B = [2, 8] × [0, 6], C = [0, 6] × [2, 8] et D = [2, 8] × [2, 8].

Dans le plan, d = 2, donc le théorème demande de contrôler les groupes de trois rectangles. Pour A, B et C, l'intersection est [2, 6] × [2, 6]. Pour A, B et D, elle est aussi [2, 6] × [2, 6].

Pour A, C et D, puis pour B, C et D, l'intersection reste [2, 6] × [2, 6]. Chaque groupe de trois possède donc des points communs.

L'intersection des quatre rectangles est finalement [2, 6] × [2, 6], qui n'est pas vide. Le contrôle direct confirme la conclusion du théorème : ici, la vérification des quatre groupes de trois suffit à garantir le point commun de la famille entière.

En géométrie combinatoire, le théorème réduit une vérification globale à des sous-familles de taille d + 1. On choisit cette voie lorsque les ensembles étudiés sont convexes et que les intersections locales sont testables.

En théorie des probabilités, le théorème de Helly-Bray constitue un autre prolongement du nom de Helly. On le choisit lorsque la question porte sur des probabilités, et non sur l'intersection de régions convexes.

Pour étudier les suites de fonctions à variation bornée, on rencontre plutôt le théorème de sélection de Helly. Il suppose notamment des variations totales uniformément bornées et des valeurs uniformément contrôlées en un même point ; il garantit alors l'extraction d'une sous-suite convergeant ponctuellement. Il ne s'agit pas du test d'intersection géométrique : le critère observable est cette convergence, non l'existence d'un point commun.

Le théorème de Helly ne se confond pas avec le théorème de Helly-Bray. Le premier porte sur l'intersection de convexes en géométrie combinatoire ; le second appartient à la théorie des probabilités. Le domaine et la conclusion permettent de trancher : point commun d'ensembles d'un côté, résultat probabiliste de l'autre.

Il ne faut pas non plus le confondre avec le théorème de sélection de Helly. Une question sur des sous-familles de convexes appelle le théorème d'intersection ; une question sur la convergence d'une suite de fonctions appelle le théorème de sélection, sous des hypothèses uniformes : variations totales uniformément bornées et valeurs contrôlées en un même point. Ces conditions permettent d'extraire une sous-suite convergeant ponctuellement.

Le seuil dépend de la dimension. Dans le plan, d = 2 impose de vérifier les sous-familles de trois convexes ; en dimension d, le seuil devient d + 1. Remplacer ce seuil par deux ou quatre groupes sans tenir compte de la dimension peut invalider le raisonnement.

La convexité est indispensable dans l'énoncé. Des régions en forme de croissant, d'anneau ou présentant un creux peuvent avoir des intersections locales non vides sans satisfaire la conclusion globale. Le bon réflexe consiste à vérifier d'abord que chaque ensemble est convexe, puis à appliquer le test de taille d + 1.

Une intersection non vide ne signifie pas nécessairement qu'elle se réduit à un point : dans l'exemple des rectangles, l'intersection commune est le rectangle [2, 6] × [2, 6]. Le théorème garantit l'existence d'au moins un point commun, sans imposer son unicité ni sa forme.

Les familles de Helly généralisent l'idée du théorème : elles décrivent une propriété combinatoire selon laquelle l'existence d'intersections dans des sous-familles suffisamment petites contrôle l'intersection de la famille entière.

Le parcours d'Eduard Helly mène aussi vers l'analyse fonctionnelle, où son article de 1912 contient des démonstrations antérieures aux publications habituellement citées pour les théorèmes de Hahn-Banach et de Banach-Steinhaus, aussi appelé principe de la borne uniforme. Pour le lecteur, ce lien montre que le nom de Helly apparaît aussi dans des résultats d'analyse fonctionnelle, et pas seulement dans le théorème d'intersection des convexes.