In set theory, a subset of a Polish space is ∞-Borel if it can be obtained by starting with the open subsets of , and transfinitely iterating the operations of complementation and well-ordered union. This concept is usually considered without the assumption of the axiom of choice, which means that the ∞-Borel sets may fail to be closed under well-ordered union; see below.

Formal definition

edit

We define the set of ∞-Borel codes   and the interpretation function   below. A ∞-Borel set is a subset of   which is in the image of the interpretation function  .

The set of ∞-Borel codes is an inductive type   generated by functions  ,   and   for each  ; the interpretation function is defined inductively as  ,   and  . Here   denotes the Hartogs number of  : a sufficiently large ordinal such that there is no injection from   to  . Restricting to unions of length below   doesn't affect the possible unions (as any union of length   can be replaced by one of length   by removing duplicates), but ensures that the ∞-Borel codes form a set, not a proper class.

This can be phrased more set-theoretically as a definition by transfinite recursion as follows:

  • For every open subset  , the ordered pair   is an ∞-Borel code; its interpretation is  .
  • If   is an ∞-Borel code, then the ordered pair   is also an ∞-Borel code; its interpretation is the complement of  , that is,  .
  • If   is a length-α sequence of ∞-Borel codes for some ordinal α < Ξ (that is, if for every β<α,   is an ∞-Borel code), then the ordered pair   is an ∞-Borel code; its interpretation is  .

The axiom of choice implies that every set can be well-ordered, and therefore that every subset of every Polish space is ∞-Borel. Therefore, the notion is interesting only in contexts where the axiom of choice does not hold (or is not known to hold). Unfortunately, without the axiom of choice, it is not clear that the ∞-Borel sets are closed under well-ordered union. This is because, given a well-ordered union of ∞-Borel sets, each of the individual sets may have many ∞-Borel codes, and there may be no way to choose one code for each of the sets, with which to form the code for the union.

The assumption that every set of reals is ∞-Borel is part of AD+, an extension of the axiom of determinacy studied by Woodin.

Incorrect definition

edit

It is very tempting to read the informal description at the top of this article as claiming that the ∞-Borel sets are the smallest class of subsets of   containing all the open sets and closed under complementation and well-ordered union. That is, one might wish to dispense with the ∞-Borel codes altogether and try a definition like this:

For each ordinal α define by transfinite recursion Bα as follows:
  1. B0 is the collection of all open subsets of  .
  2. For a given even ordinal α, Bα+1 is the union of Bα with the set of all complements of sets in Bα.
  3. For a given even ordinal α, Bα+2 is the set of all well-ordered unions of sets in Bα+1.
  4. For a given limit ordinal λ, Bλ is the union of all Bα for α<λ
Bβ equals BΞ for every β>Ξ; BΞ would then be the collection of "∞-Borel sets".

This set is manifestly closed under well-ordered unions, but without the axiom of choice it cannot be proved equal to the ∞-Borel sets (as defined in the previous section). Specifically, this set may contain unions of sequences   of ∞-Borel sets for which it is not possible to choose a code for each  ; it is the closure of the ∞-Borel sets under all well-ordered unions (and complements), even those for which a choice of codes cannot be made.

Alternative characterization

edit

For subsets of Baire space or Cantor space, there is a more concise (if less transparent) alternative definition, which turns out to be equivalent. A subset A of Baire space is ∞-Borel just in case there is a set of ordinals S and a first-order formula φ of the language of set theory such that, for every x in Baire space,

 

where L[S,x] is Gödel's constructible universe relativized to S and x. When using this definition, the ∞-Borel code is made up of the set S and the formula φ, taken together.

References

edit
  • Woodin, W. Hugh (1999). The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal. De Gruyter Series in Logic and Its Applications. Vol. 1. Berlin: Walter de Gruyter. p. 618. ISBN 3-11-015708-X. ISSN 1438-1893.