Maurice Fréchet : pourquoi ramener les maths au réel ?

Intervenant 10:00

Salut et bienvenue à l'écoute du podcast du magazine Tangente. C'est vraiment une immense joie d'ouvrir cette nouvelle exploration au cœur de la pensée mathématique.

Intervenant 20:09

Salut Sam. Oui, c'est clair, une très belle plongée en perspective. Et bonjour à toutes les personnes qui nous écoutent aujourd'hui.

Intervenant 10:16

Alors, notre objectif, comme toujours, c'est de décortiquer des concepts qui sont parfois un peu vertigineux avec passion, mais aussi avec beaucoup de rigueur. Et pour commencer, j'aimerais qu'on prenne juste un petit instant pour imaginer un truc.

Intervenant 20:30

Vas-y, je t'écoute.

Intervenant 10:32

Imagine la conception d'un moteur absolu, genre le plan ultime d'un chef-d'œuvre d'ingénierie, avec des rouages parfaits, des axes millimétrés.

Intervenant 20:40

Ok, je visualise très bien.

Intervenant 10:42

Sauf que, et c'est là que ça devient bizarre, le concepteur de ce moteur, il refuse catégoriquement de savoir si la machine va fonctionner à l'essence, à l'électricité, à l'hydrogène ou même à l'eau.

Intervenant 20:56

Ah oui d'accord, pour un esprit d'ingénieur, c'est carrément une absurdité totale quoi.

Intervenant 11:00

Mais exactement. Pourquoi s'embêter à construire une mécanique d'une telle précision si on ignore délibérément quel carburant va la faire tourner ?

Intervenant 21:08

C'est clair que ça semble contre-intuitif.

Intervenant 11:10

Pourtant, dans l'univers de la recherche scientifique, ignorer volontairement la réalité matérielle, c'est parfois le moyen le plus puissant de la comprendre. Et c'est de ça qu'on va parler. Aujourd'hui, on analyse un document fascinant qui s'intitule axiomatiser versus désaxiomatiser.

Intervenant 21:26

Et honnêtement, c'est un texte qui se prête à merveille à l'exercice, parce qu'il met vraiment en lumière une tension fondamentale dans l'histoire des sciences. Ce document s'articule autour d'une figure gigantesque des mathématiques françaises, Maurice Fréchet.

Intervenant 11:40

Un grand nom, effectivement.

Intervenant 21:42

Voilà, et à travers l'évolution de sa pensée, on va comprendre comment l'abstraction, même quand elle semble s'isoler dans sa tour d'ivoire la plus hermétique, finit toujours inévitablement par heurter la réalité de plein fouet. C'est

Intervenant 11:55

vraiment la mission de notre émission d'aujourd'hui, percer ce mystère de l'abstraction. Et je fais une petite promesse à notre public tout de suite, c'est qu'il y aura un retournement de situation assez spectaculaire sur la manière dont les théoriciens conçoivent leur propre discipline.

Intervenant 22:07

Oh que oui, le fameux rebondissement.

Intervenant 12:10

Mais avant d'en arriver là, il faut qu'on pose le décor. Maurice Fréchet, ce n'est pas n'importe qui. La source le décrit comme l'auteur d'une œuvre majeure. Est-ce que tu peux nous dire un peu quels sont les concepts qu'il a introduits et pourquoi ils sont si fondamentaux ?

Intervenant 22:25

L'article rappelle que Fréchet, c'est vraiment l'un des grands architectes de l'analyse mathématique moderne. Il a notamment posé les bases de ce qu'on appelle la topologie. Pour te donner un ordre d'idées, c'est lui qui a introduit la notion de convergence compacte, la théorie des filtres et surtout les fameux espaces métriques.

Intervenant 12:42

Les espaces métriques,

Intervenant 22:43

oui. D'ailleurs, il y a certains espaces très importants en maths qui portent aujourd'hui son nom, les espaces de Fréchet. En fait, son travail a commencé au début de sa carrière sous la direction d'un autre géant, Jacques Adamard, et ça portait sur les espaces fonctionnels.

Intervenant 12:55

Attends, il faut vraiment qu'on s'arrête là-dessus une seconde. Parce qu'on a vite fait de lister des termes super techniques, genre espace fonctionnel, et de perdre de vue la mécanique intellectuelle derrière.

Intervenant 23:05

C'est vrai, c'est

Intervenant 13:06

vrai. Si on prend l'exemple des espaces métriques, pour la plupart des gens, la métrique, c'est l'art de mesurer une distance concrète. C'est les kilomètres entre Paris et Marseille ou, je ne sais pas, la longueur d'une table avec une règle graduée.

Intervenant 23:19

Tout à fait.

Intervenant 13:20

Comment est-ce que Fréchet arrive à s'emparer de ce concept hyperterrien pour le transformer en un outil abstrait ?

Intervenant 23:26

C'est là qu'est son coup de génie en fait. Fréchet, il observe la façon dont on mesure une distance physique et il remarque que cette mesure, elle obéit toujours à des règles logiques hyper simples.

Intervenant 13:37

Du

Intervenant 23:37

genre ? Là, par exemple, la distance entre un point A et un point B, c'est toujours un nombre positif ou nul. Tu ne peux pas avoir une distance de moins trois kilomètres.

Intervenant 13:47

Logique, ouais.

Intervenant 23:48

Autre règle, le chemin le plus court entre deux points, c'est toujours la ligne droite. Et du coup, ce que fait Fréchet, c'est qu'il extrait uniquement ses règles logiques, l'ossature quoi, et il jette la règle graduée à la poubelle.

Intervenant 14:01

Oh waouh !

Intervenant 24:02

Ouais, il détache complètement l'idée de distance de notre espace physique habituel.

Intervenant 14:07

Donc, si je comprends bien, on garde toutes les propriétés mathématiques de la distance, mais on mesure plus des mètres ou des centimètres. Mais alors, qu'est-ce qu'on mesure ?

Intervenant 24:16

De quels objets mathématiques ? C'est ça qui est dingue. Une fois qu'il a isolé la mécanique pure de la distance, Fréchet crée un outil pour évaluer l'écart entre deux fonctions complexes, entre deux signaux sonores ou même entre deux immenses jeux de données statistiques.

Intervenant 14:32

D'accord, c'est ça un espace métrique ?

Intervenant 24:34

Exactement. On applique la logique d'une distance géographique, mais à des objets invisibles. Et c'est en travaillant sur cette généralisation que Fréchet en vient à formuler dans un livre de 1928 qui s'appelle « Les espaces abstraits », la fameuse définition de ce qu'est un ensemble abstrait.

Intervenant 14:50

Ah, le cœur du réacteur de notre article. Comment il définit ça, un élément abstrait, vu qu'il a supprimé toute physicalité ?

Intervenant 24:57

Sa définition est redoutable. Selon l'auteur de l'article, pour Fréchet, on qualifie d'abstrait un ensemble dont les éléments sont, je cite, « d'une même nature, inconnus ou volontairement ignorés ».

Intervenant 15:09

Volontairement ignorer, oui. Mais c'est exactement l'analogie de notre concepteur de moteur du début.

Intervenant 25:15

C'est tout à fait ça.

Intervenant 15:16

On crée une coquille, une architecture parfaite, et on se fiche complètement du matériau qui va venir dedans. Mais d'un point de vue utilitaire, pourquoi s'infliger un truc pareil ? Il y a quel bénéfice à ignorer la nature des éléments sur lesquels on bosse ? On ne risque pas juste de travailler à l'aveugle pour rien ?

Intervenant 25:34

Et bien figure-toi que c'est tout l'inverse.