(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
Citable Version  [?]

An advanced level version of Non-Borel set.

Usually, it is rather easy to prove that a given set is Borel (see below). It is much harder to prove that the set A is non-Borel; see Non-Borel_set/Advanced if you are acquainted with descriptive set theory. If you are not, you may find it instructive to try proving that A is Borel and observe a failure.

A. The set of all numbers x such that ${\displaystyle a_{0}=3}$ is an interval, therefore a Borel set.

B. The condition "${\displaystyle a_{1}=3}$" leads to a countable union of intervals; still a Borel set.

C. The same holds for the condition "${\displaystyle a_{2}=3}$" and, more generally, "${\displaystyle a_{k}=n}$" for given k and n.

D. The condition "${\displaystyle a_{k}" leads to the union of finitely many sets treated in C; still a Borel set.

E. The condition "${\displaystyle a_{k}>n}$" leads to the complement of a set treated in D; still a Borel set.

F. The condition "${\displaystyle a_{k}>n}$ for all k" leads to the intersection of countably many sets treated in E; still a Borel set. The same holds for the condition "${\displaystyle a_{k}>7}$ for all ${\displaystyle k>3}$" and, more generally, "${\displaystyle a_{k}>n}$ for all ${\displaystyle k>m}$" for given ${\displaystyle m,n.}$

G. The condition "${\displaystyle a_{k}>7}$ for all k large enough" leads to the union of countably many sets treated in F; still a Borel set.

H. The condition "the sequence ${\displaystyle a_{1},a_{2},a_{3},\dots }$ tends to infinity" leads to the intersection of countably many sets of the form treated in G ("7" being replaced with arbitrary natural number). Still a Borel set!

This list can be extended in many ways, but never reaches the set A. Indeed, the definition of A involves arbitrary subsequences. For given ${\displaystyle k_{0} the corresponding set is Borel. However, A is the union of such sets over all ${\displaystyle k_{0}; a uncountable union!

Do not think, however, that uncountable union of Borel sets is always non-Borel. The matter is much more complicated since sometimes the same set may be represented also as a countable union (or countable intersection) of Borel sets. For instance, an interval is a uncountable union of single-point sets, which does not mean that the interval is non-Borel.