Introduccin a las funciones de Whitney

Tesis presentada
como requisito para obtener el gra

Captulo 2
Dos Propiedades de Whitney
2.1 Funciones de Whitney
Denicin 2.1 Sea X un continuo. Una funcin de Whitney para el hiperespacio 2X es una funcion continua : 2X ! R tal que
(1) para cada x 2 X; (fxg) = 0 y
(2) para cada A; B 2 2X tales que A
B y A 6= B; tenemos que (A) <
(B):
Una funcin de Whitney para el hiperespacio C(X) es una funcin
continua de C(X) en R que satisface las condiciones (1) y
(3) para cada A; B 2 C(X) tales que A B y A 6= B; tenemos que (A) <
(B):
La restriccion a C(X) de una funcin de Whitney para 2X es una funcin
de Whitney para C(X); como se muestra en el siguiente resultado.
Teorema 2.2. Si X es un continuo y : 2X ! R es una funcin de Whitney
para 2X ; entonces jC(X) es una funcin de Whitney para C(X):
Demostracion. (i) Por demostrar que jC(X) : C(X) ! R es una funcion
continua.
1

Sea U un subconjunto abierto en R, es decir, por demostrar (( jcx )) (U )

1
es un abierto en C(X); es decir, (( jcx )) (U ) = V T C(X) para algn abierto
X
1
V en 2 . Como es una funcin continua, tenemos que
(U )es un abierto
1
X
1
en 2 , y luego
(U ) \ C(X) es un abierto en C(X): Como (( jcx )) (U ) =
1
(U ) \ C(X); tenemos que jC(X) : C(X) ! R es una funcin continua.
(ii) Para cada x X, tenemos que jC(X)(fxg) = (fxg) = 0:
(iii) Como jC(X) (B) = (B) para cada B 2 C(X); resulta que como A; B 2
C(X) en particular A; B 2 2X ; tales que A B y A 6= B, tenemos que (A) <
(B), es decir, jC(X) (A) < jC(X) (B): Por lo tanto, jC(X) es una funcin de
Whitney para C(X):
Ejemplo 2.3. La recproca del Teorema 2.2 no se cumple: La funcin
diametro diam : 2[0;1] ! [0; 1] no es una funcin de Whitney para 2[0,1], ya que
diam([0; 1]) = diam(f0; 1g):
Sin embargo, si restringimos esta funcin a C([0; 1]); la nueva funcin s es
una funcin de Whitney para C([0; 1]):
Teorema 2.4. Si X es un continuo arco conexo y la funcin diametro es
una funcin de Whitney para C(X); entonces X es un arco.
Demostracion. Supongamos que d es la mtrica del continuo X. Sean p;
q 2 X tales que el diam(X) = d(p; q): Por hiptesis existe un arco A en X que
une los puntos p y q; es decir, d(p; q) supfd(x; y) : x; y 2 Ag = diam(A)
diam(X) = d(p; q): Por tanto, diam(A) = diam(X): Como diam es una funcin
de Whitney para C(X); tenemos que A = X: Por lo tanto, X es un arco.
El resultado que sigue lo utilizamos para probar el Teorema 2.6.
2

Teorema 2.5. Sean X un continuo y

