Non-Borel set

Non-Borel set

In mathematics, a non-Borel set is a set that cannot be obtained from "simple" sets by taking complements and at most countable unions and intersections. (For the definition see Borel_set.) Only sets of real numbers are considered in this article. Accordingly, by "simple" sets one may mean just intervals. All Borel sets are measurable, moreover, universally measurable; however, some universally measurable sets are not Borel.

An example of a non-Borel set, due to Lusin, is described below. In contrast, an example of a non-measurable set cannot be given (rather, its existence can be proved), see non-measurable set.

The example

Every irrational number has a unique representation by a continued fraction:x = a_0 + cfrac{1}{a_1 + cfrac{1}{a_2 + cfrac{1}{a_3 + cfrac{1}{ddots, where a_0, is some integer and all the other numbers a_k, are "positive" integers. Let A, be the set of all irrational numbers that correspond to sequences (a_0,a_1,dots), with the following property: there exists an infinite subsequence (a_{k_0},a_{k_1},dots), such that each element is a divisor of the next element. This set A, 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.

References

*A. S. Kechris, "Classical Descriptive Set Theory", Springer-Verlag, 1995 (Graduate texts in Math., vol. 156).


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Non-measurable set — This page gives a general overview of the concept of non measurable sets. For a precise definition of measure, see Measure (mathematics). For various constructions of non measurable sets, see Vitali set, Hausdorff paradox, and Banach–Tarski… …   Wikipedia

  • Borel set — In mathematics, a Borel set is any set in a topological space that can be formed from open sets (or, equivalently, from closed sets) through the operations of countable union, countable intersection, and relative complement. Borel sets are named… …   Wikipedia

  • Borel algebra — In mathematics, the Borel algebra (or Borel sigma; algebra) on a topological space X is a sigma; algebra of subsets of X associated with the topology of X . In the mathematics literature, there are at least two nonequivalent definitions of this… …   Wikipedia

  • Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects …   Wikipedia

  • Borel-Moore homology — In mathematics, Borel Moore homology or homology with closed support is a homology theory for locally compact spaces. For compact spaces, the Borel Moore homology coincide with the usual singular homology, but for non compact spaces, it usually… …   Wikipedia

  • Non-analytic smooth function — In mathematics, smooth functions (also called infinitely differentiable functions) and analytic functions are two very important types of functions. One can easily prove that any analytic function of a real argument is smooth. The converse is not …   Wikipedia

  • Borel functional calculus — In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus (that is, an assignment of operators from commutative algebras to functions defined on their spectrum), which has particularly broad… …   Wikipedia

  • Null set — In mathematics, a null set is a set that is negligible in some sense. For different applications, the meaning of negligible varies. In measure theory, any set of measure 0 is called a null set (or simply a measure zero set). More generally,… …   Wikipedia

  • Suslin set — The concept of a Suslin set was first used by Mikhail Yakovlevich Suslin when he was researching the properties of projections of Borel sets in R^2 onto the real axis. Lebesgue believed he had proved that such a projection was also a Borel set,… …   Wikipedia

  • List of set theory topics — Logic portal Set theory portal …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”