Captulo 1

Variedades Diferenciables
En este captulo extenderemos el calculo diferencial en espacios euclideanos a espacios que
en cierto modo son una generalizaci on de supercies.
1.1. Variedades Diferenciables
En todo lo que sigue, M denotar a un espacio topol ogico no vaco.
Denicion 1.1 Una carta o sistema de coordenadas mdimensional en M es un par
(U, ) , donde U M es un conjunto abierto y : U R
m
es un homeomorsmo
de U sobre el subconjunto abierto (U) R
m
.
Para cada i = 1, . . . , m, sean
i
: R
m
R las proyecciones canonicas, las cuales son
dadas por
i
(x
1
, . . . , x
m
) = x
i
. Si (U, ) es una carta mdimensional en M podemos
escribir = (
1
, . . . ,
m
) , donde
i
=
i
: U R, las funciones
1
, . . . ,
m
son
llamadas las coordenadas de o simplemente las coordenadas de U .
Ejemplos.
1.- M = R
m
y : R
m
R
m
dada por = Id , es claro que (R
m
, ) es una carta
mdimensional en R
m
. En este caso, las coordenadas son las usuales de R
m
.
2.- Espacio de Matrices con coecientes reales.
1
Sergio Plaza 2
Sea M = M(n m, R) el conjunto de las matrices de orden n m con coecientes
reales. Dotamos a M(n m, R) con la topologa inducida por la biyecci on : M(n
m, R) R
nm
dada por ((a
ij
)) = (a
11
, . . . , a
1m
, . . . , a
n1
, . . . , a
nm
) . Es claro que
(M(n m, R), ) es una carta n mdimensional en M(n m, R) .
3.- Sea C el cuerpo de los n umeros complejos, z = x + iy , donde x, y R. Podemos
identicar C con R
2
, mediante la biyeccion z = x + iy (x, y) . Sea C
n
=
C C, el producto cartesiano de n copias de C. Sea : C
n
R
2n
dada
por (x
1
+ iy
1
, . . . , x
n
+ iy
n
) = (x
1
, y
1
, . . . , x
n
, y
n
) , entonces (C
n
, ) es una carta
2ndimensional en C
n
.
4.- Espacio de Matrices con coecientes complejos.
Denotemos por M(nm, C) el conjunto de las matrices de orden nm con coecientes
en C. Sea : M(n m, C) R
2nm
denida por ((z
k
)) = ((x
k
+ iy
k
)) =
(x
11
, y
11
, . . . , x
nm
, y
nm
) ,es claro que (M(nm, C), ) es una carta 2nmdimensional
en M(n m, C) .
5.- Esfera en Espacios Euclideanos.
proyecciones centrales. Sea S
n
= (x
1
, . . . , x
n+1
) R
n+1
:

n+1
i=1
x
2
i
= 1 la
esfera unitaria ndimensional en R
n+1
. En S
n
consideramos la topologa inducida
por la topologa usual de R
n+1
. Para cada i = 1, . . . , n+1, consideremos los conjuntos
U
+
i
= (x
1
, . . . , x
n+1
) S
n
: x
i
> 0 y U

i
= (x
1
, . . . , x
n+1
) S
n
: x
i
<
0 , es claro que esos conjuntos son abiertos en S
n
y que S
n
=
n+1
i=1
(U
+
i
U

i
) .
Denotemos por D
n
R
n
el disco unitario abierto D
n
= y = (y
1
, . . . , y
n
) R
n
:

n
i=1
y
2
i
< 1 y denamos las aplicaciones

i
: U

i
D
n
por

i
(x
1
, . . . , x
n+1
) =
(x
1
, . . . , x
i
, . . . , x
n+1
) , donde x
i
signica que omitimos esa coordenada. Es claro que
para cada x = (x
1
, . . . , x
n+1
) S
n
se tiene que

i
(x) D
n
, pues

n+1
j=1
x
2
j
= 1 por
lo tanto

n+1
j=1, j=i
x
2
j
< 1 . Las aplicaciones inversas de

i
son dadas por (

i
)
1
:
D
n
U

i
, donde (

i
)
1
(y
1
, . . . , y
n
) = (y
1
, . . . , y
i1
,
_
1

n
i=1
y
2
i
, y
i
, . . . , y
n
) .
Es f acil vericar que las aplicaciones

i
son homeomorsmos. De lo anterior, tenemos
que / = (U

i
,

i
) : i = 1, . . . , n + 1 es un conjunto de 2(n + 1) cartas n
dimensionales en S
n
.
Sergio Plaza 3
Proyecciones estereogracas. Consideremos otra vez la esfera unitaria S
n
R
n+1
.
Sean U
N
= S
n
p
N
y U
S
= S
n
p
S
, donde p
N
= (0, . . . , 0, 1) y p
S
= (0, . . . , 0, 1)
son, respectivamente, los polos norte y sur de la esfera S
n
. Los conjuntos U
N
y
U
S
son conjuntos abiertos en S
n
y S
n
= U
N
U
S
. Denamos las aplicaciones

N
: U
N
R
n
por
N
(x
1
, . . . , x
n+1
) =
1
1xn+1
(x
1
, . . . , x
n
) y
S
: U
S
R
n
por
S
(x
1
, . . . , x
n+1
) =
1
1+xn+1
(x
1
, . . . , x
n
) . Las aplicaciones
N
y
S
son llamadas,
respectivamente, proyecciones estereogr acas norte y sur. Las inversas de las aplica-
ciones
1
N
: R
n
U
N
y
1
S
: R
n
U
S
son dadas, respectivamente, por

