Diferencia entre revisiones de «Σ-álgebra»
Contenido eliminado Contenido añadido
Línea 11:
En virtud de la segunda propiedad, la primera propiedad equivale a ''X'' <math>\in \Sigma</math>; de 2 y 3 se concluye que la σ-álgebra también es cerrada bajo intersecciones contables (gracias a las [[leyes de De Morgan]]).
Los elementos de la σ-álgebra se denominan ''conjuntos Σ-medibles'' (o simplemente ''conjuntos medibles'', cuando no hay ambigüedad sobre Σ). Un par ordenado (''X'', Σ), donde ''X'' es un conjunto y Σ una σ-álgebra sobre éste, se denomina '''espacio medible'''. Una [[función matemática|función]] entre dos espacios medibles se denomina ''medible'' si la preimagen de todo conjunto medible es también medible; esto es, si (''X'', Σ) y (''Y'', Ω) son dos espacios medibles, una función ''f'':''X''→''Y'' es ''medible'' si para todo ''E'' <math>\in \Omega</math>, ''f''<sup>−1</sup>(''E'') <math>\in \Sigma</math>.
Una [[teoría de la medida|medida]] es una cierta clase de función medible de una σ-álgebra == Notación ==
| |||