Namespaces
Variants
Actions

Difference between revisions of "Borel set"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
Line 1: Line 1:
''<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b0171202.png" />-set''
+
{{MSC|28A33}}
  
A set which may be obtained as the result of not more than a countable number of operations of union and intersection of closed and open sets in a topological space. More exactly, a Borel set is an element of the smallest countably-additive class of sets containing the closed sets, and which is closed with respect to complementation. Borel sets are also called Borel-measurable sets and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b0171204.png" />-measurable sets. Open and closed sets are said to be Borel sets of order zero. Borel sets of order one are sets of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b0171205.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b0171206.png" /> which are, respectively, countable sums of closed sets and countable intersections of open sets. Borel sets of the second order are sets of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b0171207.png" /> (the intersection of a countable number of sets of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b0171208.png" />) and sets of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b0171209.png" /> (the union of a countable number of sets of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b01712010.png" />). Borel sets of an arbitrary finite order are defined in a similar manner by induction. With the aid of transfinite numbers of the second class (cf. [[Transfinite number|Transfinite number]]) this classification may be exhaustively extended to all Borel sets. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b01712011.png" /> be an arbitrary transfinite number of the second class; the Borel sets of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b01712012.png" /> will include any Borel set of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b01712013.png" /> that is not a Borel set of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b01712014.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b01712015.png" />. Whether the classes of Borel sets are empty or not will depend on the basic space under consideration. In Euclidean, Hilbert and Baire spaces there exist Borel sets of all classes.
+
[[Category:Classical measure theory]]
  
Borel sets are a special case of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b01712016.png" />-sets. For an [[A-set|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b01712017.png" />-set]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b01712018.png" /> to be a Borel set it is necessary and sufficient that the complement of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b01712019.png" /> also is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017120/b01712020.png" />-set (Suslin's criterion). In spaces with a [[Lebesgue measure|Lebesgue measure]] all Borel sets are Lebesgue measurable. The converse proposition is not true. All separable spaces having the cardinality of the continuum contain sets that are not Borel sets.
+
{{TEX|done}}
 +
