TAREA 1 DE TEORÍA DE LA MEDIDA

JUAN DAVID BARAJAS CALONGE

JOSE MIGUEL GALEANO PÁJARO

DOCENTE:

DR. LUIS ENRIQUE BENÍTEZ BABILONIA

DEPARTAMENTO DE MATEMÁTICAS Y ESTADÍSTICA

FACULTAD DE CIENCIAS BÁSICAS

UNIVERSIDAD DE CÓRDOBA

Montería - Córdoba, 09-02-2018

Ejercicio 1. Para una sucesión d conjuntos A1 , A2 , . . . , pruebe que
 
∞
∩ ∞
∪
 Ak  = {x|x ∈ Ak para una cantidad innita de k}
j=1 k=j

1 Este conjunto es denotado lı́m sup Ak o simplemente lı́m sup Ak .

k→∞

Demostración. Sea,
S = {x|x ∈ Ak para una cantidad innita de k}
∪∞
y para j ∈ N, denamos Mj = k=j Ak
∩∞
⊆ Sea x ∈ j=1 Mj , entonces x ∈ Mj para todo j ∈ N, en particular, x ∈ M1 . Luego, x ∈ Aα1 para
algún α1 ≥ 1. Del mismo modo, x ∈ Mα1 +1 , así x ∈ Aα2 para algún α2 ≥ α1 + 1 > α1 . Continuando
este procedimiento construimos una sucesión estrictamente creciente α1 < α2 < · · · de naturales
tales que x ∈ Aαk para todo k ∈ N. Por lo tanto, x ∈ S .
⊇ Sea x ∈ S , luego existe A ⊂ N innito tal que x ∈ Ak para todo k ∈ A, esto es, existe una
sucesión estrictamente creciente {β1 < β2 < β3 · · · } tal que, x ∈ Aβk para todo k ∈ N. Mostremos
que x ∈ Mj para todo j ∈ N.
Sea j ∈ N jo. Dado que la sucesión {βk } es no acotada, entonces existe k0 ∈ N tal que j < k0 . Así,
∩∞
dado que x ∈ Aβk0 , entonces se sigue que x ∈ Mj . De esta manera concluimos que x ∈ j=1 Mj .

Por ⊆ y ⊇ se sigue que,

 
∞
∩ ∞
∪
 Ak  = {x|x ∈ Ak para una cantidad innita de k}
j=1 k=j

Ejercicio 2. Derive una ecuación similar para el conjunto,

 
∞
∪ ∞
∩
 Ak  = {x| ?? }
j=1 k=j

Este conjunto es denotado por lı́m inf Ak o simplemente lı́m inf Ak .

k→∞

Demostración. Armamos que,

 
∞
∪ ∞
∩
 Ak  = {x|∃N ∈ N : x ∈ Ak para todo k ≥ N } = I
j=1 k=j
∩
Para j ∈ N, denamos Pj = k=j Ak .
1
Innito en este caso se reere a innito contable
 ∪∞
Sea x ∈ j=1 Pj , equivalentemente x ∈ Pj0 para algún j0 ∈ N, esto es, x ∈ Ak para todo k ≥ j0 , es
decir, x ∈ I

Ejercicio 3. Pruebe que lı́m inf Ak ⊂ lı́m sup Ak

Demostración. Sea x ∈ lı́m inf Ak , entonces existe N ∈ N tal que x ∈ Ak para todo k ≥ N . Con-
sideremos la sucesión αk = k − 1 + N , para todo k ∈ N. Entonces tenemos que la sucesión {αk }
es estrictamente creciente y x ∈ Aαk para todo k ∈ A, por consiguiente x ∈ Ak para una cantidad
innita de k, esto es, x ∈ lı́m sup Ak . De esta manera,
k→∞

lı́m inf Ak ⊂ lı́m sup Ak

