Directoras de Tesis
Dra. Mara de Jess Lpez Toriz
Dra. Patricia Pellicer Covarrubias
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Introduccin
Antecedentes
En Funciones y Propiedades de Whitney(2014), R. Escobedo, M. J.
Lpez e I. Serapio, introducen el concepto de funcin punto medio
respecto de una funcin de Whitney para el hiperespacio de arcos y
singulares de un continuo. El propsito de esta herramienta es analizar un
ejemplo mostrado por A. Petrus en [2]. Salvo el poco material que se
tienen en dicha tesis, actualmente no existe registro en la literatura de
ms resultados respecto a las funciones punto medio.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Preliminares
Definicin
Dado un continuo X, una funcin de Whitney para el hiperespacio de
subcontinuos C(X) es una funcin continua : C(X) [0, ) que
cumple las siguientes condiciones.
(a) Para cada x X, ({x}) = 0.
(b) Si B, K C(X) y B
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Preliminares
Definicin
Dado un continuo X, una funcin de Whitney para el hiperespacio de
subcontinuos C(X) es una funcin continua : C(X) [0, ) que
cumple las siguientes condiciones.
(a) Para cada x X, ({x}) = 0.
(b) Si B, K C(X) y B
Teorema
Todo continuo admite funciones de Whitney para su hiperespacio de
subcontinuos.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Preliminares
Definicin
Un arco es un continuo que slo tiene dos puntos que no son de corte, a
los cuales se les denomina los puntos extremos del arco.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Preliminares
Definicin
Un arco es un continuo que slo tiene dos puntos que no son de corte, a
los cuales se les denomina los puntos extremos del arco.
Definicin
Se introducen los siguientes subespacios de C(X):
El hiperespacio de arcos de X,
A(X) = {A X : A es un arco}.
El hiperespacio de arcos y singulares de X,
M(X) = A(X) F1 (X).
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Planteamiento
Definicin
Sean X un continuo, una funcin de Whitney para C(X), A M(X) y
p X. Diremos que p es punto medio de A respecto de si existe una
descomposicin simple y -equilibrada de A basada en el punto p, es
decir, existen dos subcontinuos K, L C(X) tales que
A = K L,
K L = {p}
y (K) = (L).
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Planteamiento
Definicin
Sean X un continuo, una funcin de Whitney para C(X), A M(X) y
p X. Diremos que p es punto medio de A respecto de si existe una
descomposicin simple y -equilibrada de A basada en el punto p, es
decir, existen dos subcontinuos K, L C(X) tales que
A = K L,
K L = {p}
y (K) = (L).
Teorema
Si X es un continuo y es una funcin de Whitney definida en C(X)
entonces, para cada A M(X) existe un nico punto p X que es punto
medio de A respecto de .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Planteamiento
Definicin
Dados un continuo X y una funcin de Whitney para C(X), se define la
funcin P : M(X) X de manera que, para cada A M(X), P (A) es
el nico punto medio de L respecto de .
A P se le nombra funcin punto medio respecto de .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Planteamiento
Definicin
Consideremos una funcin continua y suprayectiva f : X Y entre
espacios metrizables.
(a) f es atmica si para cada subcontinuo K X tal que f(K) es un
conjunto no degenerado, se cumple que f1 (f(K)) = K.
(b) f es montona si para cada y Y, la fibra f1 ({y}) es un conjunto
conexo.
(c) f es ligera si para cada y Y, la fibra f1 ({y}) es un conjunto
totalmente disconexo, es decir, sus componentes son singulares.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Planteamiento
Definicin
(d) f es confluente si para todo subcontinuo Q Y y toda componente
C de f1 (Q) se cumple que f(C) = Q.
(e) f es dbilmente confluente si dado cualquier subcontinuo Q Y
existe una componente C de f1 (Q) tal que f(C) = Q.
(f) f es atridica si para todo subcontinuo Q Y existen dos
componentes C1 y C2 de f1 (Q) tales que f(C1 ) f(C2 ) = Q.
Adems, para cualquier otra componente C de f1 (Q) se tiene que
f(C) f(C1 ) o f(C) f(C2 ).
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Definicin
Para un continuo X se define la funcin E : M(X) F2 (X) de manera
que, para cada A M(X),
{
A,
si A F1 (X),
E(A) =
{p A : p es un punto extremo de A}, si A A(X).
A esta funcin le llamaremos funcin de puntos extremos de X.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Definicin
Un continuo es libre de arcos si ninguno de sus subcontinuos es un arco.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Definicin
Un continuo es libre de arcos si ninguno de sus subcontinuos es un arco.
Observacin
Si X es un continuo libre de arcos entonces
A(X) = y M(X) = F1 (X).
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Teorema
Si X es un continuo cualquiera, las siguientes proposiciones son
equivalentes entre s:
(1) existe una funcin punto medio de X que es biyectiva,
(2) todas las funciones punto medio de X son biyectivas,
(3) existe una funcin punto medio de X que es un homeomorfismo,
(4) todas las funciones punto medio de X son homeomorfismos,
(5) X es libre de arcos.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Teorema
Si X es un continuo cualquiera, las siguientes proposiciones son
equivalentes entre s:
(1) existe una funcin punto medio de X que es atmica,
(2) todas las funciones punto medio de X son atmicas,
(3) X es libre de arcos.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos regulares
Definicin
Un continuo X es regular en un punto p X si toda vecindad de p
contiene una vecindad abierta de p cuya frontera es finita. Si X es regular
en cada uno de sus puntos diremos simplemente que es regular.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos regulares
Definicin
Un continuo X es regular en un punto p X si toda vecindad de p
contiene una vecindad abierta de p cuya frontera es finita. Si X es regular
en cada uno de sus puntos diremos simplemente que es regular.
Teorema
Todo continuo regular tiene funcin de puntos extremos continua.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos regulares
Definicin
Un continuo X es regular en un punto p X si toda vecindad de p
contiene una vecindad abierta de p cuya frontera es finita. Si X es regular
en cada uno de sus puntos diremos simplemente que es regular.
Teorema
Todo continuo regular tiene funcin de puntos extremos continua.
Ejemplo
Existe un continuo HAC que no es regular pero todas sus funciones punto
medio son continuas.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos Regulares
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos Regulares
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos Regulares
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos Regulares
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos Regulares
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos Regulares
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos Regulares
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos Regulares
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos Regulares
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos Regulares
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos Regulares
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos Regulares
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos Regulares
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos HLC
Definicin
Un continuo es hereditariamente localmente conexo, abreviado HLC,
si todos sus subcontinuos son localmente conexos.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos HLC
Definicin
Un continuo es hereditariamente localmente conexo, abreviado HLC,
si todos sus subcontinuos son localmente conexos.
Teorema
Todo continuo regular es HLC.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos HLC
Ejemplo
Existe un continuo hereditariamente localmente conexo (que no es
regular) cuya funcin de puntos extremos no es continua.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos HLC
Ejemplo
Existe un continuo hereditariamente localmente conexo (que no es
regular) cuya funcin de puntos extremos no es continua.
X
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Continuos HLC
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Pregunta
Son los continuos regulares los nicos continuos hereditariamente
localmente conexos con funciones punto medio continuas?
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Dendroides y dendritas
Definicin
Una curva cerrada simple es cualquier continuo homeomorfo a la
circunferencia unitaria en el plano.
Definicin
Una dendrita es un continuo localmente conexo que no contiene curvas
cerradas simples.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Dendroides y dendritas
Teorema
Si X es un continuo arco conexo las siguientes condiciones son
equivalentes:
(a) X es una dendrita.
(b) El hiperespacio M(X) es compacto y la funcin de puntos extremos
E : M(X) F2 (X) es continua.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Dendroides y dendritas
Teorema
Si X es un continuo arco conexo las siguientes condiciones son
equivalentes:
(a) X es una dendrita.
(b) El hiperespacio M(X) es compacto y la funcin de puntos extremos
E : M(X) F2 (X) es continua.
Corolario
Un continuo X es una dendrita si y slo si la funcin de puntos extremos
E : M(X) F2 (X) es un homeomorfismo.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Ejemplo
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Dendroides y dendritas
Teorema
Si X es un dendroide tal que todo subcontinuo de X que pertenece a la
cerradura de M(X) en C(X) cumple que su conjunto de puntos de
ramificacin es cerrado, entonces la funcin de puntos extremos de X es
continua cuando y slo cuando X es una dendrita.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Dendroides y dendritas
Teorema
Si X es un dendroide tal que todo subcontinuo de X que pertenece a la
cerradura de M(X) en C(X) cumple que su conjunto de puntos de
ramificacin es cerrado, entonces la funcin de puntos extremos de X es
continua cuando y slo cuando X es una dendrita.
Corolario
Dentro de la clase de los dendroides con un nmero finito de puntos de
ramificacin, slo las dendritas tienen funcin de puntos extremos
continua.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Teorema
Dado cualquier continuo X, las siguientes proposiciones son equivalentes
entre s:
(1) existe una funcin punto medio de X que es cerrada,
(2) toda funcin punto medio de X es cerrada,
(3) la funcin de puntos extremos de X es cerrada,
(4) la funcin de puntos extremos de X es continua y tiene dominio
compacto.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Teorema
Un continuo arco conexo tiene funciones punto medio cerradas si y slo si
es una dendrita.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Teorema
Un continuo arco conexo tiene funciones punto medio cerradas si y slo si
es una dendrita.
Teorema
Un continuo es una dendrita si y slo si su funcin de puntos extremos es
cerrada y suprayectiva.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Arcos libres
Definicion
Considrese un continuo X y un arco A X. Diremos que A es un arco
libre si el conjunto A r E(A) es abierto en X.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Arcos libres
Definicion
Considrese un continuo X y un arco A X. Diremos que A es un arco
libre si el conjunto A r E(A) es abierto en X.
Teorema
Si X es un continuo tal que todos sus arcos son libres, entonces todas las
funciones punto medio de X son abiertas.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Teorema
Los siguientes continuos tienen la propiedad de que todas sus funciones
punto medio son abiertas:
(a) Los arcos.
(b) Las curvas cerradas simples.
(c) Las compactaciones del rayo cuyo residuo es un continuo libre de
arcos.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Definicion
Un continuo X es un triodo si podemos hallar un subcontinuo Z X tal
que X r Z es la unin de tres conjuntos no vacos, ajenos entre s y
abiertos en X. En este caso, diremos que Z es un ncleo del triodo X.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Definicion
Un continuo X es un triodo si podemos hallar un subcontinuo Z X tal
que X r Z es la unin de tres conjuntos no vacos, ajenos entre s y
abiertos en X. En este caso, diremos que Z es un ncleo del triodo X.
Teorema
Si un continuo arco conexo es un triodo con un singular como ncleo
entonces ninguna de sus funciones punto medio es abierta.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Definicion
Un continuo X es un triodo si podemos hallar un subcontinuo Z X tal
que X r Z es la unin de tres conjuntos no vacos, ajenos entre s y
abiertos en X. En este caso, diremos que Z es un ncleo del triodo X.
Teorema
Si un continuo arco conexo es un triodo con un singular como ncleo
entonces ninguna de sus funciones punto medio es abierta.
Teorema
Los arcos son las nicas dendritas que admiten funciones punto medio
abiertas.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Conjetura
Los arcos y las curvas cerradas simples son los nicos continuos regulares
que admiten funciones punto medio abiertas.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Conjetura
Los arcos y las curvas cerradas simples son los nicos continuos regulares
que admiten funciones punto medio abiertas.
Pregunta
Si una funcin punto medio es abierta todas las dems tambin lo son?
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Teorema
Un continuo tiene funcin de puntos extremos abierta si y slo si es
localmente conexo.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Teorema
Un continuo tiene funcin de puntos extremos abierta si y slo si es
localmente conexo.
Corolario
Un continuo es una dendrita si y slo si su funcin de puntos extremos es
abierta e inyectiva.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Teorema
Para todo continuo X las siguientes proposiciones son equivalentes entre
s:
(1) existe una funcin punto medio de X que es montona,
(2) toda funcin punto medio de X es montona,
(3) la funcin de puntos extremos de X es continua.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
Teorema
Para cualquier continuo X las siguientes proposiciones son equivalentes
entre s:
(1) existe una funcin punto medio de X que es confluente,
(2) toda funcin punto medio de X es confluente,
(3) existe una funcin punto medio de X que es dbilmente confluente,
(4) toda funcin punto medio de X es dbilmente confluente,
(5) existe una funcin punto medio de X que es atridica,
(6) toda funcin punto medio de X es atridica,
(7) la funcin de puntos extremos de X es continua.
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
S1
S2
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
GRACIAS POR SU
ATENCIN
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
Introduccin
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.