1
N
(x
1
, . . . , x
n
) =
_
2x
1
1 +[[x[[
2
, . . . ,
2x
n
1 +[[x[[
2
,
[[x[[
2
1
1 +[[x[[
2
_
,
y

1
S
(x
1
, . . . , x
n
) =
_
2x
1
1 +[[x[[
2
, . . . ,
2x
n
1 +[[x[[
2
,
1 [[x[[
2
1 +[[x[[
2
_
,
donde [[x[[
2
=

n
i=1
x
2
i
= x, x) y x = (x
1
, . . . , x
n
) R
n
. Es claro que
N
y
S
son homeomorsmos y / = (U
N
,
N
), (U
S
,
S
) es un conjunto constituido por dos
cartas ndimensionales en S
n
.
Veamos como obtener geometricamente las aplicaciones
N
y
S
, as como tambien
sus inversas.
Consideremos R
n
R
n+1
, R
n
= (x
1
, . . . , x
n
, 0) R
n+1
.
Sergio Plaza 4

N
(p)

N
(p)
S olo haremos los calculos para
N
, los otros se obtienen en forma an aloga.
Sea q = (q
1
, . . . , q
n+1
) U
N
, (q
n+1
,= 1) . La recta, L
q
, que pasa por p
N
y q tiene
por ecuacion (1 t)p
N
+ tq = (tq
1
, . . . , tq
n
, tq
n+1
+ (1 t)) , con t R. Denimos

N
(q) = R
n
L
q
. Luego para tener una expresi on analtica para
N
(q) , debemos
encontrar el punto de interseccion de la recta L
q
con el plano R
n
R
n+1
, esto
es, debemos encontrar el valor de t R para el cual se tiene tq
n+1
+ 1 t = 0,
de aqu t =
1
1 q
n+1
. Reemplazando este valor de t en la expresion geometrica de

N
(q) se obtiene
N
(q) =
1
1qn+1
(q
1
, . . . , q
n
) , donde hemos identicado los puntos
1
1 q
n+1
(q
1
, . . . , q
n
, 0) R
n+1
y
1
1 q
n+1
(q
1
, . . . , q
n
) R
n
.
La eleccion de los polos norte y sur para cosntruir las proyecciones estereogr acas nada
tiene de especial, de hecho podemos elegir a S
n
arbitrario y denimos los conjuntos
U = S
n
a y V = S
n
a . Es claro que S
n
= UV , y denimos las proyecciones
estereogracas : U a

(hiperplano ortogonal a a ) por (x) =

x x, a)a
1 x, a)
y : V a

por (x) =
x x, a)a
1 +x, a)
. El c alculo de las aplicaciones inversas
respectivas, se deja a cargo del lector.
Sergio Plaza 5
7.- Sea M = (t, 0) R
2
: 1 < t < 1 (t, t) R
2
: 0 < t < 1 .
Denimos una topologa T en M , en la cual los conjuntos M , , U y V son
abiertos, donde U = (t, 0) M : 1 < t < 1 y V = (t, 0) M : 1 < t
0 (t, t) M : 0 < t < 1 . Gr acamente se tiene,
U V
Denamos las aplicaciones : U ] 1, 1 [ y : V ] 1, 1 [ , por (t, 0) =
t , (t, 0) = t , y (t, t) = t , respectivamente. Sus inversas son fciles de denir y
se dejan a cargo del lector, con esta topologa en M , las aplicaciones y son
homeomorsmos, y es claro que M = U V . Luego / = (U, ) , (V, ) es un
conjunto con dos cartas 1dimensionales en M. Note que con la topologa anterior M
no es un espacio de Hausdor y M = U V .
Denicion 1.2 Un atlas mdimensional de clase C
r
, r 1 , sobre un espacio topol ogico
M es una colecci on / = (U
i
,
i
) : i de cartas de M , donde conjunto de ndices,
tales que
Sergio Plaza 6
1. M =
i
U
i
;
2. Si U
i
U
j
,= , entonces el cambio de coordenadas
j

1
i
:
i
(U
i
U
j
) R
m

j
(U
i
U
j
) R
m
es un difeomorsmo C
r
entre los abiertos
i
(U
i
U
j
) y
j
(U
j
U
j
)
de R
m
.

i
(U
i
U
j
)
j
(U
i
U
j
)
j
1
i
M
j i
R
m
R
m
Observaci on. Como
i
es un homeomorsmo y U
i
U
j
M es abierto, se sigue que

i
(U
i
U
j
) R
m
es un conjunto abierto.
Ejemplos
1. / = (R
m
, Id) es un atlas mdimensional de clase C

en R
m
.
2. / = (M(n m, R), ) donde : M(n m, R) R
nm
denida como antes, es
un atlas nmdimensional de clase C

en M(n m, R) .
3. / = (C
n
, ) es un altas 2ndimensional de clase C

en C
n
.
4. / = (M(n m, C), ) es un atlas 2nmdimensional de clase C

sobre M(n
m, C) .
Sergio Plaza 7
5. Esfera: proyecciones centrales. / = (U

i
,

i
) : i = 1, . . . , n + 1 es un atlas
ndimensional de clase C

sobre S
n
.
En efecto, veriquemos por ejemplo el caso
+
2
(
+
1
)
1
, los otros casos son an alogos.
Tenemos U
+
1
U
+
2
= (x
1
, . . . , x
n+1
) S
n
: x
1
> 0 , x
2
> 0 , luego
1
(U
+
1
U
+
2
) =
(y
1
, . . . , y
n
) D
n
: y
2
> 0 y
2
(U
+
1
U
+
2
) = (y
1
, . . . , y
n
) D
n
: y
1
> 0 .
Ahora, para (y
1
, . . . , y
n
)
1
(U
+
1
U
+
2
) , se tiene que y
1
> 0 y

+
2
(
+
1
)
1
(y
1
, . . . , y
n
) =
+
2
_
_
1

n
i=1
y
2
i
, y
1
, . . . , y
n
_
=
_
_
1

n
i=1
y
2
i
, y
2
, . . . , y
n
_
.
Como

n
i=1
y
2
i
< 1 , se tiene que
+
2
(
+
1
)
1
es un difeomorsmo C

desde
V = (y
1
, . . . , y
n
) D
n
: y
1
> 0 sobre s mismo.
Proyecciones esterogracas. / = (U
N
,
N
), (U
S
,
S
) es un atlas ndimensional
de clase C

en S
n
.
En efecto, tenemos que U
N
U
S
= S
n
p
N
, p
S
y que
N
(U
N
U
S
) =
S
(U
N
U
S
) =
R
n
0 . Por otra parte,

N

1
S
(x
1
, . . . , x
n
) =
N
_
2x
1
1 +[[x[[
2
, . . . ,
2x
n
1 +[[x[[
2
,
1 [[x[[
2
1 +[[x[[
2
_
=
N
(y
1
, . . . , y
n
, y
n+1
) ,
donde y
i
=
2xi
1+||x||
2
, i = 1, . . . n e y
n+1
=
1||x||
2
1+||x||
2
. Tenemos entonces que 1y
n+1
=
1
1||x||
2
1+||x||
2
=
2||x||
2
1+||x||
2
, luego
1
1yn+1
=
1+||x||
2
2||x||
2
. Ahora,

N
(y
1
, . . . , y
n+1
) =
1
1 y
n+1
(y
1
, . . . , y
n
)
=
1 +[[x[[
2
2[[x[[
_
2x
1
1 +[[x[[
2
, . . . ,
2x
n
1 +[[x[[
2
_
=
1
[[x[[
2
(x
1
, . . . , x
n
) .
Sergio Plaza 8
de donde se sigue que
N

1
S
(x
1
, . . . , x
n
) =
1
||x||
2
(x
1
, . . . , x
n
) , el cual es claramente
un difeomorsmo C

. Ahora, como
S

1
N
= (
N

1
S
)
1
, se sigue que
S

1
N
es tambien un difeomorsmo C

( inverso del difeomorsmo

N

1
S
).
6. El conjunto de cartas / = (U, ), (V, ) no es un atlas 1dimensional sobre el
espacio topol ogico M = (t, 0) R
2
: 1 < t < 1 (t, t) R
2
: 0 < t < 1 . En
efecto, U V = (t, 0) : 1 < t 0 no es homeomorfo a ning un conjunto abierto
de R.
7. El crculo unitario. Sea S
1
= (x, y) R
2
: x
2
+y
2
= 1 la esfera 1-dimensional en
R
2
, en este caso particular lo llamaremos simplemente crculo unitario. En S
1
tenemos
los atlas de los ejemplos 5) y 6) anteriores. Ahora deniremos otro atlas 1dimensional
de clase C

en S
1
como sigue.
Sean U = (sen(2t), cos(2t)) S
1
: 0 < t < 1 y V = (sen(2t), cos(2t) S
1
:
1/2 < t < 1/2 . Es claro que U , V son abiertos en S
1
.
V U
Denamos las aplicaciones : U ] 0, 1 [ y : V ] 1/2 , 1/2 [ por
(sen(2t), cos(2t)) = t y (sen(2t), cos(2t)) = t , respectivamente. Tenemos que
S
1
= U V y U V = (sen(2t), cos(2t)) S
1
: 0 < t < 1/2 o 1/2 < t < 1 .
Sergio Plaza 9
1
1
(cos(2t), sen(2t))
1
2
< t < 1
(cos(2t), sen(2t))
0 < t <
1
2
Ahora como = si 0 < t < 1/2 y = 1 si 1/2 < t < 1 , el cambio de
coordenadas
1
: (U V ) (U V ) es la identidad sobre el intervalo
] 0, 1/2 [ y
1
(t) = t 1 sobre el intervalo ] 1/2, 1[ . Luego,
1
es un
difeomorsmo C

y / = (U, ), (V, ) es un atlas 1dimensional C

en S
1
.
8. Espacio Proyectivo real n dimensional RP
n
.
Sea X = R
n+1
0 , en X denimos la relaci on de equivalencia siguiente en X .
Sean x, y X , entonces x y si y solo si existe t R0 tal que y = tx, es decir,
x y si y solo si ellos estan sobre la misma recta pasando por el origen en R
n+1
.
Denotemos por [ x] la clase de equivalencia de x X y por RP
n
= [ x] : x X .
El conjunto RP
n
es llamado espacio proyectivo real ndimensional.
Sea : X RP
n
la proyeccion (x) = [ x ] . Dotamos a RP
n
con la la topologa
cuociente inducida por , es decir, A RP
n
es abierto si, y solo si,
1
(A) es abierto
en R
n+1
. Esta es la menor topologa que hace a continua.
Ahora, para cada t R0 , denamos la aplicacion
t
: X X por
t
(x) = t x.
Es claro que
t
es un difeomorsmo C

y que
1
t
= 1
t
. Si U X , entonces se
tiene que
1
((U)) =
tR{0}

t
(U) . Luego, si U X es abierto se tiene que

1
((U)) es un conjunto abierto en R
n+1
, es decir, es una aplicaci on abierta.
Sergio Plaza 10
Para denir un atlas en RP
n
, consideremos los conjuntos

U
i
= x = (x
1
, . . . , x
n+1
)
X : x
i
,= 0 . Es claro que los conjuntos

U
i
son abiertos en R
n+1
y que X =

n+1
i=1

U
i
. Denamos los conjuntos abiertos U
i
de RP
n
denidos por U
i
= (

U
i
) ,
i = 1, . . . , n + 1 . Como es una aplcacion abierta se sigue que los conjuntos U
i
son
abiertos en RP
n
. Ademas, es inmediato vericar que RP
n
=
n+1
i=1
U
i
. Para denir las
cartas
i
: U
i
R
n
, elijamos un representante arbitrario x = (x
1
, . . . , x
n+1
) de
[ x] U
i
, entonces x
i
,= 0 , esto nos permite denir la aplicaci on
i
por
i
([ x]) =
1
x
i
(x
1
, . . . , x
i1
, x
i+1
, . . . x
n+1
) . Tenemos lo siguiente
(a) Sean x, y X con y = tx , t ,= 0 y x
i
,= 0 , entonces,

i
([ y ]) =
1
tx
i
(tx
1
, . . . , tx
i1
, tx
i+1
, . . . , x
n+1
) =
i
([ x]) ,
es decir, si x, y

U
i
, y x y entonces
i
([ x]) =
i
([ y ]) , de donde se sigue que la
aplicaci on
i
esta bien denida.
(b) La aplicaci on
i
es inyectiva. En efecto, sean [ x] , [ y ] U
i
tales que
i
([ x]) =

i
([ y ]) . Elijamos representantes x, y X de [ x] e [ y ] , respectivamente. Como

i
([ x]) =
i
([ y ]) tenemos
1
x
i
(x
1
, . . . , x
i1
, x
i+1
, . . . , x
n+1
) =
1
y
i
(y
1
, . . . , y
i1
, y
i+1
, . . . , y
n+1
) ,
esto es,
x
j
x
i
=
y
j
y
i
, j = 1, . . . , i 1, i + 1, . . . , n + 1 , lo que puede ser escrito como
y
j
=
y
i
x
i
x
j
. Tomando t =
y
i
x
i
, tenemos que t ,= 0 y que y
j
= tx
j
, j = 1, . . . , n + 1 .
Por lo tanto, y = tx y [ y ] = [ x] .
(c) La aplicaci on
i
es sobreyectiva. En efecto, dado z = (z
1
, . . . , z
n
) R
n
, el ele-
mento denido por su clase de equivalencia [z] es dado por [(z
1
, . . . , z
i1
, 1, z
i
, . . . , z
n
)]
U
i
y
i
([(z
1
, . . . , z
i1
, 1, z
i
, . . . , z
n
)] = (z
1
, . . . , z
n
) = z .
(d) La aplicaci on inversa
1
i
: R
n
U
i
, es dada por

1
i
(z
1
, . . . , z
n
) = (z
1
, . . . , z
i1
, 1, . . . , z
n
)
= [(z
1
, . . . , z
i1
, 1, z
i
, . . . , z
n
)] .
(e) La aplicaci on
i
es continua. En efecto, sea A R
n
un conjunto abierto, entonces

1
i
(A) = (

A) , donde

A X es el conjunto abierto denido como sigue: identica-
mos R
n
con el hiperplano R
n
i1
de R
n+1
cuyos puntos tienen su iesima coordenada
Sergio Plaza 11
igual a 1. Sea

A el conjunto de puntos de R
n+1
0 pertenecientes a rectas que
pasan por el origen y por un punto de A.
A R
n
i1
R
n+1
Ahora, como es una aplicaci on abierta se tiene que
1
i
(A) = (

A) es un conjunto
abierto en RP
n
.
(f) La aplicaci on
1
i
es continua. En efecto, es inmediato pues
1
i
= /R
n
i1
.
(g) Cambios de coordenadas. Si U
i
U
j
,= tomamos un punto [x] U
i
U
j
y
sea x = (x
1
, . . . , x
n+1
) X un representante de [x] , entonces tenemos que x
i
,= 0
y que x
j
,= 0 . Sin perdida de generalidad, supongamos que i < j , es decir, x =
(x
1
, . . . , x
i
, . . . , x
j
, . . . , x
n+1
) . Tenemos que
i
(U
i
U
j
) = y = (y
1
, . . . , y
n
) R
n
:
y
j1
,= 0 y
j
(U
i
U
j
) = y = (y
1
, . . . , y
n
) R
n
: y
i
,= 0 , son conjuntos abiertos
en R
n
. El cambio de coordenadas
j

1
i
:
i
(U
i
U
j
)
j
(U
i
U
j
) es dado por

j

1
i
(y
1
, . . . , y
n
) =
j
([(y
1
, . . . , y
i1
, 1, y
i
, . . . , y
j1
, y
j
, . . . , y
n
)])
=
1
y
j1
(y
1
, . . . , y
i1
, 1, y
i
, . . . , y
j2
, y
j
, . . . , y
n
)
el cual es C

. Note que en la expresion anterior, la coordenada y

j1
aparece en el
lugar j esimo. En forma an aloga se prueba tambien que
i

1
j
es C

y como
Sergio Plaza 12

i

1
j
= (
j

1
i
)
1
concluimos que / = (U
i
,
i
) : i = 1, . . . , n+1 es un atlas
ndimensional de clase C

en RP
n
.
Ahora probaremos que RP
n
es un espacio Hausdor, compacto y con base numerable
para su topologa.
El hecho que RP
n
tenga base numerable para su topologa es inmediato, puesto que
X = R
n+1
0 tiene esta propiedad y : X RP
n
es una aplicaci on abierta.
Ahora, como cada recta que pasa por el origen en R
n+1
intersecta la esfera S
n
en
exactamente dos puntos antipodales, x y x , se tiene que RP
n
= (S
n
) , es decir,
si en S
n
consideramos la relacion de equivalencia, x y si y solo si y = x,
entonces RP
n
= S
n
/ = [ x] : x S
n
= x, x : x S
n
. Como
/S
n
: S
n
RP
n
es continua y S
n
es compacto, se tiene que RP
n
es compacto.
Dados [ x] , [ y ] RP
n
, con [ x] ,= [ y ] , tenemos que x ,= y . Elijamos abiertos
U, V S
n
con x U , y V tales que U V = , U (V ) = , (U) V =
y (U) (V ) = , donde A = x : x A . Con esta eleccion se tiene
que (U) y (V ) son conjuntos abiertos en RP
n
con [x] (U) , [y] (V ) y
(U) (V ) = , luego RP
n
es un espacio Hausdor.
9. Espacio Proyectivo Complejo CP
n
.
El espacio proyectivo complejo CP
n
se dene en forma an aloga al caso real tomando
en X = C
n+1
0 la relacion de equivalencia z z

si y solo si existe C0
tal que z

= z . Procediendo de forma an aloga al caso real, se muestra que CP

n
es una variedad 2ndimensional de clase . Los detalles son dejados a cargo del
lector. Notemos tambien que los cambios de coordenadas para CP
n
son de hecho
difeomorsmos analticos en el sentido de variable compleja, con lo cual esta es una
variedad analtica en el sentido de variable compleja, por lo cual decimos que CP
n
es
una supercie de Riemann.
Observaci on. Note que para cada z CP
n+1
0, el conjunto z : C es
una recta compleja, es decir, un plano bidimensional en C
n+1
. La interseccion de esa
recta con la esfera unitaria S
2n+1
C
n+1
= R
2n+2
es un crculo y como antes se
prueba que CP
n
= S
2n+1
/ , donde la relaci on de equivalencia es dada como sigue:
Sergio Plaza 13
sean z, z

S
2n+1
entonces z z

si existe S
1
tal que z

= z .
10. Espacio Proyectivo Cuaternio QP
n
.
Denotemos por Q el espacio de n umeros cuaternios, es decir, n umeros de la forma
q = x + y + z j + w

k , donde x, y, z, w R y 1, , j,

k son los cuaternios unitarios.

En Q se dene la suma ( +) y el producto ( ) como sigue, dados cuaternios q
1
=
x
1
+y
1
+z
1
j +z
1

k y q
2
= x
2
+y
2
+z
2
j +w
2

k
q
1
+q
2
= x
1
+x
2
+ (y
1
+y
2
) + (z
1
+z
2
) j + (w
1
+w
2
)

k
q
1
q
2
= (x
1
x
2
y
1
y
2
z
1
z
2
w
1
w
2
) + (x
1
y
2
+x
2
y
1
+z
1
w
2

z
2
w
1
) + (x
1
z
2
+x
2
z
1
y
1
w
2
+y
2
w
1
) j +
(x
1
w
2
+x
2
w
1
+y
1
z
2
y
2
z
1
)

k ,
es decir, para obtener el producto q
1
q
2
procedemos a multiplicar esos n umeros como
polinomios y usamos las relaciones que satisfacen los cuaternios unitarios, , j,

k , dada
en la tabla siguiente

i

j

k
1
k

k
1
i

i 1

Como espacio vectorial Q no es otro que R

4
, la identicaci on es Q q = x+y+z j+
w

k (x, y, z, w) R
4
. En especial, bajo esta identicaci on tenemos 1 e
1
=
(1, 0, 0, 0) , e
2
= (0, 1, 0, 0) , j e
3
= (0, 0, 1, 0) y

k e
4
= (0, 0, 0, 1) .
Con el producto denido arriba Q es un algebra no conmutativa, esto es, un espacio
vectorial sobre el cual tenemos denido un producto no conmutativo.
Denimos el conjugado y la norma de un cuaternio q = x + y + z j + w

k como
q = x y y j w

k y [q[
2
= x
2
+ y
2
+ z
2
+ w
2
= q q = q q . Es f acil ver que
[q
1
q
2
[ = [q
1
[ [q
2
[ . Para un cuaternio q ,= 0 se dene su inverso multiplicativo,
q
1
, como q
1
=
q
[q[
2
, se tiene que q q
1
= q
1
q = 1 . Note que el conjunto de
Sergio Plaza 14
cuaternios de norma 1 es la esfera unitaria S
3
Q. Ademas, dados q
1
, q
2
S
3
se
tiene que q
1
q
1
2
S
3
, por lo tanto S
3
con el producto de cuaternios es un grupo
multiplicativo, no conmutativo. Note que en este caso el inverso q
1
de un elemento
q S
3
es q
1
= q.
Tomando el producto cartesiano de n + 1 copias de Q, tenemos el espacio Q
n+1

R
4n+4
. Dado v = (q
1
, . . . , q
n+1
) Q
n+1
denimos el producto escalar de v por
Q como v = ( q
1
, . . . , q
n+1
) .
Como en el caso real, denimos el espacio proyectivo cuaternio QP
n
tomando la
relacion de equivalencia, , sobre Q
n+1
0 como sigue: sean v
1
, v
2
Q
n+1
0 ,
entonces v
1
v
2
si y solo si existe Q 0 tal que v
2
= v
1
, esto es, v
1
v
2
son equivalentes si y solo si ellos estan sobre la misma recta cuaternia pasando por el
origen en Q
n+1
.
Note que una recta cuaternia es un plano 4dimensional. Tambien se tiene que una
recta cuaternia intersecta a la esfera S
4n+3
en una esfera 3dimensional S
3
S
4n+3
.
Luego QP
n
= S
4n+3
/ , donde v
1
, v
2
S
4n+1
son equivalentes si y solo si existe
S
3
(cuaternios unitarios, es decir, de norma 1) tal que v
2
= v
1
.
Como en el caso anterior, se tiene que QP
n
es un espacio de Hausdor compacto con
base numerable para su topologa. Dejamos al lector construir un atlas 4ndimensional
de clase C

en QP
n
.
Proposici on 1.1 (a) RP
1
es homeomorfo a S
1
;
(b) CP
1
es homeomorfo a S
2
;
(c) QP
1
es homeomorfo a S
4
.
Demostracion. S olo haremos la prueba para los casos a) y b), la parte c) es dejada al
lector.
(a) En S
1
consideremos el atlas / = (U
N
,
N
), (U
S
,
S
) , donde U
N
= S
1
(0, 1) ,
U
S
= S
1
(0, 1) , y
N
: U
N
R,
S
: U
S
R son dadas, respectivamente,
por
N
(x, y) =
x
1 y
y
S
(x, y) =
x
1 +y
, sus inversas
1
N
y
1
S
son dadas,
Sergio Plaza 15
respectivamente, por
1
N
(t) =
1
1 +t
2
(2t, t
2
1) y
1
S
(t) =
1
1 +t
2
(2t, 1 t
2
) . El
cambio de coordenadas
S

1
N
: R0 R0 es dado por
S

1
N
(t) =
1
t
.
Por otra parte, en RP
1
consideramos el atlas del ejmeplo anterior, es decir, B =
(U
1
,
1
), (U
2
,
2
) anterior, el cambio de coordenadas
2

1
1
: R0 R0
viene dado por
2

1
1
(t) =
1
t
.
Ahora observemos que
S

1
N
=
2

1
1
, luego
1
N

1
=
1
S

2
en U
1
U
2
.
Denamos : RP
1
S
1
por,
=

1
N

1
en U
1
,

1
S

2
en U
2
.
Como
1
N

1
y
1
S

2
son homeomorsmos en sus dominios U
1
y U
2
, respecti-
vamente, y como ellos coinciden en U
1
U
2
, se sigue que es un homeomorsmo.
Geometricamente el homeomorsmo se ve como sigue RP
1
= S
1
/ , donde x, y S
1
,
x y si y solo si y = x. Procediendo primero con la identicaci on de la parte
superior con la parte inferior de S
1
obtenemos
x
x
1 1

x y
Ahora debemos identicar 1 con -1, es claro que obtenemos de nuevo un crculo
b) En CP
1
tenemos el atlas / = (U
1
,
1
), (U
2
,
2
) . Reemplazamos
2
por
2
,
donde
2
(p) =
2
(p) , ( z = conjugado del n umero complejo z ) y obtenemos el atlas
/
1
= (U
1
,
1
), (U
2
,
2
) .
En S
2
consideramos el atlas B = (U
N
,
N
), (U
S
,
S
) .
Sergio Plaza 16
Ahora es f acil ver que
1
S

2
=
1
N

1
en U
1
U
2
. Denimos el homeomorsmo
: CP
1
S
2
por
=

1
N

1
en U
1
,

1
S

2
en U
2
.
12. Variedad de Grassmann G(n, p, R) .
Un p plano en R
n
es un subespacio pdimensional de R
n
. Cada pplano en R
n
es determinado por un conjunto de p vectores linealmente independientes. Podemos
pensar esos p vectores como las columnas de una matriz A de orden n p y rango
p . Otra matriz B de orden np y rango p representa el mismo pplano que A si y
solo si existe una matriz T GL(p, R) tal que B = AT . Denotemos por G(n, p, R) el
conjunto de los pplanos en R
n
, este conjunto con la estrutura de atlas que daremos
a seguir es llamado la variedad de Grassmann real de pplanos en R
n
.
A continuaci on construiremos un atlas p(np)dimensional de clase C

en G(n, p, R) .
Sea P G(n, p, R) , con matriz representativa A. Supongamos primero que las las
1, 2, . . . , p de A son linealmente independientes. Es f acil ver que lo mismo ocurre con
toda otra matriz B que represente a P . Ademas, entre ellas existe una matriz A
P
,
que llamaremos representativa canonica, la cual tiene la forma,
A
P
=

I
Z

np
donde I denota la matriz identidad p p y Z es una matriz (n p) p .
Para obtener la matriz A
P
basta tomar la matriz T GL(p, R) , inversa de la matriz
S formada por las primeras p las de A, y tenemos entoces que A
P
= AT . Las
matrices Z = (z
ij
)
(np)p
de order (n p) p admiten una biyecci on natural con
R
(np)p
dada por : Z = (z
ij
)
(np)p
(z
11
, . . . , z
np p
) .
Ahora bien, en general, sea = ()
i=1,...,p
una sucesion de n umeros naturales, tales
que 1
1
<
2
< <
p
n. Dado un pplano P G(n, p, R) con matriz repre-
sentativa A cuyas las
1
, . . . ,
p
son linealmente independientes, existe una matriz
representativa canonica A
P
cuyo vector la
i
es el vector e
i
, donde e
1
, . . . , e
p
es
la base canonica de R
p
.
Sergio Plaza 17
Dada una sucesion = (
i
)
p
i=1
como arriba, denamos el conjunto
U

= P R
n
: p planos cuya matriz representativa tiene
sus filas linealmente independientes .
Dotamos a G(n, p, R) de la topologa siguiente: dos pplanos P y P

son pr oximos
si y solo si sus matrices representativas canonicas A
P
y A
P
son pr oximas, donde la
proximidad de matrices se mide coeciente a coeciente. Es f acil ver que esto dene
una topologa en G(n, p, R) , en la cual los conjuntos U

son abiertos.
Tenemos que para cada P U

, existe una matriz representativa canonica cuyas las

forman la matriz identidad p p . Las restante las forman una matriz Z

(P) de
orden (n p) p . Denamos una aplicacion

: U

R
(np)p
por

(P) =
Z

(P) . Es claro que las aplicaciones

as denidas son biyecciones continuas desde

U

en R
(np)p
. Sus inversas son denidas de modo obvio y tambien son continuas,
es decir, las aplicaciones

son homeomorsmos.
Ahora sea = = (
i
)
p
i=1
:
i
1, . . . , n y 1
1
<
2
< . . . <
p
n .
Tenemos que G(n, p, R) =

.
Veamos los cambios de coordenadas en G(n, p, R) . Sea P U

un pplano. Deno-
temos por P

su matriz representativa can onica. Si P U

, entonces las las de

P

son linealmente independientes. Denotemos por Y

(P) y W

(P) las subma-

trices de P

formadas, respectivamente, por las las y por las restantes las de

P

. Denamos la aplicacion f

: R
(np)p
R por f

(P)) = det(Y

(P)) ,
tenemos que f

es continua y P U

si y solo si det(Y

(P)) ,= 0 . Luego

(U

) = f
1

(R 0) es un conjunto abierto de R
(np)p
. An alogamente se
muestra que

(U

) es un conjunto abierto.
Si P U

su matriz representativa can onica en U

es dada por P

Y
1

,
donde P

es la matriz representativa canonica de P en U

. Luego las coordenadas

de

(P) son dadas por la matriz W

Y
1

. Como los coecientes de esta matriz son

funciones racionales con denominador que no se anula nunca, las coordenadas

(P)
son funciones C

, por lo tanto

es C

.
De lo anterior tenemos que el conjunto / = (U

) : es un atlas (np)p
dimensional de clase C

en G(n, p, R) .
Sergio Plaza 18
Como ejemplo haremos los calculos para G(3, 2, R) , en este caso el atlas es dado por
/ = (U
12
,
12
), (U
13
,
13
), (U
23
,
23
) .
Sea P U
23
. Entonces la matriz representativa canonica de P es
P
23
=

x y
1 0
0 1

32
Si P U
13
, es decir, sus las 1 y 3 son linealmente independientes, de donde se tiene
que x ,= 0 , luego la matriz representativa can onica de P en U
13
es dada por la matriz
P
13
=

x y
1 0
0 1

x y
0 1

1
=

x y
1 0
0 1

1
x
y
x
0 1

1 0
1
x
y
x
0 1

luego
13

1
23
(x, y) =
_
1
x
,
y
x
_
, la cual es C

, puesto que x ,= 0 .
Observaciones.
(a)
G(n, 1, R) = 1 planos en R
n

= lineas rectas pasando por el origen en R

n

= RP
n1
.
(b) Los espacios topol ogicos G(n, p, R) y G(n, n p, R) son homeomorfos. La apli-
cacion : G(n, p, R) G(n, n p, R) denida por (P) = P

= subespacio
ortogonal a P en R
n
, es un homeomorsmo. La vericaci on queda por parte del
lector.
13. Variedad de Grassmann Compleja G(n, p, C) .
Un pplano complejo en C
n
es un subespacio complejo pdimensional de C
n
. Si
P es un pplano en C
n
entonces P es un 2pplano en R
2n
= C
n
. La prueba que
G(n, p, C) es una variedad C

es analoga al caso real y se deja como ejercicio al

lector.
Sergio Plaza 19
Observaci on. Al igual que en el caso real, tenemos que
(a) G(n, 1, C) = CP
n1
y
(b) G(n, p, C) es homeomorfo a G(n, n p, C) .
Antes de dar otros ejemplos notemos que todos los ejemplos desarrollados hasta ahora
tienen la propiedad de que el espacio topol ogico en cuestion es Hausdor y tienen base
numerable. En los ejemplos que daremos a continuaci on aparecen espacios no Hausdor y
sin base numerable.
14 Consideremos el conjunto M = M
+
M

M R
2
, donde M

= (x, 1) : x
0 y

M = (x, 0) : x < 0 .

1
1

M
M

M
+
en M denimos la topologa siguiente: en

M y M

(0, 1) los conjunto abiertos

son los intervalos abiertos (con la obvia identicaci on de M

con R
+
0
= x R :
x 0 ). Agregamos a la coleccion anterior de abiertos los conjuntos , M y las
vecindades N

de los puntos (0, 1) , las cuales son denidas por N

= (x, 0) :
< x < 0 (x, 1) : 0 x < , donde > 0 es arbitrario. Con esta topologa
M es no Hausdor, puesto que cualquier par de vecindades de los puntos (0, 1)
tienen interseccion no vaca.
Ahora sean U

=

MM

, estos conjuntos son abiertos en M y denamos las aplica-

ciones

: U

R por
+
(x, 0) = x,
+
(x, 1) = x y

(x, 0) = x,

(x, 1) =
x. Es claro que estas son biyecciones continuas y sus inversas (
+
)
1
y (

)
1
tam-
bien son continuas. Por lo tanto

son homeomorsmos. Los cambios de coorde-

nadas son dados por
+
(

)
1
=

(
+
)
1
= Id , luego son de clase C

.
Por lo tanto, hemos denido una atlas 1dimensional de clase C

en M dado por
/ = (U
+
,
+
), (U

) .
Sergio Plaza 20
15 Variedad Hausdor sin base numerable para su topologa. Sea R
p
m
el espacion
producto R
p
R
q
, donde p + q = m. El primer factor lo dotamos con la topologa
usual y el segundo factor lo dotamos con la topologa discreta. La topologa en R
p
m
es
la topologa producto de los factores.
R
q
R
p
{0}
R
p
{x}
0

Los abiertos basales en la topologa de R

p
m
son los productos U y donde U R
p
es un abierto e y R
q
. Como cada producto R
p
y es canonicamente homeomorfo
a R
p
mediante la aplicacion
y
: R
p
y R
p
denida por
y
(x, y) = x, se
sigue que / = (R
p
y,
y
) : y R
q
es un atlas pdimensional de clase C

en
R
p
m
. Note que el espacio topol ogico R
p
m
es Hausdor, pero no tiene base numerable
para su topologa.
16 Variedad no Hausdor y sin base numerable para su topologa. Sea M =
(x, 0) R
2
: x R (0, y) R
2
: y F , donde F 0 R es un conjunto no
numerable, con 0 / F .
En M denamos la topologa siguiente: y M son abiertos, en (x, 0) R
2
: x R
tomamos la topologa natural inducida por R y para los conjuntos (0, y), , con y
F , las vecindades basicas son los conjuntos de la forma (U (0, 0))(0, y) , donde
U (x, 0) R
2
: x R es un conjunto abierto con 0 U . Esta topologa es no
Hausdor y no tiene base numerable. Las cartas en M son dadas por las aplicaciones

0
: (x, 0) R
2
: x R R denidas
0
(x, 0) = x, mientras que para cada
y F se dene
y
: (x, 0) R
2
: x R 0 (0, y) R por
y
(x, 0) = x
y
y
(0, y) = y . Es f acil vericar que el conjunto / formado por las cartas anteriores
es un atlas 1dimensional C

en M .
Sergio Plaza 21
Denicion 1.3 Sea / un atlas mdimensional de clase C
r
, r 1 , en un espacio to-
pol ogico (no vaco) M . Decimos que una carta : V M R
m
es admisible respecto
a /, si / (V, ) es un atlas mdimensional de C
r
en M .
Note que una carta (V, ) en M es admisible respecto a un atlas mdimensional C
r
,
/, de M si y solo si para cada carta (U, ) / con UV ,= , los cambios de coordenadas

1
y
1
son de clase C
r
.
Ejemplos.
1. En la esfera S
n
consideremos los atlas ndimensionales C

, /
1
= (U
N
,
N
), (U
S
,
S
)
y /
2
= (U

i
,

i
) : i = 1, . . . , n+1 . Cada carta de /
1
es admisible respecto a /
2
y vice-versa.
En efecto, tomemos por ejemplo,
+
1
: U
+
1
D
n
, tenemos U
+
1
U
N
= U
+
1
y

N
(
+
1
)
1
(x
1
, . . . , x
n
) =
N
_
_
1

n
i=1
x
2
i
_
1/2
, x
1
, x
2
, . . . , x
n
_
=
1
(1xn)
_
_
1

n
i=1
x
2
i
_
1/2
, x
1
, . . . , x
n1
_
,

+
1

1
N
(x
1
, . . . , x
n
) =
+
1
_
2x
1
1 +[[x[[
2
, . . . ,
2x
n
1 +[[x[[
2
,
[[x[[
2
1
1 +[[x[[
2
_
=
_
2x
2
1 +[[x[[
2
, . . . ,
2x
n
1 +[[x[[
2
,
[[x[[
2
1
1 +[[x[[
2
_
.
Es claro que ambas son C

. En forma an aloga se prueba que los restantes cambios

de coordenadas son C

. Por lo tanto /
1
/
2
es un atlas ndimensional de clase
C

en S
n
.
2. En R consideremos los atlas 1dimensionales C

, /
1
= (R, ) y /
2
= (R, ) ,
donde , : R R son dadas por = Id y (t) = t
3
, respectivamente. Estos
atlas no son admisibles, es decir, /
1
/
2
no es un atlas diferenciable en R.
En efecto,
1
(t) = (t) = t
3
luego
1
C

y por otra parte se tiene que

1
(t) = (t
1/3
) = t
1/3
no es diferenciable en t = 0 .
Sergio Plaza 22
3. Sea / un atlas mdimensional de clase C
r
, r 1 , en M . Dada una carta (U, )
/ y un abierto W U denamos la carta : W R
m
por = /W , entonces
la carta (W, ) es admisible con respecto al atlas / de M .
Denicion 1.4 Sean /
1
y /
2
atlas mdimensionales de clase C
r
, r 1, sobre un
espacio topologico M . Decimos que /
1
y /
2
son compatibles si /
1
/
2
es un atlas
mdimensional de clase C
r
sobre M .
Note que dos atlas mdimensionales de clase C
r
( r 1 ) /
1
y /
2
sobre M son
compatibles si y s olo si para cada carta (U, ) /
1
y cada carta (V, ) /
2
con UV ,= ,
los cambios de coordenadas
1
y
1
son difeomorsmos C
r
entre abiertos de R
m
,
o equivalentemente, cada carta (U, ) de /
1
es compatible con /
2
y cada carta (V, ) de
/
2
es compatible con /
1
.
Ejemplos.
1. En S
n
los atlas /
1
= (U

i
,

i
) : i = 1, . . . , n+1 y /
2
= (U
N
,
N
), (U
S
,
S
)
son compatibles.
2. En R los atlas /
1
y /
2
del ejemplo 2) anterior no son compatibles.
Sea M un espacio topologico. En el conjuntos de atlas (que posiblemente existan) m
dimensionales de clase C
r
( r 1 ) sobre M, el cual denotamos por /
r
m
(M) , denimos
la siguiente relacion de equivalencia: sean /, B /
r
m
(M) , decimos que / B si y solo
si / B /
r
m
(M) , es decir, ellos son equivalentes si y s olo si / y B son compatibles.
La vericacion que .
es
una relaci on de equivalencia en /
r
m
(M) se deja al lector. El
conjunto cuociente, /
r
m
(M)/ , es llamado el conjunto de las estructuras diferenciables
mdimensionales de clase C
r
en M .
Dado / /
r
m
(M) , denotamos por [/] su clase de equivalencia, es decir, [/] = B
/
r
m
(M) : B / .
Denicion 1.5 Una variedad diferenciable mdimensional de clase C
r
, r 1, es un
par (M, [/]) , donde M es un espacio topologico no vaco y [/] es una clase de equiva-
lencia en /
r
m
(M) . La clase de equivalencia [/] es llamada una estructura diferenciable
mdimensional de clase C
r
en M .
Sergio Plaza 23
Observemos que para obtener una estructura diferenciable mdimensional de clase C
r
sobre M es suciente denir un atlas mdimensional de clase C
r
, /, en M y tomar su
clase de equivalencia [/] .
Ejemplos.
1. Espacios euclideanos. En R
n
tomemos el atlas / = (R
n
, Id) . Entonces (R
n
, [/])
es una variedad ndimensional C

. Por otra parte, si para cada k 1 , denotamos

por /
k
un atlas ndimensional de clase C
k
en R
n
que contiene a /, es decir, en ca-
da abierto U R
n
, ademas de las coordenadas cartesianas consideramos coordenadas
dadas por difeomorsmos C
k
, : U (U) R
n
, entonces por el Teorema de
la Funci on Inversa tenemos que (U) es abierto en R
n
y (R
n
, [/
k
]) es una variedad
ndimensional de clase C
k
.
2. Estructura diferenciable sobre S
n
. En la esfera S
n
tenemos los atlas /
1
=
(U
N
,
N
), (U
S
,
S
) y /
2
= (U

i
,

i
) : i = 1, . . . , n + 1 satisfacen [/
1
] [/
2
] y
(S
n
, [/]) es una variedad ndimensional C

, donde /
1
, /
2
[/] .
3. Tenemos que, con los correspondiente atlas denidos en los ejemplos anteriores,
(M(nm, R), [/]) , (M(nm, C), [/]) , (RP
n
, [/]) , (CP
n
, [/]) , (QP
n
, [/]) , (G(n, p, R), [/]) ,
y (G(n, p, C) , [/]) son variedades diferenciables de clase C

.
4. M = M
+
M

M con el atlas denido antes es una variedad 1dimensional C

,
no Hausdor con base numerable.
5. (R
p
m
, [/]) , donde / es el atlas del ejemplo 15 anterior, es una variedad pdimensional
de clase C

. Note que en el espacio R

p
m
= R
p
R
q
, con p+q = m, hemos cambiado la
topologa, considerando la topologa usual en el primer factor y colocamos la topologa
discreta en el segundo factor, con esto, ha sido posible dar una estructura de variedad
diferenciable pdimensional a R
m
.
6. Sea M = (x, 0) R
2
: x R (0, y) R
2
: y F , donde F 0 R es un
conjunto no numerable, con 0 / F . Considerando el atlas / construido anteriormente
sobre M , tenemos que (M , [/]) es una variedad 1dimensional de clase C

, no
Hausdor y sin base numerable para su topologa.
Sergio Plaza 24
7. (R, [B]) , donde B = (R, ) y : R R es dada por (t) = t
3
, es una variedad
1dimensional de clase C

. Note que (R, [B]) ,= (R, [/]) , donde / = (R, Id) , pues
B y / no son compatibles.
8. Variedad no Hausdor cuya topologa no es localmente compacta (fuerte).
Para este ejemplo consideremos el conjunto M = U(
nN
U
n
) , donde U = (x, 0)
R
2
: x R y para cada n N, U
n
= (U (0, 0) (0, n) . Damos a M la
topologa en la cual , M y los intervalos abiertos de U son conjuntos abiertos, y las
vecindades de los puntos (0, n) , n N, son los conjuntos de la forma (V (0, 0))
(0, n) , donde V U es una vecindad del origen. Para denir las cartas, tomamos
las aplicaciones, : U R y
n
: U
n
R, dadas por (t, 0) = t ,
n
(t, 0) = t ,
cuando t ,= 0, y
n
(0, n) = 0 . Es f acil probar que / = (U, ), (U
n
,
n
) : n N es
un atlas 1dimensional de clase C

sobre M . La variedad denida de este modo es

no Hausdor y tiene base numerable para su topologa.
Ahora sea W M un abierto con (0, 0) W . Como cada vecindad de (0, n) , n N,
intersecta a W , el punto (0, n) W (clausura de W ). Luego | = U (
nN
U
n
)
es un cubrimiento abierto de W del cual no podemos extraer ning un subcubrimiento
nito.
9. Variedad Producto. Sean (M, [/]) y (N, [B]) variedades diferenciables de clase C
r
,
r 1 , de dimensi on m y n, respectivamente. En el espacio producto MN conside-
ramos la topologa producto. Para dar una estructura de variedad diferenciable a M
N , consideremos el atlas producto /B = (UV, ) : (U, ) /, (V, ) B ,
donde : U V R
m
R
n
= R
m+n
es dada por ()(x, y) = ((x), (y)) .
Es f acil vericar que (M N, [/B]) es una variedad diferenciable C
r
y dimensi on
m +n.
10. Estructura de Variedad Inducida. Sea (M, [/]) una variedad mdimensional de
clase C
r
. Dado un homeomorsmo f : M N . El atlas / = (U
i
,
i
) : i
de M induce de modo natural un atlas mdimensional de clase C
r
, /
f
, en N , el
cual es denido como /
f
= (f(U
i
),
i
f
1
) : i . La estructura diferenciable
denida por /
f
es llamada estructura diferenciable de N inducida por f y /.
Sergio Plaza 25
11. Sea (M, [/]) una variedad diferenciable mdimensional de clase C
r
. Sea U M
un conjunto abierto. Denotemos por //U el conjunto (W
i
,
i
/W
i
) : W
i
= U
U
i
, (U
i
,
i
) / , entonces //U es un atlas mdimensional de clase C
r
en U ,
y por lo tanto (U, [//U]) es una variedad mdimensional de clase C
r
, llamada
estructura diferencial de U inducida por la estructura diferencial de M .
12. Sea (M, [/]) una variedad diferenciable mdimensional de clase C
r
, r 1 . Sea
E un conjunto no vaco. Dotando a E de la topologa discreta, el espacio producto
M E admite una estructura de variedad diferenciable mdimensional de clase C
r
.
En efecto, Sea / = (U
i
,
i
) : i un atlas en la estructura diferenciable de
M , en M E denimos el atlas /
E
= (U
i
e,
i,e
) : i , e E , donde

i,e
: U
i
e R
m
,
i,e
(x, e) =
i
(x) . Es claro que /
E
dene una estructura
diferenciable mdimensional de clase C
r
en M E .
13. Matrices de Rango Constante Sea M(m n, R) el conjunto de las matrices de
orden mn con coecientes reales. Denotemos por M(mn, k, R) el subconjunto de
las matrices de rango k . Tenemos que M(m n, k, R) es una variedad de clase C

y dimensi on k(m +n k) .
En efecto, si Y M(m n, R) y rango(Y ) k , entonces intercambiando las las y
las columnas, la matriz Y puede ser transformada a una del tipo
_
A
Y
B
Y
C
Y
D
Y
_
donde A
Y
es una matriz no singular (invertible) de orden k k , en otras palabras,
existe una matriz no singular P
Y
M(m m, R) y una matriz no singular Q
Y

M(n n, R) tal que
P
Y
Y Q
Y
=
_
A
Y
B
Y
C
Y
D
Y
_
.
Tenemos que rango(Y ) = k si y solo si D
Y
= C
Y
A
1
Y
B
Y
. Esto se sigue desde la
igualdad
_
I
k
0
C
Y
A
1
Y
I
mk
__
A
Y
B
Y
C
Y
D
Y
_
=
_
A
Y
B
Y
0 C
Y
A
1
Y
B
Y
+D
Y
_
Sergio Plaza 26
y desde el hecho que
rango(Y ) = rango
_
A
Y
B
Y
0 C
Y
A
1
Y
B
Y
+D
Y
_
.
Ahora es f acil ver de la ultima igualdad que rango(Y ) = k si y solo si DY =
C
Y
A
1
Y
B
Y
.
Ahora, dado X
0
M(mn, k, R) y sea X M(m n, k, R) arbitraria. Denotemos
P
X0
XQ
X0
=
_
A
X,X0
B
X,X0
C
X,X0
D
X,X0
_
donde A
X,X0
es una matriz cuadrada de orden k k . Consideremos una vecindad
abierta
V (X
0
) = X M(mn, R) : det A
X,X0
,= 0
de la matriz X
0
en M(m n, k, R) . Entonces U(X
0
) = V (X
0
) M(m n, R) es
una vecindad abierta de X
0
en M(m n, k, R) , y la aplicaci on
X0
: U(x
0
)
R
mn(mk)(nk)
denida por la composici on de las aplicaciones abajo,
X
_
A
X,X0
B
X,X0
C
X,X0
D
X,X0
_

_
A
X,X0
B
X1X0
C
X,X0
0
_
i
R
mn(mk)(nk)
es un homeomorsmo, donde i es la aplicacion inclusi on. Por lo tanto (U(X
0
),
X0
)
es una carta en M(m n, k, R) , y de esta forma podemos denir un atlas de clase
C

en M(m n, k, R) . Luego M(m n, k, R) es una variedad C

y dimensi on
mn (mk)(n k) = mn (mn mk nk +k
2
) = mk +nk k
2
= k(m+n k) ,
como queramos probar.
Sea (M, [/]) una variedad diferenciable mdimensional de clase C
r
, r 1 . El n umero
m es llamado la dimensi on de M y escribimos m = dim M , frecuentemente usamos la
notacion M
m
para indicar que la variedad M tiene dimensi on m.
Proposici on 1.2 La dimensi on de una variedad diferenciable (M, [/]) de clase C
r
(r 1)
no depende del atlas B [/] .
Sergio Plaza 27
Demostracion. Sean /
1
, /
2
[/] . Supongamos que /
1
es m
1
dimensional y que /
2
es m
2
dimensional. Sean (U, ) /
1
y (V, ) /
2
cartas, con U V ,= . Como
/
1
/
2
, los cambios de coordenadas son C
r
. Ahora bien,
1
: (U V ) R
m1

(U V ) R
m2
es un difeomorsmo C
r
, luego para cada x (U V ) se tiene que
D(
1
)(x) : R
m1
R
m2
es un isomorsmo, por lo tanto m
1
= m
2
, lo cual completa
la prueba.
Para el caso C
0
, es decir, tomamos solo atlas de clase C
0
, usamos el siguiente
Teorema 1.1 (Invarianza de los Dominios, [Brouwer]). Sean U R
m
y V R
n
con-
juntos abiertos. Si existe un homeomorsmo h : U V , entonces m = n.
1.2. Problemas
Problema 1.1 En el caso de la esfera S
1
calcular

i

1
N
,

i

1
S
,
1
N
, . . . para
los tres atlas que hemos dado en este captulo.
Problema 1.2 Estudie los cambios de coordenadas en M(mn, k, R) .
Problema 1.3 Dena un atlas 2ndimensional de clase C

en CP
n
.
Problema 1.4 Pruebe que el conjunto M
p
(R, mn) de las matrices de rango p, 1 p
mnn, m , es una variedad diferenciable C

.
Problema 1.5 Pruebe que toda variedad diferenciable satisface el Axioma T
1
de separa-
cion.
Problema 1.6 Demuestre que toda variedad diferenciable satisface el primer axioma de
numerabilidad. Es verdad que toda variedad satisface el segundo axioma de numerabilidad?.
Si la respuesta es negativa, ilustre con un ejemplo.
Problema 1.7 Pruebe que toda variedad diferenciable es localmente conexa.
Problema 1.8 Muestre que toda variedad Hausdor es localmente compacta. Si la hipote-
sis de Hausdor es eliminada, el resultado continua valido? Si la respuesta es negativa,
ilustre con un ejemplo.
Sergio Plaza 28
Problema 1.9 Pruebe que toda variedad diferenciable conexa es conexa por caminos.
Problema 1.10 Sea M una variedad C
k
, k 1. Pruebe que cada punto de M esta con-
tenido en un dominio de coordenadas : U R
m
, tal que (U) = B(0, 1), donde
B(0, 1) R
m
es la bola abierta unitaria de centro en el origen.
Problema 1.11 Existe un atlas constituido s olo de una carta en S
2
?
Problema 1.12 Sea M = (x, [x[) : x R, existe una estructura de variedad diferen-
ciable en M? Justique su respuesta.
Problema 1.13 En M = RR considere la topologa producto, donde en el primer factor
tomamos la topologa usual y en el segundo factor tomamos la topologa discreta. Muestre
que M es una variedad 1dimensional C

Hausdor no separable.
Problema 1.14 Muestre que los atlas (R,
k
), k = 1, 2, . . ., donde
k
(x) = x
2k+1
denen estructuras diferenciables C

distintas sobre R.
Problema 1.15 Sea / = (U
i
,
i
) : i un atlas C
k
, k 1, de dimension m sobre
una variedad M
m
. Pongamos
i
(U
i
) = V
i
R
m
. Sea X el espacio identicaci on obtenido
desde
i
V
i
i, cuando (x, i) es identicado con (
j

1
i
(x), j). Pruebe que X es
homeomorfa a M, es X una variedad diferenciable?.
Problema 1.16 Sea f : R
n
R
m
una aplicaci on continua. Muestre que existe una
estructura diferenciable C

(un atlas) / sobre R

n
R
m
tal que la aplicaci on g : R
n

(R
n
R
m
, /) , g(x) = (x, f(x)) es C

. Ademas, pruebe que g es un homeomorsmo sobre

su imagen y que Dg(x) : R
n
R
n
R
m
es inyectiva, para cada x R
n
.
Problema 1.17 Sea M
m
una variedad C
k
, k 1. Suponga que M es separable. Pruebe
que M admite un atlas con una cantidad numerable de cartas.
Problema 1.18 Sea f : M
m
N un homeomorsmo desde una variedad C
k
, M
m
, en
un espacio topologico N. En N considere el conjunto /

= (f(U

),

f
1
), donde / =
(U

) es un atlas C
k
sobre M. Pruebe que /

es un atlas C
k
en N y dimM = dimN.