6 Mínima σ\sigma-algebra sobre una coleccion de sucesos

Consideremos un espacio muestral Ω\Omega y una coleccion de subconjuntos del mismo, 𝒞︁𝒫︀(Ω)\mathscr{C}\subset\mathcal{{P}}(\Omega).

Definition 6.1.

La σ\sigma-algebra generada por 𝒞︁\mathscr{C} es la coleccion de sucesos

σ(𝒞︁)={𝒜︀:𝒜︀ es σ-álgebra y 𝒞︁𝒜︁}\sigma(\mathscr{C})=\cap\left\{\mathcal{{A}}\colon\mathcal{{A}}\text{ es }% \sigma\text{-álgebra y }\mathscr{C}\subset\mathscr{A}\right\}

A σ(𝒞︁)\sigma(\mathscr{C}) tambien se le da el nombre de minima σ\sigma-algebra sobre 𝒞︀\mathcal{{C}}.

En breve analizaremos una σ\sigma-algebra fundamental en calculo de probabilidades: la sigma-algebra de Borel.

Consideremos la coleccion de todos los intervalos abiertos (a,b)(a,b) de \mathbb{R} con a<ba<b.

A la minima σ\sigma-algebra sobre esta coleccion de conjuntos se le llama σ\sigma-algebra de Borel, y se denota por ℬ︀()\mathcal{{B}}(\mathbb{R}) o simplemente por ℬ︀\mathcal{{B}}:

ℬ︀=ℬ︀()=σ{(a,b)ab}\mathcal{{B}}=\mathcal{{B}}(\mathbb{R})=\sigma\left\{(a,b)\subset\mathbb{R}% \mid a\leq b\right\}

A los elementos de ℬ︀\mathcal{{B}} se les llama borealianos, conjuntos de Borel o conjuntos Borel-medibles.