Conjuntos abiertos

Arturo S anchez Gonz alez

1
, Dr. Fernando Macas Romero
1
1
Facultad de Ciencias Fsico Matem aticas - Benem erita Universidad Aut onoma de Puebla
Resumen
En este artculo se presentan deniciones elementales en Topologa, as como un estudio
de dos de las propiedades fundamentales de los espacios topol ogicos: conexidad y com-
pacidad. Se concluye con un somero estudio del conjunto de Cantor y de algunas de sus
propiedades topol ogicas.
Introducci on
En su primera conferencia como profesor de matem aticas en la Universidad de Earlangen, el
matem atico Christian F elix Klein sugiri o clasicar las diversas ramas de la geometra seg un los
grupos de transformaciones bajo las cuales los teoremas acerca de las guras geom etricas siguen
siendo v alidos. Propuso que una geometra era un sistema de deniciones y teoremas que per-
manecen invariantes bajo ciertas transformaciones; si estas son biyectivas y continuas de A a B
se tienen transformaciones topol ogicas y ellas forman una geometra llamada topologa. Fue en
1895, cuando Poincar e public o su An alisis situs, que la topologa se estableci o como una rama
independiente de las matem aticas.
En el presente trabajo de investigaci on se estudian diferentes topologas, as como sus caractersti-
cas especiales. En especco se consideran distintas topologas sobre el conjunto de los n umeros
reales R, y posteriormente se ven topologas para el plano euclidiano R
2
. Adem as se analizan dos
de las m as distinguidas propiedades de los espacios topol ogicos: conexidad y compacidad. Final-
mente se presentan las principales propiedades topol ogicas del conjunto de Cantor (, como las que
siguen:
1. ( es cerrado y, por ello, ( es compacto,
2. ( es completo,
3. ( es segundo numerable,
4. ( no es numerable,
entre algunas otras. El material estudiado (conceptos y teora) fueron tomados de las referencias
[1] [4], citadas al nal.
Desarrollo
Sea un conjunto X ,= . Una topologa sobre X es una colecci on de subconjuntos de X que
cumple:
1. , X
2. La uni on de cualesquiera elementos de pertenece a
3. La intersecci on nita de elementos de pertenece a .
1
A cada elemento de se le llama conjunto abierto o abierto de X; y el par (X, ) es un espacio
topol ogico.
Si
1
y
2
son toplogas para un conjunto X, se dice que
1
es m as tosca, m as d ebil o menor que
2
si cada abierto de
1
es un abierto de
2
; entonces
2
se dice que es m as na, m as fuerte o mayor
que
1
, y la relaci on se expresa como
1

2
. El orden es una relaci on de orden parcial puesto
que dos topologas pueden no ser comparables.
Dado el espacio topol ogico (X, ), decimos que un subconjunto de X es cerrado si su comple-
mento es un conjunto abierto de X, esto es, su complemento es un elemento de . Las leyes de De
Morgan implican que los conjuntos cerrados tienen las siguientes propiedades:
1. La intersecci on de conjuntos cerrados es un cerrado.
2. La uni on nita de cerrados es un cerrado.
3. X y son cerrados.
Es importante considerar que existen subconjuntos que son tanto cerrados como abiertos, y otros
que no son cerrados ni abiertos.
Con las deniciones anteriores, decimos que un conjunto F

es aquel que puede ser escrito como

la uni on de una colecci on numerable de conjuntos cerrados, mientras que un conjunto G

es aquel
que puede ser escrito como la intersecci on de una colecci on numerable de abiertos.
Dado el espacio topol ogico (X, ), una vecindad N
A
del conjunto A, es cualquier subconjunto que
contiene un abierto que contiene a A. Si N
A
es tambi en un conjunto abierto, entonces la llamare-
mos vecindad abierta. Cualquier colecci on o de subconjuntos de X es una sub-base si genera
una topologa para X, esto se logra tomando como abiertos de a los conjuntos que pueden ser
obtenidos por intersecciones nitas de elementos de o, junto con y X. Si adem as, la uni on de
subconjuntos de una sub-base o es X y si cada punto en la intersecci on de dos elementos de la
sub-base es tambi en un elemento de la sub-base contenido en la intersecci on, entonces o es una
base para . Si dos bases (o sub-bases) generan la misma topologa, se dice que son equivalentes.
Se obtiene una base local de un punto x X si existe una colecci on de vecindades abiertas de
x tal que todo conjunto que contiene a x contiene alg un conjunto de la colecci on. Por ejemplo, la
topologa generada por B = (a, b) : a < b a, b R es la topologa usual o euclidiana sobre R.
Por otro lado, B

= (a, ), (, b) : a, b R es una sub-base para la topologa usual sobre R.

Los conceptos anteriores nos permiten enunciar el siguiente teorema:
Teorema 1. Si (X, ) es un espacio topol ogico y Y X es distinto del vaco, entonces
Y
=
A Y : A es una topologa para Y .
Demostraci on. Debemos mostrar las tres propiedades que cumple una topologa. Tenemos que
, X , sabemos que Y = , y que X Y = Y porque Y X; luego, , Y
Y
.
Sean x
1
, x
2
, . . . ,
Y
, entonces, por la denici on, x
1
, x
2
, . . . , Y A : A , de donde,
i 1 : x
i
Y x
i
A, y, por lo tanto,

1
x
i
Y A, esto es,

1
x
i

Y
. Sean
x
1
, x
2
, . . . , x
n

Y
, entonces, por la denici on, x
1
, x
2
, . . . , x
n
Y A : A , de donde,
i 1, 2, . . . , n : x
i
Y x
i
A, y, por lo tanto,

n
1
x
i
Y A, esto es,

n
1
x
i

Y
. Esto
termina la demostraci on.
2
A
Y
se le conoce como topologa inducida, topologa relativa o subespacio topol ogico. Cuando
una propiedad pasa de una topologa a cualquiera de sus topologas inducidas, se dice que es una
propiedad hereditaria. Por ejemplo, el ser abierto no es hereditario, para verlo consideremos la
topologa usual sobre R, y consideremos
Y
= (1, 2] [3, 4); notamos que (1, 2] no es un abierto
en mientras que s lo es en
Y
.
Diremos que p es un punto lmite de un conjunto A si para cada abierto que contiene a p contiene
al menos un punto de A distinto de p. Adem as, si B es un subconjunto de un espacio topol ogico X,
el conjunto derivada del conjunto B es la colecci on de todos los puntos lmite de B, generalmente
este incluye algunos puntos de B y algunos puntos de su complemento; cualquier punto de B
que no est e en el conjunto derivada es llamado punto aislado ya que debe estar contenido en un
conjunto abierto que no contiene a ning un otro punto de B. Si B no contiene ning un punto aislado,
entonces es llamado denso en s mismo, y si adem as B es cerrado, se dice que es perfecto. De
hecho se tiene que un conjunto es perfecto si y s olo si es igual a su conjunto derivada.
Un conjunto A se dice que es denso en un espacio X si cada punto de X es un punto o un punto
lmite de A. Sea A

es conjunto formado por A unido a sus puntos lmite. Un subconjunto A es

denso en ning un lugar en X si ning un abierto no vaco de X es contenido en A

. Un conjunto
se dice que es de primera categora en X si es la colecci on numerable de subconjuntos densos en
ning un lugar de X, en cualquier otro caso se dice que es de segunda categora. Un espacio se de-
nominar a separable si tiene un subconjunto denso numerable. Se dice que es segundo numerable
si tiene una base numerable; por otro lado, un espacio es primero numerable si en cada punto p
del espacio existe una base local numerable, esto es, existe una colecci on numerable de vecindades
abiertas de p tales que cada conjunto abierto que contiene a p es un miembro de la colecci on. Cada
espacio segundo numerable es primero numerable y separable, la primero numerabilidad es obvia,
mientras que la separabilidad se sigue de la observaci on de que la uni on de un punto de cada ele-
mento de la base forma un subconjunto numerable denso. Un espacio separable no necesariamente
es primero numerable.
Denimos una m etrica para X como una funci on d : X X R
+
0 que satisface para
x, y, z X:
1. d(x, y) = 0 s y s olo si x = y (propiedad reexiva).
2. d(x, y) = d(y, x) (propiedad sim etrica).
3. d(x, y) < d(x, z) + d(y, z) (desigualdad del tri angulo).
A d(x, y) se le llama la distancia entre x y y.
Es posible usar una m etrica para denir una topolga sobre X tomando como una base todas las
bolas abiertas B(x, ) = y X[d(x, y) < . Un espacio topol ogico con una m etrica dada como
su topologa es llamado espacio m etrico.
Sean (X, ) y (Y, ) dos espacios topol ogicos. Consideremos una funci on f : (X, ) (Y, ),
esta es continua si la imagen inversa de cada conjunto abierto es abierto, esto es, si B Y es un
abierto de Y , entonces f
1
(B) es un conjunto abierto de X. Una condici on equivalente es que para
cada x X y cada vecindad N de f(x), existe una vecindad M de x tal que f(M) N. Si se
da esta condici on en un punto particular p, la funci on es continua en el punto p. Probaremos el
siguiente:
Teorema 2. Si f : X Y y g : Y Z son funciones continuas, entonces g f es continua.
3
Demostraci on. Sea A un abierto en Z, entonces g
1
(A) es un abierto en Y ya que g es continua.
Luego, f
1
(g
1
(A)), es un abierto en X. Por lo tanto, g f es continua.
Diremos que f es abierta si la imagen bajo f de cada abierto es un abierto, y es cerrada si la
imagen bajo f de cada cerrado es un cerrado. Para funciones biyectivas, las condiciones de ser
abierta o cerrada son equivalentes.
Una funci on f : X Y biyectiva es un homeomorsmo si f y f
1
son continuas; se dice
entonces que X y Y son topol ogicamente equivalentes u homeomorfas, y son espacios indis-
tinguibles desde el punto de vista topol ogico. Es posible que dos espacios (X, ) y (X,

) sean
homeomorfos, aunque y

no sean id enticas ni comparables; tambi en es posible que dados

A X y B Y , X y Y homeomorfos, A y B sean subespacios topol ogicamente equivalentes
pero que no exista un homemorsmo de X y Y tomando A sobre B. Una propiedad es invariante
topol ogica o propiedad topol ogica si siempre que un espacio topol ogico posee una propiedad
dada, cualquier espacio homeomorfo a el tambi en la tiene.
Decimos que una pareja (A, B) de abiertos no vacos de un espacio X es una separaci on de X si
y s olo si X = A B y A B = . El concepto anterior permite denir que un espacio topol ogico
X es conexo si y s olo si no existe ninguna separaci on de X; asimismo, si existe una separaci on
de X, entonces X es disconexo. Como ejemplos de espacios conexos tenemos a los intervalos en
(R, ) = c
1
, la topologa usual en R, o a cualquier conjunto con la topologa indiscreta. Mientras
que cualquier conjunto con dos o m as elementos y la topologa discreta es un espacio disconexo.
Antes de enunciar una de las propiedades m as importantes de la conexidad, probaremos el siguiente
Teorema 3. Sea o = 0, 1. Un espacio es conexo si y s olo si no existe una funci on continua
f : X o que sea sobreyectiva.
Demostraci on. Si f : X o es sobreyectiva, entonces los conjuntos f
1
(0) y f
1
(1) forman
una separaci on de X. Por otro lado, si X no es conexo, entonces existe una separaci on (U, V ) de
X. Sea f : X o denida como f(x) = 0 si x U y f(x) = 1 si x V . Claramente f es
continua y sobreyectiva.
Ahora, demostraremos que
Teorema 4. Si f es una funci on continua y sobreyectiva de un espacio conexo X sobre un espacio
Y , entonces Y es conexo.
Demostraci on. Por contradicci on.
Si Y no es conexo, entonces por el teorema anterior existe una funci on continua y sobreyectiva
g : Y o. Luego, g f es una funci on continua sobreyectiva de X en o, lo cual contradice el
hecho de que X es conexo.
Por lo tanto, Y es conexo.
Esto nos da un corolario muy importante en topologa:
Corolario 5. La conexidad es un invariante topol ogico.
4
Denimos una cubierta abierta de A, un abierto de X, como una colecci on / de conjuntos abier-
tos cuya uni on contiene a X. Una subcubierta de A es una subcolecci on de / cuya uni on tambi en
es cubierta de A. Con estos conceptos denimos que un espacio topol ogico X es compacto si y
s olo si cada cubierta de X posee una subcubierta nita de X. Tenemos que cualquier espacio nito
es compacto sin importar cual es su topologa y, con mayor generalidad, cualquier espacio con un
n umero nito de abiertos es compacto. A continuaci on se enunciar a un teorema de suma importan-
cia porque permitir a probar f acilmente una de las propiedades m as importantes de la compacidad.
Teorema 6. Si X es un espacio topol ogico compacto y f : X Y es continua y sobreyectiva,
entonces Y es compacto.
Demostraci on. Supongamos que | es una cubierta abierta de Y . Entonces f
1
(U)[U | es
una cubierta abierta de X, y la compacidad de X permite elegir una subcubierta nita f
1
(U
i
)[i =
1, 2, . . . , n de f
1
(U)[U |. Ya que f es sobreyectiva, la colecci on U
i
[i = 1, 2, . . . , n es
una subcubierta nita de Y .
As, tenemos el siguiente
Corolario 7. La compacidad es un invariante topol ogico.
Con todo lo considerado hasta ahora se demostrar a que
Teorema 8. Si X
1
, X
2
, . . . , X
n
son espacios topol ogicos conexos, entonces Y =

n
i=1
X
i
tambi en
es conexo.
Demostraci on. Se probar a el teorema para n = 2 y un argumento inductivo dar a generalidad al
resultado. Si Y no es conexo, por el teorema anterior, entonces existe una funci on sobreyectiva
f : Y o. Sean a = (a
1
, a
2
) y b = (b
1
, b
2
) puntos en Y con f(a) = 0 y f(b) = 1. Denimos
las funciones f
1
: X
1
o y f
2
: X
2
o, si se toma f
1
(x
1
) = f(x
1
, b
2
) para cada x
1
X
1
, y
f
2
(x
2
) = f(a
1
, x
2
) para cada x
2
X
2
. Es f acil ver que f
1
y f
2
son continuas y dado que X
1
y X
2
son conexos, se tiene que f
1
y f
2
deben ser funciones constantes. Ya que f
1
(b
1
) = f(b
1
, b
2
) = 1,
se sigue que f
1
debe ser id entica a 1. Como se tiene que f
2
(a
2
) = f(a
1
, a
2
) = 0, se sigue que f
2
es id entica a 0. Por otro lado, f
1
(a
1
) = f
2
(b
2
) = f(a
1
, b
2
), y por lo tanto se concluye que Y es
conexo.
Por otro lado, tambi en es posible describir a los espacios no conexos como un n umero (posible-
mente no nito) de piezas conexas. Esto lleva a denir, dados un espacio topol ogico X y A un
subespacio de X, que A es una componente de X si y s olo si (i) A es conexo, y (ii) si B es un
subespacio conexo de X que contiene a A, entonces B = A. En efecto, si X es conexo, entonces la
unica componente de X es X mismo. En el otro extremo, si tenemos que X es un espacio discreto,
entonces cada punto de X es una componente. A partir de este ultimo caso decimos que un espacio
no trivial X es totalmente disconexo si y s olo si cada una de sus componentes consisten en un
punto.
Las dos propiedades anteriores est an limitadas por los llamados axiomas de separaci on o axiomas
T
i
, estos determinan de qu e forma distintos puntos o conjuntos cerrados pueden ser separados por
conjuntos abiertos. Para enunciarlos, consideremos un espacio topol ogico (X, ) y tenemos:
5
Axioma T
0
: Si a, b X, existe un conjunto abierto O tal que o bien a O y b / O, o a / O
y b O.
Axioma T
1
: Si a, b X, existen conjuntos abiertos O
a
, O
b
que contienen a a y b respectiva-
mente, tales que a / O
b
y b / O
a
.
Axioma T
2
: Si a, b X, existen conjuntos abiertos disjuntos O
a
y O
b
que contienen a a y b
respectivamente.
Axioma T
3
: Si A es un conjunto cerrado y b es un punto que no est a en A, existen conjuntos
abiertos disjuntos O
a
y O
b
que contienen a A y b respectivamente.
Axioma T
4
: Si A y B son conjuntos cerrados disjuntos en X, existen conjuntos abiertos disjuntos
O
A
y O
B
que contienen a A y B respectivamente.
Axioma T
5
: Si A y B son conjuntos separados en X, existen conjuntos abiertos disjuntos O
A
y
O
B
que contienen a A y B respectivamente.
Si (X, ) satisface un axioma T
i
, es llamado un espacio T
i
. En ocasiones a un espacio T
0
se le
llama espacio Kolmogorov y a un espacio T
1
se le nombra espacio Fr echet. Es pr actica com un
llamar a un espacio T
2
como espacio Hausdorff.
Las primeras dos topologas que se estudiar an son aqu ellas que se pueden denir sobre cualquier
conjunto X, la primera es la topologa discreta, la cual se dene como = T(X), esto es, el
conjunto potencia de X; esta es la topologa m as na para X, ya que cualquier conjunto abierto
de cualquier otra topologa es un conjunto abierto en esta topologa. La segunda es la topologa
indiscreta, denida como = , X; esta es comparable con culquier otra topologa; es claro
que funciones a un espacio con la topologa discreta o la topologa indiscreta son continuas.
Ahora denimos la topologa euclidiana o usual sobre el conjunto de los n umeros reales Rusando
como base a los conjuntos de la forma (a, b) = x R[a < x < b (esto ya se hizo m as arriba).
Dado que esta toploga tambi en es generada por la m etrica d(x, y) = [x y[, donde [x[ denota el
valor absoluto del n umero real x, el espacio m etrico R satisface todos los axiomas de separaci on.
Tambi en se tiene que cualquier subconjunto cerrado A de R es un conjunto G

ya que A =

n=1
donde A
n
es una vecindad de A de radio
1
n
, esto es, A
n
=
xA
B(x, 1/n). Cada punto que no
est a en A est a contenido en una bola de radio que es disjunta de A, y por lo tanto, disjunta de
alg un A
n
. Como ya se dijo antes, R
1
es un espacio conexo.
Con base en la topologa anterior, se dene un n-espacio euclidiano R
n
como el producto de n
copias de R. La topologa producto es generada mediante la base de rect angulos abiertos, con-
juntos formados por el producto cartesiano de un intervalo abierto de cada copia de R. Una base
equivalente consiste en todas las n-esferas abiertas (usualmente llamadas bolas abiertas), las bo-
las m etricas bajo la m etrica d(x, y) = [(x
i
y
i
)
2
]
1/2
. En particular, as obtenemos R
2
con la
topologa usual.
Antes de ver algunas propiedades topol ogicas del plano euclidiano, se revisar an otras topologas de
R. La primera de ellas es llamada topologa de los intervalos semiabiertos, la cual tiene como base
a los intervalos de la forma [a, b), la cual claramente es distinta de c
1
, pues [0, 1) no es un abierto en
la topologa usual, y tampoco (0, 1) es un abierto de la topologa de intervalos semiabiertos, pues la
intersecci on de cualesquiera dos intervalos semiabiertos es un cerrado. Otra topologa com un para
6
R es la generada por los conjuntos de la forma (a, ), que evidentemente tambi en es diferente de
c
1
.
Por el teorema 8 se sigue que c
2
(el plano euclidiano) es conexo (y compacto) pues se obtiene
como c
2
= c
1
c
1
. Existen otras propiedades interesantes sobre c
2
, sin embargo est an fuera del
alcance de la presente investigaci on, por ello se presentar an algunos subconjuntos especiales del
plano R
2
= R R. El conjunto A = (x, y) R
2
[xy 1 es un subconjunto cerrado de R
2
;
la proyecci on : R
2
R que manda (x, y) en x, es abierta, pero no es cerrada ya que (A)
no es cerrado. Otro subconjunto interesante es X el producto cartesiano de R con la topologa
usual y 0, 1 con la topologa indiscreta. En X, la intersecci on de dos conjuntos compactos no
necesaariamente es compacto; sean B = [a, b] 0(a, b)1 y C = (a, b)0[a, b] 1,
ya que cada conjunto abierto que contiene a (a, 0) contiene a (a, 1) tanto B como C son compactos,
pero B C = (a, b) (0, 1) la cual no es compacta porque (a, b) no es compacto; claramente X
no es T
0
, T
1
ni T
2
, pero es T
3
, T
4
y T
5
.
El conjunto de Cantor ( consiste en todos los puntos del intervalo cerrado [0, 1] tales que pueden
ser expresados en base 3 sin usar el dgito 1. Esta representaci on de puntos de ( es unica, a pesar
de que muchos n umeros racionales tienen dos posibles expanciones ternarias tales como
1
3
=
0,10000 . . . = 0,02222 . . . ning un n umero puede ser escrito en m as de una forma sin usar el dgito
1.
Otra forma de obtener el conjunto de Cantor es geom etrica, mediante la eliminaci on de una sucesi on
conjuntos abiertos, conocida como medios tercios, del intervalo unitario [0, 1]. La construcci on
exacta es como sigue: del intervalo cerrado E
1
= [0, 1], primero se quita el intervalo abierto (
1
3
,
2
3
),
y se obtiene E
2
=

0,
1
3

2
3
, 1

. De los intervalos que permanecen, que remueven los intervalos

abiertos (
1
9
,
2
9
) y (
7
9
,
8
9
); para los cuatro intervalos cerrados que resultan, su uni on se designa como
E
3
. De esos cuatro, se quitan los medios tercios como antes para obtener E
4
, la uni on de ocho
intervalos cerrados. El conjunto de Cantor ( es la intersecci on de los intervalos cerrados resultantes:
( =

i=1
E
i
Tenemos que:
1. El conjunto de Cantor es cerrado (y de aqu compacto) porque es la intersecci on de subcon-
juntos cerrados del intervalo unitario [0, 1], cerrado.
2. Por lo tanto ( es un espacio m etrico completo y tambi en satisface todos los axiomas T
i
.
3. Adem as, ( es segundo numerable ya que el intervalo unitario lo es.
4. El conjunto de Cantor es no numerable. Para ello, denimos una funci on f de ( sobre el
conjunto no numerable [0, 1] como sigue: si x ( es escrito de forma unica en base 3 sin
usar el dgito 1, f(x) es el punto en [0, 1] cuya expansi on binaria se obtiene reemplazando
cada dgito 2 en la expresi on ternaria de x por el dgito 1. Claramente todos los puntos en
[0, 1] pueden ser obtenidos mediante tal proceso.
5. ( es denso en s mismo ya que cada abierto que contenga un punto p ( contiene puntos de
( distintos de p. Por lo tanto, ( no es disperso y, ya que es cerrado, es perfecto.
7
6. Las componentes de ( son puntos aislados, pues si a < b son dos puntos en ( existe un
n umero real r / ( tal que a < r < b. Entonces A = ( [0, r) y B = ( (r, 1] es una
separaci on de ( donde a A y b B. Por lo tanto, ( es totalmente disconexo.
7. El producto innito numerable A = H

n=1
A
n
, del espacio discreto de dos puntos A
n
= 0, 2
(para todo n) es homeomorfo al conjunto de Cantor. En (, los elementos de la base consisten
en todos los conjuntos de la forma y[ [x y[ < para x ( y un n umero positivo. En

A
n
, los conjuntos de la forma a
i
)

A
n
[ a
i
es fijo para 1 i n forma una base
para la topologa producto. La funci on f que manda cada punto a
1
, a
2
, a
3
, . . .) de

A
n
al
punto 0.a
1
a
2
a
3
. . . es un homeomorsmo de

A
n
sobre (. Claramente, tanto f como f
1
son continuas, ya que manda elementos de una base en elementos de la otra.
8. Ya que ( es totalmente disconexo no es localmente conexo; pero ( es el producto numerable
de copias del espacio discreto localmente conexo 0, 2.
Conclusiones
Todos los conceptos descritos en este trabajo son de sumo inter es, como en la vida diaria van de
atrapar moscas (como se hace con una botella de Klein) a la relatividad general. Adem as, te ori-
camente da lugar a descripciones maravillas y muy simples de conjuntos complicados, como el
conjunto de Cantor.
Agradecimientos
Un profundo agradecimiento a la Vicerrectora de Investigaci on y Posgrado por las facilidades y el
apoyo brindado para la realizaci on de este proyecto y por acercar la investigaci on a los estudiantes.
Referencias
[1] C. O. Christenson y W. L. Voxman, Aspects of Topology, BCS Associates, Idaho, USA, 2nd
ed., 1998.
[2] Lynn Steen y J. Arthur Seebach, Jr., Counterexamples in Topology, Springer-Verlag, USA, 2nd.
ed., 1978.
[3] Mara del Roco Macas Prado y Fernando Macas Romero, El Teorema de Bolzano-
Weirestrass, Memorias en Extenso del Programa J ovenes Investigadores V, organizado por la
VIEP de la Benem erita Universidad Aut onoma de Puebla, p ags. 1-8, mayo de 2010.
[4] Viridiana Galicia Hern andez y Fernando Macas Romero, Experimentos en Topologa, Memo-
rias en Extenso del Programa La Ciencia en tus Manos IX, organizado por la VIEP de la
Benem erita Universidad Aut onoma de Puebla, p ags. 1-8, mayo de 2009.
8