Definition:Borel Sigma-Algebra/Borel Set

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $\map \BB {S, \tau}$ be the Borel $\sigma$-algebra of $\struct {S, \tau}$.


The elements of $\map \BB {S, \tau}$ are called the Borel (measurable) sets of $\struct {S, \tau}$.


Also see

  • Results about Borel sets can be found here.


Sources