Proble IV de la práctica 2

Frankely Escolastico Robles

3 de junio de 2023

Frankely Escolastico Robles Proble IV de la práctica 2

Si µ es una carga sobre Ω, sea π definida para cada
E ∈ Ω por π(E ) = Sup{µ(A) : A ⊆ E , A ∈ Ω}.
Pruebe que π es una medida sobre Ω.

Frankely Escolastico Robles Proble IV de la práctica 2

Si µ es una carga sobre Ω, sea π definida para cada
E ∈ Ω por π(E ) = Sup{µ(A) : A ⊆ E , A ∈ Ω}.
Pruebe que π es una medida sobre Ω.
Debemos demostrar que:

1. π(E ) ≥ 0, ∀E ∈ Ω

2. Si {En } es una sucesión o colección de subconjuntos

disjuntos de Ω, entoces π es contable aditiva:

π (∪∞ ∞
n=1 En ) = Σn=1 π(En )

3. π(Φ) = 0

Frankely Escolastico Robles Proble IV de la práctica 2

Demostración

1 No negatividad.
Sabemos que π(E ) = Sup{µ(A) : A ⊆ E , A ∈ Ω}. Para
demostrar que π(E ) ≥ 0, debemos mostrar que el supremo de
las cargas µ(A) para todos los conjuntos A ⊆ E , A ∈ Ω es no
negativo.
Por hipótesis sabemos que E ∈ Ω. Consideremos la colección
de conjuntos {A : A ⊆ E , A ∈ Ω} como vacı́a. Si esta
colección es vacı́a, es decir, no hay conjuntos A que cumplan
con estas condiciones, entonces π(E ) = Sup{µ(A) : A ⊆ E ,
A ∈ Ω} también será cero.

Frankely Escolastico Robles Proble IV de la práctica 2

Supongamos ahora que la colección no es vacı́a, es decir,
existen conjuntos A ⊆ E , A ∈ Ω que cumplen con estas
condiciones. Tomemos un conjunto A0 de esta colección.
′ ′
Ahora consideremos cualquier otro conjunto A ⊆ E , A ∈ Ω
′
de la colección. Como A ⊆ E y A0 ⊆ E , podemos decir que
′ ′ ′ ′
A ⊆ A0 ∪ A . Esto implica que µ(A ) ≥ µ(A0 ∪ A ) debido a la
subaditividad de µ.

Frankely Escolastico Robles Proble IV de la práctica 2

Tomando el supremo sobre todos los conjuntos A ⊆ E , A ∈ Ω,
tenemos:
′ ′ ′
Sup{µ(A) : A ⊆ E , A ∈ Ω} ≥ Sup{µ(A0 ∪ A ) : A ⊆ E , A ∈
Ω}.
′
Sin embargo, A0 ∪ A es un conjunto que también cumple con
las condiciones de la colección, por lo que está incluido en el
supremo. Por lo tanto, tenemos:
′
Sup{µ(A) : A ⊆ E , A ∈ Ω} ≥ µ(A0 ∪ A ) ≥ 0.
Por lo tanto, hemos demostrado que
π(E ) = Sup{µ(A) : A ⊆ E , A ∈ Ω} ≥ 0 para cualquier
conjunto E ∈ Ω

Frankely Escolastico Robles Proble IV de la práctica 2

2 Si {En } es una sucesión o colección de subconjuntos disjuntos
de Ω, entoces π es contable aditiva:
π (∪∞ ∞
n=1 En ) = Σn=1 π(En )

Frankely Escolastico Robles Proble IV de la práctica 2

3 Si {En } es una sucesión o colección de subconjuntos disjuntos
de Ω, entoces π es contable aditiva:
π (∪∞ ∞
n=1 En ) = Σn=1 π(En )

Primero, notemos que para cualquier subconjunto A de

∪∞ ∞
n=1 En podemos escribirlo como A = ∪n=1 (A ∩ En ), donde
A ∩ En ⊆ En para cada n.

Frankely Escolastico Robles Proble IV de la práctica 2

4 Si {En } es una sucesión o colección de subconjuntos disjuntos
de Ω, entoces π es contable aditiva:
π (∪∞ ∞
n=1 En ) = Σn=1 π(En )

Primero, notemos que para cualquier subconjunto A de

∪∞ ∞
n=1 En podemos escribirlo como A = ∪n=1 (A ∩ En ), donde
A ∩ En ⊆ En para cada n.
Esta descomposición se basa en la propiedad de distribución de
la intersección sobre la unión de conjuntos. Al tomar la
intersección de A con cada En individualmente, obtenemos los
conjuntos A ∩ En que están contenidos en En para cada n.
Luego, al tomar la unión de estos conjuntos, obtenemos la
parte de A que está contenida en la unión de los conjuntos En .

