La sigma‑álgebra más pequeña sobre un espacio topológico generada por sus conjuntos abiertos (equivalente a la generada por cerrados o por una base de la topología), cuyos elementos se llaman conjuntos de Borel y que proporciona la estructura medible mínima compatible con la topología.

Principio

Tomar los conjuntos abiertos de la topología y cerrar bajo uniones contables, intersecciones contables y complementos para obtener una sigma‑álgebra que refleje la mensurabilidad topológica manteniéndose como la colección mínima con esas propiedades.

Demostración

En la recta real con su topología estándar, la sigma‑álgebra de Borel está generada por intervalos abiertos; contiene todos los intervalos, sus uniones e intersecciones contables y muchas otras conjuntos que resultan de operaciones contables.

Aplicación incorrecta

Tratar cada conjunto medible según Lebesgue como un conjunto de Borel; en realidad, los conjuntos medibles de Lebesgue forman la completación de la sigma‑álgebra de Borel respecto de la medida de Lebesgue y pueden contener conjuntos no borelianos.

Consecuencia

Dotar a un espacio topológico de su sigma‑álgebra de Borel permite definir medidas borelianas y aplicaciones mesurables continuas desde la perspectiva topológica, posibilitando la integración y el modelado probabilístico coherente con la estructura de abiertos.

Inversión

La sigma‑álgebra discreta (conjunto de todas las partes) o la sigma‑álgebra trivial {∅, X}, que representan los extremos: mensurabilidad máxima frente a mensurabilidad mínima no trivial, sin reflejar la estructura fina de la topología.

Límite

Definida en relación con una topología dada y válida en cualquier espacio topológico; no necesariamente incluye todos los subconjuntos (salvo que la topología sea discreta) y puede ser estrictamente más pequeña que sigma‑álgebras completadas o generadas para medidas específicas.

Tensión semántica

A menudo se confunde con completaciones (por ejemplo la sigma‑álgebra de Lebesgue) o con sigma‑álgebras arbitrarias; la tensión es entre la mensurabilidad generada topológicamente (Borel) y las completaciones propias de la teoría de la medida que añaden modificaciones por conjuntos de medida cero.

Síntesis

La sigma‑álgebra de Borel es la colección mínima de conjuntos cerrada por operaciones contables que contiene los abiertos de la topología, proveyendo una estructura medible canónica ligada a la topología del espacio.