VD c2

Captulo 2
Variedades diferenciables
Es este captulo seran estudiados espacios topologicos que localmente son difeo-
morfos a subconjuntos abiertos de algun espacio euclidiano. A partir de ahora, Rn
(n 1) sera considerado con su topologa usual, es decir, la topologa generada
por la metrica euclidiana. Una variedad diferenciable es una generalizacion de las
superficies regulares k-dimensionales estudiadas en un primer curso de geometra
diferencial. Aunque una superficie regular siempre esta contenida en algun Rn ,
veremos que una variedad diferenciable no necesariamente lo esta, y aun as local-
mente se parece a algun espacio euclidiano. Este parecido local es expresado por
un conjunto de funciones que se encargan de transformar porciones adecuadas
de una variedad diferenciable en bolas abiertas o conjuntos abiertos de algun Rn .
Es mas, si una de estas porciones es difeomorfo a algun abierto de Rn , entonces
todas las porciones que elijamos deben tener esta propiedad, es decir, todas deben
ser difeomorfas a abiertos de espacios euclidianos de la misma dimension.
En la definicion de variedad diferenciable, algunos consideran que dichos espa-
cios deben ser Hausdorff y segundo contable. Aunque pareciera que estos son
demasiados requisitos, en realidad la mayora de los espacios que aparecen en
las aplicaciones tienen estas propiedades. De ah que la tendencia sea considerar
estas exigencias desde la definicion misma. Ver por ejemplo el captulo 1 en [3]
(aunque este autor supone la segunda enumerabilidad luego de definir variedad
diferenciable sin esta condicion), vea tambien los captulos 1 en [14], 1 en [16],
8 en [21], 1 en [27], 2 en [28], 1 en [29], 1 en [40], 5 en [41], 5 en [49] y 7 en
[50], entre otros. Adoptaremos aqu la oponion de la mayora, y en su momento
aclararemos con ejemplos la existencia de espacios localmente homeomorfos a
espacios euclidianos, pero que no son Hausdorff o no tienen base contable.
33
34 2.1. Espacios localmente euclidianos
2.1. Espacios localmente euclidianos

D EFINICI ON 2.1. Un espacio topologico (X, T ) es localmente euclidiano si pa-
ra cada x X existen un entero m 0, algun elemento V T , con x V , un
abierto U en Rm y un homeomorfismo : V U .
En este caso, el entero m d(x) se denomina dimension local de X en x.
E JEMPLO 2.1. Considere el subespacio topologico de R3 ,
M := {(x, 0, 1) : y R} {(x, y, z) : z = 0}
Sea M1 = {(x, 0, 1) : y R} y M2 = {(x, y, z) : z = 0}. Es claro que

M1 M2 = , y ademas estos conjuntos son abiertos en M . Entonces dado cual-
quier cualquier punto p M , si p M1 , basta elegir V = M1 y : V R
definida como (x, 0, 1) = x. Si p M2 considere V = M2 y : M2 R2 dada
como (x, y, 0) = (x, y). En cada caso se obtiene un homeomorfismo entre un
abierto de M y un abierto de un espacio euclidiano y, por tanto, M es localmente
euclidiano. Observe que en cada punto de M1 la dimension local es 1 y en M2 la
dimension local es 2.
M1
(x,0,1) (x,y)
x j y
2
R
(x,y,0)
R M2
Fig. 2.1: Espacio localmente euclidiano
E JEMPLO 2.2. Considere el conjunto R provisto de la topologa del comple-

mento finito (o tambien llamada topologa co-finita), denotada por Tcf . Bajo esta
topologa, un conjunto U R es abierto si, y solo si, U = o R U es finito.
1. Cada subespacio S de (R, Tcf ), tiene tambien la topologa del complemento

finito.
En efecto, si U S es abierto en la topologa de subespacio, entonces existe
algun A Tcf tal que U = A S. Como A Tcf , este es de la forma
A = R F para algun conjunto finito F R, luego
U = (R F ) S = S (S F ),
O. Santamaria S.
Cap. 2: Variedades diferenciables 35
y como S F es finito, se concluye que U es abierto en la topologa co-finita

sobre S.
Recprocamente, suponiendo que U es abierto en la topologa del complemento
finito sobre S, entonces este conjunto es de la forma U = S F , para algun
conjunto finito F S. Pero siendo F finito, el conjunto R F es elemento
de Tcf , luego (R F ) S = S F = U , es decir, U es abierto en la topologa
de subespacio.
2. El espacio (R, Tcf ) es no-Hausdorff. En efecto, dados dos puntos cualesquiera
x, y R tales que x = y, entonces para todo par de vecindades U, V Tcf , de
x e y respectivamente, se tiene U V = . Pues si fuera U V = entonces,
en particular, V X U , lo cual es imposible, pues V es infinito y R U es
finito.
3. Considerando ademas a Rn (n 1) con la topologa usual, toda funcion conti-
nua : (R, Tcf ) Rn es constante. En efecto, si no fuera constante existen
x, y X tales que x = y y (x) = (y). En la topologa usual existen abiertos
U Rn y V Rn tales que (x) U , (y) V y U V = . La con-
tinuidad de implica que tanto 1 (U ) como 1 (V ) son elemento de Tcf .
Ademas de esto, la igualdad U V = implica que 1 (U ) 1 (V ) = ,
sin embargo esta ultima igualdad es imposible, pues (R, Tcf ) es no-Hausdorff.
4. El espacio topologico (R, Tcf ) no es localmente euclidiano, pues como cada
elemento U Tcf tiene tambien la topologa co-finita entonces toda funcion
continua : U (U ) Rn debe ser constante. Pero si esto es as, no
podra ser homeomorfismo. (R, Tcf ) tampoco es localmente euclidiano de di-
mension 0, pues si lo fuera, los homeomorfismos : U R0 obligan a que U
sea conjunto unitario, lo cual es imposible en Tcf .
La nocion de dimension local en un punto es consistente, en el sentido de que no
puede haber un punto en un espacio localmente euclidiano que pertenezca a dos
abiertos, que a su vez sean homeomorfos a abiertos de espacios euclidianos de
distinta dimension. En realidad la validez de esta afirmacion esta sustentada en
los resultados que veremos a continuacion.
T EOREMA 2.1 (Invariancia del dominio). Si U es un conjunto abierto en Rm y
f : U Rm una aplicacion continua e inyectiva, entonces f (U ) es un conjunto
abierto en Rm .
Este teorema se debe al matematico holandes Liutzen E. J. Brouwer. Como con-
secuencia se tiene el siguiente:
T EOREMA 2.2 (Invariancia de la dimension). Si U Rn y V Rm son subcon-
juntos abiertos y homeomorfos entonces n = m.
O. Santamaria S.
36 2.1. Espacios localmente euclidianos
Demostracion. Suponga que n < m. En este caso considere la funcion inclusion

i : Rn , Rm , dada por
i(x1 , . . . , xn ) = (x1 , . . . , xn , 0, . . . , 0).

| {z }
mn
Es claro que i es continua e inyectiva, sin embargo, el conjunto i(Rn ) no puede ser
abierto en Rm y, por tanto, no puede contener ningun subconjunto abierto de Rm .
Por hipotesis U y V son homeomorfos y sea f : V U tal homeomorfismo.
Entonces la aplicacion g = i|U f : V Rm es continua e inyectiva. Luego se
tendra que V es abierto y g(V ) = i(U ) i(Rn ) no puede ser abierto en Rm . Esto
contradice al Teorema 2.1.
De manera similar se procede si suponemos n > m. En este caso considere la
inclusion i : Rm , Rn . z
C OROLARIO 2.1 (Consistencia de la dimension local). Si X es un espacio local-
mente euclidiano, entonces la dimension local d : X Z+
0 esta bien definida y es
localmente constante.
Demostracion. Sea x X un punto arbitrario y suponga que existen enteros
m, n 0, abiertos V1 y V2 en M , abiertos U1 en Rm y U2 en Rn , y homeomorfis-
mos 1 : V1 U1 y 2 : V2 U2 . Como V1 V2 es abierto en M entonces los
conjuntos 1 (V1 V2 ) U1 Rm y 2 (V1 V2 ) U2 Rn son abiertos. Pero
ademas 2 11 : 1 (V1 V2 ) 2 (V1 V2 ) es un homeomorfismo, entonces
resulta del Teorema 2.2 que m = n. Esto muestra que la funcion dimension local
d : X Z+ 0 asigna a cada x X un unico entero m 0 y d|V1 V2 es constante.
Luego d es localmente constante. z
C OROLARIO 2.2. Si X es un espacio topologico conexo y localmente euclidiano
entonces la dimension local d : X Z+
0 es constante. En este caso, d se llama la
dimension de X.
Demostracion. Si d no fuera constante entonces existen enteros no negativos dis-
tintos m y n, abiertos disjuntos V1 y V2 en M tales d(V1 ) = m y d(V2 ) = n. Pero
esto es imposible por la conexidad de M . z
E JEMPLO 2.3. Con la topologa de subespacio, todo conjunto abierto X Rm es
localmente euclidiano, y en cada punto x X la dimension local es m. En efecto,
basta considerar la restriccion de la identidad a X, la cual es un homeomorfismo
entre X y si mismo.
E JEMPLO 2.4. Sea X = R {}, donde es un elemento que no esta en R.
Dotamos a X de una topologa T conformada por conjuntos V X elegidos de
la siguiente manera:
O. Santamaria S.
1. Si
/ V entonces V T si y solo si V es abierto como subconjunto de R.
2. Si V entonces V T si existe algun subconjunto abierto W R tal

que 0 W y V = (W \ {0}) {}.
Entonces (X, T ) es un espacio localmente euclidiano, y en cada punto la dimen-

sion local es 1. Observe que X no es espacio de Hausdorff, pues no es posible
hallar vecindades disjuntas para y 0.
E JEMPLO 2.5. Considere el espacio R2 /R del Ejemplo 1.24. Como se recuerda,

este espacio surgio al considerar en R2 la relacion de equivalencia que identifica
puntos que estan en una misma recta vertical x = t, si |t| 1, o estan en la misma
grafica de alguna funcion fa (t) = (1 t2 )1 + a, cuando |t| < 1.
R2 /R es un espacio topologico, con la topologa identificacion determinada por
la funcion (cociente) : R2 R2 /R y la topologa usual del R2 .
Afirmamos que R2 /R es un espacio localmente euclidiano, cuya dimension local
en cada punto es 1. En efecto: para mostrarlo considere en R2 /R los conjuntos Ui
definidos de la siguiente forma:
U1 = {[x = t] : t < 1}, U2 = {[x = t] : t > 1} y U3 = {[fa ] : |t| < 1}.
(aqu, [x = t] denota la clase de equivalencia dada por la recta x = t y [fa ] denota

la clase dada por el grafico de fa = fa (t)). Observe que estos conjuntos estan en
la topologa de R2 /R. Pues
1 (U1 ) = {(s, t) R2 : s < 1},

1 (U2 ) = {(s, t) R2 : s > 1} y
1 (U3 ) = {(s, t) R2 : 1 < s < 1},
los cuales son abiertos en R2 . Para escoger un entorno alrededor de [x = 1]

procedemos como sigue. Considere la region
{ }
3
R4 = (s, t) R : < s 1 {(s, t) R2 : 1 < s < 1 , t < f0 (s)},
2
2
entonces un entorno para [x = 1] es U4 = (R4 ). De manera analoga, si esco-

gemos
{ }
3
R5 = {(s, t) R : 1 < s < 1 , t < f0 (s)} (s, t) R : 1 s <
2 2
2
O. Santamaria S.
38 2.2. Variedades topologicas
entonces U5 = (R5 ) es un entorno para [x = 1]. A continuacion defina aplica-

ciones i : Ui R tales que
i ([x = s]) = s para i = 1, 2, 3 ([fa ]) = a,

