Axiome (mathématiques élémentaires)
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
 Cet article fait partie de la série Mathématiques élémentaires |
| Algèbre |
| Analyse |
| Arithmétique |
| Géométrie |
| Logique |
| Probabilités |
| Statistiques |
Un axiome est une affirmation de base que l'on considère comme vraie. D'un ensemble d'axiomes, on peut déduire toute une branche des mathématiques.
Sommaire |
[modifier] Axiome et axiomatique
En logique mathématique, une théorie mathématique repose sur un groupe d'axiomes (de départ) appelée axiomatique. Cependant les axiomes les plus célèbres (axiome du choix, Hypothèse du continu, axiome d'Euclide) sont des axiomes surajoutés ; ils n'appartiennent pas à l'axiomatique de départ, et l'on évite autant que possible d'y recourir, pour ne pas réduire la portée d'un résultat.
[modifier] L'exemple de l'axiome d'Euclide
L'un des axiomes les plus célèbres est sans doute dû à Euclide. Il affirme que par un point donné passe une unique parallèle à une droite donnée. Pendant des siècles, les mathématiciens ont cherché à démontrer cet axiome à l'aide des autres axiomes de la géométrie classique. Riemann, au XIXe siècle, tenta de le démontrer par l'absurde. Mais au lieu de tomber sur une incohérence comme il s'y attendait, il obtint une nouvelle géométrie cohérente. Riemann est donc le père de la géométrie non-euclidienne, nommée ainsi parce qu'elle n'utilise pas l'axiome d'Euclide.
Les axiomes servent ainsi à définir un système mathématique et la notion de vérité. Par exemple, mathématiquement, l'affirmation « par un point donné passe une unique parallèle à une droite donnée » est vraie en géométrie euclidienne mais fausse en géométrie non-euclidienne.
[modifier] Axiomatique versus définition
La frontière entre axiomatique et définition est floue : Une axiomatique des ensembles est une « définition des ensembles » ; Une axiomatique de la géométrie est une « définition de la droite ». Inversement les définitions des voisinages pourrait être l' « axiomatique de la topologie ».
Il y a cependant deux critères qui permettent de faire le distinguo entre axiomatique et définition :
- Une définition ne définit qu'un unique objet mathématique ; l'axiomatique peut en revanche définir conjointement plusieurs notions qui ne peuvent être définies isolément (par exemple la droite et le plan en géométrie) ;
- Une axiomatique suppose une axiomatique alternative alors qu'une définition n'a au plus que des définitions équivalentes (et non concurrentes).
On trouve des axiomes plutôt que des définitions dans les branches les plus fondamentales (et les plus conflictuelles) des mathématiques : la théorie des ensembles, la géométrie, l'arithmétique, ...
On notera cependant que dans un système aussi rigoureux qu'un assistant de preuve comme Coq, ces concepts doivent être rendus très précis et que donc ils sont très différents. Un axiome est équivalent à une hypothèse (et donc aussi à une variable ou un paramètre) tandis qu'une définition est un objet qui s'apparente à une proposition (ou à un théorème) et est associé à un terme de preuve[1]. Une différence assez subtile et technique dite « transparence » sépare néanmoins les théorèmes des définitions.
- ↑ Yves Bertot et Pierre Casteran Interactive Theorem Proving and Program Development, chapitre 3, Springer Verlag, Berlin, 2004.
