Sigma-Algebras and Measures - Key Properties

The Borel sigma-algebra is one of the most important examples in measure theory, particularly for analysis on Euclidean spaces. It provides the natural measurable structure for topological spaces.

DefinitionBorel Sigma-Algebra

Let $(X, \tau)$ be a topological space. The Borel sigma-algebra $\mathcal{B}(X)$ is the smallest sigma-algebra on $X$ containing all open sets in $\tau$ . Sets in $\mathcal{B}(X)$ are called Borel sets.

For the real line $\mathbb{R}$ with the standard topology, the Borel sigma-algebra $\mathcal{B}(\mathbb{R})$ contains all open intervals, closed intervals, and countable unions and intersections of such sets. It is generated by various collections of sets.

ExampleGenerators of the Borel Sigma-Algebra

The Borel sigma-algebra $\mathcal{B}(\mathbb{R})$ is the sigma-algebra generated by any of the following collections:

All open intervals $(a, b)$
All closed intervals $[a, b]$
All half-open intervals $(a, b]$ or $[a, b)$
All intervals of the form $(-\infty, a)$ or $(a, \infty)$

Each collection generates the same sigma-algebra through countable set operations.

DefinitionGenerated Sigma-Algebra

Let $X$ be a set and $\mathcal{E}$ be a collection of subsets of $X$ . The sigma-algebra generated by $\mathcal{E}$ , denoted $\sigma(\mathcal{E})$ , is the smallest sigma-algebra containing $\mathcal{E}$ . Formally, $\sigma(\mathcal{E}) = \bigcap \{\mathcal{F} : \mathcal{F} \text{ is a sigma-algebra and } \mathcal{E} \subseteq \mathcal{F}\}$

The existence of $\sigma(\mathcal{E})$ is guaranteed because the power set $\mathcal{P}(X)$ is always a sigma-algebra containing $\mathcal{E}$ , and the intersection of sigma-algebras is a sigma-algebra.

Remark

The Borel sigma-algebra on $\mathbb{R}^n$ is generated by open rectangles $(a_1, b_1) \times \cdots \times (a_n, b_n)$ . This construction extends naturally to arbitrary metric spaces and topological spaces, making it a universal tool in analysis.

Understanding Borel sets is essential for defining Lebesgue measure and for working with continuous functions in measure theory.