Ejercicio 4. Pruebe que (lı́m sup Ak )c = lı́m inf Ack . Haga esto de dos maneras: Primero, aplique las
k→∞ k→∞
leyes de De Morgan a las expresiones formales usadas para denir lı́m sup y lı́m inf ; segundo, use las
descripciones de lı́m sup y lı́m inf del lado derecho de a) y b).

Demostración. Primera forma: Por Ejercicio 1 , Ejercicio 2 y las leyes de De Morgan

tenemos que,
  c
∞
∩ ∞
∪
(lı́m sup Ak )c =   Ak 
k→∞ j=1 k=j
 c
∞
∪ ∞
∪
=  Ak 
j=1 k=j
 
∞
∪ ∞
∩
=  Ack  = lı́m inf Ack
k→∞
j=1 k=j

Es decir, (lı́m sup Ak )c = lı́m inf Ack .

k→∞ k→∞

Segunda forma: Sean S e I como en a) y b) respectivamente. Entonces,

S c = ({x|x ∈ Ak para una cantidad innita de k})c

= ({x|∃A ⊆ N innito tal que x ∈ Ak para todo k ∈ A})c

= {x|∀A ⊆ N innito se tiene que x ∈

/ Ak para algún k ∈ A} = A

Armamos que,

A = {x|∀A ⊆ N innito se tiene que x ∈

/ Ak para algún k ∈ A}

= {x|∃N ∈ N : x ∈ Ack para todo k ≥ N } = B

 En efecto, sea x ∈ A, entonces para todo A ⊆ N innito existe k ∈ A tal que x ∈
/ Ak . En
∪∞
particular para A = N tenemos que existe N ∈ N tal que, x ∈
/ AN . Pero, AN = k=N Ak , es
decir, x ∈
/ Ak para todo k ≥ N , esto es, x ∈ Ack para todo k ≥ N . Por consiguiente x ∈ B .

Del mismo modo, sea x ∈ B , entonces existe N ∈ N tal que x ∈ Ack para todo k ≥ N . Veamos
que x ∈ A. Sea A ⊆ N innito dado. Siendo A innito, existe k0 ∈ A tal que k0 > N , por lo
tanto, x ∈ Ack0 . De ese modo, x ∈ A.
Por todo lo anterior vemos que (lı́m sup Ak )c = S c = B = lı́m inf Ack .
k→∞ k→∞

Ejercicio 5. Pruebe que,

lı́m sup(Ak ∪ Bk ) = lı́m sup Ak ∪ lı́m sup Bk

k→∞ k→∞ k→∞

Demostración. Por la denición de lı́m sup tenemos que,

 
∞
∩ ∞
∪
lı́m sup(Ak ∪ Bk ) =  (Ak ∪ Bk )
k→∞ j=1 k=j
   
∞
∩ ∞
∪ ∞
∪
=  Ak  ∪  Bk 
j=1 k=j k=j
   
∞
∩ ∞
∪ ∞
∩ ∞
∪
=  Ak  ∪  Bk 
j=1 k=j j=1 k=j

= lı́m sup Ak ∪ lı́m sup Bk

k→∞ k→∞

es decir, lı́m sup(Ak ∪ Bk ) = lı́m sup Ak ∪ lı́m sup Bk

k→∞ k→∞ k→∞

Ejercicio 6. Pruebe que lı́m inf (Ak ∩ Bk ) = lı́m inf Ak ∩ lı́m inf Bk . Haga esto combinando los
k→∞ k→∞ k→∞
ejercicios 4 y 5

Demostración. Por los ejercicios 4 y 5 tenemos que,

lı́m inf (Ak ∩ Bk ) = lı́m inf ((Ak ∩ Bk )c )c

k→∞ k→∞
( )c
= lı́m sup(Ak ∩ Bk ) c
k→∞
( )c
= lı́m sup(Ack ∪ Bkc )
k→∞
( )c
= lı́m sup Ak ∪ lı́m sup Bk
c c
k→∞ k→∞
( )c ( )c
= lı́m sup Ak ∩ lı́m sup Bk
c c
k→∞ k→∞

