##  [Sigma-Algébra de Borel](/es/node/61622) 

 Definición

La sigma-álgebra generada por los conjuntos abiertos de un espacio topológico; sus elementos se llaman conjuntos de Borel y se obtienen a partir de los abiertos mediante uniones contables, intersecciones contables y complementos.

 

 

 

 

 

 





## Principio

Principio

Principio de minimalidad: la sigma-álgebra de Borel es la menor sigma-álgebra que contiene la topología, es decir, contiene todos los abiertos y es cerrada bajo las operaciones contables exigidas a una sigma-álgebra.

 

 

 

 

 





## Demostración

Demostración

En la recta real con la topología usual, los intervalos abiertos (a,b) generan la sigma-álgebra de Borel; conjuntos de Borel típicos incluyen intervalos cerrados, uniones contables de intervalos cerrados y muchos conjuntos fractales construidos por operaciones contables sobre abiertos.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Afirmar que todo subconjunto de un espacio es de Borel (por ejemplo pensar que todas las partes de R son borelianas) o confundir la sigma-álgebra de Borel con su completación respecto a una medida sin comprobarlo.

 

 

 

 

 





## Consecuencia

Consecuencia

Con la sigma-álgebra de Borel fijada se pueden definir medidas borelianas y estudiar funciones medibles; muchos teoremas estándar en análisis y probabilidad se formulan respecto a ella.

 

 

 

 

## Inversión

Inversión

Sustituir la sigma-álgebra de Borel por la sigma-álgebra trivial {∅,X} empobrece la información; sustituirla por el conjunto de todas las partes elimina las restricciones topológicas y diluye las distinciones de medibilidad.

 

 

 

 

 





## Límite

Límite

Depende de la topología elegida; puede estar estrictamente contenida en la sigma-álgebra de Lebesgue para R y excluye conjuntos no borelianos cuando existen.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Se contrasta frecuentemente con la sigma-álgebra de Lebesgue (su completación) o con sigma-álgebras generadas por colecciones particulares (cerrados, bases): tensión entre generación topológica y completación medida-teórica.

 

 

 

 

 





## Síntesis

Síntesis

La sigma-álgebra de Borel es la estructura medible canónica derivada de una topología: la colección mínima cerrada por operaciones contables que contiene a los abiertos, proporcionando el marco medible para el análisis guiado por la topología.