Está en la página 1de 28

DEF: Sea Ω un conjunto no-vacío.

Una familia F de subconjuntos de Ω es


denominada una 𝜎 − algebra en Ω si se cumple lo siguiente:

(a) Ω ∈ F .

(b) Si 𝐴 ∈ F , entonces 𝐴𝑐 ≡ Ω − 𝐴 ≡ {𝑥 ∈ Ω : 𝑥 ∉ 𝐴} ∈ F .

(c) Si 𝐴1 , 𝐴2 , 𝐴3 , ... ∈ F , entonces ∞


Ð
𝑖=1 𝐴𝑖 ∈ F .

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 1 / 28
Preegunta: Es la familia de todos los subconjunto de Ω una 𝜎 − algebra?

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 2 / 28
Repitiendo la pregunta: es la familia de todos los subconjunto de Ω una
𝜎 − algebra?

Respuesta: esta familia si es 𝜎 − algebra.

Demostración: Sea F el conjunto de todos los subconjuntos de Ω. Entonces:

(a) Como Ω ⊆ Ω, entonces Ω ∈ F .

(b) Sea 𝐴 ∈ F . Por demostrar: 𝐴𝑐 ∈ F .

En efecto esto se cumple de manera automática sea cual sea el conjunto 𝐴, ya


que por definición se tiene que: 𝐴𝑐 = {𝑥 ∈ Ω : 𝑥 ∉ 𝐴} y por lo tanto 𝐴𝑐 ⊆ Ω,
y por lo tanto 𝐴𝑐 ∈ F .

(c) Si 𝐴1 , 𝐴2 , 𝐴3 , ... ∈ F , entonces ∞


Ð
𝑖=1 𝐴𝑖 ∈ F .

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 3 / 28
DEF: Considere la sucesión 𝐴1 , 𝐴2 , 𝐴3 , ... de subconjuntos de Ω. Definimos:

∞ Ø
Ù ∞
(𝑖) lim sup 𝐴𝑛 = 𝐴𝑘
𝑛→∞ 𝑛=1 𝑘=𝑛

∞ Ù
Ø ∞
(𝑖𝑖) lim inf 𝐴𝑛 = 𝐴𝑘
𝑛→∞
𝑛=1 𝑘=𝑛

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 4 / 28
Teorema: Considere la sucesión 𝐴1 , 𝐴2 , 𝐴3 , ... ∈ F , donde F es una
𝜎 − algebra. Entonces lim sup 𝐴𝑛 ∈ F , y lim inf 𝐴𝑛 ∈ F .


Ð
Demostración: como 𝐴𝑖 ∈ F ∀𝑖 ∈ N, entonces 𝐶𝑛 ≡ 𝐴𝑘 ∈ F .
𝑘=𝑛

Por lo tanto:
∞ Ø
Ù ∞ ∞
Ù
lim sup 𝐴𝑛 = 𝐴𝑘 = 𝐶𝑛 ∈ F .
𝑛→∞ 𝑛=1 𝑘=𝑛 𝑛=1

Para lim inf 𝐴𝑛 el argumento es similar.

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 5 / 28
Nota:
 
(i) 𝜔 ∈ lim sup 𝐴𝑛 ⇐⇒ [𝜔 ∈ 𝐴𝑛 para una cantidad infinita de 𝑛 0 𝑠].
𝑛→∞
 
(ii) 𝜔 ∈ lim inf 𝐴𝑛 ⇐⇒ [𝜔 ∈ 𝐴𝑛 ∀ excepto por una cantidad finita de 𝑛 0 𝑠].
𝑛→∞

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 6 / 28
Demostración:
 
(i) 𝜔 ∈ lim sup 𝐴𝑛
𝑛→∞
∞ Ð
Ñ ∞
⇐⇒ 𝜔 ∈ 𝐴𝑘
𝑛=1 𝑘=𝑛

⇐⇒ ∀𝑛 ∃𝑘 ≥ 𝑛 : 𝜔 ∈ 𝐴 𝑘

