Diferencia entre revisiones de «Σ-álgebra»

Contenido eliminado Contenido añadido
Línea 28:
 
Si ''X'' es cualquier conjunto, la familia {<math> \varnothing </math>
,''X''} es una σ-álgebra sobre ''X'', llamada ''σ-álgebra trivial'' por razones obvias. Otra σ-álgebra sobre ''X'' es el [[conjunto potencia|conjunto de partes]] de ''X''. The collection of subsets of X which are countable or whose complements are countable (which is distinct from the power set of X if and only if X is uncountable). This is the σ-algebra generated by the singletons of X. La familia de subconjuntos de ''X'' que son contables o de conjunto complementario (''X''−''E'') contable (esta familia es distinta del conjunto de las partes de ''X'' si y solo si ''X'' es incontable). Si {Σ<sub>α</sub>} es una familia de σ-álgebras sobre ''X'', la intersección de todos los conjuntos Σ<sub>α</sub> es también una σ-álgebra sobre ''X''.
 
Si ''U'' es una familia arbitraria de subconjuntos de ''X'', existe una mínima σ-álgebra sobre ''X'' que contiene a ''U'', llamada ''σ-álgebra generada por U''. Ésta se denota por σ(''U''), y se puede construir como sigue: