6 Homeomorfismos –o geometría del caucho–

O
En teoría de conjuntos, dos conjuntos A, B se definen equivalentes —iguales en algún sentido
y el sentido es precisamente la definición de la relación de equivalencia— si ellos tienen el mismo

AN
cardinal, es decir, si existe una biyección f : A °! B . Que f sea una biyección también se puede
expresar diciendo que existe g tal que f ± g = 1B y g ± f = 1 A .
Al querer generalizar este concepto a los espacios topológicos, a más de la cardinalidad,
parte inherente a los conjuntos, debemos pedir una relación entre las topologías de los dos
espacios. En una categoría cualquiera D dados dos objetos A, B decimos que son equivalentes
isomorfos si existen f 2 Mor (A, B ) y g 2 Mor (B, A) tales que f ± g = 1B y g ± f = 1 A . Modelando
esta definición para el caso de los espacios topológicos obtenemos la siguiente definición.
BI
6.1. Homeomorfismos

Definición 6.1. Dados dos espacios (X , T ), (Y , H) decimos que X es homeomorfo a Y —o que

U
X es topológicamente equivalente a Y y notamos X º Y — si existe una biyección f : X °! Y
con f y f °1 continuas.
La función f se llama un homeomorfismo y
.R

U 2 T () f (U ) 2 H.

Un homeomorfismo f no es tan solo una relación biunívoca en-

tre los elementos de los espacios, sino que también lo es entre los
elementos abiertos de las topologías respectivas.
Por tanto, cualquier afirmación sobre un espacio que se exprese solo en términos de conjun- 
G

tos abiertos, junto con las relaciones y operaciones entre estos, es cierta para (X , T ) si y solo si lo
es para (Y , H).
La relación de homeomorfismo definida en la clase de todos los espacios topológicos es de
equivalencia —demuéstrelo—. Y el gran objetivo de la topología es determinar qué espacios
pertenecen a una misma clase de equivalencia. A cambio de estudiar cada espacio de manera
individual, estudiamos su clase de equivalencia.

77
78 Homeomorfismos –o geometría del caucho–

EJEMPLO 6.1
La redondez —es una sensación— no afec-
............
........ ......
ta para nada el hecho que dos subespacios .......
......
.......
....... . .... .....
.... .....
.... ..... ...

topológicos de Rn sean homeomorfos. Da-

...... ...
....... .... ...
...
......... ... ...
....... ..
.
........
.
....
L .
.
.
..
.
..
.. S
do el segmento de recta L y el arco de cir- p• ... .
....................................................................................................................................
.......
.. ..
......
....... .
. ...
....... ..
.
. .
...
....... ... ..
cunferencia S, ellos son homeomorfos y el
....... . ..
....... .
...... .... ...
....... ..
....... ..... .....
.......
....... . .... .....
homeomorfismo f es definido como en el ......... .. ...
.............

dibujo que muestra la proyección desde p.

O
EJEMPLO 6.2
El tamaño —es subjetivo— no interesa en topología, por ejemplo el intervalo (°1, 1) y R, cada
uno con la topología usual, son homeomorfos mediante f : R °! (°1, 1) definida como f (x) =

AN
x
, la cual es un homeomorfismo. Note que f tiene como inversa a g : (°1, 1) °! R donde
1 + |x|
x
g (x) = .
1 ° |x|

Los dos ejemplos anteriores se pueden combinar en el siguiente.

EJEMPLO 6.3
BI
La proyección estereográfica de S 2 °{p} en R2 , donde el punto p = (0, 0, 1) es el polo norte.

La función F es un homeomorfismo de S 2 °{p} en R2 ,

≥ x y ¥
F (x, y, z) = , ,0 .
1°z 1°z
U
F tiene como inversa a
µ ∂
2u 2v u2 + v 2 ° 1
G(u, v, 0) = 2 , , .
u + v 2 + 1 u2 + v 2 + 1 u2 + v 2 + 1
.R

La proyección estereográfica envía a una circunferencia ‘paralela’ al ecuador en una circunfe-

