1.

1.1 Definici
on. Un espacio metrico X es totalmente acotado si para toda > 0, existe un
S
n
umero finito de puntos x1 , x2 , . . . , xn tales que X = {B (xi ) | 1 i n}.
1.2 Proposici
on. Un espacio metrico X compacto es totalmente acotado.
Demostracion. Sea > 0. La familia de bolas abiertas {B (x) | x X} es una cubierta para
X de la cual podemos extraer una subcubierta finita {B (x1 ), B (x2 ), . . . , B (xk )}, es decir,
S
X {B (xi ) | 1 i k}. Por lo tanto, X es totalmente acotado.
1.3 Definici
on. Para X un espacio topologico se definen los siguientes conjuntos de X:
a) 2X = {A X | A es cerrado en X y distinto del vacio}
b) C(X) = {A 2X | A es conexo}
Sea X un espacio compacto y metrico con metrica d. Para toda > 0 y para cada A 2X ,
c) Nd (, A) = {x X | d(x, a) < para alg
un a A}
Ahora, para cada A, B 2X ,
d) Hd (A, B) = nf { > 0 | A Nd (, B) y B Nd (, A)}
1.4 Observaci
on. Los espacios X en los que estamos trabajando son compactos, por lo que
los elementos de 2X son compactos.
Hd es llamada la metrica de Hausdorff inducida por d y se asocia a los espacios a) y b).
Intuitivamente, los conjuntos A y B estan muy cerca respecto a Hd siempre que A y B sean
aproximadamente del mismo tama
no y cada punto de A este muy cerca de B.
1.5 Teorema. La metrica de Hausdorff Hd es, en efecto, una metrica.
Demostracion. Para ver que Hd es una metrica, demostremos lo siguiente:
i) Hd (A, B) 0
ii) Hd (A, B) = 0 A = B
iii) Hd (A, B) = Hd (B, A)
1

iv) Hd (A, C) Hd (A, B) + Hd (B, C)

Sea Ed (A, B) = { > 0 | A Nd (, B) y B Nd (, A)}. Por lo que Hd (A, B) = nf Ed (A, B).
Luego, el conjunto Ed (A, B) esta acotado inferiormente por 0 y es distinto del vaco ya que
A Nd (di
am(X) + 1, B) y B Nd (di
am(X) + 1, A), de donde (di
am(X) + 1) Ed (A, B).
i) Claramente, Hd (A, B) 0 ya que Hd (A, B) = nf Ed (A, B) y Ed (A, B) esta acotado inferiormente por 0.
ii) ) Supongamos que Hd (A, B) = 0 con A, B 2X distintos. Sea a A y sea > 0.
Entonces existe Ed (A, B) tal que < (ya que nf : Ed (A, B) = 0 < ) de donde se
sigue que A Nd (, B) Nd (, B). Luego, existe b B tal que d(a, b) < < , de modo que
B (a) B 6= , de aqu que a B , pero como B es cerrado, entonces a B. Por lo tanto
A B. Analogamente se demuestra que B A. Por lo tanto A = B.
)Veamos que Hd (A, A) = 0. Es claro que para todo > 0, A Nd (, A), por lo que
nf : Ed (A, A) = 0. Por lo tanto, Hd (A, A) = 0.
iii) El hecho de que Hd (A, B) = Hd (B, A) se sigue de la definicion de Hd .
iv) Sean A, B, C 2X distintos. Queremos ver que nf Ed (A, C) nf Ed (A, B)+nf E(B, C),
que es equivalente a demostrar que nf Ed (A, C) nf { + | Ed (A, B), Ed (B, C)}.
Sean Ed (A, B), E(B, C). Por definicion, A Nd (, B) y B Nd (, C). Dada a A, existe b B tal que d(a, b) < y ademas existe c C tal que d(b, c) < ,
de donde d(a, c) < + y as A Nd ( + , C). De manera analoga se llega a que
C Nd ( + , A). As que ( + ) Ed (A, C). Tenemos entonces que nf Ed (A, C) +
luego que nf Ed (A, C) es cota inferior del conjunto { + | Ed (A, B), Ed (B, C)}.
Por lo tanto nf Ed (A, C) nf { + : Ed (A, B), Ed (B, C)}.

Daremos ahora una descripcion para la convergencia entre conjuntos dada la metrica de
Hausdorff.
1.6 Definici
on. Sea (An )
on de elementos de 2X . Se define el lmite inferior
n=1 una sucesi
de An y el lmite superior de An de la siguiente manera:
a) lm nf (An ) = {x X| > 0, N N tal que n > N, B (x) An 6= }
b) lm sup(An ) = {x X| > 0, B (x) An 6= para una inf inidad de n0 s}
1.7 Proposici
on. Sea X un continuo y (An )
on en 2X . Entonces:
n=1 una sucesi
2