{ 1
2 s, si 32 < s 1
4 ([(s, t)]) = y
a + 21 , si 1 < s < 1 y t = fa (s), con a < 0
{
s 12 , si 1 s < 32
5 ([(s, t)]) =
a + 12 , si 1 < s < 1 y t = fa (s), con a < 0
Observe que 1 (U1 ) =] , 1[, 2 (U2 ) =]1, +[, 3 (U3 ) = R,

4 (U4 ) =] , 1[= 5 (U5 ). Cada una de las aplicaciones (Ui , i ) son homeo-
morfismos (i = 1, 2, 3, 4, 5) y, por tanto, R2 /R es localmente euclidiano, con
dimension local 1 en cada punto.
2.2. Variedades topologicas

D EFINICI ON 2.2. Un espacio topologico (M, T ) es una variedad topologica de
dimension m si
1. (M, T ) es espacio de Hausdorff,
2. (M, T ) es espacio segundo contable,
3. (M, T ) es localmente euclidiano de dimension m en cada uno de sus puntos.
Observacion 2.1. La aparicion de la primera condicion en la Definicion 2.2, obe-

dece a la necesidad de garantizar que toda sucesion converge a lo mas a un punto.
Pues como se sabe, la condicion de Hausdorff asegura que existen, en la topologa
de M , suficientes conjuntos como para que cada par de puntos distintos tengan
sus propias vecindades, sin que estas se intersecten, lo cual permite mostrar que
toda sucesion convergente, converge a un unico punto. Hay quienes argumentan
en favor de la aparicion de esta condicion diciendo que nuestra mente de alguna
manera asocia una variedad (por muy abstracta que sea) con algun objeto mas o
menos aproximado pero en un espacio euclidiano, y si esto siempre ocurriera y
puesto que Rn es de Hausdorff entonces la variedad M tambien lo sera. Sin em-
bargo, veremos que no todo espacio de Hausdorff esta contenido en algun espacio
euclidiano. Lang ([26], pag. 23) incluso afirma que en un inicio no hay razon para
asumir la condicion Hausdorff.
La segunda condicion en la Definicion 2.2 quiere decir que es posible cubrir a
M con una cantidad enumerable de abiertos Ui . Esta condicion es esencial,
en el contexto de las variedades diferenciables, a la existencia de una particion
O. Santamaria S.
diferenciable de la unidad, la cual es a su vez una herramienta fundamental cuando

se quiere justificar, por ejemplo, que toda variedad diferenciable posee una metrica
riemanniana (tema de gran importancia en geometra riemanniana).
En suma, como afirma Lee ([27], pag. 4), la mayora de resultados importantes
requieren las condiciones (1) y (2) de la Definicion 2.2 e incluso afirma que it is
exceedingly rare to encounter a space in nature that would be a manifold except
for the failure of one or the other of these hypotheses.
Sin embargo, algunos autores prefieren dar la nocion de variedad topologica, sin
exigir las condiciones de ser Hausdorff o segundo contable. Vea por ejemplo los
textos [3] (Cap. 1), [13] (Cap. 1), [17] (Cap. 19), [22] (Cap. 1) y [44] (Cap. 1),
aunque los dos primeros de estos autores suponen que las variedades son segundo
contables, luego de haber dado la definicion sin este requisito.
Cualquier sea el caso, mostraremos mas adelante ejemplos de espacios topologi-
cos que son localmente homeomorfos a Rn , y sin embargo son no Hausdorff o no
tienen base enumerable.
La tercera condicion en la Definicion 2.2 quiere decir que para cada p M existe
un conjunto U T , con p U , y un homeomorfismo : U (U ) Rm
entre U y el conjunto (U ), abierto en Rm . Cuando (U ) es una bola abierta
en Rm entonces U se denomina bola coordenada.
M
M
U UiXUj
Ui Uj
j ji jj
jij
m
j(U) R ji(Ui) ji(UiXUj) jj(UiXUj) jj(Uj)
(a) Sistema de coordenadas en (b) Cambio de coordenadas

una variedad topologica
Fig. 2.2
Cada homeomorfismo : U (U ) (Fig. 2.2.a) recibe el nombre de sistema de

coordenadas (o carta) con dominio U , y se denotara como el par (U, ). Dado
cualquier p U tal que (p) = (x1 , . . . , xm ) entonces (x1 , . . . , xm ) reciben el
nombre de coordenadas locales de p. La coleccion A = {(Ui , i )}iL , de los
O. Santamaria S.
homeomorfismos i : Ui i (Ui ), se denomina atlas m-dimensional sobre M .

Mas formalmente,
D EFINICI ON 2.3 (Atlas m-dimensional). Una coleccion A , formada por fun-

ciones i : Ui i (Ui ) R , se llama atlas m-dimensional sobre el espacio
m
topologico (M, T ), si iL Ui = M y cada i : Ui (Ui ) es un homeomorfis-

mo entre Ui T y el conjunto abierto i (Ui ) del Rm .
Si (Ui , i ) y (Uj , j ) son elementos de A tales que Ui Uj = entonces la

aplicacion j 1 i : i (Ui Uj ) j (Ui Uj ) es un homeomorfismo, por
ser la composicion de homeomorfismos. Esta funcion se denomina cambio de
coordenadas (Fig. 2.2.b) y la denotaremos por ij .
Siendo formales, la funcion j 1 i es la composicion
j |Ui Uj (i |Ui Uj )1 j |Ui Uj 1

i |i (Ui Uj ) ,
pero asumiremos que esto queda sobrentendido, y de paso nos ahorramos dema-
siada notacion.
Una variedad topologica M con atlas A es denotada como el par (M, A ). Cuando
no haya riesgo de confusion simplemente la denotaremos por M .
Observacion 2.2. A fin de dotar a un conjunto dado M de una estructura de
variedad topologica m-dimensional debemos, en primer lugar, construir en dicho
conjunto una topologa. En segundo lugar mostrar que bajo dicha topologa M es
Hausdorff y segundo contable. En tercer lugar, debemos construir en M un atlas
m-dimensional, es decir, una coleccion de homeomorfismos i : Ui i (Ui ),
cuyos dominios Ui M (que son elementos de la topologa de M ) constituyen
un cubrimiento de M .
Sin embargo, puede suceder tambien que nos proporcionen un conjunto provisto
ya de un estructura topologica. Para comprobar que este espacio es una variedad
topologica m dimensional (respecto a aquella topologa dada), solo quedara mos-
trar que el espacio es Hausdorff, segundo contable, y debemos ademas mostrar que
es posible construir un atlas A de dimension m.
E JEMPLO 2.6 (Variedad 0-dimensional). Todo espacio topologico discreto enu-

merable M es una variedad topologica 0-dimensional.
En efecto, el hecho de ser M enumerable implica que dicho espacio es segundo
contable. Ademas todo espacio discreto es de Hausdorff. Como para cada punto
p M se tiene que {p} P(M ), se definen las funciones p : {p} R0 .
Es evidente que estas funciones son homeomorfismos y, por tanto, la coleccion
A = {({p}, p ) : p M } es un atlas 0-dimensional para M .
O. Santamaria S.
E JEMPLO 2.7 (El espacio euclidiano como variedad topologica). Consideremos

el espacio euclidiano Rm con la topologa usual. Bajo esta topologa, Rm es es-
pacio segundo contable y Hausdorff. Considerando el homeomorfismo identidad
i : Rm Rm entonces la coleccion A = {(Rm , i)} es un atlas para Rm . Luego
(Rm , A ) es una variedad topologica m-dimensional.
Observe en este ejemplo, que para cada t R {0}, la funcion t : Rm Rm
definida como t (x) = tx, es un homeomorfismo y la coleccion At = {(Rm , t )}
es tambien un atlas m-dimensional. Esto muestra en particular que sobre una va-
riedad topologica, es posible definir mas de un atlas.
E JEMPLO 2.8 (Nuevamente el espacio proyectivo). El espacio topologico RP(m)
del Ejemplo 1.13, es una variedad topologica m-dimensional. En efecto: recuerde
que este espacio fue construido a traves de una relacion de equivalencia en
E = Rm+1 {0}, segun la cual dos puntos estan relacionados si pertenecen a
una misma recta. Cada clase de equivalencia representa pues, geometricamente, a
toda una recta (menos su origen).
Se observo al final del Ejemplo 1.13 que si x = (x1 , . . . , xm+1 ) es tal que xi = 0,
entonces [ ]
x1 xm+1
[x1 , . . . , xi , . . . , xm+1 ] = , . . . , 1, . . . , .
xi xi
( )
Como el punto xx1i , . . . , 1, . . . , xm+1 xi
se encuentra en el hiperplano Hi : xi = 1,
esto sugiere la idea de que cada punto de Hi , determina una clase distinta en
RP(m). Pero ademas como ( cada punto (y1 , .). . , 1, . . . , ym+1 ) de Hi puede ser

identificado con el punto y1 , . . . , 1, . . . , ym+1 del Rm (el smbolo nos indica
que el 1 ha sido eliminado dentro de las m + 1 coordenadas) entonces concluimos
que debe existir una cierta correspondencia entre las clases [x] RP(m), tales que
x Hi , y los puntos del Rm . Veremos a continuacion que esto realmente ocurre.
Pero antes recuerde que RP(m) fue dotado de la topologa co-inducida por la
proyeccion : E RP(m) y la topologa usual de E. Es decir, un subconjunto
A RP(m) es abierto en RP(m) si y solo si 1 (A) es abierto en E. En el
Ejemplo 1.27 se mostro que bajo esta topologa, RP(m) es Hausdorff y segundo
contable.
En RP(m) considere los subconjuntos U1 , . . . , Um+1 definidos como
Ui = {[x1 , . . . , xi , . . . , xm+1 ] : xi = 0} , i = 1, 2, . . . , m + 1.
Geometricamente, cada Ui representa al conjunto de rectas del Rm+1 que pasan

por el origen 0 Rm+1 y que no estan contenidas en el hiperplano Pi : xi = 0.
Esto implica que 1 (Ui ) = Rm+1 Pi .
Como Rm+1 Pi es abierto en E entonces 1 (Ui ) es abierto en E, por lo tanto,
Ui es abierto en RP(m) para todo i = 1, 2, . . . , m + 1. Que mas podemos saber
O. Santamaria S.
sobre los Ui ? Si bien es cierto que 1 (Ui ) es igual a Rm+1 Pi , tambien es cierto
m
que Pi esta contenido en 1 (Uj ) para i = j. Luego la union 1 (Ui ) es igual
i=1

n
a Rm+1 {0}, luego la union Ui es igual a RP(m).
i=1
Esto implica que cada punto [x] del RP(m) esta contenido en algun Ui , o que
{Ui : i = 1, . . . , n + 1} es un cubrimiento abierto del RP(m).
En lneas anteriores habamos deducido que podra existir una cierta correspon-
dencia entre puntos del RP(m) y los del Rm en el sentido de que podemos ubicar
un punto de uno estos espacios conociendo un punto del otro. Para mostrar que
esto es as, definamos aplicaciones hi : Ui Rm poniendo
1 (
)
hi ( [x1 , . . . , xi , . . . , xm+1 ] ) = x1 , . . . , xi , . . . , xm+1 , i = 1, . . . , m + 1,
xi
donde significa que xi ha sido suprimido. Geometricamente, el punto
hi ([x1 , . . . , xi , . . . , xm+1 ]) representa la interseccion de [x1 , . . . , xi , . . . , xm+1 ] con
el hiperplano Hi : xi = 1 (Fig. 2.3), en donde omitimos la i-esima coordenada.
Fig. 2.3: Construccion de los

sistemas hi en RP(m)
Observemos que si [x] = [y] entonces x y, luego existe un numero real = 0

tal que y = x. Esto implica que hi ([y]) = hi ([x]) = hi ([x]), lo cual quiere decir
que hi es una aplicacion bien definida.
Ademas si [x] = [x1 , . . . , xm+1 ] y [y] = [y1 , . . . , ym+1 ], elementos de RP(m), son
tales que hi ( [x] ) = hi ( [y] ), entonces
1 (
) 1 (
)
x1 , . . . , xi , . . . , xm+1 = y1 , . . . , yi , . . . , ym+1
xi yi
luego
1 1
(x1 , . . . , xi , . . . , xm+1 ) = (y1 , . . . , yi , . . . , ym+1 )
xi yi
o tambien
xi
(x1 , . . . , xm+1 ) = (y1 , . . . , ym+1 ).
yi
O. Santamaria S.
Pero como xi = 0, yi = 0 entonces xyii = 0. Luego, la anterior igualdad significa

que (x1 , . . . , xm+1 ) (y1 , . . . , ym+1 ), de donde [x] = [y]. Hemos mostrado que
hi es inyectiva. Para mostrar que hi es sobreyectiva, sea t = (t1 , . . . , tm ) Rm ,
entonces al elegir la clase dada por [x] = (t1 , . . . , ti1 , 1, ti , . . . , tm ) se tiene que
[x] Ui (porque?) y ademas hi ([x]) = 11 (t1 , . . . , ti1 , b 1, ti , . . . , tm ) = t.
En cuanto a la continuidad de hi podemos decir lo siguiente: sabemos que la
proyeccion : E RP(m) es continua y ademas la aplicacion hi : E Rn
definida por
1 (
)
hi (x1 , . . . , xm+1 ) = x1 , . . . , xi , . . . , xm+1
xi
tambien es continua, por lo tanto, de acuerdo a la Proposicion 1.5, se concluye
que hi : Ui Rm es continua.
Para probar que h1
i : R Ui es continua, considere la aplicacion gi : R E
m m
definida por gi (y1 , . . . , ym ) = (y1 , . . . , yi1 , 1, yi , . . . , ym ), la cual es continua.

Puesto que para todo y = (y1 , . . . , ym ) Rm ,
gi (y) = ((y1 , . . . , yi1 , 1, yi , . . . , ym ))
= [(y1 , . . . , yi1 , 1, yi , . . . , ym )] = h1
i (y),
se concluye que h1
i = gi . Luego h1
i es continua por ser la composicion
de dos aplicaciones continuas. En conclusion, RP(m) es una variedad topologica
m-dimensional.
E JEMPLO 2.9 (Espacio vectorial como variedad topologica). Considere el es-
pacio vectorial real E de dimension m. En primer lugar definimos sobre E una
topologa, de la siguiente manera: fije una base B = {e1 , . . . , em } en E. Si v
es cualquier elemento de E entonces existen escalares x1 , . . . , xm R tales que
v = x1 e1 + . . . + xm em . Esto sugiere definir la funcion f : Rm E por medio de
la regla
f (x1 , ..., xn ) = x1 e1 + . . . + xm em ,
la misma que resulta ser en particular un isomorfismo de espacios vectoriales.
Usando este isomorfismo podemos dotar a E de la topologa identificacion, deter-
minada por f y la topologa usual del Rm . Luego E es un espacio topologico.
Para ser mas formales, debemos observar que esta topologa no depende de la
eleccion de la base B. Pues si C = {w1 , . . . , wm } fuera otra base de E y la res-
pectiva funcion h : Rm E es dada por h(x1 , . . . , xm ) = x1 w1 + . . . + xm wm ,
entonces h1 f : Rm Rm es un isomorfismo y, por tanto, un homeomorfismo.
Luego las topologas determinadas por f y h son iguales.
Como se sabe, bajo esta topologa f es continua, y ademas de esto es abierta
entonces, siendo Rm un espacio segundo contable, se concluye a partir del Co-
rolario 1.5 que E es segundo contable. Por otro lado, considerando la funcion
O. Santamaria S.
g : Rm Rm Rm definida como g(x, y) = f (x) f (y), es sencillo mostrar

que el conjunto
{(x, y) Rm Rm : f (x) = f (y)} = g 1 (0)
es cerrado en Rm Rm . Por tanto, de la Proposicion 1.14 resulta que E es espacio

de Hausdorff.
Como atlas A considere aquel formado por el sistema de coordenadas (E, f ).
Luego (E, A) es una variedad topologica m-dimensional.
E JEMPLO 2.10 (Esfera de Riemann). Considere el espacio R2 con la topologa

usual, sea un elemento que no pertenece a R2 , el cual llamaremos punto en el
infinito. A continuacion forme el conjunto
c2 = R2 {} .
R
Nuestro proposito aqu es mostrar que Rc2 es una variedad topologica de dimen-
sion 2. Como primer paso definiremos sobre este conjunto una topologa, luego
mostraremos que, con esta topologa, es espacio de Hausdorff y segundo contable,
finalmente construiremos para Rc2 un atlas.
Considere la coleccion T formada por todos los subconjuntos abiertos de R2 y
todos conjuntos de la forma V {}, donde V es abierto en R2 tal que R2 V
es compacto.
c2 .
1. T es una topologa sobre R
c2 son elementos de T .
a. Es claro que y R
b. Sean A y B elementos de T . Pueden ocurrir las siguientes posibilidades:
b.1) Si A y B son subconjuntos abiertos de R2 entonces A B es abierto
en R2 , luego A B T .
b.2) A es abierto en R2 y B = V {}, con R2 V compacto. En este
caso A B = A V T .
b.3) A = V1 {} y B = V2 {}, con R2 V1 y R2 V2 compactos.
En este caso A B = (V1 V2 ) {} T , pues el conjunto
R2 (V1 V2 ) = (R2 V1 ) (R2 V2 ) es compacto.
c. Sea {A }L una familia arbitraria en T .

c.1) Si para todo L, el conjunto
A es abierto en R2 entonces L A
es abierto en R . Luego L A T .
2
O. Santamaria S.
c.2) Si existe L1 L tal que A = V {}, para todo L1 , entonces

( )

A = A (V {}) C {}.
L (LL1 ) L1 L

Pero en este caso L C es conjunto abierto en R2 y ademas

R2 C = (R2 C ) (R2 V ),
L L

todo L1 , luego R L C es compacto y, por tanto,
2
para
L A T .
c.3) Si A = V {}
tal que R( V es) conjunto compacto,
2
para todo
L, entonces L A = L V {}.
Siendo L V abier-
to en R y como ademas
2
R L V = L (R V ) es compacto,
2 2
se concluye que L A T .
c2 .
Por tanto, T es una topologa sobre R
c2 , T ) es Hausdorff. En efecto, sean x, y R
2. El espacio (R c2 elementos distin-
tos.
2.1) Si x = e y = entonces x, y R2 , y por ser este un espacio de