⇐⇒ 𝜔 ∈ 𝐴𝑛 para una cantidad infinita de 𝑛 0 𝑠.

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 7 / 28
Demostración:
 
(ii) 𝜔 ∈ lim inf 𝐴𝑛
𝑛→∞

∞ Ñ
Ð ∞
⇐⇒ 𝜔 ∈ 𝐴𝑘
𝑛=1 𝑘=𝑛

⇐⇒ ∃𝑛 ∀𝑘 ≥ 𝑛 : 𝜔 ∈ 𝐴 𝑘

⇐⇒ 𝜔 ∈ 𝐴𝑛 para todos excepto una cantidad finita de 𝑛 0 𝑠.

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 8 / 28
Corolario:

lim inf 𝐴𝑛 ⊆ lim sup 𝐴𝑛


𝑛→∞ 𝑛→∞

Este Corolario se obtiene del hecho de que si 𝐴𝑛 ocurre para todos excepto por
una cantidad finita de 𝑛 0 𝑠, entonces ocurre para una cantidad infinita de 𝑛 0 𝑠.

Explicación:

(i) “Infinitamente a menudo” significa que si sale vuelve a entrar infinitas


veces.

(ii) “Todos excepto por una cantidad finita de 𝑛 0 𝑠” es lo mismo que decir
“finalmente.” En otras palabras 𝜔 ∈ 𝐴𝑛 para todos pasado un cierto 𝑛.

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 9 / 28
Ejemplo: Encontrar lim inf 𝐴𝑛 , lim sup 𝐴𝑛 para la siguiente sucesión de
𝑛→∞ 𝑛→∞
conjuntos 𝐴 𝑘 :
(
1 1 1

3 −
1+𝑘 , 1 + 1+𝑘 si 𝑘 = 1, 3, 5, 7, ...
𝐴𝑘 = 1 2 1
 (1)
1+𝑘 , 3 − 1+𝑘 si 𝑘 = 2, 4, 6, 8, ...

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 10 / 28

Ø
(𝑖) 𝐶𝑛 ≡ 𝐴 𝑘 = (0, 1].
𝑘=𝑛

Por lo tanto:
∞ Ø
Ù ∞ ∞
Ù
lim sup 𝐴𝑛 = 𝐴𝑘 = 𝐶𝑛 = (0, 1].
𝑛→∞ 𝑛=1 𝑘=𝑛 𝑛=1

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 11 / 28
∞ Ù
∞  
Ø 1 2
(𝑖𝑖) lim inf 𝐴𝑛 = 𝐴𝑘 = , .
𝑛→∞
𝑛=1 𝑘=𝑛
3 3

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 12 / 28
1
Pregunta: sea F una 𝜎 − algebra en [0, 1] tal que [ 1+𝑛 , 𝑛1 ] ∈ F , 𝑛 ∈ N.
Demuestre lo siguiente.

(i) {0} ∈ F .

(ii) { 𝑛1 : 𝑛 = 2, 3, ...} ∈ F .

(iii) ] 𝑛1 , 1] ∈ F para todo 𝑛 ∈ N.

(iv) ]0, 𝑛1 ] ∈ F .

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 13 / 28
Repitiendo la pregunta: sea F una 𝜎 − algebra en [0, 1] tal que
1
[ 1+𝑛 , 𝑛1 ] ∈ F , 𝑛 ∈ N. Demuestre lo siguiente:

Respuestas:

(i) {0} ∈ F .

Demostración:

{0} = [0, 1] − ∞ 1 1
Ð
𝑖=1 [ 𝑛+1 , 𝑛 ],

donde ∞ 1 1
Ð
𝑖=1 [ 𝑛+1 , 𝑛 ] =]0, 1] .

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 14 / 28
(ii) { 𝑛1 : 𝑛 = 2, 3, ...} ∈ F .

Demostración:
 
Ð∞
{ 𝑛1 1 1
  1 1

: 𝑛 = 2, 3, ...} = 𝑛=2 𝑛+1 , 𝑛 ∩ 𝑛 , 𝑛−1 =
     
