Théorie descriptive des ensembles

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 octobre 1916 ^[1] dans une démonstration de Lebesgue^[2].

Celui-ci voulait montrer le résultat suivant : si ${\displaystyle \scriptstyle f~:~\mathbb {R} ^{2}\to \mathbb {R} ^{2}}$ est borélienne telle que pour tout réel ${\displaystyle x}$, il existe un unique réel ${\displaystyle y}$ tel que ${\displaystyle f(x,y)=0}$, alors la fonction qui à chaque ${\displaystyle x}$ associe ce ${\displaystyle y}$ 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 ${\displaystyle A}$ du plan ${\displaystyle \scriptstyle X\times Y}$, peut-on trouver une fonction « suffisamment régulière » dont l'ensemble de définition soit ${\displaystyle \pi _{X}(A)}$ et telle que ${\displaystyle \forall x\in \pi _{X}(A)}$, ${\displaystyle (x,f(x))\in A}$ ?

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 XX^e siècle (par exemple, que ${\displaystyle A}$ 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])…