Lemme (mathématiques)

Infos
En mathématiques et en logique mathématique, un lemme est un résultat intermédiaire sur lequel on s'appuie pour conduire la démonstration d'un théorème plus important. En effet, la méthode de démonstration d'un théorème est souvent la suivante :
- on veut démontrer le théorème T à partir d'une certaine liste d'axiomes et d'autres résultats déjà démontrés mais cela n'a pas l'air évident au premier abord,
- mais on se dit que, si on savait
Lemme (mathématiques)

En mathématiques et en logique mathématique, un lemme est un résultat intermédiaire sur lequel on s'appuie pour conduire la démonstration d'un théorème plus important. En effet, la méthode de démonstration d'un théorème est souvent la suivante :
- on veut démontrer le théorème T à partir d'une certaine liste d'axiomes et d'autres résultats déjà démontrés mais cela n'a pas l'air évident au premier abord,
- mais on se dit que, si on savait L vrai (L étant alors une autre assertion dénommée lemme), on pourrait conclure immédiatement étant donné les règles de logique admises,
- on pose alors L comme le résultat à démontrer et on lui applique une méthode de démonstration de théorème,
- une fois L démontré, on en déduit T. Ce principe est notamment utilisé par les logiciels appelés assistants de preuve tels Coq ou PVS. Certains lemmes démontrés deviennent plus célèbres que le théorème pour lequel ils ont été créés et restent connus sous le nom « Lemme de XXX » bien que jouant habituellement un rôle de théorème.

Exemples de lemmes célèbres

- lemme de Zorn : célèbre pour être équivalent à l'axiome du choix dans la théorie des ensembles ZF — joue donc aussi bien le rôle d'un théorème conséquence de cet axiome que celui d'une reformulation de l'axiome (donc d'un axiome),
- lemme de l'étoile : théorème de la théorie des langages formels, devenu plus célèbre que le théorème de l'étoile,
- lemme des bergers,
- lemme de Bézout.
- lemme d'Euclide Voir la liste complète des lemmes.
- Catégorie:Logique mathématique bg:Лема cs:Lemma (matematika) de:Hilfssatz el:Λήμμα en:Lemma (mathematics) fi:Lemma he:למה (מתמטיקה) id:Lemma (matematika) io:Lemo it:Lemma lt:Lema mk:Лема nl:Hulpstelling pl:Lemat pt:Lema (matemática) ro:Lemă ru:Лемма simple:Lemma (mathematics) sk:Lemma sv:Lemma tg:Лемма th:บทตั้ง
Sujets connexes
Assistant de preuve   Axiome   Axiome du choix   Coq (logiciel)   Démonstration   Langage formel   Lemme d'Euclide   Lemme de Zorn   Lemme de l'étoile   Lemme des bergers   Liste des lemmes (mathématiques)   Logiciel   Logique mathématique   Mathématiques   PVS   Théorie axiomatique des ensembles   Théorème  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^