Conjecture


Conjecture
Page d'aide sur l'homonymie Ne doit pas être confondu avec Conjoncture.

Sur les autres projets Wikimedia :

En mathématiques, une conjecture est une assertion pour laquelle on ne connaît pas encore de démonstration, mais que l'on soupçonne d'être vraie, en l'absence de contre-exemple. Afin de simplifier le travail de vérification, il est classique de formuler des variantes d'une conjecture, soit sous une forme plus faible (a priori plus facile à démontrer), soit sous une forme plus forte (plus facile à réfuter). En attendant, la conjecture peut être choisie comme hypothèse ou postulat pour étudier d'autres énoncés.

Si une conjecture se révèle indécidable relativement à système d'axiomes, elle peut être choisie comme nouvel axiome (ou réfutée par un nouvel axiome).

Dans la vie de tous les jours, une conjecture est une hypothèse qui n'a encore reçu aucune confirmation.

Sommaire

Antichambre d'un théorème ou pièce instable du puzzle mathématique ?

Quand il se trouve – après un travail mathématique rigoureux de démonstration – qu'une conjecture est démontrée, elle devient théorème et rejoint le royaume des faits mathématiques. Jusqu'à ce stade ultime de véracité, les mathématiciens doivent donc faire extrêmement attention lorsqu'ils font appel à une conjecture dans leurs structures logiques et leurs démonstrations.

Par exemple, l'hypothèse de Riemann est une conjecture de la théorie des nombres qui énonce (entre autres choses) des prévisions sur la distribution des nombres premiers. Peu de théoriciens des nombres doutent du fait que l'hypothèse de Riemann soit vraie. Dans l'attente de sa démonstration éventuelle, certains mathématiciens développent d'autres démonstrations qui reposent sur la véracité de cette conjecture. Cependant, ces « démonstrations » tomberaient en morceaux si cette hypothèse de Riemann se révélait fausse. Il y a donc un intérêt mathématique majeur à démontrer ou réfuter des conjectures mathématiques pendantes.

Bien que la plupart des conjectures les plus célèbres aient été vérifiées pour des kyrielles étonnantes de nombres, cela ne constitue pas une garantie contre un simple contre-exemple, qui réfuterait immédiatement la conjecture considérée, sauf cas particulier d'une preuve par l'exemple explicite. Par exemple, la conjecture de Syracuse – qui concerne l'arrêt d'une certaine suite de nombres entiers – a été examinée pour tous les nombres entiers jusqu'à deux élevé à la puissance 62-ième (soit plus de quatre milliards de milliards). Cependant, elle a toujours le statut de conjecture, car on ne peut exclure l'existence d'un contre-exemple au-delà de 262 qui viendrait l'infirmer, bien que l'on sache par des arguments probabilistes que de tels contre-exemples deviennent de plus en plus rares au fur et à mesure que l'on progresse vers des nombres de plus en plus grands, mais « forte vraisemblance » n'est pas « certitude ».

Toutes les conjectures ne finissent pas par être établies comme vraies ou fausses. Par exemple, l'hypothèse du continu - qui essaye d'établir la cardinalité relative de certains ensembles infinis - s'est avérée indécidable à partir de l'ensemble des axiomes généralement admis de la théorie des ensembles. Il est donc possible d'adopter cette assertion, ou sa négation, comme nouvel axiome tout en restant cohérent (comme nous pouvons également accepter le postulat de la parallèle d'Euclide comme vrai ou faux). Pire, le théorème d'incomplétude de Gödel montre que dans toute théorie qui contient l'arithmétique, il existe des propositions qui, quoique démontrables pour chacun des entiers (chaque instance de la proposition par un entier est démontrable), ne peuvent pas être démontrées en tant que théorème sur tous les entiers.

Exemples de conjectures résolues

Formulée vraisemblablement en 1637, publiée en 1670, la plus célèbre de toutes les conjectures était celle dénommée le « dernier théorème de Fermat ». Ce n'est qu'après sa démonstration par le mathématicien Andrew Wiles en 1995 que cette conjecture devint théorème. La démonstration consista à prouver un cas particulier de la conjecture de Taniyama-Shimura, problème alors en attente de résolution depuis une quarantaine d'années. On savait en effet que le dernier théorème de Fermat découlait de ce cas particulier. Le théorème complet de Taniyama-Shimura fut finalement démontré en 1999 par Breuil, Conrad, Diamond, et Taylor qui, en s'appuyant sur le travail de Wiles, remplirent par sauts de puce les cas restants jusqu'à la démonstration du résultat complet.