rencia del plano y si la circunferencia es cada vez más cercana al polo su imagen será cada vez
más grande en el plano. Un meridiano se envía en una línea recta.
Hay que estar atentos a los espacios involucrados. La función
f : [0, 1) °! S 1 que ‘dobla’ al intervalo sobre la circunferencia —como si fuesen de alambre—
f (x) = (cos 2ºx, sin 2ºx) es biyecctiva y continua pero no un homeomorfismo: la imagen de [0, 12 )
G

no es un abierto en S 1 .
Las deformaciones realizadas sobre una estructura de goma o caucho
en el sentido de poder moldearla y darle una forma arbitraria con
tal de no perforarla, ni cortar de ella pedazos para suprimirlos o
trasladarlos de lugar, son tan solo una manera vulgar —en el sentido
de vulgo— de cómo construir espacios homeomorfos a partir de uno
dado. El sentido de homeomorfismo es mucho más amplio y formal.
6.1 Homeomorfismos 79

p
........................................................................................................
...
..............................................
...
.... ........
....
...
...
.... S2 ......
..... .. . ... . .............. ...
...
. ...
.
..
.. . . . ...... ...
...
...... .. . .. .. .... ...
.. . .
...
..
.
...
.
..
..
.
..
...
...........
(x, y, z)
.
.............
.......
....
...
...
....
...
.
. .
. .... .
.
. . . . . .
. . . ........... ... ...
. . . . . .. ...... . ....
.... ... . .. ...
..
.
... ....
...
. . .
.
.
.
.......
...
......
...
...
... .... ... .... .
. ...
. ... . . .. . . ... ....... ...
..
...
.....
.
. .
...
... ..
. .
..
.
.
. ......
. . . . . . . . ... . .
. .
.
.
. • ...
. ....
...
....

...
...
.
.
•
.... ..
...
.
.
...
.
........
.
. F (x, y, z) ...
...
...
. . .. ..
.......................................................................................................................................................................................................................................................................
...... ...
...
........ .
.........................................
R2

O
Figura 6.1: La proyección estereográfica

AN
BI
Por ejemplo, esta figura como subespacio de R3 es homeomorfa
U
al toro sin que sea posible deformar la una en la otra —a la manera
del caucho—. Se trata simplemente de un Toro enredado como una
manguera —no nos importa el número de vueltas— donde la única
manera de desenredarlo sería cortando, lo que es interpretado
como un paso no continuo.
.R

Otro ejemplo es pensar en la cinta de Möbius1 , una tira de

papel donde los bordes más pequeños se pegan —identifican—
después de dar un giro de media vuelta. (Ver ejemplo 7.2).
Dos cintas de Möbius (ver fig. 6.3) son homeomorfas si ambas tienen un número impar
de giros. Ellas son homeomorfas aunque en este mundo real —de tres dimensiones— nos
G

sea imposible deformar la una en la otra a menos de romperlas. Si el número de giros es par,
obtenemos un espacio no homeomorfo a la cinta de Möbius; se trata en efecto de un cilindro.
Claro que la posibilidad o no de deformación manual en estos ejemplos tiene relación directa
con la dimensión del espacio en que los hemos construido y el espacio 3-dimensional en que
1
August Ferdinand Möbius (1790-1868), matemático y astrónomo alemán. Hizo el descubrimiento de esta
superficie cuando era profesor en la Universidad de Leipzig. El nombre de Möbius está ligado con muchos objetos
matemáticos importantes, como la función de Möbius, que introdujo en su artículo de 1831 Über eine besondere Art
von Umkehrung der Reihen (Sobre una forma especial de invertir las series), y la fórmula de inversión de Möbius.
80 Homeomorfismos –o geometría del caucho–

Figura 6.2: Cinta de Möbius.

O
AN
Figura 6.3: Cintas de Möbius homeomorfas con diferente número de giros.

actuamos.
BI
U
Figura 6.4: Anillos homeomorfos.

Así como un nudo no se puede desatar en dos dimensiones sin romperlo, es por ello que su
.R

representación sobre una hoja de papel necesariamente da el sentido de autointersección, mientras