una funcin de Whitney para
2X :Para cada m N; sean Am; Bm 2X tales que Am Bm y (Bm) (Am) <
1 . Si la sucesin fAmg1 converge a m = 1 A en 2X y fBmg1 converge a B
en 2X , entonces A = B:
Demostracin. Como para cada m N tenemos que Am Bm ; por Teorema
1.14 (2), tenemos que A
B: Como es una funcion de Whitney para 2X ,
tenemos que (A)
(B):
Notemos que 0
(B)
(A) = (l{mBm )
(l{mAm ):
Como es continua, (l{mBm )
(l{mAm ) = l{m (Bm ) l{m (Am ) =
1
= 0.
l{m( (Bm )
(Am )) l{m m
As, (B)
(A) = 0. Por lo tanto, (B) = (A). Como es una funcin
de Whitney para 2X ; concluimos que A = B:
El siguiente resultado establece condiciones para estimar la distancia entre
dos elementos de 2X ; mediante funciones de Whitney.
Teorema 2.6. Si X es un continuo , es una funcion de Whitney para 2X y
H es la mtrica de Hausdor para 2X ; entonces para cada " > 0 existe > 0
tal que para cada A, B 2X con A
B y (B)
(A) < ; tenemos que
H(A; B) < ":
Demostracion. Supongamos, por el contrario, que existe " > 0 tal que
para cada > 0 existen A , B
2X con A
B , (B )
(A ) < y
H(A ; B )
": En particular, para cada m N; existen Am; Bm 2X con
1
Am Bm; (Bm)
(Am) < m
y H(Am ; Bm ) ":
X
Como 2 es metrico compacto, la sucesion fAm g, tiene una subsucesion {
X k=1 Amk } que converge a algun elemento A 2
Ahora, la respectiva subsucesion {Bmk } de {Bm} tiene una subsucesion
{Bmkj }j=1 que converge a algun elemento B
2X . As, tenemos dos
subsucesiones {Am j=1 y {Bmkj j=1 de las sucesiones {Am} y {Bm}
, respectivamente, que convergen a A y B, respectivamente, tales que Amk 1
Bmkj y (Bmk ) - (Amk ) < mkj .
Por el Teorema 2.5, tenemos que A = B, luego H (A, B) = 0. Por otro lado,
como H (Amk , Bmk ) " > 0 = H (A, B), consecuentemente lmH (Amk ,
Bmk ) " > 0, tenemos que 0 = H (A, B) = H (lmAmk cion. , lmBmk ) "
> 0, esto es una contradiccin
Teorema 2.7. Si X es un continuo, es una funcin de Whitney para C(X)
y " > 0, entonces existe > 0 tal que para cada K C (X ) con diam(K ) <
cumple que (K ) < .
Demostracion. Supongamos, por el contrario, que para > 0 existe K
C(X) tal que diam(K ) < y (K ) ". En particular, para cada n N;
existe Kn C(X) con diam(Kn) < 1
y (Kn)
.
Como C(X) es mtrico compacto, la sucesin fKng1 tiene una subsucesin
fKnjg1 que converge a algn K C(X):
Como la funcin diametro es continua consecuentemente, la sucesin fdiam(Knj)g1
converge a diam(K ). Dado que para 1 cada j N; diam(Knj) < nj, tenemos
que diam(K) = 0; es decir, K = fxg: Por lo tanto, (K ) = 0.
3

Por otro lado, para cada j N, (Knj) "; y dado quef (Knj)g1 converge
(K); tenemos que (K) > ". Esto es una contradiccion.
Teorema 2.8. Si X es un continuo, es una funcin de Whitney para 2X y
" > 0, entonces existe " > 0 tal que para cada K 2X con dim(K ) < cumple
que (K) < ".
Demostracion. La prueba es similar a la demostracion del Teo- rema 2.7.
a

0.1

EXISTENCIA DE LAS FUNCIONES DE WHITNEY

Las funciones de Whitney nos proporcionan una manera de medir el tamao

de los elementos de 2X y constituyen una herramienta muy importante para
estudiar la estructura de los hiperespacios.
Aqu vemos la existencia de las funciones de Whitney y presentamos de
manera explcita la funcin.
Teorema 2.9. Si X es un continuo, entonces existen funciones de Whitney
para el hiperespacio 2X .
Demostracion. Como X es un espacio mtrico compacto, podemos elegir un
subconjunto denso y numerable D = fa1; a2; :::gde X.
Para cada n 2 N; sea n : 2X R denida, para cada A 2X ; por n (A) =
maxfd(a; an ) : a 2 Ag- mnfd(a; an ) : a 2 Ag:
(1) Para cada n 2 N, veamos que n es continua.
Demostracion de (1). Sean > 0 y A; B 2 2X tales que H(A; B) < ,
mostremos quej n (A)
n(B)j < ; es decir, mostraremos que n es uniformemente continua, con lo que podemos asegurar que n sea continua.
Como A y B son compactos, existen a0 , a 2 A y b0 , b 2 B tales que
(i) d(an ; a0 ) = maxfd(an ; a) : a 2 Ag;
(ii) d(an ; a ) = m{nfd(an ; a) : a 2 Ag;
(iii) d(an ; b0 ) = maxfd(an ; b) : b 2 Bgy;
(iv) d(an ; b ) = m{nfd(an ; b) : b 2 Bg:
Es decir, n(A) = d(an, a0) - d(an, ak ).
Como H(A; B) < , por el Teorema 1.14 (1), tenemos que
A N ( , B) y B N ( , A).
22