Géométrie convexe : de l’élastique aux points extrêmes

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Alors aujourd'hui, imaginez qu'on confie à notre audience une mission apparemment impossible.

Intervenant 20:10

Complètement impossible même.

Intervenant 10:11

Ouais, du genre à s'arracher les cheveux. Trouver le point culminant d'une immense chaîne de montagne. Mais, et c'est là le piège, le tout est plongé dans une obscurité totale.

Intervenant 20:23

Donc aucune visibilité sur les sommets.

Intervenant 10:25

Exactement. On ne peut pas les voir et on ne peut certainement pas explorer chaque centimètre carré du terrain à la lampe torche. Mais on dispose d'une astuce mathématique absolue pour ça.

Intervenant 20:35

Une très belle astuce d'ailleurs.

Intervenant 10:36

N'est-ce pas ? Si on tend une immense toile imaginaire, vraiment parfaitement lisse, par-dessus toute cette chaîne de montagne, eh bien on sait avec une certitude mathématique absolue que le sommet optimal, le plus haut, se trouve forcément sur l'un des points de tension de cette toile.

Intervenant 20:52

C'est fascinant de se dire qu'on peut contourner le problème comme ça.

Intervenant 10:57

Et cette mécanique qui permet de simplifier l'infini et de rendre visible l'invisible, c'est le cœur de notre exploration d'aujourd'hui. On va plonger dans la géométrie convexe. C'est un domaine fascinant à la croisée de l'optimisation, de l'intelligence artificielle et de la topologie.

Intervenant 21:14

Et c'est un sujet vraiment fondamental pour comprendre notre monde technologique actuel. En fait, la géométrie convexe offre une traduction visuelle presque palpable à des problèmes algorithmiques très complexes.

Intervenant 11:27

Des problèmes qui, sinon, donneraient juste mal à la tête.

Intervenant 21:30

C'est ça qui serait complètement noyé dans des équations indéchiffrables. Mais ce qui rend l'étude de nos sources du jour particulièrement captivante, c'est que derrière cette apparente simplicité visuelle,

Intervenant 11:41

la fameuse toile

Intervenant 21:42

tendue, derrière ça se cachent des comportements mathématiques qui défient complètement notre intuition. Surtout lorsqu'on commence à flirter avec l'infini.

Intervenant 11:53

Oulah, l'infini ! Mais bon, avant d'en arriver à ses limites où l'intuition se brise totalement, je pense qu'il faut qu'on pose les bases pour que notre audience puisse bien visualiser la scène.

Intervenant 22:04

Oui, c'est indispensable.

Intervenant 12:06

Le concept fondamental de l'ensemble convexe, à première vue ça semble assez abordable. Si je comprends bien les notes de nos sources, une forme est convexe si, lorsqu'on choisit deux points quelconques à l'intérieur, le segment de droite qui les relie reste entièrement à l'intérieur de cette forme.

Intervenant 22:24

Tout à fait, c'est la définition classique.

Intervenant 12:27

Donc, par exemple, un cercle plein, c'est convexe. Mais un croissant de Lune ne l'est pas, parce qu'une ligne entre les deux pointes du croissant flotterait dans le vide à l'extérieur de la forme.

Intervenant 22:37

Exactement. L'analogie du croissant de Lune, elle illustre vraiment bien cette rupture de la convexité. Et à partir de là, les mathématiciens ont développé l'idée de l'enveloppe convexe.

Intervenant 12:48

L'enveloppe convexe, donc on emballe la forme.

Intervenant 22:50

C'est un peu ça. Si une forme de départ n'est pas convexe, on va chercher à définir le plus petit ensemble convexe possible qui puisse la contenir entièrement. D'accord. Les sources proposent une image mentale très efficace pour ça. Imaginons la lettre majuscule

Intervenant 13:05

W. Le W, ok, je l'ai en tête.

Intervenant 23:08

Elle possède des pointes en bas et en haut, mais aussi de profonds creux au milieu. Si on considère ce W comme un objet rigide et qu'on tend un grand élastique tout autour.

Intervenant 13:17

Un peu comme un lasso.

Intervenant 23:18

Voilà, un lasso géant. L'élastique va s'appuyer sur les pointes extérieures et il va tirer tout droit par-dessus les creux. Il ne va pas rentrer dedans.

Intervenant 13:27

Ah, je vois.

Intervenant 23:28

Et la nouvelle forme pleine délimitée par cet élastique, qui ressemble à un trapèze pour le coup, eh bien, ça constitue son enveloppe convexe.

Intervenant 13:36

Ok, décortiquons tout ça. Pour bien saisir la mécanique physique de cette idée, est-ce qu'on peut comparer ça à une machine emballée sous vide ? Une machine

Intervenant 23:44

sous vide ? Comment

Intervenant 13:46

