Namespaces
Variants
Actions

Suslin theorem

From Encyclopedia of Mathematics
Revision as of 19:53, 15 October 2014 by Richard Pinch (talk | contribs) (LaTeX)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

(in descriptive set theory)

There exists an $\mathcal{A}$-set (of the number axis $\mathbb{R}$) that is not a Borel set.

In order that a given $\mathcal{A}$-set be a Borel set it is necessary and sufficient that its complement also be an $\mathcal{A}$-set.

Every $\mathcal{A}$-set in the $n$-dimensional space $\mathbb{R}^n$ is the (orthogonal) projection of a Borel set (even of type $G_\delta$) in $\mathbb{R}^{n+1}$ (and consequently, a plane Borel set of type $G_\delta$ exists whose projection is not a Borel set); the projection of an $\mathcal{A}$-set is an $\mathcal{A}$-set.

All these results were obtained by M.Ya. Suslin [1]. In order to define an $\mathcal{A}$-set, he used the $\mathcal{A}$-operation, while other methods of defining $\mathcal{A}$-sets were discovered subsequently. The $\mathcal{A}$-operation was in fact first discovered by P.S. Aleksandrov [2], who demonstrated (although he did not explicitly formulate it) that every Borel set can be obtained as the result of the $\mathcal{A}$-operation over closed sets (and is consequently an $\mathcal{A}$-set), and used this to prove a theorem on the cardinality of Borel sets (in fact, of $\mathcal{A}$-sets) in $\mathbb{R}$. N.N. Luzin subsequently posed the question of the existence of an $\mathcal{A}$-set that is not a Borel set. Theorem 1) answered this question. Theorems 1) and 2) were put forward by Suslin without proof [1]. Suslin did subsequently prove them, but it was not until Luzin simplified the proofs that they were published. In order to prove 1), Suslin constructed a plane $\mathcal{A}$-set that was universal for all Borel sets and examined the set of its points that lie on the diagonal $x=y$ (see [3], p. 94). Theorem 2) is now often called the Suslin criterion for Borel sets. Suslin's proof of this theorem was based on a decomposition of a $\mathcal{CA}$-set into the sum of $\aleph_1$ Borel sets (see [4], [5]).

References

[1] M. [M.Ya. Suslin] Souslin, "Sur une définition des ensembles mesurables $B$ sans nombres transfinis" C.R. Acad. Sci. Paris , 164 (1917) pp. 88–91
[2] P.S. [P.S. Aleksandrov] Alexandroff, "Sur la puissance des ensembles mesurables $B$" C.R. Acad. Sci. Paris , 162 (1916) pp. 323–325
[3] L.V. Keldysh, P.S. Novikov, "The work of N.N. Luzin in the domain of the descriptive theory of sets" Uspekhi Mat. Nauk , 8 : 2 (1953) pp. 93–104 (In Russian)
[4] N.N. Luzin, "Collected works" , 2 , Moscow (1958) (In Russian)
[5] F. Hausdorff, "Grundzüge der Mengenlehre" , Leipzig (1914) (Reprinted (incomplete) English translation: Set theory, Chelsea (1978))


Comments

For a more comprehensive historical note on $\mathcal{A}$-sets (also called analytic sets) see Rogers' contribution in [a1]. In particular, Suslin's work began with the discovery of a mistake in a famous paper of H. Lebesgue (1905), which also had a big positive influence on the construction of the first tools of descriptive set theory (universal sets, $\mathcal{A}$-operation, etc.). The theorem on the cardinality of Borel sets proved by Aleksandrov, was independently proved by F. Hausdorff [a2] (in a similar manner). Suslin's theorem 2) is now considered to be a corollary of the first separation theorem (see Luzin separability principles). It has a more powerful version in effective descriptive set theory (see (the comments to) Descriptive set theory), called the Suslin–Kleene theorem: A set is hyper-arithmetic (roughly speaking, is an effective Borel set) if and only if it belongs to $\mathbf{D}_1^1 = \mathbf{S}_1^1 \cap \mathbf{P}_1^1$ (roughly speaking, is an effective analytic and co-analytic set).

References

[a1] C.A. Rogers, J.E. Jayne, C. Dellacherie, F. Tøpsoe, J. Hoffman-Jørgensen, D.A. Martin, A.S. Kechris, A.H. Stone, "Analytic sets" , Acad. Press (1980)
[a2] F. Hausdorff, "Die Mächtigkeit der Borelschen Mengen" Math. Ann. , 77 (1916) pp. 430–437
[a3] Y.N. Moschovakis, "Descriptive set theory" , North-Holland (1980)
How to Cite This Entry:
Suslin theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Suslin_theorem&oldid=33668
This article was adapted from an original article by A.G. El'kin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article