Lemme (mathématiques)

Lemme (mathématiques)

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

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

Voir la liste complète des lemmes.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Lemme (mathématiques) de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Lemme De Zorn — En mathématiques, Le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski Zorn), est un théorème de la théorie des ensembles qui affirme qu un ensemble ordonné tel que toute chaîne (sous ensemble totalement ordonné) possède un… …   Wikipédia en Français

  • Lemme de zorn — En mathématiques, Le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski Zorn), est un théorème de la théorie des ensembles qui affirme qu un ensemble ordonné tel que toute chaîne (sous ensemble totalement ordonné) possède un… …   Wikipédia en Français

  • Lemme De Schur — En mathématiques et plus précisément en algèbre linéaire, le lemme de Schur est un lemme technique utilisé particulièrement dans la théorie de la représentation des groupes. Il a été démontré en 1907 par Issai Schur (1875 1941) dans le cadre de… …   Wikipédia en Français

  • Lemme de schur — En mathématiques et plus précisément en algèbre linéaire, le lemme de Schur est un lemme technique utilisé particulièrement dans la théorie de la représentation des groupes. Il a été démontré en 1907 par Issai Schur (1875 1941) dans le cadre de… …   Wikipédia en Français

  • Lemme De Farkas — Le lemme de Farkas est un résultat de géométrie convexe essentiel en programmation linéaire où il fonde la théorie de la dualité pour les programmes linéaires, ainsi qu en théorie des jeux. Il intervient dans la preuve du théorème de Karush Kuhn… …   Wikipédia en Français

  • Lemme de farkas — Le lemme de Farkas est un résultat de géométrie convexe essentiel en programmation linéaire où il fonde la théorie de la dualité pour les programmes linéaires, ainsi qu en théorie des jeux. Il intervient dans la preuve du théorème de Karush Kuhn… …   Wikipédia en Français

  • Lemme De Hartogs — Note: Prendre garde à la terminologie  : le lemme de Hartogs fait parfois référence à des résultats sur les nombres de Hartogs, alors que le théorème de Hartogs (théorie fait parfois référence à ce lemme. En mathématiques, le lemme de… …   Wikipédia en Français

  • Lemme de hartogs — Note: Prendre garde à la terminologie  : le lemme de Hartogs fait parfois référence à des résultats sur les nombres de Hartogs, alors que le théorème de Hartogs (théorie fait parfois référence à ce lemme. En mathématiques, le lemme de… …   Wikipédia en Français

  • Lemme De Césaro — Lemme de Cesàro En analyse réelle ou complexe, la moyenne de Cesàro d une suite (an) est la suite obtenue en effectuant la moyenne arithmétique des n premiers termes de la suite. Le nom de Cesàro provient du mathématicien italien Ernesto Cesàro.… …   Wikipédia en Français

  • Lemme De Grönwall — En mathématiques, le lemme de Grönwall, nommé d après Thomas Hakon Grönwall (1877 1932) qui l établit en 1919, permet l estimation d une fonction qui vérifie une certaine inégalité différentielle. Le lemme existe sous deux formes, intégrale et… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”