Álgebra de Borel

En matemáticas, el álgebra de Borel (más correctamente, σ-álgebra de Borel, también llamada boreliana) sobre un espacio topológico X es una σ-álgebra de subconjuntos de X asociada a la topología de X. En la literatura matemática se pueden encontrar dos definiciones no equivalentes de ésta: La σ-álgebra generada por los conjuntos abiertos. La σ-álgebra generada por los conjuntos compactos.La σ-álgebra generada por una colección T de subconjuntos de X se define como la mínima σ-álgebra que contiene a T. La existencia y unicidad de una tal σ-álgebra se demuestra fácilmente notando que la intersección de todas las σ-álgebras que contienen a T es en sí misma una σ-álgebra que contiene a T.Los elementos del álgebra de Borel se llaman conjuntos de Borel o conjuntos borelianos.En espacios topológicos generales, o aun en los localmente compactos, las dos estructuras definidas arriba pueden ser diferentes, aunque este fenómeno se considera patológico en el análisis matemático. De hecho, las dos estructuras coinciden si el espacio en consideración es un espacio localmente compacto, separable y métrico.