EJERCICIO

Sea S2 la esfera de radio 1 en R3, S2={(x,y,z)R3 | x2+y2+z2=1}. Demostrar que S2 es una variedad
topolgica de dimensin 2.
DEMOSTRACION
Segn la definicin 2.1, M es una variedad topolgica de dimensin k si M es un subconjunto
localmente eucldeo de Rm con mk. M es localmente eucldeo en Rm si para todo punto x de M
existe una bola abierta B(x,) de centro x y radio >0 en Rm y un homeomorfismo
: U=B(x,)M (B(x,)M) Rk con (B(x,)M) un abierto de Rk.
Por tanto, para demostrar que S2 es una variedad topolgica de dimensin 2 nos bastara con que S2
sea localmente eucldeo en R3 porque 32. Es decir, que para todo punto (x,y,z) de S2 existe un
abierto U en S2 que contiene a (x,y,x) y un homeomorfismo : U (U) R2 con (U) un abierto
de R2.
1) Para todo punto (x,y,z) de S2 diferente de N=(0,0,1) consideremos U=S2-{(0,0,1)} y la
proyeccin estereogrfica de U desde N=(0,0,1) sobre el plano OXY (z=0). hace corresponder a
cada punto (x,y,z) de U las dos primeras coordenadas de la interseccin entre la recta determinada
por los puntos diferentes N y (x,y,z) y el plano OXY.
(x,y,z)=(x/(1-z) , y/(1-z))
es homeomorfismo porque es biyectiva, continua (z1) y su inversa tambin es continua.
-1(x,y) es la interseccin de la recta determinada por los puntos (x,y,0) y N=(0,0,1) con la esfera S2.
U es abierto en S2 porque U=S2-{(0,0,1)}= S2 ( R3{(0,0,1)}) y R3{(0,0,1)} es abierto en R3.
(U) = R2 que es abierto en R2.
-1(R2)=S2-{(0,0,1).
Es decir, S2-{(0,0,1) es localmente eucldeo en R3.
2) Para el punto (0,0,1) sea S=(0,0,-1) y consideremos U=S2-{(0,0,-1)} y la proyeccin
estereogrfica de U desde S=(0,0,-1) sobre el plano OXY (z=0).
(x,y,z)=(x/(1+z) , y/(1+z)) que es continua ( z-1) y homeomorfismo.
Anlogamente U es abierto en S2 y (U) = R2 que es abierto en R2.
Es decir, (0,0,1) es localmente eucldeo en R3.
De 1) y 2) se deduce que S2-{(0,0,1)(0,0,1)= S2 es localmente eucldeo en R3 y por tanto S2 es una
variedad topolgica de dimesin 2.