Вы находитесь на странице: 1из 20

w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Captulo XI
Cohomologa de De Rham
La regla de Barrow reduce el problema de calcular la integral de una funci on
continua cualquiera al c alculo de una primitiva. En la pr actica existen funciones
para las cuales la determinacion de una primitiva puede ser muy complicado, e
incluso puede ocurrir que dicha primitiva no admita una expresi on en terminos
de funciones conocidas, como senos, exponenciales, etc. y que por consiguiente
la citada regla, aunque pueda ser de utilidad, no resuelve completamente el
problema. No obstante, contamos con el hecho de que toda funci on continua en
un intervalo tiene primitiva o, lo que es lo mismo, que toda 1-forma continua
f dx en un intervalo puede expresarse como dg, para una cierta 0-forma g.
La situacion es distinta en el caso general: no es cierto que toda k-forma
sea la diferencial de una k 1-forma, ni siquiera en el caso de 1-formas sobre
1-variedades distintas de los intervalos. El teorema de Stokes hace que sea
interesante determinar bajo que condiciones una forma es la diferencial de otra.
Adem as, bajo este planteamiento caben problemas muy variados. Por ejemplo,
un campo F en R
n
es conservativo si y solo si es el gradiente de una funci on, lo
cual equivale a que la 1-forma F dr sea la diferencial de una 0-forma.
Denicion 11.1 Diremos que una k-forma es exacta si = d

, para una
cierta k 1-forma

. Diremos que es cerrada si d = 0.


Es obvio que una condici on necesaria para que una forma sea exacta es que
sea cerrada, pues si = d

entonces d = d(d

)) = 0. Sucede que en muchos


casos esta simple condicion es tambien suciente. En este captulo veremos
lo mas basico de una importante teora que nos permite determinar bajo que
condiciones esto es as.
11.1 Grupos de cohomologa
Nota En las secciones siguientes, cuando hablemos de variedades diferencia-
bles entenderemos que tienen cartas de clase C

y cuando digamos que una


funci on o una forma es diferenciable entenderemos que es de clase C

.
397
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
398 Captulo 11. Cohomologa de De Rham
Comenzamos con unas deniciones algebraicas que que se ajustan a la es-
tructura de las algebras de Grassmann:
Denicion 11.2 Un modulo graduado sobre un anillo A es una suma directa
de A-modulos C =

