Acerca de la Cohomologa de deRham

y
algunas aplicaciones
Enrique Idael Chavez Sarmiento
Agosto, 2009
Resumen
En este trabajo estudiaremos algunas nociones de Cohomologa de
deRham, una herramienta u
til para distinguir y hasta cierto punto clasificar superficies del espacio euclidiano Rn , asoci
andoles un objeto algebraico, en este caso un espacio vectorial. Los resultados principales que
probaremos son el teorema de Invarianza por Homotopas, el teorema de
Dualidad de Alexander y el Teorema de Jordan-Brouwer. Con este fin introduciremos brevemente algunas nociones de superficies en Rn , formas
diferenciales, homotopa y mencionaremos algunas herramientas algebraicas que utilizaremos para luego estudiar la Cohomologa de deRham propiamente dicha.

Indice
1. Preliminares
1.1. Superficies diferenciables
1.2. Vecindad tubular . . . .
1.3. Particiones de la unidad
1.4. Homotopa . . . . . . .
1.5. Formas alternadas . . .
1.6. Formas diferenciales . .
1.7. Secuencias exactas . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

2. Cohomologa de deRham
2.1. Primeras definiciones . . . . . . . .
2.2. Invarianza por homotopas . . . . .
2.3. Secuencia de Mayer-Vietoris . . . .
2.4. Cohomologa de la esfera y algunas

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

3
3
4
6
8
10
12
14

. . . . . . .
. . . . . . .
. . . . . . .
aplicaciones

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

16
16
16
19
23

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

3. Dualidad de Alexander
25
3.1. Teorema de dualidad de Alexander . . . . . . . . . . . . . . . . . 25
3.2. Teorema de Jordan-Brouwer . . . . . . . . . . . . . . . . . . . . . 27
4. Conclusiones

28

5. Referencias Bibliogr
aficas

29

1.

Preliminares

En adelante presentaremos brevemente algunos resultados que usaremos para el estudio de la Cohomologa de deRham en superficies de Rn , para mayores
detalles acerca de estos temas se puede revisar [2], [4] y [5].

1.1.

Superficies diferenciables

En esta secci
on veremos brevemente algunos resultados sobre superficies en
Rn que utilizaremos en el resto de este trabajo.
1.1 Definici
on. Sean V Rn y V0 Rm abiertos. Si : V0 V es un
homeomorfismo de clase C k y 0 (x) : Rm Rn es inyectiva para todo x V0 ,
diremos que es una parametrizaci
on de clase C k y dimension m de V .
1.2 Definici
on. Diremos que M Rn es una superficie de dimension m y clase
k
C cuando todo punto p M esta contenido en alg
un abierto U de Rn , tal que
V = U M es la imagen de una parametrizacion : V0 V , de dimension m
y clase C k , que llamaremos parametrizacion de p en M .
1.1 Observaci
on. Dada una parametrizacion : V0 V en M como la anterior,
para p = (x) M , diremos que V M es una vecindad abierta de p en M .
En lo que resta de esta seccion M Rn sera una superficie de dimension m
y clase C k , N Rs y P Rl seran tambien superficies.
Teorema 1.1. Sea : V0 V una parametrizaci
on en M . Para cada p =
(x0 ), existe una proyecci
on : Rn Rm tal que toda vecindad Z0 de x0
contenida en V0 es aplicada difeomorficamente por sobre un abierto W0
Rm .
De este resultado se sigue el siguiente
Corolario 1.1. Toda superficie de clase C k es localmente el gr
afico de una
aplicaci
on de clase C k .
Formalicemos ahora nuestra nocion de tangencia mediante la siguiente
1.3 Definici
on. Sean p V M y : V0 V una parametrizacion de p en
M con (x0 ) = p. Definimos el espacio vectorial tangente a M en el punto p,
Tp M Rn , como la imagen de la la derivada 0 (x0 ) : Rm Rn .
1.2 Observaci
on. Para p M se tiene que:
1. Tp M es igual al conjunto de los vectores v = 0 (0) de los caminos diferenciables : (, ) M , tales que (0) = p.
2. Tp M no depende de la parametrizacion de p sobre M que tomemos.
3. Dada : V0 V una parametrizacion de p en M con (x0 ) = p, Tp M es
un espacio m-dimensional de Rn y los vectores

(x0 ), . . . ,
(x0 )
x1
xm
forman una base de este espacio, llamada base asociada a la parametrizaci
on .
3

1.4 Definici
on. Diremos que la aplicacion f : M N es de clase C r (r k),
cuando considerada como aplicacion de M en Rs se tiene que para todo p M
y : V0 V su parametrizacion en M , la composicion f : V0 Rs es de
clase C k .
1.3 Observaci
on. La anterior definicion no depende de la parametrizacion :
V0 V de p en M escogida.
1.5 Definici
on. Sea f : M N de clase C 1 y p M con f (p) = q. La derivada
de f en el punto p es la transformacion lineal f 0 (p) : Tp M Tq N definida por
f 0 (p) v = (f )0 (0), donde : (, ) M es un camino diferenciable tal que
(0) = p y 0 (0) = v.
1.4 Observaci
on. Para v Tp M , f : M N y g : N P , tenemos que:
1. La anterior definici
on no depende del camino : (, ) M que se
tome.
2. Si : V0 V M es una parametrizacion de p en M con (x0 ) = p,
entonces para alg
un v0 Rm , v = 0 (x0 ) v0 y f 0 (p) = (f )0 (x0 ) v0 .
3. Si f y g son de clase C r , vale la regla de la cadena, esto es (g f )0 (p) =
g 0 (f (p)) f 0 (p).
Proposici
on 1.1. Todo punto de M posee una vecindad abierta U M en
la que est
an definidos r = n m campos de vectores normales, de clase C k ,
ortonormales en cada punto de U .
Demostraci
on. Supondremos que r > 0, pues el caso r = 0 es trivial.
Si cada punto de Rn = Rm+r lo escribimos de la forma (x, y) con x Rm e
y Rr , por el corolario 1.1, tenemos que todo punto de M tiene una vecindad
abierta U M , para la que existe fU : U0 Rr de clase C k en el abierto
U0 Rm , tal que U = {(x, fU (x)) Rn ; x U0 }.
Sea W = U0 Rr , definamos g = (g1 , . . . , gr ) : W Rr por g(x, y) =
y fU (x). Tenemos que g es de clase C k y ademas para cada (x, y) W ,
g 0 (x, y) tiene rango r, pues g 0 (x, y) (0, w) = w para todo w Rn . Luego en
cada punto (x, y) W los vectores wi (x, y) = gradgi (x, y), i = 1, . . . , r, son
linealmente independientes. En particular, si p = (x, fU (x)) U = g 1 (0), w(p)
es ortogonal a Tp M = Tp U . De esta manera obtenemos r campos vectoriales
wi , . . . , wr : U Rn , de clase C k1 , normales a M , linealmente independientes
y que aplicando el proceso de Gram-Schmidt si es necesario, los podemos suponer
ortonormales.

1.2.

Vecindad tubular

En esta secci
on probaremos que para superficies lo suficientemente suaves
existen vecindades bien comportadas, este hecho nos permitira mostrar mas
adelante el lema de Poincare.
A lo largo de la secci
on M sera una superficie de dimension n en Rm+n y
k
clase C con k 2
1.6 Definici
on. Definimos la bola normal abierta de radio y centro en x M
como el conjunto
B (x; ) := B(x; ) (x + Tx M ).
(1)
4