1 1 1 1 1 1 1 1 1 1 1 1
= , ∩ , ∪ , ∩ , ∪ , ∩ , ∪...
3 2 2 1 4 3 3 2 5 4 4 3
| {z } | {z } | {z }
1 1 1
2 3 4

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 15 / 28
(iii) ] 𝑛1 , 1] ∈ F para todo 𝑛 ∈ N.

Demostración:
 
] 𝑛1 , 1] =
Ð𝑛−1  1 1   1 1
,
𝑖=1 1+𝑖 𝑖 − 𝑛+1 ,𝑛 =

 
1  1 1
 1 1
  1 1

= 2, 1 ∪ 3, 2 ∪ ... ∪ 𝑛 , 𝑛−1 − 𝑛+1 , 𝑛 =

1   1 1  1 
= 𝑛 , 1 − 𝑛+1 , 𝑛 = 𝑛 , 1 .

Nota: El caso 𝑛 = 1 es especial.


En efecto, para 𝑛 = 1 se tiene que ] 𝑛1 , 1] =]1, 1] = ∅ ∈ F .

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 16 / 28
(iv) 0, 𝑛1 ∈ F .
 

 1
 Ð∞  1 1

0, 𝑛 = 𝑖=𝑛 𝑖+1 , 𝑖 .

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 17 / 28
Pregunta: es la familia F compuesta por todos los subconjuntos contables de
Ω y sus complementos una 𝜎 − algebra?

Definición: una función 𝑓 : 𝐴 → 𝐵 se dice que es 1-a-1 si para cada 𝑦 ∈ 𝐵 se


tiene que 𝑓 −1 (𝑦) consiste en a lo más un elemento de 𝐴. Nota: esta definición
incluye el caso en que exista algún 𝑦 ∈ 𝐵 para el cual 𝑓 −1 (𝑦) no existe.

Notación: diremos que un conjunto 𝐴 es contable si existe una


correspondencia 1-a-1 entre los elementos de dicho conjunto y los elementos
de N. Notar que esta definición incluye el caso en que 𝐴 es finito (esto es que
tiene una cantidad finita de elementos) incluyendo al conjunto vacío ∅.

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 18 / 28
Repitiendo la pregunta: es la familia F compuesta por todos los subconjuntos
contables de Ω y sus complementos una 𝜎 − algebra?

Respuesta: si. Demostración:

(a) Ω ∈ F . Esto se cumple ya que ∅ es contable (ya que es finito), y su


complemento es Ω, el cual está en F , ya que Ω es el complemento de ∅.

(b) Si 𝐴 ∈ F , entonces 𝐴𝑐 ≡ Ω − 𝐴 ≡ {𝑥 ∈ Ω : 𝑥 ∉ 𝐴} ∈ F . Esto se cumple


ya que si 𝐴 ∈ F , entonces hay 2 casos posibles: 𝐴 puede ser contable, o 𝐴
puede ser no-contable.

(b.1) Caso 1: 𝐴 es contable, en cuyo caso 𝐴𝑐 es el complemento de un


conjunto contable, y por lo tanto 𝐴𝑐 ∈ F .

(b.2) Caso 2: 𝐴 no es contable. Pero si 𝐴 no es contable y aún así 𝐴 ∈ F ,


entonces es porque 𝐴𝑐 es contable, y por lo tanto 𝐴𝑐 ∈ F .

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 19 / 28
Ð∞
(c) Si 𝐴1 , 𝐴2 , 𝐴3 , ... ∈ F , entonces 𝑖=1 𝐴𝑖 ∈ F .

Sea 𝐴1 , 𝐴2 , 𝐴3 , ... ∈ F . Hay 2 casos posibles:

(c.1) Caso 1: todos los conjuntos 𝐴1 , 𝐴2 , 𝐴3 , ... son contables. En este caso
Ð∞
𝑖=1 𝐴𝑖 ∈ F , ya que la unión contable de conjuntos contables es contable. (Se
deja como tarea verificar este hecho).

(c.2) Caso 2: existe al menos uno de los 𝐴𝑖 que no es contable. Entonces,


