## [Sigma-Algébra de Borel](/es/node/57807) Definición 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 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 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 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 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 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 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 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 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.