Non-Borel set

From Citizendium
Revision as of 01:30, 19 June 2009 by imported>Boris Tsirelson (→‎The example: moved to Advanced)
Jump to navigation Jump to search

The example

Every irrational number has a unique representation by a continued fraction

where is some integer and all the other numbers are positive integers. Let be the set of all irrational numbers that correspond to sequences with the following property: there exists an infinite subsequence such that each element is a divisor of the next element. This set is not Borel. For more details see descriptive set theory and the book by Kechris, especially Exercise (27.2) on page 209, Definition (22.9) on page 169, and Exercise (3.4)(ii) on page 14.