16 Elementos Previos

Problemas
1. Sea (
n
)
1
n=1
una sucesin de subconjuntos de . Demuestre que el lmsup
n!1

n
es
aquel subconjunto de formado por aquellos elementos que pertenecen a innitos

n
y el lminf
n!1

n
lo forman aquellos elementos que pertenecen a todos los conjuntos

n
con la posible excepcin de un nmero nitos de ellos.
2. Sea (
n
)
1
n=1
una sucesin de subconjuntos de . Demuestre que
lminf
n
lmsup
n
.
3. Demuestre que si (
n
)
1
n=1
una sucesin montona, entonces lm
n!1

n
existe. Si la
sucesin es creciente, el lmite es la unin de la coleccin
n
; si es decreciente el
lmite es la interseccin.
4. Demuestre las siguientes identidades:
a)
_
lminf
n!1

n
_
c
= lmsup
n!1

c
n
b)
_
lmsup
n!1

n
_
c
= lminf
n!1

c
n
5. Sean y 1 dos subconjuntos de . Dena
n
= si : es impar y
n
= 1 si : es
par. Demuestre que:
lminf
n!1

n
= 1
lmsup
n!1

n
= ' 1.
6. Suponga que (
n
) es una sucesin disjunta de subconjuntos de . Demuestre que
lm
n
= c.
7. Sea (a
n
)
1
n=1
una sucesin de nmeros reales. Las expresiones siguientes se conocen
como el lmite superior y el lmite inferior de a
n
:
a) lmsup
n!1
a
n
= nf
n1
_
sup
kn
a
k
_
b) lminf
n!1
a
n
= sup
n1
_
nf
kn
a
k
_
Demuestre las siguientes propiedades:
a) lminf
n!1
a
n
_ lmsup
n!1
a
n
b) Si la sucesin (a
n
) no es acotada superiormente, entonces lmsup
n!1
a
n
= .
c) Si la sucesin (a
n
) no es acotada inferiormente, entonces lminf
n!1
a
n
= .
d) Sea 1 un nmero real. Entonces 1 = lmsup
n!1
a
n
si y slo si se cumplen las
siguientes dos condiciones:
1) (\c 0) (:
0
N) (\: N) (: _ :
0
== a
n
< 1 + c)
2) (\c 0) (\: N) (: N) (: _ : . 1 c < a
m
) .
Compacidad 17
e) Sea 1 un nmero real. Entonces 1 = lminf
n!1
a
n
si y slo si se cumplen las
siguientes dos condiciones:
1) (\c 0) (:
0
N) (\: N) (: _ :
0
== 1 c < a
n
)
2) (\c 0) (\: N) (: N) (: _ : . a
m
< 1 + c) .
f ) lminf
n!1
a
n
= lmsup
n!1
a
n
si y slo si lm
n!1
a
k
existe. En este caso adems se tiene
que:
lminf
n!1
a
n
= lmsup
n!1
a
n
= lm
n!1
a
k
g) Si a
n
_ /
n
para todo :, entonces
a) lminf a
n
_ lminf /
n
b) lmsupa
n
_ lmsup/
n
h) Si (a
n
) y (/
n
) son sucesiones arbitrarias, entonces
lmsup(a
n
+ /
n
) _ lmsupa
n
+ lmsup/
n
.
i ) Si (a
n
) es una sucesin arbitraria, entonces
lmsup(a
n
) = lminf(a
n
).
8. Sea

= lminf
n!1

n
y

= lmsup
n!1

n
. Demuestre que:

A
(r) = lminf
n!1

An
(r)

A
(r) = lmsup
n!1

An
(r)
en donde
A
y
A
son las funciones caractersticas de

respectivamente.
9. Demuestre que toda bola abierta es un conjunto abierto.
10. Demuestre que todo subconjunto abierto no vaco de R es una unin contable de
intervalos abiertos disjuntos.
11. Demuestre que la cardinalidad de la coleccin de todos los subconjuntos abiertos de
R es c. Cual es la cardinalidad de la coleccin de todos los subconjuntos cerrados
de R?
12. Halle la cardinalidad de la coleccin de todos los subconjuntos de N formados ex-
clusivamente por nmeros primos. Cul es la cardinalidad si nos restringimos a
subconjuntos nitos?
13. Demuestre que un subespacio de un espacio mtrico separable es separable. De-
muestre que R es separable.
14. Los reales extendidos R. Sea R = R', . Sea ) : R [1, 1] denida por:
)(r) =
_

_
r
1 +[r[
r R
1 r =
1 r =
Dena en R R la funcin d(r, j) = [)(r) )(j)[. Demuestre que
_
R, d
_
es un
espacio mtrico y una base para su topologa es la coleccin de todos los intervalos
de la forma (a, /) , [, /) y (a, ] con a, / R.
18 Elementos Previos
15. Demuestre que un subconjunto G de un espacio topolgico es abierto si y slo si
G =

G.
16. Demuestre que un subconjunto 1 de un espacio topolgico es cerrado si y slo si
1 = 1.
17. Sea G un subconjunto abierto y un subconjunto arbitrario de un espacio topolgi-
co. Demuestre que
G = c == G = c.
18. Sean y 1 dos subconjuntos de un espacio topolgico A. Demuestre que:
' 1 = ' 1 1 1
19. Sea A un espacio topolgico y A. Entonces:
= r A : Toda vecindad de r intersecta a .
20. Demuestre que todo espacio topolgico segundo contable es separable.
21. Demuestre que todo espacio mtrico separable es segundo contable.
22. Demuestre que R es segundo contable.
23. Demuestre que R y R
2
son espacio mtricos completos.
24. Sea (A, d) un espacio mtrico completo y (1
n
) una sucesin decreciente de subcon-
juntos cerrados no vacos tales que 1
n
| 1. Suponga que diam(1
n
) 0. Entonces
1

n=1
1
n
contiene exactamente un punto (este teorema se conoce como el Teorema de
la Interseccin de Cantor).
25. Sean A, 1 dos espacios topolgicos y ) : A 1 . Demuestre:
a) ) continua si y slo si )
1
(1) es cerrado para todo cerrado 1.
b) ) continua si y slo si )() )() para todo A.
26. Sea:
)(r) =
_
_
_
r Si r es irracional
j sin
1

