Non-Borel Sets
An example of a subset of the reals which is non-Borel, due to Lusin (see Sect. 62, pages 76–78), is described below. In contrast, an example of a non-measurable set cannot be exhibited, though its existence can be proved.
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. In fact, it is analytic, and complete in the class of analytic sets. 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.
Another non-Borel set is an inverse image of an infinite parity function . However, this is a proof of existence (via the choice axiom), not an explicit example.
Read more about this topic: Borel Set
Famous quotes containing the word sets:
“Almsgiving tends to perpetuate poverty; aid does away with it once and for all. Almsgiving leaves a man just where he was before. Aid restores him to society as an individual worthy of all respect and not as a man with a grievance. Almsgiving is the generosity of the rich; social aid levels up social inequalities. Charity separates the rich from the poor; aid raises the needy and sets him on the same level with the rich.”
—Eva Perón (1919–1952)