Hausdorff entonces existen abiertos U y V en R2 -por tanto elementos de
T - tales que x U , y V y U V = .
2.2) Si x = e y = entonces considere una bola abierta B R2 , con
centro en x. Como B es conjunto compacto entonces consideramos los
abiertos U = B, conteniendo x, y V = (R2 B) {} para y = .
Entonces U V = .
c2 , T ) es segundo contable. Dejamos la verificacion como ejercicio.
3. (R
4. Como siguiente paso, construiremos en R c2 un atlas A de tal forma que (R

c2 , A )
sea variedad topologica 2-dimensional. Para esto considere las aplicaciones
1 : U = R2 R2 y 2 : V = (R2 {0}) {} R2
definidas respectivamente por

(x, y) si z = (x, y) = (0, 0)
1 (x, y) = (x, y) y 2 (z) = x2 + y 2

(0, 0) si z = .
O. Santamaria S.
Estas funciones son llamadas Identidad y Inversion, respectivamente. Observe

que tanto U como V estan en T . Es claro que la identidad 1 es un homeo-
morfismo. En cuanto a 2 , observe que 2 : R2 {0} R2 {0} es un
homeomorfismo, luego 2 : (R2 {0}) {} (R2 {0}) {0} = R2
tambien lo es.
c2 . Queda como tarea
Por lo tanto, A = {(U, 1 ), (V, 2 )} es un atlas para R
para el estudiante mostrar que esta variedad topologica es homeomorfa a la
c2 es conocida tambien
esfera bidimensional S2 R3 . La variedad topologica R
como esfera de Riemann.
Observacion 2.3. En la notacion M m , el super-ndice m indica la dimension
de M como variedad topologica.
E JEMPLO 2.11. Sea G un grupo y M m una variedad topologica. Hemos visto
en la Observacion 1.4 que una accion A : G M M permite construir un
espacio topologico, a partir de una relacion de equivalencia segun la cual x y
si, y solo si, y = Ag (x), para algun g G. El conjunto cociente resultante M/G
es un espacio topologico, con la topologa (cociente) determinada por la funcion
(cociente) : M M/G, y la topologa de M .
Suponiendo que el conjunto = {(x, Ag (x)) M M : g G} es cerrado en
M M , el Corolario 1.4 garantiza que M/G es espacio de Hausdorff. Ademas
como M es segundo contable, pues M es variedad topologica, y sabiendo que
es abierta (Proposicion 1.8), continua y sobreyectiva, el Corolario 1.5 garantiza
que M/G es segundo contable.
De la Proposicion 1.9 sabemos que si la accion de G en M es propiamente dis-
continua entonces la proyeccion : M M/G es un homeomorfismo local.
Esto permite construir un atlas sobre M/G, de la manera siguiente: sea el punto
Gp [p] M/G, con p M . Siendo un homeomorfismo local, existe una
vecindad Up M tal que (Up ) es abierto en M/G y |Up : Up (Up ) es
un homeomorfismo. Por otro lado, como M es una variedad topologica, el punto
p M esta en una vecindad Vp homeomorfa a algun abierto del Rm . Esto quiere
decir que existe un homeomorfismo : Vp (Vp ) entre Vp y el abierto (Vp )
del Rm . Considerando el conjunto abierto Wp = Up Vp se tiene que la aplicacion
p = |Wp (|Wp )1 : (Wp ) (Wp ) es un homeomorfismo. La coleccion
de estos homeomorfismos constituyen un atlas mdimensional para M/G. Por
tanto, M/G es una variedad topologica de dimension m.
E JEMPLO 2.12. Considere la variedad topologica m-dimensional (N, B), con
topologa , considere tambien el espacio topologico (M, ) y el homeomorfis-
mo f : (M, ) (N, ). Es posible dotar a M de una estructura de variedad
topologica? La respuesta es s; y la manera de construir en M un atlas es la si-
guiente: sea p M . Como N es variedad topologica entonces para f (p) N
O. Santamaria S.
existe un homeomorfismo (V, ) B entre al abierto V N y el conjunto

abierto (V ) del Rm . Puesto que f : M N es homeomorfismo se tiene en
particular que U = f 1 (V ) y la restriccion f |U : U V es tambien un ho-
meomorfismo. Esto nos lleva a considerar la aplicacion : U (V ) dada por
= f |U la cual es entonces un homeomorfismo. La coleccion A de aplica-
ciones como (U, ) es entonces un atlas para M . Ademas siendo N de Hausdorff
y segundo contable, entonces las mismas propiedades tiene M . Por tanto, (M, A )
es tambien una variedad topologica de dimension m.
E JEMPLO 2.13 (Producto cartesiano de variedades topologicas). Si (M, A ) y

(N, B) son variedades topologicas de dimension m y n, respectivamente, enton-
ces M N es variedad topologica cuya dimension es m + n.
En efecto, sean TM y TN topologas sobre M y N , respectivamente, respecto a
las cuales M y N son variedades topologicas. En M N considere la topologa
producto, esto es, aquella cuya base es la coleccion
B = {U V : U TM , V TN }.
Como (M, TM ) y (N, TN ) son espacios segundo contable entonces tanto TM

como TN admiten bases enumerables, que denotaremos por {Bi } y {Vj }, respec-
tivamente. Dado cualquier abierto W en M N y (x, y) W existe un abierto
basico U V tal que (x, y) U V W . En particular existen Bi0 {Bi } y
Vj0 {Vj } tal que (x, y) Bi0 Vj0 U V W . Esto muestra que {Bi Vj }
es base, la cual es enumerable, de la topologa producto sobre M N . Por tanto,
M N es segundo contable.
Para mostrar que M N es Hausdorff sean p = (x1 , y1 ) y q = (x2 , y2 ) elementos
en M N tales que p = q. Entonces x1 = x2 o y1 = y2 . Suponiendo x1 = x2
entonces, por ser (M, TM ) espacio de Hausdorff, existen U1 , U2 TM tales que
x1 U1 , x2 U2 y U1 U2 = . Considerando los abiertos basicos U1 N y
U2 N se tiene que p U1 N , q U2 N y (U1 N ) (U2 N ) = .
Procediendo de manera analoga en el caso de ser y1 = y2 se concluye que M N
es espacio de Hausdorff.
Finalmente, observe que si : U (U ) y : V (V ) son homeomorfismos
entonces la funcion : U V (U ) (V ) definida por (x, y) =
((x), (y)) es un homeomorfismo entre U V y (U ) (V ). Por tanto, la
coleccion
A B := {(U V, ) : (U, ) A , (V, ) B}
es una atlas m + n dimensional para M N .

En conclusion, tal como se haba afirmado, M N es variedad topologica de
dimension m + n.
O. Santamaria S.
48 2.3. Algunas propiedades topologicas
2.3. Algunas propiedades topologicas

Los siguientes resultados tienen como proposito dar algunas propiedades sobre la
topologa de una variedad topologica.
L EMA 2.1. Sea U un subconjunto abierto de Rm . Para cada punto x U exis-
te una bola abierta B(q, r) Rm tal que q Qm , r es racional positivo y
x B(q, r) U .
Demostracion. Sea U un subconjunto abierto de Rm y x U arbitrario. Siendo U
abierto, existe algun numero real > 0 tal que la bola abierta B(x, ) esta conte-
nida en U . Debido a la densidad de Q en R, existe algun racional 0 < r < , luego
B(x, r) B(x, ) U . Debido a la densidad de Qm en Rm existe algun q Qm
tal que q B(x, r/2), luego x B(q, r/2). Pero para cada y B(q, r/2) se tiene
que
r r
y x y q + q x < + = r,
2 2
lo cual muestra que
B(q, r/2) B(x, r),
por tanto, x B(q, r/2) B(x, r) B(x, ) U . z
Resulta del Lema 2.1 que todo conjunto abierto en Rm se puede expresar como la
union (enumerable) de bolas abiertas con centro en puntos de Qm y radio racional.
D EFINICI ON 2.4. En un espacio topologico (X, T ), un conjunto A X es
precompacto (o relativamente compacto) si su adherencia A es compacto.
P ROPOSICI ON 2.1. Cada variedad topologica tiene una base enumerable de bo-
las coordenadas precompactas.
Demostracion. Sea M una variedad topologica m-dimensional, con atlas A y to-
pologa T . Suponga en primer lugar que A es formado por solamente un sistema
de coordenadas : M U , donde U es un subconjunto abierto de Rm . Del Le-
ma 2.1 se deduce que es posible elegir una coleccion enumerable B formada por
bolas abiertas B(x, r) U tales que x Qm , r > 0 es racional, y B(x, r) U .
Como la bola cerrada B(x, r) es conjunto compacto, entonces cada bola es pre-
compacta en U , y B constituye una base para la topologa de U . Como : M U
es un homeomorfismo entonces la coleccion B := {1 (B) : B B} es una
base para la topologa de M . Ademas la restriccion |1 (B) transforma 1 (B)
en la bola abierta B, luego B es formada por bolas coordenadas.
Ahora suponga que A es formada por mas de un sistema de coordenadas. Como
cada cubrimiento abierto de un espacio segundo contable admite un subcubri-
miento enumerable (Proposicion 1.22) entonces en A existe una subcoleccion
O. Santamaria S.
enumerable
A0 A formada por sistemas de coordenadas (Ui , i ) tales que
M = iN Ui . Por lo demostrado anteriormente, cada abierto Ui tiene una base
enumerable de bolas coordenadas precompactas, por tanto, la union de tales bases
es una base enumerable para la topologa sobre M . Si V Ui es una de tales
bolas entonces V es compacto en Ui luego, siendo M espacio de Hausdorff, V es
cerrado en M . Esto implica que la clausura de V en M coincide con la clausura
de V en Ui , luego V es precompacto en M . z
D EFINICI ON 2.5 (Propiedades locales). Sea X un espacio topologico, con topo-

loga T .
1. X es localmente conexo si T admite una base formada por conjuntos conexos.
2. X es localmente arcoconexo si T admite una base formada por conjuntos

arcoconexos.
3. X es localmente compacto en un punto x X si para cada V T , tal que

x V , existe un conjunto compacto K X tal que x K V .
4. X es localmente compacto si es localmente compacto en cada uno de sus pun-

tos.
5. X es localmente Hausdorff si para cada x M existe algun V T tal que

x V y, bajo la topologa de subespacio, V es espacio de Hausdorff.
P ROPOSICI ON 2.2. Toda variedad topologica es un espacio localmente conexo,

localmente arcoconexo, localmente compacta y localmente Hausdorff.
Demostracion. Sea x M un punto cualquiera de la variedad topologica (M, A ),

donde A es el atlas m-dimensional, respecto a la topologa T sobre M .
En primer lugar mostraremos que para cada W T , con x W , existe una
vecindad conexa (respectivamente arcoconexa) de p contenida en W . En efec-
to, por la Proposicion 2.1, existe una bola coordenada precompacta B tal que
p B W . Como B es homeomorfa a una bola abierta Bm en Rm y siendo Bm
conexa y arcoconexa entonces, por ser homeomorfa a B, resulta que B es conexa
y arcoconexa. Por tanto, M es conexo y localmente arcoconexo.
En segundo lugar, como la adherencia B es subconjunto compacto contenido
en W se concluye que M es espacio localmente compacto.
Finalmente, como B es espacio de Hausdorff se concluye tambien que M es es-
pacio localmente Hausdorff. z
Sabemos que conexidad por caminos implica conexidad. En el caso de variedades

topologicas, la afirmacion recproca tambien se cumple.
O. Santamaria S.
50 2.3. Algunas propiedades topologicas
P ROPOSICI ON 2.3. Toda variedad topologica conexa es conexa por caminos.

Demostracion. Sea p M un punto arbitrario y considere el conjunto
Ap = {q M : existe un camino que une p y q}.
Observe que Ap = pues por lo menos p Ap . Sea q Ap , y sea U una vecindad

de q conexa por caminos (esta vecindad existe por ser M localmente arcoconexa).
Para todo y U existe un camino que une y a q y como q A entonces existe
un camino que une q con p. Por lo tanto la concatenacion de y , , es
un camino que une y con p y entonces y Ap . Esto muestra que U Ap y por lo
tanto Ap es un conjunto abierto.
Ahora considere el conjunto (complemento de Ap en M )
W = M Ap = {q M : q no puede ligado a p}.
Dado q W y V una vecindad conexa por caminos de q (aqu nuevamente usamos

arcoconexidad local de M ) entonces ningun punto de V puede ser ligado con p
y por lo tanto V W . Esto muestra que W es un subconjunto abierto de M y
por lo tanto Ap es cerrado. Puesto que Ap = y M es conexa entonces Ap = M .
Luego M es conexa por caminos. z
Es sencillo mostrar que un espacio topologico (X, T ) es localmente euclidiano
de dimension m si, y solamente si, cada punto x X pertenece a un elemento
V T homeomorfo a alguna bola abierta en Rm . A su vez, recordando que
toda bola abierta B Rm es homeomorfa al espacio entero Rm , lo anterior es
equivalente a decir que (X, T ) es localmente euclidiano de dimension m si, y
solamente si, cada punto de X pertenece a un abierto homeomorfo a Rm .
Espacios localmente euclidianos no-Hausdorff o no-segundo con-

table
Tal como comentabamos en la Observacion 2.1, algunos autores prefieren consi-
derar la definicion de variedad diferenciable, sin el requisito que el espacio sea
Hausdorff o segundo contable. En realidad, las tres condiciones dadas en la Defi-
nicion 2.2 son independientes entre si. De hecho, en los ejemplos 2.4 y 2.5 hemos
mostrado espacios topologicos que son localmente euclidianos, ambos de dimen-
sion local 1 en cada punto, pero ninguno de ellos es Hausdorff. En el siguiente
ejemplo se muestra un espacio localmente euclidiano, Hausdorff pero no segundo
enumerable.
E JEMPLO 2.14. Considere X = R con la topologa usual, Y = R con la to-
pologa discreta y el espacio M = X Y con la topologa producto. Para cada
O. Santamaria S.
a R, el conjunto Ua := R {a} es subconjunto abierto de M , y la apli-

caciona : Ua R definida por a (x, a) = x es un homeomorfismo. Como
M = aR Ua entonces la coleccion A := {(Ua , a ) : a R} es un atlas so-
bre M , por tanto, M es localmente euclidiando de dimension local 1. Observe que
Ua Ub = para todo a = b.
Si B es una base arbitraria para la topologa producto sobre M , entonces la fun-
cion f : R B, que a cada t R le hace corresponder un elemento de B conte-
nido en Ut , no es inyectiva. En particular B no es enumerable y, por tanto, M no
es segundo contable. Observe sin embargo que M es espacio de Hausdorff, por
ser el producto de dos espacios de Hausdorff.
2.4. Variedades Diferenciables

Hasta ahora, hemos estudiado aquellos espacios topologicos sobre los cuales es
posible definir una estructura que permite identificarlo, localmente, como un es-
pacio euclidiano. Esta identificacion es topologica y es descrita por un conjunto de
funciones que constituyen un atlas. Lo que haremos a continuacion sera estudiar
aquellos espacios topologicos sobre los cuales es posible definir una estructura
que permita identificarlo localmente, pero desde el punto de vista diferencial. Ta-
les espacios son llamados variedades diferenciables.
Una variedad diferenciable de dimension n es, en terminos imprecisos, un con-
junto de puntos que localmente es difeomorfo a Rn , sin que lo sea necesariamente
en su forma global. Esta estructura especial que posee una variedad diferenciable,
permite que podamos tratar sobre ella con cuestiones que involucran la existencia
de espacios tangentes (una generalizacion del plano tangente que se ve en las su-
perficies regulares bidimensionales), derivadas, etc., con la respectiva generaliza-
cion de teoremas importantes como el teorema de la funcion inversa y el teorema
de la funcion implcita. Es decir, es posible hablar de un calculo diferencial en
estos conjuntos.
D EFINICI ON 2.6. Sea M una variedad topologica de dimension m. Dos sistemas
de coordenadas (Ui , i ) y (Uj , j ) en M son C k -compatibles (k N) si se cumple
una de las siguientes condiciones:
1. Ui Uj = o
2. Ui Uj = y el cambio de coordenadas j 1
i : i (Ui Uj ) j (Ui Uj )
es un difeomorfismo de clase C entre los abiertos i (Ui Uj ) y j (Ui Uj )
k
del Rm .
El cambio de coordenadas j 1 i : i (Ui Uj ) j (Ui Uj ) de la Defi-
nicion 2.6, se denotara abreviadamente como ij , es decir, ij = j 1 i . La
interseccion Ui Uj se denotara abreviadamente como Uij , es decir, Uij = Ui Uj .
O. Santamaria S.
52 2.4. Variedades Diferenciables
Observe en la Definicion 2.6, que tiene sentido hablar del difeomorfismo ij , pues
i (Ui Uj ) y j (Ui Uj ) son subconjuntos abiertos de i (Ui ) y j (Uj ), respec-
tivamente y, por tanto, abiertos en Rm . Cuando k = 0, los difeomorfismos ij
simplemente son los homeomorfismos que aparecen en la definicion de variedad
topologica.
Por otro lado, vimos en el Ejemplo 2.7 que sobre una variedad topologica, es
posible tener mas de un atlas. De hecho, en aquel ejemplo se exhibio una coleccion
no enumerable de atlas sobre Rm . Nos centraremos en aquellos atlas, si existieran,
cuyos cambios de coordenadas son difeomorfismos.
D EFINICI ON 2.7. Sea M una variedad topologica de dimension m y sea
A = {(Ui , i ) : i L} un atlas m-dimensional sobre M .
1. A es de clase C k si todo par de cartas en A son C k -compatibles.
2. Una carta (W, ) en M es admisible en A si es C k -compatible con cada

elemento de A .
En particular observe que si A es un atlas de clase C k y (U, ) A entonces
(U, ) es admisible en A . Ser admisible no es lo mismo que pertenecer.
E JEMPLO 2.15. Considere Rm con la topologa usual. Como se mostro en
el Ejemplo 2.7, bajo esta topologa Rm es una variedad topologica m-dimensional.
Un atlas de clase C sobre Rm es dado por A = {(Rm , )}, donde (x) = x, es
decir, A es conformado por solamente la funcion identidad. Por otro lado, para
cada t R {0}, considere el sistema de coordenadas t : Rm Rm defini-
do por t (x) = tx. Entonces (R, t ) es admisible en A pues, como es sencillo
comprobar, t e i son C -compatibles.
E JEMPLO 2.16. Considere nuevamente R como variedad topologica, y con atlas
de clase C dado por A = {(R, )}, donde (t) = t. Considere por otro lado el
homeomorfismo : R R definido como (t) = t3 . Este sistema de coordena-
das (R, ) no es admisible en A , pues la funcion 1 (t) = 3 t es solamen-
te un homeomorfismo mas no es diferenciable, es decir, (R, ) y (R, ) no son
C -compatibles.
D EFINICI ON 2.8. Sea M una variedad topologica m-dimensional. Un atlas E
de clase C k sobre M es maximal si cada carta sobre M que es admisible en E
es tambien elemento de E . En este caso, E se llama estructura C k -diferenciable
y m-dimensional sobre M .
Es decir, E es un atlas maximal de clase C k si es un atlas de clase C k que ademas
cumple la siguiente condicion: si (U, ) es un sistema de coordenadas tal que para
todo (Ui , i ) E , los cambios de coordenadas 1 i y 1
i son de clase
O. Santamaria S.
C k en i (Ui U ) y (Ui U ), respectivamente, entonces (U, ) E . Un atlas

maximal tambien recibe el nombre de atlas completo.
L EMA 2.2. Todo atlas de clase C k sobre una variedad topologica M , esta con-
tenido en un unico atlas maximal de clase C k sobre M .
Demostracion. Sea A un atlas de clase C k sobre M y sea M la coleccion de
todas las cartas que son admisibles en A . Como cada carta en A es admisible en
A entonces, en particular, A M .
1. M es un atlas de clase C k . En efecto, como los dominios de los elementos
de A forman un cubrimiento abierto de M , lo mismo pasa con los dominios
de las cartas que constituyen E . Ademas de esto, dadas dos cartas (U1 , 1 )
y (U2 , 2 ) en M tales que U1 U2 = se debe mostrar que estas son C k
compatibles, y para ello es necesario verificar que el cambio de coordenadas
2 1
1 : 1 (U1 U2 ) 2 (U1 U2 ) es un difeomorfismo de clase C .
k
Sea x 1 (U1 U2 ) un punto arbitrario y sea p U1 U2 la respectiva

preimagen de x mediante 1 . Como A es un atlas sobre M , existe alguna
carta (V, ) A cuyo dominio V contiene a p. Siendo (U1 , 1 ) y (U2 , 2 )
admisibles en A entonces los cambios de coordenadas
1
1 : 1 (U1 V ) (V U1 )
y
2 1 : (V U2 ) 2 (U2 V )
son difeomorfismos de clase C k . Observe que p U1 V U2 y ademas
x 1 (U1 V U2 ) 1 (U1 U2 ). Pero en 1 (U1 V U2 ),
2 1 1 1
1 |1 (U1 V U2 ) = (2 )|(U1 V U2 ) ( 1 )|1 (U1 V U2 )
y, por tanto, 2 1
1 es diferenciable en x 1 (U1 U2 ). Siendo x arbitrario
se concluye que 2 11 es diferenciable en 1 (U1 U2 ). De manera similar se
comprueba la diferenciabilidad de 1 1
2 en cada punto de 2 (U1 U2 ). Por
1
tanto 1 2 : 1 (U1 U2 ) 2 (U1 U2 ) es un difeomorfismo de clase C k .
Luego M es de clase C k
2. M es maximal. En efecto, si (U, ) es un sistema admisible en M entonces
es C k compatible con cada elemento de M y, en particular, es C k compatible
con cada elemento de A . Es decir, (U, ) es admisible en A . Luego, por la
definicion misma de M , resulta (U, ) M .
3. Si existiera otro atlas maximal B tal que cada uno de sus elementos son ad-
misibles en A entonces B M , y como B es maximal tambien se tiene
M B, por tanto, M = B. Luego M es unico. z
O. Santamaria S.
Observacion 2.4. Del Ejemplo 2.16 se deduce que una variedad topologica puede
admitir mas de un atlas maximal de clase C k . De hecho, en aquel ejemplo se
exhibio para M = R dos sistemas de coordenadas que no son compatibles, y cada
uno de ellos por si solos constituyen un atlas de clase C , por tanto, estos estan
contenidos en atlas maximales distintos.
D EFINICI ON 2.9. Dos atlas A y B, ambos de clase C k y dimension m sobre

una variedad topologica M , son C k -equivalentes si A B es tambien un atlas
de clase C k y dimension m sobre M .
L EMA 2.3. Dos atlas de clase C k y dimension m, sobre una variedad topologi-
ca M , estan contenidos en un mismo atlas maximal de clase C k si, y solo si, ellos
son C k -equivalentes.
Demostracion. Inmediato a partir del Lema 2.2 y Definicion 2.9. z

Y ahora la definicion central de todo el texto (donde k es un numero natural,
pudiendo ser cero).
D EFINICI ON 2.10 (Variedad diferenciable). Una variedad diferenciable de cla-

se C k y dimension m, es una variedad topologica m-dimensional sobre la cual
existe una estructura diferenciable de clase C k .
Una variedad diferenciable de clase C k es representada como el par (M, A ), don-

de M denota a la variedad topologica y A el atlas maximal (o estructura diferen-
ciable) de clase C k sobre M .
Cuando k = 0, variedad diferenciable de clase C 0 es lo mismo que variedad
topologica. Observe que de la definicion misma de variedad topologica resulta
que los cambios de coordenadas son homeomorfismos, por ser composicion de
homeomorfismos. En cambio, segun la definicion de variedad diferenciable, el
que los cambios de coordenadas sean difeomorfismos es algo que necesita ser
verificado, para cada espacio que se estudie.
Intuitivamente, una variedad diferenciable de dimension m y clase C k , se obtiene
transformando y pegando abiertos del espacio Rm . Cuando parte de estas regio-
nes transformadas se sobreponen, dicha region comun debe originarse de regio-
nes en Rm que son difeomorfas, es decir, si dos puntos distintos en Rm representan
a un mismo punto en la variedad diferenciable, estos deben estar relacionados por
medio de un difeomorfismo. Esto permite definir sin ambiguedad la nocion de di-
ferenciabilidad de una funcion entre variedades, evita problemas al momento de
analizar la existencia de un espacio tangente. Por ejemplo, imagine una variedad
diferenciable M con atlas A , que pasara si dada una funcion f : M R y dos
cartas (U, ), (V, ) A , con U V = , se tiene que f 1 es diferencia-
ble mientras que f 1 no lo es? Veremos mas adelante que por ser la funcion
O. Santamaria S.
1 : (U V ) (U V ) un difeomorfismo, esta desagradable situacion

en realidad no ocurre. Otro ejemplo: se imaginan una variedad diferenciable en
la que en un determinado punto p U V , tiene asociados dos espacios tangen-
tes que no son isomorfos? Nuevamente, como veremos en su debido momento, el
difeomorfismo 1 evita que esta situacion ocurra.
Con el proposito de aclarar la exposicion, reescribiremos la Definicion 2.10 de la
siguiente manera.
D EFINICI ON 2.10.A. Una variedad diferenciable de dimension m y clase C k es

un par (M, A ), donde M es un espacio topologico de Hausdorff y segundo con-
table, y A es una coleccion de funciones que cumple las condiciones siguientes:
1. La coleccion {U : (U, ) A } es un cubrimiento abierto de M ,
2. Cada (U, ) A es un homeomorfismo entre su dominio U M y el abierto
(U ) del espacio Rm ,
3. Para cada (Ui , i ), (Uj , j ) A tal que Ui Uj = , la funcion
j 1
i : i (Ui Uj ) j (Ui Uj ) es un difeomorfismo de clase C ,
k
4. A es un atlas maximal, es decir, si (U, ) es un sistema de coordenadas so-

bre M tal que para todo (Ui , i ) A , los cambios de coordenadas 1 i y
i 1 son de clase C k en i (Ui U ) y (Ui U ), respectivamente, entonces
(U, ) A .
Observacion 2.5. A continuacion haremos algunos comentarios respecto a
la Definicion 2.10.A:
1. En la practica, la condicion (4) no es necesario verificarla, pues el Lema 2.2
asegura que todo atlas m dimensional de clase C k esta contenido en un uni-
co atlas maximal, que tambien es m-dimensional y clase C k . En realidad la
condicion (4) aparece por razones puramente tecnicas. La condicion de maxi-
malidad del atlas evita considerar como variedades distintas a, por ejemplo,
(M, A ) y (M, A {(V, )}) cuando (V, ) es admisible en A . Es decir, esto
nos evitara creer que hemos construido nuevas variedades con solo agregar un
sistema de coordenadas admisible.
2. El Lema 2.2 nos autoriza a buscar para M un atlas que sea de clase C k y
dimension m pero no necesariamente maximal. Una vez hallado dicho atlas A ,
cumpliendo con (1), (2) y (3), la variedad diferenciable seguira siendo denotada
como (M, A ). Esto es un abuso de notacion que no causa mayor confusion.
3. Cuando nos proporcionen un conjunto (as a ciegas) y nos pidan verificar
que dicho conjunto admite una estructura de variedad diferenciable de dimen-
sion m y clase C k , debemos proceder segun los siguientes pasos:
O. Santamaria S.
3.1. Definir sobre M alguna topologa T .

3.2. Mostrar que M es espacio de Hausdorff y segundo contable, respecto a la
topologa T .
3.3. Teniendo en cuenta T , construir sobre M una coleccion A de funciones,
que cumple con los requerimientos (1), (2) y (3) de la Definicion 2.10.A.
E JEMPLO 2.17 (Rm como variedad diferenciable). El espacio Rm , considera-

do con su topologa usual, es una ejemplo sencillo de variedad diferenciable. En
efecto, bajo esta topologa Rm es Hausdorff y segundo contable. Ademas de esto,
la coleccion A = {(Rm , I)}, es decir, aquella formada por solamente la aplica-
cion identidad I : Rm Rm , constituye un atlas de clase C y de dimension
m. Segun el Lema 2.2, la existencia de A garantiza a su vez la existencia de una
estructura diferenciable sobre Rm , de clase C y dimension m. Luego (Rm , A )
es una variedad diferenciable de clase C y dimension m.
E JEMPLO 2.18 (La esfera es variedad diferenciable). Considere la m-esfera uni-

taria v
um+1
{ } u
Sm = x Rm+1 : x = 1 , donde x = t x2i .
i=1
con la topologa de subespacio. Siendo Rm+1 espacio de Hausdorff y segundo

contable, Sm hereda tambien estas propiedades.
Para j = 1, 2, . . . , m + 1, defina los hemisferios
U2j1 = {x Sm : xj > 0} y U2j = {x Sm : xj < 0} .
Observe que estos hemisferios son abiertos en Sm (Fig. 2.4.a), pues U2j1 = Hj+
Sm y U2j = Hj Sm donde
{ }
Hj+ = x Rm+1 : xj > 0 y Hj = {x Rm+1 : xj < 0}
son conjuntos abiertos en Rm . Por otro lado, defina aplicaciones i : Ui i (Ui )

por medio de la igualdad
(
)
i (x) = x1 , . . . , xj , . . . , xm+1

donde i = 2j 1 o i = 2j, j = 1, . . . , m + 1. (Aqu la notacion xj indica
que la coordenada xj ha sido suprimida). Observe que i (Ui ) es la bola abierta
en Rm , de centro en 0 Rn y radio 1 (Fig. 2.4.b). Ademas estas aplicaciones
O. Santamaria S.
U5
U2
U4
U3
U1 U6
(a) Descomposicion de S 2 en seis (b) Sistema de

hemisferios coordenadas en la
esfera
Fig. 2.4
i : Ui i (Ui ) son inyectivas. En efecto, sean x, y Ui Sm y suponga que

i = 2j 1. Esto implica entonces que xj > 0 e yj > 0. Si i (x) = i (y) entonces
(
) (
)
x1 , . . . , xj , . . . , xm+1 = y1 , . . . , yj , . . . , ym+1
de donde se obtiene que
x1 = y1 , ... , xj1 = yj1 , xj+1 = yj+1 , ... , xm+1 = ym+1
y por lo tanto
x21 + . . . + x2j1 + x2j+1 + . . . + x2m+1 = y12 + . . . + yj1
2 2
+ yj+1 2
+ . . . + ym+1 .
Pero como x, y Sm entonces x2 = 1 = y2 , luego de la anterior igualdad
resulta
1 x2j = 1 yj2
y como xj > 0 y yj > 0 entonces se obtiene finalmente xj = yj . Luego x = y.
Analogamente se procede si suponemos i = 2j.
Considerando las restricciones al conjunto Ui de las proyecciones
1 , . . . , m+1 : Rm+1 R se tiene que
(
)
i = 1 |Ui , . . . , j |Ui , . . . , m+1 |Ui
entonces resulta i continua. A continuacion defina funciones i : B (0, 1) Ui

como
( )
i (y) = y1 , . . . , yj1 , 1 y , yj , . . . , ym , si i = 2j 1
2
( )
i (y) = y1 , . . . , yj1 , 1 y , yj , . . . , ym , si i = 2j
2
O. Santamaria S.
donde j = 1, 2, . . . , m + 1. Es inmediato comprobar que cada una de estas i es

continua y ademas que es inversa de i .
Observe que S = i Ui . En efecto, siendo Ui subconjunto de Sm , para todo
m
ndice i, resulta i Ui Sm . Por otro lado, si x = (x1 , . . . , xm+1 ) Sm entonces

x = 1 y, por tanto, x = 0. Esto implica que existe algun j = 1, . . . , m+1 tal
que
xj = 0. De aqu surgen dos posibilidades:
si xj < 0 entonces x U2j i Ui ;
si xj >0 entonces x U2j1 i Ui . En cualquier caso se tiene entonces que
Sm i Ui .
A estas alturas, solo queda demostrar que los cambios de coordenadas son di-
feomorfismos de clase C . Esto lo dejamos como ejercicio para el lector. Por lo
tanto, la coleccion
A = {(U2j1 , 2j1 ), (U2j , 2j ) : j = 1, . . . , m + 1}
constituye para Sm un atlas de clase C y dimension m. Luego (Sm , A ) es una

variedad diferenciable de clase C y dimension m.
E JEMPLO 2.19 (Nuevamente Sm como variedad diferenciable). Existe otra ma-
nera de demostrar que Sm es una variedad diferenciable, de dimension m y clase
C , y esta consiste en considerar como atlas a aquel formado por dos sistemas de
coordenadas: aquellos dados por la proyeccion estereografica de la esfera menos
el polo norte, y de la esfera menos el polo sur (Fig. 2.5), en Rm . Detallamos esto
a continuacion.
N
S2
Fig. 2.5: Proyeccion este-
reografica, de S2 {N } en
R2
R2
Considere nuevamente la esfera unitaria Sm = {x Rm+1 : x = 1}, con

la topologa inducida por la del Rm+1 . En particular Sm es Hausdorff y segundo
contable.
Si N = (0, .., 0, 1) Sm y s = (0, ..., 0, 1) Sm son los polos norte y
sur, respectivamente, de Sm , defina las aplicaciones : Sm {N } Rm y
: Sm {s} Rm como
x x
(x) = , (x) =
1 xm+1 1 + xm+1
donde x = (x1 , . . . , xm+1 ) y x = (x1 , . . . , xm ).
O. Santamaria S.
Sabiendo que estas aplicaciones son homeomorfismos, considere la coleccion
A = {(U, ) , (V, )} .
donde U = Sm {N } y V = Sm {s}. Es evidente que Sm = U V . En

cuanto al cambio de coordenadas 1 : (U V ) (U V ) se tiene que
(U V ) = Rm {0} = (U V ), luego (U V ) y (U V ) son subconjuntos
abiertos de Rm . Ademas, para todo y (U V ),
2y
( )
( ) (2y, |y| 1)
2
|y|2
+1
1 (y) = 1 (y) = =
|y|2 + 1 |y|2 1
1+ 2
|y| + 1
y z
de donde resulta 1 (y) = . Analogamente se tiene 1 (z) = 2 para
|y|2 |z|
todo z (U V ). De esto se concluye que el cambio de coordenadas 1
es un difeomorfismo de clase C .
En conclusion, la coleccion A = {(U, ) , (V, )} es un atlas m-dimensional y
de clase C para la esfera Sm . Este atlas lo llamaremos en adelante como atlas
estereografico.
Observacion 2.6. Probablemente el lector ya se estara preguntando que relacion
tienen los atlas dados a Sm en los ejemplos 2.18 y 2.19. Pues bien, la respuesta es
que la union de ellos es nuevamente un atlas m-dimensional y de clase C . Esto
quiere decir que todos los sistemas de coordenadas de uno de los atlas se puede
admitir en el otro y viceversa (ver ejercicio 10 al final del captulo), por tanto,
ambos atlas estan contenidos en el mismo atlas maximal y entonces originan la
misma variedad.
En el ano 1956, el matematico estadounidense John Willar Milnor probo que
la esfera S7 tiene varias estructuras que no son difeomorfas. Mas exactamente,
mostro que S7 tiene 28 estructuras (es decir, con cada una de estas estructuras se
tiene una variedad distinta o, lo que es lo mismo, una carta de una esas estructuras
no se puede admitir en ninguna de las otras 26 estructuras), la esfera S 11 tiene 992
estructuras, la esfera S 15 , 16256 y la esfera S 31 mas de dos millones.
E JEMPLO 2.20 (RP(m) es variedad diferenciable). De los ejemplos 1.13 y 2.8,
sabemos que el espacio proyectivo RP(m) es una variedad topologica cuyo atlas,
hasta este momento de clase C 0 , esta dado por la coleccion A = {(Ui , hi ) : i =
1, . . . , m + 1}. Mostraremos que (RP(m), A ) es una variedad diferenciable de
dimension m y clase C .
De acuerdo a lo que ya hemos estudiado en los ejemplos anteriores, solo nos
queda comprobar que dados los sistemas de coordenadas (Ui , hi ) y (Uj , hj ) tal
O. Santamaria S.
que Ui Uj = , el cambio de coordenadas hij = hj h1

i es un difeomorfismo
de clase C .
Considere entonces las cartas hi : Ui Rm y hj : Uj Rm las cuales, como ya
sabemos, estan definidas respectivamente por
1
hi ( [x1 , . . . , xi , . . . , xm+1 ] ) = (x1 , . . . , xi , . . . , xm+1 )
xi
1
hj ( [x1 , . . . , xj , . . . , xm+1 ] ) = (x1 , . . . , xj , . . . , xm+1 ).
xj
donde el smbolo significa que la respectiva coordenada ha sido suprimida.
Suponga i > j. En cuanto a la interseccion
Ui Uj = {[x1 , . . . , xm+1 ] RP(m) : xi = 0 , xj = 0}
se tiene que
hi (Ui Uj ) = {(y1 , . . . , ym ) Rm : yj = 0} y
hj (Ui Uj ) = {(y1 , ..., ym ) Rm : yi1 = 0}.
Esto se debe a que
h1
i (y1 , . . . , yj , . . . , yi , . . . , ym )
= [y1 , . . . , yj , . . . , 1, yi , . . . , ym ] (Ui Uj ) yj = 0
h1
j (y1 , . . . , yj , . . . , yi , . . . , ym )
= [y1 , . . . , 1, yj , . . . , yi , . . . , ym ] (Ui Uj ) yi1 = 0.
Ademas de esto,
hj h1
i (y1 , . . . , yj , . . . , yi , . . . , ym ) = hj ( [y1 , . . . , yj , . . . , 1, yi , . . . , ym ] )
1
= (y1 , . . . , yj , . . . , 1, yi , . . . , ym )
yj
es decir,
hj h1
i (y1 , . . . , yj , . . . , yi , . . . , ym ) =
1
(y1 , . . . , yj1 , yj+1 , . . . , yi1 , 1, yi , . . . , ym )
yj
O. Santamaria S.
y debido a que
(y1 , . . . , yj . . . , yi , . . . , ym ) hi (Ui Uj ) = {(y1 , . . . , ym ) Rm : yj = 0} ,
se concluye que hj h1
i es un difeomorfismo de clase C .
Nota: La inversa del anterior cambio de coordenadas queda definido por
hi h1
j (y1 , . . . , yj , . . . , yi , . . . , ym ) = hi ( [y1 , . . . , 1, yj , . . . , yi , . . . , ym ] )
1
= (y1 , . . . , 1, yj , . . . , yi1 , yi , . . . , ym )
yi1
es decir
hi h1
j (y1 , . . . , yj , . . . , yi , . . . , ym )
1
= (y1 , . . . , yj1 , 1, yj , . . . , yi2 , yi , . . . , ym ).
yi1
Un procedimiento similar se sigue cuando i < j. En suma, (RP(m), A ) es varie-

dad diferenciable de dimension m y clase C . z
E JEMPLO 2.21 (Superficies regulares). Sea S Rn una superficie regular m-

dimensional y clase C k . Como subespacio topologico de Rn , S es espacio de
Hausdorff y segundo contable. Ademas de esto, por definicion de superficie re-
gular (vea por ejemplo el captulo 2 en [10]), para cada punto p S, existe
un subconjunto abierto V Rn y un homeomorfismo diferenciable : U
Rm V S, definida en el subconjunto abierto U Rm , cuya derivada
dq : Rm Rn es inyectiva. Basta considerar como atlas a la coleccion de
aplicaciones (V S, 1 ). Entonces A = {(V S, 1
) : L} es un atlas de
clase C k .
W M
(a) Toda superficie regular es (b) Subvariedad abierta

variedad diferenciable
Fig. 2.6
O. Santamaria S.
E JEMPLO 2.22. Sea (M m , A ) una variedad de clase C k y W un subconjunto

abierto en M. Entonces W , con la topologa de subespacio, es de Hausdorff y
segundo contable. Ademas, dado cualquier (U, ) A tal que U W = la
restriccion |U W : U W (U W ) es un sistema de coordenadas para W .
Por tanto, la coleccion
AW := {(U W, |U W ) : (U, ) A }
es un atlas de clase C k para W . Luego (W, AW ) es una variedad diferenciable,

de la misma clase de diferenciabilidad y misma dimension que M . En este caso,
(W, AW ) se llama sub-variedad abierta de M (Fig. 2.6.b).
E JEMPLO 2.23 (Producto de variedades diferenciables). Sean (M, A ) y (N, B)

variedades diferenciables de dimension m y n, y de clase C k1 y C k2 respec-
tivamente. Del Ejemplo 2.13 sabemos que el producto cartesiano M N es
variedad topologica, de dimension m + n. Si A = {(U , ) : L1 } y
B = {(V , ) : L2 } , entonces la siguiente coleccion es un atlas de clase
C mn{k1 ,k2 } :
A B = {(U V , ) : (, ) L1 L2 },
donde cada aplicacion : U V (U ) (V ) Rm Rn , es

definida por (x, y) = ( (x), (y)).
Usando induccion se deduce rapidamente que el producto cartesiano de una colec-
cion finita de variedades diferenciables, es nuevamente una variedad diferenciable
cuya dimension es la suma de las dimensiones de cada variedad que interviene en
dicho producto.
E JEMPLO 2.24 (El toro n-dimensional). Como S1 es variedad diferenciable de

dimension 1 y clase C , resulta del ejemplo anterior que Tm := S1 S1 (m
veces S1 ) es variedad diferenciable de dimension m y clase C .
E JEMPLO 2.25 (Espacio proyectivo complejo). Imitando al proceso usado para

la construccion del espacio proyectivo real RP(n), (Ejemplo 1.13), se construye
el Espacio Proyectivo Complejo. El proceso es el siguiente: sea C el cuerpo de los
numeros complejos. En el espacio complejo X = Cn+1 {0} defina la relacion ,
segun la cual dados z, w X, se define que z w si existe un numero complejo
C {0} tal que w = z. Esta relacion es de equivalencia, lo que permite
formar al conjunto cociente Cn+1 / llamado Espacio Proyectivo Complejo y se
denota como CP(n). Este conjunto cociente es una variedad diferenciable de di-
mension 2n. La verificacion de esto queda como un ejercicio (podra ser util mirar
los ejemplos 2.8 y 2.20).
O. Santamaria S.
E JEMPLO 2.26. Sea (N, B) una variedad diferenciable m-dimensional y cla-

se C k , M un espacio topologico y f : M (N, B) un homeomorfismo. Sien-
do N un espacio de Hausdorff y segundo contable, el espacio M tambien lo es.
Ademas de esto, dado cualquier x M , para el punto f (x) N existe un abierto
V en N , tal que f (x) V , y un homeomorfismo : V (V ) entre V y el
abierto (V ) del Rm , entonces la funcion := f |f 1 (V ) : f 1 (V ) (V )
es tambien un homeomorfismo entre el abierto U := f 1 (V ) de M , con x U , y
(V ). Como la coleccion {V : (V, B)} es un cubrimiento abierto de N esto
implica que la coleccion {f 1 (V ) : (V, ) B} es un cubrimiento abierto de M .
Finalmente, si (f 1 (V ), f |f 1 (V ) ) y (f 1 (W ), f |f 1 (W ) ) son dos cartas tales
que f 1 (V ) f 1 (W ) = entonces ( f ) ( f )1 = 1 (en un conjunto
adecuado cual?). En particular el cambio de coordenadas ( f ) ( f )1 es
un difeomorfismo de clase C k . Esto muestra que la coleccion
{ }
A := (f 1 (V ), f ) : (V, ) B
es un atlas de clase C k para M y, por tanto, (M, A ) es tambien una variedad

diferenciable de la misma dimension y clase de diferenciabilidad de N .
E JEMPLO 2.27 (Variedades de Grassmann). Fije n, p N tales que 1 p n.

Considere el conjunto
G(n, p, R) := {subespacios vectoriales de Rn de dimension p}.
Mostraremos que G(n, p, R) es una variedad diferenciable compacta de clase C ,

y ademas veremos que el conjunto G(n + 1, 1, R) coincide con el espacio RP(n).
Demostracion.
1. G(n, p, R) como conjunto cociente.
Sea M (n p) = Rnp el conjunto de matrices reales de orden n p y sea

Mnp M (n p) el conjunto formado por matrices de rango p. Esto implica
en particular que para cada matriz en Mnp , sus respectivas columnas forman una
base de un subespacio vectorial p-dimensional de Rn .
Observe que dadas las matrices
[ ] [ ]
V = v1 v2 vp np y A = aij pp ,
donde v1 , v2 , . . . , vp denota las columnas de V , entonces

[ p p p ]
V A= i=1 ai1 vi i=1 ai2 vi i=1 aip vi np
,
O. Santamaria S.
de lo cual se deduce que si A es una matriz que tiene inversa, y V es de rango p,

entonces V y V A generan al mismo subespacio vectorial p-dimensional. En reali-
dad las columnas de V y de V A son bases del mismo subespacio y A es la matriz
de cambio entres estas bases.
Un primera observacion que podemos hacer respecto a Mnp es que este constituye
un conjunto abierto en Rnp . En efecto, para ello basta observar
[ ]que cada matriz V
AV
de orden n p y rango p puede ser escrita en la forma , donde AV es una
BV
matriz (bloque) de orden p invertible y BV es la matriz de orden (n p) p. Por
tanto podemos escribir
Mnp = {V M (n p) : det AV = 0}.
Siendo entonces Mnp un subconjunto abierto en M (n p) se concluye del Ejem-

plo 2.22 que Mnp es tambien una variedad diferenciable de clase C y dimen-
sion np (pues M (n p) es una variedad diferenciable con estas caractersticas).
Dadas las matrices V, W Mnp declaramos que V W si existe una matriz
invertible A M (p p) tal que W = V A. Es decir, V W si ambas matrices
generan al mismo subespacio vectorial p-dimensional del Rn . Esto define una
relacion de equivalencia en Mnp , y lo comprobamos a continuacion:
(a) Dada cualquier matriz V Mnp , se tiene V = V I, donde I M (p p) es
la matriz identidad. Entonces V V , es decir, es reflexiva.
(b) Sean V, W Mnp tal que V W , entonces existe una matriz invertible
A M (p p) tal que W = V A, y de aqu resulta V = W A1 , por tanto,
W V.
(c) Finalmente, dada las matrices V W y W H, existen matrices inversibles

A1 , A2 M (p p) tales que W = V A1 y H = W A2 . Esto implica que
H = (V A1 ) A2 , lo cual muestra que V H.
Para cada V Mnp , la clase [V ] representa, geometricamente, a un subespacio
vectorial p-dimensional del Rn . Por tanto, podemos pensar en el conjunto cociente
Mnp / como la coleccion de subespacios vectoriales de dimension p contenidos
en Rn . Esto justifica la identificacion Mnp / = G(n, p, R). Refiriendose a cada
clase [V ] simplemente como un p-plano, algunos llaman a G(n, p, R) como la
Variedad de Grassmann de p-planos.
Considere la aplicacion : Mnp G(n, p, R), que a cada V Mnp le asocia el
subespacio vectorial (V ) = E generado por las columnas de V .
Al elegir una matriz V Mnp tal que (V ) = E, llamaremos a V como matriz
representativa de E. Asimismo si v1 , . . . , vp son las columnas de V escribiremos
V = [v1 v2 . . . vp ].
O. Santamaria S.
2. G(n, p, R) como espacio topologico.
Puesto que G(n, p, R) = Mnp / usaremos la proyeccion : Mnp G(n, p, R)

para definir una topologa en G(n, p, R), de la siguiente manera:
Declaramos que un subconjunto U G(n, p, R) es abierto si y solamente si
1 (U ) es abierto en Mnp Rnp . Es decir, dotamos a G(n, p, R) de la topo-
loga co-inducida o identificacion, determinada por y la topologa usual de Rnp .
Como ya sabemos, con esta topologa se convierte automaticamente en funcion
continua.
3. El espacio G(n, p, R) es compacto.
Considere el conjunto C Mnp formado por todas las matrices de rango p cuyas
columnas forman un conjunto ortonormal. Si f : Mnp Rp es la funcion
2
definida por f (W ) = W T W entonces f (W ) = I para toda W C, luego

C = f 1 (I) y por lo tanto C es cerrado.
Por otro lado, C es acotado. En efecto, dada W C, y puesto que las columnas
forman un conjunto ortonormal (es decir de longitud 1) entonces

W = v1 2 + + vp 2 = p.
Siendo C cerrado y acotado se concluye que es compacto. Pero en cada subespacio

vectorial E es posible obtener una base ortonormal (proceso de ortogonalizacion
de Gramm-Schmit) y entonces G(n, p, R) = (C). Siendo continua y C com-
pacto se concluye que G(n, p, R) es compacto.
4. El espacio G(n, p, R) es de Hausdorff.
En el caso n = p, G(n, n, R) se reduce a un solo elemento, pues el unico

subespacio n-dimensional del Rn es el mismo Rn , es decir, G(n, n, R) =
{Rn } y, por tanto, es espacio de Hausdorff.
Suponga 1 p < n. Observe en primer lugar que dado cualquier subes-
pacio vectorial E = (V ) G(n, p, R), y eligiendo una base ortonormal
{u1 , . . . , up } en E, entonces para cada x Rn el numero

p

x x, ui ui

i=1
representa la distancia de x a E. Ahora considere el cuadrado de esta dis-

tancia, es decir,
p
x (E) := x
2
x, ui 2 .
i=1
O. Santamaria S.
Fijando x Rn y haciendo variar E en G(n, n, R) se obtiene la funcion

x : G(n, n, R) R, que a cada E le asigna la distancia x (E). Sea C el
subespacio de matrices np cuyas columnas forman un conjunto ortogonal.
Como la funcion x : C R es continua y G(n, n, R) tiene la topologa
cociente entonces resulta de la Proposicion 1.5 que x es continua.
Con estas consideraciones mostramos que G(n, n, R) es Hausdorff: sean
entonces dos subespacios E, F G(n, n, R) tales que E = F . Elija un
elemento x E tal que x / F . Entonces x (E) = 0 pero x (F ) = 0, es
decir, x (E) = x (F ). Sea A1 y A2 subconjuntos abiertos de R tales que
x (E) A1 , x (F ) A2 y A1 A2 = . La continuidad de x implica que
los conjuntos U1 := x (A1 ) y U2 := x (A2 ) son abiertos en G(n, n, R) y
ademas U1 U2 = .
5. G(n, p, R) es espacio segundo contable.
En primer lugar debemos mostrar que la relacion en Mnp es abierta. Sea U un
subconjunto abierto en Mnp entonces (U ) es abierto en G(n, n, R) si y solo si
1 ((U )) es abierto en Mnp . Para cada A GL(Rp ) considere la aplicacion
fA : Mnp Mnp definida por fA (V ) = V A. Entonces fA es un homeomor-
fismo y, en particular, abierta, pero ademas 1 ((U )) = fA (U ). Esto
AGL(Rp )
permite concluir que es funcion abierta.
En segundo lugar, siendo Mnp contable entonces resulta del Corolario 1.5 que
G(n, n, R) es segundo enumerable.
6. Dos funciones auxiliares.
En adelante usaremos la notacion
Jn = {1, 2, . . . , n}, = {1 1 < . . . < p n} y = Jn .
Es decir, representara un conjunto formado por exactamente p elementos de Jn ,
y es el complemento de en Jn .
En general, dada una matriz V M (n p) y el conjunto , designaremos por
(V ) a la matriz formada por las filas 1 , . . . , p de V , mientras que (V ) repre-
sentara a la matriz cuyas filas son aquellas filas de V que no fueron usadas para
formar (V ).
A modo de ilustrar esto, imagine por ejemplo que estamos en el espacio de ma-
trices M (4 2). En este caso J4 = {1, 2, 3, 4}. Si = {2, 3}, entonces dada la
matriz
a11 a12
a21 a22
V = a31 a32

a41 a42
O. Santamaria S.
se tiene [ ] [ ]
a21 a22 a11 a12
(V ) = , (V ) = .
a31 a32 a41 a42
Observe en general que si V M (n p) entonces (V ) M (p p) = Rp
2
mientras que (V ) M (n p p) = R(np)p . Luego y dan origen a

funciones, que denotaremos tambien como y ,
: M (n p) M (p p) y : M (n p) M (n p p),
que a cada V M (n p) le asocian las matrices (V ) y (V ).

Para toda matriz A M (p p) se cumplen las igualdades
(V A) = (V ) A , (V A) = (V ) A. (*)
Demostracion de las igualdades (*). Sea V = [v1 . . . vp ] M (n p) y sea la

matriz A = [a1 . . . ap ] M (p p). Indicaremos con [v1 . . . vn ]T a la misma
matriz V pero esta vez enumerando sus filas. Entonces

v1 v1 , a1 v1 , a2 v1 , ap
v v , a1 v , a2 v , ap
2 2 2 2
V A = .. [a1 . . . ap ] = .. .. . ..
. . . . . .

vn vn , a1 vn , a2 vn , ap np
luego, si = {1 1 < . . . < p n} se tiene

v1 , a1 v 1 , a2 v 1 , ap
v , a1 v , a2 v , ap
2 2 2
(V A) = .. .. . ..
. . . . .

vp , a1 vp , a2 vp , ap
pp

v1
v
2
= .. [a1 . . . ap ] = (V ) A.
.
vp
Un procedimiento analogo muestra la segunda igualdad (*). z
7. Sistemas de coordenadas en G(n, p, R).
Sea {e1 , . . . , en } la base canonica en Rn . Para cada Jn , sea Rp el subespa-

cio de Rn generado por los vectores e1 , . . . , ep y considere ademas la funcion
: Rn Rp dada por la proyeccion ortogonal sobre Rp . Para cada Jn ,
O. Santamaria S.
elija U G(n, p, R) como el conjunto de subespacios vectoriales E Rn , de

dimension p, tales que |E : E Rp es un isomorfismo.
Para entender mejor esto considere por ejemplo = {1, 3} J3 . En este caso
el espacio generado por {e1 , e3 } es el plano x1 x3 . Mientras que : R3 R2
es definida por (x1 , x2 , x3 ) = (x1 , 0, x3 ). Luego U13 G(3, 2, R) esta forma-
do por todos los subespacios (planos) del R3 que no contengan al eje x2 , pues
13 : R3 R213 proyecta todo el eje x2 en el origen, luego no seria inyectiva.
En general entonces U G(n, p, R) esta formado por todos los subespacios vec-
toriales p-dimensionales no ortogonales al subespacio generado por
{e1 , . . . , ep }. Observe que cada U es un conjunto abierto, pues U = (U e ),
donde U e Mnp es el conjunto (abierto) formado por todas las matrices cuyas
filas 1 , . . . , p , son linealmente independientes, y como es aplicacion abierta
se concluye en lo afirmado.
Debe observarse tambien que U = G(n, p, R). En efecto, como cada es-
Jn
pacio vectorial E de dimension p es isomorfo a algun Rp (pues al considerar una
matriz representativa
de E esta debe tener filas l.i.) entonces E U y por tanto
G(n, p, R) U . La otra inclusion es evidente.
Jn
Es claro que si V es una matriz representativa de E G(n, p, R) cuyas filas
son linealmente independientes, entonces (V ) es una matriz inversible. Ademas
de esto, por la primera igualdad (*),
(V [(V )]1 ) = (V ) [(V )]1 = Ip .
Para cada Jn , defina las aplicaciones : U G(n, p, R) R(np)p por

medio de la regla ( )
(E) = V [(V )]1
donde V es una matriz representativa, del subespacio E, cuyas filas son lineal-
mente independientes.
La filosofa del es la siguiente: dado un subespacio vectorial E generado por
las columnas de una matriz V = [v1 . . . vp ] cuyas filas sin linealmente inde-
pendientes, entonces de alguna manera se trata de convertir la submatriz formada
por las filas en la identidad. Lo que queda de V es lo que pondremos en corres-
pondencia con un elemento del R(np)p . Esto es logico porque al tener una matriz
H M ((n p) p), podremos recuperar una matriz que genere un subespacio
E G(n, p, R) con tan solo construir una matriz H cuyas filas son la identidad
y las restantes son las filas de H.
Puesto que cada eleccion de consiste en elegir p elementos dentro de un to-
n!
tal de n elementos, entonces en total hemos construido sistemas de
p!(n p)!
coordenadas.
O. Santamaria S.
Cada es una aplicacion bien definida

Una vez definido , es bueno convencernos que realmente estan bien definido.
Para ello elija otra matriz representativa W de E, cuyas filas son l.i. Es claro que
entre ellas existe una matriz (de cambio de base) A tal que W = V A, entonces,
usando nuevamente usamos las igualdades (*),
( )
W [(W )]1 = (W ) [(W )]1 = (V A) [(V A)]1
= (V ) A [(V ) A]1 = (V ) [(V )]1
es inyectivo para cada
Sean E, F U subespacios vectoriales tales que (E) = (F ). En E elija

una matriz representativa V0 tal que (V0 ) = I. Igualmente hacemos una eleccion
de una matriz representativa W0 para F . Es decir, la filas de V0 (igual las de W0 )
forman la matriz identidad I de orden p. Puesto que (E) = (F ) entonces
(V0 [(V0 )]1 ) = (W0 [(W0 )]1 ) lo cual implica que (V0 ) = (W0 ).
Pero esto significa que V0 y W0 no solo coinciden en las filas sino tambien en
las filas . Luego V0 = W0 y por lo tanto E = F .
Cada es sobreyectivo.
Sea Y R(np)p = M ((n p) p) una matriz cualquiera. Basta considerar una

matriz V cuyas filas forman la matriz identidad I de orden p y cuyas filas res-
tantes forman Y . Es claro entonces que Y tiene rango p y el espacio generado
por las columnas de V es un subespacio E U . Es decir, (E) = Y .
Cambio de coordenadas en G(n, p, R).
Sean (U , ) y (U , ) tales que U U = . Considere las aplicaciones
e : M ((n p) p)
= R(np)p M (n p) , : M (n p) M (p p)
donde es definida de manera similar a . Es decir, para cada matriz

W M (n p), (W ) es la submatriz de W formada por sus filas lineal-
mente independientes. Mientras tanto e es definida de la siguiente manera: Dada
una matriz T (U U ) R (np)p
, lo que hace e es construir una matriz
e
T tal que sus filas forman la identidad y las restantes son las filas de T . Por lo
tanto se tiene que las filas de Te son l.i si y solo si (Te) es invertible. Pero esto
significa que
(U U ) = ( e)1 (GL(Rp ))
e son continuas y el grupo lineal GL(Rp ) es abierto se concluye
Puesto que y
que (U U ) es conjunto abierto en R(np)p .
O. Santamaria S.
Por otro lado, dada la matriz T (U U ) R(np)p considere el subespacio

E = 1 (T ). Como la matriz e(T ) tiene las filas l.i. entonces las columnas de
esta generan a E. Por lo tanto
1
(T )) [(e
(T ) = (e (T ))]1
1
= (e
(T )).(Adj (e
(T )))T
det (e
(T ))
Como la inversion y la multiplicacion de matrices es de clase C , se concluye

que 1
es tambien de clase C .
8. Caso G(n + 1, 1, R)
En este caso se tiene Jn+1 = {1, 2, . . . , n + 1} y los conjuntos son unitarios.

Supongamos = {i} y = {j} y suponga que i < j. En este caso Ui esta for-
mado por todas las rectas (que pasan por el origen) que no son ortogonales al
espacio generado por ei (eje xi ), es decir por todas las rectas que no estan conte-
nidas en el plano xi = 0. Precisamente estos son los conjuntos que usamos en el
espacio proyectivo para definir los sistemas de coordenadas. Veamos como es la
regla de correspondencia de 1 .
Sea T M (n 1) tal que T = [y1 y2 . . . yn ]T entonces
e(T ) = [y1 y2 . . . yi1 1 yi . . . yj1 yj . . . yn ]T .

Como la fila = {j} es l.i (en este caso eso significa que es no nula) entonces
(e
(T )) = [y1 y2 . . . yi1 1 yi . . . yn ]T
y como (T ) = yj1 (es invertible y entonces yj1 = 0) entonces

1
1 (T ) = [y1 y2 . . . yi1 1 yi . . . yj2 yj . . . yn ]T
yj1
lo cual coincide con la expresion que se obtiene para el caso del espacio proyecti-
(n+1)!
vo. Ademas de esto hay 1!(n+11)! = n + 1 sistemas de coordenadas.
9. Otro caso particular: G(3, 2, R).
Con el proposito de aclarar los calculos anteriores daremos otro caso particular.
G(3, 2, R) representa el conjunto de subespacios vectoriales de dimension 2, es
decir, planos contenidos en R3 y que pasan por el origen de R3 .
Segun la notacion dada previamente se tiene J3 = {1, 2, 3} y, por tanto, los posi-
bles conjuntos son {1, 2}, {1, 3} y {2, 3}.
O. Santamaria S.
U12 es el conjunto de planos que no son ortogonales al plano x1 x2 . Algo analogo

puede decirse sobre U13 y U23 . Veamos como son los cambios de coordenadas.
Considere por ejemplo U12 U13 (convenimos en que = {1, 2} y = {1, 3}).
Calcularemos (U U ). Segun nuestra teora debe ser (U U ) = (
1 0
1
e) (GL(R )). Pero si T = [x y] entonces
2
e(T ) = 0 1 . Esta matriz genera

x y
un subespacio E U U . Pero si esto es as entonces las filas = {1, 3} de
e(T ) deben ser l.i. y para que esto ocurra debe ser y = 0. Por lo tanto T (U
U ) si y solo si y = 0. En conclusion (U U ) = {(x, y) R2 : y = 0}. Sea

T (U U ) R(32)2 = R2 y suponga que T = [x y] entonces

1 0 [ ]
1 0 [ ]
e(T ) = 0 1 (e
(T )) = , (e
(T )) = 0 1
x y
x y
Por lo tanto
[ ]1
[ ] 1 0
1
(T )

(T )) [(e
= (e 1
(T ))] = 0 1
x y
[ ]
[ ] 1 0 [ ]
= 0 1 = xy y1
y y
x 1
es decir ( )
x 1
1
(x, y) = ,
y y
y como y = 0 se concluye que 1
es diferenciable de clase C . z
2.5. Estructuras diferenciables sobre conjuntos

Existe otra forma de abordar la nocion de variedad diferenciable. Esta consiste
en considerar sobre un conjunto M (sin alguna estructura topologica previamente
dada) una coleccion de funciones, definidas en subconjuntos de M , con condicio-
nes parecidas al de un atlas de clase C k . La diferencia es que ahora se tienen
limitaciones impuestas por el hecho de no tener la posibilidad, al inicio, de hablar
de conjuntos abiertos en M , o de homeomorfismos entre subconjuntos de M y
abiertos de algun espacio euclidiano. Vea por ejemplo [1] (Cap. 1), [5] (Cap. 5),
[6] (Cap. 2), [9] (Cap. 2), [11] (Cap. 1), [19] (Cap 2), [20] (Cap. 1), [25] (Cap
5), [26] (Cap. 2), [29] (Cap. 1), [34] (Cap. 1), [35] (Cap. 3), [39] (Cap. 4) y [48]
(Cap. 1).
O. Santamaria S.
72 2.5. Estructuras diferenciables sobre conjuntos
Sin embargo, como veremos, dicha coleccion de funciones permite crear sobre M
una estructura topologica respecto a la cual las funciones dadas se convierten en
homeomorfismos. Y con esto todo vuelve a la normalidad.
D EFINICI ON 2.11. Sea M un conjunto. Un atlas por biyecciones de clase C k y

dimension m sobre M es una coleccion A = {(U , ) : L}, formada por
funciones : U Rm tales que
1. Cada U es subconjunto de M y la coleccion {U : L} es un cubrimiento

de M .
2. Cada funcion : U (U ) es biyectiva y (U ) es subconjunto abierto

de Rm .
3. Para todo , L, los conjuntos (U U ) y (U U ) son abiertos

en Rn y las funciones 1
: (U U ) (U U ) son difeomor-
k
fismos de clase C .
Un atlas por biyecciones, como en la Definicion 2.11, simplemente sera llamado

atlas. Cada difeomorfismo, 1
se llama cambio de coordenadas o tambien
funcion transicion.
Observacion 2.7.
1. Una funcion biyectiva : W (W ), definida en un subconjunto W de M y

tal que (W ) es un conjunto abierto en algun espacio euclidiano Rm , se llama
carta sobre M . En este caso, W se denomina dominio coordenado. Una carta
con dominio W se denota como el (W, ).
2. Una carta (W, ) en M es compatible con un atlas A = {(U , ) : L} si

la union {(W, )} A es nuevamente un atlas, de la misma clase y dimension
que A . Y para que esto ocurra, se debe tener que para cada (U , ) A ,
los conjuntos (U W ) y (U W ) son abiertos en Rm y la funcion
1
: (U W ) (U W ) es un difeomorfismo de clase C .
k
3. Dos atlas sobre M , ambos de clase C k y dimension m, son compatibles si la

union de ellos es nuevamente un atlas, de la misma clase y dimension. Es sen-
cillo mostrar que esto constituye una relacion de equivalencia, en el conjunto
de atlas de clase C k y dimension m, definidos sobre M .
4. Sea A un atlas de clase C k y dimension m sobre un conjunto M y sea [A ]

atlas equivalentes a A , bajo la relacion de compati-
la coleccion de todos los

bilidad. El atlas A := B[A ] B es tambien un atlas equivalente a A y es
maximal en el sentido que no esta incluido en ningun otro atlas, de la misma
O. Santamaria S.
clase y dimension, sobre M . De manera analoga al Lema 2.2, se tiene que to-
do atlas A esta contenido en un unico atlas maximal, el cual es la union de
todos los atlas equivalentes a A . Un atlas maximal m-dimensional y clase C k
(k 1) sobre un conjunto M , se llama estructura diferenciable en M , de clase
C k y dimension m.
En este nuevo contexto damos la respectiva definicion de variedad diferenciable.
D EFINICI ON 2.12. Una variedad diferenciable, m-dimensional y clase C k , es un
conjunto M provisto de alguna estructura diferenciable A de clase C k y dimen-
sion m.
En este caso, la variedad diferenciable es denotada como el par (M, A ).
Observar que hasta el momento no hemos definido sobre M ninguna estructura to-
pologica. La nocion de atlas que se ha dado (Definicion 2.11) solamente hace uso
de funciones biyectivas, aunque los cambios de coordenadas son difeomorfismos
entre subconjuntos abiertos de espacios euclidianos. Sin embargo, veremos en los
siguientes resultados que una estructura de clase C k y dimension m sobre un con-
junto M , determina sobre este una topologa, respecto a la cual las biyecciones
que conforman el atlas se convierten en homeomorfismos.
L EMA 2.4. Sea (M, A ) una variedad diferenciable m-dimensional y clase C k .
Si (U, ) A y W es un subconjunto de U tal que (W ) es subconjunto abierto
en Rm entonces (W, |W ) A .
Demostracion. Como la restriccion |W : W |W (W ) es tambien una biyec-
cion entre el subconjunto W de M y el abierto |W (W ) (W ) de Rm en-
tonces (W, |W ) es tambien una carta en M . Sea (V, ) A arbitrario tal que
W V = . Siendo W subconjunto de U entonces
W V = (W U ) V = W (U V )
lo cual implica que
(W V ) = (W (U V )) = (W ) (U V )
y, en particular, (W V ) es subconjunto abierto de Rm , pues es la interseccion de
dos abiertos. Como ademas 1 : (U V ) (U V ) es un difeomorfismo
de clase C k , y (W V ) es subconjunto abierto de (U V ) entonces (
1 )((W V )) es tambien subconjunto abierto de (U V ) y, por tanto, abierto
en Rm . Siendo ( 1 )((W V )) = (W V ) se concluye que (W
V ) es subconjunto abierto de Rm . La funcion (|W )1 es la restriccion del
difeomorfismo 1 al conjunto abierto (W V ), lo cual implica a su vez que
(|W )1 es tambien un difeomorfismo, de la misma clase C k . Esto muestra
que (W, |W ) es compatible con A y, de la maximalidad de A , se concluye que
(W, |W ) A . z
O. Santamaria S.
P ROPOSICI ON 2.4. Sea (M, A ) una variedad diferenciable de clase C k y di-

mension m. Entonces la coleccion {U : (U , ) A } es base de alguna
topologa sobre M .
Demostracion. Como la coleccion C := {U : (U , ) A } es un cubri-

miento de M entonces para cada x M existe algun U C tal que x U . De
acuerdo a la Proposicion 1.16 solamente queda mostrar que para cada U, V C y
x U V existe algun W C tal que x W U V . En realidad mostraremos
que U V C , luego podramos considerar como W al mismo U V . Sean enton-
ces U y U tales que (U , ) y (U , ) son elementos del atlas A . De la Defi-
nicion 2.11 se tiene que 1
es un difeomorfismo entre los conjuntos abiertos
(U U ) y (U U ). En particular |U U : U U (U U ) es
una biyeccion entre un subconjunto de M y un abierto del espacio euclidiano Rm .
Del Lema 2.4 resulta que (U V, |U U ) A , luego U U C . z
La topologa sobre M , cuya base es la coleccion C de la Proposicion 2.4, se

denomina topologa canonica sobre M inducida por A .
Por definicion de base, en la topologa sobre M inducida por A todo conjunto
abierto en M es union de elementos de C . Otra manera de describir estos abiertos
es dada en el resultado que sigue.
P ROPOSICI ON 2.5. Sea (M, A ) una variedad diferenciable m-dimensional y

clase C k . La coleccion
T = {W M : (W U ) es abierto en Rm para todo (U, ) A } .
es una topologa sobre M , y ademas coincide con la topologa inducida por A .
Demostracion. Como = ( U ), para todo (U, ) A , y siendo conjunto

abierto en Rm entonces T . Analogamente, como la igualdad (M U ) =
(U ) es valida para todo (U, ) A , y siendo (U ) subconjunto abierto de Rm ,
pues A es atlas por biyecciones, se concluye que M T .
Por otro lado si {Wi }iL es una familia arbitraria de elementos de T entonces
(Wi U ) es abierto en Rm , para todo (U, ) A . Luego
(( ) ) ( )

Wi U = (Wi U ) = (Wi U ) .
iL iL iL

Siendo (Wi U ) un conjunto abierto en Rm se concluye, de las igualdades
iL
anteriores, que iL Wi es un elemento de T .
O. Santamaria S.
Finalmente, si W1 , . . . , Wk son elementos de T entonces para todo (U, ) A

se tiene que
(( ) ) ( )

k
k
k
Wi U = (Wi U ) = (Wi U ),
i=1 i=1 i=1

k
k
y como (Wi U ) es abierto en Rm resulta que Wi T . Esto concluye
i=1 i=1
la prueba de que T es una topologa para M.
Por otro lado, sea TA la topologa inducida por el atlas A . Mostraremos que
T = TA .
Sea W T arbitrario. Por la definicion de T , para cada (U , ) A el conjun-
to (W U ) es abierto en Rm . Del Lema 2.4 se deduce que (W U , |W U )
es elemento de A , luego W U pertenece a la coleccion
C , dada en la Pro-
posicion
2.4, la cual es base de TA . Como M = U
L entonces resulta
W = L (W U ), es decir, W es union de elementos de C , luego W TA .
Esto muestra que T TA .
Sea W TA . Como la coleccion C , dada en la Proposicion 2.4, es base de TA
entonces W es union de elementos de dicha coleccion, es decir, W = L U .
Por la definicion de atlas, para todo (U , ) A el conjunto (U U ) es
abierto en Rm y ademas
(( ) )

(W U ) = U U = (U U )
L L
entonces (W U ) es abierto en Rm , para todo (W , ) A . Esto muestra

que W T , por tanto, TA T . z
De las proposiciones 2.4 y 2.5 se tiene entonces que en una variedad diferenciable
(M, A ), la topologa
T = {W M : (W U ) es abierto en Rm para todo (U, ) A } TA
admite como base a la coleccion {U : (U , ) A }. Respecto a esta topologa,

las biyecciones (U , ) son homeomorfismos, tal como establece el resultado
que sigue.
P ROPOSICI ON 2.6. Sea (M, A ) una variedad diferenciable, de clase C k y di-

mension m. Respecto a TA , cada biyeccion : U (U ) es un homeomor-
fismo.
O. Santamaria S.
Demostracion. De la definicion misma de TA , se tiene que cada conjunto U es

elemento de TA . Sea A un conjunto abierto en Rm y sea W = 1 (A). La igual-
dad (W ) = A (U ) muestra que (W ) es conjunto abierto en Rm , por
ser la interseccion de dos abiertos; ademas siendo W subconjunto de U resulta
del Lema 2.4 que (W, |W ) es elemento de A , luego W C TA = T . Esto
muestra que es continua.
Para ver que 1 : (U ) U es funcion continua, mostraremos que
: U (U ) es funcion abierta. Para ello considere primero cualquier abier-
to basico V contenido en U , con (V, ) A , entonces el conjunto (U V )
es abierto en Rm , por ser la imagen de la interseccion de dos dominios coorde-
nados. Como (U V ) = (V ) entonces (V ) es abierto en Rm . Si W es
cualquier abierto contenido en U entonces dicho conjunto es union de abiertos
del tipo V contenidos en U , luego (W ) es conjunto abierto en (U ) y, por
tanto, abierto en Rm . z
Ahora suponga en un conjunto M es dada una topologa R y a la vez un atlas por

biyecciones A . Sabemos que A induce sobre M una topologa TA . Que rela-
cion hay entre estas topologas? El siguiente resultado responde a esto.
P ROPOSICI ON 2.7. Sea (M, R) un espacio topologico y A una estructura di-

ferenciable m-dimensional y clase C k sobre M . Entonces R = TA si y solo si
cada (U, ) A es homeomorfismo respecto a R.
Demostracion. Suponiendo que R = TA el resultado se sigue inmediatamente

de la Proposicion 2.6.
Ahora suponga que cada elemento de A es homeomorfismo respecto a R. Sea
W R. Dado cualquier (U, ) A , el conjunto (U ) es abierto en Rm , pero
como (U, ) es homeomorfismo respecto a R entonces 1 ((U )) esta en R,
es decir, U R. Esto implica que W U R, luego (W U ) es abierto
en Rm ; por tanto, para cada (U, ) A , el conjunto (W U ) es abierto en
Rm , luego W TA . Esto muestra que R TA . Recprocamente, sea V TA
entonces V es union de conjuntos U , con (U , ) A . Como cada (U , ) es
homeomorfismo respecto a R entonces U R, luego V R. Esto muestra que
TA R. z
C OROLARIO 2.3. Sea M un conjunto y A un atlas por biyecciones de clase C k

y dimension m. Entonces existe una unica topologa T en M relativamente a la
cual cada elemento de A es un homeomorfismo
Demostracion. De la Proposicion 2.7 se deduce que cada topologa sobre M con

estas caracterstica es de la forma TA . z
O. Santamaria S.
Del Corolario 2.3 se deduce que dada una variedad diferenciable, en el sentido de
la Definicion 2.10, la topologa de esta queda completamente determinada por su
respectivo atlas maximal.
Por otro lado, de acuerdo al item (4) de la Observacion 2.7, todo atlas (por biyec-
ciones) esta contenido en un unico atlas maximal. En la practica entonces para
comprobar que un conjunto dado es una variedad diferenciable, basta exhibir un
atlas no necesariamente maximal.
E JEMPLO 2.28. Considere el conjunto M = A B C, donde A = {(s, 1)

R2 : s 6 0}, B = {(s, 1) R2 : s 6 0} y C = {(s, 0) R2 : s > 0}. Forme la
coleccion
A = {(A C, ), (B C, )}
donde : A C R y : B C R son definidos respectivamente por
(s, t) = s y (s, t) = s.
Demostraremos a continuacion que A es un atlas por biyecciones para M . Para
ello debemos verificar las condiciones (1), (2) y (3) de la definicion 2.11.
1. Los conjuntos U1 := A C y U2 := B C son subconjuntos de M y ademas

M = U1 U2 .
2. Es claro que : U1 (U1 ) y : U2 (U2 ) son funciones biyectivas,

ademas (U1 ) = R = (U2 ), es decir, (U1 ) y (U2 ) son conjuntos abiertos
en R.
3. Finalmente U1 U2 = C luego (U1 U2 ) = (C) = R+ y (U1 U2 ) =

(C) = R+ , es decir, los conjuntos W1 = (U1 U2 ) y W2 = (U1 U2 )
son abiertos en R. Ademas la aplicacion 1 : W1 W2 es definida por
1 (s) = s, y es un difeomorfismo de clase C .
Siendo A un atlas por biyecciones para M se concluye que existe en M una to-
pologa respecto a la cual (M, A) es una variedad diferenciable de clase C y
dimension 1. Observe que la topologa determinada por A es no-Hausdorff.
E JEMPLO 2.29. Considere el conjunto M = R2 . Para cada a R, sea Ua :=

R {a} y la aplicacion a : Ua R definida por a (x, a) = x. La coleccion
A = {(Ua , a ) : a R} es un atlas por biyecciones
para M . En efecto, para
todo a R se tiene que Ua M y ademas M = aR Ua . Es claro que cada
funcion a : Ua R es biyectiva y a (Ua ) = R, es decir, a (Ua ) es abierto
en R. Como Ua Ub = para todo a = b entonces los conjuntos (Ua Ub )
y b (Ua Ub ) son abiertos en R (ambos son el conjunto vaco) y las funciones
b 1
a : a (Ua Ub ) b (Ua Ub ) son difeomorfismos de clase C , por
vacuidad.
O. Santamaria S.
78 2.6. Ejercicios
Luego M con la estructura determinada por A = {(Ua , a ) : a R} es una va-

riedad 1-dimensional de clase C . Observe sin embargo que la topologa inducida
por A no es segundo contable.
Los ejemplos anteriores nos llevan a buscar condiciones bajo las cuales la topo-
loga inducida por la estructura originada por biyecciones es segundo contable o
Hausdorff.
P ROPOSICI ON 2.8. Sea M un conjunto con estructura A = {(U , )}. La
topologa inducida por A es segundo contable si y solo si el cubrimiento {U }
admite un subcubrimiento enumerable.
Demostracion. Suponiendo que TA es segundo contable, el resultado es conse-
cuencia de la Proposicion 1.22. Recprocamente, suponga que {U }L admite
un
subcubrimiento enumerable y sea este dado por {Ui }iN . Entonces M = iN Ui .
Cada conjunto i (Ui ) es abierto en Rm , y como este espacio es segundo con-
table existe una coleccion enumerable {Wij : j N} de abiertos en i (Ui ),
que forman una base de i (Ui ). Esto implica que cada conjunto abierto V con-
tenido en Ui es union (enumerable) de conjuntos del tipo 1
i (Uij ). La coleccion
1
{i (Uij ) : i, j N} es base enumerable de la TA , pues cada abierto W en M
es union (enumerable) de conjuntos del tipo W Ui , y a su vez estos son union
de conjuntos del tipo 1
i (Uij ). z
P ROPOSICI ON 2.9. Sea M un conjunto con estructura A = {(U , )}. Enton-
ces TA es Hausdorff si y solo si para todo x, y M , con x = y, existe algun
U conteniendo ambos puntos o existen U y U disjuntos, conteniendo a x e y,
respectivamente.
Otra condicion para que TA sea Hausdorff es dada en [33], Cap. 4.
Finalmente damos un ejemplo de un conjunto que no parece ser variedad dife-
renciable, debido a la esquina que posee. Sin embargo si lo es.
E JEMPLO 2.30. Considere el conjunto M = {(x, y) R2 : y = |x|}. La
funcion : M R, definida por (t, |t|) = t constituye una coleccion A que
satisface todos los requerimientos de la Definicion 2.11. Por tanto (M, A ) es una
variedad diferenciable, de clase C y dimension 1.
2.6. Ejercicios
1. Sea (E, ), (F, ) espacios topologicos y f : E F una aplicacion entre
ellos. Demuestre que:
a) Si = P(E) entonces f es continua.
O. Santamaria S.
b) Si = {, F } entonces f es continua.
c) Si es la topologa inducida por f entonces esta aplicacion es conti-
nua.
2. Considere la esfera unitaria Sm Rm+1 de centro en 0 Rm+1 , y sea p

