Mikhail Suslin

  (Redirected from Mikhail Yakovlevich Suslin)

Mikhail Yakovlevich Suslin (Russian: Михаи́л Я́ковлевич Су́слин; Krasavka, Saratov Oblast, November 15, 1894 – 21 October 1919, Krasavka) (sometimes transliterated Souslin) was a Russian mathematician who made major contributions to the fields of general topology and descriptive set theory.

His name is especially associated to Suslin's problem, a question relating to totally ordered sets that was eventually found to be independent of the standard system of set-theoretic axioms, ZFC.

He contributed greatly to the theory of analytic sets, sometimes called after him, a kind of a set of reals that is definable via trees. In fact, while he was a research student of Nikolai Luzin (in 1917) he found an error in an argument of Lebesgue, who believed he had proved that for any Borel set in , the projection onto the real axis was also a Borel set.

Suslin died of typhus in the 1919 Moscow epidemic following the Russian Civil War.


Suslin only published one paper during his life: a 4-page note.

  • Souslin, M. Ya. (1917), "Sur une définition des ensembles mesurables B sans nombres transfinis", C. R. Acad. Sci. Paris, 164: 88–91
  • Souslin, M. (1920), "Problème 3" (PDF), Fundamenta Mathematicae, 1: 223, doi:10.4064/fm-1-1-223-224
  • Souslin, M. Ya. (1923), Kuratowski, C. (ed.), "Sur un corps dénombrable de nombres réels", Fundamenta Math. (in French), 4: 311–315, doi:10.4064/fm-4-1-311-315, JFM 49.0147.03

See alsoEdit

1.  A Suslin algebra is a Boolean algebra that is complete, atomless, countably distributive, and satisfies the countable chain condition.
2.  A Suslin cardinal is a cardinal λ such that there exists a set P ⊆ 2ω such that P is λ-Suslin but P is not λ'-Suslin for any λ' < λ.
3.  The Suslin hypothesis says that Suslin lines do not exist.
4.  A Suslin line is a complete dense unbounded totally ordered set satisfying the countable chain condition and not order-isomorphic to the real line.
5.  The Suslin number is the supremum of the cardinalities of families of disjoint open non-empty sets.
6.  The Suslin operation, usually denoted by A, is an operation that constructs a set from a Suslin scheme.
7.  The Suslin problem asks whether Suslin lines exist.
8.  The Suslin property states that there is no uncountable family of pairwise disjoint non-empty open subsets.
9.  A Suslin representation of a set of reals is a tree whose projection is that set of reals.
10.  A Suslin scheme is a function with domain the finite sequences of positive integers.
11.  A Suslin set is a set that is the image of a tree under a certain projection.
12.  A Suslin space is the image of a Polish space under a continuous mapping.
13.  A Suslin subset is a subset that is the image of a tree under a certain projection.
14.  The Suslin theorem about analytic sets states that a set that is analytic and coanalytic is Borel.
15.  A Suslin tree is a tree of height ω1 such that every branch and every antichain is at most countable.