Frankely Escolastico Robles Proble IV de la práctica 2

Dado que µ es una carga sobre
P Ω, se cumple que
µ(A) = µ(∪n (A ∩ En )) ≤ n µ(A ∩ En ) por la propiedad de
subaditividad de la medida µ.

Frankely Escolastico Robles Proble IV de la práctica 2

Dado que µ es una carga sobre
P Ω, se cumple que
µ(A) = µ(∪n (A ∩ En )) ≤ n µ(A ∩ En ) por la propiedad de
subaditividad de la medida µ.
Esta propiedad establece que para cualquier colección
numerable de conjuntos disjuntos, la medida del conjunto
unión es menor o igual que la suma de las medidas de los
conjuntos individuales.

Frankely Escolastico Robles Proble IV de la práctica 2

Dado que µ es una carga sobre
P Ω, se cumple que
µ(A) = µ(∪n (A ∩ En )) ≤ n µ(A ∩ En ) por la propiedad de
subaditividad de la medida µ.
Esta propiedad establece que para cualquier colección
numerable de conjuntos disjuntos, la medida del conjunto
unión es menor o igual que la suma de las medidas de los
conjuntos individuales.
Esto se debe a que el conjunto A se puede escribir como la
unión de los conjuntos (A ∩ En ), y, por lo tanto, la medida de
A(µ(A)) es menor o igual que la suma de las medidas de estos
conjuntos individuales.

Frankely Escolastico Robles Proble IV de la práctica 2

Como π(∪n En ) es el supremo de las cargas µ(A) para todos los
subconjuntos A de ∪n En que pertenecen a Ω. Esto implica que
para cada n, tenemos π(En ) = Sup{µ(A) : A ⊆ En , A ∈ Ω}. Si
consideramos una secuencia creciente de subconjuntos Ak tal
que Ak ⊆ En para cada k, podemos observar que ∪k Ak ⊆ En
para todo n. Por lo tanto, tenemos que µ(∪k Ak ) ≤ π(En ) para
cada n, y esto implica que µ(∪k Ak ) ≤ Sup{π(En )}.

Frankely Escolastico Robles Proble IV de la práctica 2

Ahora, fijemos un conjunto B ⊆ ∪n En . Podemos encontrar
una secuencia creciente de subconjuntos {Ak } tal que
Ak ⊆ Ek y ∪k Ak ⊆ B. En este caso, tenemos que
µ(∪k Ak ) ≤ Sup{π(Ek )} para cada k.
µ(∪k Ak ) ≤ Sup{π(Ek )} ≤ π(∪n En ).
Esto se basa en el hecho de que para cada subconjunto Ak , se
tiene que µ(Ak ) ≤ π(Ek ) según la definición de π como el
supremo de las cargas µ(A) para subconjuntos A de Ek .

Frankely Escolastico Robles Proble IV de la práctica 2

En resumen, hemos demostrado que para cualquier conjunto
B ⊆ ∪n En , se cumple que µ(B) ≤ π(∪n En ). Esto implica que
π(∪n En ) = Sup{µ(B) : B ⊆ ∪n En , B ∈ Ω} = Σn Sup{µ(A) :
A ⊆ En , A ∈ Ω} = Σn π(En ), lo cual verifica la propiedad de
contable aditiva.

Frankely Escolastico Robles Proble IV de la práctica 2

En resumen, hemos demostrado que para cualquier conjunto
B ⊆ ∪n En , se cumple que µ(B) ≤ π(∪n En ). Esto implica que
π(∪n En ) = Sup{µ(B) : B ⊆ ∪n En , B ∈ Ω} = Σn Sup{µ(A) :
A ⊆ En , A ∈ Ω} = Σn π(En ), lo cual verifica la propiedad de
contable aditiva.
Por último, debemos demostrar que π(ϕ) = 0. Observemos
que no existe ningún subconjunto A de ϕ que pertenezca a Ω.

Frankely Escolastico Robles Proble IV de la práctica 2

En resumen, hemos demostrado que para cualquier conjunto
B ⊆ ∪n En , se cumple que µ(B) ≤ π(∪n En ). Esto implica que
π(∪n En ) = Sup{µ(B) : B ⊆ ∪n En , B ∈ Ω} = Σn Sup{µ(A) :
A ⊆ En , A ∈ Ω} = Σn π(En ), lo cual verifica la propiedad de
contable aditiva.
Por último, debemos demostrar que π(ϕ) = 0. Observemos
que no existe ningún subconjunto A de ϕ que pertenezca a Ω.
En conclusión, hemos demostrado que π cumple con las tres
propiedades necesarias para ser una medida sobre Ω: no
negatividad, aditividad y π(ϕ) = 0. Por lo tanto, π es una
medida sobre Ω.

Frankely Escolastico Robles Proble IV de la práctica 2