A set that can be obtained from Borel sets (cf. Borel set) by repeated application of the operations of projection and taking complements. Projective sets are classified in classes forming the projective hierarchy. Let be the Baire space (homeomorphic to the space of irrational numbers). A set belongs to: 1) the class if is the projection of a Borel set in the space ; 2) the class ( is a -set) if its complement is an -set ; 3) the class ( is an -set) if is the projection of a -set in the space , ; and 4) the class if belongs simultaneously to the classes and , . The same classes are obtained when the projection is replaced by a continuous image (of a set in the same space ).
By virtue of the Suslin theorem, the class coincides with the class of -sets (consequently, the class coincides with the class of -sets, cf. -set; -set), and the class coincides with the class of Borel sets. For every class a universal set is constructed and used to prove the following projective hierarchy theorem ( "existence" theorem, theorem on "non-emptiness of the classes" ): (consequently, ), where each inclusion is strict. The cardinality of the set of all projective sets of the space equals .
Every -set is a union of Borel sets and hence is either countable, or has cardinality or (see  and  ). For the class the uniformization and reduction principles hold, while for the class the (first) separation principle holds; cf. Descriptive set theory. Each projective class with index is invariant under the -operation. For each of the classes , there is a --operation that yields exactly all the sets of the class, starting from closed sets. The study of projective sets (even of the second class) is a difficult problem. Many problems in the theory of projective sets turned out to be undecidable in the classical sense, which completely confirmed the foresight (see ): "The field of projective sets is a field where the principle of the excluded middle is not strong enough any more" . The theory of projective sets was advanced further by involving strong set-theoretic assumptions, such as (there exists a measurable cardinal), (the projective determinacy axiom) and (the constructibility axiom, cf. Gödel constructive set).
Under the assumption : Every -set is (Lebesgue-) measurable, has the Baire property and, if uncountable, contains a (non-empty) perfect subset; every -set can be uniformized by an -set.
Under the assumption : a) Every projective set is measurable, has the Baire property and, if uncountable, contains a perfect subset and can be uniformized by a projective set; more precisely, the uniformization principle holds for the classes and . b) For the classes and the reduction principle holds, hence for the classes and the separation principle holds.
Under the assumption : a) There exists an uncountable -set that does not contain a perfect subset, and there exists a non-measurable -set without the Baire property. b) For the uniformization principle holds for the class .
If for a class the uniformization principle holds, then so does the reduction principle. For the reverse implication is unprovable in . If there exists a non-measurable -set (or an -set without the Baire property), then there exists an uncountable -set that does not contain a perfect subset. If every uncountable -set contains a perfect subset, then the same is true for every uncountable -set (see ). The results mentioned here are true not only for the space but also for the number axis and, in general, for any complete separable metric space. The following theorem on the topological invariance of projective sets is true: The homeomorphic image of a projective set of a given class situated in the same or in any other complete separable metric space is a projective set of the same class.
|||N.N. Lusin, "Sur les ensembles projectifs de M. Henri Lebesgue" C.R. Acad. Sci. Paris , 180 (1925) pp. 1572–1574|
|||W. Sierpiński, "Sur une classe d'ensembles" Fund. Math. , 7 (1925) pp. 237–243|
|||K. Kuratowski, "Topology" , 1 , PWN & Acad. Press (1966) (Translated from French)|
|||K. Kuratowski, A. Mostowski, "Set theory" , North-Holland (1976) (Translated from Polish)|
|||W. Sierpiński, "Les ensembles projectifs et analytiques" , Gauthier-Villars (1950)|
|||N.N. Luzin, , Collected works , 2 , Moscow (1958) pp. 242; 268 (In Russian)|
|||T.J. Jech, "Set theory" , Acad. Press (1978) (Translated from German)|
|||P. Hinman, "Recursion-theoretic hierarchies" , Springer (1978)|
|||P.S. Novikov, , Selected works , Moscow (1979) (In Russian)|
|||Z.I. Kozlova, "On projective operations and the separability of projective sets" Izv. Akad. Nauk SSSR Ser. Mat. , 26 : 2 (1962) pp. 223–260 (In Russian)|
|||L.V. Kantorovich, E.M. Livenson, Fund. Math. , 18 (1932) pp. 214–279|
|||D.A. Martin, "Descriptive set theory: projective sets" J. Barwise (ed.) , Handbook of mathematical logic , North-Holland (1977) pp. 783–815|
|||Y. Moschovakis, "New methods and results in descriptive set theory" R. James (ed.) , Proc. Internat. Congress Mathematicians (Vancouver, 1974) , 1 , Canad. Math. Congress (1975) pp. 251–257|
|||V.G. Kanovei, "On some problems of descriptive set theory and the connection between constructability and definability" Soviet Math. Dokl. , 22 : 1 (1980) pp. 163–167 Dokl. Akad. Nauk SSSR , 253 : 4 (1980) pp. 800–803|
|||V.A. Lyubetskii, "Random sequences of numbers, and -sets" , Studies in Set Theory and Non-Classical Logics , Moscow (1976) pp. 96–122 (In Russian)|
|||A. Kechris, "On transfinite sequences of projective sets with an application to equivalence relations" , Logic colloquium '77 , Studies in logic and foundations of math. , 96 , North-Holland (1978) pp. 155–160|
|||R. Mauldin, "Non-isomorphic projective sets" Mathematika , 23 : 2 (1976) pp. 151–155|
|||S. Marcus, "Hamelsche Basis und projective Mengen" Math. Nachr. , 17 : 3–6 (1959) pp. 143–150|
|||Z.I. Kozlova, V.P. Filippov, "Classes of projective sets in certain topological spaces of uncountable weight II" Soviet Math. Izv. Vuz. , 22 : 7 (1978) pp. 27–31 Izv. Vyzov. Mat. , 7 (1978) pp. 33–39|
A more common notation for the projective classes is as follows: One writes
for the class of -sets,
for the class of -sets, and
for the class of -sets.
This notation reflects the way one can describe these sets: a -set can be described by a formula which (in its normal formal) has alternating quantifiers, starting with ; likewise, the description of a -set has alternating quantifiers, starting with .
See also Descriptive set theory, especially .
Projective set. A.G. El'kin (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Projective_set&oldid=18534