Peano Giuseppe

En 1889, le mathématicien italien Giuseppe Peano part d'un geste familier : compter 0, puis passer chaque fois au nombre suivant. Il transforme ce geste en cinq règles capables de caractériser rigoureusement les entiers naturels. La dernière garantit que l'on n'en oublie aucun : si une partie contient 0 et contient toujours le successeur d'un nombre déjà pris, elle contient tous les naturels.

Son œuvre relie ainsi le comptage à la logique. En 1890, sa courbe continue qui passe par tous les points d'un carré montre aussi combien une construction rigoureuse peut contredire l'intuition visuelle.

Giuseppe Peano (1858-1932) est un mathématicien italien dont les contributions touchent les fonctions implicites, les dérivées partielles, la logique mathématique, la théorie des ensembles et la géométrie axiomatique. Son apport le plus durable est l'axiomatisation des entiers naturels proposée en 1889. Elle prend 0 comme entier naturel et affirme que le successeur de tout naturel est encore un naturel. Deux naturels distincts ont des successeurs distincts, et 0 n'est le successeur d'aucun naturel.

La lettre S désigne ici l'opération qui associe son successeur à un entier naturel. La partie A est incluse dans l'ensemble ℕ des entiers naturels, et la lettre n désigne un naturel quelconque. Le cinquième axiome s'écrit alors sous la forme suivante : Cette propriété fonde formellement le raisonnement par récurrence : établir le cas initial, puis le passage d'un naturel à son successeur, suffit pour atteindre tous les naturels.

Peano contribue également au développement et à la diffusion de notations symboliques en logique et en théorie des ensembles. Il applique aussi sa méthode axiomatique à la géométrie. En 1890, il donne aussi une courbe continue passant par tous les points d'un carré. Une approximation finie peut montrer un parcours de plus en plus serré, mais seule la courbe aboutie possède la propriété de remplir le carré.

Considérons une partie A des entiers naturels. Deux données sont fixées : A contient 0 ; dès que A contient un naturel, elle contient aussi son successeur.

1. Le cas initial est déjà acquis : 0 appartient à A.

2. La règle de passage donne le successeur de 0 dans A. Elle s'applique ensuite à ce nouvel élément et fournit son successeur, puis recommence de la même manière.

3. Le cinquième axiome exclut qu'une partie ainsi construite s'arrête en chemin ou laisse de côté un entier naturel : A est l'ensemble ℕ entier.

Le contrôle consiste à vérifier séparément les deux conditions. Si 0 manque, le départ échoue. Si un élément de A possède un successeur absent de A, le passage échoue. Lorsque les deux conditions tiennent, la conclusion A = ℕ est précisément celle de l'axiome de récurrence.

Pour établir une propriété sur tous les entiers naturels, le cadre de Peano conduit à vérifier un cas initial, puis à prouver que la propriété passe d'un entier à son successeur. C'est le geste formel du raisonnement par récurrence.

Pour étudier le comptage lui-même, les cinq axiomes isolent les rôles de 0, du successeur et de la récurrence. Une simple liste de nombres décrit des exemples ; l'axiomatisation précise les règles qui valent pour l'ensemble ℕ.

En logique et en théorie des ensembles, les notations associées à Peano rendent explicites les objets et les quantificateurs d'un énoncé. Leur intérêt apparaît lorsque la phrase doit distinguer ce qui vaut pour un élément de ce qui vaut pour tous.

En géométrie, la courbe de Peano sert de contrepoint à l'image ordinaire d'une courbe fine : une courbe continue peut passer par tous les points d'un carré. Une approximation dessinée aide à suivre la construction, sans être elle-même le carré rempli.

Giuseppe Peano et les axiomes de Peano. Peano est la personne ; les axiomes sont l'une de ses contributions. Une question portant sur sa vie et l'ensemble de ses travaux relève du mathématicien, tandis qu'une vérification concernant 0, le successeur ou la récurrence relève des axiomes.

Axiomes de Peano et courbe de Peano. Les premiers caractérisent les entiers naturels par cinq règles. La seconde est une courbe continue qui passe par tous les points d'un carré. Le mot « Peano » signale une même origine, pas un même objet mathématique.

Récurrence et simple répétition. Répéter le passage au successeur produit une suite de cas. Le raisonnement par récurrence ajoute une conclusion universelle fondée sur le cas initial et la stabilité par successeur ; c'est cette structure que formalise le cinquième axiome.

Oublier le cas initial. Une propriété peut se transmettre d'un naturel à son successeur sans être établie pour 0. Le symptôme est une démonstration qui ne possède aucun point de départ ; il faut alors prouver séparément le cas 0.

Oublier la fermeture par successeur. Contenir 0 et quelques naturels ne suffit pas. Dès qu'un naturel retenu possède un successeur absent de la partie, l'hypothèse du cinquième axiome échoue ; il faut établir le passage pour tout naturel concerné.

Prendre une approximation pour la courbe aboutie. Un tracé fini ne passe que par une quantité limitée de positions. Il rend visible un parcours de plus en plus serré, mais ne justifie pas à lui seul le passage par tous les points du carré.

Réduire Peano à un seul résultat. Les cinq axiomes et la courbe remplissant l'espace sont ses contributions les plus immédiatement identifiables, mais la source mentionne aussi les fonctions implicites, les dérivées partielles, les notations logiques et ensemblistes, ainsi que l'espace vectoriel.

L'article axiome de Peano approfondit les règles qui structurent les entiers naturels et fondent la récurrence.

La fiche courbe de Peano développe la courbe continue qui passe par tous les points d'un carré.

L'entrée Entiers naturels replace l'axiomatisation dans l'ensemble auquel elle s'applique.

La fiche espace vectoriel prolonge l'apport de la méthode axiomatique à la géométrie.