Una colección de subconjuntos de un conjunto base que contiene el conjunto vacío y está cerrada bajo uniones numerables y complementos (por tanto también bajo intersecciones numerables), sirviendo como dominio para la definición de medidas.

Principio

El cierre bajo operaciones de conjuntos numerables asegura la estabilidad de la medibilidad ante límites de sucesiones de conjuntos y proporciona el marco algebraico mínimo necesario para definir funciones aditivas numerablemente (medidas).

Demostración

La sigma-álgebra de Borel en un espacio topológico está generada por sus abiertos y es el dominio medible habitual para muchas medidas; la sigma-álgebra discreta en cualquier conjunto es su conjunto potencia completo, cerrado bajo todas las operaciones de conjuntos.

Aplicación incorrecta

Confundir un álgebra de conjuntos (cerrada solo bajo uniones y complementos finitos) con una sigma-álgebra, o asumir erróneamente cierre ante uniones arbitrarias (no numerables) cuando solo se requiere cierre numerable.

Consecuencia

Una sigma-álgebra permite definir medidas, funciones medibles e integración; garantiza que los límites de conjuntos medibles (uniones/intersecciones numerables) sigan siendo medibles, condición crítica para las operaciones límite en análisis.

Inversión

Un álgebra de conjuntos (campo de conjuntos) debilita la exigencia a uniones/intersecciones finitas; por el contrario, un sigma-ideal se centra en conjuntos despreciables y actúa de forma dual dentro de una sigma-álgebra.

Límite

Una sigma-álgebra es una estructura sobre una base de conjuntos especificada; no es una topología (difieren los requisitos de cierre) y por sí sola no proporciona nociones de distancia o continuidad sin estructuras adicionales.

Tensión semántica

Tensión entre sigma-álgebras y topologías: ambas son colecciones de subconjuntos cerradas bajo ciertas operaciones pero con fines distintos (medida vs. abiertos); también hay tensión entre el cierre numerable y requisitos como la completitud o la generación por familias dadas.

Síntesis

Una sigma-álgebra es la colección mínima cerrada ante operaciones numerables necesaria para hablar de medidas: contiene el vacío, es estable por complementos y por uniones numerables, asegurando la estabilidad de la medibilidad en procesos límite.