Analyse non standard : dériver x² sans passer par la limite

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. C'est un plaisir d'accueillir les auditeurs pour cette nouvelle plongée au cœur des mathématiques. Aujourd'hui, on va parler d'un concept qui va plaire à ceux qui ont détesté leurs années lycée.

Intervenant 20:13

Ah oui, la fameuse

Intervenant 10:15

limite. Exactement. Imaginez jeter le concept de limite complètement à la poubelle. On explore aujourd'hui un article intitulé « dériver en analyse non standard ». Et la mission de notre exploration, c'est de découvrir comment il est possible de calculer une dérivée sans utiliser aucune limite.

Intervenant 20:32

Alors même que ce concept est censé être vraiment le pilier absolu de l'analyse mathématique. C'est ça.

Intervenant 10:37

Mais j'imagine qu'il y a un prix à payer pour contourner cette règle sacro-sante.

Intervenant 20:41

Oui, pour se débarrasser des limites, il faut accepter de bouleverser un peu nos habitudes. Le prix à payer, c'est le recours aux infiniment petits.

Intervenant 10:48

Attendez, un nombre infiniment petit ? Ça ressemble fortement à une astuce, voire à une triche mathématique.

Intervenant 20:56

On pourrait croire, oui.

Intervenant 10:57

Parce que si on ajoute une quantité qui est plus petite que n'importe quel nombre réel positif, mais qui n'est pas zéro, comment on peut sérieusement faire des calculs avec un truc qui s'évapore de la sorte ?

Intervenant 21:09

Bah en fait, c'est pas du tout une triche. C'est une véritable extension de notre univers. Dans les années 60, c'est le mathématicien canadien Abraham Robinson qui a formalisé cette idée.

Intervenant 11:19

D'accord.

Intervenant 21:20

Il a créé ce qu'il a nommé les nombres hyperréels. En gros, on prend nos nombres classiques, la droite des réels que tout le monde connaît, et on y intègre ces entités microscopiques.

Intervenant 11:30

Ok, décortiquons ça. C'est un peu comme si la droite des réels, c'était un mur de briques.

Intervenant 21:36

Ouais, on peut très bien le voir comme ça.

Intervenant 11:38

À l'œil nu, le mur semble de parfaitement lisse. Mais si on utilise un microscope quantique, on s'aperçoit qu'autour de chaque brique, il y a un nuage d'espaces et de particules invisibles à l'échelle normale.

Intervenant 21:51

C'est une excellente image. Autour de chaque nombre réel standard, il existe tout à halo de nombres hyper réels qui en sont infiniment proches.

Intervenant 11:59

Et donc ces infiniment petits, c'est un peu ce zoom mathématique absolu ?

Intervenant 22:03

Tout à fait. Et pour comprendre comment on manipule ce halo sans que le calcul s'effondre, il faut tester la méthode. L'article propose de revenir à l'intuition de Pierre de Fermat.

Intervenant 12:13

Bien avant le formalisme moderne donc.

Intervenant 22:15

Voilà. Prenons une fonction basique pour observer le mécanisme, disons f de x égale x².

Intervenant 12:19

Ok, donc au lieu de faire tendre un écart vers zéro avec une limite, on va introduire notre fameuse particule microscopique.

Intervenant 22:27

C'est ça, qu'on va appeler epsilon.

Intervenant 12:28

Epsilon, très bien.

Intervenant 22:29

On ajoute epsilon à x et on regarde comment la fonction réagit. On calcule donc f de x plus epsilon. En développant le carré, la mécanique algébrique nous donne x² plus 2x multiplié par ε plus ε².

Intervenant 12:46

Donc, la différence par rapport à notre x² de départ, l'accroissement, c'est simplement 2x ε plus ε².

Intervenant 22:55

Exactement.

Intervenant 12:56

Et si je veux trouver la pente de la courbe, je divise cet accroissement par la largeur de notre pas, donc ε. En simplifiant, il me reste 2x plus ε.

Intervenant 23:06

La logique est parfaite.

Intervenant 13:07

Oui, mais c'est là que ça devient vraiment intéressant. On a toujours ce epsilon qui traîne. Comment on fait pour retrouver une égalité parfaite ? Il nous reste cette espèce de poussière subatomique accrochée au résultat.

Intervenant 23:19

Eh bien, à son époque, Fermat esquivait un peu le problème en parlant d'adégalité.

Intervenant 13:25

D'adégalité ?

Intervenant 23:26

Oui. Pour lui, 2x et 2x plus epsilon étaient presque égaux. Leur différence n'avait tout simplement pas d'importance.

Intervenant 13:35

Sauf qu'aujourd'hui, l'analyse non standard ne se contente pas d'à peu près, j'imagine ?

Intervenant 23:39

Absolument pas. Pour résoudre votre problème de poussière, on utilise l'opération fondamentale de ce système, la prise de la partie standard. C'est vraiment la pièce manquante du puzzle formel.

Intervenant 13:51

Mais comment ça fonctionne mécaniquement ? On ne veut pas juste décider de gommer le epsilon de l'équation parce qu'il nous dérange ?

Intervenant 23:57

Non, on ne le gomme pas par magie. La structure des hyperréels garantit un théorème très puissant. Tout nombre hyperréel fini est la somme exacte d'un unique nombre réel classique, sa fameuse partie standard, et d'un infiniment petit.

Intervenant 14:11

Ah, je vois. Donc prendre la partie standard de 2 fois plus epsilon, c'est reconnaître qu'à notre échelle macroscopique, sur la droite des réels, l'unique point qui correspond à cette coordonnée, c'est 2x.

Intervenant 24:26

Voilà. Epsilon n'a aucune dimension dans le monde standard. C'est juste l'épaisseur du trait. On efface le halo quantique pour ne garder que la brique solide.

Intervenant 14:36

Ça change complètement la perspective sur l'apprentissage du calcul. Au lieu de se torturer avec des limites abstraites ou une variable temps vers zéro à l'infini, on manipule concrètement un nombre epsilon bien défini tout au long du calcul.

Intervenant 24:51

Ouais, et on repasse à l'échelle normale à la toute fin. C'est pour ça qu'il faut s'y intéresser. Ça prouve que les mathématiques ne sont pas figées.

Intervenant 14:59

C'est clair.

Intervenant 25:00

Ce langage hyper réel moderne valide et formalise l'intuition ancienne de Fermat. Ça offre un nouveau prisme, élégant et rigoureux pour voir l'analyse.

Intervenant 15:10

C'est vraiment fascinant et ça clôture de manière chaleureuse notre exploration du jour. Mais ça soulève aussi une réflexion très provocatrice.

Intervenant 25:20

Laquelle ?

Intervenant 15:21

Puisque ces nombres hyper réels nous permettent d'éviter les limites pour dériver, on peut laisser quiconque écoute se demander quelles autres opérations mathématiques complexes pourraient soudainement être redéfinies.

Intervenant 25:32

C'est une excellente question, oui.

Intervenant 15:34

Surtout celles qui sont historiquement dépendantes des limites, elles pourraient être simplifiées par la magie de cette analyse non standard. Voilà de quoi regarder nos vieux manuels de mathématiques avec un œil neuf.