Lemme (mathématiques)

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Lemme.

Le lemme, en mathématiques et en logique mathématique, est un résultat intermédiaire sur lequel on s'appuie pour conduire la démonstration d'un théorème plus important.

Principe[modifier | modifier le code]

En effet, la méthode de démonstration d'un théorème est souvent la suivante :

  1. 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,
  2. 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,
  3. on pose alors L comme le résultat à démontrer et on lui applique une méthode de démonstration de théorème,
  4. 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[modifier | modifier le code]

Article connexe[modifier | modifier le code]

Liste de lemmes