que en tres dimensiones sí lo podemos desatar o su representación no se intercepta, seguramente
en un mundo de cuatro dimensiones podríamos desdoblar la cinta de Möbius sin romperla para
deformar una de tres giros a una de tan solo un giro. Algunas veces los autores prefieren eliminar
este problema de la dimensión y la realización, suponiendo que en un modelo 3-dimensional la
autointersección no existe, por ejemplo la representación de una botella de Klein (ver fig. 6.5).
Es como si el grosor no existiese; en efecto, son verdaderas superficies de espesor igual a cero y,
G

la botella pudiera pasar a través de sí misma.

Por esto no es nada nuevo que, al pintar un nudo en dos dimensiones, su intersección la
representamos como pasar por encima un trazo de línea sobre el otro —uno de los dos es
interrumpido—.
Una de las construcciones más famosas en cuatro dimensiones es el hipercubo —algo como
un cubo de cubos— el cual fue imaginado en tres dimensiones —desdoblado— y utilizado por
Salvador Dalí en su pintura del año 1954 Hipercubo de Cristo (figura 6.6).
6.1 Homeomorfismos 81

O
AN
Figura 6.5: Botella de Klein.

BI
U
.R

Figura 6.6: Hipercubo de Cristo.

G

EJEMPLO 6.4
La circunferencia se deforma en un cuadrado. Sean la circunferencia S 1 = {(x 1 , x 2 ) : x 12 + x 22 = 1} y
el rombo R = {(x 1 , x 2 ) | |x 1 | + |x 2 | = 1}.

µ ∂
1 x1 x2
Definimos f : S °! R como f ((x 1 , x 2 )) = ,
|x 1 | + |x 2 | |x 1 | + |x 2 |
82 Homeomorfismos –o geometría del caucho–

.......
...
................. .......................
......
.....
.... .......
la cual es una biyección continua, con inversa también con-
...... ..... .... ....
..... ....
tinua
..... ....
.... .... ....
... ... ....
....
...
.
.... ... .
..... ....
. ... ....
.... ... ......
. ....
....
....
. ... ....
°1
µf ((x 1 , x 2 )) =
....
..
... f .. . .......
..
. ....
....
..
∂
. ... .
... .. ............................................. ....... ....
... .
. .... ....
... ....
x1 x2
... .. .... .
..
....
...
... ....
.
.... ......
.
... .. .... ...

, .
... ... ... ....
.... ... .... ....
..... .... .... ....
..... .... ...

(x 1 2 + x 2 2 )1/2 (x 1 2 + x 2 2 )1/2
...... ....
....... ...... ....
........... ....... .... .....
............................. ....

Verifique que las compuestas de estas dos funciones corres-

ponden a la identidad respectiva.

O
EJEMPLO 6.5
El plano punteado se deforma en un cilindro infinito.

AN
Sean el plano punteado X = R2 ° {(0, 0)} y el cilindro infinito
Y = {(x 1 , x 2 , x 3 ) | x 1 2 + x 2 2 = 1}.
Definimos h : X °! Y como
BI
µ ∂
1 x1 x2
h((x 1 , x 2 )) = 2 2 1/2
, 2 2 1/2
, l og (x 1 2 + x 2 2 )
(x 1 + x 2 ) (x 1 + x 2 ) 2

donde
U
° ¢
h °1 ((x 1 , x 2 , x 3 )) = x 1 e x3 , x 2 e x3 .
.R

. ... . . ..
.. . .......... .. .. . .... .... .... .... .... .... .... .... .
.. ... .. .. .... ... ... ...
.. .. .. .. .... .. . ...
.. .. .... . . .. ..
.... ..
. .
.....
. . ... ..
.. .. . .
. . . .. .. .. . ....
.....
.. .. . . ... .. .. .. ... ...
. .... ....
.. .. . . .... .. .. .. .... .... .... ..
.. ...
.. ....
.. .. ..... . .. .. .... .... .... ..
.. .... .... .... .... .... .... .... .... ...
.. . .. .. . . . .. . .. .... ...
...
. . .
. . ...
.
.. . .. .
.. .. .. ... .. .. ..... .....
..
.. .. .. .. h ... ...
G

