Professional Documents
Culture Documents
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
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
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 }.
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