1.7 Definici
on. Sea p M . Si existe una vecindad abierta U M de p y un
n
umero > 0 tal que:
1. Cualesquiera dos bolas normales de radio y centros en puntos distintos
de U son siempre disjuntas;
[
2. La uni
on V (U ) :=
B (x; ) es un abierto de Rm+n y
xU

3. La aplicaci
on : V (U ) U , definida por (z) = x si z B (x; ), es de
k1
clase C
.
Diremos que V (U ) es una vecindad tubular local del punto p en la superficie
M.
En el siguiente teorema veremos que las vecindades tubulares locales existen,
m
as a
un, mostraremos que todo punto de M posee una vecindad tubular local.
Teorema 1.2. Todo punto de M posee una vecindad tubular local.
Demostraci
on. Sea p M , por la proposicion 1.1 sabemos que existe una vecindad abierta U M en donde estan definidos campos vectoriales w1 , . . . , wn , de
clase C k1 , que forman para cada punto q U una base ortonormal de Tq M .
Definamos la aplicaci
on : U Rn Rn+m , por
(q, y) := q +

n
X

yi wi (q), q U e y = (y1 , . . . , yn ) Rn .

(2)

i=1

Notemos que es de clase C k1 , ademas para cada q U y > 0, (q

B(0; )) = B (q; ) y
0 (p, 0) (u, v) = u +

n
X

i wi (p), u Tp M y v = (1 , . . . , n ).

(3)

i=1

Luego 0 (p, 0) : Tp M Rn Rm+n es un isomorfismo, entonces por el

Teorema de la Aplicaci
on Inversa, podemos reducir U si es necesario de modo
que para > 0 suficientemente peque
no : U B(0; ) (U B(0; )) sea
un difeomorfismo de clase C k1 , donde (U B(0; )) es de la forma
[
(U B(0; )) =
B (x; ) = V (U ).
(4)
xU

Veamos finalmente que la aplicacion , definida como en la definicion de

vecindad tubular local, es de clase C k1 . Tenemos que : U B(0, ) U
esta dada por (p, y) = p para cualquier p U e y Rn , luego es de
clase C y por tanto = ( ) 1 es de clase C k1 en U .
Corolario 1.2. Todo punto p M posee una vecindad tubular local V (U ) tal
que V (U ) M = U .
Demostraci
on. Sea V (U ) una vecindad tubular local de p en M y A Rm+n un
abierto tal que U = A M . De la demostracion del teorema 1.2 se deduce que
podemos tomar una vecindad tubular local V0 (U 0 ) de p en M , tal que U 0 U ,
0 < y V0 (U 0 ) A.
Veamos que V0 (U 0 ) es la vecindad que buscamos. En efecto, tenemos que
V0 (U 0 ) M A M = U ademas si y A V0 (U 0 ), y B (x; 0 ) B (x; )
para alg
un x U 0 , luego y B (x; ) B (y; ) y por tanto y = x U 0 .
5

1.8 Definici
on. Si existe una funcion continua positiva : M R+ tal que:
1. Para x 6= y en M arbitrarias, las bolas normales B (x, (x)) y B (y, (y))
son disjuntas;
[
2. La uni
on V (M ) :=
B (x; (x)) es un abierto de Rm+n ; y
xM

3. La aplicaci
on : V (M ) M , definida por (z) = x si z B (x; (x)),
es de clase C k1 .
Diremos que V (M ) es una vecindad tubular de M con radio .
El siguiente teorema mostrara que las vecindades tubulares existen
Teorema 1.3. M admite una vecindad tubular.
Demostraci
on. Para p M tomemos V (U ) una vecindad tubular local de p
como la del corolario 1.2 donde ademas podemos suponer que U es compacto.
Sea B(p; 3r) V (U ) y consideremos cualquier vecindad tubular local de p
Vp (Up ) tal que U 0 U , 0 < p < y Vp (Up ) B(p; r).
Afirmamos que para todo z Vp (Up ), si x = (z), para todo y M \ {x},
se tiene que |z x| < |z y|. En efecto, fijemos z. Si y 6 V (U ), en particular
y 6 B(p; 3r), luego |z x| < 2r y como x, z B(p; r) se tiene que |x z| 2r,
de donde se sigue la desigualdad. Si y V (U ) M = U , como U es compacto,
existe un y0 U m
as pr
oximo de z, se tiene que y0 U , pues de lo contrario
y0 6 V (U ) y tendramos que |z x| < |z y0 | lo cual no puede ser. De este
modo z minimiza |z y0 |, luego z y0 Ty0 U = Ty0 M y en consecuencia
z B (y0 ; ), entonces como en principio z B (x; ), y0 = x y queda probada
nuestra afirmaci
on.
Si V es la reuni
on de todos los Vp (Up ), con p variando en M , tenemos que
la aplicaci
on : V M que asigna a cada x V el valor (x), que es el u
nico
punto de M que minimiza la distancia a z, es de clase C k1 , pues restricta a
cada Vp (Up ) lo es. Si consideramos la funcion continua (x) : M R+ definida
por (x) = d(x, Rm+n \ V ) tenemos que
[
V (M ) :=
B (x; (x)) = V
(5)
xM

1.3.

Particiones de la unidad

Sean M Rn , N Rs superficies de dimension m, n respectivamente ambas

de clase C y X Rl .
1.9 Definici
on. Definimos el soporte de una aplicacion f : X Rn como el
conjunto
(6)
supp f := {x X : f (x) 6= 0}.
1.10 Definici
on. Sea {U }I un recubrimiento por abiertos de M . Diremos
que la familia {i }iN de funciones i : M R, de clase C es una partici
on
de la unidad subordinada a {U }I si se satisfacen las siguientes propiedades:

1. Para todo i N, 0 i 1 en M y supp i es compacto.

2. Para todo p M , existe una vecindad abierta U de p en M tal que
supp i U = para todo i salvo para una cantidad finita de ndices.
3.

i = 1.

n=1

4. Para todo i N, existe = (i) I tal que supp i U(i) .

1.5 Observaci
on. En la anterior definicion, debido a la propiedad 2, la suma en
3 esta bien definida.
La existencia de particiones de la unidad, que no sera probada en este trabajo, la enunciaremos en el siguiente
Teorema 1.4. Sea {U }I un recubrimiento por abiertos de M . Entonces,
existe una partici
on de la unidad {i }iN subordinada al recubrimiento {U }I .
Basados en este teorema, mostremos la siguiente
Proposici
on 1.2. Sean U, V abiertos de M tales que M = U V . Entonces, existen funciones U , V : M R de clase C tales que supp U U,
supp V V y U + V = 1 en M .
Demostraci
on. Sea {i }iN una particion de la unidad subordinada a {U, V }.
Consideremos el conjunto A = {i N : supp i U } y definamos
X
X
U =
i y V =
i ,
(7)
iA

iN\A

notemos que U + V = 1, ahora solo nos queda mostrar que supp U U y

supp V V .
Sea p M tal que V (p) 6= 0, existe i N \ A tal que i (p) 6= 0, luego
supp i 6 V , entonces supp i V y en consecuencia supp V V .
Veamos que supp V V = . Supongamos por contradiccion que exista
x supp V V . Sabemos que existe una vecindad Ux de x en M que solo
corta a una cantidad finita de soportes de las funciones i , llamemos a estas
funciones i1 , . . . , ik . Como x supp V , podemos suponer que existe una
sucesi
on (xn )n Ux convergiendo a x tal que V (xn ) 6= 0 para todo n N,
luego por definici
on de V , existe una sucesion de ndices (i(n))n N \ A
tal que i(n) (xn ) 6= 0 para todo n N, mas a
un por la construccion hecha
(in )n {i1 , . . . , ik }, luego si
[
K=
supp i(k)
(8)
nN

tenemos que K es compacto y ademas (xn )n K, entonces x K V , lo cual

es absurdo pues por ser V abierto, V V = .
Similarmente se muestra que supp U U y la prueba termina.
Teorema 1.5. Sea f : M N una aplicaci
on continua. Dada cualquier funci
on
continua positiva : M R+ , existe una aplicaci
on g : M N , de clase C ,
tal que kf (x) g(x)k < (x) para todo x M .
7

Demostraci
on. Supongamos inicialmente que N = Rs . Para cada p M existe
una vecindad Up en M tal que kf (x) f (p)k < (x) para todo x Up . Sea
{p }pM una partici
on de la unidad subordinada a {Up }pM . Si definimos G :
M Rs por
X
g(x) =
p (x)f (p),
(9)
pM

g es de clase C y como f (x) =

p (x)f (x), tenemos que para todo x M

pM

kf (x) g(x)k

p (x)kf (x) f (p)k

(10)

pM

<

p (x)(x) = (x).

pM

En el caso general, consideremos V (N ) una vecindad tubular de N . Definamos la funci

on continua : M R+ por (x) = d(f (x), Rs \ V (N )), luego si
kz f (x)k < (x), entonces z V (N ). Podemos suponer que (x) < (x) para
todo x M . Por lo que mostramos al principio, existe g0 : M Rs de clase
C tal que
1
(11)
kg0 (x) f (x)k < (x),
2
luego g0 (x) V (N ). Como la proyeccion : V (N ) N es de clase C ,
tenemos que g = g0 : M N tambien es de clase C y ademas
kf (x) g(x)k

kf (x) g0 (x)k + kg0 (x) g(x)k

1
1
<
(x) + (x) = (x),
2
2

(12)

por tanto g es la funci

on que buscamos.

1.4.

Homotopa

Sean X Rm , Y Rn , Z Rs y U Rm abierto.
1.11 Definici
on. Diremos que las aplicaciones continuas f, g : X Y son
homot
opicas y escribiremos f ' g, si existe una aplicacion continua, que llamaremos homotopa, H : X [0, 1] Y tal que H(x, 0) = f (x) y H(x, 1) = g(x)
para todo x X.
1.6 Observaci
on. Respecto a la anterior definicion, se verifica que:
1. La relaci
on f ' g, determina una relacion de equivalencia entre las aplicaciones continuas de X en Y .
2. Si f, f : X Y son homotopicas y si g, g : Y Z tambien son homotopicas, entonces g f ' g f.
Lema 1.1. Existe una funci
on : R R, de clase C tal que:
1. (t) [0, 1], para todo t R;
2. (t) = 0 para t

1
2
y (t) = 1 para t .
3
3
8

Demostraci
on. Consideremos : R R, definida por (t) = e1/t(1t) si
t (0, 1) y (t) = 0 en otro caso. Es sabido que esta funcion es de clase C ,
luego consideremos : R R definida por
Rt
(s)ds
.
(13)
(t) = R 01
(s)ds
0
As hemos obtenido de clase C con (t) [0, 1] para todo t R, (t) = 0
para t 0 y (t) = 1 para t 1. Para hallar bastara definirla por (t) =
(3t 1).
1.12 Definici
on. Diremos que la aplicacion F : U [0, 1] Y es de clase C k
si F admite derivadas parciales continuas hasta de orden k en todos los puntos
(x, t) U [0, 1], con la salvedad de que en los puntos de la forma (x, 0) y
(x, 1) las derivadas respecto de t son tomadas a la derecha y a la izquierda,
respectivamente.
1.13 Definici
on. Sean f, g : U Y aplicaciones de clase C k , diremos que f
k
y g son C -homot
opicas, si H : U [0, 1] Y es una homotopa de clase C
entre f y g
Sea M Rm una superficie de clase C l . Generalicemos ahora nuestra u
ltima
noci
on de homotopa al caso en que las funciones tengan como dominio a M .
1.14 Definici
on. Sean f, g : M Y , diremos que f y g son C k -homot
opicas
(k l) y escribiremos f 'k g, si existe H : M [0, 1] Y homotopa entre
f, g y adem
as para cualquier p M si : U0 U es una parametrizacion de
p en M se tiene que H : U0 [0, 1] Y , definida por H (x, t) = H((x), t) es
de clase C k .
1.7 Observaci
on. Sean f, g : M Y aplicaciones de clase C k , H : M [0, 1]
k
Y la C -homotopa que las relaciona y una funcion como la del lema 1.1.
Tenemos que:
1. La anterior definici
on no depende de la parametrizacion de p en M que se
tome.
2. Si definimos K : M [0, 1] Y por K(x, t) = H(x, (t)), tenemos que
K es una C k -homotopa entre f y g tal que K(x, t) = f (x) si t [0, 1/3]
y K(x, t) = g(x) si t [2/3, 1]. De esta forma podemos considerar a K
definida en M R siendo K(x, t) = f (x) si t < 0 y K(x, t) = g(x) si t > 1.
3. Una homotopa como la anterior sera llamada homotopa adaptada. Es
f
acil ver que K es de clase C k si vemos a M R como una superficie en
Rn+1 .
4. Al igual que la homotopa que definimos en un inicio, la relacion f 'k g
define una relaci
on de equivalencia entre las aplicaciones de clase C k de M
en Y . Para demostrar la transitividad, que es la u
nica propiedad a verificar
que causa dificultades, es conveniente utilizar homotopas adaptadas.
Teorema 1.6. Sean f, g : M N aplicaciones de clase C entre las superficies
M, N de clase C . Si f ' g, entonces f ' g.
9

Demostraci
on. Sea H : M R N es una homotopa adaptada entre f y g.
: M R N
Tomemos una vecindad tubular V (N ). Por el teorema 1.5 existe H

tal que kH(x, t) H(x, t)k < (x) para todo (x, t) M R. Entonces f, g : M

N definidas por f(x) = H(x,

0), g(x) = H(x,
1) son C -homotopicas. Ademas
tenemos que para todo x M , kf(x) f (x)k < (f (x)), luego [f (x), f(x)]
V (N ) y en consecuencia f y f son C -homotopicas, similarmente g y g son
C -homot
opicas. El resultado del teorema se deduce por la transitividad de la
homotopa.
1.8 Observaci
on. Usando un argumento similar al de la anterior prueba, podemos mostrar que toda aplicacion continua f : M N entre las superficies de
clase C M y N es homot
opica a una aplicacion de clase C de M a N .
1.15 Definici
on. Diremos que X e Y tienen el mismo tipo de homotopa o que
son homot
opicamente equivalentes si existen funciones continuas f : X Y y
g : Y X tales que f g ' IdY y g f ' IdX .
1.9 Observaci
on. Si X e Y son superficies de clase C , del teorema 1.6 y de
las observaciones 1.6, 1.8 se sigue que no hay perdida de generalidad si en la
anterior definici
on se consideran a f y g aplicaciones de clase C .
1.16 Definici
on. Diremos que X es contractil si es homotopicamente equivalente a un punto.
1.17 Definici
on. Diremos que X Rn es estrellado cuando existe p X tal
que [p, x] = {tp + (1 t)x : t [0, 1]} X para todo x X.
1.10 Observaci
on. Notemos que si X es un conjunto estrellado, entonces es
homot
opicamente equivalente a un punto. En particular todo conjunto convexo
es homot
opicamente equivalente a un punto.

1.5.

Formas alternadas

Consideremos los espacios vectoriales reales E1 , . . . , Er , E y F .

1.18 Definici
on. Diremos que la aplicacion f : E1 Er F es r-lineal
cuando es lineal separadamente en relacion a cada una de sus r variables, es
decir cuando para cualesquiera v1 E1 , . . . , vi , wi Ei , . . . , vr Er y R,
para cualquier i {1, . . . , r} se tiene que
f (v1 , . . . , vi + wi , . . . , vr ) = f (v1 , . . . , vi , . . . , vr ) + f (v1 , . . . , wi , . . . , vr )
1.1 Notaci
on. Denotaremos por L(E1 , . . . , Er ; F ) al conjunto de las aplicaciones
r-lineales f : E1 Er F . Si E1 = = Er , lo denotaremos por Lr (E; F )
y si r = 1, simplemente escribiremos L(E; F ).
1.11 Observaci
on.
1. Si dotamos a L(E1 , . . . , Er ; F ) con las operaciones de
adici
on y multiplicaci
on por un escalar usuales, L(E1 , . . . , Er ; F ) se torna
un espacio vectorial.
2. Si F = R, llamaremos formas r-lineales a las aplicaciones r-lineales y si
r = 1, L(E; R) = E , el espacio dual de E. As las funcionales lineales son
formas 1-lineales.

10

1.19 Definici
on. Sean f1 , . . . , fr E , el producto tensorial de estas funcionales es la forma r-lineal f = f1 . . . fr Lr (E; R), definida por
f (v1 , . . . , vr ) = f1 (v1 ) . . . fr (vr ).

(14)

Sea {e1 , . . . , en } E una base y {

e1 , . . . , en } E su base dual. Para r fijo y
cada secuencia (s) = (i1 , . . . , ir ) de n
umeros en In = {1, . . . , n}, hagamos e(s) =
ei1 . . . eir , el conjunto de estas formas r-lineales compone una base del espacio
vectorial Lr (E; R). En particular si dim E = n, entonces dim Lr (E; R) = nr .
1.20 Definici
on. Sea la aplicacion r-lineal f Lr (E; F ). Diremos que f es:
1. Alternada si f (v1 , . . . , vr ) = 0 siempre que existan i, j Ir distintos tales
que vi = vj .
2. Antisimetrica cuando para cualesquiera v1 , . . . , vr E se tiene que
f (v1 , . . . , vi , . . . , vj , . . . , vr ) = f (v1 , . . . , vj , . . . , vi , . . . , vr )
1.12 Observaci
on.
1. Un f
acil calculo muestra que toda forma antisimetrica
es alternada y recprocamente, toda forma alternada es antisimetrica.
2. El conjunto de aplicaciones r-lineales antisimetricas (o alternadas) es un
espacio vectorial.
3. Si v1 , . . . , vr E son vectores linealmente dependientes, entonces
f (v1 , . . . , vr ) = 0

(15)

para cualquier f Ar (E; F ).

1.2 Notaci
on. Denotaremos por:
1. Ar (E; F ) al conjunto de todas las aplicaciones r-lineales f Lr (E; F ) alternadas (o lo que es lo mismo, antisimetricas), cuando F = R escribiremos
Ar (E).
2. A(E) al conjunto de las funcionales lineales E .
1.21 Definici
on. Sea E un espacio vectorial de dimension n. El producto exterior de r funcionales lineales f1 , . . . , fr A(E) es la forma r-lineal alternada
f1 fr Ar (E) definida por
(f1 fr )(v1 , . . . , vr ) = det[fi (vj )]

(16)

1.13 Observaci
on. Vemos lo siguiente:
1. Se sigue directamente del hecho de ser el determinante una forma lineal
alternada que f1 fr es, efectivamente, una forma r-lineal alternada.
M
as a
un la aplicaci
on : A(E) A(E) Ar (E) definida por
(f1 , . . . , fr ) = f1 fr , es r-lineal alternada.
2. Sea {f1 , . . . , fn } A(E) una base. Si r n, para cada I = {i1 < i1 <
< ir } {1, . . . , n} consideramos fI = fi1 fir , el conjunto de las
formas
fI constituye una base de Ar (E), se sigue de esto que dim Ar (E) =


n
.
r
11

3. Si r > n = dim E, toda forma f Ar (E; F ) verifica que f (v1 , . . . , vr ) =

0, para cualesquiera v1 , . . . , vr E, pues r vectores en un espacio de
dimensi
on n < r son linealmente dependientes. En particular tenemos que
dim Ar (E) = 0.
En adelante consideremos la transformacion lineal A : E F .
1.22 Definici
on. Para r 0, definimos la transformaci
on lineal inducida
A : Ar (F ) Ar (E) por (A f )(v1 , . . . , vr ) = f (Av1 , . . . , Avr ) si f Ar (F )
y v1 , . . . , vr E. La forma A f es llamada pullback de la forma f mediante A.
Proposici
on 1.3. La transformaci
on lineal A : Ar (F ) Ar (E) preserva el
producto exterior de funcionales lineales, es decir, se tiene que
A (f1 fr ) = A f1 A fr

(17)

para cualesquiera f1 , . . . , fr F .
Demostraci
on. En efecto, si tomamos v1 , . . . , vr E, tenemos que
A (f1 fr )(v1 , . . . , vr )

= (f1 fr )(Av1 , . . . , Avr )

= det[fi (Avj )]
= det[A fi (vj )]
= (A f1 A fr )(v1 , . . . , vr ).

Proposici
on 1.4. Existe una u
nica aplicaci
on bilineal : Ar (E) As (E)
Ar+s (E) tal que
(f1 fr , g1 gs ) = f1 fr g1 gs
para cualesquiera funcionales lineales f1 , . . . , fr , g1 , . . . , gs E
1.3 Notaci
on. Para f Ar (E) y g As (E) denotaremos por f g := (f, g).
1.14 Observaci
on. Sean A : Ar (F ) Ar (E) y A : As (F ) As (E), que
por abuso de notaci
on ser
an ambas nombradas por A , las transformaciones
inducidas por A. Para f Ar (E), g As (E) y h At (E) se verifica:
1. (f g) h = f (g h).
2. A (f g) = A f A g.

1.6.

Formas diferenciales

A lo largo de esta secci

on M y N seran una superficie m-dimensional y
l-dimensional de Rn y Rr , respectivamente, ambas de clase C k .
1.23 Definici
on. Diremos que es una forma diferencial de grado r en M si
hace corresponder a cada x M una forma r-lineal alternada (x) Ar (Tx M ).
1.15 Observaci
on. Sea una forma diferencial de grado r en M , tenemos que:
1. Para r = 0 asumiremos por convencion que = f : M R es una funcion
real de clase C k .
12

2. Si U Rn es un abierto, una forma diferencial de grado r en U es una

aplicaci
on : U Ar (Rn ).
3. Si {dx1 , . . . , dxn } A(Rn ) es la base dual de la base canonica de Rn
{e1 , . . . , en }, consideremos para cada I = {i1 < < ir } In la forma
dxI = dxi1 dxir . Para cada x U , tenemos que
X
(x) =
aI (x)dxI .
(18)
I

4. Si los los aI : U R son funciones de clase C k , diremos que es una

forma de clase C k .
1.24 Definici
on. Sea f : M N una aplicacion de clase C k (k 1), para
cada forma diferencial de grado r en N diremos que la forma diferencial de
grado r en M f , definida por
(f )(x) (w1 , . . . , wr ) = (f (x)) (f 0 (x)w1 , . . . , f 0 (x)wr )

(19)

para todo x M y cualesquiera w1 , . . . , wr Tx M , es el pullback de por f .

1.16 Observaci
on. Para r = 0, si = g es una forma diferencial de grado 0 en
N , tenemos que f = g f : M R.
Proposici
on 1.5. Sea P una superficie de clase C k . Si f : M N y g : N P
son aplicaciones de clase C k (k 1), para cualesquiera formas de grado r ,

en N y
en P se verifica:
1. f (a +
) = af + f
, para cualquier a R, es decir 7 f define
una transformaci
on lineal.
2. f (
) = f f
.
3. (g f )
= f (g
).
1.4 Notaci
on. Si : U0 U M es una parametrizacion local en M . En cada
punto x = (u), denotaremos por {du1 , . . . , dum } (Tx M ) a la base dual de



(u), . . . ,
(u) Tx M.
(20)
u1
um
En las situaci
on anterior, para I = {i1 < < ir } Im , las formas diferenciales duI = dui1 duir son una base de Ar (Tx M ), luego toda forma
diferencial de grado r en M se expresa en funcion de , como
X
(x) =
aI (u)duI , x = (u)
(21)
I

en estas condiciones tenemos la siguiente

1.25 Definici
on. Definimos la diferencial exterior de la forma como d
definida por
X
d(x) =
daI (u) duI , x = (u)
I

13

1.17 Observaci
on. Respecto a la anterior definicion:

1. Esta
no depende de la parametrizacion : U0 U de x en M que se
tome.
2. Recordemos que si tenemos f : M R, df es una forma diferencial de
grado 1 definida por
df (x) =

m
X
(f )
(u)dui
ui
i=1

(22)

donde (u) = x para cierta parametrizacion : U0 U de x en M .

Teorema 1.7. Sean f : M N y ,
formas diferenciales en N . Entonces:
1. d(
) = d
+ (1)gr() d
;
2. d(d) = 0;
3. d(f ) = f (d).
1.18 Observaci
on. El conjunto de las formas diferenciales de clase C k y grado
r sobre M es un espacio vectorial con la suma y el producto por un escalar
usuales.
1.5 Notaci
on. Denotaremos por r (M ) al espacio vectorial de las formas de

clase C y grado r sobre M .

As tenemos que la diferencial exterior es una transformacion lineal d :
r (M ) r+1 (M ) al igual que f : r (N ) r (M ).
1.26 Definici
on. Sea r (M ). Diremos que es:
1. Cerrada si dw = 0.
2. Exacta cuando existe r1 (M ) tal que d = (para esto supondremos que r 1).
1.19 Observaci
on. Se sigue de la definicion y el teorema 1.7 que:
1. Todas las formas cerradas en r (M ) son el n
ucleo de d : r (M )
r+1
r
(M ), y todas las formas exactas en (M ) son la imagen de d :
r1 (M ) r (M ).
2. Toda forma exacta es cerrada.
1.6 Notaci
on. Denotaremos por Z r (M ) y B r (M ) a los subespacios vectoriales
r
de (M ) formados por las formas cerradas y exactas, respectivamente.

1.7.

Secuencias exactas

Sea A un anillo conmutativo con unidad.

1.27 Definici
on. Sean F, G y H tres A-modulos y f : F G, g : G H
homomorfismos. Diremos que el diagrama:
F

/G

/H

es una secuencia de orden 2 en G o simplemente diremos que es semiexacta si

Im(f ) ker(g). En particular si Im(f ) = ker(g), diremos que la secuencia es
exacta e G (o simplemente diremos que es exacta).
14

/G

1.20 Observaci
on. Decir que la secuencia F
es equivalente a afirmar que g f = 0.

/ H es semiexacta,

Extenderemos ahora la nocion de exactitud a secuencias infinitas de A-modulos.

1.28 Definici
on. Sea {. . . , Mi1 , Mi , Mi+1 , . . . }iI una familia, posiblemente infinita numerable, de A-modulos, y {fi : Mi Mi+1 }iI una familia de
homomorfismos. Diremos que el diagrama:
...

fi2

/ Mi1

fi1

es una secuencia exacta si Mi1

todo i I.
f

1.7 Notaci
on. Sea F

/ Mi

fi1

/ Mi+1

fi

/ Mi

fi

fi+1

/ ...

(23)

/ Mi+1 es exacta en Mi para

/G
/F

1. Si f es inyectiva, escribiremos 0
2. Si f es sobreyectiva, escribiremos F

/G y

/0.

/G

Proposici
on 1.6. Consideremos una sucesi
on exacta de espacios vectoriales de
dimensi
on finita
0

/ V1

f1

/ V2

f2

/ ...

fk2

/ Vk1

fk1

/ Vk

/0.

(24)

Entonces la suma alternada de las dimensiones de los espacios Vi es cero.

Demostraci
on. Haremos la demostracion por induccion sobre k. Si k = 2, f1 es
un isomorfismo y en consecuencia dim(V1 ) dim(V2 ) = 0. Supongamos que el
teorema es cierto para k, y consideremos la secuencia exacta
0

/ V1

f1

/ V2

f2

/ ...

fk1

/ Vk

fk

/ Vk+1

/0.

(25)

Hagamos V2 = V2 / ker(f2 ) = V2 /Im(f1 ) y definamos f2 : V2 V3 por f2 ([x]) =

f2 (x), entonces la secuencia
0

/ V
2

f2

/ V3

f3

/ ...

fk1

/ Vk

fk

/ Vk+1

/0.

(26)

es exaca pues Im(f2 ) = Im(f2 ) = ker(f3 ) y ademas si f2 ([x]) = 0, entonces

f2 (x) = 0, luego x ker(f2 ) = Im(f1 ), entonces existe x0 V1 tal que f1 (x0 ) = x
y en consecuencia [x] = 0. De este modo, por hipotesis de induccion tenemos
que
dim(V2 ) dim(V3 ) + + (1)k+1 dim(Vk+1 ) = 0,
(27)
finalmente, observando que dim(V2 ) = dim(V2 ) dim(Im(f1 )) = dim(V2 )
dim(V1 ) y reemplazando en (27) se concluye.

15

2.

Cohomologa de deRham

2.1.

Primeras definiciones

Sea M Rn una superficie de dimension m y clase C .

2.1 Definici
on. Definimos el complejo de deRham como la sucesion de espacios
vectoriales siguiente
...

/ r1 (M )

/ r (M )

/ r+1 (M )

/ ... ,

(28)

donde ponemos r (M ) = {0} para todo r < 0.

2.1 Observaci
on. Teniendo en cuenta que un espacio vectorial es un modulo,
por el teorema 1.7, el complejo de deRham es una secuencia semiexacta, esto
es, d d = 0.
Como mencionamos en la observacion 1.19, tenemos que B r (M ) < Z r (M ),
esto nos permite hacer la siguiente
2.2 Definici
on. Definimos el r-esimo grupo de cohomologa como
H r (M ) :=

Z r (M )
,
B r (M )

(29)

su dimensi
on es llamado el r-esimo n
umero de Betti de M .
2.2 Observaci
on. De hecho como B r (M ) es un subespacio de Z r (M ), tenemos
r
que H (M ) es un R-espacio vectorial.
2.1 Ejemplo. Para r > m, H r (M ) = {0}. En efecto, pues de la observacion
1.13 se sigue que r (M ) = {0} para r > m, y por tanto B r (M ) = Z r (M ) =
r (M ) = {0}.
2.2 Ejemplo. Si M tiene k componentes conexas, H 0 (M )
= Rk . Pues si
0
0
f (M ), que f Z (M ) quiere decir que df = 0, luego se deduce que
las funciones constantes en cada componente conexa constituyen a Z 0 (M ), luego Z 0 (M )
= Rk . Por otro lado tenemos que B 0 (M ) = {0} pues 1 (M ) = {0},
de este modo H 0 (M ) = Z 0 (M )
= Rk .
2.3 Ejemplo. H 1 (R) = {0}. En efecto, si Z 1 (R) = 1 (R), entonces =
f dx para alguna funci
on diferenciable
R x f : R R. Si consideramos la 0-forma
diferencial , definida por (x) = 0 f (s)ds, tenemos que d(x) = 0 (x) dx =
(x), por tanto B 1 (R).

2.2.

Invarianza por homotopas

A lo largo de esta secci

on M y N seran una superficie m-dimensional y
l-dimensional de Rn y Rs , respectivamente, ambas de clase C .
Si f : M N es de clase C , sabemos que se induce una transformacion
lineal f : r (N ) r (M ) para todo r. En estas condiciones tenemos la
siguiente
Proposici
on 2.1. Para todo r se verifica que f (Z r ) Z r (M ) y f (B r (N ))
r
B (M ).
16

Demostraci
on. En efecto, si Z r (N ) y d = 0, de acuerdo al teorema 1.7
tenemos que d(f ) = f (d) = 0, luego f Z r (M ). Similarmente si
B r (N ), = d para alg
un r1 (N ), luego si = f r1 (M ), tenemos
que f = f (d) = d(f ) = d, as f B r (M ).
De este modo f induce un homomorfismo de grupos que continuaremos
llamando f : H r (N ) H r (M ) definido por f ([]) = [f ]. La buena definici
on de f se da por que si 0 = + d, con H r1 (N ), tenemos que

f ( 0 ) = f ( + d) = f + d(f ), de donde se sigue que [f 0 ] = [f ]. Que

f : H r (N ) H r (M ) sea homomorfismo es consecuencia de que f : r (N )
r (M ) es lineal.
2.3 Observaci
on. Se sigue de la proposicion 1.5 y la definicion de f que:
1. (g f ) = f g ,
2. Si M = N , (IdM ) = IdH r (M ) .
En particular si M y N son difeomorfas, existe f : M N difeomorfismo,
luego IdH r (M ) = (f 1 ) f e IdH r (N ) = f (f 1 ) , as f es un isomorfismo
de grupos y por tanto H r (M )
= H r (N ). Este hecho es generalizado en gran
medida como consecuencia del siguiente
Teorema 2.1. Si H : M [0, 1] N es una homotopa de clase C entre
f, g : M N , entonces
f = g : H r (N ) H r (M )

(30)

Demostraci
on. Supongamos inicialmente que U = M sea abierto. Para cada
t R consideremos la aplicacion it : U U R definida por it (x) = (x, t).
Notemos adem
as que toda forma r (U R) se escribe de manera u
nica
como = dt + donde ni
X
X
=
aI dxI r1 (U R) ni =
bJ dxI r (U R)
I

contienen al dt. Luego si definimos K : r (U R) r1 (U ) por


Z 1
X Z 1
(K)(x) =
(x, t)dt =
aI (x, t)dt dxI
0

(31)

tenemos que, en virtud de la linealidad de la integral, K es una transformacion

lineal.
Afirmamos que, para todo r (U R) se tiene que
K d + d K = i1 i0 .

(32)

En efecto, se tiene que

d =

X aI
I,j

xj

dxj dxI + dt

X aI
I

dxI

y
d =

X bJ
X aJ
dxk dxJ + dt
dxJ ,
xk
t
J

J,k

17

luego
d

= d(dt + )
= dt
d + d

X aI
X bJ
bJ
= dt
dxI +
dxJ +
dxk dxJ ,
xj
t
xk
I,j

entonces
K(d) =

X Z
J


X Z 1 aI 
bJ
dt dxJ
dt dxj dxI
t
0 xj
I,j

y
d(K) =

X Z
0

I,j


aI
dt dxj dxI ,
xj

por tanto
K d + d K

X Z
J


bJ
dt dxJ
t

X
[bJ (x, 1) bJ (x, 0)]dxJ
J

i1 i0 ,

lo que prueba nuestra afirmacion.

Definamos ahora L : r (N ) r1 (U ) por L = K H , para todo
r
(N ) tenemos que L es una transformacion lineal pues K y H lo son, ademas
L(d) + d(L)

=
=
=
=
=

K(H d) + d[K(H )]
K[d(H )] + d[K(H )]
i1 (H ) i0 (H )
(H i1 ) (H i0 )
g f

de donde se sigue que para Z r (N ), L(d) + d(L) = L(0) + d(L) = d(L),

es decir g f B r (U ).
Para el caso general, en el que M es una superficie de clase C , el teorema
1.3 nos asegura la existencia de una vecindad tubular U = V (M ) de M , consi : M R N
deremos : U M la proyeccion e i : M U la inclusion, si H
es una homotopa de clase C entre f y g, que existe por la observacion 1.7,
: U R N , definida por H(x,

entonces H
t) = H((x),
t), es una homotopa
de clase C entre f = f y g = g .
Por lo mostrado inicialmente para Z r (N ), g f B r (U ), es decir,
existe
r1 (U ) tal que g f = d
. Luego si = i
tenemos que
g f

= (
g i) (f i)

= i (
g f )
= d(i
)
= d

en consecuencia g = f + d, de donde se sigue que [g ] = [f + d] =

[f ] y por tanto f = g : H r (N ) H r (M ).
18

Veamos ahora algunas consecuencias de este teorema.

Corolario 2.1. Sean M y N superficies con el mismo tipo de homotopa, entonces H r (M )
= H r (N ).
Demostraci
on. En efecto, tenemos que existen f : M N y g : N M
aplicaciones de clase C tales que f g ' IdN y f g ' IdN , luego g
f = IdH r (N ) y f g = IdH r (N ) , por tanto f : H r (N ) H r (M ) es un
isomorfismo.
Corolario 2.2 (Invarianza por homeomorfismos). Si f : M N es un homeomorfismo, entonces H r (M )
= H r (N ).
Demostraci
on. Por la observacion 1.8, existen g1 : M N y g2 : N M de
clase C tales que f ' g1 y f 1 ' g2 , luego IdM = f 1 f ' g2 g1 , por el
teorema 1.6, podemos suponer que IdM ' g2 g1 , similarmente tenemos que
IdN ' g1 g2 . Por tanto, debido al corolario 2.1, se concluye que H r (M )
=
H r (N ).
Corolario 2.3. Si M es contr
actil, entonces para todo r > 0, H r (M ) = {0}.
Demostraci
on. Es una consecuencia inmediata del corolario 2.1.
2.4 Observaci
on. En particular si M es estrellada, entonces H r (M ) = {0}.
Corolario 2.4 (Lema de Poincare). Toda forma cerrada de grado mayor que
cero en una superficie M es localmente exacta.
Demostraci
on. Sean p M y : U0 U M su parametrizacion en M ,
podemos suponer que U0 es un abierto convexo, en particular es contractil y
como es un difeomorfismo de clase C se deduce que H r (U ) = H r (U0 ) = {0},
luego toda forma exacta r (U ) es cerrada o lo que es lo mismo, toda
Z r (M ) restringida a U es cerrada.
Corolario 2.5. Para cualquier n > 0, H r (Rn \ {0})
= H r (Sn1 ).
Demostraci
on. Sea M = Rn \ {0} y consideremos f : M Sn1 definida
x
por f (x) =
e i : Sn1 M la inclusion. Entonces f g = IdSn1 y
kxk
x
es una homotopa
H : M [0, 1] M definida por H(x, t) = (1 t)x + t
kxk
entre g f e IdSn1 , luego M y Sn1 tienen el mismo tipo de homotopa y por
tanto, debido al corolario 2.1, H r (Rn \ {0}) = H r (Sn1 ).

2.3.

Secuencia de Mayer-Vietoris

Sean M Rn una superficie de dimension m y clase C y U, V abiertos de

M tales que U V = M . Si iU : U M , iV : V M , jU : U V U y
jV : U V V son las respectivas inclusiones, para todo r 0 definimos las
aplicaciones
r (M )

Fr

/ r (U ) r (V )

19

Gr

/ r (U V )

(33)

por
Fr () = (|U , |V ) = (iU , iV ),
Gr (1 , 2 ) = 1 |U V 2 |U V = jU 1 jV 2 .

(34)

Claramente Gr Fr = 0, pues
Gr Fr () = Gr (|U , |V ) = (|U )|U V (|V )|U V = |U V |U V = 0,
luego Im(Fr ) ker(Gr ). Recprocamente si Gr (1 , 2 ) = 0, podemos definir
r (M ) por

1 (x) si x U
(x) =
(35)
2 (x) si x V
y tenemos que Fr () = (1 , 2 ). Luego Im(Fr ) = ker(Gr ) y por tanto la secuencia (33) es exacta, m
as a
un tenemos la siguiente
Proposici
on 2.2. La secuencia
0

/ r (M )

Fr

/ r (U ) r (V )

Gr

/ r (U V )

/0

(36)

es exacta.
Demostraci
on. Solo nos falta ver la exactitud en r (M ) y en r (U V ).
Si r (M ) es tal que Fr () = (0, 0), |U , |V = 0, luego = 0 y la
exactitud en r (M ) esta probada.
Veamos la exactitud en r (U V ). Sea r (U V ), consideremos una
partici
on de la unidad {U , V } subordinada a {U, V } como en la proposicion
1.2 y definamos 1 en U y 2 en V por

V (x)(x) si
xU V
1 (x) =
y
0
si x U \ supp V
(37)

2 (x)

U (x)(x)
0

si
si

xU V
,
x V \ supp U

luego como U V y U \ supp V son abiertos de U que recubren a U , se deduce

que 1 r (U ), similarmente vemos que 2 r (V ). Entonces tenemos que
Gr (1 , 2 ) = 1 |U V 2 |U V = (V )|U V + (U )|U V =

(38)

lo que concluye la prueba.

Lema 2.1. para Fr y Gr definidas como antes, el diagrama siguiente es conmutativo
r (M )


Fr

Gr

dd

r+1 (M )

/ r (U ) r (V )

Fr+1


/ r+1 (U ) r+1 (V )

/ r (U V )
d

Gr+1


/ r+1 (U V )

Demostraci
on. La prueba es una comprobacion directa.

20

(39)

La secuencia (33) induce la secuencia

H r (M )

/ H r (U ) H r (V )

/ H r (U V )

(40)

mediante F [] = ([iU ], [iV ]) y G ([1 ], [2 ]) = [Gr (1 , 2 )]. Un calculo directo muestra que F y G son homomorfismos bien definidos y que la secuencia
(40) es semiexacta. Veamos a continuacion que podemos conectar cada lnea como (40) con una similar de un grado superior mediante un homomorfismo de
conexi
on.
Teorema 2.2. Para todo r 0 existe un homomorfismo de grupos : H r (U
V ) H r+1 (M ) tal que la sucesi
on

/ H 0 (M )

/ H 0 (U ) H 0 (V )

/ H 0 (U V )

/ . . . (41)

...

/ H r (M )

/ H r (U ) H r (V )

/ H r (U V )

/ ...

/ H m (M )

/ H m (U ) H m (V )

/ H m (U V )

...

/0

es exacta, donde F [] = ([iU ], [iV ]) y G ([1 ], [2 ]) = [Gr (1 , 2 )].

Demostraci
on. Hagamos la prueba en los siguientes pasos
Definici
on de : Sea [] H r (U V ) con Z r (U V ), como Gr
es sobre, existen 1 = r (U ) y 2 r (V ) tales que Gr (1 , 2 ) = .
Adem
as tenemos que
0 = d = (d Gr )(1 , 2 ) = Gk+1 (d1 , d2 )

(42)

luego (d1 , d2 ) ker(Gr+1 ) = Im(Fr+1 ), luego existe r+1 (M ) tal

que Fr+1 () = (d1 , 2 ). Por otro lado como
(Fr+2 d)() = (d d)(Fr+1 ()) = (d d)(d1 , d2 ) = 0

(43)

y Fr+2 es inyectiva, d = 0, luego es cerrada, de este modo definimos

: H r (U V ) H r+1 (M ) por
([]) = [].

(44)

Veamos que nuestra definicion es buena, para esto consideremos 0 =

+ d con r1 (U V ), por ser Gr1 sobre, existen 1 r1 (U ) y
2 r1 (V ) tales que = Gr1 (1 , 2 ). Ademas como hicimos para , existen 10 = r (U ) y 20 r (V ) tales que Gr (10 , 20 ) = 0 .
Tambien (d10 , d20 ) ker(Gr+1 ) = Im(Fr+1 ) y en consecuencia existe
0 r+1 (M ) cerrada tal que Fr+1 ( 0 ) = (d10 , d20 ). Por otro lado tenemos que
Gr (10 1 , 20 2 )

= 0 = d
=

(d Gr1 )(1 , 2 ) = Gr (d1 , d2 )

21

(45)

entonces (10 1 d1 , 20 2 d2 ) ker(Gr ) = Im(Fr ), as existe

r (M ) tal que (10 1 d1 , 20 2 d2 ) = Fr (). Luego como
Fr+1 ( 0 )

Fr+1 ( 0 ) Fr+1 ()

=
=

(d10
(d10

(d Fr )() = Fr+1 (d)

d1 , d20

(46)

d2 )

d1 (d d)(1 ), d20 d2 (d d)(2 ))

de la inyectividad de Fr+1 se deduce que 0 = d y por tanto [ 0 ] = []

lo que prueba la buena definicion de .
Ahora veamos la exactitud de la secuencia (41):
Exactitud en H 0 (M ): Sea [f ] H 0 (M ) tal que F ([f ]) = 0, entonces
F0 (f ) = (d1 , d2 ) para 1 1 (U ) = {0} y 2 1 (V ) = {0}, luego
F0 (f ) = (d0, d0) = (0, 0) y como F0 es inyectiva concluimos que f = 0 y
en consecuencia [f ] = 0.
Exactitud en H r (U ) H r (V ) para 0 r m: Sabemos que la secuencia
(41) es semiexacta en H r (U ) H r (V ), solo nos falta ver que ker(G )
Im(F ). Sea entonces ([1 ], [2 ]) ker(G ) con 1 Z r (U ) y 2 Z r (V ),
como 0 = [G(1 , 2 )] H r (U V ), existe r1 (U V ) tal que
Gr (1 , 2 ) = d. De la sobreyectividad de Gk1 deducimos la existencia
de (1 , 2 ) H r1 (U ) H r1 (V ) tal que Gr1 (1 , 2 ) = , luego
Gr (d1 , d2 ) = (d Gr1 )(1 , 2 ) = d = Gr (1 , 2 ),

(47)

entonces (d1 d1 , d2 d2 ) ker(Gk ) = Im(Fk ). As, existe

r (M ) tal que Fr () = (d1 d1 , d2 d2 ), ademas como
Fr+1 (d) = (d d)(Fr ()) = (d1 , d2 ) = (0, 0)

(48)

de la inyectividad de Fr+1 deducimos que es exacta, en consecuencia

[] H r (M ) y adem
as
F ([]) = ([1 d1 ], [2 d2 ]) = ([1 ], [2 ]),

(49)

por tanto ([1 ], [2 ]) Im(F ).

Exactitud en H r (U V ): Sea ([1 ], [2 ]) H r (U ) H r (V ). Si
[] = G ([1 ], [2 ]),

(50)

entonces ([]) = [] donde Z r+1 (M ) verifica Fr+1 () = (d1 , d2 ) =

(0, 0). Luego = 0, en consecuencia ( G )([1 ], [2 ]) = [] = 0. Por
tanto (Im)(G ) ker().
Recprocamente, tomemos [] H r (U V ) tal que
([]) = 0 H r+1 (M ).

(51)

Sabemos que ([]) = [] con Z r+1 (M ) tal que Fr+1 () = (d1 , d2 ),

donde (1 , 2 ) r (U ) r (V ) satisfacen que Gr (1 , 2 ) = . De (51),
22

deducimos que es exacta, luego existe r (M ) tal que d = . Si

Fk () = (10 , 20 ) tenemos que
(d d)(10 , 20 )

[(d d) Fr ]() = Fr+1 (d)

Fr+1 () = (d1 , d2 ),

(52)

luego d10 = d1 y d20 = d2 , entonces (1 10 , 2 20 ) Z r (U )Z r (V ).

As, ([1 10 ], [2 20 ]) H r (U ) H r (V ) y tenemos que
G ([1 10 ], [2 20 ])

[Gr (1 10 , 2 20 )]

[Gr (1 , 2 ) Gr (10 , 20 )]

[Gr (1 , 2 ) (Gr Fr )()]

[Gr (1 , 2 )] = [],

(53)

de donde concluimos que [] Im(G ) y por tanto ker() Im(G ).

Exactitud en H r+1 (M ): Sea [] H r (U V ), entonces ([]) = [] con
Z r+1 (M ) tal que Fr+1 () = (d1 , d2 ), donde (1 , 2 ) r (U )
r (V ) satisfacen que Gr (1 , 2 ) = . Como
(F )([]) = F ([]) = ([d1 ], [d2 ]) = (0, 0),

(54)

se tiene que F = 0 y por tanto Im() ker(F ).

Recprocamente, si [] H r+1 (M ) es tal que F ([]) = (0, 0), Fr+1 () es
de la forma Fr+1 () = (10 , 20 ) con 10 , 20 exactas, luego existe (1 , 1 )
r (U ) r (V ) tal que d1 = 10 y d2 = 20 . Si = Gr (1 , 2 ), entonces
Z r (U V ) pues
d

(d Gr )(1 , 2 ) = Gr+1 (d1 , d2 )

Gr+1 (10 , 20 ) = Gr+1 (Fr+1 ()) = 0,

(55)

luego [] H r (U V ). Ademas como Fr+1 () = (10 , 20 ) = (d1 , d2 ), se

deduce que ([]) = [] y por tanto ker(F ) Im().
Exactitud en H m (U V ): Sea [] H m (U V ), como Gm es sobreyectiva,
existe (1 , 2 ) m (U )m (V ) = Z m (U )Z m (V ) tal que Gm (1 , 2 ) =
, luego G ([1 ], [2 ]) = [] y por tanto G es sobreyectiva.

2.4.

Cohomologa de la esfera y algunas aplicaciones

Usemos la sucesi
on de Mayer-Vietoris para determinar la cohomologa de la
esfera.
Teorema 2.3. La cohomologa de deRham de la esfera Sm esta dada por

R
si
r = 0, m
H 0 (S0 ) = R2 y H r (Sm )
(56)
=
{0} si 0 < r < m,
para m > 1.

23

Demostraci
on. Sean p = (1, 0, . . . , 0), q = p y consideremos los abiertos de Sm
U = Sm \ {p} y V = Sm \ {q}. Tenemos que U V = Sm , U y V son difeomorfos
a Rn , U V es difeomorfo a Rm \ {0}, luego teniendo presente el corolario 2.5
se deduce que

R
si
r=0
H r (U )
(57)
= H r (V )
= H r (Rm ) =
{0} si 0 < r m.
y

H r (U V )
= H r (Sm1 ),

(58)

luego la sucesi
on de Mayer-Vietoris asociada es

/ H 0 (Sn )

H 0 (Sm1 )

R2

R
F

/ H 0 (U ) H 0 (V )

/ H 0 (U V )

/ H 1 (U V )

{0}

/ H 1 (Sm )

/ H 1 (U ) H 1 (V )

/ H r1 (U ) H r1 (V )

...

/ ...

(59)

H r1 (Sm1 )

{0}

/ H r (Sm )

/ H r1 (U V )

/ ...

/ H r (U ) H r (V )

{0}
De las dos u
ltimas lineas de (59) podemos deducir que para k > 1, H r (Sm )
=
m1
H
(S
) y de las dos primeras lineas de (59) deducimos que para m 1 la
sucesi
on
r1

/R

/ R2

/ H 0 (Sm1 )

/ H 1 (Sm )

/0

(60)

es exacta. Entonces si m = 1, Sm1 = {1, 1}, luego H 0 (Sm1 )

= R2 y apli1 1
m1
cando la proposici
on 1.6 concluimos que H (S ) = R. Si m > 1, S
es conexa, luego H 0 (Sm1 )
= R y nuevamente por la proposicion 1.6 deducimos que
H 1 (Sm ) = {0}.
As, H 1 (S1 )
= {0} para m > 1 y H 1 (S1 )
= H r (Sm )
=
= R, H 1 (Sm )
r1 m1
H
(S
). Finalmente (56) se sigue de aplicar induccion matematica.
Una consecuencia inmediata de este teorema es el siguiente
24

Corolario 2.6. Si n 6= m, entonces Sn y Sm no tienen el mismo tipo de homotopa, en particular no son homeomorfos.
Corolario 2.7 (Invarianza de la dimension). Rn y Rm son homeomorfos si, y
s
olo si, n = m.
Demostraci
on. Evidentemente si n = m Rn y Rm son homeomorfos. Recprocamente, supongamos por contradiccion que n =
6 m y que h : Rn Rm sea un
homeomorfismo, entonces
Rn \ {0}
= Rm \ {h(0)}
= Rm \ {0},

(61)

pero como Rn \ {0} tiene el mismo tipo de homotopa que Sn1 y Rm \ {0} tiene
el mismo tipo de homotopa que Sm1 , tendramos que Sn1 y Sm1 tienen el
mismo tipo de homotopa, lo cual es absurdo.

3.
3.1.

Dualidad de Alexander
Teorema de dualidad de Alexander

Antes de probar el resultado principal de esta seccion veamos los siguientes

lemas.
Lema 3.1. Si F1 , F2 Rn son cerrados homeomorfos, entonces R2n \ {0} F2
y R2n \ F1 {0} son homeomorfos.
Demostraci
on. Sea : F1 F 2 homeomorfismo y : F2 F1 su inversa.
Por el teorema de extensi
on de Tietze, existen : Rn Rn y : Rn Rn
extensiones continuas de y , respectivamente. Definamos h, k : R2n R2n
por
h(x, y) = (x, y (x)) y k(x, y) = (x (y), y),
(62)
un simple c
alculo muestra que h y k son homeomorfismos, mas precisamente
h1 (x, y) = (x, y + (x)) y k(x, y) = (x + (y), y). Ademas como para x F1
tenemos que h1 (x, 0) = (x, (x)) = (x, (x)), se sigue que
k h1 (x, 0) = (x (x), (x)) = (0, (x)),

(63)

luego k h1 transforma F1 {0} en {0} F2 . Similarmente se tiene que h k 1

transforma {0} F2 en F1 {0}. Por tanto R2n \ {0} F2 y R2n \ F1 {0} son
homeomorfos.
Lema 3.2. Si F Rn es cerrado, entonces
H r (Rn \ F )
= H r+1 (Rn+1 \ F {0}) para r 1,

H 0 (Rn \ F )/R
= H 1 (Rn+1 \ F {0}) y
R
= H 0 (Rn+1 \ F {0}),
representa al espacio de funciones constantes.
donde R

25

(64)

Demostraci
on. Sean U = {(x, t) Rn+1 : x 6 F t > 0} y V = {(x, t)
Rn+1 : x 6 F t < 0}. Se tiene que U y V son contractiles, U V =
Rn+1 \ F {0} y adem
as U V = (Rn \ F ) R tiene la misma homotopa que
Rn \ F . Luego tenemos que
Si r 1: Haciendo Ar = H r (U ) H r (V ), la secuencia de Mayer-Vietoris
asociada es
Ar

/ H r (Rn \ F )

/ H r+1 (Rn+1 \ F {0})

{0}

/ Ar+1 , (65)

{0}

en consecuencia es un isomorfismo y concluimos que H r (Rn \ F )

=
H r+1 (Rn+1 \ F {0}).
Si r = 0: Teniendo en cuenta que H 1 (U ) H 1 (V )
= 0, la secuencia de
Mayer-Vietoris asociada es
/ H 0 (Rn \ F )

/ H 0 (Rn \ F )

/ H 0 (U ) H 0 (V )

/ H 1 (Rn+1 \ F {0})

/ ,

(66)

/0

si tomamos (a, b) H 0 (U ) H 0 (V ), tenemos que a y b son funciones

constantes, luego G (a, b) = a b es una funcion constante. Deducimos
que dim Im(G ) = 1, en consecuencia

ker() = Im(G ) = R

(67)

H 1 (Rn+1 \ F )
= H 0 (Rn \ F )/R.

(68)

de donde se tiene que

Finalmente como dim Im(F ) = dim ker(G ) = 1 se deduce que H 0 (Rn+1 \

F)
= R.

Teorema 3.1 (Dualidad de Alexander). Si F1 , F2 Rn son cerrados homeomorfos, entonces para todo r 0
H r (Rn \ F1 )
= H r (Rn \ F2 ).
Demostraci
on. Aplicando sucesivamente el lema 3.2 tenemos que
H r (Rn \ F1 )
= ...
= H r+n (R2n \ F1 {0}) (si r 1),
H r (Rn \ F2 )
= ...
= H r+n (R2n \ F2 {0}) (si r 1),

H 0 (Rn \ F1 )/R
= ...
= H n (R2n \ F1 {0}) y

H 0 (Rn \ F2 )/R

...
= H n (R2n \ F2 {0}).
26

(69)
(70)

Adem
as por el lema 3.1 tenemos que R2n \ {0} F2 es homeomorfo a R2n \
F1 {0}, pero R2n \ {0} F2 es homeomorfo a R2n \ F2 {0}, luego por por
el corolario 2.2 tenemos que
H r (Rn \ F1 )
= H r+n (R2n \ F1 {0})
= H r+n (R2n \ {0} F2 )

= H r+n (R2n \ F2 {0})

= H r (Rn \ F2 )

(71)

para r 1, y

H 0 (Rn \ F1 )/R

= H n (R2n \ F1 {0})
= H n (R2n \ {0} F2 )

= H n (R2n \ F2 {0})
= H 0 (Rn \ F2 )/R

(72)

de donde se sigue el resultado.

3.2.

Teorema de Jordan-Brouwer

Proposici
on 3.1. Para todo conjunto C homeomorfo a Sn en Rn+1 , Rn+1 \ C
tiene dos componentes conexas.
Demostraci
on. Del teorema de Dualidad de Alexander se deduce que H 0 (Rn+1 \
0
n+1

C) = H (R
\ Sn ), y debido a que Rn+1 \ Sn tiene dos componentes conexas,
0
n+1
n
H (R
\ S ) = R R, por tanto Rn+1 \ C tiene dos componentes conexas.
Teorema 3.2. Sea U Rn abierto. Si f : U Rn es un homeomorfismo sobre
su imagen, entonces f (U ) es abierto en Rn .
Demostraci
on. Sea x U , tomemos la bola B = Bx tal que x B y B U ,
entonces tenemos que si S = B, como B y S son disjuntos, se verifica la
igualdad
Rn = f (B) t f (S) t (Rn \ f (B))
(73)
donde las anteriores son uniones disjuntas, luego Rn \f (S) = f (B)t(Rn \f (B)).
Por la proposici
on 3.1 Rn \ f (S) tiene dos componentes conexas. Tenemos que
f (B) es conexo, por ser la imagen de un conexo va una aplicacion continua,
adem
as, por el teorema 3.1, el conjunto Rn \ f (B) esta obligado a ser conexo, y
como Rn \ f (S) es abierto, se deduce que Rn \ f (B) y f (B) son abiertos conexos
en Rn , por tanto
[
f (U ) =
f (Bx )
(74)
xU

es abierto.
Finalicemos este trabajo mostrando el siguiente teorema.
Teorema 3.3 (Teorema de Jordan-Brouwer). Sea C homeomorfo a Sn en Rn+1 .
Entonces Rn+1 \ C tiene dos componentes conexas las cuales tienen frontera
com
un igual a C.
Demostraci
on. La primera parte de este teorema fue probada en la proposicion
3.1, veamos entonces la parte faltante. Sean A y B las componentes conexas de
Rn+1 \ C. tomemos x C y W una vecindad abierta de x en Rn+1 tal que la
vecindad V = W C de x en C sea homeomorfa a una bola de Rn . Entonces
27

tenemos que K = C \ V es homeomorfo a un subconjunto propio L, cerrado de

Sn , como evidentemente Rn+1 \ L es conexo, por el teorema 3.1 tenemos que
Rn+1 \K tambien es conexo y como es abierto, es conexo por caminos. Tomemos
ahora a A, b B y : [0, 1] Rn+1 un camino que los una, con (0) = a y
(1) = b. Necesariamente pasa por V (de otro modo Rn+1 \ C sera conexo)
m
as precisamente R = V = C 6= es compacto. Ahora consideremos
ta

mn{t : (t) R} y

tb

max{t : (t) R},

(75)

tenemos que para t < ta , (t) A y para t > tb , (t) B. Luego existe > 0
tal que (ta , ta ) W , en particular W A 6= . Del mismo modo se concluye
que W B 6= . Por tanto C pertenece a la frontera de A y B y como la union
Rn+1 = A t B t C es disjunta, concluimos que A = B = C.
3.1 Observaci
on. Para n = 1 tenemos el resultado clasico del teorema de la
curva de Jordan.

4.

Conclusiones
El teorema de Invarianza por Homotopas nos dice que los grupos de cohomologa solo dependen del tipo de homotopa de la superficie, en particular
el corolario de Invarianza por Homomorfismos, nos dice que los grupos de
cohomologa son invariantes topologicos.
El teorema de Dualidad de Alexander, nos ayuda a comparar cohomologas
de superficies, conociendo solo relaciones topologicas entre son complementos. Como consecuencia de esto tenemos el teorema de Jordan-Brouwer.
En resumen la Cohomologa es una fuerte herramienta que nos permite
obtener resultados de caracter topologico usando herramientas analticas y
algebraicas, como por ejemplo el resultado de invarianza de la dimension
que obtuvimos como consecuencia de determinar la cohomologa de la
esfera y los resultados ya mencionados.

28

5.

Referencias Bibliogr
aficas

[1] I. Madsen, J. Tornehave, From Calculus to Cohomology, Cambridge University Press, 1997.
[2] E. L. Lima, An
alise real, vol. 3, Colecao Matematica Universitaria, IMPA,
2008.
[3] E. L. Lima, Introducci
on a la Cohomologa de deRham, Monografas del
IMCA, Lima, 2001.
[4] E. L. Lima, Curso de An
alise, vol. 2, Proyecto Euclides, IMPA, 2006.

[5] E. L. Lima, Algebra

exterior, Colecao Matematica Universitaria, IMPA,
2005.
[6] M. P. do Carmo, Differential Forms and Applications, Springer-Velarg, Germany, 1994.

29