.. .... . .
. .. .. .. . . ... . . .. . . . .. ..... .....
. . ..
............................................................................................................................................................. ...................... .. ..
. .. . . . .... ....
.. .. . . ... .. .. ..
.. . . .... .. . .. .. .... ....
.. . .
.. .. .. .... .. .. .. ..... .....
.. . .. .. .
. .. .. ... ...
. . . . . . ..
..
. . .. .. . ..... .... .... ....
.... .... .... .... .... .... .... ...
.. .. ... .. .. .. . .... ..
. . .... .... . ....
.. .. .. ..... . . .. .. ...... .... ... ...
. .. .. .. ...
. .. .. .....
.....
..
. . . . . . ...
.. .. ..... .. .. ...
.. .. . . ... .. .. ....
.... . . ..
..
.. .. . . .... . .. .. ... .... ... ...
.. .. .. ... . .. .... .... .... .... .... .... .... .... .... .... .
.. .. .. .. . ..

Figura 6.7: Del plano punteado al cilindro infinito.

6.1 Homeomorfismos 83

Ejercicios 6.1

1. En un espacio la función idéntica es un homeomorfismo.

2. La composición de homeomorfismos es un homeomorfismo.

O
3. Una biyección f : X °! Y entre espacios es un homeomorfismo si y solo si

a) Para cada x 2 X , f transforma la colección V (x) exactamente en la colección V ( f (x)).

b) f envía la colección de todos los conjuntos abiertos de X exactamente en la colección

AN
de todos los conjuntos abiertos en Y .
c) Si B es una base para la topología en X entonces

f (B) := { f (B ) | B 2 B}

es una base para el espacio Y .

BI
4. Muestre que toda isometría f —d (x, y) = m( f (x), f (y))— de un espacio métrico sobre otro
es un homeomorfismo para las topologías inducidas por las respectivas métricas.

5. Considere las veintinueve topologías posibles para X = {a, b, c}.

¿Cuántas clases de equivalencia existen en Top(X )? (ver pág. 13).
U
6. Para X = {0, 1, 2, 3} considere las topologías

a) U = {X , ;, {0}, {0, 1}, {0, 1, 2}, {1}}

b) V = {X , ;, {0}, {0, 1}, {0, 1, 2}}.
.R

La función i d X : (X , U ) °! (X , V ) es biyectiva, continua, pero no es un homeomorfismo.

7. Muestre que dos espacios discretos son homeomorfos si y solo si tienen la misma cardina-
lidad.
G

8. Sea f : (X , T ) °! (Y , H ) un homeomorfismo y sea (A, T A ) un subespacio de X . Muestre

que la restricción
f | A : (A, T A ) °! ( f (A), H f (A) )

es un homeomorfismo.

9. Sean (X , ∑), (Y , E) espacios totalmente ordenados. Una biyección f : (X , T∑ ) °! (Y , TE ) es

un homeomorfismo si y solo si f es estrictamente creciente.
84 Homeomorfismos –o geometría del caucho–

6.2. Invariantes topológicos

Algunos autores definen la topología como el estudio de las propiedades del espacio que
permanecen invariables cuando el espacio se somete a homeomorfismos. Llamamos a estas
propiedades invariantes topológicos.
Por ejemplo, la propiedad que tiene la circunferencia de dividir el plano en dos regiones
—teorema de Jordan2 — es un invariante topológico; si transformamos la circunferencia en una

O
elipse, o en el perímetro de un triángulo, etc., esta propiedad se mantiene.
Por el contrario, la propiedad que tiene la circunferencia de poseer en cada punto una única
recta tangente no es una propiedad topológica, pues el triángulo no la posee en cualquiera de
sus puntos vértices, a pesar de poderse obtener como una imagen homeomorfa del círculo.

AN
Definición 6.2. Una propiedad P del espacio X se llama un invariante topológico si todo espa-
cio Y º X también satisface a P .

Cualquier propiedad que sea definida en términos de los miembros

