Rotations, translations, réflexions : que produit leur composition ?

Intervenant 10:00

Plaçons mentalement deux miroirs l'un en face de l'autre.

Intervenant 20:03

Ah, la fameuse galerie des glaces !

Intervenant 10:05

Exactement. On observe ce couloir infini de reflets, cette image qui se répète encore et encore jusqu'à disparaître. Et si je révélais aujourd'hui que ces deux simples morceaux de verre, parfaitement plats et immobiles, ce sont en réalité le secret mathématique caché derrière chaque galaxie qui tourbillonne, chaque ballon qui roule et absolument toute forme de mouvement géométrique dans notre univers.

Intervenant 20:28

C'est une promesse assez audacieuse, ça.

Intervenant 10:30

Mais c'est la vérité. C'est avec cette image vertigineuse et une énergie absolument débordante qu'on ouvre aujourd'hui le podcast du magazine Tangente. Bienvenue à toute notre audience pour cette nouvelle plongée au cœur des mathématiques.

Intervenant 20:41

Merci, je suis ravie d'être là.

Intervenant 10:43

On a souvent cette fausse idée d'une discipline un peu figée, froide, uniquement peuplée de chiffres immobiles sur un tableau noir. Mais en fait, les mathématiques parlent de mouvement, de symétrie, d'une beauté visuelle qui s'apparente à une véritable chorégraphie. Et aujourd'hui, on s'attaque à un sujet qui traîne une réputation terrible et obscure, la théorie des groupes.

Intervenant 21:05

Ouais, le terme seul suffit souvent à faire fuir les non-initiés.

Intervenant 11:09

Totalement.

Intervenant 21:10

La théorie des groupes, ça évoque immédiatement des structures algébriques denses, des théorèmes indéchiffrables, une abstraction qui semble totalement déconnectée du monde réel.

Intervenant 11:20

C'est le cliché habituel. Sauf que, et c'est la mission de notre exploration d'aujourd'hui, cette théorie, c'est le moteur secret qui donne vie à la géométrie tout entière. Sans les règles édictées par les groupes, on se noierait purement et simplement dans une diversité chaotique de transformations.

Intervenant 21:36

C'est ça, c'est vraiment le chef d'orchestre qui met de l'ordre dans le chaos des mouvements.

Intervenant 11:41

Exactement.

Intervenant 21:41

L'enjeu, c'est de comprendre que ces groupes nous aident à repérer des motifs invisibles dans l'espace. Ils ne se contentent pas de faire un catalogue de mouvements disparates.

Intervenant 11:50

Non, ça va bien plus loin.

Intervenant 21:52

La théorie explique rigoureusement pourquoi les formes interagissent et comment des actions en apparence totalement différentes sont, à un niveau microscopique, fabriquées avec les mêmes briques fondamentales.

Intervenant 12:04

Et pour comprendre comment les choses bougent, la logique veut qu'on définisse d'abord très exactement où elles bougent. C'est la fondation de notre maison géométrique en fait.

Intervenant 22:13

Tout à fait, il nous faut un cadre.

Intervenant 12:15

Alors, pour visualiser ce terrain de jeu, j'aime bien utiliser une métaphore familière. Imaginons l'espace affine, qui est le support classique de la géométrie, comme une immense carte géographique étalée sur une grande table de salon.

Intervenant 22:29

Une carte physique, oui.

Intervenant 12:30

Voilà. C'est un ensemble de points statiques. On y trouve une origine, qu'on appelle souvent O, et des axes pour s'orienter avec des latitudes et des longitudes.

Intervenant 22:39

Sauf que la carte représente le lieu physique. Mais une carte posée sur une table, ça ne crée aucun mouvement par elle-même. Pour générer un déplacement d'un point A à un point B, il faut lui superposer une autre structure, l'espace vectoriel associé.

Intervenant 12:53

C'est là que le système GPS entre en jeu. L'espace vectoriel, c'est cet ordinateur de bord qui ne connaît pas les villes ou les adresses. Il ne comprend que des instructions de mouvement.

Intervenant 23:02

Exactement, des directions pures.

Intervenant 13:05

Du genre, avance de trois pas vers le nord, puis de deux pas vers l'est. Donc la carte géographique, c'est l'espace affine. Et les instructions de déplacement pures, c'est l'espace vectoriel.

Intervenant 23:15