Si r =
j

(fraccin irreducible)
Demuestre que ) es continua slo en 0 y en los irracionales.
27. Demuestre que |
1
y |
1
son espacios de Banach.
28. Demuestre que todo subconjunto compacto de un espacio mtrico A es cerrado en
A.
29. Demuestre que todo subconjunto compacto de un espacio mtrico es acotado.
30. Demuestre que la unin de dos subconjuntos compactos de A es un conjunto com-
pacto.
Compacidad 19
31. (lmite superior y lmite inferior de una funcin real ) Sea ) : R R. Entonces la
expresin:
lmsup
x!y
)(r) = nf
>0
sup
0<jxyj<
)(r),
se conoce como lmite superior de ) en j. Anlogamente, la expresin:
lminf
x!y
)(r) = sup
>0
nf
0<jxyj<
)(r),
se conoce como lmite inferior de ) en j. Demuestre:
a) lmsup
x!y
)(r) _ si y slo si:
(\c 0) (c 0) (\r R) (0 < [r j[ < c == )(r) < + c) .
b) lmsup
x!y
)(r) _ si y slo si:
(\c 0) (\c 0) (r R) (0 < [r j[ < c . )(r) c) .
c) lminf
x!y
)(r) _ lmsup
x!y
)(r).
d) lminf
x!y
)(r) = lmsup
x!y
)(r) si y slo si lm
x!y
)(r) existe.
32. (funciones semicontinuas) Una funcin ) : R R se dice que es semicontinua su-
periormente en el punto r
0
si:
)(r
0
) _ lmsup
x!x0
)(r).
y diremos que ) es semicontinua superiormente si es semicontinua superiormente en
cada punto r
0
R.
Anlogamente, ) se dice semicontinua inferiormente en el punto r
0
si:
)(r
0
) _ lminf
x!x0
)(r).
y diremos que ) es semicontinua inferiormente si es semicontinua inferiormente en
cada punto r
0
R.
a) Demuestre que ) es semicontinua superiormente si y slo si el conjunto
r : )(r) < `
es abierto para todo ` R.
b) Demuestre que ) es semicontinua inferiormente si y slo si el conjunto
r : )(r) `
es abierto para todo ` R.
c) Demuestre que ) es continua en R si y slo si es semicontinua superior e infe-
riormente en R.
d) Demuestre que si ) y q son semicontinuas inferiormente, entonces tambin lo
es ) + q.
20 Elementos Previos
e) Demuestre que si ) y q son semicontinuas inferiormente, entonces tambin lo
es ) . q = max ), q.
f ) Demuestre que si ()
n
) es una sucesin de funciones semicontinuas inferiormente,
entonces tambin lo es la funcin )(r) = sup
n1
)
n
(r).
g) Demuestre que si ) y q son semicontinuas superiormente, entonces tambin lo
es ) + q.
h) Demuestre que si ) y q son semicontinuas superiormente, entonces tambin lo
es ) . q = mn), q.
i ) Demuestre que si ()
n
) es una sucesin de funciones semicontinuas superior-
mente, entonces tambin lo es la funcin )(r) = nf
n1
)
n
(r).
33. Demuestre la Proposicin 38.
34. De un ejemplo para demostrar que la convergencia puntual de una sucesin de
funciones reales y continuas no implica que la sucesin converge uniformemente.
35. Sea (A, d) un espacio mtrico y un subconjunto no vacio de A. Demuestre que la
funcin
)(r) = d(r, ) =nf d(r, .) : .
es una funcin uniformemente continua en A. Ms aun, demuestre que es una apli-
cacin no expansiva, esto es, para todo r, j A se cumple que [)(r) )(j)[ _
d(r, j).
36. (Banach 1922). Sea (A, d) un espacio mtrico completo y T : A A. Suponga que
existe / (0, 1) tal que para todo r, j A se cumple:
d(T(r), T(j)) _ /d(r, j)
Entonces:
a) T tiene un nico punto jo . en A, esto es, T(.) = ..
b) Para todo r
0
A, la sucesin (r
n
) denida inductivamente por r
n+1
= Tr
n
,
converge a ..
c) Estimacin de Errores. Para todo : = 1, 2, . . . se cumple
1) error a priori: d(r
n
, .) _ /
n
(1 /)
1
d(r
0
, r
1
)
2) error a posteriori: d(r
n+1
, .) _ /(1 /)
1
d(r
n
, r
n+1
).
d) Rapidez de convergencia. Para todo : = 1, 2, . . .se cumple:
d(r
n+1
, .) _ /d(r
n
, .).
37. Sea 1 = [0, a] _ R y ) : 1 R
n
R
n
una aplicacin continua, lipschitziana en la
segunda variable. Entonces el problema de valor inicial
r
0
(t) = )(t, r); r(0) = r
o
,
tiene una nica solucin en 1.