kZ
C
k
.
Los elementos de cada submodulo C
k
se llaman homogeneos de grado k.
Un subm odulo graduado de C es un modulo graduado D tal que D
k
= C
k
D.
Un homomorsmo graduado f : C D (de grado d) entre modulos gra-
duados es un homomorsmo de modulos tal que f
k
= f[
C
k
: C
k
D
k+d
para
todo entero k.
Un complejo es un par ordenado C = (C, ), donde C es un modulo graduado
y : C C es un homomorsmo de grado 1 tal que = 0. Si tiene
grado 1 el complejo se dice directo y si el grado es 1 se dice inverso.
Un complejo directo puede verse tambien como una sucesion de modulos y
homomorsmos:

k+2
C
k+1

k+1
C
k

k
C
k1

k1

de modo que
k+1

k
= 0 para todo k. Un complejo inverso es igual pero
cambiando el sentido de las echas.
Ejemplo Si S es una variedad diferenciable, el algebra de Grassmann
(S) =

kZ

k
(S)
es un espacio vectorial graduado (tomando
k
(S) = 0 para k < 0). Ademas la
diferencial exterior d es un homomorsmo de grado 1 en S que lo convierte en
un complejo inverso.
Notemos que todo complejo directo puede verse como un complejo inverso sin
mas que cambiar los ndices, por lo que todo lo que vale para complejos directos
vale para complejos inversos. La diferencia la marca unicamente la pr actica:
del mismo modo que resultara articial tratar al algebra de Grassmann como
un complejo directo, hay otros complejos que resultara articial tratarlos como
complejos inversos.
Es costumbre usar terminos distintos para referirse a los conceptos corres-
pondientes a los complejos directos y a sus analogos en los complejos inversos.
Para empezar, los modulos homogeneos de un complejo inverso se suelen repre-
sentar con superndices C
k
en lugar de con subndices C
k
.
Dado un complejo C = (C, ), el homomorsmo recibe el nombre de ope-
rador frontera en un complejo directo y operador cofrontera en un complejo
inverso.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
11.1. Grupos de cohomologa 399
Los elementos de C
k
(en un complejo directo) se llaman cadenas de dimension
k y los de C
k
(en un complejo inverso) se llaman cocadenas de dimension k.
Los elementos de Z
k
=
N
(
k
) (el n ucleo de
k
) se llaman ciclos de di-
mension k. Respectivamente, los elementos de Z
k
=
N
(
k
) se llaman cociclos
de dimension k.
Los elementos de F
k
= Im(
k+1
) (resp. F
k
= Im(
k1
)) se llaman fronteras
(resp. cofronteras) de dimension k.
La condicion = 0 implica que F
k
Z
k
(resp. F
k
Z
k
). El m odulo
cociente H
k
(C) = Z
k
/F
k
(resp. H
k
(C) = Z
k
/F
k
) recibe el nombre de grupo
de homologa (resp. grupo de cohomologa) de dimension k. Dos (co)ciclos son
(co)homologos si pertenecen al la misma clase de (co)homologa.
Una vez entendida la cuestion de notaci on, en lo que sigue desarrollaremos
la teora en terminos de cohomologa, pues las algebras de Grassmann son com-
plejos inversos. Si C es un complejo, denimos
H(C) =

kZ
H
k
(C),
que es obviamente un modulo graduado.
Denicion 11.3 Sea S una variedad diferenciable. El grupo de cohomologa
de dimension k del algebra de Grassmann (S) recibe el nombre de grupo de
cohomologa de De Rham de dimension k de la variedad S y se representa por
H
k
(S). Llamaremos
H(S) =

kZ
H
k
(S).
Notemos que las cocadenas de dimension k son las k-formas, los cociclos son
las k-formas cerradas y las cofronteras son las k-formas exactas. Los grupos de
cohomologa son en este caso espacios vectoriales sobre R.
Si S es una variedad de dimensi on n es evidente que H
k
(S) = 0 para k < 0
y k > n. Los 0-cociclos son las funciones en S cuya diferencial es nula. Si S
es conexa son exactamente las funciones constantes y como F
0
= 0, concluimos
que H
0
(S)

= R. M as en general, es facil ver que si S tiene p componentes
conexas entonces H
0
(S)

= R
p
.
El objetivo de la teora que estamos desarrollando es calcular los grupos de
cohomologa H
k
(S) para 1 k n, pues si probamos que H
k
(S) = 0 entonces
sabemos que las k-formas exactas coinciden con las cerradas y tenemos as una
caracterizacion sencilla de las primeras.
Denicion 11.4 Un homomorsmo de complejos : C C

es un homomor-
smo de grado 0 tal que

= , o equivalentemente, tal que los diagramas


w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
400 Captulo 11. Cohomologa de De Rham
siguientes conmutan:
C
k1

k1
C
k

k
C
k+1

_
k1

_
k

_
k+1
C
k1

k1
C
k

k
C
k+1

Es claro que un homomorsmo enva ciclos a ciclos y fronteras a fronte-
ras, luego induce homomorsmos
k
: H
k
(C) H
k
(C

) o, equivalentemente,
induce un homomorsmo de grado 0
: H(C) H(C

).
Es inmediato que la composicion de homomorsmos de complejos es un ho-
momorsmo de complejos as como que = . Si es un isomorsmo
entonces tambien lo es y ()
1
=
1
. Si f : S T es una aplicacion dife-
renciable entre variedades, la retracci on f

: (T) (S) es un homomorsmo


de complejos, que a su vez induce un homomorsmo f

: H(T) H(S). Por


simplicar la notaci on escribiremos f en lugar de f

.
Ejercicio: Sea S =

iI
S
i
una union disjunta de variedades (entendiendo que cada
una de ellas es abierta y cerrada en S). Probar que H(S)

iI
H(S
i
).
Los difeomorsmos entre variedades inducen isomorsmos entre los grupos
de cohomologa de De Rham. Esto era de esperar. Sin embargo, vamos a probar
que hay aplicaciones mucho mas generales que los difeomorsmos y que tambien
inducen isomorsmos entre los grupos de cohomologa, lo que nos permitir a
reducir el calculo de unas variedades a otras m as simples. Dedicamos a ello la
seccion siguiente.
11.2 Homotopas
Recordemos que tenemos denido el producto de una variedad sin frontera
por una variedad con o sin frontera. Claramente, el producto de una recta y
una circunferencia nos da una supercie cilndrica, mientras que el producto de
una recta y un crculo nos da un cilindro s olido (con o sin frontera, seg un si
el crculo es cerrado o abierto). En general, dada una variedad S, llamaremos
cilindro de S a la variedad producto R S. Conviene pensar en R S como
en innitas copias de S apiladas una encima de otra, cada una a una altura
t. Concretamente, la copia de altura t R es S
t
= t S. Es claro que S
t
es
una variedad difeomorfa a S.
Cuando trabajemos con un cilindro RS consideraremos unicamente cartas
de la forma

X = I X, donde I es la identidad en R y X es una carta en S.
De este modo,

X(t, u) =
_
t, X(u)
_
. En particular vemos que el primer vector
de la base canonica esta en todos los espacios tangentes:
e
1
= D
1

X(t, u) T
(t,p)
(R S).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
11.2. Homotopas 401
Denicion 11.5 Dos aplicaciones f, g : S
1
S
2
diferenciables entre dos
variedades son homotopicas si existe H : R S
1
S
2
diferenciable de modo
que para todo p S
1
se cumpla
H(0, p) = f(p), H(1, p) = g(p).
Se dice que la aplicacion H es una homotopa entre f y g.
Es decir, dos aplicaciones son homotopicas si una se puede transformar en
la otra mediante una gradaci on diferenciable.
Ejemplo Sea S
1
la bola abierta de centro 0 y radio 2 en R
n
menos su centro 0.
Se trata de un abierto en R
n
y por lo tanto es una variedad. Sea f : S
1
S
1
la aplicacion identidad y sea g : S
1
S
1
la aplicacion dada por g(x) = x/|x|.
Ambas son homotopicas. Basta considerar la homotopa
H(t, x) =
tx
|x|
+ (1 t)x.
S
0
S
1/2
S
1
Si jamos x y hacemos variar t en-
tre 0 y 1 vemos que H(t, x) recorre el
segmento radial que va desde x hasta
la circunferencia unidad. As, H trans-
forma S
0
en todo S
0
(es la identidad),
al llegar a 1/2 cada punto ha recorrido
la mitad de su camino hasta la circun-
ferencia, por lo que la imagen de S
1/2
es la corona sombreada en la gura, y nalmente la imagen de S
1
es la circun-
ferencia. La homotopa H aproxima paulatinamente la imagen de cada punto
por la aplicaci on f hasta su imagen por la aplicaci on g.
El objetivo de esta seccion es probar que dos aplicaciones homot opicas en-
tre variedades inducen la misma aplicaci on entre los grupos de cohomologa.
La prueba es una generalizaci on de un teorema de Poincare y necesita varios
conceptos previos.
La evaluacion Sea S R
m
una variedad y V un campo de vectores tangentes
en S, es decir, V : S R
m
es una funci on diferenciable y para cada p S
se cumple V (p) T
p
(S). Entonces V induce una aplicaci on lineal de grado 1
i(V ) : (S) (S) que a cada k-forma le asigna la k 1-forma dada por
i(V )()(p)(v
1
, . . . , v
k1
) = (p)(V (p), v
1
, . . . , v
k1
).
Convenimos que i(V )(f) = 0 para toda f
0
(S).
Es claro que i(V )()(p) A
k1
(T
p
(S)), pero falta ver que i(V )() es di-
ferenciable. En principio i(V ) es una aplicacion lineal de (S) en el algebra
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
402 Captulo 11. Cohomologa de De Rham
de todas las formas en S, no necesariamente diferenciables. Una comprobacion
rutinaria nos da que si
1

k
(S),
2
(S), entonces
1
i(V )(
1

2
) = i(V )(
1
)
2
+ (1)
k

1
i(V )(
2
).
Las aplicaciones lineales que cumplen esta relacion se llaman antiderivacio-
nes. Otro ejemplo de antiderivaci on es la diferencial exterior.
Para probar que i(V )() es diferenciable en un punto p tomamos una carta
X alrededor de p. Si W es el rango de X, notamos que i(V [
W
)([
W
) coincide con
i(V )()[
W
, luego basta probar que la primera es diferenciable. Ahora bien, una
forma en W se expresa en funcion del producto exterior a partir de 0-formas y
las diferenciales de las coordenadas dx
i
y al ser una antiderivaci on i(V [
W
)([
W
)
quedar a en funci on de las imagenes por i(V [
W
) de estas formas en particular,
luego basta ver que i(V [
W
)(dx
i
) es diferenciable (para las 0-formas es obvio,
porque la imagen es nula). Ahora bien,
i(V [
W
)(dx
i
)(p) = dx
i
(p)(V (p)) = V
i
(p),
donde V (X(x)) =
n

i=1
V
i
(X(x)) D
i
X(x). El teorema de la funci on implcita
justica que las funciones X V
i
son diferenciables (luego las V
i
tambien).
La antiderivaci on i(V ) se llama evaluaci on en V .
En particular, en un cilindro RS podemos considerar el campo constante
igual a e
1
. Si S se puede cubrir con una sola carta X y llamamos (t, x
1
, . . . , x
n
)
a las coordenadas del cilindro, tenemos que i(e
1
)(dt) = 1, i(e
1
)(dx
i
) = 0. Estas
relaciones determinan a i(e
1
). Concretamente:
i(e
1
)(f dt dx
i
1
dx
i
k
) = f dx
i
1
dx
i
k
,
i(e
1
)(f dx
i
1
dx
i
k
) = 0.
Las inclusiones Consideremos ahora las inclusiones j
t
: S R S dadas
por j
t
(p) = (t, p). Obviamente son diferenciables, por lo que tienen asociadas
las retracciones j

t
: (RS) (S), que son homomorsmos de grado 0. Si
S se puede cubrir por una sola carta tenemos
j

t
(f) = j
t
f, j

t
(dt) = 0, j

t
(dx
i
) = dx
i
,
con lo que quedan completamente determinadas.
1
En la denicion de
1

2
separamos los sumandos correspondientes a las permutaciones
que dejan a V (p) entre las k primeras componentes y las que lo dejan entre las siguientes. En
el primer sumando sustituimos cada permutacion por permutacion que resulta de llevar
V (p) a la primera posicion. El cambio de signo que sufre se compensa con el cambio de
signatura de a . As tenemos una suma sobre las permutaciones tales que (1) = 1.
Identicandolas con las permutaciones de k+k

1 elementos obtenemos i(V )(


1
)(p)
2
(p).
Con el segundo sumando razonamos igual, salvo que llevamos V (p) a la posicion k+1. Ahora,
al pasar de las permutaciones que cumplen (1) = k +1 a la permutacion correspondiente de
k +k

1 elementos la signatura vara en (1)


k
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
11.2. Homotopas 403
El operador integral Finalmente, dados dos n umeros reales a < b, denimos
una aplicaci on lineal I
b
a
: (RS) (S) de grado 0 que a cada
k
(RS)
le asigna
I
b
a
()(p)(v
1
, . . . , v
k
) =
_
b
a
j

t
()(p)(v
1
, . . . , v
k
) dt.
Fijado un punto p S y una carta X a su alrededor, la restricci on de al
rango de I X se expresa como suma de k-formas de tipo
= f dx
i
1
dx
i
k
,
donde admitimos la posibilidad de que i
1
= 0 con el convenio de que x
0
= t.
Si aparece dt, entonces j

t
() = 0 y el termino no contribuye en nada. En caso
contrario
j

t
()(p)(v
1
, . . . , v
k
) = f(t, p)(dx
i
1
dx
i
k
)(v
1
, . . . , v
k
),
luego
I
b
a
()(p)(v
1
, . . . , v
k
) =
_
_
b
a
f(t, p) dt
_
(dx
i
1
dx
i
k
)(v
1
, . . . , v
k
),
y en denitiva
I
b
a
() =
_
_
b
a
f dt
_
dx
i
1
dx
i
k
.
El teorema 7.23 implica que I
b
a
() es una forma diferenciable. En general
I
b
a
() (restringida al rango de I X) es una suma de formas de este tipo, luego
efectivamente I
b
a
() (S). Evidentemente I
b
a
es lineal. Veamos que conmuta
con la diferencial exterior, es decir: d I
b
a
= I
b
a
d.
Sea p S y X una carta alrededor de p. Es claro que el valor que toma
en p la imagen de una forma por cualquiera de los dos miembros ser a la misma
que la imagen de la restriccion de dicha forma al rango de la carta I X por el
operador integral en dicho abierto. As pues, podemos trabajar con una forma
denida en el rango de I X. Como ambos miembros son lineales podemos
tomarla de tipo
= f dx
i
1
dx
i
k
.
Si i
1
= 0, es decir, si contiene a dt, entonces d se expresara como suma de
formas, todas ellas con dt, luego tanto si hacemos actuar primero la diferencial
como el operador integral obtenemos la forma nula. Supongamos, pues, que
no contiene a dt. Entonces, tanto en un orden como en otro, llegamos a

i=i
j
_
_
b
a
f
x
i
dt
_
dx
i
dx
i
1
dx
i
k
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
404 Captulo 11. Cohomologa de De Rham
Ahora probamos una igualdad que relaciona todas las funciones que acaba-
mos de introducir y a partir de la cual se deducir a f acilmente el resultado que
queremos probar sobre homotopas. Veamos que
j

b
j

a
= d i(e
1
) I
b
a
+i(e
1
) I
b
a
d. (11.1)
Puesto que el operador integral conmuta con la diferencial, podemos escribir
el segundo miembro como (d i(e
1
) +i(e
1
) d) I
b
a
. Por el argumento habitual
podemos restringirnos al rango de una carta y trabajar con una forma
= f dx
i
1
dx
i
k
.
A su vez hemos de distinguir si aparece dt o no. Si no aparece tenemos que
d(i(e
1
)()) = 0 y
i(e
1
)(d) =
f
t
dx
i
1
dx
i
k
.
Al aplicar I
b
a
obtenemos
_
_
b
a
f
t
dt
_
dx
i
1
dx
i
k
= (j
b
f f
a
f)dx
i
1
dx
i
k
= j

b
() j

a
().
Supongamos ahora que = f dt dx
i
2
dx
i
k
. Entonces
d =

i=i
j
f
x
i
dt dx
i
dx
i
2
dx
i
k
,
luego
i(e
1
)(d) =

i=i
j
f
x
i
dx
i
dx
i
2
dx
i
k
y
d(i(e
1
)()) =

i=i
j
f
x
i
dx
i
dx
i
2
dx
i
k
+
f
t
dt dx
i
2
dx
i
k
.
Al sumar estos dos terminos nos queda solo el ultimo sumando de la ultima
igualdad y, como tiene dt, al aplicar I
b
a
queda la forma nula. As mismo es claro
que j

b
() j

a
() = 0.
Ahora conviene introducir el concepto siguiente:
Denicion 11.6 Sean , : C C

homomorsmos de complejos inversos.


Diremos que son homotopicos si existe un homomorsmo h : C C

de grado
1 tal que = h

+h. Equivalentemente, tal que

k
=
k
h
k+1
+h
k

k1
.
En tal caso diremos que h es una homotopa
2
entre y .
2
Las homotopas entre homomorsmos de complejos directos tienen grado 1
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
11.2. Homotopas 405
Es evidente que si y son homotopicos entonces transforma cociclos
es cofronteras, por lo que = .
Casi tenemos probado el teorema siguiente:
Teorema 11.7 Si f, g : S
1
S
2
son aplicaciones homotopicas entre varieda-
des, entonces f

, g

: (S
2
) (S
1
) son homomorsmos homotopicos.
Demostraci

on: Sea H : RS
1
S
2
una homotopa entre f y g. Deni-
mos h = H

i(e
1
) I
1
0
. Claramente h : (S
2
) (S
1
) es un homomorsmo
de grado 1. Componiendo con H

en ambos miembros de (11.1) obtenemos


H

(j

1
j

0
) = H

d i(e
1
) I
1
0
+H

i(e
1
) I
1
0
d.
El primer miembro es (j
1
H)

(j
0
H)

= g

. Teniendo en cuenta
que H

conmuta con la diferencial, el segundo miembro es d h +h d, luego h


es una homotopa.
Denicion 11.8 Sean S
1
S
2
variedades diferenciables. Una retracci on de S
2
en S
1
es una aplicacion r : S
2
S
1
diferenciable tal que r[
S
1
sea la identidad.
En tal caso se dice que S
1
es un retracto de S
2
. Si la retracci on es homotopica
a la identidad en S
2
entonces se dice que la variedad S
1
es un retracto por
deformaci on
3
de S
2
.
Informalmente, S
1
es un retracto por deformaci on de S
2
si S
2
puede defor-
marse gradualmente hasta quedar aplastado sobre S
1
y ello sin mover ninguno
de los puntos de S
1
.
Por ejemplo, la esfera unitaria de dimensi on n es un retracto de la bola
(abierta o cerrada) de dimensi on n+1 de centro 0 y radio 2 menos el origen, tal
y como muestra el ejemplo que hemos visto de homotopa. En realidad es claro
que los centros y los radios son irrelevantes: cualquier bola menos su centro se
puede retraer homot opicamente hasta cualquier esfera concentrica contenida en
ella. La deformacion consiste en agrandar paulatinamente el agujero que deja
el centro y contraer los puntos exteriores a la esfera.
Una supercie cilndrica puede retraerse hasta una circunferencia (sin m as
que aplastar verticalmente sus paredes). Un toro solido puede estrangularse
hasta una circunferencia.
Las variedades que pueden retraerse a un punto se llaman contractibles.
Entre ellas se encuentran R
n
, las bolas abiertas y cerradas y, mas en general,
todas las variedades cubribles por una sola carta con dominio contractible. En
cambio, una esfera no es contractible (como veremos enseguida).
El interes de todo esto radica en que los retractos por deformacion tienen la
misma cohomologa:
3
Estos conceptos tienen interes para espacios vectoriales arbitrarios, considerando entonces
retracciones y homotopas continuas, ya no diferenciables.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
406 Captulo 11. Cohomologa de De Rham
Teorema 11.9 Sea S
1
un retracto por deformaci on de una variedad S
2
. En-
tonces la inclusi on i : S
1
S
2
induce un isomorsmo i : H(S
2
) H(S
1
).
Demostraci

on: Sea r : S
2
S
1
una retracci on homot opica a la identidad
en S
2
. Entonces i r = I[
S
1
, luego r i = I[
H(S
1
)
. Por otra parte, r i, es
decir, r vista como aplicacion de S
2
en S
2
, es homotopica a la identidad, luego
el teorema anterior nos da que r i = I[
H(S
2
)
, luego i r = I[
H(S
2
)
.
Estas relaciones prueban que i y r son biyectivas y mutuamente inversas.
As pues, si queremos conocer la cohomologa de todas las variedades con-
tractibles no tenemos mas que estudiar la mas simple de todas: el punto.
Teorema 11.10 Sea S una variedad contractible. Entonces
H
0
(S)

= R, H
k
(S) = 0 para k ,= 0.
Demostraci

on: Seg un lo dicho basta estudiar la cohomologa de De Rham


de la 0-variedad S formada por un punto. La variedad tangente es trivial, luego

k
(S) = 0 para k > 0 y consecuentemente todos los grupos de cohomologa
(salvo el primero) son triviales.
4
Para terminar la seccion observamos que, tal y como habamos armado,
las esferas no son contractibles. Mas en general, ninguna variedad compacta
orientable S sin frontera es contractible. En efecto, si S tiene dimension n,
el teorema de Stokes implica que la diferencial de una n 1-forma en S tiene
integral nula, pero el elemento de medida de S es una n-forma cuya integral
no es nula, luego no es la diferencial de ninguna n 1-forma, y obviamente es
cerrada, luego H
n
(S) ,= 0.
11.3 Sucesiones exactas
Ya hemos visto como las homotopas nos permiten relacionar los grupos de
cohomologa de variedades distintas. Otra potente herramienta para relacionar
grupos de cohomologa son las sucesiones exactas:
Denicion 11.11 Diremos que una sucesion de homomorsmos de modulos

k2
M
k1

k1
M
k

k
M
k+1

k+1

es exacta en M
k
si Im
k1
=
N
(
k
). Diremos que es exacta si lo es en todos
los modulos.
4
Quiza el lector ponga en duda que los teoremas que hemos probado pensando en variedades
arbitrarias sean aplicables a un punto. Lo cierto es que as es, pero, de todos modos, si S es
un espacio contractible entonces la identidad es homotopica a una funcion constante c, pero
I = I|
H(S)
y c
k
= 0 para k > 0, todo ello sin hacer referencia a 0-variedades.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
11.3. Sucesiones exactas 407
Notemos que la exactitud en M de una sucesion de la forma
N

M 0
equivale a que sea suprayectiva (en situaciones como esta se entiende que la
echa sin nombre representa al homomorsmo nulo, pues no hay otra posibili-
dad). Igualmente, la exactitud en M de una sucesion
0 M

N
equivale a que sea inyectiva. Por consiguiente, una sucesi on exacta de la forma
0 M N 0
nos da que M y N son isomorfos. Las situaciones de este tipo son las que hacen
utiles a las sucesiones exactas. El resultado principal de esta seccion es un teo-
rema que a partir de una sucesi on exacta entre complejos nos permite construir
una sucesion exacta entre sus grupos de cohomologa. Como aplicacion obten-
dremos la cohomologa de las esferas. Veamos primero un resultado auxiliar.
Teorema 11.12 Consideremos el siguiente diagrama conmutativo de m odulos
y supongamos que sus las son exactas.
Z
1

Z
2

Z
3
0

_
1

_
2

_
3
0 Z
1

Z
2

Z
3
Entonces existe un homomorsmo de modulos

:
N
(
3
) Z
1
/ Im
1
tal que
la sucesi on
N(
1
)

N
(
2
)

N
(
3
)

Z
1
/ Im
1

Z
2
/ Im
2

Z
3
/ Im
3
es exacta, donde

son las restricciones de

a
N
(
1
) y
N
(
2
) y

,

son los homomorsmos inducidos de forma natural.


Demostraci

on: Es facil comprobar que las aplicaciones

,

y

estan bien denidas, as como la exactitud de la sucesion en


N
(
2
) y Z
2
/ Im
2
.
Para denir

tomamos c

3

N
(
3
). Entonces existe c

2
Z
2
tal que
c

3
=

(c

2
). Como (
2
(c

2
)) =
3
(

(c

2
)) =
3
(c

3
) = 0, existe un c
1
Z
1
tal
que (c
1
) =
2
(c

2
).
Es claro que c

2
es unico modulo
N
(

) = Im

, luego
2
(c

2
) es unico modulo
[Im
1
], luego c
1
es unico modulo Im
1
.
Por lo tanto podemos denir

(c

3
) = c
1
+Im
1
. Es claro que, as denido,
es un homomorsmo de modulos. (Observar que en denitiva

se calcula
eligiendo una antiimagen por

, su imagen por
2
y una antiimagen por .)
Es claro que Im


N
(

). Si c

3

N
(

) entonces c
1
=
1
(c

1
), para
un cierto c

1
Z

1
, luego
2
(c

2
) = (c
1
) = (
1
(c

1
)) =
2
(

(c

1
)), con lo
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
408 Captulo 11. Cohomologa de De Rham
que c

(c

1
)
N
(
2
) y as c

3
=

(c

2
) =

_
c

(c

1
)
_
+

(c

1
)
_
=

_
c

(c

1
)
_
Im

.
Tambien es claro que Im


N
(

). Si c
1
+ Im
1

N
(

) entonces tenemos
que (c
1
) Im
2
, digamos (c
1
) =
2
(c

2
), con c

2
Z
2
. Sea c

3
=

(c

2
). Es
claro que c

3

N
(
3
) y por construcci on

(c

3
) = c
1
+ Im
1
, luego concluimos
que c
1
+ Im
1
Im

.
He aqu el resultado que queramos probar:
Teorema 11.13 Si 0 A

B

C 0 es una sucesi on exacta de
homomorsmos de complejos de grado 0 entonces existe un homomorsmo de
modulos

: H(C) H(A) de grado 1 tal que la sucesi on siguiente es exacta:


H
k
(A)

k
H
k
(B)

k
H
k
(C)
(

)
k
H
k+1
(A)

k+1
H
k+1
(B)
Equivalentemente, tenemos el tri angulo exacto
H(C)

H(A)

H(B)
Demostraci

on: Tenemos las sucesiones exactas


0 C
k
(A)

k
C
n
(B)

k
C
k
(C) 0,
para todo k Z.
Basta comprobar que el diagrama siguiente se encuentra en las hip otesis del
teorema anterior.
C
k
(A)/F
k
(A)

k
C
k
(B)/F
k
(B)

k
C
k
(C)/F
k
(C)0

_
k

_
k

_
0 Z
k+1
(A)

k+1
Z
k+1
(B)

k+1
Z
k+1
(C)
(donde Z y F representan los grupos de cociclos y cofronteras de los complejos.)
Ciertamente la la superior esta bien denida,
k
es suprayectiva y se cumple
Im
k

N
(
k
).
Si
k
(u + F
k
_
B)
_
= 0 entonces
k
(u) F
k
(C), luego
k
(u) =
k1
(v),
para un cierto v C
k1
(C), que a su vez es de la forma v =
k1
(w) con
w C
k1
(B). As pues,
k
(u) =
k1
_

k1
(w)
_
=
k
_

k1
(w)
_
, con lo
que u
k1
(w)
N
(
k
). Por consiguiente existe un x C
k
(A) tal que
u
k1
(w) =
k
(x), luego u +F
k
(B) =
k
_
x +F
k
(A)
_
.
Esto prueba la exactitud de la la superior. Es obvio que el diagrama con-
muta, que
k+1
es inyectiva y que Im
k+1

N
(
k+1
).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
11.3. Sucesiones exactas 409
Supongamos por ultimo que x
N
(
k+1
). Entonces x =
k+1
(y) para un
y C
k+1
(A) y hay que probar que y Z
k+1
(A). Ahora bien,
k+2
_

k+1
(y)
_
=

k+1
_

k+1
(y)
_
=
k+1
(x) = 0 (pues x es un ciclo). Como
k+2
es inyectiva
resulta que
k+1
(y) = 0, luego y es un ciclo.
El homomorsmo

recibe el nombre de homomorsmo de conexion de la


sucesion exacta dada. Conviene recordar c omo act ua: dado un cociclo de C,
tomamos cualquier antiimagen por , calculamos la cofrontera de esta, calcula-
mos su antiimagen por y la clase del cociclo resultante es la imagen por

de
la clase del cociclo de partida.
Veamos un ejemplo importante de aplicaci on de este teorema:
Sea S una variedad diferenciable y U
1
, U
2
dos abiertos en S de modo que
S = U
1
U
2
, U
1
U
2
,= . Claramente, U
1
, U
2
, U
1
U
2
son variedades
diferenciables. Consideramos las inclusiones
j
1
: U
1
U
2
U
1
, j
2
: U
1
U
2
U
2
, i
1
: U
1
M, i
2
: U
2
M.
A partir de ellas construimos una sucesion de aplicaciones lineales
0 (S)

(U
1
) (U
2
)

(U
1
U
2
) 0. (11.2)
Denimos () =
_
i

1
(), i

2
()
_
y (
1
,
2
) = j

1
(
1
) j

2
(
2
).
Representaremos las diferenciales de (S), (U
1
), (U
2
) y (U
1
U
2
) me-
diante d, d
1
, d
2
y d
12
respectivamente. Es claro que (U
1
) (U
2
) es un
complejo con el operador cofrontera dado por (d
1
d
2
)(
1
,
2
) = (d
1

1
, d
2

2
).
Las aplicaciones y son homomorsmos de complejos (es decir, conmutan
con las diferenciales), luego inducen aplicaciones lineales
: H(S) H(U
1
) H(U
2
), : H(U
1
) H(U
2
) H(U
1
U
2
).
Veamos que la sucesion (11.2) es exacta, con lo que podremos aplicarle el
teorema 11.13. En primer lugar probamos que es suprayectiva. Fijemos una
partici on de la unidad p
1
, p
2
en S subordinada al cubrimiento U
1
, U
2
, es decir,
p
1
+p
2
= 1, p
1
U
1
, p
2
U
2
.
Tomemos (U
1
U
2
). La funci on i

1
(p
2
) esta denida en U
1
y se anula
en un entorno de cada punto de U
1
U
2
, luego la forma
1
=
_
i

1
(p
2
)
_
se
puede extender a U
1
haciendola nula en U
1
U
2
. Similarmente tenemos
2
=
_
i

2
(p
2
)
_
(U
2
). Es inmediato comprobar que = (
1
,
2
).
La inyectividad de es obvia: si () = 0 entonces se anula en U
1
y en
U
2
, luego se anula en S.
Es claro que = 0, luego Im
N
. Tomemos ahora (
1
,
2
)
N
.
Entonces
1
(p) =
2
(p) para todo p U
1
U
2
y consecuentemente podemos
denir (S) que extienda simult aneamente a
1
y a
2
, pero esto equivale
a decir que () = (
1
,
2
).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
410 Captulo 11. Cohomologa de De Rham
As pues, el teorema 11.13 nos da la existencia de un homomorsmo

de
grado 1 que hace conmutativo el tri angulo
H(U
1
U
2
)

H(S)

H(U
1
) H(U
2
)
En otras palabras, tenemos una sucesi on exacta
H
k
(S)

H
k
(U
1
) H
k
(U
2
)

H
k
(U
1
U
2
)

H
k+1
(S)
Esta sucesion se conoce como la sucesi on de Mayer-Vietoris de S respecto
al cubrimiento (U
1
, U
2
).
Ejemplo Para n 1, sea S
n
= x R
n+1
[ |x| = 1, es decir, la esfera de
dimension n. Vamos a calcular su cohomologa.
Fijemos 0 < < 1 y consideremos los abiertos
U = x S
n
[ x
n+1
> , V = x S
n
[ x
n+1
< .
Los puntos de S
n+1
con x
n+1
= 0 forman el ecuador de la esfera, el cual di-
vide a la misma en dos hemisferios, correspondientes a x
n+1
0 y x
n+1
0 res-
pectivamente. Los abiertos U y V cubren cada uno un hemisferio extendiendose
un poco mas alla del ecuador. Podemos formar la sucesion de Mayer-Vietoris
de S
n
asociada al cubrimiento (U, V ):
H
k
(S
n
) H
k
(U) H
k
(V ) H
k
(U V ) H
k+1
(S
n
)
Es facil ver que U y V son contractibles. Por ejemplo, para contraer U hasta
el polo norte basta acercar paulatinamente a 1 la coordenada x
n+1
de cada
punto. Por otro lado, U V se puede contraer hasta el ecuador disminuyendo
paulatinamente la coordenada x
n+1
hasta hacerla nula. Tambien es claro que
el ecuador de S
n
es difeomorfo a S
n1
(entendiendo que S
0
esta formada por
dos puntos). Teniendo en cuenta estas consideraciones, la sucesion de Mayer-
Vietoris se reduce a
H
k
(S
n
) H
k
(p) H
k
(p) H
k
(S
n1
) H
k+1
(S
n
)
donde p representa a una variedad de dimensi on 0 (un punto). El grupo H
k
(p)
es distinto seg un si k = 0 o si k > 0. Para k = 0 tenemos
0 R R
2
H
0
(S
n1
) H
1
(S
n
) 0,
y para k > 0 tenemos
0 H
k
(S
n1
) H
k+1
(S
n
) 0.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
11.3. Sucesiones exactas 411
A partir de la primera sucesi on, un simple c alculo de dimensiones nos da la
relaci on dimH
1
(S
n
) = dimH
0
(S
n1
) 1, con lo que
dimH
1
(S
n
) =
_
1 si n = 1
0 si n > 1
La segunda sucesion nos da
dimH
k+1
(S
n
) = dimH
k
(S
n1
), para k > 1.
A partir de aqu, una simple inducci on prueba que
dimH
k
(S
n
) =
_
1 si k = 0 o k = n
0 si 1 k n 1

Este es el mejor resultado que podamos obtener, teniendo en cuenta que ya


sabamos que H
n
(S
n
) ,= 0.
Ejercicio: Calcular la cohomologa de un toro.
Ejercicio: Calcular la cohomologa de un crculo abierto con n agujeros. Probar que
el grupo H
1
de R
2
con innitos agujeros tiene dimension innita.
Veamos un ultimo ejemplo mas sosticado. Sea J : S S una involuci on
en una variedad, es decir, un difeomorsmo tal que J J sea la identidad. El
caso tpico es J : S
n
S
n
dado por J(p) = p.
Entonces J

: (S) (S) es un automorsmo con la misma propiedad:


J

= I. Podemos descomponer (S) =


+
(S)

(S), donde

+
(S) = (S) [ J

() = ,

(S) = (S) [ J

() = .
En efecto, basta tener en cuenta que
=
+J

()
2
+
J

()
2
.
Estos dos subespacios son estables para la diferencial, luego podemos verlos
como complejos inversos, y es claro entonces que H(S) = H
+
(S) H

(S),
donde
H
+
(S) = H(S) [ J() = , H

(S) = H(S) [ J() = .


Ejemplo Vamos a calcular H
k
+
(S
n
) y H
k

(S
n
). Obviamente son todos nulos
excepto los correspondientes a k = 0, n. En cada caso, uno de los dos sera nulo
y el otro tendr a dimension 1. S olo hemos de decidir cual es cual. Para k = 0
es obvio: la aplicaci on antpoda J deja invariantes a las funciones constantes,
luego H
0
+
(S
n
) = R y H
0

(S
n
) = 0.
Para k = n sabemos que el elemento de medida dm es un n-cociclo con
integral no nula y por lo tanto no es una cofrontera. Por consiguiente la clase
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
412 Captulo 11. Cohomologa de De Rham
de cohomologa de dm es una base de H
n
(S
n
). Hemos de ver si esta en H
n
+
(S
n
)
o en H
n

(S
n
). Dado p S
n
y v
1
, . . . , v
n
T
p
(S
n
), calculamos
J

(dm)(p)(v
1
, . . . , v
n
) = dm
_
J(p)
__
dJ(p)(v
1
), . . . , dJ(p)(v
n
)
_
.
Podemos considerar a J denida en todo R
n+1
. La aplicacion J en S es la
restriccion de esta, luego dJ en S es la restriccion de dJ en R
n+1
, pero J es
lineal, luego dJ(p) = J, para todo p R
n
, luego en denitiva dJ(p)(v) = v.
Por consiguiente J

(dm)(p) = (1)
n
dm
_
J(p)
_
.
Notar que la igualdad anterior tiene sentido porque S
n
tiene el mismo espacio
tangente en dos puntos antpodas. Sin embargo, es f acil ver que la orientaci on
de T
p
(S
n
) es la opuesta de la de T
J(p)
(S
n
), por lo que dm
_
J(p)
_
= dm(p). En
resumen obtenemos que J

(dm) = (1)
n+1
dm, con lo que
H
+
(S
n
) =
_
R si n es impar
0 si n es par
H

(S
n
) =
_
0 si n es impar
R si n es par
El interes de estos grupos de cohomologa se debe a lo siguiente:
Teorema 11.14 Sea : S P un difeomorsmo local entre variedades, es
decir, es diferenciable y suprayectiva y todo punto de S tiene un entorno
abierto V tal que [V ] es abierto en P y la restricci on de a V es un di-
feomorsmo en su imagen. Sea J una involuci on en S y supongamos que
para todo p P se cumple
1
(p) = q, J(q), para cierto q S. Entonces
H
k
(P) = H
k
+
(S).
Demostraci

on: Basta probar que

: (P)
+
(S) es un isomorsmo.
Puesto que J = , tenemos que

, luego la imagen de

(que en
principio estara en (S)) esta en
+
(S).
Para probar que es inyectiva tomemos
k
(P) no nula y veamos que su
imagen es no nula. Tenemos que existe p P y v
1
, . . . , v
k
T
p
(P) de modo
que (p)(v
1
, . . . , v
k
) ,= 0. Sea p = (q), con q S. El hecho de que sea
un difeomorsmo local se traduce en que d(q) es un isomorsmo, con lo que
existen vectores w
1
, . . . , w
k
tales que d(q)(w
i
) = v
i
. Es claro entonces que

()(q)(w
1
, . . . , w
k
) = (p)(v
1
, . . . , v
k
) ,= 0,
luego

() ,= 0.
Tomemos ahora
k
+
(S) y veamos que tiene una antiimagen. Fijemos un
punto p P. Sea q S tal que (q) = p. Sea V un entorno de q en el cual
sea un difeomorsmo. Sea
p
= ([
1
V
)

([
[V ]
), que es una k-forma en [V ].
Veamos que
p
no depende de ninguna de las elecciones que hemos hecho
para construirla. Si p

es cualquier punto en [V ] y q

es su antiimagen en V ,
entonces

p
(p

)(v
1
, . . . , v
k
) = (q

)(d(q

)
1
(v
1
), . . . , d(q

)
1
(v
k
)). (11.3)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
11.4. Aplicaciones al calculo vectorial 413
Esta expresion no depende m as que de salvo por el hecho de que hemos
escogido la antiimagen q

de p

. S olo hay otra alternativa, pues p

no tiene
mas antiimagenes que q

y J(q

). Ahora bien, si en (11.3) sustituimos q

por
J(q

) el miembro derecho se convierte en (J(q

)) actuando sobre los vectores


d(J(q

))
1
(v
i
), pero se cumple que J = , y por consiguiente d(q

) =
dJ(q

)d(J(q

)), luego d(J(q

))
1
(v
i
) = dJ(q

)
_
d(q

)
1
(v
i
)
_
y, en denitiva,
el miembro derecho de (11.3) se transforma en (J(q

)) actuando sobre los


vectores dJ(q

)
_
d(q

)
1
(v
i
)
_
, pero esto es lo mismo que
J

()(q

)(d(q

)
1
(v
1
), . . . , d(q

)
1
(v
k
)),
que da el mismo resultado, porque
+
(S).
De este modo, para cada punto p P hemos construido una forma
p
en
un entorno que al actuar sobre un punto q

cualquiera da un resultado que s olo


depende de . Por lo tanto, dos formas
p
y
p
coincidir an en su dominio
com un, luego la familia de formas que hemos denido determinan una unica
forma


p
(P), que en un entorno de cada punto viene dada por (11.3). Es
inmediato que

) = .
*Ejemplo El espacio proyectivo P
n
(R) puede identicarse con el espacio que
resulta de identicar cada punto de S
n
con su antpoda. Como ya hemos co-
mentado en el caso del plano, para considerarlo como variedad diferenciable
necesitaramos un concepto mas abstracto de variedad que no exija que las
variedades esten contenidas en R
m
. De todos modos, P
n
(R) esta localmente
contenido en R
n+1
, en el sentido de que una carta de S
n
que no cubra m as de
un hemisferio puede considerarse una carta de P
n
(R), lo que nos permite denir
el espacio tangente de cada punto y, en general, todos los conceptos asociados
a las variedades diferenciales. No vamos a entrar en detalles, pero si aceptamos
que la proyeccion : S
n
P
n
(R) que a cada par de puntos antpodas les
asigna una misma imagen en el espacio proyectivo es un difeomorsmo local,
entonces el teorema anterior nos proporciona la cohomologa de los espacios
proyectivos, que resulta ser:
H
0
_
P
n
(R)
_
= R, H
k
_
P
n
(R)
_
= 0, 1 k < n,
H
n
_
P
n
(R)
_
=
_
0 si n es par
R si n es impar
Incidentalmente tenemos una prueba de que los espacios proyectivos de di-
mension par no son orientables, pues si lo fueran, al ser compactos, deberan
cumplir H
n
,= 0.
11.4 Aplicaciones al calculo vectorial
Tras los resultados de las secciones anteriores podemos armar que los abier-
tos en R
n
que cumplen condiciones como H
1
(U) = 0 son bastante frecuentes.
Vamos a describir con un poco mas de detalle las consecuencias de que los grupos
de cohomologa sean triviales.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
414 Captulo 11. Cohomologa de De Rham
Nota A la hora de dar aplicaciones, resulta conveniente observar que las
hip otesis de diferenciabilidad pueden relajarse considerablemente. En efecto,
en las secciones anteriores hemos trabajado unicamente con formas de clase C

para que las cuestiones tecnicas sobre diferenciabilidad no ocultaran las ideas
fundamentales de la cohomologa. No obstante, si S es una variedad de clase C

(no vale la pena relajar esta hip otesis) podemos tomar como (S) el algebra de
las formas diferenciales continuas y denir Z
k
(S) como el espacio de k-formas de
clase C
1
con diferencial nula, F
k
(S) como el espacio de las diferenciales de k+1-
formas de clase C
2
y H
k
(S) como el correspondiente espacio cociente. En estas
condiciones (S) no se ajusta a la denici on de complejo, pues la diferencial
solo esta denida en un subespacio de cada
k
(S), el formado por las k-formas
de clase C
1
, pero si el lector repasa las pruebas anteriores se convencera de
que todos los resultados valen en este contexto.
5
As pues, cuando H
k
(S) = 0
podemos asegurar que las k-formas cerradas de clase C
1
son exactas.
La aplicacion mas elemental es la siguiente:
Teorema 11.15 Sea U un abierto en R
n
tal que H
1
(U) = 0. Entonces un
campo F : U R
n
de clase C
1
es de la forma F = f para una cierta
funci on f : U R si y s olo si
F
i
x
j
=
F
j
x
i
, para 1 i < j n.
Demostraci

on: Consideremos la 1-forma = F


1
dx
1
+ + F
n
dx
n
. El
campo F es el gradiente de una funci on f si y solo si = df. Por hip otesis esto
equivale a d = 0 y, como
d =
n

i=1

j=i
F
i
x
j
dx
j
dx
i
=

1i<jn
_
F
i
x
j

F
j
x
i
_
dx
j
dx
i
,
la condici on d = 0 equivale a la del enunciado.
Observemos que el teorema anterior arma esencialmente que la condicion
necesaria que el teorema de Schwarz impone a los campos de gradientes es
tambien suciente (en los abiertos considerados). Conviene destacar los casos
particulares correspondientes a n = 2 y n = 3:
Teorema 11.16 Sea U un abierto en R
2
tal que H
1
(U) = 0. Entonces un
campo F : U R
2
de clase C
1
es conservativo si y s olo si
f
1
y
=
f
2
x
.
5
Las modicaciones son todas obvias. Por ejemplo, en la denicion de homomorsmo de
complejos hemos de exigir que las formas de clase C
1
se transformen en formas de clase C
1
.
Lo mismo sucede en la denicion de homotopa. Ahora, si h es una homotopa entre dos
homomorsmos y y es una k-forma de clase C
1
, entonces () () = d
_
h()
_
.
Como el miembro izquierdo es de clase C
1
lo mismo le sucede al derecho, luego () () es
una cofrontera. Notar que las aplicaciones i(e
1
) e I
b
a
conservan el grado de derivabilidad y la
formula (11.1) vale para formas de clase C
1
. Esto nos permite probar igualmente el teorema
11.9, y observaciones similares se aplican a los resultados posteriores.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
11.4. Aplicaciones al calculo vectorial 415
Teorema 11.17 Sea U un abierto en R
3
tal que H
1
(U) = 0. Entonces un
campo F : U R
3
de clase C
1
es conservativo si y s olo si rot F = 0.
Vimos en el captulo anterior que si F es un campo de clase C
2
, entonces
div rot F = 0. El teorema siguiente nos da un recproco parcial:
Teorema 11.18 Sea U un abierto en R
3
tal que H
2
(U) = 0 y sea F : U R
3
un campo de clase C
1
. Entonces existe un campo G : U R
3
tal que F = rot G
si y s olo si div F = 0.
Demostraci

on: Sabemos que d


_
d(F)
_
= div F dm, por lo que div F = 0
equivale a que d(F) = d, para una cierta 1-forma = Gdr, lo cual a su vez
equivale a que F = rot G.
De aqu se siguen algunos resultados importantes sobre unicidad de un
campo:
Teorema 11.19 Sea F : R
3
R
3
un campo de clase C
1
tal que div F =
rot F = 0 y F tienda a 0 en innito. Entonces F = 0.
Demostraci

on: Como rot F = 0 tenemos que F = , para cierta funci on


: R
3
R de clase C
2
. Como = div = div F = 0, tenemos que es
harmonica. Es inmediato comprobar que si es cualquier funci on de clase C
2
se cumple

x
i
() =
_

x
i
_
.
De aqu se sigue en nuestro caso que las derivadas parciales de , es decir, las
componentes de F son harmonicas. Ahora bien, vimos en el captulo anterior
que una funci on harm onica que tienda a 0 en innito ha de ser nula, es decir,
F = 0.
De aqu se sigue que si dos campos en R
3
se anulan en el innito y tienen
la misma divergencia y el mismo rotacional, entonces son iguales. (En realidad
basta con que la diferencia tienda a 0 en el innito.) Es natural preguntarse
ahora si las ecuaciones div F = G, rot F = H tienen solucion para dos campos
G y H prejados. Si imponemos a G y H las condiciones necesarias para que
F se anule en el innito la respuesta es armativa. Antes conviene probar otro
resultado:
Teorema 11.20 Sea F un campo de clase C
1
en R
3
tal que div F tenga soporte
compacto. Entonces F puede descomponerse como F = V +U, donde rot V = 0
y div U = 0.
Demostraci

on: El campo V ha de ser de la forma , para una cierta


funci on de clase C
2
. Ademas = div V = div F. Seg un vimos en el captulo
anterior, esta ecuacion tiene como unica soluci on el potencial newtoniano:
(x) =
1
4
_
R
3
div F
|x y|
dm(y).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
416 Captulo 11. Cohomologa de De Rham
Denimos, pues, de esta manera y V = . Por lo tanto denimos U = FV .
Entonces
div U = div F div V = div = 0.
En las condiciones del teorema anterior tenemos que V = y U = rot A,
para una cierta funci on : R
3
R y un cierto campo A : R
3
R
3
. A
se le llama potencial escalar de F, mientras que A es el potencial vectorial de
F. El primero est a determinado salvo una constante, mientras que el segundo
lo esta salvo un gradiente. Podemos determinar completamente A si exigimos
que div A = 0.
Conviene denir el laplaciano vectorial de un campo A : R
3
R
3
como
A = div Arot rot A.
Se comprueba que si A = (A
1
, A
2
, A
3
) entonces A = (A
1
, A
2
, A
3
).
Volviendo a nuestro caso, el potencial vectorial A de un campo F (determi-
nado por la condici on div A = 0) cumple A = rot rot A = rot U = rot F.
Concluimos as que los potenciales y A de un campo F con divergencia de
soporte compacto estan determinados por las ecuaciones
= div F, A = rot F.
Si rot F tiene tambien soporte compacto entonces la ultima ecuacion vecto-
rial equivale a tres ecuaciones escalares analogas a la primera, y las soluciones
son los potenciales newtonianos de las componentes del rotacional. En denitiva
tenemos
F(x) =
1
4

_
R
3
div F
|x y|
dm+
1
4
rot
_
R
3
rot F
|x y|
dm.
Teorema 11.21 Dados dos campos D : R
3
R y R : R
3
R
3
de clase C
2
y de soporte compacto de modo que div R = 0, existe un unico campo vectorial
F : R
3
R tal que div F = D y rot F = R.
Demostraci

on: Basta tomar = D, A = R, F = + rot A.