Closed Set Measurable in Borel Sigma-Algebra

From ProofWiki
Jump to navigation Jump to search


Let $\struct {S, \tau}$ be a topological space.

Let $\map \BB \tau$ be the associated Borel $\sigma$-algebra.

Let $C$ be a closed set in $\struct {S, \tau}$.

Then $C$ is $\map \BB \tau$-measurable.


Since $C$ is closed, $S \setminus C$ is open.

By definition of Borel $\sigma$-algebra, $S \setminus C \in \map \BB \tau$.

By axiom $(2)$ for $\sigma$-algebras:

$S \setminus \paren {S \setminus C} \in \map \BB \tau$

and this set equals $C$ by Set Difference with Set Difference since $C \subseteq S$.

The result follows by definition of measurable set.