como cada uno de los 𝐴𝑖 están en F , entonces se tiene que para tal 𝐴𝑖 se
cumple que 𝐴𝑖𝑐 = Ω − 𝐴𝑖 es contable.

Ahora, notar que Ω − ∞


Ð Ð∞
𝑖=1 𝐴𝑖 ⊆ Ω − 𝐴𝑖 . Por lo tanto Ω − 𝑖=1 𝐴𝑖 es contable,
ya que es subconjunto de un conjunto contable.

Finalmente, como Ω − ∞
Ð
Ð∞ 𝑖=1 𝐴𝑖 es contable, entonces su complemento
Ð ∞
(Ω − 𝑖=1 𝐴𝑖 ) = 𝑖=1 𝐴𝑖 ∈ F , y por lo tanto pertenece a F .
𝑐

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 20 / 28
Pregunta: sean Ω𝑋 , Ω𝑌 conjuntos arbitrarios no-vacíos. Sea 𝑓 : Ω𝑋 → Ω𝑌
una función arbitraria. Demuestre que si FY es una 𝜎 − algebra en Ω𝑌 ,
entonces FX ≡ { 𝑓 −1 ( 𝐴) : 𝐴 ∈ FY } es una 𝜎 − algebra en Ω𝑋 .

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 21 / 28
Repitiendo la pregunta: sean Ω𝑋 , Ω𝑌 conjuntos arbitrarios no-vacíos. Sea
𝑓 : Ω𝑋 → Ω𝑌 una función arbitraria. Demuestre que si FY es una 𝜎 − algebra
en Ω𝑌 , entonces FX ≡ { 𝑓 −1 ( 𝐴) : 𝐴 ∈ FY } es una 𝜎 − algebra en Ω𝑋 .

Respuesta:

(i) Por definición de 𝑓 −1 , se tiene 𝑓 −1 (Ω𝑌 ) = Ω𝑋 . Por lo tanto Ω𝑋 ∈ FX .

(ii) Sea 𝐶 ∈ FX . Entonces 𝐶 = 𝑓 −1 ( 𝐴), para algún 𝐴 ∈ FY . Ahora, como


𝐴 ∈ FY y se sabe que FY es 𝜎 − algebra, entonces 𝐴𝑐 ∈ FY .
Ahora: 𝐶 𝑐 ≡ [ 𝑓 −1 ( 𝐴)] 𝑐 = 𝑓 −1 ( 𝐴𝑐 ) ∈ FY , ya que 𝐴𝑐 ∈ FY .
(nota: queda como tarea demostrar esta propiedad de 𝑓 −1 .)

(iii) Sean 𝐶1 , 𝐶2 , 𝐶3 , ... ∈ FX . Por demostrar: ∞


Ð
𝑖=1 𝐶𝑖 ∈ FX .

En efecto: Para cada 𝑖: como 𝐶𝑖 ∈ FX , entonces 𝐶𝑖 = 𝑓 −1 ( 𝐴𝑖 ), para algún


𝐴𝑖 ∈ FY . Como FY es 𝜎 − algebra, entonces ∞
Ð
𝐴 ∈ FY . Por lo tanto
Ð∞ 𝑖=1−1 𝑖
𝑓 ( 𝑖=1 𝐴𝑖 ) ∈ FX . Pero 𝑓 ( 𝑖=1 𝐴𝑖 ) = 𝑖=1 𝑓 ( 𝐴𝑖 ) = ∞
−1 Ð∞ −1 Ð∞ Ð
𝑖=1 𝐶𝑖 .
(nota: queda como tarea demostrar esta propiedad de 𝑓 −1 .)

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 22 / 28
Pregunta: sean Ω𝑋 , Ω𝑌 conjuntos arbitrarios no-vacíos. Sea 𝑓 : Ω𝑋 → Ω𝑌
una función arbitraria. Sea FX una 𝜎 − algebra en Ω𝑋 . Entonces:
Es el conjunto { 𝑓 (𝐶) : 𝐶 ∈ FX } una 𝜎 − algebra en Ω𝑌 ?

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 23 / 28
Repitiendo la pregunta: sean Ω𝑋 , Ω𝑌 conjuntos arbitrarios no-vacíos. Sea
𝑓 : Ω𝑋 → Ω𝑌 una función arbitraria. Sea FX una 𝜎 − algebra en Ω𝑋 .
Es el conjunto { 𝑓 (𝐶) : 𝐶 ∈ FX } una 𝜎 − algebra en Ω𝑌 ?
Respuesta: no necesariamente.