Sm un punto arbitrario. Construya la proyeccion estereografica de Sm {p}
en Rm .
3. Sea G = GLn (R) el grupo de matrices reales de orden n no singulares (es

decir det M = 0 para toda matriz M G). Este grupo es llamado grupo
lineal general. Demuestre que la aplicacion A : G Rn Rn definida
como A(M, x) = M x es una accion de G en Rn
4. Muestre que el cono {(x, y, z) R3 : z 2 = x2 + y 2 }, con la topologa

inducida por la del R3 , no es localmente euclidiano.
5. Proporcione un ejemplo de espacio topologico que no sea variedad topologi-

ca.
{ }
x2i
n+1
6. Demuestre que el conjunto M = (x1 , . . . , xn+1 ) R n+1
: 2
=1
i=1 ai
es una variedad diferenciable de clase C y dimension n.
7. Demuestre que el conjunto de matrices reales de orden n m es una varie-

dad diferenciable. Indique la dimension y la clase de diferenciabilidad.
8. Demuestre que el grupo lineal general GL(n, R) es una variedad diferen-

ciable n2 -dimensional y clase C .
9. Demuestre el espacio de transformaciones lineales L (Rm , Rn ) es una

variedad diferenciable.
10. Demuestre que en S 2 el atlas dado por las 6 cartas de Monge y el atlas
estereografico son compatibles.
Nota: Sean M una variedad diferenciable. Dos atlas A y B de clase C k en
M son compatibles si A B es nuevamente un atlas de clase C k .
11. Se llama figura ocho, al conjunto imagen de la aplicacion F : R R2

