Borel sigma-algebra

guillefix 4th November 2016 at 2:43pm

A Sigma-algebra, B\mathcal{B}, on a set, Ω\Omega, defined as:

B=σ(τ)\mathcal{B} = \sigma(\tau)

i.e. the sigma-algebra generated by τ\tau, which is the set:{all the open sets of Ω\Omega}, i.e. the topology on Ω\Omega. It is the smallest sigma-algebra that contains τ\tau. See here

A Borel measure, is just a Measure on a Borel σ\sigma-algebra. Specifying such a measure is simplified by the Caratheodory extension theorem, that says that to