Théorème d'existence

De nombreux théorèmes sont des théorèmes d’existence sans que leur formulation usuelle (en langage non formel) le fasse apparaître clairement, en particulier en topologie générale et dans les branches qui en découlent, telles que l’analyse réelle. En effet, plusieurs notions fondamentales en topologie, à commencer par celle de limite, se formalisent par un énoncé existentiel « il existe un voisinage dans lequel » ou « il existe un rang à partir duquel ». Ainsi tout théorème concluant à la convergence d’une fonction, d’une série ou d’une suite, et plus généralement à un résultat asymptotique (notations de Landau), tout théorème de continuité, tout théorème vrai « au voisinage d’un point », tout théorème annonçant la compacité d’un espace topologique, etc. est en fait un théorème d’existence.

Une controverse qui remonte au début du XX^e siècle concerne la question des théorèmes d’existence purement théoriques, s’appuyant sur des résultats non constructifs tels que l’axiome du choix, ou le principe du tiers exclu, sans pour autant donner de construction effective de l’objet dont on veut prouver l’existence. Du point de vue constructiviste, en admettant ces théorèmes les mathématiques perdent leur applicabilité concrète, au sens où un opérateur (qu’il soit humain ou informatique) ne peut pas toujours résoudre un problème suivant une procédure claire. Le point de vue opposé est que les méthodes abstraites vont plus loin que ne peut le faire l'analyse numérique. Certains théorèmes d’existence d’autres branches que la logique sont même équivalents à l’axiome du choix, et n’admettent pas de méthode de démonstration constructive ; c’est par exemple le cas du théorème de la base incomplète en dimension quelconque, ou du théorème de Tychonov sur la compacité des produits quelconques de compacts.

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Existence theorem » (voir la liste des auteurs).