n P
erez Mu
noz
Geometra y Topologa
Introduccion
Estos son los apuntes de la asignatura Geometra y Topologa, obligatoria de
cuarto curso de la Licenciatura de Matematicas de la Universidad de Granada. Son de
libre distribucion, y pueden bajarse de la pagina web
http://www.ugr.es/local/jperez/
Estan basados en apuntes previos del profesor Francisco Urbano, y en ellos encontraras los
enunciados y demostraciones de los resultados contenidos en el programa de la asignatura,
distribuidos por temas tal y como esta se estructuro y aprobo en Consejo de Departamento.
Algunas veces, las demostraciones estan resumidas y dejan que el lector compruebe los
detalles como ejercicio. Ademas de estos, al nal de cada tema hay una relacion de ejercicios
propuestos.
Como siempre en estos casos, los apuntes no estaran libres de errores, y es labor con-
junta del autor y de los lectores mejorarlos, un trabajo que nunca se termina. Si encuentras
alg un error, por favor enva un e-mail a la direccion de correo electronico jperez@ugr.es
Todo lo que se dice en los apuntes puede encontrarse, a menudo explicado con mas pro-
fundidad, en numerosos textos basicos. Son recomendables los siguientes:
G. E. Bredon, Topology and Geometry, Springer-Verlag 1993.
C. Godbillon,
Elements de Topologie Algebrique, Hermann 1971.
J. Lafontaine, Introduction aux Varietes Differentielles, Presses Universi-
taires de Grenoble 1996.
G. L. Naber, Topology, Geometry, and Gauge Theory, Springer-Verlag 2000.
M. Spivak, A comprehensive introduction to Differential Geometry I-V,
Publish or Perish (1979).
F. Warner, Foundations of differentiable manifolds and Lie groups, Scott-
Foresman (1971).
Granada, septiembre de 2007
Joaqun Perez Mu noz
i
ii
Indice general
1. VARIEDADES DIFERENCIABLES 1
1.1. Subvariedades del espacio Eucldeo. . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Concepto de variedad diferenciable. . . . . . . . . . . . . . . . . . . . . . . . 6
1.3. Aplicaciones diferenciables. Difeomorsmos. . . . . . . . . . . . . . . . . . . 10
1.4. Espacio Tangente. Diferencial de una aplicacion. . . . . . . . . . . . . . . . 23
1.5. Difeomorsmos locales. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2. CAMPOS Y FORMAS DIFERENCIABLES 43
2.1. Campos de Vectores.
Algebra de Lie de los campos de vectores. . . . . . . . 43
2.2. 1-formas diferenciables. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.3. Algebra exterior. Formas diferenciables. . . . . . . . . . . . . . . . . . . . . 52
2.4. Orientacion en variedades. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.5. Integracion de formas sobre variedades orientadas. . . . . . . . . . . . . . . 67
3. DIFERENCIACION EXTERIOR. TEOREMA DE STOKES 83
3.1. La diferencial exterior. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.2. Dominios con borde en una variedad orientada. . . . . . . . . . . . . . . . . 87
3.3. El teorema de Stokes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
3.4. Campos y formas en abiertos de R
3
. . . . . . . . . . . . . . . . . . . . . . . 97
4. COHOMOLOG
IA DE de RHAM 105
4.1. Espacios de cohomologa de de Rham. Lema de Poincare. . . . . . . . . . . 106
4.2. Invarianza homotopica de la cohomologa de de Rham. . . . . . . . . . . . . 107
4.3. La sucesion de Mayer-Vietoris. . . . . . . . . . . . . . . . . . . . . . . . . . 111
4.4. Cohomologa de la esfera y el espacio proyectivo real. . . . . . . . . . . . . . 120
4.5. Cohomologa de grado maximo. Clase fundamental. . . . . . . . . . . . . . . 126
4.6. Grado de aplicaciones diferenciables. . . . . . . . . . . . . . . . . . . . . . . 129
iii
Captulo 1
VARIEDADES
DIFERENCIABLES
1.1. Subvariedades del espacio Eucldeo.
Recordemos de cursos anteriores el concepto de supercie:
Denicion 1.1.1 Una supercie (regular) es un subconjunto S R
3
tal que para cada
p S existen un abierto U R
2
, un entorno abierto V de p en R
3
y una aplicacion
X : U R
3
diferenciable (en el sentido del Analisis) vericando:
1. X : U V S es un homeomorsmo.
2. La diferencial dX
q
: R
2
R
3
es inyectiva para todo q U.
Recordemos que el cambio de parametros en una supercie es de clase C
en una supercie
de R
3
, como consecuencia del Teorema de la Funcion Inversa. Esta ventaja procede
de que las supercies viven en un ambiente eucldeo; sin embargo cuando estudiemos
variedades diferenciables sin apoyarnos en espacios ambientes mayores, no contaremos con
esta ventaja y tendremos de imponer la diferenciabilidad del cambio de cartas.
Generalizamos lo anterior a cualquier dimension y codimension en un ambiente eu-
cldeo:
Denicion 1.1.2 Una subvariedad de dimension n de R
k
es un subconjunto M R
k
tal
que para cada p M existen un abierto U R
n
, un entorno abierto V de p en R
k
y una
aplicacion diferenciable X : U R
k
vericando:
1. X : U V M es un homeomorsmo.
2. dX
q
: R
n
R
k
es inyectiva para todo q U.
1
2 CAP
IDEO. 3
y
2
= a de R
k
. Mas concretamente, si y = (y
1
, y
2
) OF
1
(a) entonces H(y) = (y
1
, a)
y ademas, y
1
1
(H(O)) donde
1
: R
k
R
kp
la proyeccion sobre las primeras k p
componentes. Notese que
1
(H(O)) es abierto de R
kp
, ya que
1
es una aplicacion abier-
ta. Sin embargo, el recproco no tiene porque ser cierto, ya que si y
1
1
(H(O)) entonces
no tenemos asegurado que (y
1
, a) H(O), como puede verse en el dibujo siguiente:
Este problema tecnico puede solucionarse tomando H(O) mas peque no: cambiamos
H(O) por H(O)
1
1
_
1
(H(O) y
2
= a)
(que es abierto de R
k
porque H(O)y
2
= a
es abierto en la topologa inducida en y
2
= a, donde
1
se restringe como difeomorsmo
a R
kp
), y despues cambiamos O por la imagen inversa mediante H del nuevo H(O).
Consideremos el abierto U :=
1
(H(O)) R
kp
. Deniendo y
1
X(y
1
) = H
1
(y
1
, a),
tendremos la parametrizacion que buscamos. 2
Ejemplo 1.1.2 Esferas.
Sea a = (a
1
, . . . , a
n+1
) R
n+1
y r > 0. Entonces, el conjunto
S
n
(a, r) =
_
x = (x
1
, . . . , x
n+1
) R
n+1
[
n+1
i=1
(x
i
a
i
)
2
= r
2
_
es una hipersupercie de R
n+1
, a la que se llamaremos esfera de dimension n, centro a y
radio r de R
n+1
.
En efecto, basta aplicar la Proposicion 1.1.1 a la aplicacion F : R
n+1
R dada por
F(x
1
, . . . , x
n+1
) =
n+1
i=1
(x
i
a
i
)
2
.
Ejemplo 1.1.3 Toros n-dimensionales.
Sean r
1
, . . . , r
n
> 0. Entonces, el conjunto
T
n
=
_
(z
1
, . . . , z
n
) C
n
R
2n
[ [z
i
[
2
= r
2
i
, i = 1, . . . , n
_
es una subvariedad de dimension n de R
2n
, a la que llamamos toro n-dimensional.
En este caso aplicaremos la Proposicion 1.1.1 a la aplicacion F : R
2n
R
n
dada por
F(z
1
, . . . , z
n
) = ([z
1
[
2
, . . . , [z
n
[
2
).
4 CAP
IDEO. 5
Ejemplo 1.1.7 Grupo especial unitario.
El determinante de cada matriz A U(n) es un n umero complejo unitario. Dentro de
U(n) podemos considerar las matrices con determinante 1:
SU(n) = A U(n) [ det A = 1,
que forma un subgrupo de U(n). Entonces, SU(n) es una subvariedad de dimension n
2
1
de /
n
(C), a la que llamamos el grupo especial unitario de orden n. Quizas valga la pena
exponer algunos detalles de la demostracion de esta propiedad. Mucho de lo que viene a
continuacion esta contenido en el ejercicio 11.
Llamamos o(
n
(C) = A /
n
(C) [ A
t
= A, /(
n
(C) = A /
n
(C) [ A
t
= A.
Entonces, o(
n
(C), /(
n
(C) son subespacios vectoriales reales de /
n
(C) de dimension n
2
y /
n
(C) = o(
n
(C) /(
n
(C) como espacios vectoriales reales. As, el grupo unitario
es U(n) = F
1
(I
n
) donde I
n
es la matriz identidad de orden n, y F es la aplicacion
diferenciable dada por
F : /
n
(C) o((C), F(A) = A A
t
.
Entonces, dada A U(n) (grupo unitario), se tiene ker(dF
A
) = A ker(dF
In
), de donde se
deduce facilmente que I
n
es un valor regular de F, y por tanto U(n) es una subvariedad
de /
n
(C) de dimension (real) n
2
.
Si queremos repetir los argumentos para dotar de estructura de subvariedad a SU(n),
consideraremos la aplicacion
F : /
n
(C) o(
n
(R) R dada por
F(A) = (AA
t
, (det A)), (1.1)
donde (z) denota la parte imaginaria de z C. Es facil comprobar que
F
1
(I
n
, 0) =
SU(n) SU
(n), donde SU
(n)
son abiertos disjuntos de
F
1
(I
n
, 0). Si dotamos a
F
1
(I
n
, 0) de estructura de subvar-
iedad (n
2
1)-dimensional de /
n
(C), entonces tendremos que SU(n) tambien es una
subvariedad (n
2
1)-dimensional de /
n
(C), que es lo que queramos demostrar. Y para
comprobar que
F
1
(I
n
, 0) es una subvariedad (n
2
1)-dimensional de /
n
(C), solo ten-
emos que probar que (I
n
, 0) es un valor regular de
F. Tomemos A
F
1
(I
n
, 0). Entonces,
d
F
A
: /
n
(C) o(
n
(C) R viene dada por
d
F
A
(B) = (dF
A
(B), (d(det)
A
(B))) ,
donde F(A) = AA
t
. La diferencial de la aplicacion determinante anterior se obtiene pasan-
do a matrices complejas regulares la formula del ejercicio 10:
d(det)
A
(B) = det A Traza(BA
1
) = Traza(BA
1
),
6 CAP
_
Traza
_
(B
1
+AD)A
1
_
= . (1.2)
Tomemos D /(
n
(C) a determinar. Entonces,
_
Traza
_
(B
1
+ AD)A
1
_
=
_
Traza
_
(B
1
A
1
_
+ [Traza (D)] .
El primer sumando del miembro de la derecha anterior es un n umero real que no depende
de D. Por otro lado, el que D /(
n
(C) implica que Traza(D) = i para alg un R,
luego hay que resolver la ecuacion = + con , R dados, en la incognita , y
con este = deniremos la matriz D /(
n
(C) que haga cierta la ecuacion (1.2).
Por ejemplo, tomaremos D como la matriz diagonal compleja de orden n con diagonal
(i, 0, . . . , 0). Esto prueba que SU(n) es una subvariedad de /
n
(C) de dimension n
2
1.
Proposicion 1.1.2 Sea M R
k
una subvariedad de dimension n. Para cada i = 1, 2
tomemos una parametrizacion X
i
: U
i
R
n
R
k
de M tal que O = X
1
(U
1
)X
2
(U
2
) ,= .
Entonces,
X
1
2
X
1
: X
1
1
(O) X
1
2
(O)
es un difeomorsmo al que se llama cambio de parametros.
Denicion 1.1.3 Sea M R
k
una subvariedad de dimension n, y p M. Una funcion
f : M R se llama diferenciable en p si existe una parametrizacion X : U R
n
R
k
con p X(U) tal que f X : U R
n
R es diferenciable en X
1
(p).
La independencia de la parametrizacion en la denicion anterior es consecuencia del cambio
de parametros (Proposicion 1.1.2).
1.2. Concepto de variedad diferenciable.
Denicion 1.2.1 Sea M un espacio topologico. Una estructura diferenciable sobre M es
una familia T = (U
i
,
i
)
iI
(aqu I es cualquier conjunto de ndices) vericando
1.2. CONCEPTO DE VARIEDAD DIFERENCIABLE. 7
1. U
i
iI
es un recubrimiento por abiertos de M.
2. Existe un entero n 1 tal que para todo i I,
i
es un homeomorsmo de U
i
sobre
un abierto de R
n
.
3. Si i, j I cumplen U
i
U
j
,= , entonces la aplicacion
j
1
i
:
i
(U
i
U
j
)
j
(U
i
U
j
)
es un difeomorsmo entre abiertos de R
n
.
4. La familia T es maximal, en el sentido de que T contiene a todos los pares (U, )
cumpliendo:
a) U es un abierto de M y un homeomorsmo sobre un abierto de R
n
.
b) Para todo i I tal que U U
i
,= ,
1
i
es un difeomorsmo.
Diremos que M (M, T) es una variedad diferenciable de dimension n. A cada par
(U, ) T se le llama entorno coordenado o carta de la variedad y a cada recubrimiento
(no necesariamente maximal) (U
i
,
i
)
iI
de M por cartas de T, atlas de M. Si a los
cambios de coordenadas, esto es a los difeomorsmos del punto 3 anterior, solo le exigimos
que sean difeomorsmos de clase C
k
(resp. analticos), a la estructura diferenciable se le
llama de clase C
k
(resp. analtica). Como el cambio de cartas es un difeomorsmo entre
abiertos del eucldeo, el teorema de la funcion inversa nos dice que la dimension de una
variedad esta bien denida (no depende de la carta ni del atlas diferenciable
1
).
Nota 1.2.1 No hemos impuesto a nuestras variedades condiciones topologicas naturales,
como ser Hausdor. La razon es que esto crea algunos problemas con cocientes (por ejem-
plo, en la Proposicion 1.3.3). De todas formas, a partir de cierto momento supondremos
que todas las variedades que consideremos seran Hausdor y ANII (al probar la existencia
de particiones de la unidad).
Las siguientes armaciones son faciles de probar:
Lema 1.2.1
(i) Sea M un espacio topologico y / = (U
i
,
i
)
iI
un atlas sobre M. Entonces, existe
una unica estructura de variedad diferenciable sobre M que contiene al atlas /.
Representaremos a dicha estructura diferenciable por T(/) (estructura diferenciable
generada por /).
1
Aqu usamos que las variedades son de clase C
r
, r 1. Si estudiamos variedades C
0
(topologicas),
no podremos hacer uso del teorema de la funcion inversa, sino del teorema de invarianza del dominio de
Brouwer, para concluir que la dimension de una variedad de clase C
0
est a bien denida.
8 CAP
i
= (x
1
, . . . , x
n+1
) S
n
[ x
i
< 0.
Claramente, U
+
i
, U
i
son abiertos de S
n
y S
n
=
n+1
i=1
(U
+
i
U
i
). Si D
n
R
n
es el disco
abierto centrado en el origen y de radio 1, consideramos las aplicaciones
i
: U
i
D
n
,
i
(x
1
, . . . , x
n+1
) = (x
1
, . . . , x
i
, . . . x
n+1
),
donde x
i
signica que omitimos esa coordenada.
i
es claramente continua, con inversa
(
i
)
(y
1
, . . . , y
n
) =
_
_
y
1
, . . . , y
i1
,
_
1
n
i=1
y
2
i
, y
i
, . . . , y
n
_
_
, (y
1
, . . . , y
n
) D
n
.
Como (
i
)
i
es un homeomorsmo. Es facil com-
probar que el cambio de cartas es diferenciable, y por tanto / = (U
i
,
pm
i
)
n+1
i=1
es un
atlas diferenciable sobre S
n
, que genera la estructura diferenciable estandar sobre esta. En
el ejercicio 17 se dene otro atlas diferenciable sobre S
n
que genera la misma estructura
diferenciable, esta vez basado en proyecciones estereogracas.
1.2. CONCEPTO DE VARIEDAD DIFERENCIABLE. 9
Ejemplo 1.2.2 Variedades producto.
Sean M
n
, N
m
variedades diferenciables. Si /
M
, /
N
son atlas diferenciables sobre M, N,
entonces podemos construir un atlas diferenciable sobre M N mediante las cartas pro-
ducto: Dadas (U, ) /
M
, (V, ) /
N
, consideramos el homeomorsmo (tomamos en
M N la topologa producto)
: U V (U) (V ) R
n+m
.
Los cambios de cartas son diferenciables, y / = (UV, ) [ (U, ) /
M
, (V, ) /
N
i
((x
1
, . . . , x
n+1
)) =
_
x
1
x
i
, . . . ,
x
i1
x
i
,
x
i+1
x
i
, . . . ,
x
n+1
x
i
_
.
Entonces, (V
i
,
i
)
1in+1
dene un atlas sobre RP
n
que lo convierte en una variedad
diferenciable de dimension n.
Si i : S
n
R
n+1
0 representa la inclusion y : S
n
RP
n
es la aplicacion dada
por = i, entonces (S
n
) = RP
n
. En particular, RP
n
es una variedad compacta. Mas
adelante veremos como describir RP
n
a partir de S
n
, mediante la accion del grupo Z/2Z.
Ejemplo 1.2.4 Espacio proyectivo complejo.
El espacio proyectivo complejo CP
n
se dene de forma analoga al caso real, tomando en
C
n+1
0 = R
2n+2
0 la relacion de equivalencia
zRz
t
C 0 tal que z
t
= z.
10 CAP
i
((z
1
, . . . , z
n+1
)) =
_
z
1
z
i
, . . . ,
z
i1
z
i
,
z
i+1
z
i
, . . . ,
z
n+1
z
i
_
dene un atlas (V
i
,
i
)
1in+1
sobre CP
n
, que lo convierte en una variedad diferenciable
de dimension 2n. Los cambios de carta no son solo difeormorsmos de clase C
, sino
difeomorsmos analticos (holomorfos) en el sentido de la variable compleja, lo que hace que
CP
n
tenga una estructura de variedad compleja de dimension n, aunque no estudiaremos
variedades complejas en este curso.
1.3. Aplicaciones diferenciables. Difeomorsmos.
Denicion 1.3.1 Sean M
n
y N
m
dos variedades diferenciables y p M. Una aplicacion
F : M N se dice diferenciable en p si para cualquier carta (V, ) de N con F(p) V ,
existe una carta (U, ) de M con p U tal que F(U) V y
F
1
: (U) (V ),
es diferenciable en (p) como aplicacion entre abiertos de R
n
y R
m
. F se dice diferenciable
en M si es diferenciable en todo punto de M. Al conjunto de aplicaciones diferenciables
de M en N lo representaremos por C
(M, N) (simplicaremos C
(M, R) por C
(M)).
Nota 1.3.1
(i) La denicion anterior no depende de las cartas alrededor de p y F(p), porque el cambio
de cartas es diferenciable como aplicacion entre abiertos del espacio eucldeo. De
hecho, podemos cambiar (V, ) . . . (U, ) por (V, ), (U, ) . . . o bien por
(V, ), (U, ) . . . con los cambios obvios.
(ii) No hemos impuesto que F sea, a priori, continua. Sin embargo, es facil ver que si
F : M N es diferenciable, entonces F es continua (ejercicio).
(iii) Si M o N son abiertos de R
n
o R
m
entonces, para cualquier punto p M, las cartas
pueden ser tomadas as: (U, ) = (R
n
, 1
R
n) o (V, ) = (R
m
, 1
R
m). En particular,
cuando M y N son abiertos de R
n
y R
m
, el nuevo concepto de diferenciablidad
coincide con el del Analisis.
1.3. APLICACIONES DIFERENCIABLES. DIFEOMORFISMOS. 11
Denicion 1.3.2 Un difeomorsmo entre dos variedades diferenciables M y N es una
aplicacion biyectiva F : M N tal que F y F
1
son aplicaciones diferenciables. En tal
caso, M, N se dicen variedades difeomorfas. Claramente, las dimensiones de dos variedades
difeomorfas coinciden. Un difeomorsmo local es una aplicacion diferenciable F : M N
tal que p M, existen entornos abiertos U de p en M y V de F(p) en N tales que
F[
U
: U V es un difeomorsmo.
Dos ejemplos: Si (U, ) es una carta de una variedad diferenciable M, entonces es
un difeomorsmo de U en (U), ambos con la estructura diferenciable inducida como
abiertos de M y R
n
, respectivamente. Por otro lado, las variedades (R, T((R, 1
R
)) y
(R, T((R, t
3
)) son difeomorfas, aunque ambas estructuras diferenciables son distintas.
En Geometra Diferencial, identicamos variedades diferenciables que sean difeomorfas,
as que los dos ejemplos anteriores de estructuras diferenciables sobre R son consideradas
identicas desde este punto de vista.
Otro problema, mucho mas complejo, es determinar cuantas estructuras diferenciables
distintas (no difeomorfas) admite una variedad topologica dada, si es que admite alguna.
A nivel informativo:
Toda variedad C
k
admite una unica estructura diferenciable (C
) que es compat-
ible con la estructura C
k
, en el sentido de que los cambios de cartas entre ambas
estructuras son difeomorsmos de clase C
k
(Whitney).
Existen variedades topologicas (C
0
) que no admiten ninguna estructura diferenciable
(Donaldson).
Cada variedad topologica M
n
con dimM 3 admite una unica estructura diferen-
ciable (salvo difeomorsmos).
Cada variedad diferenciable compacta M
n
con dimM 5 admite una cantidad
nita de estructuras diferenciables (salvo difeomorsmos).
Para cada n N, n ,= 4, R
n
admite una unica estructura diferenciable (salvo difeo-
morsmos).
R
4
admite una cantidad innita no numerable de estructuras diferenciables.
Una esfera exotica es una variedad diferenciable M
n
homemorfa a S
n
pero no difeo-
morfa a S
n
. La tabla siguiente muestra la cantidad de estructuras diferenciables en
una esfera (salvo difeomorsmos) para dimensiones bajas:
dimM 1 2 3 4 5 6 7 8 9 10 11 12 13 . . .
#estr. dif. 1 1 1 ? 1 1 28 2 8 6 992 1 3
12 CAP
_
F
1
_
=
_
1
i
1
_
_
F
1
_
=
1
_
(i F)
1
,
que es diferenciable por ser composicion de aplicaciones diferenciables. 2
Lema 1.3.1 Sea M
n
R
k
una subvariedad, y p M. Entonces, existen cartas (U, )
para M y (V, ) para R
k
tales que p U, (p) = 0 R
n
, i(p) V , (i(p)) = 0 R
k
,
U V y
_
i
[
_
(x
1
, . . . , x
n
) = (x
1
, . . . , x
n
, 0, . . . , 0).
Demostracion. Tomemos una carta (
U,
) para M alrededor de p, del tipo inversa de
una parametrizacion, i.e. existe una parametrizacion X :
(
U) R
k
de M alrededor de
p, tal que
es la inversa del homeomorsmo obtenido restringiendo X a su imagen. No
perdemos generalidad suponiendo 0
(
U) y X(0) = p.
Por denicion de parametrizacion, la diferencial dX
0
: R
n
R
k
es inyectiva. Pode-
mos suponer, tras posiblemente una permutacion de las componentes de X (que es un
difeomorsmo de R
k
y por tanto una carta de este) que la matriz Jacobiana dX
0
es del
tipo
dX
0
=
_
A
nn
B
(kn)n
_
con A regular. Consideremos la aplicacion diferenciable H :
(
U) R
kn
R
k
dada por
H(x, y) = X(x)+(0, y), donde x
(
U), y R
kn
. As, H(0, 0) = p y la matriz Jacobiana
de H en (0, 0) es
dH
(0,0)
=
_
A
nn
0
B I
kn
_
,
que es una matriz regular. Por el Teorema de la Funcion Inversa, existen abiertos
O
(
U)
y W R
kn
,ambos conteniendo a los respectivos orgenes, tales que
H[
OW
:
O W H(
O W)
14 CAP
O W) es un abierto de R
k
que contiene a p. Finalmente,
denimos la cartas (U, ) de M y (V, ) de R
k
mediante
U =
1
(
O)
U, =
[
U
, V = H(
O W) R
k
, = (H[
OW
)
1
.
Notese que la inclusion U V se traduce en
1
(
O) H(
1
(
O), tenemos q = X(
(q)) luego q = H(
(q), 0) H(
O W). Solo
queda comprobar que ( i
1
)(x) = (x, 0), donde x = (x
1
, . . . , x
n
)
O. Pero
( i
1
)(x) =
_
(H[
OW
)
1
i
_
[
U
_
1
_
(x) =
_
(H[
OW
)
1
X
_
(x),
luego la igualdad que queremos se deduce de que X(x) = (H[
OW
)(x, 0). 2
A continuacion tenemos ejemplos de aplicaciones diferenciables. La demostracion de
la diferenciabilidad se deja como ejercicio.
Ejemplo 1.3.1
(i) Dado q S
n
(1), la funcion altura f
q
: S
n
(1) R dada por f
q
(p) = p, q), es diferen-
ciable.
(ii) La proyeccion canonica : R
n+1
0 RP
n
es diferenciable, y una aplicacion
F : RP
n
M es diferenciable si y solo si F : R
n+1
0 M es diferenciable.
Una forma sencilla de producir gran cantidad de variedades diferenciables es como
cocientes de otras variedades mediante acciones de grupos con ciertas condiciones, como
veremos a continuacion.
Denicion 1.3.3 Sea M
n
una variedad diferenciable y G un grupo algebraico. Una accion
es una aplicacion : GM M tal que g, g
1
, g
2
G, p M,
1. e p = p,
2. g
1
(g
2
p) = (g
1
g
2
) p.
Dado g G, se dene
g
: M M por
g
(p) = g p. Entonces,
g
es una biyeccion, con
inversa
g
1.
La accion se dice diferenciable cuando g G,
g
es un difeomorsmo de M en s mis-
ma (equivalentemente, cuando
g
es diferenciable g G). Ademas, se dice propiamente
discontinua cuando p M, U M abierto conteniendo a p tal que U
g
(U) =
g G e.
1.3. APLICACIONES DIFERENCIABLES. DIFEOMORFISMOS. 15
Toda accion sobre M dene una relacion de equivalencia sobre M:
p
G
q g G [ g p = q.
Llamemos : M M/G = M/
G
a la proyeccion canonica de M en su cociente. es
continua si en M/G consideramos la topologa cociente, y abierta (porque
1
((O)) =
gG
g
(O), O M).
Proposicion 1.3.3 Si : G M M es una accion diferenciable y propiamente dis-
continua de un grupo algebraico G sobre una variedad diferenciable M, entonces existe
una unica estructura diferenciable T sobre M/G que convierte a en difeomorsmo local.
Ademas, la topologa subyacente a T es la topologa cociente.
Demostracion. Existencia.
Consideremos en M/G la topologa cociente T /G de la topologa T de M. Dado p M,
sea U un abierto de M conteniendo a p dado por la discontinuidad de la accion . Entonces,
[
U
: U (U) es un homeomorsmo (es continua, sobreyectiva, inyectiva y abierta).
Ahora podemos denir las cartas de M/G como la composicion de [
U
con cartas de M
cuyo abierto coordenado este contenido en U. Variando U y aplicando este procedimiento,
se obtiene un atlas diferenciable sobre M/G, que genera una estructura diferenciable T
que hace a difeomorsmo local (ejercicio).
Unicidad.
Si M/G admite una estructura diferenciable T
t
que hace de un difeomorsmo local y lla-
mamos T
t
a la topologa subyacente a T
t
, entonces : (M, T ) (M/G, T
t
) es continua,
sobreyectiva y abierta, luego identicacion. Por tanto, T
t
= T /G. Ahora consideramos las
aplicaciones M
(M/G, T)
1
M/G
(M/G, T
t
), cuya composicion es . Como las dos son
difeomorsmos locales, conclumos que 1
M/G
es diferenciable de (M/G, T) en (M/G, T
t
).
El recproco es igual, con lo que T = T
t
. 2
Podramos haber denido variedad diferenciable a nadiendo a la denicion 1.2.1 la
condicion de que el espacio topol ogico subyacente sea Hausdor (todos los ejemplos pre-
sentados hasta ahora lo son, y tambien los que veremos en este curso). Sin embargo, a nadir
T
2
a la denicion de variedad exige que se a nada tambien una condicion adicional a la
Proposicion 1.3.3 para que siga siendo cierta: necesitamos que dados p, q M que no se
relacionen mediante G, existan U
p
, U
q
M abiertos conteniendo a p, q respectivamente,
tales que U
p
g
(U
q
) = para todo g G (de hecho, esta ultima propiedad caracteriza
cuando M/G es Hausdor). En esta lnea, debemos recordar las siguientes observaciones
topologicas sobre separacion del cociente (X/ , T / ) de un espacio topologico (X, T )
por una relacion de equivalencia:
Si la proyeccion canonica : X X/ es abierta y R = (x, y) X X [ x y
es cerrado (en la topolga producto), entonces X/ es Hausdor.
16 CAP
gG
g
(F), que es union de cerrados. Esto nos dice que si G es nito, entonces es
cerrada y por tanto, M/G es Hausdor. Sin embargo, este metodo no puede usarse en el
Ejemplo 1.3.3, donde G es isomorfo a Z
n
(en ese caso es facil probar directamente que
R = (x, y) R
n
R
n
[ x y es cerrado de R
2n
, y por tanto el cociente T
n
es Hausdor).
Ejemplo 1.3.2 Espacio Proyectivo Real (modelo de S
n
)
Si A es la aplicacion antpoda sobre S
n
(1), entonces el grupo G = 1
S
n
(1)
, A act ua difer-
enciable, propia y discontinuamente sobre S
n
(1), luego existe una unica estructura difer-
enciable sobre S
n
(1)/G = RP
n
que convierte a en difeomorsmo local. En particular,
una aplicacion F : RP
n
M es diferenciable si y solo si F : S
n
M es diferenciable
(siendo M cualquier variedad diferenciable).
Ejemplo 1.3.3 Toros n-dimensionales.
Dada una base B = v
1
, . . . , v
n
de R
n
, el grupo de traslaciones G = T
v
[ v Zv
1
. . .
Zv
n
act ua diferenciable, propia y discontinuamente sobre R
n
, donde T
v
es la traslacion
de vector v. El cociente R
n
/G = T
n
B
es un toro n-dimensional, difeomorfo a S
1
n)
. . . S
1
.
Ejemplo 1.3.4 Botella de Klein.
Se considera la grupo G generado por los movimientos rgidos del plano
1
(x, y) = (x + 1, y),
2
(x, y) = (1 x, y 1).
G act ua de forma natural sobre R
2
, de forma diferenciable, propia y discontinua. La
actuacion de G sobre el cuadrado unidad [0, 1]
2
se representa mediante la gura de arriba.
El cociente R
2
/G es la botella de Klein BK. La proyeccion natural : R
2
BK es un
difeomorsmo local, y una aplicacion F : BK M
n
valuada en una variedad diferenciable
M es diferenciable si y solo si F : R
2
M es diferenciable.
1.3. APLICACIONES DIFERENCIABLES. DIFEOMORFISMOS. 17
A continuacion probaremos la existencia de funciones meseta y particiones de la unidad
en cualquier variedad con ciertas hipotesis topologicas. Las funciones meseta permiten
construir particiones de la unidad, que a su vez trasladan conceptos y cuestiones locales
a otras globales (por ejemplo, en la Seccion 1.4 podremos tratar indistintamente vectores
tangentes en un punto p a una variedad como derivaciones sobre funciones globalmente
denidas o como germenes de funciones alrededor de p).
Lema 1.3.2 (Existencia de funciones diferenciables no constantes)
Sea M
n
una variedad diferenciable, U M un abierto y p un punto de U. Entonces,
existe una funcion diferenciable f : M R vericando:
1. f = 1 sobre un entorno abierto relativamente compacto V de p con V U.
2. soporte(f) = p M [ f(p) ,= 0 es un compacto contenido en U y f 0 en M.
A una tal funcion f la llamaremos funcion meseta.
Demostracion. Empezaremos produciendo una funcion similar a la que buscamos, pero
denida sobre R. Denimos u : R R mediante u(t) =
_
e
1/t
si t > 0
0 si t 0
u es de clase C
2
_
si q U,
0 si q / U,
donde h es la funcion meseta en R que acabamos de construir. Entonces, f es C
en M
(la diferenciabilidad de f en U se deduce de la de h, y M
1
(B(0, 2)) es un abierto que
contiene a MU, donde f es identicamente cero). Ademas, V =
1
(B(0, )) es compacto
por ser imagen continua de un compacto, y esta contenido en U. Es facil comprobar que
f = 1 en V y que q M [ f(q) ,= 0
1
(B(0, 2)), luego tomando clausuras deducimos
que soporte(f) es un compacto contenido en U. 2
Denicion 1.3.4 Un espacio topologico cumple el segundo axioma de numerabilidad
(ANII) si admite una base numerable de topologa.
Por ejemplo, R
n
con la topologa usual es ANII. Si X es un espacio topologico y A X es
un subconjunto suyo, entonces A es ANII con la topologa inducida . Ser ANII tambien se
hereda a los productos cartesianos, y la imagen por una aplicacion continua, sobreyectiva
y abierta de un espacio topologico ANII sigue siendo ANII. A partir de estas propiedades,
es facil comprobar que todos los ejemplos de variedades vistas hasta ahora son ANII. De
ahora en adelante, supondremos que todas nuestras variedades diferenciables son ANII y
Hausdor.
Denicion 1.3.5 Sea M una variedad diferenciable y U
un recubrimiento por
abiertos de M. Una particion de la unidad subordinada a U
iN
C
iN
es localmente nita).
3.
n=1
i
= 1 (la serie tiene sentido por 2).
4. i N, = (i) tal que soporte(
i
) U
(i)
.
1.3. APLICACIONES DIFERENCIABLES. DIFEOMORFISMOS. 19
Nuestro siguiente objetivo es probar que toda variedad diferenciable (ANII) admite una
particion de la unidad subordinada a cualquier recubrimiento por abiertos prescrito. Em-
pezaremos con un resultado topol ogico.
Lema 1.3.3 Sea X un espacio topologico conexo, localmente compacto
2
, T
2
y ANII. En-
tonces, existe una sucesion G
i
iN
de abiertos de X cumpliendo las siguientes propiedades:
1.
i=1
G
i
= M.
2. G
i
es compacto y G
i
G
i+1
para todo i N.
Demostracion. Primero veamos que existe una base de topologa U
i
iN
tal que U
i
es
compacto i N. En efecto, por ser X ANII admite una base numerable de topologa
B = B
i
iN
. Veamos que B
t
:= B
i
B [ B
i
es compacto es una base de topologa y
tendremos este primer paso probado. Dado p X y dado O X abierto de X con p O,
basta comprobar que existe B
i
B
t
tal que p B
i
O. Por ser X localmente compacto,
existe un entorno compacto V de p tal que p V O. Como B es base de topologa,
existe B
i
B tal que p B
i
V . Tomando adherencias y usando que V = V (porque un
compacto en un espacio T
2
es siempre cerrado), deducimos que B
i
B
t
, como queramos.
En segundo lugar, denimos G
1
= U
1
(no vaco
3
, abierto y con cierre compacto).
Como U
i
iN
es un recubrimiento por abiertos del compacto G
1
, podemos extraer un
subrrecubrimiento nito. En particular, existe un menor n umero natural j
1
tal que
G
1
U
1
. . . U
j
1
:= G
2
.
Entonces G
2
=
j
1
i=1
U
i
, que es compacto por ser union nita de compactos. Cambiando G
1
por G
2
en el razonamiento anterior, existe un menor n umero natural j
2
(podemos suponer
j
2
j
1
) tal que
G
2
U
1
. . . U
j
2
:= G
3
.
Reiterando el proceso denimos una sucesion de n umeros naturales j
k
y abiertos G
k
X
tales que j
k
es el menor n umero natural cumpliendo G
k
U
1
. . . U
j
k
y G
k+1
:=
U
1
. . . U
j
k
. Es claro que G
k
kN
cumple al punto 2 del enunciado. Queda comprobar
que el punto 1 tambien se cumple. Notemos que la sucesion j
k
k
N es no decreciente, y
lo mismo le pasa a G
k
k
(respecto a la inclusion). Razonando por reduccion al absurdo,
como los U
i
recubren a X, si suponemos
kN
G
k
,= X entonces la sucesion j
k
k
es
constante a partir de un natural k. Por tanto, G
k
G
k+1
= G
k
luego G
k
es abierto y
cerrado de X, pero G
k
,= X. Como G
k
es no vaco, contradecimos que X es conexo. 2
2
Es decir, cada punto de X admite una base de entornos compactos.
3
No perdemos generalidad suponiendo que U1 es no vaco.
20 CAP
iN
subordinada al recubrimiento U
.
Demostracion. Supongamos que el teorema es cierto cuando M es conexa (este caso par-
ticular lo probaremos despues), y veamos el caso general. Primero notemos que como M
es ANII, entonces M tiene una cantidad numerable de componentes conexas (ejercicio 12),
a las que llamamos C
j
, j A N. Si U
C
j
i,j
iN
subordinada al recubrimiento U
C
j
. Entonces,
i,j
[ i N, j A es
una particion de la unidad de M subordinada al recubrimiento U
, lo que prueba el
Teorema en el caso general, suponiendolo cierto en el caso conexo.
Ahora supondremos que M es conexa y probaremos el Teorema: Tomemos la familia
G
i
iN
del Lema 1.3.3. Denimos G
0
= , K
0
= G
1
, K
i
= G
i+1
G
i
, i 1. As, K
i
es
compacto, K
i
G
i+2
G
i1
i, y
iN
K
i
= M.
Dado p K
i
existe (p) tal que p U
(p)
(porque U
un recubrimiento
por abiertos de M). En particular p K
i
U
(p)
(G
i+2
G
i1
) U
(p)
. Aplicando al
punto p y al abierto (G
i+2
G
i1
) U
(p)
el Lema 1.3.2, existen f
p
C
(M) y V
p
M
abierto relativamente compacto tales que p V
p
, V
p
(G
i+2
G
i1
) U
(p)
, f
p
= 1 en
V
p
, f
p
0 en M, y soporte(f
p
) es un compacto contenido en (G
i+2
G
i1
) U
(p)
. Por
tanto, V
p
pK
i
es un recubrimiento por abiertos del compacto K
i
, luego podemos ex-
1.3. APLICACIONES DIFERENCIABLES. DIFEOMORFISMOS. 21
traer un subrrecubrimiento nito. Haciendo esto K
i
obtendremos una sucesion de puntos
p
j
jN
M, abiertos V
p
j
M y funciones f
p
j
C
(concretamente, en U
(p
j
)
) y
en alg un G
i+2
G
i1
.
f
p
j
= 1 en V
p
j
, f
p
j
0 en M.
Cada abierto G
k
solo puede cortar a una cantidad nita de soportes de las f
p
j
(como
cada f
p
j
tiene soporte contenido en alguna franja G
i+2
G
i1
, G
k
solo podra cortar
a aquellos soportes de f
p
j
que esten contenidos en una franja que corte a G
k
; pero
franjas de estas solo hay una cantidad nita (k es jo), y cada franja solo corta
a una cantidad nita de soportes de las f(p
j
)).
Consideremos ahora la serie
jN
f
p
j
. Dado x M, existe k N tal que x G
k
. Como G
k
solo corta a una cantidad nita de soportes de las f
p
j
, conclumos que (
j
f
p
j
)(x) es nita y
que
_
j
f
p
j
_
[
G
k
C
(G
k
). Como esto es cierto x M, tenemos que
j
f
p
j
C
(M).
Ademas, dado x M existe i N tal que x K
i
, y por tanto x esta en alg un V
p
j
0
de los
que recubren a K
i
. As, (
j
f
p
j
)(x) f
p
j
0
(x) > 0.
Dado i N, denimos
i
: M R por
i
=
f
p
i
jN
f
p
j
C
(M).
Entonces, 0
i
1 en M, soporte(
i
) =soporte(f
p
i
) es compacto y
iN
i
= 1 en M.
Ademas,
i
i
es una familia localmente nita (porque dado x M, existe k N tal que
x G
k
y G
k
es un abierto que solo corta a una cantidad nita de soportes de las
i
). Por
ultimo, soporte(
i
) = soporte(f
p
i
) U
(p
i
)
, con lo que hemos probado el teorema cuando
M es conexa. 2
Recordemos el siguiente resultado topologico:
Lema 1.3.4 (Urysohn) Un espacio topologico X es normal
4
si y solo si para todo par
de cerrados disjuntos F
1
, F
2
X, existe f : X [0, 1] continua tal que f = 0 en F
1
y
f = 1 en F
2
.
Veamos la version diferenciable del Lema de Urysohn:
Corolario 1.3.1 Sean F y O un cerrado y un abierto de una variedad diferenciable M
con F O. Entonces, existe f C
iN
subordinada a dicho recubrimiento. En-
tonces, la funcion f =
iA
i
donde A = i N [ soporte(
i
) , M F es una funcion
diferenciable en M (porque la suma es localmente nita) que cumple las condiciones pe-
didas. 2
Corolario 1.3.2 Sea M una variedad diferenciable, U un abierto de M y K un compacto
de M con K U. Entonces, existe f C
(M), existe
f C
(R
k
) tal que
f[
M
= f.
Demostracion. En primer lugar veamos que dado p M, existe W
p
abierto de R
k
con
p W
p
y existe f
p
C
(W
p
) tal que f
p
[
WpM
= f[
WpM
: En efecto, aplicando el
Lema 1.3.1 en p M, existe una carta (W
p
, = (y
1
, . . . , y
k
)) de R
k
tal que
M W
p
= (y
1
, . . . , y
k
) V [ y
n+1
= . . . = y
k
= 0.
Ahora denimos f
p
C
(W
p
) por f
p
(y
1
, . . . , y
n
, y
n+1
, . . . , y
k
) = f(y
1
, . . . , y
n
, 0, . . . , 0) (o
sea, extendemos f como constante a lo largo de las direcciones y
n+1
, . . . , y
k
), y tenemos
la funcion deseada.
El segundo paso en la demostracion consiste en pegar todas las extensiones locales
f
p
anteriores para conseguir una extension global
f de f. Consideremos el recubrimiento
de R
k
por abiertos W
p
pM
R
k
M (aqu usamos que M es cerrada en R
k
). Por el
Teorema 1.3.1, existe una particion de la unidad
i
iN
C
(R
k
) subordinada a dicho
recubrimiento. Sea
A = i N [ soporte(
i
) M ,= .
Dado i A existe p(i) M tal que soporte(
i
) W
p(i)
. Denimos g
p(i)
: R
k
R
mediante
g
p(i)
(x) =
_
f
p(i)
(x)
i
(x) si x W
p(i)
,
0 si x R
k
W
p(i)
.
1.4. ESPACIO TANGENTE. DIFERENCIAL DE UNA APLICACI
ON. 23
As g
p(i)
C
(R
k
). Ademas, la familia g
p(i)
iA
es localmente nita, luego la serie
f :=
iA
g
p(i)
dene una funcion en C
(R
k
). Solo queda probar que
f[
M
= f. Dado
x M,
f(x) =
iA
g
p(i)
(x) =
iA
xW
p(i)
g
p(i)
(x) =
iA
xW
p(i)
f
p(i)
(x)
i
(x)
(xM)
=
iA
xW
p(i)
f(x)
i
(x)
= f(x)
iA
xW
p(i)
i
(x) = f(x)
_
iA
xW
p(i)
i
(x) +
iA
x/ W
p(i)
i
(x) +
iNA
i
(x)
_
_
= f(x).
2
1.4. Espacio Tangente. Diferencial de una aplicaci on.
A diferencia de lo que ocurre en R
n
, las variedades diferenciables no tienen en general
una estructura de espacio vectorial. Esto impide que el concepto de diferencial del Analisis
pueda trasladarse dirctamente a una variedad abstracta M. Necesitaremos ver los vectores
de R
n
(en general, del espacio tangente a una variedad diferenciable) como un tipo de
operadores diferenciales, llamados derivaciones.
Sea M
n
una variedad diferenciable. Dadas f, g C
(M) = C
(M, R) y a, b R,
entonces deniendo af + bg, fg : M R por
(af +bg)(p) = af(p) +bg(p), (fg)(p) = f(p)g(p), p M,
es claro que af + bg, fg C
(M), y as C
(R
n
) R [ w es lineal y w(fg) = w(f)g(p) +f(p)w(g), f, g C
(R
n
) .
Entonces, 1
p
es un espacio vectorial real, y la aplicacion : R
n
1
p
dada por
v R
n
[(v)](f) =
d
dt
0
f(p +tv), f C
(R
n
), (1.3)
es un isomorsmo de espacios vectoriales.
24 CAP
(R
n
) R mediante (aw
1
+bw
2
)(f) = aw
1
(f)+
bw
2
(f), es un ejercicio sencillo comprobar que 1
p
se convierte en un espacio vectorial real.
Si v R
n
, la aplicacion (v) denida en (1.3) es lineal en f (por la linealidad de la derivada
respecto a t) y cumple [(v)](fg) = [(v)](f)g(p) + f(p)[(v)]w(g) f, g C
(R
n
) (por
la regla del producto para la derivada respecto a t). Por tanto, (v) es una derivacion, y
es una aplicacion valuada en 1
p
. La linealidad de es consecuencia de la regla de la
cadena para funciones reales de una variable real. es inyectiva, ya que si v R
n
0
entonces i = 1, . . . , n tal que v
i
,= 0. Entonces, tomando f = x
i
C
(R
n
) (i-esima
proyeccion de R
n
en R), tenemos [(v)](f) =
d
dt
0
x
i
(p +tv) = v
i
,= 0. Por ultimo, veamos
la sobreyectividad de :
Dada w 1
p
, denimos v = (w(x
1
), . . . , w(x
n
)) R
n
. Si vemos que (v) = w habre-
mos terminado. Para ello, tomemos f C
(R
n
) y probemos que [(v)](f) = w(f).
Desarrollando f en serie alrededor de p tenemos
f(x) = f(p) +
n
i=1
(x
i
p
i
)f
i
(x),
donde f
i
es cierta funcion diferenciable en un entorno de p. Por la linealidad de (v) y de
w, y por la regla del producto, basta probar que se cumplen
_
[(v)](f(p)) = w(f(p)),
[(v)](x
i
p
i
) = w(x
i
p
i
).
(1.4)
La primera igualdad de (1.4) estara probada si vemos que w(c) = 0 para toda funcion
constante c. Esto ultimo es consecuencia de lo siguiente: por ser w lineal, dada g C
(R
n
)
tenemos c w(g) = w(c g) = w(c) g(p)+c w(g) luego w(c) g(p) = 0, g C
(R
n
). Tomando
ahora g tal que g(p) ,= 0, tendremos w(c) = 0.
En cuanto a la segunda igualdad de (1.4):
[(v)](x
i
p
i
) = [(v)](x
i
) [(v)](p
i
) = [(v)](x
i
) =
d
dt
0
x
i
(p +tv)
=
d
dt
0
(p
i
+ tv
i
) = v
i
= w(x
i
) = w(x
i
) w(p
i
) = w(x
i
p
i
).
2
Generalizamos lo anterior a variedades diferenciables.
Denicion 1.4.1 Sea p un punto en una variedad diferenciable M
n
. Un vector tangente
a M en p es una funcion v : C
(M) R satisfaciendo
1. (Linealidad) v(a f +b g) = a v(f) +b v(g), y
1.4. ESPACIO TANGENTE. DIFERENCIAL DE UNA APLICACI
ON. 25
2. (Regla del producto) v(f g) = v(f) g(p) + f(p) v(g),
para todo f, g C
(M) y a, b R.
Razonando como en la demostracion de la Proposicion 1.4.1 deducimos que si v es un
vector tangente a M en p, entonces v(c) = 0 para toda funcion constante c sobre M.
Lema 1.4.1
(i) Si v es un vector tangente a M en p y f, g C
(M), entonces f[
U
C
(U). Dado
un punto p M, representaremos por C
(p)
es la misma que la de C
(p) y a, b R con f
denida en un entorno abierto U
1
de p y g denida en un entorno abierto U
2
de p, entonces
af +bg y fg estan denidas en U
1
U
2
.
Es claro que C
(M) C
(p) R
satisface las condiciones 1 y 2 de la Denicion 1.4.1, entonces v es un vector tangente a
M en p. El siguiente resultado nos dice que el recproco tambien es cierto.
Lema 1.4.2 v es un vector tangente a M en p si y solo si v es una funcion de C
(p) en
R vericando las propiedades 1 y 2 de la Denicion 1.4.1.
Demostracion. Supongamos que v : C
(M)
= v. Para ello, tomemos f C
(p)
26 CAP
f).
Esta denicion es independiente de
f por el apartado (i) del Lema 1.4.1. La independencia
de v(f) respecto de
f prueba que
v(f
1
f
2
) = v(
f
1
f
2
) = v(
f
1
f
2
) = v(
f
1
)
f
2
(p) +
f
1
(p)v(
f
2
) = v(f
1
)f
2
(p) +f
1
(p)v(f
2
),
y analogamente v es lineal. Por tanto, v es una derivacion lineal sobre C
(p). Tenemos
entonces una aplicacion
H : derivaciones en C
(M) derivaciones en C
(p), H(v) = v,
Claramente, v[
C
(M)
= v, lo que nos dice que H es inyectiva. Veamos que H es sobreyec-
tiva: Sea v : C
(M)
. Debemos probar que H(v) = v.
Para ello, tomemos f C
f) =
_
v[
C
(M)
_
(
f) = v(
f),
luego todo se reduce a probar que v(
(U)
y a las funciones f,
f[
U
. As, H es biyectiva. 2
Por tanto, podemos ver los vectores tangentes a una variedad M en un punto p como
operadores lineales vericando la regla del producto, denidos sobre C
(p).
Denicion 1.4.3 El espacio tangente a M en p, que se representara por T
p
M, se dene
como el conjunto de todos los vectores tangentes a M en p. T
p
M tiene una estructura
natural de espacio vectorial real sin mas que denir v +w y av por
(v + w)(f) = v(f) + v(g) (av)(f) = av(f),
para v, w T
p
M, a R y f C
(M) o f C
(p).
Nota 1.4.1 Sea O M un abierto de una variedad diferenciable M y p O un punto
de M. Entonces T
p
O es isomorfo a T
p
M de manera natural.
1.4. ESPACIO TANGENTE. DIFERENCIAL DE UNA APLICACI
ON. 27
Denicion 1.4.4 Sea : I M una aplicacion diferenciable de un intervalo abierto I
de R, a la que llamaremos curva diferenciable en M. Sea t
0
I y p = (t
0
). Denimos la
aplicacion
t
(t
0
) : C
(p) R por
t
(t
0
)(f) =
d
dt
t
0
(f )(t).
Entonces
t
(t
0
) es un vector tangente a M en (t
0
) = p, esto es
t
(t
0
) T
p
M, al que
llamamos el vector tangente o velocidad de en t
0
.
Lema 1.4.3 T
p
M coincide con el conjunto de vectores tangentes a curvas diferenciables
en M pasando por p.
Demostracion. Basta probar que todo vector tangente v T
p
M (es decir, v : C
(p)
R es una derivacion) es la velocidad de una curva diferenciable : (, ) M con
(0) = p. Tomemos una carta (U, = (x
1
, . . . , x
n
)) con p U y (p) = 0. La curva
(t) =
1
(tv(x
1
), . . . , tv(x
n
)) (denida alrededor de 0 R) es C
, cumple (0) = p y
[
t
(0)](x
i
) =
d
dt
0
(x
i
1
)(tv(x
1
), . . . , tv(x
n
)) = v(x
i
), i = 1, . . . , n.
Sea f C
(U)
tales que f[
U
= f(p) +
n
i=1
x
i
f
i
luego
[
t
(0)](f) = [
t
(0)]
_
f(p) +
n
i=1
x
i
f
i
_
=
n
i=1
[
t
(0)](x
i
)f
i
(p) +
n
i=1
x
i
(p)[
t
(0)](f
i
)
=
n
i=1
v(x
i
)f
i
(p).
Deshaciendo los pasos anteriores cambiendo
t
(0) por v, tendremos [
t
(0)](f) = v(f). 2
Armacion 1.4.1 Sea p un punto en una variedad diferenciable M y (U, = (x
1
, . . . , x
n
))
una carta de tal que p U, (p) = 0 R
n
y (U) es convexo. Entonces, dada f C
(U)
existen f
1
, . . . , f
n
C
i=1
x
i
f
i
.
28 CAP
0
(f
1
)(tx
1
(q), . . . , tx
n
(q)) dt.
Usando la regla de la cadena para f
1
C
i=1
x
i
(q)
_
1
0
(f
1
)
r
i
(tx
1
(q), . . . , tx
n
(q)) dt = f(p) +
n
i=1
x
i
(q)f
i
(q),
donde f
i
C
(p) R por
_
x
i
_
p
(f)
(notacion)
=
f
x
i
(p) :=
(f
1
)
r
i
(p)
,
siendo r
1
, . . . , r
n
las coordenadas en R
n
.
As,
_
x
i
_
p
es el vector tangente en t = 0 a la curva
i
(t) =
1
(r
0
1
, . . . , r
0
i
+ t, . . . , r
0
n
),
donde (r
0
1
, . . . , r
0
n
) = (p). En particular,
_
x
i
_
p
T
p
M. Conviene notar que
x
i
x
j
(p) =
ij
.
Teorema 1.4.1 Sea p un punto de una variedad diferenciable M
n
, y (U, = (x
1
, . . . , x
n
))
una carta de M con p U. Entonces,
_
x
i
_
p
[ i = 1, . . . , n es una base de T
p
M. Ademas
para cada vector v T
p
M, se tiene
v =
n
i=1
v(x
i
)
_
x
i
_
p
. (1.5)
En particular, T
p
M es un espacio vectorial real de dimension n.
1.4. ESPACIO TANGENTE. DIFERENCIAL DE UNA APLICACI
ON. 29
Demostracion. Dado v T
p
M, sea C
(p),
v(f) = [
t
(0)](f) =
d
dt
0
(f )(t) =
d
dt
0
(f
1
)[( )(t)].
Usando la regla de la cadena para aplicaciones de R
n
en R, lo anterior se escribe
n
i=1
(f
1
)
r
i
(p)
()
t
i
(0) =
n
i=1
_
x
i
_
p
(f)[
t
(0)](x
i
) =
n
i=1
_
[
t
(0)](x
i
)
_
x
i
_
p
_
(f).
Como lo anterior es valido f C
i=1
x
i
y
j
(p)
_
x
i
_
p
.
Demostracion. Ejercicio. 2
Denicion 1.4.6 Sea F C
(F(p)).
Es claro que dF
p
(v) T
F(p)
N y que dF
p
es una aplicacion lineal.
Proposicion 1.4.3
30 CAP
(M, N) y p M. Si v T
p
M es el vector tangente a una curva diferen-
ciable : (, ) M con (0) = p, entonces dF
p
(v) = (F )
t
(0).
(ii) Si F : M N es constante, entonces dF
p
= 0 p M.
(iii) d(1
M
)
p
= 1
TpM
, p M.
(iv) Regla de la cadena. Si F C
(M, N) y G C
0
_
=
t
(0).
(vii) Si F C
n
j=1
de T
p
M y B
2
=
_
y
i
_
F(p)
m
i=1
de
T
F(p)
N es
dF
p
_
_
x
j
_
p
_
=
n
i=1
(y
i
F)
x
j
(p)
_
y
i
_
F(p)
, j = 1 . . . , n.
As, la matriz M(dF
p
, B
1
, B
2
) es la matriz Jacobiana de F
1
en (p).
Demostracion. Ejercicio. 2
Ejemplo 1.4.2 En el caso particular f C
(M) = C
(espacio dual). A (T
p
M)
:= T
p
M se le llama el espacio cotangente de
M en p. As, df
p
T
p
M f C
ON. 31
Proposicion 1.4.4 Si M
n
R
k
una subvariedad e i : M R
k
la correspondiente in-
clusion, entonces di
p
: T
p
M T
p
R
k
es un monomorsmo para todo p M. Consideremos
la composicion
T
p
M
dip
T
p
R
k
R
k
donde es el isomorsmo de espacios vectoriales dado en (1.6). En adelante, se identi-
cara T
p
M con ( di
p
)(T
p
M) R
k
para todo p M.
Ademas, un vector v R
k
pertenece al subespacio vectorial ( di
p
)(T
p
M) s y solo
si v = (
t
1
(0), . . . ,
t
k
(0)), donde : (, ) M R
k
es una curva diferenciable con
(0) = p.
Demostracion. Para que di
p
sea un monomorsmo de espacios vectoriales, basta ver que
ker(di
p
) = 0. Si v T
p
M cumple di
p
(v) = 0, entonces v(f i) = 0 para toda funcion
diferenciable denida en un entorno de p en R
k
. Usando el Teorema de extension de
Tietze en su version diferenciable (Corolario 1.3.3
5
), toda funcion diferenciable denida
en un entorno de p en M es restriccion de una funcion denida en un entorno de p en R
k
,
con lo que v = 0 como vector de T
p
M.
Sea v R
k
. Si v ( di
p
)(T
p
M), entonces existe w T
p
M tal que
v = (di
p
(w)) = ([di
p
(w)](x
1
), . . . , [di
p
(w)](x
k
)) = (w(x
1
i), . . . , w(x
k
i)) .
Por otro lado, el Lema 1.4.3 implica que existe C
t
1
(0), . . . ,
t
k
(0)
_
.
Recprocamente, sea v = (
t
1
(0), . . . ,
t
k
(0)) R
k
con C
, p S
n
.
2. Si A O(n) (grupo ortogonal), entonces:
T
A
O(n) = AX [ X /
n
(R) antisimetrica.
5
En rigor, el Corolario 1.3.3 se enuncio para una subvariedad cerrada de R
k
. En esta aplicacion del
mismo no tenemos M cerrada, pero s olo nos interesa el comportamiento local de f alrededor de p. Podemos
entonces suponer que M B(p, ) es un cerrado de B(p, ) para cierto > 0 y rehacer la demostraci on del
Corolario 1.3.3 cambiando R
k
por B(p, ).
32 CAP
([p]). Por
otro lado, como v T
p
S
n
(1) entonces v =
n
i=1
v(x
i
)
_
x
i
_
p
donde (U, = (x
1
, . . . , x
n
))
es una carta para S
n
(1) alrededor de p. Si probamos que podemos elegir estas funciones
coordenadas x
i
de forma que
x
i
= f
i
2
para ciertas f
i
C
R
n+1
).
Desde luego, podemos hacer la identicacion anterior de T
[p]
RP
n
2
con T
p
S
n
(1) va d(
2
)
p
.
As, a cada w T
[p]
RP
n
2
le corresponden unicos v
1
T
p
S
n
(1), v
2
T
p
S
n
(1) tales que
d(
2
)
p
(v
1
) = w = d(
2
)
p
(v
2
). Pasando a diferenciales la igualdad
2
A =
2
donde
A : S
n
(1) S
n
(1) es la aplicaci on antpoda, concluiremos que v
2
= dA
p
(v
1
). Si ahora
identicamos v
1
, v
2
con vectores de p)
, podemos ver v
i
=
t
i
(0) R
n+1
para i = 1, 2,
donde
i
C
((, ), S
n
(1)),
1
(0) = p,
2
(0) = p. Entonces,
dA
p
(v
1
) = dA
p
(
t
1
(0)) =
d
dt
0
(A
1
)(t) =
d
dt
0
(
1
(t)) =
d
dt
1
(t) = v
1
,
luego v
2
= v
1
como vectores de p)
. En resumen:
Podemos identicar cada vector tangente en T
[p]
RP
n
2
como un par de vectores tangentes
a S
n
(1) en puntos antpodas, siendo estos vectores opuestos.
1.4. ESPACIO TANGENTE. DIFERENCIAL DE UNA APLICACI
ON. 33
Que tiene que ver w T
[p]
RP
n
2
como derivacion sobre C
([p]) con v = (d
2
)
1
p
(w)
T
p
S
n
(1) como derivacion sobre C
([p]) como v = (d
2
)
1
p
(w) T
p
S
n
(1) deriva a f vista desde la esfera, es decir, a
f
2
. Notese que podemos subir a S
n
(1) cada funcion de C
(RP
n
2
) h C
(S
n
(1)) [ h A = h, f f
2
,
es biyectiva.
Ahora hacemos lo analogo con RP
n
1
. Consideremos la aplicacion diferenciable
f : R
n+1
0 S
n
(1), f(x) =
x
|x|
.
f induce un difeomorsmo
f : RP
n
1
RP
n
2
tal que
f
1
=
2
f, donde
1
: R
n+1
0
RP
n
1
es la proyeccion canonica. Pasando a diferenciales en un punto x R
n+1
0 la
ultima igualdad y usando que d
1
(x)
, (d
2
)
f(x)
son isomorsmos de espacios vectoriales,
deducimos que ker(d
1
)
x
= ker(df
x
). Por otro lado, un calculo sencillo nos dice que dado
v T
x
(R
n+1
0) R
n+1
,
df
x
(v) =
v
|x|
x, v)
|x|
3
x.
Por tanto, ker(df
x
) Span(x). Contando dimensiones, tenemos dimker(df
x
) 1, luego
ker(df
x
) = Span(x). En particular, conclumos:
(df
x
)[
x)
: x)
T
f(x)
S
n
(1) es un isomorsmo de espacios vectoriales.
ker(d
1
)
x
= Span(x).
(d
1
)
x
[
x)
: x)
1
(x)
RP
n
1
es un isomorsmo de espacios vectoriales.
Podemos identicar T
x
RP
n
1
con x)
, siendo x R
n+1
0 cualquier elemento en
1
1
(x).
Tambien podemos preguntarnos que tiene que ver w T
x
RP
n
1
como derivacion sobre
C
(x) con v x)
con (d
1
)
x
(v) = w, como derivacion sobre C
(x). La respuesta es
que w deriva a cada funcion f C
(x) como v x)
deriva a f
1
. Notese que podemos
subir a R
n+1
0 cada funcion de C
(RP
n
1
) (y obtenemos una funcion invariante por
homotecias), pero el recproco no es cierto: la aplicacion h h
1
de C
(RP
n
1
) en
h C
(R
n+1
0) [
h(x) =
h(x), R 0, x R
n+1
0, es biyectiva.
34 CAP
(M
1
, N
1
), f
2
C
(M
2
, N
2
). Probar que f
1
f
2
: M
1
M
2
N
1
N
2
es diferenciable.
8. Sean a, r > 0 con a > r. Encontrar un difeomorsmo entre el toro de revolucion
T = (x, y, z) R
3
[ (
_
x
2
+y
2
a)
2
+z
2
= r
2
,
y la variedad producto S
1
(1) S
1
(1).
9. Probar que la aplicacion f : R
n+1
0 S
n
(1) dada por f(x) =
x
|x|
, induce un
difeomorsmo entre los modelos del espacio proyectivo como cociente de R
n+1
0
por coordenadas homogeneas y como cociente de S
n
(1) por la aplicacion antpoda.
10. Derivada de un determinante.
a) Sea A C
(]a, b[, /
n
(R)) una familia de matrices tal que t
0
]a, b[ con A(t
0
) =
I
n
. Probar que (det A)
t
(t
0
) = Traza(A
t
(t
0
)) (indicacion: usar la tensorialidad del
determinante sobre las columnas de A(t) para calcular (det A)
t
(t)).
36 CAP
p
M es
la diferencial en p de cierta funcion f C
(p).
15. Sea O un abierto no vaco de una variedad diferenciable M. Probar que dado p O, la
diferencial di
p
: T
p
O = T
p
M T
p
M es la identidad.
16. Sean M
n
, N
m
variedades diferenciables, y (p, q) M N.
a) Probar que la aplicacion
: T
(p,q)
(M N) T
p
M T
q
N, v
_
(d
1
)
(p,q)
(v), (d
2
)
(p,q)
(v)
_
,
es un isomorsmo de espacios vectoriales, donde
1
,
2
son las proyecciones de
M N sobre sus factores. Demostrar que su inversa viene dada por
1
(v
1
, v
2
) = (di
q
)
p
(v
1
) + (dj
p
)
q
(v
2
), (v
1
, v
2
) T
p
M T
q
N.
De esta forma, identicaremos T
(p,q)
(M N) con T
p
M T
q
N.
1.5. DIFEOMORFISMOS LOCALES. 37
b) Demostrar que a nivel de vectores tangentes a curvas, la identicacion anterior aso-
cia (
1
,
2
)
t
(0) con (
t
1
(0),
t
2
(0)), donde
1
,
2
son curvas diferenciables valuadas
en M y N, respectivamente.
c) Sea P una variedad diferenciable y F C
1
(v
1
, v
2
)
_
= (dF i
q
)
p
(v
1
) +(dF j
p
)
q
(v
2
), donde i
p
, j
q
son las inyecciones denidas en el ejercicio 6. Identicaremos
dF
(p,q)
(v) (dF i
q
)
p
(v
1
) + (dF j
p
)
q
(v
2
) si v (v
1
, v
2
).
e) Sean F
i
C
(M
i
, N
i
), i = 1, 2. Probar que
_
d(F
1
F
2
)
(p,q)
(
1
(v
1
, v
2
))
=
((dF
1
)
p
(v
1
), (dF
2
)
q
(v
2
)). Identicaremos
d(F
1
F
2
)
(p,q)
((dF
1
)
p
, (dF
2
)
q
) .
17. En la esfera unidad S
n
= S
n
(1) R
n+1
, se consideran los abiertos U
N
= S
n
p
N
,
U
S
= S
n
p
S
, donde p
N
, p
S
son los polos norte y sur, respectivamente. Se consideran
las proyecciones estereogracas
N
: U
N
R
n
,
N
(x
1
, . . . , x
n+1
) =
1
1 x
n+1
(x
1
, . . . , x
n
),
S
: U
S
R
n
,
N
(x
1
, . . . , x
n+1
) =
1
1 +x
n+1
(x
1
, . . . , x
n
).
Interpretar geometricamente
N
y
S
. Probar que las inversas de estas aplicaciones son
1
N
: R
n
U
N
,
1
S
: R
n
U
S
,
1
N
(y
1
, . . . , y
n
) =
1
1 + |y|
2
_
2y
1
, . . . , 2y
n
, |y|
2
1
_
,
1
S
(y
1
, . . . , y
n
) =
1
1 + |y|
2
_
2y
1
, . . . , 2y
n
, 1 |y|
2
_
,
y que (U
N
,
N
), (U
S
,
S
) es un atlas sobre la esfera.
18. Sea F : M N una aplicaci on diferenciable entre variedades, tal que dF
p
= 0 p M.
Probar que F es constante en cada componente conexa de M (suponemos que N es
Hausdor).
38 CAP
i=1
ix
2
i
,
induce una aplicacion diferenciable f : RP
n
R. Calcular los puntos crticos de f.
21. Sea F : S
2
(1) R
4
dada por F(x, y, z) = (x
2
y
2
, xy, xz, yz). Probar que existe
F C
(RP
2
, R
4
) tal que F = F, donde : S
2
(1) RP
2
es la proyeccion
canonica. Demostrar que dF
[p]
es inyectiva [p] RP
2
, y que F es un embebimiento
topologico de RP
2
en R
4
(esto es lo que se llama un embebimiento diferenciable, y a
su imagen se le llama una subvariedad de R
4
). Ver gracos en
http://www.ugr.es/ jperez/docencia/geotop/RP2 en R4.html
22. Probar que SO(2) es difeomorfo a S
1
(1) mediante la aplicacion F : S
1
(1) SO(2)
dada por F(a, b) =
_
a b
b a
_
.
23. Probar que la aplicacion F : S
3
(1) /
3
(R) dada por
F(x
1
, x
2
, x
3
, x
4
) =
_
_
2(x
2
1
+ x
2
2
) 1 2(x
1
x
4
+ x
2
x
3
) 2(x
2
x
4
x
1
x
3
)
2(x
2
x
3
x
1
x
4
) 2(x
2
1
+ x
2
3
) 1 2(x
1
x
2
+ x
3
x
4
)
2(x
1
x
3
+ x
2
x
4
) 2(x
3
x
4
x
1
x
2
) 2(x
2
1
+ x
2
4
) 1
_
_
esta valuada en SO(3), y que induce un difeomorsmo de RP
3
en SO(3).
24. El toro de Clifford.
Sea F : S
1
(1)S
1
(1) R
4
la aplicacion dada por F(x
1
, x
2
, x
3
, x
4
) =
1
2
(x
1
, x
2
, x
3
, x
4
).
(A) Probar que F(S
1
(1) S
1
(1)) S
3
(1) es diferenciable, con diferencial inyectiva
en cada punto, y que F : S
1
(1) S
1
(1) S
3
(1) es un embebimiento topologico
de S
1
(1) S
1
(1) en S
3
(1) (decimos que F es un embebimiento diferenciable, y
su imagen, una subvariedad de S
3
(1)). A F(S
1
(1) S
1
(1)) se la llama el toro de
Cliord.
1.5. DIFEOMORFISMOS LOCALES. 39
(B) Demostrar que la proyeccion estereograca del toro de Cliord en R
3
desde el punto
(0, 0, 0, 1) S
3
(1) es el toro de revolucion obtenido al rotar alrededor del eje z la
circunferencia de radio 1 centrada en (
2, 0, 0).
25. El toro equil atero. (Subvariedad de S
5
(1) difeomorfa al toro de revolucion).
Consideremos la aplicacion F : S
1
(1) S
1
(1) R
6
dada por
F(x
1
, x
2
, x
3
, x
4
) =
1
3
(x
1
, x
2
, x
3
, x
4
, x
1
x
4
x
2
x
3
, x
2
x
4
+x
1
x
3
).
Probar que F produce un embebimiento diferenciable de S
1
(1) S
1
(1) en S
5
(1). A su
imagen (subvariedad de S
5
(1)) se le llama el toro equilatero.
26. Embebimiento de Veronese.
Consideremos la aplicacion F : S
2
(1) R
5
dada por
F(x, y, z) =
_
1
2
(x
2
y
2
), xz, yz, xy,
3
6
(x
2
+ y
2
2z
2
)
_
.
Probar que F induce un embebimiento diferenciable F : RP
2
S
4
(1/
3) (llamado
embebimiento de Veronese).
27. Probar que si B = v
1
, . . . , v
n
, B
t
= v
t
1
, . . . , v
t
n
son dos bases de R
n
, entonces los
toros T
n
B
, T
n
B
asociados a B, B
t
son difeomorfos.
28. Probar que la aplicacion F : R
n
S
1
(1)
n)
. . . S
1
(1) dada por
F(x
1
, . . . , x
n
) =
_
e
2ix
1
, . . . , e
2ixn
_
, (x
1
, . . . , x
n
) R
n
,
induce un difeomorsmo del toro n-dimensional T
Bu
en S
1
(1)
n)
. . . S
1
(1), donde B
u
es la base canonica de R
n
.
29. Consideremos R
2
con su estructura diferenciable usual. Fijado un vector no nulo a R
2
,
sea
a
= ka / k Z el grupo cclico generado por a. Denimos una accion de
a
sobre R
2
por
:
a
R
2
R
2
/ (ka, p) = p + ka.
(A) Probar que la accion es diferenciable y propiamente discontinua. As, R
2
/
a
tiene
estructura de variedad diferenciable, a la que llamaremos C
a
. Demostrar que dados
a, b R
2
no nulos, C
a
es siempre difeomorfa a C
b
.
(B) Dado a R
2
no nulo, demostrar que existe un embebimiento diferenciable de C
a
en R
3
cuya imagen es el cilindro circular recto (x
1
, x
2
, x
3
) R
3
/ x
2
1
+x
2
2
= 1.
40 CAP
k [ a, b, c, d R,
dotado de la suma y el producto habituales: la suma se efectua componente a compo-
nente, y el producto extiende por multilinealidad a partir de la tabla
k
1
k
k 1
k 1
1.5. DIFEOMORFISMOS LOCALES. 41
Probar que H es isomorfo a R
4
como espacio vectorial real (basta identicar a+b +c +
d
k H con (a, b, c, d) R
4
). Probar que el producto de cuaternios no es conmutativo,
aunque admite un elemento neutro (1 = 1 + 0 + 0 + 0
k H se dene como q = a b c d
k, y la
norma como
[q[ =
_
q q =
_
q q =
_
a
2
+b
2
+ c
2
+ d
2
.
Probar que dados q, q
t
H, se tiene:
Si q ,= 0, entonces el inverso de q es q
1
=
q
[q[
2
.
[q q
t
[ = [q[ [q
t
[.
Si q = a +b +c +d
k, entonces q
2
= (a
2
b
2
c
2
d
2
) + 2ab + 2ac + 2ad
k.
El conjunto de cuaternios de norma 1 se identica de forma natural con la esfera S
3
(1),
lo que dota a esta ultima de estructura de grupo multiplicativo
6
.
Existe una curiosa relacion entre C, S
2
(1), S
3
(1) y H: Consideremos la aplicacion
: S
2
(1) S
3
H, (b, c, d) = 0 + b +c + d
k.
Probar que (S
2
(1)) = q S
3
[ q
2
= 1. Fijado q (S
2
(1)), llamemos C(q) =
+ q [ , R. Demostrar que la aplicacion
h : C C(q), h( +i) = +q.
es un isomorsmo de cuerpos, y por tanto C(q) puede verse como una copia de C (y q
hace el papel de una nueva unidad imaginaria). De esta forma, H puede verse como una
union de innitas copias de C, todas compartiendo el eje real, pero cada una con un eje
imaginario, parametrizados estos en los puntos de (S
2
(1)).
Si consideramos es producto cartesiano de n copias del espacio de cuaternios, tendremos
H
n
R
4n
(no confundir con el espacio hiperbolico n-dimensional).
A continuacion construiremos el espacio proyectivo cuaternionico: sobre H
n+1
0 se
considera la relacion de equivalencia que identica puntos dentro de la misma recta
cuaternionica pasando por el origen de H
n+1
(notese que una recta cuaternionica es un
plano 4-dimensional real):
qRq
t
H 0 tal que q
t
= q,
6
Lo mismo pasa con S
0
= {1, 1} y con S
1
. De hecho, estas son las unicas esferas S
n
con estructura
de grupo de Lie. S
7
admite una vision similar a S
3
cambiando los cuaternios por otro tipo de n umeros,
llamados octonios, pero el producto de octonios no es asociativo).
42 CAP
x
i
(p) =
_
x
i
_
p
, p U,
43
44 CAP
i=1
a
i
x
i
. (2.1)
Denicion 2.1.2 Un campo de vectores X sobre M se dice diferenciable si existe un
atlas (U
= (x
1
, . . . , x
n
))
,
en M tal que las funciones a
i
: U
R dadas por
(2.1) para (U, = (x
1
, . . . , x
n
)) = (U
= (x
1
, . . . , x
n
)) son diferenciables para todo
i = 1, . . . , n y todo / (la denicion es correcta, ya que no depende del atlas escogido
en M). Al conjunto de campos diferenciables sobre M lo denotaremos por X(M).
Nota 2.1.2
La denicion anterior de diferenciabilidad de un campo X sobre M es equivalente a que
X C
(M).
Habamos denido los vectores tangentes en un punto p M como derivaciones sobre
funciones denidas alrededor de p. Ahora estudiamos los campos como derivaciones sobre
funciones globalmente denidas. Recordemos que una derivacion sobre C
(M) es una
aplicacion F : C
(M) C
(M) C
(M) mediante [F
X
(f)](p) = X
p
(f).
Entonces, F
X
es una derivacion sobre C
(M).
2. Reciprocamente: si F : C
(M) C
i
a
i
x
i
con a
i
C
(U), entonces
X(f)
1
=
n
i=1
(a
i
1
)
(f
1
)
r
i
,
que es una funcion diferenciable en (U).
Veamos el apartado 2: Que X
p
T
p
M es porque X
p
es una derivacion sobre C
(p) (no
olvidemos que toda funcion diferenciable alrededor de p puede extenderse a una funcion
globalmente denida en M, gracias al Lema 1.3.2). Queda ver la diferenciabilidad de X.
Sea X[
U
=
n
i=1
a
i
x
i
la expresion local de X[
U
en combinacion de los campos basicos
asociados a una carta (U, = (x
1
, . . . , x
n
)) en M. Como
x
i
(x
j
) =
ij
(delta de Kroneck-
er), entonces (X[
U
)(x
j
) = a
j
. Por tanto, si vemos que (X[
U
)(x
j
) C
(U) j habremos
terminado.
La diferenciabilidad de (X[
U
)(x
j
) en un punto arbitrario q U se deduce de que x
j
coincide en un entorno abierto V de q con cierta funcion globalmente denida x
j
C
(M)
(de nuevo por el Lema 1.3.2), ahora solo hay que aplicar que X( x
j
) = F( x
j
) C
(M) y
que [X( x
j
)][
V
= [(X[
U
)(x
j
)][
V
. Veamos que esta ultima igualdad es cierta:
Sea q
1
V . Como X
q
1
T
q
1
M, existe : (, ) M diferenciable con (0) = q
1
,
t
(0) = X
q
1
. Entonces, [X( x
j
)](q
1
) = X
q
1
( x
j
) = ( x
j
)
t
(0)
()
= (x
j
)
t
(0) = X
q
1
(x
j
) =
(X[
U
)
q
1
(x
j
) = [(X[
U
)](x
j
)](q
1
), donde en () hemos usado que puede suponerse valuada
en V . 2
Usando la identicacion anterior se puede dotar a X(M) de una estructura de algebra
de Lie
1
mediante el corchete de Lie:
X(M) X(M) X(M)
(X, Y ) [X, Y ],
donde
[X, Y ](f) = X(Y (f)) Y (X(f)), f C
(M).
Este producto tiene las siguientes propiedades (probarlas como ejercicio).
1. [X + Y, Z] = [X, Z] + [Y, Z]
2. [X, Y ] = [Y, X],
3. [fX, gY ] = fg[X, Y ] +fX(g)Y gY (f)X,
1
Un algebra de Lie es un espacio vectorial V sobre un cuerpo K (en nuestro caso, K = R) junto con una
operacion binaria [, ] que cumple las propiedades 1, 2, 3 de arriba para f, g constantes y tambien cumple
la identidad de Jacobi.
46 CAP
(M).
La regla de Schwarz para funciones en C
(R
n
) nos dice que dada una carta (U, =
(x
1
, . . . , x
n
)) en M y una funcion f C
(U), se tiene
x
i
_
x
j
(f)
_
=
x
j
_
x
i
(f)
_
, y
por tanto
[
x
i
,
x
j
] = 0, i, j = 1, . . . , n.
Sin embargo, en general no es cierto que X(Y (f)) = Y (X(f)). Por ejemplo, consideremos
los campos X, Y X(S
2
(1)) dados por X
p
= e
1
p, Y
p
= p, e
3
)pe
3
(es claro que X
p
, Y
p
T
p
S
2
(1) p y que X, Y C
(S
2
(1), R
3
); como veremos mas abajo, esto sera suciente para
que X, Y sean campos diferenciables sobre S
2
(1)). Dado p S
2
(1),
[X(x
2
)](p) = (dx
2
)
p
(e
1
p) = x
2
(e
1
p) = x
3
(p),
[Y (x
2
)](p) = (dx
2
)
p
(x
3
p e
3
) = x
3
(p)(dx
2
)
p
(p) = x
3
(p)x
2
(p)
luego
[Y (X(x
2
))](p) = Y
p
(x
3
) = (x
3
(p)p e
3
)(x
3
) = x
3
(p)d(x
3
)
p
(p) d(x
3
)
p
(e
3
)
= x
2
3
(p) + 1,
[X(Y (x
2
))](p) = X
p
(x
2
x
3
) = x
2
(p)X
p
(x
3
) + x
3
(p)X
p
(x
2
)
= x
2
(p)(dx
3
)
p
(e
1
p) + x
3
(p)(dx
2
)
p
(e
1
p)
= x
2
(p)x
3
(e
1
p) + x
3
(p)x
2
(e
1
p)
= x
2
2
(p) x
2
3
(p).
Proposicion 2.1.2 Sea F : M
n
1
M
n
2
un difeomorsmo. Consideremos la aplicacion
F
: X(M
1
) X(M
2
) dada por
(F
X)
F(p)
:= dF
p
(X
p
), X X(M
1
), p M
1
.
Entonces:
1. (F
X)(h) = X(h F) F
1
, h C
(M
2
).
2. F
(aX+bY ) = aF
X+bF
Y, F
(fX) = (f F
1
)F
X, a, b R, X, Y X(M
1
),
f C
(M
1
).
3. [F
X, F
Y ] = F
[X, Y ], X, Y X(M
1
).
4. Si M
1
F
1
M
2
F
2
M
3
son difeomorsmos, entonces (F
2
F
1
)
= (F
2
)
(F
1
)
.
5. (F
1
)
= (F
)
1
, (1
M
)
= 1
X(M)
.
2.1. CAMPOS DEVECTORES.
ALGEBRA DE LIE DE LOS CAMPOS DE VECTORES.47
Demostracion. Ejercicio. 2
Por ejemplo, consideremos el difeomorsmo de S
n
= S
n
(1) dado por la aplicacion antpoda,
A(p) = p, p S
n
. Como A A = 1
S
n, entonces el automorsmo A
de X(S
n
) cumple
A
= 1
X(S
n
)
. Por tanto,
X(S
n
) = X
+
(S
n
) X
(S
n
),
siendo X
(S
n
) = X X(S
n
) [ A
X = X.
En estas condiciones, es posible probar que si : S
n
RP
n
es la proyeccion canonica,
entonces existe un isomorsmo de algebras
: X
+
(S
n
) X(RP
n
),
denido por (
X)
(p)
= d
p
(X
p
), p S
n
. Notese que la denicion de
es formalmente
la misma que hemos hecho para un difeomorsmo, aunque : S
n
RP
n
no es un difeo-
morsmo. El concepto que extiende esta situacion es el de campos relacionados por una
aplicacion diferenciable.
Denicion 2.1.3 Sea C
X X(RP
n
) (y viceversa).
Veamos como identicar los campos de algunas variedades sencillas.
Ejemplo 2.1.1
1. Usando la identicacion : T
p
R
n
R
n
dada en el Ejemplo 1.4.1, podemos denir
una biyeccion : X(O) C
(O, R
n
) donde O R
n
es cualquier abierto, dada por
[(X)](p) = (X
p
(x
1
), . . . , X
p
(x
n
)), p O, X X(O).
Notese que lleva los campos basicos para la carta (O, 1
O
) en los vectores de la base
canonica, vistos como aplicaciones constantes de O en R
n
.
2. Sea M
n
R
k
una subvariedad. Usando la identicacion entre T
p
M y el subespacio
( di
p
)(T
p
M) de R
k
dado en la Proposicion 1.4.4, podemos denir una biyeccion
X(M) F C
(M, R
k
) [ F(p) ( di
p
)(T
p
M), p M
X
_
F
X
: M R
k
,
p F
X
(p) = (X
p
(x
1
i), . . . , X
p
(x
k
i))
_
48 CAP
(S
n
, R
n+1
) [ F(p), p) = 0 y F(p) = F(p), p S
n
.
5. Sea X /
n
(R) una matriz antisimetrica. Entonces, las aplicaciones F, G : O(n)
/
n
(R) dadas por
F(A) = AX, G(A) = XA, A O(n),
denen campos diferenciables de vectores sobre O(n). Estos campos tienen la par-
ticularidad de no tener ceros en ning un punto de O(n).
6. Sea X /
n
(R) una matriz con traza cero. Entonces las funciones F, G : Sl(n, R)
/
n
(R) dadas por
F(A) = AX, G(A) = XA, A Sl(n, R),
denen campos diferenciables de vectores in Sl(n, R), que vuelven a tener la propiedad
de no tener ning un cero.
7. Sea : GM M una accion diferenciable y propiamente discontinua de un grupo
algebraico G sobre una variedad diferenciable M. Recordemos que M/G admite una
unica estructura diferenciable que hace a la proyeccion canonica : M M/G un
difeomorsmo local (Proposicion 1.3.3). Dado p M, podemos identicar T
p
M y
T
(p)
(M/G) va d
p
, que es un isomorsmo de espacios vectoriales. Es facil ver que
cada campo
X X(M/G) dene un campo X X(M) mediante
d
p
(X
p
) =
X
(p)
, p M,
es decir, X esta -relacionado con
X. Ademas, si
g
: M M es cualquiera de los
difeomorsmos de M dados por la accion, puede probarse que X esta
g
-relacionado
con s mismo,
(d
g
)
p
(X
p
) = X
gp
, p M,
2.1. CAMPOS DEVECTORES.
ALGEBRA DE LIE DE LOS CAMPOS DE VECTORES.49
y esto g G. Pues bien, esta construccion determina todos los campos diferencia-
bles sobre M/G. En otras palabras, la aplicacion
X(M/G) X X(M) [ (
g
)
X = X, g G
X
_
X : M TM
p X(p) = (d
p
)
1
(
X
(p)
)
_
es una biyeccion. Esto generaliza la descripcion de los campos en RP
n
dada en el
punto 4, y tambien permite identicar los campos diferenciables en un toro T
n
co-
ciente de R
n
por las n traslaciones de vectores linealmente independientes v
1
, . . . , v
n
como las aplicaciones F C
(R
n
, R
n
) que son periodicas por el retculo de R
n
dado
por Zv
1
. . . Zv
n
.
Proposicion 2.1.3 (Extension de campos) Sean U un abierto de M, X X(U) y
p M. Entonces, existen V U abierto conteniendo a p y
X X(M) tales que
X[
V
=
X[
V
.
Demostracion. Tomemos un cerrado F y un abierto U
t
de M que cumplan
p Int(F), F U U
t
U.
Como F U
t
, el Corolario 1.3.2 asegura que existe f C
X[
U
,
X[
Msoporte(f)
son claramente diferenciables. Como soporte(f) U
t
U, tenemos
M = U(Msoporte(f)), y por tanto deducimos que
X X(M). Por ultimo,
X[
F
= X[
F
porque f[
F
= 1. Por tanto,
X[
V
= X[
V
. 2
Corolario 2.1.1 Sea p M y v T
p
M. Entonces, existe X X(M) tal que X
p
= v.
Demostracion. Tomemos una carta local (U, = (x
1
, . . . , x
n
)) alrededor de p. As, v =
n
i=1
a
i
_
x
i
_
p
para ciertos a
i
R, i = 1, . . . , n. Denimos X =
n
i=1
a
i
x
i
X(U) (con
coecientes constantes). Por la Proposicion 2.1.3, existe un abierto V conteniendo a p y
contenido en U, y existe
X X(M) tal que
X[
V
= X[
V
. Este
X es el campo global que
buscabamos. 2
50 CAP
M :=
_
pM
T
p
M =
_
pM
(T
p
M)
.
Representamos por : T
p
M.
De forma analoga a lo que ocurre con TM, es posible dotar a T
M de estructura de
variedad diferenciable 2n-dimensional, que convierte a : T
M M en una submersion.
Pero no usaremos esa estructura diferenciable en lo que sigue.
Una 1-forma en M es una aplicacion : M T
M tal que = 1
M
, sin exigir
regularidad alguna a . A la imagen de un punto p por se le representara por
p
T
p
M.
Si , son 1-formas en M, f : M R una funcion (no necesariamente diferenciable)
y R, entonces +, y f son las 1-formas dadas por
( + )
p
=
p
+
p
, ()
p
=
p
, (f)
p
= f(p)
p
, p M.
Nota 2.2.1
En el Ejemplo 1.4.2 veamos la diferencial df
p
de cada f C
p
M. Por tanto, p M df
p
T
p
M dene una 1-forma a la que llamamos la
diferencial de f y representamos por df.
Sea (U, = (x
1
, . . . , x
n
)) una carta en M. Entonces, dx
i
es una 1-forma sobre U
i, y (dx
1
)
p
, . . . , (dx
n
)
p
es la base dual en T
p
M de la base
_
x
1
_
p
, . . . ,
_
xn
_
p
.
Dada una 1-forma sobre M, existen funciones a
i
: U R para i = 1, . . . , n tales
que
[
U
=
n
i=1
a
i
dx
i
. (2.2)
Denicion 2.2.2 Una 1-forma en M se dice diferenciable si existe un atlas (U
=
(x
1
, . . . , x
n
))
,
en M tal que las funciones a
i
: U
1
(M).
Nota 2.2.2
2.2. 1-FORMAS DIFERENCIABLES. 51
Si f C
(M)
1
(M) cumpliendo
d(f + g) = df +dg, d(fg) = f dg +g df, f, g C
(M).
Si (U, = (x
1
, . . . , x
n
)) es una carta en M, entonces dx
i
1
(U), i = 1, . . . , n.
Si ,
1
(M), R y f C
(M), entonces +, , f
1
(M). As,
1
(M)
tiene estructura de espacio vectorial real y de modulo sobre el anillo C
(M).
Proposicion 2.2.1
1. Sea
1
(M). Denimos F
: X(M) C
(M) mediante [F
(X)](p) =
p
(X
p
).
Entonces, se tienen:
F
(X +Y ) = F
(X) +F
(Y ), F
(fX) = fF
(X), f C
(M).
2. Reciprocamente: si F : X(M) C
M por
p
(v) = [F(X)](p) donde
X X(M) cumple X
p
= v (este campo X existe por el Corolario 2.1.1), tenemos
que esta bien denida (es independiente del campo X elegido) y es una 1-forma
diferenciable sobre M.
Demostracion. El apartado 1 es trivial. En cuanto al apartado 2, primero veremos que la
denicion de no depende de X. Esto sera consecuencia de varias observaciones.
Sea U M abierto y X X(M) tal que X[
U
= 0. Entonces, [F(X)][
U
= 0.
En efecto, jemos p U y veamos que [F(X)](p) = 0. Como p, M U son
cerrados disjuntos de M, el Corolario 1.3.2 asegura que existe f
p
C
X)](p), donde
X X(M) es cualquier campo tal que
X[
Vp
= X[
Vp
, siendo V
p
un abierto de U con p V
p
(la existencia de
X, V
p
son consecuencia de la Proposi-
cion 2.1.3). Para que esta denicion sea correcta, debemos probar queF[
U
no depende
de la extension
X de X X(U); en efecto, si tomamos otra extension
X X(M)
de X, entonces
X
X est a en las condiciones del punto anterior sobre el abierto
V
p
donde ambas extensiones coinciden con X. Por tanto, [F(
X
X)][V
p
= 0. Como
F(
X
X) = F(
X) F(
X)](p) = [F(
X)](p).
52 CAP
n
i=1
a
i
x
i
con a
i
C
(U) i. Como F[
U
esta bien denida,
[F(X)](p) = [(F[
U
)(X[
U
)](p) =
_
(F[
U
)
_
i
a
i
x
i
__
(p) =
i
a
i
(p)
_
(F[
U
)
_
x
i
__
(p).
Lo anterior se anula porque al ser X
p
= 0, tenemos a
i
(p) = 0 i = 1, . . . , n.
Por ultimo, que la expresion [F(X)](p) es independente de X X(M) tal que
X
p
= v, es consecuencia de un razonamiento analogo al que hacamos para probar
que F[
U
esta bien denida.
Ahora podemos armar que
p
(v) = [F(X)](p) dene una 1-forma sobre M. Que es
diferenciable se deduce de su expresion en coordenadas locales: Si (U, = (x
1
, . . . , x
n
)) es
una carta en M, entonces [
U
=
i
a
i
dx
i
donde
a
i
= ([
U
)
_
x
i
_
= (F[
U
)
_
x
i
_
C
(U).
2
Proposicion 2.2.2 Cada aplicacion diferenciable : M N induce un homomorsmo
de espacios vectoriales
:
1
(N)
1
(M) mediante
[
()]
p
(v) =
(p)
(d
p
(v)),
1
(N), v T
p
M, p M.
Ademas, se tienen las siguientes propiedades:
1.
(f) = (f )
,
1
(N), f C
(N).
2. Si : N P es otra aplicacion diferenciable, entonces ( )
.
3. (1
M
)
= 1
1
(M)
(por tanto,
.
Dados dos tensores T
1
T
r
(V ), T
2
T
r
(V ), el producto tensorial de T
1
y T
2
es el
tensor T
1
T
2
T
r+r
(V ) dado por
(T
1
T
2
)(u
1
, . . . , u
r
, u
r+1
, . . . , u
r+r
) = T
1
(u
1
, . . . , u
r
) T
2
(u
r+1
, . . . , u
r+r
),
para cualesquiera u
1
, . . . , u
r+r
V . Este producto tensorial cumple las siguientes propiedades
(probarlas como ejercicio):
1. (T
1
+ T
2
) T = T
1
T + T
2
T, (aT
1
) T
2
= a(T
1
T
2
).
2. T (T
1
+T
2
) = T T
1
+ T T
2
, T
1
(aT
2
) = a(T
1
T
2
).
3. T
1
(T
2
T
3
) = (T
1
T
2
) T
3
.
4. (T(V ) :=
r0
T
r
(V ), +, ) es un algebra graduada.
Debido a la asociatividad del producto tensorial, se puede denir sin ambiguedad el produc-
to tensorial T
1
. . .T
m
de un n umero nito de tensores. Esto nos valdra, entre otras cosas,
para encontrar una base de T
r
(V ): Sea v
1
, . . . , v
n
una base de V y
1
, . . . ,
n
V
i
1
. . .
ir
[ 1 i
1
, . . . , i
r
n
_
.
es una base de T
r
(V ) (ejercicio). En particular, la dimension de T
r
(V ) es n
r
. Ademas
cualquier tensor T T
r
(V ) se escribe en combinacion lineal de esta base como
T =
n
i
1
,...,ir=1
T(v
i
1
, . . . , v
ir
)
i
1
ir
.
Toda aplicacion lineal : V W entre dos espacios vectoriales reales induce una apli-
cacion lineal (pullback) entre los espacios de tensores covariantes
: T
r
(W) T
r
(V )
mediante
(
T)(u
1
, . . . , u
r
) = T((u
1
), . . . , (u
r
)),
54 CAP
(T
1
T
2
) = (
T
1
) (
T
2
),
donde T
1
T
r
(W), T
2
T
s
(W).
Dentro de T
r
(V ) tenemos dos subespacios vectoriales destacados, seg un se comporten
los tensores frente al cambios de orden en las variables. As, tenemos el subespacio vectorial
de los tensores simetricos (resp. antisimetricos, o tambien r-formas), que denotaremos por
o
r
(V ) (resp.
r
(V )), que son aquellos T T
r
(V ) tales que
T(u
1
, . . . , u
k
) = T(u
(1)
, . . . , u
(r)
),
(resp. T(u
1
, . . . , u
k
) = sig()T(u
(1), . . . , u
(r)
)
_
,
para toda lista u
1
, . . . , u
k
V y toda permutacion de r elementos, donde sig() = 1
representa la signatura de . Como toda permutacion se escribe como producto de trans-
posiciones, para ver la antisimetra de un tensor T T
r
(V ) basta probar que la segunda
ecuacion anterior se cumple para transposiciones de las variables (en tal caso sig() = 1),
y mas concretamente, para transposiciones que permutan variables contiguas. Un sencilla
consecuencia de la multilinealidad es que un tensor T T
r
(V ) es antisimetrico si y solo
si T(u
1
, . . . , u
k
) = 0 sobre cualquier lista (u
1
, . . . , u
k
) que tenga dos argumentos repetidos
(esto se lee T es alternado). Por convenio, pondremos
1
(V ) = T
1
(V ) = V
,
0
(V ) = T
0
(V ) = R.
Es claro que o
r
(V )
r
(V ) = 0 para todo r. Si T T
2
(V ), hay una forma sencilla de
asignar a T su partes simetrica y antisimetrica:
T(x, y) =
1
2
(T(x, y) + T(y, x)) +
1
2
(T(x, y) T(y, x)).
La formula anterior prueba que T
2
(V ) = o
2
(V )
2
(V ). Aunque esta suma directa no se
conserva para T
r
(V ) con r 3, podemos generalizar la formula anterior de la siguiente
forma. Dado E T
r
(V ), denimos
[Alt(T)](u
1
, . . . , u
r
) =
1
r !
Sr
sig() T(u
(1)
, . . . , u
(r)
).
Es claro que Alt(T) T
r
(V ) y que la aplicacion T Alt(T) es lineal. De hecho, Alt(T) es
antisimetrico, con lo que tenemos una aplicacion lineal Alt: T
r
(V )
r
(V ) que ademas
cumple que si
r
(V ), entonces Alt() = (aqu se usa el factor r ! en el denominador).
2.3. ALGEBRA EXTERIOR. FORMAS DIFERENCIABLES. 55
En consecuencia, Alt Alt = Alt, visto como endomorsmo de T
r
(V ), y por tanto T
r
(V )
se descompone como suma directa
T
r
(V ) = ker(Alt) Im(Alt) = ker(Alt)
r
(V ).
Para r = 2, es o
2
(V ) = ker(Alt), pero esto no se cumple para r 3. Veamos algunas de
esta aplicacion Alt.
Lema 2.3.1
1. Sea T T
r
(V ) tal que Alt (T) = 0. Entonces, Alt(T T
t
) = Alt(T
t
T) = 0, para
todo T T
s
(V ).
2. Si
k
(V ),
l
(V ),
s
(V ), entonces
Alt( Alt( )) = Alt(Alt( ) ) = Alt( ).
Demostracion. De la denicion de producto tensorial se tiene que dados u
1
, . . . , u
r+s
V ,
(r+s)! Alt(T T
t
)(u
1
, . . . , u
r+s
) =
Sr+s
sig()T(u
(1)
, . . . , u
(r)
)T
t
(u
(r+1)
, . . . , u
(r+s)
).
(2.3)
Fijemos un subconjunto ordenado A = (a
1
, . . . , a
s
) de s elementos en 1, . . . , r + s. Sea
P
A
= S
r+s
[ (r+i) = a
i
, i = 1, . . . , s. Es claro que la aplicacion P
A
[
1,...,r
establece una biyeccion entre P
A
y S
r
(permutaciones de r elementos), y que si P
A
entonces
sig() = sig([
1,...,r
).
Ademas, el signo en la ultima expresion no depende de P
A
. Por tanto, podemos
reagrupar el miembro de la derecha de (2.3) de la forma siguiente:
A=(a
1
,...,as)
_
Sr
sig()T(u
(1)
, . . . , u
(r)
)
_
T
t
(u
a
1
, . . . , u
as
),
y ahora lo anterior se anula ya que Alt(T) = 0. Esto prueba que Alt(T T
t
) = 0. La
prueba de que Alt(T
t
T) = 0 es analoga, con lo que tenemos demostrada la propiedad 1.
En cuanto a la propiedad 2, primero notemos que
Alt(Alt( ) ) = Alt(Alt( )) Alt( )
= Alt( ) Alt( ) = 0.
56 CAP
Sr+s
sig() ( )(u
(1)
, . . . , u
(r+s)
)
=
1
r ! s !
Sr+s
sig() (u
(1)
, . . . , u
(r)
) (u
(r+1)
, . . . , u
(r+s)
).
Ahora recopilamos las propiedades algebraicas del producto exterior.
Teorema 2.3.1 Sean ,
1
,
2
r
(V ), ,
1
,
2
s
(V ),
k
(V ) y a R. Entonces:
1. (
1
+
2
) =
1
+
2
.
2. (
1
+
2
) =
1
+
2
.
3. (a) = (a) = a( ).
4. = (1)
rs
.
5. ( ) = ( ) =
(r+s+k) !
r ! s ! k !
Alt( ).
6. Si : V W es una aplicacion lineal,
r
(W) y
s
(W), entonces
( ) = (
) (
).
2.3. ALGEBRA EXTERIOR. FORMAS DIFERENCIABLES. 57
Demostracion. 1,2,3 son consecuencias de las correspondientes propiedades para . Veamos
la propiedad 4: Por denicion,
( )(u
1
, . . . , u
r+s
) =
1
s ! r !
Sr+s
sig() (u
(s+1)
, . . . , u
(s+r)
) (u
(1)
, . . . , u
(s)
)
=
1
s ! r !
Sr+s
sig() ( )(u
(s+1)
, . . . , u
(s+r)
, u
(1)
, . . . , u
(s)
).
Consideremos la permutacion S
r+s
que lleva (1, . . . , s, s+1, . . . , s+r) en (s+1, . . . , s+
r, 1, . . . , s), en ese orden. As, mueve cada uno de los ultimos r ndices hacia atras,
saltando s ndices, luego es producto de rs transposiciones y sig() = (1)
rs
. Por tanto,
podemos escribir la ultima formula como
1
s ! r !
Sr+s
sig() ( )(u
((1))
, . . . , u
((r))
, u
((r+1))
, . . . , u
((r+s))
)
=
1
s ! r !
Sr+s
(1)
rs
sig( ) ( )(u
()(1)
, . . . , u
()(r)
, u
()(r+1)
, . . . , u
()(r+s)
)
=
(1)
rs
s ! r T!
Sr+s
sig() ( )(u
(1)
, . . . , u
(r)
, u
(r+1)
, . . . , u
(s+r)
)
= (1)
rs
( )(u
1
, . . . , u
r+s
),
lo que prueba 4. Veamos la propiedad 5: Sustituyendo la denicion de en ()
obtenemos
( ) =
_
(r +s)!
r ! s !
Alt( )
_
=
(r + s)!
r ! s !
Alt( ) .
Como Alt() es de orden r +s, la denicion de producto exterior nos permite escribir
lo anterior como
(r + s)!
r ! s !
(r +s +k)!
(r + s) ! k !
Alt(Alt( ) )
Lema 2.3.1
=
(r + s + k)!
r ! s ! k !
Alt( ),
y tenemos probada una de las dos formulas en la propiedad 5. La otra se hace analoga-
mente. Por ultimo, la propiedad 6 se deja como ejercicio. 2
Debido a la asociatividad del producto exterior, se puede denir sin ambiguedad el pro-
ducto exterior
1
. . .
m
de un n umero nito de tensores alternados.
Como consecuencia del Teorema 2.3.1, conviene observar que dadas
r
(V ) y
s
(V ) se tiene que
58 CAP
1
(V ), entonces
1
2
3
= 3! Alt(
1
2
3
) =
S
3
sig()
(1)
(2)
(3)
.
Es facil probar por induccion que si
1
, . . . ,
m
1
(V ), entonces
1
. . .
m
= m! Alt(
1
. . .
m
) =
Sm
sig()
(1)
. . .
(m)
. (2.4)
Proposicion 2.3.1 Sea v
1
, . . . , v
n
una base del espacio vectorial V y
1
, . . . ,
n
su
base dual. Dado k = 1, . . . , n, el conjunto
i
1
i
k
[ 1 i
1
< . . . < i
k
n ,
es una base de
k
(V ). En consecuencia, dim
k
(V ) =
_
n
k
_
. Toda k-forma
k
(V ) se
escribe
=
i
1
<...<i
k
i
1
...i
k
i
1
i
k
,
donde
i
1
...i
k
= (v
i
1
, . . . , v
i
k
) R.
Demostracion. Viendo cada
k
(V ) como tensor en T
k
(V ), tenemos
=
i
1
,...,i
k
(u
i
1
, . . . , u
i
k
)
i
1
. . .
i
k
.
Como es alternado, (u
i
1
, . . . , u
i
k
) = 0 si alguno de los ndices i
1
, . . . , i
k
se repite.
Para aquellos sumandos en la ultima sumatoria donde i
1
, . . . , i
k
son todos distintos, los
agruparemos por conjuntos de k ndices distintos j
1
, . . . , j
k
1, . . . , n con j
1
< . . . <
j
k
de forma que (i
1
, . . . , i
k
) = ((j
1
), . . . , (j
k
)) para alguna permutacion de k elementos
(ojo: no mueve necesariamente los ndices 1, . . . , k, sino k ndices distintos elegidos en
1, . . . , n). As,
=
j
1
<...<j
k
_
_
S
k
(u
(j
1
)
, . . . , u
(j
k
)
)
(j
1
)
. . .
(j
k
)
_
_
.
2.3. ALGEBRA EXTERIOR. FORMAS DIFERENCIABLES. 59
=
j
1
<...<j
k
_
_
S
k
sig()(u
j
1
, . . . , u
j
k
)
(j
1
)
. . .
(j
k
)
_
_
.
=
j
1
<...<j
k
(u
j
1
, . . . , u
j
k
)
_
_
S
k
sig()
(j
1
)
. . .
(j
k
)
_
_
.
Por la formula (2.4), el parentesis anterior coincide con
j
1
. . .
j
k
, lo que prueba
que
i
1
i
k
[ 1 i
1
< . . . < i
k
n es un sistema de generadores de
k
(V ). La
independencia lineal es consecuencia de la formula
(
i
1
. . .
i
k
)(v
j
1
, . . . , v
j
k
) =
i
1
,j
1
. . .
i
k
,j
k
,
(producto de deltas de Kronecker) siempre que 1 j
1
< . . . < j
k
n. 2
Notemos que si k > n = dimV y
k
(V ), entonces (v
i
1
, . . . , v
i
k
) = 0 para toda
eleccion de ndices con 1 i
1
< . . . < i
k
n, ya que en la lista v
i
1
, . . . , v
i
k
siempre hay
dos vectores repetidos. Esto nos dice que
k
(V ) = 0 si k > n.
Como dim
n
(V ) =
_
n
n
_
= 1, cualquier elemento no cero en
n
(V ) sera una base de
n
(V ).
A continuacion estudiaremos que n-formas pueden generar esta espacio.
Lema 2.3.2 Sean
1
, . . . ,
k
1
(V ) (no necesariamente parte de la base dual de una
base de V ). Entonces,
1
, . . . ,
k
son linealmente independientes en
1
(V ) si y solo si
1
. . .
k
,= 0 in
k
(V ).
Demostracion. Si
1
, . . . ,
k
son linealmente independientes, entonces pueden completarse
a una base
1
, . . . ,
n
de V
=
1
(V ), que sera base dual de una cierta base u
1
, . . . , u
n
de V . Entonces, la Proposicion 2.3.1 asegura que
1
. . .
k
es un elemento de una base
de
k
(V ), luego
1
. . .
k
,= 0.
Recprocamente, si
1
, . . . ,
k
son linealmente dependientes, entonces una de las
i
se
escribe como combinacion lineal del resto. Por la multilinealidad del producto exterior,
basta probar que
j
1
. . .
j
k
= 0 siempre que en j
1
, . . . , j
k
1, . . . , n hay al menos
dos ndices repetidos. Esto es consecuencia de que = 0 para toda
1
(V ). 2
En el caso del espacio vectorial R
n
, podemos denir un elemento no nulo de
n
(R
n
)
muy especial. Denimos
det : R
n
n
. . . R
n
R
det(u
1
, . . . , u
n
) = det A,
60 CAP
la base canonica de R
n
. Las propiedades estandar de los determinantes prueban que det
es una n-forma sobre R
n
, y es no nula porque det(e
1
, . . . , e
n
) = det I
n
= 1. En realidad,
esta n-forma det tiene sentido en cualquier espacio vectorial n dimensional V , sin mas que
prejar una base B = v
1
, . . . , v
n
de V y considerar el isomorsmo canonico de V en R
n
que lleva B en la base canonica. As, tenemos
det
B
: V
n)
. . . V R
det
B
(u
1
, . . . , u
n
) = det A,
donde A = (a
ij
)
i,j
/
n
(R) es la matriz dada por u
j
=
n
i=1
a
ij
v
i
.
Si V es un espacio vectorial n-dimensional y : V V un endomorsmo, entonces
es un m ultiplo de
la identidad. Este m ultiplo tiene la siguiente interpretacion:
Proposicion 2.3.2 Dado un endomorsmo : V V , se tiene
= (det ) ,
n
(V ). (2.5)
Demostracion. Fijemos
n
(V ). Si = 0 entonces no tenemos nada que demostrar.
Supongamos entonces que ,= 0, y por tanto es una base de
n
(V ). Como
n
(V ),
entonces
1
. . . v
n
,
donde v
1
, . . . , v
n
es la base dual de v
1
, . . . , v
n
. Entonces,
= (
)(v
1
, . . . , v
n
) = ((v
1
), . . . , (v
n
)) = (v
1
. . . v
n
)((v
1
), . . . , (v
n
)) = det().
2
En particular, si v
1
, . . . , v
n
, w
1
, . . . , w
n
son dos bases de V y w
j
=
n
i=1
a
ij
v
i
j,
entonces
(w
1
, . . . , w
n
) = (det A) (v
1
, . . . , v
n
),
n
(V ). (2.6)
A continuacion trasladaremos lo aprendido arriba sobre algebra multilineal a una va-
riedad diferenciable M de dimension n. Dado k un entero positivo, llamaremos
k
(M) :=
_
pM
k
(T
p
M),
y representamos por :
k
(M) M a la proyeccion natural: () = p si
k
(T
p
M).
Denicion 2.3.2 Una k-forma en M es una aplicacion : M
k
(M) (en principio,
sin ninguna regularidad) tal que = 1
M
. A la imagen de un punto p por se le
representara por
p
.
2.3. ALGEBRA EXTERIOR. FORMAS DIFERENCIABLES. 61
Nota 2.3.1
1. Sean , dos k-formas en M, f : M R funcion (no necesariamente diferenciable)
y R. Entonces, +, y f denidos por
( +)
p
=
p
+
p
, ()
p
=
p
, (f)
p
= f(p)
p
,
son tambien k-formas en M.
2. Si es una r-forma en M y una s-forma en M, entonces denida por
( )
p
=
p
p
, p M,
es una (r + s)-forma en M.
3. Si (U, = (x
1
, . . . , x
n
)) es una carta en M, entonces
dx
i
1
dx
i
k
[ 1 i
1
< . . . < i
k
n
es una base local de k-formas en U (esto es, al evaluarlas en cualquier punto p U
dan una base de
k
(T
p
M)).
4. Si es una k-forma en M y (U, = (x
1
, . . . , x
n
)) una carta en M, entonces la
restriccion de a U se escribe
[
U
=
1i
1
<...<i
k
n
f
i
1
...i
k
dx
i
1
. . . dx
i
k
, (2.7)
donde f
i
1
...i
k
= ([
U
)(
x
i
1
, . . . ,
x
i
k
) : U R para 1 i
1
< . . . < i
k
n.
Denicion 2.3.3 Una k-forma en M se dice diferenciable si existe un atlas (U
=
(x
1
, . . . , x
n
))
,
en M tal que las funciones f
i
1
...i
k
: U
(M), entonces + , , f
k
(M).
Ademas, si
r
(M), entonces
k+r
(M).
Usando el Teorema 2.3.1, es claro que
k
(M) tiene estructura de espacio vectorial
real y de modulo sobre el anillo C
(M) :=
n
k=0
k
(M),
62 CAP
: X(M)
k)
. . . X(M) C
(M) mediante
[F
(X
1
, . . . , X
k
)](p) =
p
((X
1
)
p
, . . . , (X
k
)
p
),
para cada X
1
, . . . , X
k
X(M). Entonces, F
(M)-modulo de X(M).
2. Reciprocamente: si F : X(M)
k)
. . . X(M) C
p
(u
1
, . . . , u
k
) = [F(X
1
, . . . , X
k
)](p)
donde X
i
X(M) cumple (X
i
)
p
= v
i
para todo i = 1, . . . , k, tenemos que esta bien
denida y es una k-forma diferenciable sobre M.
Como consecuencia, podemos interpretar las k-formas diferenciables como operadores :
X(M)
k)
. . . X(M) C
:
k
(N)
k
(M) mediante
[
()]
p
(v
1
, . . . , v
k
) =
(p)
(d
p
(v
1
), . . . , d
p
(v
k
)) ,
k
(N), v
1
, . . . , v
k
T
p
M, p M.
Ademas, se cumplen las siguientes propiedades:
1.
(f) = (f )
,
k
(N), f C
(N).
2. Si : N P es otra aplicacion diferenciable, entonces ( )
.
3. (1
M
)
= 1
k
(M)
.
4.
( ) =
()
().
2.4. ORIENTACI
ON EN VARIEDADES. 63
2.4. Orientacion en variedades.
Como hicimos en la seccion anterior, primero desarrollaremos los conceptos en un es-
pacio vectorial, para luego trasladarlos a una variedad va sus distintos espacios tangentes.
Sea V un espacio vectorial real de dimension n. Representemos por B al conjunto de
bases ordenadas de V . En dicho conjunto se dene una relacion de equivalencia R mediante
(v
1
, . . . , v
n
) R(w
1
, . . . , w
n
) det A > 0,
donde A = (a
ij
)
i,j
es la matriz de cambio de base entre ambas bases, es decir w
j
=
n
i=1
a
ij
v
i
, i = 1, . . . , n (da igual expresar los vectores w
j
en combinacion lineal de los v
i
que al reves, ya que el cambio de base inverso produce la matriz A
1
, que tiene el mismo
signo del determinante que det A). Como hay dos posibilidades para el signo de una matriz
de cambio de base, el conjunto cociente B/R tiene dos elementos.
Denicion 2.4.1 Una orientacion en V es un elemento de B/R. As en cada espacio
vectorial real hay dos orientaciones. Si jamos una orientacion [B] B/R, a cada base
ordenada B
t
[B] se la llama positivamente orientada respecto a [B]; al resto las llamamos
negativamente orientadas.
Tenemos otra forma de introducir las orientaciones en un espacio vectorial: en
n
(V )0
denimos una relacion de equivalencia R
t
mediante
R
t
= a , con a > 0.
Como dim
n
(V ) = 1, el conjunto cociente (
n
(V )0)/R
t
tiene tambien dos elementos.
A continuacion denimos una biyeccion entre B/R y (
n
(V ) 0)/R
t
. Si v
1
, . . . , v
n
1
. . . v
n
es una base de
n
(V ) (aqu v
i
es la base dual de v
i
i
), y por tanto v
1
. . . v
n
n
(V ) 0. Esto
permite denir una aplicacion
F : B
n
(V ) 0, F(v
1
, . . . , v
n
) = v
1
. . . v
n
.
El comportamiento de F frente a las relaciones de equivalencia R, R
t
es el siguiente: Dadas
(v
1
, . . . , v
n
), (w
1
, . . . , w
n
) B, tenemos
v
1
. . . v
n
= (v
1
. . . v
n
)(w
1
, . . . , w
n
) w
1
. . . w
n
Proposicion 2.3.2
=
= (det A) (v
1
. . . v
n
)(v
1
, . . . , v
n
) w
1
. . . w
n
= (det A) w
1
. . . w
n
.
siendo A = (a
ij
)
i,j
la matriz dada por w
j
=
n
i=1
a
ij
v
i
. Esto nos dice que
F(v
1
, . . . , v
n
) R
t
F(w
1
, . . . , w
n
) (v
1
, . . . , v
n
) R(w
1
, . . . , w
n
).
64 CAP
F : B/R (
n
(V ) 0)/R
t
,
F ([(v
1
, . . . , v
n
)]) = [v
1
v
n
].
De esta forma, dar una orientacion en V equivale a dar una clase de equivalencia en
(
n
(V ) 0)/R
t
. Observemos que dada (v
1
, . . . , v
n
) B, se tiene
F([(v
1
, . . . , v
n
)]) = []
si y solo si (v
1
, . . . , v
n
) > 0.
Ahora pasamos lo anterior a variedades diferenciables.
Denicion 2.4.2 Una variedad diferenciable M de dimension n se dice orientable si existe
n
(M) tal que
p
,= 0 en todo punto p de M.
Si M es orientable y
n
(M) es una n-forma sin ceros, entonces
p
dene un elemento
de
n
(T
p
M)0, y en consecuencia una orientacion en T
p
M, p M. La diferenciablidad
de puede interpretarse como que esta orientacion vara suavemente al cambiar el punto
p M.
Sea M
n
una variedad orientable y / =
n
(M) /
p
,= 0, p M ,= . Denimos
una relacion de equivalencia R en / mediante
R f C
(M, R
+
) tal que = f.
Notese que dadas , /, siempre existe f C
(R
n
, R
n
)
n
. . . C
(R
n
, R
n
) C
(R
n
)
det(X
1
, . . . , X
n
) = det A,
donde A : R
n
/
n
(R) viene dada por X
j
(p) =
n
i=1
a
ij
(p)e
i
, siendo e
1
, . . . , e
n
la base canonica de R
n
.
2.4. ORIENTACI
ON EN VARIEDADES. 65
2. Todo abierto de una variedad orientable es orientable.
3. Si una variedad tiene un atlas con dos cartas cuya interseccion es conexa, entonces
es orientable.
4. S
n
es orientable, por el punto anterior. Pero tambien podemos dar explcitamente
una n-forma global sin ceros sobre la esfera:
p
(v
1
, . . . , v
n
) = det (p, v
1
, . . . , v
n
), v
1
, . . . , v
n
T
p
S
n
= p)
, p S
n
.
A la orientacion denida por le llamaremos la orientacion canonica en S
n
.
5. Sea S R
3
una supercie. Entonces, S es orientable si y solo si existe un campo
diferenciable unitario y normal a S (una aplicacion de Gauss globalmente denida).
Estudiemos ahora la orientabilidad de RP
n
. Como la aplicacion antpoda A : S
n
S
n
es
un difeomorsmo de S
n
, para cada k con 0 k n la aplicacion lineal
A
:
k
(S
n
)
k
(S
n
)
es un isomorsmo. Como A
2
= 1
S
n, entonces (A
)
2
= 1
k
(S
n
)
. Deniendo
(S
n
) =
k
(S
n
) [ A
() = ,
deducimos que
k
(S
n
) =
k
+
(S
n
)
k
(S
n
).
Sea : S
n
RP
n
la proyeccion canonica sobre el espacio proyectivo real. De la
igualdad A = deducimos que
()
k
+
(S
n
) para cada
k
(RP
n
). Esto permite
considerar la aplicacion lineal
:
k
(RP
n
)
k
+
(S
n
).
Veamos que
es un isomorsmo: si
k
+
(S
n
) entonces es invariante por la aplicacion
antpoda, luego induce una k-forma sobre RP
n
. La diferenciabilidad de la k forma
inducida por sobre RP
n
es consecuencia directa de la diferenciabilidad de y de que
es un difeomorsmo local. Por tanto,
es sobreyectiva (valuada en
k
+
(S
n
)). Por otro lado,
si ker(
) entonces
= 0 en S
n
. Como es un difeomorsmo local, conclumos
que = 0 sobre RP
n
. As,
= , siendo : S
n
RP
n
la proyeccion y la orientacion canonica sobre S
n
.
66 CAP
= (1)
n+1
siendo A la aplicacion
antpoda y la orientacion canonica sobre S
n
. Por otro lado, del desarrollo anterior de-
ducimos que RP
n
es orientable si y solo si existe
1
n
+
(S
n
) sin ceros. As, si n es impar
entonces podemos tomar
1
= y conclumos que RP
n
es orientable. Recprocamente,
si RP
n
es orientable entonces existe
1
n
+
(S
n
) sin ceros. As,
1
= para cierta
funcion C
(S
n
) sin ceros, luego con signo constante. Como
1
= A
1
, entonces
= A
() = ( A)A
= ( A)(1)
n+1
. Pasando a orientaciones y usando que
tiene signo constante, obtenemos [] = (1)
n+1
[], luego n ha de ser impar. 2
Denicion 2.4.4 Una metrica Riemanniana sobre una variedad M
n
es una correspon-
dencia p M g
p
T
2
(T
p
M) tal que:
1. g
p
es simetrica y denida positiva para todo p M.
2. g : M
pM
T
p
(T
p
M) es diferenciable en el sentido siguiente: para toda car-
ta (U, = (x
1
, . . . , x
n
)) de M, las funciones g
ij
= (g[
U
)(
x
i
,
x
j
) : U R son
diferenciables, i, j = 1, . . . , n. Notese que
g[
U
=
n
i,j=1
g
ij
dx
i
dx
j
Al par (M
n
, g) se le llamara variedad Riemanniana.
Claramente, es suciente comprobar la propiedad 2 anterior para las cartas de un atlas.
Proposicion 2.4.2 En una variedad Riemanniana orientada (M
n
, g) existe una unica
n-forma dv
g
deniendo la orientacion dada, tal que (dv
g
)
p
(v
1
, . . . , v
n
) = 1 para toda base
ordenada, ortonormal y positivamente orientada (v
1
, . . . , v
n
) de T
p
M y todo p M. Lla-
maremos a dv
g
la forma de volumen metrico de la variedad Riemanniana orientada M.
Demostracion. Denimos (dv
g
)
p
para un punto p M dado, como (dv
g
)
p
= v
1
. . . v
n
,
siendo v
1
, . . . , v
n
la base dual de una base ordenada, ortonormal positiva (v
1
, . . . , v
n
) de
T
p
M. Como el determinante de una matriz ortogonal es 1, la formula (2.6) nos dice que
esta denicion no depende de (v
1
, . . . , v
n
). La misma formula da la unicidad de (dv
g
)
p
y
por tanto la de dv
g
. La diferenciabilidad de dv
g
se deduce de tomar como (v
1
, . . . , v
n
) la
evaluacion en cada punto p U del resultado de aplicar el proceso de ortonormalizacion
de Gram-Schmidt a una base local de campos para una carta (U, ) de M positivamente
orientada. 2
Es claro que si cambiamos la orientacion jando la metrica, entonces la forma de volumen
cambia de signo. Si jamos la orientacion pero cambiamos la metrica, por ejemplo tomando
g = h g con h C
(M, R
+
), entonces la forma de volumen cambia seg un la expresion
dv
g
= h
n/2
dv
g
.
2.5. INTEGRACI
:
k
(T
In
O(n))
k
(T
A
O(n)).
Dada una k-forma
k
(T
In
O(n)), la correspondencia
A O(n) (T
A
)
()
k
(T
A
O(n))
dene una k-forma diferenciable en O(n). Como consecuencia, O(n) es una variedad ori-
entable (en realidad, todo grupo de Lie es orientable, ver el ejercicio 5).
2.5. Integraci on de formas sobre variedades orientadas.
Sea M
n
una variedad diferenciable orientada y
n
(M) una n-forma diferenciable
sin ceros representando a la orientacion. Una carta (U, = (x
1
, . . . , x
n
)) con U conexo se
dice compatible con la orientacion
3
si
dx
1
. . . dx
n
= f, con f > 0.
Observemos que esta denicion no depende de la n-forma que represente a la orientacion
pero s del orden de las funciones coordenadas x
1
, . . . , x
n
.
Cambiando una carta negativamente orientada (U, = (x
1
, . . . , x
n
)) por (U, =
(x
1
, . . . , x
n
)), podemos siempre construir un atlas numerable de M
n
constituido
por cartas compatibles con la orientacion.
Si (U, = (x
1
, . . . , x
n
)) y (V, = (y
1
, . . . , y
n
)) son cartas positivamente orientadas,
entonces la ecuacion (2.6) implica que la funcion det
_
y
i
x
j
_
i,j
: UV R es positiva.
El siguiente objetivo es denir la integral de una n-forma sobre una variedad difer-
enciable orientada. Antes necesitamos algunos preliminares de integracion, entre ellos el
concepto de medida nula. Recordemos que un subconjunto A R
n
se dice de medida nula
n-dimensional si para cualquier > 0, existe un recubrimiento numerable C
i
iN
de A
por cubos n-dimensionales
4
con
iN
Vol(C
i
) < . Una propiedad se dice cierta casi por
doquier (abreviadamente c.p.d.) en R
n
si la propiedad se verica en todo punto de R
n
salvo, a lo mas, en un conjunto de medida nula.
3
O tambien, positivamente orientada.
4
Dados ai, bi R con ai < bi, i = 1, . . . , n, llamaremos cubo n-dimensional al conjunto C = {x
R
n
/ ai < xi < bi, i = 1, . . . , n} (aunque sus aristas no tienen porque ser todas iguales). El volumen (de
Lebesgue) de C es Vol(C) =
n
i=1
(bi ai) > 0.
68 CAP
A= .
(Criterio de Fubini) Si A M
n
N
m
, entonces son equivalentes:
A es de medida nula en M N.
p M c.p.d., el conjunto j
1
p
(A) es de medida nula en N.
q N c.p.d., el conjunto i
1
q
(A) es de medida nula en M.
(recordemos que j
p
(q) = (p, q) = i
q
(p), (p, q) M N).
Sea f C
1
(M
n
, N
m
). Entonces,
Si n = m y A M es de medida nula en M f(A) es de medida nula en N.
Si n < m f(M) es de medida nula en N.
Aunque no lo demostraremos, conviene comentar un resultado, fundamental en Geometra
Diferencial, que dice que para una aplicacion diferenciable entre variedades, los puntos
crticos
6
pueden ser muchos (incluso pueden rellenar la variedad de partida, piensese en
una aplicacion constante), pero sus imagenes siempre han de formar un conjunto peque no
en la segunda variedad:
Teorema 2.5.1 (Sard) Sea f C
(M
n
, N
m
) y
f
M el conjunto de sus puntos
crticos. Entonces, f(
f
) es de medida nula en N. En particular, el conjunto de valores
regulares
7
de f es denso en N.
5
Como siempre, para que un subconjunto A M sea de medida nula en M basta comprobar esta
condicion local s olo para entornos coordenados de un atlas diferenciable de M: esto se deduce de que el
cambio de cartas es un difeomorsmo entre abiertos de R
n
, y por tanto lleva conjuntos de medida nula en
conjuntos de medida nula.
6
Dada f C
(M
n
, N
m
), un punto p M se dice crtico para f si dfp : TpM T
f(p)
N no es
sobreyectiva.
7
Un punto q N es valor regular de f C
(M
n
, N
m
) si p f
1
(q), dfp es sobreyectiva.
2.5. INTEGRACI
i
(A U
i
), que es union numerable de conjuntos medible, luego medible. 2
Denicion 2.5.3 Sea f : M R = [, +] cualquier aplicacion sobre una variedad
diferenciable. f se dice medible si para todo abierto O R (respecto de la topologa usual),
el conjunto f
1
(O) es medible en M.
2.5. INTEGRACI
1
)
1
(O) = (f
1
(O) U). Ahora la equivalencia del lema se prueba de forma similar
a la demostracion del Lema 2.5.4, y se deja como ejercicio. 2
El siguiente resultado permite trabajar con comodidad en el futuro, cuando tengamos que
restringir a un abierto o extender por cero.
Lema 2.5.6 Sea M una variedad diferenciable y U un abierto de M.
i) Si A M es M-medible A U es U-medible.
ii) Si f : M R es una funcion medible (en M) f[
U
: U R es medible (en U).
iii) Si f : M R es la extension por cero de una funcion f : U R, entonces f es
medible (en U) si y solo si f es medible (en M).
Supongamos adicionalmente que el complemento del abierto U es de medida nula en M.
iv) A M es M-medible si y solo si A U es U-medible.
v) f : M R es medible (en M) si y solo si f[
U
: U R es medible (en U).
Demostracion. i) y ii) se dejan como ejercicios. Para iii), primero notese que dado O R,
f
1
(O) =
_
f
1
(O) si 0 / O,
f
1
(O) (M U) si 0 O.
A partir de esta observacion la propiedad iii) es facil y se deja como ejercicio.
Una implicacion de iv) es el apartado i), mientras que la implicacion contraria se debe
esencialmente a que todo conjunto de medida nula es medible. Algo parecido prueba el
apartado v). 2
En cuanto a las propiedades algebraicas de las funciones medibles, enunciaremos las
mas basicas:
Si f, h : M R son funciones medibles, entonces tambien son medibles af + bh
a, b R (siempre que esta combinacion lineal tenga sentido), fh (tambien cuando
tenga sentido), max(f, h), mn(f, h), f
+
:= max(f, 0), f
) y [f[ = f
+
+f
.
72 CAP
_
R
n
f
dx
1
. . . dx
n
y esta es nita. Notese que cada una de las integrales en el miembro de la derecha existe
en [0, +], como lmite de integrales de funciones simples no negativas (una funcion en
R
n
se dice simple si es combinacion lineal nita de funciones caractersticas de conjuntos
medibles de medida nita), pero la diferencia de n umeros en [0, +] podra no tener
sentido de general: el que f = f
+
f
tenga
integral nita. La denicion de funcion integrable se extiende a funciones denidas en un
abierto de R
n
, tras extender por cero. Conviene mencionar que f podra tomar valores
2.5. INTEGRACI
1
+b
_
M
2
.
2. Si
1
=
2
c.p.d. en M, entonces
_
M
1
=
_
M
2
.
Denicion 2.5.6 (Integral de una n-forma, II) Sea una n-forma medible sobre una
variedad orientada M
n
. Sea (U
= (x
1
, . . . , x
n
))
,
un recubrimiento de M por car-
tas compatibles con la orientacion y
i
iN
una particion de la unidad subordinada al
recubrimiento U
,
. Notemos que i N,
i
es integrable seg un la Denicion 2.5.5.
Diremos que es integrable si la serie
iN
_
M
i=1
_
M
i
R.
Hacemos algunas observaciones.
Aunque no tenga soporte compacto, la suma
iN
i
es localmente nita y
=
i=1
i
en M.
Si M es compacta o tiene soporte compacto, entonces la serie
iN
_
M
i
es una
suma nita, luego la condici on sobre convergencia absoluta se tiene automaticamente.
Si tiene soporte compacto contenido en un entorno coordenado, entonces la Deni-
cion 2.5.6 coincide con la 2.5.5.
La Denicion 2.5.6 es independiente del recubrimiento de M compatible con la ori-
entacion y de la particion de la unidad subordinada a dicho recubrimiento:
Supongamos que
t
j
jN
es una particion de la unidad subordinada a un recubrim-
iento (V
= (y
1
, . . . , y
n
)
j=1
t
j
en M. Cada una de las n formas
t
j
,
i
t
j
esta en las condiciones
de la Denicion 2.5.5, luego por linealidad (Proposicion 2.5.1) tenemos
_
M
t
j
=
i=1
_
M
t
j
.
2.5. INTEGRACI
i
=
j=1
_
M
t
j
.
Sumando en j la primera expresion y en i la segunda obtenemos
j=1
_
M
t
j
=
j=1
i=1
_
M
t
j
,
i=1
_
M
i
=
i=1
j=1
_
M
t
j
. (2.9)
Ahora, la convergencia absoluta de
i=1
_
M
i
implica que la serie doble
i=1
j=1
_
M
t
j
i=1
_
M
i
=
j=1
_
M
t
j
.
Denicion 2.5.7 (Integral de una n-forma, III) Sea una n-forma medible en una
variedad orientada M
n
y A M un subconjunto medible. Diremos que es integrable
sobre Asi
A
es integrable, siendo
A
la funcion caracterstica de A. En tal caso, denimos
_
A
=
_
M
A
.
Las siguientes propiedades algebraicas de la integral de n-formas son faciles de probar
y se dejan como ejercicio.
Proposicion 2.5.2 Sea M
n
una variedad orientada.
1. Si
1
y
2
son n-formas integrables sobre M y a, b R, entonces a
1
+ b
2
es
integrable sobre M y
_
M
(a
1
+b
2
) = a
_
M
1
+ b
_
M
2
.
2. Si
1
es integrable en M y
2
=
1
c.p.d. en M, entonces
2
es integrable sobre M
y
_
M
1
=
_
M
2
.
76 CAP
.
4. Si es integrable sobre un subconjunto medible A = A
1
A
2
, donde A
1
y A
2
son
medibles y A
1
A
2
es de medida nula, entonces es integrable sobre A
1
y A
2
y
_
A
=
_
A
1
+
_
A
2
.
A menudo, uno calcula integrales transformandolas en otras mas sencillas. La base de
estas transformaciones es la formula de cambio de variable, que tiene su formulacion en
nuestro ambiente.
Denicion 2.5.8 Sea F : M
n
N
n
un difeomorsmo local entre dos variedades orien-
tadas conexas M y N. Si
n
(M) y
n
(N) representan las orientaciones respecti-
vas, entonces F
= f para cierta f C
es integrable sobre M y
_
M
F
=
_
N
.
Si F invierte la orientacion, entonces F
=
_
N
.
Demostracion. La segunda parte del teorema, cuando F invierte la orientacion, es con-
secuencia directa de la primera. As que en lo que sigue supondremos que F conserva la
orientacion. Sea
i
iN
una particion de la unidad subordinada a un atlas (U
=
y
1
, . . . , y
n
))
,
de N por cartas positivamente orientadas. Entonces,
_
N
=
i=1
_
N
i
.
11
En particular, A
tambien es medible.
2.5. INTEGRACI
),
F = (x
1
, . . . , x
n
))
,
de M, y estas
cartas estan positivamente orientadas (porque F conserva la orientacion). Luego todo se
reduce a probar que
i=1
_
M
(
i
F)F
i=1
_
N
i
,
y que la convergencia de la serie de la izquierda es absoluta. Y ambas cosas son conse-
cuencias de la formula
_
M
(
i
F)F
=
_
N
i
, i N. (2.10)
As que probemos (2.10). Fijado i N, tenemos (
i
F)F
= F
(
i
). Ahora solo
tenemos que usar que
i
tiene soporte compacto contenido en un abierto coordenado
(U, ) = (U
(i)
,
(i)
), escribir (
i
)[
U
= h dy
1
. . . dy
n
donde = (y
1
, . . . , y
n
) y
entonces,
_
M
(
i
F)F
=
_
M
F
(
i
)
(A)
=
_
F
1
(U)
F
(
i
)
(B)
=
_
(F)((F
1
(U))
(h F) ( F)
1
dx
1
. . . dx
n
=
_
(U)
(h
1
) dx
1
. . . dx
n
=
_
N
i
.
donde en (A) hemos usado que F
(
i
) tiene soporte compacto contenido en F
1
(U),
en (B) que F
(
i
) = F
(h dy
1
. . . dy
n
) = (h F) dx
1
. . . dx
n
en F
1
(U) y la
Denicion 2.5.5 de integral. 2
Terminaremos este tema con una aplicacion practica de lo anterior, para calcular el
volumen de S
2
(1). El volumen de una variedad Riemanniana compacta y orientada (M
n
, g)
se dene como
Vol(M, g) =
_
M
dv
g
,
donde dv
g
es el elemento de volumen asociado a la metrica y a la orientacion. A contin-
uacion calcularemos el volumen (area) de S
2
= S
2
(1) con su metrica estandar.
Sea : S
2
N R
2
la proyeccion estereograca desde el polo norte N = (0, 0, 1)
S
2
, que es un difeomorsmo. Como N tiene medida nula en S
2
,
Vol(S
2
) =
_
S
2
N
dv
g
()
=
_
R
2
(
1
)
dv
g
,
donde en () hemos usado la formula de cambio de variables. Por otro lado, (
1
)
dv
g
=
dx dy, donde
(x, y) =
_
(
1
)
dv
g
(
x
,
y
) = (dv
g
)
1
(x,y)
_
(d
1
)
(x,y)
(
x
), (d
1
)
(x,y)
(
x
)
_
78 CAP
1
(x, y), (d
1
)
(x,y)
(
x
), (d
1
)
(x,y)
(
y
)
_
.
Usando que
1
(x, y) =
_
2x
1+x
2
+y
2
,
2y
1+x
2
+y
2
,
x
2
+y
2
1
1+x
2
+y
2
_
, un calculo directo nos lleva a
(x, y) =
4
(1 +x
2
+y
2
)
2
En particular, el signo anterior nos dice que invierte la orientacion. Por tanto,
Vol(S
2
) =
_
R
2
(
1
)
dv
g
=
_
R
2
4
(1 + x
2
+ y
2
)
2
dx dy =
_
2
0
_
0
4r
(1 + r
2
)
2
dr d
= 2
_
0
4r
(1 + r
2
)
2
dr = 2
_
2
1 + r
2
_
0
= 4.
2.5. INTEGRACI
n
i=1
a
i
_
x
i
_
(v)
. Probar que el conjunto
B =
_
1
(O
1
O
2
) [ O
1
abto.
U, O
2
abto.
R
n
, (U, ) /
_
es base de una topologa Hausdor sobre TM.
b) Demostrar que (U, ) /, la biyeccion
se convierte en un homeomorsmo del
abierto
1
(U) en UR
n
. Probar que la familia
__
1
(U), ( 1
R
n)
__
(U,),
dene un atlas sobre TM, y por tanto una estructura de variedad diferenciable 2n-
dimensional.
c) Probar que con la estructura diferenciable anterior sobre TM, la proyeccion canonica
: TM M se convierte en una aplicacion sobreyectiva, diferenciable y con difer-
encial sobreyectiva en todo punto (esto es lo que se llama una submersion).
2. Sean M, N variedades diferenciables y C
(N).
3. Campos en variedades producto.
Sean M
n
, N
m
variedades diferenciables. Dados X X(M), Y X(N), se dene
(X, Y ) : M N T(M N) mediante
(X, Y )
(p,q)
= (X
p
, Y
q
) T
p
M T
q
N T
(p,q)
(M N).
Probar que (X, Y ) X(MN). Sin embargo, no todos los campos de MN son de esta
forma, de igual forma que no toda funcion diferenciable F(x, y) = (f
1
(x, y), f
2
(x, y)) en
R
2
es de variables separadas (f
1
(x), f
2
(y)). Probar que los campos basicos asociados
a una carta producto (U V, ) son campos de variables separadas, es decir, son
de la forma (X, Y ) para ciertos X X(M), Y X(N).
4. Una variedad diferenciable n-dimensional M se dice paralelizable si existen X
1
, . . . , X
n
X(M) que son linealmente independientes en cada punto p M. Demostrar que toda
variedad paralelizable es orientable.
80 CAP
X = X, g G.
Los campos X g se dicen invariantes a izquierda. Demostrar que g es una
subalgebra de X(G):
X, Y g, [X, Y ] g.
A g se le llama el algebra de Lie de G. Sea e el elemento neutro de G. Probar
que la aplicacion H : g T
e
G dada por H(X) = X
e
es un isomorsmo de
espacios vectoriales y que su inversa es v T
e
G H
1
(v) = X
v
, donde (X
v
)
g
=
(dl
g
)
e
(v), g G.
b) Se dene g
= X X(G) [ (r
g
)
X = X, g G.
Los campos X g
es una
subalgebra de X(G) y que como espacio vectorial es isomorfo a T
e
G mediante
H
: g
T
e
G dada por H(X) = X
e
.
c) Demostrar que = (H
)
1
H cumple ((X))
g
= ((r
g
l
g
1)
X)
g
, g G.
Deducir que es un isomorsmo de algebras entre g y g
, sino solo g.
d) Probar que si un campo invariante a izquierda tiene un cero, entonces ha de ser
identicamente nulo.
e) Sea v
1
, . . . , v
n
una base de T
e
G. Para cada i = 1, . . . , n, se considera el campo
X
v
i
= H
1
(v
i
) g. Demostrar que para cada g G, X
v
1
g
, . . . , X
vn
g
es base de
T
g
G (todo grupo de Lie es paralelizable).
f ) Deducir de lo anterior que todo grupo de Lie es orientable.
6. Probar la formula (2.4).
7. Probar que si f : (M
1
, [
1
]) (M
2
, [
2
]) es un difeomorsmo local que conserva la
orientacion, entonces f : (M
1
, [
1
]) (M
2
, [
2
]) tambien conserva la orientacion
(por ello, podemos hablar de cuando un difeomorsmo local de una variedad orientable
en s misma conserva o invierte la orientacion, sin prejar esta). Demostrar que si f :
M
1
M
2
es un difeomorsmo local y M
2
es orientable, entonces M
1
es orientable,
deniendo orientaciones en M
1
, M
2
respecto de las que f conserva la orientacion (para
pasar la orientabilidad de dominio a codominio, ver el problema siguiente).
8. Sea :
M M un recubridor regular. Supongamos que
M es orientable y que todos
los automorsmos del recubridor conservan la orientacion en
M. Demostrar que M es
orientable (un ejemplo de esta situacion lo encontramos en la esfera S
n
recubriendo al
espacio proyectivo real RP
n
: el grupo de automorsmos de este recubridor esta generado
por la aplicacion antpoda, que conserva la orientacion de S
n
si y solo si n es impar).
2.5. INTEGRACI
M = (p, [
p
]) [ p M,
p
n
(T
p
M) 0,
donde [
p
] denota la orientacion en T
p
M asociada a
p
. Dada una carta (U, =
(x
1
, . . . , x
n
)) en M, llamamos
U =
_
(p, [
p
])
M [ p U,
p
_
(
x
1
)
p
, . . . , (
xn
)
p
_
> 0
_
,
:
U (U) R
n
,
(p, [
p
]) = (p).
Probar que el conjunto (
U,
) [ (U, ) es carta local para M dene un atlas sobre
(M) =
0
(M)
1
(M), f df.
Recordemos tambien que la 1-forma df viene dada por df(X) = X(f), X X(M), o en
una carta (U, = (x
1
, . . . , x
n
)), por df =
n
i=1
f
x
i
dx
i
.
El objetivo principal de este captulo es extender la construccion anterior a formas
de grado mayor, que sera el ingrediente principal en la construccion en el Captulo 4 de
la cohomologa de de Rham de una variedad. Tambien estudiaremos en este captulo la
relacion entre diferencial exterior e integracion, cuyo mayor exponente es el Teorema de
Stokes.
3.1. La diferencial exterior.
Teorema 3.1.1 (Existencia y unicidad de la diferencial exterior) Sea M
n
una va-
riedad diferenciable. Entonces para cada k = 0, . . . , n 1 existe una unica aplicacion
d :
k
(M)
k+1
(M)
cumpliendo las siguientes propiedades:
1. d es lineal: d(a +b ) = a d +b d, ,
k
(M) a, b R.
2. Para k = 0, d :
0
(M)
1
(M) es la diferencial ordinaria de funciones.
83
84 CAP
i=0
(1)
i
X
i
_
(X
0
, . . . ,
X
i
, . . . , X
k
)
_
+
0i<jk
(1)
i+j
([X
i
, X
j
], X
0
, . . . ,
X
i
, . . . ,
X
j
, . . . , X
k
),
(3.1)
X
i
X(M), i = 0, . . . , k, donde
X indica la supresion del campo X. Por ultimo, la
diferencial exterior se escribe en una carta (U, = (x
1
, . . . , x
n
)) de la siguiente forma:
(d)[
U
=
1i
1
<...<i
k
n
df
i
1
...i
k
dx
i
1
dx
i
k
, (3.2)
donde
k
(M) viene dada localmente por
[
U
=
1i
1
<...<i
k
n
f
i
1
...i
k
dx
i
1
dx
i
k
.
Demostracion. La prueba constara de cuatro pasos:
I. Denimos d
U
:
k
(U)
k+1
(U) en cada carta (U, ) de M, y comprobamos las
propiedades 1,2,3,4 para M = U.
II. Denimos d :
k
(M)
k+1
(M) por (d)[
U
:= d
U
([
U
), para toda carta (U, ) de
M, y probamos que d esta bien denida y que cumple las propiedades 1,2,3,4.
III. Probamos que d es unica cumpliendo 1,2,3,4 en M.
IV. Probamos las formulas (3.1) y (3.2).
Ahora pasamos a desarrollar cada uno de los puntos anteriores.
I. Sea (U, = (x
1
, . . . , x
n
)) una carta de M. Recordemos que dx
i
1
. . . dx
i
k
[ 1 i
1
<
. . . < i
k
n es base de
k
(U). Dada f C
(U), denimos
d
U
(f dx
i
1
. . . dx
i
k
) := df dx
i
1
. . . dx
i
k
k+1
(U),
y ahora extendemos linealmente la denicion anterior a d
U
:
k
(U)
k+1
(U). Las
propiedades 1,2 se cumplen por denicion de d
U
. Por linealidad, la propiedad 3 basta
3.1. LA DIFERENCIAL EXTERIOR. 85
probarla para = f dx
i
1
. . . dx
i
k
, = h dx
j
1
. . . dx
j
l
. Entonces, = fh dx
i
1
. . . dx
i
k
dx
j
1
. . . dx
j
l
luego
d
U
( ) = (h df +f dh) dx
i
1
. . . dx
i
k
dx
j
1
. . . dx
j
l
.
Por otro lado,
d
U
= df dx
i
1
. . . dx
i
k
h dx
j
1
. . . dx
j
l
, (3.3)
d
U
= f dx
i
1
. . . dx
i
k
dh dx
j
1
. . . dx
j
l
. (3.4)
En (3.3) podemos llevar h al primer lugar sin modicar nada, mientras que en (3.4)
llevaremos dh al primer lugar dando k saltos, cada uno de los cuales produce un 1. As,
d
U
( ) = d
U
+ (1)
k
d
U
.
En cuanto a la propiedad 4, por linealidad basta ver que d
2
U
(f dx
i
1
. . . dx
i
k
) = 0
f C
(U). Pero
d
2
U
(f dx
i
1
. . . dx
i
k
) = d
U
(df dx
i
1
. . . dx
i
k
)
(propiedad 3)
=
= d
U
(df) dx
i
1
. . . dx
i
k
df d
U
(dx
i
1
. . . dx
i
k
).
Reiterando el argumento anterior sobre el segundo sumando, conclumos que basta probar
que d
U
(df) = 0 f C
(U). Pero
d
U
(df) = d
U
_
_
n
j=1
f
x
j
dx
j
_
_
(propiedad 1)
=
n
j=1
d
U
_
f
x
j
dx
j
_
(def.)
=
n
j=1
d
_
f
x
j
_
dx
j
=
n
j=1
_
n
i=1
2
f
x
i
x
j
dx
i
_
dx
j
=
n
i,j=1
2
f
x
i
x
j
dx
i
dx
j
= 0.
II. Denimos d :
k
(M)
k+1
(M) por (d)[
U
:= d
U
([
U
), para toda carta (U, ) de
M. Para que esta denicion sea correcta, hay que probar que si (U, ), (V, ) son cartas
con U V ,= , entonces d
U
([
U
) = d
V
([
V
) en U V . Pero de la denicion de d
U
se
deduce directamente que si U
t
U, entonces
[d
U
([
U
)] [
U
= d
U
([
U
),
y aplicando esto dos veces, tenemos
[d
U
([
U
)][
UV
= d
UV
([
UV
) = [d
V
([
V
)][
UV
,
luego d esta bien denida,
k
(M). Que d esta en
k+1
(M) es evidente. Y d
cumple las propiedades 1, 2, 3, 4 porque se pueden probar punto a punto, y por tanto son
consecuencia de las propiedades 1,2,3,4 de d
U
.
III.
d :
k
(M)
k+1
(M) otro operador cumpliendo las propiedades 1,2,3,4.
86 CAP
d)[
U
= 0.
Demostracion de la armacion. La prueba es analoga a la del primer punto de la de-
mostracion de la Proposicion 2.2.1: Fijemos p U y veamos que (
d)
p
= 0. Como
p, MU son cerrados disjuntos de M, el Corolario 1.3.2 asegura que existe f C
(M)
tal que f[
MU
= 1 y f(p) = 0. Como [
U
= 0, tenemos = f en M (razonar por
separado en U y en M U), luego
d =
d(f ) =
df + f
d = df + f
d donde
hemos usado las propiedades 3 y 2 para
d. Evaluando en p y usando que f(p) = 0, ten-
emos (
d)
p
= 0. Como p es arbitrario en U, conclumos que (
d)[
U
= 0 y la armacion
esta probada.
Veamos ya que d =
d
k
(M): Fijemos p M. (d)
p
= (
d)
p
?
Sea (U, = (x
1
, . . . , x
n
)) una carta alrededor de p, en la que se escribe
[
U
=
1i
1
<...<i
k
n
f
i
1
...i
k
dx
i
1
dx
i
k
.
Sea h una funcion meseta que vale 1 en un entorno abierto V de p con V U y con el
soporte de h compacto contenido en U (el Lema 1.3.2 o el Corolario 1.3.2 dan la existencia
de h). Denimos una k forma global
k
(M) mediante
=
1i
1
<...<i
k
n
f
i
1
...i
k
d x
i
1
d x
i
k
,
donde para g = f
i
1
...i
k
, x
i
1
, . . . , x
i
k
, la funcion g C
d( ))[
V
= 0. Como
d cumple 1,2,3,4, tenemos
(
d)
p
= (
d)
p
=
_
_
1i
1
<...<i
k
n
df
i
1
...i
k
dx
i
1
dx
i
k
_
_
p
= (d)
p
.
IV. La formula (3.2) se tiene por construccion de d. En cuanto a (3.1), solo la probare-
mos para k = 0, 1 (esto explica las comillas cuando enunciabamos este punto IV). La
demostracion para k general es por induccion, y necesita el lenguaje de derivaciones y an-
tiderivaciones sobre espacios de tensores en una variedad, que no desarrolleramos aqu (ver
algunas indicaciones en el ejercicio 1).
Para k = 0, la formula se reduce a df(X
0
) = (1)
0
X
0
(f). Para k = 1, por linealidad
podemos suponer que
1
(M) se escribe localmente [
U
= f dx
j
, con f C
(U) y
(U, = (x
1
, . . . , x
n
)) carta de M. Entonces,
d(X
0
, X
1
) = (df dx
j
)(X
0
, X
1
) = X
0
(f)X
1
(x
j
) X
1
(f)X
0
(x
j
).
3.2. DOMINIOS CON BORDE EN UNA VARIEDAD ORIENTADA. 87
Por otro lado, el miembro de la derecha de (3.1) es
X
0
((X
1
))X
1
((X
0
))([X
0
, X
1
]) = X
0
(f dx
j
(X
1
))X
1
(f dx
j
(X
0
))f dx
j
([X
0
, X
1
])
= X
0
(f)X
1
(x
j
)+fX
0
(X
1
(x
j
))X
1
(f)X
0
(x
j
)fX
1
(X
0
(x
j
))fX
0
(X
1
(x
j
))+fX
1
(X
0
(x
j
))
= X
0
(f)X
1
(x
j
) X
1
(f)X
0
(x
j
),
y se tiene la formula para k = 1. 2
Sea C
(M
n
, N
m
). Dada f C
(N) =
0
(N), tenemos d(
f) = d(f ) =
(df).
Si ahora tomamos una carta (V, = (y
1
, . . . , y
m
)) de N y f C
(V ), entonces en
1
(V )
se tiene
d [
(f dy
i
1
. . . dy
i
k
)] = d [(f )
(dy
i
1
) . . .
(dy
i
k
)]
= d [(f ) (dy
i
1
) . . . (dy
i
k
)] = d(f ) (dy
i
1
) . . . (dy
i
k
)
= (df dy
i
1
. . . dy
i
k
) = [(d(f dy
i
1
. . . dy
i
k
)] ,
con lo que la igualdad d
k
(N)
k
(M)
d d
k+1
(N)
k+1
(M)
3.2. Dominios con borde en una variedad orientada.
Sea M
n
una variedad orientada. Un subconjunto D M se dice un dominio con borde
diferenciable si, para cada p M, una de las siguientes propiedades se cumple:
1. Existe un entorno abierto de p en M que esta contenido en MD (tales puntos son
llamados exteriores a D).
2. Existe un entorno abierto de p en M que esta contenido en D (tales puntos son
llamados interiores a D).
3. Existe una carta (U, = (x
1
, . . . , x
n
)) de M con p U y (p) = 0 R
n
tal que
(U D) = (U) H
+
, donde H
+
= (x
1
, . . . , x
n
) R
n
[ x
n
0 (son llamados
puntos del borde de D).
88 CAP
i=1
a
i
_
x
i
_
p
T
p
M T
p
D a
n
,= 0.
En estas condiciones, diremos que u apunta hacia fuera de D si a
n
< 0 y que apunta hacia
dentro de D si a
n
> 0. La propiedad de que un vector en T
p
MT
p
D apunte hacia fuera
o hacia dentro es independiente del sistema de coordenadas en p como el anterior.
No olvidemos que en M hemos jado una orientacion. Una base v
1
, . . . , v
n1
de
T
p
D se dira positivamente orientada si u, v
1
, . . . , v
n1
es una base orientada de T
p
M,
siendo u un vector que apunta hacia fuera (esta orientacion de T
p
D es independiente de
u, ver el Ejercicio 2). Esto orienta todos los espacios tangentes T
p
D con p D.
A continuacion orientaremos globalmente D, construyendo una (n 1)-forma difer-
enciable sin ceros sobre D que induzca en cada T
p
D la orientacion anterior.
3.3. EL TEOREMA DE STOKES. 89
Proposicion 3.2.1 Sea D un dominio con borde diferenciable de una variedad orientada
M
n
. Entonces, existe un entorno abierto W de D y un campo de vectores X X(W)
tales que X[
D
apunta hacia fuera en todos los puntos de D. Ademas, si
n
(M)
representa la orientacion de M, entonces la (n 1)-forma sobre W dada por
(X
1
, . . . , X
n1
) = (X, X
1
, . . . , X
n1
), X
1
, . . . , X
n1
X(W) (3.5)
dene, al restringirla a D, una (n1)-forma diferenciable sin ceros sobre D que induce
en cada punto p D la orientacion denida anteriormente.
Demostracion. Para cada p D tomemos una carta (U
p
,
p
= (x
1
, . . . , x
n
)) en las condi-
ciones del punto 3 anterior. Entonces, el campo X
Up
:=
xn
X(U
p
) apunta hacia
fuera de D en cada q U D. Ademas, U
p
pD
es un recubrimiento por abiertos
del abierto W :=
pD
U
p
. Sea
i
iN
una particion de la unidad de W, subordina-
da a dicho recubrimiento. Cada funcion
i
tiene asociado un abierto U
i
= U
p(i)
tal que
soporte(
i
) U
i
, y claramente U
i
iN
es tambien un recubrimiento por abiertos de W.
Para cada i N, consideremos el campo X
U
i
X(U
i
) denido arriba, y sea
X =
i=1
i
X
U
i
.
Como la suma anterior es localmente nita, dene un campo diferenciable de vectores
sobre W. Ademas, X apunta hacia fuera en cada p D porque las
i
son no negativas
y suman 1. Por ultimo, la (n1)-forma sobre W denida por (3.5) es diferenciable por
serlo X y . Dados p D y una base v
1
, . . . , v
n1
de T
p
D, se tiene:
p
(v
1
, . . . , v
n1
) > 0
p
(X
p
, v
1
, . . . , v
n1
) > 0
X
p
, v
1
, . . . , v
n1
es base positivamente orientada de T
p
M
v
1
, . . . , v
n1
es base positivamente orientada de T
p
D,
luego la proposicion esta probada. 2
3.3. El teorema de Stokes.
Teorema 3.3.1 (Stokes, I) Sea M
n
una variedad diferenciable, orientada y
n1
(M)
con soporte compacto. Entonces,
_
M
d = 0.
Demostracion. Como d
n
(M) tiene soporte compacto (por la Armacion 3.1.1 apli-
cada a
d = d), d es integrable en M. Sea (U
i
,
i
)
iN
un recubrimiento por entornos
90 CAP
i
una particion de la unidad subordinada a dicho recubrimiento.
Como
i
i
es una familia localmente nita, el soporte de (que es compacto) solo cor-
tara a una cantidad nita de soportes de las
i
, a las que denotamos por
1
, . . . ,
k
. As,
=
k
i=1
i
en M y
_
M
d =
_
M
d(
k
i=1
i
) =
k
i=1
_
M
d(
i
).
Por tanto, podemos suponer que tiene soporte compacto contenido en un entorno coorde-
nado U, donde tenemos denida una carta = (x
1
, . . . , x
n
) compatible con la orientacion
de M. Escribiendo localmente como [
U
=
n
j=1
f
j
dx
1
. . .
dx
j
. . . dx
n
con
f
j
C
(U), tenemos
(d)[
U
=
n
j=1
df
j
dx
1
. . .
dx
j
. . . dx
n
=
n
j=1
(1)
j1
f
j
x
j
dx
1
. . . dx
n
Por tanto,
_
M
d =
n
j=1
(1)
j1
_
U
f
j
x
j
dx
1
. . . dx
n
=
n
j=1
(1)
j1
_
(U)
(f
j
1
)
r
j
dr
1
. . . dr
n
,
donde r
1
, . . . , r
n
denotan las coordenadas en el eucldeo. Teniendo en cuenta que cada
funcion f
j
1
tiene soporte compacto contenido en (U), basta extender por cero dicha
funcion a un n-cubo [A, B]
n
R
n
que contenga a (U) y aplicar el Teorema de Fubini
para concluir que la ultima integral se anula. 2
Teorema 3.3.2 (Stokes, II) Sea M
n
una variedad diferenciable, orientada, D M un
dominio con borde diferenciable y
n1
(M) con soporte compacto. Entonces,
_
D
d =
_
D
i
, (3.6)
donde en D se considera la orientacion inducida e i : D M es la inclusion.
Demostracion. Primero notemos que como tiene soporte compacto, tambien lo tienen
d, i
i
una particion de
la unidad subordinada a dicho recubrimiento. No perdemos generalidad suponiendo que
i
(U
i
) es un subconjunto acotado de R
n
, i N.
3.3. EL TEOREMA DE STOKES. 91
Cada carta (U
i
,
i
) esta en una de los dos siguientes casos:
1. U
i
D = , o bien
2. U
i
D ,= , y en tal caso (U
i
,
i
) es una carta de tipo 3 para la denicion de
dominio con borde diferenciable.
Como el soporte de es compacto y la familia
i
i
es localmente nita, soporte() solo
corta a una cantidad nita de soportes de las
i
, a las que denotamos por
1
, . . . ,
k
. As,
=
k
i=1
i
en M y
_
D
d =
k
i=1
_
D
d(
i
),
_
D
i
=
k
i=1
_
D
i
(
i
).
Por tanto, podemos suponer que tiene soporte compacto contenido en un entorno coorde-
nado U, donde tenemos denida una carta = (x
1
, . . . , x
n
) compatible con la orientacion
de M y cumpliendo 1 o 2, y queremos probar (3.6). Discutimos seg un esos dos casos para
la carta.
Supongamos que U D = . Entonces, i
n
j=1
(1)
j1
f
j
dx
1
. . .
dx
j
. . . dx
n
con f
j
C
j=1
f
j
x
j
dx
1
. . . dx
n
,
y
(i
)[
UD
=
n
j=1
(1)
j1
(f
j
i) i
dx
1
. . .
i
dx
j
. . . i
dx
n
=
n
j=1
(1)
j1
(f
j
i) d(x
1
i) . . .
d(x
j
i) . . . d(x
n
i))
= (1)
n1
(f
n
i) d(x
1
i) . . . d(x
n1
i),
92 CAP
= (1)
n
_
(UD)
(1)
n1
(f
n
i
1
) dr
1
. . . dr
n1
=
_
(UD)
(f
n
i
1
) dr
1
. . . dr
n1
=
_
R
n1
(f
n
1
)(r
1
, . . . , r
n1
, 0) dr
1
. . . dr
n1
,
donde hemos extendido por cero a todo R
n1
el integrando en la ultima integral.
Por otro lado, como d tiene soporte compacto contenido en U, de su expresion local
en la carta orientada positivamente (U, ) obtenemos
_
D
d =
n
j=1
_
(D)
(f
j
1
)
r
j
dr
1
. . . dr
n
,
donde r
1
, . . . , r
n
denotan las coordenadas en el eucldeo. Teniendo en cuenta que cada
funcion
(f
j
1
)
r
j
tiene soporte compacto contenido en (U) y que estamos integrando en
(D) H
+
, extenderemos por cero
(f
j
1
)
r
j
a un n-cubo [A, B]
n
R
n
que contenga a
(U) e integraremos
H
+
(f
j
1
)
r
j
sobre [A, B]
n
(aqu
H
+ denota la funcion caracterstica
de H
+
). Aplicando el Teorema de Fubini conclumos que
_
(D)
(f
j
1
)
r
j
dr
1
. . . dr
n
=
_
[A,B]
n
H
+
(f
j
1
)
r
j
dr
1
. . . dr
n
= 0 si j ,= n,
3.3. EL TEOREMA DE STOKES. 93
luego
_
D
d =
_
[A,B]
n
H
+
(f
n
1
)
r
n
dr
1
. . . dr
n
=
_
[A,B]
n1
__
B
A
H
+
(f
n
1
)
r
n
dr
n
_
dr
1
. . . dr
n1
=
_
[A,B]
n1
_
(f
n
1
)(r
1
, . . . , r
n1
, B) (f
n
1
)(r
1
, . . . , r
n1
, 0)
dr
1
. . . dr
n1
=
_
[A,B]
n1
(f
n
1
)(r
1
, . . . , r
n1
, 0) dr
1
. . . dr
n1
,
lo que termina de probar el teorema. 2
Terminaremos el captulo con algunas consecuencias del Teorema de Stokes.
Teorema 3.3.3 (Formula de Green) Sea D R
2
un dominio compacto y conexo,
cuyo borde D es diferenciable y consiste en una union nita de curvas de Jordan,
parametrizadas con la orientacion inducida mediante
i
: [a
i
, b
i
] D, i = 1, . . . , k.
Si P, Q C
i=1
_
b
i
a
i
_
P
i
(t)x
t
i
(t) +Q
i
(t)y
t
i
(t)
dt,
siendo
i
(t) = (x
i
(t), y
i
(t)), P
i
(t) = P(
i
(t)) y Q
i
(t) = Q(
i
(t)).
Demostracion. Basa aplicar el Teorema de Stokes a la 1-forma = P dx +Qdy
1
(A)
y al dominio D. 2
Corolario 3.3.1 Sea el dominio interior a una curva de Jordan : [a, b] R
2
, dotada
de la orientacion inducida como borde de . Entonces,
Area () =
1
2
_
b
a
det,
t
dt.
Demostracion. Aplicar la formula de Green con P(x, y) = y, Q(x, y) = x. 2
Corolario 3.3.2 (Formula integral de Cauchy) Sea F una funcion holomorfa en un
abierto simplemente conexo U C. Dado un punto z
0
U y una curva de Jordan U
que rodee a z
0
en el sentido contrario a las agujas del reloj, se tiene
_
F(z)
z z
0
dz = 2iF(z
0
).
94 CAP
y f(z) =
F(z)
zz
0
, holomorfa en . Tomamos el dominio con frontera diferenciable D
D(z
0
, ) , donde
F(z)
z z
0
dz +
_
[zz
0
[=
F(z)
z z
0
dz, (3.7)
donde la orientacion a lo largo de [z z
0
[ = es la de las agujas del reloj (porque
es la orientacion sobre es contraria a las agujas del reloj, y [z z
0
[ = tiene
la orientacion inducida como borde de D
Gdx
1
. . . dx
n
en U, (3.8)
3.3. EL TEOREMA DE STOKES. 95
donde G = det
_
g
_
x
i
,
x
j
__
i,j
. En efecto, como dx
1
. . . dx
n
es una base local de
n-formas en U, tenemos
dv
g
= f dx
1
. . . dx
n
(3.9)
con f C
n
i=1
a
ij
E
i
las
ecuaciones del cambio de base, j = 1, . . . , n. As,
f = dv
g
(
x
1
, . . . ,
xn
)
()
= det(a
ij
)
i,j
dv
g
(E
1
, . . . , E
n
) = det(a
ij
)
i,j
,
donde en () hemos usado la Proposicion 2.3.2. Por otro lado,
g
_
x
i
,
x
j
_
= g
_
k
a
ki
E
k
,
h
a
hj
E
h
_
=
k,h
a
ki
a
hj
kh
=
k
a
ki
a
kj
,
donde
ij
es el Delta de Kronecker. Llamando A = (a
ij
)
i,j
a la matriz de cambio de base, lo
anterior se escribe matricialmente
_
g
_
x
i
,
x
j
__
i,j
= A
t
A, luego tomando determinantes
y extrayendo la raz cuadrada positiva obtenemos
G = [ det A[ = det A, siendo esta
ultima igualdad cierta porque (
x
1
, . . . ,
xn
) y (E
1
, . . . , E
n
) inducen la misma orientacion
sobre U. Ahora solo tenemos que sustituir en (3.9) para obtener (3.8).
Denicion 3.3.1 Dada una variedad Riemanniana (M
n
, g) y un campo X X(M), se
dene la divergencia de X como la funcion div(X) C
j=1
f
j
dx
1
dx
j
. . . dx
n
,
para ciertas funciones f
1
, . . . , f
n
C
x
h
, . . . ,
xn
_
= dv
g
_
X,
x
1
, . . . ,
x
h
, . . . ,
xn
_
.
Si ahora escribimos X[
U
=
n
i=1
a
i
x
i
con a
i
C
i=1
a
i
dv
g
_
x
i
,
x
1
, . . . ,
x
h
, . . . ,
xn
_
= a
h
dv
g
_
x
h
,
x
1
, . . . ,
x
h
, . . . ,
xn
_
= (1)
h1
a
h
dv
g
_
x
1
, . . . ,
x
h
, . . . ,
xn
_
= (1)
h1
a
h
G,
donde en la ultima igualdad hemos usado la formula (3.8), valida ya que (U, ) es com-
patible con la orientacion. Por tanto,
div(X) dv
g
= d (i(X)dv
g
) =
n
j=1
_
n
h=1
f
j
x
h
dx
h
dx
1
dx
j
. . . dx
n
_
=
j
f
j
x
j
dx
j
dx
1
dx
j
. . . dx
n
=
j
(1)
j1
f
j
x
j
dx
1
dx
j
. . . dx
n
=
x
j
(a
j
G) dx
1
dx
n
(3.8)
=
1
x
j
(a
j
G) dv
g
,
de donde deducimos la formula deseada:
(div(X))[
U
=
1
x
j
(a
j
G) si X[
U
=
n
i=1
a
i
x
i
. (3.11)
Como caso particular de (3.11), conviene destacar que en R
n
con el producto escalar
usual, la divergencia de un campo adopta la forma clasica de la Fsica y el Analisis:
div(X) =
n
j=1
a
j
x
j
si X = (a
1
, . . . , a
n
).
Teorema 3.3.4 (Teorema de la divergencia) Sea (M
n
, g) una variedad Riemanniana
orientada, D M un dominio con borde diferenciable y N : D TM un campo normal
3.4. CAMPOS Y FORMAS EN ABIERTOS DE R
3
. 97
unitario exterior
1
a D a lo largo de D. Dado un abierto O M conteniendo a D y un
campo X X(O) con soporte compacto, se tiene
_
D
div(X) dv
g
=
_
D
g(X, N) dv
(g[
D
)
,
donde dv
g
, dv
(g[
D
)
son los elementos de volumen metrico orientado para (M, g) y (D, g[
D
),
donde en D se considera la orientacion inducida como borde de D.
Demostracion.
_
D
div(X) dv
g
(3.10)
=
_
D
d (i(X)dv
g
)
()
=
_
D
i(X)dv
g
,
donde en () hemos aplicado el Teorema de Stokes a la (n1)-forma = i(X)dv
g
(que tiene
soporte compacto por tenerlo X). Falta entonces probar que i(X)dv
g
= g(X, N) dv
(g[
D
)
en D (en la primera (n1)-forma se sobreentiende el pullback va la inclusion de D en
M).
Sea (V
2
, . . . , V
n
) una base local ortonormal del espacio tangente a D, positivamente
orientada. Como N es el campo normal unitario exterior a D a lo largo de D, la base
ordenada (N, V
2
, . . . , V
n
) es g-ortonormal y compatible con la orientacion de M. Tras
descomponer X = g(X, N)N +
n
j=2
g(X, V
j
)V
j
, tenemos
(i(X)dv
g
) (V
2
, . . . , V
n
) = dv
g
(X, V
2
, . . . , V
n
) = dv
g
(g(X, N)N, V
2
, . . . , V
n
)
= g(X, N) dv
g
(N, V
2
, . . . , V
n
) = g(X, N) =
_
g(X, N)dv
(g[
D
)
(V
2
, . . . , V
n
),
y el Teorema esta demostrado. 2
3.4. Campos y formas en abiertos de R
3
.
En esta seccion particularizaremos mucho de lo aprendido sobre el algebra de campos
y formas sobre una variedad M, al ambiente en que surgieron estos conceptos: cuando M
sea un abierto U R
3
. Denotaremos por x, y, z a las coordenadas habietuales en R
3
.
Sea X X(U) C
(U, R
3
). As, X = (X
1
, X
2
, X
3
) con X
i
: U R diferenciable.
Podemos asociar canonicamente una 1-forma al campo X:
X
: U
1
(U)
p (
X
)
p
: T
p
U R
3
R
v (
X
)
p
(v) = X
p
, v).
1
Esto es, Np TpM es un vector ortogonal a TpD y de norma uno respecto de gp que apunta hacia
fuera, p D.
98 CAP
X
= X
1
dx + X
2
dy +X
3
dz,
de donde deducimos que
X
es diferenciable. Claramente, la asociacion X
X
es biyec-
tiva. Por ejemplo, la diferencial y el gradiente de una funcion estan relacionados mediante
df =
f
.
Tambien podemos asociar de forma canonica una 2-forma
2
a X:
X
: U
2
(U)
p (
X
)
p
: T
p
U T
p
U R
3
R
3
R
(v, w) (
X
)
p
(v, w) = det(X
p
, v, w).
Si escribimos
X
en combinacion lineal de la base dxdy, dxdz, dy dz obtendremos
X
= X
3
dx dy X
2
dx dz +X
1
dy dz,
luego tambien
X
es diferenciable y la asociacion X
X
es biyectiva. Notese que
X
= i(X) (dx dy dz), (3.12)
donde i(X) denota producto interior.
Dado X X(U), tenemos d
X
2
(U), luego existe un unico Y X(U) tal que
d
X
=
Y
. A este campo Y lo llamamos el rotacional de X, denotado por rot(X):
d
X
=
rot(X)
.
Si calculamos explcitamente el rotacional de X = (X
1
, X
2
, X
3
) obtendremos
rot(X) =
_
X
3
y
X
2
z
,
X
1
z
X
3
x
,
X
1
y
X
2
x
_
X(U).
El hecho de que exista una 3-forma global sin ceros en U hace que tengamos una corre-
spondencia biunvoca entre funciones diferenciables y 3-formas diferenciales en U: Dada
f C
(U) =
0
(U), sea
f
= f dx dy dz
3
(U). (3.13)
De nuevo f
f
es una biyeccion.
2
La asociacion X X(U)
1
(U) puede generalizarse a cualquier abierto de R
n
, incluso a
cualquier variedad Riemanniana; pero al asociar a X la 2-forma X estamos usando que la dimension del
eucldeo donde trabajamos es 3; si U R
n
, entonces podemos asociar a X X(U) una (n 1)-forma
X
n1
(U) mediante un procedimiento an alogo.
3.4. CAMPOS Y FORMAS EN ABIERTOS DE R
3
. 99
Recordemos que la divergencia de un campo X X(M) respecto a una metrica Rie-
manniana g se denio como la funcion div(X) C
(U), 0 = d(df) = d(
f
) =
rot(f)
rot(f) = 0. (3.14)
X X(U), 0 = d(d
X
) = d(
rot(X)
) =
div(rot(X))
div(rot(X)) = 0. (3.15)
Ahora bien, dado X X(U), cuando existe f C
k
(M)
n
k=0
k
(M) que deja invariante
3
cada
k
(M) y cumple la regla
del producto:
D( ) = D + D, ,
n
k=0
k
(M),
donde si = f C
(M) =
0
(M), entendemos f como f . Demostrar que
D esta determinada por su actuacion sobre formas del tipo f dx
i
1
. . . dx
i
k
,
siendo (U, = (x
1
, . . . , x
n
)) una carta en M.
D esta determinada por su actuacion sobre funciones y diferenciales de funciones.
Un ejemplo de derivacion de grado cero es la derivada de Lie de un campo X X(M),
a la que denotaremos por L
X
, determinada por
L
X
(f) = X(f), L
X
(df) = dL
X
(f), f C
(M).
En particular, se tiene L
X
d = d L
X
(cierto por construccion sobre funciones, y por
linealidad y la regla del producto sobre cualquier k-forma). Aunque no lo haremos aqu,
puede probarse
4
que
(L
X
)(X
1
, . . . , X
k
) = X((X
1
, . . . , X
k
))
k
i=1
(X
1
, . . . , [X, X
i
], . . . , X
k
). (3.16)
Dado un campo X X(M), el producto interior es la antiderivacion
5
de grado 1
dada por
([i(X)])(X
2
, . . . , X
k
) = (X, X
2
, . . . , X
k
),
donde
k
(M), X
2
, . . . , X
k
X(M) (por convenio, [i(X)](f) = 0 f
0
(M)).
3
Una derivacion de grado d Z se dene de igual forma, pero lleva k-formas en k +d formas.
4
Al menos, daremos una justicacion de (3.16): Tras pasar la sumatoria al miembro de la izquierda,
(3.16) se escribe como una regla del producto usual:
LX((X1, . . . , Xk)) = (LX)(X1, . . . , Xk) +
k
i=1
(X1, . . . , LXXi, . . . , Xk),
donde hemos denido LXY = [X, Y ], Y X(M). Esto nos dice que extendiendo la nocion de derivada de
Lie a campos mediante el corchete de Lie, y de ah a tensores r-covariantes y s-contravariantes cualesquiera
mediante la regla del producto usual, la formula anterior es trivial por construcci on.
5
Una antiderivacion de grado d Z es una aplicacion lineal A :
n
k=0
k
(M)
n
k=0
k
(M) que lleva
k formas en k +d formas, y cumple A() = A +(1)
k
A,
k
(M),
n
k=0
k
(M). La
diferencial exterior es una antiderivacion de grado 1 (propiedad 3 del Teorema 3.1.1).
3.4. CAMPOS Y FORMAS EN ABIERTOS DE R
3
. 101
Probar que d i(X) + i(X) d es una derivacion de grado 0.
Demostrar que dada f C
(M), se tienen
[d i(X) + i(X) d](f) = L
X
(f), [d i(X) + i(X) d](df) = L
X
(df)
y concluir que d i(X) +i(X) d = L
X
(formula de Cartan).
Utilizando la formula de Cartan y (3.16), demostrar por induccion sobre k la
ecuacion (3.1) que aparece en el Teorema 3.1.1.
2. Probar que dado un dominio D con borde diferenciable en una variedad orientada y dado
p D, la orientacion inducida en T
p
D por la de T
p
M no depende de la eleccion del
vector u T
p
M apuntando hacia fuera de D en p.
3. Deducir el teorema fundamental del calculo a partir del teorema de Stokes.
4. Sea U = R
3
(0, 0, z) [ z R y X X(U) el campo dado por
X(x, y, z) =
_
y
x
2
+ y
2
,
x
x
2
+ y
2
, 0
_
.
Probar que rot(X) = 0, pero que no existe f C
X
= 0 para toda curva cerrada U; sin embargo, esta
integral no se anula para = (x, y, 0) [ x
2
+ y
2
= 1).
5. En U = R
3
0 se considera el campo X X(U) dado por X
p
=
p
|p|
3
.
a) Probar que div(X) = 0 pero que no existe Y X(U) tal que X = rot(Y ).
b) Demostrar que S
2
(1) no es el borde de ningun dominio D R
3
0.
6. Sea U un abierto no vaco de R
2
. Denimos
0
(U, C) = C
(U, C) = f : U C [ f es diferenciable = u + iv [ u, v C
(U),
1
(U, C) = +i [ ,
1
(U),
2
(U, C) = +i [ ,
2
(U).
As,
i
(U, C) es el espacio vectorial complejo obtenido al complexicar
i
(U), i = 0, 1, 2.
a) Dada f
0
(U, C), se denen
f
z
= f
z
=
1
2
(f
x
if
y
),
f
z
= f
z
=
1
2
(f
x
+ if
y
)
0
(U, C),
donde cada subndice f
x
, f
y
denota derivada parcial. Concluir que f es holomorfa
(resp. antiholomorfa) si y solo si f
z
= 0 (resp. f
z
= 0).
102 CAP
(U, C).
Tambien extendemos por C-linealidad el producto exterior de 1-formas a
:
1
(U, C)
1
(U, C)
2
(U, C).
Demostrar que dz dz = 2i dx dy. En particular, dz dz es una base local de
2
(U, C).
c) Denimos los operadores diferenciales
:
0
(U, C)
1
(U, C),
f f
z
dz
:
0
(U, C)
1
(U, C),
f f
z
dz
:
1
(U, C)
2
(U, C),
f dz +h dz h
z
dz dz
:
1
(U, C)
2
(U, C)
f dz + h dz f
z
dz dz
Demostrar que d = + (d es la diferencial exterior extendida C-linealmente a
i
(U, C), i = 0, 1),
2
=
2
= 0, = .
d) Genereralizaci on de la f ormula integral de Cauchy para funciones
no holomorfas.
Sea F C
= D D(z
0
, ) para concluir que
i
_
2
0
F(z
0
+e
i
) d =
_
D
F(z)
z z
0
dz +
_
D
F
z
(z)
z z
0
dz dz.
3) Deducir del apartado anterior que existe el lmite lm
0
+
_
D
F
z
(z)
zz
0
dz dz, y
que (3.17) se cumple.
7. Propiedad de la media para funciones arm onicas.
Sea u C
IA DE de RHAM
El objetivo nal de toda teora matematica es clasicar, si es posible, todos los objetos
que en ese momento sean motivo de estudio. Hacer esto de forma exhaustiva es muchas
veces imposible, y entonces se buscan herramientas para distinguir objetos y as situar-
los como distintos elementos en la lista de posibilidades. Por ejemplo, R
2
y R
2
0
no son difeomorfos, ni siguiera homemomorfos, y uno tiene distintas herramientas para
distinguirlos. A menudo estas herramientas se basan en asociar a los espacios unos obje-
tos algebraicos que los distinguen, en el sentido de que si dos espacios son equivalentes
(difeomorfos o homeomorfos), entonces sus objetos algebraicos asociados son isomorfos.
Por ejemplo, podemos acudir al grupo fundamental, que mide los lazos en los espacios y
sus deformaciones. Pero el grupo fundamental, y sus generalizacions a dimensiones superi-
ores, los llamados grupos de homotopa superiores, son notablemente difciles de calcular;
en este captulo estudiaremos otra herramienta para distinguir espacios asociandoles un
objeto algebraico, en este caso un espacio vectorial, que en cierto modo tambien detecta
los agujeros del espacio, como hacen los grupos de homotopa. La idea es sencilla: toda
1-forma cerrada en R
2
es la diferencial de una funcion (diremos que la 1-forma es exacta,
pero eso no es cierto en R
2
0. Por otro lado, el conjunto de 1-formas cerradas en una
variedad puede ser enorme: basta tomar una 1-forma cerrada y sumarle cualquier df
con f C
ITULO 4. COHOMOLOG
IA DE DERHAM
4.1. Espacios de cohomologa de de Rham. Lema de Poincare.
Recordemos del algebra que un complejo de cocadenas es una sucesion de grupos
abelianos o modulos . . . , A
2
, A
1
, A
0
, A
1
, A
2
, . . . conectados por homomorsmos d
n
: A
n
A
n+1
tales que d
n+1
d
n
= 0 n. Tomando d :
k
(M)
k+1
(M) como la difer-
encial exterior en una variedad diferenciable M
n
, tenemos un complejo de cocadenas
_
(M) =
n
k=0
k
(M), d
_
(para aquellos ndices k 0 o k n, convenimos en que
k
(M) = 0 y d = 0) , al que llamaremos el complejo de de Rham de M.
Para cada k 0, . . . , n denimos
B
k
(M) = Im(d :
k1
(M)
k
(M)), Z
k
(M) = ker(d :
k
(M)
k+1
(M).
Entonces B
k
(M) y Z
k
(M) son subespacios vectoriales de
k
(M) y a sus elementos le
llamaremos k-formas exactas y cerradas respectivamente. El que d
2
= 0 signica que toda
k-forma exacta es cerrada, luego B
k
(M) es un subespacio de Z
k
(M) y podemos considerar
el espacio vectorial cociente:
H
k
(M) :=
Z
k
(M)
B
k
(M)
, para k = 0, . . . , n,
al que se llama el k-esimo espacio de cohomologa de de Rham de M. A los elementos de
H
k
(K) se les llama clases de cohomologa de de Rham de M y se les representa por []
con
k
(M) cerrada. Llamaremos
B(M) =
n
k=0
B
k
(M), Z(M) =
n
k=0
Z
k
(M), H(M) =
n
k=0
H
k
(M).
Nota 4.1.1
1. Si , Z(M) Z(M) (Z(M) es un subalgebra unitaria de (M), con
unidad 1 Z
0
(M)):
Es consecuencia directa del apartado 3 del Teorema 3.1.1.
2. Si B(M), Z(M) , B(M) (B(M) es un ideal bilatero de
Z(M)):
B(M) (M) tal que = d. As, = d = d( ) porque
Z(M). Analogamente, = d = (1)
grado()
d ( ) = d
_
(1)
grado()
_
.
3. El producto [] [] = [] esta bien denido en H(M), y dota a este conjunto de
estructura de algebra graduada asociativa,anticonmutativa
1
y con elemento unidad.
1
Si
k
(M),
l
(M), entonces = (1)
kl
. En este sentido, (M) se dice un algebra
anticonmutativa. Esto mismo puede decirse de H(M), al pasar a cocientes.
4.2. INVARIANZA HOMOT
OPICA DE LA COHOMOLOG
IA DE DERHAM. 107
En efecto, Si [] = [
t
] H
k
(M) y [] = [
t
] H
l
(M), entonces
t
B
k
(M) y
t
B
l
(M) luego
t
t
= (
t
) +
t
(
t
). Ahora solo hay
que aplicar el punto 2 anterior.
Al par (H(M), ) se le llama el algebra de cohomologa de de Rham de M.
Nota 4.1.2
1. Como dim(M) = n, toda n-forma es cerrada luego H
n
(M) =
n
(M)
B
n
(M)
, H
0
(M) =
Z
0
(M).
2. Z
0
(M) = f C
= R
d
, siendo d = #(componentes conexas
2
de M).
4.2. Invarianza homot opica de la cohomologa de de Rham.
Ses C
(M
n
, N
m
) y Z
k
(N). Por Proposicion 3.1.1, d(
) =
(d) =
(0) = 0 luego
Z
k
(M). El mismo razonamiento nos dice que si B
k
(N)
entonces
B
k
(M). Esto permite denir aplicaciones lineales
: H
k
(N) H
k
(M)
([]) = [
],
,
: H(N) H(M)
Ademas:
= H(N) (isomorfas).
Si : M N es constante
= 0 : H(N) H(M).
Denicion 4.2.1 Dos aplicaciones , C
(M
n
, N
m
) se dicen diferenciablemente ho-
motopicas si existe una aplicacion diferenciable H : M R N tal que
H(p, t) = (p) p M, t 0,
H(p, t) = (p) p M, t 1.
A H se le llama homotopa diferenciable de a (notacion: H :
d
).
2
M puede tener, a lo m as, una cantidad numerable de componentes conexas (porque satisface ANII);
en tal caso, H
0
(M)
= R
N
.
108 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
La razon por la que la homotopa H esta denida en M R y no en M [0, 1] como
sera usual, es que M podra ser una variedad con borde (no estudiaremos este caso), y
el producto de dos variedades con borde no tiene porque ser una variedad con borde (un
cuadrado no tiene borde regular). Sin embargo, el producto de una variedad con borde
por otra sin borde sigue siendo una variedad con borde.
Nuestro siguiente objetivo es probar que si dos aplicaciones diferenciablemente ho-
motopicas inducen los mismos morsmos a nivel de cohomologa. Para ello necesitamos
un concepto previo.
Denicion 4.2.2 Un grupo uniparametrico de difeomorsmos de una variedad difer-
enciable M es una familia
s
sR
Di(M) tal que
s
t
=
s+t
s, t R, y
(p, s) M R M
s
(p) M es diferenciable.
Notese que para un grupo uniparametrico de difeomorsmos
s
sR
, se tienen
s
t
=
t
s
, y
0
= 1
M
. Fijado p M, la aplicacion
p
: R M,
p
(s) =
s
(p), es una
curva diferenciable en M. Por tanto,
t
p
(0) T
p
M y podemos denir el campo X X(M)
asociado al grupo uniparmetrico como
X : M TM, X
p
=
t
p
(0) =
d
ds
s
(p).
La diferenciabilidad de X se deduce de su expresion en coordenadas locales: si (U, =
(x
1
, . . . , x
n
)) es una carta en M, entonces dado p U
[X(x
i
)](p) =
d
ds
0
(x
i
p
)(s) =
d
ds
0
(x
i
s
)(p).
Lema 4.2.1 (Lema de Poincare) Sea
s
sR
un grupo uniparametrico de difeomor-
smos
3
de una variedad diferenciable M. Entonces,
s
: H(M) H(M) es la identidad,
s R.
Demostracion. Fijemos
k
(M).
1. Veamos que L
X
=
d
ds
s
(aqu L
X
es la derivada de Lie del campo X, denida
en el ejercicio 1 del Captulo 3):
Como L
X
,
d
ds
s
son derivaciones de grado 0, basta comprobar que coinciden al
aplicarlas sobre funciones y diferencales de funciones (esto es suciente, por el ejer-
cicio 1 del Captulo 3). Dada f C
(M) y p M,
_
d
ds
s
f
_
(p) =
d
ds
0
(f
s
)(p) =
_
d
ds
s
(p)
_
(f) = X
p
(f) = [X(f)](p),
3
Es decir, s (R, +) s (Di(M), ) es un morsmo de grupos.
4.2. INVARIANZA HOMOT
OPICA DE LA COHOMOLOG
IA DE DERHAM. 109
d
ds
s
df =
d
ds
0
(
s
d)(f) =
d
ds
0
(d
s
)(f) = d
_
d
ds
s
f
_
= d[X(f)].
2. Dado a R, veamos que L
X
a
=
d
ds
s
:
L
X
(1)
=
d
ds
s
(
a
) =
d
ds
0
(
a
) =
d
ds
s+a
=
d
ds
s
.
3. Dados a, b R con a b, veamos que
a
= d
__
b
a
i(X) (
s
) ds
_
+
_
b
a
i(X) [
s
d] ds:
Lo que sigue hay que entenderlo tras evaluar en un punto p M y en una lista
(v
1
, . . . , v
k
) (T
p
M)
k
, que no escribiremos por simplicidad. El resultado es, por
tanto, un n umero real.
a
=
_
b
a
d
ds
s
(
s
) ds
(2)
=
_
b
a
(L
X
s
) ds.
Usando la formula de Cartan (ejercicio 1 del Captulo 3), lo anterior se escribe
_
b
a
(d i(X) + i(X) d)
s
ds =
_
b
a
(d i(X))
s
ds +
_
b
a
i(X) [d(
s
)] ds.
En el primer sumando anterior, podemos intercambiar la diferencial exterior con la
integral de a a b; en el segundo sumando intercambiaremos la diferencial exterior
con
s
, obteniendo la formula que buscabamos.
Finalmente reescribimos la formula del punto 3 para Z
k
(M):
a
= d
__
b
a
i(X) (
s
) ds
_
.
Tomando clases en H
k
(M), tenemos [
b
] = [
a
]. Como esto es Z
k
(M), hemos
demostrado el lema. 2
Teorema 4.2.1 Si , C
(M
n
, N
m
) son diferenciablemente homotopicas, entonces
: H(N) H(M).
Demostracion. Por hipotesis, existe una homotopa diferenciable H : M R N de
a , es decir H(p, t) = (p) t 0, H(p, t) = (p) t 1, p M. Consideremos la
inyeccion natural i : M M R, i(p) = (p, 0). Entonces, las aplicaciones
s
: M R M R,
s
(p, t) = (p, t + s), s R
110 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
denen un grupo uniparametrico de difeomorsmos de MR. Por el Lema 4.2.1, tenemos
s
= 1
H(MR)
s R. Por otro lado, = Hi y = H
1
i, luego
= (H
1
i)
=
i
1
H
= i
= (H i)
. 2
Denicion 4.2.3 Dos variedades diferenciables M
n
, N
m
tienen el mismo tipo de homo-
topa diferenciable si existen C
(M, N), C
= H(N).
A menudo tendremos que calcular la cohomologa de de Rham de variedades que son
difeomorfas a un cilindro sobre otra variedad base. El siguiente resultado dice que nos
podremos reducir a calcular la cohomologa de la variedad base.
Corolario 4.2.2 Sea U R
n
un abierto estrellado respecto de un punto x U, es decir,
para todo y U el segmento de recta que une x con y esta contenido en U. Entonces,
H(M U)
= H(M).
Demostracion. Como variedades difeomorfas tienen algebras de cohomologa isomorfas,
no perdemos generalidad suponiendo que 0 U y U es estrellado respecto al origen.
Por el Corolario 4.2.1, basta probar que MU, M tienen el mismo tipo de homotopa
diferenciable. Consideremos las aplicaciones
i : M M U
p (p, 0)
1
: M U M
(p, t) p
Si vemos que
1
i
d
1
M
, i
1
d
1
MU
habremos terminado. Lo primero se cumple
porque
1
i = 1
M
. En cuanto a lo segundo, tomemos una funcion C
ON DE MAYER-VIETORIS. 111
Corolario 4.2.3 Sea U R
n
un abierto estrellado respecto de un punto. Entonces,
H
k
(U)
=
_
R si k = 0,
0 si k ,= 0.
Demostracion. Aplicar el Corolario 4.2.2 a M = p y U. 2
Corolario 4.2.4 En un abierto estrellado de R
n
, toda k-forma cerrada es exacta, k > 0.
La cohomologia de de Rham de una variedad diferenciable no depende de su estruc-
tura diferenciable, sino solo de su topologa. No demostraremos esto detalladamente, pero
daremos un esquema del razonamiento:
1. Cada aplicacion continua f : M N entre dos variedades diferenciables es ho-
motopica
4
a una aplicacion diferenciable de M en N.
2. Si , C
donde C
(M, N) es
(continuamente) homotopica a f. Este morsmo
es funtorial.
4. La funtorialidad de f f
, g
coinciden (es
consecuencia directa de 1,2). Por tanto, dos variedades diferenciables con el mismo
tipo de homotopa continuo
5
tienen algebras de cohomologa de de Rham isomorfas.
4.3. La sucesi on de Mayer-Vietoris.
A partir de esta seccion exploraremos mas propiedades de la cohomologa de de Rham
en una variedad diferenciables, pero desde el punto de vista y con tecnicas de la topologa
4
En el sentido usual, es decir, existe H : M [0, 1] N continua tal que H(p, 0) = f, H(p, 1)
C
(M, N).
5
Es decir, existen f : M N, g : N M continuas tales que g f es continuamente homot opica a 1M
y f g es continuamente homot opica a 1N.
112 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
algebraica. De hecho, muchos de los resultados que obtendremos son validos para situa-
ciones mas generales que una variedad diferenciable, aunque en nuestra situacion las de-
mostraciones son mas faciles.
Sea M
n
una variedad diferenciable y U, V abiertos de M tal que U V = M. Rep-
resentemos por i
U
: U M, i
V
: V M, j
U
: U V U y j
V
: U V V las
correspondientes inclusiones (diferenciables). Para todo k 0, denimos las aplicaciones
lineales
k
(M)
F
k
(U)
k
(V )
G
k
(U V ) (4.1)
mediante F() = (i
U
, i
V
), G(
1
,
2
) = j
1
j
2
.
Es claro que G F = 0, es decir, Im(F) ker(G). De hecho, la recproco es cierto: si
G(
1
,
2
) = 0, entonces
1
[
UV
=
2
[
UV
y podemos denir
k
(M) como
1
en U y
2
en V . La igualdad Im(F) = ker(G) nos dice que la sucesion (4.1) es exacta en el centro.
Lema 4.3.1 La sucesion
0
k
(M)
F
k
(U)
k
(V )
G
k
(U V ) 0,
es exacta.
Demostracion. Ya hemos visto la exactitud en
k
(U)
k
(V ).
ker(F) = 0: Sea
k
(M) tal que F() = (0, 0). As, [
U
, [
V
= 0. Como M = U V ,
deducimos que = 0 en M.
Im(G) =
k
(U V ): Sea
k
(U V ). Usaremos un resultado previo de particiones
de la unidad, que probaremos abajo: tomemos funciones
U
,
V
C
1
=
_
V
en U V
0 en U soporte(
V
)
2
=
_
U
en U V
0 en V soporte(
U
)
Como U V, U soporte(
V
) son abiertos de U que recubren a U (aqu se usa que
soporte(
V
) V , notese que podra haber problemas con la diferenciabilidad de
1
en
puntos de U V si solo tuvieramos soporte(
V
) V ), deducimos que
1
k
(U).
Analogamente
2
k
(V ). Finalmente, G(
1
,
2
) = j
1
j
2
= (
1
)[
UV
(
1
)[
UV
=
(
V
)[
UV
+ (
U
)[
UV
= . 2
Armacion 4.3.1 Sean U, V abiertos de una variedad diferenciable con M = U V .
Entonces, existen funciones
U
,
V
C
ON DE MAYER-VIETORIS. 113
Demostracion. Tomemos una particion de la unidad
i
iN
subordinada al recubrimiento
abierto U, V de M. Sean
U
=
iA
i
,
V
=
iNA
i
= 1
U
,
donde A = i N [ soporte(
i
) U. Como las sumas anteriores son localmente nitas,
U
,
V
son funciones diferenciables sobre M. Solo queda probar que soporte(
V
) V y,
soporte(
U
) U. El razonamiento que sigue es simetrico en U y en V , y solo lo hacemos
para V .
soporte(
V
) V : Dado x M tal que
V
(x) ,= 0, existe i NA tal que
i
(x) ,= 0. Por
denicion de A, soporte(
i
) , U luego soporte(
i
) V . En particular, x V y hemos
probado que x M [
V
(x) ,= 0 V . Tomando adherencias tenemos lo deseado.
soporte(
V
) no corta a V : Por reduccion al absurdo, supongamos que existe un punto
x soporte(
V
) V . Por ser la particion de la unidad
i
iN
localmente inta, exi-
stira un entorno abierto U
x
de x en M que solo corta a una cantidad nita de soportes
de las
i
, funciones a las que llamamos
j
1
, . . . ,
j
N
. Como x soporte(
V
), existe una
sucesion x
k
k
M convergiendo a x (por tanto, podemos suponer x
k
U
x
k N) tal
que
V
(x
k
) ,= 0 k. Por denicion de
V
, existe una sucesion i(k)
k
N A tal que
i(k)
(x
k
) ,= 0 k. Como x
k
U
x
, tenemos i(k)
k
j
1
, . . . , j
N
, y as
x
k
soporte(
i(k)
)
_
kN
soporte(
i(k)
) := K.
Notese que el conjunto K es compacto, por ser union nita de compactos (ya que cada
soporte(
i(k)
) es compacto y solo hay una cantidad nita de i(k)). Como lo anterior es
cierto k N y K es compacto, tomando lmites obtenemos x K. Pero K V (porque
cada soporte(
i(k)
) esta contenido en V ), luego x V . Esto contradice que x V y V
es abierto. 2
Lema 4.3.2 En la situacion anterior, el diagrama siguiente es conmutativo para cada k:
k
(M)
-
F
k
(U)
k
(V )
-
G
k
(U V )
?
d
?
d d
?
d
k+1
(M)
-
F
k
(U)
k
(V )
-
G
k+1
(U V )
114 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
Demostracion. Comprobacion directa. 2
La situacion anterior es bien conocida en algebra homologica, se conoce como una
sucesion exacta corta de complejos de cocadenas. En estas condiciones, existe un resu-
tado puramente algebraico sobre la cohomologa asociada a los complejos de cocadenas,
produciendo lo que se llama una sucesion exacta larga en cohomologa. Pero no vamos
a introducir este lenguaje en abstracto, sino que llegaremos al resultado adaptando los
argumentos a nuestra situacion particular.
Primero el que el diagrama del Lema 4.3.2 sea conmutativo implica que las aplicaciones
F, G se inducen en cohomologa:
H
k
(M)
F
H
k
(U) H
k
(V )
G
H
k
(U V ) (4.2)
mediante F
[] = ([i
U
], [i
V
]), G
([
1
], [
2
]) = [G(
1
,
2
)] = [j
1
j
2
].
Sin embargo, no es cierto en general que (4.2) pueda ampliarse a una sucesion exacta
corta poniendo cero a izquierda y derecha. Por ejemplo, si tomamos los abiertos U, V de
S
2
dados por el dibujo de abajo,
Una descomposicion de S
n
cumpliendo las condiciones de Mayer-Vietoris.
entonces tenemos la correspondiente sucesion exacta corta como la del Lema 4.3.1, pero
la sucesion
0 H
1
(S
2
)
F
H
1
(U) H
1
(V )
G
H
1
(U V ) 0,
| | |
() 0 R
no es exacta (en realidad () = 0 pero a un no lo hemos probado), sino que podremos
conectar cada lnea como (4.2) con su siguiente subiendo uno el grado, mediante un mor-
smo de conexion:
4.3. LA SUCESI
ON DE MAYER-VIETORIS. 115
Teorema 4.3.1 (Sucesion de Mayer-Vietoris) Dada una variedad diferenciable M
n
descompuesta en union de abiertos M = U V , existe para todo k 0 una aplicacion
lineal : H
k
(U V ) H
k+1
(M) tal que la siguiente sucesion es exacta
0 H
0
(M)
F
H
0
(U) H
0
(V )
G
H
0
(U V )
H
1
(M)
F
. . .
H
k
(M)
F
H
k
(U) H
k
(V )
G
H
k
(U V )
H
k+1
(M)
F
. . .
H
n1
(U V )
H
n
(M)
F
H
n
(U) H
n
(V )
G
H
n
(U V ) 0,
siendo F
[] = ([[
U
], [[
V
]), G
([
1
], [
2
]) = [
1
[
UV
2
[
UV
].
Demostracion. Como dijimos antes, el resultado es puramente algebraico. Aunque haremos
la demostracion en nuestra situacion geometrica, los argumentos solo usaran propiedades
de complejos de cocadenas, y dejaremos la intepretacion puramente geometrica para de-
spues de la demostracion.
Queremos denir : H
k
(U V ) H
k+1
(M). Para ello, tomemos [] H
k
(U V ),
generada por Z
k
(U V ). Como G
k
:
k
(U)
k
(V )
k
(U V ) es sobreyectiva
6
,
existen
1
k
(U),
2
k
(V ) tales que G
k
(
1
,
2
) = . Como es cerrada,
0 = d = (d G
k
)(
1
,
2
) = G
k+1
(d
1
, d
2
) (4.3)
luego (d
1
, d
2
) ker(G
k+1
) = Im(F
k+1
) y por tanto existe
k+1
(M) tal que
F
k+1
() = (d
1
, d
2
). Ahora bien, es cerrada porque F
k+2
es inyectiva y
(F
k+2
d)() = (d d)(F
k+1
()) = (d d)(d
1
, d
2
) = 0. (4.4)
As, general una clase de cohomologa [] H
k+1
(M), que es la que bamos buscando:
denimos
([]) = [].
Debemos comprobar que la denicion anterior es correcta; si tomamos
t
= +d con
k1
(U V ), entonces por sobreyectividad de G
k1
existen
1
k1
(U),
2
k1
(V )
tales que = G
k1
(
1
,
2
). Sigamos con el proceso explicado arriba para denir , pero
aplicado a
t
en vez de a : Como G
k
:
k
(U)
k
(V )
k
(U V ) es sobreyectiva,
existen
t
1
k
(U),
t
2
k
(V ) tales que G
k
(
t
1
,
t
2
) =
t
. Como
t
es cerrada, la misma
cuenta que en (4.3) nos dice que (d
t
1
, d
t
2
) ker(G
k+1
) = Im(F
k+1
) y por tanto existe
t
k+1
(M) tal que F
k+1
(
t
) = (d
t
1
, d
t
2
), e igual que en (4.4),
t
es cerrada. Solo resta
ver que [] = [
t
]: Primero notemos que
G
k
(
t
1
1
,
t
2
2
) =
t
= d = (d G
k1
)(
1
,
2
) = G
k
(d
1
, d
2
)
6
Notese que hemos a nadido un subndice a G, y haremos lo mismo con F, para destacar el grado de las
formas sobre las que act ua.
116 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
luego (
t
1
d
1
,
t
2
2
d
2
) ker(G
k
) = Im(F
k
), de donde (
t
1
d
1
,
t
2
2
d
2
) = F
k
() para cierta
k
(M). Por ultimo,
F
k+1
(
t
) = F
k+1
(
t
) F
k+1
() = (d
t
1
d
1
, d
t
2
d
2
)
=
_
d
t
1
d
1
(d d)(
1
), d
t
2
d
2
(d d)(
2
)
_
= (d F
k
)() = F
k+1
(d)
y otra vez por inyectividad de F conclumos que
t
= d, lo que implica que [
t
] = []
y esta bien denida.
Queda comprobar la exactitud de la sucesion del Teorema.
Exactitud en H
0
(M).
Basta ver que F
: H
0
(M) H
0
(U) H
0
(V ) es inyectiva. Sea [f] H
0
(M) cumpliendo
F
0
(V ) tiene sus dos componentes exactas, F
0
(f) = (d
1
, d
2
) para
1
1
(U),
2
1
(V ). Como
1
(U) =
1
(V ) = 0, tenemos F
0
(f) = (d0, d0) = (0, 0) y como F
0
es
inyectiva, conclumos que f = 0 y por tanto [f] = 0.
Exactitud en H
k
(U) H
k
(V ), 0 k n.
Como G
k
F
k
= 0 a nivel de
k
(), las aplicaciones inducidas en cohomologa cumplen
G
= 0, de donde Im(F
) ker(G
).
Recprocamente, sea ([
1
], [
2
]) ker(G
). Tomemos representantes
1
Z
k
(U),
2
Z
k
(V ). Como 0 = G
([
1
], [
2
]) = [G
k
(
1
,
2
)] H
k
(U V ), existira
k1
(U V ) tal
que G
k
(
1
,
2
) = d. Como G
k1
es sobreyectiva, existen (
1
,
2
)
k1
(U)
k1
(V )
tales que G
k1
(
1
,
2
) = . Por tanto,
G
k
(d
1
, d
2
) = d(G
k1
(
1
,
2
)) = d = G
k
(
1
,
2
),
de donde (
1
d
1
,
2
d
2
) ker(G
k
) = Im(F
k
). As, existe
k
(M) tal que
F
k
() = (
1
d
1
,
2
d
2
). Ahora bien, d = 0 porque F
k+1
(d) = (d d)(F
k
()) =
(d
1
, d
2
) = (0, 0) y porque F
k+1
es inyectiva. Esto implica que Z
k
(M), luego genera
una clase de cohomologa [] H
k
(M), y
F
([]) = [F
k
()] = ([
1
d
1
], [
2
d
2
]) = ([
1
], [
2
]),
luego ([
1
], [
2
]) Im(F
).
Exactitud en H
k
(U V ). Supongamos que ([
1
], [
2
]) H
k
(U) H
k
(V ) con represen-
tantes (
1
,
2
) Z
k
(U) Z
k
(V ). Recordemos de la denicion de que llamando [] :=
G
([
1
], [
2
]), entonces ([]) = [] donde Z
k+1
(M) cumple F
k+1
() = (d
1
, d
2
). En
nuestro caso, (d
1
, d
2
) = (0, 0) luego F
k+1
() = (0, 0). Como F
k+1
es inyectiva, deduci-
mos que = 0. As, ( G
)([
1
], [
2
]) = [] = 0 y hemos probado que Im(G
) ker().
Recprocamente, sea [] H
k
(UV ) tal que ([]) = 0 H
k+1
(M). Tomemos un rep-
resentante Z
k
(U V ). Por denicion de , tenemos ([]) = [] donde Z
k+1
(M)
4.3. LA SUCESI
ON DE MAYER-VIETORIS. 117
cumple F
k+1
() = (d
1
, d
2
), siendo (
1
,
2
)
k
(U)
k
(V ) tales que G
k
(
1
,
2
) = .
Ademas, 0 = ([]) = [] luego es exacta. Por tanto, existe
k
(M) tal que d = .
Aplicando F
k
obtenemos F
k
() =
k
(U)
k
(V ). Llamemos F
k
() = (
t
1
,
t
2
). Entonces,
(d d)(
t
1
,
t
2
) = [(d d) F
k
]() = F
k+1
(d) = F
k+1
() = (d
1
, d
2
),
luego d
t
1
= d
1
, d
t
2
= d
2
y por tanto, (
1
t
1
,
2
t
2
) Z
k
(U) Z
k
(V ). Tomando
clases de cohomologa, ([
1
t
1
], [
2
t
2
]) H
k
(U) H
k
(V ), y por tanto tiene sentido
G
([
1
t
1
], [
2
t
2
]) =
_
G
k
(
1
t
1
,
2
t
2
)
=
_
G
k
(
1
,
2
) G
k
(
t
1
,
t
2
)
= [G
k
(
1
,
2
) (G
k
F
k
)()] = [G
k
(
1
,
2
)] = [].
As, [] Im(G
) ker().
Exactitud en H
k+1
(M).
Primero comprobamos que F
= 0. En efecto, si [] H
k
(U V ) entonces ([]) =
[] H
k+1
(M) donde Z
k+1
(M) cumple F
k+1
() = (d
1
, d
2
), siendo (
1
,
2
)
k
(U)
k
(V ) tales que G
k
(
1
,
2
) = y Z
k
(U V ) un representante de []. Ahora,
(F
)([]) = F
([]) = ([d
1
], [d
2
]) = (0, 0)
luego F
).
Recprocamente, sea [] H
k+1
(M) y Z
k+1
(M) un representante, tales que
F
([]) = (0, 0) H
k+1
(U) H
k+1
(V ). Veamos que existe [] H
k
(U V ) tal que
([]) = []. En efecto, como F
).
Exactitud en H
n
(U V ). Se trata de probar que G
es sobreyectiva: si [] H
n
(U V ),
tomamos un representante Z
n
(U V ) =
n
(U V ). Como G
n
es sobreyectiva, existe
(
1
,
2
)
n
(U)
n
(V ) = Z
n
(U) Z
n
(V ) tal que G
n
(
1
,
2
) = , y tomando clases
tendremos G
([
1
], [
2
]) = [] y hemos terminado. 2
Nota 4.3.1 La demostracion anterior es valida paso a paso para probar la existencia
de una sucesion exacta en cohomologa siempre que tengamos una sucesion exacta corta
118 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
de complejos de cocadenas, construyendo el morsmo de conexion correspondiente. La
interpretacion explcita del morsmo de conexion dependera de la sucesion exacta corta
de complejos de cocadenas que tengamos. Por ejemplo, en el caso que nos ocupa de la
cohomologa de de Rham de una variedad diferenciable M
n
, si partimos de una clase de
cohomologa [] H
k
(U V ) y de un represntante [] Z
k
(U V ), entonces las
k-formas
1
=
_
V
en U V,
0 en U soporte(
V
)
2
=
_
U
en U V,
0 en U soporte(
U
)
(con la notacion de la demostracion del Lema 4.3.1) cumplen G
k
(
1
,
2
) =
1
[
UV
2
[
UV
= . Ademas, por ser cerrada, tenemos d
1
[
UV
= d(
V
) = d((1
U
)) =
d(
U
) = d
2
[
UV
luego la (k + 1)-forma
=
_
d
1
en U
d
2
en V
esta globalmente denida en M, es cerrada y [] = ([]). En resumen:
[] H
k
(U V ) ([]) = [] =
__
d(
V
) en U,
d(
U
) en V
_
H
k+1
(M).
Si M se descompone como M = U V con U, V abiertos disjuntos (en particular M no
es conexa), entonces la sucesion de Mayer-Vietoris nos dice que H
k
(M)
= H
k
(U)H
k
(V )
para todo k = 0, 1 . . . , n. Iterando esto, tenemos:
Proposicion 4.3.1 Si M = U
1
. . . U
r
es la descomposicion en componentes conexas
de una variedad M, entonces para todo k 1, . . . , n se tiene
H
k
(M)
=
r
i=1
H
k
(U
i
).
Como veremos mas adelante, la utilidad de la sucesion exacta larga de Mayer-Vietoris
consiste en encontrar la descomposicion M = U V de forma que aparezcan muchos
ceros en los espacios de cohomologa de la sucesion exacta larga; cortando por esos ceros
conseguirmos fragmentos que son sucesiones exactas, y a menudo es posible deducir
informacion sobre los espacios que aparecen sin mas que contar dimensiones (veremos
un ejemplo en la ecuacion (4.5)). Relacionado con esto, tenemos dos observaciones: en la
primera enunciamos una formula algebraica para relacionar las dimensiones de los espacios
en cada fragmento, y en la segunda estudiamos variedades que descomponen de forma
especialmente adecuada en esta direccion.
4.3. LA SUCESI
ON DE MAYER-VIETORIS. 119
Lema 4.3.3 Consideremos una sucesion exacta de espacios vectoriales
0 V
1
f
V
2
g
V
3
. . . V
k1
V
k
0.
Entonces, la suma alternada de las dimensiones de los espacios V
i
es cero.
Demostracion. Hacerla como ejercicio por induccion sobre k; para caer en la hipotesis
de induccion, se cambia en la sucesion anterior el fragmento 0 V
1
f
V
2
g
V
3
por el
fragmento 0 V
2
/ ker(g)
g
V
3
manteniendo el resto de la sucesion, donde g(x+ker(g)) =
g(x) para cada x V
2
. 2
Denicion 4.3.1 Una variedad diferenciableM
n
se dice de tipo nito si admite un re-
cubrimiento abierto nito U
i
1im
tal que cada interseccion U
i
1
. . . U
i
k
es vaca o
difeomorfa a R
n
.
Puede probarse que toda variedad compacta es de tipo nito
7
, aunque hay muchas var-
iedades no compactas que son de tipo nito, como el espacio eucldeo R
n
.
Proposicion 4.3.2 En una variedad diferenciable M
n
de tipo nito, los espacios de co-
homologa de de Rham H
k
(M) tienen dimension nita, k = 0, 1, . . . , n.
Demostracion. Por induccion sobre el n umero mde abiertos de un recubrimiento U
i
1im
de M tal que cada interseccion U
i
1
. . . U
i
k
es vaca o difeomorfa a R
n
: para m = 1,
M es difeomorfa a Rn y la proposicion es trivial. Suponiendo cierto el enunciado para m,
veamoslo para m+1: supongamos que M tiene un recubrimiento abierto U
i
1im+1
tal
que cada interseccion U
i
1
. . . U
i
k
es vaca o difeomorfa a R
n
. Sean U = U
1
. . . U
m
,
V = U
m+1
. Usando la sucesion de Mayer-Vietoris para M, U, V , tenemos una sucesion
exacta
H
k1
(U V )
H
k
(M)
F
H
k
(U) H
k
(V )
G
. . .
Como H
k
(M)/ ker(F
)
= Im(F
), Im(F
) tienen dimension
nita para que H
k
(M) sea de dimension nita. Como Im(F
) es un subespacio de H
k
(U)
H
k
(V ) y dimker(F
) = dimIm() dimH
k1
(U V ), es suciente demostrar que
H
k
(U), H
k
(V ), H
k1
(U V ) tienen dimension nita. H
k
(U) tiene dimension nita por
7
La idea se basa en el generalizar el concepto de conjunto convexo de R
n
a una variedad; para ello
hace falta generalizar la nocion de segmento a geodesica minimizante, para lo que es necesario dotar a M
de una metrica Riemanniana (toda variedad diferenciable admite una metrica Riemanniana, simplemente
pegando metricas localmente denidas en entornos coordenados por medio de una particion de la unidad).
La existencia de entornos coordenados convexos en una variedad Riemanniana es siempre posible, y la
intersecci on de convexos es convexa. La compacidad se usa para encontrar un recubrimiento nito por
entornos coordenados convexos.
120 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
hipotesis de induccion; V es difeomorfo a R
n
luego tambien H
k
(U) tiene dimension nita;
nalmente, U V tiene como recubrimiento a U
1
U
m+1
, . . . , U
m
U
m+1
, luego tambien
por hipotesis de induccion H
k1
(U V ) tiene dimension nita. 2
Cuando una variedad M tiene todos sus espacios de cohomologa nito-dimensionales, se
dene el k-esimo n umero de Betti de M mediante
k
(M) = dimH
k
(M),
y la caracterstica de Euler-Poincare de M por
(M) =
n
k=0
(1)
k
k
(M).
Comentaremos (aunque no lo probaremos) que en una variedad compacta M
n
(luego de
tipo nito) y orientable, los n umeros de Betti cumplen
k
(M) =
nk
(M) (dualidad de
Poincare), k = 0, . . . , n.
4.4. Cohomologa de la esfera y el espacio proyectivo real.
La sucesion de Mayer-Vietoris es un metodo muy potente para el calculo de coho-
mologa de de Rham, ya que muchas variedades admiten descomposiciones M = U V
donde U, V, U V tienen cohomologas mas simples que la propia M. Un ejemplo de esto
ocurre al calcular la cohomologa de de Rham de S
n
.
Teorema 4.4.1 La cohomologa de de Rham de la esfera S
n
viene dada por
H
0
(S
0
) = R
2
, y si n 1, H
k
(S
n
)
=
_
R si k = 0, n
0 si 0 < k < n.
Demostracion. Consideremos abiertos U, V S
n
como en el graco antes del Teore-
ma 4.3.1, es decir, U, V son difeomorfos a R
n
, U V admite como retracto de deformacion
a S
n1
y S
n
= U V . As, U, V tienen el tipo de homotopa de R
n
y U V tiene el tipo
de homotopa de S
n1
. Por los Corolarios 4.2.1 y 4.2.3,
H(U)
= H(V )
= H(R
n
)
=
_
R si k = 0
0 si 0 < k n
H(U V )
= H(S
n1
),
4.4. COHOMOLOG
H
0
(U) H
0
(V )
G
H
0
(U V )
H
1
(S
n
)
F
H
1
(U) H
1
(V ) . . .
| | | |
R R
2
H
0
(S
n1
) 0
(k > 1)
H
k1
(U) H
k1
(V )
G
H
k1
(U V )
H
k
(S
n
)
F
H
k
(U) H
k
(V )
G
. . .
| | |
0 H
k1
(S
n1
) 0
De la lnea de abajo deducimos que H
k
(S
n
)
= H
k1
(S
n1
) si k > 1. De la lnea de arriba
deducimos que si n 1 entonces la sucesion siguiente es exacta en todos sus puntos:
0 R
F
R
2
G
H
0
(S
n1
)
H
1
(S
n
) 0 (4.5)
Y tenemos dos opciones:
Si n > 1 entonces S
n1
es conexa, luego H
0
(S
n1
)
= R. Usando la formula de la
nulidad y el rango para cada aplicacion de (4.5) (equivalentemente, por el Lema 4.3.3)
llegaremos a que H
1
(S
n
) = 0.
Si n = 1 entonces S
n1
= 1, 1, luego H
0
(S
n1
)
= R
2
. Razonando como arriba
llegaremos a que H
1
(S
1
)
= R.
En resumen, H
1
(S
1
)
= R, H
1
(S
n
) = 0 n > 1, H
k
(S
n
)
= H
k1
(S
n1
), de donde el
Teorema de deduce por induccion sobre n. 2
Una consecuencia directa del Teorema 4.4.1 es la siguiente:
Corolario 4.4.1 Si n ,= m, entonces S
n
no tiene el mismo tipo de homotopa
8
que S
m
(en particular, no son homeomorfas).
El siguiente corolario es trivial si cambiamos homeomorfos por isomorfos (como espa-
cios vectoriales) o difeomorfos; la gracia esta en que usamos argumentos diferenciables
para obtener resultados topologicos.
Corolario 4.4.2 Si n ,= m, entonces R
n
y R
m
no son homeomorfos.
8
En rigor, deberamos decir aqu tipo de homotopa diferenciable. Para eliminar el adjetivo diferen-
ciable, necesitamos que si dos variedades tienen el mismo tipo de homotopa continua, entonces tienen el
mismo tipo de homotopa diferenciable. Esto es consecuencia de la discusion nal de la Seccion 4.2.
122 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
Demostracion. Supongamos que existiera un homemomorsmo h : R
n
R
m
. Restringien-
do deduciramos que R
n
0 es homeomorfo a R
m
h(0). Pero R
n
0 tiene el mismo
tipo de homotopa que S
n1
, y R
m
h(0) tiene el mismo tipo de homotopa que S
m1
,
luego tendramos que S
n1
tiene el mismo tipo de homotopa que S
m1
, contradiccion. 2
Como el anterior, hay otros muchos resultados clasicos de la topologa (teorema del
punto jo de Brouwer, teorema de la invarianza del dominio, teorema de separacion de
Jordan-Brouwer, etc.) que pueden demostrarse usando cohomologa de de Rham, con tecni-
cas parecidas a las anteriores. Como antes, enunciaremos los resultados en toda generalidad
pero solo los los probaremos rigurosamente en la categora diferenciable.
Teorema 4.4.2 (Teorema del punto jo de Brouwer)
Toda aplicacion continua f : D
n
D
n
tiene un punto jo, siendo D
n
= x R
n
[ [x[ 1.
Demostracion. Por reduccion al absurdo, supongamos que f no tiene puntos jos en D
n
.
Dado x D
n
, consideremos la recta R que une x con f(x) (es unica porque x ,= f(x)):
R = x() = x +(x f(x)) [ 0.
Como R es no acotada, R cortara a D = S
n1
en dos puntos distintos x(
1
), x(
2
), siendo
1
=
1
(x) 0,
2
=
2
(x) < 0. Ademas,
1
,
2
son las soluciones de la siguiente ecuacion
de segundo grado en :
|x +(x f(x))|
2
= 1,
luego
1
,
2
son funciones continuas de x D
n
(de hecho, el que
1
,=
2
implica que
1
,
2
dependen diferenciablemente de si f es diferenciable). Consideremos la aplicacion
h : D
n
S
n1
dada por
x h(x) = x(
1
).
h es continua (de hecho, h es C
: H
n1
(S
n1
)
= R H
n1
(D
n
)
= H
n1
(D
n
) = 0 es
inyectiva, contradiccion. 2
El Teorema del punto jo de Brouwer tiene muchas aplicaciones a la vida real;
comentaremos algunas.
Tomemos una hojas de papel con un sistema de coordenadas (una cuadrcula). Pense-
mos en dos copias de la hoja, de las cuales una la situamos perfectamente estirada
sobre una mesa y la otra la arrugamos (sin romperla), formando con ella una bola
de papel arrugado. Ahora situamos la copia arrugada donde queramos, encima de
4.4. COHOMOLOG
= R R, I([]) =
_
S
n
.
El corolario estara probado si vemos que I es un isomorsmo, o equivalentemente, si
Im(I) ,= 0. Para esto ultimo, tomemos una carta (U, = (x
1
, . . . , x
n
)) de S
n
y una
funcion f C
(S
n
) cumpliendo f 0 en S
n
, f(p) > 0 en al menos un punto p S
n
y
cuyo soporte es compacto contenido en U. Entonces, extendiendo f dx
1
. . . dx
n
por
cero a S
n
obtenemos una n-forma
n
(S
n
) (cerrada por ser de grado maximo), y
I([]) =
_
S
n
=
_
(U)
(f
1
) dx
1
. . . dx
n
> 0.
Por tanto, I es un isomorsmo. 2
Nota 4.4.1 Mas adelante generalizaremos el Corolario 4.4.3 a cualquier variedad difer-
enciable, compacta, conexa y orientable.
124 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
A continuacion determinamos la cohomologa de de Rham de RP
n
. En la Seccion 2.4
vimos que la igualdad A A = 1
S
n (aqu A es la aplicacion antpoda) produce una de-
scomposicion
k
(S
n
) =
k
+
(S
n
)
k
(S
n
), donde
(S
n
) =
k
(S
n
) [ A
= .
Esta descomposicion se traslada a la cohomologa:
H
k
(S
n
) = H
k
+
(S
n
) H
k
(S
n
),
donde H
k
(S
n
) = [] H
k
(S
n
) [
k
(S
n
). Por otro lado, si llamamos : S
n
RP
n
a la proyeccion canonica, el que
:
k
(RP
n
)
k
+
(S
n
) sea un isomorsmo hace que
: H
k
(RP
n
) H
k
+
(S
n
)
tambien sea un isomorsmo. Por tanto, H
k
(RP
n
)
= H
k
+
(S
n
) H
k
(S
n
) = 0 si 0 < k < n,
luego para tales k es H
k
(RP
n
) = 0. Para k = n tenemos H
n
(S
n
)
=
_
R si k = 0
0 si 0 < k < n,
H
n
(RP
n
)
=
_
R si n par,
0 si n impar.
Teorema 4.4.3 S
n
admite un campo de vectores sin ceros si y solo si n es impar.
Demostracion. En S
2k1
podemos considerar el campo tangente X(x
1
, x
2
, . . . , x
2k1
, x
2k
) =
(x
2
, x
1
, . . . , x
2k
, x
2k1
), que no tiene ceros.
Recprocamente, supongamos que existe X X(S
n
) sin ceros y veamos que n es impar.
Consideremos la aplicacion diferenciable f : S
n
S
n
dada por f(p) =
X(p)
|Xp|
, que tiene
sentido porque X no tiene ceros. Claramente, no puede existir p S
n
tal que f(p) = p
(porque entonces sera X
p
= |X
p
|p, que no es tangente a S
n
) o tal que f(p) = p
(por la misma razon). Por la Armacion 4.4.1 que probaremos abajo, tenemos que f es
diferenciablemente homotopica a A (aplicacion antpoda) y a 1
S
n. Por transitividad, A es
diferenciablemente homotopica a 1
S
n, luego a nivel de H
n
(S
n
) inducen la misma aplicacion
lineal. Esto dice que A
= H
p+1
(R
n+2
M), para p 1,
H
0
(R
n+1
M)
= H
1
(R
n+2
M) R, H
0
(R
n+2
M)
= R.
9
Este enunciado es cierto para funciones continuas f, g : X S
n
siendo X cualquier espacio topologi-
co, cambiando diferenciablemente homot opicas por simplemente homot opicas. La demostraci on es la
misma, pero la homotopa H : S
n
R S
n
cambia a H : X [0, 1] S
n
, tomando (t) = t.
126 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
Proposicion 4.4.3 Sean M
n
y N
n
dos subvariedades cerradas de R
n+1
y : M N un
difeomorsmo. Entonces se extiende a un difeomorsmo : R
2(n+1)
R
2(n+1)
, donde
R
n+1
esta incluido en R
2(n+1)
por x (x, 0).
Corolario 4.4.4 Si M
n
y N
n
son dos subvariedades cerradas de R
n+1
difeomorfas, en-
tonces
H
p
(R
n+1
M)
= H
p
(R
n+1
N), p 0.
En particular R
n+1
M y R
n+1
N tienen el mismo n umero de componentes conexas.
Corolario 4.4.5 (Teorema de separacion de Jordan-Brouwer) El compleneto de
una subvariedad de R
n+1
difeomorma a
n
tiene dos componentes conexas.
4.5. Cohomologa de grado maximo. Clase fundamental.
En esta seccion generalizaremos algunos de los resultados obtenidos para la coho-
mologa de la esfera. Sea M
n
una variedad compacta y orientada de dimension n. Si
,
n
(M) cohomologas, esto es = + d para cierta
n1
(M), entonces el
teorema de Stokes implica que
_
M
=
_
M
+
_
M
d =
_
M
.
Por tanto, tiene sentido la aplicacion lineal I : H
n
(M
n
) R dada por
I([]) =
_
M
, [] H
n
(M). (4.6)
Para probar que I es un epimorsmo de espacios vectoriales, bastara comprobar que I no
es identicamente nula. Podemos probar esto repitiendo el argumento de la demostracion
del Corolario 4.4.3, o tambien usar que si
0
es una n-forma sin ceros sobre M (que existe
en nuestras condiciones), entonces
_
M
0
,= 0.
Tal y como ocurra para S
n
, I es un isomorsmo; pero ahora no conocemos a priori
H
n
(M) para deducir esto de la sobreyectividad de I, sino que sera al reves.
Teorema 4.5.1 Sea M
n
una variedad compacta, conexa y orientada. Entonces, la apli-
cacion lineal I : H
n
(M) R dada por (4.6) es un isomorsmo de espacios vectoriales.
En particular, H
n
(M
n
)
IA DE GRADO M
= H
n1
(S
n1
)
= R.
Por otro lado, la inclusion i : B(r) R
n
B(r) es una equivalencia homotopica,
luego induce un isomorsmo a nivel de la cohomologa (n 1)-dimensional,
i
: H
n1
(R
n
B(r)) H
n1
(B(r))
= R, i
([]) = [i
] = [[
B(r)
].
Recordemos que la integracion produce un isomorsmo de H
n1
(S
n1
) en R. Ademas, el
Teorema de Stokes nos dice que
_
B(r)
[
B(r)
=
_
B(r)
d =
_
B(r)
=
_
R
n
= 0,
Luego i
([ [
R
n
B(r)
]) = 0 en H
n1
(B(r)). Como i
(R
n
) tal
que f = 0 en un entorno de B(r), f = 1 en B(2r). Denimos
n2
(R
n
),
n1
(R
n
)
mediante
=
_
f en R
n
B(r),
0 en B(r),
= d .
Fuera de B(2r) tenemos d = d(f ) = d() = luego [
R
n
B(2r)
= 0. Por tanto, tiene
soporte compacto, y d = d = en R
n
, lo que termina de probar el lema. 2
Una consecuencia directa del Lema 4.5.1 es que dadas
1
,
2
n
c
(R
n
), se tiene:
n1
c
(R
n
) [ d =
1
2
_
R
n
1
=
_
R
n
2
. (4.7)
Lema 4.5.2 Sea U R
n
un abierto no vaco y
n
c
(R
n
). Entonces, existe
1
n
c
(R
n
)
con soporte(
1
) U tal que
1
es la diferencial exterior de una (n1)-forma de soporte
compacto en R
n
.
128 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
Demostracion. Usando una funcion meseta con soporte compacto contenido en U, pode-
mos encontrar
1
n
c
(R
n
) tal que soporte() U y
_
R
n
1
=
_
R
n
. Usando (4.7)
concluiremos la demostracion del lema. 2
Ahora pasaremos el Lema 4.5.2 a una variedad diferenciable M
n
. Dado k = 0, . . . , n,
llamaremos
k
c
(M) =
k
(M) [ soporte() es compacto.
Lema 4.5.3 Sea U M
n
un abierto no vaco de una variedad diferenciable y conexa.
Dada
n
c
(M), existe
1
n
c
(M) con soporte(
1
) U tal que
1
es la diferencial
exterior de una (n 1)-forma de soporte compacto en M.
Demostracion. Primero probaremos el lema suponiendo que soporte() V ,
donde V M es un abierto de M difeomorfo a R
n
.
Tomemos un abierto W U que sea difeomorfo a R
n
. Tomemos una cadena nita
de abiertos O
1
, . . . O
r
de M tales que O
1
= V , O
r
= W, cada O
i
es difeomorfo a R
n
y
O
i
O
i+1
,= i = 1, . . . , r 1 (esto puede conseguirse uniendo un punto de V con otro
de W mediante una curva continua, tomando un recubrimiento de la curva por abiertos
de M difeomorfos a R
n
y usando la compactidad de la curva).
Aplicando el Lema 4.5.2 a O
1
O
2
(que podemos ver como abierto de R
n
) y a [
O
1
n
c
(O
1
) (notese que O
1
es difeomorfo a R
n
), deducimos que existe
1
n
c
(O
1
) con
soporte(
1
) O
1
O
2
tal que [
O
1
es la diferencial exterior de una (n 1)-forma
1
n1
c
(O
1
). Extendiendo por cero
1
,
1
a M podemos considerar ambas formas en
k
c
(M), k = n 1, n.
Aplicando el Lema 4.5.2 a O
2
O
3
(que podemos ver como abierto de R
n
) y a
1
[
O
2
n
c
(O
2
) (notese que O
2
es difeomorfo a R
n
), deducimos que existe
2
n
c
(O
2
) con
soporte(
2
) O
2
O
3
tal que [
O
2
[
1
es la diferencial exterior de una (n 1)-forma
2
n1
c
(O
1
). Extendiendo por cero
2
,
2
a M podemos considerar ambas formas en
k
c
(M), k = n 1, n.
Reiterando el proceso, probaremos el lema en este primer caso.
Ahora demostraremos el lema en el caso general.
Sea V
i
iN
un recubrimiento localmente nito de M por abiertos difeomorfos a R
n
,
y
i
iN
una particion de la unidad subordinada al recubrimiento. Por ser compacto el
soporte de , solo cortara a una cantidad nita de V
i
a los que llamamos V
i
1
, . . . , V
i
k
.
En particular,
i
1
+ . . . +
i
k
= 1 en el soporte de . As, =
k
j=1
i
j
, y cada
i
j
j
n1
c
(M), j = 1 . . . , k. As, :=
k
j=1
j
n
c
(M), :=
k
j=1
j
n1
c
(M),
soporte( ) U y d = . 2
Demostracion del Teorema 4.5.1. Por la discusion previa al enunciado del teorema, la
aplicacion I : H
n
(M) R esta bien denida y es un epimosrmo de espacios vectoriales.
4.6. GRADO DE APLICACIONES DIFERENCIABLES. 129
Queda ver que ker(I) = 0, es decir que si
n
(M) cumple
_
M
= 0, entonces es
exacta.
Tomemos un abierto U M difeomorfo a R
n
. Por el Lema 4.5.3, existe
1
n
c
(M) =
n
(M) con soporte(
1
) U, tal que
1
= d para cierta
n1
c
(M) =
n1
(M).
Por el Teorema de Stokes,
0 =
_
M
=
_
M
1
+
_
M
d =
_
M
1
=
_
U
1
. (4.8)
Como U es difeomorfo a R
n
, podemos aplicar el Lema 4.5.1 a U y a
1
[
U
n
c
(U). As,
(4.8) implica que existe
n1
c
(U) tal que
1
[
U
= d en U. Extendiendo por cero a
M, tenemos
n1
(M) y = d en M. As, en H
n
(M) se tiene [] = [
1
] = 0. 2
4.6. Grado de aplicaciones diferenciables.
En esta seccion, M
n
y N
n
denotaran dos variedades conexas, compactas, orientadas y
de la misma dimension. Toda aplicacion C
:
H
n
(N) H
n
(M), y el Teorema 4.5.1 produce un diagrama conmutativo de aplicaciones
lineales (las echas verticales son isomorsmos)
H
n
(N)
-
H
n
(M)
?
I (
=)
?
I (
=)
R
-
R
donde : R R es de la forma (x) = a x, x R, para cierto a R jo. La conmuta-
tividad del diagrama nos dice que
_
M
= a
_
N
,
n
(N).
Denicion 4.6.1 En la situacion anterior, al n umero real a se le llama el grado de y
se le representa por deg(). As pues,
_
M
= deg()
_
N
,
n
(N).
Veamos algunas propiedades sencillas del grado.
Proposicion 4.6.1
1. El grado depende de las orientaciones jadas en M, N, pero si M = N ya no depende
de la orientacion prescrita en M.
130 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
2. deg(1
M
) = 1.
3. Si : M N es un difeomorsmo, entonces deg() = 1 si conserva la ori-
entacion y deg() = 1 si la invierte.
4. Si : M
n
N
n
es constante, entonces deg() = 0.
5. Si : M
n
N
n
y : N
n
P
n
son aplicaciones diferenciables entre variedades
conexas, compactas y orientadas, entonces deg( ) = deg() deg().
6. Si , C
(M
n
, N
n
) son diferenciablemente
10
homotopicas, entonces deg() =
deg().
Demostracion. 1,2,4,5 son triviales. 3 es consecuencia de la formula del cambio de variable
(Teorema 2.5.2) y 6 se deduce del Teorema 4.2.1. 2
Ejemplo 4.6.1 La aplicacion antpoda A : S
n
S
n
tiene grado deg (A) = (1)
n+1
.
A continuacion veremos un metodo para calcular el grado de una aplicacion diferenciable
: M
n
N
n
entre variedades conexas, compactas y orientadas. Consideremos un valor
regular q N de , esto es d
p
es sobreyectiva p
1
(q) (como M y N tienen la misma
dimension, d
p
es un isomorsmo para tales p). El teorema de Sard (Teorema 2.5.1) nos
asegura que los valores regulares de son densos en N. Por el teorema de la funcion inversa,
los puntos de
1
(q) son aislados y por ser M compacta,
1
(q) es nito, pongamos
1
(q) = p
1
, . . . , p
m
M. Como M, N estan orientadas y d
p
i
: T
p
i
M T
q
N es un
isomorsmo, se puede denir el signo de en p
i
por
sig(, p
i
) = 1,
seg un que d
p
i
conserve o invierta la orientacion.
Teorema 4.6.1 En las condiciones anteriores,
deg() =
m
i=1
sig(, p
i
). (4.9)
(En particular, el miembro de la derecha no depende del valor regular q elegido).
10
Sigue siendo valido si s olo exigimos que , sean homot opicas (continuamente).
4.6. GRADO DE APLICACIONES DIFERENCIABLES. 131
Demostracion. Tenamos un valor regular q N y
1
(q) = p
1
, . . . , p
m
. Como d
p
i
:
T
p
i
M T
q
N es un isomorsmo de espacios vectoriales, el Teorema de la Funcion inversa
nos da entornos abiertos U
i
de p
i
y V
i
de q tales que [
U
i
: U
i
V
i
es un difeomors-
mo. Podemos suponer que los U
i
son todos disjuntos. Cambiando V
i
por V :=
m
i=1
V
i
y
redeniendo U
i
como ([U
i
)
1
(V ), tenemos
1
(V ) = U
1
. . . U
m
. Tampoco perdemos
generalidad tomando V conexo (y por tanto todos los U
i
tambien lo son).
Por el Lema 4.5.3, podemos tomar una n-forma
n
(N) con soporte() V y
_
N
= 1. As,
_
M
= deg()
_
N
= deg().
Ahora calcularemos la integral de la izquierda. Como soporte() V , tenemos que
soporte(
) U
1
. . . U
m
, y como los U
i
son disjuntos,
_
M
=
m
i=1
()
=
m
i=1
i
_
V
(4.10)
donde en () hemos usado la formula de cambio de variable (Teorema 2.5.2), y = 1
(resp. 1) si [
U
i
: U
i
V conserva la orientacion (resp. invierte la orientacion). Como
U
i
es conexo y p
i
U
i
, tenemos que [
U
i
: U
i
V conserva la orientacion si y solo si
d
p
i
: T
p
i
M T
q
N conserva la orientacion. Ahora la formula (4.9) se deduce directamente
de (4.10). 2
Corolario 4.6.1 Sea : M N una aplicacion diferenciable entre variedades conexas,
compactas, orientadas y de la misma dimension. Entonces:
1. deg() Z.
2. Si no es sobreyectiva deg() = 0.
Nota 4.6.1 El punto 2 anterior es util para probrar que ciertas ecuaciones (p) = q
tienen solucion: basta probar que : M N tiene grado distinto de cero. Por otro lado y
como ocurre con otros resultados anteriores, el hecho de que toda aplicacion continua sea
homotopica a una diferenciable hace que pueda extenderse la denicion de grado a apli-
caciones continuas f : M
n
N
n
siendo M, N compactas, conexas y orientadas. Incluso
puede evitarse la hipotesis de compacidad sobre M, imponiendo que f sea propia (es decir,
la imagen inversa de cada compacto de N es compacta en M). En estas condiciones mucho
mas generales, el grado es independiente de la clase de homotopa de la aplicacion f, y el
Corolario 4.6.1 sigue siendo valido.
132 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
Ejercicios.
1. Probar que la cohomologa de de Rham del toro T = S
1
S
1
viene dada por
H
k
(T)
= R si k=0,2, H
1
(T)
= R
2
.
Demostrar que si [] H
1
(S
1
) es un generador (esto es una clase no nula), entonces
1
[],
2
[] es una base de H
1
(T), siendo
i
: T S
1
, i = 1, 2 las proyecciones
(indicacion: probar que
2
es un elemento de volumen en T).
2. Dados p
1
, . . . , p
m
con m N, demostrar que la cohomologa de R
n
p
1
, . . . , p
m
es
H
0
(R
n
p
1
, . . . , p
m
)
= R, H
n1
(R
n
p
1
, . . . , p
m
)
= R
m
,
H
k
(R
n
p
1
, . . . , p
m
) = 0 k = 1, . . . , n 2, n.
(Indicacion usar induccion sobre m; caer en la hipotesis de induccion usando la sucesion
de Mayer-Vietoris).
3. Cohomologa de de Rham de las superficies compactas y orientables.
Admitiendo que cada supercie compacta y orientable es difeomorfa a la supercie
g
siguiente para algun g N 0, calcularemos en este ejercicio sus espacios de
cohomologa de de Rham:
a) Sea D
g
un abierto de R
2
producido quitando g discos cerrados disjuntos a un disco
abierto. Probar que la cohomologa de de Rham de D
g
viene dada por
H
k
(D
g
)
=
_
_
_
R si k = 0
R
g
si k = 1
0 si k = 2.
(Indicacion: probarlo por induccion sobre g, usando la sucesion de Mayer-Vietoris).
4.6. GRADO DE APLICACIONES DIFERENCIABLES. 133
b) Probar que la cohomologa de de Rham de
g
viene dada por
H
k
(D
g
)
=
_
_
_
R si k = 0
R
2g
si k = 1
R si k = 2.
(Indicacion: Dividir
g
en dos mitades cortandola por su plano de simetra horizon-
tal, y usar la sucesion de Mayer-Vietoris).
4. Sea M
n
una variedad diferenciable, orientada y D M un dominio compacto con borde
diferenciable y conexo (por tanto, D es una (n1)-variedad compacta y orientada segun
la orientacion inducida). Sea : D N
n1
una aplicacion diferenciable valuada en
una variedad conexa, compacta y orientada con la misma dimension que D. Probar
que si admite una extension diferenciable
: D N, entonces deg() = 0.
5. Teorema fundamental del algebra.
Sea P(z) = z
n
+a
1
z
n1
+. . . +a
n1
z +a
n
un polinomio con coecientes complejos. El
objetivo de este ejercicio es demostrar que P tiene al menos un cero en C. El argumento
es por reduccion al absurdo, luego supongamos en adelante que P(z) ,= 0 z C.
a) Sea R > 0 y S
1
(R) = z C [ [z[ = R. Consideremos las aplicaciones , :
S
1
(R) S
1
(1) dadas por (z) =
P(z)
[P(z)[
, (z) =
z
n
R
n
. Probar que deg() = 0 y
deg() = n.
b) Demostrar que existe R > 0 tal que z
n
+ (a
1
z
n1
+ . . . + a
n1
z + a
n
) ,= 0
(z, ) S
1
(R) [0, 1].
c) Para el radio R del apartado anterior, construir una homotopa diferenciable entre
y , lo que implica que deg() = deg(), contradiccion.
6. Cohomologa con soportes compactos.
Sea M
n
una variedad diferenciable y k = 0, . . . , n. Recordemos que
k
c
(M) es el sub-
conjunto de
k
(M) formado por las k-formas de soporte compacto. Probar que:
a)
k
c
(M) es un subespacio vectorial de
k
(M),
c
(M) :=
n
k=0
k
c
(M) es un
subalgebra de (M) y la diferencial exterior cumple d
_
k
c
(M)
_
k+1
c
(M).
b) Los siguientes subconjuntos son subespacios vectoriales de
k
c
(M):
Z
k
c
(M) =
k
c
(M) [ d = 0, B
k
c
(M) = d
_
k1
c
(M)
_
,
Se dene el k-esimo espacio de cohomologa con soportes compactos como
H
k
c
(M) =
Z
k
c
(M)
B
k
c
(M)
.
134 CAP
ITULO 4. COHOMOLOG
IA DE DERHAM
Notese que las funciones constantes no estan en
k
c
(M), a menos que M sea
compacta (y en tal caso, la cohomologa con soportes compactos coincide con la
cohomologa de de Rham usual). La aplicacion
i : H
k
c
(M) H
k
(M), i([]) = [],
es lineal, pero no es necesariamente un monomorsmo.
c) Si M es conexa y no compacta, entonces H
0
c
(M) = 0.
d) Si f C
: H
k
c
(N) H
k
c
(M) mediante f
([]) = [f
],
H
k
c
(N). Ademas, las propiedades habituales (1
M
)
= 1
H
k
c
(M)
, (g f)
=
f
=
_
0 si 0 k < n,
R si k = n,
y que la integracion I : H
n
c
(R
n
) R dada por I([]) =
_
M
, proporciona un
isomorsmo de espacios vectoriales.