Ejercicio 1.9.

3 Sea An , A, Bn , B subconjuntos de Ω mostrar:

lı́m sup An ∪ Bn = lı́m sup An ∪ lı́m sup Bn

n→∞ n→∞ n→∞

si An → A y Bn → B es cierto que An ∪ Bn → A ∪ A, An ∩ Bn → A ∩ B?
Solución:
i) lı́m supn→∞ An ∪ Bn =? lı́m supn→∞ An ∪ lı́m supn→∞ Bn
por doble inclución

” ⊂ ” sea
∞ [
\
c∈ (Ak ∪ Bk )
n=1 k≥n
[
⇔ ∀n, c ∈ (Ak ∪ Bk )
k≥n
[ [
⇔ ∀n, c ∈ Ak ∨ c ∈ Bk
k≥n k≥n
∞ [
\ ∞ [
\
⇒c∈ Ak ∨ c ∈ Bk
n=1 k≥n n=1 k≥n
∞
\ [ ∞
\ [
⇒c∈ Ak ∪ Bk
n=1 k≥n n=1 k≥n

∴ lı́m supn→n An ∪ Bn ⊂ lı́m supn→∞ An ∪ lı́m supn→∞ Bn

ahora ”⊃”
sea ∞ [ ∞ [
\ \
d∈ Ak ∪ Bk
n=1 k≥n n=1 k≥n
∞ [
\ ∞ [
\
⇔d∈ Ak ∨ c ∈ Bk
n=1 k≥n n=1 k≥n
∞
\ [ ∞ [
\
⇔d∈ Ak ∨ d ∈ Bk
n=1 k≥n n=1 k≥n
[ [
⇔ ∀n, d ∈ Ak ∨ ∀n, d ∈ Bk
k≥n k≥n
[
⇒ ∀n, d ∈ (Ak ∪ Bk )
k≥n
∞
\ [
⇒d∈ (Ak ∪ Bk )
n=1 k≥n

⇒ lı́m supn→∞ An ∪ Bn ⊃ lı́m supn→∞ An ∪ lı́m supn→∞ Bn

∴ lı́m supn→∞ An ∪Bn = lı́m supn→∞ An ∪lı́m supn→∞ Bn porque se cumple la doble inclusión.

1
ii) Ahora si An → A, Bn → B probaremos los siguientes limites:

lı́m An ∪ Bn =?A ∪ B
n→∞

para ello probaremos que los dos limites coinciden, dos casos.

a) lı́m supn→∞ An ∪ Bn =?A ∪ B

por la prueba anterior sabemos que lı́m supn→∞ An ∪ Bn = lı́m supn→∞ An ∪ lı́m supn→∞ Bn
y por el enunciado sabemos que An → A y Bn → B entonces se cumple la igualdad que
queriamos probar.

b) lı́m inf n→∞ An ∪ Bn =?A ∪ B

para ello veremos si lı́m inf n→∞ An ∪ Bn = lı́m inf n→∞ An ∪ lı́m inf n→∞ Bn

”⊂”

si ∞ \
[
c∈ (Ak ∪ Bk )
n=1 k≥n
\
⇔ ∃n0 , tq c ∈ (Ak ∪ Bk )
k≥n0

⇔ ∀k ≥ n0 , c ∈ Ak ∨ Bk
\ \
⇒ ∀k, c ∈ Ak ∨ Bk
k≥n0 k≥n0
∞ \
[ ∞ \
[
⇒c∈ Ak ∨ Bk
n=1 k≥n n=1 k≥n
∞ \
[ ∞ \
[
⇒c∈ Ak ∪ Bk
n=1 k≥n n=1 k≥n

∴ lı́m inf n→∞ An ∪ Bn ⊂ lı́m inf n→∞ An ∪ lı́m inf n→∞ Bn

”⊃”
∞ \
[ ∞ \
[
d∈ Ak ∪ Bk
n=1 k≥n n=1 k≥n
∞
[ \ ∞ \
[
d∈ Ak ∨ Bk
n=1 k≥n n=1 k≥n
\ \
⇔ ∃n0 , tq ∀k, d ∈ Ak ∨ d ∈ Bk
k≥no k≥n0

⇔ ∀k ≥ n0 , d ∈ Ak ∨ Bk

⇒ ∀k ≥ n0 , d ∈ Ak ∪ Bk

2
 \
⇒ ∀k, d ∈ Ak ∪ Bk
k≥n0

∞ \
[
⇒d∈ Ak ∪ Bk
n=1 k≥n

⇒ lı́m inf An ∪ Bn ⊃ lı́m inf An ∪ lı́m inf Bn

n→∞ n→∞ n→∞

Entonces se cumple claramente la igualdad basta hora ver por el enunciado que

lı́m inf An ∪ Bn = A ∪ B
n→∞

Entonces los limites superior e inferior coinciden por lo tanto es cierto que:

lı́m An ∪ Bn = A ∪ B
n→∞

ahora verificaremos si An ∩ Bn → A ∩ B
igualmente el probaremos que los limites coinciden primero

a)
lı́m sup An ∩ Bn = lı́m sup An ∩ lı́m sup Bn
n→∞ n→∞ n→∞

b)
lı́m sup An ∩ Bn = lı́m inf An ∩ lı́m inf Bn
n→∞ n→∞ n→∞

Siguiendo una demostracion similar a las anteriores

a) ⊂
∞ [
\
c∈ (Ak ∩ Bk )
n=1 k≥n
[
⇔ ∀n, c ∈ (Ak ∩ Bk )
k≥n

⇔ ∀k ≥ n, c ∈ Ak ∧ Bk
[ [
⇔ ∀n, c ∈ Ak ∧ Bk
k≥n k≥n
∞ [
\ ∞ [
\
⇒c∈ Ak ∧ Bk
n=1 k≥n n=1 k≥n
∞ [
\ ∞ [
\
⇒c∈ Ak ∩ Bk
n=1 k≥n n=1 k≥n

⇒ lı́m supn→∞ An ∩ Bk ⊂ lı́m supn→∞ An ∩ lı́m supn→∞ Bn

ahora el otro lado ⊃

3
 ∞ [
\ ∞ [
\
d∈ Ak ∩ Bk
n=1 k≥n n=1 k≥n

⇔ ∀k ≥ n, d ∈ Ak ∧ Bk
⇒ ∀k ≥ n, d ∈ (Ak ∩ Bn )
[
⇒ ∀n, d ∈ (Ak ∩ Bk )
k≥n
∞ [
\
⇒d∈ (Ak ∩ Bk )
n=1 k≥n

∴de aca vemos que lı́m supn→∞ (An ∩ Bn ) = lı́m supn→∞ An ∩ lı́m supn→∞ Bn

b) lı́m inf n→∈ An ∩ Bn =? lı́m inf n→∈ An ∩ lı́m inf n→∈ Bn

”⊂”
∞ \
[
c∈ Ak ∩ Bk
n=1 k≥n

\
⇔ ∃n0 , tq ∀k, c ∈ Ak ∩ Bk
⇔ ∀k ≥ n0 , c ∈ Ak ∧ Bk
de aca es evidente que si el elemento pertenece a todo k entoces facilmente vemos lo siguiente
∞ \
[ ∞ \
[
⇒c∈ Ak ∩ Bk
n=1 k≥n n=1 k≥n

”⊃”
Pues es mucho mas evidente esta inclusión y se verifica mucho mas facil que d ∈ lı́m inf Ak y lı́m inf Bk
entonces ∃n0 ∈ N talque d ∈ Ak yBk , ∀k ≥ n0 es igual a que c ∈ Ak ∩ Bk en consecuencia
resulta la inclusión pedida.

⇒ lı́m inf An ∩ Bn = lı́m inf An ∩ lı́m inf Bn = A ∩ B

n→∞ n→∞ n→∞

⇒ lı́m sup An ∩ Bn = lı́m inf An ∩ Bn = A ∩ B

n→∞ n→∞

∴ lı́mn→∞ An ∩ Bn = A ∩ B