La plus discutée actuellement, mais aussi la plus ancienne qui puisse être datée précisément, est probablement la conjecture de Kepler, formulée par Johannes Kepler en 1611 et résolue positivement en 2003; la démonstration qui en a été publiée dans le journal Annals of Mathematics a satisfait les experts à 99 %. Une preuve satisfaisante à 100 % reste encore à produire.

Une conjecture qui a résisté pendant 66 ans est le problème de Robbins. Son intérêt réside dans le fait que la seule solution qui en existe a été produite par un programme d'ordinateur (voir W. McCune. Solution of the Robbins problem, J. Automated Reasoning, 19(3):263--276, 1997).

Exemples de conjectures célèbres actuelles

Les conjectures célèbres (non résolues) comprennent à ce jour :

Exemples de travaux en cours

Le programme de Langlands est un enchaînement de grande envergure qui vise l'unification des conjectures reliant différents champs des mathématiques : la théorie des nombres et la théorie de la représentation des groupes de Lie, certaines de ces conjectures ayant été depuis démontrées.

Article connexe

Liste de conjectures mathématiques


Wikimedia Foundation. 2010.

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

Regardez d'autres dictionnaires:

  • conjecture — [ kɔ̃ʒɛktyr ] n. f. • 1246; lat. conjectura 1 ♦ Opinion fondée sur des probabilités ou des apparences. ⇒ hypothèse, supposition. Parler de qqch. par conjecture. Conjecture sur l avenir. ⇒ prévision, pronostic. 2 ♦ (Nuance péj.) Opinion fondée sur …   Encyclopédie Universelle

  • conjecture — CONJECTURE. s. f. Jugement probable, opinion que l on fonde sur quelques apparences touchant quelque chose obscure & incertaine. Forte, foible, puissante conjecture. legere, vaine conjecture. conjecture trompeuse. conjecture bien fondée, mal… …   Dictionnaire de l'Académie française

  • conjecture — CONJECTURE. subs. fém. Jugement probable, opinion que l on fonde sur quelques apparences touchant une chose obscure et incertaine. Forte conjecture. Puissante conjecture. Foible, légère, vaine conjecture. Conjecture trompeuse, bien fondée, mal… …   Dictionnaire de l'Académie Française 1798

  • conjecture — vb Conjecture, surmise, guess are comparable as verbs, meaning to draw an inference from slight evi dence, and as nouns, denoting an inference based upon such evidence. Conjecture implies formation of an opinion or judgment upon what is… …   New Dictionary of Synonyms

  • conjecture — Conjecture, Coniectura, Coniectatio. Faulse conjecture, Fallax coniectura. Entendre par conjecture, Coniectura consequi. Qu on scait par conjectures, Coniecturalis. Choses desquelles on peut faire quelque conjecture, Res positae in coniectura. On …   Thresor de la langue françoyse

  • conjecture — I noun assumption, belief, guess, guesswork, hypothesis, imputation, inference, opinion, postulate, postulation, presumption, presupposition, presurmise, speculation, supposal, supposition, surmise, suspicion, theory, thesis, unverified… …   Law dictionary

  • conjecture — [kən jek′chər] n. [ME < L conjectura, a putting together, guess, inference < conjectus, pp. of conjicere, to throw together, guess < com , together + jacere, to throw: see JET1] 1. an inferring, theorizing, or predicting from incomplete… …   English World dictionary

  • Conjecture — Con*jec ture, v. t. [imp. & p. p. {Conjectured}; p. pr. & vb. n. {Conjecturing}.] [Cf. F. conjecturer. Cf. {Conject}.] To arrive at by conjecture; to infer on slight evidence; to surmise; to guess; to form, at random, opinions concerning. [1913… …   The Collaborative International Dictionary of English

  • Conjecture — Con*jec ture (; 135?), n. [L. conjectura, fr. conjicere, conjectum, to throw together, infer, conjecture; con + jacere to throw: cf. F. conjecturer. See {Jet} a shooting forth.] An opinion, or judgment, formed on defective or presumptive… …   The Collaborative International Dictionary of English

  • conjecture — late 14c., interpretation of signs and omens, from O.Fr. conjecture surmise, guess, or directly from L. coniectura conclusion, interpretation, guess, inference, lit. a casting together (of facts, etc.), from coniectus, pp. of conicere to throw… …   Etymology dictionary

  • conjecture — [n] speculation, assumption conclusion, fancy, guess, guesstimate*, guesswork, hunch, hypothesis, inference, notion, opinion, perhaps, presumption, shot in the dark*, sneaking suspicion, stab in the dark*, supposition, surmise, theorizing,… …   New thesaurus