Está en la página 1de 1

Ejercicio 1, sección 2.

6
Sea Ω un conjunto no vacío. Sea ℱ0 la colección de todos los subconjuntos tal que 𝐴
o 𝐴𝑐 es finito.
(a) Mostrar que ℱ0 es un campo.
Primero se tiene que Ω𝑐 = ∅ es finito, así que Ω ∈ ℱ0.

Segundo si A ∈ ℱ0 , entonces 𝐴 o 𝐴𝑐 es finito, luego A𝑐 ∈ ℱ0 , ya que A𝑐 o (A𝑐 )𝑐 =


𝐴 lo es.

Tercero sean A1 , A2 ∈ ℱ0 , si uno de los dos es finito entonces A1 ∩ A2 ∈ ℱ0 , ya


que es finito; si ninguno es finito entonces A𝑐1 ∪ A𝑐2 ∈ ℱ0 , ya que es finito y por
lo tanto (A𝑐1 ∪ A𝑐2 )𝑐 = A1 ∩ A2 ∈ ℱ0 .
Se define para E ∈ ℱ0 la función conjunto 𝑃 como
0, 𝑠𝑖 𝐸 𝑒𝑠 𝑓𝑖𝑛𝑖𝑡𝑜,
𝑃 (𝐸 ) = {
1, 𝑠𝑖 𝐸𝑐 𝑒𝑠 𝑓𝑖𝑛𝑖𝑡𝑜.
(b) Si Ω es contable infinito, mostrar que 𝑃 es finitamente aditivo, pero no 𝜎-aditivo.
Sean 𝐸1 , … , 𝐸𝑘 ∈ ℱ0 , E𝑖 ∩ E𝑗 = ∅, para 𝑖 ≠ 𝑗. Donde a lo sumo uno puede ser
infinito, ya que si 𝐸1 y 𝐸2 son infinitos y E1 ∩ E2 = ∅, entonces E1𝑐 y E2𝑐 son finitos
por lo tanto E1𝑐 ∪ E2𝑐 es finito, así que necesariamente su complemento debe
ser infinito, pero como (E1𝑐 ∪ E2𝑐 )𝑐 = E1 ∩ E2 = ∅ es una contradicción, por lo
cual a lo sumo uno puede ser infinito.
Si ningún 𝐸1 , … , 𝐸𝑘 ∈ ℱ0 es infinito, como su unión es finita se tiene que
𝑘 𝑘

𝑃 (⋃ E𝑗 ) = 0 = ∑ 𝑃(E𝑗 ) = 𝑘 (0).
𝑗=1 𝑗=1
Si exactamente uno es infinito, entonces su unión es infinita por lo cual
𝑘 𝑘

𝑃 (⋃ E𝑗 ) = 1 = ∑ 𝑃(E𝑗 ) = (𝑘 − 1)(0) + 1.
𝑗=1 𝑗=1
𝑃 no es 𝜎-aditivo, ya que para Ω𝑁 ↑ Ω, donde Ω𝑁 son finitos, si 𝑃 fuera 𝜎-aditivo,
se tendría la siguiente contradicción
0 = 𝑃(Ω𝑁 ) ↑ P(Ω) = 1.

(c) Si Ω es incontable, mostrar que 𝑃 es 𝜎-aditivo en ℱ0 .


Asumiendo que 𝐸1 , 𝐸2 , … ∈ ℱ0 , ⋃𝑖 𝐸𝑖 ∈ ℱ0 y {𝐸𝑛 } son mutuamente disjuntos,
análogamente al literal (b) a lo sumo un 𝐸𝑛 puede ser infinito. Luego se tienen
dos posibilidades:
(I) ⋃𝑖 𝐸𝑖 es finito, por tanto ∀𝑖, 𝐸𝑖 es finito, de donde 𝑃(⋃𝑖 𝐸𝑖 ) = 0 = ∑𝑖 𝑃(E𝑖 ).

(II) (⋃𝑖 𝐸𝑖 )𝑐 es finito, esto significa que ∃! 𝑖, tal que E𝑖𝑐 es finito, ya que a lo
sumo uno subconjunto puede ser infinito, luego ∀𝑗 ≠ 𝑖, 𝐸𝑗 es finito. Ya
que ⋃𝑖 𝐸𝑖 es infinito, entonces 𝑃 (⋃𝑖 𝐸𝑖 ) = 1 = 𝑃(E𝑖 ) + ∑𝑗≠𝑖 𝑃(E𝑗 ) = 1 + 0.

También podría gustarte