Chapter 4

INTEGRACIÓN
FORMAS Y
COHOMOLOGÍ
RHAM

4.1 Derivada exterior

Sea !vI un manifold smwe. Recordemos qu
sheaf de secciones del fibrado tangente y po
fibrado !\kT;p cuyos elemelltos en eada ab
En esta sección mostraremos como COI1!:itruir
bre k-formas d : A~I --+ A~tl, llamada la d
las condiciones 1-4 del Teorcma 4.1.2. Com
d para O~formas, es decir para funcioncs su
fijemos A ={ (U"" (:1:;, ... , ) }"'EA, un atlas
d", : O Al IUn --+ Aif IUn como

para cada fE Orlr(U), con U Ue" E!:i fácil ve

entonces do! def ya que

~
L..t -8f 1 j ~- 1 t·
- j (X i1 - e /3, .
'_1
J--
8x u,,,

1Gl
162CHAPTER 4. INTEGRACIÓ

Ahora, si f OA[(V), V tUl ab

coleeción d n ( f ) determina
stricciones a cada Uo n V coincid
el conmuta con la restricción de f
en cada V COlllO

d v ; OA

es un morfislllo de sheaves, que

mediatamente ck la definición qu

d u U(

para todo par de funciones f, 9 E

El Ejercicio 3.5.3 permite ide
cual permite dar una definición i
que envía a cada X T.~'I (V), (V
es un morfismo IR-lineal de sheav

Ejercicio 4.1.1 Demuestre la a

así definido coincide con d.

Ahora extendamos el a un op
rior, construirellJos primero oper
mostraremos que e~tos pegan ade

Teorema 4.1. 2 Sea M un n~ ma

,{ismo de sheaves d ; A~1 -> A~t 1

1. La rest7'ícezón de d a A~4 c

2. Pam todo abierto U, d u (w

S. Para todo abierto U, d u (w

A~f (U) 1/'1 E A~I (U)

4. Para todo abierto U, duduw

Demostración. Dividirelllos la
existencia local y la cxistencia gl
Unicidad. Supongalllos que d
probar la unicidad de d' es suficie
todo JI M (dw)(1!) = (d'w) (p),
una carta arbitraria tp : U -> U
k-forma en U, s(~ sigue que w se p

w
4.1. DERIVADA EXTERIOR

Por inc!uc;ción sobre k se deduce fácilmente e

y en cOllsecuencia

clw

De (1) se sigue que d'Wi,.í, dWi, ...i, y por

Existencia local. Consideremos una carta
en IvI. Vamos a definir una aplicación el"
abierto V e Un, como Sabemos que cu
en particular en A~f(V), puede ser escrito CO

. dx
W ~ ¡ '" ~¡,..

con Wi,«.i, E OA{ (V). Definimos (W) como

donde el es el operador clefilliclo en 4.1. Po

O-formas. Ahora vea11lOS quc d(~ así definid
ciadas en el teorema.. Las c:oudiciones 1 y
definición. Considercmos la condición 3. Por
dad del producto exterior, podemos suponer

W= , 1\ ... 1\ d:¡;;:, 17 =

con f, g E 0.'-.[ (V). Ahora.

W 1\1/ . 1\ (h ~ /\

y por definición de el"

el (.fg) 1\ d;¡;~: 1\
(gelf f dg) 1\ (l:r:~ 1\ ...

(df 1\
1\ ... 1\

1\ '1/ + (-1)' W 1\ cl

y por lo tanto se satisface 3.

164CHAPTEH 4. TNTEGRACI(

Para verificar 4, nntelllos prill

ya que simótrico ell i

dx~ /1. / l . . En co
mente como en 4.2, "é,
tiene que d
establece 4, Fiuallllente, se sigu
muta con la restl'Íceión de forma
Al --'> Ak+ll
d ",: A k I Al .
Existencia global. Fijemos un
cualquiera en U11 abierto V. Denot
gar, si 'Po, 'Po SOl! coordenadas en
las condiciones 1-4 del teorema,
uruco, se sigue que (é<JIv"nvJ
conmutan con las restricciones "e

y por tallto

Como A~:l es Ulla sheaf, existe u

por dw, cuya" restricciones a cad
Finalmente, es féicíl ver de l
restricciones de formas y por tan
Llanmremos a clw la derivada
n
(:1;1, . . . ,:r: )), é"ta puede ser COll

I::
1Si l <, .. <íÁ

Ejernplo 4.1.3 Sean '11 (u 1 ,'Il2

3
1R . Entonces la deTiuada exterior

Si 1) es la 1-forma
4.1. DERIVADA EXTERJOH

entonces
dr¡

(}F'2
( (}u 1

Por ejemplo, en coordenadas espl'icas (T, O,

si
W := Pdr QclO Rcl.jJ
es una 1-forma escr'ita en estas coordenadas,
dada por
dw dP 1\ dT + dQ 1\ dO . :. clR 1\

~~)
8R 8Q) ,ap
( U::le dO 1\ (Üp ;)
01)

Si w es una 2-forma
w F¡(u)du 2 1\ + (u) d1.1''¡ ,\
entonces

La siguiente proposicióllllUS nmest.ra que el

exterior.
Proposición 4.1.4 Sean 1\1 y N manifolds
función suave. Entonce8 l)(íTU cada abierto U
f*clw d (1*w
Demostración. Demostrar IR igualdad de
local. Por tanto, sin pérdida de generalidad
nadas locales , ... ,:1;") en U y coordenada
En primer lugar, si h E OM(U),

dh f*(dh)
166CHAPTER ,1. INTEGRACIÓ

Por otro lado

d(rh)=d(h f)

Luego la ftfirmacióu es cierta para O

en U. Como (J*dyJ) = d (J*yJ) se

d(rw) d (J*
J, < ··<

rl eL<i' j

d (. L .J
J' "'<H

L
j,<"-<j,
L r clw
j'<···<.ih

f* ( "\:"'.
L-,¡
JI <.1>
J*dw,

como queríamos dmuostrar. ­

4.2 Integración en m
El soporte de una r-fonna W : 1\1
se define como la clausura en lvI d
w(p) f O. Si Soporte(w) es un conj
con soporte compacto.
Sea w una n-fonna con soport
es una carta, con <p(U) IR" y bt
w = f(

con f E OA1 (U), es la escritura de

clefinimos su integral como
f
1M
donde la integral del lado nerecho
caso existe por sor f una función
4.2. INTEGRACIÓN EN lvIANIFOLDS

que esta integral está bicll definida y no dep

coordenadas escogidas. Recordemos el~prime
función suave con soporte ell U y :.p : U - 4 U
de cambio de variable nos dice que

donde Jep denota la matriz J acobiFtnFt de :.p.

Supongamos que~) (y 1, ... ) yn) es otro
estas coordenadas w se escrilw como

w= o

Por tanto,

jAl ,'/i>
w o

± r
JM.ep
w,

donde el signo corresponde al signo del deterl

cambio de coordenadas.
Sea ahora w una n-~forIl1a con soporte com
orientado. Fijemos un atlas A = {(Un)
de I\I!, es decir) tal que

{ dal
~~

I)'
'CYq
... ,
~

es una base positiva cm T;¡ (IvI)) para todo q

dad supongamos adermls qne :.pa(Uu ) = ]R".
cualquiera de la unidad, subordinada al cubr
mos por W a a cada una de las formas w(> XaW
yes un conjunto compacto. AclellláH, para ca
torno Vp donde sólo un ll1ílllero fillito de Xü
podemos cubrir a Soport.e( écl ) con fillitos entorn
W u tiene finitos términos 110 11ulos. Como
Q

integral de w como

Obviamente, la integral así definida es lineal,

en algún Uex esta definición coincide con la an
168CHAPTER 4. INTEGRACIÓ

Veamos que ósta es una lmena

no depende de la elección del atl
Sea e = {(V¡:J,,\J;/3)}/3EH otro atla
orientación de /'vI, y sea I: fi )../1 =
cubrillliento /'vI =, U/3 Vd. Entonc

donde W/3o. = )../3Xn, tiene soporte

lado derecho involucra finitos t{,r
las escogencias

jAl.A
w = I:
(Y

Con respecto a la segunda,

r
J AlC
w = I:
0:,

Pero como 'P" y¡jJ(J inducen la

det(['P" 04)~ll"lj) > O y por tant

f
. 'Pn

ele donde se sigue la validez ele la

De ahora en adelante denotar

Veamos ahora la forma gener

integr ales en manifolcls.

Proposición 4,2.1 Sean M y N

d-zleo'mOT:fisnw que pTeSfTua la oT
integrable si 11 sólo si f*w es inte

J
r
Demostración. Escojamos car
duzcan en cada Ua y 10, la mi
'l/Ja(Ve,) = lR n y tales que 1(\1;,)
con Soporte(Xa) e Ua. Como w =

j*w = I: j*(

y en consecuencia
4.3. TEOREMA DE STOKES

Cada una de las formas o f).f*w tielW

demostrar la proposicióll, para Hila forma w
(x~, ... , y¡jJa = (y~, ... , Si w se escr

w=

entonces, por definicióll,

Si 1 denota la función ue cambio de coordena

= (hol)(det

y por tanto
r (hol
'/IR1¡
Por hipótesis, f preserva la orientación, lo cu
jacobiano de cambio de coordenadas es positiv
que la fórmula de cambio de variable en lR".

4.3 Teorema de Stokes

El Teorema fundamental del Cálculo afirma q

¡b df = f (b)

donde f : [a, b] --+ lR es ulla hl!lción suave y e

manifolds de esta fórmula se conoce como el

Teorema 4.3.1 (Teorema de Stokes) Sea

tado y con frontera y sea w A:~11 (IvI) 'una
Entonces

,lr clw = lM
donde i: oM M denota la inclusión de oA

Demostración. Denotemos por JI.' al soporte

mos elegir un cubrimiento fillito J( e
que induzcan la misma orient.ación de Af, y
¿a X 1 una partic:ióll de la unidad subor
Q

si w = ¿aw"" con Wo: = X"W, por definición

r dw
I\J
170CHAPTER 4. INTEGRACIÓ

Por otro lado,

1iJ ¡\{
.*
~

Vemos ('¡!tOllC8S que es SUficú'llt(;

l·
. Al

para una (n -- 1)-forma w con so

simplificar la notación, en lo que s
dos casos.
Caso I. Supongamos que U'1ü
En este caso

Sea n
W L JO'd:c 1 /\ ..

0'=1

la escritura local de w en la;; coor

la derivada ('xterna se obtiene
11

dw ""'
L-- d! /\ L.t
l' ,1
O' fA\ ' "

L·~ ( 1),,-·1 aje> c1,.

,,=1
- -r-
éJ:¡;n
t

Si hacemo;; lo o ¡ vemos

r
11

dw l,)n-¡a
-1 -aJ
JM ;¡

o.
donde la última igualdad se da, y
4.3. TEORElvIA DE STOKES

Caso JI. Supongamos ahora que U ri 8A1

corno en el caso 1 y obtenemos la igualdad 4.4.
suma ocurre cuando n n,
ya que los otros t
que de nuevo SOI1 cero si n < n. Por tanto

r
.1M
dw 1)"-1 r
jIf{YI ~ (l o
ce
8]
'" n
u:¡;1!
dx

1
l)fI
'l1" ( _¡;1
~ ,"') ..¡.n
-'

(:¡;1, ... 1
JTJP,.n -!

(donde r se escoge lo suficicmelllcllte grande com

O).
Por otro lado, ya que i*d:¡;H = 0, tenemos q

Ahora, al restringir ~Q al abierto relativo V =

ip: V -> lR"-l para 8A1. Puesto que , ...
vernos que a~' , ... 1 tiene orientación (--1
base VI, •.. , V n -) pa.ra ü;\1 es positiva si
Por consiguiente

!
• f)AI
.*
'l úJ Un

f'
~n

lo cual completa la prueba del caso n. •

Algunos de los teoremas clásicos del análisi
Teorema de la divergencia son casos particulare
éste al caso de un submnnifold con frontera de
cero.
En la última sección del Capítulo II int.rodu
como un subconjunto cerrado 111 lR" tal que
frontera. Vimos que esto es equivalente a que p
Up abierto en lR n y un (lifeomorfislllo entre ab
cual envía a Up n Al en iJ<p(p) n lfU") donde
Vimos además que el interior topológico de Iv
coincide con sus puntos interiores (como mani
lR n con uNI. Por otro lado, recordemos que l
denota la función inclusión, i* : T rJAl) Tp(
de la misma dimensióu y por tanto Ull isomo
identificar a T¡, (lvE) con lR" y en consecucncia
para cada Tp(Nf): mm ¡¡¡,se {Vj, ... ,v n } es
172CHAPTER 4. INTEGRACI

la misma clase de equivalencia

coordenas estándar (Xl, ... ,
Por otro lado, recordemos qu
con JRn vía la función

f: 1 1\ ... 1\ é

(el acento significa que omitilllo

'P (u 1, . . . ,un) 1111 difeomorfisI

n Pv
Denotemos por n(¡J) al vector d

(bajo la Identificación 4.5) y por

fácil ver que este vector está bie
las coorclenadas escogidas. Su in
la hipenmperficic üAl en el plin

Nor
En lo que siguc, por abuso de
abierto W que coutenga a j\1, su
w.

Teorema 4.3.2 (Teorema de

fronter'a y compacto. Sean P, q

r
.10M
Pd:c + qd
4.3. TEOREMA DE STOKES

Demostración. Como notamos en el párrafo

orientación canónica quc hereda ele ;R2. La d
mente del Teorema ck Stokcs si tomamos w

d (Pcl:1; + Qel!!) =
BQ
(~
B
~
uol: u

• En la terminología clásica. a Ulla función su

b:U

se le denomina un campo vectorial suave en U

las coordenadas est1Íudar de , su divergencia

Sea 1\1 e lR?3 un ;3~sllhlllrulÍfokl compacto co

BAf. Para cada p E S escojamos coordenadas
estas coordenadas, !lS denota la 2-fofma en S
donde

, ( B) ,
n z* a 1t
1\ 1*

(1
Sea
w &1 ely /\ dz lJ2d:::: ;\ d,?

y denotemos por i : ()NI-> a la inclusió

frontera. Un cómputo muestra que en estas co

üy
,*
( lJl I ~!
2 W

(lJ(p) , n (p)) ,

y por tanto i*w (!J, n) dS, donde & (lJ 1, ¡P

Teorema 4.3.3 (Teorema de la divergenc

compacto con frontera y n el norrrwl exterior
campo vectorial suave en Af. Entonces

j'
. Al
div b = r
loA!
(b
174CHAPTER. 4. JNTEGRACr(

DeIllostración. Sea 0.1 como en

dw

Por el TEorema de Stokes

j'
,Al
dw =

• Veamos por último la versió

j : S IR 3 , Ull embebimiento d
compacto y, sea 0.1 = A dx B dy+
coordenadas locales (u, v) en S.

j(u, v) (:

Denotemos por 0.11 = j*(w), Su d

Ahora.

8A 8A
dw =- -D' eh!\ cly -,-- el::. !\ el:r
az
Y
8B DA DC
( Dx , ) eh !\ dy + (-,-
Dy ay
= P d:.c !\ dy q dy !\ el;; + R

Donde P = aD~1 ,q a
denomina el 1'Otacional de 0.1 y se

(dw) P(u, v) du!\

(P('1L, v) n·1 + Q(u., v) 17,

(rot(w), n) d1L!\ dv = (r

donde 11 es el vector defil!ido

Del Tcorcmn. de Stokes se sig

l (rot(w), n) dS

que es la formulación de la ve
4.4. COHO.MDLOGÍA DE DE RBAM

4.4 Cohomología de De Rh
En esta sección haremos una introducción a l
manifold suave NI.

Definici6n 4.4.1 Sf:1l Al un rrwlt~fold SllIlVf

llama cerrada sí dw O,'Y se dice que es exac
que d1J = w.

Las k- formas cerradas (respectivamente ex

real, que denotaremos por Zk (U) y nA: (U) ,
Es claro que

Zk (U) ker (d :A~l (U)

n k
(J\tT) 1m (<1 :A~ll (U

Puesto que d 2 0, se sigue que n k (U) es un

la secuencia

.. ~

es un complejo de espacicls vectoriales, es dec

consecutivas es cero. En genoral, un complej
como nna familia <!: ( <!:A:, é/') donde
k
ó : <!:k <!:k+ 1 son aplicaciones lineales, ta
k E Z definimos
Zk(<!:) = kcró k , nk(<!
y decimos que n
(<!:), k (<!:) son respectiv
cocidos y el espacio vectorial de k-coborde8.
por lo tanto podemos definir para cada k E Z

decimos que HA: (<!:) es el k-ésimo g1"Upo de c

Si e E Zk (<!:) e::l un k-cocido denotaremos
en Hk (!!). Decimos qnee J es la clase de co
Cl, c2 E Zk (<!:) determinan la Illisma clase de
B k (<!:)) diremos que CI Y C'2 son cocicios coho
Al complejo A~.¡ = (A~f (Al), el) le
del manifold 1vI. Escribiremos

H (A~f (IVI))
k
=
k
y llamamos a H (lvI) el Á:-Í'simo yT'UpO de c
mente HA: (1\!l) O para k > n, si n dimlvI
Note que la definición depende a priori d
luego veremos que sólo depeIHh: de la estruct
176CHAPTER 4. INTEGRACIÓ

Ejemplo 4.4.2 S·¡ Al es COnel;r)

ZO (M
no (N
{J E

Luego H O (lvI) consiste de todas

stantes sobre NI . Identificando lR
stantes en A~1 (Al) = OM (M) se

Ejemplo 4.4.3 Sz Ah, ... ,Mn s

es identificable con A1f (NIi

En particular, se sigue del ejemplo

Hk (

Ejemplo 4.4.4 Si 1\1 lR se

tuna coonlenada en lR; ya que
cerrada, dw ~. a. Sea w ,"" gdt, d
por
f (t) = t
./0
g (8

Puesto que df (t) / dt = g (t), se s

w g

De este modo, (!UUfI!I,"'! l-fonna

Ejemplo 4.4.5 Sea SI {e iO : O

que HO (SI) R. Ahora comput
veamos si e8 posible escribir w =
análisis del ejemplo anterior. Si
por

f ((J)
Pam que f esté definida unívocam
de periodicidad f (21f) f (O) O
4.4. COHOAIOLOGÍA DE DE RHAAI

Si definimos:

entonces B 1 (SI) es con km A. P

Este Tes'ttltado también puede obtenerse de la

formas cel'T'adas que no 80n exactas. A7mque
puede pmbarse qw: e:¡;'Í8te '/in númem a E IR:.
efecto, si tomamos
f27r , ,
Jo W2
(l - ---­
,­ f27r )
Jo Wl
resulta que

Esto muestro que, dada una f01'1II.a cerrada W¡

W2 es cohomóloga a aWl, para alg1¿n a E IR:..
mología está espec~ficada 1)(iT un número real

Ejemplo 4.4.6 Sea M { (O, O)}. C

Calculemos H 1 (A1). Denotemos P01' (x, y) a
Test1'íngidas a 1'.1. Sea

Wo

Un cálc7tlo sencillo m1testra quc d Wo = O Y po

Wo no es e:racta. Si lo e:nstiría TI tal que
de r¡ a ,el Teorema de Stoke8 nos dice que

r
Is"
dr)
JOSI
r Tl=l
lo cual implíca que

r "o -
o JSI W - ./"':
(

De este abs1tr1io se concluye q/¿e (A1) # {O

esto es, si W es una 1 - forma, en 1\1,
n E IR:. , o en forma equivalente W - nwo E l
fE C=(A1) tal que W - nwo df
178CHAPTER 4. INTEGRACT

En sea [w] E H 1 (lvJ) c

í*(w) donde i d
dado por'

i : Si --->

f------>

Esto es,
1 j.27T
(e( e08 t,
o27T

Es claro entonces que si n se esc

j.
S'
i'(w nwo) =

Sea ahora 1] fUi;¡; bdy 'una 1-

[1¡1 O E Hl (¡\f) , es decir, que
completa la demostmción de (*).
Definamos

f(:¡;, y) = 1
;
11 = j'lla(
.0

donde; es suave en M con;(O)

de topología se demuestm que es
camino; escogido por ej
lugar,
(Jf
= lim --'---
h .....O

donde 1 es el segmento que cone

th,y), t [0,1]. Luego

-,1 /'.w= 1 a j']

~ •1 h o
Al tomar el Hmitc obtenemos que
%t = b(:r, y) y pOi' tanto df 1].>
Ejercicio 4.4.7 Demuestre que
entonces

donde
-
wp

WQ
4.4. COH01Vl0LOciA DE DE RHAM

El Teorema de Stokes nos perrnit.e ver qu

compactos la n-cohomología es no trivial.

Proposición 4.4.8 Si 1\1 es un n-manifold

tem, entonces Hn Uv1) O.

Demostración. Elijamos w A~I (11,1) co

escogerse, por ejelllplo, como w pdx 1 1\ ' .. 1
Corolario 1.3.12, es decir con Soporte(p) incl
y p 1 en un abierto 110 vacío íl e U.
Ya que A~+l (A1) 0, cualquier n-forma
Pero w no es un coborde (1'17. En efecto, la hi

j.
Al
W
r dr¡ ./8r
./M
por el Teorema ?? Por lo tanto b] O es un

Definición 4.4.9 Sean í!: ( ([k, ll), ([' (

de complejos, (también llamado aplicación d
secuencia de tmnsfo1'TrI.acioues lineales,pk : ([k
los diagramas
([A: ([
(pA: 1 1,p
([Ik E/k
----> ([I

Es fácil ve1' q'ue si 1)

es un de comple
Y ,p (E k ([)) e Ek
([1) de nwdo ([tU' ,p indu
p01' ab1tSO de notación, denotan'71W8 TI."uevam

H"

Diremos que es la aplicación ind1¿óda en l

cocadena ,p.

Es elaro que si q) : ([ ~} ([1 y?j; : ([1 -+ ([" so

(~, o ,pk o·l/l. y si Id es la identidad en <
([k, para cada k) entollces la aplicación induci
para cada k. Se sigue que si <t> es un isoIllorfis
es un isomorfismo de espacios vectoriales, en
los grupos de cohomología y 1) k = (,pk)
Si lv!, N son 11Ianifolds SlUtWS y f : ."A.,f
back
f* : A~Zc (N) A~
es una transformación lilll:al que satisface la
toda w E A\, (N) , y por tanto clefine un mo
180CHA.PTER 4. INTEGRA.CIÓ

f : A1 N, g : N --+ P S011 suav

de A1, 1d* es la identidad de A ~t
f* es un isomorfismo de comple
1l10rfiSlllO f* induce una transforl
por r)

entre los grupos ele COhoIllología

siguiente Lema.

Lema 4.4.10 La k-ésíma cohorn

tmvm'iante de la categoría de man
de espacios vectoriales Teales y tn

El producto exterior y las prop

nos permiten definir UII functor c
de manifolds suaves a la cat,egoría
hOIllomorfislllos.

Lema 4.4.11 H- define un funct

ciones 8uaves a la categoTía de á
momorfismos.

Demostración. Sólo resta pro

graduaua allticolllnutativa, donde

1\ : H' VvI)

:vlostremos q ne este producto está

ya que dw O y dl¡ O implica q

el (w 1\ 7)) d

Por otro lado hay que demostrar

equivalencia de + dO) 1\ 7) es l
dO 1\ 1/ es un cohorclo. Pero esto s

ti (e 1\ 17) dO 1\

ya que d1) = O. En forma similar s

a r¡ por '1/ ele.
Es claro que este' producto e
graduada.. _
4.5. INVARlANZA HOMOTÓPICA DE LA

4.5 Invarianza homotópica

Definición 4.5.1 Sea Al 11 N manifold.~ sua
.!v! .} N se dicen homotópicas si e:1:Íste una a
tal que

h (p, t) f (p), s
h (p, t) 9 s

En este caso escribin;nws f g. La aplicac

entre f y g. Una función suave f . 1'vl --> N se
si existe una función suave 9 : N Iv! tal qw"o

Nuestro propósito en esta sección es demos

la cohomología de De Rham. En forma explíc
funciones suaves f, 9 : Iv! --> LV son bOlllot6pica
homomorfismo en los grupos de COholllología,

fr = : FfT (LV) ---4 Ff' (}\1),

Sea 1'vl un manifold suave, 110 necesariamente

11,1 X IR-t Iv! y Tr)R : Iv! x R --> R a las proyeccion
a la sección cero ele tibrado trivial, s(p)
coordenada en R y por dt al pull-baek Tr R(dt)
Tr M o S = 1 d M y por tallto la compuesta

es la identidad en Ffk(l'yI). Por otro lado, 110 es

formas, se de la igualdad Tr~l (w))"~ w, si W
sí es cierto al nivel de la cohomología. La dem
de la existencia de un de homotopía.

Definición 4.5.2 Sean (en ,6 11 ) y (el",

y sean '-P. : e' e, 'IjJ : el e rn01:f¡:.wn
homotopía o sánplernente 'ltTW homoto]Jía entre
de funciones lineales h rl : e" --> en - 1 , tales q

Proposición 4.5.3 Sean Y. e' e, '1/' :

jos. Supongamos que eÚ5fe una homotol'ía en
inducidas en la cohomología

son las mismas.

182CHAPIER 4. INTEGRACIÓ

Demostración. Sea {h n }nEZ. u

Er(c'), COIl Z ke1'(8'n). De 4.7

Por tanto (::)1= [·I¡'!"(.z)] en

una cofrontera. _
Para demostrar que 1T11 o sk
complejos 1TM s es homotópico
construir una función IR. -lineal

que llamaremos integración a lo

iente lema.

Lema 4.5.4 Cada fonna w E

única como 8urrw de k-fo1'lna8 de

1. f (:1:, t) dt 1\ (77), '] E A~!

2. f (:¡;, t) 1T N1 (1)), r¡ E AtI (lvI)

Demostración. En cada punto (

es canónicamente identificable co
existe un isomorfislllo natural ??

/\k~

y en consecuencia

de donde se el lema. Ve
cales. Supongamos que (U, , ...
AtIXlRluxlR tiene como base al c
dos tipos. Aquellas que llO involu

y aquellas que involucran a dt

(Lr i : /\ ... 1\ I

Por tanto, Si tOlllamos Ulla form

de manera única como
4.5. INVA.RIANZA HOMOTÓPICA DE LA

donde
Wl= W 't1···1¡"o
.

y
W2 ==

• Con lo anterior definalllos f{ como el! elle

Lema 4.5.5 Pam cada enteTO T ? O e:áste m

la cual satisface

t)dt 1\ 'irA! ('/))) = (.r~ f

2. KT (J (:¡;, t) 'irA! (7))) = O.

Dernostración. Cada W se descompone en

en 4.9 Para cada lIllO de estos sumandos defi
respectivamente. Esto nos da UIla un elemen
De la definición se sigue inmediatamente que
verificar que !{ con esta propiedad es único.

Proposición 4.5.6 El operador' K .satisface

ldr~'lrr08r=±(f{r+l

y es por tanto ulla hOIllotopía entre 'Ir' 8

Demostración. Tomcmo!:i coordenadas loca
y coordenadas locales '(j; == (:¡;I, ... , t) e x'"
anterior que cada w E A:~['d,:(lvl x R.) se escr
donde
WI = L al. (x, t) (iJ;il 1
Ir

y
W2 =--= ). al, t) rb)' 1\ .
1,

Veamm; que
r ,.
(Mxll{) ~ 'Ir o"

Para la<; W de tipo 4.10 tenemos

sr(W) = L (lI r (:¡;, O)

I.
I84CHliPTER 4. INTEGRACIÓ

y por tallto

(fdr.' s')(w)
I:al, (:r, t)
1,

Por otra parte,

dw '\'(;:-, o.°.
L., L.,
1..,....
d:r J. .
I\dx"
1,. j= 1 ox]

J(r+l(dw) I:(
I,.
_In}"
-I)'(a

= (-Ir a
I:al, (x,O
1,

Finalmente, corno dJ(r(w) d(O)

1 d - r. ,. sr

Ahora, para formas de tipo 4.11 s

1fT' 8")W w. Ademá..'i,
n
dw = I:( I: (:r
1,. j=1

y por t.ant.o

K'+l(dw) .::-:: I:(

1,
n
( 1 D
o u
1
~

implica

n /.
K r + 1 (c\w) I:( (
l, . o
+ I: al..
1,.
4.5. INVARIANZA HO;víOTÓPICA DE LA

y en consecuencia

(K r o d d fe)w =ce L: ~a.r,

I,

r L: aI.(:r, t)
1
1, .

•
Teorema 4.5.7 Sean 1\1 11 N rnamfolds 11 s
suaves homotó]Jicas. Entonces r
= r/" ' HT (N

DenlOstración. Supongamos que F : Al x IR

con
f(X) ,
F(;¡;,t) =
{ g(:¡;) .
Sean 80, 81 : M - 4 1vl x IR las secciones cero
(p, O) y SI (1)) (p, 1). ClmallleJlte F o 80 f

8~ o F* • s~ oF

Por otro lado sabemos que

donde r; M denota la proyección en Al. Por cons

Como íT* es invertible, COIl (íT*) -1 (So t, se s

f* = g* . •
El teorema anterior implica que manifold
tienen la misma cohomología de De R.harn.

Corolario 4.5.8 Si Al 11 N tienen el mismo

existe una equivalencia hO'lnotópica entre Al y
para todo r ?: O.

Definición 4.5.9 Una fml,ción suave f : Al

es homotópica a 1l7W aplicación contante. Dec
tractible si la identidad en 111 es cero-homotóv

Corolario 4.5.10 Si Al es contm.ct'ible enton

Demostración. La aplicacÍl'lll constante e :

Al es homotópica a IdA[. Por lo tanto, si i
i e IdM,dedolldesesiguequec"o'¡' = fd
para todo 1> > O, se signe quei/' O y por tant
JI" (lv1) O para todo r O,.
186CHAPTER 4. INTEGRACI(

Corolario 4.5.11 (Lema de Po

toda forma cerrada es localmente
entorno nbieT'to U tal que para t
n: E A~.fl (U) con ch:1é ,'" wl u .

Demostración. Basta tomar cu

el corolario anterior. •
El Lelllit de Poillcaré en el cál
de la siguiente manera.

Corolario 4.5.12 Si U e R 3 es

1. PaTa todo campo vectorial a

X con grad f = a

2. Pam todo campo vectorial b

a en X con rot a = b

3, Pam toda función f en U e

4.6 Secuencia de M
Sean U y V dos conjuntos abiert
ahora es construir una secuencia e
de H k (U), H k (V) y los grupos de
secuencia es una herramienta fun
coholllología.

Definición 4.6.1 Dados comple

es una s(:~cuencia exacta corta de

sec'ueucia di: espacios vectoriales

es exacta.

El siguiente resultado es una p

lca.

Lema 4.6.2 (lema del Zig-Zag

complejos eJ:iste nna secuencia e:
lineales

donde 11 8OTI. 't'!l.¡{ucúias por

Sk es llam,ada el homomorfisuw c
4.6. SECUENCIA DE AL4 YER- VIETORIS

Demostración. El problellla central consis

Consideremos el siguif:lltC' diagrama cOllllluta

o ~ .........-+ Q.:k 'DI.:

ti I
,¡. Ó1

O 'Dk+l
O1 ()J
(b
O -> 'D1.:-"-2 -

y tomemos e E <E k representado por e+Bk (<E

que '1/1 es sobreyectivo, podemos elegir e' E
'1/' (5 (e')) = O(1jJ (e')) r5 O Y la exac
implica que existe un único e ~k+ I tal que
6 (0 (e)) r5 (6 (e')) O. Ya que 0 es inyectiv
modo definimos:
6*( = [e] E HI.:
Un análisis similar muestra que [el es indepen
y del e' E 'DI.: tal qlle¡f, c.
La exactitud de la secuencia se deja como
La tlecuencia exacta (4.13) es conocida c
cohomología cOTrespmuhente a la secuencia e
cocadena.
Sean U y V dos conjuntos abiertos de un
mos las inclusiones

Ju UnV
UnV

U ----> U
V -) U

Lema 4.6.3 Lasinclus'iones anteriores dan

de complejos, donde o (w) = (i[rw, 'q>w) , ¡Jam

ju w¡ - R"W2 paTa todo W¡ E A'A1 (U), w2 E A

Demostración. Debemos mostrar que (t c¡)

{J es sobreyect.ivo. La primera afirmación es o
es claro que 1m a e ker {J. Para la otra illclus
w¡lunv = y por lo tallto estas forma
,W2) = a . Finalmente veamos que {J
en U n v, Sea Xu+ Xv = 1 una partición de
188CHAPTER 4. INTEGRACI(}

{U, V}. Definamos W] Xvw, W2

V, XVW extiende suavemente a O
en V). Ent.oncm;, es claro que {3 (w
Se sigue directamente del Len

Teorema 4.6.4 (Secuencia de

y V en un man~lold suave, existe

8'-"
H k (U U V) (U)CI

La secueneÍa exacta (4.14) es c

del par U, V.
Como una aplicación del teor
COholllología de esferas.

Ejemplo 4.6.5 Para n 2:: 1 se t'i

HA; (S") = {

. L.r" (.5'°)
. L Opm
Demostración. La afirmación p
Ejemplo 4.4.5, así que tomemos n
a la esfera embebida en

En primer lugar, HO (Sil) IR

k > O. Ahora, dcnotemos por a E
Definamos

u {.
V {:

Vemos que U y V son abiertos que

mente. Estos son difeoll1orfos a un
Luego su COholllología es trivial,
Claramentt' S" = U V y U n V
camente ("quivalenle a S,,-I. Por
la secuencia de :vlayer-Vietoris es

HA; (U) ID H k (V) --+ H k (U n

Por lo Umto HA; 1) '::' H k +1 (
4.6. SECUENCIA DE MAYER-VIETORlS

Ahora, consideremos el segmento inicial d

o ---) HO (U)

Por la exactitud t.ene'lllOS que' Ct es inyectiva.

sobreyectiva lo cual implica que 6 O. Por
Comenzando ahora con H k (SI) , para k > 0,
sobre n. _
Como Ulla muestra de la potencia de la ma
los siguientes teorelllas clásicos de la topología
Teorema de la curva de Jorclan. Para ello nece

Lema 4.6.6 Sea vV un abierto contenido en

l-forma en W

Wp

Entonces
.l Wp = 2¡;N(P

dende N (P ,~f) es un ente'l'O, llmnndo el núme

cual es constante en cruja corn])()nente cone:¡;a

Fi[}1LTa 2 : nlÍrne1'O de d

Demostración. Sin perdida de generalidad

tanto que
W P = _.-=--::;--::

Pammetrizando a ~f como ./1tnción compleja

¡(t) :::(t) :¡;(t) iy(

190CHAPTER ,1. INTEGRA

vernos I{IU'

2rriN(P ,,)
¡ dz = j'l
. '1 Z (1

Pero la integral e8 cer

es exacta. (la f¡¿nción 9

2"N(P, . Como IV(P, es
P, se sigue !Jite N(P, es co

s,
L ema 4.6. 7 eo. O . ...--; 11
~1
de espacios vecf.oTiales fi:n'Íto d
dimensiones, ¿:~1 1)i+ 1dim

Demostración. Ln secuencia
cort.ns

o
En para i == 2, 3, ... , n

es exacta.
Ahora, si

es una secuellcia exacta corta,

por Ull teorema elemental del á
cual implica que dim V dim V
cuencia exacta corta. Aplicand

¡
clim V I - dilll V2
-dilll Im (Y2)
se obtiene

(-1 )n~ ldim Im (

estas ecuaciones, y teniendo en
se obtiene la conclusión. •

Teorema 4.6.8 (Teorema de

curva de .Jonlan, es deciT, nna
esto es y(O) = y(I). Entonce
4.6. SECUENCIA DE lvlAYER- VIETORJS

componentes conexas, una no acotada llamada

el úderior'.
Demost1'ación. Denotemos por P ¡p(0),
abiertos
U = { (LT(;oP(J} =ce JI{2

Es elaro qw:
- {P,e)} !J
Veamos qlle HO (U n V) y pOr' tanto X

Figure 4.1' Abiertos

Por !vfayer- VietU1'is, eriste "Una sec7¿enC'ia e:ra

Afirmación. Supongamos qlle U y V son CO

próximo lem.a) !J po]' consig~liente HO (U) R.
JI{2: por la exadít'ud de lu secuencia se tiene
ker1f 1 es ~m espacio de dmU'.ns¡ón uno. POT e

donde P = (a, b), Q (e ti) y w. = -(y-/J) dx+

,. . P (x-a)"+
Veamos ]wimero que ker íT 1 está propiamen
192CHAPTER 4, INTEGRACI

es sl~fiC'iente ver que Ue

en U. Ahom si C n denota
pam que el aTCO PC} esté conte
que C n e U y

l'
ell
W}J

(aquí hemos usado el Teorema

donde
G¡(P)
denota el drcu.lo de radío 1 y ('e
Probemo8 ahora que ker íT 1
wQ] E keríT 1 . Claramente Wp
Definamos f(x, y) J~(wp
con í(O);;o y í(l) = y). C
f está bien defi'rt'ida y df wlu
pam lo cual es necesario y
suave, con ")'(0) = í(1)
PeTO, corno se demm,dró en e

Pero ]'V'(P , í) = N( Q , í) ya que

están en la misma componente c
kel' íT 1 es de dimensión uno y en
Puesto que ker Im6 S:'
que
o ----> IR ----> IR (1
Y por' el Lema?? 1 2 dimIIO
V) = 2.
Finalmente, corno exi,9te un
cuyo interior' está contenidn tod
disco es r:one:ro, entonce8 e8te e
cone::ra de X y por tanto esta
derno8lmóón del teorema, •

Lema 4.6.9 L().~ abiertos U !I V

conexos,

Demostración. el p
PA Y U]
{A}. La secuenc
dice que

O
4.6. SECUENCIA DE MAYER- VIETORIS

es exacta.
Veamos qlle ker 7r 1 {O}. Sabemos que }J

W,4

. Si WA y wAlu¡ fueran exactas, entonces

eR de radio R suficientemente; grande que con
Pero fe" WA 27r y por tanto WAluo Y Wil
demostrado que ker 7r 1 {O}.
Por otro lado, ker 7r I 1m tÍ = {O} implic
que esto implica que U es conexo. Si no fue
puntos Po Y PI en componentes conexas distin
"4firrnación: Po Y p¡ deben estar en cOlll
o en compollclltes conexas distintas de U I • En
por glw, i. Entonces [g] E }JO(Uo U1 ).Y U(P
el mapeo p está uado por

(J¡ h)

para todo par de fUllciones .fl y 12 localmcu

breyectividad de p implica la existencia de f¡
Uo y U I , tales que 9 = h f2. Si Po Y PI est
conexa de Uo y la misma de U¡, se tendría que
Esto implicaría que g(po) = g(pd, lo cual es a
Denotemos por Zl a aquella mitad de P
distintas componentes de JR2 Z1' Repitieudo
subdividir a Zl ell dos arcos de t.RI fornm qu
distintas componentes de una de sus mitadm;,
de esta manera se ohtiene \lila secuencia df' ar

Figure 4.2: Delllostració

194CHAPTER él. INTEGRACIÓ

donde ]Jo Y PI están en cOlllpon

Zn, n 1,2 ... Supongamos qu
que K es una intersección !lO vac
cualquiera qUf' una a Po con PI y
,,(O) ]Jo, ,,(1) ]JI Y b tf ,,([O, I]
la existencia de un entorno l.Vb dis
m nI.o. Pero esto contradiría e
distintas del complemento de Zm"

Teorema 4.6.10 Sea U e a

Entonces f(U) es alJ'Íe1'fo.

Dernostración. Sólo ciaremos un

un disco abierto D tal que e
continuidad (' inycctividad de J, f
D es conexo, f( es conpxo. P
es horneomorfo a Como en el
Vietoris se deduce que !\- es

Teorema 4.6.11 (Teorema de p

Ixl ~ l} Ji f : En ~. B n mw

Dernostración. Supongamos q
definir 9 : B n s'n~ 1, S"~ I =
Es fácíl ver que g ps suave dej
coordenadas). Ahora, 9 es mm ret
o eIl forIlla equivalente, el diagram

Bn
Ti
8,,-

COlllO Bn es contractible, fJl(JJlI

se q ue Hn~ 1 1) iR:. P
o gn-­

Hn~1 (Bn)
v in~1

H"-l(S¡¿~I

de lo cual se sigue que 1([,,·-1 O

Chapter 5

GEOMETRIA
RIEMANNIANA

5.1 Tensor métrico

Sea !v! un manifold fillave. Recordelllofi que
la noción de una m.ét"rÍca Riemannía:na y "I
fibrado vectorial T,~.¡ , es decir, nn tenso
es identificable con Ulla función biliuc;(11
condiciones.
(i) gp (v, w) Yp (11), v), V,11I T p (lvI), es d
(ii) gp (v, 11) "2: 0, y la igualdad se da si sólo
UIla forma bihneal dejinúia ·/ln.'·/I.',I'IIf/

En lIlnchas situacÍoneH (por ejemplo, (~ll

considerar IllPtricas para las cuales esta últi
condición máCl débil,
(ii') 9 es no degenerada, es decir, gp (v,w(j) =
que 1110 0, en cuyo caso g se llama Hi
En coordenadas locales (U,,, 'Pn (:/:,1" ...
11

= L
·i,.i=l

donde 9'0 (') {\[ (U,,)

se denominan
(Uo:, Ya)' se vio eu el Ejemplo 3.G.l:'>
COlllO
estas coordenadas, que denotaremos por [g"L
y sus entradas pueden ser computadas COlllO

Yp (()~I ¡J'n 1)

l(J.')
196

Si (U:3, 'PO = ... , xíj)) es o

para todo p E n U{3

donde J¡3a(P) denota la matriz

3
gi}

Como [gp L es una matriz s

) nos garautiza que [gpl., es d
Además, por ser definida positi
Rimnanniana, 9 puede tener a
positivos y s negativos, al par
la métrica se llama 'fnétnca de
posible escoger una base 931' p
tiene la forma

donde "-1" aparece .9 veces.

Si !v! es un manifold suave
al par (AI,g) se le denomina un

Ejenlplo 5.1.1 En ffi.11, si (x 1,

d:r i es la rnétrica euclideana, q
v (Vi, .. , , y w = (w 1 " , .

Ejemplo 5.1.2 Sea .,.

{ ( .h

En cada p (pi, ... ,p") r,.¡¡

w=('wl, ... ,wn ) en ) se

f}p(v

Este man~fold Riemanniano se

denota por 1If".
5.2. MÉTR1CAS INDUCIDAS

Ejemplo 5.1.3 En JR4, con coordenadas

se define como
9 -dxo Cx) &co + d:¡: [ Cx) d:¡;
P a1'l1 cada lmnto 11 y cada par de vectores
enp,

gp (v, w) = --vow

Veamos que en todo manifold suave

!liana.

Teorelna 5.1.4 Sea Ai un man~fold su

manniana!J en 1'1'1.

Denlostración. Sea {UCt } "EA un cubri

dominios de cartas (Ua , 4",,). En cada U
inducida por 'P ex' dada por

dx

Tomemos una partición de la unidad {X

tonces X,,!la. es una sección del fibrado
fuera de un subconjunto compacto de
como idénticamente cero fuera de UCt , .Y d
del fibrado T 1tl 1)(; T7v!' Definamos 9 :Z:::
suave, global del fibrado T,~l T~" ya qu
Iv! la suma es localmcnte finita. Si 11 f O

ya quc al menos UllO de los términos en la

que g es una métrica R.iemanlliana. •
No todo manifold suave admite Ulla
suficielltc y necesaria para que exista un
suave Al es que exista una distribución l-d
lH. Si un manifold !vi admite una mé
llamado un man~fold pseudo-Riemannia
(1\1, g) es llamado un man~fold de Lorent

5.2 Métricas inducidas

Sea !vI un manifold suave, y sea L : N - t
cada p E N denotemos por q ¡,(p). LI1 t
HJ8

induce una función lineal

hp : T:;UvI)

Por tanto, si 9 : 1"'1 T,~I ':>0 T

: N ----> T,~ TÑ definida c

es una sección del fibrado T*

locales alrededor de p y q se
Veamos que la forma bilineal

para cada par de vectores '/1,

Pll coordenadas locales. Sea
locales alrededor de q y 9 Iu =
coordenadas. Para simplificar
SI /J, W Tp(J'v!) se tiene que

(1*9 )(p)

De aquí que

Proposición 5.2.1 Si 9 e.'i u

es una métrica Riernanniana
pull-back de 9 a N, Vla i.

Demostración. Hay que pr

simetría se sigue de la definic

Como i*1' es inyectivo, 1,*1' (v)

(i*g)p también lo es. _
5.2. IIJÉTRlCAS INDUCIDAS

Supongamos ahora que (V, 1/J (u 1, .

de 1) tal que I.(V) e U. Denotemos por 123\",
T¡)(N) y T'l(lV1) dada.s por las respectivas
jacobiana de 1.*1' : Tp(N) -> 1:1 (1\1) referi
matriz asociada a gq en la base lB u ,'l' Es cla
Y [/~*p(w)h~/I,'1 Ju~r(p)[wh~\"", Luego

lo cual muestra que

Ejemplo 5.2.2 Sea

9 = d;r ,><) dx + dy
la métn:ca estándar de , Sea i : 52 --> ~,

el embebimiento de la esfem 2- dimensio

1, donde la esfem fue cubierta por abierto
(u 1 , u 2 ), U I r.--; (VI, v 2 ) se obt'Utrieron m
desde el nOTte 11 el SI1T, Tespectivamente y
fórmulas

Las coordenadas en están dadas por

(U 1)2

(u 1 )2
(vI )2
(u l )2
200 CHA

U"larl.do los r'csultad08 de la d'Í.scu

cientes de la rnftTÍca indurcida 801),I

Por tanto la métrica inducida en F

Ejemplo 5.2.3 En geneml, para C

í: l'v[ ~---t I
(u, v) f---....;

la m.atr'ÍZ asociada al Jlull-back de

[
donde

E
a;¡; OX
F - -+
OIt {JI!

G ( ~x)'
{Jv

Esto nos dice que en las cooniena

i*y Edu:><:du Fd

la cual es llamada la primera form

Los siguientes ejemplos muest

pull-baek de una métrica, usando
ejemplo la esfera de radio T, en S;
de "coordenadas esféricas"
Ejemplo 5.2.4 Sea y = d:¡; 'X: d:¡; +
y sea

8; = {(x,y,z) E I

la e4em en ]R3. Una carta en S;

X T se
y r se
Z reo
5.2. ""fÉTRICAS INDUCIDAS

Coml1utern08 i*g. tornando

i*g = i*dx (;<., '¡*(Lr + '¡*dy ,)'~ i*

POI' tanto basta computaT el pull-back de las

i* dx = r cos ecos r!>d() - l

Simílannentc

í* dy l' cos e sen 01¡de

'í* dz -r sen ed()
Lucgo

(1' cos () cos r/Jd() l' sen () sen r/Jdr¡0) (

+ (1' cos () seu r/Jd() + T sen Ocos
sen 2 OdO ·XI de

(r2 cos2 () cos 2

(;) 1'2 cos2 () seu'2 (í) 1
+ (1'2 sell'2 esen 2 (/) selt 2 ecos 2 4))
1'2 de de + 1'2 edr/J w

Por' lo tanto, la rnétr"ica Riernanniana inducid

{(X,y,Z)EN 3 :
es '¿Y'ltal a

Ejemplo 5.2.5 El siguiente ejemplo provien

N e N 4 la super:ficie dada pOi'
N = {(t,x,y,z) ]R4: t2 x'2

Definamos coordenadas lomles en N, (t, O, (p).

:1; t S(;u O('o
y t sen Ose
;; t. cos ()

La métrica de lvfinkmuski en]R4 está. dada po

g = dt 'x! dt - dx d:r - dy

Entonces

i* dt dt
'1* dx sen ecos r¡0dt -r t cos () co
i* dy sen Osen r¡0 + t ens e sen r
'i* el;;; sen (} sen r¡!¡ t sen Ocle
 202 C

y ]lor tanto

í*g dt ~x) dt dt
(de d

Sean w, TI l-formas en ]'v[. E

por WI/, se define como

W11

Clarament.e, WI7 11W y ww = W

lugar de W 'x! w. Si
g

es la expresión de la mótrÍea eIl

9 ¿.::: gíj d:c' C>;l d:¡;

i1.i
n

¿.::: [Jíid:.¡;i ex) dx'

i=1
n
¿.::: gii(dx )'2 i

i=1

En esta escritura vemos que la m

en una l-mperficie embebida en

Ejenlplo 5.2.6 Tornemos n = 2

y > O}, que llamm'enws el plano
de JR2
1
g "2
Y
define una mét'rica Riemanníana
envía el disco unitario ITJ) {z E

f(z

Esta función es un difeomorfism

analítica) '!J por' tanto es un d~feo
pmn Jl]) estas eooTdenadas =
a &i se ]l1Lede identi;{icaT con un
5.2. INDUCIDAS

Po'" tanto, si vernos a f corno una flLnc'ión

por la nwfriz

[IJA
Ijue correspondc al 'número complcjo

dj ~2i

d~
(1 + ::')2 = A

De (5. se ded1Lce qu,e el ¡mil-bacA: de 9 vía

[~ ~IJ J* [(Irn}(Z))2
A O
__1__ [A 2
+ IJ2
O A2

1
(Imf(z))2
[I~ l' O Id~1
O,

d~

Pero
1 -
1m f (~) = ?- (f (::.) ~ f (:; ))
~Z

~2i
2
df 1 1 1
d::. ~ (1 +::.)2 -- (1
1

Por

2
1
(Imf(z))2
Iel;;
dI 1
(1

de alju{ quc el pul/-back f* 9 (en coordenada

donde du ellL + elv dv. En las co

4
1*g 2 , 2)2
( 1-u -v
(du

A f:stam{:tr¿m en ]]JJ se le llama la métrica

Poillcaré.
204 C

5.3 Longitud de c
Sea (l'vl, un manifold Riemftl
longitud de la curva entre a y h

L (¡)

Si ~f : [a, b] --t Iv! es una curv

d:
í o a, donde a : [e, -+ [a, bj es
a (c) a y 0'( d) = b se dice qu
Si 0'( e) = b Y 0'( d) = a se dice
Demostremos la ínvaríanza de l

Proposición 5.3.1 Sea í :

contenida en el dominio de u
T'eparametr'ÍZación, Entonces L
L (¡ a) = - L (¡) si a reversa

Dernostración. Basta aplicar

I!

J(]

.lb j
Jb VU

lT (/)

lIT(a)

El signo de la última integral

orientación, •
Si en coordenadas locales 'P
cadena

"'1 (t)

Por tanto

Esta fórmula justifica la notació

en los t.extos clásicos ¡mm repre
de arco",
Si la imagen de ') no está ne
tomar un recubrimiento de ~f([O)
5.3. LONGITUD DE CURVAS Y VOLÚ

un recubrimiento finito (Un" ), í = 1,

to < tI < ... < t n 1 de tal manera que
puede computarse como

L (¡) = t; ¡
n b (
t:gij'(¡(t))

5.3.1 Paradoja de los mellizos

Discutamos ahora la famosa paradoja de lo
relatividad. Dos mellizos, O y 0 ' , incrédul
un experimento relatívistico en el cual 0 '
a la estrella más próxima, Alfa Centauro
velocidad cercana a la de la luz. Según l
años, y está planeado para que el regreso
cumpleaños setenta de ambos mellizos, día
envejecidos. Pero cuando llega el día del reg
un tiempo total de 10 años, y efectivamen
40 años, mientras que su hermano tiene 70
se explica semejante hecho tan contraintuiti
de la situación, bajo los siguientes supuesto
l. El espacio-tiempo, ffi:.4, es un manifold
11 es la métrica de Minkowski.
2. Cada observador en el universo es un
una clase privilegiada de observador
que definiremos como sistemas de c
cuales la métrica se escribe como
11 dt C>0 dt dx!Xi dx

3. Si O (t, x, V, z) y O' (ti, x', y', Zl)

la función de cambio de coordenadas
formaciones de Lorentz. En particul
si O' se aleja de O en la dirección del
constante u sus correspondientes sis
mediante las fórmulas
x' x - ut ¡(x - ut), y'
1
--;::==, O:::; u < 1
y sus inversas

X ¡(x' + ut'), y y',

donde hemos escogido las unidades de
de la luz, c, es igual a 1.
206

Figure 5.1

4. Recordemos que un even

que los observadores de
el momento y la posició
lecturas se relacionan e
coordenadas.
Supongamos que O y O' so
que corresponde a un encuent
ambos observadores registran
C2, el evento definido como l
el eje x a distancia d del ori
tiene por tanto coordenadas (
este mismo evento, visto des
consecuencia, el tiempo total
c¡, medido por O' es ~y'1 - u 2
si
e:

es una parametrización de la
el Y C2 entonces su longitud (

.d
T
jo
que es precisamente el tiemp
de tiempo propio o tiempo to
5.3. LONGITUD DE CURVAS Y VOLÚM

~--------d-----
/-___________________
o

Figure 5.2: Observad

dos puntos p y q de ~4, cuando O' se mueve

comienza en p y termina en q. Este tiempo

donde
c(s) (s,x(s),y(
eDn
c(a) p y c(b

es la ecuación de la curva en el sistema de coo

a nuestra situación: O' parte del origen y
del eje x hacia Alfa Centauro Supongamos
alcanza el valor u y permanece const811te d
que O', ya muy cerca de la estrella comienza
hasta detenerse a una distancia prudente.
sentido contrario, acelerando lent81nente has
u, que mantiene constante durante casi todo
Supongamos que el tiempo de duración del
es aproximadamente igual a 2dju, donde d e
medida por O. Esto último ya que durante
permanece muy cercana a u. Por otro lad
por O' es la suma del tiempo de ida y el d
Cl: [O,T]-+ (s,x(s),O,O) y C2: [O,T] (s,
de la ida y el regreso, respectivamente. Ent
208 C

Como el valor dentro de cada r

es menor que T de donde se sig

lo cual explica el hecho de que

integral (5.6) se puede aproxim

21 T
}

Si , por ejemplo, u es 0.97 de la

a su regreso mientras que O' só

5.4 Volumen de u
Supongamos que (114,9) es un
un sistema local de coordenada
En cada p E M, 91' es una fo
lBu,p = { -/!:r
1l' , ... , I }se p
p
proceso de Gram-Schimdt. Den
Es natural asignarle al n-cubo
y por tanto se debe tener que 1
de base J = [Idl'Ílu.I''rII!.'" Ento

~
Ox1 1/\ ... /\
l'

y por tanto

Por otro lado, la matriz corre

identidad y en consecuencia la

Tomando determinantes a amb

de lo cual se sigue que el vol

vectores de lBu,p está dado por
5.4. VOLUI'vfEN DE UN MANIFOLD RIEM

Figure 5.3: Caja C

Denotemos por gij a los coeficientes de la m

(U, r.p). La fórmula anterior nos motiva a defi

llamada forma de volumen local en U. Co

construcción local da origen a una forma glo
compacto y sin frontera, nos da un número r
M.

Proposición 5.4.1 Sea (M, g) un n-manifo

tonces existe una forma n- global que T'Cstrin
(5.7).

Demostración. Sean CUa , ... , x~) y (U/3

0, y denotemos los coeficientes de la métric

los correspondientes sistemas. La fórmula
coeficientes de la métrica. De aquí se sigue q

Por otro lado,

dx1/\ ... /\ dxj3 det J¡3a
En consecuencia, en Uex n U/3

O¡3 y'det[gf;Jdxb /\ .. ·/\d

det[g'0l det

Esto nos muestra que las formas locales Oa

denotaremos por O y que llamaremos forma
210 C

Sea (Al, g) un n-manifold R

Al un subconjunto abierto relat
se define como

Ejemplo 5.4.2 Escribamos el

terna usual de coordenadas carte
la cual suele escribir como dV =

Ejemplo 5.4.3 Sea Al e IR 3 u

denadas locales pam M. Entonc
computar la forma de volumen e
dv, que en la notación clásica s
cribe como dS = .jEG - F 2 dud

5.5 Conexión están

Comencemos por recordar la def
de varias variables en IR n . Sea f

vp = a1

un vector en Tp(IRn). Recordem

punto p y en la dirección v p , es

Veamos cómo definir la deri

un campo vectorial suave Y en
p E U. Supongamos que

Sea
y

un campo vectorial en U. Definam

con Dx¡, y y que llamaremos la
por

Dx"Y
5.5. CONEXI6N ESTANDAR EN]R.N

Es obvio corno extender la definición anteri

derivada covaríante de un campo Y con resp
torial que en cada p E U está definido corno

(DxY)p = Dx

Es claro que Dx y es suave si X y Y lo son.

Las propiedades básicas del operador D s

Teorema 5.5.1 Sean X, Y, Z, W E 7;,,, (U) Y

(i) Dz (X + Y) DzX + DzY

(íi) DZHVX = DzX + DwY
(íií) D¡zX = fDzX

(iv) D z (fX) = (Zf) y + fDzX

Demostración. Las propiedades (i), (ii) y
definición .. Demostremos (iv). Sean

y
.
fX=Lfat{) "
i

con ck , a k E OIR" (U). Entonces,

Dz(fX)

• Un operador que satisfaga las condiciones

]R.n.

Teorema 5.5.2 Si X, Y E 7...." (U) entonces

Demostración. Sean X = I:í a i a~' y y I
. {)
Dx Y 2: j
Dx(li'-·J )
{)x
212 C

DyX

Por otro lado, [X, Y] está dado

[X, Y] = 'L
i

de donde se sigue inmediatamen

Como veremos más adelant
Dy X - [X, Y] es en general u
torsión de la mneX'ión D. El r
conexión canónica en ]ft" posee
Ahora veamos que la conexió
lo cual significa lo siguiente.

Teorema 5.5.3 Si X, Y, Z E TIR

Demostración. Determinarem
número real Zp (X, Y). Si

. o
Zp=Lc'~ I,
í ux' P

entonces

Pero recordemos que

Dz,
I

DzY=
p

Por tanto

Como p es arbitrario, el resultad

5.6. CURVATURA GAUSSIANA

~----~-------

Figure 5.4: Mapeo de

5.6 Curvatura Gaussiana

Sea í : 1\:1 --+ rn;3 una superficie orientada y embe
el espacio vectorial i*p(Tp (M")) es un subespaci
como el complemento ortogonal de i*p(Tp (M))
de rn;3. Este espacio tiene dimensión uno, y por
nulo v E !l p (A1) nos da una base para este es
Ejercicio 3.3.5, la unión

es identificable con el fibrado normal !1M a JM

Ivl = ~ denota la norma usual en rn;3, u
cir un vector tal que si {VI, V2} es una base
{i*pVl, i*pv2, np} sea positiva para rn;3, con la
n(p) = np define entonces una sección suave d
lado, como np es vector de norma 1, esta aplica
ción suave a la esfera unitaria, n : A1 --; S2 (S
denomina función o mapeo de Gauss.
Sea v E Tp (M"). Vemos que la derivada dir
la función constante (n, n), (cuyo valor es igual

0= Dv (n, n) = (Dvn, n) + (n, D

214

y por lo tanto Dvn E -i*pTp(í\1)

los espacios i*pTp(A1) y Tp(NI
aplicación lineal L : T p (M) -;

La aplicación L se denomina f

Proposición 5.6.1 La funci6

diferencial en el punto p del m

Demostración. Sea v E Tp
(O) = P y i (O) = v. Entonces
~¡'

n*p (11) = n*p (i (O)) (

•
Lema 5.6.2 Sea i : 1\1 -> 1R3
vectorial definido en un entor
existe un abierto ~Vp e 1R3 tal
W p q'ue restringido a W p n ]1,11
Demostración. Sea i : N! -
una inmersión local, existen c
tal forma que Wp ni( 11;1) U

i(M) nW
El difeomorfismo '1' : ~Vp -> 'P
original al problema de extend

X(ZI, z

en el abierto relativo ~Vp n {q :

definamos
X- (Zl
Claramente este es un campo s
iente

extiende a X a todo Wp' •

Una de las propiedades má
teorema.

Teorema 5.6.3 La funci6n de

ducto interno usual de 1R 3 . Es

(L
para todo v, w E T p (M).
5.6. CURVATURA GAUSSIANA

Demostración. Sean v, w E Tp (M} Esco

lesquiera X, Y definidos en un entorno de
Y(p) w. Por el lema anterior, X y Y pu
campos vectoriales en un abierto tVp e ]R3
taremos nuevamente por X y Y), tal que
que
(L (X) , Y) = (Dxn, Y) X (n, Y)
ya que (n, Y) Q. Como Dx Y - D y X = [
(L(X), Y) = - (71" DxY) - (n, [X
pues (n, [X, Y]) O, ya que [X, Y] es un cam
similar,
(X, L (Y)) = (n
se obtiene que (71" D y X) = (n, Dx Y). Eval
(v, L (w)) . •
Puesto que L es autoadjunta, por el Teo
base ortonormal P¡ { el, e2} de Tp (Iv!) t
respecto a esta base es diagonal de la forma

[~l
Es decir L (el) = Kl el Y L (e2) = ""2e2, d
podemos suponer que ""1 ~ /),2. Los núm
C71rvaturas principales de Ji! en p. Los vec
denominan direcciones principales en p. La
"" (p), está definida por
/), (p) det L = det[L]
se define la curvatura media de la superficie

h = Tr L = ""1

Proposición 5.6.4 Sean X, Y E T M (U) c

extensiones X, Y E TM (W) donde W e ]R3
Entonces
\7 x Y = Dx y.+ (L
es un campo vectorial en U.
Demostración. En U, Dx y depende sola
prueba del Teorema 5.6.3 tenemos que

(DxY,n) = (DyX,n)
y así, en cada punto p E Al, D x Y se d
un vector de T p(l'v1) y un vector perpendic
- (L (X) , Y) n. •
216

Ejercicio 5.6.5 Sean X, Y, Z

muestre que V' X Y sati!3face l
muestre que
Z (X, Y)
donde (-, denota el produc

Sean X, Y, Z E T M (U) co
X, Y, Z E TM (W), donde W e
objetivo siguiente es establecer

y examinar la descomposición
tangente y normal. Si Z Li
DxDyZ D
" ,. a
L.,¡ XYel ax
j

¿ (xYd -
j

Luego, por la Proposición 5.6.4

DxDyZ Dx (V'
DxV'y
V'xV'y
-X (L

Similarmente

DyDxZ = V'yV'xZ (L(Y)

Finalmente,
D¡x,Y]Z =
Por lo tanto

o V'xV'yZ-(L(X),V
-V'yV'xZ + (L(Y),
- V'[x,y]Z - (L ([X,

Los términos tangentes en la

Gauss

V'xV'yZ-V'yV'xZ V'[X
5.6. CURVATURA GAUSSIANA

Además, los coeficientE'B en n tienen que su

O (L (X), V'yZ) X (L
+Y (L (X), Z) - (L ([X,
De la ecuación (5.8) se sigue que

O - (L (X), V'yZ) (V'xL(Y) , Z)

+ (V'y L (X) , Z) + (L (X) , V'y Z)
(- V' X L (Y) V'y L (X) - L ([X,

Basados en que esta relación tiene que c

obtiene la ecuación de Codazzi

L([X, Y]) = V'yL(X

Para entender el contenido profundo de e
nuevo campo, que denotaremos por R (X,
ador de curvatura R (X, Y) : TM (lvI) -> TM

R(X, Y) Z V'xV'yZ - V
para todo Z E TM (lvf). Entonces por la e
Y Y Z. Además, R (X, Y) Z depende únic
--) dependen solamente de ellos.

Teorema 5.6.6 (Teorema egregium) S

ortonormal de Tp (M). Entonrgs

Demostración. Por la ecuación de Gauss

Ya que {el, e2} una base ortonormal, la

base es la matriz 2 x 2 cuya entrada (i,j)
(R(el,e2)e2,el) =detL K-(p) . •

Ejemplo 5.6.7 Sea

S; {(x,y, E]R3: x 2+

la esfera de radio R embebida en ]R3 y sea

X p al tangente unitario (0,1,0) y por Yp
n*p(Xp) = ~Xp. En efecto, la curva

t
¡(t) = ( r cos-:¡., Rsen-
218 C

p == (1, O, O)

tiene derivada en cero igual a

(r, 0, O). Además,

y por tanto

En forma simila1',

En la base I13 p {Xp , Yp } para

tn.p]9

Y su determinante es 1/1'2 que

Ejemplo 5.6.8 Calculemos ah
]R3, de radios r y R, con <r <°
un embebimiento del taTO en ]
Xp (O, -1, O) es un vector
dirección de X p que es la direc

De manera análoga, si Y p (0
R, entonces n*p(Yp ) ~Yp. E
5.6. CURVATURA GAUSSIANA

Figure 5.6:

lo cual implica que

K(p) = det[n*p)'BI''B" = R

Ahora, para encontrar la curvatura de Gauss

de la siguiente manera. Sea X q el vector tan

1
-X
P
Si Yq es el vector- tangente al círculo de radío r
en la figura) entonces n*q(Yq) = -~Yq,
r
de
23 q = {X q , Yq }

y pOT tanto que

Ejemplo 5,6,9 La curvatura de un cilindro

Para un plano también se tiene el mismo res

Ejemplo 5.6.10 Sea

M = {(x,y,z): z = f(x,y
220 C

donde U e JR?2 es un abierto qu

tal forma que
p (0,0,1),
Esto equivale a decir que M(O,O

Figura de una superficie con

Calculemos el normal, n(q), par

7r(x,y,z) = (x,y) denota la pm
veTse corno i( U), vía el embebim

J;(

°
El
ax E
n(q) =
O
El E
ax a
que es igual a

(M
donde las derivadas están evalua

C1(t) (t,O
C2(t) (O,
Entonces X p = 1'1 (O), Y p = 1'2(
es det[n*p]<i1<B. Calculemos aho
5.7. CONEXIONES AFINES

lB = {tx 't y }' donde (x, y) san coordenadas

de la esfera unitaria S2. En estas coordenada
cama

n(q)

donde las derivadas se evalúan en las coorde

cada entrada evaluada en (O, O). Par lo tant

que es precisamente el Hessiano de f en (O,

5.7 Conexiones afines

Definición 5.7.1 Sea M un man~fold sua
función V : 7."4 (M) x TM (M) -47."4 (M) ta
T M CM) X 7í.1 CM) se dan las siguientes pro

(1) Vx (Y + Z) = VxY + VxZ

(2) V(x+y)Z VxZ + VyZ

(3) V¡x = fVxY

(4)Vx(fY) (Xf)Y+fVx Y .

Veamos ahora como expresar la conexió

a
M. Denotaremos por {al",', n } a la b
decir, ai = . De las propiedades (1)-(4)
determinada por los valores de Va; aj , y po
ffj :U -4 lR. tales que
Vaia j = I:f
k
222 C

f7
Las funciones j se denominan s
la,> coordenada,> (U, x). Sean X
Entonces

VxY = '2:aíVa, ('2:bia

t J

es decir, la k-ésima componente

En los cursos elementales de Ge

del campo vectorial VaiY se les

que corresponde a la expresión e

bk •
Sea p E U y sea ~i : (a, b) - t
en el dominio de la carta (U, x)
Denotemos por x o , (t) (x 1 (t
la curva. Notemos que

Entonces la ecuación (5.9) se pu

(V x Y)p = '2: (e bk o
k,t

De aquí se deduce que el camp

se conoce el valor del campo X
1'(0) = XI"
Sea (U I , xil
j xln) otra ca
, .. j

símbolos de Christoffel respecto

5.8. TRANSPORTE PARALELO Y G

a estas coordenadas por oI Enton

Cada vector o~ se escribe en la base {Ol,

tuyendo estos valores en la ecuación ante

Por otro lado, el lado derecho de la expr

r 'k o
k,r
t) o
y por lo tanto los símbolos de Christoffe
diante la fórmula

5.8 Transporte paralelo

Sea 1 (a, b) --+ .M un curva suave. U
1 es una función suave X : (a, b) --+ T
campos es precisamente el campo veloc
X (t) ly (t) E Ty(t) (M). Nótese que el c
a lo largo de 1 t.iene estructura nat.ural d
conjunto posee estruct.ura de módulo so
valuadas en (a, b).
Si Iw tiene una conexión '\7, entonce
un operador lineal dt que a cada camp
asocia un vector tangente a A1 en el pun
son un marco local para TA! en un ento
ese ent.orno se puede expresar en forma
Definimos la derivada covariante de X a
224 C

Lema 5.8.1 El operador ft es

Demostración. Supongamos qu
en un entorno de I (to). El cam
sar como X (t) Li aí(t)ei(¡(
Supongamos que ej Lí aíjCi.

De aquí se deduce que Oí = Lj a

¿ (~í e;I,,(t) + Oi(\7 ,,'(t

t

;;= ( d(Ljaj(aijOI))
dt c

~(daj ~í t ti I,,(t) +
~ Ttaij «))
),l

11 [:' (11 a,! C1 (t)) <

j
+a (;;=aij(¡(t))(\7,/(t)

~ [d;: ejl,(t)+a j \7,!(f)

¿ j
[d;; ej I,,(t) + a \7,!(t)
J

•
Notemos que si X es un cam
(5.10) permite definir un nuevo
Sea (U, xl, ... , xn) una carta
una curva suave I escrita en est
Al a lo largo de la curva l' En
regla de la cadena, "y = Li ~;
5.8. TRANSPORTE PARALELO Y GEOD

ecuación (5.11) se obtiene

\7X
dt

Definición 5.8.2 Se dice que un campo ta

CUT'Va 'Y es paralelo si ~:¡ O.

Teorema 5.8.3 Sean \7 una conexión en u

CUT'Va suave. Pam todo v E T¡(a) (M) hay
'Y tal q'ue X (a) v, Si denotamos por p,(t
transformación P"(t) : T"(a) (M) -+ T"(t) (M

Demostración. Sin pérdida de generalida

de 'Y está contenida en el dominio de una car
(5.12), si X (t) = 2:: j a j (t) ojl"(t) es un cam
'Y se tiene
da k d
Tt(t)+ L::r~jh(t»dt
<,J

para todo k = 1, ... , n. Ya que [a, b] es c

estándar de la Teoría de ecuaciones diferen
sistema tiene una solución única a í (t) con
v = 2::i vi oil"(a) , t E [a, b].
Que la transformación P"(b) sea lineal se
de soluciones de un sistema lineal tiene estru

Definición 5.8.4 La tmns/01mación P"(t)

nombre de transporte paralelo a lo largo
(a, b) -> M de un manifold suave M es un
largo de 'Y es 'un campo pamlelo, es decir, si

Sabemos que el campo -y está dado en

2::i dJti (t) oil"(t). Se sigue de la ecuación (
226 CH

sólo si

',)
para todo k = 1, ... , n.

Teorema 5.8.5 Sea M un mani

v E T p (A1), existe un intervalo
tal que, (O) p Y l' (O) = v.

Demostración. Sea (U, x) una

¿i ~ft' Oi!1; entonces l' es parale
nentes de xo, (t) (xl (t) , ... , x
segundo orden (5.14). Esta ecuac
ciones iniciales correspondientes.
l' (O) v..

5.9 Conexión de Le
Definición 5.9.1 Sea M un man
Definimos la torsión de la conex

T(X, Y) =
De la definición se sigue que T
aplicación
T: 7,"1 (Al
entonces, puesto que T es OM (!'

T E HOmOM(M)

TM(M) 0 7

es decir, T es identificable con un

En coordenadas locales (U,x
nado por
T(o;

Vemos entonces que las funciones

nos de los símbolos de Christoffe

Ti~ dxk (~
dXk ('V
¿ dxk
r
5.9. CONEXI6N DE LEVI-CIVITA

Definición 5.9.2 Se dice que 1ma conexión

simétrica si para X, Y E ~'I4 (M) se verifica

Proposición 5.9.3 Una conexión 'i7 es s'im

los símbolos de Christoffel satisfacen que rfj

Demostración. Escribamos 'i7 Vi8j :Lk rt

por ser la conexión simétrica se tiene que

de donde se concluye que rfj = rji' El recí

(5.15) . •

Definición 5.9.4 Se dice que una conexión

niano (Af, g) es compatible con la métrica si
que
Xg (Y, Z) = 9 ('i7x Y, Z)

Teorema 5.9.5 (Levi-Civita) Si (Af,g) es

una única conexión 'i7 simétrica y compatibl
la siguiente expresión
1
g(Z,'i7 y X) 2 (Xg(Y,Z) + Yg(
-g ([X, Z], Y) 9

Demostración. Una conexión compatible co

debe verificar las fórmulas

Xg(Y,Z) 9 ('i7 x Y, Z
Yg(Z,X) 9 ('i7 y Z, X
Zg(X, Y) 9 ('i7 zX, Y

De éstas, aplicando que 'i7 es simétrica, se in

Xg(Y,Z) + Yg(Z,X) - Zg(X

9 ([X, Z], Y) + g([Y, Z] ,X) + g

de donde se obtiene que

1
g(Z,'i7 y X) 2 (Xg (Y, Z) + Yg (
-g ([X, Z], Y) 9(

Entonces, cualquier conexión simétrica com

ficar la fórmula anterior. Sí suponemos q
cas y compatibles con la métrica, para X, Y
228 CH

9 (Z, V'y Z) = 9 (Z, V'~Z). Est

V' V".
Para probar la existencia, tom
vectorial que satisface la ecuación
(1),(2) y (3) de la definición de co
de V'yX. Para probar (4) consid

1
9 (Z, (JX)) "2 (lXg(
-g ([fX

Teniendo en cuenta que

Yg(Z,fX)
Zg (IX, Y)
9 ([f X, Z], Y)
9 ([f X, Y]' Z)

se sigue que

9 (Z, V'y (J X))

Por tanto V' y (f X) = fV' y X + (

como ejercicio demostrar que est

Definición 5.9.6 La conexión d

ión de Levi-Civita y se denota po

Si en (5.16) tomamos coorde

Z = ak, Y = aj y X = ai vemos

Sabemos que la matriz [g]'I' [

inversa.. Se sigue entonces que

"'r1.g ~
L...t tJ lk gkm 2
l,m

y por tanto

Esta fórmula nos muestra explícit

fel, y por consiguiente la conexió
5.10. CURVATURA

5.10 Curvatura
Definición 5.10.1 Sea Af un manifold sua
Definimos la curvatura de la conexión R :
T M (I'v!) po-r la exp-resión

R(X, Y,Z) = V'xV'yZ V

Se acostumbra escribir R (X, Y) Z en luga

demuestra que R es OA1 (M) -lineal en cad
a R como una aplicación

entonces

R HOmOM(M)(TM (M) iXI T M (J

T M(A/) iXI T M(Iv!) iXI T M(A

es decir R es identificable con un campo ten

Lema 5.10.2 Si uno de los campos X, Y, Z

R(X, Y) Z también se anula en p.

Demostración. Del hecho de que R sea lin

es usual, que si U es un abierto de M enton

R(X, Y) Zlu = R(Xl u ' Y) Z = R(X

En el dominio de una carta (U, x) se tiene q

Si p E U y X p = 0, entonces que ai (p) 0,

(R(X, Y) Z)p = (R(X, Y) Zlu)p = I

• Como consecuencia del lema anterior se s
mos definir R (u, v) w como

R (~1., v) W = (R (X
donde X, Y, Z son campos tales que X p u
El tensor de curvatura verifica las siguien
230 C

Proposición 5.10.3 Sean X,

suma sobre todas las permutaci
(i) R (X, Y) Z = -R(Y,X)
(ii) Lcíclica R(X, Y) Z L
(iii) Lciclica ((\7x R) (Y, Z)

Demostración. (i) es consec

(ii), tenemos que

(\7 xT) (Y, Z) = \7 x (

De la definición del tensor de t

T(T(X,Y),Z) = T(
T(

De estas dos ecuaciones se sigu

L T(T(X,Y),Z) L (\
ciclica cíclica

y por lo tanto

L ((\7 x T)(Y, Z) +T
dclica

L (\7 x (T (Y, Z)) T

dclica

L (\7 x \7yZ - \7x\7z

cidica

L (\7x\7yZ \7y\7x
ciclica

Para demostrar (iii), notemos q

L R(T(X,Y),Z) L
ciclica cicl

L
cicl

L (\7 x R)(Y, Z) = L (\7 X

cíclica ciclica
5.10. CURVATURA

de donde se deduce que

¿ ((VxR) (Y, Z) + R(T (X, Y),

cíclica

¿ (V X (R (Y, Z)) R(Y, Z) V x

ciclka

cíclica
+V[Y,Z]VX V[X,y]VZ + VZV[X,y
O.

• Sean (M, g) un manifold Riemanniano y

ado a la conexión de Levi-Civita V9. De la

R(X, Y) Z + R(Z,X)
(V~R) (Y, Z) + (V~R) (X, Y) +
A estas ecuaciones se les conoce con el nom
de Bianchi, respectivamente.

Proposición 5.10.4 Sean (1\1[, g) un man

cur-vatum asociado a la conexi6n de Levi-Cí
Entonces

(í) 9 (R(X, Y) Z, V) + g(R(Z,X) Y, V) +

(ii) 9 (R (X, Y) Z, V) = -g (R (Y, X) Z, V

(iií) 9 (R (X, Y) V) -g (R (X, Y) V, Z

(iv) g(R(X,Y)Z, V) =g(R(Z,V)X,Y)

Demostración. La propiedad (i) se sigue

y la (ii) es consecuencia inmediata de la Pr
es equivalente a demostrar que 9 (R (X, Y)

9 (R(X, Y) Z) 9 (V~V~Z - V~
9 (V~ V~Z, Z) -
Xg(V~Z,Z) g

+g (V~Z, V~Z)
1 1
2 YXg (Z, Z) - 2

~(YX YX [
232 C

Para probar (iv), notemos qu

9 (R(X, Y) Z, V) + 9 (R
9 (R (Y, Z) V, X) + 9 (R
9 (R (Z, V) X, Y) + 9 (R
9 (R (V, X) Y, Z) + 9 (R(
Sumando, se obtiene
29 (R (Z, X) Y,
Por tanto
9(R(Z,X)Y
de donde se deduce la propiedad
En coordenadas locales (U, x)
las funciones suaves Rijk que sat

R(Oi,

Definamos Rijkm = 9 (R(o;, Oj)

R(Oí,Oj) (Ok) \loSiJ,Ok-\

:L r; k\lOi al
1

de donde se obtiene que

Or t
-;:;--
Jk
u:r·
-
"t

:L Rl j
1

Finalmente, en coordenadas
corno

(\liRmt + (\
Bibliography

[1] Munkres J., Elements of Algebmic T

[2] Apostol, T.M., Mathematícal Analys
Dieudollllé, J., Foundations of Mode
[4] Lang, S., Algebm, Addísoll-Wesley 1
[5] Whítlley, H., The measure of the cr
Amer. Math. Soco 4848 (1942) 883-8
[6] Whitlley, H., Geometric Integmtion
1957.
[7] Stemberg, Lectures on Differential
pag.47.

[8] FultOll W., AIgebmic Topology, A Fi

[9] Levinsoll, N., Theory of Ordinary D
Hill, 1955.
[10] Bott Raoul, Collected Papers, Vol 4.

~lDA
DF.PTO
BIBLIOT

233