Conjunto de Borel

Un conjunto de Borel es un elemento de la llamada σ-álgebra de Borel, la cual no es más que la mínima σ-algebra que contiene a una topología dada. Como caracterización alternativa, también se puede decir que un conjunto de Borel es cualquier conjunto obtenido mediante uniones e intersecciones numerables de conjuntos cerrados o abiertos.

Introducción

Dados dos conjuntos A y B, se dice que A es un subconjunto de B si todos los elementos de A pertenecen a B. Toda vez que un conjunto X queda definido, quedan definidos también la colección formada por todos sus subconjuntos. Dicha colección se suele denotar por P(X) y contiene de manera trivial al propio X y al conjunto vacío.

Dados dos subconjuntos de X podemos calcular su unión o su intersección para obtener otro subconjunto de X. Asimismo, dado un conjunto A podemos considerar su complementario X-A. Toda colección de subconjuntos de X cerrada bajo uniones, intersecciones o complementos se llama un álgebra. Si también es cerrada bajo uniones e intersecciones numerables se llama σ-álgebra.

Los conjuntos que pertenecen a una σ-álgebra no tienen por sí mismos ninguna propiedad especial. Es su relación con la colección de los conjuntos de la σ-álgebra lo que les hace especiales.

Véase también

• σ-álgebra
• Conjunto medible
• Conjunto abierto