= lı́m inf Ak ∩ lı́m inf Bk

k→∞ k→∞
De ese modo vemos que,
lı́m inf (Ak ∩ Bk ) = lı́m inf Ak ∩ lı́m inf Bk
k→∞ k→∞ k→∞

Ejercicio 7. Decimos que una sucesión de conjuntos es decreciente si A1 ⊃ A2 ⊃ A3 ⊃ · · · . Pruebe

que si la sucesión es decreciente entonces,
∞
∩
lı́m sup Ak = lı́m inf Ak = Ak
k→∞ k→∞
k=1

Demostración. Por denición de lı́m sup tenemos que

 
∞
∩ ∞
∪
lı́m sup Ak =  Ak 
k→∞ j=1 k=j

Sea j ∈ N jo, dado que la sucesión de conjuntos es decreciente, entonces tenemos que Ak ⊂ Aj para
todo k ≥ j , es decir,
∞
∪
Ak = Aj
k=j

De esta manera,  
∞
∩ ∞
∪ ∞
∩
lı́m sup Ak =  Ak  = Aj
k→∞ j=1 k=j j=1

De otra parte, por la denición de lı́m inf tenemos que,

 
∞
∪ ∞
∩
lı́m inf Ak =  Ak 
k→∞
j=1 k=j
( ∞
) ( ∞
) ( ∞
)
∩ ∩ ∩
= Ak ∪ Ak ∪ Ak ∪ ...
k=1 k=2 k=3

Armamos que
∞
∩ ∞
∩
Ak ⊂ Ak
k=j k=1
∩∞
para todo j ∈ N. En efecto, sea x ∈ k=j Ak , entonces x ∈ Ak para todo k ≥ j . Veamos que x ∈ Ak
para todo k ∈ N.
Fijemos k ∈ N. Si k ≥ j , entonces claramente x ∈ Ak y si k < j , entonces dado que la sucesión de
conjuntos es decreciente, se sigue que Aj ⊂ Ak , es decir, x ∈ Aj ⊂ Ak . En cualquier caso vemos que
∩
x ∈ Ak , de ese modo, x ∈ Ak para todo k ∈ N, es decir, x ∈ ∞k=1 Ak . De esta manera,
(∞ ) (∞ ) (∞ ) ∞
∩ ∩ ∩ ∩
Ak ∪ Ak ∪ Ak ∪ · · · = Ak
k=1 k=2 k=3 k=1
En consecuencia,
∞
∩
lı́m inf Ak = Ak
k→∞
k=1
Vemos así que,
∞
∩
lı́m sup Ak = Ak = lı́m inf Ak
k→∞ k→∞
k=1

Ejercicio 8. Pruebe un resultado análogo para sucesiones crecientes de conjuntos.

Demostración. Armamos que si {Ak } es una sucesión creciente de conjuntos entonces,

∞
∪
lı́m sup Ak = lı́m inf Ak = Ak
k→∞ k→∞
k=1

En efecto, por la denición de lı́m sup tenemos que

 
∞
∩ ∞
∪
lı́m sup Ak =  Ak 
k→∞ j=1 k=j
( ∞
) ( ∞
) ( ∞
)
∪ ∪ ∪
= Ak ∩ Ak ∩ Ak ∩ ···
k=1 k=2 k=3