del espacio y de la topología será automáticamente un invariante
topológico. Formalmente, la topología es el estudio de los invariantes
topológicos.
BI
EJEMPLO 6.6
La propiedad de ser 2-contable es un invariante topológico.

En efecto, sean (X , T ), (Y , H ) espacios homeomorfos y X 2-contable; si h : X °! Y es un homeo-

U
morfismo y B = {B 1 , B 2 , . . .} es una base para X , veamos que h(B) = {h(B 1 ), h(B 2 ), . . .} es una base
para Y . Sean V un abierto de Y y y 2 V , entonces existe U tal que h °1 (y) 2 U y h(U ) µ V . Por ser
B una base, existe B i tal que h °1 (y) 2 B i µ U . Luego y 2 h(B i ) µ h(U ) µ V .
.R

Nota. La propiedad de ser Lindeloff es un invariante topológico, pero aún más: tan solo utiliza-
mos la continuidad de h para demostrar la invarianza topológica —es decir, la imagen continua
de un espacio de Lindeloff es de nuevo de Lindeloff —. Sin embargo, este no siempre es el caso, es
decir, existen propiedades donde no es suficiente la continuidad en un solo sentido; por ejemplo

i d R : Ru °! (R, g r oser a)
G

es continua, mientras que el primer espacio es de Hausdorff y el segundo no. Demuestre que sin
embargo ser Hausdorff es un invariante topológico.
2
Camille Jordan (Lyon 1838-París 1922), matemático francés, conjeturó y creyó haber demostrado el teorema
que llevaría su nombre, pero dicha demostración era incorrecta y no pudo vencer esta dificultad. Murió sin haberlo
demostrado rigurosamente. La primera demostración satisfactoria del teorema de Jordan debió esperar hasta 1905,
y se debe a O. Veblen. Más tarde surgieron generalizaciones para n dimensiones con E. J. Brower, demostradas por J.
W. Alexander en 1922.
6.2 Invariantes topológicos 85

La utilidad de los invariantes topológicos es obvia en el sentido que,

si pretendemos saber cuándo dos espacios topológicos son equiva-
lentes, basta encontrar una propiedad que sea invariante y uno de
los dos espacios la posea mientras que el otro no, lo cual establece
que no pertenecen a una misma clase.
Las siguientes son algunas de las preguntas elementales con respecto a las propiedades que
son invariantes:

O
¿Cuándo los subespacios heredan la propiedad?

¿Cómo se comportan las funciones continuas con respecto a la propiedad?

¿La propiedad se comporta de manera especial en los espacios métricos?

AN
¿La propiedad es productiva? —comportamiento en el producto de espacios—.

El hecho de que un espacio sea metrizable obliga a que todos sus espacios equivalentes
también lo sean.

Teorema 6.3. Sean (X , T ), (Y , H ) espacios homeomorfos y h : X °! Y un homeomorfismo. Si X

es metrizable entonces Y es metrizable.
BI
Demostración. Sea d una métrica en X que genera la topología T . Definimos

d § : Y £ Y °! R, como d § (y 1 , y 2 ) := d (h °1 (y 1 ), h °1 (y 2 )).

d § es una métrica, ¡demuéstrelo!. Veamos que si W = hd § i entonces W = H . Primero verifique-

U
mos que H µ W , i. e., que si V 2 entonces V se puede expresar ° como
¢ reunión de bolas en d .
Sean V 2 H y y 2 V ; como h °1 (y) 2 h °1 (V ) 2 T , existe B "d h °1 (y) µ h °1 (V ) —una bola según
§ §
d — y para este " se tiene que B "d (y) µ V , pues dado z 2 B "d (y) —lo que es igual a decir que
d § (y, z) < "— tenemos d (h °1 (z), h °1 (y)) < ", lo que implica h °1 (z) 2 B "d (h °1 (y)) µ h °1 (V ), es
decir z 2 V .
.R

