Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Geometria
Geometria
Joaqun P
erez Mun
Geometra y Topologa
Introducci
on
Estos son los apuntes de la asignatura Geometra y Topologa, obligatoria de
cuarto curso de la Licenciatura de Matematicas de la Universidad de Granada. Son de
libre distribuci
on, y pueden bajarse de la p
agina web
http://www.ugr.es/local/jperez/
Est
an basados en apuntes previos del profesor Francisco Urbano, y en ellos encontrar
as los
enunciados y demostraciones de los resultados contenidos en el programa de la asignatura,
distribuidos por temas tal y como esta se estructur
o y aprob
o en Consejo de Departamento.
Algunas veces, las demostraciones est
an resumidas y dejan que el lector compruebe los
detalles como ejercicio. Adem
as de estos, al final de cada tema hay una relaci
on de ejercicios
propuestos.
Como siempre en estos casos, los apuntes no estar
an libres de errores, y es labor conjunta del autor y de los lectores mejorarlos, un trabajo que nunca se termina. Si encuentras
alg
un error, por favor enva un e-mail a la direcci
on de correo electr
onico jperez@ugr.es
Todo lo que se dice en los apuntes puede encontrarse, a menudo explicado con m
as profundidad, en numerosos textos b
asicos. Son recomendables los siguientes:
G. E. Bredon, Topology and Geometry, Springer-Verlag 1993.
C. Godbillon, El
ements de Topologie Alg
ebrique, Hermann 1971.
J. Lafontaine, Introduction aux Varietes Differentielles, Presses Universitaires de Grenoble 1996.
G. L. Naber, Topology, Geometry, and Gauge Theory, Springer-Verlag 2000.
M. Spivak, A comprehensive introduction to Differential Geometry I-V,
Publish or Perish (1979).
F. Warner, Foundations of differentiable manifolds and Lie groups, ScottForesman (1971).
Granada, septiembre de 2007
Joaqun Perez Mu
noz
i
ii
Indice general
1. VARIEDADES DIFERENCIABLES
1.1. Subvariedades del espacio Eucldeo. . . . . . . . .
1.2. Concepto de variedad diferenciable. . . . . . . . .
1.3. Aplicaciones diferenciables. Difeomorfismos. . . .
1.4. Espacio Tangente. Diferencial de una aplicaci
on.
1.5. Difeomorfismos locales. . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
6
10
23
34
.
.
.
.
.
43
43
50
52
63
67
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
83
83
87
89
97
4. COHOMOLOG
IA DE de RHAM
4.1. Espacios de cohomologa de de Rham. Lema de Poincare.
4.2. Invarianza homot
opica de la cohomologa de de Rham. . .
4.3. La sucesi
on de Mayer-Vietoris. . . . . . . . . . . . . . . .
4.4. Cohomologa de la esfera y el espacio proyectivo real. . . .
4.5. Cohomologa de grado m
aximo. Clase fundamental. . . . .
4.6. Grado de aplicaciones diferenciables. . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
105
106
107
111
120
126
129
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Captulo 1
VARIEDADES
DIFERENCIABLES
1.1.
A la aplicaci
on X anterior se la llama parametrizaci
on local de M alrededor de p.
Usaremos la notaci
on M n para indicar que la dimensi
on de M es n. Observemos que la
condici
on 2 anterior dice que n k. Al entero no negativo k n se le llama la codimensi
on
k
de la subvariedad. Cuando n = k 1, llamamos a M una hipersuperficie de R . Tambien
conviene poner de manifiesto que todo abierto de una subvariedad M n de Rk es una
subvariedad de Rk de la misma dimensi
on n.
n diferenciable.
Ejemplo 1.1.1 Grafo de una aplicacio
Sea F : O Rkn una aplicaci
on diferenciable definida en un abierto O de Rn . Entonces,
el grafo de F definido por
n
o
G(F ) = (x, F (x)) Rn Rkn Rk | x O
es una subvariedad de dimensi
on n de Rk .
Una sencilla utilizaci
on del teorema de la funci
on inversa nos permite probar el siguiente resultado (ya conocido para superficies), el cual nos proporcionar
a gran cantidad de
ejemplos de subvariedades.
Proposici
on 1.1.1 Sea F : O Rp (k > p) una aplicaci
on diferenciable definida en un
abierto O de Rk , y sea a Rp un valor regular de F (esto es, para todo x F 1 (a), la
diferencial dFx : Rk Rp es sobreyectiva). Si F 1 (a) 6= , entonces M := F 1 (a) es una
subvariedad de dimensi
on n = k p de Rk .
Demostraci
on. Fijemos un punto p F 1 (a), y vamos a encontrar una parametrizaci
on de
1
1
2
F (a) alrededor de p. Sean y = (y , y ) = (y1, . . . , ykp , ykp+1 , . . . , yk ) las coordenadas
afines respecto a un sistema de referencia afn de Rk centrado en p. Definimos H(y 1, y 2) =
(y 1 , F (y)) Rkp Rp en un entorno de (0, 0) p en Rk . Entonces, H(0, 0) = (0, a)
Rkp Rp y
A(kp)p
Ikp
dH(0,0) =
,
0p(kp) Bpp
A
donde dFp =
ltima matriz es p luego
. Como dFp es sobreyectiva, el rango de esta u
B
en dFp hay p filas linealmente independientes. Salvo una permutaci
on de las veriables
y1 , . . . , yk , podemos suponer que las p u
ltimas filas de dFp son linealmente independientes,
luego B es una matriz regular. Por tanto, el rango de dH(0,0) es k, y dH(0,0) es un isomorfismo. Por el teorema de la funci
on inversa, existen entornos abiertos de O de p en
Rk y H(O) de (0, a) Rkp Rp en Rk tales que H|O : O H(O) es un difeomorfismo. Geometricamente, H rectifica O F 1 (a) llev
andolo en puntos del subespacio afn
{y 2 = a} de Rk . M
as concretamente, si y = (y 1, y 2) O F 1 (a) entonces H(y) = (y 1, a)
y adem
as, y 1 1 (H(O)) donde 1 : Rk Rkp la proyecci
on sobre las primeras k p
componentes. N
otese que 1(H(O)) es abierto de Rkp , ya que 1 es una aplicaci
on abierta. Sin embargo, el recproco no tiene porque ser cierto, ya que si y 1 1 (H(O)) entonces
no tenemos asegurado que (y 1, a) H(O), como puede verse en el dibujo siguiente:
O(n) = A Mn (R) | A At = In
n(n1)
F (A) = A A .
(1.1)
1.2.
Definici
on 1.2.1 Sea M un espacio topol
ogico. Una estructura diferenciable sobre M es
una familia D = {(Ui , i)}iI (aqu I es cualquier conjunto de ndices) verificando
Aqu usamos que las variedades son de clase C r , r 1. Si estudiamos variedades C 0 (topol
ogicas),
no podremos hacer uso del teorema de la funci
on inversa, sino del teorema de invarianza del dominio de
Brouwer, para concluir que la dimensi
on de una variedad de clase C 0 est
a bien definida.
S
+
n
n
Claramente, Ui+ , Ui son abiertos de Sn y Sn = n+1
i=1 (Ui Ui ). Si D R es el disco
abierto centrado en el origen y de radio 1, consideramos las aplicaciones
i : Ui D ,
bi , . . .xn+1 ),
i (x1 , . . . , xn+1 ) = (x1 , . . ., x
u
n
X
u
(i) (y1 , . . . , yn ) = y1 , . . . , yi1, t1
yi2, yi , . . . , yn , (y1 , . . . , yn ) Dn .
i=1
10
Al espacio cociente CPn = (Cn+1 {0})/R se le llama espacio proyectivo complejo. Las
cartas de un atlas diferenciable sobre CPn se definen de forma similar al caso real: primero
consideramos en CPn consideramos la topologa cociente, que convierte a la proyecci
on
: Cn+1 {0} CPn en una identificaci
on. Para cada i {1, . . . , n + 1} se define
Oi = {(z1, . . . , zn+1 ) Cn+1 | zi 6= 0}.
Entonces, Vi = (Oi ) es un abierto de CPn , y la aplicaci
on i : Vi Cn R2n dada por
z1
zi1 zi+1
zn+1
i ((z1, . . . , zn+1 )) =
, . . .,
,
, . . .,
zi
zi
zi
zi
define un atlas {(Vi, i)}1in+1 sobre CPn , que lo convierte en una variedad diferenciable
de dimensi
on 2n. Los cambios de carta no son s
olo difeormorfismos de clase C , sino
difeomorfismos analticos (holomorfos) en el sentido de la variable compleja, lo que hace que
CPn tenga una estructura de variedad compleja de dimensi
on n, aunque no estudiaremos
variedades complejas en este curso.
1.3.
Definici
on 1.3.1 Sean M n y N m dos variedades diferenciables y p M . Una aplicaci
on
F : M N se dice diferenciable en p si para cualquier carta (V, ) de N con F (p) V ,
existe una carta (U, ) de M con p U tal que F (U ) V y
F 1 : (U ) (V ),
es diferenciable en (p) como aplicaci
on entre abiertos de Rn y Rm . F se dice diferenciable
en M si es diferenciable en todo punto de M . Al conjunto de aplicaciones diferenciables
de M en N lo representaremos por C (M, N ) (simplificaremos C (M, R) por C (M )).
Nota 1.3.1
(i) La definici
on anterior no depende de las cartas alrededor de p y F (p), porque el cambio
de cartas es diferenciable como aplicaci
on entre abiertos del espacio eucldeo. De
hecho, podemos cambiar (V, ) . . . (U, ) por (V, ), (U, ) . . . o bien por
(V, ), (U, ) . . . con los cambios obvios.
(ii) No hemos impuesto que F sea, a priori, continua. Sin embargo, es f
acil ver que si
F : M N es diferenciable, entonces F es continua (ejercicio).
(iii) Si M o N son abiertos de Rn o Rm entonces, para cualquier punto p M , las cartas
pueden ser tomadas as: (U, ) = (Rn , 1Rn ) o (V, ) = (Rm, 1Rm ). En particular,
cuando M y N son abiertos de Rn y Rm , el nuevo concepto de diferenciablidad
coincide con el del An
alisis.
11
Definici
on 1.3.2 Un difeomorfismo entre dos variedades diferenciables M y N es una
aplicaci
on biyectiva F : M N tal que F y F 1 son aplicaciones diferenciables. En tal
caso, M, N se dicen variedades difeomorfas. Claramente, las dimensiones de dos variedades
difeomorfas coinciden. Un difeomorfismo local es una aplicaci
on diferenciable F : M N
tal que p M , existen entornos abiertos U de p en M y V de F (p) en N tales que
F |U : U V es un difeomorfismo.
Dos ejemplos: Si (U, ) es una carta de una variedad diferenciable M , entonces es
un difeomorfismo de U en (U ), ambos con la estructura diferenciable inducida como
abiertos de M y Rn , respectivamente. Por otro lado, las variedades (R, D({(R, 1R)}) y
(R, D({(R, t3)}) son difeomorfas, aunque ambas estructuras diferenciables son distintas.
En Geometra Diferencial, identificamos variedades diferenciables que sean difeomorfas,
as que los dos ejemplos anteriores de estructuras diferenciables sobre R son consideradas
identicas desde este punto de vista.
Otro problema, mucho m
as complejo, es determinar cu
antas estructuras diferenciables
distintas (no difeomorfas) admite una variedad topol
ogica dada, si es que admite alguna.
A nivel informativo:
Toda variedad C k admite una u
nica estructura diferenciable (C ) que es compatible con la estructura C k , en el sentido de que los cambios de cartas entre ambas
estructuras son difeomorfismos de clase C k (Whitney).
Existen variedades topol
ogicas (C 0 ) que no admiten ninguna estructura diferenciable
(Donaldson).
Cada variedad topol
ogica M n con dim M 3 admite una u
nica estructura diferenciable (salvo difeomorfismos).
Cada variedad diferenciable compacta M n con dim M 5 admite una cantidad
finita de estructuras diferenciables (salvo difeomorfismos).
Para cada n N, n 6= 4, Rn admite una u
nica estructura diferenciable (salvo difeomorfismos).
R4 admite una cantidad infinita no numerable de estructuras diferenciables.
Una esfera ex
otica es una variedad diferenciable M n homemorfa a Sn pero no difeomorfa a Sn . La tabla siguiente muestra la cantidad de estructuras diferenciables en
una esfera (salvo difeomorfismos) para dimensiones bajas:
dim M 1 2 3 4 5 6 7 8 9 10 11 12 13 . . .
#estr. dif. 1 1 1 ? 1 1 28 2 8 6 992 1 3
12
Proposici
on 1.3.2 Sea M n Rk una subvariedad. Entonces:
1.
La inclusi
on i : M Rk es diferenciable.
2.
Una aplicaci
on F : N M es diferenciable si y s
olo si i F : N Rk es diferenciable.
3.
Demostraci
on.
Para probar que i es diferenciable en p M , basta elegir una carta (U, ) para M
alrededor de p que sea la inversa de una parametrizaci
on X. La carta elegida para Rk
k
ser
a (R , 1Rk ), luego la versi
on de i en coordenadas locales respecto a ambas cartas es la
parametrizaci
on X de M , que es diferenciable. Esto prueba el apartado 1. El apartado 3
es consecuencia de 1 ya que F |M = F i siendo i la inclusi
on de M en O. Por u
ltimo,
veamos el apartado 2:
La implicaci
on necesaria se deduce de que la composici
on de aplicaciones diferenciables
es diferenciable. Veamos la implicaci
on suficiente:
13
Primero notemos que F C 0 (N, M ), ya que M tiene la topologa inducida (es decir,
la topologa inicial para la inclusi
on) e i F es continua de N a Rk .
Fijemos un punto p N . Basta probar que F : N M es diferenciable en p. Usando el
Lema 1.3.1 en F (p) (que probaremos despues), tenemos que existen cartas (U, ) para M y
n
k
(V, ) para Rk tales que
F (p) U , (F (p)) = 0 R , i(F (p)) V , (i(F (p))) = 0 R ,
|
U V y i
(x1, . . . , xn ) = (x1 , . . ., xn , 0, . . ., 0).
Usando la continuidad de F : N M y el abierto U de M , encontramos una carta
(W, ) en N tal que p W y F (W ) U . Si vemos que F 1 es diferenciable en
(W ) podremos concluir que F es diferenciable en p y habremos terminado. Llamando 1
a la proyecci
on de Rk = Rn Rkn sobre su primer factor, tenemos
F 1 = 1(U ) F 1 = 1 i 1 F 1 = 1 (i F ) 1 ,
que es diferenciable por ser composici
on de aplicaciones diferenciables.
14
e U,
= |
e W ) Rk ,
V = H(O
= (H|OW
)1 .
e
e H(OW
e
N
otese que la inclusi
on U V se traduce en e1(O)
), inclusi
on que se cumple
1
e
e
e
e
e W ). S
ya que dado q (O), tenemos q = X((q)) luego q = H((q), 0) H(O
olo
1
e
queda comprobar que ( i )(x) = (x, 0), donde x = (x1, . . . , xn) O. Pero
( i
)(x) = (H|OW
)
e
eU
i |
1
h
i
1
(x) = (H|OW
)
X
(x),
e
A continuaci
on tenemos ejemplos de aplicaciones diferenciables. La demostraci
on de
la diferenciabilidad se deja como ejercicio.
Ejemplo 1.3.1
(i) Dado q Sn (1), la funci
on altura fq : Sn (1) R dada por fq (p) = hp, qi, es diferenciable.
(ii) La proyecci
on can
onica : Rn+1 {0} RPn es diferenciable, y una aplicaci
on
n
F : RP M es diferenciable si y s
olo si F : Rn+1 {0} M es diferenciable.
Una forma sencilla de producir gran cantidad de variedades diferenciables es como
cocientes de otras variedades mediante acciones de grupos con ciertas condiciones, como
veremos a continuaci
on.
Definici
on 1.3.3 Sea M n una variedad diferenciable y G un grupo algebraico. Una acci
on
es una aplicaci
on : G M M tal que g, g1, g2 G, p M ,
1. e p = p,
2. g1 (g2 p) = (g1 g2 ) p.
Dado g G, se define g : M M por g (p) = g p. Entonces, g es una biyecci
on, con
inversa g1 .
La acci
on se dice diferenciable cuando g G, g es un difeomorfismo de M en s misma (equivalentemente, cuando g es diferenciable g G). Adem
as, se dice propiamente
discontinua cuando p M , U M abierto conteniendo a p tal que U g (U ) =
g G {e}.
15
Toda acci
on sobre M define una relaci
on de equivalencia sobre M :
p G q g G | g p = q.
Llamemos : M M/G = M/ G a la proyecci
on can
onica de M en su cociente. es
continua si en M/G consideramos la topologa cociente, y abierta (porque 1((O)) =
gG g (O), O M ).
Proposici
on 1.3.3 Si : G M M es una acci
on diferenciable y propiamente discontinua de un grupo algebraico G sobre una variedad diferenciable M , entonces existe
una u
nica estructura diferenciable D sobre M/G que convierte a en difeomorfismo local.
Adem
as, la topologa subyacente a D es la topologa cociente.
Demostraci
on. Existencia.
Consideremos en M/G la topologa cociente T /G de la topologa T de M . Dado p M ,
sea U un abierto de M conteniendo a p dado por la discontinuidad de la acci
on . Entonces,
|U : U (U ) es un homeomorfismo (es continua, sobreyectiva, inyectiva y abierta).
Ahora podemos definir las cartas de M/G como la composici
on de |U con cartas de M
cuyo abierto coordenado este contenido en U . Variando U y aplicando este procedimiento,
se obtiene un atlas diferenciable sobre M/G, que genera una estructura diferenciable D
que hace a difeomorfismo local (ejercicio).
Unicidad.
Si M/G admite una estructura diferenciable D0 que hace de un difeomorfismo local y llamamos T 0 a la topologa subyacente a D0 , entonces : (M, T ) (M/G, T 0 ) es continua,
sobreyectiva y abierta, luego identificaci
on. Por tanto, T 0 = T /G. Ahora consideramos las
1M/G
16
2 (x, y) = (1 x, y 1).
G act
ua de forma natural sobre R2 , de forma diferenciable, propia y discontinua. La
actuaci
on de G sobre el cuadrado unidad [0, 1]2 se representa mediante la figura de arriba.
El cociente R2 /G es la botella de Klein BK. La proyecci
on natural : R2 BK es un
n
difeomorfismo local, y una aplicaci
on F : BK M valuada en una variedad diferenciable
M es diferenciable si y s
olo si F : R2 M es diferenciable.
17
A continuaci
on probaremos la existencia de funciones meseta y particiones de la unidad
en cualquier variedad con ciertas hip
otesis topol
ogicas. Las funciones meseta permiten
construir particiones de la unidad, que a su vez trasladan conceptos y cuestiones locales
a otras globales (por ejemplo, en la Secci
on 1.4 podremos tratar indistintamente vectores
tangentes en un punto p a una variedad como derivaciones sobre funciones globalmente
definidas o como germenes de funciones alrededor de p).
Lema 1.3.2 (Existencia de funciones diferenciables no constantes)
Sea M n una variedad diferenciable, U M un abierto y p un punto de U . Entonces,
existe una funci
on diferenciable f : M R verificando:
1.
2.
Es f
acil comprobar que g C (R), g 0, g(0) = 0, g(t) = 1 si t 1 y g(t) = 0 si t 0.
Por u
ltimo, definimos h : R R dada por h(t) = g(t + 2) g(2 t):
18
Es f
acil comprobar que h C (R), h 0, h(t) = 0 si |t| 2 y h(t) = 1 si |t| 1. Esta es
la funci
on meseta que buscamos sobre R. Con la notaci
on del lema, tenemos V = (1, 1)
y U podemos tomarlo como cualquier abierto que contenga a [2, 2].
En la segunda parte de la prueba, encontraremos la funci
on meseta sobre la variedad
M . Es claro que no perdemos generalidad suponiendo que U es el abierto coordenado de
una carta (U, ) centrada en p (es decir, (p) = 0 Rn ). Como (U ) es un abierto de
Rn que contiene a 0, existe > 0 tal que B(0, 2) (U ). Definimos V := 1(B(0, )),
abierto de M que contiene a p, y f : M R mediante
(
2
h k(q)k
si q U,
2
f (q) =
0
si q
/ U,
donde h es la funci
on meseta en R que acabamos de construir. Entonces, f es C en M
(la diferenciabilidad de f en U se deduce de la de h, y M 1 (B(0, 2)) es un abierto que
contiene a M U , donde f es identicamente cero). Adem
as, V = 1(B(0, )) es compacto
por ser imagen continua de un compacto, y est
a contenido en U . Es f
acil comprobar que
1
f = 1 en V y que {q M | f (q) 6= 0} (B(0, 2)), luego tomando clausuras deducimos
que soporte(f ) es un compacto contenido en U .
2
Definici
on 1.3.4 Un espacio topol
ogico cumple el segundo axioma de numerabilidad
(ANII) si admite una base numerable de topologa.
Por ejemplo, Rn con la topologa usual es ANII. Si X es un espacio topol
ogico y A X es
un subconjunto suyo, entonces A es ANII con la topologa inducida . Ser ANII tambien se
hereda a los productos cartesianos, y la imagen por una aplicaci
on continua, sobreyectiva
y abierta de un espacio topol
ogico ANII sigue siendo ANII. A partir de estas propiedades,
es f
acil comprobar que todos los ejemplos de variedades vistas hasta ahora son ANII. De
ahora en adelante, supondremos que todas nuestras variedades diferenciables son ANII y
Hausdorff.
Definici
on 1.3.5 Sea M una variedad diferenciable y {U} un recubrimiento por
abiertos de M . Una partici
on de la unidad subordinada a {U} es una familia numerable
{i }iN C (M ) cumpliendo las siguientes propiedades:
1. 0 i 1 en M y soporte(i) es compacto, i N.
2. p M , U entorno abierto de p en M tal que soporte(i) U = para todo i
salvo para una cantidad finita de ndices (la familia {i}iN es localmente finita).
P
3.
n=1 i = 1 (la serie tiene sentido por 2).
4. i N, = (i) tal que soporte(i) U(i).
19
Nuestro siguiente objetivo es probar que toda variedad diferenciable (ANII) admite una
partici
on de la unidad subordinada a cualquier recubrimiento por abiertos prescrito. Empezaremos con un resultado topol
ogico.
Lema 1.3.3 Sea X un espacio topol
ogico conexo, localmente compacto2 , T2 y ANII. Entonces, existe una sucesi
on {Gi }iN de abiertos de X cumpliendo las siguientes propiedades:
1.
i=1 Gi = M .
2.
Demostraci
on. Primero veamos que existe una base de topologa {Ui}iN tal que Ui es
compacto i N. En efecto, por ser X ANII admite una base numerable de topologa
B = {Bi }iN. Veamos que B0 := {Bi B | Bi es compacto} es una base de topologa y
tendremos este primer paso probado. Dado p X y dado O X abierto de X con p O,
basta comprobar que existe Bi B0 tal que p Bi O. Por ser X localmente compacto,
existe un entorno compacto V de p tal que p V O. Como B es base de topologa,
existe Bi B tal que p Bi V . Tomando adherencias y usando que V = V (porque un
compacto en un espacio T2 es siempre cerrado), deducimos que Bi B0 , como queramos.
En segundo lugar, definimos G1 = U1 (no vaco3, abierto y con cierre compacto).
Como {Ui }iN es un recubrimiento por abiertos del compacto G1, podemos extraer un
subrrecubrimiento finito. En particular, existe un menor n
umero natural j1 tal que
G1 U1 . . . Uj1 := G2.
1
Entonces G2 = ji=1
Ui , que es compacto por ser uni
on finita de compactos. Cambiando G1
por G2 en el razonamiento anterior, existe un menor n
umero natural j2 (podemos suponer
j2 j1) tal que
G2 U1 . . . Uj2 := G3.
20
Teorema 1.3.1 (Existencia de particiones de la unidad) Sea M una variedad diferenciable (ANII) y {U } un recubrimiento por abiertos de M . Entonces, existe una
partici
on de la unidad {i }iN subordinada al recubrimiento {U} .
Demostraci
on. Supongamos que el teorema es cierto cuando M es conexa (este caso particular lo probaremos despues), y veamos el caso general. Primero notemos que como M
es ANII, entonces M tiene una cantidad numerable de componentes conexas (ejercicio 12),
a las que llamamos Cj , j A N. Si {U } es un recubrimiento por abiertos de M ,
entonces para cada j A fijo {U Cj } es un recubrimiento por abiertos de la variedad
diferenciable conexa Cj . Por el Teorema en el caso conexo, existe una partici
on de la unidad
{i,j }iN subordinada al recubrimiento {U Cj }. Entonces, {i,j | i N, j A} es
una partici
on de la unidad de M subordinada al recubrimiento {U} , lo que prueba el
Teorema en el caso general, suponiendolo cierto en el caso conexo.
Ahora supondremos que M es conexa y probaremos el Teorema: Tomemos la familia
{Gi }iN del Lema 1.3.3. Definimos G0 = , K0 = G1, Ki = Gi+1 Gi , i 1. As, Ki es
compacto, Ki Gi+2 Gi1 i, y iN Ki = M .
21
fp i
jN fpj
C (M ).
P
Entonces, 0 i 1 en M , soporte(i) =soporte(fpi ) es compacto y iN i = 1 en M .
Adem
as, {i }i es una familia localmente finita (porque dado x M , existe k N tal que
x Gk y Gk es un abierto que s
olo corta a una cantidad finita de soportes de las i). Por
u
ltimo, soporte(i) = soporte(fpi ) U(pi ) , con lo que hemos probado el teorema cuando
M es conexa.
2
Recordemos el siguiente resultado topol
ogico:
Lema 1.3.4 (Urysohn) Un espacio topol
ogico X es normal 4 si y s
olo si para todo par
de cerrados disjuntos F1 , F2 X, existe f : X [0, 1] continua tal que f = 0 en F1 y
f = 1 en F2 .
Veamos la versi
on diferenciable del Lema de Urysohn:
Corolario 1.3.1 Sean F y O un cerrado y un abierto de una variedad diferenciable M
con F O. Entonces, existe f C (M ) tal que f = 1 en F y f = 0 en M O. En
particular, M es un espacio topol
ogico normal.
4
22
Demostraci
on. Aplicando el Teorema 1.3.1 al recubrimiento de M por abiertos {O, M F },
obtenemos una partici
on de la unidad {i }iN subordinada a dicho recubrimiento. EnP
tonces, la funci
on f = iA i donde A = {i N | soporte(i ) 6 M F } es una funci
on
diferenciable en M (porque la suma es localmente finita) que cumple las condiciones pedidas.
2
Corolario 1.3.2 Sea M una variedad diferenciable, U un abierto de M y K un compacto
de M con K U . Entonces, existe f C (M ) tal que f |K = 1 y soporte(f ) U .
Otro resultado cl
asico de Topologa es el siguiente.
Lema 1.3.5 (Teorema de extensi
on de Tietze) Un espacio topol
ogico es normal si
y s
olo si dado cualquier cerrado F X y cualquier funci
on continua f : F R, existe
fe : X R continua tal que fe|F = f .
A continuaci
on veremos la versi
on diferenciable del u
ltimo enunciado.
Corolario 1.3.3 (Teorema de extensi
on de Tietze diferenciable) Sea M n Rk una
subvariedad cerrada de Rk . Dada f C (M ), existe fe C (Rk ) tal que fe|M = f .
Demostraci
on. En primer lugar veamos que dado p M , existe Wp abierto de Rk con
p Wp y existe fp C (Wp ) tal que fp |Wp M = f |Wp M : En efecto, aplicando el
Lema 1.3.1 en p M , existe una carta (Wp, = (y1, . . . , yk )) de Rk tal que
M Wp = {(y1 , . . ., yk ) V | yn+1 = . . . = yk = 0}.
Ahora definimos fp C (Wp) por fp (y1, . . . , yn , yn+1 , . . . , yk ) = f (y1 , . . ., yn , 0, . . ., 0) (o
sea, extendemos f como constante a lo largo de las direcciones yn+1 , . . ., yk ), y tenemos
la funci
on deseada.
El segundo paso en la demostraci
on consiste en pegar todas las extensiones locales
fp anteriores para conseguir una extensi
on global fe de f . Consideremos el recubrimiento
k
k
de R por abiertos {Wp}pM {R M } (aqu usamos que M es cerrada en Rk ). Por el
Teorema 1.3.1, existe una partici
on de la unidad {i}iN C (Rk ) subordinada a dicho
recubrimiento. Sea
A = {i N | soporte(i ) M 6= }.
Dado i A existe p(i) M tal que soporte(i) Wp(i). Definimos gp(i) : Rk R
mediante
fp(i)(x)i(x) si x Wp(i) ,
gp(i)(x) =
0
si x Rk Wp(i).
1.4. ESPACIO TANGENTE. DIFERENCIAL DE UNA APLICACION.
23
= f (x)
X
iA
xWp(i)
iA
iA
iA
xWp(i)
xWp(i)
xWp(i)
X
X
X
i (x) = f (x)
(x)
+
(x)
+
i (x)
i
i
= f (x).
iA
iA
xWp(i)
xW
/ p(i)
iNA
1.4.
(f g)(p) = f (p)g(p),
p M,
(1.3)
24
Demostraci
on. Definiendo aw1 + bw2 : C (Rn ) R mediante (aw1 + bw2)(f ) = aw1(f ) +
bw2(f ), es un ejercicio sencillo comprobar que Vp se convierte en un espacio vectorial real.
Si v Rn , la aplicaci
on (v) definida en (1.3) es lineal en f (por la linealidad de la derivada
respecto a t) y cumple [(v)](f g) = [(v)](f )g(p) + f (p)[(v)]w(g) f, g C (Rn ) (por
la regla del producto para la derivada respecto a t). Por tanto, (v) es una derivaci
on, y
es una aplicaci
on valuada en Vp. La linealidad de es consecuencia de la regla de la
cadena para funciones reales de una variable real. es inyectiva, ya que si v Rn {0}
n
entonces i = 1, . . ., n tal que vi 6= 0. Entonces,
tomando f = xi C (R ) (i-esima
d
n
proyecci
on de R en R), tenemos [(v)](f ) = dt 0 xi (p + tv) = vi 6= 0. Por u
ltimo, veamos
la sobreyectividad de :
Dada w Vp , definimos v = (w(x1), . . ., w(xn)) Rn . Si vemos que (v) = w habremos terminado. Para ello, tomemos f C (Rn ) y probemos que [(v)](f ) = w(f ).
Desarrollando f en serie alrededor de p tenemos
f (x) = f (p) +
n
X
i=1
constante c. Esto u
ltimo es consecuencia de lo siguiente: por ser w lineal, dada g C (Rn )
tenemos c w(g) = w(c g) = w(c) g(p) + c w(g) luego w(c) g(p) = 0, g C (Rn ). Tomando
ahora g tal que g(p) 6= 0, tendremos w(c) = 0.
En cuanto a la segunda igualdad de (1.4):
d
[(v)](xi pi ) = [(v)](xi) [(v)](pi) = [(v)](xi) = xi (p + tv)
dt 0
d
= (pi + tvi ) = vi = w(xi ) = w(xi) w(pi) = w(xi pi ).
dt 0
2
Generalizamos lo anterior a variedades diferenciables.
Definici
on 1.4.1 Sea p un punto en una variedad diferenciable M n . Un vector tangente
a M en p es una funci
on v : C (M ) R satisfaciendo
1. (Linealidad)
1.4. ESPACIO TANGENTE. DIFERENCIAL DE UNA APLICACION.
2. (Regla del producto)
25
para todo f, g C (M ) y a, b R.
Razonando como en la demostraci
on de la Proposici
on 1.4.1 deducimos que si v es un
vector tangente a M en p, entonces v(c) = 0 para toda funci
on constante c sobre M .
Lema 1.4.1
(i) Si v es un vector tangente a M en p y f, g C (M ) coinciden en alg
un entorno de
p, entonces v(f ) = v(g).
(ii) Si v es un vector tangente a M en p y f C (M ) es constante en alg
un entorno de
p, entonces v(f ) = 0.
Demostraci
on. Las dos afirmaciones son equivalentes, y por linealidad podemos reducirnos
a probar que si f = 0 en un entorno U de p, entonces v(f ) = 0. Para ello, tomemos un
compacto K M con p K U . Usando el Corolario 1.3.2, encontramos una funci
on
26
p V V soporte(h) U,
soporte(h) compacto.
H(v) = ve,
Claramente, ve|C (M ) = v, lo que nos dice que H es inyectiva. Veamos que H es sobreyectiva: Sea b
v : C (p) R una derivaci
on, y v := vb|C (M ). Debemos probar que H(v) = b
v.
Para ello, tomemos f C (p), definida en un abierto U de M que contiene a p. Por un
lado,
[H(v)](f ) = v(fe) = b
v|C (M ) (fe) = b
v(fe),
luego todo se reduce a probar que b
v(fe) = vb(f ). Esto se deduce de aplicar el Lema 1.4.1-(i)
a la variedad U , a la derivaci
on vb|C (U ) y a las funciones f, fe|U . As, H es biyectiva. 2
Por tanto, podemos ver los vectores tangentes a una variedad M en un punto p como
operadores lineales verificando la regla del producto, definidos sobre C (M ) o bien sobre
C (p).
Definici
on 1.4.3 El espacio tangente a M en p, que se representar
a por TpM , se define
como el conjunto de todos los vectores tangentes a M en p. TpM tiene una estructura
natural de espacio vectorial real sin m
as que definir v + w y av por
(v + w)(f ) = v(f ) + v(g)
(av)(f ) = av(f ),
para v, w Tp M , a R y f C (M ) o f C (p).
Nota 1.4.1 Sea O M un abierto de una variedad diferenciable M y p O un punto
de M . Entonces TpO es isomorfo a TpM de manera natural.
1.4. ESPACIO TANGENTE. DIFERENCIAL DE UNA APLICACION.
27
Definici
on 1.4.4 Sea : I M una aplicaci
on diferenciable de un intervalo abierto I
de R, a la que llamaremos curva diferenciable en M. Sea t0 I y p = (t0 ). Definimos la
aplicaci
on 0 (t0) : C (p) R por
d
0
(t0 )(f ) = (f )(t).
dt t0
Entonces 0 (t0 ) es un vector tangente a M en (t0 ) = p, esto es 0 (t0 ) TpM , al que
llamamos el vector tangente o velocidad de en t0 .
Lema 1.4.3 Tp M coincide con el conjunto de vectores tangentes a curvas diferenciables
en M pasando por p.
Demostraci
on. Basta probar que todo vector tangente v Tp M (es decir, v : C (p)
R es una derivaci
on) es la velocidad de una curva diferenciable : (, ) M con
(0) = p. Tomemos una carta (U, = (x1, . . . , xn )) con p U y (p) = 0. La curva
(t) = 1 (tv(x1), . . ., tv(xn )) (definida alrededor de 0 R) es C , cumple (0) = p y
d
0
[ (0)](xi) = (xi 1 )(tv(x1), . . . , tv(xn)) = v(xi ),
i = 1, . . . , n.
dt 0
Sea f C (p). Si vemos que [0(0)](f ) = v(f ) habremos terminado. Viendo 0 (0), v como
derivaciones sobre germenes de funciones en p, podemos suponer que (U ) convexo y usar
la Afirmaci
on 1.4.1 (que
on). As, existen f1 , . . . , fn C (U )
Pnprobaremos a continuaci
tales que f |U = f (p) + i=1 xi fi luego
!
n
n
n
X
X
X
0
0
0
[ (0)](f ) = [ (0)] f (p) +
xi fi =
[ (0)](xi)fi (p) +
xi (p)[0(0)](fi)
=
n
X
i=1
i=1
i=1
i=1
Deshaciendo los pasos anteriores cambiendo 0 (0) por v, tendremos [0(0)](f ) = v(f ). 2
Afirmaci
on 1.4.1 Sea p un punto en una variedad diferenciable M y (U, = (x1, . . . , xn ))
una carta de tal que p U , (p) = 0 Rn y (U ) es convexo. Entonces, dada f C (U )
existen f1 , . . . , fn C (U ) tales que
f = f (p) +
n
X
i=1
xi fi .
28
Demostraci
on. Sea q U y F (t) = (f 1 )(tx1(q), . . ., txn (q)), definida en (, 1 + )
para cierto > 0 por la convexidad de (U ). Usando la regla de Barrow,
f (q) = F (1) = F (0) +
1
0
F (t) dt = f (p) +
0
1
0
d
(f 1 )(tx1(q), . . ., txn (q)) dt.
dt 0
n
X
xi (q)
i=1
X
(f 1)
(tx1 (q), . . ., txn (q)) dt = f (p) +
xi (q)fi (q),
ri
i=1
1
0
(f 1 )
(tx1 (q), . . ., txn (q)) dt.
ri
2
Definici
on 1.4.5 Sea (U, = (x1, . . . , xn)) una carta de una variedad M . Definimos
: C (p) R por
xi
p
xi
(f )
(notaci
on)
f
(f 1)
(p) :=
,
xi
ri
(p)
xi
As,
n
X
i=1
v(xi)
xi
.
p
(1.5)
1.4. ESPACIO TANGENTE. DIFERENCIAL DE UNA APLICACION.
29
Demostraci
on. Dado v TpM , sea C ((, ), M ) con (0) = p, 0(0) = v, que
existe por el Lema 1.4.3. Dada f C (p),
d
d
0
v(f ) = [ (0)](f ) = (f )(t) = (f 1)[( )(t)].
dt 0
dt 0
Usando la regla de la cadena para aplicaciones de Rn en R, lo anterior se escribe
"
#
n
n
n
X
X
X
(f 1)
[0(0)](xi)
(f ).
()0i(0) =
(f )[0(0)](xi) =
ri
x
xi p
i
(p)
p
i=1
i=1
i=1
Como lo anterior es v
alido f C (p), deducimos la ecuaci
on (1.5). As,
x1
,. . .,
p
xn
p
xi
forman un sistema de generadores de TpM . De la ecuaci
on x
(p) = ij deducimos que
j
, . . . , xn
son linealmente independientes, y por tanto forman base de TpM . 2
x1
p
(1.6)
yj
=
p
n
X
xi
i=1
(p)
yj
xi
.
p
Demostraci
on. Ejercicio.
Definici
on 1.4.6 Sea F C (M, N ) y p M . Se define la diferencial de F en p como
la aplicaci
on dFp = Fp : Tp M TF (p)N dada por
[dFp (v)] (f ) = v(f F ),
v TpM, f C (F (p)).
30
(i) Sea F C (M, N ) y p M . Si v TpM es el vector tangente a una curva diferenciable : (, ) M con (0) = p, entonces dFp (v) = (F )0(0).
(ii) Si F : M N es constante, entonces dFp = 0 p M .
(iii) d(1M )p = 1TpM , p M .
(iv) Regla de la cadena. Si F C (M, N ) y G C (N, P ), entonces
d(G F )p = dGF (p) dFp ,
p M.
F (p)
TF (p)N es
dFp
xj
!
p
n
X
(yi F )
xj
i=1
(p)
yi
j = 1 . . . , n.
F (p)
TpM Tf (p)R R
( es el isomorfismo de espacios vectoriales dado en (1.6)). Entonces, si v Tp M y t
representa la funci
on identidad de R en R,
dfp (v) [dfp(v)] = [dfp (v)](t) = v(t f ) = v(f ),
luego dfp (TpM ) (espacio dual). A (TpM ) := TpM se le llama el espacio cotangente de
M en p. As, dfp Tp M f C (M ) (esto puede hacerse f C (p)). Como caso particular, tomando como f = xi la i-esima funci
on coordenada de una
carta (U, ) alrededor
de p, es f
acil comprobar que {(dx1)p, . . . , (dxn)p } es la base dual de
.
, . . ., xn
x1
p
1.4. ESPACIO TANGENTE. DIFERENCIAL DE UNA APLICACION.
31
Proposici
on 1.4.4 Si M n Rk una subvariedad e i : M , Rk la correspondiente inclusi
on, entonces dip : Tp M Tp Rk es un monomorfismo para todo p M . Consideremos
la composici
on
dip
TpM TpRk Rk
donde es el isomorfismo de espacios vectoriales dado en (1.6). En adelante, se identificar
a TpM con ( dip)(TpM ) Rk para todo p M .
Adem
as, un vector v Rk pertenece al subespacio vectorial ( dip)(TpM ) s y solo
si v = (01 (0), . . ., 0k (0)), donde : (, ) M Rk es una curva diferenciable con
(0) = p.
Demostraci
on. Para que dip sea un monomorfismo de espacios vectoriales, basta ver que
ker(dip) = {0}. Si v Tp M cumple dip(v) = 0, entonces v(f i) = 0 para toda funci
on
diferenciable definida en un entorno de p en Rk . Usando el Teorema de extensi
on de
Tietze en su versi
on diferenciable (Corolario 1.3.35), toda funci
on diferenciable definida
en un entorno de p en M es restricci
on de una funci
on definida en un entorno de p en Rk ,
con lo que v = 0 como vector de TpM .
Sea v Rk . Si v ( dip)(TpM ), entonces existe w TpM tal que
v = (dip(w)) = ([dip(w)](x1), . . . , [dip(w)](xk)) = (w(x1 i), . . ., w(xk i)) .
Por otro lado, el Lema 1.4.3 implica que existe C ((, ), M ) con (0) = p, 0 (0) = w
y por tanto,
v = [0 (0)](x1 i), . . ., [0(0)](xk i)
= (x1 i )0(0), . . ., (xk i )0 (0) = 01 (0), . . . , 0k (0) .
Recprocamente, sea v = (01 (0), . . ., 0k (0)) Rk con C ((, ), M ), (0) = p. As,
la derivaci
on 0 (0) est
a en Tp M . Como (0(0)) = v, tenemos v ( dip)(TpM ).
2
Ejemplo 1.4.3
1. Sea Sn la esfera unidad en Rn+1 . Entonces, bajo la identificaci
on dada en la Proposici
on 1.4.4,
TpSn {v Rn+1 | hv, pi = 0} = hpi , p Sn .
2. Si A O(n) (grupo ortogonal), entonces:
TA O(n) = {AX | X Mn (R) antisimetrica}.
5
32
Rn+1 {0}
, donde xRy siempre que y = x
R
Sn (1)
, donde p q siempre que q = p.
con R {0},
Veamos c
omo identificar el espacio tangente a RPn en un punto, siguiendo ambos modelos.
Empezamos con RPn2 : Dado p Sn (1) y [p] = 2 (p) RPn2 (aqu 2 : Sn (1) RPn2 es la
proyecci
on can
onica), la diferencial
(d2)p : Tp Sn (1) T[p]RPn2
es un isomorfismo de espacios vectoriales. En efecto, contando dimensiones basta comprobar que ker(d2)p = {0}; si v ker(d2)p entonces
v(f 2 ) = 0 f C ([p]). Por
P
es una carta para Sn (1) alrededor de p. Si probamos que podemos elegir estas funciones
coordenadas xi de forma que
xi = f i 2
para ciertas fi C ([p]), habremos terminado. Y esto es f
acil de probar, usando c
omo se
n
dot
o de estructura diferenciable a RP2 . Por tanto:
Podemos identificar T[p]RPn2 con TpSn (1) va d(2)p (y por tanto, con hpi Rn+1 ).
Desde luego, podemos hacer la identificaci
on anterior de T[p]RPn2 con Tp Sn (1) va d(2)p .
As, a cada w T[p]RPn2 le corresponden unicos v1 Tp Sn (1), v2 TpSn (1) tales que
d(2)p (v1) = w = d(2)p (v2). Pasando a diferenciales la igualdad 2 A = 2 donde
A : Sn (1) Sn (1) es la aplicaci
on antpoda, concluiremos que v2 = dAp (v1). Si ahora
identificamos v1 , v2 con vectores de hpi , podemos ver vi = 0i (0) Rn+1 para i = 1, 2,
donde i C ((, ), Sn(1)), 1(0) = p, 2 (0) = p. Entonces,
d
d
d
0
dAp(v1 ) = dAp (1(0)) = (A 1)(t) = (1 (t)) = 1 (t) = v1 ,
dt 0
dt 0
dt 0
luego v2 = v1 como vectores de hpi. En resumen:
a
Podemos identificar cada vector tangente en T[p]RPn2 como un par de vectores tangentes
en puntos antpodas, siendo estos vectores opuestos.
Sn (1)
1.4. ESPACIO TANGENTE. DIFERENCIAL DE UNA APLICACION.
33
T
S
(1)
deriva
a
f
vista
desde
la
esfera,
es
decir,
a
p
p
f 2. N
otese que podemos subir a Sn (1) cada funci
on de C ([p]), pero el recproco no
es cierto. En este sentido, la aplicaci
on
C (RPn2 ) {h C (Sn (1)) | h A = h},
f 7 f 2 ,
es biyectiva.
Ahora hacemos lo an
alogo con RPn1 . Consideremos la aplicaci
on diferenciable
f : Rn+1 {0} Sn (1),
f (x) =
x
.
kxk
f induce un difeomorfismo fe : RPn1 RPn2 tal que fe1 = 2 f , donde 1 : Rn+1 {0}
RPn1 es la proyecci
on can
onica. Pasando a diferenciales en un punto x Rn+1 {0} la
u
ltima igualdad y usando que dfe1 (x), (d2)f (x) son isomorfismos de espacios vectoriales,
deducimos que ker(d1)x = ker(dfx ). Por otro lado, un c
alculo sencillo nos dice que dado
v Tx(Rn+1 {0}) Rn+1 ,
dfx (v) =
v
hx, vi
x.
kxk
kxk3
Por tanto, ker(dfx ) Span(x). Contando dimensiones, tenemos dim ker(dfx ) 1, luego
ker(dfx ) = Span(x). En particular, conclumos:
(dfx )|hxi : hxi Tf (x)Sn (1) es un isomorfismo de espacios vectoriales.
ker(d1)x = Span(x).
(d1)x |hxi : hxi T1 (x) RPn1 es un isomorfismo de espacios vectoriales.
Podemos identificar TxRPn1 con hxi , siendo x Rn+1 {0} cualquier elemento en
11 (x).
Tambien podemos preguntarnos que tiene que ver w TxRPn1 como derivaci
on sobre
C (x) con v hxi con (d1)x (v) = w, como derivaci
on sobre C (x). La respuesta es
que w deriva a cada funci
on f C (x) como v hxi deriva a f 1. N
otese que podemos
n+1
subir a R
{0} cada funci
on de C (RPn1 ) (y obtenemos una funci
on invariante por
homotecias), pero el recproco no es cierto: la aplicaci
on h 7 h 1 de C (RPn1 ) en
{b
h C (Rn+1 {0}) | b
h(x) = b
h(x), R {0}, x Rn+1 {0}}, es biyectiva.
34
1.5.
Difeomorfismos locales.
Definici
on 1.5.1 Un difeomorfismo local entre dos variedades diferenciables M, N es una
aplicaci
on F C (M, N ) tal que p M , la diferencial dFp : Tp M TF (p)N es
un isomorfismo de espacios vectoriales. Equivalentemente, F es un difeomorfismo en un
entorno de cada punto de M . N
otese que F no tiene porque ser sobreyectiva ni inyectiva.
35
Ejercicios.
1. En R se consideran los atlas A1 = {(R, 1R)}, A2 = {(R, t3)}. Demostrar que el cambio
de cartas entre 1R3 y t3 no es diferenciable. Deducir que A1 y A2 definen estructuras
diferenciables distintas sobre R. Probar que ambas estructuras diferenciables son difeomorfas.
2. Probar que toda variedad diferenciable conexa es arco-conexa.
3. Existe un atlas de S2 formado por una sola carta?
4. Sea V un espacio vectorial real, B una base ordenada de V y FB : V Rn el isomorfismo
de espacios vectoriales que lleva cada x V en sus coordenadas respecto a B. Probar
que la estructura diferenciable generada por el atlas {(V, FB)} no depende de la base B
(estructura diferenciable can
onica en un espacio vectorial).
5. Probar que In es un valor regular de F : Mn (R) Sn (R), F (A) = A At.
6. Sean M, N variedades diferenciables, y 1 : M N M , 2 : M N N las
proyecciones can
onicas a los factores.
a) Probar que 1 , 2 son diferenciables.
b)
36
b)
AC n (C) = {A Mn (C) | At = A}
F (A) = A A .
Probar que ker(dFIn ) = AC n (C), y deducir que dFIn es sobreyectiva. Probar que dada
A U (n) (grupo unitario), se tiene ker(dFA ) = A ker(dFIn ). Deducir de aqu que In
es un valor regular de F , y por tanto U (n) es una subvariedad de Mn (C) de dimensi
on
(real) n2 .
12. Probar que toda variedad diferenciable ANII tiene una cantidad numerable de componentes conexas.
13. Probar las Proposiciones 1.4.2 y 1.4.3.
14. Sea p un punto en una variedad diferenciable M . Probar que todo elemento de TpM es
la diferencial en p de cierta funci
on f C (p).
15. Sea O un abierto no vaco de una variedad diferenciable M . Probar que dado p O, la
diferencial dip : TpO = TpM TpM es la identidad.
16. Sean M n , N m variedades diferenciables, y (p, q) M N .
a) Probar que la aplicaci
on
: T(p,q)(M N ) Tp M Tq N,
v 7 (d1)(p,q)(v), (d2)(p,q)(v) ,
37
si v (v1 , v2).
e) Sean Fi C (Mi , Ni), i = 1, 2. Probar que d(F1 F2 )(p,q)(1 (v1, v2)) =
((dF1)p (v1), (dF2)q (v2)). Identificaremos
d(F1 F2 )(p,q) ((dF1)p , (dF2)q ) .
17. En la esfera unidad Sn = Sn (1) Rn+1 , se consideran los abiertos UN = Sn {pN },
US = Sn {pS }, donde pN , pS son los polos norte y sur, respectivamente. Se consideran
las proyecciones estereogr
aficas
N : UN Rn ,
N (x1, . . . , xn+1 ) =
1
(x1, . . . , xn ),
1 xn+1
S : US Rn ,
N (x1, . . . , xn+1 ) =
1
(x1, . . . , xn ).
1 + xn+1
1
2
2y
,
.
.
.
,
2y
,
kyk
1
,
1
n
1 + kyk2
1
S (y1 , . . ., yn ) =
1
2
2y
,
,
.
.
.
,
2y
,
1
kyk
1
n
1 + kyk2
38
Funci
on distancia al cuadrado: Fijado p0 Rn+1 , f : Sn (1) R dada por f (p) =
kp p0 k2.
n+1
X
ix2i ,
i=1
1 (x1 , x2 , x3 , x4 ).
2
(A) Probar que F (S1 (1) S1 (1)) S3 (1) es diferenciable, con diferencial inyectiva
en cada punto, y que F : S1 (1) S1 (1) S3 (1) es un embebimiento topol
ogico
1
1
3
de S (1) S (1) en S (1) (decimos que F es un embebimiento diferenciable, y
su imagen, una subvariedad de S3 (1)). A F (S1 (1) S1 (1)) se la llama el toro de
Clifford.
39
1 2
3
(x y 2 ), xz, yz, xy,
(x2 + y 2 2z 2 ) .
2
6
40
G G
g 7 g 1
Demostrar que Gl(n, R), O(n, R), S1(1) y S1 (1) S1 (1) son grupos de Lie.
k
1
41
qq =
qq =
a2 + b 2 + c 2 + d 2 .
q
.
|q|2
|q q 0| = |q| |q 0|.
entonces q 2 = (a2 b2 c2 d2) + 2ab + 2ac + 2adk.
Si q = a + b + c + dk,
El conjunto de cuaternios de norma 1 se identifica de forma natural con la esfera S3 (1),
lo que dota a esta
ultima de estructura de grupo multiplicativo6 .
Existe una curiosa relaci
on entre C, S2 (1), S3 (1) y H: Consideremos la aplicaci
on
: S2 (1) S3 H,
(b, c, d) = 0 + b + c + dk.
Probar que (S2 (1)) = {q S3 | q 2 = 1}. Fijado q (S2 (1)), llamemos C(q) =
{ + q | , R}. Demostrar que la aplicaci
on
h : C C(q),
h( + i) = + q.
es un isomorfismo de cuerpos, y por tanto C(q) puede verse como una copia de C (y q
hace el papel de una nueva unidad imaginaria). De esta forma, H puede verse como una
uni
on de infinitas copias de C, todas compartiendo el eje real, pero cada una con un eje
imaginario, parametrizados estos en los puntos de (S2 (1)).
Si consideramos es producto cartesiano de n copias del espacio de cuaternios, tendremos
Hn R4n (no confundir con el espacio hiperb
olico n-dimensional).
A continuaci
on construiremos el espacio proyectivo cuaterni
onico: sobre Hn+1 {0} se
considera la relaci
on de equivalencia que identifica puntos dentro de la misma recta
cuaterni
onica pasando por el origen de Hn+1 (n
otese que una recta cuaterni
onica es un
plano 4-dimensional real):
qRq 0 H {0} tal que q 0 = q,
6
42
Y por tanto, HPn = S4n+3 /R S4n+3 /S3 es un espacio compacto. Probar que HP1 es
difeomorfo a S4 .
Captulo 2
CAMPOS Y FORMAS
DIFERENCIABLES
2.1.
A los elementos de T M los representaremos indistintamente por v TpM o (p, v). Representaremos por : T M M a la proyecci
on natural, esto es (v) = p si v Tp M . Es
posible dotar a T M de estructura de variedad diferenciable 2n-dimensional (ejercicio 1).
Un campo de vectores en M es una aplicaci
on X : M T M tal que X = 1M (en
principio, no exigimos ninguna regularidad a X). A la imagen de un punto p M por X
se le representar
a por Xp .
Si X, Y son campos de vectores en M , f : M R una funci
on (no necesariamente
diferenciable) y R, entonces X + Y , X y f X son los campos de vectores dados por
(X + Y )p = Xp + Yp ,
(X)p = Xp,
(f X)p = f (p)Xp,
xi
: U T U T M dada por
(p) =
,
xi
xi p
43
p U,
p M.
44
n
X
i=1
ai
.
xi
(2.1)
Definici
on 2.1.2 Un campo de vectores X sobre M se dice diferenciable si existe un
atlas {(U , = (x
1 , . . . , xn ))}A en M tal que las funciones ai : U R dadas por
xi
X(U ), i = 1, . . . , n.
aplicaci
on F : C (M ) C (M ) que es lineal y cumple la regla del producto.
Proposici
on 2.1.1
1.
2.
Demostraci
on. El apartado 1 es consecuencia de las propiedades de derivaci
on de Xp
Tp M sobre C (p) y de la diferenciabilidad de la funci
on X(f ) f C (M ); esta u
ltima
2.1. CAMPOS DE VECTORES. ALGEBRA
DE LIE DE LOS CAMPOS DE VECTORES.45
se deduce de su expresi
on en cualquier carta (U, = (x1, . . . , xn )) de M , ya que si X|U =
P
i ai xi con ai C (U ), entonces
X(f ) 1 =
n
X
(ai 1)
i=1
(f 1 )
,
ri
asociados a una carta (U, = (x1, . . . , xn)) en M . Como xi (xj ) = ij (delta de Kronecker), entonces (X|U )(xj ) = aj . Por tanto, si vemos que (X|U )(xj ) C (U ) j habremos
terminado.
La diferenciabilidad de (X|U )(xj ) en un punto arbitrario q U se deduce de que xj
coincide en un entorno abierto V de q con cierta funci
on globalmente definida xej C (M )
(de nuevo por el Lema 1.3.2), ahora s
olo hay que aplicar que X(xej ) = F (xej ) C (M ) y
que [X(xej )]|V = [(X|U )(xj )]|V . Veamos que esta u
ltima igualdad es cierta:
Sea q1 V . Como Xq1 Tq1 M , existe : (, ) M diferenciable con (0) = q1 ,
(?)
0 (0) = Xq1 . Entonces, [X(xej )](q1) = Xq1 (xej ) = (xej )0(0) = (xj )0(0) = Xq1 (xj ) =
(X|U )q1 (xj ) = [(X|U )](xj )](q1), donde en (?) hemos usado que puede suponerse valuada
en V .
2
Usando la identificaci
on anterior se puede dotar a X(M ) de una estructura de
algebra
de Lie1 mediante el corchete de Lie:
f C (M ).
Un a
lgebra de Lie es un espacio vectorial V sobre un cuerpo K (en nuestro caso, K = R) junto con una
operaci
on binaria [, ] que cumple las propiedades 1, 2, 3 de arriba para f, g constantes y tambien cumple
la identidad de Jacobi.
46
on f C (U ), se tiene xi xj (f ) = xj xi (f ) , y
(x1 , . . . , xn)) en M y una funci
por tanto
[ x
, ] = 0, i, j = 1, . . . , n.
i xj
Sin embargo, en general no es cierto que X(Y (f )) = Y (X(f )). Por ejemplo, consideremos
los campos X, Y X(S2 (1)) dados por Xp = e1 p, Yp = hp, e3ipe3 (es claro que Xp , Yp
Tp S2 (1) p y que X, Y C (S2 (1), R3); como veremos m
as abajo, esto ser
a suficiente para
2
2
que X, Y sean campos diferenciables sobre S (1)). Dado p S (1),
[X(x2)](p) = (dx2)p (e1 p) = x2 (e1 p) = x3 (p),
[Y (x2 )](p) = (dx2)p(x3 p e3 ) = x3 (p)(dx2)p (p) = x3(p)x2(p)
luego
[Y (X(x2))](p) = Yp (x3 ) = (x3 (p)p e3 )(x3 ) = x3 (p)d(x3)p (p) d(x3 )p(e3 )
= x23 (p) + 1,
[X(Y (x2))](p) =
=
=
=
Proposici
on 2.1.2 Sea F : M1n M2n un difeomorfismo. Consideremos la aplicaci
on
F : X(M1 ) X(M2) dada por
(F X)F (p) := dFp (Xp),
X X(M1 ),
p M1 .
Entonces:
1.
2.
F (aX + bY ) = aF X + bF Y,
f C (M1).
3.
[F X, FY ] = F [X, Y ], X, Y X(M1 ).
4.
1
2
Si M1
M2
M3 son difeomorfismos, entonces (F2 F1 ) = (F2 ) (F1 ).
5.
F (f X) = (f F 1 )F X, a, b R, X, Y X(M1 ),
2.1. CAMPOS DE VECTORES. ALGEBRA
DE LIE DE LOS CAMPOS DE VECTORES.47
Demostraci
on. Ejercicio.
on antpoda,
Por ejemplo, consideremos el difeomorfismo de Sn = Sn (1) dado por la aplicaci
A(p) = p, p Sn . Como A A = 1Sn , entonces el automorfismo A de X(Sn ) cumple
A A = 1X(Sn ). Por tanto,
p M.
p O, X X(O).
N
otese que lleva los campos b
asicos para la carta (O, 1O ) en los vectores de la base
can
onica, vistos como aplicaciones constantes de O en Rn .
2. Sea M n Rk una subvariedad. Usando la identificaci
on entre TpM y el subespacio
( dip)(TpM ) de Rk dado en la Proposici
on 1.4.4, podemos definir una biyecci
on
F X : M Rk ,
p 7 FX (p) = (Xp (x1 i), . . ., Xp(xk i))
48
G(A) = XA,
A O(n),
definen campos diferenciables de vectores sobre O(n). Estos campos tienen la particularidad de no tener ceros en ning
un punto de O(n).
6. Sea X Mn (R) una matriz con traza cero. Entonces las funciones F, G : Sl(n, R)
Mn (R) dadas por
F (A) = AX,
G(A) = XA,
A Sl(n, R),
definen campos diferenciables de vectores in Sl(n, R), que vuelven a tener la propiedad
de no tener ning
un cero.
7. Sea : G M M una acci
on diferenciable y propiamente discontinua de un grupo
algebraico G sobre una variedad diferenciable M . Recordemos que M/G admite una
u
nica estructura diferenciable que hace a la proyecci
on can
onica : M M/G un
difeomorfismo local (Proposici
on 1.3.3). Dado p M , podemos identificar Tp M y
T(p)(M/G) va dp, que es un isomorfismo de espacios vectoriales. Es f
acil ver que
b
cada campo X X(M/G) define un campo X X(M ) mediante
b(p) ,
dp (Xp) = X
p M,
b Adem
es decir, X est
a -relacionado con X.
as, si g : M M es cualquiera de los
difeomorfismos de M dados por la acci
on, puede probarse que X est
a g -relacionado
con s mismo,
(dg )p(Xp) = Xgp, p M,
2.1. CAMPOS DE VECTORES. ALGEBRA
DE LIE DE LOS CAMPOS DE VECTORES.49
y esto g G. Pues bien, esta construcci
on determina todos los campos diferenciables sobre M/G. En otras palabras, la aplicaci
on
X(M/G) {X X(M ) | (g )X = X, g G}
b 7
X
X : M TM
b (p))
p 7 X(p) = (dp)1 (X
es una biyecci
on. Esto generaliza la descripci
on de los campos en RPn dada en el
punto 4, y tambien permite identificar los campos diferenciables en un toro Tn cociente de Rn por las n traslaciones de vectores linealmente independientes v1 , . . ., vn
como las aplicaciones F C (Rn, Rn ) que son peri
odicas por el retculo de Rn dado
por Zv1 . . . Zvn .
Proposici
on 2.1.3 (Extensi
on de campos) Sean U un abierto de M , X X(U ) y
e X(M ) tales que X|
eV =
p M . Entonces, existen V U abierto conteniendo a p y X
X|V .
Demostraci
on. Tomemos un cerrado F y un abierto U 0 de M que cumplan
p Int(F ),
F U U 0 U.
50
2.2.
1-formas diferenciables.
En esta secci
on estudiaremos el concepto dual del de campo de vectores. De nuevo M
denotar
a una variedad diferenciable de dimensi
on n.
Definici
on 2.2.1 El fibrado contangente a M se define como
[
[
T M :=
TpM =
(TpM ).
pM
pM
()p = p ,
(f )p = f (p)p,
p M.
Nota 2.2.1
En el Ejemplo 1.4.2 veamos la diferencial dfp de cada f C (M ) como elemento
en TpM . Por tanto, p M 7 dfp TpM define una 1-forma a la que llamamos la
diferencial de f y representamos por df .
Sea (U, = (x1 , . . ., xn )) una carta en M . Entonces, dxi es una 1-formasobre
U
Definici
on 2.2.2 Una 1-forma en M se dice diferenciable si existe un atlas {(U , =
(x
,
.
.
.
,
x
n ))}A en M tal que las funciones ai : U R dadas por (2.2) son diferencia1
bles para todo i = 1, . . ., n y todo A (la definici
on es correcta, ya que no depende del
atlas elegido en M ). Al conjunto de 1-formas diferenciables sobre M lo denotaremos por
1 (M ).
Nota 2.2.2
51
d(f g) = f dg + g df,
f, g C (M ).
2.
F (f X) = f F (X),
f C (M ).
Demostraci
on. El apartado 1 es trivial. En cuanto al apartado 2, primero veremos que la
definici
on de no depende de X. Esto ser
a consecuencia de varias observaciones.
Sea U M abierto y X X(M ) tal que X|U = 0. Entonces, [F (X)]|U = 0.
En efecto, fijemos p U y veamos que [F (X)](p) = 0. Como {p}, M U son
cerrados disjuntos de M , el Corolario 1.3.2 asegura que existe fp C (M ) tal que
fp |M U = 1 y fp (p) = 0. Como X|U = 0, tenemos X = fp X en M (razonar por
separado en U y en M U ), luego F (X) = F (fp X) = fp F (X). Evaluando en p y
usando que fp (p) = 0, tenemos [F (X)](p) = 0. Como p es arbitrario en U , conclumos
que [F (X)]|U = 0.
Ahora podemos definir la restricci
on F |U : X(U ) C (U ) de F a cualquier abierto
U M , de la siguiente forma: Dado X X(U ) y p U , se define [(F |U )(X)](p) =
e
e X(M ) es cualquier campo tal que X|
e Vp = X|Vp , siendo Vp
[F (X)](p),
donde X
e
un abierto de U con p Vp (la existencia de X, Vp son consecuencia de la Proposici
on 2.1.3). Para que esta definici
on sea correcta, debemos probar queF |U no depende
e
b X(M )
de la extensi
on X de X X(U ); en efecto, si tomamos otra extensi
on X
e X
b est
de X, entonces X
a en las condiciones del punto anterior sobre el abierto
e X)]|V
b
Vp donde ambas extensiones coinciden con X. Por tanto, [F (X
p = 0. Como
e X)
b = F (X)
e F (X),
b conclumos que [F (X)](p)
e
b
F (X
= [F (X)](p).
52
X|U = ni=1 ai x
con
ai C (U ) i. Como F |U est
a bien definida,
i
i
h
P
h
i
P
(p)
=
(p).
a
a
(p)
(F
|
)
[F (X)](p) = [(F |U )(X|U )](p) = (F |U )
i
i
U
i
i
xi
xi
Lo anterior se anula porque al ser Xp = 0, tenemos ai (p) = 0 i = 1, . . . , n.
Por u
ltimo, que la expresi
on [F (X)](p) es independente de X X(M ) tal que
Xp = v, es consecuencia de un razonamiento an
alogo al que hacamos para probar
que F |U est
a bien definida.
Ahora podemos afirmar que p (v) = [F (X)](p) define una 1-forma sobre M . Que es
diferenciable se deduce de su expresi
P on en coordenadas locales: Si (U, = (x1, . . . , xn )) es
una carta en M , entonces |U = i ai dxi donde
ai = (|U ) x
=
(F
|
)
U
xi C (U ).
i
2
Proposici
on 2.2.2 Cada aplicaci
on diferenciable : M N induce un homomorfismo
de espacios vectoriales : 1 (N ) 1 (M ) mediante
[ ()]p(v) = (p) (dp(v)),
1 (N ), v TpM , p M.
Adem
as, se tienen las siguientes propiedades:
1.
(f ) = (f ),
1(N ), f C (N ).
2.
Si : N P es otra aplicaci
on diferenciable, entonces ( ) = .
3.
Demostraci
on. Ejercicio.
2.3.
53
(aT1) T2 = a(T1 T2 ).
2. T (T1 + T2) = T T1 + T T2 ,
i 1 . . . i r | 1 i1 , . . . , ir n .
n
X
T (vi1 , . . . , vir ) i1 ir .
i1 ,...,ir =1
Toda aplicaci
on lineal : V W entre dos espacios vectoriales reales induce una aplicaci
on lineal (pullback) entre los espacios de tensores covariantes : Tr (W ) Tr (V )
mediante
(T )(u1, . . . , ur ) = T ((u1), . . . , (ur)),
54
0 (V ) = T0 (V ) = R.
1
1
(T (x, y) + T (y, x)) + (T (x, y) T (y, x)).
2
2
La f
ormula anterior prueba que T2(V ) = S2(V ) 2(V ). Aunque esta suma directa no se
conserva para Tr (V ) con r 3, podemos generalizar la f
ormula anterior de la siguiente
forma. Dado E Tr (V ), definimos
[Alt(T )](u1, . . . , ur ) =
1 X
sig() T (u(1), . . . , u(r)).
r!
Sr
55
2.
Si k (V ), l (V ), s (V ), entonces
Alt( Alt( )) = Alt(Alt( ) ) = Alt( ).
Demostraci
on. De la definici
on de producto tensorial se tiene que dados u1 , . . ., ur+s V ,
X
(r + s)! Alt(T T 0 )(u1, . . . , ur+s ) =
sig()T (u(1), . . . , u(r))T 0(u(r+1), . . . , u(r+s) ).
Sr+s
(2.3)
Fijemos un subconjunto ordenado A = (a1, . . . , as ) de s elementos en {1, . . . , r + s}. Sea
PA = { Sr+s | (r +i) = ai , i = 1, . . . , s}. Es claro que la aplicaci
on PA 7 |{1,...,r}
establece una biyecci
on entre PA y Sr (permutaciones de r elementos), y que si PA
entonces
sig() = sig(|{1,...,r}).
Adem
as, el signo en la u
ltima expresi
on no depende de PA . Por tanto, podemos
reagrupar el miembro de la derecha de (2.3) de la forma siguiente:
"
#
X
X
Sr
56
(r + s)!
Alt( ).
r! s!
Usando la definici
on de Alt se tiene que
( )(u1, . . . , ur+s ) =
X
1
sig() ( )(u(1), . . ., u(r+s) )
r! s!
Sr+s
1
r! s!
Sr+s
(1 + 2 ) = 1 + 2 .
2.
(1 + 2) = 1 + 2.
3.
(a) = (a) = a( ).
4.
= (1)rs .
5.
( ) = ( ) =
6.
Si : V W es una aplicaci
on lineal, r (W ) y s (W ), entonces
(r+s+k) !
r ! s ! k ! Alt(
).
( ) = () ().
57
Demostraci
on. 1,2,3 son consecuencias de las correspondientes propiedades para . Veamos
la propiedad 4: Por definici
on,
( )(u1 , . . ., ur+s ) =
X
1
sig() (u(s+1), . . ., u(s+r) ) (u(1), . . . , u(s))
s! r!
Sr+s
X
1
sig() ( )(u(s+1) , . . . , u(s+r), u(1), . . . , u(s)).
s! r!
Sr+s
Consideremos la permutaci
on Sr+s que lleva (1, . . ., s, s+1, . . ., s+r) en (s+1, . . . , s+
r, 1, . . ., s), en ese orden. As, mueve cada uno de los u
ltimos r ndices hacia atr
as,
rs
saltando s ndices, luego es producto de rs transposiciones y sig() = (1) . Por tanto,
podemos escribir la u
ltima f
ormula como
X
1
sig() ( )(u((1)), . . ., u((r)), u((r+1)), . . . , u((r+s)) )
s! r!
Sr+s
X
1
(1)rs sig( ) ( )(u()(1), . . ., u()(r), u()(r+1), . . . , u()(r+s))
s! r!
Sr+s
(1)rs X
sig( ) ( )(u (1), . . . , u (r), u (r+1), . . . , u (s+r))
s ! r T!
Sr+s
58
= si r
o s son pares.
= si r y s son impares.
= 0 si r es impar.
Notemos que la f
ormula del apartado 5 en el teorema anterior dice que si 1 , 2, 3
1 (V ), entonces
X
1 2 3 = 3! Alt(1 2 3 ) =
sig() (1) (2) (3) .
S3
Es f
acil probar por inducci
on que si 1 , . . . , m 1(V ), entonces
X
1 . . . m = m ! Alt(1 . . . m ) =
sig() (1) . . . (m) .
(2.4)
Sm
Proposici
on 2.3.1 Sea {v1 , . . . , vn} una base del espacio vectorial V y {1, . . . , n } su
base dual. Dado k = 1, . . ., n, el conjunto
{i1 ik | 1 i1 < . . . < ik n} ,
es una base de k (V ). En consecuencia, dim k (V ) = nk . Toda k-forma k (V ) se
escribe
X
=
i1 ...ik i1 ik ,
i1 <...<ik
X
X
=
(u(j1 ) , . . . , u(jk ) ) (j1 ) . . . (jk ) .
j1 <...<jk
Sk
X
j1 <...<jk
Sk
X
j1 <...<jk
59
(uj1 , . . . , ujk )
Sk
Por la f
ormula (2.4), el parentesis anterior coincide con j1 . . . jk , lo que prueba
que {i1 ik | 1 i1 < . . . < ik n} es un sistema de generadores de k (V ). La
independencia lineal es consecuencia de la f
ormula
(i1 . . . ik )(vj1 , . . ., vjk ) = i1 ,j1 . . . ik ,jk ,
(producto de deltas de Kronecker) siempre que 1 j1 < . . . < jk n.
60
P
donde A = (aij )i,j Mn (R) es la matriz dada por uj = ni=1 aij ei , siendo {e1 , . . . , en}
la base can
onica de Rn . Las propiedades est
andar de los determinantes prueban que det
es una n-forma sobre Rn , y es no nula porque det(e1, . . . , en ) = det In = 1. En realidad,
esta n-forma det tiene sentido en cualquier espacio vectorial n dimensional V , sin m
as que
prefijar una base B = {v1 , . . . , vn} de V y considerar el isomorfismo can
onico de V en Rn
que lleva B en la base can
onica. As, tenemos
detB : V .n)
. . V R
detB (u1, . . . , un ) = det A,
P
donde A = (aij )i,j Mn (R) es la matriz dada por uj = ni=1 aij vi .
Si V es un espacio vectorial n-dimensional y : V V un endomorfismo, entonces
es un endomorfismo del espacio vectorial 1-dimensional n (V ), luego es un m
ultiplo de
la identidad. Este m
ultiplo tiene la siguiente interpretaci
on:
Proposici
on 2.3.2 Dado un endomorfismo : V V , se tiene
= (det ) ,
n (V ).
(2.5)
Demostraci
on. Fijemos n (V ). Si = 0 entonces no tenemos nada que demostrar.
Supongamos entonces que 6= 0, y por tanto es una base de n (V ). Como n (V ),
entonces = para alg
un R. Veamos que = det y habremos terminado:
Como es base de n (V ), existe una base B = {v1 , . . ., vn } de V tal que = v1 . . . vn ,
donde {v1, . . . , vn } es la base dual de {v1, . . . , vn }. Entonces,
= ()(v1 , . . ., vn ) = ((v1), . . . , (vn)) = (v1 . . . vn )((v1), . . . , (vn)) = det().
2
En particular, si {v1 , . . ., vn }, {w1, . . ., wn } son dos bases de V y wj =
entonces
(w1 , . . ., wn ) = (det A) (v1, . . . , vn ),
n (V ).
Pn
i=1 aij vi
j,
(2.6)
A continuaci
on trasladaremos lo aprendido arriba sobre
algebra multilineal a una variedad diferenciable M de dimensi
on n. Dado k un entero positivo, llamaremos
[
k (M ) :=
k (Tp M ),
pM
61
Nota 2.3.1
1. Sean , dos k-formas en M , f : M R funci
on (no necesariamente diferenciable)
y R. Entonces, + , y f definidos por
( + )p = p + p,
( )p = p
, (f )p = f (p)p,
p M,
es una (r + s)-forma en M .
3. Si (U, = (x1, . . . , xn )) es una carta en M , entonces
{dxi1 dxik | 1 i1 < . . . < ik n}
es una base local de k-formas en U (esto es, al evaluarlas en cualquier punto p U
dan una base de k (TpM )).
4. Si es una k-forma en M y (U, = (x1, . . . , xn )) una carta en M , entonces la
restricci
on de a U se escribe
X
|U =
fi1 ...ik dxi1 . . . dxik ,
(2.7)
1i1 <...<ik n
Definici
on 2.3.3 Una k-forma en M se dice diferenciable si existe un atlas {(U , =
))}
(x
,
.
.
.
,
x
A en M tal que las funciones fi1 ...ik : U R dadas por (2.7) para
n
1
(U, ) = (U, ) son diferenciables para todo 1 i1 < . . . < ik n y todo A. Esta
definici
on es correcta, ya que no depende del atlas escogido en M . Representaremos al
conjunto de k-formas diferenciables sobre M por k (M ).
Nota 2.3.2 Si , k (M ), R y f C (M ), entonces + , , f k (M ).
Adem
as, si r (M ), entonces k+r (M ).
Usando el Teorema 2.3.1, es claro que k (M ) tiene estructura de espacio vectorial
real y de m
odulo sobre el anillo C (M ). De las correspondientes igualdades para espacios
vectoriales se tiene k (M ) = {0} si k > n, y 0(M ) = C (M ). Por tanto, llamando
(M ) :=
n
M
k=0
k (M ),
62
deducimos de nuevo a partir del Teorema 2.3.1 que el producto exterior de formas dota a
(M ) de estructura de
algebra graduada.
Las Proposiciones 2.1.1 y 2.2.1 tienen su an
alogo para k-formas. La demostraci
on del
siguiente resultado es muy parecida a la de la Proposici
on 2.2.1, por lo que la dejamos
como ejercicio.
Proposici
on 2.3.3
1.
2.
(f ) = (f ),
k (N ), f C (N ).
2.
Si : N P es otra aplicaci
on diferenciable, entonces ( ) = .
3.
(1M ) = 1k (M ).
4.
( ) = () ().
EN VARIEDADES.
2.4. ORIENTACION
2.4.
63
Orientaci
on en variedades.
con a > 0.
F (v1 , . . ., vn ) = v1 . . . vn .
Proposici
on 2.3.2
64
EN VARIEDADES.
2.4. ORIENTACION
65
v1 , . . . , vn TpSn = hpi, p Sn .
A la orientaci
on definida por le llamaremos la orientaci
on canonica en Sn .
5. Sea S R3 una superficie. Entonces, S es orientable si y s
olo si existe un campo
diferenciable unitario y normal a S (una aplicaci
on de Gauss globalmente definida).
Estudiemos ahora la orientabilidad de RPn . Como la aplicaci
on antpoda A : Sn Sn es
n
un difeomorfismo de S , para cada k con 0 k n la aplicaci
on lineal
A : k (Sn ) k (Sn )
es un isomorfismo. Como A2 = 1Sn , entonces (A )2 = 1k (Sn ) . Definiendo
k (Sn ) = { k (Sn ) | A () = },
deducimos que k (Sn ) = k+ (Sn ) k (Sn ).
Sea : Sn RPn la proyecci
on can
onica sobre el espacio proyectivo real. De la
66
Demostraci
on. Un c
alculo directo nos dice que A = (1)n+1 siendo A la aplicaci
on
n
antpoda y la orientaci
on can
onica sobre S . Por otro lado, del desarrollo anterior deducimos que RPn es orientable si y s
olo si existe 1 n+ (Sn ) sin ceros. As, si n es impar
entonces podemos tomar 1 = y conclumos que RPn es orientable. Recprocamente,
si RPn es orientable entonces existe 1 n+ (Sn ) sin ceros. As, 1 = para cierta
funci
on C (Sn ) sin ceros, luego con signo constante. Como 1 = A 1 , entonces
= A ( ) = ( A)A = ( A)(1)n+1 . Pasando a orientaciones y usando que
tiene signo constante, obtenemos [] = (1)n+1 [], luego n ha de ser impar.
2
Definici
on 2.4.4 Una metrica Riemanniana sobre una variedad M n es una correspondencia p M 7 gp T2(Tp M ) tal que:
1. gp es simetrica y definida positiva para todo p M .
S
2. g : M pM Tp (TpM ) es diferenciable en el sentido siguiente: para toda car
ta (U, = (x1, . . . , xn )) de M , las funciones gij = (g|U )( x
, ) : U R son
i xj
diferenciables, i, j = 1, . . . , n. N
otese que
n
X
g|U =
gij dxi dxj
i,j=1
Al par (M n , g) se le llamar
a variedad Riemanniana.
Claramente, es suficiente comprobar la propiedad 2 anterior para las cartas de un atlas.
Proposici
on 2.4.2 En una variedad Riemanniana orientada (M n , g) existe una u
nica
n-forma dvg definiendo la orientaci
on dada, tal que (dvg )p (v1, . . . , vn ) = 1 para toda base
ordenada, ortonormal y positivamente orientada (v1, . . . , vn ) de Tp M y todo p M . Llamaremos a dvg la forma de volumen metrico de la variedad Riemanniana orientada M .
Demostraci
on. Definimos (dvg )p para un punto p M dado, como (dvg )p = v1 . . . vn ,
siendo {v1 , . . . , vn } la base dual de una base ordenada, ortonormal positiva (v1, . . . , vn) de
Tp M . Como el determinante de una matriz ortogonal es 1, la f
ormula (2.6) nos dice que
esta definici
on no depende de (v1 , . . ., vn ). La misma f
ormula da la unicidad de (dvg )p y
por tanto la de dvg . La diferenciabilidad de dvg se deduce de tomar como (v1, . . . , vn) la
evaluaci
on en cada punto p U del resultado de aplicar el proceso de ortonormalizaci
on
de Gram-Schmidt a una base local de campos para una carta (U, ) de M positivamente
orientada.
2
Es claro que si cambiamos la orientaci
on fijando la metrica, entonces la forma de volumen
cambia de signo. Si fijamos la orientaci
on pero cambiamos la metrica, por ejemplo tomando
ge = h g con h C (M, R+ ), entonces la forma de volumen cambia seg
un la expresi
on
dveg = hn/2 dvg .
67
Ejemplo 2.4.2 Para cada matriz ortogonal A O(n) sea lA1 : O(n) O(n) el difeomorfismo dado por traslaci
on (en este caso, multiplicaci
on) a izquierda seg
un A1 ,
1
lA1 (B) = A B. Como lA1 (A) = In , la diferencial TA := (dlA1 )A : TA O(n) TIn O(n)
es un isomorfismo de espacios vectoriales. TA induce un isomorfismo a nivel de espacios
de k-formas sobre TIn O(n),
(TA ) : k (TIn O(n)) k (TA O(n)).
Dada una k-forma k (TIn O(n)), la correspondencia
A O(n) 7 (TA )() k (TA O(n))
define una k-forma diferenciable en O(n). Como consecuencia, O(n) es una variedad orientable (en realidad, todo grupo de Lie es orientable, ver el ejercicio 5).
2.5.
Integraci
on de formas sobre variedades orientadas.
con f > 0.
El siguiente objetivo es definir la integral de una n-forma sobre una variedad diferenciable orientada. Antes necesitamos algunos preliminares de integraci
on, entre ellos el
concepto de medida nula. Recordemos que un subconjunto A Rn se dice de medida nula
n-dimensional si para cualquier > 0, existe un recubrimiento numerable {Ci }iN de A
P
por cubos n-dimensionales4 con iN Vol(Ci ) < . Una propiedad se dice cierta casi por
doquier (abreviadamente c.p.d.) en Rn si la propiedad se verifica en todo punto de Rn
salvo, a lo m
as, en un conjunto de medida nula.
3
68
Definici
on 2.5.1 Un subconjunto A de una variedad diferenciable M n se dice de medida
nula en M si para cualquier5 entorno coordenado (U, ) de M , el conjunto (U A) es de
medida nula en Rn . Una propiedad se dice cierta casi por doquier (abreviadamente c.p.d.)
en M si la propiedad se verifica en todo punto de M salvo, a lo m
as, en un conjunto de
medida nula.
Usando atlas diferenciables con una cantidad numerable de cartas, las propiedades cl
asicas
de conjuntos de medida nula de Rn pueden trasladarse a una variedad diferenciable:
Si A M es de medida nula en M y B A B es de medida nula en M .
Si Ai M es de medida nula en M i N iN Ai es de medida nula en M .
Si A M es de medida nula en M A= .
(Criterio de Fubini) Si A M n N m , entonces son equivalentes:
A es de medida nula en M N .
p M c.p.d., el conjunto jp1 (A) es de medida nula en N .
q N c.p.d., el conjunto i1
q (A) es de medida nula en M .
(recordemos que jp (q) = (p, q) = iq (p), (p, q) M N ).
Sea f C 1 (M n , N m). Entonces,
Si n = m y A M es de medida nula en M f (A) es de medida nula en N .
Si n < m f (M ) es de medida nula en N .
Aunque no lo demostraremos, conviene comentar un resultado, fundamental en Geometra
Diferencial, que dice que para una aplicaci
on diferenciable entre variedades, los puntos
crticos6 pueden ser muchos (incluso pueden rellenar la variedad de partida, piensese en
una aplicaci
on constante), pero sus im
agenes siempre han de formar un conjunto peque
no
en la segunda variedad:
Teorema 2.5.1 (Sard) Sea f C (M n , N m) y f M el conjunto de sus puntos
crticos. Entonces, f (f ) es de medida nula en N . En particular, el conjunto de valores
regulares7 de f es denso en N .
5
Como siempre, para que un subconjunto A M sea de medida nula en M basta comprobar esta
condici
on local s
olo para entornos coordenados de un atlas diferenciable de M : esto se deduce de que el
cambio de cartas es un difeomorfismo entre abiertos de Rn , y por tanto lleva conjuntos de medida nula en
conjuntos de medida nula.
6
Dada f C (M n , N m ), un punto p M se dice crtico para f si dfp : Tp M Tf (p) N no es
sobreyectiva.
7
Un punto q N es valor regular de f C (M n , N m ) si p f 1 (q), dfp es sobreyectiva.
69
Definici
on 2.5.2 Sea M n una variedad diferenciable, con topologa asociada T . Llamemos F = {A M | A es de medida nula en M }. Se define la -
algebra8 de Lebesgue sobre
9
M , denotada por AM , como la -
algebra generada por T F . Un conjunto A M se
dice medible (en el sentido de Lebesgue) cuando A AM .
Si U es un abierto de M , entonces U es tambien una variedad diferenciable luego tiene
su propio concepto de conjunto medible. Por otro lado, los subconjuntos de U tambien
lo son de M , luego en este caso tenemos que un mismo conjunto A U puede ser U medible y/o M -medible. Inmediatamente surge la pregunta de si estos dos conceptos son
compatibles.
Lema 2.5.1 Sea M n una variedad diferenciable y U un abierto de M . Llamemos T U
a la topologa inducida de T sobre U , FU := {A U | A es de medida nula en U } y
AU = A(T U FU ) la -
algebra de Lebesgue sobre U . Entonces, AU = {A U | A AM }.
Demostraci
on. Primeramente veamos que FU = {A U | A F }: En efecto, si A U
tiene medida nula en U , entonces su imagen por cualquier carta de U es de medida nula
en Rn . Si tomamos cualquier carta (W, ) de M , entonces (W U, |U ) es una carta de U ,
luego (|U )((W U ) A) es de medida nula en Rn . Pero (|U )((W U ) A) = (W A)
porque A U . Como (W, ) es una carta arbitraria de M , deducimos que A es de medida
nula en M . Recprocamente, sean A F y (W, ) una carta de U . Como U es abierto de
M , (W, ) tambien es carta de M , luego (W (A U )) es de medida nula en Rn . Como
ahora (W, ) es cualquier carta para U , se tiene que A U es de medida nula en U y la
igualdad est
a probada.
Ya podemos probar la igualdad del enunciado, por doble inclusi
on:
Llamemos AM U = {A U / A AM }. Es f
acil probar que AM U es una -
algebra
en U . As, para tener la inclusi
on deseada basta probar que T U FU AM U . Para ello,
sea O T U . Como U es abierto en M , se tiene que O T AM luego por definici
on es
O = O U AM U . Para conjuntos de medida nula es an
alogo: Tomemos un conjunto
de medida nula en U , que por la descripci
on que acabamos de probar se podr
a escribir
A U con A F . Como F AM , otra vez por definici
on es A U AM U .
8
Sea X un conjunto arbitrario y P(X) = {A / A X}. Una familia A P(X) se dice una -
algebra
sobre X si cumple
i) X A.
ii) Si {Ai }iN A iNAi A.
iii) Si A, B A A B A.
En tal caso, al par (X, A) se le llama un espacio medible. N
otese que si B A, entonces X B A, y por
tanto A y A es cerrada por intersecciones numerables.
9
Dado un conjunto X y una familia de partes E P(X), se define la -
algebra A(E) generada por E
como la intersecci
on de todas las -
algebras en X que contienen a E (esta intersecci
on vuelve a ser una
-
algebra sobre X). Equivalentemente, A(E) es la menor -
algebra en X que contiene a E.
70
71
f = f f ) y |f | = f + f .
72
m+ km
Definici
on 2.5.4 Una n-forma sobre una variedad diferenciable M n se dice medible si
se escribe localmente |U = h dx1 dxn con h : U R medible, respecto a cualquier
es medible.
2.
m
Existe un atlas numerable en M {(Um , m = (xm
ones
1 , . . . , xn ))}mN tal que las funci
3.
El u
ltimo ingrediente para definir la integral de una n-forma sobre una n-variedad
diferenciable orientada es el concepto de integral de Lebesgue de una funci
on en Rn , o en
un abierto de este. Recordemos que una funci
on medible f : Rn R se dice integrable
cuando existe la integral
Z
Z
Z
f dx1 . . . dxn :=
f + dx1 . . . dxn
f dx1 . . . dxn
Rn
Rn
Rn
y esta es finita. N
otese que cada una de las integrales en el miembro de la derecha existe
en [0, +], como lmite de integrales de funciones simples no negativas (una funci
on en
Rn se dice simple si es combinaci
on lineal finita de funciones caractersticas de conjuntos
medibles de medida finita), pero la diferencia de n
umeros en [0, +] podra no tener
sentido de general: el que f = f + f sea integrable es exactamente que las integrales
de f + , f sean ambas finitas, y por tanto, tambien equivale a que |f | = f + + f tenga
integral finita. La definici
on de funci
on integrable se extiende a funciones definidas en un
abierto de Rn , tras extender por cero. Conviene mencionar que f podra tomar valores
73
Rn
h
(U )
h 1 dx1 . . . dxn
(U )
i
1
(|U )( x
dx1 . . . dxn R.
,
.
.
.
,
)
xn
1
La definici
on anterior no depende del sistema de coordenadas compatible con la orientaci
on
que contenga al soporte de : en efecto, sean (U, = (x1 , . . . , xn)), (V, = (y1 , . . . , yn ))
cartas de M compatible con la orientaci
on, tales que soporte() U V . Entonces,
Z
h
i
1
(|U )( x
dx1 . . . dxn
,
.
.
.
,
)
xn
1
(U )
h
(U V )
i
1
(|(U V ) )( x
dx1 . . . dxn .
,
.
.
.
,
)
xn
1
Usando la f
ormula (2.8), lo anterior es igual a
"
"
#
#
Z
yi
det
|(U V ) ( y1 , . . ., yn ) 1 dx1 . . . dxn ,
xj i,j
(U V )
y ahora s
olo hay que usar que det
yi
xj
i,j
74
Proposici
on 2.5.1 Si 1 y 2 son n-formas integrables para la Definici
on 2.5.5 y a, b
R, entonces
1.
2.
Si 1 = 2 c.p.d. en M , entonces
1 =
M
2 .
M
Definici
on 2.5.6 (Integral de una n-forma, II) Sea una n-forma medible sobre una
i=1
iN i
es localmente finita y
R
P
Si M es compacta o tiene soporte compacto, entonces la serie iN M i es una
suma finita, luego la condici
on sobre convergencia absoluta se tiene autom
aticamente.
Si tiene soporte compacto contenido en un entorno coordenado, entonces la Definici
on 2.5.6 coincide con la 2.5.5.
La Definici
on 2.5.6 es independiente del recubrimiento de M compatible con la orientaci
on y de la partici
on de la unidad subordinada a dicho recubrimiento:
0
Supongamos que {j }jN es una partici
on de la unidad subordinada a un recubrim
X
0j =
i 0j .
M
i=1
75
i =
Z
X
i 0j .
M
j=1
0j =
M
Z
X
X
j=1 i=1
Z
X
i 0j ,
M
i=1
P R
i=1 M
Z
X
X
i=1 j=1
i =
M
Z
X
X
i=1 j=1
i 0j .
(2.9)
i0j
i =
M
i=1
Z
X
j=1
0j .
M
Definici
on 2.5.7 (Integral de una n-forma, III) Sea una n-forma medible en una
variedad orientada M n y A M un subconjunto medible. Diremos que es integrable
sobre A si A es integrable, siendo A la funci
on caracterstica de A. En tal caso, definimos
Z
Z
=
A .
A
Si 1 y 2 son n-formas
integrables sobre
Z
Z M y a, Zb R, entonces a 1 + b 2 es
integrable sobre M y
(a 1 + b 2) = a
1 + b
2 .
M
2.
SiZ1 es integrable
en M y 2 = 1 c.p.d. en M , entonces 2 es integrable sobre M
Z
y
1 =
2 .
M
76
3.
4.
A0
A1
A2
F =
.
M
Si F invierte la orientaci
on, entonces F tambien es integrable sobre M , pero
Z
Z
F =
.
M
Demostraci
on. La segunda parte del teorema, cuando F invierte la orientaci
on, es consecuencia directa de la primera. As que en lo que sigue supondremos que F conserva la
orientaci
on. Sea {i }iN una partici
on de la unidad subordinada a un atlas {(U, =
Z
X
i=1
i .
N
77
(i F )F =
i ,
i=1
i=1
(i F )F =
i , i N.
(2.10)
M
(i F )F =
(B)
(h F ) ( F )
F (i) =
M
1
dx1 . . . dxn =
(F )((F 1 (U ))
F (i)
F 1 (U )
(h
(U )
) dx1 . . . dxn =
i .
N
donde en (A) hemos usado que F (i) tiene soporte compacto contenido en F 1 (U ),
en (B) que F (i) = F (h dy1 . . . dyn ) = (h F ) dx1 . . . dxn en F 1 (U ) y la
Definici
on 2.5.5 de integral.
2
Terminaremos este tema con una aplicaci
on pr
actica de lo anterior, para calcular el
2
volumen de S (1). El volumen de una variedad Riemanniana compacta y orientada (M n , g)
se define como
Z
Vol(M, g) =
dvg ,
M
R2
(x, y) = (1 ) dvg ( x
, y ) = (dvg )1 (x,y) (d1 )(x,y)( x
), (d1)(x,y)( x
)
78
4
(1 +
x2
+ y 2 )2
79
Ejercicios.
1. Estructura diferenciable sobre T M .
Sea M n una variedad diferenciable, T M su fibrado tangente y : T M M la proyecci
on can
onica, (v) = p v TpM .
a) Sea A un atlas sobre M y (U, = (x1, . . . , xn )) A. Definimos la biyece
ci
on e : 1(U ) U Rn mediante (v)
= ((v), (a1, . . . , an)), donde v =
Pn
abto.
abto. n
1
e
B = (O1 O2) | O1 U, O2 R , (U, ) A
b)
(U,)A
define un atlas sobre T M , y por tanto una estructura de variedad diferenciable 2ndimensional.
c) Probar que con la estructura diferenciable anterior sobre T M , la proyecci
on can
onica
: T M M se convierte en una aplicaci
on sobreyectiva, diferenciable y con diferencial sobreyectiva en todo punto (esto es lo que se llama una submersi
on).
2. Sean M, N variedades diferenciables y C (M, N ). Supongamos que Xi X(M )
esta -relacionado con Yi X(N ), i = 1, 2. Probar que aX1 + bX2, [X1, X2], (f )X
estan -relacionados con aY1 + bY2 , [Y1, Y2], f Y respectivamente, siendo a, b R, f
C (N ).
3. Campos en variedades producto.
Sean M n , N m variedades diferenciables. Dados X X(M ), Y X(N ), se define
(X, Y ) : M N T (M N ) mediante
(X, Y )(p,q) = (Xp, Yq ) Tp M Tq N T(p,q)(M N ).
Probar que (X, Y ) X(M N ). Sin embargo, no todos los campos de M N son de esta
forma, de igual forma que no toda funci
on diferenciable F (x, y) = (f1 (x, y), f2(x, y)) en
R2 es de variables separadas (f1 (x), f2(y)). Probar que los campos basicos asociados
a una carta producto (U V, ) son campos de variables separadas, es decir, son
de la forma (X, Y ) para ciertos X X(M ), Y X(N ).
4. Una variedad diferenciable n-dimensional M se dice paralelizable si existen X1, . . . , Xn
X(M ) que son linealmente independientes en cada punto p M . Demostrar que toda
variedad paralelizable es orientable.
80
81
9. A veces es necesario pasar de una variedad no orientable a otra que s lo sea mediante
un recubridor. Esto puede hacerse considerando el recubridor de dos hojas orientable
de una variedad no orientable: Sea M n una variedad no orientable. Definimos
f = {(p, [p]) | p M, p n (TpM ) {0}},
M
donde [p ] denota la orientaci
on en TpM asociada a p . Dada una carta (U, =
(x1, . . . , xn )) en M , llamamos
n
o
e = (p, [p]) M
f | p U, p ( )p, . . . , ( )p > 0 ,
U
x1
xn
e (U ) Rn , (p,
e [p]) = (p).
e : U
e | (U, ) es carta local para M } define un atlas sobre
e )
Probar que el conjunto {(U,
f
f es
M que dota a esta de estructura de variedad diferenciable n-dimensional, y que M
f M dada por (p, [p]) = p es una
orientable. Demostrar que la aplicaci
on : M
proyecci
on recubridora con dos hojas.
10. Sea M una variedad diferenciable, A M y A su funci
on caracterstica. Probar que A
es medible si y s
olo si A es medible.
11. Probar que el volumen (longitud) de S1 (1) con su metrica estandar es 2, y que el
volumen de S3 (1) con su metrica estandar es 2 2 (indicaci
on: usar el difeomorfismo
(, , ) = (sen sen cos , sen sen sen , sen cos , cos ) de (0, ) (0, )
(, ) sobre su imagen en S3 (1)).
82
Captulo 3
DIFERENCIACION EXTERIOR.
TEOREMA DE STOKES
Sea M n una variedad diferenciable. En el Captulo 2 vimos que la diferencial df de
una funci
on f C (M ) es una 1-forma sobre M . Esto define una aplicaci
on lineal
d : C (M ) = 0(M ) 1 (M ), f 7 df.
Recordemos tambien que la 1-forma df viene
por df (X) = X(f ), X X(M ), o en
P dada
f
una carta (U, = (x1, . . . , xn )), por df = ni=1 x
dx
i.
i
El objetivo principal de este captulo es extender la construcci
on anterior a formas
de grado mayor, que ser
a el ingrediente principal en la construcci
on en el Captulo 4 de
la cohomologa de de Rham de una variedad. Tambien estudiaremos en este captulo la
relaci
on entre diferencial exterior e integraci
on, cuyo mayor exponente es el Teorema de
Stokes.
3.1.
La diferencial exterior.
Teorema 3.1.1 (Existencia y unicidad de la diferencial exterior) Sea M n una variedad diferenciable. Entonces para cada k = 0, . . ., n 1 existe una u
nica aplicaci
on
d : k (M ) k+1 (M )
cumpliendo las siguientes propiedades:
1.
d es lineal: d(a + b ) = a d + b d, , k (M ) a, b R.
2.
84
3.
d( ) = d + (1)k d, k (M ).
4.
d2 = 0 : k (M ) k+2 (M ).
(3.1)
0i<jk
b indica la supresi
Xi X(M ), i = 0, . . ., k, donde X
on del campo X. Por u
ltimo, la
diferencial exterior se escribe en una carta (U, = (x1, . . . , xn )) de la siguiente forma:
(d)|U =
(3.2)
1i1 <...<ik n
Demostraci
on. La prueba constar
a de cuatro pasos:
I. Definimos dU : k (U ) k+1 (U ) en cada carta (U, ) de M , y comprobamos las
propiedades 1,2,3,4 para M = U .
II. Definimos d : k (M ) k+1 (M ) por (d)|U := dU (|U ), para toda carta (U, ) de
M , y probamos que d est
a bien definida y que cumple las propiedades 1,2,3,4.
III. Probamos que d es u
nica cumpliendo 1,2,3,4 en M .
IV. Probamos las f
ormulas (3.1) y (3.2).
Ahora pasamos a desarrollar cada uno de los puntos anteriores.
I. Sea (U, = (x1 , . . ., xn )) una carta de M . Recordemos que {dxi1 . . . dxik | 1 i1 <
. . . < ik n} es base de k (U ). Dada f C (U ), definimos
dU (f dxi1 . . . dxik ) := df dxi1 . . . dxik k+1 (U ),
y ahora extendemos linealmente la definici
on anterior a dU : k (U ) k+1 (U ). Las
propiedades 1,2 se cumplen por definici
on de dU . Por linealidad, la propiedad 3 basta
85
(3.3)
(3.4)
En (3.3) podemos llevar h al primer lugar sin modificar nada, mientras que en (3.4)
llevaremos dh al primer lugar dando k saltos, cada uno de los cuales produce un 1. As,
dU ( ) = dU + (1)k dU .
En cuanto a la propiedad 4, por linealidad basta ver que d2U (f dxi1 . . . dxik ) = 0
f C (U ). Pero
d2U (f dxi1 . . . dxik ) = dU (df dxi1 . . . dxik )
(propiedad 3)
n
n
n
X
f
f
(propiedad 1 ) X
(def.) X
f
dU (df ) = dU
dxj
dxj
=
dU
dxj
=
d
xj
xj
xj
j=1
j=1
n
n
X
X
2f
=
dxi
xi xj
j=1
i=1
dxj =
j=1
n
X
i,j=1
2f
dxi dxj = 0.
xi xj
II. Definimos d : k (M ) k+1 (M ) por (d)|U := dU (|U ), para toda carta (U, ) de
M . Para que esta definici
on sea correcta, hay que probar que si (U, ), (V, ) son cartas
con U V 6= , entonces dU (|U ) = dV (|V ) en U V . Pero de la definici
on de dU se
0
deduce directamente que si U U , entonces
[dU (|U )] |U 0 = dU 0 (|U 0 ),
y aplicando esto dos veces, tenemos
[dU (|U )]|U V = dU V (|U V ) = [dV (|V )]|U V ,
luego d est
a bien definida, k (M ). Que d est
a en k+1 (M ) es evidente. Y d
cumple las propiedades 1, 2, 3, 4 porque se pueden probar punto a punto, y por tanto son
consecuencia de las propiedades 1,2,3,4 de dU .
III. db : k (M ) k+1 (M ) otro operador cumpliendo las propiedades 1,2,3,4.
86
Afirmaci
on 3.1.1 Sea U M abierto y k (M ) tales que |U = 0. Entonces,
b U = 0.
(d)|
Demostraci
on de la afirmaci
on. La prueba es an
aloga a la del primer punto de la deb p = 0. Como
mostraci
on de la Proposici
on 2.2.1: Fijemos p U y veamos que (d)
{p}, M U son cerrados disjuntos de M , el Corolario 1.3.2 asegura que existe f C (M )
tal que f |M U = 1 y f (p) = 0. Como |U = 0, tenemos = f en M (razonar por
b = d(f
b ) = df
b + f d
b = df + f d
b donde
separado en U y en M U ), luego d
b
hemos usado las propiedades 3 y 2 para d. Evaluando en p y usando que f (p) = 0, tenb p = 0. Como p es arbitrario en U , conclumos que (d)|
b U = 0 y la afirmaci
emos (d)
on
est
a probada.
b k (M ): Fijemos p M . (d)p = (d)
b p?
Veamos ya que d = d
Sea (U, = (x1 , . . . , xn)) una carta alrededor de p, en la que se escribe
X
|U =
fi1 ...ik dxi1 dxik .
1i1 <...<ik n
X
p = (d)
p=
(d)
dfi1 ...ik dxi1 dxik = (d)p.
1i1 <...<ik n
IV. La f
ormula (3.2) se tiene por construcci
on de d. En cuanto a (3.1), s
olo la probaremos para k = 0, 1 (esto explica las comillas cuando enunci
abamos este punto IV). La
demostraci
on para k general es por inducci
on, y necesita el lenguaje de derivaciones y antiderivaciones sobre espacios de tensores en una variedad, que no desarrolleramos aqu (ver
algunas indicaciones en el ejercicio 1).
Para k = 0, la f
ormula se reduce a df (X0) = (1)0X0 (f ). Para k = 1, por linealidad
podemos suponer que 1 (M ) se escribe localmente |U = f dxj , con f C (U ) y
(U, = (x1 , . . ., xn )) carta de M . Entonces,
d(X0, X1) = (df dxj )(X0, X1) = X0 (f )X1(xj ) X1(f )X0(xj ).
87
k (M )
d
k+1 (N ) k+1 (M )
3.2.
88
u=
ai x
Tp M Tp D an 6= 0.
i
i=1
En estas condiciones, diremos que u apunta hacia fuera de D si an < 0 y que apunta hacia
dentro de D si an > 0. La propiedad de que un vector en Tp M TpD apunte hacia fuera
o hacia dentro es independiente del sistema de coordenadas en p como el anterior.
No olvidemos que en M hemos fijado una orientaci
on. Una base {v1, . . . , vn1 } de
Tp D se dir
a positivamente orientada si {u, v1, . . . , vn1} es una base orientada de TpM ,
siendo u un vector que apunta hacia fuera (esta orientaci
on de TpD es independiente de
u, ver el Ejercicio 2). Esto orienta todos los espacios tangentes Tp D con p D.
A continuaci
on orientaremos globalmente D, construyendo una (n 1)-forma diferenciable sin ceros sobre D que induzca en cada Tp D la orientaci
on anterior.
89
Proposici
on 3.2.1 Sea D un dominio con borde diferenciable de una variedad orientada
n
M . Entonces, existe un entorno abierto W de D y un campo de vectores X X(W )
tales que X|D apunta hacia fuera en todos los puntos de D. Adem
as, si n (M )
representa la orientaci
on de M , entonces la (n 1)-forma sobre W dada por
(3.5)
define, al restringirla a D, una (n 1)-forma diferenciable sin ceros sobre D que induce
en cada punto p D la orientaci
on definida anteriormente.
Demostraci
on. Para cada p D tomemos una carta (Up, p = (x1, . . . , xn )) en las condiciones del punto 3 anterior. Entonces, el campo XUp := xn X(Up ) apunta hacia
fuera de D en cada q U D. Adem
as, {Up}pD es un recubrimiento por abiertos
S
del abierto W := pD Up . Sea {i}iN una partici
on de la unidad de W , subordinada a dicho recubrimiento. Cada funci
on i tiene asociado un abierto Ui = Up(i) tal que
soporte(i ) Ui , y claramente {Ui }iN es tambien un recubrimiento por abiertos de W .
Para cada i N, consideremos el campo XUi X(Ui) definido arriba, y sea
X=
i XUi .
i=1
3.3.
El teorema de Stokes.
Demostraci
on. Como d n (M ) tiene soporte compacto (por la Afirmaci
on 3.1.1 aplicada a db = d), d es integrable en M . Sea {(Ui , i)}iN un recubrimiento por entornos
90
d =
M
d(
M
k
X
i) =
i=1
k Z
X
i=1
d(i).
M
Por tanto, podemos suponer que tiene soporte compacto contenido en un entorno coordenado U , donde tenemos definida una carta = (x1, . . . , xn ) compatible con la orientaci
on
Pn
d
de M . Escribiendo localmente como |U =
j=1 fj dx1 . . . dxj . . . dxn con
fj C (U ), tenemos
(d)|U =
n
X
j=1
dj . . . dxn =
dfj dx1 . . . dx
n
X
j=1
(1)j1
fj
dx1 . . . dxn
xj
Por tanto,
Z
M
Z
Z
n
n
X
X
fj
(fj 1 )
j1
j1
d =
(1)
dx1 . . . dxn =
(1)
dr1 . . . drn ,
rj
U xj
(U )
j=1
j=1
donde r1, . . . , rn denotan las coordenadas en el eucldeo. Teniendo en cuenta que cada
funci
on fj 1 tiene soporte compacto contenido en (U ), basta extender por cero dicha
funci
on a un n-cubo [A, B]n Rn que contenga a (U ) y aplicar el Teorema de Fubini
para concluir que la u
ltima integral se anula.
2
Teorema 3.3.2 (Stokes, II) Sea M n una variedad diferenciable, orientada, D M un
dominio con borde diferenciable y n1 (M ) con soporte compacto. Entonces,
Z
Z
d =
i,
(3.6)
D
d, i , y por tanto ambas son integrables. Sea {(Ui , i)}iN un recubrimiento por entornos
coordenados de M , todos compatibles con la orientaci
on de esta, y {i }i una partici
on de
la unidad subordinada a dicho recubrimiento. No perdemos generalidad suponiendo que
i (Ui ) es un subconjunto acotado de Rn , i N.
91
d =
D
k Z
X
i=1
d(i ),
D
i =
D
k Z
X
i=1
i (i).
D
Por tanto, podemos suponer que tiene soporte compacto contenido en un entorno coordenado U , donde tenemos definida una carta = (x1, . . . , xn ) compatible con la orientaci
on
de M y cumpliendo 1
o 2, y queremos probar (3.6). Discutimos seg
un esos dos casos para
la carta.
R
Supongamos que U D = . Entonces, i = 0 en D y debemos ver que D d = 0.
Esto es evidente si U D = porque soporte(d) soporte() U . En otro caso,
U Int(D) luego
Z
Z
Z
d =
d =
d,
n
X
fj
dx1 . . . dxn ,
xj
j=1
(i )|U D =
n
X
dx . . . i dx
(1)j1 (fj i) idx1 . . . i[
j
n
j=1
n
X
\
(1)j1 (fj i) d(x1 i) . . . d(x
j i) . . . d(xn i))
j=1
92
donde en la u
ltima igualdad hemos usado que xn i : U D R es constante (cero),
luego d(xn i) = 0 en U D.
Ahora notemos que (U D, = |U D (x1 i, . . ., xn1 i)) es una carta de D
(estamos identificando {(x1, . . . , xn) Rn | xn = 0} con Rn1 ), pero no siempre es compatible con la orientaci
on de D como borde de D: como X = xn apunta hacia fuera de
D y (U, ) es compatible con la orientaci
on de M , por definici
on de orientaci
on inducida
al borde se tiene que (U D, ) es compatible con la orientaci
on de D si y s
olo si
n
i = (1)
(1)n1 (fn i 1 ) dr1 . . . drn1
D
(U D)
d =
D
n Z
X
j=1
(D)
(fj 1)
dr1 . . . drn ,
rj
donde r1, . . . , rn denotan las coordenadas en el eucldeo. Teniendo en cuenta que cada
(fj 1 )
funci
on
tiene soporte compacto contenido en (U ) y que estamos integrando en
rj
(D) H + , extenderemos por cero
(fj 1 )
rj
(f 1 )
(U ) e integraremos H + jrj
sobre [A, B]n (aqu H + denota la funci
on caracterstica
+
de H ). Aplicando el Teorema de Fubini conclumos que
Z
(D)
(fj 1)
dr1 . . . drn =
rj
Z
[A,B]n
H +
(fj 1 )
dr1 . . . drn = 0 si j 6= n,
rj
93
(fn 1 )
dr1 . . . drn
rn
D
[A,B]n
Z B
Z
(fn 1)
=
H +
drn dr1 . . . drn1
rn
[A,B]n1
A
d =
H +
(fn 1 )(r1, . . . , rn1, B) (fn 1)(r1, . . . , rn1, 0) dr1 . . . drn1
[A,B]n1
dxdy =
x
y
D
ai
i=1
Corolario 3.3.2 (F
ormula integral de Cauchy) Sea F una funci
on holomorfa en un
abierto simplemente conexo U C. Dado un punto z0 U y una curva de Jordan U
que rodee a z0 en el sentido contrario a las agujas del reloj, se tiene
Z
F (z)
dz = 2iF (z0).
z
z0
94
Demostraci
on. Primero veamos que si f es una funci
on holomorfa
en un abierto C
R
y D es un dominio con frontera diferenciable, entonces D f (z) dz = 0: en efecto, si
f = u + iv es la descomposici
on en parte real e imaginaria para f , tenemos
Z
Z
Z
Z
f (z) dz =
(u + iv) d(x + iy) =
(u dx v dy) + i
(v dx + u dy).
D
dxdy.
y x
y
D
D
D
D x
Como f es holomorfa, u y v cumplen las ecuaciones de Cauchy-Riemann, luego los integrandos anteriores se anulan en .
Probamos ya la f
ormula integral de Cauchy, aplicando lo anterior: Sea = U {z0}
F (z)
y f (z) = zz
,
holomorfa
en . Tomamos el dominio con frontera diferenciable D =
0
D(z0 , ) , donde es el dominio interior a y D(z0 , ) es el disco abierto
centrado en z0 de radio . Entonces,
Z
Z
Z
F (z)
F (z)
F (z)
0=
dz =
dz +
dz,
(3.7)
z
z
z
z
z
0
0
D
{|zz0 |=} z0
donde la orientaci
on a lo largo de {|z z0 | = } es la de las agujas del reloj (porque
es la orientaci
on sobre es contraria a las agujas del reloj, y {|z z0 | = } tiene
la orientaci
on inducida como borde de D ). Calculamos esta u
ltima integral, usando la
parametrizaci
on () = z0 + ei , [0, 2]:
Z
{|zz0 |=}
F (z)
dz = i
z z0
2
0
F (z0 + ei ) i
e d = i
ei
F (z0 + ei ) d.
0
R
F (z)
De (3.7) deducimos que {|zz0 |=} zz
dz no depende de . Tomando 0, la u
ltima
0
R
F (z)
igualdad implica que {|zz0 |=} zz0 dz = 2iF (z0), y la f
ormula integral de Cauchy
est
a probada.
2
Recordemos de la Proposici
on 2.4.2 que habamos definido la forma de volumen metrico
de una variedad Riemanniana orientada (M n , g) como la u
nica n-forma dvg n (M )
definiendo la orientaci
on dada y tal que (dvg )p (v1, . . . , vn ) = 1 para toda base ordenada,
ortonormal y positivamente orientada (v1 , . . ., vn ) de TpM y todo p M . Si (U, =
(x1 , . . . , xn)) es una carta compatible con la orientaci
on de M , veamos que
95
donde G = det g x
,
. En efecto, como dx1 . . . dxn es una base local de
i xj
i,j
n-formas en U , tenemos
dvg = f dx1 . . . dxn
(3.9)
con f C (U ). Adem
as f > 0 en U ya que dvg , dx1 . . . dxn representan la orientaci
on de M . Tomemos una base ordenada g-ortonormal de campos (E1, . . . , En) sobre U (obtenidos, por ejemplo, mediante el proceso de Gram-Schmidt aplicado sobre
( x 1 , . . . , x n )). Tras un posible cambio de signo en E1, podemos suponer que (E1, . . . , En)
P
g x
=
=
g
,
a
E
,
a
E
a
a
=
aki akj ,
ki
k
hj
h
ki
hj
kh
i xj
k
k,h
xi , xj
u
ltima igualdad cierta porque ( x
, . . ., x n ) y (E1, . . . , En) inducen la misma orientaci
on
1
sobre U . Ahora s
olo tenemos que sustituir en (3.9) para obtener (3.8).
anterior se escribe matricialmente g
i,j
Definici
on 3.3.1 Dada una variedad Riemanniana (M n , g) y un campo X X(M ), se
define la divergencia de X como la funci
on div(X) C (M ) que cumple la igualdad
d (i(X)dvg) = div(X) dvg.
(3.10)
96
n
X
j=1
dj . . . dxn ,
fj dx1 dx
x1 , . . . , xh , . . . , xn
n
X
ai dvg
Pn
i=1
d
= dvg X, x
,
.
.
.
,
,
.
.
.
,
xh
xn .
1
ai x
con ai C (U ), lo anterior nos dice que
i
xi , x1 , . . . , xh , . . . , xn
= ah dvg
xh , x1 , . . . , xh , . . ., xn
i=1
= (1)h1 ah dvg
x1 , . . . , xh , . . ., xn
= (1)h1 ah G,
donde en la u
ltima igualdad hemos usado la f
ormula (3.8), v
alida ya que (U, ) es compatible con la orientaci
on. Por tanto,
!
n
n
X
X
fj
d
div(X) dvg = d (i(X)dvg) =
dxh dx1 dxj . . . dxn
xh
j=1
h=1
X
X fj
fj
dj . . . dxn =
dxj dx1 dx
(1)j1
dx1 dxj . . . dxn
xj
xj
j
1 X
(3.8)
(aj G) dx1 dxn =
(aj G) dvg ,
xj
G j xj
j
de donde deducimos la f
ormula deseada:
1 X
(div(X))|U =
(aj G)
G j xj
si X|U =
n
X
i=1
ai
.
xi
(3.11)
Como caso particular de (3.11), conviene destacar que en Rn con el producto escalar
usual, la divergencia
asica de la Fsica y el An
alisis:
Pn aj de un campo adopta la forma cl
div(X) = j=1 xj si X = (a1, . . . , an ).
Teorema 3.3.4 (Teorema de la divergencia) Sea (M n , g) una variedad Riemanniana
orientada, D M un dominio con borde diferenciable y N : D T M un campo normal
97
donde dvg , dv(g|D) son los elementos de volumen metrico orientado para (M, g) y (D, g|D),
donde en D se considera la orientaci
on inducida como borde de D.
Demostraci
on.
(3.10)
div(X) dvg =
D
(?)
d (i(X)dvg) =
D
i(X)dvg,
D
donde en (?) hemos aplicado el Teorema de Stokes a la (n1)-forma = i(X)dvg (que tiene
soporte compacto por tenerlo X). Falta entonces probar que i(X)dvg = g(X, N ) dv(g|D)
en D (en la primera (n 1)-forma se sobreentiende el pullback va la inclusi
on de D en
M ).
Sea (V2, . . . , Vn) una base local ortonormal del espacio tangente a D, positivamente
orientada. Como N es el campo normal unitario exterior a D a lo largo de D, la base
ordenada (N, V2, . . ., Vn ) es g-ortonormal
y compatible con la orientaci
on de M . Tras
Pn
descomponer X = g(X, N )N + j=2 g(X, Vj )Vj , tenemos
(i(X)dvg) (V2, . . . , Vn) = dvg (X, V2, . . . , Vn) = dvg (g(X, N )N, V2, . . ., Vn )
= g(X, N ) dvg(N, V2, . . . , Vn) = g(X, N ) = g(X, N )dv(g|D) (V2, . . . , Vn),
y el Teorema est
a demostrado.
3.4.
En esta secci
on particularizaremos mucho de lo aprendido sobre el
algebra de campos
y formas sobre una variedad M , al ambiente en que surgieron estos conceptos: cuando M
sea un abierto U R3. Denotaremos por x, y, z a las coordenadas habietuales en R3.
Sea X X(U ) C (U, R3). As, X = (X 1, X 2, X 3) con X i : U R diferenciable.
Podemos asociar can
onicamente una 1-forma al campo X:
X : U 1(U )
p 7 (X )p : TpU R3 R
v
7 (X )p(v) = hXp, vi.
1
Esto es, Np Tp M es un vector ortogonal a Tp D y de norma uno respecto de gp que apunta hacia
fuera, p D.
98
Escribiendo X en coordenadas respecto a la base natural {dx, dy, dz} de 1(U ) obtenemos
X = X 1 dx + X 2 dy + X 3 dz,
de donde deducimos que X es diferenciable. Claramente, la asociaci
on X 7 X es biyectiva. Por ejemplo, la diferencial y el gradiente de una funci
on est
an relacionados mediante
df = f .
Tambien podemos asociar de forma can
onica una 2-forma2 a X:
X : U 2(U )
p 7 (X )p : TpU TpU R3 R3 R
(v, w)
7 (X )p (v, w) = det(Xp, v, w).
Si escribimos X en combinaci
on lineal de la base {dx dy, dx dz, dy dz} obtendremos
X = X 3 dx dy X 2 dx dz + X 1 dy dz,
luego tambien X es diferenciable y la asociaci
on X 7 X es biyectiva. N
otese que
X = i(X) (dx dy dz),
(3.12)
X(U ).
y
z
z
x y
x
El hecho de que exista una 3-forma global sin ceros en U hace que tengamos una correspondencia biunvoca entre funciones diferenciables y 3-formas diferenciales en U : Dada
f C (U ) = 0 (U ), sea
f = f dx dy dz 3(U ).
(3.13)
De nuevo f 7 f es una biyecci
on.
La asociaci
on X X(U ) 7 1 (U ) puede generalizarse a cualquier abierto de Rn , incluso a
on del
cualquier variedad Riemanniana; pero al asociar a X la 2-forma X estamos usando que la dimensi
eucldeo donde trabajamos es 3; si U Rn , entonces podemos asociar a X X(U ) una (n 1)-forma
alogo.
X n1 (U ) mediante un procedimiento an
2
99
Recordemos que la divergencia de un campo X X(M ) respecto a una metrica Riemanniana g se defini
o como la funci
on div(X) C (M ) dada por la igualdad div(X) dvg =
d(i(X) dvg), donde dvg es el elemento de volumen metrico asociado a g y a una orientaci
on
(local). En nuestro contexto actual M = U R3 y g = h, i (producto escalar usual)
tenemos dvg = dx dy dz luego la ecuaci
on (3.12) implica
dX = d (i(X)(dx dy dz)) = d(i(X)dvg) = div(X) dvg = div(X).
En coordenadas, se tiene la f
ormula cl
asica
div(X) =
X 1 X 2 X 3
+
+
x
y
z
si X = (X 1, X 2, X 3).
(3.14)
(3.15)
100
D( ) = D + D,
LX (df ) = dLX (f ),
f C (M ).
k
X
i=1
Una derivaci
on de grado d Z se define de igual forma, pero lleva k-formas en k + d formas.
Al menos, daremos una justificaci
on de (3.16): Tras pasar la sumatoria al miembro de la izquierda,
(3.16) se escribe como una regla del producto usual:
4
k
X
(X1 , . . . , LX Xi , . . . , Xk ),
i=1
donde hemos definido LX Y = [X, Y ], Y X(M ). Esto nos dice que extendiendo la noci
on de derivada de
Lie a campos mediante el corchete de Lie, y de ah a tensores r-covariantes y s-contravariantes cualesquiera
mediante la regla del producto usual, la f
ormula anterior es trivial por construcci
on.
5
k
n
k
Una antiderivaci
on de grado d Z es una aplicaci
on lineal A : n
k=0 (M ) k=0 (M ) que lleva
k
k
k
k formas en k + d formas, y cumple A( ) = A + (1) A, (M ), n
k=0 (M ). La
diferencial exterior es una antiderivaci
on de grado 1 (propiedad 3 del Teorema 3.1.1).
101
p
.
kpk3
a) Probar que div(X) = 0 pero que no existe Y X(U ) tal que X = rot(Y ).
b)
2(U, C) = { + i | , 2 (U )}.
f
1
= fz = (fx + ify ) 0(U, C),
z
2
102
b)
d)
z
entonces d = zz
dz dz.
0
2) Aplicar el Teorema de Stokes a en D = D D(z0, ) para concluir que
Z 2
Z
Z
F (z)
Fz (z)
i
i
F (z0 + e ) d =
dz +
dz dz.
D z z0
D z z0
0
R
z (z)
3) Deducir del apartado anterior que existe el lmite lm0+ D Fzz
dz dz, y
0
que (3.17) se cumple.
nicas.
7. Propiedad de la media para funciones armo
103
u dxdy =
D(z0 ,r)
2
0
u
(z0 +rei )r d,
r
u ds = r
D(z0 ,r)
u(z0 +rei ) d,
0
104
Captulo 4
COHOMOLOGIA DE de RHAM
106
4.1.
Recordemos del
algebra que un complejo de cocadenas es una sucesi
on de grupos
abelianos o m
odulos . . . , A2, A1, A0, A1, A2, . . . conectados por homomorfismos dn : An
An+1 tales que dn+1 dn = 0 n. Tomando d : k (M ) k+1 (M ) como la diferencial exterior
diferenciable M n , tenemos un complejo de cocadenas
Ln enk una variedad
(M ) = k=0 (M ), d (para aquellos ndices k 0
o k n, convenimos en que
k (M ) = {0} y d = 0) , al que llamaremos el complejo de de Rham de M .
Para cada k {0, . . ., n} definimos
B k (M ) = Im(d : k1 (M ) k (M )),
Z k (M )
,
B k (M )
para k = 0, . . . , n,
n
M
k=0
B k (M ),
Z(M ) =
n
M
k=0
Z k (M ),
H(M ) =
n
M
H k (M ).
k=0
Nota 4.1.1
1. Si , Z(M ) Z(M ) (Z(M ) es un sub
algebra unitaria de (M ), con
unidad 1 Z 0 (M )):
Es consecuencia directa del apartado 3 del Teorema 3.1.1.
2. Si B(M ), Z(M ) , B(M ) (B(M ) es un ideal bil
atero de
Z(M )):
B(M ) (M ) tal que = d. As, = d = d( ) porque
Z(M ). An
alogamente, = d = (1)grado()d ( ) = d (1)grado() .
3. El producto [] [] = [ ] est
a bien definido en H(M ), y dota a este conjunto de
estructura de
algebra graduada asociativa,anticonmutativa1 y con elemento unidad.
1
Si k (M ), l (M ), entonces = (1)kl . En este sentido, (M ) se dice un
algebra
anticonmutativa. Esto mismo puede decirse de H(M ), al pasar a cocientes.
4.2. INVARIANZA HOMOTOPICA
DE LA COHOMOLOGIA DE DE RHAM.
107
n (M )
,
B n (M )
H 0(M ) =
4.2.
Invarianza homot
opica de la cohomologa de de Rham.
k
= 0 luego Z (M ). El mismo razonamiento nos dice que si B k (N )
entonces B k (M ). Esto permite definir aplicaciones lineales
(0)
: H k (N ) H k (M )
,
([]) = [],
: H(N ) H(M )
Adem
as:
respeta el producto exterior (propiedad 4 del Lema 2.3.3), luego es un morfismo
de
algebras.
7 define un funtor contravariante. (propiedades 2 y 3 del Lema 2.3.3).
Si M
= N (difeomorfas) H(M )
= H(N ) (isomorfas).
Si : M N es constante = 0 : H(N ) H(M ).
Definici
on 4.2.1 Dos aplicaciones , C (M n , N m) se dicen diferenciablemente homot
opicas si existe una aplicaci
on diferenciable H : M R N tal que
H(p, t) = (p) p M, t 0,
H(p, t) = (p) p M, t 1.
d
108
La raz
on por la que la homotopa H est
a definida en M R y no en M [0, 1] como
sera usual, es que M podra ser una variedad con borde (no estudiaremos este caso), y
el producto de dos variedades con borde no tiene porque ser una variedad con borde (un
cuadrado no tiene borde regular). Sin embargo, el producto de una variedad con borde
por otra sin borde sigue siendo una variedad con borde.
Nuestro siguiente objetivo es probar que si dos aplicaciones diferenciablemente homot
opicas inducen los mismos morfismos a nivel de cohomologa. Para ello necesitamos
un concepto previo.
Definici
on 4.2.2 Un grupo uniparametrico de difeomorfismos de una variedad diferenciable M es una familia {s }sR Diff(M ) tal que s t = s+t s, t R, y
(p, s) M R M 7 s (p) M es diferenciable.
N
otese que para un grupo uniparametrico de difeomorfismos {s }sR, se tienen s t =
t s , y 0 = 1M . Fijado p M , la aplicaci
on p : R M , p (s) = s (p), es una
curva diferenciable en M . Por tanto, p0 (0) Tp M y podemos definir el campo X X(M )
asociado al grupo uniparmetrico como
d
0
X : M T M, Xp = p(0) =
s (p).
ds 0
La diferenciabilidad de X se deduce de su expresi
on en coordenadas locales: si (U, =
(x1 , . . . , xn)) es una carta en M , entonces dado p U
d
d
[X(xi)](p) =
(xi p)(s) =
(xi s )(p).
ds 0
ds 0
Lema 4.2.1 (Lema de Poincar
e) Sea {s }sR un grupo uniparametrico de difeomor3
fismos de una variedad diferenciable M . Entonces, s : H(M ) H(M ) es la identidad,
s R.
Demostraci
on. Fijemos k (M ).
d
1. Veamos que LX = ds
(aqu LX es la derivada de Lie del campo X, definida
0 s
en el ejercicio1 del Captulo 3):
d
Como LX , ds
son derivaciones de grado 0, basta comprobar que coinciden al
0 s
aplicarlas sobre funciones y diferencales de funciones (esto es suficiente, por el ejercicio 1 del Captulo 3). Dada f C (M ) y p M ,
d
d
d
f (p) =
(f s )(p) =
s (p) (f ) = Xp (f ) = [X(f )](p),
ds 0 s
ds 0
ds 0
3
4.2. INVARIANZA HOMOTOPICA
DE LA COHOMOLOGIA DE DE RHAM.
109
d
d
d
d
df
=
(
d)(f
)
=
(d
)(f
)
=
d
f
= d[X(f )].
s
ds 0 s
ds 0 s
ds 0
ds 0 s
d
:
2. Dado a R, veamos que LX a = ds
a s
d
d
d
(1) d
L X a =
( ) =
( a ) =
=
.
ds 0 s a
ds 0 s
ds 0 s+a
ds a s
3. Dados a, b R Z
con a b, veamos que
Z b
b
b a = d
i(X) (s ) ds +
i(X) [s d] ds:
a
Lo que sigue hay que entenderlo tras evaluar en un punto p M y en una lista
(v1 , . . ., vk ) (TpM )k , que no escribiremos por simplicidad. El resultado es, por
tanto, un n
umero real.
Z b
Z b
d
(2)
b a =
(LX s ) ds.
(s ) ds =
ds
a
a
s
Usando la f
ormula de Cartan (ejercicio 1 del Captulo 3), lo anterior se escribe
Z b
Z b
Z b
(d i(X) + i(X) d) s ds =
(d i(X)) s ds +
i(X) [d(s )] ds.
a
b a = d
i(X) (s ) ds .
a
= : H(N ) H(M ).
Demostraci
on. Por hip
otesis, existe una homotopa diferenciable H : M R N de
a , es decir H(p, t) = (p) t 0, H(p, t) = (p) t 1, p M . Consideremos la
inyecci
on natural i : M M R, i(p) = (p, 0). Entonces, las aplicaciones
s : M R M R,
s R
110
opicas.
' 1N . En tal caso, , se dicen equivalencias homot
Dos variedades difeomorfas tienen el mismo tipo de homotopa diferenciable, pero
el recproco no es cierto: si M, N tienen el mismo tipo de homotopa diferenciable, ni
siquiera tienen porque tener la misma dimensi
on (por ejemplo, Rn tiene el mismo tipo de
homotopa diferenciable que un punto). Una consecuencia trivial de la definici
on anterior
y de la funtorialidad de la aplicaci
on inducida en cohomologa es la siguiente.
Corolario 4.2.1 Si M, N son variedades diferenciables con el mismo tipo de homotopa
diferenciable, entonces H(M )
= H(N ).
A menudo tendremos que calcular la cohomologa de de Rham de variedades que son
difeomorfas a un cilindro sobre otra variedad base. El siguiente resultado dice que nos
podremos reducir a calcular la cohomologa de la variedad base.
Corolario 4.2.2 Sea U Rn un abierto estrellado respecto de un punto x U , es decir,
para todo y U el segmento de recta que une x con y est
a contenido en U . Entonces,
H(M U ) = H(M ).
Demostraci
on. Como variedades difeomorfas tienen
algebras de cohomologa isomorfas,
no perdemos generalidad suponiendo que 0 U y U es estrellado respecto al origen.
Por el Corolario 4.2.1, basta probar que M U, M tienen el mismo tipo de homotopa
diferenciable. Consideremos las aplicaciones
i:M
p
d
M U
7 (p, 0)
1 : M U
(p, t)
M
7
Rn
DE MAYER-VIETORIS.
4.3. LA SUCESION
111
H (U ) =
{0} si k 6= 0.
Demostraci
on. Aplicar el Corolario 4.2.2 a M = {p} y U .
4.3.
La sucesi
on de Mayer-Vietoris.
En el sentido usual, es decir, existe H : M [0, 1] N continua tal que H(p, 0) = f , H(p, 1)
C (M, N ).
5
Es decir, existen f : M N , g : N M continuas tales que g f es continuamente homot
opica a 1M
y f g es continuamente homot
opica a 1N .
112
F () = (iU , iV ),
G(1, 2 ) = jU 1 jV 2 .
0 k (M ) k (U ) k (V ) k (U V ) 0,
es exacta.
Demostraci
on. Ya hemos visto la exactitud en k (U ) k (V ).
ker(F ) = {0}: Sea k (M ) tal que F () = (0, 0). As, |U , |V = 0. Como M = U V ,
deducimos que = 0 en M .
Im(G) = k (U V ): Sea k (U V ). Usaremos un resultado previo de particiones
de la unidad, que probaremos abajo: tomemos funciones U , V C (M ) tales que
soporte(U ) U , soporte(V ) V , U + V = 1 en M (ver Afirmaci
on 4.3.1). Llamamos
V en U V
U en U V
1 =
2 =
0
en U soporte(V )
0
en V soporte(U )
Como U V, U soporte(V ) son abiertos de U que recubren a U (aqu se usa que
soporte(V ) V , n
otese que podra haber problemas con la diferenciabilidad de 1 en
puntos de U V si s
olo tuvieramos soporte(V ) V ), deducimos que 1 k (U ).
An
alogamente 2 k (V ). Finalmente, G(1, 2 ) = jU 1 jV 2 = (1 )|U V (1 )|U V =
(V )|U V + (U )|U V = .
2
Afirmaci
on 4.3.1 Sean U, V abiertos de una variedad diferenciable con M = U V .
Entonces, existen funciones U , V C (M ) tales que soporte(U ) U , soporte(V )
V , U + V = 1 en M .
DE MAYER-VIETORIS.
4.3. LA SUCESION
113
Demostraci
on. Tomemos una partici
on de la unidad {i}iN subordinada al recubrimiento
abierto {U, V } de M . Sean
U =
i ,
V =
iA
i = 1 U ,
iNA
soporte(i(k)) := K.
kN
N
otese que el conjunto K es compacto, por ser uni
on finita de compactos (ya que cada
soporte(i(k)) es compacto y s
olo hay una cantidad finita de i(k)). Como lo anterior es
cierto k N y K es compacto, tomando lmites obtenemos x K. Pero K V (porque
cada soporte(i(k)) est
a contenido en V ), luego x V . Esto contradice que x V y V
es abierto.
2
Lema 4.3.2 En la situacion anterior, el diagrama siguiente es conmutativo para cada k:
k (M )
dd
k+1 (M )
- k (U ) k (V )
?
- k (U ) k (V )
- k (U V )
?
- k+1 (U V )
114
Demostraci
on. Comprobaci
on directa.
La situaci
on anterior es bien conocida en
algebra homol
ogica, se conoce como una
sucesi
on exacta corta de complejos de cocadenas. En estas condiciones, existe un resutado puramente algebraico sobre la cohomologa asociada a los complejos de cocadenas,
produciendo lo que se llama una sucesi
on exacta larga en cohomologa. Pero no vamos
a introducir este lenguaje en abstracto, sino que llegaremos al resultado adaptando los
argumentos a nuestra situaci
on particular.
Primero el que el diagrama del Lema 4.3.2 sea conmutativo implica que las aplicaciones
F, G se inducen en cohomologa:
F
H k (M ) H k (U ) H k (V ) H k (U V )
(4.2)
Una descomposici
on de Sn cumpliendo las condiciones de Mayer-Vietoris.
DE MAYER-VIETORIS.
4.3. LA SUCESION
115
H k (M ) H k (U ) H k (V ) H k (U V ) H k+1 (M ) . . .
H n1 (U V ) H n (M ) H n (U ) H n (V ) H n (U V ) 0,
siendo F [] = ([|U ], [|V ]), G([1], [2]) = [1|U V 2 |U V ].
Demostraci
on. Como dijimos antes, el resultado es puramente algebraico. Aunque haremos
la demostraci
on en nuestra situaci
on geometrica, los argumentos s
olo usar
an propiedades
de complejos de cocadenas, y dejaremos la intepretaci
on puramente geometrica para despues de la demostraci
on.
Queremos definir : H k (U V ) H k+1 (M ). Para ello, tomemos [] H k (U V ),
generada por Z k (U V ). Como Gk : k (U ) k (V ) k (U V ) es sobreyectiva6 ,
existen 1 k (U ), 2 k (V ) tales que Gk (1 , 2) = . Como es cerrada,
0 = d = (d Gk )(1 , 2) = Gk+1 (d1 , d2)
(4.3)
luego (d1, d2) ker(Gk+1 ) = Im(Fk+1 ) y por tanto existe k+1 (M ) tal que
Fk+1 () = (d1 , d2). Ahora bien, es cerrada porque Fk+2 es inyectiva y
(Fk+2 d)() = (d d)(Fk+1 ()) = (d d)(d1, d2) = 0.
(4.4)
As, general una clase de cohomologa [] H k+1 (M ), que es la que bamos buscando:
definimos
([]) = [].
Debemos comprobar que la definici
on anterior es correcta; si tomamos 0 = +d con
k1
(U V ), entonces por sobreyectividad de Gk1 existen 1 k1 (U ), 2 k1 (V )
tales que = Gk1 (1, 2). Sigamos con el proceso explicado arriba para definir , pero
aplicado a 0 en vez de a : Como Gk : k (U ) k (V ) k (U V ) es sobreyectiva,
existen 10 k (U ), 20 k (V ) tales que Gk (10 , 20 ) = 0. Como 0 es cerrada, la misma
cuenta que en (4.3) nos dice que (d10 , d20 ) ker(Gk+1) = Im(Fk+1 ) y por tanto existe
0 k+1 (M ) tal que Fk+1 ( 0) = (d10 , d20 ), e igual que en (4.4), 0 es cerrada. S
olo resta
0
ver que [] = [ ]: Primero notemos que
Gk (10 1 , 20 2 ) = 0 = d = (d Gk1 )(1, 2) = Gk (d1, d2)
6
N
otese que hemos a
nadido un subndice a G, y haremos lo mismo con F , para destacar el grado de las
formas sobre las que act
ua.
116
k+1
G ([1], [2]), entonces ([]) = [] donde Z
(M ) cumple Fk+1 () = (d1, d2). En
nuestro caso, (d1, d2) = (0, 0) luego Fk+1 () = (0, 0). Como Fk+1 es inyectiva, deducimos que = 0. As, ( G)([1], [2]) = [] = 0 y hemos probado que Im(G) ker().
Recprocamente, sea [] H k (U V ) tal que ([]) = 0 H k+1 (M ). Tomemos un representante Z k (U V ). Por definici
on de , tenemos ([]) = [] donde Z k+1 (M )
DE MAYER-VIETORIS.
4.3. LA SUCESION
117
118
d1 en U
d2 en V
est
a globalmente definida en M , es cerrada y [] = ([]). En resumen:
k
[] H (U V ) 7 ([]) = [] =
d(V ) en U,
d(U ) en V
H k+1 (M ).
r
M
H k (Ui ).
i=1
Como veremos m
as adelante, la utilidad de la sucesi
on exacta larga de Mayer-Vietoris
consiste en encontrar la descomposici
on M = U V de forma que aparezcan muchos
ceros en los espacios de cohomologa de la sucesi
on exacta larga; cortando por esos ceros
conseguirmos fragmentos que son sucesiones exactas, y a menudo es posible deducir
informaci
on sobre los espacios que aparecen sin m
as que contar dimensiones (veremos
un ejemplo en la ecuaci
on (4.5)). Relacionado con esto, tenemos dos observaciones: en la
primera enunciamos una f
ormula algebraica para relacionar las dimensiones de los espacios
en cada fragmento, y en la segunda estudiamos variedades que descomponen de forma
especialmente adecuada en esta direcci
on.
DE MAYER-VIETORIS.
4.3. LA SUCESION
119
0 V1 V2 V3 . . . Vk1 Vk 0.
Entonces, la suma alternada de las dimensiones de los espacios Vi es cero.
Demostraci
on. Hacerla como ejercicio por inducci
on sobre k; para caer en la hip
otesis
f
de inducci
on, se cambia en la sucesi
on anterior el fragmento 0 V1 V2 V3 por el
g
e
F
G
H k1(U V ) H k (M ) H k (U ) H k (V ) . . .
Como H k (M )/ ker(F )
on
= Im(F ), basta probar que ker(F ), Im(F ) tienen dimensi
k
finita para que H (M ) sea de dimensi
on finita. Como Im(F ) es un subespacio de H k (U )
H k (V ) y dim ker(F ) = dim Im() dim H k1 (U V ), es suficiente demostrar que
H k (U ), H k (V ), H k1(U V ) tienen dimensi
on finita. H k (U ) tiene dimensi
on finita por
7
La idea se basa en el generalizar el concepto de conjunto convexo de Rn a una variedad; para ello
hace falta generalizar la noci
on de segmento a geodesica minimizante, para lo que es necesario dotar a M
de una metrica Riemanniana (toda variedad diferenciable admite una metrica Riemanniana, simplemente
pegando metricas localmente definidas en entornos coordenados por medio de una partici
on de la unidad).
La existencia de entornos coordenados convexos en una variedad Riemanniana es siempre posible, y la
intersecci
on de convexos es convexa. La compacidad se usa para encontrar un recubrimiento finito por
entornos coordenados convexos.
120
hip
otesis de inducci
on; V es difeomorfo a Rn luego tambien H k (U ) tiene dimensi
on finita;
finalmente, U V tiene como recubrimiento a {U1 Um+1 , . . . , Um Um+1 }, luego tambien
por hip
otesis de inducci
on H k1 (U V ) tiene dimensi
on finita.
2
Cuando una variedad M tiene todos sus espacios de cohomologa finito-dimensionales, se
define el k-esimo n
umero de Betti de M mediante
k (M ) = dim H k (M ),
y la caracterstica de Euler-Poincare de M por
n
X
(M ) =
(1)k k (M ).
k=0
4.4.
La sucesi
on de Mayer-Vietoris es un metodo muy potente para el c
alculo de cohomologa de de Rham, ya que muchas variedades admiten descomposiciones M = U V
donde U, V, U V tienen cohomologas m
as simples que la propia M . Un ejemplo de esto
ocurre al calcular la cohomologa de de Rham de Sn .
Teorema 4.4.1 La cohomologa de de Rham de la esfera Sn viene dada por
0
H (S ) = R ,
y si n 1, H (S )
=
k
R si k = 0, n
{0} si 0 < k < n.
Demostraci
on. Consideremos abiertos U, V Sn como en el gr
afico antes del Teorema 4.3.1, es decir, U, V son difeomorfos a Rn , U V admite como retracto de deformaci
on
n1
n
n
aS
y S = U V . As, U, V tienen el tipo de homotopa de R y U V tiene el tipo
de homotopa de Sn1 . Por los Corolarios 4.2.1 y 4.2.3,
H(U )
= H(V )
= H(Rn )
=
R si k = 0
{0} si 0 < k n
H(U V )
= H(Sn1 ),
121
luego la sucesi
on de Mayer-Vietoris asociada a esta descomposici
on es
F
H k1 (U ) H k1 (V ) H k1 (U V ) H k (Sn ) H k (U ) H k (V ) . . .
k
k
k
k1
n1
{0}
H
(S
)
{0}
De la lnea de abajo deducimos que H k (Sn )
= H k1(Sn1 ) si k > 1. De la lnea de arriba
deducimos que si n 1 entonces la sucesi
on siguiente es exacta en todos sus puntos:
F
0 R R2 H 0(Sn1 ) H 1(Sn ) 0
(4.5)
En rigor, deberamos decir aqu tipo de homotopa diferenciable. Para eliminar el adjetivo diferenciable, necesitamos que si dos variedades tienen el mismo tipo de homotopa continua, entonces tienen el
mismo tipo de homotopa diferenciable. Esto es consecuencia de la discusi
on final de la Secci
on 4.2.
122
Demostraci
on. Supongamos que existiera un homemomorfismo h : Rn Rm . Restringiendo deduciramos que Rn {0} es homeomorfo a Rm {h(0)}. Pero Rn {0} tiene el mismo
tipo de homotopa que Sn1 , y Rm {h(0)} tiene el mismo tipo de homotopa que Sm1 ,
luego tendramos que Sn1 tiene el mismo tipo de homotopa que Sm1 , contradicci
on. 2
Como el anterior, hay otros muchos resultados cl
asicos de la topologa (teorema del
punto fijo de Brouwer, teorema de la invarianza del dominio, teorema de separaci
on de
Jordan-Brouwer, etc.) que pueden demostrarse usando cohomologa de de Rham, con tecnicas parecidas a las anteriores. Como antes, enunciaremos los resultados en toda generalidad
pero s
olo los los probaremos rigurosamente en la categora diferenciable.
Teorema 4.4.2 (Teorema del punto fijo de Brouwer)
n
n
n
Toda aplicaci
on continua f : D D tiene un punto fijo, siendo D = {x Rn | |x| 1}.
n
Demostraci
on. Por reducci
on al absurdo, supongamos que f no tiene puntos fijos en D .
n
Dado x D , consideremos la recta R que une x con f (x) (es u
nica porque x 6= f (x)):
R = {x() = x + (x f (x)) | 0}.
Como R es no acotada, R cortar
a a D = Sn1 en dos puntos distintos x(1), x(2), siendo
1 = 1 (x) 0, 2 = 2(x) < 0. Adem
as, 1, 2 son las soluciones de la siguiente ecuaci
on
de segundo grado en :
kx + (x f (x))k2 = 1,
n
123
la hoja lisa. Entonces, existe al menos un punto en la hoja arrugada que cae exactamente encima del punto correspondiente de la hoja lisa (es decir, encima del
punto de la segunda hoja con las mismas coordenadas que el primer punto). Para
2
entender porque es esto, identifiquemos D con la hoja de papel lisa, y dado x D
llamemos (x) R3 al punto de la bola arrugada con las mismas coordenadas (bidimensionales) que x, y sea f = 2 : D D la composici
on de f con la proyecci
on
vertical (asumimos que la bola de papel arrugada, al descansar sobre la hoja lisa,
est
a contenida en el cilindro vertical D R, para que f este valuada en D). Por el
Teorema del punto fijo de Brouwer, existe x D tal que f (x) = x, lo que quiere
decir que f (x) est
a situado directamente encima de x.
Imaginemos que estamos en la terminal de un aeropuerto, y nos encontramos entrente
a un mapa de la misma terminal. La aplicaci
on que enva cada punto de la terminal en
su imagen sobre el mapa es continua y puede verse como de la terminal en s misma;
por tanto, debe tener un punto fijo, que normalmente se denota por una indicaci
on
usted est
a aqu. Sin embargo, si encontramos un mapa similar pero fuera de la
terminal, dejara de cumplir la condici
on de tener igual dominio que codominio, y
carecera de puntos fijos.
Z
Corolario 4.4.3 Una n-forma diferenciable sobre Sn es exacta si y s
olo si
= 0.
Sn
R
Demostraci
on. Consideremos la aplicaci
on lineal I : n (Sn ) R dada por I() = Sn .
Si = + d para n1 (Sn ), entonces el teorema de Stokes nos da I() = I(). Por
tanto, podemos inducir I a una aplicaci
on lineal
Z
I : H n (Sn )
.
= R R, I([]) =
Sn
El corolario estar
a probado si vemos que I es un isomorfismo, o equivalentemente, si
Im(I) 6= {0}. Para esto u
ltimo, tomemos una carta (U, = (x1, . . . , xn )) de Sn y una
n
funci
on f C (S ) cumpliendo f 0 en Sn , f (p) > 0 en al menos un punto p Sn y
cuyo soporte es compacto contenido en U . Entonces, extendiendo f dx1 . . . dxn por
cero a Sn obtenemos una n-forma n (Sn ) (cerrada por ser de grado m
aximo), y
Z
Z
I([]) =
=
(f 1) dx1 . . . dxn > 0.
Sn
(U )
Nota 4.4.1 M
as adelante generalizaremos el Corolario 4.4.3 a cualquier variedad diferenciable, compacta, conexa y orientable.
124
A continuaci
on determinamos la cohomologa de de Rham de RPn . En la Secci
on 2.4
vimos que la igualdad A A = 1Sn (aqu A es la aplicaci
on antpoda) produce una descomposici
on k (Sn ) = k+ (Sn ) k (Sn ), donde
k (Sn ) = { k (Sn ) | A = }.
Esta descomposici
on se traslada a la cohomologa:
k
k
H k (Sn ) = H+
(Sn ) H
(Sn ),
k
donde H
(Sn ) = {[] H k (Sn ) | k (Sn )}. Por otro lado, si llamamos : Sn RPn
a la proyecci
on can
onica, el que : k (RPn ) k+ (Sn ) sea un isomorfismo hace que
k
: H k (RPn ) H+
(Sn )
k
tambien sea un isomorfismo. Por tanto, H k (RPn )
(Sn ) H k (Sn ) = {0} si 0 < k < n,
= H+
luego para tales k es H k (RPn ) = {0}. Para k = n tenemos H n(Sn )
= R, generada por una
forma de volumen en Sn . Pero n+ (Sn ) si y s
olo si RPn es orientable, es decir, si y
n (Sn ) = {0} si n es par, y H n (Sn ) R si n es impar.
s
olo si n es impar. De aqu que H+
=
+
Con esto hemos probado:
Proposici
on 4.4.1 La cohomologa de de Rham de RPn viene dada por
H k (RPn )
=
R si k = 0
{0} si 0 < k < n,
H n (RPn )
=
R si n par,
{0} si n impar.
n
lineal. Esto dice que A = donde es una forma de volumen de S , lo cual sabemos
que ocurre si y s
olo si n es impar.
2
125
Afirmaci
on 4.4.1 Sean f, g : Sn Sn diferenciables. Si f (p) 6= g(p) p Sn , entonces
f es diferenciablemente9 homot
opica a g.
Demostraci
on. Sea : R [0, 1] una funci
on diferenciable auxiliar cumpliendo: (t) = 0
si t 0, (t) = 1 si t 1, es estrictamente creciente en (0, 1) y (1/2) = 1/2. Definimos
H : Sn R Sn mediante
H(p, t) =
H ser
a diferenciable si vemos que (t)f (p)+((t)1)g(p) no tiene ceros. Si (p, t) Sn R
cumplen (t)f (p) + ((t) 1)g(p) = 0, entonces (t)f (p) = (1 (t))g(p). Tomando
normas y usando que f, g est
an valuadas en Sn tenemos 2(t) = 1 luego t = 1/2, de donde
deducimos que f (p) = g(p). As, H es diferenciable. Es f
acil ver que H es una homotopa
entre f y g.
2
Imaginemos que situamos un vector normal y no cero en cada punto de S2n , y llamemos
pelos a cada uno de estos vectores. El teorema 4.4.3 no dice que es imposible peinar
estos pelos, es decir situarlos de forma tangente a S2n en todo punto, si al menos uno de
ellos no es cero. Por ello, este resultado suele llamarse teorema de la bola peluda.
El teorema 4.4.3 tiene una curiosa apllicaci
on meteorol
ogica: consideremos un planeta
con atm
osfera. El viento puede considerarse como un campo de vectores que act
ua sobre
cada punto de la superficie del planeta. Supondremos que la componente no tangencial a la
superficie es despreciable en comparaci
on con el tama
no del planeta. Un posible escenario,
bastante poco realista, es imaginar que el aire no se mueve en absoluto, lo que corresponde
a viento cero en cada punto. Pero es m
as interesante suponer que hay viento: en tal caso,
el teorema anterior nos dice que en cada instante siempre hay un punto de la superficie
planetaria donde no hay nada de viento. Debido a que no es posible que el viento fluya
desde ni hacia este cero del campo, el comportamiento del campo alrededor de un cero
siempre ser
a de forma espiral (en un sentido de giro u otro), con centro en ese cero, tal
y como ocurre en un cicl
on. En ese sentido, el teorema de la bola peluda nos dice que en
todo instante debe existir alg
un cicl
on en alg
un punto de la Tierra (aunque no informa
sobre el tama
no del ojo del cicl
on, o sobre la magnitud del viento que rodea al ojo).
Proposici
on 4.4.2 Sea M n Rn+1 una subvariedad cerrada. Entonces
H p(Rn+1 M )
= H p+1(Rn+2 M ), para p 1,
H 0(Rn+1 M )
= H 1(Rn+2 M ) R, H 0(Rn+2 M )
= R.
9
Este enunciado es cierto para funciones continuas f, g : X Sn siendo X cualquier espacio topol
ogico, cambiando diferenciablemente homot
opicas por simplemente homot
opicas. La demostraci
on es la
misma, pero la homotopa H : Sn R Sn cambia a H : X [0, 1] Sn , tomando (t) = t.
126
Proposici
on 4.4.3 Sean M n y N n dos subvariedades cerradas de Rn+1 y : M N un
difeomorfismo. Entonces se extiende a un difeomorfismo : R2(n+1) R2(n+1) , donde
Rn+1 est
a incluido en R2(n+1) por x 7 (x, 0).
Corolario 4.4.4 Si M n y N n son dos subvariedades cerradas de Rn+1 difeomorfas, entonces
H p(Rn+1 M )
= H p(Rn+1 N ), p 0.
En particular Rn+1 M y Rn+1 N tienen el mismo n
umero de componentes conexas.
Corolario 4.4.5 (Teorema de separaci
on de Jordan-Brouwer) El compleneto de
una subvariedad de Rn+1 difeomorma a n tiene dos componentes conexas.
4.5.
Cohomologa de grado m
aximo. Clase fundamental.
En esta secci
on generalizaremos algunos de los resultados obtenidos para la cohomologa de la esfera. Sea M n una variedad compacta y orientada de dimensi
on n. Si
, n (M ) cohom
ologas, esto es = + d para cierta n1 (M ), entonces el
teorema de Stokes implica que
Z
Z
Z
Z
=
+
d =
.
M
H n (M n )
(4.6)
4.5. COHOMOLOGIA DE GRADO MAXIMO.
CLASE FUNDAMENTAL.
127
Demostraci
on. S
olo tenemos que probar la condici
on suficiente. Sea B(r) una bola abierta
centrada en el origen y de radio r tal que soporte() B(r). Como H n (Rn ) = {0} y
= . Pero b no tiene necesariamente soporte
es cerrada, existe b n1 (Rn ) tal que db
compacto. Vamos a rectificarla con un termino para que lo tenga, sin perder su relaci
on
con .
Como d b|RnB(r) = (db
)|Rn B(r) = |RnB(r) = 0, tenemos que b|Rn B(r) genera una
clase de cohomologa [b
|Rn B(r) ] H n1 (Rn B(r))
= H n1 (Sn1 )
= R.
n
Por otro lado, la inclusi
on i : B(r) R B(r) es una equivalencia homot
opica,
luego induce un isomorfismo a nivel de la cohomologa (n 1)-dimensional,
i : H n1 (Rn B(r)) H n1 (B(r))
= R,
B(r)
Rn
B(r)
Luego i([b
|Rn B(r) ]) = 0 en H n1 (B(r)). Como i es un isomorfismo, deducimos que
[b
|Rn B(r) ] = 0 en H n1 (Rn B(r)), y por tanto existe n2 (Rn B(r)) tal que
d = b|Rn B(r) . Ahora extendemos a todo Rn : tomemos una funci
on f C (Rn ) tal
n2
que f = 0 en un entorno de B(r), f = 1 en B(2r). Definimos
e
(Rn ), n1 (Rn )
mediante
f en Rn B(r),
e=
= b de
.
0 en B(r),
Fuera de B(2r) tenemos de
= d(f ) = d() = b luego |RnB(2r) = 0. Por tanto, tiene
soporte compacto, y d = db
= en Rn , lo que termina de probar el lema.
2
Una consecuencia directa del Lema 4.5.1 es que dadas 1 , 2 nc (Rn ), se tiene:
Z
Z
n1
n
c (R ) | d = 1 2
1 =
2 .
(4.7)
Rn
Rn
128
Demostraci
on. Usando una funci
on meseta con soporte compacto
contenido
en U , podeR
R
n
n
mos encontrar 1 c (R ) tal que soporte() U y Rn 1 = Rn . Usando (4.7)
concluiremos la demostraci
on del lema.
2
Ahora pasaremos el Lema 4.5.2 a una variedad diferenciable M n . Dado k = 0, . . . , n,
llamaremos
kc (M ) = { k (M ) | soporte() es compacto}.
Lema 4.5.3 Sea U M n un abierto no vaco de una variedad diferenciable y conexa.
Dada nc (M ), existe 1 nc (M ) con soporte(1) U tal que 1 es la diferencial
exterior de una (n 1)-forma de soporte compacto en M .
Demostraci
on. Primero probaremos el lema suponiendo que soporte() V ,
donde V M es un abierto de M difeomorfo a Rn .
Tomemos un abierto W U que sea difeomorfo a Rn . Tomemos una cadena finita
de abiertos O1 , . . . Or de M tales que O1 = V , Or = W , cada Oi es difeomorfo a Rn y
Oi Oi+1 6= i = 1, . . . , r 1 (esto puede conseguirse uniendo un punto de V con otro
de W mediante una curva continua, tomando un recubrimiento de la curva por abiertos
de M difeomorfos a Rn y usando la compactidad de la curva).
Aplicando el Lema 4.5.2 a O1 O2 (que podemos ver como abierto de Rn ) y a |O1
nc (O1) (n
otese que O1 es difeomorfo a Rn ), deducimos que existe
e1 nc (O1) con
soporte(e
1 ) O1 O2 tal que |O1
e es la diferencial exterior de una (n 1)-forma
1 n1
(O
).
Extendiendo
por
cero
e
1
1 , 1 a M podemos considerar ambas formas en
c
k
c (M ), k = n 1, n.
Aplicando el Lema 4.5.2 a O2 O3 (que podemos ver como abierto de Rn ) y a
e 1 |O 2
n
n
n
c (O2) (n
otese que O2 es difeomorfo a R ), deducimos que existe
e2 c (O2) con
soporte(e
2 ) O2 O3 tal que |O2
e |1 es la diferencial exterior de una (n 1)-forma
2 n1
(O1). Extendiendo por cero
e2 , 2 a M podemos considerar ambas formas en
c
k
c (M ), k = n 1, n.
Reiterando el proceso, probaremos el lema en este primer caso.
Ahora demostraremos el lema en el caso general.
Sea {Vi }iN un recubrimiento localmente finito de M por abiertos difeomorfos a Rn ,
y {i }iN una partici
on de la unidad subordinada al recubrimiento. Por ser compacto el
soporte de , s
olo cortar
a a una cantidad finita de Vi a los que llamamos Vi1 , . . . , Vik .
P
En particular, i1 + . . . + ik = 1 en el soporte de . As, = kj=1 ij , y cada ij
est
a en las hip
otesis del caso anterior. Entonces, el Lema aplicado a ij produce una
n-forma
ej nc (M ) con soporte(e
j ) U tal que ij
ej es la diferencial de una forma
Pk
P
n1
n
j c (M ), j = 1 . . . , k. As, := j=1
ej c (M ), := kj=1 j n1
(M ),
c
soporte(e
) U y d = .
2
Demostraci
on del Teorema 4.5.1. Por la discusi
on previa al enunciado del teorema, la
aplicaci
on I : H n (M ) R est
a bien definida y es un epimosfirmo de espacios vectoriales.
129
R
Queda ver que ker(I) = {0}, es decir que si n (M ) cumple M = 0, entonces es
exacta.
Tomemos un abierto U M difeomorfo a Rn . Por el Lema 4.5.3, existe 1 nc (M ) =
n
(M ) con soporte(1) U , tal que 1 = d para cierta n1
(M ) = n1 (M ).
c
Por el Teorema de Stokes,
Z
Z
Z
Z
Z
0=
=
1 +
d =
1 =
1 .
(4.8)
M
4.6.
En esta secci
on, M n y N n denotar
an dos variedades conexas, compactas, orientadas y
de la misma dimensi
on. Toda aplicaci
on C (M, N ) induce una aplicaci
on lineal :
n
n
H (N ) H (M ), y el Teorema 4.5.1 produce un diagrama conmutativo de aplicaciones
lineales (las flechas verticales son isomorfismos)
H n (N )
- H n (M )
I (
=)
I (
=)
?
- R
130
2.
deg(1M ) = 1.
3.
4.
5.
6.
Demostraci
on. 1,2,4,5 son triviales. 3 es consecuencia de la f
ormula del cambio de variable
(Teorema 2.5.2) y 6 se deduce del Teorema 4.2.1.
2
Ejemplo 4.6.1 La aplicaci
on antpoda A : Sn Sn tiene grado deg (A) = (1)n+1 .
A continuaci
on veremos un metodo para calcular el grado de una aplicaci
on diferenciable
n
n
: M N entre variedades conexas, compactas y orientadas. Consideremos un valor
regular q N de , esto es dp es sobreyectiva p 1 (q) (como M y N tienen la misma
dimensi
on, dp es un isomorfismo para tales p). El teorema de Sard (Teorema 2.5.1) nos
asegura que los valores regulares de son densos en N . Por el teorema de la funci
on inversa,
los puntos de 1 (q) son aislados y por ser M compacta, 1 (q) es finito, pongamos
1 (q) = {p1 , . . . , pm} M . Como M, N est
an orientadas y dpi : Tpi M Tq N es un
isomorfismo, se puede definir el signo de en pi por
sig(, pi ) = 1,
seg
un que dpi conserve o invierta la orientaci
on.
Teorema 4.6.1 En las condiciones anteriores,
deg() =
m
X
sig(, pi ).
i=1
Sigue siendo v
alido si s
olo exigimos que , sean homot
opicas (continuamente).
(4.9)
131
Demostraci
on. Tenamos un valor regular q N y 1 (q) = {p1, . . . , pm}. Como dpi :
Tpi M Tq N es un isomorfismo de espacios vectoriales, el Teorema de la Funci
on inversa
nos da entornos abiertos Ui de pi y Vi de q tales que |Ui : Ui Vi es un difeomorfismo. Podemos suponer que los Ui son todos disjuntos. Cambiando Vi por V := m
i=1 Vi y
1
1
redefiniendo Ui como (|Ui ) (V ), tenemos (V ) = U1 . . . Um . Tampoco perdemos
generalidad tomando V conexo (y por tanto todos los Ui tambien lo son).
n
R Por el Lema 4.5.3, podemos tomar una n-forma (N ) con soporte() V y
,
N = 1. As
Z
Z
= deg()
= deg().
=
M
m
X
(?)
i=1
m
X
i=1
(4.10)
deg() Z.
2.
Si no es sobreyectiva deg() = 0.
132
Ejercicios.
H 1(T)
= R2 .
H n1 (Rn {p1, . . . , pm })
= Rm ,
R si k = 0
H k (Dg )
Rg si k = 1
=
{0} si k = 2.
(Indicaci
on: probarlo por inducci
on sobre g, usando la sucesi
on de Mayer-Vietoris).
133
R si k = 0
R2g si k = 1
H k (Dg )
=
R si k = 2.
(Indicaci
on: Dividir g en dos mitades cortandola por su plano de simetra horizontal, y usar la sucesi
on de Mayer-Vietoris).
c) Para el radio R del apartado anterior, construir una homotopa diferenciable entre
y , lo que implica que deg() = deg(), contradicci
on.
6. Cohomologa con soportes compactos.
Sea M n una variedad diferenciable y k = 0, . . . , n. Recordemos que kc (M ) es el subconjunto de k (M ) formado por las k-formas de soporte compacto. Probar que:
L
a) kc (M ) es un subespacio vectorial de k (M ), c (M ) := nk=0 kc (M ) es un
subalgebra de (M ) y la diferencial exterior cumple d kc (M ) k+1
(M ).
c
b)
Zck (M )
.
Bck (M )
134
N
otese que las funciones constantes no estan en kc (M ), a menos que M sea
compacta (y en tal caso, la cohomologa con soportes compactos coincide con la
cohomologa de de Rham usual). La aplicaci
on
i : Hck (M ) H k (M ),
i([]) = [],
e) Modificar la demostraci
on del Lema 4.5.1 para obtener que
{0} si 0 k < n,
k
n
Hc (R ) =
R si k = n,
y que la integraci
on I : Hcn (Rn ) R dada por I([]) =
isomorfismo de espacios vectoriales.
, proporciona un
M