a) lm nf (An ) lm supAn
b) lm nf (An ) y el lm sup(An ) son conjuntos cerrados.
c) lm sup(An ) 6= para toda sucesion (An )
n=1 .
1.8 Teorema. Sea (An )
on de elementos de 2X . Entonces (An )
n=1 una sucesi
n=1 converge
con la metrica de Hausdorff a un punto A 2X si y solo si lm inf (An ) = lm sup(An ).
1.9 Lema. Sean X una dendrita y Y un subcontinuo de X. Entonces existe r : X Y
retraccion.
Demostracion. Sea x X \ Y y sea y Y . Por ser X arcoconexo, existe un arco A en X
que une a x con y. Consideremos un homeomorfismo entre A y el intervalo [0, 1], de manera
que 0 corresponda a x y 1 corresponda a y. Definimos h(x) como el primer punto de A en Y
(de acuerdo al orden usual de [0, 1]).
Sea r : X Y la funcion:
(
r(x)=

h(x) si x X \ Y
x

si

xY

Veamos que r es una funcion continua y que esta bien definida:

Si x Y , la funcion r es la identidad en Y . Si x X \ Y , r es localmente constante, es decir,
existe una vecindad alrededor de x tal que su imagen es constante. Luego, sea W un abierto
conexo de X tal que W Y 6= ; entonces r(W ) W . Por lo tanto r es una retraccion.

A la funcion r definida anteriormente se le llama: funcion primer punto para Y.

1.10 Definici
on. Un espacio topologico X es uniformemente localmente arcoconexo si para
toda > 0 existe > 0 tal que si x y y son dos puntos de X y d(x, y) < entonces x y y
estan unidos por un arco de diametro menor a .
1.11 Proposici
on. Si X es un espacio metrico, compacto y localmente arcoconexo entonces
es uniformemente localmente arcoconexo.
Demostracion. Dado > 0, por 1.2 podemos cubrir a X con abiertos conexos de radio .
Tomamos una subcubierta finita {U1 , U2 , . . . , Un } y sea el n
umero de Lebesgue para esta
cubierta. Luego, si d(x, y) < entonces x y y estan en alg
un Ui para alguna i {1, 2, . . . , n}.
Asi, el diametro del arco que une a x con y es menor a .
3

1.12 Teorema. Sea X una dendrita no degenerada que no es un arbol. Entonces existe una
sucesion {Yi }
i=1 que satisface lo siguiente:
i) Cada Yi es un arbol.
ii) Yi Yi+1 .
iii) lmYi = X para toda i N.
iv) Existe una sucesion (pi )
i=1 de puntos en X tal que Y1 = {p1 } y para cada i, (Yi+1 Yi )
es un arco con punto extremo pi tal que (Yi+1 Yi ) Yi = {pi }.
v) Para cada i N, sea ri : X Yi la funcion primer punto para Yi . La sucesion (ri )
i=1
converge uniformemente a la identidad en X.
Demostracion. Sea {xj }jN un conjunto denso numerable en X. Construyamos la sucesion
{pi }
i=1 de la siguiente manera:
Sea Y1 = {x1 } y sea p1 = x1 . Como X no es un arbol entonces existe un punto x2 en X \ Y1 ,
llamemos A1 el arco con puntos extremos x1 y y1 . Sea Y2 = Y1 A1 y p2 = x2 . Supongamos
que existe un arbol Yk en X para alguna k {1, 2, . . .}. Como Yk 6= X entonces existe
m = min{j| xj
/ Yk }.
Tomamos la retraccion r : X Yk definida en 1.9 y sea pk = r(xm ). Luego, existe un arco
Ak con puntos extremos xm y pk y definamos Yk+1 = Yk Ak . Notemos que Ak Yk = {pk }.

Por induccion hemos definido las sucesiones (pi )

i=1 y (Yi )i=1 y probado los incisos i), ii) y

iv). Para ver que lmYi = X para toda i N recurriremos a las definiciones de lmite inferior
y lmite superior.
Sea Bi = {x1 , . . . , xi }. Afirmacion: lmBi = X para toda i.
Acudiendo a 1.6 tenemos que lm nf (Bn ) = X = lm sup(Bn ) por ser (xj )jN un conjunto
denso en X. Luego, por 1.8, el lmite de Bn s existe y es precisamente X. Notemos que para
cada i {1, 2, . . . , } se cumple que Yi Bi y por lo tanto lm Bi = X = lm(Yi ).
Ahora probaremos que la sucesion (ri )
i=1 converge uniformemente a la identidad en X. Sea
> 0. Tomemos como se definio en 1.10. Por iii) existe N N tal que si d es la metrica
de X y Hd es la metrica de Hausdorff, entonces:
Hd (X, Yi ) < para toda i > N ,
4

y por la definicion de ri se sigue que:

d(ri (x), x) < para cada x X y toda i > N .
Por lo tanto (ri )
i=1 converge uniformemente a idX .