UNIVERSIDAD NACIONAL JOS FAUSTINO SNCHEZ CARRIN

TOPOLOGA

Facultad de Ciencias e Ingeniera

Lic. Mat. Jorge Luis Rojas Paz
Docente de introduccin a la topologa

HOMEOMORFISMOS
Homeomorfismos:
Sean M y N espacios mtricos. Un homeomorfismo de M sobre N es una biyeccin
continua f : M
N cuya inversa f 1 : M N tambin es continua. En este caso
se dice que M y N son homeomorfos.
Puesto que de la composicin de aplicaciones biyectivas resulta otra aplicacin
biyectiva y de la composicin de aplicaciones continuas resulta una nueva
aplicacin continua se concluye que la composicin de homeomorfismos es
tambin un homeomorfismo.
Daremos a continuacin un ejemplo interesante de homeomorfismo cuya
construccin espero sirva de gua para alumnos que quieren iniciarse en el
fascinante mundo de la topologa.
Sea P= (0., 0,1) el polo norte de la esfera unitaria n-dimensional

sn

x Rn 1; x 1

. La esfera unitaria n dimensional menos el polo norte

constituye un espacio homeomorfo al espacio euclidiano Rn .

En efecto:
Para efectos didcticos construiremos tal homeomorfismo considerando como
polo norte el punto P = (0,0,1) y la esfera unitaria 2-dimensional

s2

x R3 ; x

1.

Z
L
P

X
R
La recta L que pasa por el polo norte corta a la esfera S2 en el punto Q como se
aprecia y toca al plano en el punto R.
Facultad de Ciencias e Ingeniera

Pgina 1

UNIVERSIDAD NACIONAL JOS FAUSTINO SNCHEZ CARRIN

TOPOLOGA

Entonces podemos escribir la ecuacin de la recta L de la siguiente manera:

L : P t(PQ) R; t R
Siendo P=(0,0,1);Q=(a,b,c) y R=(x,y,0) la ecuacin anterior se escribir como

(0,0,1) t (a, b, c 1) ( x, y,0)

(at, bt,1 t (c 1)) (x, y,0)
1 t (c 1) 0
t (c 1) 1
1
t
1 c
a
b
Por consiguiente x
;y
1 c
1 c
De esta forma hemos construido la funcin
f : S2

R2 , definida por:

(a, b, c)

f (a, b, c)

1 c 1 c

As mismo la ecuacin de la recta L puede escribirse tambin como:

L : P t (PR) Q ; t R

Reemplazando los puntos P, Q, R por sus respectivas coordenadas

Como

(a, b, c) (0,0,1) t (x , y , 1)
(a, b, c) (tx, ty,1 t )
a tx; b ty; c 1 t
(a, b, c) S 2 P tenemos
(tx)2 (ty)2 (1 t )2 1
t 2 x2 t 2 y2 1 2t t 2 1
tx2 ty2 2 t 0
2
t
2
1 x y2

2x
2y
2
lo cual nos
;b
;c 1
2
2
2
2
2
1 x y
1 x y
1 x y2
permite construir la funcin f 1 : R2 S 2 P definida como:
Por consiguiente a

( x, y)

f 1 ( x, y)

2x
2y
2
;
;1
2
2
2
2
2
1 x y 1 x y
1 x y2

La cual constituye la funcin inversa de la funcin f .

Facultad de Ciencias e Ingeniera

Pgina 2

UNIVERSIDAD NACIONAL JOS FAUSTINO SNCHEZ CARRIN

TOPOLOGA

Ahora bien una breve inspeccin muestra que

( f f 1 )( x, y) ( x, y)
( f 1 f )(a, b, c) (a, b, c)
Lo cual garantiza que f sea biyectiva.
F es continua
En efecto: Dado que
desigualdades

(a, b, c) S 2

1
1
1
2
0

a
b
c
c
1

(0,0,1)

se tienen las siguientes

1
1
1
1 0
c 2 1 c 0

Po lo tanto se deduce de ellas que la funcin f (a, b, c)

definida en todo punto (a, b, c) S 2
Si
a,b,c

S2

a0 , b0 , c0

lim

a0 ,b0 ,c0

1 c 1 c

est bien

(0,0,1) , entonces:

P es un punto arbitrario se tiene el siguiente resultado

f (a, b, c)

a,b,c

lim

a0 ,b0 ,c0

prueba que f es continua en S 2

1 c 1 c

f a0 , b0 , c0

, lo que

(0,0,1) .Un argumento similar garantiza la

continuidad de f 1 .
F es sobreyectiva ejercicio!
Generalizando
Del anlisis hecho se sigue que el homeomorfismo entre la esfera unitaria
n-dimensional

sn

x Rn 1; x 1

menos el polo norte P y el espacio

euclidiano Rn queda definido de la siguiente manera

f : Sn
( x1,..., xn 1)

f ( x1,..., xn 1)

Rn
x1
x
;...; n
1 xn 1
1 xn

El mismo que es conocido como la proyeccin estereogrfica. Su inversa es dada

por f

: Rn

( x1,..., xn )

Sn

P la misma que queda definida de la siguiente manera:

f 1 ( x1,..., xn )

2x1
2xn
2
;....;
;1
2
2
2
2
1 x1 ... xn
1 x1 ... xn
1 x1 ... xn2
2

y que constituye tambin un homeomorfismo.

.
Facultad de Ciencias e Ingeniera

Pgina 3

UNIVERSIDAD NACIONAL JOS FAUSTINO SNCHEZ CARRIN

TOPOLOGA

BIBLIOGRAFA

ELON LAGES LIMA, Espaos Mtricos, 2a.edicin, Projeto

Euclides 1983.
ELON LAGES LIMA, Curso de Anlise, vol.1 Coleao Projeto
Euclides, CNPq, 1976.
ELON LAGES LIMA, Elementos de Topologia Geral, Ao Livro
Tecnico, Rio, 1970
JUAN MONTERDE, Espacios Mtricos y Geometra Riemanniana,
Universitat de Valencia.

Facultad de Ciencias e Ingeniera

Pgina 4

UNIVERSIDAD NACIONAL JOS FAUSTINO SNCHEZ CARRIN

Facultad de Ciencias e Ingeniera

TOPOLOGA

Pgina 5