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 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

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

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

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

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

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

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

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.