Théorie descriptive des ensembles
branche de la théorie des ensembles De Wikipédia, l'encyclopédie libre
La théorie descriptive des ensembles est une branche des mathématiques s'intéressant aux ensembles « définissables ». Son principal but est de classifier ces ensembles par complexité. Elle a de nombreux liens avec la théorie des ensembles et a des applications dans de nombreux domaines.
Historiquement, les premières questions de la théorie descriptive des ensembles sont apparues à la suite de la découverte d'une erreur par Mikhaïl Souslin en [1] dans une démonstration de Lebesgue[2].
Celui-ci voulait montrer le résultat suivant : si est borélienne telle que pour tout réel , il existe un unique réel tel que , alors la fonction qui à chaque associe ce est borélienne.
L'étape fausse de la démonstration de Lebesgue était d'affirmer que la projection d'un borélien est borélienne, ce qui n'est pas toujours le cas. Souslin s'en rendit compte et qualifia les projections de boréliens d'ensembles analytiques (en).
On commença ensuite à s'intéresser à la notion d'uniformisation : étant donné un sous-ensemble du plan , peut-on trouver une fonction « suffisamment régulière » dont l'ensemble de définition soit et telle que , ?
La réponse est non, même pour les fermés du plan. Cela dit, de nombreuses conditions ont été trouvées au début du XXe siècle (par exemple, que soit à section dénombrable).
On cherche aussi à trouver une hiérarchie précise des ensembles définissables (d'où le nom de théorie descriptive des ensembles), ces questions étant liées à la théorie des jeux (jeu de séparation, jeu de Banach-Mazur (en)[3])…
Après la Seconde Guerre mondiale s'est aussi développée une branche très importante : la théorie descriptive effective des ensembles. Sous l'impulsion des travaux de Turing s'est posée la question des ensembles définissables « pour un ordinateur ». On aboutit à une hiérarchie tout aussi riche que celle de la théorie classique, et cette approche a permis de démontrer de nombreux résultats.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
