You are on page 1of 105

Fundamentos de Relatividad Gerneral

Juan Manuel Tejeiro Sarmiento Profesor Titular


Observatorio Astronmico Nacional Facultad de Ciencias
Universidad Nacional de Colombia
Agosto de 2004
ii
ndice general
Introduccin VII
I Geometra diferencial 1
1. Fundamentos matemticos 3
1.1. Espacios topolgicos . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Espacios mtricos . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Espacios vectoriales . . . . . . . . . . . . . . . . . . . . . . . . 7
2. Variedades 15
2.1. Variedades diferenciales . . . . . . . . . . . . . . . . . . . . . 15
2.2. Espacio tangente . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3. TENSORES . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4. Transformaciones entre variedades . . . . . . . . . . . . . . . 33
2.5. Clculo en variedades . . . . . . . . . . . . . . . . . . . . . . 36
2.5.1. Derivada de Lie . . . . . . . . . . . . . . . . . . . . . . 39
2.5.2. Conexin y derivada covariante . . . . . . . . . . . . . 41
2.5.3. Transporte paralelo . . . . . . . . . . . . . . . . . . . 44
2.5.4. Tensor de Riemann . . . . . . . . . . . . . . . . . . . . 48
2.5.5. Tensor mtrico . . . . . . . . . . . . . . . . . . . . . . 50
2.5.6. Relacin entre conexin y mtrica . . . . . . . . . . . 53
2.5.7. Campos de Killing . . . . . . . . . . . . . . . . . . . . 55
II Relatividad General 59
3. Los postulados de la relatividad general 61
3.1. La ley de gravitacin universal . . . . . . . . . . . . . . . . . 61
3.2. Postulados de la TGR . . . . . . . . . . . . . . . . . . . . . . 64
iii
iv NDICE GENERAL
3.3. El tensor mtrico y el postulado de causalidad . . . . . . . . . 66
3.4. Ecuaciones de campo de Einstein . . . . . . . . . . . . . . . . 73
4. La solucin de Schwarzschild 77
4.1. Mtrica para simetra esfrica . . . . . . . . . . . . . . . . . . 77
4.1.1. Teorema de Birkho . . . . . . . . . . . . . . . . . . . 84
4.1.2. Caractersticas de la solucin de Schwarzschild . . . . 86
4.2. Pruebas clsicas de la relatividad general . . . . . . . . . . . 88
4.2.1. Corrimiento del perihelio de Mercurio . . . . . . . . . 88
4.2.2. Desviacin de la luz por el sol . . . . . . . . . . . . . . 95
Prefacio
Notas de clase para el curso de Galaxias y Cosmologa.
v
vi PREFACE
Introduccin
En este libro se presentarn los fundamentos de la teora general de la
relatividad. La primera parte est dedicada a la fundamentacin matemtica
necesaria para la formulacin rigurosa de la teora general de la relatividad.
En la segunda parte formularemos los postulados de la relatividad y su
aplicacin a los agujeros negros. La tercera parte est centrada en el modelo
estandar de la cosmologa.
vii
viii INTRODUCCIN
Parte I
Geometra diferencial
1
Captulo 1
Fundamentos matemticos
1.1. Espacios topolgicos
En esta seccin se darn algunas deniciones fundamentales sobre espa-
cios topolgicos y espacios mtricos.
Denicion 1 Denicin 1.1 Un espacio topolgico T es una pareja (T, A),
con T un conjunto y A una familia de subconjuntos de T, llamados los abier-
tos, tales que:
T-1: , T A, es decir, el vaco y todo el conjunto T son abiertos.
T-2: Dada cualquier coleccin de abiertos a

A,con I, siendo I
un conjunto de ndices, entonces
I
a

A, es decir, unin arbitraria de


abiertos es un abierto.
T-3: Dada cualquier coleccin nita de abiertos a
i
A, i = 1, 2, ..., n,
entonces
n
i=1
a
i
A, es decir, interseccin nita de abiertos es abierto.
A la familia de abiertos A se le llama la topologa de T. Claramente a
todo conjunto se le puede asociar una topologa, pues basta con denir como
los abiertos de T a cualquier subconjunto de T. Esta topologa es conocida
en la literatura como la topologa discreta. Otra posibilidad para denir
una topologa sobre cualquier conjunto es la llamada topologa trivial, cuyos
abiertos se reducen al conjunto vaco y a todo el espacio. Estos dos casos
extremos de espacios topolgicos no son de utilidad prctica, pero nos sirven
para ilustrar situaciones y conceptos especiales que surgen en el estudio de
los espacios topolgicos. Un ejemplo no trivial de una topologa lo constituye
los nmeros reales R con la llamada topologa usual, en donde los abiertos
estn conformados por todos los intervalos abiertos de la forma (a, b) R,
con la identicacin (a, a) = y (, ) = R.
3
4 CAPTULO 1. FUNDAMENTOS MATEMTICOS
Denicion 2 Sean T y R espacios topolgicos. Una funcin
f : T R (1.1)
se dice continua, si para cualquier abierto b de R, la imagen inversa f
1
(b)
es un abierto de T .
Ms adelante relacionaremos esta denicin de continuidad, con la deni-
cin usualmente utilizada en espacios mtricos, cuando relacionemos la es-
tructura topolgica de un espacio con su estructura mtrica.
Denicion 3 Sean T y R espacios topolgicos. Una funcin
: T R (1.2)
se llama un homeomorsmo, si la funcin es continua con inversa

1
: R T (1.3)
continua.
As, todo homeomorsmo entre espacios topolgicos transforma abier-
tos de un espacio topolgico en abiertos del otro espacio, y en este caso dire-
mos que los dos espacios topolgicos son homeomorfos. Veamos dos ejemplos
que ilustran porqu los espacios topolgicos extremos, el discreto y el trivial,
no son de interes prctico. Dada una funcin
: T R (1.4)
con R un espacio topolgico cualquiera y T el espacio topolgico discreto,
entonces toda funcin es trivialmente continua, pues dado cualquier abier-
to de R su imagen inversa es un subconjunto de T , que por denicin es
un abierto, mientras que si T tiene la topologa trivial, entonces ninguna
funcin es continua, dado que los nicos abiertos de T son el vaco y todo
el espacio.
Denicion 4 Un espacio topolgico T se llama de Hausdorf o separable, si
para todo par de puntos p, q T , con p 6= q, existen abiertos U y V de T ,
con p U y q V tal que U V = .
Claramente el espacio topolgico discreto es de Hausdor, as como los
nmeros reales con la topologa usual, mientras que un espacio topolgico
con la topologa trivial no es un espacio topolgico de Hausdor.
1.2. ESPACIOS MTRICOS 5
Denicion 5 Sea T un espacio topolgico y C T un subconjunto cualquiera
de T . Un recubrimiento abierto de C es una coleccin de abiertos a

de T
con I, siendo I un conjunto de ndices, tal que C
I
a

.
Denicion 6 Un subconjunto C T , de un espacio topolgico T se llama
compacto, si dado cualquier recubrimiento abierto de C, existe un subre-
cubrimiento nito a
i
, i = 1, 2, ..., n de C, esto es C
n
i=1
a

.
Denicion 7 Un subconjunto A T , de un espacio topolgico T se llama
cerrado, si su complemento, i.e., T \A, es abierto.
Claramente, dependiendo de la estructura topolgica del espacio, hay
conjuntos que son abiertos y cerrados a la vez, por ejemplo cualquier sub-
conjunto de un espacio topolgico discreto. Tambin existen subconjuntos
que no son ni abiertos ni cerrados, por ejemplo, en los reales con la topologa
usual, cualquier intervalo semicerrado, es decir de la forma [a, b) o (a, b], no
es abierto ni cerrado. Ahora, en todo espacio topolgico el vaco y todo el
espacio son subconjuntos abiertos y cerrados a la vez, pues ellos son mutua-
mente complementarios. Se puede mostrar que en un espacio topolgico de
Hausdor los nicos conjuntos abiertos y cerrados simultneamente son el
vaco y todo el espacio.
En el espacio de los nmeros reales R con la topologa usual, cualquier
intervalo cerrado de la forma [a, b] es compacto, mientras que cualquier in-
tervalo abierto no lo es. Ms generalmente, en R con la topologa usual, todo
subconjunto cerrado y acotado es compacto.
En la siguiente seccin se darn las deniciones fundamentales de espa-
cios mtricos y su relacin con la estructura topolgica.
1.2. Espacios mtricos
Denicion 8 Un espacio mtrico M es un conjunto de puntos con una
funcin, llamada mtrica,
d : MM R
(x, y) 7 d(x, y)
(1.5)
tal que:
M-1: x, y M, se tiene que d(x, y) 0, y d(x, y) = 0 x = y.
M-2: x, y M, se tiene que d(x, y) = d(y, x).
M-3: x, y, z M, se satisface la desigualdad triangular, i.e.,
d(x, z) d(x, y) +d(y, z) (1.6)
6 CAPTULO 1. FUNDAMENTOS MATEMTICOS
Uno de los ejemplos ms importantes de espacio mtrico lo constituye
R
n
con la llamada mtrica usual, o euclideana, denida como:
d(x, y) :=
p
(x
1
y
1
)
2
+ + (x
n
y
n
)
2
(1.7)
en donde x = (x
1
, ..., x
n
), y = (y
1
, ..., y
n
). Sobre R
n
tambin es posible
denir otras mtricas, de hecho innitas mtricas, pues la funcin
d
p
(x, y) =

n
X
i=1
(x
i
y
i
)
p
!
1/p
(1.8)
para cada entero p satisface las propiedaes M1 a M3. El caso particular
p = 2, corresponde a la mtrica usual. Un caso particular de una mtrica,
denida como d(x, y) = 0 si x = y, y d(x, y) = 1, x 6= y muestra que todo
conjunto es metrizable. Esta mtrica es trivial y se utiliza solamente para
construir contraejemplos.
Denicion 9 Sea M un espacio mtrico. Una bola abierta B(x; r) de radio
r y centro x M es el conjunto de todos los puntos y M tales que
d(x, y) < r.
Un subconjunto A M se llama acotado si para todo par de puntos
x, y A existe un nmero real positivo r tal que d(x, y) < r. Claramente
para todo conjunto acotado de un espacio mtrico se puede construir una
bola centrada en cualquiera de los puntos que contenga al conjunto.
Denicion 10 Sean M y N espacios mtricos con mtricas d
M
y d
N
re-
spectivamente. Una funcin f : M N se dice continua en un punto x M
si dado cualquier real positivo > 0 simpre es posible encontrar un nmero
real > 0 tal que d
M
(y, x) < implica que d
N
(f(x), d(y)) < . Una funcin
entre espacios mtricos continua con inversa continua se llama un homeo-
morsmo.
Para conectar la estructura de espacio mtrico con la estructura de es-
pacio topolgico denamos:
Denicion 11 Sea A M, con M un espacio mtrico. Entonces A es un
subconjunto abierto de M si x A existe una bola abierta B(x, r) contenida
en A.
1.3. ESPACIOS VECTORIALES 7
Es fcil probar, entonces, que los abiertos de un espacio mtrico satis-
facen las propiedades T 1, T 2 y T 3 de la denicin 1 y por lo tanto
denen una topologa sobre M, llamada la topologa inducida. As, toda
mtrica induce una topologa, pero no toda topologa proviene de alguna
mtrica. Por ejemplo, la mtrica trivial d(x, y) = 0 si x = y, y d(x, y) = 1,
x 6= y induce la topologa trivial, pero ninguna mtrica induce la topologa
discreta. Adems, la topologa usual sobre R
n
es la inducida por la mtrica
usual. De esta forma, cuando se trabaja con espacios mtricos siempre se
asume la topologa inducida por la correspondiente mtrica.
1.3. Espacios vectoriales
Denicion 12 Un grupo (G, ) es un conjunto de elementos G sobre el cual
est denida una operacin interna , es decir, una funcin de la forma:
: G G G
(g
1
, g
2
) 7 g = g
1
g
2
(1.9)
tal que
G-1: Exista un elemento e G, llamado la identidad, con la propiedad
que para todo elemento g G, se cumpla que e g = g e = g.
G-2: Para todo elemento g G, exista un elemento g
1
G, llamado el
elemento inverso, tal que: g g
1
= g
1
g = e.
G-3: g
1
, g
2
, g
3
G se cumple la asociatividad:
g
1
(g
2
g
3
) = (g
1
g
2
) g
3
En general se tiene que g
1
g
2
6= g
2
g
1
, y cuando la igualdad se cumple
para todos los elementos del grupo, este se llama un grupo conmutativo.
Ejemplos de grupos, los nmeros reales R con la suma, o los nmeros enteros
Z con la suma. Otro ejemplo de mucha importancia en fsica, lo constituye el
conjunto de transformaciones de simetra sobre un sistema, con la operacin
de grupo como la composicin de transformaciones. Por una operacin de
simetra sobre un sistema entendemos una transformacin que deja invari-
ante al sistema. Por ejemplo, consideremos una molcula de amoniaco NH
3
,
constituida por tres tomos de hidrgeno y uno de nitrgeno. La congu-
racin espacial de esta molcula es una pirmide cuya base es un tringulo
equiltero determinado por los tres hidrgenos y el vrtice lo determina el
tomo de nitrgeno. Si rotamos esta molcula en un gulo de 120

o de 240

alrededor de un eje que pase por el tomo de nitrgeno y que sea perpendic-
ular al plano determinado por los tres hidrgenos, entonces la conguracin
8 CAPTULO 1. FUNDAMENTOS MATEMTICOS
espacial de la molcula no cambia, y se dice que la molcula posee el grupo
de simetra conformado por los elementos:
G = {R(0

), R(120

), R(240

)} (1.10)
en donde R(

) signica rotar la molcula

alrededor de su eje de simetra.


El elemento identidad es R(0

) que signica no rotar, el producto de dos


rotaciones es otra rotacin, R(

) R(

) = R(

), e identicando
R(0

) R(360

), los elementos del grupo R(120

) y R(240

) son mutua-
mente inversos. Este ejemplo lo podemos generalizar al caso de las simetras
de un polgono regular de n lados. En este caso el grupo de simetras, rota-
ciones del polgono alrededor de un eje que pasa por su centro, tiene n
elementos:
G = {R(0

), R(
360

n
), R(2
360

n
) R((n 1)
360

n
)} (1.11)
Consideremos ahora el caso lmite de un polgono regular de innitos
lados, es decir el crculo. En este caso el grupo de simetras contiene un
nmero innito no numerable de elementos y cada uno de los elementos
est representado por una funcin R(

) que representa una rotacin en un


ngulo

, en donde

es un parmetro que toma valores en el intervalo


[0, 360] y de nuevo se ha hecho la identicacin R(0

) R(360

).
Estos ejemplos de grupos tratados, ilustran los tipos de grupos ms co-
munes que encontramos en diversas aplicaciones: Grupos con un nmero
nito de elementos, como las rotaciones de un polgono regular de n la-
dos, o grupos con un nmero innito de elementos, pero numerable, como
los enteros con la suma, y grupos con un nmero innito no numerable de
elementos. Esta ltima clase de grupos, caracterizados por un parmetro
continuo (o varios parmetros continuos, como el grupo de rotaciones tridi-
mensional) constituyen una clase particular de grupos llamados de Lie, los
cuales juegan un papel muy importante en la matemtica, y en especial en
la fsica. Volveremos sobre ellos ms adelante.
Denicion 13 Un cuerpo o campo (G, +, ) es un conjunto de elementos G
sobre el cual estn denidas dos operacin internas +, y , llamadas suma
y multiplicacin respectivamente, tal que (G, +) forma un grupo abeliano, y
la operacin satisface las siguientes propiedades:
C-1: Exista un elemento 1 G, llamado la identidad multiplicativa, con
la propiedad que para todo elemento g G, se cumpla que 1g = g 1 = g.
C-2: Para cualesquiera tres elementos g
1
, g
2
, g
3
G, se cumple que la
multiplicacin se distribuye sobre la suma, i.e., g
1
(g
2
+ g
3
) = g
1
g
2
+
g
1
g
3
.
1.3. ESPACIOS VECTORIALES 9
C-3: La multiplicacin es asociativa y conmutativa, es decir, g
1
, g
2
, g
3

G, se cumple que: g
1
g
2
= g
2
g
1
, y g
1
(g
2
g
3
) = (g
1
g
2
) g
3
=
g
1
g
2
g
3
.
El ejemplo ms comn, e importante de un campo lo constituyen los
nmeros reales con la suma y la multiplicacin usuales. El concepto de campo
es til para nosotros en el contexto de la siguiente denicin:
Denicion 14 Un espacio vectorial V, sobre un campo K, es un conjunto
de elementos, llamados vectores, con una operacin interna + (suma de
vectores) tal que:
V-1: La suma de vectores es conmutativa: x, y V, se tiene que x+y =
y +x.
V-2: La suma de vectores es asociativa: x, y, z V, se tiene que x +
(y +z) = (x +y) +z.
V-3: Existe el vector nulo 0 V, tal que x V se cumple 0 +x = x.
V-4: x V, existe el vector x V, tal que x + (x) x x = 0.
Esto signica que el conjunto V con la suma de vectores forma un grupo
abeliano. Sobre V est denida una operacin externa (multiplicacin por
un escalar) con el campo K, llamado los escalares, es decir una funcin de
la forma
: K G G
(, g) 7 h = g g
(1.12)
tal que:
V-5: (x+y) = x+y, para todo par de vectores x, y V y todo escalar
K.
V-6: ( + )x = x + y, para todo vector x, y todo par de escalares
, .
V-6: (x) = ()x, para todo vector x, y todo par de escalares , .
V-7: 1x = x, 0x = 0 y (1)x = x, en donde 1 es la identidad multi-
plicativa de K, 0 K la identidad aditiva y 1 K el inverso aditivo de
1.
El ejemplo ms importante de espacio vectorial es R
n
sobre los reales.
Para construir otros ejemplos importantes por sus aplicaciones, considere-
mos V y W dos espacios vectoriales sobre el cuerpo de los reales, y denamos
una transformacin lineal T como una funcin
T : V W
v 7 w = T(v)
(1.13)
10 CAPTULO 1. FUNDAMENTOS MATEMTICOS
tal que:
T(v +u) = T(v) +T(u); v, u V y , < (1.14)
Denamos sobre el conjunto de todas las transformaciones lineales de V
en W, i.e.,
L(V, W) := {T : V W | T es <lineal} (1.15)
una suma y el producto por un real como:
(T
1
+T
2
)(v) := T
1
(v) +T
2
(v); T
1
, T
2
L(V, W) y v V (1.16)
(T)(v) := T(v); T L(V, W) , v V y < (1.17)
entonces, claramente T
1
+ T
2
y T tambin son transformaciones lineales,
i.e.,
T
1
+T
2
, T L(V, W) (1.18)
y por lo tanto el conjunto L(V, W) con estas operaciones es un espacio vec-
torial real. Un caso de particular importancia es el espacio vectorial L(V, <),
llamado el espacio vectorial dual de V, que se denota por V

y sobre el cual
volveremos ms adelante.
Denicion 15 Un conjunto {v
1
, v
2,
..., v
r
} de r vectores de V, con v
i
6= 0,
i = 1, 2, ..., r, se llama linealmente independiente si dada cualquier combi-
nacin lineal
r
X
i=1