Armamos que
∞
∪ ∞
∪
Ak ⊂ Ak
k=1 k=j
∪
∞
para todo j ∈ N. En efecto, jemos j ∈ N y sea x ∈ Ak , entonces x ∈ Ak0 para algún k0 ∈ N.
k=1
∪
∞
Si k0 ≥ j , entonces claramente x0 ∈ Ak y si k0 < j , entonces como la sucesión de conjuntos es
k=j
∪
∞
creciente, se sigue Ak0 ⊂ Aj , es decir, x ∈ Aj , por lo tanto, x ∈ Ak .
k=j
Por lo anterior se sigue que,
( ∞
) ( ∞
) ( ∞
) ∞
∪ ∪ ∪ ∪
Ak ∩ Ak ∩ Ak ∩ ··· = Ak
k=1 k=2 k=3 k=1

Por consiguiente,
∞
∪
lı́m sup Ak = Ak
k→∞ k=1
Por otro lado, de la denición de lı́m inf tenemos que
 
∞
∪ ∞
∩
lı́m inf Ak =  Ak 
k→∞
j=1 k=j

Pero como la sucesión de conjuntos es creciente, entonces

∞
∩
Ak = Aj
k=j
para todo j ∈ N, de esta manera,
∞
∪
lı́m inf Ak = Aj
k→∞
j=1

Así, mostramos que,

∞
∪
lı́m sup Ak = Aj = lı́m inf Ak
k→∞ k→∞
j=1

Ejercicio 9. Si G es abierto y acotado, λ(G) < ∞.

Demostración. Siendo G acotado, existen x ∈ Rn y ϵ > 0 tales que G ⊂ Bϵ (x). Denamos el siguiente
rectángulo especial,
∏
n
I= [xj − ϵ, xj + ϵ] ⊂ Rn
j=1

donde x = (x1 , . . . , xn ). Note que, G ⊂ I . En efecto, sea y ∈ G entonces d(y, x) < ϵ. Supongamos
que, y = (y1 , . . . , yn ). Así,
√
|yj − xj | ≤ (y1 − x1 )2 + · · · + (yn − xn )2 < ϵ.

para todo j ∈ {1, . . . , n}, es decir, y ∈ I . De ese modo, por las propiedades de la medida de Lebesgue
se sigue que,
λ(G) ≤ λ(I) = (2ϵ)n < ∞

Por lo tanto, λ(G) < ∞.

Ejercicio 10. λ(Rn ) = +∞.

Demostración. Para m ∈ N, consideremos el siguiente polígono especial,

Pm = [−m, m]n .

Nótese que, Pm ∈ Γ(Rn ) y además,

λ(Pm ) = (2m)n

para todo m ∈ N. Por lo tanto,

(2m)n ≤ λ(Rn )

para todo m ∈ N. De donde se sigue que, λ(Rn ) = +∞.

Ejercicio 11. Si, { }

1
G= (x, y) ∈ R2 |x > 1 y 0 < y <
x
entonces λ(G) = ∞.
Demostración. Para m ∈ N con m > 2, consideremos el siguiente polígono especial,
∪
m
Pm = [k, 2k] × [1/2k 2 , 1/k 2 ]
k=3

Nótese que Pm ∈ Γ(G), para todo m > 2. En efecto, sea (x, y) ∈ Pm , entonces (x, y) ∈ [k, 2k] ×
[1/2k 2 , 1/k 2 ] para algún k ∈ {3, . . . , m}. Ahora, note que x ≥ k > 1. Y dado que x ≤ 2k , entonces

1 1 1 1
0< 2
≤y≤ 2 < ≤
2k k 2k x

De ese modo, (x, y) ∈ G. Por lo tanto,

∑
m ( )
1
λ(G) ≥ λ(Pm ) = (k)
2k 2
k=3
1 ∑
m
1
=
2 k
k=3

para todo m > 2, esto es,

1∑1
m
λ(G) ≥
2 k
k=3

Tomando límite cuando m → ∞ en la anterior desigualdad obtenemos que,

∞
1∑1
λ(G) ≥
2 k
k=3

En consecuencia, λ(G) = +∞.

Ejercicio 12. Si,

{ }
G = (x, y) ∈ R2 |x > 0 y 0 < y < e−x

entonces, λ(G) = 1.