Axiome (mathématiques élémentaires) 804256 26214822 2008-02-14T09:31:30Z DumZiBoT 280295 Robot : Passage au modèle {{ébauche}} : {{ébauche|mathématiques}} {{ébauche|mathématiques}} {{MathématiquesÉlémentaires}} 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. == 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. == 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. [[Bernhard Riemann|Riemann]], au {{XIXe siècle}}, tenta de le démontrer [[Raisonnement par l'absurde|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]]. == 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 (logiciel) |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<ref>Yves Bertot et Pierre Casteran ''Interactive Theorem Proving and Program Development'', chapitre 3, Springer Verlag, Berlin, 2004.</ref>. Une différence assez subtile et technique dite « transparence » sépare néanmoins les théorèmes des définitions. <references /> == Lien interne == * [[Axiome]] {{portail mathématiques}} [[Catégorie:Raisonnement mathématique]] [[Catégorie:Logique]] [[Catégorie:Axiome]] [[Catégorie:Philosophie des sciences]]