i
v
i
= 0 (1.19)
implica que todos los
i
= 0.
Denicion 16 Al nmero mximo de vectores linealmente independientes
de V se le lllama la dimensin del espacio vectorial, y por lo tanto forman
una base, i.e., cualquier vector del espacio se puede escribir como una com-
binacin lineal de estos vectores. As, si {e
i
}, i = 1, 2, ..., n forman una base
del espacio vectorial V entonces todo v V lo podemos escribir como
v = v
1
e
1
+v
2
e
2
+ +v
n
e
n
(1.20)
y los nmeros v
1
, i = 1, 2, ..., n se le llaman las componentes del vector v en
la base {e
i
}.
1.3. ESPACIOS VECTORIALES 11
Denicion 17 Sea V un espacio vectorial real. Denamos una norma sobre
V como una funcin
k k V R
v 7 kvk
(1.21)
tal que:
N-1: kvk > 0, si v 6= 0 y kvk = 0 si v = 0
N-2: kvk =| | kvk
N-3: kv +wk kvk +kwk
Toda norma sobre un espacio vectorial induce una mtrica denida por:
d(v, w) := kv wk (1.22)
La ltima estructura de gran importacia que se puede denir sobre un
espacio vectorial es el producto punto, llamado tambin producto escalar o
interno:
Denicion 18 Sea V un espacio vectorial real. Denamos un producto in-
terno sobre V como una funcin
h, i V V R
v, w 7 hv, wi
(1.23)
tal que:
P-1: hv, vi > 0 si v 6= 0 y hv, vi = 0 si v = 0.
P-2: hv, wi = hw, vi
P-3: hv, wi = hv, wi
P-4: hv +w, zi = hv, zi +hw, zi
Las propiedades P-3 y P-4 signican que el producto punto es lineal en
su primera componente, y P-2 implica que tambin es lineal en la segun-
da componente. Dado un producto punto sobre un espacio vectorial real,
entonces sobre l se induce una norma denida por:
kvk :=
p
hv, vi (1.24)
y as se induce tambin una mtrica y por ende una topologa.
Con estas deniciones podemos introducir el concepto de base ortonor-
mal {e
i
} i = 1, 2, ..., n de un espacio vectorial, en donde los vectores de la
base satisfacen la relacin:
he
i
, e
j
i =
ij
(1.25)
12 CAPTULO 1. FUNDAMENTOS MATEMTICOS
siendo
ij
el delta de Kronecker denido como 1 si i = j y cero en los dems
casos. De la desigualdad triangular, propiedad N-3 de la norma de obtiene
la desigualdad de Cauchy-Schwarz:
| hv, wi | kvkkwk (1.26)
la cual, a su vez, nos permite denir el concepto de ngulo entre dos
vectores v y w, a travs de la relacin:
cos :=
hv, wi
kvkkwk
(1.27)
lo cual justica el nombre de base ortonormal, es decir vectores mutuamente
ortogonales y de norma unitaria.
Para nalizar esta introduccin veamos el concepto de espacio vectorial
dual. Para este n sea L(V,R) el conjunto de todas las transformaciones
lineales del espacio vectorial sobre los reales, es decir:
L(V, <) := {f : V < | f es lineal} (1.28)
y denamos sobre este conjunto la suma de fuciones y el producto de un
nmero real por una funcin como:
(f +g)(v) := f(v) +g(v) (1.29)
(f)(v) := f(v) (1.30)
f, g L(V,<), v V <, entonces estas dos operaciones denen una
estructura de espacio vectorial real sobre el espacio de funciones L(V,R).
Este espacio claramente no es vaco, pues hv, i L(V,R), v V, en donde
hv, i signica el producto punto manteniendo la primera componente ja.
Para conocer una funcin f del espacio L(V,R), es necesario conocer lo que
la funcin le hace a cada vector v V, pero dado que el producto punto es
lineal en cada componente, entonces para conocer f es suciente conocer lo
que la funcin le hace a los vectores de una base, pues sea {e
i
} i = 1, 2, ..., n
una base ortonormal de V, entonces si v V tenemos que
v =
n
X
i=1

i
e
i
(1.31)
en donde los coecientes estn dados por las proyecciones del vector v sobre
los vectores de la base, es decir
j
= he
j
, vi, entonces
f(v) = f(
n
X
i=1

i
e
i
) =
n
X
i=1

i
f(e
i
) (1.32)
1.3. ESPACIOS VECTORIALES 13
de esta forma conocer f(v) v V es equivalente a conocer f(e
i
) i =
1, 2, ..., n. Por otra parte, el teorema de representacin de Ritz establece
que para cada funcin f L(V,R) existe un vector w V tal que f(v) =
hw, vi, entonces dada una base ortonormal {e
i
}de V las funciones he
j
, i := e

i
denen una nica base para el espacio L(V,<), llamada la base dual, pues
hw, vi =
*
n
X
k=1

k
e
k
, v
+
=
n
X
k=1

k
he
k
, vi (1.33)
=
n
X
k=1

k
*
e
k
,
n
X
i=1

i
e
i
+
=
n
X
k=1
n
X
i=1

i
he
k
, e
i
i
=
n
X
k=1
n
X
i=1

ki
=
n
X
i=1

i
En resumen, dado cualquier espacio vectorial real V, existe el espacio
vectorial dual V

, el espacio de las transformaciones lineales de V sobre los


reales, con la misma dimensin y dada cualquier base {e
i
}
i=1,...,n
de V existe
una nica base {e

j
}
j=1,...,n
, la base dual, denida por la relacin:
he

k
, e
i
i =
ki
(1.34)
Se puede probar que el dual del dual V

de un espacio vectorial V es
isomorfo al espacio vectorial original y por lo tanto se hace la identicacin
V V

.
14 CAPTULO 1. FUNDAMENTOS MATEMTICOS
Captulo 2
Variedades
2.1. Variedades diferenciales
Denicion 19 Denotemos por R
n
el espacio vectorial euclideano, i.e. al
conjunto de n-plas (x
1
, x
2
, , x
n
) con la mtrica usual.
Denicion 20 Una funcin
: A R
n
R
m
x 7 x
0
= (x)
(2.1)
con A abierto de R
n
, se llama de clase C
r
si las coordenadas x
0
= (x
01
, x
02
,
, x
0m
) del punto imagen (x) son funciones r-veces continuamente diferen-
ciables. Si la funcin es de clase C
r
para todo r 0, entonces se dice que
es suave o de clase C

.
Denicion 21 Sea M un espacio topolgico. Denimos una carta coorde-
nada C

= (

, U

) sobre M como un homeomorsmo:

: U

M R
n
p 7 x =

(p)
(2.2)
en donde U

es un abierto de M, x = (x
1
, , x
n
) se llaman las coordenadas
del punto p y n es la dimensin de la carta.
Denicion 22 Sea M un espacio topolgico. Un atlas A de clase C
r
sobre
M es una coleccin de cartas {C

= (

, U

)}
I
tal que:
A-i- Los abiertos U

