Jump to content

User:Chimpionspeak/Borel code

From Wikipedia, the free encyclopedia

In set theory, a branch of Mathematics, a Borel set is a subset of a topological space obtained by transfinitely iterating the operations of complementation, countable union and countable intersection. The notion of a Borel code gives an absolute way of specifying a borel set of a Polish space in terms of the operations required to form it.


Formal Definition

[edit]

Let be a Polish space. Then it has a countable base. Let enumerate that base (that is, is the basic open set). Now:

  • Every natural number is a Borel code. Its interpretation is .
  • If is an Borel code with interpretation , then the ordered pair is also an Borel code, and its interpretation is the complement of , that is, .
  • If is a length-ω sequence of Borel codes (that is, if for every natural number n, is a Borel code, say with interpretation ), then the ordered pair is an Borel code, and its interpretation is .

Then a set is Borel if it is the interpretation of some Borel code.

Observations

[edit]

A Borel code can be looked at as a wellfounded ω-tree and consequently can be coded by an element of the Baire space. This gives a way to construct a surjection from the Baire space to the borel subsets of a Polish space, showing that the number of Borel subsets of a Polish space is bounded above by the cardinality of the Baire space.

The set of Borel codes, the relation x∈ are all , and hence by Schoenfield's Absoluteness Theorem is absolute for inner models M of ZF+DC such that x,c ∈ M.

See Also

[edit]

References

[edit]
  • Jech, Thomas (2003), Set Theory, Springer Monographs in Mathematics, Berlin, New York: Springer-Verlag
  • Kanamori, Akihiro (2003), The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-00384-7