ça ? Si on place un objet complexe avec plein de creux dans un sac plastique et qu'on aspire l'air, le plastique se tend à fond. Il crée des lignes droites entre les parties les plus saillantes, sans jamais s'enfoncer dans les cavités. Parce qu'il est tendu au maximum. L'enveloppe convexe, ce serait le volume final de ce sac tendu.

Intervenant 24:03

Ah, c'est une très bonne image. L'idée de l'emballage sous vide aide vraiment à visualiser la tension de la frontière.

Intervenant 14:09

Ouais, ça donne un côté très physique.

Intervenant 24:11

Toutefois, il y a une différence mathématique cruciale à garder en tête.

Intervenant 14:15

Laquelle ?

Intervenant 24:16

Notre film plastique géométrique, il possède une tension littéralement parfaite, sans aucune courbure. Et surtout, il s'applique aussi à des concepts infinis que l'on ne pourrait jamais, au grand jamais, faire rentrer dans un sac. Ah

Intervenant 14:29

oui, l'infini vient toujours tout compliquer en maths.

Intervenant 24:32

C'est vrai. Prenons par exemple deux droites parfaitement parallèles qui s'étendent à l'infini sur une feuille de papier, un plan.

Intervenant 14:39

Ok, deux rails de trains infinis.

Intervenant 24:42

Exactement. Eh bien, l'enveloppe convexe de ces deux lignes, elle ne se limite pas aux lignes elles-mêmes. C'est l'intégralité de la bande pleine infinie comprise entre elles. Tout l'espace intermédiaire est géométriquement rempli, comme

Intervenant 14:55

coloré. Donc l'élastique remplit tout le vide entre les droites, à l'infini.

Intervenant 24:59

Oui. Et si l'on passe en trois dimensions ? Imaginez trois droites verticales infinies disposées comme les piliers non alignés d'une tour invisible.

Intervenant 15:09

Trois piliers immenses.

Intervenant 25:12

Leur enveloppe convexe devient une immense colonne pleine, un prisme triangulaire infini dont les faces planes relient les

Intervenant 15:20

piliers. L'image visuelle est super forte. L'enveloppe comble les vitres par les chemins les plus directs.

Intervenant 25:27

Absolument. C'est la forme d'optimisation la plus pure de l'espace.

Intervenant 15:32

Mais il y a un mais. Cette idée de tendre un élastique depuis l'extérieur, ça semble très physique, très ancré dans le monde matériel. J'imagine que pour construire des algorithmes informatiques, les mathématiciens ont dû trouver une méthode plus rigoureuse que d'imaginer des élastiques géants, non ? Comment on définit cette enveloppe de l'intérieur ?

Intervenant 25:51

Vous mettez le doigt sur un point essentiel. Et c'est précisément le tour de force du théorème de Caratheodorie, qui a été formulé au début du XXe siècle.

Intervenant 16:00

Caratheodorie. Que dit ce théorème ?

Intervenant 26:02

Constantin Caratheodorie a démontré que dans un espace donné, disons un plan en deux dimensions pour faire simple, on n'a pas besoin de regarder depuis l'extérieur avec notre élastique.

Intervenant 16:12

On reste à l'intérieur.

Intervenant 26:13

Voilà. On peut construire l'intégralité de l'enveloppe convexe d'une forme uniquement en piochant des points qui sont déjà à l'intérieur de cette forme de départ.

Intervenant 16:21

Ah, intéressant ! Et comment on fait ça concrètement ?

Intervenant 26:24

La méthode consiste à relier ces points pour former des segments de droite et des triangles. En réunissant tous les triangles possibles formés par les points de l'objet initial, on finit par paver, par remplir méticuleusement chaque espace vide.

Intervenant 16:38

Donc on construit des petits triangles à l'infini ?

Intervenant 26:40

C'est ça. Et en faisant ça, on construit l'enveloppe convexe parfaite, de l'intérieur vers l'extérieur.

Intervenant 16:46

Donc, si je résume, on tisse la toile de l'intérieur, point par point, triangle par triangle, jusqu'à ce que la forme soit totalement pleine et bombée vers l'extérieur.

Intervenant 26:56

C'est une excellente façon de le décrire.

Intervenant 16:58

Jusqu'ici, je dois dire que la logique tient super bien. Mais notre source insiste lourdement sur le fait que cette belle mécanique va se heurter à la topologie.

Intervenant 27:08

Ah, la topologie ! C'est là que les ennuis commencent.

Intervenant 17:11

Ouais. Et plus particulièrement à la notion d'ensemble ouvert et fermé. Je crois qu'il faut qu'on décortique un peu ça pour notre audience. Qu'est-ce qui rend un ensemble mathématique ouvert ou fermé ? Et pourquoi diable cela pose-t-il problème à notre fameuse enveloppe convexe ?

Intervenant 27:27

Pour faire simple, la topologie étudie la nature des frontières.