cubren M, i.e.:
M =
[
I
U

(2.3)
15
16 CAPTULO 2. VARIEDADES
A-ii- Si U

6= entonces

(U

) R
n

(U

) R
n
x =

(p) 7 y =

(p)
(2.4)
es un difeomorsmo de clase C
r
.
Las funciones

y su inversa

nos dan las ecuaciones de


transformacin entre las diferentes coordenadas.
Dos atlas A y B de clase C
r
sobre un espacio topolgico M se llaman
compatibles si la unin de los atlas es de nuevo un atlas de clase C
r
, as la
unin de todos los atlas compatibles sobre un espacio topolgico forma un
a clase de equivalencia de atlas, o un atlas maximal.
Denicion 23 Una C
r
variedad diferenciable M es un espacio topolgico
de Hausdor con un atlas maximal.
NOTA 1: Cada U

es una vecindad coordenada local, es decir, si p


U

M, entonces las coordenadas de p son las coordenadas del punto


imagen

(p) R
n
, asi notaremos

(p) = (x
1
, x
2
, ..., x
n
) con x
i
= x
i
(p).
La condicin A-ii exige que las vecindades coordenadas sean compati-
bles, es decir: si p U

, entonces

(p) = (x
1
, x
2
, ..., x
n
) y

(p) =
(x
01
, x
02
, ..., x
0n
) son dos coordenadas diferentes para el mismo punto, y que
las cartas (

, U

) y (

, U

) estn relacionadas por:


(

)(x
01
, x
02
, ..., x
0n
) = (x
1
, x
2
, ..., x
n
)
(

)(x
1
, x
2
, ..., x
n
) = (x
01
, x
02
, ..., x
0n
)
Es decir, las coordenadas x
i
= x
i
(x
0 j
) son funciones de clase C
r
de las
coordenadas x
0 j
y viceversa x
0 j
= x
0 j
(x
i
).
NOTA 2: Otro atlas
0
sobre M se dice C
r
-compatible con , C
r
-atlas,
sobre M si
0
es de nuevo un C
r
-atlas sobre M . El atlas consistente
de la unin de todos los atlas compatibles con un atlas dado se llama el
atlas maximal de M. As un atlas maximal sobre M es el conjunto de todos
los posibles sistemas coordenados que cubren a M. La compatibilidad de
atlas es una relacin de equivalencia. Una de estas clases de equivalencia es
llamada una estructura diferenciable. Dada una variedad M es interesante
preguntarse si sta admite una nica estructura diferenciable. Milnor en
1956 demostr que S
7
posee 28 estructuras diferenciales diferentes. En 1984
se demostro que R
n
admite un nmero innito de estructuras diferenciables.
2.1. VARIEDADES DIFERENCIALES 17
NOTA 3: Una C
r
-variedad con frontera se dene de la misma manera
cambiando R
n
por
1
2
R
n
:= {x R
n
| x
n
0}. El contorno de M, denotado
por M se dene como el conjunto de todos los puntos de M cuya imagen
bajo

estn sobre el contorno de


1
2
R
n
. M es una C
r
-variedad sin frontera
de dimensin n 1.
Consideremos algunos ejemplos de variedades diferenciables:
R
2
es una variedad bidimensional. Las coordenadas rectangulares (x, y :
< x, y < ) cubren todo R
2
. Las coordenadas polares (r, ) cubren
solo la vecindad cordenada (r > 0; 0 < < 2). As se necesitan por lo
menos dos de tales cartas para para cubrir R
2.
.
El cilindro bidimensional C
2
es una variedad obtenida a partir de R
2
identicando los puntos (x, y) con (x + 2, y). Entonces (x, y) son coorde-
nadas en la vecindad (0 < x < 2, < y < ), as se necesitan por los
menos dos de tales vecindades coordenadas para cubrir C
2.
. Similarmente
la cinta de Mbius es obtenida identicando (x, y) con (x + 2, y)
La 2-esfera unidad S
2
: {(x
1
, x
2
, x
3
) R
3
/ (x
1
)
2
+ (x
2
)
2
+ (x
3
)
2
= 1}
es una variedad. Las coordenadas en cada punto de las regiones x
1
> 0 y
x
1
< 0 son:
(x
2
, x
3
); 1 < x
2
< 1; 1 < x
3
< 1
As se necesitan seis de tales cartas para cubrir S
2
.
Problema:
Mostrar que no se puede cubrir S
2
con un simple sistema de coordenadas.
Otro ejemplo que generaliza a S
2
es la n-esfera denida por
S
n
:= {x R
n+1
| (x
0
)
2
+ (x
1
)
2
+ + (x
n
)
2
= 1} (2.5)
Para denir una estructura de variedad diferenciable, consideremos el hiper-
plano H de R
n+1
denido por x
0
= 0, consideremos el atlas denido por
las dos cartas (
1
, U
1
) y (
2
, U
2
), las dos proyecciones estereogrcas de la
nesfera sobre este plano H, denidas por:

1
: U
1
= S
n
\{e
0
} H R
n
x 7
1
(x) =
xx
0
e
0
1x
o
(2.6)

2
: U
2
= S
n
\{e
0
} H R
n
x 7
2
(x) =
xx
0
e
0
1+x
o
(2.7)
en donde e
0
= (1, 0, ..., 0) S
n
el polo norte de la n-esfera y e
0
el polo
sur. Es decir U
1
cubre la esfera menos el polo norte y U
2
cubre la esfera
18 CAPTULO 2. VARIEDADES
menos el polo sur. Estas dos cartas son C

compatibles pues

2

1
1
(y) =
y
kyk
; y R
n
y y 6= 0 (2.8)
No es difcil probar que la variedad S
n
, a diferencia de R
n
requiere por
lo menos dos cartas coordenadas para cubrir la variedad.
Denicion 24 Una variedad M se dice orientable si existe un atlas
= {

, U

tal que en toda interseccin no vacia U

de abiertos, el determinante de
la matriz (x
i
/x
0 j
) es positivo, en donde (x
1
, x
2
, ..., x
n
) y (x
01
, x
02
, ..., x
0n
)
son coordenadas en U

y U

respectivamente.
Denicion 25 Un atlas = {

, U

se dice localmente nito si todo


punto p de la variedad M tiene una vecindad abierta la cual intersecta solo
un nmero nito de vecindades U

.Una variedad M se llama paracompacta


si para todo atlas = {

, U

existe un atlas localmente nito =


{

, V

con cada V

contenido en algn U

.
En lo sucesivo por variedad entenderemos una C
r
-variedad de Hausdor
paracompacta.
A partir de variedades dadas es posible construir nuevas variedades di-
ferenciables tomando el producto cartesianos entre ellas, pues dadas M y
N variedades suaves de dimensiones m y n respectivamente, y sean A =
{(U

)} y B = {(V

)} sus atlas maximales, entonces


MN := {(p, q) | p M, q N} (2.9)
el producto cartesiano es una variedad n+m dimensional, con el atlas max-
imal denido como:
C := {(U

)} (2.10)
en donde

: U

MN R
m
R
n
(p, q) 7 (

(p),

(q))
(2.11)
Con esta denicin podemos construir otras variedades de inters en
fsica, como por ejemplo el cilindro bidimensional RS
1
, o el toro S
1
S
1
.
2.2. ESPACIO TANGENTE 19
2.2. Espacio tangente
El concepto de variedad surgi como una generalizacin de la teora de
supercies en R
3
. As, por una parte se hace necesario generalizar el con-
cepto de plano tangente a una supercie, y por otra parte, la nocin de
vector tangente a una variedad nos permitir generalizar tambin los con-
ceptos de derivadas direccionales en R
n
. Existen varios caminos equivalentes
para denir el concepto de vector tangente a una variedad. En estas notas
seguiremos un camino, que si bien puede parecer abstracto en un comienzo,
nos permitir construir los conceptos necesarios para introducir la nocin
de derivada direccional sobre una variedad y de tensor, en una forma ms
directa.
Denicion 26 Sea M una variedad suave ndimensional y
f : M R
p 7 f(p)
(2.12)
una funcin de valor real denida sobre la variedad. Entonces la funcin f
se dice de clase C
k
en un punto p M si para toda vecindad coordenada
(U

) de p la funcin
f

:= f
1

(U

) R
n
R
x =

(q) 7 f

(x) = f(q)
(2.13)
es de clase C
k
en el punto p U

M.
Llamemos
F(M, R) := {f : MR} (2.14)
al conjunto de todas las funciones de valor real denidas sobre la variedad.
Sobre este conjunto podemos construir una estructura de espacio vectorial
deniendo la suma de funciones y el producto de un real por una funcin en
la forma:
(f +g)(p) := f(p) +g(p), f, g F(M, R), p M (2.15)
(f)(p) := f(p), f F(M, R), p M, R (2.16)
La nocin de diferenciabilidad de una funcin solo tiene sentido para
funciones denidas sobre los reales (ms generalmente sobre espacios de
Banach) y por esta razn, la denicin dada de diferenciabilidad se hace
a travs de las cartas coordenadas. Por lo tanto, para que esta denicin
20 CAPTULO 2. VARIEDADES
de diferenciabilidad tenga sentido es necesario mostrar que ella no depende
de la carta coordenada utilizada. As, sea (U

) otra carta con p U

,
entonces
f

= f
1

= f
1

) = f

) (2.17)
dado que las cartas son compatibles, esta relacin implica que si la funcin
f es diferenciable con respecto a la carta (U

) entonces tambin lo es
respecto a la carta (U

), y viceversa. Esta demostracin de la indepen-


dencia de las cartas es el ingrediente fundamental para todas las deniciones
u operaciones que se realicen sobre una variedad, en las cuales se involucren
las cartas coordenadas.
Denicion 27 Sea M una variedad suave y p M. Un vector tangente v
p
a la variedad M en el punto p es una funcin
v
p
: F(M, R) R
f 7 v
p
(f)
(2.18)
tal que:
T-1: v
p
es Rlineal, i.e., v
p
(f +g) = v
p
(f) +v
p
(g), f, g F(M, R),
y R
T-2: v
p
es Leibnitziana, i.e., v
p
(fg) = f(p)v
p
(g) +v
p
(f)g(p).
Denamos por T
p
M al conjunto de todos los vectores tangentes a un
punto p M como el espacio tangente a la variedad en el punto p.
Lemma 28 El espacio tangente T
p
M es un espacio vectorial real.
Para ver esto basta con denir la suma de vectores y el producto de
un escalar (real) por un vector, y mostrar que estas operaciones estn bien
denidas, es decir satisfacen las propiedades T-1 y T-2. Sean v
p
, w
p
T
p
M,
entonces denamos la suma y el producto por:
(v
p
+w
p
)(f) := v
p
(f) +w
p
(f), f F(M, R) (2.19)
(v
p
)(f) := v
p
(f), f F(M, <), R (2.20)
La linealidad, propiedad T-1, es directa de probar pues
(v
p
+w
p
)(f +g) = (v
p
)(f +g) +(w
p
)(f +g) (2.21)
por denicin, luego v
p
+w
p
T
p
M. Para probar T-2, apliquemos v
p
+w
p
al producto fg, entonces, por denicin de suma de vectores tenemos
(v
p
+w
p
)(fg) = v
p
(fg) +w
p
(fg) (2.22)
2.2. ESPACIO TANGENTE 21
puesto que v
p
y w
p
son vectores para los cuales vale T-2, y por lo tanto
(v
p
+w
p
)(fg) = f(p)v
p
(g) +v
p
(f)g(p) +g(p)w
p
(g) +w
p
(f)g(p) (2.23)
= f(p)(v
p
+w
p
)(g) + (v
p
+w
p
)(f)g(p)
como se quera probar.
Para mostrar que el espacio tangente tiene la misma dimensin que la
variedad, veamos algunas deniciones y resultados importantes.
Denicion 29 Sea M una variedad suave y (U

) una vecindad coor-


denada de p M, y sea (x
1
, ..., x
n
) =

(p) las coordenadas del punto p.


Sea f F(M, R) y denamos la derivada parcial de la funcin f con
respecto a las coordenadas x
i
, i = 1, ..., n en el punto p por

i
f(p)
f
x
i
(p) :=
(f

)
x
i
(

(p)) (2.24)
entonces
Lemma 30 Las funciones

x
i

p
: F(M, R) R (2.25)
son vectores tangentes de T
p
M.
Para demostrar este lema veamos que las funciones
i
|
p
satisfacen T-1 y
T-2. Para este n basta con recordar que las derivadas parciales son lineales
y satisfacen la regla del producto. Sean f, g F(M, R) y R, entonces
de la denicin 29 tenemos
(f +g)
x
i
(p) =
(f

+g

)
x
i
(

(p)) (2.26)
=
(f

)
x
i
(

(p)) +
(g

)
x
i
(

(p))
=
f
x
i
(p) +
g
x
i
(p)
lo cual prueba la linealidad, en donde en el segundo paso se ha hecho uso de
la linealidad de las derivadas parciales. Para la propiedad T-2
(fg)
x
i
(p) =
(f

)
x
i
(

(p)) (2.27)
= f

(p))(
(g

)
x
i
(

(p)) +
(f

)
x
i
(

(p))g

(p))
= f(p)
(g)
x
i
(p) +
(f)
x
i
(p)g(p)
22 CAPTULO 2. VARIEDADES
en donde para el tercer paso se ha utilizado la regla de la derivada de un
producto de funciones.
El siguiente resultado muestra que las derivadas parciales
f
x
i
(p) denidas
en 29 son objetos locales, es decir solo dependen del comportamiento de las
fuciones f en una vecindad del punto p M.
Lemma 31 Sea v
p
T
p
M un vector tangente y f, g F(M, R), entonces:
i.- Si f = g en alguna vecindad del punto p M, entonces v
p
(f) = v
p
(g)
ii.- Si la funcin f es constante en una vecindad del punto p entonces
v
p
(f) = 0.
La prueba de este lema es sencilla pues toda transformacin lineal trans-
forma el cero en cero, y as
0 = v
p
(0) = v
p
(f g) = v
p
(f) v
p
(g) (2.28)
adems, si f = c = cons. entonces como
v
p
(1) = v
p
(1 1) = 1 v
p
(1) +v
p
(1) 1 = 2v
p
(1) (2.29)
se tiene que v
p
(1) = 0, y por lo tanto
v
p
(f) = v
p
(c) = cv
p
(1) = 0 (2.30)
El siguiente teorema constituye el resultado central de esta seccin.
Teorema 32 Sea (U

) una vecindad coordenada de un punto p M,


entonces los vectores coordenados
i
|
p
i = 1, 2, ..., n conforman una base
para el espacio tangente T
p
M.
As, T
p
M es un espacio vectorial real de la misma dimensin que la var-
iedad. Para probar este resultado veamos primero el concepto de funciones
coordenadas. Las funciones

i
: R
n
R
x 7 x
i
(2.31)
para i = 1, 2, ..., n que a un punto de R
n
le asocia su isima coordenada se
llaman funciones proyeccin o funciones coordenadas, las cuales son suaves.
Entonces dada una carta (U

) de una variedad Mdenimos las funciones


coordenadas por
x
i
: M R
p 7 x
i
(p)
(2.32)
2.2. ESPACIO TANGENTE 23
las cuales asocian a cada punto p de la variedad la coordenada isima bajo
la carta (U

) pertenecen al espacio de las funciones reales denidas sobre


la variedad, i.e., x
i
F(M, R). Con esta denicin podemos probar que los
vectores tangente
i
|
p
i = 1, 2, ..., n son linealmente independientes, pues

i
x
j
|
p
=
(x
j

)
x
i
(

(p)) =
x
j
x
i
=
j
i
(2.33)
y por lo tanto cualquier combinacin lineal nula de los vectores
i
|
p
n
X
i=1

i
|
p
= 0 (2.34)
al aplicarlas a las funciones coordenadas implican que
i
= 0, i = 1, 2, ..., n.
Falta, entonces, probar que cualquier vector v
p
T
p
M se puede escribir
como una combinacin lineal de los vectores coordenados
i
|
p
i = 1, 2, ..., n,
esto es
v
p
=
n
X
i=1
v
i
p
(x
i
)
i
|
p
v
i
p

x
i

p
(2.35)
en donde en la ltima igualdad hemos utilizado la convencin de suma de
Einstein, es decir, toda expresin con dos ndices iguales, uno como su-
perndice y otro como subndice implican una suma sobre los valores que
toma el ndice. Las cantidades reales v
i
p
(x
i
) v
i
p
son las componentes del
vector tangente en la base coordenada. Para probar esto ltimo haremos uso
del siguiente resultado del clculo. Si F : R
n
R es una funcin suave en el
punto a, entonces existen n funciones suaves H
k
tales que para todo x R
n
se tiene que
F(x) = F(a) +
n
X
k=1
(x
k
a
k
)H
k
(x) (2.36)
con
H
k
(a) =
F
x
k

x=a
(2.37)
Sea f F(M, R), entonces, aplicando este resultado a la funcin f

= f

con a =

(p) tenemos que para todo q U

f(q) = f(p) +
n
X
k=1
(x
k

(q) x
k

(p))H
k
(

(q)) (2.38)
Sea v
p
T
p
M entonces, aplicando el vector tangente v
p
a la funcin
f, usando el ltimo resultado, la linealidad, la propiedad Leibnitziana y la
24 CAPTULO 2. VARIEDADES
propiedad ii del Lema 5.3, obtenemos
v
p
(f) = v
p
(f(p)) +
n
X
k=1
[ {(x
k

(q) x
k

(p))}

q=p
v
p
(H
k

)
+ H
k

|
p
v
p
(x
k

(q) x
k

(p))]
=
n
X
k=1
[H
k

(p)]v
p
(x
k

) (2.39)
de la ecuacin (2.37) H
k

es justamente
i
f |
p
y por lo tanto para toda
funcin f F(M, R) tenemos que
v
p
(f) = v
i
p
f
x
i

p
(2.40)
como se quera probar. Los coecientes de la expansin v
i
p
son los valores de
la funcin v
p
aplicada a las funciones coordenadas x
i
.
Otra forma equivalente de introducir los vectores tangente es a travs
del concepto de derivada direccional. Para este n denamos, primero, el
concepto de curva sobre una variedad.
Denicion 33 Sea M una variedad suave. Una curva suave sobre la var-
iedad es una funcin
: I R M
t 7 (t)
(2.41)
en donde I es un intervalo de los reales que contiene al cero y (0) = p, y
si (U

) es una vecindad coordenada del punto p, entonces la curva

: I R R
n
t 7

(t) =

(t)
(2.42)
sobre R
n
es suave.
Sea un vector tangente v
p
T
p
M con componentes v
i
p
= v
p
(x
i
) en la
base coordenada (U

), i.e.,
v
p
= v
i
p

i
|
p
(2.43)
y denamos una curva por la curva en R
n
denida como
x
i
((t)) = x
i
(p) +tv
i
p
(2.44)
2.2. ESPACIO TANGENTE 25
entonces esta curva pasa por el punto p M (i.e., pasa por el punto x
i
(p) =

(p) R
n
) para t = 0 y en este punto las componentes del vector tangente
son
v
i
p
=
dx
i
dt

t=0
(2.45)
as sobre la variedad M la curva pasa por p y tiene vector tangente v
p

T
p
M. Sea f F(M, R) una funcin de valor real sobre la variedad, entonces
v
p
(f) = v
i
p

i
f |
p
=
dx
i
dt

t=o
f
x
i

p
(2.46)
=
dx
i
((t))
dt

t=o
f
x
i

p
=
f
t

es decir (/t)

T
p
M y representa la derivada direccional de la funcin f
a lo largo de la curva .
De las ecuaciones diferenciales ordinarias se sigue que, dado un vector
tangente v
p
T
p
M existe una nica curva que pasa por el punto p M
y cuyo vector tangente en el punto p es v
p
. As se puede visualizar a un
vector tangente v
p
T
p
M como una echa en el punto p apuntando en
la direccin de una curva (t) con vector tangente v
p
en el punto p = (0).
En particular, dada una base coordenada para el espacio tangente
i
|
p
las
correspondientes curvas son las curvas coordenadas.
Sea {E

}
=1,2,...,n
una base para el espacio tangente T
p
M, entonces
cualquier vector v T
p
M (en lo sucesivo escribiremos en negrilla los vec-
tores) se puede escribir como
v = v

(2.47)
en donde v

son las componentes del vector el la base {E

}. En particular
si uno escoge los vectores base coordenados
i
|
p
entonces las componentes
v
i
= v(x
i
) son las derivadas de las funciones coordenadas x
i
en la direccin
del vector v. Denamos, ahora, el espacio vectorial dual de T
p
M.
Denicion 34 5.4 Sea M una variedad suave y T
p
M el espacio tangente
en un punto p. Una 1-forma (vector covariante cuyo nombre se justicar
ms adelante) en el punto p es una funcin lineal de valor real sobre T
p
M,
i.e.,
: T
p
M R
v 7 (v) h, vi
(2.48)
tal que:
26 CAPTULO 2. VARIEDADES
i.- h, x +zi = h, xi +h, zi ; x, z T
p
M
ii.- h, xi = h, xi ; x T
p
M y R.
Esto signica que las 1-formas sobre T
p
M pertenecen al conjunto de
L(V,R), es decir al conjunto de las transformaciones lineales de T
p
M sobre
los reales, y por tanto las 1-formas pertenecen al espacio vectorial dual
T

p
M del espacio tangente. As, dada una base {E

}
=1,2,...,n
del espacio
T
p
M existe una nica base (dual) {E

}
=1,2,...,n
del espacio T

p
M, el cual
lo llamaremos espacio cotangente, denida por:
D
E

, E

E
=

(2.49)
As, si T

p
M es una 1-forma y x T
p
M es un vector, entonces
=

(2.50)
x = x

(2.51)
y por lo tanto, aplicando linealidad y la relacin 1-2.49, tenemos
h, xi =
D

, x

E
(2.52)
=

D
E

, E

E
=

Denicion 35 Cada funcin f F(M) dene una 1-forma df en p dada


por:
< df, X >= Xf , X T
p
M. (2.53)
A la 1-forma df la denominaremos la diferencial de f en p.
Si

(p) = (x
1
, x
2
, ..., x
n
) son las coordenadas locales entonces las difer-
enciales {dx
1
, dx
2
, ..., dx
n
} en p forman la base de 1-formas dual a la base
coordenada {

x
1
|
p
,

x
2
|
p
, ...,

x
n
|
p
} de T
p
M, pus se cumple que:
< dx
i
,

x
j
>=
i
j
(2.54)
En terminos de esta base {dx
i
} de T

p
M la diferencial de una funcin f
F(M) se puede escribir de la siguiente forma:
2.3. TENSORES 27
df =
f
x
i
dx
i
(2.55)
Observacin:
Si df 6= 0, entonces las supercies f = cte son variedades de dimensin
n-1. El subespacio de T
p
M consistente en todos los vectores X tales que
< df, X >=0 est formado por todos los vectores tangentes a las curvas que
estn en la supercie f = cte en el punto p. As df se puede pensar como
perpendicular o normal a la supercie f = cte en p.
2.3. TENSORES
Denicion 36 Denimos el producto cartesiano
s
r
de la siguiente forma:

s
r
:= T

p
T

p
T

p
T

p
| {z }
rveces
T
p
T
p
T
p
T
p
| {z }
sveces
(2.56)
Donde intervienen r factores T

p
y s factores T
p
, es decir:

s
r
= {(
1
, ...,
r
, Y
1
, ..., Y
s
) |
i
T

p
, Y
j
T
p
} (2.57)
Denicion 37 Un tensor T del tipo (r, s) en p M es una funcional
multilineal sobre
s
r
, es decir:
T :
s
r
R
(
1
, ...,
r
, Y
1
, ..., Y
s
) T(
1
, ...,
r
, Y
1
, ..., Y
s
)
lineal en cada componente.
El espacio de todos los tensores es llamado el producto tensorial T
r
s
:
T
r
s
:= T

p
T

p
T

p
T

p
T
p
T
p
T
p
T
p
(2.58)
T
r
s
= {f :
s
r
R | f es lineal en todas sus componentes}
Donde intervienen r factores T

p
y s factores T
p
.Tenemos que en particular
T
1
0
= T
p
y T
0
1
= T

p
.
28 CAPTULO 2. VARIEDADES
Denicion 38 Sean T y T
0
T
r
s
(p) dos tensores del mismo tipo y deni-
mos la suma por:
(T+T
0
)(
1
, ...,
r
, Y
1
, ..., Y
s
) : = T(
1
, ...,
r
, Y
1
, ..., Y
s
) (2.59)
+T
0
(
1
, ...,
r
, Y
1
, ..., Y
s
)
y el producto por un escalar R como:
(T)(
1
, ...,
r
, Y
1
, ..., Y
s
) := T(
1
, ...,
r
, Y
1
, ..., Y
s
) (2.60)
Con estas reglas T
r
s
(p) forma un espacio vectorial real de dimensin r+s.
Sean X
i
T
p
(i = 1, ..., r) y
j
T

p
(j = 1, ..., s). Denotemos por
X
1
X
1
X
r

2

s
al elemento de T
r
s
(p) el cual transforma al elemento (
1
, ...,
r
, Y
1
, ..., Y
s
)

r
s
en el nmero
(X
1
X
1
X
r

2

s
)(
1
, ...,
r
, Y
1
, ..., Y
s
)(2.61)
: =<
1
, X
1
> <
r
, X
r
><
1
, Y
1
> <
s
, Y
s
>
Similarmente, si R T
r
s
(p) y S T
p
q
(p), entonces denotaremos por RS al
elemento de T
r+p
s+q
(p) el cual transforma al elemento (
1
, ...,
s+q
, Y
1
, ..., Y
r+p
)
en el nmero real
(RS)(
1
, ...,
s+q
, Y
1
, ..., Y
r+p
) (2.62)
: = R(
1
, ...,
s
, Y
1
, ..., Y
r
)S(
s+r
, ...,
s+q
, Y
r+1
, ..., Y
r+p
Con este producto el espacio de los tensores en p forma un lgebra sobre
R.
Lemma 39 Sean {E

} y {E

} bases duales de T
p
y T

p
respectivamente.
Entonces
{E

1
E

2
E
r
E

1
E

2
E

s
} (2.63)
con
i
,
i
= 1, 2, ...n es una base de T
r
s
(p). De esta forma, dado T T
r
s
(p)
escribimos:
T = T

1
r

s
E

1
E

2
E

r
E

1
E

2
E

s
(2.64)
Donde T

1
r

s
son las componentes de T en esta base.
2.3. TENSORES 29
Usualmente T se llama un tensor r veces contravariante y s veces covari-
ante, y las componentes estn dadas por:
T

s
= T(E

1
, ..., E

r
, E

1
, ..., E

s
) (2.65)
El lgebra del espacio vectorial T
r
s
(p) se puede escribir en trminos de las
componentes de los tensores en una base dada de la siguiente forma:
(T+S)

s
= T

s
+S

s
(2.66)
(T)

s
= T

s
y el lgebra del producto como:
(TS)

r+p

s+q
= T

s
S

r+1

r+p

s+1

s+q
(2.67)
Si {E
0

} y {E
0
} son otro par de bases duales de T
p
y T

p
, ellas pueden
ser expandidas en trminos de las bases {E

} y {E

} en la forma:
E

0 =

0 E

(2.68)
E

0
=

(2.69)
Donde

0 y

son matrices n n no singulares. Puesto que las bases


{E
0

} y {E
0
} son duales, entonces:

0
= < E

0
, E

0 >=<

0 E

> (2.70)
=

0 < E

, E

>=

0
Es decir

0 y

son matrices mutuamente inversas.


Las componentes de un tensor T T
r
s
(p) con respecto a las bases {E
0

}
y {E
0
} son:
T

0
1

0
r

0
1

0
s
= T(E

0
1
, ..., E

0
r
, E

0
1
, ..., E

0
s
) (2.71)
y estn relacionadas con las componentes de T en las bases duales {E

} y
{ E

} por:
T

0
1

0
r

0
1

0
s
=

0
1

0
r

0
1


s

0
s
T

s
(2.72)
30 CAPTULO 2. VARIEDADES
Denicion 40 La contraccin de un tensor T del tipo (r, s) con compo-
nentes T

s
con respecto a las bases duales {E

} y {E

} sobre el
primer ndice contravariante y el primer ndice covariante es denido como
el tensor C
1
1
(T) del tipo (r 1, s 1) cuyas componentes en las bases dadas
sonT

1
r

s
, es decir:
C
1
1
(T) := T

s
E

2
E

r
E

2
E

s
(2.73)
Veamos que esta operacin de contraccin es independiente de las bases
usadas. Sean {E
0

} y {E
0
} otras bases duales, entonces:
C
01
1
(T) : = T

0
1

0
r

0
1

0
s
E

0
2
E

0
r
E

0
2
E

0
s
= T

0
1

2
r

0
1

0
2

0
r
r

0
2


s

0
s
T

0
1

2
r

0
1

0
2


r

0
r

0
2

0
s

s
E

2
E

r
E

2
E

s
=

0
2

0
2

0
r

0
r


2

0
2

0
2

0
s

0
s

s
T

0
1

2
r

0
1

s

E

2
E

r
E

2
E

s
=

2

2


r
r

s
T

0
1

0
1

s
E

2
E

r
E

2
E

s
= T

0
1

2
r

0
1

s
E

2
E
r
E

2
E

s
= C
1
1
(T)
Similarmente se dene la contraccin sobre cualquier par de ndices n y m,
es decir C
n
m
(T).
Denicion 41 La parte simtrica de un tensor T del tipo (2, 0) es el tensor
S(T) T
2
0
(p) denido por:
S(T)(
1
,
2
) : = (2.74)
1
2!
{T(
1
,
2
) +T(
2
,
1
)};
1
,
2
T

p
Si denotamos las componentes de S(T)

por T

, entonces:
S(T)

T
()
= S(T)(E

, E

) (2.75)
=
1
2!
{T(E

, E

) +T(E

, E

)}
=
1
2!
n
T

+T

o
2.3. TENSORES 31
En general, se pueden denir las componentes simtricas de un tensor
T T
r
s
(p) sobre cualquier nmero de ndices covariantes o contravariantes,
de la siguiente manera:
T

1
r
(
1

s
)
:=
1
s!
X
(
1

s
)
T

1
r

s
(2.76)
en donde la suma es sobre todas las permutaciones de los ndices
1

s
,
por ejemplo:
T

()
=
1
3!

+T

+T


+T

+T


+T

(2.77)
Un tensor se llama simtrico con respecto a ciertos ndices si l coincide
con su correspondiente parte simtrica, por ejemplo:
T

= T
()
T

= T

(2.78)
Denicion 42 Similarmente a como se dene la parte simtrica, denimos
la parte antisimtrica A(T) de un tensor T T
2
0
(p) por:
A(T)

T
[]
:=
1
2!
n
T

o
(2.79)
y ms generalmente de cualquier tensor T T
r
s
(p) como:
T
[
1

r
]

s
:=
1
r!
X
(
1

r
)
(1)
p
T

1
r

s
(2.80)
donde p es el orden de la permutacin.
Por ejemplo:
T
[]
=
1
3!
{T

T

+T

T

+T

T

} (2.81)
Un tensor se llama antisimtrico en ciertos ndices, si ste es igual a su
parte antisimtrica. Si T

= T
[]
es antisimtrico, entonces T
()
= 0.
Adems, dado T T
2
0
(p), se cumple siempre que;
T

= T
()
+T
[]
(2.82)
Un subconjunto particularmente importante de tensores son los del tipo
(0, q) los cuales son antisimtricos en todas sus q posiciones: A
q
(p) T
0
q
(p).
Claramente q n, con n la dimensin de la variedad. Al conjunto A
q
(p) se
32 CAPTULO 2. VARIEDADES
le llama el espacio de las q-formas sobre M en p. Si A y B son dos p- y q-
formas, podemos denir la (p +q)-forma A Q, en donde es el producto
tensorial antisimetrizado,
A B :=A(AB) (2.83)
es decir, A B es el tensor de tipo (0, p+q) cuyas componentes estn dadas
por:
(A B)

1

q
:= A
[
1
p
B

q
]
(2.84)
Por ejemplo, dados A, B A
1
(p), entonces:
(A B)

= A
[
B
]
(2.85)
=
1
2!
{A

}
Por otro lado:
(B A)

= B
[
A
]
(2.86)
=
1
2!
{B

}
= (1)
11
(A B)

En general :
(A B) = (1)
pq
(B A) (2.87)
donde A es una p-forma y B es una q-forma.
Si consideramos los escalares como 0-formas, el producto llamado pro-
ducto exterior, dene un lgebra sobre el espacio de las formas, (p) =
n

p=0
A(p), llamada el lgebra de Grassmann de las formas. Adems, si {E

}
es una base de las 1-formas, entonces E

1
E
p
es una base de las
p-formas, es decir, si A es una p-forma entoces podemos expresar A como
A = A

1
...p
E

1
E

p
(2.88)
donde A

1
...
p
= A
[
1
...p]
Denicion 43 Un C
k
-campo tensorial T del tipo (r, s) sobre un subconjun-
to U M es una funcin que asigna un elemento de T
r
s
(p) para cada p U,
tal que las componentes de T con repecto a alguna base cordenada denida
sobre algun subconjunto abierto de U son funciones de clase C
k
.
Denotaremos, como caso particular, por (M) al campo vectorial del
tipo T
1
0
(p).
2.4. TRANSFORMACIONES ENTRE VARIEDADES 33
2.4. Transformaciones entre variedades
Denicion 44 Sean M y N variedades m y n dimensionales. Una funcin
: MN se llama de clase C
k
si dados sistemas de coordenados (

, U

)
y (

, V

) enM y N respectivamente, las coordenadas de (p) son funciones


de clase C
k
de las coordenadas de p:

(U

) R
m
R
n

(p) 7

((p))
(2.89)
Notemos que si m > n, entonces la funcion

no es uno a
uno. As, en general, esta funcin no tiene inversa, y en caso de que existiera
sta no ser de clase C
r
. Por ejemplo, sean M = N = R y sea (x) = x
3
,
entonces (x) C

, y sin embargo
1
(x) no es diferenciable en x = 0.
Denicion 45 Sea f F(N) y : M N. Entonces la funcin
induce una funcin

: F(N) F(M)
f 7

f
(2.90)
denida por:

f(p) := f((p)).
De esta manera, transforma puntos de Men N y

convierte funciones
de F(N) en funciones de F(M) linealmente, pues:

(f +g)(p) = (f +g)(p) (2.91)


= f((p)) +g((p))
=

f(p) +

g(p)
Si (t) es una curva sobre M que pasa por p M, entonces la imagen
((t)) sobre N es una curva que pasa por (p).
Denicion 46 Dada : MN denamos la transformacin

: T
p
MT
(p)
N
X

X
de la siguiente manera: para cada f F(N) denida en el punto en (p)
y cada X T
p
M denimos

X T
(p)
N as:

X(f) |
(p)
:= X(

f) |
p
= X(f ) |
p
(2.92)
34 CAPTULO 2. VARIEDADES
Claramente es lineal, pues:

(X+Y)(f) |
(p)
= (X+Y)(

f) |
p
(2.93)
= X(

f) |
p
+Y(

f) |
p
=

X(f) |
(p)
+

Y(f) |
(p)
As, si (

t
)

|
p
es el vector tangente a la curva en p M , entonces

(

t
)

|
(p)
es el vector tangente a la curva en (p) N.

recibe el
nombre de diferencial de en p y en algunos textos se nota como d.
Denicion 47 Dada : MN y usando la denicin de

denimos la
funcin

: T

(p)
N T

p
M
De tal manera que la contraccin de un vector y una 1-forma sea preserva-
da bajo transformaciones. Es decir, dado Y T

(p)
N, entonces denimos

Y T

p
M de manera que:
<

Y, X >|
p
=< Y,

X >|
(p)
(2.94)
Ahora, si consideramos las funciones F(M) como cero formas, identi-
caremos

.
Teorema 48 Una consecuencia de la denicin de

es que:

(df) = d(

f) (2.95)
Demostracion:
Sean X T
p
M y f F(N), entonces:
<

(df), X >|
p
=< df,

X >|
(p)
(2.96)
=

Xf |
(p)
= X(

f) |
p
X(

f) |
p
=< d(

f), X >|
p
Como esto vale para todo X T
p
M se sigue que:

(df) = d(

f) (2.97)
La transformacion

puede ser extendida naturalmente a tensores con-


travariantes de M a N por las reglas:

: T
r
0
(p) T
r
0
((p)) (2.98)
2.4. TRANSFORMACIONES ENTRE VARIEDADES 35
T

T
denida por:

T(
1
...
r
) := T(

1
...

r
) |
p
;
i
T

(p)
N (2.99)
De la misma manera

se generaliza a tensores covariantes de N a M as:

: T
0
s
((p)) T
0
s
(p) (2.100)
T

T
denida por:

T(X
1
...X
s
) |
p
= T(

X
1
...

X
s
) |
(p)
(2.101)
Denicion 49 La transformacin : MN se dice de rango s en p si
la dimensin de

(T
p
M) es s. As, si en p, s = m, entonces se llama
inyectiva y en este caso se debe cumplir que m n. Si en p, s = n, se
llama sobreyectiva y se tiene que m n.
Denicion 50 Una C
r
transformacin : MN se llama una inmer-
sin si p M, existe una vecindad U alrededor de p, tal que:

1
: (U) N M (2.102)
es de clase C
r
.
Por lo tanto si es una inmersin de M en N, entonces m n. Adems,
por el teorema de la funcin implcita es una inmersin si, y solo si, es
inyectiva en todo punto p M, por lo tanto

: T
p
M

(T
p
M) T
(p)
N (2.103)
es un isomorsmo. La imagen (M) es una subvariedead inmersa en N.
Por ejemplo, toda curva : I R M es una inmersin si
dx
i
((t))
dt
6= 0. As una subvariedad inmersa en N puede intersectarse a si misma.
Esto signica que : MN no necesariamente es una funcin 1-1 de M
sobre N, an cuando si es uno a uno cuando se restringe a una vencidad
sucientemente pequea de M.
Denicion 51 Una inmersin : M N se llama una inclusin si :
M (M) N es un homeomorsmo. De esta manera una inclusion es
una inmersin que adems es 1-1. Pero no toda inmersin uno a uno es una
inclusin.
36 CAPTULO 2. VARIEDADES
Denicion 52 Una transformacin : MN se llama un C
r
-difeomorsmo
si es una C
r
-transformacin, uno a uno, y
1
: N M es una C
r
-
transformacin.
En este caso m = n y es inyectiva y sobre.
Por el teorema de la funcin implcita se ve que si

es biyectiva en p,
entonces es un difeomorsmo en una vecindad U de p.
Si : MN es un difeomorsmo, entonces

: T
p
MT
(p)
N (2.104)
y
(
1
)

: T

p
MT

(p)
N (2.105)
son isomorsmos, y entonces podemos denir una transformacin :

: T
r
s
(p) T
r
s
((p)) (2.106)
por:
T(
1
...
s
, X
1
...X
r
) |
p
=:

T((
1
)

1
...(
1
)

s
,

X
1
...

X
r
) (2.107)

i
T

p
M y X
i
T
p
M
Esta transformacin enva tensores del tipo (r, s) sobre Ma tensores del tipo
(r, s) sobre N y preserva las relaciones de simetra y el lgebra tensorial. Por
ejemplo c(

T) =

(cT).
2.5. Clculo en variedades
Denicion 53 El operador diferenciacin exterior d es un operador lineal
d :
r

r+1
(2.108)
denido por la forma en que el acta sobre una 0-forma f F(M)
< df , X >:= Xf; X T
p
M (2.109)
y actuando sobre un campo de r-formas A = A

r
dx

1
dx

r
da el
campo de (r+1)-formas
dA := dA

r
dx

1
dx
r
(2.110)
2.5. CLCULO EN VARIEDADES 37
Veamos que esta denicin de dA es independiente de la base escogida.
Consideremos otra base {x
0
}:
A = A
0

1
r
dx
0
1
dx
0 r
(2.111)
Donde las componentes A
0

1
r
estn dadas por:
A
0

1
r
=
x

1
x
0
1

x
r
x
0
r
A

r
(2.112)
As dA en la coordenada primada est dada por:
dA = dA
0

r
dx
0
1
dx
0
r
=
= d(
x

1
x
0
1

x

r
x
0
r
A

r
) dx
0
1
dx
0
r
=
x

1
x
0
1

x
r
x
0r
dA

1
r
dx
0
1
dx
0
r
=

2
x

1
x
0
1
x
0
1
x

2
x
0
2

x

r
x
0
r
A

1
r
dx
0
1
dx
0
1
dx
0
r
=
x

1
x
0
1


2
x

r
x
0
1
x
0r
A

r
dx
0
1
dx
0
1
dx
0
r
(2.113)
Analicemos ahora un trmino que contenga segundas derivadas:

2
x

r
x
0
1
x
0r
dx
0
1
dx
0
1
(2.114)

2
x

r
x
0
1x
0
r
es simtrico en
1
y
1
, mientras dx
0
1
dx
0
1
es antisimtrico,
por lo tanto:

2
x
r
x
0
1
x
0
r
dx
0
1
dx
0
1
= 0 (2.115)
Entonces:
dA =
x

1
x
0
1

x
r
x
0r
dA

1
r
dx
0
1
dx
0
r
=
x

1
x
0
1

x

r
x
0r
dA

1
r

x
0
1
x

1
dx

1

x
0
r
x
r
dx
r
=
x

1
x
0
1
x
0
1
x

1

x

r
x
0r
x
0
r
x
r
dA

1
r
dx

1
dx
r
= dA

r
dx

1
dx
r
(2.116)
Notemos que esta denicin no sera independiente de las coordenadas
si en vez de usar el producto exterior se hiciera para el producto tensorial.
38 CAPTULO 2. VARIEDADES
De la denicin se sigue que:
d(A B) = dA B+ (1)
r
A dB; A
r
; B
s
(2.117)
Dada una 0-forma f , tenemos que en una base coordenada:
df =
f
x
i
dx
i
(2.118)
entonces:
d(df ) =

2
f
x
j
x
i
| {z }
sim etrico
dx
j
dx
i
| {z }
antisim etrico
(2.119)
Teorema 54 Para toda p-forma:
d(dA) = 0 (2.120)
La demostracin se deja como problema.
Lemma 55 Dado un campo vectorial X sobre M, existe una nica curva
maximal (t) sobre M que pasa a travs de cada p M tal que (0) = p y
cuyo vector tangente en el punto (t) es el vector X |
(t)
.
Demostracin:
Si {x
i
} son coordenadas locales, tal que la curva (t) tiene coordenadas
x
i
(t), y el vector X tiene componentes X
i
en esta base, entonces la curva
es solucin del sistema de ecuaciones diferenciales:
dx
i
dt
= X
i
(x
i
(t) x
n
(t)) (2.121)
Cuya solucin est garantizada por el teorema general de las ecuaciones
diferenciales ordinarias
Denicion 56 El ujo de un campo vectorial X sobre M es una transfor-
macion:
: MR M
(p, t) (p, t) :=
p
(t)
donde
p
(t) es la curva integral maximal del campo X que en t = 0 pasa por
p M .
2.5. CLCULO EN VARIEDADES 39
Si en (p, t), p es mantenido jo, entonces (p, t) es justamente la cur-
va integral
p
(t). Por otro lado, si mantenemos t = cte, (p, t) dene un
difeomorsmo:

t
: MM
p
t
(p)
el cual enva un punto p de la variedad al punto
t
(p), el cual est localizado
una distancia paramtrica t sobre la curva integral
p
(t).
Lemma 57
t
es un grupo local uniparamtrico de difeomorsmos, es decir

t
satisface:
i.-
0
es la identidad:

0
= id : MM (2.122)
ii.- La ley de composicin:

t

s
=
t+s
(2.123)
iii.- Existe un inverso:

1
t
=
t
(2.124)
De la denicin de un C
r
difeomorsmo se sigue que si
t
es un difeo-
morsmo, entonces:
(
t
)

: T
r
s
(p) T
r
s
(
t
(p))
T (
t
)

T |

t
(p)
2.5.1. Derivada de Lie
Denicion 58 La derivada de Lie, L
X
T, de un campo tensorial T con
respecto al campo vectorial X es denida por:
L
X
T |
p
:= lm
t0
1
t
{T |
p
(
t
)

T |

t
(p)
} (2.125)
Lemma 59 Dados T
1
, T
2
T
r
s
(M), X, Y campos vectoriales sobre M y
f F(M), la derivada de Lie cumple las siguientes propiedades:
1.- L
X
es R-lineal:
L
X
(T
1
+T
2
) = L
X
T
1
+L
X
T
2
2.- L
X
es una derivacin, es decir, satisface la regla de Leibniz:
L
X
(T
1
T
2
) = L
X
(T
1
) T
2
+T
1
(L
X
T
2
)
40 CAPTULO 2. VARIEDADES
1. Lemma 60 3.- L
X
(T
r
s
(M)) T
r
s
(M)
4.- L
X
conmuta con la operacin de contraccin.
5.- L
X
f = Xf =< df , X >
6.- Deniendo el conmutador de dos campos vectoriales por
[X, Y](f) := X(Yf) Y(Xf)
entonces el conmutador [X, Y] satisface la identidad de Jacobi:
[[X, Y], Z] + [[Y, Z], X] + [[Z, X], Y]
Esta operacion de conmutacin forma la llamada lgebra de Lie del
espacio (M)
7.- Es fcil comprobar esta lgebra si trabajamos en una base coorde-
nada {x
i
}, donde X=X
i

i
y Y=Y
i

i
, entonces:
[X, Y]f = (X
i
Y
j
x
i
Y
i
X
j
x
i
)
f
x
j
(2.126)
As, el vector [X, Y] tiene como componentes en la base coordenada
{x
i
}:
[X, Y] = (X
i
Y
j
x
i
Y
i
X
j
x
i
)

x
j
(2.127)
entonces:
L
X
Y = [X, Y] (2.128)
8.- L
X+Y
T =L
X
T+L
X
T+L
Y
T
9.- L
[X,Y]
= [L
X
, L
Y
] = L
X
L
Y
L
Y
L
X
10.- Las siguientes tres proposiciones son equivalentes:
i.- [X, Y] = 0
Lemma 61 ii.- L
X
L
Y
= L
Y
L
X
iii.- Si
s
y
t
son los difeomorsmos generados por los campos
X y Y respectivamente, entonces:

s

t
=
t

s
(2.129)
2.5. CLCULO EN VARIEDADES 41
Lemma 62 11.- Dado T T
r
s
(M) y una base coordenada {x
i
}, en-
tonces:
(L
X
T)

s
=
T

1
r

s
x
i
X
i
T
i
2
r

s
X

i
x
i

T

r1

s
X
r
x
i
+T

1
r
i
2

s
X
i
x

1
+ T

1
r

s1
i
X
i
x

s
(2.130)
Para una prueba de estas propiedades ver por ejemplo Foundations of
Dierential Geometry , S. Kobayashi y K. Nomizu. Interscience Publishers.
John Wiley & Sons.New York
Veamos la interpretacin geomtrica de L
X
T.
De la propiedad 10 se sigue que si la derivada de Lie de dos campos
vectoriales se anula, o equivalentemente, los campos conmutan, entonces si
un vector v T
p
M se desplaza una distancia paramtrica t a lo largo de la
curva integral de X y luego una distancia s a lo largo de la curva integral
del campo Y se llega a un punto q, el cual tambin se obtiene, si primero se
desplaza s a lo largo de la curva integral de Y y luego una distancia t a lo
largo de X
La derivada de Lie de un campo tensorial L
X
T depende, no solamente
de la direccin del campo vectorial X en p, sino tambin de la direccin de
X en puntos vecinos, y en este sentido es un objeto no local , por lo tanto
no es la generalizacin adecuada del concepto de derivada sobre R
n
para
escribir las ecuaciones de campo para la fsica.
2.5.2. Conexin y derivada covariante
La generalizacin adecuada de derivada parcial sobre una variedad es la
derivada covariante, la cual requiere para su denicin de una estructura
adicional denida sobre la variedad llamada la conexin.
Denicion 63 Una conexin en un punto p M es una funcin la cual
asigna a cada campo vectorial X en p un operador diferencial
X
denido
por

X
: (M) (M)
Y 7
X
Y
tal que:
42 CAPTULO 2. VARIEDADES
c-1.
X
YT es un tensor en el argumento X, i.e.

fX+gY
Z = f
X
Z +g
Y
Z (2.131)
f, g F(M), X, Y, Z (M)
esto quiere decir que el opreador
X
(derivada) en p depende solamente de
la direccin de X en el punto p.
c-2.
X
Y es lineal en Y, es decir

X
(Y+Z) =
X
Y+
X
Z (2.132)
R, X, Y, Z (M)
c-3.

X
fY = X(f)Y+
X
Y (2.133)
f F(M), X, Y (M)
Entonces decimos que
X
Y es la derivada covariante del campo vectorial
Y con respecto a la conexin en la direccin del vector X en el punto p.
De la propiedad c-1 Y es un campo tensorial del tipo (1, 1), la derivada
covariante de Y, el cual cuando se contrae con el campo vectorial X produce
el vector
X
Y, as la propiedad c-3 se puede escribir como
(fY) = df Y+fY (2.134)
Dadas las bases duales {E

} y {E

} en alguna vecindad U M, deno-


taremos a las componentes de Y en estas bases como Y

;
, as
Y = Y

;
E

(2.135)
Si n es la dimensin de la variedad, la conexin est determinada por las
n
3
funciones

sobre U M:

,
E

(2.136)
o equivalentemente
E

(2.137)
As, para un campo vectorial Y su derivada covariante est dada por:
Y = (Y

)
= dY

+Y

(2.138)
2.5. CLCULO EN VARIEDADES 43
Si tomamos una base dual coordenada {

} y {dx

} las componentes de
Y estn dadas por:
Y

;
=
Y

(2.139)
Bajo un cambio de base {E

},{E

} {E
0

},{E
0

} la ley de transfor-
macin de las componentes de la conexin se pueden encontrar con la ayuda
de las propiedes c-1, c-2 y c-3 en la denicin de conexin:

=
D
E
0

,
E
0

E
0

E
=
D

E
=
D

E
=
D

E
=

, E

,
E
E

hE

, E

i +

(2.140)
Si se utilizan bases coordenadas, {

},{dx

} y {
0

},{dx
0
}, entonces

= x
0
/x

= x

/x
0
, y tenemos que la ley de transformacin
de las componentes de la conexin toma la forma:

=
x
0
x

x
0

2
x

x
0
x
0
+
x
0
x

x
0
x

x
0

(2.141)
Debido al primer trmino en la anterior ecuacin las componentes de la
conexin no se transforman como las componentes de un tensor.
La derivada covariante puede ser extendida a tensores arbitrarios por las
siguientes reglas:
i.- Si T T
q
r
entonces T T
q
r+1
ii.- es lineal y conmuta con las contracciones.
iii.- es Leipniziana, es decir T, S campos tensoriales cualesquiera se
cumple que:
(TS) = TS +TS (2.142)
iv.- f F(M) entonces
f = df (2.143)
44 CAPTULO 2. VARIEDADES
Para encontrar las componentes de la derivada covariante de un tensor
arbitrario consideremos las bases duales {E

} y {E

}, entonces teniendo en
cuenta las propiedades ii y iii anteriores, se puede probar que (problema)

(2.144)
y de esta relacin, se obtienen las componentes en una base coordenada de
la derivada covariante de un tensor:
T

s
;
=
T

1
r

s
x

s
+... + (2.145)

r1

1
T

s

...

s
T

s1

2.5.3. Transporte paralelo


Sea T un campo vectorial y una curva sobre la variedad M, entonces
denimos
DT
t
=

t
T (2.146)
como la derivada covariante del campo T a lo largo de la curva , as si X
es el vector tangente a la curva (t) entonces
DT

s
t
= T

1
r

s
;
X

(2.147)
Consideremos el caso particular de un campo vectorial Y y escojamos
una base coordenada, en donde la curva tiene coordenadas x

(t) y X

=
dx

/dt, entonces
DY
t
=
Y

t
+

dx

dt
(2.148)
Denicion 64 Un tensor T se dice transportado paralelamente a lo largo
de la curva si
DT
t
= 0 (2.149)
Dada la curva (t) con puntos extremos p y q, se sigue de la teora
de las ecuaciones diferenciales que si la conexin es por lo menos de
clase C
1
, entonces se obtiene un nico tensor en el punto q transportando
paralelamente al tensor dado en el punto p a lo largo de la curva . As el
transporte paralelo a lo largo de la curva es una transformacin lineal del
2.5. CLCULO EN VARIEDADES 45
espacio T
r
s
(p) a T
r
s
(q), la cual preserva el lgebra tensorial y la operacin de
contraccin y as, en particular, si transportamos paralelamente una base
de T
p
al punto q obtenemos un isomorsmo entre T
p
y T
q
. Si la curva es
cerrada los puntos p y q pueden coincidir. El caso particular de transportar
paralelamente el vector tangente a la curva a lo largo de ella misma nos
conduce a la siguiente denicin:
Denicion 65 Sea X el vector tangente a la curva , entonces la curva es
una geodsica si su vector tangente es transportado paralelamente a lo largo
de la curva, i.e.
D
t

=
X
X = 0 (2.150)
La condicin que el vector tangente a la curva no cambie cuando se
transporta paralelamente se puede reemplazar por una condicin ms dbil,
pues lo que se exige es que el vector tangente permanezca paralelo a si mismo
cuando se transporta a lo largo de la curva, es decir

X
X = fX (2.151)
con f una funcin arbitraria sobre la curva. Sin embargo, no es difcil probar
que por una reparametrizacin de la curva siempre se puede encontrar un
f = 0.
Consideremos una base coordenada {/x

} y {dx

}, entonces la ecuacin
de las geodsicas, teniendo en cuenta las ecuaciones 2.148 y 2.150, toma la
forma
d
2
x

dt
2
+

dx

dt
dx

dt
= 0 (2.152)
Dados el punto y la velocidad inicial de la curva geodsica (0) y

(0)
existe una nica geodsica maximal (t) como una consecuencia de los teo-
remas de existencia y unicidad de las ecuaciones diferenciales ordinarias, en
otras palabras, dado el punto p M y X
p
T
p
M existe una nica curva
maximal (t) tal que (0) = 0 y (/t)

|
t=0
= X
p
y la cual depende con-
tinuamente de los valores iniciales. Este resultado nos permite denir una
base coordenada especial, llamadas coordenadas normales de Riemann, las
cuales son de gran utilidad cuando se trabaja localmente, es decir, en una
vecindad de un punto de la variedad. Para construir estas coordenadas es
necesario denir la transformacin exponencial:
Denicion 66 Denimos la transformacin exponencial
exp : T
p
M M
X 7 q = exp(X)
46 CAPTULO 2. VARIEDADES
por la relacin
exp(X) := (1) (2.153)
en donde (t) es la nica geodsica que pasa por el punto p y tiene vector
tangente X.
Como se puede demostrar, la transformacin exponencial siempre existe
y es 1-a-1en alguna vecindad del punto p. Puesto que T
p
M es un espacio
vectorial real n-dimensional, este es isomorfo a R
n
, y lo podemos identicar
con l, y as usar la transformacin exponencial para denir una carta coor-
denada en la vecindad del punto p M, llamada coordenadas normales de
Riemann. Asocindole el origen de R
n
al punto p, estas coordenadas tienen
la propiedad que las geodsicas a travs del punto p son transformadas en
lneas rectas que pasan a travs del origen de R
n
. De la ecuacin de las
geodsicas en coordenadas de Riemann (ver ecuacin 2.152) se deduce que
las componentes de la conexin se anulan, y es por esta razn que las coor-
denadas normales de Riemann tienen una especial utilidad para efectos de
clculo, adems, como veremos ms adelante tambin tienen un signicado
fsico.
Denicion 67 Dada una conexin sobre la variedad M denimos la
torsin como una transformacin
T : (M) (M) (M)
(X, Y) 7 T(X, Y)
denida por
T (X, Y) :=
X
Y
Y
X[X, Y] (2.154)
Dos primeras propiedades que se pueden deducir de la denicin de la
torsin son:
T(X, Y) = T(Y, X) (2.155)
T(fX, gY) = fgT(X, Y) ; f, g F(M) (2.156)
Problema: demostrar estas propiedades.
Ayuda:

fX
gY = f
X
gY = fX(g)Y+fg
X
Y (2.157)
[fX, gY] = L
fX
gY
= fX(g)Y+gL
fX
Y
= fX(g)YgL
Y
fX (2.158)
2.5. CLCULO EN VARIEDADES 47
Denicion 68 Denamos el tensor torsin T T
1
2
por:
T(, X, Y) := h, T(X, Y)i (2.159)
A partir de esta denicin, y tomando una base coordenada, veamos que
las componentes del tensor torsin estn dadas por:
T

(2.160)
Para demostrar esta relacin consideremos las bases duales coordenadas
{/x

} y {dx

}. De la denicin del tensor torsin tenemos


h, T(X, Y)i = h,
X
Y
Y
X[X, Y]i (2.161)
entonces, de las expresiones para las derivadas covariante y de Lie de un
tensor en componentes

X
Y =
Y

(2.162)

Y
X =

X

(2.163)
[X, Y] = L
X
Y =

Y

(2.164)
entonces

X
Y
Y
X[X, Y] =

(2.165)
a partir de la cual se llega a la ecuacin 2.160. Si tomamos una base cualquiera
{E

} y {E

} el tensor torsin toma la forma


T =

(2.166)
Denicion 69 Una conexin se llama libre de torsin si T 0, o equiv-
alentemente las componentes son simtricas en sus ndices inferiores, i.e.
si

(2.167)
En lo sucesivo trabajaremos con conecciones libres de torsin, y por lo
tanto en este caso se tiene la siguiente relacin entre la derivada de Lie y la
derivada covariante:
L
X
Y =
X
Y
Y
X (2.168)
48 CAPTULO 2. VARIEDADES
que para el caso de un tensor cualquiera, en componentes coordenadas, toma
la forma (problema):
(L
X
T)

1
r

s
= T

s
;
X

s
X

1
;

T

r1

s
X

r
;
+T

s
X

;
1
+
+T

s1

;
s
(2.169)
Tambin podemos encontrar la relacin entre la derivada covariante y la
exterior:
(dA)

= (1)
p
A
[;]
(2.170)
o equivalentemente
dA = A
;
dx

dx

dx

dx

(2.171)
en donde A es una p-forma. Problema: Demostrar esta relacin por induc-
cin. A pesar de estas relaciones entre las derivadas exterior y de Lie con la
derivada covariante, las primeras son independientes de la conexin denida
sobre la variedad.
2.5.4. Tensor de Riemann
Volvamos al concepto de transporte a lo largo de una curva. Consid-
eremos una curva cerrada y supongamos que partimos de un punto p y
transportamos paralelamente al vector X
p
a lo largo de la curva, regresan-
do al punto inicial, entonces obtendremos el vector X
0
p
que en general ser
diferente al vector inicial. Si consideramos, ahora, otra curva (t) cerrada
que pase tambin por el punto p y transportamos de nuevo al vector X
p
a lo
largo de esta nueva curva, obtendremos un vector X
00
p
, que, en general, ser
diferente a X
p
y X
0
p
. Esta no integrabilidad del transporte paralelo corre-
sponde al hecho que, en general, las derivadas covariantes no conmutan. El
tensor curvatura de Riemann nos da una medida de esta no conmutativi-
dad.
Denicion 70 Denamos la funcin curvatura por la relacin:
R : (M) (M) (M) (M)
(X, Y, Z) 7 R(X, Y, Z)
denida por
R(X, Y, Z) :=
X
(
Y
Z)
Y
(
X
Z)
[X,Y]
Z (2.172)
2.5. CLCULO EN VARIEDADES 49
Problema: A partir de esta denicin mostrar que la funcin curvatura
es lineal en las tres entradas X, Y y Z.
Denicion 71 Denamos el tensor de Riemann R T
1
3
por la relacin:
R :

(M) (M) (M) (M) R


(, X, Y, Z) 7 R(, X, Y, Z)
denido por
R(, X, Y, Z) = h, R(X, Y, Z)i (2.173)
Problema: Eligiendo una base coordenada mostrar que las componentes
del tensor de Riemann estn dadas por
R

(2.174)
Problema: A partir de la denicin mostrar que el tensor de Riemann
tiene las siguiente propiedades de simetra:
R

= R

()
= 0 (2.175)
R

[]
= 0 R

+R

+R

= 0 (2.176)
Adems la derivada covariante del tensor de Riemann satisface las iden-
tidades de Bianchi:
R

[;]
= 0 (2.177)
Una contraccin del tensor de Riemann nos conduce a otro tensor, el
cual juega un papel importante, no solo en la geometra, sino tambin el la
fsica.
Denicion 72 Denimos el tensor de Ricci por:
R

:= R

(2.178)
Nota: Se puede probar que el transporte paralelo de un vector cualquiera
a lo largo de toda curva cerrada sobre la variedad es localmente integrable,
es decir si X
p
= X
0
p
para cada p M, s y solamente s R

= 0, p M;
en este caso se dice que la conexin es plana.
50 CAPTULO 2. VARIEDADES
2.5.5. Tensor mtrico
Denicion 73 Un tensor mtrico g en un punto p M es un tensor
simtrico del tipo T
0
2
(p).
As, una mtrica sobre M es un campo tensorial simtrico g.
Ahora, dada una mtrica podemos denir la funcin norma de un
vector X T
p
M, como
||
g
: T
p
M R
X 7 |X|
g
:=
p
|g(X, X)|
(2.179)
A partir de esta denicin podemos introducir el concepto de ngulo
entre vectores por la relacin (si no se presenta inconsistencia no escribiremos
el subndice g para referirse a la norma inducida por la mtrica):
cos ](X, Y) :=
g(X, Y)
[|g(X, X)| |g(Y, Y)|]
1/2
(2.180)
la cual es vlida X, Y T
p
M, y |X| 6= 0 y |Y| 6= 0. Con estemos llamaremos
vectores ortogonales aquellos que cumplan la condicin g(X, Y) = 0.
Dadas las bases duales {E

} y {E

}, el tensor mtrico g en componentes


toma la forma
g = g

(2.181)
g

= g(E

, E

) (2.182)
Las magnitudes denidas por la mtrica en el espacio tangente estn
relacionadas con las magnitudes sobre la variedad por la siguiente denicin:
Denicion 74 La longitud del camino estre los puntos de la variedad p =
(a) y q = (b) situados sobre la curva (t), con vevtor tangente /t, y tal
que g(/t, /t) tiene el mismo signo sobre todos los puntos a lo largo de
la curva (t), est denida por la integral
L
ab
=
Z
b
a
|g(/t, /t)|
1/2
dt (2.183)
En una base coordenada la ecuacin anterior toma la forma explcita
L
ab
=
Z
b
a

dx

dt
dx

dt

dt (2.184)
2.5. CLCULO EN VARIEDADES 51
y por esta razn escribiremos, simblicamente, la distancia a lo largo de una
curva entre dos puntos innitesimalmente cercanos en la forma
ds
2
= g

dx

dx

(2.185)
Denicion 75 Una mtrica g se llama no degenerada en un punto p de la
variedad si no existe un vector no nulo X T
p
M tal que g(X, Y) = 0 para
todo vector Y T
p
M.
En trminos de componentes coordenadas de g la mtrica es no degen-
erada si
det |g

| 6= 0 (2.186)
En estas condiciones podemos denir un tensor del tipo T
2
0
tal que sus
componentes g

, en la base coordenada dada, estn determinadas por la


relacin
g

(2.187)
es decir, la matriz

g

formada con las componentes del tensor es la inversa


de la matriz (g

) formada con las componentes de g. A las componentes g

se le llaman las componentes contravariantes del tensor mtrico, y esta de-


nominacin queda justicada, pues la denicin 2.187 implica que podemos
establecer un isomorsmo entre las componentes covariantes y contravari-
antes de tensores de la siguiente forma:
Lemma 76 Sea g una mtrica no degenerada en el punto pT
p
M, entonces
la transformacin
T
p
M T

p
M
X 7 C
1
1
(g X)
dene un isomorsmo.
Si g

y X

son las componentes del tensor mtrico g y del vector X,


entonces las componentes de la 1-forma C
1
1
(gX), que las denotaremos por
X

estn dadas por


X

= g

(2.188)
y puesto que la mtrica es no degenerada, utilizando la ecuacin 2.187 ten-
emos que podemos despejar las componentes del vector X en trminos de
las componentes de C
1
1
(g X), pues
g

= g

(2.189)
=

= X

52 CAPTULO 2. VARIEDADES
A esta transformacin y su inversa, se le conoce en la literatura como
subir y bajar ndices. As, dada una mtrica no degenerada podemos
hablar de las componentes covariantes X

y contravariantes X

de un vec-
tor Xlas cuales estn relacionadas biunvocamente por las ecuaciones 2.188
y ??. Esta operacin se puede extender para subir o bajar cualquier ndice
tensorial (o ndices por aplicacin sucesiva de la misma operacin). Por ejem-
plo, consideremos un tensor de rango 3 del tipo T
2
1
, con componentes T

,
entonces aplicando las ecuaciones 2.188 y ?? podemos obtener los siguientes
tensores:
T

= g

(2.190)
T

= g

(2.191)
T

= g

(2.192)
T

= g

(2.193)
T


= g

(2.194)
T

= g

(2.195)
T

= g

(2.196)
El isomorsmo inducido por el tensor mtrico signica, entonces, que
podemos considerar a todos los tensores de tercer rango cuyas componentes
estn relacionadas por las ecuaciones anteriores, como diferentes representa-
ciones del mismo objeto abstracto T. En lo sucesivo se asumir sto para
todos los tensores. Es de anotar que en este caso se hace necesario respetar el
orden de los ndices en las componentes de tensores tanto covariantes como
contravariantes. Un caso particular de importancia lo constituye el tensor
mtrico g, en donde las componentes covariantes g

, contravariantes g

,
y mixtas

, relacionadas por la ecuacin 2.187 constituyen diferentes rep-


resentaciones del mismo objeto geomtrico, el tensor T.
Denicion 77 Denimos la signatura del tensor mtrico g por:
sig.(g) = #de valores propios positivos menos
#de valores propios negativos
Si el campo tensorial g es no degenerado y continuo, entonces la signatura
del tensor mtrico g es constante sobre toda la variedad. Siempre es posible
elegir una base adecuada {E

} para el espacio tangente T


p
M, de tal forma
2.5. CLCULO EN VARIEDADES 53
que las componentes covariantes del tensor mtrico tomen los valores 1,
i.e.
g

= g(E

, E

) =

(2.197)
en donde los elementos

estn denidos por

= diag.(+1, +1, , +1
| {z }
, 1, 1, , 1
| {z }
)
1
2
(n +s)
1
2
(n +s)
en donde s = sig.(g), y n la dimensin de la variedad. Para el caso particular
de sig.(g) = n la mtrica es denida positiva, y en este nico caso el tensor
mtrico dene una mtrica en sentido estricto. Otro caso de importancia en
fsica en la mtrica con sig.(g) = 2 n, es decir
g

= diag.(+1, 1, 1, , 1) (2.198)
la cual se conoce con el nombre de mtrica Lorentziana o Minkowskiana.
Esta mtria, para efectos de la fsica es equivalente a otra con signatura
n2, pues el nico valor propio positivo, en el primer caso y negativo en el
segundo, se interpreta como la coordenada temporal.
En las presentes notas asumiremos la mtrica con signatura 2 n, y
deniremos la estructura de conos de luz del espacio-tiempo de la siguiente
forma:
Denicion 78 Una mtrica Lorentziana g sobre la variedad M divide a los
vectores no nulos de T
p
M en tres clases disjuntas:
1- X T
p
M se llama de tiempo si g(X, X) > 0
2- X T
p
M se llama de espacio si g(X, X) < 0
3- X T
p
M se llama de luz o nulo si g(X, X) = 0
Si la mtrica es no degenerada y continua, los vectores nulos de T
p
M
forman un doble cono (el cono de luz) el cual separa a los vectores de tiempo
de los vectores de espacio.
2.5.6. Relacin entre conexin y mtrica
Hasta en momento la conexin y la mtrica son dos objetos denidos
sobre la variedad de manera independiente. Pero existe una relacin entre
ellos si consideramos la conexin que deje invariante el producto punto en-
tre vectores, es decir, dada una mtrica existe una nica conexin libre de
teorsin, denida por la condicin
g = 0 g
;
= 0 (2.199)
54 CAPTULO 2. VARIEDADES
y as, con esta condicin el transporte paralelo de vectores preserva el pro-
ducto escalar denido por g. Para encontrar la forma explcita de la conex-
in consideremos la foema explcita de la derivada covariante de un tensor,
ecuacin 2.145, entonces
0 =
g

(2.200)
entonces, si denimos

(2.201)
y rotamos siclcamente los ndices , y sumamos las dos primeras ecua-
ciones y substraemos la tercera, y asumiendo que

, obtenemos
g

+
g

= 2

= 2g

(2.202)
y despejando los elementos de la conexin, llamados los smbolos de Christof-
fer de segunda clase, obtenemos

=
1
2
g

+
g

(2.203)
Con esta conexin mtrica el tensor de Riemann tiene las propiedades
de simetra adicionales
R
()
= 0 R

= R

(2.204)
R

= R

(2.205)
Estas relaciones implican que el tensor de Ricci es simtrico:
R

= R

(2.206)
Problema: probar estas relaciones de simetra, y adems, mostrar que el
nmero de componentes independientes del tensor de Riemann es n
2
(n
2

1)/12, con n la dimensin de la variedad, y por tanto n(n + 1)/2 de estas


componentes pueden estar dadas en trminos de las componentes indepen-
dientes del tensor de Ricci.
Para los siguientes casos particulares tenemos:
si n = 1 entonces R

= 0
si n = 2 entonces R

solo tiene una componente independiente, la


cual es proporcional al escalar curvatura R.
si n = 3 el tensor de Ricci determina completamente al tensor de Rie-
mann.
2.5. CLCULO EN VARIEDADES 55
2.5.7. Campos de Killing
Denicion 79 Un difeomorsmo : MM se llama una isometra si
este deja la mtrica invariante, i.e., si la mtrica transformada

g = g en
todo punto de M.
Esto implica, entonces, que la transformacin

: T
p
MT
(p)
M
preserva el producto escalar:
g(X, Y) |
p
=

g(

X,

Y) |
(p)
= g(

X,

Y) |
(p)
(2.207)
Ahora, si el grupo uniparamtrico de isomorsmos
t
generado por un
campo vectorial K es un grupo de isometrias (es decir, si para cada TtT
la transformacin
t
es una isometra), entonces el campo vectorial K se
denomina un campo vectorial de Killing. As, la derivada de Lie de la mtrica
con respecto al campo vectorial K se anula,
L
K
g = lm
t0
1
t
(g
t
g) = 0 (2.208)
pues, g =
t
g por denicin de isometra. Ahora, de la denicin de derivada
de Lie
(L
K
g)

= 2K
(;)
(2.209)
Problema: demostrar esta relacin. Por lo tanto, un campo vectorial de
Killing satisface la ecuacin diferencial:
K
;
+K
;
= 0 (2.210)
llamada ecuacin diferencial de Killing.
Inversamente, si K es un campo vectorial que satisface la ecuacin difer-
encial de Killing, entonces

t
g |
p
= g |
p
+
Z
t
0
d
dt
0
(
t
g |
p
) dt
0
por el teorema fundamental del clculo integral,
= g |
p
+
Z
t
0
d
ds
(
t
0


s
g)
s=0
|
p
dt
0
56 CAPTULO 2. VARIEDADES
puesto que
t
es un grupo uniparmetrico de isomorsmos y as
t

s
=

s

t
=
t+s
,
= g |
p
+
Z
t
0

t
0

d
ds

s
g

s=0
|
p
dt
0
= g |
p

Z
t
0

t
0

L
K
g |

|
p
dt
0
= g |
p
pues de la denicin de derivada de Lie se obtiene que
(L
X
Y)

=
d
dt
(
t
Y)

(2.211)
por lo tanto
Teorema 80 K es un campo vectorial de Killing si y solo si satisface la
ecuacin diferencial de Killing.
Una variedad, en general, no tiene simetrias y as no admite campos
vectoriales de Killing. Sin embargo, una variedad especial puede admitir r
campos vectoriales de Killing linealmente independientes K
i
i = 1, 2, ..., r.
Ahora se puede mostrar que el conmutadoe de dos campos de Killing es de
nuevo un campo de Killing, i.e.,
[K
i
, K
j
] = c
l
ij
K
l
(2.212)
Esto signica que el conjunto de campos vectoriales de Killing sobre
una variedad dada, forman un lgebra cerrada bajo el producto denido
por el conmutador , la cual recibe el nombre del lgebra de Lie asociada
a las simetrias de la variedad. Las constantes c
l
ij
se llaman constantes de
estructura del correspondiente grupo de Lie. Adems, si n es la dimensin
de la variedad, entonces el nmero r de campos de Killing est acotado,
i.e., 0 r
1
2
n(n + 1), as, el grupo local de difeomorsmos generado por
estos campos vectoriales de Killing es un grupo de Lie de r parmetros,
llamado el grupo de simetrias de la variedad. Una variedad puede poseer
otras simetrias, tales como la inversin en un punto, o la reexin en un
plano, pero estas simetrias no estn generadas por un campo vectorial de
Killing. La conexin de estas simetrias con la fsica est en el teorema de
Noether que establece que para cada simetra de la variedad, generada por
un campo vectorial de Killing existe una cantidad dinmica del sistema que
se conserva.
Una variedad que admite r =
1
2
n(n + 1) campos vectoriales de Killing,
se llama de simetra maximal.
2.5. CLCULO EN VARIEDADES 57
Lemma 81 La variedad Lorentziana n-dimensional plana es de simetra
maximal. Por variedad plana se quiere decir una variedad para la cual las
conecciones son nulas globalmente o equivalentemente el escalar de curvatura
se anula en toda la variedad R = 0.
Para demostrar este lema veamos en primer lugar que cada campo de
Killing dado K(si este existe) est determinado unvocamente por los valores
de K

|
p
y K
;
|
p
en cualquier punto p M. Para este n, notemos que el
conmutador de las segundas derivadas covariantes del campo K estn dadas
por:
K
;;
K
;;
= R

(2.213)
Ahora, de la relacin R

[]
= 0 para el tensor de Riemann se tiene que,
como K satisface la ecuacin de Killing, entonces
K
;;
= R

(2.214)
Por lo tanto, dados K

y K
;
para algn punto p M, entonces por
la teora de las ecuaciones diferenciales, conocemos K sobre la variedad.
Entonces, para el caso de una variedad plana, esta ecuacin se reduce a

2
K

= 0 (2.215)
cuya solucin general es de la forma
K

(x) = a

+b

(2.216)
con a

y b

son constantes de integracin, con la condicin b

= b

, lo
cual se sigue de la ecuacin de Killing.
As, tenemos
1
2
n(n 1) constantes independientes b

ms n constantes
a

, lo cual conduce a un total de


1
2
n(n + 1) campos vectoriales de Killing
independientes, los cuales pueden ser escogidos de la siguiente manera: (
ndice de componentes de vectores y j ndice que numera los diferentes vec-
tores)
K
(j)

(x) =
j

; , j = 1, 2, ..., n (2.217)
K
(ij)

(x) =
i

x
j

x
i
; , i, j = 1, 2, ..., n (2.218)
Los n vectores K
(i)
representan las translaciones y los
1
2
n(n1) vectores
K
(ij)
representan rotaciones, lo cual dada la signatura Lorentziana de la
mtrica contiene tanto transformaciones de Lorentz puras, como rotaciones
espaciales de los ejes.
58 CAPTULO 2. VARIEDADES
Parte II
Relatividad General
59
Captulo 3
Los postulados de la
relatividad general
En este ca ptulo daremos los postulados fundamentales sobre los cuales es-
tbasada la teoria general de la relatividad. En la primera parte mostraremos
como, el principio de equivalencia, conduce a una geometrizacin de la
fuerza de gravedad, lo cual nos conducir a la formulacin de los postula-
dos.
3.1. La ley de gravitacin universal
La ley de gravitacin universal establece que entre todo par de cuerpos
en el universo existe una interaccin (fuerza atractiva), la cual solo depende
de la posicin relativa de los cuerpos y de una propiedad intrnseca, llamada
carga o masa gravitacional, la cual satisface la tercera ley de Newton:

F
12
=
Gm
G
1
m
G
2
r
2
r =

F
21
(3.1)
en donde m
G
1
y m
G
2
son las masas gravitacionales, r
1
y r
2
los vectores posicin
de los cuerpos, r = r
2
r
1
, G una constante (la constante de gravitacin
universal G = 6,6725910
11
m
3
kg
1
s
2
) y

F
12
es la fuerza que el cuerpo
2 ejerce sobre el 1. A partir de esta expresin, es claro que sta no est en
acuerdo con los principios de la teora especial de la relatividad, pues la ley
de fuerza es independiente del tiempo, y por lo tanto describe una interaccin
instantanea. Esta situacin motiv a Einstein a buscar la forma relativista
de la ley de gravitacin universal.
61
62CAPTULO3. LOS POSTULADOS DE LARELATIVIDADGENERAL
Esta ley de gravitacin universal de Newton contiene dos postulados
fundamentales, los cuales se constituirn en el punto de partida para la
formulacin de la teora general de la relatividad:
En primer lugar, esta interaccin gravitacional es universal, es decir,
todos los objetos del universo tienen carga gravitacional (compare la
situacin con la carga elctrica).
En segundo lugar, si consideramos la fuerza que un cuerpo dado, e.g. la
tierra con masa gravitacional M
G
T
, sobre otros, con masa gravitacional m
G
,
y aplicamos la segunda ley de Newton para estudiar el movimiento de estas
masas en presencia de la primera, tenemos que
GM
G
T
m
G
r
2
r = m
I
a (3.2)
en donde m
I
denota la masa inercial del cuerpo con gravitacional m
G
, en-
tonces la aceleracin del curpo debido a M
G
T
est dada por
a =
GM
G
T
m
G
r
2
m
G
m
I
r (3.3)
Si jamos la masa de la tierra, la aceleracin de cualquier otro cuer-
po depende solamente de la relacin entre su masa gravitacional e inercial.
Galileo fue el primero en mostrar que la aceleracin de un cuerpo cualquiera
en un punto dado sobre la supercie terrestre era independiente de su masa
inercial, este hecho, conocido como la ley de caida de los cuerpos de Galileo,
muestra, por la ecuacin anterior, que para todos los cuerpos la relacin
entre su masa gravitacional y su masa inercial es independiente de la nat-
uraleza (composicin, forma, etc) del cuerpo. Este principio, adoptado por
Newton, lo que explica la introduccin de la constante de gravitacin uni-
versal, condujo a medir la masa gravitacional en las mismas unidades que
la inercial, auncuando los dos conceptos de masa son completamente inde-
pendientes. Este principio, hoy conocido como el Principio de Equivalencia
Dbil (PED) implica, entonces, que el movimiento de cualquier cuerpo, in-
dependiente de su masa, es el mismo, dadas las mismas condiciones iniciales,
posicin y velocidad.
Otra forma de formular el PED es a travs del famoso experimento imag-
inario (gedanken Experiment) del ascensor. Consideremos un ascensor y un
observador en su interior, y supongamos las siguientes dos situaciones: el
ascensor est en el espacio libre y es acelerado por alguna fuerza (motores)
a 9,8m/s, y el ascensor est en reposo sobre la supercie de la tierra. En-
tonces, debido a la equivalencia entre masa inercial y gravitacional, dejando
3.1. LA LEY DE GRAVITACIN UNIVERSAL 63
caer partculas en el interior del ascensor no se puede determinar si ste se
encuentra en reposo en el campo gravitacional, o si est acelerado por una
fuerza externa, asumiendo que el escensor es lo sucientemente pequeo para
que el campo gravitacional en su interior sea uniforme.
Por otra parte, de acuerdo con la teora especial de la relatividad, y en
particular, teniendo en cuenta la equivalencia entre masa y energa, Einstein
generaliz el PED y postul que ningn experimento realizado dentro de la
caja poda determinar la diferencia entre un sistema uniformente acelerado y
un campo gravitacional uniforme. Este principio se conoce como el principio
de Equivalencia de Einstein (PEE). Por ejemplo, consideremos un tomo
de hidrgeno, cuya masa es menor que la suma de las masas del electrn y
el protn que lo constituyen, pues este es un sistema ligado al cual hay que
darle energa para separar a las partculas que lo conforman y la relacin
entre su masa inercial y gravitacional sigue siendo una constante. As, de
acuerdo con el PEE el campo gravitacional, esto signica que el campo
gravitacional se acopla de la misma manera con todas las formas de energa
y materia.
El PEE tiene consecuencias profundas sobre la estructura del espacio-
tiempo. En relatividad especial, al igual que en cualquier teora fsica que
no involucre al campo gravitacional, se parte de la denicin de sistema de
referencia inercial, considerando una partcula libre, la cual por denicin,
se encuentra no acelerada. Entonces, con respecto a ella podemos denir el
concepto de la clase de sistemas de referencia inerciales, como aquellos para
los cuales esta partcula se encuentra en reposo o movimiento uniforme. La
descripcin matemtica de estos sistemas se hace a travs de un sistema
de reglas y relojes, calibrados adecuadamente, los cuales se extiende a todo
el espacio, y conducen a describir el espacio-tiempo como una variedad 4-
dimensional plana, es decir libre de conneccin, y para la cual podemos elegir
las coordenadas naturales, denidas por las curvas integrales de los campos
de Killing K
(j)

(x) =
j

; , j = 1, 2, ..., n.
El punto de partida bsico para la anterior construccin est en la suposi-
cin de considerar la existencia de una partcula libre de fuerzas, con respecto
a la cual podemos denir el movimiento acelerado. Dado el caracter universal
de la gravedad, todas las formas de materia interactuan gravitacionalmente,
no es posible disponer de una par

tcula gravitacionalmente neutra con re-


specto a la cual podamos denir la aceleracin debida a la gravedad. As, la
aceleracin de la gravedad no es un concepto que pueda ser denido, y por
lo tanto carece de signicado experimental, y reemplazaremos el concepto
de movimiento libre (no acelerado) por el de sistema en caida libre.
64CAPTULO3. LOS POSTULADOS DE LARELATIVIDADGENERAL
As, siguiendo los pasos para construir un sistema de referencia inercial
en fsica no gravitacional, partimos de una partcula en caida libre, es decir,
sobre la cual no actuan fuerzas (electromagnticas, dbil, etc). Notemos en
este punto de la discusin, que estamos trabajando en el espritu de Mach,
en cuanto a que ya no estamos haciendo referencia a una partcula libre de
fuerzas (incluyendo la gravitacional). Si asociamos a esta partcula en caida
libre un sistema de reglas rgidas y relojes calibrados de la manera usual,
nos encontramos con el problema, debido a la inhomogeneidad del campo
gravitacional, que otra partcula en caida libre no seguira las lineas rec-
tas denidas por el sistema de coordenadas cannicas asociadas al sistema
de referencia de la primera partcula, es decir partculas en caide libre en
otras regiones del espacio aparecerian como aceleradas con respecto a la
primera.
El concepto de sistema de referencia inercial asociado a una partcula en
caida libre, solo tiene sentido para una regin lo sucientemente pequea
en la vecindad de la partcula. Notemos que este hecho corresponde, en el
contexto de las variedades, a la existencia en todo punto de la variedad, de
un sistema de coordenadas normales de Riemann, con respecto a las cuales
se anulan las componentes de la conexin en ese punto. Adems que ya no es
posible comparar velocidades, aceleraciones, etc. entre partculas localizadas
en otras regiones, pues los sistemas de referencia inerciales asociados a las
diferentes partculas, son independientes. Este hecho de no poder compara
vectores en diferentes puntos de la variedad, signica la dependencia del
transporte paralelo de vectores, y por lo tanto la dependencia de la curvatura
de la variedad.
An cuando los argumentos anteriores, sobre el comportamiento de la
fuerza de la gravedad (PEE) y su relacin intuitiva con las variedades, no es
una demostracin de la necesidad de describir la gravitacin a travs de la
geometra del espacio-tiempo, estas consideraciones fueron sucientes para
que Einstein postulara la idea que la gravitacin es una manifestacin de la
curvatura del espacio-tiempo, y que esta curvatura sera determinada por
todas las formas de materia-energa.
3.2. Postulados de la TGR
Habiendo motivado la geometrizacin de la fuerza de la gravedad, pasare-
mos a establecer los cuatro postulados fundamentales de la teora general
de la relatividad.
Axiom 82 La variedad espacio-tiempo:
3.2. POSTULADOS DE LA TGR 65
El espacio-tiempo lo constituyen todos los eventos fsicos el cual ser de-
scrito por el par (M, g), donde Mes una variedad suave (C

) 4-dimensional
conectada de Hausdorf y g es una mtrica Lorentziana sobre M.
Sobre la variedad M estn denidos todos los campos de materia que se
consideren, por ejemplo, el campo electromagntico, el campo de neutrinos,
etc., los cuales describen el contenido de materia en el espacio-tiempo.
Los campos de materia obedecen ecuaciones que se expresan como rela-
ciones entre tensores sobre M, en las cuales las derivadas con respecto a las
coordenadas son derivadas covariantes, con respecto a la conexin simtrica
denida por la mtrica g.
Si denotamos los campos de materia incluidos en la teora por
...
(i) ...
(x),
donde el sibndice i denota los diferentes campos de materia, entonces, los
siguientes dos postulados sobre la naturaleza de los campos
...
(i) ...
son
comunes a la teora especial y a la teora general de la relatividad:
Axiom 83 Causalidad local:
Las ecuaciones que obedecen los campos de materia deben ser tales que,
si U M es una vecindad convexa y p, q U, entonces, una seal puede ser
enviada en U entre p y q si y solamente si p y q pueden ser unidos por una
c
1
curva contenida en U, cuyo vector tangente en todas partes es diferente
de cero y es como de tiempo o como de luz (esta curva se llama no como de
espacio).
Otra forma equivalente de establecer espe postulado, y fsicamente ms
signicativo, se puede dar en trminos del problema de Cauchy para los
campos de materia: Sea p U tal que toda curva no como de espacio a
travs de p intersepta la supercie como de espacio x
0
= cte. dentro de U.
Sea F el conjunto de puntos en la hipersupercie x
0
= cte. los cuales pueden
ser alcanzados por curvas no como de espacio en U a travs de p. Entonces, se
exige que los valores de los campos de materie en p deben estar unvocamente
determinados por los valores del campo y sus derivadas a un orden nitosobre
F. Es decir, las ecuaciones de movimiento (ecuaciones diferenciales) que
determinan los campos (leyes de la fsica) involucran derivadas hasta un
orden n nito (usualmente hasta orden 2) tienen solucin nica, la cual est
determina por las condiciones de frontera, es decir, el valor de los campos y
sus primeras n 1 derivadas, dadas sobre hipersupercie interseptada por
el cono de luz pasado del punto p.
Axiom 84 Conservacin local de la energa:
66CAPTULO3. LOS POSTULADOS DE LARELATIVIDADGENERAL
Existe un tensor simtrico T

= T

(,
i
, ...) = T

que es funcin
de los campos de materia y sus derivadas, hasta un orden nito, tal que:
i.- T

= 0 sobre U M abierto, si y solo si


i
= 0 para todo i sobre
U.
ii.- T

;
= 0
La primera condicin expresa que todos los campos de materia con-
tribuyen a la energa. A partir de la segunda condicin, si la variedad espacio-
tiempo admite un campo vectorial de Killing K entonces, obtenemos una
ley de conservacin, pues sea
p

= T

(3.4)
las componentes del vector Pobtenido por contraccin del tensor momentun-
energa con el campo de Killing, entonces
p

;
= T

;
K

+T

K
;
= 0 (3.5)
pues T

, T

;
= 0 y K satisface la ecuacin de Killing, i.e., K
(;)
= 0. As,
si D es una regin compacta y orientable, por el teorema de Gauss se tiene
que
Z
D
p

Z
D
p

;
dv = 0 (3.6)
por lo tanto, este resultado se puede interpretar fsicamente, pues el ujo
de la componente del tensor momentun-energa enla direccin del campo de
Killing sobre una supercie cerrada se anula, lo cual es la generalizacin del
teorema de Noether, el cual establece que a toda simetra le corresponde
una ley de conservacin. En el caso particular de la variedad Lorentziana
plana, asociado a los diez vectores de Killing linealmente independientes
estn las diez leyes de conservacin usuales, para la energa, el momentun y
el momentun angular total.
3.3. El tensor mtrico y el postulado de causalidad
Consideremos la ecuacin de las geodsicas en alguna base coordenada
d
2
x

ds
2
+

dx

ds
dx

ds
= 0 (3.7)
en donde s es un parmetro afn. El parnetro afn de una curva geodsica
est determinado salvo un factor aditivo y uno multiplicativo constantes, es
3.3. EL TENSOR MTRICO Y EL POSTULADO DE CAUSALIDAD 67
decir, salvo una transformacin de la forma s
0
= as +b, con a, b constantes.
La libertad de escoger b corresponde a la libertad para elegir el punto inicial
de la curva (0), y el parmetro a corresponde a la libertad de normalizar
el vector tangente a la curva X por un factor de escala constante, X
0
=
1
a
X.
Por otra parte, dada una c
r
conexin, los teoremas de existencia y uni-
cidad de las ecuaciones diferenciales ordinarias aplicados a la ecaucin geo-
dsica muestran que para cualquier punto p M y X
p
T
p
M existe una
geodsica maximal
X
(s) en M, con p = (0) y


s

s=0
= X
p
. Si r 1
la geodsica es nica y depende continuamente de los valores iniciales. Esta
situacin nos permite denir la transformacin exponencial
exp : T
p
M M
X 7 exp(X) :=
X
(1)
siendo
X
(0) = p. Es decir, a cada vector X T
p
M se le asocia el punto
q M que est a una distancia paramtrica unidad del punto inicial a lo
largo de la nica geodsica que se inicia en p y cuyo vector tangente es X.
Esta transformacin exponencial no necesariamente est denida para todos
los vectores X T
p
Mpues la geodsica no necesariamente est denida para
todo s. Entonces
Denicion 85 Una geodsica
X
(s) se llama completa si est denida para
todo s.
Denicion 86 Una variedad se llama geodsicamente completa si todas las
geodsicas sobre M son completas.
En este caso la transformacin exp est denida para todo X T
p
M.
San X T
p
M y a R jos con


s

s=0
= X, entonces

X
[a, b] R M
s 7
X
(as)
tiene velocidad inicial

t=0
=

d(as)
ds

as

s=0
= aX (3.8)
as,
X
(as) =
aX
(s) y por lo tanto la transformacin
exp(aX) =
aX
(1) =
X
(a) (3.9)
68CAPTULO3. LOS POSTULADOS DE LARELATIVIDADGENERAL
es decir, la transformacin exp transforma rectas aX de T
p
M en geodsicas
sobre M.
Si Mes geodsicamente completo o no la transformacin exp es de rango
n en p (n = dimM). As, por el teorema de la funcin implcita existe una
vecindad abierta V
0
del origen de T
p
M y una vecindad abierta V
p
del punto
p M tal que
exp : V
0
T
p
M V
p
M
es un C
r
difeomorfismo de V
0
sobre V
p
. La vecindad V
p
se llama una
vecindad normal de p. Adems, podemos escoger V
p
convexa, esto es, tal
que todo punto q V
p
puede ser unido a cualquier otro punto r V
p
por
una nica geodsica que parte del punto q y que est totalmente contenida
en V
p
. En el interior de una vecindad normal convexa V es posible escoger
coordenadas (x
1
, x
2
, ..., x
n
) con origen en cualquier punto p V y toman-
do una base {E

} de T
p
M denimos las coordenadas de un punto r V
por la relacin r = exp(x

), es decir, se asigna al punto r las coorde-


nadas del punto exp
1
r con respecto a la base {E

} de T
p
M. Entonces, si
E

= /x

|
p
de la ecuacin de las geodsicas se obtiene que

p
= 0.
Estas coordenadas se llaman coordenadas normales centradas en el punto
p. Este comportamiento de las geodsicas en una vecindad normal no se da,
en general, sobre toda la variedad, pues es posible que dados dos puntos
cualesquiera de M no se puedan unir por una geodsica, y por otra parte,
algunas de las geodsicas a travs de un punto p M pueden converger a un
foco en otro punto de M, por ejemplo las geodsicas sobre una 2-esfera
son crculos mximos los cuales convergen siempre al punto antpoda del
cual partieron.
Consideremos de nuevo el postulado de causalidad. Este postulado sita
a la mtrica g a parte de los otros campos de materia sobre M, dado su carc-
ter geomtrico especial. Si {x

} son coordenadas normales en una vecindad


del punto p U M y con origen en p, entonces, los puntos en U que
pueden ser alcanzados a partir del punto p por curvas no como de espacio
en U, son aquellos cuyas coordenadas satisfacen
(x
0
)
2
(x
1
)
2
(x
2
)
2
(x
3
)
2
0 (3.10)
El contorno de la regin determinada por estos puntos est formado por
la imagen del cono de luz de p bajo la transformacin exponencial, i.e., el
conjunto de geodsicas nulas a travs de p. As, observando cuales puntos
de U M pueden comunicarse con p, se puede determinar el cono nulo N
p
en T
p
M. Conocido N
p
, la mtrica en p se puede determinar salvo un factor
conforme, en donde
3.3. EL TENSOR MTRICO Y EL POSTULADO DE CAUSALIDAD 69
Denicion 87 Dos mtricas g y g
0
sobre M se llaman conformes, si
g
0
=
2
(x)g (3.11)
en donde
2
(x) es una funcin suave y no nula, y por lo tanto
g(X, Y)
g(Z, W)
=
g
0
(X, Y)
g
0
(Z, W)
(3.12)
Para determinar la mtrica a partir del cono nulo N
p
, sean X, Y T
p
M
vectores como de tiempo y como de espacio, respectivamente. Entonces, la
ecuacin
g(X+Y, X+Y) = g(X, X) + 2g(Y, Y) +
2
g(X, Y) (3.13)
tiene dos raices reales
1
y
2
, pues el discriminante es positivo,
(g(X, X))
2
4g(X, X)g(Y, Y) > 0 (3.14)
pues g(X, X) > 0 y g(Y, Y) < 0. Por lo tanto, si N
p
es conocido entonces

1
y
2
pueden ser determinados, y de estos valores podemos obtener la
relacin

2
=
g(X, X)
g(Y, Y)
(3.15)
i.e., la razn de las magnitudes de un vector como de tiempo y uno como de
espacio pueden ser determinadas. Ahora si W, Z son dos vectores no nulos
en p, entonces
g(W, Z) =
1
2
(g(W+Z, W+Z) g(W, W)g(Z, Z)) (3.16)
y por lo tanto, cada una de las magnitudes del lado derecho de la ecuacin an-
terior pueden ser comparadas con las magnitudes de Xo de Y y as podemos
determinar, por ejemplo, la razn g(W, Z)/g(X, X). Esto signica que la
causalidad local permite determinar la mtrica, salvo un factor conforme.
En la prctica estas medidas se realizan usando el hecho que las seales elec-
tromagnticas viajan sobre geodsicas nulas, un hecho que es consecuencia
de las ecuaciones de Maxwell y no de la teora de la relatividad.
Para determinar el factor conforme se hace uso del segundo postulado,
dejando as, todos los elementos de la teora fsicamente observables, pues
70CAPTULO3. LOS POSTULADOS DE LARELATIVIDADGENERAL
podemos comparar los factores conformes en diferentes puntos de la var-
iedad espacio-tiempo M. Esto se obtiene por el hecho que las ecuaciones
de conservacin T

;
= 0 pueden no cumplirse para una conexin derivada
de otra mtrica g
0
=
2
g. Una forma prctica de determinar el factor con-
forme es observando pequeas partculas de prueba libres y determinando
sus geodsicas como de tiempo. Por ejemplo, consideremos un conjunto de
sistemas idnticos (e.g. los estados electrnicos internos de los tomos) cuyos
cambios internos denen el conjunto de eventos a lo largo de las lineas de
universo de cada sistema. Si se aisla cada sistema de los campos externos,
entonces ellos siguen geodsicas como de tiempo. Si (t) es una de las geo-
dsicas con vector tangente (/t)

entonces podemos medir la longitud de


arco entre eventos vecinos para cualquiera de estos sistemas, y determinar
g

(/t)

, (/t)

en cada punto del espacio-tiempo y determinar as, el


factor conforme, salvo un factor multiplicatico constante, el cual lo dene la
escala.
Los postulados de causalidad y conservacin no nos dicen como construir
T

para un conjunto de campos de materia dados. Sin embargo existe una


manera nica y bien denida de calcular el tensor momentun-energa, si las
ecuaciones de movimiento para los campos se derivan de una Lagrangiana,
como es el caso para los campos de materia usuales y de inters fsico.
Sea L la densidad Lagrangiana, la cual es funcin de los campos de
materia
i
, sus derivadas covariantes, hasta un orden nito y de la mtrica.
Entonces, las ecuaciones de movimiento de los campos se obtienen a partir
de la accin
S =
Z
Ldv (3.17)
exigiendo que S sea estacionaria bajo variacin de los campos en el interior
de una regin compacta 4-dimensional D, i.e.,
S = 0 (3.18)
Esta condicin conduce a las ecuaciones de Euler-Lagrange
L

(i)

(i)

!
= 0 (3.19)
El tensor momentun-energa se obtiene a partir de la densidad lagrangiana
L considerando las variaciones de la accin bajo cambios en la mtrica:
T

=
2
p
|g(x)|
S
g

(3.20)
3.3. EL TENSOR MTRICO Y EL POSTULADO DE CAUSALIDAD 71
Por ejemplo, un campo escalar (x), el cual representa partculas de
escalares de masa m, sin carga y espn cero, est descrito por la densidad
Lagrangiana
L =
1
2
p
|g(x)|
n
g

;
m
2

2
o
(3.21)
en donde se han utilizado unidades de / h = 1 y c = 1. Las ecuaciones de
Euler-Lagrange para este sistema, conducen a la ecuacin de Klein-Gordon

+m
2

= 0 (3.22)
en donde el Dalembertiano est dado por:
= g

;
(3.23)
y el tensor momentun-energa es:
T

=
;

1
2
g

;
+m
2

(3.24)
Otro ejemplo, de importancia en cosmologa, es el de uido perfecto. Un
uido describe un sistema fsico de muchas partculas (10
23
que en este lmite
se puede considerar como un sistema continuo) a travs de las cantidades
que determinan el sistema, tales como la densidad, presin, temperatura,
viscosidad, etc. An cuando no hay una denicin nica de uido perfecto,
este se puede denir como un sistema en el cual no hay conduccin trmica
ni viscosidad, o como lo describe equivalentemente Wienberg, como un uido
tal que en sus sistema en reposo es isotrpico. En estas condiciones un uido
perfecto es descrito por la funcin densidad de energa y la densidad de
presin.
Consideremos, en primer lugar, un gas de partculas en reposo relativo
(polvo), as este sistema es descrito como un gas ideal con presin cero.
Para un observador inercial todas las partculas se mueven con la misma
velocidad, y as con la misma cuadrivelocidad U

. Denamos, entonces, el
cuadri-vector ujo
N

= nU

(3.25)
en donde n es la densidad propia de partculas, i.e., la densidad de partculas
medida en el sistema en reposo. Ahora, si todas las partculas tienen la misma
masa en reposo m, la densidad de energa propia est dada por:
= nmc
2
(3.26)
La densidad de energa caracteriza completamente al uido, pero la an-
terior ecuacin es solamente vlida en el sistema en reposo del uido, as
72CAPTULO3. LOS POSTULADOS DE LARELATIVIDADGENERAL
para encontrar la expresin covariante de la densidad de energa (vlida
para cualquier observador inercial), recordemos que mc
2
es la componente
temporal del cuadri-vector momentun de una partcula en sus sistema en
reposo, p

= (mc, 0, 0, 0) y para este sistema N

= nU

= (nc, 0, 0, 0).
Por lo tanto la densidad de energa propia corresponde a la componente 00
del tensor p N medida en su sistema en reposo, as denimos el tensor
momentun-energa para el gas de polvo como:
T

= p

= nmU

=

c
2
U

(3.27)
donde es denida como la densidad de energa en el sistema en reposo.
Para el caso ms general de un uido perfecto con presin, asumiremos la
denicin de Weinberg, como aquel que es isotrpico en su sistema en reposo.
Esto signica que T

es diagonal, es decir no hay ujo neto de momentun en


la direccin ortogonal. Adems, sus componentes espaciales deben ser todas
iguales, por isotropa: T
11
= T
22
= T
33
. Si llamamos T
00
= la densidad
de energa, T
ii
= p la densidad de presin, tenemos, que las componentes
del tensor momentun-energa, en el sistema en reposo estn dadas por:
T

=
_
_
_
_
0 0 0
0 p 0 0
0 0 p 0
0 0 0 p
_
_
_
_
(3.28)
la cual, para un sistema de referencia inercial cualquiera, se puede escribir
en la forma (con c = 1):
T

= (p +)U

+p

(3.29)
en donde

es el tensor mtrico de Minkowski.


La generalizacin para una variedad con mtrica g es directa,
T

= (p +)U

+pg

(3.30)
El tipo de materia especco que se considere, est determinado por
la ecuacin de estado del sistema, es decir f(p, ) = 0, una funcin que
relaciona la densidad de energa y materia, por ejemplo, para un gas de
polvo la ecuacin de estado es p = 0.
Este tensor momentun-energa se puede encontrar a partir de una den-
sidad Lagrangiana. Siguiendo la denicin de Weinberg, sea U el campo
de cuadrivelocidades y denamos la cuadri-corriente por J = U, con la
3.4. ECUACIONES DE CAMPO DE EINSTEIN 73
densidad de partculas. La ecuacin de continuidad exige que J

;
= 0, y la
densidad Lagrangiana est dada por:
L = 2(1 +) (3.31)
donde = () es el potencial elstico. La accin S es estacionaria cuando
las lineas de ujo se varan, ajustando J para mantener la corriente conser-
vada. Entonces la ecuaciones de Euler-Lagrange conducen a las ecuaciones
de movimiento para el uido:

;
U

+ ( +p)U

;
= 0
( +p)

U

= p
;
(g

+U

(3.32)
donde = (1 + ) es la densidad de energa, y p =
2
d/d la densidad
de presin, y

U

= U

;
U

. As, la aceleracin de las lineas de ujo



U

es
proporcional al gradiente de presin ortogonal a las lineas de ujo. A partir
de la densidad Lagrangiana obtenemos el tensor momentun-energa.
3.4. Ecuaciones de campo de Einstein
Hasta el presente la mtrica g no ha sido especicada. En la teora espe-
cial de la relatividad, la cual no incluye los efectos gravitacionales, la mtrica
es plana, i.e., g = . En la discusin al comienzo del captulo, vimos como
la fuerza de la gravedad, por su caracter universal, debe ser excluida como
un campo de fuerzas en un espacio plano, si queremos mantener la idea que
una partcula libre sigue lineas rectas o que la luz en el vaco es constante.
Para mantener el principio de relatividad, es decir, la fsica es la misma para
todos los observadores, o equivalentemente, las leyes de la fsica deben ser
independientes del sistema de coordenadas, las ecuaciones de campo para
determinar la mtrica deben ser relaciones tensoriales, que involucran a la
materia a travs del tensor momentun-energa, si queremos que mantener
el principio de equivalencia, es decir, si dos campos de materia contribuyen
con la misma densidad de energa a un sistema entonces las ecuaciones de
campo para la mtrica deben conducir al mismo resultado. Por el lado de la
geometra, como Hilbert se lo sugiri a Einstein, el nico obgeto geomtrico,
salvo identidades o multiplos, el cual est determinado por el tensor mtrico
y primeras derivadas de sus componentes, es el tensor de Riemann, o tensores
derivados de ellos, y por lo tanto la nica posibilidad, es una combinacin
lineal del tensor de Ricci, el escalar curvatura y una constante, proporcional
al tensor momentun-energa, dads las condiciones que sobre el se imponen,
que sea simtrico y que satisfaga el principio de conservacin local, asi
74CAPTULO3. LOS POSTULADOS DE LARELATIVIDADGENERAL
Axiom 88 La mtrica sobre la variedad espacio-tiempo (M, g) est deter-
minada por las ecuaciones de campo de Einstein
R

1
2
Rg

+g

=
8G
c
2
T

(3.33)
G =constante de gravitacin universal.
= constante cosmolgica
Este es un sistema de 10 ecuaciones diferenciales acopladas no lineales
para la mtrica y sus primeras derivadas. Sin embargo, dado que la divergen-
cia covariante de cada lado de las ecuaciones se satisface independientemente

1
2
Rg

+g

;
= 0 =
8G
c
2
T

;
(3.34)
entonces el nmero de ecuaciones independientes se reduce a seis. Este es
el nmero correcto de ecuaciones, pues de las diez componentes independi-
entes del tensor mtrico, cuatro de ellas se pueden elegir arbitrariamente,
pues corresponde al hecho que las componentes del tensor mtrico son ni-
cas, salvo una transformacin de coordenadas. As, las ecuaciones de campo
de Einstein determinan el tensor mtrico, salvo la clase de equivalencia de
difeomorsmos
: (M, g
1
) (M, g
2
)
en donde dos mtricas denen el mismo espacio-tiempo si entre las var-
iedades (M, g
1
) y (M, g
2
) existe un difeomorsmo.
Para establecer la relacin entre las ecuaciones de campo de Einstein y
la teora de la gravitacin universal de Newton, consideremos una partcula
de prueba que se mueve lentamente (comparado con la velocidad de la luz)
en un campo gravitacional dbil. Si el campo es dbil la mtrica se puede
escribir en la forma (c = 1)
g

+h

; |h

| << 1 (3.35)
Si U

son las componentes de la cuadri-velocidad de la partcula, en-


tonces
dx
0
d
1;
dx
i
d
<< 1 (3.36)
y de la ecuacin de las geodsicas tenemos
d
2
x
i
dt
2

d
2
x
i
d
2

=
i

dx

d
dx

d

i
00
(3.37)
3.4. ECUACIONES DE CAMPO DE EINSTEIN 75
Ahora, el coeciente de la conexin estdado por

i
00
=
1
2
h
00,i
h
0i,0
(3.38)
en donde la coma signica la derivada usual. Si el campo gravitacional es
estacionario h
0i,0
= 0, y con la notacin x = (x
1
, x
2
, x
3
), se obtiene
d
2
x
dt
2
=
1
2

h
00
(3.39)
que al compararla con la ecuacin de Newton
d
2
x
dt
2
=

(3.40)
tenemos que
h
00
= 2 +cte. (3.41)
Puesto que el potencial gravitacional y h
00
se anulan para grandes distan-
cias, y reintroduciendo la velocidad de la luz, obtenemos
g
00
= 1 +
2
c
2
(3.42)
El trmino 2/c
2
determina cuando una regin del espacio-tiempo es
fuertemente curvada, por ejemplo
2/c
2
Sobre la superficie
10
9
tierra
10
6
sol
10
4
enana blanca
10
1
estrella neutr onica
10
39
prot on
76CAPTULO3. LOS POSTULADOS DE LARELATIVIDADGENERAL
Captulo 4
La solucin de Schwarzschild
Karl Scharzschild, tan solo dos meses despus de haberse publicado las
ecuaciones de campo, encontr la primera solucin analtica de las ecua-
ciones de campo, para el exterior de una distribucin de materia esttica
y esfricamente simtrica. A partir de esta solucin calcul el corrimiento
del perihelio de mercurio y la desviacin de un rayo de luz que pasa cer-
ca al sol, conrmando los resultados previos obtenidos por Einstein en la
aproximacin post-Newtoniana (aproximacin de campo dbil).
4.1. Mtrica para simetra esfrica
Consideremos una distriducin esfrica de masa m y busquemos una
solucin de las ecuaciones de campo de Einstein que describa la mtrica en
el exterior de la distribucin, es decir, estamos buscando las componentes
del tensor mtrico
g = g

dx

dx

(4.1)
tal que g satisfaga las ecuaciones de Einstein en el vaco
R

1
2
Rg

= 0 (4.2)
en donde los ndices griegos recorren de 0 a 3, esto es x

= (x
0
, x
1
, x
2
, x
3
),
y x
0
= ct.
La solucin a este problema debe satisfacer las siguientes condiciones:
1. Esttica
2. Esfricamente simtrica
77
78 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
3. Asintticamente (lejos de la distribucin) se debe reducir a la mtrica
Minkowskiana
Dada la simetra esfrica del problema es til trabajar en coordenadas es-
paciales esfricas (r, , ), eligiendo el origen de las coordenadas en el centro
de la distribucin de masa. La primera condicin, mtrica esttica, signica
que si g es independiente del tiempo, entonces las componentes del tensor
mtrico deben ser invariantes si hacemos la transformaci x
0
x
0
, lo que
implica que las componentes del tensor mtrico de la forma g
0i
con i = 1, 2, 3
no deben aparecer. As el tensor mtrico que estamos buscando debe ser de
la forma
g = g
00
dx
0
dx
0
+g
ij
dx
i
dx
j
i, j = 1, 2, 3 (4.3)
Introduciendo en forma explcita las coordenadas esfricas y la coorde-
nada temporal x
0
= ct, y debido a la simetra esfrica del problema, en el
tensor mtrico no deben aparecer trminos espaciales de la forma dr d,
dr d y d d, y por lo tanto el tensor mtrico toma la forma
g = g
00
c
2
dt dt +g
rr
dr dr +g

r
2
d d +g

r
2
sin
2
d d (4.4)
en donde los coecientes mtricos g
00
, g
rr
, g

y g

son funciones solamente


de la coordenada radial r. Veamos que las componentes mtricas g

y g

deben ser iguales. Pues supongamos que hacemos un desplazamiento inni-


tesimal con = r a partir del polo norte ( = 0) con t, r y constantes,
entonces
ds
2
= g

2
(4.5)
Si realizamos ahora el mismo desplazamiento pero en el plano ecuatorial
( = /2) con idntico r, = rd entonces
ds
2
= g

2
(4.6)
y por lo tanto, dada la simetra esfrica de la distribucin de materia se debe
tener que g

= g

. Sea
d
2
= d d + sin
2
d d (4.7)
entonces el tensor mtrico toma la forma
g = g
00
c
2
dt dt +g
rr
dr dr +g

r
2
d
2
= g
00
c
2
dt
2
+g
rr
dr
2
+g

r
2
d
2
(4.8)
lo cual signica que nos queda por determinar solamente tres funciones de r:
g
00
(r), g
rr
(r) y g

(r). Esta expresin se puede simplicar an ms y reducir


4.1. MTRICA PARA SIMETRA ESFRICA 79
el problema solamente a dos funciones desconocidas, pues si realizamos el
cambio de variable
r r =
p
g

(r)r (4.9)
entonces
g

r
2
= r
2
=
2 rd r = r
2
dg

dr
dr 2g

rdr =
dr =
r
g

1 +
r
2g

dg

dr

1
d r (4.10)
As
g
rr
dr
2
=
g
rr
g

1 +
r
2g

dg

dr

2
d r
2
= g
rr
( r) d r
2
(4.11)
Remmplazando las ecuaciones de transformacin anteriores en el tensor
mtrico 4.8 tenemos
g = g
00
c
2
dt
2
+ g
rr
( r) d r
2
r
2
d
2
= g
00
c
2
dt
2
+g
rr
dr
2
r
2
d
2
(4.12)
en donde hemos redenido r r y g
rr
g
rr
en la ltima igualdad, para
regresar a la notacin usual de la variable radial. De esta forma el problema
se ha redusido a solo dos funciones, las cuales se determinan a partir de las
ecuaciones de campo de Einstein y las condiciones de frontera adecuadas.
Dada la signatura de la mtrica, g
00
> 0 y g
rr
< 0, podemos reescribir el
tensor mtrico en la siguiente forma
g = e
h(r)
c
2
dt
2
e
g(r)
dr
2
r
2
d
2
(4.13)
Las nuevas funciones a determinar, h(r) y g(r) deben satisfacer la condi-
cin asinttica
lm
r
h(r) = 0
lm
r
g(r) = 0 (4.14)
para obtener el lmite Minkowskiano de la condicin 3. Las componentes del
tensor mtrico deben satisfacer las ecuaciones de campo de Einstein en el
vaco 4.2. Antes de reemplazar los coecientes mtricos en este sistema de
ecuaciones, veamos un teorema que nos permite simplicar los clculos:
80 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
Teorema 89 Las ecuaciones de campo de Einstein en el vaco sin constante
cosmolgica son equivalentes a la anulacin de de las componentes del tensor
de Ricci, i.e.
R

1
2
Rg

= 0 R

= 0 (4.15)
Proof. (=) Si R

= 0 entonces R = 0
(=) Si R


1
2
Rg

= 0 subiendo el primer ndice covariante y con-


trayendo tenemos 0 = R

1
2
g

R = R 2R = 0 entonces R = 0 y por lo
tanto R

= 0
A partir de las condiciones de simetra del problema pudimos determinar
la forma general y ms simple del tensor mtrico, antes de entrar en el
problema de resolver las ecuaciones de campo, lo cual constituye un mtodo
usual de trabajo en fsica. Sin embargo, aun con esta mtrica simplicada es
necesario calcular 40 smbolos de Christoel que aparecen en las ecuaciones
de campo. Un mtodo gil que nos permite calcular las componentes no nulas
de los smbolos de Christoel, lo constituye el mtodo variacional (ecuaciones
de Euler-Lagrange) para la ecuacin de las geodsicas:
d
2
x

dt
2
+

dx

dt
dx

dt
= 0 (4.16)
las cuales contienen todos los smbolos de Christoel y pueden ser obtenidas
a partir del principio variacional
0 =
Z
Fds
=
Z
g

dx

ds
dx

ds
ds (4.17)
con las ecuaciones de Euler-Lagrange
d
ds

F
x

=
F
x

; x

=
dx

ds
(4.18)
As, para la mtrica de Schwarzschild el elemento de distancia espacio-
tiempo est dado por
F = e
h(r)

x
0

2
e
g(r)

x
1

2
r
2

x
2

2
r
2
sin
2

x
3

2
(4.19)
en donde x
0
= ct, x
1
= r, x
2
= y x
3
= .
4.1. MTRICA PARA SIMETRA ESFRICA 81
Consideremos en primer lugar la ecuacin de Euler-Lagrange para la
coordenada temporal x
0
, y denotemos las derivadas con respecto a la coor-
denada radial por primas, as
d
ds

2e
h(r)
x
0

= 0 =
x
0
+h(r) x
1
x
0
= 0 (4.20)
La ecuacin de las geodsicas correpondiente la obtenemos a partir de la
ecuacin 4.16 para = 0,
0 =
d
2
x
0
dt
2
+
0

dx

dt
dx

dt
= x
0
+
0
00
x
0
x
0
+
0
01
x
0
x
1
+ +
0
33
x
3
x
3
(4.21)
Entonces, comparando las dos ltimas ecuaciones, tenemos que los nicos
smbolos de Christoel no nulos son:

0
10
=
0
01
=
1
2
h(r) (4.22)
Para la coordenada r la ecuacin de Euler-lagrange est dada por:
d
ds

2e
g(r)
x
1

= 2g(r)e
g(r)

x
1

2
2e
g(r)
x
1
= h(r)e
h(r)

x
0

2
g(r)e
g(r)

x
1

2
2r

x
2

2
2r sin
2

x
3

2
(4.23)
mientras que la ecuacin geodsica, para = 1 es
0 =
d
2
x
1
dt
2
+
1

dx

dt
dx

dt
= x
1
+
1
00
x
0
x
0
+
1
01
x
0
x
1
+ +
1
33
x
3
x
3
(4.24)
y comparndolas, los smbolos de Christoel no nulos estn dados por:

1
00
=
1
2
h(r)e
h(r)g(r)

1
11
=
1
2
g(r)

1
22
= re
g(r)

1
33
= re
g(r)
sin
2
(4.25)
82 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
Procediendo de forma similar para las coordenadas y los smbolos
no nulos que se obtienen son:

2
12
=
2
21
=
1
r

2
33
= sin cos

3
13
=
3
31
=
1
r

3
23
=
3
32
= cot (4.26)
Reemplazando los simbolos de Chritoel obtenidos en las ecuaciones de
campo en el vaco:
0 = R

= R

(4.27)
obtenemos
R

0 si 6= (4.28)
y de los trminos diagonales R

= 0, se llega al siguiente sistema de ecua-


ciones diferenciales acopladas:
h+
1
2
h
2

1
2
hg+
2
r
h= 0 (4.29)
h+
1
2
h
2

1
2
hg
2
r
g= 0 (4.30)

re
g

2e
g
1 +re
g

h+g
2
+
2
r

= 0 (4.31)
sin
2

re
g

= 0 (4.32)
Restando las ecuaciones 4.29 y 4.30 obtenemos
h+g= 0 (4.33)
entonces
h +g = cte. (4.34)
y de la condicin asinttica tenemos
h +g = 0 (4.35)
4.1. MTRICA PARA SIMETRA ESFRICA 83
Con esta condicin la ecuacin 4.30 toma la forma
gg
2
+
2
r
g= 0 (4.36)
Esta ecuacin diferencial de segundo orden se puede escribir como:

re
g

= 0 (4.37)
la cual admite una primera integral

re
g

= K
1
(4.38)
Antes de integrar esta ecuacin, veamos que las otras dos ecuaciones
diferenciales 4.31 y 4.32 son consistentes con lo encontrado hasta ahora. De
la ecuacin 4.31 tenemos

re
g

2e
g
1 +re
g

0
2
+
2
r

= 0 =

re
g

2e
g
1 + 2e
g
= 0 =

re
g

= 1 (4.39)
lo que implica que la constante de integracin K
1
= 1. La ecuacin 4.32 no
da informacin adicional pues se satisface idnticamente debido a la ltima
relacin encontrada, ecuacin 4.39. Integrando la ecuacin 4.39 obtenemos
e
g(r)
= e
h(r)
= 1
K
2
r
(4.40)
en donde K
2
es una constante de integracin. As la mtrica de Schwarzschild
toma la forma
g =

1
K
2
r

dx
0

1
K
2
r

1
dr
2
r
2
d
2
(4.41)
Notemos que hasta el presente, en la deduccin de la mtrica de Schwarz-
schild solo se ha utilizado la simetra de la distribucin de materia y el car-
acter asinttico, pero no la masa total de la distribucin ni su radio. Es
de esperar que la constante de integracin K
2
involucre, de alguna manera,
esta informacin que caracteriza a la distribucin de materia que produce
el campo gravitacional en su exterior. Para calcular esta constante podemos
utilizar el siguiente razonamiento: La solucin de Schwarzschild es vlida
para el exterior de cualquier distribucin esfrica de materia, y por lo tan-
to debe describir el campo gravitacional de cualquier cuerpo celeste usual
84 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
conocido, tal como el sol o la tierra, y se espera que esta mtrica repre-
sente los fenmenos que conocemos, y en particular esperamos que en el
lmite de bajas velocidades y campos gravitacionales dbiles los resultados
obtenidos se aproximen a los encontrados por la ley de gravitacin universal
de Newton. As podemos trabajar la aproximacin postnewtoniana, vista en
el captulo anterior, y utilizar la ecuacin 3.42 que nos relaciona el potencial
gravitacional Newtoniano con la componente g
00
del tensor mtrico. Por lo
tanto, dado que el potencial gravitacional Newtoniano en el esterior de una
distribucin esfrica de masa m est dado por
(r) =
Gm
r
(4.42)
y la componente para la mtrica de Schwarzschild, ecuacin 4.41, es
g
00
= 1
K
2
r
(4.43)
entonces
g
00
= 1 +
2
c
2
=
1
K
2
r
= 1
2Gm
rc
2
=
K
2
=
2Gm
c
2
(4.44)
De esta manera la mtrica de Schwarzschild est dada por
g =

1
2Gm
c
2
r

dx
0

1
2Gm
c
2
r

1
dr
2
r
2
d
2
(4.45)
El mtodo que utilizamos para calcular la constante de integracin K
2
,
aun cuando conduce al resultado correcto, deja la pregunta abierta de la
interpretacin fsica de la masa como fuente del campo, a travs del tensor
momentun-energa. Para este n es necesario desarrollar el concepto de las
leyes de conservacin para el campo gravitacional. Este campo de traba-
jo est abierto a investigacin y dejaremos para un captulo posterior su
formulacin.
4.1.1. Teorema de Birkho
En este punto es importante enfatizar que el radio de la distribucin no
debe aparecer en forma explcita en la solucin, debido a la simetra esfrica
4.1. MTRICA PARA SIMETRA ESFRICA 85
del problema. Es decir, la solucin de Schwarzschild obtenida es vlida solo
para r > R, donde R es el radio de la distribucin, y de manera similar a la
situacin que se presenta en electrosttica, el campo elctrico en el exterior
de una distribucin esfrica de carga, para puntos exteriores, se comporta
como el campo de una carga puntual, es decir como si toda la carga estu-
viera concentrada en el centro y la solucin no involucra, en forma explcita,
el radio de la distribucin. Esta situacin la podemos ver mejor en el sigu-
iente resultado debido a Birkho, el cual establece que la solucin para el
exterior de una distribucin de masa esfrica es la de Schwarzschilod, inde-
pendientemente que esta distribucin est variando radialmente, es decir si
la distribucin esta colapsando o expandindose. Para ver esto, considere-
mos una situacin en la cual la distribucin esfrica de masa total m est
variando su radio en el tiempo, i.e., R = R(t), y busquemos una solucin
de las ecuaciones de campo de Einstein para el exterior de esta distribu-
cin, es decir en en vaco. Dado que los elementos de simetra utilizados
para construir la forma general de la solucin buscada, ecuacin 4.13, no se
ven afectados por el comportamiento del radio de la distribucin, podemos
asumir que la mtrica buscada tiene la forma general
g = e
h(r,t)
c
2
dt
2
e
g(r,t)
dr
2
r
2
d
2
(4.46)
pero ahora las funciones h(r, t) y g(r, t), deben depender del tiempo. Si pro-
cedemos como antes, es decir, si introducimos esta mtrica en las ecuaciones
de campo, obtenemos una relacin similar a la ecuacin 4.33
h+g= 0 (4.47)
en donde la prima signica derivada respecto a la coordenada r, entonces
integrando
h +g = cte(t) = (t) . (4.48)
en donde ahora la constante de integracin puede depender del tiempo. As,
continuando con este procedimiento obtenemos nalmente
g = e
(t)

1
2Gm
c
2
r

dx
0

1
2Gm
c
2
r

1
dr
2
r
2
d
2
(4.49)
Si redenimos la coordenada temporal como

t =
Z
e
(t)
dt (4.50)
86 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
entonces la mtrica toma la forma de Schwarzschlid, es decir la mtrica en
el exterior de la distribucin solo depende de la masa total, y no del radio
de la distribucin, as este radio sea o no una funcin del tiempo.
Este importante resultado signica que la solucin de Schwarzschild
obtenida, es la nica solucin que representa la mtrica en el vaco pro-
ducida por cualquier distribucin de materia con simetra esfrica.
4.1.2. Caractersticas de la solucin de Schwarzschild
La mtrica de Schwarzschild representa la solucin a las ecuaciones de
campo de Einstein para el exterior de una distribucin esfrica de materia, y
por esta razn es vlida para r > R, en donde R es el radio de la distribucin.
Sin embargo en la expresin para la mtrica, ecuacin 4.45, aparece una
singularidad coordenada, en el sentido que el coeciente de

dx
0

2
se anula
y el coeciente de dr
2
diverge a +, cuando r 2Gm/c
2
por la derecha.
A este valor de la coordenada radial, denotado por r
s
, se le conoce como el
radio de Schwarzschild de la distribucin
r
s
=
2Gm
c
2
(4.51)
el cual solo depende de la masa total y por lo tanto es un parmetro que
caracteriza la distribucin, independientemente del radio R. Si calculamos
el valor de este parmetro para un cuerpo como la tierra tenemos
r
s
=
2 6,67259 10
11
m
3
kg
1
s
2
5,9742 10
24
kg
(2,99792458 10
8
ms
1
)
2
= 8. 870 8 10
3
m (4.52)
es decir, del orden de 9 milmetros, que en comparacin con el radio de la
tierra R
T
= 6,510
6
m es despreciable. Esto muestra por qu esta singulari-
dad no es relevante para los objetos celestes usuales. De hecho Schwarzschild
not este problema que surga en su solucin y calcul de nuevo la mtrica
para una distribucin de masa con una densidad de energa constante y ob-
tuvo que el radio de la distribucin debera ser mayor a 9r
s
/8, resultado que
lo dej satisfecho pues an en este caso la singularidad no jugaba papel al-
guno. En 1923 Birkho mostr que una solucin esfricamente simtrica de
las ecuaciones de campo en el vaco era necesariamente esttica para r > r
s
,
y por lo tanto la solucin para cualquier distribucin esfrica de masa no
esttica era la de Schwarzschild si r > r
s
, y por lo tanto el argumento de
utiliz Schwarzschild no es vlido. Sin embargo dado que r
s
es muy pequeo
4.1. MTRICA PARA SIMETRA ESFRICA 87
no se esperaba encontrar una distribucin de materia en donde el radio de
la distribucin R fuera mayor que r
s
. Pues, por ejemplo esto implicaba que
un cuerpo como la tierra tuviera una densidad del orden de
=
3 5,9742 10
24
kg
4 (8. 870 8 10
3
m)
3
=
2. 0 10
30
m
3
kg (4.53)
lo cual no se vea factible para la materia ordinaria que se conoca.
Un resultado conocido de la ley de gravitacin universal de Newton, de-
bido al comportamiento de la fuerza gravitacional con el inverso del cuadrado
de la distancia, es el hecho de que la fuerza sobre una masa en el interior
de un cascarn esfrico de materia se anula. Para ver que sucede en el caso
de la relatividad general, consideremos una distribucin esfrica de mate-
ria de radio R, con un hueco interior concntrico de radio a < R, entonces
busquemos una solucin de las ecuaciones de campo en el interior de esta
cavidad. Es claro que por simetra, podemos seguir el mismo procedimiento
que vimos para encontrar la solucin de Schwarzschild, y podemos proponer
llevar los mismos argumentos hasta plantear la forma general de la solucin
como
g = e
h(r)
c
2
dt
2
e
g(r)
dr
2
r
2
d
2
(4.54)
La primera diferencia que surge con respecto a la solucin de Schwarz-
schild es en la condicin asinttica, la cual ya no es ms aplicable en el
presente caso y por lo tanto en la ecuacin 4.34,
h +g =

k = cte. (4.55)
la constante

k ya no es cero. As, continuando con el procedimiento encon-
tramos (ecuacin 4.40)
e
g(r)
= e

k
e
h(r)
= 1
K
2
r
(4.56)
Para encontrar la solucin en el interior del cascarn esfrico podemos
comparar la solucin encontrada en la aproximacin post-Newtoniana con
el potencial clsico, teniendo en cuenta que el potencial gravitacional New-
toniano en el interior del cascarn es constante (i.e., la fuerza es cero sobre
la partcula de prueba), entonces
g
00
= 1 +
2
c
2
=
g
00
= e

1
K
2
r

(4.57)
88 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
lo que implica que K
2
= 0, y por lo tanto la mtrica toma la forma
g = e

k
c
2
dt
2
dr
2
r
2
d
2
(4.58)
la cual, salvo un factor de escala temporal que depende del potencial con-
stante en el interior del cascarn, se reduce a la mtrica Minkowskiana,
lo cual representa la versin relativista de la anulacin de la fuerza grav-
itacional en el interior de un cascarn esfrico de materia, lo cual es una
consecuencia del comportamiento con el inverso al cuadrado de la distancia
de la fuerza de gravitacin universal. Este resultado justica ciertas consid-
eraciones Newtonianas que se hacen en cosmologa.
4.2. Pruebas clsicas de la relatividad general
En esta seccin analizaremos el movimiento de partculas materiales de
prueba y de rayos de luz (fotones) en el campo de una distribucin esfri-
ca de masa, concentrndonos en dos efctos particulares: el corrimiento del
perihelio del planeta Mercurio y la desviacin de un rayo de luz que pasa
muy cerca de la supercie solar. Estos resultados se han constituido como
los paradigmas histricos de las pruebas observacionales de la teora general
de la relatividad.
4.2.1. Corrimiento del perihelio de Mercurio
Consideremos en primer lugar el clculo de las geodsicas como de tiem-
po para la mtrica de Schwarzschild, las cuales describen las trayectorias
seguidas por partculas materiales (i.e., de masa propia diferente de cero).
Estas geodsicas se pueden deducir a partir del elemento de lnea por el
principio variacional 4.17, en donde
F =

1
r
s
r

x
0

1
r
s
r

1
x
1

2
r
2

x
2

2
r
2
sin
2

x
3

2
(4.59)
en donde

x
0
, x
1
, x
2
, x
3

= (ct, r, , ), y x

= dx

/ds. Entonces la ecua-


ciones de Euler-Lagrange estn dadas por ( = 0, 1, 2, 3):
d
ds

F
x

=
F
x

(4.60)
Consideremos primero la ecuacin para la coordenada x
2
= , entonces
d
ds

r
2

= r
2
sin cos
2
(4.61)
4.2. PRUEBAS CLSICAS DE LA RELATIVIDAD GENERAL 89
y por lo tanto, si las condiciones iniciales del movimiento son tales que
(0) = /2 y

(0) = 0 entonces (t) = /2, es decir, si el cuerpo se
est moviendo inicialmente en el plano ecuatorial = /2 con

(0) = 0
entoces el movimiento continua siempre en este plano. Por esta razn siempre
podemos elegir los ejes coordenados espaciales con el eje z normal al plano
del movimiento. De esta forma asumiremos que = /2 y por lo tanto la
funcional F se reduce a
F =

1
r
s
r

c
2

t
2

1
r
s
r

1
r
2
r
2

2
(4.62)
A partir de esta funcional, las ecuaciones de Euler-lagrange para las
coordenadas t y toman la forma
d
ds

r
2

= 0 (4.63)
d
ds

c
2

1
r
s
r

= 0 (4.64)
Estas ecuaciones implican entonces que
r
2
= L = cte. (4.65)

1
r
s
r


t = E = cte. (4.66)
Para encontrar la ecuacin para la coordenada radial, dividamos (for-
malmente) el elemento de arco (distancia espacio-tiempo) por ds, entonces
1 =

1
r
s
r


t
2

1
r
s
r

1
r
2
r
2

2
(4.67)
y reemplacemos las ecuaciones 4.65 y 4.66 en la ecuacin anterior obtenemos
1 =

1
r
s
r

1
E
2

1
r
s
r

1
r
2

L
2
r
2
(4.68)
o equivalentemente
r
2
+

1
r
s
r

1 +
L
2
r
2

= E
2
(4.69)
Esta ecuacin la podemos escribir en la forma
r
2
+V (r) = E
2
(4.70)
90 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
en donde el potencial efectivo V (r) est dado por
V (r) =

1
r
s
r

1 +
L
2
r
2

(4.71)
Las ecuaciones 4.65 y 4.66 representan leyes de conservacin pues para
la mtrica de Schwarzschild /t y / son campos vectoriales de Killing.
Este resultado se puede ver del siguiente teorema:
Teorema 90 Sea (s) una geodsica con vector tangente u = (/s) |

y
un campo vectorial de Killing, entonces
g (u, ) = cte.
a lo largo de la geodsica (s).
Proof. Calculemos la derivada covariante del tensor mtrico a lo largo de
la curva (s), entonces

D
s
g (u, )

|

=
u
g (u, )
= (g

)
;
u

= g

+g

;
u

g (
u
u, ) +g (u,
u
)
como la curva es una geodsica con vector tangente u, por denicin

u
u = 0, y por lo tanto

u
g (u, ) = g

;
u

= u

;
=
1
2

;
+u

en donde la ltima igualdad se obtiene del hecho que los ndices y son
mudos. Dado que es un campo vectorial de Killing satisface la ecuacin

;
+
;
= 0
y por lo tanto

u
g (u, ) =
1
2

;
+u

=
1
2
u

;
+
;

= 0
lo cual demuestra el teorema.
4.2. PRUEBAS CLSICAS DE LA RELATIVIDAD GENERAL 91
As, para el caso de la mtrica de Schwarzschild tenemos que los vectores
de Killing /t y / tienen componentes (1, 0, 0, 0) y (0, 0, 0, 1) respecti-
vamente y por lo tanto
g (u, /t) = g
00
u
0
=

1
r
s
r

dx
0
ds
=

1
r
s
r


t
= cte. (4.72)
g (u, /) = g
44
u
4
= r
2
dx
4
ds
= r
2

= cte. (4.73)
Aqu estamos interesados en la rbita de la partcula de prueba r = r (),
entonces
r=
dr
d
=
r

(4.74)
y de las ecuaciones 4.65 y 4.70 tenemos
L
2
r
4
r= E
2
V (r) (4.75)
Para integrar esta ecuacin realicemos el siguiente cambio de variable
u =
1
r
= r=
u
u
2
(4.76)
entonces
u
2
+u
2
=
E
2
1
L
2
+
r
s
L
2
u +r
s
u
3
(4.77)
diferenciando con respecto a tenemos
2uu+ 2uu
r
s
L
2
u3r
s
u
2
u = 0 =
2u

u+u
r
s
2L
2

3
2
r
s
u
2

= 0 (4.78)
92 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
Una solucin de esta ecuacin corresponde a movimiento circular, i.e.,
u= 0 implica r = cte.o
u+u
r
s
2L
2

3
2
r
s
u
2
= 0 (4.79)
Si comparamos esta ecuacin con la obtenida en mecnica Newtoniana
u+u
Gm
L
2
= 0 (4.80)
en donde
L = r
2
d
dt
(4.81)
y notando que r
2
= L la relacin entre las dos ecuaciones es
r
s
2L
2
=
Gm
c
2
L
2
=
Gm
c
2
(r
2
)
2
=
Gm
c
2

r
2
d
ds

2
=
Gm
c
2

r
2
d
cdt

2
=
Gm

r
2
d
dt

2
=
Gm
L
2
(4.82)
en donde se ha utilizado la aproximacin ds ' cdt vlida para velocidades
pequeas en comparacin con la velocidad de la luz. As, teniendo en cuenta
la denicin del radio de Schwarzschild r
s
= 2Gm/c
2
tenemos que cL = L.
Vemos entonces que la ecuacin relativista contiene el trmino adicional
3/2r
s
u
2
, el cual, para el caso de la rbita de Mercurio es pequeo comparado
4.2. PRUEBAS CLSICAS DE LA RELATIVIDAD GENERAL 93
con el tmino r
s
/2L
2
, pues teniendo en cuenta que ds ' cdt, tenemos
3/2r
s
u
2
r
s
/2L
2
= 3L
2
u
2
= 3
1
r
2

r
2

2
'
3
c
2

r
d
dt

2
' 3
v
2

c
2
7, 7 10
8
(4.83)
en donde v

es la velocidad de Mercurio perpendicular al radio vector. Por


esta razn podemos resolver la ecuacin de movimiento relativista para la
rbita de Mercurio, tratando al trmino 3/2r
s
u
2
como una perturbacin. La
aproximacin de orden cero (Newtoniana) est dada por
u
(0)
=
r
s
2L
2
(1 +e cos ) (4.84)
en donde la excentricidad e est denida como
a

1 e
2

=
2L
2
r
s
(4.85)
siendo a el semi-eje mayor de la rbita. Introduciendo esta solucin de orden
cero en la ecuacin diferencial para la rbita (ecuacin 4.79) tenemos
3
2
r
s
u
2
u+u =
r
s
2L
2
+
3r
3
s
8L
4
(1 +e cos )
2
(4.86)
Para encontrar la solucin a esta ecuacin diferencial no homognea,
notemos que las siguientes tres ecuaciones diferenciales
u+u =
_
_
_
K
K cos
K cos
2

(4.87)
poseen las siguientes soluciones particulares
K
1
2
Ksin
1
2
K
1
6
K cos (2)
(4.88)
94 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
Puesto que la solucin perturbativa u que estamos buscando es de la
forma u = u
(0)
+u
(1)
, donde u
(1)
es la solucin de la ecuacin 4.86, entonces
de las tres soluciones particulares la primera K = cte no es de inters, pues
solamente cambia los parmetros de la rbita no perturbada y la tercera
solucin
1
2
K
1
6
K cos (2) tampoco nos interesa pues en peridica y por
lo tanto no es observable. As, la solucin que presenta una perturbacin
interesante a la rbita no perturbada es la segunda, pues lleva a un cam-
bio secular de la rbita. De esta forma la solucin que estamos interesados
corresponde a la ecuacin diferencial
u+u =
r
s
2L
2
+
3r
3
s
4L
4
e cos (4.89)
la cual se obteniene a partir de la ecuacin 4.86 manteniendo solamente el
trmino en cos . La solucin a esta ecuacin diferencial est dada por
u =
r
s
2L
2

1 +e cos +
3r
2
s
4L
2
esin

(4.90)
Teniendo en cuenta que el trmino 3r
2
s
/4L
2
es pequeo para rbitas
planetarias, pues e.g.
3r
2
s
4L
2
=
3r
2
s
4 (r
2
)
2
=
3r
2
s
4 (r
2
)
2
'
3r
2
s
c
2
4r
2

r
d
dt

2
7 10
8
(4.91)
para Mercurio, entonces podemos reescribir la ecuacin 4.90 3n la forma
u =
r
s
2L
2

1 +e cos


3r
2
s
4L
2

(4.92)
El trmino 3r
2
s
/4L
2
introduce un aperiodicidad el la rbita del planeta,
la cual tiene como consecuencia un corrimiento en el perihelio de la rbita.
El perihelio de una rbita sucede cuando r es un mnimo, o equivalentemente
u es un mximo, as u es mximo cuando

1
3r
2
s
4L
2

= 2n; n N (4.93)
4.2. PRUEBAS CLSICAS DE LA RELATIVIDAD GENERAL 95
entonces
'

1 +
3r
2
s
4L
2

2n (4.94)
y por lo tanto perihelios sucesivos ocurren a intervalos de
= 2

1 +
3r
2
s
4L
2

(4.95)
y as el corrimiento del perielio por revolucin para la rbita de Mercurio es
= 2
3r
2
s
4L
2
= 42,89/siglo (4.96)
El valor medido para Mercurio es de 42,61,0 /siglo.
4.2.2. Desviacin de la luz por el sol
Para describir las geodsicas nulas el parmetro s no es apropiado puesto
que ds = 0. Sea q un parmetro cualquiera, entonces la ecuacin de las
geodsicas se puede obtener a partir del principio variacional

Z
g

dx

dq
dx

dq
dq = 0 (4.97)
De igual forma como procedimos en la seccin anterior para obtener las
trayectorias de partculas, podemos restringir, sin prdida de generalidad,
el movimiento de los rayos de luz al plano = /2. Entonces las ecuaciones
para las coordenadas t y estn dadas por
r
2
= cte. =

h (4.98)

1
r
s
r


t = cte. =

L (4.99)
La ecuacin para la coordenada r la obtenemos a partir de la condicin
ds = 0 vlida para geodsicas nulas, as

1
r
s
r

1
c
2

L
2

1
r
s
r

1
r
2


h
2
r
2
= 0 (4.100)
Eliminando el parmetro q, y haciendo el cambio u() = 1/r (), la
ecuacin anterior se transforma en
c
2

L
2

h
2
u
2

h
2
u
2
(1 r
s
u) = 0 (4.101)
96 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
y diferenciando esta ecuacin con respecto a , tenemos
u

u+u
3r
s
2
u
2

= 0 (4.102)
Descartando la solucin u = cte. obtenemos nalmente
u+u =
3r
s
2
u
2
(4.103)
Puesto que estamos interesados en la trayectoria de rayos de luz en el
campo del sol, y en particular para rayos de luz que pasan cerca a la supercie
solar, el trmino 3r
s
u/2 es pequeo
3r
s
2
u ' 10
6
(4.104)
y por lo tanto podemos considerar el trmino 3r
s
u
2
/2 como una pertur-
bacin, as la solucin a la ecuacin no perturbada
u+u = 0 (4.105)
est dada por
u
(0)
= Acos ( +) (4.106)
con A y constantes de integracin. Esta solucin representa una lnea recta
(no hay desviacin) y si escogemos el origen de los ejes en el centro del sol,
y consideramos un rayo proveniente de y , y llamamos x
mn
= r
0
el
punto de mximo acercamiento (que coincide con el parmetro de impacto)
entonces la solucin no perturbada se puede escribir en la forma
u
(0)
=
1
r
0
cos
r cos = r
0
(4.107)
Entonces la solucin a primer orden en teora de perturbaciones de la
ecuacin 4.103 la podemos ecribir como
u = u
(0)
+
3r
s
2
v (4.108)
en donde v satisface la ecuacin
v+v =

u
(0)

v+v =
1
2r
0
(1 + cos 2) (4.109)
4.2. PRUEBAS CLSICAS DE LA RELATIVIDAD GENERAL 97
cuya solucin es
v =
2
3r
2
0

1
3r
2
0
cos
2
(4.110)
y por lo tanto la solucin hasta trminos de orden 3r
s
/2 toma la forma
u =
1
r
0
cos
r
s
2r
2
0
cos
2
+
r
s
r
2
0
(4.111)

You might also like