Contra-ejemplo: Ω𝑋 = {1, 2, 3}, Ω𝑌 = {1, 2}, 𝑓 : Ω𝑋 → Ω𝑌 .


Tal que: 𝑓 (1) = 𝑓 (2) = 1, 𝑓 (3) = 2.
Considere el conjunto: FX ≡ {∅, {1}, {2, 3}, {1, 2, 3}}. Notar que este
conjunto FX si es una 𝜎 − algebra.

Pero: { 𝑓 ( 𝐴) : 𝐴 ∈ FX } = {∅, {1}, {1, 2}}, el cual no es 𝜎 − algebra.

En efecto, porque:
(i) 𝑓 (∅) = ∅, (porqué?)
(ii) 𝑓 ({1}) = {1},
(iii) 𝑓 ({2, 3}) = {1, 2},
(iv) 𝑓 ({1, 2, 3}) = {1, 2}.
Para que { 𝑓 ( 𝐴) : 𝐴 ∈ FX } fuera una 𝜎 − algebra debería cumplirse que
{2} ∈ { 𝑓 ( 𝐴) : 𝐴 ∈ FX }, lo cual no se cumple.
Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 24 / 28
DEF: Sea Ω un conjunto y F una 𝜎 − algebra de sus subconjuntos. Entonces
una medida en F es una función 𝜇 real valorada que satisface:

(i) 𝜇(∅) = 0.

(ii) 𝜇( 𝐴) ≥ 0, para todo 𝐴 ∈ F .


∞ es una sucesión disjunta de conjuntos en F con
(iii) Si { 𝐴𝑖 }𝑖=1
Ð∞ Ð∞ Í∞
𝑖=1 𝐴𝑖 ∈ F , entonces 𝜇( 𝑖=1 ) = 𝑖=1 𝜇( 𝐴𝑖 ).

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 25 / 28
DEF: Sea Ω un conjunto y F una 𝜎 − algebra de sus subconjuntos.Una
medida 𝑃 : F → [0, 1] es una medida de probabilidad si 𝑃(Ω) = 1.

Nota: la definición de medida de probabilidad implica que no es posible que


el conjunto Ω sea el conjunto vacío, ya que como 𝑃 es una medida entonces
por definición de medida se tiene que 𝑃(∅) = 0.

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 26 / 28
Pregunta: Sea Ω = N, y sea F la familia de todos los subconjuntos de Ω.
1
Suponga que 𝑃 : F → R, tal que 𝑃({𝑖}) = , 𝑖 = 1, 2, 3, ...
𝑖
Es posible que esta función 𝑃 sea utilizada para construir una medida de
probabilidad en F ?

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 27 / 28
Repitiendo la pregunta: Sea Ω = N, y sea F la familia de todos los
subconjuntos de Ω. Suponga que 𝑃 : F → R, tal que
1
𝑃({𝑖}) = , 𝑖 = 1, 2, 3, ...
𝑖
Es posible que esta función 𝑃 sea utilizada para construir una medida de
probabilidad en F ?

respuesta: no, ya que:

∞ ∞
Õ Õ 1
𝑃(Ω) = 𝑃(N) = 𝑃(∪∞
𝑖=1 {𝑖}) = 𝑃({𝑖}) = = ∞ > 1.
𝑖=1 𝑖=1
𝑖

nota: comprobar que esta serie diverge.

Eugenio Bobenrieth (PUC) Junio 03 2020. Economía Matemática y Métodos Matemáticos para Economía.
June 3, 2020 28 / 28

También podría gustarte