Théorèmes

Théorèmes

Théorème

Page d'aide sur l'homonymie Pour les articles homonymes, voir Théorème (homonymie).

Un théorème est une proposition qui peut être mathématiquement démontrée, c'est-à-dire une assertion qui peut être établie comme vraie au travers d'un raisonnement logique construit à partir d'axiomes. Un théorème est à distinguer d'une théorie.

Une fois le théorème démontré, il est considéré comme vrai quelle que soit la valeur de vérité de sa prémisse (hypothèse de base) car il se présente sous la forme d'une implication: si A est vraie alors B est nécessairement vraie. Il peut alors être utilisé pour démontrer d'autres propositions. Démontrer le théorème consiste à démontrer l'impossibilité d'avoir à la fois A vrai et B faux.

Un théorème a généralement :

  • des hypothèses de base, i.e. des conditions qui peuvent être énumérées dans le théorème ou décrites d'avance,
  • une conclusion, i.e. une affirmation mathématique qui est vraie sous les conditions de base.

La démonstration, bien que nécessaire à la classification de la proposition comme « théorème », n'est pas considérée comme faisant partie du théorème.

Autre définition possible d'un théorème : « un énoncé dont on peut démontrer l’exactitude. »

La démonstration comprend :

Chaque étape de la preuve est liée aux précédentes par des règles d'inférence logiques.

D'autres formes d'assertions

Au sens large toute assertion effectivement démontrée peut prendre le nom de théorème. Dans les ouvrages de mathématiques, il est cependant d'usage de réserver ce terme aux affirmations considérées comme nouvelles ou particulièrement intéressantes ou importantes. Selon leur importance, ou leur utilité, les autres assertions peuvent prendre des noms différents :

  • lemme : assertion servant d'intermédiaire pour démontrer un théorème plus important ;
  • corollaire : résultat qui découle directement d’un théorème prouvé ; On trouve aussi, dans les ouvrages anciens, scolie.
  • proposition : résultat relativement simple qui n'est pas associé avec un théorème particulier ;
  • remarque : résultat intéressant ou conséquence qui peut faire partie de la preuve ou d'une autre affirmation ;
  • conjecture : proposition mathématique dont on ignore la valeur de vérité. Une fois prouvée, une conjecture devient un théorème.

Comme énoncé ci-dessus, un théorème exige un raisonnement logique basé sur des axiomes. Cela consiste en une série d'axiomes fondamentaux (voir système d'axiomes) et un procédé d'inférence qui permet de dériver les axiomes en de nouveaux théorèmes et d'autres théorèmes démontrés auparavant. Dans la logique des propositions, n'importe quelle affirmation démontrée est appelée un théorème.

Articles connexes

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorèmes de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Theoremes de l'alternative — Théorèmes de l alternative Les théorèmes de l alternative, dont le plus fameux est le lemme de Farkas, concernent tous un système d inéquations linéaires dans un espace vectoriel réel de dimension finie. Il s agit de donner un critère permettant… …   Wikipédia en Français

  • Theoremes de Sylow — Théorèmes de Sylow En théorie des groupes, les théorèmes de Sylow forment une réciproque partielle du théorème de Lagrange, d après lequel, si H est sous groupe d un groupe fini G, alors l ordre de H divise l ordre de G. Un théorème de Sylow… …   Wikipédia en Français

  • Theoremes sur les singularites — Théorèmes sur les singularités Les théorèmes sur les singularités sont l aboutissement des travaux effectués en relativité générale par Stephen Hawking et Roger Penrose à la fin des années 1960 et au début des années 1970. Ces travaux avaient… …   Wikipédia en Français

  • Théorèmes de sylow — En théorie des groupes, les théorèmes de Sylow forment une réciproque partielle du théorème de Lagrange, d après lequel, si H est sous groupe d un groupe fini G, alors l ordre de H divise l ordre de G. Un théorème de Sylow garantit, pour certains …   Wikipédia en Français

  • Theoremes de Dini — Théorèmes de Dini En topologie, les théorèmes de Dini énoncent des conditions sous lesquelles la convergence simple implique la convergence uniforme. Ce théorème porte le nom du mathématicien italien Ulisse Dini (14 novembre 1845 28 octobre 1918) …   Wikipédia en Français

  • Theoremes energetiques — Théorèmes énergétiques Les théorèmes énergétiques permettant de poser un problème de mécanique sous forme d un problème de minimisation, et donc d utiliser toutes les méthodes existantes pour ce genre de problèmes. Il y a deux théorèmes… …   Wikipédia en Français

  • Théorèmes de dini — En topologie, les théorèmes de Dini énoncent des conditions sous lesquelles la convergence simple implique la convergence uniforme. Ce théorème porte le nom du mathématicien italien Ulisse Dini (14 novembre 1845 28 octobre 1918) Sommaire 1… …   Wikipédia en Français

  • Theoremes de Konig (mecanique) — Théorèmes de König (mécanique) Pour les articles homonymes, voir Théorème de König. Les deux théorèmes de König concernant la mécanique sont dus à Johann König (allemand né à Büdinger en 1712, mort à Amerongen aux Pays Bas en 1757). Ils… …   Wikipédia en Français

  • Theoremes de point fixe — Théorèmes de point fixe En analyse, un théorème de point fixe est un résultat qui permet d affirmer qu une fonction f admet sous certaines conditions un point fixe. Ces théorèmes se révèlent être des outils très utiles en mathématiques,… …   Wikipédia en Français

  • Théorèmes d'isomorphismes — Théorèmes d isomorphisme En mathématiques, les trois théorèmes d isomorphisme fournissent l existence d isomorphismes dans le cadre de la théorie des groupes. Ces trois théorèmes d isomorphisme sont généralisables à d autres structures que les… …   Wikipédia en Français

Share the article and excerpts

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