Cette distinction, elle sépare vraiment le contenant du contenu dynamique. Et c'est au sein de ce système GPS, cet espace vectoriel, que les mathématiciens définissent les premières transformations.

Intervenant 13:26

D'accord.

Intervenant 23:26

L'attention se porte sur ce qu'on nomme les endomorchismes.

Intervenant 13:29

Oula, le gros mot

Intervenant 23:31

est lâché. Oui, ça a l'air intimidant. Mais derrière ce mot se cachent simplement des règles qui prennent une instruction de mouvement, donc un vecteur, et la transforment en une nouvelle instruction. Tout ça en conservant scrupuleusement la géométrie de base, c'est-à-dire l'addition et la proportionnalité.

Intervenant 13:47

Bon, décortiquons tout ça. Si on veut construire un système logique, on ne peut pas accepter n'importe quelle transformation chaotique. Surtout pas. La théorie des groupes impose une règle d'or. Pour qu'un ensemble de mouvements soit considéré comme un groupe, il faut une réversibilité parfaite. Chaque action doit pouvoir être défaite.

Intervenant 24:04

C'est le principe d'inversibilité, oui.

Intervenant 14:06

Si j'appuie sur un bouton pour avancer, je dois avoir un autre bouton pour revenir exactement à mon point de départ, sans la moindre ambiguïté. C'est pour ça qu'on se concentre sur les isomorphismes, des règles de transformation bijectives.

Intervenant 24:19

C'est ça. La bijection, elle garantit que l'information n'est jamais détruite. Pour vérifier ça de manière algébrique, on scrute le noyau de la transformation, ce que les mathématiciens appellent le cœur, pour kernel en anglais.

Intervenant 14:31

Le fameux noyau.

Intervenant 24:31

Le noyau regroupe toutes les instructions de mouvement initial qui, une fois passées dans la machine de transformation, finissent par donner zéro.

Intervenant 14:38

C'est-à-dire l'immobilité totale.

Intervenant 24:40

Exactement. Et pour qu'une transformation soit parfaitement réversible, ce noyau ne doit contenir qu'une seule et unique chose, le zéro lui-même.

Intervenant 14:48

Laissez-moi utiliser une image pour que tout le monde saisisse l'importance de ce noyau réduit à zéro. Imaginons une télécommande de télévision.

Intervenant 24:55

Je vous écoute.

Intervenant 14:56

Si le bouton rouge et le bouton bleu ont tous les deux pour effet d'éteindre la télé, ils envoient tous les deux le système vers l'état zéro. Le problème, c'est que si quelqu'un entre dans la pièce et voit la télé éteinte, il lui est physiquement impossible de deviner si on a appuyé sur le rouge ou le bleu. C'est très juste. L'information d'origine a été écrasée. L'action n'est plus réversible. En géométrie, c'est pareil. Si plusieurs mouvements différents finissent tous par s'annuler et donner zéro, on est perdu. Le retour en arrière est impossible.

Intervenant 25:24

L'analogie de la télécommande illustre parfaitement la perte de la bijection. Dès qu'une information est superposée ou écrasée, l'édifice du groupe mathématique s'effondre.

Intervenant 15:34

C'est fatal.

Intervenant 25:35

Et en parlant de la base de cet édifice, la brique la plus minimaliste que l'on puisse définir dans notre système vectoriel, c'est ce qui ne fait absolument rien.

Intervenant 15:43

L'identité. Voilà. C'est l'instruction du GPS qui ordonne fièrement. Ne bouge pas d'un millimètre.

Intervenant 25:49

C'est exactement ça.

Intervenant 15:50

L'application Identité constitue à elle seule le groupe le plus petit imaginable. Mais maintenant qu'on a posé nos fondations, notre carte affine d'un côté et nos instructions réversibles dans le système vectoriel de l'autre, que se passe-t-il concrètement quand on applique ces commandes pour faire bouger les points sur la carte ?

Intervenant 26:06

Eh bien, c'est le moment de la transition de l'algèbre vers la géométrie spatiale. À chaque instruction réversible du monde vectoriel correspond une transformation dans le monde affine.

Intervenant 16:19

D'accord.

Intervenant 26:20

Prenons l'identité que nous venons de mentionner. Si l'instruction globale est de maintenir chaque vecteur intact, le résultat sur notre carte géographique, c'est ce qu'on appelle une translation.