Documentos de Académico
Documentos de Profesional
Documentos de Cultura
INVESTIGA
¿Constituyen un sigma-álgebra? Ponga ejemplos.
Una σ-álgebra debe contener también al conjunto total X, ya que la segunda propiedad
aplicada a tiene como consecuencia que pertenece a la σ-álgebra.
La aplicación de las leyes de De Morgan establecen que las intersecciones contables de sucesiones de
conjuntos en la σ-álgebra también pertenecen a la σ-álgebra Los elementos de una σ-á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 este, se denomina espacio
medible. Una 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 , f−1(E) .
Una medida es una cierta clase de función medible de una σ-álgebra en el intervalo [0,∞].
• Notación (conjunto potencia, conjunto de los subconjuntos). Sea X un conjunto.
Entoncesdenotemos por 2X al conjunto de todos los subconjuntos de X.
• Definición (σ-´algebra). Sea X un conjunto. Un conjunto F ⊂ 2X se llama σ-
´algebrasobre X si cumple con las siguientes condiciones:
∅ ∈F.
F es cerrado bajo complementos: si A ∈ F, entonces X \A ∈ F.
F es cerrado bajo uniones numerables: si 𝐴𝑖 ∈ 𝑓 para todo ⅈ ∈ ℕ y 𝐵 = ⋃𝑖∈ℕ
𝐴𝑖 ,entonces B ∈ F.
• Propiedades elementales de σ-´algebras. Sea F una σ-´algebra sobre X. Entonces:
X ∈ 𝑓.
F es cerrada bajo intersecciones numerables: si 𝐴𝑖 ∈ 𝑓 para todo ⅈ ∈ ℕ, entonces
⋂𝑖∈ℕ 𝐴 𝑖 ∈ 𝑓.
𝑚
F es cerrada bajo uniones finitas: si 𝐴𝑖 ∈ 𝑓 para todo i ∈ {1,...,m}, entonces ⋃ .
𝑖=1
Ejemplos de σ-´algebras
• Ejemplo de una σ-´algebra: conjunto potencia. Sea X un conjunto. Entonces 2X
es unaσ-´algebra sobre X.
• Propiedades de conjuntos finitos o numerables Recuerde cómo se
demuestran lassiguientes proposiciones:
INSTITUTO TECNOLÓGICO DE LAS AMERICAS
PROBABILIDAD Y ESTADÍSTICA
PRÁCTICA IX
-Sea (𝐴𝑘)𝑘 ∈ ℕ una sucesión de conjuntos a lo más numerables.
Entonces la unión 𝑘 ∈ℕ (𝐴 𝑘)también es un conjunto a lo más
numerable.
-Sea B un conjunto a lo más numerable y sea C ⊂ B. Entonces que C
también es a lo másnumerable.