Diferencia entre revisiones de «Σ-álgebra»
Contenido eliminado Contenido añadido
sigma algebra de Borel en un espacio topologico general |
|||
Línea 7:
Una familia de subconjuntos de X, representada por Σ, es una σ-álgebra sobre ''X'' cuando se cumplen las siguientes propiedades:
# El [[conjunto vacío]] está en Σ: <math> \varnothing \in \Sigma</math>.
# Si ''E'' está en Σ, también está su [[Complemento de un conjunto|complemento]] <math>\overline{E} = X\setminus E</math>.
# Si ''E''<sub>1</sub>, ''E''<sub>2</sub>, ''E''<sub>3</sub>, ... es una sucesión de elementos de Σ, entonces la [[unión de conjuntos|unión]] ([[Conjunto numerable|contable]]) de todos ellos también está en Σ.
}}
| |||