Utilisateur:Pierre Joseph Simonnet/Brouillon

Mikhail Yakovlevich Suslin (russe : Михаи́л Я́ковлевич Су́слин; 15 novembre 1894 – 21 Octobre 1919, Krasavka) (des fois traduit par Souslin) est un mathématicien russe qui a fait des contributions majeures en topologie générale et en théorie descriptive des ensembles.


La naissance des ensembles analytiques est un mythe chez les mathématiciens. Henri Lebesgue avait affirmé dans son mémoire « sur les fonctions représentables analytiquement » ( 1905) que la projection d’un ensemble borelien du plan était un ensemble borelien. C’était faux et cela est connu comme l’erreur de Lebesgue. En 1916 Suslin rentra dans le bureau de Nicolas Lusin, son directeur de thèse, à l’université de Moscou, pour pointer l’erreur de Lebesgue. Ils appelèrent ensembles analytiques les projections d’ensemble boreliens. Suslin a montré que l’hypothèse du continu était vraie pour les ensembles, i.e., Si A est un ensemble analytique alors soit A est dénombrable, soit il a la cardinalité des parties de N. Il a de plus montré que deux ensembles analytiques disjoints sont séparables par un ensemble borelien.