$\newcommand{\abs}[1]{\left|#1\right|}$
  
Borel sets were introduced by E. Borel [[#References|[1]]]; they play an important role in the study of Borel functions (cf. [[Borel function|Borel function]]).
+
Borel sets were introduced by E. Borel {{Cite|Bor}}; they play an important role in the study of Borel functions (cf. [[Borel function|Borel function]]).
  
In a more general sense a Borel set is a set in an arbitrary [[Borel system of sets|Borel system of sets]] generated by some system of sets. The Borel sets in a topological space are generated by the system of closed subsets of this space.
+
====Definition====
 
+
Given a topological space $X$, the Borel [[Algebra of sets|σ-algebra]] of $X$ is the smallest $\sigma$-algebra of
====References====
+
subsets of $X$ containing the open sets of $X$. The primary example are the Borel sets on the real line, which
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  E. Borel,  "Leçons sur les fonctions discontinues" , Gauthier-Villars  (1898)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  K. Kuratowski,  "Topology" , '''1–2''' , Acad. Press  (1966–1968)  (Translated from French)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  F. Hausdorff,  "Grundzüge der Mengenlehre" , Leipzig  (1914)  (Reprinted (incomplete) English translation: Set theory, Chelsea (1978))</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  P.S. Aleksandrov,  "Einführung in die Mengenlehre und die Theorie der reellen Funktionen" , Deutsch. Verlag Wissenschaft.  (1956)  (Translated from Russian)</TD></TR></table>
+
correspond to choosing as $X$ the space of real numbers $\mathbb R$ with the usual topology. Borel sets of the real line
 +
(or more generally of a euclidean space) are Lebesgue measurable.
  
 +
====Order and transfinite construction====
 +
Borel sets are also called Borel-measurable sets. Obviously open and closed sets are Borel and they are sometimes
 +
called Borel sets of order zero. Other special classes of Borel sets which are often used are the $G_\delta$ sets,
 +
i.e. sets which are countable intersections of open sets, and the $F_\sigma$, i.e. countable unions of
 +
closed sets. The elements of these classes which are neither open nor closed are Borel sets of order one.
 +
Analogously one can define the $G_{\delta\sigma}$ and the $F_{\sigma\delta}$ sets and Borel sets of order two. Borel sets of an arbitrary finite order are defined in a similar manner by induction. With the aid of [[Transfinite number|transfinite numbers]]) up to the first uncountable ordinal this classification may be exhaustively extended to all Borel sets: if $\alpha$ is a countable ordinal,
 +
the Borel sets of order $\alpha$ are those sets which can be obtained as countable unions or countable intersections of Borel sets
 +
of order strictly smaller than $\alpha$, but which are not Borel sets of any order $\alpha'<\alpha$.  Whether the classes of Borel sets are empty or not will depend on the  basic space under consideration. In Euclidean, Hilbert and Baire spaces  there exist Borel sets of all classes. This procedure can be used to show that, for instance, the Borel $\sigma$-algebra of the real line has the cardinality of continuum. In particular, since the Lebesgue measurable subsets of $\mathbb R$ have larger cardinality, there
 +
are Lebesgue measurable sets which are not Borel. For the same reason all separable spaces having the cardinality of the continuum contain sets that are not Borel sets.
  
 +
====Relation to analytic sets====
 +
Borel sets are a special case of [[A-set|analytic sets]]. Suslin's criterion states that an analytic set is Borel if and only if its complement is also an analytic set
  
 
====Comments====
 
====Comments====
For notational questions, see [[Borel set of ambiguous class|Borel set of ambiguous class]].
+
In a more general sense a Borel set is a set in an arbitrary [[Borel system of sets|Borel system of sets]] generated by some system of sets.
 +
For notational issues, see [[Borel set of ambiguous class|Borel set of ambiguous class]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> K. Kuratowski,  "Introduction to set theory and topology" , Pergamon (1961)  (Translated from Polish)</TD></TR></table>
+
{|
 +
|-
 +
|valign="top"|{{Ref|Bor}}|| E. Borel,  "Leçons sur les fonctions discontinues" , Gauthier-Villars  (1898)
 +
|-
 +
|valign="top"|{{Ref|Bou}}||    N. Bourbaki, "Elements of mathematics. Integration" , Addison-Wesley    (1975) pp. Chapt.6;7;8 (Translated from French) {{MR|0583191}}    {{ZBL|1116.28002}} {{ZBL|1106.46005}} {{ZBL|1106.46006}}    {{ZBL|1182.28002}} {{ZBL|1182.28001}} {{ZBL|1095.28002}}    {{ZBL|1095.28001}} {{ZBL|0156.06001}}
 +
|-
 +
|valign="top"|{{Ref|Hal}}|| P.R. Halmos,  "Measure theory" , v. Nostrand (1950) {{MR|0033869}} {{ZBL|0040.16802}}
 +
|-
 +
|valign="top"|{{Ref|Hau}}|| F. Hausdorff, "Set theory", Chelsea (1978)
 +
|-
 +
|valign="top"|{{Ref|He}}||  E. Hewitt,  K.R. Stromberg,  "Real and abstract analysis" , Springer  (1965) {{MR|0188387}} {{ZBL|0137.03202}}
 +
|-
 +
|valign="top"|{{Ref|Ku}}|| K. Kuratowski,  "Topology" , '''1–2''' , Acad. Press (1966–1968)  
 +
|-
 +
|valign="top"|{{Ref|Ro}}|| H.L. Royden,  "Real analysis" , Macmillan (1968)
 +
|-
 +
|}

Revision as of 15:04, 30 July 2012

2020 Mathematics Subject Classification: Primary: 28A33 [MSN][ZBL] $\newcommand{\abs}[1]{\left|#1\right|}$

Borel sets were introduced by E. Borel [Bor]; they play an important role in the study of Borel functions (cf. Borel function).

Definition

Given a topological space $X$, the Borel σ-algebra of $X$ is the smallest $\sigma$-algebra of subsets of $X$ containing the open sets of $X$. The primary example are the Borel sets on the real line, which correspond to choosing as $X$ the space of real numbers $\mathbb R$ with the usual topology. Borel sets of the real line (or more generally of a euclidean space) are Lebesgue measurable.

Order and transfinite construction

Borel sets are also called Borel-measurable sets. Obviously open and closed sets are Borel and they are sometimes called Borel sets of order zero. Other special classes of Borel sets which are often used are the $G_\delta$ sets, i.e. sets which are countable intersections of open sets, and the $F_\sigma$, i.e. countable unions of closed sets. The elements of these classes which are neither open nor closed are Borel sets of order one. Analogously one can define the $G_{\delta\sigma}$ and the $F_{\sigma\delta}$ sets and Borel sets of order two. Borel sets of an arbitrary finite order are defined in a similar manner by induction. With the aid of transfinite numbers) up to the first uncountable ordinal this classification may be exhaustively extended to all Borel sets: if $\alpha$ is a countable ordinal, the Borel sets of order $\alpha$ are those sets which can be obtained as countable unions or countable intersections of Borel sets of order strictly smaller than $\alpha$, but which are not Borel sets of any order $\alpha'<\alpha$. Whether the classes of Borel sets are empty or not will depend on the basic space under consideration. In Euclidean, Hilbert and Baire spaces there exist Borel sets of all classes. This procedure can be used to show that, for instance, the Borel $\sigma$-algebra of the real line has the cardinality of continuum. In particular, since the Lebesgue measurable subsets of $\mathbb R$ have larger cardinality, there are Lebesgue measurable sets which are not Borel. For the same reason all separable spaces having the cardinality of the continuum contain sets that are not Borel sets.

Relation to analytic sets

Borel sets are a special case of analytic sets. Suslin's criterion states that an analytic set is Borel if and only if its complement is also an analytic set

Comments

In a more general sense a Borel set is a set in an arbitrary Borel system of sets generated by some system of sets. For notational issues, see Borel set of ambiguous class.

References

[Bor] E. Borel, "Leçons sur les fonctions discontinues" , Gauthier-Villars (1898)
[Bou] N. Bourbaki, "Elements of mathematics. Integration" , Addison-Wesley (1975) pp. Chapt.6;7;8 (Translated from French) MR0583191 Zbl 1116.28002 Zbl 1106.46005 Zbl 1106.46006 Zbl 1182.28002 Zbl 1182.28001 Zbl 1095.28002 Zbl 1095.28001 Zbl 0156.06001
[Hal] P.R. Halmos, "Measure theory" , v. Nostrand (1950) MR0033869 Zbl 0040.16802
[Hau] F. Hausdorff, "Set theory", Chelsea (1978)
[He] E. Hewitt, K.R. Stromberg, "Real and abstract analysis" , Springer (1965) MR0188387 Zbl 0137.03202
[Ku] K. Kuratowski, "Topology" , 1–2 , Acad. Press (1966–1968)
[Ro] H.L. Royden, "Real analysis" , Macmillan (1968)
How to Cite This Entry:
Borel set. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Borel_set&oldid=27260
This article was adapted from an original article by V.A. Skvortsov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article