definida por F (t) = (sen 2t, sen t). Este conjunto F (R) es denotado por
O. Muestre que las aplicaciones = (F]0,2[ )1 : O ]0, 2[ y =
(F],[ )1 : O ] , [ inducen estructuras diferenciables no compati-
bles.
O. Santamaria S.
80 2.6. Ejercicios
12. Sea M una variedad diferenciable con atlas A y sea (U, ) A. Sea f :
Rn Rn un difeomorfismo. Es el sistema de coordenadas = f :
U f ((U )) admisible en A ?
13. Sea G el conjunto de los subespacios vectoriales de dimension 2 de R3 . Es

decir, G consta de todos los planos que pasan por el origen. Se consideran
tres subconjuntos: Gx , formado por los planos que no contienen al eje x, Gy
por los que no contienen al eje y y Gz por los que no contienen al eje z. Se
definen las aplicaciones x : Gx R2 , y : Gy R2 y z : Gz R2
mediante x (P ) = (a, b) (resp. y (P ) = (a, b), z (P ) = (a, b)) si P es el
plano x = ay + bz (resp. y = ax + bz, z = ax + by), a, b R. Demostrar
que {(Gx , x ), (Gy , y ), (Gz , z )} es un atlas de G.
14. Sea Q el cuerpo de los cuaterniones de Hamilton. Investigar acerca del es-
pacio proyectivo P n (Q) y demostrar que tiene una estructura diferenciable
de dimension 4n determinada por un atlas de n+1 sistemas de coordenadas.
15. Demostrar que un espacio topologico discreto no puede ser dotado de una
estructura diferenciable de dimension 1.
16. Sea el conjunto M y la variedad diferenciable N de clase C k y dimension

n. Sea f : M N una aplicacion biyectiva. Demuestre que M admite una
estructura diferenciable de clase C k y dimension n.
17. Demostrar que el conjunto Mp (n p, R) de las matrices reales de rango p

es un subconjunto abierto de la variedad M (n p, R) y tiene por lo tanto
una estructura como subvariedad abierta de esta variedad.
18. Demuestre que el conjunto CP(n) del ejemplo 2.25 es una variedad dife-
renciable 2n dimensional.
19. Demuestre que el cubo n-dimensional
C := {x Rn+1 : max{|x1 | , . . . , |xn+1 |}} = 1
admite una estructura de variedad diferenciable de clase C y dimension n.
O. Santamaria S.

VD c2

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

VD c2

Transféré par

Droits d'auteur :

Formats disponibles

Captulo 2

2.1. Espacios localmente euclidianos

En este caso, el entero m d(x) se denomina dimension local de X en x.

E JEMPLO 2.1. Considere el subespacio topologico de R3 ,

Sea M1 = {(x, 0, 1) : y R} y M2 = {(x, y, z) : z = 0}. Es claro que

E JEMPLO 2.2. Considere el conjunto R provisto de la topologa del comple-

1. Cada subespacio S de (R, Tcf ), tiene tambien la topologa del complemento

y como S F es finito, se concluye que U es abierto en la topologa co-finita

Demostracion. Suponga que n < m. En este caso considere la funcion inclusion

i(x1 , . . . , xn ) = (x1 , . . . , xn , 0, . . . , 0).

2. Si V entonces V T si existe algun subconjunto abierto W R tal

Entonces (X, T ) es un espacio localmente euclidiano, y en cada punto la dimen-

E JEMPLO 2.5. Considere el espacio R2 /R del Ejemplo 1.24. Como se recuerda,

U1 = {[x = t] : t < 1}, U2 = {[x = t] : t > 1} y U3 = {[fa ] : |t| < 1}.

(aqu, [x = t] denota la clase de equivalencia dada por la recta x = t y [fa ] denota

1 (U1 ) = {(s, t) R2 : s < 1},

los cuales son abiertos en R2 . Para escoger un entorno alrededor de [x = 1]

entonces un entorno para [x = 1] es U4 = (R4 ). De manera analoga, si esco-

entonces U5 = (R5 ) es un entorno para [x = 1]. A continuacion defina aplica-

i ([x = s]) = s para i = 1, 2, 3 ([fa ]) = a,

Observe que 1 (U1 ) =] , 1[, 2 (U2 ) =]1, +[, 3 (U3 ) = R,

2.2. Variedades topologicas

1. (M, T ) es espacio de Hausdorff,

2. (M, T ) es espacio segundo contable,

3. (M, T ) es localmente euclidiano de dimension m en cada uno de sus puntos.

Observacion 2.1. La aparicion de la primera condicion en la Definicion 2.2, obe-

diferenciable de la unidad, la cual es a su vez una herramienta fundamental cuando

(a) Sistema de coordenadas en (b) Cambio de coordenadas

Cada homeomorfismo : U (U ) (Fig. 2.2.a) recibe el nombre de sistema de

homeomorfismos i : Ui i (Ui ), se denomina atlas m-dimensional sobre M .

D EFINICI ON 2.3 (Atlas m-dimensional). Una coleccion A , formada por fun-

topologico (M, T ), si iL Ui = M y cada i : Ui (Ui ) es un homeomorfis-

Si (Ui , i ) y (Uj , j ) son elementos de A tales que Ui Uj = entonces la

j |Ui Uj (i |Ui Uj )1 j |Ui Uj 1

E JEMPLO 2.6 (Variedad 0-dimensional). Todo espacio topologico discreto enu-

E JEMPLO 2.7 (El espacio euclidiano como variedad topologica). Consideremos

Geometricamente, cada Ui representa al conjunto de rectas del Rm+1 que pasan

Fig. 2.3: Construccion de los

Observemos que si [x] = [y] entonces x y, luego existe un numero real = 0

Pero como xi = 0, yi = 0 entonces xyii = 0. Luego, la anterior igualdad significa

definida por gi (y1 , . . . , ym ) = (y1 , . . . , yi1 , 1, yi , . . . , ym ), la cual es continua.

g : Rm Rm Rm definida como g(x, y) = f (x) f (y), es sencillo mostrar

{(x, y) Rm Rm : f (x) = f (y)} = g 1 (0)

es cerrado en Rm Rm . Por tanto, de la Proposicion 1.14 resulta que E es espacio

E JEMPLO 2.10 (Esfera de Riemann). Considere el espacio R2 con la topologa

c.2) Si existe L1 L tal que A = V {}, para todo L1 , entonces

2.1) Si x = e y = entonces x, y R2 , y por ser este un espacio de

4. Como siguiente paso, construiremos en R c2 un atlas A de tal forma que (R

definidas respectivamente por

Estas funciones son llamadas Identidad y Inversion, respectivamente. Observe

existe un homeomorfismo (V, ) B entre al abierto V N y el conjunto

E JEMPLO 2.13 (Producto cartesiano de variedades topologicas). Si (M, A ) y

Como (M, TM ) y (N, TN ) son espacios segundo contable entonces tanto TM

A B := {(U V, ) : (U, ) A , (V, ) B}

es una atlas m + n dimensional para M N .

2.3. Algunas propiedades topologicas

D EFINICI ON 2.5 (Propiedades locales). Sea X un espacio topologico, con topo-

1. X es localmente conexo si T admite una base formada por conjuntos conexos.

2. X es localmente arcoconexo si T admite una base formada por conjuntos

3. X es localmente compacto en un punto x X si para cada V T , tal que

4. X es localmente compacto si es localmente compacto en cada uno de sus pun-

5. X es localmente Hausdorff si para cada x M existe algun V T tal que

P ROPOSICI ON 2.2. Toda variedad topologica es un espacio localmente conexo,