§ §
°Para ver¢ que W µ H tomemos
° W 2¢ W y z 2 W . Existe B "d (y) con z 2 B "d (y). Como h °1 (z) 2
B "d h °1 (y) tenemos z 2 h B "d (h °1 (y)) . Pero B "d (h °1 (y)) 2 T implica h(B "d (h °1 (y))) 2 H pues h
§ §
es homeomorfismo y además h(B "d (h °1 (y)) está contenido en B "d (y); por tanto, B "d (y) es unión
de elementos de H y esto implica que W también es unión de elementos de H .

La siguiente definición da una propiedad invariante bajo homeomorfismo, la cual es tema

G

central de muchos y diversos tópicos en matemáticas.

Definición 6.4. Un espacio X tiene la propiedad del punto fijo PPF si cada función continua
f : X °! X deja al menos un punto fijo; esto es, existe un x 2 X tal que f (x) = x.

Encontrar una condición necesaria y suficiente para que un espacio X tenga la PPF no es
fácil; en cambio, esta propiedad nos ayuda a decidir en algunos casos no triviales si dos espacios
son equivalentes o no.
86 Homeomorfismos –o geometría del caucho–

Teorema 6.5. La PPF es un invariante topológico.

Demostración. Sea h : X °! Y un homeomorfismo entre espacios. Si X tiene la PPF, veamos

que Y también la tiene. Dada la función continua f : Y °! Y queremos encontrar un y 2 Y
tal que f (y) = y. La función h °1 ± f ± h de X en X es continua y por tanto tiene un punto fijo a,

O
(h °1 ± f ± h)(a) = a, con lo que f (h(a)) = h(a); tomando y = h(a) obtenemos el punto fijo para
f.

AN
EJEMPLO 6.7
El intervalo unidad I = [0, 1] con la topología de subespacio de los reales tiene la PPF.

En efecto, dada f : I °! I continua, definimos g : [0, 1] °! R como g (x) = f (x) ° x; lo que g

hace es medir la distancia entre (x, x) y (x, f (x)). Luego necesitamos ver que g (x) es igual a cero
en algún punto de [0, 1]. Si f (0) = 0 o f (1) = 1 ya lo hemos encontrado. Si f (0) > 0 y f (1) < 1,
BI
tenemos que g (0) > 0 y g (1) < 0. Como g es continua, por el teorema de Bolzano del cálculo
elemental, existe x tal que g (x) = 0.
U
EJEMPLO 6.8
Los subespacios [0, 1] y (0, 1) de R no son homeomorfos, ya que el segundo no posee la PPF
—¿por qué?—.
.R

Uno de los teoremas del folklore de la teoría de puntos fijos —su

demostración usual utiliza técnicas de la topología algebraica— co-
nocido como el teorema del punto fijo de Brower asegura que un
G

disco cerrado —homeomorfo al cuadrado [0, 1]£[0, 1]— tiene la PPF.

Una manera física de interpretar este teorema es la siguiente: tome
una taza de café, revuelva suavemente el contenido y espere hasta
que el café deje de moverse. Cada partícula de café tiene una posi-
ción inicial y una final. Como el movimiento fue suave, los puntos
de la superficie, homeomorfa a I £ I , permanecen superficiales, de
tal suerte que debe existir un punto que regresa a la posición inicial,
esto es, su café no quedó bien revuelto.
6.2 Invariantes topológicos 87

Ejercicios 6.2

1. ¿S 1 y (0, 1) con la topología usual son homeomorfos?

2. Muestre que S n no tiene la PPF para cada n 2 N.

3. Sea X un espacio discreto (resp. indiscreto) y sea Y un espacio. Demuestre que Y º X si y

O
solo si Y es discreto (resp. indiscreta) y X y Y tienen el mismo cardinal.

4. Muestre que en R, Tx º T y para todo x, y 2 R.

5. Muestre que (R, [a, !)) y (R, Tx ) no son homeomorfos.

AN
6. * Sea f : (X , T ) °! (Y , H ) una biyección. Muestre que f es un homeomorfismo si y solo si
H es la topología más grande sobre Y de las que hacen continua a f .

7. Considere en el producto N £ [0, 1) el orden del diccionario o lexicográfico y en R∏0 la

topología inducida por la usual de R. Pruebe que estos espacios son homeomorfos.
BI
U
.R
G