Indice general

0.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
0.2. Rese na historica . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1. Preliminares 9
1.1. Hiperespacios . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2. Convergencia de sucesiones . . . . . . . . . . . . . . . . . . . . 13
1.3. Funcion union . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4. Resultados basicos de Teora de continuos . . . . . . . . . . . 19
1.5. Funciones de Whitney . . . . . . . . . . . . . . . . . . . . . . 19
1.6. Arcos ordenados . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2. Propiedades secuenciales fuerte reversibles de Whitney 28
2.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2. Conceptos y resultados auxiliares . . . . . . . . . . . . . . . . 30
2.3. Localmente conexo . . . . . . . . . . . . . . . . . . . . . . . . 32
2.3.1. Teorema principal . . . . . . . . . . . . . . . . . . . . . 34
2.4. Atriodicidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.4.1. Teorema principal . . . . . . . . . . . . . . . . . . . . . 39
2.5. Ser un arco . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.5.1. Teorema principal . . . . . . . . . . . . . . . . . . . . . 40
2.6. No contener arcos . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.6.1. Teorema principal . . . . . . . . . . . . . . . . . . . . . 40
2.7. Continuo por arcos . . . . . . . . . . . . . . . . . . . . . . . . 41
2.7.1. Teorema principal . . . . . . . . . . . . . . . . . . . . . 41
2.8. Ser un crculo . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.8.1. Teorema principal . . . . . . . . . . . . . . . . . . . . . 41
2.9. No contener crculos . . . . . . . . . . . . . . . . . . . . . . . 42
2.9.1. Teorema principal . . . . . . . . . . . . . . . . . . . . . 42
2.10. Tener puntos de corte . . . . . . . . . . . . . . . . . . . . . . . 43
1

INDICE GENERAL 2
2.11. Hereditariamente indescomponible . . . . . . . . . . . . . . . . 52
2.11.1. Teorema principal . . . . . . . . . . . . . . . . . . . . . 52
2.12. Encadenabilidad por continuos . . . . . . . . . . . . . . . . . . 53
2.12.1. Teorema principal . . . . . . . . . . . . . . . . . . . . . 53
2.13. Unicoherencia . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.13.1. Teorema principal . . . . . . . . . . . . . . . . . . . . . 55
2.14. Propiedad de Kelley . . . . . . . . . . . . . . . . . . . . . . . 59
2.14.1. Teorema principal . . . . . . . . . . . . . . . . . . . . . 59

INDICE GENERAL 3
0.1. Introducci on
El estudio de las Propiedades de Whitney ha sido muy extensivo y ana-
lizado por diferentes matematicos del siglo XX; tales propiedades que son
precisamente Propiedades Topologicas, nos permiten obtener informacion de
los hiperespacios partiendo de un continuo. Es natural preguntarse cuales de
esas Propiedades Topologicas son preservadas bajo su aproximacion por los
niveles de Whitney. Reciprocamente existen las Propiedades Reversibles de
Whitney, Propiedades Fuerte Reversibles de Whitney (PFRW) y Propieda-
des Secuenciales Fuerte Reversibles de Whitney (PSFRW), de las cuales solo
las ultimas mencionadas son las que nos interesan en este trabajo.
Las Propiedades Secuenciales Fuerte Reversibles de Whitney parten de la
informacion que se da acerca de los niveles de Whitney, para poder armar
que comportamiento tiene el continuo. Para esto, se da una sucesion de puntos
que converja a cero y contenida en el intervalo, cada nivel evaluado en cada
uno de los puntos de la sucesion debe tener la propiedad topologica.
Sean X un continuo y P una propiedad topologica. Decimos que P es
una Propiedad Secuencial Fuerte Reversible de Whitney siempre que
exista una funcion de Whitney para C (X) y una sucesion {t
n
}

n=1
en
(0, (X)) tal que t
n
0 cuando n y
1
(t
n
) tiene la propiedad P para
cada n, entonces X tiene la propiedad P. Muchas de estas propiedades ya
han sido analizadas en [4].
En 1942 J.L. Kelley hizo uso de las funciones de Whitney en el estudio
de hiperespacios, consecuentemente en 1970 las relaciones entre funciones
de Whitney y la estructura de hiperespacios fueron investigados extensiva y
sistematicamente. De hecho, las funciones de Whitney estan estrechamente
relacionados con la estructura de arcos de hiperespacios.
En la actualidad se estudian tambien las siguientes propiedades: Reversi-
ble, Fuertes Reversibles y Secuenciales Fuerte Reversibles.

Esta ultima sera el
material de estudio de la tesis, en donde se analizaran que Propiedades
Topologicas conservan las propiedades Secuenciales Fuertes Reversibles de
Whitney.

INDICE GENERAL 4
Las Propiedades Topologicas que seran analizadas son las siguientes:
- Localmente conexo
- Ser un arco
- No contener arcos
- Ser un continuo por arcos
- Atriodicidad
- Ser un crculo
- No contener crculos
- Encadenabilidad por continuos
- Arco conexidad para la clase de continuos
hereditariamente unicoherentes
- Tener puntos de corte
- Hereditariamente indescomponible
- Unicoherente
- Propiedad de Kelley

INDICE GENERAL 5
0.2. Rese na historica
La topologa que al principio comenzo siendo una rama de la geometra
paso a formar parte importante de la matematica moderna, fue concebida por
Riemann en el siglo XIX [1, pag. 192], quien fue el primero en dar la nocion
de espacio topologico y las primeras aplicaciones al analisis, por lo cual en
ese entonces se le nombraba Analisys situs. En la actualidad la topologa
es considerada como un area completamente abierta para la investigacion.
Ademas que se ha llegado a consolidar gracias a los trabajos de Hausdor
sobre topologa general.
Despues de la muerte de Gauss, se crea que no volvera a existir alguien
tan universal en todas las ramas de las matematicas. Hasta que aparecio Poin-
care, aunque por supuesto diferia bastante de Gauss. Gauss tena cierta fa-
cilidad para calculos mentales, y Poincare no era precisamente una promesa
matematica, hasta el mismo admita que tena ciertos problemas para resolver
algunas operaciones aritmeticas. En el caso de Poincare se muestra que para
ser una gran matematico no se necesita tener una facilidad con los n umeros,
hay otros aspectos mas ventajosos de habilidad matematica innata. Ademas
Gauss escribio relativamente poco, mientras que Poincare escribio extensi-
vamente, publicando mas memorias por a no que cualquier otro matematico,
mas a un, escribio libros populares con un don losoco.
Poincare nacio en Nancy, Francia. Se graduo de la

Ecole Polytechnique en
1875, tomo el grado de ingeniera minera en 1879, y se unio al departamento
de minas por el resto de su vida. Su tesis doctoral fue de ecuaciones diferen-
ciales (no en metodos de solucion, mas bien en teoremas de existencia), la
cual es una de sus mas grandes contribuciones a las matematicas (las propie-
dades de funciones automorcas), de hecho fue virtualmente el fundador de
la teora de esas funciones.
En una sinopsis de su trabajo, el mismo comenta que los analistas han
encarado tres problemas desde el establecimiento del calculo: la solucion de
ecuaciones algebraicas; la integracion de diferenciales algebraicos; y la in-
tegracion de ecuaciones diferenciales. Tambien trabajo en otras disciplinas
como la fsica matematica, tratando temas como: capilaridad, elasticidad,
termodinamica, optica, electricidad, cosmogona, entre otros[2, pgs. 673-677].

INDICE GENERAL 6
La topologa no fue invencion de un solo hombre, algunos de los problemas
topologicos fueron encontrados en los trabajos de Euler, Moebius y Cantor,
de hecho la palabra topologa haba sido usada en 1847 por J. B. Listing en el
ttulo del libro: Introduccion a estudios en Topologa. Pero el comienzo de
la topologa fue en 1895 el a no en que Poincare publica su Analysis situs.
Este libro provee un desarrollo sistematico de la topologa. La topologa es
ahora una de las ramas mas amplias y fundamentales de las matematicas.
Da las bases para la topologa combinatoria o algebraica, trabaja en teora
de funciones, incluyendo funciones Abelianas, grupos de Lie y problemas
relacionados con algebra.
En el momento de la publicacion de los principales trabajos de Brouwer y
los exitosos a nos de la teora de conjuntos, la topologa crecio rapidamente.
Muchos matematicos fueron agregando nuevas ideas y resultados para expan-
dir ese campo. Un notable signo de ese rapido desarrollo fue la publicacion
del texto clasico Fundamentos de la teora de conjuntos (1914) escrito por
Felix Hausdor (1848-1942). En este libro Hausdor ofrece una sntesis de los
diversos resultados de la teora de conjuntos, a traves de su teora de espa-
cios topologicos. Esto unio las ideas geometricas fundamentales y conceptos
analticos abstractos de David Hilbert, Maurice, Fr`echet y Herman Weyl.
En la teora de dimension, un hecho en particular signicante, fue que
los matematicos todava consideraban que la b usqueda de deniciones co-
menzaron con Bolzano. Pero por la aparicion de los monstruos topologicos,
se crearon nuevas deniciones, que fueron puestas a prueba, motivo por el
cual Hausdor pesimistamente comento : Nosotros no damos deniciones
de el concepto de curva, los conjuntos que llevaron este nombre por conven-
cion, son de una naturaleza homogenea, que ellos cayeron bajo el concepto
colectivo no razonable[5, 901-902]. Mientras que cada uno tena una idea
intuitiva del concepto de curva, nadie haba estado posibilitado para denir
adecuadamente el concepto general.
En el periodo siguiente de la primera guerra mundial (1914-1918) el interes
en la topologa se volvio intenso. En una escuela Americana de topologos se
produjeron importantes artculos. En 1919 Hausdor publico una denicion
preponderante de dimension metrica. Comenzando de la generalizacion de
la medida de Lebuesgue, Hausdor proporciono una caracterizacion teorica-
metrica de dimension, para espacios dimensionalmente nitos. La teora de

INDICE GENERAL 7
dimension de Hausdor es metrica, en lugar de topologica, y sus orgenes pue-
den ser localizados desde las investigaciones de Weiestrass en 1870 dentro de
las curvas de continuos sin derivadas. Consecuentemente del trabajo original
de Hausdor, muchos matematicos han dedicado extensivas investigaciones
a la teora metrica de dimension.
Una de las areas de investigacion de la topologa es la Teora de Hiper-
espacios de un Continuo, la cual es una rama esencial de la topologa. Esta
teora tiene sus inicios a principios del siglo XX, con el trabajo de Hausdor
y Vietoris. La mayor parte de la estructura fundamental de hiperespacios fue
determinada entre 1920 y 1930. En 1930 Hassler Whitney construye unos
tipos de funciones especiales en espacios de conjuntos con el proposito de
estudiar familias de curvas. Hassler Whitney nacio el 23 de marzo de 1907 en
New York. Su abuelo, Simon Newcomb, era un notable astronomo y ademas
el cuarto presidente de la American Mathematical Society. Su padre, Edward
Whitney fue un juez de la Suprema Corte de New York, y su madre Josepha
una artista interesada en la poltica. Se graduo de la Universidad Yale con
el ttulo de bachiller en fsica (1928) y de m usica (1929), y fue a la Universi-
dad de Harvard para obtener su doctorado en matematicas. En 1931 le fue
otorgada una beca de la Fundacion Nacional de Ciencias (National Scien-
ce Foundation) para ir a Princeton durante dos a nos. El regreso a Harvard
fue en 1933, donde avanzo hasta el rango de profesor. En 1952 Whitney se
traslado al Instituto para Estudios Avanzados en Princeton como profesor
de matematicas, un puesto que conservo hasta que en 1977, se convirtio en
profesor emerito. Whitney fue un pionero en la topologa, combino muchas
perspectivas fructferas con gran destreza tecnica.
Las ideas y metodos que el desarrollo en la teora general de variedades;
el estudio de funciones diferenciables en conjuntos cerrados; teora de inte-
gracion geometrica; la geometra de tangentes a un espacio singular analtico;
como tambien en muchos otras ramas de la matematica, se convirtio en parte,
fabrica de todos esos temas y ha tenido una tremenda inuencia en el traba-
jo subsiguiente. Whitney fue tambien uno de los fundadores de la teora de
cohomologa. Fue pionero en el uso del vector y la esfera como herramienta
en la solucion de problemas topologicos. Durante la mayora de su carrera
Whitney estuvo interesado en las propiedades de funciones suaves. Sus ideas
contribuyeron al desarrollo del campo de la topologa diferencial, el cual con-
llevo su trabajo a la teora de variedades analticas. Ayudo a emprender la

INDICE GENERAL 8
teora de singularidades y ha establecer que las singularidades genericas de
funciones del plano al plano son pliegues y c uspides. Muere el 10 de mayo de
1989 en Princeton a la edad de 82 a nos.
Captulo 1
Preliminares
1.1. Hiperespacios
En el desarrollo del presente trabajo es importante enfatizar que se dan
por bien conocidos algunos resultados de topologa general.
Para poder empezar a hablar de hiperespacios es necesario tener presentes
algunos conceptos.
Denicion 1 Un continuo es un espacio metrico, no vaco, compacto y co-
nexo.
Denicion 2 Un subcontinuo Y de X es un subespacio conexo, compacto y
distinto del vaco.
Durante todo el trabajo la letra X denotara un continuo y la letra d una
metrica.Sea E un subconjunto de X, Cl
X
(E) , Fr
X
(E) y Int
X
(E) denotaran
la cerradura, la frontera y el interior de E en X respectivamente. Un continuo
X se dice que es no degenerado, si esta compuesto por mas de un elemento.
9
CAP

ITULO 1. PRELIMINARES 10
Para un continuo X los hiperespacios que se consideraran en este trabajo
son:
2
X
= {A X | A es cerrado y no vaco}
C (X) =
_
A 2
X
| A es conexo
_
Como podemos observar, cada elemento de C (X) es un subcontinuo de
X. As que a C (X) se le conoce como el hiperespacio de los subcontinuos de
X.
Es momento de hablar de lo cercano que pueden estar dos subcontinuos
de un continuo X, para esto se necesita dar una metrica a 2
X
. Pero antes,
hay que dar un concepto importante:
Denicion 3 Sean X un continuo, A 2
X
y > 0. Denimos
N (, A) = {x X | existe a A tal que d (a, x) < } .
Podemos ver representado este conjunto en la gura 1.1.
Figura 1.1
La metrica que se le asigna a 2
X
es la metrica de Hausdor de la siguiente
manera denimos H : 2
X
2
X
[0, ) como
H (A, B) = inf { > 0 | A N (, B) y B N (, A)} ,
donde A y B 2
X
.
CAP

ITULO 1. PRELIMINARES 11
La prueba de que H es una metrica para 2
X
se ve en [4, Teorema 2.2, p.
11]. La demostracion de que 2
X
y C (X) son compactos se ve en [6, Teorema
0.8, p. 7]. En [6, Teorema 1.9, p. 63] y en [6, Teorema 1.12, p. 65] se demuestra
que 2
X
y C (X) son conexos por arcos, respectivamente. Por lo que se deduce
que 2
X
y C (X) son continuos.
Tambien se puede hablar de los hiperespacios de C (X):
2
C(X)
= {A C (X) | A es cerrado y no vaco}
C
2
(X) = C (C (X)) =
_
A 2
X
| A es conexo
_
A los hiperespacios 2
C(X)
y C
2
(X) se les considera con la metrica de
Hausdor, la cual denotaremos por H
2
.
Un resultando que no se debe pasar por alto es el siguiente:
Lema 1 Sean A, B 2
X
y > 0. Entonces H (A, B) < si y solo si
A N (, B) y B N (, A) .
Demostracion. Supongamos que A N (, B) y B N (, A) . Sea
S = {N (, A) | 0 < < }, Demostraremos que S es una cubierta abierta de
B. Sea b B. Dado que B N (, A) existe a A tal que d (a, b) < . Elegi-
mos (d (a, b) , ). Entonces b N (, A) . De esta manera B
_
S. Esto
muestra que S es una cubierta de B. Ahora, como B es compacto, existen

1
,
2
,
3
, ...,
n
tales que
i
< para cada i {1, ..., n} y B
n

i=1
N (
i
, A).
Sea

= max {
1
,
2
,
3
, ...,
n
} . As que B N (

, A) . Analogamente en-
contramos

> 0 tal que A N (

, B) y

< . Sea

= max {

}.
Entonces B N (

, A) y B N (

, A) . Como 0 <

< , se tiene que

H (A, B)

< .
Supongamos ahora que, H (A, B) < . Por la denicion de la metrica de
H, existe > 0 tal que < , A N (, B) y B N (, A) . Entonces,
A N (, B) N (, B) y B N (, A) N (, A)
Corolario 1 Si A, B 2
X
y = H (A, B), entonces A N (, B) o B
N (, A) .
Demostracion. Supongamos que A N (, B) y B N (, A). Por el
Lema 1, H (A, B) < , lo cual no puede ser ya que H (A, B) = . Por lo
tanto A N (, B) o B N (, A) .
CAP

ITULO 1. PRELIMINARES 12
Por ultimo tenemos el siguiente lema.
Lema 2 Sean a, b X. Entonces H ({a} , {b}) = d (a, b) .
Demostracion. Dado que N (, {a}) = B

(a) y N (, {b}) = B

(b) ,
tenemos que
H ({a} , {b}) = inf { > 0 | {a} N (, {b}) y {b} N (, {a})}
= inf { > 0 | a B

(b) y b B

(a)}
= inf { > 0 | d (a, b) < }
= inf (d (a, b) , )
= d (a, b)
CAP

ITULO 1. PRELIMINARES 13
1.2. Convergencia de sucesiones
Dado que los hiperespacios son continuos, es posible hablar de conver-
gencia, siendo esta, otra util herramienta para el desarrollo de la Teora de
Hiperespacios de Continuos.
Denicion 4 Sea {A
n
}

n=1
una sucecion de elementos de C (X). Denimos
los lmites inferior de la sucesion {A
n
}

n=1
como:
1. lminf A
n
= {x X | para todo > 0, B

(x) A
n
= para toda n
salvo un n umero nito}.
Y el lmite superior como:
2. lmsup A
n
= {x X | para todo > 0, B

(x) A
n
= para una
cantidad innita de n umeros n}.
A continuacion se presentan algunos resultados importantes para el des-
arrollo del presente trabajo, los cuales no se demostraran porque nos alejaran
del proposito principal del tema tratado en esta tesis.
Teorema 1 [6, Teorema 0.6, p.4] Sea {A
n
}

n=1
una sucesion de los elementos
de 2
X
. Entonces:
1. lminf A
n
lmsup A
n
,
2. lminf A
n
y lmsup A
n
son subconjuntos cerrados en X y
3. lmsup A
n
= .
Teorema 2 [3, p. 12] Sea {A
n
}

n=1
una sucesion de elementos de 2
X
. En-
tonces:
1. x lminf A
n
si y solo si existe una sucesion {x
n
}

n=1
en X tal que
x
n
x y x
n
A
n
para cada n.
2. x lmsup A
n
si y solo si existe una sucesion de n umeros naturales
n
1
< n
2
< ... y puntos x
n
k
A
n
k
para cada k tales que x
n
k
x.
CAP

ITULO 1. PRELIMINARES 14
De manera visual, este tipo de congervencia se puede apreciar de una
mejor manera en la gura 1.2
Figura 1.2
En el siguiente resultado establecemos una relacion entre la convergencia
de una sucesion {A
n
}

n=1
y los lmites inferior y superior.
Teorema 3 [3, p. 12] Sean X un continuo y {A
n
}

n=1
2
X
. Entonces la
sucesion {A
n
}

n=1
converge a A para alg un A 2
X
si y solo si lminf A
n
=
A = lmsup A
n
.
Usando este teorema, podemos dar una demostracion para cada uno de
los resultados, aunque las demostraciones son independientes de los lmites
inferior y superior.
Corolario 2 Sean X un continuo y {A
n
}

n=1
una sucesion en 2
X
tal que
A
n
A para algun A 2
X
. Si {x
n
}

n=1
es una sucesion en X tal que
x
n
A
n
para toda n N y x
n
x para alg un x X, entonces x A.
Demostracion. Dado que A
n
A, por la Teorema 3, lminf A
n
= A. Como
x
n
A
n
, para cada n N y x
n
x, por el Teorema 2, x lminf A
n
= A.
CAP

ITULO 1. PRELIMINARES 15
Otro resultado importante que se estara usando bastante es la siguiente.
Teorema 4 Sean X un continuo, {A
n
}

n=1
y {B
n
}

n=1
sucesiones en C (X)
tales que A
n
A y B
n
B para algunos A, B C (X) . Tenemos las
siguientes armaciones:
1. Si A
n
B
n
para cada n N, entonces A B.
2. Si A
n
B
n
= para cada n N, entonces A B = .
Demostracion. Para probar 1), sea a A. Dado que A
n
A, por el
Teorema 3, lminf A
n
= A. As que a lminf A
n
. Por el Teorema 2, existe
una sucesion {a
n
}

n=1
en X tal que a
n
A para cada n N y a
n
a. Como,
para toda n N, A
n
B
n
, tenemos que a
n
B
n
para cada n N. De esta
manera, por el Teorema 2 y debido a que a
n
a, se sigue que a lminf B
m
.
Usando la Teorema 3 y dado que B
n
B, lminf B
n
= B. De este modo
a B. Esto prueba que A B.
Para el inciso 2). Para cada n N, sea x
n
A
n
B
n
. Demanera que
tenemos una sucesion {x
n
}

n=1
en X. Dado que X es un compacto, podemos
suponer que existe x X tal que x
n
x. Por el Teorema 2 x lminf A
n
y
x lminf B
n
. Como A
n
A y B
n
B, por el Teorema 3 lminf A
n
= A
y lminf B
n
= B. De aqu que x A B. Esto prueba que A B = .
CAP

ITULO 1. PRELIMINARES 16
1.3. Funcion union
Lema 3 Si A 2
2
X
y : 2
2
X
2
X
la funcion denida como (A) =

{A | A A}, entonces se tiene lo siguiente:

1. (A) 2
X
.
2. Si A es subcontinuo de 2
X
y A C (X) = , entonces (A) C (X) .
3. es una funcion continua.
4. H (

A,

B) H
2
(A, B) para todo A, B 2
2
X
Demostracion. 1. Como A = , podemos elegir A A, lo cual implica que
A 2
X
, por lo que
_
{A | A A} = .
Ahora, hay que probar que (A)es cerrado en X. Sea a Ce
X
( (A)) ,
entonces existe una sucesion {a
n
}
nN
(A) tal que a
n
a. De aqu que,
para cada n N, existe A
n
A tal que a
n
A
n
. De la compacidad de A,
existe una subsucesion {A
n
k
}
kN
de {A
n
}
nN
tal que A
n
k
A para alguna
A A. Por el Corolario 2, se deduce que a A. Por lo cual se tiene que a
(A). Esto implica que (A) es cerrado en X. De esta manera concluimos
que (A) 2
X
.
2. Supongamos que A es conexo, AC (X) = , y que (A) no es conexo.
Entonces existen M
1
, M
2
2
X
tales que
M
1
M
2
= (A) y M
1
M
2
= .
Sea A A C (X) . Supongamos, sin perdida de generalidad que A M
1
.
Hagamos
H ={B A | B M
1
}
y
K ={B A | B M
2
= } .
Como A M
1
, H = . Si K = entonces todos los elementos de A
pertenecen a H, por lo que (A) M
1
, y M
2
= , lo cual es absurdo. De
aqu que K = .
CAP

ITULO 1. PRELIMINARES 17
Si existe E H K, entonces
= E M
2
M
1
M
2
= .
Lo cual es una contradiccion.
4. Por ultimo, sea F A. Dado que F M
1
M
2
, se tiene que FM
1
=
o F M
2
= . Si ocurre que F M
2
= , tenemos que F K. En el otro
caso, F M
1
, por lo que F H. De donde A = H K. De esta menera
concluimos que A es disconexo, los cual es una contradiccion. Por lo tanto
(A) C (X) .
Ahora, probaremos que es una funcion continua. Sea A 2
2
X
y > 0.
Supongamos H
2
(A, B) < , entonces probaremos que (A) N (, (B)) .
Por denicion, sabemos lo siguiente
A N
2
(, B) y B N
2
(, A) .
Sea a (A) ,entonces existe A A tal que a A. Es claro que A
N
2
(, B) . De esta manera, existe B B tal que H (A, B) < . Dado que a
A N (, B) , existe b B tal que d (a, b) < , de modo que a N (, (B)).
De lo cual se inere que
(A) N (, (B)) .
An alogamente se puede vericar que
(B) N (, (A)) .
Por lo tanto es una funcion continua.
Por ultimo, se probara que H (

A,

B) H
2
(A, B) para todo A, B 2
2
X
.
Sean A, B 2
2
X
y

A = A y

B =B. Por el inciso 1) A, B 2

X
. Sea
= H (A, B). Entonces por el Corolario 1, sin perdida de generalidad asu-
mimos que
A N (, B) .
De aqu que existe a A tal que
d (a, b) para todo b B.
Ahora, dado que A =

A, existe A
1
A tal que a A
1
. Como B =

B,
se tiene
A
1
N (, C) para todo C B.
CAP

ITULO 1. PRELIMINARES 18
De esta manera, obtenemos que H (A
1
, C) para todo C B, es decir
A
1
/ N
2
(, B) .
Como A
1
A, tenemos que A N
2
(, B). Por denicion de H
2
se dice
que H
2
(A, B) . Por lo tanto
H
_
_
A,
_
B
_
= H (A, B) = H
2
(A, B) para todo A, B 2
2
X
.
Que es lo que se quera demostrar.
La funcion del Lema anterior es llamada la funcion union de 2
2
X
. En el
transcurso del trabajo nosotros estaremos utilizando la funcion = |
C
2
(X)
:
C
2
(X) C (X). Tal funcion esta bien denida y es continua. En efecto, Si
A C
2
(X) 2
2
X
entonces A es conexo y pertenece a 2
C(X)
. Esto ultimo
implica a su vez que A C (X) y A = . De aqu concluimos que AC (X) =
. Aplicando la segunda parte del Lema anterior, tenemos que (A) C (X).
Esto prueba que esta bien denida y, por ser una restriccion de una funcion
continua, resulta ser continua. A se le llama funcion union en C
2
(X) .
CAP

ITULO 1. PRELIMINARES 19
1.4. Resultados basicos de Teora de conti-
nuos
Los siguientes resultados de Teora de Continuos nos seran de bastante
utilidad, las demostraciones de estos teoremas se pueden revisar en [7, pgs.
72-74].
Teorema 5 (Teorema del cable cortado) Sean Y un espacio metrico com-
pacto y A,B dos sobconjuntos cerrados de Y . Si ning un subconjunto conexo
de Y intersecta simultaneamente tanto a A como a B, entonces existen dos
cerrados y ajenos Y
1
y Y
2
de Y tales que Y = Y
1
Y
2
, A Y
1
y B Y
2
.
Teorema 6 (Teorema de los golpes frontera) Sean X un continuo y E
un subconjunto propio de X diferente del vaco. Si K es una componente de
Cl
X
(E) , entonces KFr(E) = .
Teorema 7 Sean X un continuo y A un subcontinuo de X. Si U es un
abierto que contiene a A, entonces existe un subcontinuo B de X tal que
A B U y A = B.
1.5. Funciones de Whitney
Como ya se haba mencionado anteriormente, Hassler Whitney construye
un tipo especial de funciones para poder trabajar con arcos, sin embargo Ke-
lley las utilizo para trabajar con hiperespacios, dando as el inicio de nuevos
estudios acerca de las propiedades de los hiperespacios.
Iniciemos con el concepto de Funcion de Whitney.
Denicion 5 Una funcion de Whitney para C (X) es una funcion continua
: C (X) [0, ) que satisface lo siguiente:
1. ({x}) = 0 para toda x X.
2. Si A, B C (X) y A es un subconjunto propio de B, entonces (A) <
(B) .
CAP

ITULO 1. PRELIMINARES 20
Observemos que; por la continuidad de y por ser C (X) un continuo,
(C (X)) es un continuo en [0, ) . Usando la condicion 2; se tiene que
(C (X)) = [0, (X)) . por lo que en lo sucesivo, consideraremos que el
contradominio de una funcion de Whitney es el intervalo [0, (X)] .
Varias construcciones de funciones de Whitney se pueden revisar en [6,
p. 24-27].
Denicion 6 Un nivel de Whitney para C (X) es el conjunto

1
(t) = {A C (X) | (A) = t}
donde : C (X) [0, (X)] es una funcion de Whitney.
Lema 4 Sean X un compacto y una funcion de Whitney para C (X),
entonces, para todo > 0, existe () > 0 con la siguiente propiedad: si
A, B C (X) son tales que A B y |(B) (A)| < () , entonces
H (A, B) < .
Demostracion. Supongamos que existe > 0 con la siguiente propiedad:
Si > 0 y A, B C (X) son tales que A B y |(B) (A)| < ,
entonces H (A, B) .
Necesitamos demostrar que existen dos sucesiones {A
n
}

n=1
y {B
n
}

n=1
de
elementos de C (X) tales que:
1. A
n
B
n
para cada n N.
2. |(B
n
) (A
n
)| <
1
n
para cada n N.
Sean n N t
1
, t
2

_
0,
1
n
_
con t
1
t
2
. Tomemos un arco de alg un
conunto de un solo punto a X en C (X). Dado que es continua y
((0)) = 0 t
1
t
2
< ((1)) = (X) = 1, por el Teorema del
Valor Intermedio, se tiene que existen A
n
, B
n
tales que (A
n
) = t
1
y
(B
n
) = t
1
. Hemos obtenido des elementos A, B C (X) tales que A
n
B
n
y |(B
n
) (A
n
)| <
1
n
. Esto termina la construccion de las sucesiones
As que, para cada n N, H (A
n
, B
n
) . Por otro lado, dado que
C (X) es compacto, podemos suponer que A
n
A y B
n
B para algunos
A, B C (X).
Supongamos que H (A, B) < . Sean a = H (A, B) y > 0 tal que
(a , a +) (0, ) . Como A
n
A y B
n
B, existe N N tal que
CAP

ITULO 1. PRELIMINARES 21
H (A
n
, A) <

2
y H (B
n
, B) <

2
para cada n N. Ahora bien, dado que
|H (A, B) H (A
n
, B
n
)| H (A, A
n
) + H (B
n
, B) para cada n N,se sigue
que
|H (A, B) H (A
n
, B
n
)| <
para cada n N. Por lo que H (A
n
, B
n
) (a , a +) para cada n N.
As que H (A
n
, B
n
) < para cada n N. Esto es una contradiccion. Esto
prueba que H (A, B) .
Ahora, dado que A
n
B
n
para cada n N, por el Teorema 4, se sigue
que A B. Usando que
0 |(B) (A)| = lm
n
|(B
n
) (A
n
)| lm
n
1
n
= 0,
obtenemos que (A) = (B) . Como es una funcion de Whitney y A B,
se inere que A = B. As que H (A, B) = 0. Lo cual es una contradiccion.
Por lo que el lema queda demostrado.
CAP

ITULO 1. PRELIMINARES 22
1.6. Arcos ordenados
Denicion 7 Sean A, B 2
X
con A B. Un arco ordenado de A a B, es
una funcion continua : [0, 1] 2
X
tal que
1. (0) = A, (1) = B.
2. Si s, t [0, 1] con s t, entonces (s) (t) .
A los elementos A y B de la denicion anterior se les llama los extremos
de .
Debemos tener bien presente que la existencia de arcos ordenados es muy
importante, el siguiente resultado nos da la prueba de tal hecho.
Teorema 8 [6, Teorema 1.8, p. 59] Sean A
0
, A
1
C (X) tales que A
0
= A
1
,
entonces las siguientes armaciones son equivalentes:
1. Existe un arco ordenado en C (X) de A
0
a A
1
.
2. A
0
A
1
y cada componente de A
1
intersecta a A
0
.
Teorema 9 [6, Teorema 1.11, p. 64] Si es un arco ordenado en 2
X
que
comienza en A
0
C (X), entonces C (X) .
Teorema 10 [6, Lema 14.8.1, p. 405] Sean X un continuo, una funcion de
Whitney para C (X) y t (0, 1) . Si A, B
1
(t) son tales que A B = ,
entonces existe un arco , contenido en C (A B)
1
(t), que une A con
B. Mas a un, si K es una componente de A B, entonces puede elegirse
de tal manera que K L para cada L .
El siguiente lema se estara usando continuamente.
Lema 5 Sean A, B C (X), una funcion de Whitney para C (X) y t
[0, 1] . Si (A) (B) , entonces existe C C (X) tal que A C B y
(C) = t.
CAP

ITULO 1. PRELIMINARES 23
Demostracion. Supongamos que (A) (B) . De donde A B. Por
el Teorema 8, existe un arco ordenado de A a B. Consideremos :
[0, 1] [0, 1] . Entonces es continua. Dado que
((0)) = (A) < t ((1)) = (B) ,
por el Teorema del Valor Intermedio, existe r [0, 1] tal que ((r)) = t.
El conjunto (r) cumple con las condiciones requeridas.
Lema 6 Sean X un continuo, una funcion de Whitney, y A C (X) .
Entonces tenemos las siguientes armaciones
1. |
C(A)
es una funcion de Whitney para C (A) ,
2.
_
|
C(A)
_
1
(t) =
1
(t) C (A) para cada t [0, (A)] ,
3.
_
|
C(A)
_
1
(t) es no degenerado y no vaco, para cada t [0, (A)] ,
4. para todo t [0, (X)], se tiene que

1
(t) = X,
5. para cada t [0, (X)] y para todo B
1
([t, (X)]) , se tiene que

(C (B)
1
(t)) = B.
Demostracion. Veamos 1. Dado que es una funcion continua, se sigue
|
C(A)
es continua. Sea x A. Como
|
C(A)
({x}) = ({x}) y ({x}) = 0,
se obtiene que
|
C(A)
({x}) = 0.
Sean M, N C (A) , con M N y M = N. Debido a que
|
C(A)
(M) = (M) y (N) = |
C(A)
(N)
y (M) < (N) , se tiene que
|
C(A)
(M) < |
C(A)
(N) .
Concluimos que |
C(A)
es una funcion de Whitney para C (A) .
CAP

ITULO 1. PRELIMINARES 24
Para demostrar 2, probaremos la doble contencion. Sea B
_
|
C(A)
_
1
(t).
Entonces |
C(A)
(B) = t. Como |
C(A)
(B) = (B) , deducimos que B

1
(t) . Ahora bien, debido a que B C (A) , se concluye que B
1
(t)
C (A) . Por lo que
_
|
C(A)
_
1
(t)
1
(t) C (A) .
Ahora, sea B
1
(t) C (A). De donde (B) = t y B C (A). As, dado
que |
C(A)
(B) = (B) , se tiene que B
_
|
C(A)
_
1
(t) . Por lo que

1
(t) C (A)
_
|
C(A)
_
1
(t) .
As que
_
|
C(A)
_
1
(t) =
1
(t) C (A) .
Probemos 3. Si t = 0, entonces {p}
_
|
C(A)
_
1
(t) para cada p A, por
lo que
_
|
C(A)
_
1
(t) es no degenerado y no vaco.
Sea 0 < t < (A) . Probaremos que
_
|
C(A)
_
1
(t) es no vaco. Sea
x A. Por el Teorema 8, existe un arco ordenado de {x} a A. Note-
mos que C (A). Por el Lema 5, existe s [0, 1] tal que ((s)) = t.
As que |
C(A)
((s)) = t. Por lo que (s)
_
|
C(A)
_
1
(t) . Esto muestra
que
_
|
C(A)
_
1
(t) es no vaco.
Veamos que es no degenerado. Dado que ((s)) = t y t < (A) ,
(s) A. Elijamos y A\(s) . Por el Teorema 8, existe un arco ordenado
de y a A. Notemos que C (A). Usando un argumento silimar al anterior
existe D tal que |
C(A)
(D) = t. Como y D\(s) , se sigue que
_
|
C(A)
_
1
(t) es no degenerado.
Para probar 4, como

1
(t) X, es sueciente con demostrar que
X

1
(t) . Sea x X. Entonces, por el el Teorema 8, existe un arco
ordenado de {x} a X en 2
X
. Por el Lema 5, existe un s [0, (X)] tal que
(s)
1
(t) , y como x (s) , conlcuimos que x

1
(t) . Con lo cual
probamos que

1
(t) = X.
Por ultimo, veremos el inciso 5. Supongamos que A
1
([t, (X)]) .
Por 2, se tiene que
C (A)
1
(t) =
_
|
C(A)
_
1
(t) .
Por el inciso 4,
_
|
C(A)
_
1
(t) = A. De manera que

(C (A)
1
(t)) = A.
Con esto terminamos la prueba del lema.
CAP

ITULO 1. PRELIMINARES 25
Por ultimo, tenemos es siguiente resultado:
Lema 7 Sean X espacio metrico, a, b, c X,
1
,
2
arcos ordenados de a, b
en X y de b, c en X, respectivamente. Entonces existe un arco de a a c en
X que esta contenido en
1

2
.
Demostracion. Para probar este lema, se necesitan considerar dos casos.
Caso 1. Si
1

2
= {b}.
Caso 2. Si
1

2
= {b} .
Comencemos, con el Caso 1. Denamos las siguientes funciones:
h
1
:
_
0,
1
2
_
[0, 1] por h
1
(t) = 2t y h
2
:
_
1
2
, 1
_
[0, 1] por h
2
(t) = 2t 1.
Notese que h
1
y h
2
son continuas y biyectivas. Sean
1
= h
1
y
2
=

2
h
2
. Ambas, tambien continuas. Sea : [0, 1] X denida por
(t) =
_

1
(t) si 0 t
1
2

2
(t) si
1
2
t 1
Dado que
1

2
= {b} , se sigue que esta bien denida.
Hay que probar que es continua en [0, 1]. Sea t
0
[0, 1]. Mostraremos
que es continua en t
0
. Para ello, sean > 0 y d la metrica para X. Su-
pongamos que t
0
<
1
2
. Dado que
1
es continua, existe > 0 tal que, si
|t
0
s| < , con s
_
0,
1
2

, entonces d (
1
(t
0
) ,
1
(s)) < . Por otro lado,
existe > 0 tal que
(t
0
, t
0
+)
_
0,
1
2
_

_
0,
1
2
_
.
Sea v =mn{, }. De manera que si |t
0
s| < v, entonces s
_
0,
1
2
_
y
d (
1
(t
0
) ,
1
(s)) < . As, dado que (r) =
1
(r) para todo r
_
0,
1
2
_
,
tenemos que si |t
0
s| < v, entonces d ((t
0
) , (s)) < . Esto demuestra
que es continua en t
0
, cuando t
0
<
1
2
. De forma analoga se muestra para
t
0
>
1
2
.
Solo falta probar que es continua en t
0
=
1
2
. Sea > 0. Dado que
1
y

2
son continuas en
1
2
, existen
1
,
2
respectivamente, tales que

1
2
s

<
1
,
y

1
2
t

<
2
, con s
_
0,
1
2

y t
_
1
2
, 1

, entonces d (
1
(t
0
) ,
1
(s)) < y
d (
1
(t
0
) ,
1
(t)) < . Como
1
_
1
2
_
=
2
_
1
2
_
, y considerando =min{
1
,
2
} ,
CAP

ITULO 1. PRELIMINARES 26
tenemos que, si

1
2
s

< , con s [0, 1], entonces d

_

_
1
2
_
, (s)
_
< . Esto
prueba que es continua en
1
2
. Por lo que es continua en [0, 1]. Tambien
es inyectiva. Ademas (0) = a y (1) = c. De modo que es un arco de a
a c en X que, claramente, esta contenido en
1

2
.
Considerando el Caso 2, sea S = {t [0, 1] |
2
(t) Im
2
} . Notese que
S = . Mostraremos que S es cerrado. Sea {t
n
}

n=1
una sucesion contenida
en S tal que t
n
t
0
para alg un t
0
[0, 1]. Como
2
es continua,
2
(t
n
)

2
(t
0
). De aqu que, tenemos una sucesion {
2
(t
n
)}

n=1
contenida en Im
1
.
Dado que Im
1
es cerrado,
2
(t
0
) Im
1
. Esto prueba que t
0
S. Por lo
que S es cerrado en [0, 1]. De manera que S es compacto. Sea s
0
=maxS.
Dado que
2
(s
0
) Im
1
, existe un unico s
1
[0, 1] tal que
2
(s
0
) =
1
(s
1
).
Sea
1
el subarco de
1
que va de a a
1
(s
1
) y
2
el subarco de
2
que va
de
1
(s
1
) a c. Notese que
1

2
= {
1
(s
1
)} y que
1

2

1

2
. De el
Caso 1, existe un arco de a a c en X, totalmente contecino en
1

2
.
Esto prueba que existe un arco de a a c, totalmente contenido en X.
CAP

ITULO 1. PRELIMINARES 27
- Solo confo -repuso Blaustein- en que estas conversaciones no le perturben.
- A lo mejor, s. Me hace pensar otra vez en el tema. Y cuando lo hago, todo se pone mal. Que le hara sentirse
parte de un cultivo bacteriologico, doctor?
- Nunca se me ha ocurrido pensarlo. Puede que a una bacteria le parezca normal. Ralson ni le oyo, prosiguio hablando
despacio:
- Un cultivo en el que se estudia la inteligencia. Estudiamos todo tipo de cosas, siempre y cuando se trate de sus
relaciones geneticas. Cazamos las moscas de la fruta y cruzamos ojos rojos con ojos blancos para ver lo que pasa. Nos
tienen sin cuidado los ojos rojos y los ojos blancos, pero tratamos de sacar de ellos ciertos principios geneticos basicos.
Sabe a lo que me reero?
- Claro.
- Incluso, entre los humanos, podemos seguir varias caractersticas fsicas. Tenemos los labios Habsburgo, y la hemo-
lia que empezo con la reina Victoria y se propago en sus descendientes de las familias reales de Espa na y Rusia. Podemos
seguir la debilidad mental de los Jukeses y los Kallikaks. Se aprende en las clases de Biologa del Instituto. Pero no se
pueden criar seres humanos como se cran las moscas de la fruta. Los seres humanos viven demasiado. Se tardaran siglos
en sacar conclusiones. Es una lastima que no tengamos una raza especial de hombres que se reproduzcan a intervalos
semanales, no le parece? -Espero una respuesta, pero Blaustein solo sonrio. Ralson siguio hablando-: Solo que esto es
exactamente lo que seramos para otro grupo de seres cuya duracion de vida fuera de mil a nos. Para ellos nos reprodu-
ciramos con bastante rapidez. Seramos criaturas de vida breve y podran estudiar la genetica de tales cosas como la
aptitud musical, la inteligencia cientca y demas. No porque les interesaran esas cosas en s, como tampoco nos interesan
a nosotros los ojos blancos de la mosca de la fruta.-

Este es un razonamiento muy interesante -comento Blaustein.
- No es un simple razonamiento. Es cierto. Para mi es obvio y me tiene sin cuidado lo que usted opine. Mire a su
alrededor. Mire al planeta Tierra. Que clase de animales ridculos somos para ser los amos del mundo despues de que los
dinosaurios fracasaran? Claro que somos inteligentes, pero, que es la inteligencia? Pensamos que es importante porque
la tenemos. Si los tiranosauros hubieran elegido la unica cualidad que crean les iba a asegurar el dominio de las especies,
seguro que habra sido tama no y fuerza. Y lo hubieran hecho mejor. Duraron mas de lo que duraremos nosotros.
La inteligencia en si misma no es gran cosa en cuanto a valores de supervivencia se reere. El elefante no sale muy
bien parado comparado con el gorrion, aunque es mucho mas inteligente. El perro funciona bien bajo la proteccion del
hombre, pero no tan bien como la mosca contra la que se alzan todas las manos humanas. O tome a los primates como
grupo. Los peque nos se achican frente al enemigo; los grandes han sido siempre poco afortunados, defendiendose siempre
lo justo. Los mandriles son los mejores, pero es gracias a sus colmillos, no a su inteligencia.
- Una ligera capa de sudor cubra la frente de Ralson. Siguio-: Y uno puede ver que el hombre ha sido hecho a
medida, fabricado cuidadosamente en benecio de las cosas que nos estudian. El primate tiene, generalmente la vida
corta. Naturalmente los mayores viven mas aunque eso es una regla general de la vida animal. No obstante el ser humano
tiene una duracion de vida dos veces mas larga que los grandes monos, considerablemente mas larga incluso que la del
gorila, que le dobla en peso. Nosotros maduramos mas tarde. Es como si se nos hubiera creado minuciosamente para que
vivieramos un poco mas de modo que nuestro ciclo de vida pudiera tener una longitud mas conveniente. -Se puso en pie
de un salto y sacudio los pu nos por encima de su cabeza-. Un millar de a nos no es mas que ayer... IsaacAsimov.
Captulo 2
Propiedades secuenciales fuerte
reversibles de Whitney
2.1. Introducci on
Sean una funcion de Whitney para C (X), {t
n
}

n=1
en 0, (X)) tal
que t
n
0. Trabajaremos con la siguiente cuestion: Dada una Propiedad
Topologica P y si
1
(t
n
) tiene la propiedad P para toda n N, entonces
X tiene P?.
Las propiedades en las que estamos interesados son las siguientes:
- Localmente conexo
- Ser un arco
- No contener arcos
- Ser un continuo por arcos
- Atriodicidad
- Ser un crculo
- No contener crculos
- Encadenabilidad por continuos
- Tener puntos de corte
- Hereditariamente indescomponible
- Unicoherente
- Propiedad de Kelley
Lo que a continuacion se pretende realizar es, un analisis de cada una de
las propiedades listadas anteriormente. Determinando as, cuales tienen, y
28
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY29

cuales no tienen la Propiedad Secuencial Fuerte Reversible de Whitney. Una
vez de haber dado los conceptos y resultados necesarios para la comprension
del material en la siguiente seccion, se continuara con secciones donde cada
una abarcara una Propiedad acompa nada con su Teorema Principal.
Muchos autores han estudiado las Propiedades de Whitney y las Pro-
piedades Reversibles de Whitney. En [4, Captulo VIII] hay una completa
discusion de lo que fue descubierto en 1999.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY30

2.2. Conceptos y resultados auxiliares
Es necesario dar la siguiente denicion para una mejor comprension de
las secciones siguientes.
Denicion 8 Sean X un continuo y P una propiedad topologica. Decimos
que P es una Propiedad de Whitney siempre que, si X tiene la propiedad
P, entonces
1
(t) tiene la propiedad P para cada funcion de Whitney para

C (X) y para todo t [0, (X)) .

La prueba de los siguientes teoremas se encuentran en [6].
Teorema 11 [6, Teorema 14.6] La propiedad de ser un arco es una Propie-
dad de Whitney.
Teorema 12 [6, Teorema 14.7] La propiedad de ser un crculo es una Pro-
piedad de Whitney.
Teorema 13 [6, Teorema 14.11] La propiedad de ser descomponible es una
Propiedad de Whitney.
Figura 2.1
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY31

Denicion 9 Sean X un continuo y P una propiedad topologica. Decimos
que P es una Propiedad Secuencial Fuerte Reversible de Whitney
siempre que exista una funcion de Whitney para C (X) y una sucesion
{t
n
}

n=1
en (0, (X)) tal que t
n
0 cuando n y
1
(t
n
) tiene la
propiedad P para cada n, entonces X tiene la propiedad P. (vease la gura
2.1, pagina siguiente)
Para un mejor manejo de la notacion a partir de este momento, se hara la
siguiente abreviacion: PSFRW signicara propiedad secuencial fuerte rever-
sible de Whitney.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY32

2.3. Localmente conexo
El concepto de conexidad local se dene en espacios topologicos, no se
necesita que el espacio sea un espacio metrico.
Denicion 10 Sean X un espacio metrico y p X. Decimos que X es
localmente conexo en p, si dado un subconjunto abierto U de X tal que
p U, entonces existe un subconjunto abierto y conexo V de X tal que,
p V y V U.
Denicion 11 Un espacio metrico X es localmente conexo, si es local-
mente conexo en cada punto
Denicion 12 Sea S un espacio metrico. Una componente de S es un sub-
conjunto conexo maximal.
Notece que, si p S, el conjunto denido por
C
p
=
_
{A S | p A y A es conexo}
es la componente del punto p.
Mas general, si Y S la componente de Y en S, no referimos al conjunto
conexo maximal de S conteniendo a Y.
Lema 8 Un espacio metrico X es localmente conexo si y solo si las compo-
nentes de cada conjunto abierto en X son tambien abiertas.
Demostracion. Supongamos que X es localmente conexo. Sean u un abierto
en X, C una componente de U y x C. Como X es localmente conexo, existe
un abierto y conexo V X tal que x V U. Por la maximilidad de C,
V C. Por lo que C es abierto.
Ahora, supongamos que las componentes de cada conjunto abierto en X
son tambien abiertas. Si U X es cualquier vecindad abierto que contiene
a x, entonces la componente de U que contiene a x es un abierto y conexo
que contiene a x, que esta contenido en U. De esta manera X es localmente
conexo.
Lema 9 Un continuo Z es localmente conexo si y solo si, dado cualquier
> 0, Z puede ser escrito como la union nita de subcontinuos, cada uno
de diametro menor que .
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY33

Demostracion. Sea Z un continuo localmente conexo. Tenemos que probar
que Z puede ser escrito como la union nita de subcontinuos, cada uno de
diametro menor que . Para esto, sean z Z, > 0. Sea > 0. Para
cada z Z, usando la metrizabilidad de Z, existe un abierto U
z
tal que
z U
z
Cl
Z
(U
z
) B

2.
(z) . Ahora, usando la conexidad local de Z, por
cada z, existe un abierto y conexo V
z
tal que z U
z
U
z
.
Sea U = {V
z
| z Z} . Como U es una cubierta abierta de Z y Z
es compacto, existen z
1
, ..., z
n
Z tales que Z =
n

i=1
V
z
i
. Es claro que
Z =
n

i=1
Cl
Z
(V
z
i
) . Por la compacidad de Z, cada Cl
Z
(V
z
i
) es compacto.
As que cada Cl
Z
(V
z
i
) es un subcontinuo de Z. Por la eleccion de los abier-
tos U
z
, se tiene que cada Cl
Z
(V
z
i
) esta contenido en B

2
(z
i
) . De donde
diam(Cl
Z
(V
z
i
)) < para cada i {1, 2, .., n} .
Ahora, sean U un abierto en Z, C una componente de U y z C. Por el
Lema 8, basta demostrar que z Int
Z
(C) . Sean > 0 tal que B

(z) U, y
M
1
, ...M
n
subcontinuos de Z tales que Z =
n

i=1
M
i
y diam(M
i
) <

2
para cada
i {1, 2, ...n}. Sean K =
_
{M
j
| z M
j
} . Entonces K es un subcontinuo
de Z. Demostraremos que z Int
Z
(K) C. Primero, probaremos que K
B

(z) . Sea a K. De donde, existe j {1, 2, ..., n} tal que a M

j
y z M
j
.
Como diam(M
j
) <

2
, se sigue que d (a, z)

2
. As que a B

(z) . Por lo que

K B

(z) .
Ahora bien, usando que C es una componente de U que contiene a z
y K es un conexo contenido en U que tambien contiene a z, se inere que
K C. En el caso en que z M
j
para cada j {1, 2, ...n} , tendriamos que
z Int
Z
(K) . As, supongamos que existe s {1, 2, ..., n} tal que z / M
s
.
Sea E =
_
{M
s
| z / M
s
}. Entonces E es un cerrado que no contiene a z.
Sea > 0 tal que B

(z) E = . De estoy de que Z =

n

i=1
M
i
= K E, se
deduce que B

(z) K. Concluimos que z Int

Z
(K) C. Esto demuestra
que C es abierto.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY34

2.3.1. Teorema principal
Teorema 14 La propiedad de ser localmente conexo es una PSFRW.
Demostracion. Supongamos que existen una funcion de Whitney para
C (X) y una sucesion {t
n
}

n=1
tal que t
n
0 cuando n tales que
1
(t
n
)
es localmente conexo para cada n N. Sea > 0. Por el Lema 4, existe > 0
tal que, si
A N (, B) y |(A) (B)| < ,
entonces H (A, B) <

8
. Como t
n
0, existe n N tal que t
n
< . Necesi-
tamos probar que, para cada A
1
(t
n
), diam(A) <

2
. Sea x A. Como
{x} N (, A) y
|({x}) (A)| = |(A)|
= |t
n
|
< ,
obtenemos que
H ({x} , A) <

8
.
Ahora, sean a, b A. Por lo anterior
H ({a} , A) <

8
y
H ({b} , A) <

8
.
De donde
H ({a} , {b}) <

4
.
Por el Lema 2, tenemos que
H ({a} , {b}) = d (a, b) .
Obtenemos que
d (a, b) <

4
.
As que

4
es una cota superior para el conjunto {d (a, b) : a, b A} . Por lo
que
sup {d (a, b) : a, b A}

4
.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY35

Concluimos que
diam(A) <

2
para cada A
1
(t
n
)
Como
1
(t
n
) es localmente conexo, por el Lema 9, existen un n umero
nito de subcontinuos M
1
, ..., M
k
de
1
(t
n
) tales que
1
(t
n
) =
k

i=1
M
i
y
diam(M
i
) <

4
para toda i {1, ..., k}.
Ahora, hagamos G
i
=

M
i
para toda i {1, ..., k}. Por el Lema 3, G
i
es subcontinuo de X para toda i {1, ..., k}. Por el Lema 5,

1
(t
n
) = X
y dado que
1
(t
n
) =
k

i=1
M
i
, tenemos
X =
_
_
k
_
i=1
M
i
_
=
k
_
i=1
G
i
.
Por ultimo, probaremos que diam(G
i
) < . Sean g, h G
i
. Por como esta
denido G
i
, g A y h B para algunos A, B M
i
. Como diam(M
i
) <

4
,
tenemos que H (A, B) <

4
. Entonces, por el Lema 1, A N
_

4
, B
_
. Sea
b B tal que d (g, b) <

4
. Dado que diam(B) <

2
, d (h, b) <

2
. As que
d (g, h) d (g, b) + d (b, h) <

4
+

2
=
3
2
. Por lo que
3
2
es una cota superior
para el conjunto {d (g, h) : g, h G
i
} . Por consiguiente
sup {d (g, h) : g, h A}
3
4
.
Concluimos que
diam(G
i
) < para cada i {1, 2, ..., k}
De aqu que X es union de subcontinuos, cada uno de diametro menor que
. Por lo tanto X es localmente conexo.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY36

2.4. Atriodicidad
Estar hablando de atriodicidad implica hablar de triodos, para esto, ne-
cesitamos denir lo que es un triodo:
Denicion 13 Un continuo X es un triodo si existe un subcontinuo A de
X tal que X\Aes la union de tres conjuntos mutuamente separados y no
vacos.
Denicion 14 Un continuo X es atriodico si no contiene triodos.
Lema 10 Sean X un continuo, A C (X), una funcion de Whitney y
t
0
[0, 1]. Entonces el conjunto
X (A, , t
0
) =
_
M
1
(t
0
) | M A =
_
cumple con las siguientes condiciones:
1. Si (A) t
0
, entonces X (A, , t
0
) es degenerado o es un subcontinuo
de
1
(t
0
) conexo por arcos.
2. Si (A) > t
0
, entonces cada miembro de X (A, , t
0
) puede ser unido
con alg un miembro de =
1
(t
0
) C (A) por un arco contenido en
X (A, , t
0
). En particular X (A, , t
0
) es un subcontinuo de
1
(t
0
)
Demostracion. Demostraremos que X (A, , t
0
) es cerrado en
1
(t
0
) . Sea
{M
n
}

n=1
una sucesion de elementos de X (A, , t
0
) tal que M
n
M para
alg un M
1
(t
0
) . Veamos que M X (A, , t
0
) . Como M
n
intersecta a
A para toda n N, por el Teorema 4, tenemos M A = . De aqu, M
X (A, , t
0
) . Esto demuestra que X (A, , t
0
) es cerrado.
Supongamos lo siguiente, (A) t
0
y X (A, , t
0
) es no degenerado.
Por el Lema 5, existe M
0

1
(t
0
) tal que A M
0
. Claramente M
0

X (A, , t
0
) .
Sean M, N X (A, , t
0
) \ {M
0
} , con M = N y p M A. Como A
M
0
, tenemos que p M M
0
. Ahora, notese lo siguiente, M, M
0

1
(t
0
)
y M = M
0
. Por el Teorema 10, existe un arco en
1
(t
0
) de M a M
0
, tal
que p L para todo L . As, como p A tenemos que X (A, , t
0
) .
Analogamente, para N X (A, , t
0
) \ {M
0
} , se obtiene un arco en
1
(t
0
)
de N a M
0
, con X (A, , t
0
) . Por el Lema 7, existe un arco que une a
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY37

M con N totalmente contenido en . Concluimos que X (A, , t
0
) es arco
conexo. En particular X (A, , t
0
) es conexo. De todo lo anterior, X (A, , t
0
)
es un subcontinuo conexo por arcos.
Consideremos ahora (A) > t
0
.
Notemos que X (A, , t
0
). Sea M
1
(X (A, , t
0
) \.) Entonces M
1

A = . Tomemos p M
1
A. Dado que ({p}) t
0
, por el Lema 5, existe
M
2
C (A) tal que p M
2
y M
2

1
(t
0
) . Notemos M
2
. Como
p M
1
M
2
, por el Teorema 10, existe un arco en
1
(t
0
) de M
1
a
M
2
, tal que p L para todo L . As, dado que p A tenemos que
X (A, , t
0
) . Esto demuestra que, cada elemento de (X (A, , t
0
) \)
puede ser unido con un elemento de por un arco contenido en X (A, , t
0
) .
El conjunto
=
1
(t
0
) C (A) ,
por el Lema 6, deducimos que es un subcontinuo de
1
(t
0
) . Por lo que
X (A, , t
0
) es conexo. As, dado que X (A, , t
0
) es cerrado, X (A, , t
0
) es
un subcontinuo de
1
(t
0
) .
Lema 11 Sea X un continuo. Si N es un subcontinuo de X y X\N es la
union de tres conjuntos abiertos, mutuamente ajenos y no vacios, S
1
, S
2
, S
3
,
entonces cada N S
i
es un subcontinuo de X.
Demostracion. Primero, veamos que N S
i
es cerrado. Como X\N
S
i
=

j=i
S
j
y cada S
j
es abierto, tenemos que X\N S
i
es abierto. Por lo
que N S
i
es cerrado.
Para ver que NS
i
es conexo, supongamos lo contrario. Entonces existen
dos cerrados, ajenos y no vacios M
1
, M
2
de X tales que N S
i
= M
1
M
2
.
Como N es conexo, se deduce que N M
1
o N M
2
. Supongamos que
N M
1
. Entonces M
2
S
i
. Sea E
1
= M
1


j=i
S
J
. Notemos que E
1
=
. Demostraremos que Cl
X
(E
1
) M
2
= y Cl
X
(M
2
) E
1
= . Como
Cl
X
(E
1
) = M
1


j=i
Cl
X
(S
J
) ,

j=i
Cl
X
(S
J
) S
j
= y M
2
S
i
, se sigue que
Cl
X
(E
1
) M
2
= . Dado que Cl
X
(M
2
) = M
2
y E
1
Cl
X
(E
1
) , se obtiene
que Cl
X
(M
2
) E
1
= . Ahora, debido a que X =
3

i=1
N S
i
, se obtiene que
X = E
1
M
2
. Concluimos que X no es conexo. Esto es una contradiccion.
Por lo que N S
i
es conexo. Esto demuestra qe N S
i
es un subcontinuo de
X.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY38

Lema 12 Sea X un continuo y una funcion de Whitney para C (X) . Si
X es un triodo, entonces existe un > 0 tal que
1
(t) es un triodo para
cada 0 t .
Demostracion. Supongamos que X es un triodo. Entonces existe un sub-
continuo N de X tal que X\N es la union de tres conjuntos S
1
, S
2
, S
3
mu-
tuamente ajenos y no vacos. Sea A
i
= S
i
N. Por el Lema 11, A
i
es un
subcontinuo de X.
Por cada i {1, 2, 3} , sea x
i
S
i
. Por el Teorema 7, existen subcontinuos
no degenerados E
1
, E
2
, E
3
de X tales que x
i
E
i
S
i
para cada i {1, 2, 3} .
Sea = mn {(E
i
) | i {1, 2, 3}}. Como cada E
i
es no degenerado, > 0.
Notemos que cada E
i
no intersecta a N.
As que (N) > > 0 y
_

1
() C (A
i
)

\X (N, , t
0
) = .
Sea t
0
tal que 0 t
0
, hay que probar que
1
(t
0
) es un triodo.
Defnase
U
i
=
_
B
1
(t
0
) | B S
i
_
para i {1, 2, 3} . Armamos que U
i
= para toda i {1, 2, 3}.
Sea i {1, 2, 3}. Por el Teorema 8, existe un arco ordenado de {x
i
} a
E
i
contenido en C (X) . Por el Lema 5 existe r [0, 1] tal que ((r)) = t
0
.
Entonces como (r) E
i
S
i
, se sigue que (r) U
i
. De esto U
i
= .
Demostraremos que U
i
es abierto. Notemos que

1
(t
0
) \U
i
=
_
B
1
(t
0
) | B S
i
_
=
_
B
1
(t
0
) | B X\S
i
=
_
para cada i {1, 2, 3} . Sea i {1, 2, 3} . Probaremos que
1
(t
0
) \U
i
es
cerrado en
1
(t
0
). Sea H =
1
(t
0
) \U
i
y {B
n
}

n=1
una sucesion en H tal
que converge a un elemento B
1
(t
0
). Como B
n
X\S
i
= para cada
n N, podemos elegir a
n
B
n
X\S
i
para cada n N. Por la compacidad
de X\S
i
, existe una subsucesion {a
n
k
}

k=1
de {a
n
}

n=1
tal que a
n
k
a para
alg un a X\S
i
. Tenemos que a
n
k
a y B
n
k
B y a
n
k
B
n
k
para todo
k N. As que, por el Corolario 2, a B. Por lo que X\S
i
B. Esto prueba
que B H y H es cerrado en
1
(t
0
). Concluimos que U
i
es abierto.
Como S
i
N = para cada i {1, 2, 3} se sigue que U
i
X (N, , t
0
) =
para todo i {1, 2, 3}. Ahora, S
i
S
j
= con i = j, por consiguiente
U
i
U
j
= .
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY39

Finalmente veamos que

1
(t
0
) \X (N, , t
0
) =
3
_
i=1
U
i
.
Sea E
1
(t
0
) \X (A, , t
0
) . Entonces EN = . Ahora bien, debido a que
X = N
3
_
i=1
S
i
y S
1
, S
2
, S
3
son abiertos, mutuamente ajenos y E es conexo,
se obtiene que E S
1
o E S
2
o E S
3
. De donde E
3
_
i=1
U
i
. De esto

1
(t
0
) \X (N, , t
0
)
3
_
i=1
U
i
.
entonces M U
i
para alg un i {1, 2, 3}, es decir M
1
(t
0
) con M S
i
para alg un i {1, 2, 3}. Por lo que M
1
(t
0
) \X (A, , t
0
) .
Como U
i
X (N, , t
0
) = para cada i {1, 2, 3} , se concluye que
3
_
i=1
U
i

1
(t
0
) \X (N, , t
0
) . Esto demuestra que

1
(t
0
) \X (N, , t
0
) =
3
_
i=1
U
i
.
Por lo tanto
1
(t
0
) es un triodo.
2.4.1. Teorema principal
Teorema 15 La propiedad de ser atriodico es una PSFRW.
Demostracion. Sea {t
n
}

n=1
una sucesion tal que t
n
0 cuando n
y
1
(t
n
) es atriodico para toda n N. Supongamos que X contiene un
triodo M. Dado que la restriccion de a C (M) es una funcion de Whitney
para C (M) por el Lema 6. Ahora, por el Lema 12, existe un > 0 tal que
_
|
C(M)
_
1
(t
n
) es un triodo para todo 0 t
n
. Es una contradiccion. Por
lo tanto X debe ser un atriodico.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY40

2.5. Ser un arco
Denicion 15 Por un arco en un espacio topologico, entenderemos un ho-
meomorsmo h de un intervalo cerrado y no degenerado [a, b] sobre un sub-
conjunto del espacio topologico.
2.5.1. Teorema principal
Teorema 16 La propiedad de ser un arco es una PSFRW.
Demostracion. Sea {t
n
}

n=1
una sucesion tal que t
n
0 cuando n y

1
(t
n
) es un arco para toda n N. Por el Teorema 14, X es un continuo
localmente conexo y por el Teorema 15 es atriodico. Por lo tanto X es un arco
o un crculo. Supongamos que X es un crculo, entonces
1
(t
n
) es un crculo
para toda n N, porque la propiedad de ser un crculo es una Propiedad
de Whitney (ver Teorema 12), esto es una contradiccion. Por lo que X tiene
que ser un arco.
2.6. No contener arcos
2.6.1. Teorema principal
Teorema 17 La propiedad de no contener un arco es una PSFRW.
Demostracion. Supongamos que X es un continuo tal que contiene un arco
A. Sean una funcion de Whitney para C (X), {t
n
}

n=1
una sucesion tal que
t
n
0 cuando n y
1
(t
n
) no contiene un arco para toda n N. Por
el Lema 6 la restriccion de a C (A) es una funcion de Whitney para C (A) ,
lo cual implica que
1
(t
n
) contiene un arco para alguna n N. Esto nos
lleva a una contradiccion. Por lo que X no contiene arcos.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY41

2.7. Continuo por arcos
Denicion 16 Un continuo X es un arco continuo, si cada uno de sus
subcontinuos propios no degenerados es un arco.
2.7.1. Teorema principal
Teorema 18 La propiedad de ser un arco continuo es una PSFRW.
Demostracion. Sea X un continuo. Supongamos que hay una funcion de
Whitney para C (X) y una sucesion {t
n
}

n=1
tal que t
n
0 cuando n
y
1
(t
n
) es un arco continuo para toda n N.
Sea A un subcontinuo propio y no degenerado de X. Entonces, dado
que X\A es un abierto no vaco, por el Teorema 7, existe un subcontinuo
no degenerado B de X tal que B X\A = . Sea N > 0 tal que t
n
<
mn {(A) , (B)} para cada n N. Para cada n N, por el Lema 6,
_
|
C(A)
_
1
(t
n
) es un subcontinuo no degenerado de
1
(t
n
) .
Sea n N. Dado que (B) > t
n
, por el Lema 6, existe un C
n
B tal
que (C
n
) = t
n
. Por lo que
C
n

1
(t
n
) \
_
|
C(A)
_
1
(t
n
) .
As que
_
|
C(A)
_
1
(t
n
) es un subcontinuo propio de
1
(t
n
) para cada
n N.
Como
1
(t
n
) es un arco continuo,
_
|
C(A)
_
1
(t
n
) es un arco para cada
n N. Usando el Teorema 16, concluimos que A es un arco.
2.8. Ser un crculo
2.8.1. Teorema principal
Teorema 19 La propiedad de ser un crculo es una PSFRW.
Demostracion. Por el Teorema 14, X es un continuo localmente conexo
y por el Teorema 15 es atriodico. Por lo tanto X es un arco o un crculo.
Supongamos que X es un arco, entonces
1
(t
n
) es un arco para alguna
n N por que la propiedad de ser un arco es una Propiedad de Whitney (ver
Teorema 11), pero no puede ser, ya que todos los
1
(t
n
) son crculos para
toda n N, por lo que X tiene que ser un crculo.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY42

2.9. No contener crculos
2.9.1. Teorema principal
Teorema 20 La propiedad de no contener un crculo es una PSFRW.
Demostracion. Sea X un continuo, supongamos que hay una funcion de
Whitney para C (X) y una sucesion {t
n
}

n=1
tal que t
n
0 cuando n
y
1
(t
n
) no contiene un crculo para toda n N. Supongamos que X
contiene un crculo A. Como la restriccion de a C (A) es una funcion de
Whitney para C (A) , y la propiedad de ser un crculo es una Propiedad de
Whitney,
_
|
C(A)
_
1
(t
n
) es un crculo. Por lo que
1
(t
n
) contiene un crculo
para toda n N. Esto nos lleva a una contradiccion.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY43

2.10. Tener puntos de corte
Hasta ahora, se han descrito Propiedades Topologicas que tienen la Pro-
piedad Secuencial Fuerte Reversible de Whitney. En esta seccion sec-
cion se presentara un ejemplo de un continuo, que no cumple con las con-
diciones necesarias para que la Propiedad de tener puntos de corte sea una
PSFRW. Pero antes, necesitamos dar el siguiente concepto:
Denicion 17 Un punto p en un continuo X es un punto de corte si
X {p} es disconexo.
Ahora que sabemos que es un punto de corte, continuemos con dar el
ejemplo.
Ejemplo 1 La propiedad de tener un punto de corte no es una PSFRW.
Defnase
C = [1, 0] [1, 1] ,
Z
0
= ({0} [1, 1])
_
(x, y) R
2
| 0 < x 1,

sen
_
1
x
_
y

<
x
4
_
.
Para cada n, sea
Z
n
=
__
0,
3
2
n+1
_
+
_
x
2
n1
,
y
2
n+2
_
| (x, y) Z
0
_
.
Finalmente, defnase
X = C
_
_
{Z
n
| n 1}
_
.
Para empezar, hay que aclarar como se estan comportando cada uno de
los conjuntos denidos anteriormente. Dado que la representacion de C es
clara. Comencemos con el conjunto Z
0
esta constituido por la union de dos
conjuntos de los cuales el primero que es
({0} [1, 1]) ,
no requiere mucha explicacion. Sin embargo, el segundo conjunto
_
(x, y) R
2
| 0 < x 1,

sen
_
1
x
_
y

<
x
4
_
,
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY44

es un poco mas coplicado.
Analicemos las siguientes desigualdades que se obtienen a partir de

sen
_
1
x
_
y

<
x
4
:

x
4
< sen
_
1
x
_
y <
x
4
y

x
4
< y sen
_
1
x
_
<
x
4
.
De aqu que
sen
_
1
x
_

x
4
< y < sen
_
1
x
_
+
x
4
,
con x (0, 1] . Con ayuda de la computadora podemos apreciar mejor las
funciones que acotan a y, las siguientes guras podemos visializar tales fun-
ciones:
sen
_
1
x
_
+
x
4
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY45

sen
_
1
x
_

x
4
Continuemos ahora con los cojuntos Z
n
. Un elemento de Z
n
, es de la
siguiente forma
_
0,
3
2
n+1
_
+
_
x
2
n1
,
y
2
n+2
_
con x, y Z
0
.
Haciendo las operaciones correspondientes, obtenemos
_
x
2
n1
,
y
2
n+2
+
3
2
n+1
_
con x, y Z
0
.
En el caso en que x, y ({0} [1, 1]) es claro, veamos que pasa cuando
x, y
_
(x, y) R
2
| 0 < x 1,

sen
_
1
x
_
y

<
x
4
_
.
La segunda entrada es la que mas nos interesa, es decir
y
2
n+2
+
3
2
n+1
.
Lo que sucede aqu, es un cambio de coordenadas, el cual se puede apreciar
mejor con las guras siguientes:
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY46

n = 1
n = 1
Lo que se muestra en las dos guras anteriores, es el acotamiento por
arriba y por abajo del conjunto de puntos que constituyen a Z
1
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY47

n = 2
n = 2
Las dos anteriores son el acotamiento para Z
1
.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY48

n = 3
n = 3
Para Z
3
.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY49

n = 4
n = 4
Estas dos ultimas para Z
4
.
Despues de haber aclarado el comportamiento de los conjuntos denidos
anteriormente, se puede hacer una imagen mas estilizada del continuo X, es
decir:
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY50

Sea una funcion de Whitney para C (X). Para cada n N, sean
A
n
= {0}
_
3
2
n+1

1
2
n+2
,
3
2
n+1
+
1
2
n+2
_
Z
n
y t
n
= (A
n
), A
n
=
1
(t
n
) . Entonces t
n
> 0 y t
n
0 ya que A
n

{0} (0, 0) .
Nosotros probaremos que A
n
es un punto de corte de A
n
. Primero veamos
la siguiente armacion:
Armacion 1 Si cada B subcontinuo de X intersecta a Z
n
\A
n
y X\Z
n
,
entonces A
n
B.
Demostracion. Para probar esto, sea B un subcontinuo de X intersecta
a Z
n
\A
n
y X\Z
n
. Sea x A
n
. Como A
n
Z
n
, se sigue que
x / Z
n
\A
n
.
Dado que B Z
n
\A
n
Z
n
\A
n
,
x / B Z
n
\A
n
.
Luego, x X\B Z
n
, ya que (B Z
n
\A
n
)
c
= X\B Z
n
. Esto implica que
x B Z
n
. Y por tanto x B. Con lo cual se concluye que A
n
B.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY51

De la Armacion anterior tenemos que B = A
n
o B / A
n
.
Esto implica que
A
n
= {B A
n
| B Z
n
}
_
B A
n
| B C
_
_
{Z
m
| n = m}
__
.
Sea {B
i
}
iN
una sucesion contenida en {B A
n
| B Z
n
}. Supongamos
que B
i
B. Como B
i
Z
n
, tenemos que B Z
n
, esto por el Teorema 4.
Ahora, sea {B
i
}
iN
una sucesion contenida en
_
B A
n
| B C
_
_
{Z
m
| n = m}
__
Supongamos que B
i
B. Como
B
i
C
_
_
{Z
m
| n = m}
_
,
de igual manera, por el Teorema 4, tenemos que
B C
_
_
{Z
m
| n = m}
_
.
As que su unico elemento en com un es A
n
. Por lo que, A
n
es un punto de
corte de A
n
.
Por lo tanto, cada A
n
tiene puntos de corte mientras que X no los tiene.
De esta manera, la propiedad de tener puntos de corte no es una PSFRW.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY52

2.11. Hereditariamente indescomponible
En primer instancia, consideremos las siguientes deniciones.
Denicion 18 Un continuo es descomponible si es la union de dos sub-
continuos propios.
Con la siguiente denicion estaremos trabajando durante la siguiente sec-
cion.
Denicion 19 Un continuo X que no es descomponible, se dice ser indes-
componible.
Denicion 20 Un continuo X es hereditariamente indescomponible,
si todos sus subcontinuos no degenerados son indescomponibles.
2.11.1. Teorema principal
Teorema 21 La propiedad de ser hereditariamente indescomponible es una
PSFRW.
Demostracion. Sea X un continuo. Supongamos que hay una funcion de
Whitney para C (X) y una sucesion {t
n
}

n=1
tal que t
n
0 cuando n
y
1
(t
n
) es hereditariamente indescomponible para toda n N. Suponga-
mos que X contiene un subcontinuo no degenerado descomponible A. Por el
Lema 6, la restriccion de a C (A) es una funcion de Whitney para C (A) .
Por el Teorema 13, la propiedad de ser descomponible es una Propiedad de
Whitney el conjunto
_
|
C(A)
_
1
(t
n
) es descomponible para alguna n N.
Esto nos lleva a una contradiccion.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY53

2.12. Encadenabilidad por continuos
Denicion 21 Un continuo X es encadenable por continuos, si para
cada > 0 y cada par de puntos distintos p, q X, existe una sucesion nita
de subcontinuos {A
1
, ..., A
n
} de X tal que:
1. diam(A
i
) < ,
2. p A
1
, q A
n
y
3. A
i
A
i+1
= para toda i < n.
2.12.1. Teorema principal
Teorema 22 La propiedad de ser encadenable por continuos es una PSFRW.
Demostracion. Sea X un continuo, supongamos que hay una funcion de
Whitney para C (X) y una sucesion {t
n
}

n=1
tal que t
n
0 cuando n
y
1
(t
n
) es encadenable por continuos para toda n N. Sean p = q X
y > 0. Entonces, por el Lema 4, existe > 0 tal que si A, B C (X) son
tales que A B y |(B) (A)| < , entonces H (A, B) <

4
.
Necesitamos probar que existen A, B C (X) tales que p A, q B y
A = B. Como p = q, existe > 0 tal que B

(p) B

(q) = . Por el Teorema

7, existen A, B C (X) tales que {p} A B

(p) y {q} B B

(q) .
Notemos que A = B.
Tomemos n N tal que
t
n<
mn {(A) , (B) , } .
Hagamos A =
1
(t
n
) . Por el Teorema 7, existen E, F A tales que
p E A y q F B. Observemos que E = F.
Como A es encadenable por continuos, existe una sucesion nita de sub-
continuos {A
1
, ..., A
k
} de A tal que E A
1
y F A
n
, diam(A
i
) <

4
y
A
i
A
i+1
= para toda i < n. Para i n defnase el conjunto
A
i
=
_
A
i
.
Por el Lema 3, A
i
C (X) . Notese que p E A
1
y q B A
k
. Si
D A
i
A
i+1
, tenemos que
D A
i
A
i+1
.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY54

De donde A
i
A
i+1
= .
Ahora, probaremos que diam(A
i
) < .
Tomemos un z, w A
i
. Entonces existe un M
1
, M
2
A
i
tales que z M
1
y w M
2
. Debido a que
{z} M
1
, {w} M
2
,
|({z}) (M
1
)| = (M
1
) = t
n
< ,
|({w}) (M
2
)| = (M
2
) = t
n
< ,
se tiene que H ({z} , M
1
) <

4
y H ({w} , M
2
) <

4
. Ahora bien, debido a que
H (M
1
, M
2
) <

4
, se inere que
H ({z} , {w}) H ({z} , M
1
)+H (M
1
, M
2
)+H (M
2
, {w}) <

4
+

4
+

4
=
3
4
< .
Por el Lema 2, H ({z} , {w}) = d (z, w) . Por lo que d (z, w) < . Esto
prueba que diam(A
i
) < . Concluimos que X es encadenable por continuos.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY55

2.13. Unicoherencia
Denicion 22 Un continuo X es unicoherente si siempre que A, B
C (X) \ {X} son tales que A B = X, entonces A B es conexo.
2.13.1. Teorema principal
Teorema 23 La propiedad de ser unicoherente es una PSFRW.
Demostracion. Sea X un continuo. Consideremos una funcion de Whitney
para C (X) y una sucesion {t
n
}

n=1
tal que t
n
0 cuando n y
1
(t
n
)
es unicoherente para toda n N.
Supongamos que X no es unicoherente. Entonces existen subcontinuos A
y B de X tales que X = A B y A B no es conexo.
Sean K y L conjuntos cerrados, ajenos y no vacos tales que AB = KL.
Veamos que existe un n umero j N tal que
_
M
1
(t
0
) | M K =
_

_
M
1
(t
0
) | M L =
_
= .
Supongamos que, para cada j N, sucede que
_
M
1
(t
0
) | M K =
_

_
M
1
(t
0
) | M L =
_
= .
Tomemos
M
j

_
M
1
(t
0
) | M K =
_

_
M
1
(t
0
) | M L =
_
=
para cada j N. Como C (X) es un compacto, la sucesion {M
j
}
jN
tiene una
subsucesion {M
j
k
}
kN
que converge a alg un elemento M C (X) . Ademas,
por la continuidad de , obtenemos que
(M
j
k
) (M) .
Sabiendo que
(M
j
k
) = t
j
k
para cada k N y t
j
k
0,
se tiene lo siguiente
(M) = 0.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY56

De esta manera M = {x} para alg un x X.
Como
M
j
k
K = = M
j
k
L
para cada j N, por el Teorema 4 tenemos que
M K = = M L,
lo cual implica
{x} K = = {x} L.
Esto contradice el hecho de que K y L sean ajenos. Por lo que existe j N
tal que
_
M
1
(t
0
) | M K =
_

_
M
1
(t
0
) | M L =
_
= .
Sean
H
1
=
_
M
1
(t
0
) | M K =
_
y
H
2
=
_
M
1
(t
0
) | M L =
_
.
Probaremos que:
1.
1
(t
j
) = X (A, , t)

X (B, , t) .
2. X (A, , t)

X (B, , t) = H
1

H
2
.
3. H
1
y H
2
son no vacos.
4. H
1
y H
2
son cerrados.
Para 1, sea E
1
(t
j
) . Dado que

1
(t
j
) = X (ver Lema 6) y
X = A B, se deduce que E A = o E B = . Por consiguiente E
X (A, , t)

X (B, , t) . Ahora, como X (A, , t)

X (B, , t)
1
(t
j
) , se
deduce que
1
(t
j
) = X (A, , t)

X (B, , t) .
Para 2, necesitamos probar que
X (A, , t
j
) X (B, , t
j
) =
_
M
1
(t
j
) | M (A B) =
_
Sea M X (A, , t
j
) X (B, , t
j
) . Entonces
M A = = M B.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY57

Supongamos que M (A B) = . Notese que X\ (A B) = X\A X\B.
Como A, B son cerrados, X\A y X\B son abiertos. Ahora, dado que X =
AB, se tiene que X\A = B\A y X\B = A\B. Por lo que X\AX\B = .
Debido a que A y B son subconjuntos propios de X, X\A = = X\B.
Concluimos que X\A y X\B son una separacion de X\ (A B) . Usando lo
anterior, que M X\ (A B) y que M es conexo, obtenemos que M X\A
o M X\B. Por lo que MA = o MA = . Esto es una contradiccion.
Esto demuestra que M (A B) = y
M
_
M
1
(t
j
) | M [A B] =
_
.
Por consiguiente
X (A, , t
j
)

X (B, , t
j
)
_
M
1
(t
j
) | M (A B) =
_
Ahora, sea M {M
1
(t
j
) | M (A B) = }. Debemos probar que
M A = y M B = . Sin perdida de generalidad, supongamos que
M A = . Como
M (A B) =
(M A) B =
B =
=
Lo cual es una contradiccion. De esta manera
M
_
M
1
(t
j
) | M (A B) =
_
.
Obteniendo
_
M
1
(t
j
) | M (A B) =
_
X (A, , t
j
)

X (B, , t
j
)
Por lo que
X (A, , t
j
)

X (B, , t
j
) =
_
M
1
(t
j
) | M (A B) =
_
.
Ahora, como
_
M
1
(t
j
) | M (A B) =
_
=
_
M
1
(t
j
) | M (K L) =
_
,
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY58

se deduce que
_
M
1
(t
j
) | M (A B) =
_
= H
1
_
H
2
.
As, obtenemos
X (A, , t)

X (B, , t) = H
1
_
H
2
.
Para 3. Como K = , sea k K X. Dado que {k} K X, por el
Teorema 8, existe un arco ordenado de {k} a X. De aqu, existe un s [0, 1]
tal que ((s)) = t
j
(ver Lema 5). Lo cual implica que (s)
1
(t
j
) .
Como {k} (s) , tenemos que (s) H
1
. De esta manera obtenemos que
H
1
= . Con un procedimiento analogo se tiene que H
2
= .
Para probar 4, solo veremos que H
1
es cerrado en
1
(t
j
) , ya que la
prueba para H
2
es similar. Sea {A
i
}
iN
una sucesion contenida en H
1
tal que
A
i
A. Como A
i
K = para todo i N, por el Teorema 4, A K = .
De esta manera A H
1
. Por lo que H
1
es cerrado.
Dado que H
1

H
2
= , de las condiciones 2,3, y 4, deducimos que
X (A, , t)

X (B, , t) no es conexo. As que X (A, , t) X (B, , t) . y

X (B, , t) X (A, , t) . Con todo lo anterior hemos demostrado que
1
(t
j
)
es la union de dos subcontinuos propios cuya interseccion no es conexa. Por
lo tanto
1
(t
j
) no es unicoherente.
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY59

2.14. Propiedad de Kelley
Denicion 23 Sea X un continuo y d la metrica para X. Decimos que X
tienen la Propiedad de Kelley (o propiedad (k)) tal que, para cada > 0
existe > 0 que satisface la siguiente condicion:
Si p, q X son tales que d (p, q) < y si A C (X) es tal que p A,
entonces existe B C (X) tal que q B y H (A, B) < .
Una observacion que se puede vericar facilmente es la siguiente:
Un continuo X tiene la Propiedad de Kelley si, y solo si, para todo p X
y > 0 existe > 0 con la propiedad de que si A C (X) , p A y
q B(, p) , entonces existe B C (X) tal que q B y H (A, B) < .
2.14.1. Teorema principal
Teorema 24 La propiedad de Kelley es una PSFRW.
Demostracion. Sea X un continuo y d la metrica para X. Supongamos que
existe una funcion de Whitney para C (X) y una sucesion {t
n
}

n=1
tal que
t
n
0 y
1
(t
n
) tiene la Propiedad de Kelley para cada n N. Supongamos
que X no tiene la Propiedad de Kelley.
Por la observacion anterior, hay un punto p X y > 0 tal que, para
cada natural m 1 hay un punto q
m
X y un subconjunto A
m
de X con
la propiedad de que d (p, q
m
) <
1
m
, p A
m
, entonces para cada B C (X)
tal que q
m
B, se tiene H (A
m
, B) .
Sea > 0 tal que: si A, B C (X) , A B y |(A) (B)| < ,
entonces H (A, B) <

6
(ver Lema 4. Sea N N tal que t
N
< . Hagamos
A
N
=
1
(t
N
) . Dado que

A
N
= X (ver Lema 6), para cada m 1, existe
D
m
A
N
tal que q
m
D
m
. Por la compacidad de C (X) y de A
N
, podemos
suponer que A
m
A y D
m
D con A C (X) y D A
N
respectivamente.
Como q
m
D
m
para cada m N y q
m
p, por el Corolario 2, sededuce que
p D. Usando el Corolario 2 y que p A
m
D por cada m N, obtenemos
que p A D. Por lo que A D es un subcontinuo de X.
Necesitamos demostrar que
H (A, A D) <

3
.
Es claro que A N
_

3
, A D
_
, para probar la otra contencion, sea z D.
Debido a que
{z} D, {p} D,
CAP

ITULO2. PROPIEDADES SECUENCIALES FUERTE REVERSIBLES DE WHITNEY60

|({z}) (D)| = |({p}) (D)| = (D) = t
N
< ,
se concluye que
H ({z} , D) <

6
y H ({p} , D) <

6
.
Por consiguiente
H ({z} , {p}) <
2
6
=

3
.
Por el Lema 2, se obtiene que d (z, p) <

3
. Esto prueba que z N
_

3
, A
_
y
A D N
_

3
, A
_
.
Concluimos que H (A, A D) <

3
.
Dado que A
N
tiene la propiedad de Kelley para D, existe > 0 tal
que si: E A
N
, H (D, E) < y D A, con A C (A
N
). Entonces existe
B C (A
N
) tal que E B y H
2
(A, B) <

3
.
Denamos el siguiente conjunto
A =
_
|
C(AD)
_
1
(t
N
) .
Entonces A es un subcontinuo de A
N
y D A. Ahora, elijamos M N tal
que
H (A
M
, A) <

3
y H (D
N
, D) < .
De esta manera, existe B C (A
N
) tal que D
M
B y H
2
(A, B) <

3
.
Por ultimo, sea
B
0
=
_
{B | B B} .
Por el Lema 3, B
0
es un subcontinuo de X. Observemos que q
M
B
0
. Dado
que
A D =
_
A (ver Lema 6),
por el Lema 3, tenemos que
H (A D, B
0
) H
2
(A, B) <

3
.
De lo anterior:
H (A
M
, A) +H (A, A D) +H (A D, B
0
) <

3
+

3
+

3
= ,
Por la desigualdad del triangulo, obtenemos que H (A
M
, B
0
) < . Lo cual es
una contradiccion.
Bibliografa
[1] N. Bourbaki., Elementos de la historia de las matematicas, Alianza Uni-
versal, 1976.
[2] C. B. Boyer., A history of mathematics, Utah C. Merzbach, Second Edi-
tion.
[3] A. Illanes, Notas de Hiperespacios, 1990 (no publicadas).
[4] A. Illanes y S. B. Nadler Jr., HYPERSPACES Fundaments and Recents
Advances, Monographs and Textbooks in Pure and Applied Math., Marcel
Dekker, New York and Basel. (1999).
[5] I. M. James., History of topology, North Holland, Oxford University
UK.1999.
[6] S. B. Nadler Jr., Hyperspaces of sets, Monographs and Textbooks in Pure
and Applied Math., Marcel Dekker Inc., New York and Basel.(1978).
[7] S. B. Nadler Jr., Continuum Theory, An introdution, Monographs and
Textbooks in Pure and Applied Math., Marcel Dekker Inc., New York
and Basel.(1992).
[8] G. T. Whyburn, Analitic Topology, Amer. Math. Soc. Collq. Publ., vol.28,
Amer. Math. Soc., Providence, R. I., 1942.
61