Tejeiro. Relatividad General PDF

Principios de relatividad general
Juan Manuel Tejeiro Sarmiento

Profesor titular
Observatorio Astronmico Nacional
Facultad de Ciencias
Universidad Nacional de Colombia
2005
ii
ndice general
Introduccin
VII
Fundamentos matemticos
1. Espacios vectoriales
1.1. Introduccin . . . . .
1.2. Espacios topolgicos
1.3. Espacios mtricos . .
1.4. Espacios vectoriales .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
3
7
9
2. Variedades
2.1. Variedades diferenciales . . . . . .
2.2. Espacio tangente . . . . . . . . .
2.3. Tensores . . . . . . . . . . . . . .
2.4. Transformaciones entre variedades
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
23
28
39
47
3. Clculo en variedades
3.1. Derivada exterior . . . . . . . .
3.2. Derivada de Lie . . . . . . . . .
3.3. Conexin y derivada covariante
3.4. Transporte paralelo . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
53
53
56
60
63
iii
.
.
.
.
iv
NDICE GENERAL
3.5. Tensor de Riemann .
3.6. Tensor mtrico . . .
3.6.1. Relacin entre
3.7. Campos de Killing .
II
. . . . . . . . . . .
. . . . . . . . . . .
conexin y mtrica
. . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Relatividad general
4. Principios de relatividad general

4.1. La ley de gravitacin universal . . . . . .
4.2. Postulados de la TGR . . . . . . . . . .
4.3. Tensor mtrico y postulado de causalidad
4.4. Ecuaciones de campo de Einstein . . . .
69
70
75
78
83
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
85
85
90
92
101
5. La solucin de Schwarzschild
105
5.1. Mtrica para simetra esfrica . . . . . . . . . . . . . . 105
5.2. Teorema de Birkho . . . . . . . . . . . . . . . . . . . 115
5.3. Propiedades de la mtrica . . . . . . . . . . . . . . . . 117
6. Pruebas de la relatividad general
121
6.1. Corrimiento del perihelio de Mercurio . . . . . . . . . . 121
6.2. Desviacin de la luz por el sol . . . . . . . . . . . . . . 130
III
Aplicaciones astrofsicas
137
7. Colapso gravitacional
139
7.1. El tensor momentum-energa . . . . . . . . . . . . . . . 140
7.2. Movimiento geodsico . . . . . . . . . . . . . . . . . . . 145
7.3. Mtrica interior de una masa esfrica . . . . . . . . . . 148
8. Agujeros negros
165
8.1. Agujero negro de Schwarzschild . . . . . . . . . . . . . 166
NDICE GENERAL
8.2. Coordenadas de Kruskal . . . . . . . . . . . . . . . . . 170
IV
Aplicaciones cosmolgicas
9. Cosmologa
9.1. Mtrica de Robertson-Walker . . . . . . . . . .
9.1.1. Geometra espacial de la mtrica de R-W
9.2. Propiedades de la mtrica de R-W . . . . . . . .
9.2.1. Horizonte de eventos . . . . . . . . . . .
9.2.2. Movimiento propio de partculas en R-W
9.2.3. Corrimiento al rojo . . . . . . . . . . . .
9.2.4. El problema de distancias en cosmologa
9.3. Ley de Hubble . . . . . . . . . . . . . . . . . . .
179
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
181
182
191
196
196
198
200
203
208
10.Modelos cosmolgicos
215
10.1. Ecuaciones de Friedmann-Lematre . . . . . . . . . . . 216
10.2. Historia trmica del universo . . . . . . . . . . . . . . . 222
markboth
vi
NDICE GENERAL
Introduccin
La teora de la relatividad (especial y general) es considerada como
uno de los logros ms grandes de la mente humana y forma parte de
lo que se puede llamar la cultura del hombre del siglo XX.
En 1916 Einstein publica la Teora General de la Relatividad, la
cual corresponde a la formulacin relativista de la ley de gravitacin universal de Newton. Este trabajo, a diferencia de sus primeras
publicaciones sobre la teora especial de la relatividad, requiri una
estructura matemtica muy compleja: la geometra diferencial y el
clculo tensorial. Dos predicciones fundamentales surgieron de esos
planteamientos: el corrimiento del perihelio de Mercurio, efecto que
ya haba sido observado mas no explicado por los astrnomos, y la
desviacin de la luz por el sol, cuya corroboracin se da en 1919,
aprovechando un eclipse total de sol que tuvo lugar el 29 de mayo.
Ms signicativo an para el desarrollo de la teora general de la
relatividad fue el descubrimiento de Hubble de la expansin del universo en 1929. Si bien Einstein no haba predicho este efecto, s estaba
contenido en sus ecuaciones de la relatividad general. En efecto, en
1916 Einstein soluciona sus ecuaciones de campo buscando describir
un universo esttico, el cual se consideraba que describa el universo
observado. El problema de describir un universo esttico era fundamental, pues se saba que la ley de gravitacin universal de Newton no
poda dar cuenta de un universo estacionario, dado que esta ley (invii
viii
INTRODUCCIN
verso al cuadrado de la distancia) no permite tener una distribucin

esttica de masas.
La primera solucin de las ecuaciones de campo obtenida por Einstein para una distribucin homognea e isotrpica de materia (principio cosmolgico) lo condujo a una solucin dinmica y por esta razn
se vio forzado a introducir un trmino adicional en sus ecuaciones,
proporcional a la constante cosmolgica, la cual le permita obtener
una solucin esttica. Aun cuando Robertson y Walker mostraron que
esta solucin esttica de Einstein no era matemticamente satisfactoria, pues corresponda a una solucin inestable, no fue sino con el
descubrimiento de Hubble de la expansin del universo que Einstein
reconoci el error de haber modicado sus ecuaciones al introducir una
constante cosmolgica sin justicacin ni signicado fsico. Este punto
de la historia marc el comienzo de la cosmologa actual, la cual es
una de las reas de investigacin ms activas que se tiene hoy.
Por otra parte, la teora general de la relatividad recibi un gran
impulso en los aos sesenta, cuando la relatividad general comenz a
tener gran inters, no slo por el acelerado desarrollo de la astronoma
observacional, con los descubrimientos de la radiacin csmica de fondo, reliquia del universo temprano, y los objetos ms lejanos observados, los quasares, sino tambin con el desarrollo de la fsica de partculas elementales, las cuales para un cabal entendimiento requieren las
interacciones fundamentales, fuerte, dbil y electromagntica, la cuantizacin de la fuerza de la gravedad. En efecto, en esa dcada se acu
el trmino agujero negro, el cual jug un papel fundamental en muchos
desarrollos posteriores.
Hoy el estudio de los agujeros negros no slo es de inters en el
contexto terico de los problemas asociados a la teora cuntica de la
gravedad, sino tambin de inters observacional, pues varios fenmenos
astronmicos como los AGN (ncleos activos de galaxias), requieren
la presencia de agujeros negros para dar cuenta de los fenmenos observados.
ix
En este libro se presentar los fundamentos de la teora general de
la relatividad y sus principales aplicaciones en agujeros negros y en
cosmologa. El texto inicia con tres captulos dedicados a los fundamentos matemticos necesarios para formular la teora general de la
relatividad. La segunda parte contiene tres captulos dedicados a los
principios bsicos de la relatividad general, la solucin de Schwarzschild y las pruebas clsicas de la teora. La tercera parte se reere
a aplicaciones astrofsicas, con un captulo sobre el colapso gravitacional y otro sobre agujeros negros, y la ltima parte del texto aborda
los principios de la cosmologa, con un captulo dedicado al estudio
de la mtrica de Robertson-Walker y un captulo nal sobre modelos
cosmolgicos.
INTRODUCCIN
Parte I
Fundamentos matemticos
Captulo 1
Espacios vectoriales
1.1.
Introduccin
En este captulo se presentarn los elementos fundamentales del lgebra lineal. No pretende dar un desarrollo exhaustivo del tema, sino
tan slo de las principales deniciones y los resultados ms importantes
necesarios para introducir el concepto de variedad en el siguiente captulo.
1.2.
Espacios topolgicos
A continuacin se exponen algunas deniciones fundamentales sobre espacios topolgicos y espacios mtricos.
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
abiertos, tales que:
T-1: ; T 2 A, es decir, el vaco y todo el conjunto T son abiertos.
T-2: Dada cualquier coleccin de abiertos a 2 A;con 2 I, siendo
3
CAPTULO 1. ESPACIOS VECTORIALES
I un conjunto de ndices, entonces

[
2I a
2A
es decir, unin arbitraria de abiertos es un abierto.

T-3: Para toda coleccin nita de abiertos ai 2 A, i = 1; 2; :::; n,
entonces
\ni=1 ai 2 A
es decir, interseccin nita de abiertos es abierto.
La familia de abiertos A se llama topologa de T . 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 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 sirven para ilustrar situaciones y conceptos especiales que surgen
en el estudio de los espacios topolgicos. Un ejemplo no trivial de una
topologa lo constituyen los nmeros reales R con la llamada topologa
usual, donde los abiertos estn conformados por todos los intervalos
abiertos de la forma (a; b)
R, con la identicacin (a; a) =
y
( 1; 1) = R.
Denicin 1-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 se ver la relacin entre esta denicin de continuidad,
con la denicin usual utilizada en espacios mtricos, cuando se relacione la estructura topolgica de un espacio con su estructura mtrica.
1.2. ESPACIOS TOPOLGICOS
Denicin 1-3 Sean T y R espacios topolgicos. Una funcin

':T
!R
(1.2)
se llama un homeomorsmo si la funcin ' es continua con inversa

'
:R !T
(1.3)
continua.
As, todo homeomorsmo ' entre espacios topolgicos transforma
abiertos de un espacio topolgico en abiertos del otro espacio, y en este
caso se dice que los dos espacios topolgicos son homeomorfos. Los dos
ejemplos sigientes ilustran por qu los espacios topolgicos extremos,
el discreto y el trivial, no son de inters 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 abierto 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.
Denicin 1-4 Un espacio topolgico T se llama de Hausdorf o
separable, si para todo par de puntos p; q 2 T , con p 6= q, existen
abiertos U y V de T , con p 2 U y q 2 V tal que
U\V=
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.
Denicin 1-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
que
2 I, siendo I un conjunto de ndices, tal

C
2I a
Denicin 1-6 Un subconjunto C T , de un espacio topolgico

T , se llama compacto si dado cualquier recubrimiento abierto de C,
existe un subrecubrimiento nito ai ; i = 1; 2; :::; n de C, esto es
C
[ni=1 a
Denicin 1-7 Un subconjunto A T , de un espacio topolgico

T , se llama cerrado si su complemento, i.e., T nA, es abierto.
Dependiendo de la estructura topolgica del espacio, hay conjuntos

que son abiertos y cerrados a la vez; por ejemplo, cualquier subconjunto 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 mutuamente 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 intervalo 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
espacios mtricos y su relacin con la estructura topolgica.
1.3. ESPACIOS MTRICOS
1.3.
Espacios mtricos
Denicin 1-8 Un espacio mtrico M es un conjunto de puntos

con una funcin, llamada mtrica,
d: M M
!
(x; y) 7 !
R
d(x; y)
(1.5)
tal que:
M-1: 8x; y 2 M , se tiene que
d(x; y)
0;
d(x; y) = 0 () x = y
(1.6)
M-2: 8x; y 2 M , se tiene que

d(x; y) = d(y; x)
(1.7)
M-3: 8x; y; z 2 M , se satisface la desigualdad triangular, i.e.,

d(x; z)
d(x; y) + d(y; z)
(1.8)
Uno de los ejemplos ms importantes de espacio mtrico lo constituye Rn con la llamada mtrica usual o euclideana, denida como:
p
d(x; y) := (x1 y 1 )2 +
+ (xn y n )2
(1.9)
donde
x = (x1 ; :::; xn )
y = (y 1 ; :::; y n ):
(1.10)
(1.11)
Sobre Rn tambin es posible denir otras mtricas, de hecho innitas

mtricas, pues la funcin
!1=p
n
X
dp (x; y) =
(xi y i )p
(1.12)
i=1
para cada entero p satisface las propiedaes M 1 a M 3. El caso

particular p = 2 corresponde a la mtrica usual. Un caso especial de
una mtrica, denida como
d(x; y) = 0 si x = y
d(x; y) = 1; 8x 6= y
(1.13)
(1.14)
muestra que todo conjunto es metrizable. Esta mtrica es trivial y se

utiliza solamente para construir contraejemplos.
Denicin 1-9 Sea M un espacio mtrico. Una bola abierta Bx (r)
de radio r y centro x 2 M es el conjunto de todos los puntos y 2 M
tales que
d(x; y) < r
(1.15)
Un subconjunto A M se llama acotado si para todo par de puntos x; y 2 A existe un nmero real positivo r tal que d(x; y) < r. Para
todo conjunto acotado de un espacio mtrico se puede construir una
bola centrada en cualquiera de los puntos que contenga el conjunto.
Denicin 1-10 Sean M y N espacios mtricos con mtricas dM
y dN respectivamente. Una funcin f : M ! N se dice continua en
un punto x 2 M si dado cualquier real positivo > 0 simpre es posible
encontrar un nmero real > 0 tal que
dM (y; x) <
(1.16)
dN (f (x); d(y)) <
(1.17)
implica que
Una funcin entre espacios mtricos continua con inversa continua se
llama un homeomorsmo.
Para conectar la estructura de espacio mtrico con la estructura
de espacio topolgico se introduce la siguiente:
Denicin 1-11 Sea A
M , con M un espacio mtrico. Entonces A es un subconjunto abierto de M si 8x 2 A existe una bola
abierta B(x; r) contenida en A:
1.4. ESPACIOS VECTORIALES
Es fcil probar, entonces, que los abiertos de un espacio mtrico

satisfacen 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
(1.18)
(1.19)
d(x; y) = 0 si x = y;
d(x; y) = 1; 8x 6= y
induce la topologa trivial, pero ninguna mtrica induce la topologa

discreta. Adems, la topologa usual sobre Rn 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.4.
Espacios vectoriales
Denicin 1-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
(g1 ; g2 ) 7 ! g = g1 g2
(1.20)
tal que
G-1: Exista un elemento e 2 G, llamado la identidad, con la
propiedad que para todo elemento g 2 G se cumpla que
(1.21)
e g=g e=g
G-2: Para todo elemento g 2 G exista un elemento g
llamado elemento inverso, tal que:
g g
=g
g=e
2 G,
(1.22)
10

G-3: 8g1 ; g2 ; g3 2 G se cumple la asociatividad:
g1 (g2 g3 ) = (g1 g2 ) g3
(1.23)
En general se tiene que

g1 g2 6= g2 g1
(1.24)
y cuando la igualdad se cumple para todos los elementos del grupo,

ste se llama grupo conmutativo o abeliano. 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 se entiende una transformacin que deja invariante al sistema. Por ejemplo, consideremos una
molcula de amoniaco N H3 , constituida por tres tomos de hidrgeno
y uno de nitrgeno. La conguracin 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 perpendicular al plano determinado por los tres hidrgenos, entonces la conguracin espacial
de la molcula no cambia y se dice que la molcula posee el grupo de
simetra conformado por los elementos:
G = fR(0 ); R(120 ); R(240 )g
(1.25)
donde R(0 ) 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(
+' )
(1.26)
11
e identicando R(0 )
R(360 ), los elementos del grupo R(120 ) y
R(240 ) son mutuamente 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, rotaciones del polgono alrededor de un eje
que pasa por su centro, tiene n elementos:
G = fR(0 ); R(
360
360
); R(2
)
n
n
R((n
1)
360
)g
n
(1.27)
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 indica
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 considerados hasta ahora ilustran los
tipos de grupos ms comunes que encontramos en diversas aplicaciones: grupos con un nmero nito de elementos, como las rotaciones
de un polgono regular de n lados, 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 tridimensional) constituye
una clase particular llamada de Lie, la cual juega un papel muy importante en la matemtica y en especial en la fsica. Volveremos sobre
ella ms adelante.
Denicin 1-13 Un cuerpo o campo (G; +; ) es un conjunto de
elementos G sobre el cual estn denidas dos operaciones internas +,
y , llamadas suma y multiplicacin respectivamente, tal que (G; +)
forma un grupo abeliano, y la operacin
satisface las siguientes
propiedades:
12
C-1: Exista un elemento 1 2 G, llamado la identidad multiplicativa, con la propiedad que para todo elemento g 2 G se cumpla que
1 g = g 1 = g.
C-2: Para cualesquier tres elementos g1 ; g2 ; g3 2 G se cumple que
la multiplicacin se distribuye sobre la suma, i.e.,
g1
(g2 + g3 ) = g1
g2 + g1
(1.28)
g3
C-3: La multiplicacin es asociativa y conmutativa, es decir, para

todo g1 ; g2 ; g3 2 G, se cumple que:
g1
g2 = g2
(1.29)
g1
y
g1
(g2
g3 ) = (g1
g2 )
g3 = g1
g2
g3
(1.30)
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:
Denicin 1-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: 8x; y 2 V , se tiene que
x+y =y+x
V-2: La suma de vectores es asociativa: 8x; y; z 2 V , se tiene que
x + (y + z) = (x + y) + z
V-3: Existe el vector nulo 0 2 V , tal que 8x 2 V se cumple
0+x=x

V-4: 8x 2 V , existe el vector
x + ( x)
13
x 2 V , tal que
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 V
( ; g)
! V
7 ! h=
(1.31)
tal que:
V-5: Para todo par de vectores x; y 2 V y todo escalar
2K
(x + y) = x + y
V-6: Para todo vector x y todo par de escalares
( + )x = x + x
V-6: Para todo vector x y todo par de escalares
( x) = (
)x
V-7: Para todo vector x

1x = x; 0x = 0y( 1)x =
donde 1 es la identidad multiplicativa de K, 0 2 K es la identidad

aditiva y 1 2 K es el inverso aditivo de 1.
El ejemplo ms importante de espacio vectorial es Rn sobre los
reales. Para construir otros ejemplos importantes por sus aplicaciones,
14
consideremos V y W dos espacios vectoriales sobre el cuerpo de los

reales, y denamos una transformacin lineal T como una funcin
T :
V
v
! W
7 ! w = T (v)
(1.32)
tal que:
T ( v + u) = T (v) + T (u);
8v; u 2 V
8 ;
2<
(1.33)
Denamos sobre el conjunto de todas las transformaciones lineales

de V en W, i.e.,
L(V; W) := fT : V ! W j T es <
linealg
(1.34)
una suma y el producto por un real como:

(T1 + T2 )(v) := T1 (v) + T2 (v);
( T )(v) := T (v);
8T1 ; T2 2 L(V; W) y 8v 2 V (1.35)
8T 2 L(V; W); 8v 2 V y 8 2 <
(1.36)
entonces, T1 + T2 y T tambin son transformaciones lineales, i.e.,

T1 + T2 ; T 2 L(V; W)
(1.37)
y por lo tanto el conjunto L(V; W) con estas operaciones es un espacio

vectorial 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.
Denicin 1-15 Un conjunto fv1 ; v2; :::; vr g de r vectores de V ,
con vi 6= 0; 8i = 1; 2; :::; r, se llama linealmente independiente si dada
cualquier combinacin lineal
r
X
i=1
i vi
=0
(1.38)
15
implica que todos los i = 0:

Denicin 1-16 El nmero mximo de vectores linealmente independientes de V se llama dimensin del espacio vectorial y por lo
tanto forma una base, i.e., cualquier vector del espacio se puede escribir como una combinacin lineal de estos vectores. As, si fei g;
i = 1; 2; :::; n forman una base del espacio vectorial V , entonces todo
v 2 V lo podemos escribir como
v = v 1 e1 + v 2 e2 +
+ v n en
(1.39)
y los nmeros v 1 ; i = 1; 2; :::; n se llaman componentes del vector v en

la base fei g.
Denicin 1-17 Sea V un espacio vectorial real. Denamos una
norma sobre V como una funcin
k k
V
v
!
7 !
R
kvk
(1.40)
tal que:
N-1: kvk > 0, si v 6= 0 y kvk = 0 si v = 0
N-2: k vk =j j kvk
N-3: kv + wk kvk + kwk
Toda norma sobre un espacio vectorial induce una mtrica denida
por:
d(v; w) := kv wk
(1.41)
La ltima estructura de gran importancia que se puede denir sobre un espacio vectorial es el producto punto, llamado tambin producto escalar o interno:
Denicin 1-18 Sea V un espacio vectorial real. Denamos un
producto interno sobre V como una funcin
h; i
V V
v; w
!
7 !
R
hv; wi
(1.42)
16
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: h v; 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 segunda componente. Dado un producto punto sobre un espacio
vectorial real, entonces sobre l se induce una norma denida por:
p
kvk := hv; vi
(1.43)
y as se induce tambin una mtrica y por ende una topologa.
Con estas deniciones podemos introducir el concepto de base ortonormal fei g i = 1; 2; :::; n de un espacio vectorial, donde los vectores
de la base satisfacen la relacin:
hei ; ej i =
ij
(1.44)
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:
j hv; wi j
kvkkwk
la cual nos permite denir el concepto de ngulo

v y w a travs de la relacin:
cos :=
hv; wi
kvkkwk
(1.45)
entre dos vectores
(1.46)
lo que justica el nombre de base ortonormal, es decir, vectores mutuamente ortogonales y de norma unitaria.
17
Para nalizar esta introduccin veamos el concepto de espacio vectorial dual. Con este n, sea L(V,R) el conjunto de todas las transformaciones lineales del espacio vectorial sobre los reales, es decir:
L(V; <) := ff : V !< j f es linealg
(1.47)
y denamos sobre este conjunto la suma de funciones y el producto de

un nmero real por una funcin como:
(f + g)(v) := f (v) + g(v)
(1.48)
( f )(v) := f (v)
(1.49)
8f; g 2 L(V,<); 8v 2 V 8 2 <, entonces estas dos operaciones denen

una estructura de espacio vectorial real sobre el espacio de funciones
L(V,R). Este espacio no es vaco, pues
hv; i 2 L(V; R); 8v 2 V
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 2 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
fei g;
i = 1; 2; :::; n
(1.50)
una base ortonormal de V, entonces si v 2 V tenemos que
v=
n
X
i ei
(1.51)
i=1
donde los coecientes estn dados por las proyecciones del vector v
sobre los vectores de la base, es decir, j = hej ; vi, entonces si f es
18
una funcin real lineal sobre el espacio vectorial tenemos

n
X
f (v) = f (
i ei ) =
i=1
n
X
(1.52)
i f (ei )
i=1
de esta forma conocer f (v) para todo v 2 V es equivalente a conocer

f (ei ) para i = 1; 2; :::; n. Por otra parte, el teorema de representacin
de Ritz establece que para cada funcin f 2 L(V,R) existe un vector
w 2 V tal que f (v) = hw; vi, entonces dada una base ortonormal fei g
de V, las funciones hej ; i := ei denen una nica base para el espacio
L(V,<), llamada la base dual, pues
* n
+
n
X
X
hw; vi =
=
(1.53)
k ek ; v
k hek ; vi
=
k=1
n
X
k=1
k=1
n
n X
X
k=1 i=1
ek ;
n
X
i ei
i=1
i ki
n
X
n X
n
X
k=1 i=1
hek ; ei i
i=1
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
fei gi=1;:::;n de V existe una nica base fej gj=1;:::;n , la base dual, denida por la relacin:
hek ; ei i = ki
(1.54)
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 .
Consideremos ahora el caso de un cambio de base. Para tratar
este problema introduciremos un cambio de notacin, el cual ser de
19
utilidad cuando trabajemos en variedades. Denotemos por fE g con

= 1; 2; :::; n al conjunto de vectores de una base del espacio vectorial
V. As dado un vector v 2V entonces
v=
n
X
v E
(1.55)
=1
donde v son las componentes del vector v en la base fE g. Sea ! 2V

un vector del espacio dual y denotemos por fE g con = 1; 2; :::; n
al conjunto de vectores de la base dual de V , denida por la relacin
1.54, esto es
E (E )
E ;E =
(1.56)
entonces
!=
n
X
! E
(1.57)
=1
Consideremos ahora otra base fE g, = 1; 2; :::; n, del espacio V

y su correspondiente base dual fE g, denida por la relacin
E ;E
(1.58)
Debido a las propiedades de las bases de un espacio vectorial, un

vector de la nueva base E se puede escribir en trminos de la base
original:
n
X
E =
E ;
= 1; 2; :::; n
(1.59)
=1
Los coecientes
de esta combinacin lineal constituyen la matriz de transformacin cambio de base. Ahora el objetivo es encontrar
cmo cambian las componentes de un vector v cuando se cambia de
base y cmo cambian las componentes de un vector dual !. Consideremos en primer lugar que sucede con el cambio de base dual.
20
los elementos de la matriz de transformacin de

Denotemos por
las bases duales, esto es
E =
n
X
E ;
(1.60)
= 1; 2; :::; n
=1
y busquemos la relacin entre las matrices

y
suciente tener en cuenta la ecuacin 1.58, pues
=
=
E ;E
* n
X
E ;
=1
=
=
n
X
=1
n
X
=1
=1
n
n
XX
=1
n
X
. Para este fn es
hE ; E i
=1
n
X
(1.61)
=1
Esta ecuacin implica que las matrices de cambio de base

son muatuamente inversas:
=
(1.62)
Con este resultado podemos encontrar como se transforman las

componentes de los vectores de V y V cundo se cambia de bases. Sea
v 2V, entonces si denotamos por v las componentes del vector en la
21
nueva base, se tiene que

v =
=
=
n
X
=1
n
X
v E =
v E
=1
n
X
=1
=1
n
n
XX
=1
n
X
E
(1.63)
v E
=1
Dado que los vectores de una base son linealmente independientes,

se debe cumplir que
n
X
v =
v
(1.64)
=1
De esta expresin se pueden despejar las componentes primadas v

multiplicando ambos lados de la ecuacin por la matriz inversa de
cambio de base, as
n
X
=1
n
X
=1
n X
n
X
=1
=
=
n
X
=1
n
n
X
X
=1
n
X
=1
=1
v =v
v
!
v
(1.65)
=1
Es decir, bajo un cambio de base, si

representa las componentes
de la matriz cambio de base, entonces las componentes de un vector de
22
, de la misma manera como

V se transforman con la matriz inversa
se transforman los vectores de las bases duales. Por lo tanto para el
caso de los vectores duales podemos encontrar, sin ms clculos, como
se transforman las componentes bajo un cambio de base: si ! 2V
entonces sus componentes cambian
Captulo 2
Variedades
En este captulo expondremos los elementos bsicos de la teora
de variedades y daremos los principales resultados necesarios para la
formulacin de la teora general de la relatividad.
2.1.
Variedades diferenciales
Denotemos por Rn el espacio vectorial euclideano, es decir, al conjunto de n-plas (x1 ; x2 ; ; xn ) con la mtrica usual.
Denicin 2-1 Una funcin
':
Rn
x
!
7 !
Rm
x0 = '(x)
(2.1)
con A un subconjunto abierto de Rn , se llama de clase C r si las coordenadas x0 = (x01 ; x02 ; ; x0m ) del punto imagen '(x) son funciones
r-veces continuamente diferenciables. Si la funcin ' es de clase C r
para todo r 0, entonces se dice que ' es suave o de clase C 1 .
Denicin 2-2 Sea M un espacio topolgico. Denimos una carta
23
24
CAPTULO 2. VARIEDADES
coordenada C = (' ; U ) sobre M como un homeomorsmo:

' : U
p
!
Rn
7 ! x = ' (p)
(2.2)
donde U es un abierto de M . Las componentes de un punto x bajo

la funcin ', i.e. x = (x1 ; ; xn ) se llaman coordenadas del punto p,
y n es la dimensin de la carta.
Denicin 2-3 Sea M un espacio topolgico. Un atlas A de clase
r
C sobre M es una coleccin de cartas fC = (' ; U )g 2I tal que:
A-i- Los abiertos U cubren M , i.e.:
[
U
(2.3)
M=
2I
A-ii- Si U \ U 6= , entonces
'
'
' (U \ U ) Rn
x = ' (p)
!
7 !
' (U \ U ) Rn
y = ' (p)
(2.4)
es un difeomorsmo de clase C r .
Las funciones ' ' 1 y su inversa ' ' 1 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 una clase de equivalencia de atlas, o un atlas
maximal.
Denicin 2-4 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, lo cual implica que si p 2 U
M, entonces las coordenadas de p son las
coordenadas del punto imagen ' (p) 2 Rn ; as notaremos ' (p) =
(x1 ; x2 ; :::; xn ) con xi = xi (p):
2.1. VARIEDADES DIFERENCIALES
25
La condicin A-ii exige que las vecindades coordenadas sean compatibles, es decir: si p 2 U \ U , entonces
(p) = (x1 ; x2 ; :::; xn )
y
(p) = (x01 ; x02 ; :::; x0n )
son dos coordenadas diferentes para el mismo punto, y que las cartas
( ; U ) y ( ; U ) estn relacionadas por:
1
(
(
)(x01 ; x02 ; :::; x0n ) = (x1 ; x2 ; :::; xn )

1
)(x1 ; x2 ; :::; xn ) = (x01 ; x02 ; :::; x0n )
Las coordenadas xi = xi (x0 j ) son funciones de clase C r de las

coordenadas x0 j y viceversa x0 j = x0 j (xi ):
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 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 diferencial. En 1956 Milnor demostr que S 7
posee 28 estructuras diferenciales diferentes. En 1984 se demostro que
Rn admite un nmero innito de estructuras diferenciales.
NOTA 3: Una C r -variedad con frontera se dene de la misma manera cambiando Rn por
1 n
R := fx 2 Rn j xn
2
0g
26
El contorno de M, denotado por @M, se dene como el conjunto de

todos los puntos de M cuya imagen bajo
est sobre el contorno
1 n
r
de 2 R , y de esta forma @M es una C -variedad sin frontera de
dimensin n 1.
Consideremos algunos ejemplos de variedades diferenciables:
R2 es una variedad bidimensional. Las coordenadas rectangulares
(x; y : 1 < x; y < 1) cubren todo R2 . Las coordenadas polares
(r; ) cubren slo la vecindad coordenada (r > 0; 0 < < 2 ). As, se
necesitan por lo menos dos de tales cartas para cubrir R2: .
El cilindro bidimensional C 2 es una variedad obtenida a partir de
2
R identicando los puntos (x; y) con (x + 2 ; y). Entonces (x; y) son
coordenadas en la vecindad (0 < x < 2 ; 1 < y < 1); as se necesitan por los menos dos de tales vecindades coordenadas para cubrir
C 2: . De manera similar la cinta de Mbius se obtiene identicando
(x; y) con (x + 2 ; y).
La 2-esfera unidad
S 2 : f(x1 ; x2 ; x3 ) 2 R3 j (x1 )2 + (x2 )2 + (x3 )2 = 1g
es una variedad. Las coordenadas en cada punto de las regiones x1 > 0
y x1 < 0 son:
(x2 ; x3 ); 1 < x2 < 1; 1 < x3 < 1
As se necesitan seis de tales cartas para cubrir S 2 :
No se puede cubrir S 2 con un solo sistema de coordenadas. Otro
ejemplo que generaliza a S 2 es la n-esfera denida por
S n := fx 2 Rn+1 j (x0 )2 + (x1 )2 +
+ (xn )2 = 1g
(2.5)
Para denir una estructura de variedad diferenciable, consideremos

el hiperplano H de Rn+1 denido por x0 = 0; consideremos el atlas
2.1. VARIEDADES DIFERENCIALES
27
denido por las dos cartas ('1 ; U1 ) y ('2 ; U2 ), las dos proyecciones
estereogrcas de la n-esfera sobre este plano H, denidas por:
'1 :
'2 :
U1 = S n nfe0 g
x
!
7 !
U2 = S n nf e0 g
x
!
7 !
H Rn
0
'1 (x) = x1 xxoe0
H Rn
x0 e0
'2 (x) = x1+x
o
(2.6)
(2.7)
donde e0 = (1; 0; :::; 0) 2 S n es el polo nortede la n-esfera y e0 el

polo sur. Es decir, U1 cubre la esfera menos el polo norte y U2 cubre
la esfera menos el polo sur. Estas dos cartas son C 1 compatibles pues
la transformacin de coordenadas
'2 '1 1 (y) =
y
kyk
y 2 Rn y y 6= 0
(2.8)
es innitamente diferenciable.
No es difcil probar que la variedad S n , a diferencia de Rn , requiere
por lo menos dos cartas coordenadas para cubrir la variedad.
Denicin 2-5 Una variedad M se dice orientable si existe un
atlas
= f ;U g 2
tal que en toda interseccin no vaca U \ U de abiertos, el determinante de la matriz (@xi =@x0 j ) es positivo, donde (x1 ; x2 ; :::; xn ) y
(x01 ; x02 ; :::; x0n ) son coordenadas en U y U respectivamente.
Denicin 2-6 Un atlas = f ; U g 2 se dice localmente nito si todo punto p de la variedad M tiene una vecindad abierta que
intercepta slo un nmero nito de vecindades U : Una variedad M se
llama paracompacta si para todo atlas = f ; U g 2 existe un atlas
localmente nito = f ; V g 2 con cada V contenido en algn U :
En lo sucesivo, por variedad entenderemos una C r -variedad de
Hausdor paracompacta.
28
A partir de variedades dadas es posible construir nuevas variedades

diferenciables tomando el producto cartesiano entre ellas, pues dadas
M y N variedades suaves de dimensiones m y n respectivamente, sean
A = f(U ; ' )g y B = f(V ; )g sus atlas maximales, entonces
M
N := f(p; q) j p 2 M; q 2 N g
(2.9)
el producto cartesiano es una variedad n + m dimensional, con el atlas

maximal denido como:
C := f(U
V ;'
)g
(2.10)
donde
'
M
(p; q)
!
Rm Rn
7 ! (' (p); (q))
(2.11)
Con esta denicin podemos construir otras variedades de inters

en fsica, como el cilindro bidimensional R S 1 ; o el toro S 1 S 1 .
2.2.
Espacio tangente
El concepto de variedad surgi como una generalizacin de la teora

de supercies en R3 . As, por una parte se hace necesario generalizar
el concepto de plano tangente a una supercie, y por otra parte la
nocin de vector tangente a una variedad nos permitir generalizar
tambin los conceptos de derivadas direccionales en Rn : 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, permitir construir los conceptos
necesarios para introducir la nocin de derivada direccional sobre una
variedad y de tensor, en una forma ms directa.
2.2. ESPACIO TANGENTE
29
Denicin 2-7 Sea M una variedad suave n-dimensional y

M
!
p 7 !
f:
R
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 2 M si para toda vecindad
coordenada (U ; ' ) de p la funcin
f := f
'
' (U ) Rn
x = ' (q)
!
7 !
R
f (x) = f (q)
es de clase C k en el punto p 2 U
M.
Llamemos
F(M; R) := ff : M ! Rg
(2.13)
(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 nmero
real por una funcin en la forma:
(f + g)(p) := f (p) + g(p);
( f )(p) := f (p);
8f; g 2 F(M; R); 8p 2 M
8f 2 F(M; R); 8p 2 M; 8 2 R
(2.15)
(2.16)
La nocin de diferenciabilidad de una funcin slo 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 de diferenciabilidad tenga sentido es necesario mostrar
que no depende de la carta coordenada utilizada. As, sea (U ; ' )
otra carta con p 2 U , entonces
f =f
'
=f
'
('
' 1) = f
('
' 1)
(2.17)
30
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 independencia 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.
Denicin 2-8 Sea M una variedad suave y p 2 M . Un vector
tangente vp a la variedad M en el punto p es una funcin
vp :
F(M; R)
!
f
7 !
R
vp (f )
(2.18)
tal que:
T-1: vp es R lineal, i.e.,
vp (f + g) = vp (f ) + vp (g); 8f; g 2 F(M; R);
8 2R
T-2: vp es leibnitziana, i.e.,

vp (f g) = f (p)vp (g) + vp (f )g(p)
Denamos por Tp M al conjunto de todos los vectores tangentes a
un punto p 2 M como el espacio tangente a la variedad en el punto p.
Lema 2-1 El espacio tangente Tp 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 vp ; wp 2 Tp M, entonces denamos la suma y el producto por:
(vp + wp )(f ) := vp (f ) + wp (f );
( vp )(f ) := vp (f );
8f 2 F(M; R)
8f 2 F(M; <); 8 2 R
(2.19)
(2.20)
31
La linealidad, propiedad T-1, es directa de probar pues

(vp + wp )(f + g) = vp (f + g) + wp (f + g)
= vp (f ) + vp (g) + wp (f ) + wp (g)
= (vp + wp )f + (vp + wp )g
(2.21)
por denicin, luego vp + wp 2 Tp M. Para demostrar T-2, apliquemos
vp + wp al producto f g; entonces, por denicin de suma de vectores
tenemos
(vp + wp )(f g) = vp (f g) + wp (f g)
(2.22)
puesto que vp y wp son vectores para los cuales vale T-2, y por lo tanto
(vp + wp )(f g) = f (p)vp (g) + vp (f )g(p) + f (p)wp (g) + wp (f )g(p)
= f (p)(vp + wp )(g) + (vp + wp )(f )g(p)
(2.23)
como se quera probar.
Para mostrar que el espacio tangente tiene la misma dimensin que
la variedad, veamos algunas deniciones y resultados importantes.
Denicin 2-9 Sea M una variedad suave y (U ; ' ) una vecindad coordenada de p 2 M y sea (x1 ; :::; xn ) = ' (p) las coordenadas
del punto p. Sea f 2 F (M; R) y denamos la "derivada parcial" de la
funcin f con respecto a las coordenadas xi ; i = 1; :::; n en el punto p
por
@f
@(f )
(p)
:=
(' (p))
(2.24)
@i f (p)
@xi
@xi
Entonces
Lema 2-2 Las funciones
@
@xi
: F(M; R) ! R
son vectores tangentes de Tp M .
(2.25)
32
Para demostrar este lema veamos que las funciones @i jp 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 2 F(M; R) y
2 R, entonces de la denicin 2-9 tenemos
@(f + g )
@(f + g)
(p) =
(' (p))
i
@x
@xi
@(f )
@(g )
=
(' (p)) +
(' (p))
i
@x
@xi
@g
@f
(p) +
(p)
=
i
@x
@xi
(2.26)
lo cual prueba la linealidad; en el segundo paso se us la linealidad de

las derivadas parciales. Para la propiedad T-2
@(f g)
@(f g )
(p) =
(' (p))
(2.27)
i
@x
@xi
@(g )
@(f )
= f (' (p))
(' (p)) +
(' (p))g (' (p)
i
@x
@xi
@(g)
@(f )
= f (p) i (p) +
(p)g(p)
@x
@xi
donde para el tercer paso se utiliz la regla de la derivada de un producto de funciones.
@f
El siguiente resultado muestra que las derivadas parciales @x
i (p)
denidas anteriormente son objetos locales, es decir, slo dependen
del comportamiento de las funciones f en una vecindad del punto
p 2 M.
Lema 2-3 Sea vp 2 Tp M un vector tangente y f; g 2 F (M; R),
entonces:
i. Si f = g en alguna vecindad del punto p 2 M , entonces vp (f ) =
vp (g)
ii. Si la funcin f es constante en una vecindad del punto p, entonces vp (f ) = 0.
33
La prueba de este lema es sencilla pues toda funcin lineal transforma el cero en cero, y as
0 = vp (0) = vp (f
g) = vp (f )
vp (g)
(2.28)
adems, si f = c = cons, entonces como

vp (1) = vp (1 1) = 1 vp (1) + vp (1) 1 = 2vp (1)
(2.29)
se tiene que vp (1) = 0, y por lo tanto

vp (f ) = vp (c) = cvp (1) = 0
(2.30)
El siguiente teorema constituye el resultado central de esta seccin.

Teorema 2-4 Sea (U ; ' ) una vecindad coordenada de un punto
p 2 M , entonces los vectores coordenados @i jp i = 1; 2; :::; n conforman una base para el espacio tangente Tp M .
As, Tp M es un espacio vectorial real de la misma dimensin que
la variedad. Para probar este resultado veamos primero el concepto de
funciones coordenadas. Las funciones
i
Rn
x
!
7 !
R
xi
(2.31)
para i = 1; 2; :::; n que a un punto de Rn le asocia su i-sima coordenada se llaman funciones proyeccin o funciones coordenadas, las cuales
son suaves. Entonces, dada una carta (U ; ' ) de una variedad M,
denimos las funciones coordenadas por
xi :
M
!
p 7 !
R
xi (p)
(2.32)
las cuales asocian a cada punto p de la variedad la coordenada i-sima

bajo la carta (U ; ' ). Las funciones coordenadas pertenecen al espacio
34
de las funciones reales denidas sobre la variedad, i.e., xi 2 F(M; R).

Con esta denicin podemos probar que los vectores tangente @i jp i =
1; 2; :::; n son linealmente independientes, pues
@i xj jp =
@(xj )
@xj
('
(p))
=
=
@xi
@xi
j
i
(2.33)
y por lo tanto cualquier combinacin lineal nula de los vectores @i jp

n
X
i=1
@i jp = 0
(2.34)
al aplicarla a las funciones coordenadas implica que i = 0; 8i =

1; 2; :::; n. Falta entonces probar que cualquier vector vp 2 Tp M se
puede escribir como una combinacin lineal de los vectores coordenados @i jp i = 1; 2; :::; n, esto es
vp =
n
X
i=1
vpi (xi ) @i jp
vpi
@
@xi
(2.35)
p
donde en la ltima igualdad hemos utilizado la convencin de suma

de Einstein, es decir, toda expresin con dos ndices iguales, uno como
superndice y otro como subndice, implica una suma sobre los valores
que toma el ndice. Las cantidades reales
vpi (xi )
vpi
son las componentes del vector tangente en la base coordenada. Para

probar esto ltimo haremos uso del siguiente resultado del clculo. Si
F : Rn ! R es una funcin suave en el punto a, entonces existen n
funciones suaves Hk tales que para todo x 2 Rn se tiene que
F (x) = F (a) +
n
X
k=1
(xk
ak )Hk (x)
(2.36)
35
con
Hk (a) =
@F
@xk
(2.37)
x=a
Sea f 2 F(M; R); entonces, aplicando este resultado a la funcin

f = f ' con a = ' (p), tenemos que para todo q 2 U
f (q) = f (p) +
n
X
(xk
' (q)
xk
' (p))Hk (' (q))
(2.38)
k=1
Sea vp 2 Tp M; entonces, aplicando el vector tangente vp a la funcin f -usando el ltimo resultado-, la linealidad, la propiedad leibnitziana y la propiedad ii del Lema 5.3, obtenemos
vp (f ) = vp (f (p)) +
n
X
k=1
[ f(xk
' (q)
xk
+ Hk ' jp vp (xk ' (q) xk

n
X
=
[Hk ' (p)]vp (xk ' )
' (p))g
q=p
vp (Hk
' )
' (p))]
(2.39)
k=1
de la ecuacin (2.37) Hk ' es justamente @i f jp y por lo tanto para

toda funcin f 2 F(M; R) tenemos que
vp (f ) = vpi
@f
@xi
(2.40)
p
como se quera probar. Los coecientes de la expansin vpi son los

valores de la funcin vp aplicada a las funciones coordenadas xi .
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.
36
Denicin 2-10 Sea M una variedad suave. Una curva suave

sobre la variedad es una funcin
:
R
t
!
7 !
M
(t)
(2.41)
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
:
R
t
!
7 !
Rn
(t) = '
(t)
(2.42)
sobre Rn es suave.
Sea un vector tangente vp 2 Tp M con componentes vpi = vp (xi ) en
la base coordenada (U ; ' ), i.e.,
vp = vpi @i
(2.43)
por la curva en Rn denida como
y denamos una curva
xi ( (t)) = xi (p) + tvpi
(2.44)
entonces esta curva pasa por el punto p 2 M (i.e., pasa por el punto
xi (p) = ' (p) 2 Rn ) para t = 0, y en este punto las componentes del
vector tangente son
dxi
vpi =
(2.45)
dt t=0
as, sobre la variedad M la curva pasa por p y tiene vector tangente
vp 2 Tp M. Sea f 2 F(M; R) una funcin de valor real sobre la variedad, entonces
vp (f ) = vpi @i f jp =
=
dxi ( (t))
dt
dxi
dt
t=o
t=o
@f
@xi
@f
@xi
=
p
(2.46)
p
@f
@t
37
es decir, (@=@t) 2 Tp 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 vp 2 Tp M, existe una nica curva que pasa por el
punto p 2 M y cuyo vector tangente en el punto p es vp . As se puede
visualizar un vector tangente vp 2 Tp M como una "echa" en el punto
p apuntando en la direccin de una curva (t) con vector tangente vp
en el punto p = (0). En particular, dada una base coordenada para
el espacio tangente @i jp , las correspondientes curvas son las curvas
coordenadas (ver Figura 2.4).
Sea fE g =1;2;:::;n una base para el espacio tangente Tp M, entonces
cualquier vector v 2 Tp M (en lo sucesivo escribiremos en negrilla los
vectores) se puede escribir como
(2.47)
v=v E
donde v son las componentes del vector en la base fE g. En particular, si uno escoge los vectores base coordenados @i jp , entonces las
componentes v i = v(xi ) son las derivadas de las funciones coordenadas
xi en la direccin del vector v. Denamos, ahora, el espacio vectorial
dual de Tp M.
Denicin 2-11 Sea M una variedad suave y Tp 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 Tp M , i.e.,
!:
Tp M
!
v
7 !
R
!(v)
h!; vi
tal que:
i. h!; x + zi = h!; xi + h!; zi ; 8x; z 2 Tp M
ii. h!; xi = h!; xi ; 8x 2 Tp M y 8 2 R.
(2.48)
38
Esto signica que las 1-formas sobre Tp M pertenecen al conjunto

de L(V,R), es decir al conjunto de las transformaciones lineales de
Tp M sobre los reales, y por tanto las 1-formas ! pertenecen al espacio
vectorial dual Tp M del espacio tangente.
As, dada una base
fE g;
= 1; 2; :::; n
del espacio Tp M, existe una nica base (dual)

fE g;
= 1; 2; :::; n
del espacio Tp M, el cual llamaremos espacio cotangente, denida por:

E ;E
(2.49)
As, si ! 2Tp M es una 1-forma y x 2Tp M es un vector, entonces

!=! E
(2.50)
x=x E
(2.51)
y por lo tanto, aplicando linealidad y la relacin 2.49, tenemos

h!; xi =
! E ;x E
= ! x
(2.52)
E ;E
= ! x
= ! x
Denicin 2-12 Cada funcin f 2 F (M ) dene una 1-forma df
en p dada por:
< df ; X >= Xf ; 8X 2 Tp M
2.3. TENSORES
39
La 1-forma df la denominaremos diferencial de f en p.

Si (p) = (x1 ; x2 ; :::; xn ) son las coordenadas locales, entonces las
diferenciales
fdx1 ; dx2 ; :::; dxn g
en p forman la base de 1-formas dual a la base coordenada
f
@
@x1
;
p
@
@x2
; :::;
p
@
g
@xn p
de Tp M; pues se cumple que:

< dxi ;
@
>=
@xj
i
j
(2.53)
En trminos de esta base fdxi g de Tp M la diferencial de una funcin

f 2 F(M) se puede escribir de la siguiente forma:
@f i
dx
(2.54)
@xi
Observacin: si df 6= 0, entonces las supercies f = cte son variedades
de dimensin n-1. El subespacio de Tp M, consistente en todos los
vectores X tales que
< df ; X >=0
(2.55)
df =
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
Denicin 2-13 Denimos el producto cartesiano

ente forma:
s
r
de la sigui-
40
s
r
:= Tp
|
Tp
Tp
{z
Tp
}
r veces
T
|p
Tp
Tp
{z
Tp
}
s veces
(2.56)
Donde intervienen r factores Tp y s factores Tp ; es decir:

s
r
= f(
; :::;
; Y1 ; :::; Ys ) j
2 Tp ; Yj 2 Tp g
(2.57)
Denicin 2-14 Un tensor T del tipo (r; s) en p 2 M es una

funcional multilineal sobre sr ; es decir:
T:
(
; :::;
s
r
!R
; Y1 ; :::; Ys ) ! T(
; :::;
; Y1 ; :::; Ys )
lineal en cada componente.

El espacio de todos los tensores se llama producto tensorial Tsr :
Tsr := Tp
Tsr = ff :
Tp
s
r
Tp
Tp
Tp
Tp
(2.58)
! R j f es lineal en todas sus componentesg
Donde intervienen r factores Tp y s factores Tp . Tenemos que en particular T01 = Tp y T10 = Tp :

Denicin 2-15 Sean T y T 0 2 Tsr (p) dos tensores del mismo tipo
y denimos la suma por:
(T + T0 )(
; :::;
; Y1 ; :::; Ys ) = T( 1 ; :::; r ; Y1 ; :::; Ys ) (2.59)

+T0 ( 1 ; :::; r ; Y1 ; :::; Ys )
y el producto por un escalar

( T)(
; :::;
2 R como:
; Y1 ; :::; Ys ) := T(
; :::;
; Y1 ; :::; Ys )
(2.60)
2.3. TENSORES
41
Con estas reglas Tsr (p) forma un espacio vectorial real de dimensin
r + s.
Sean
Xi 2 Tp (i = 1; :::; r)
y
! j 2 Tp (j = 1; :::; s)
Denotemos por
X1
X2
!1
Xr
!s
!2
al elemento de Tsr (p), el cual transforma al elemento

1
; :::;
; Y1 ; :::; Ys ) 2
r
s
en el nmero
Xr ! 1 ! 2
! s )( 1 ; :::; r ; Y1 ; :::; Ys )
< r ; Xr >< ! 1 ; Y1 > < ! s ; Ys >
(2.61)
(X1 X1
: =< 1 ; X1 >
De forma similar, si R 2 Tsr (p) y S 2 Tqp (p); entonces denotaremos

r+p
por R S al elemento de Ts+q
(p), el cual transforma al elemento
1
s+q
( ; :::;
; Y1 ; :::; Yr+p ) en el nmero real
(R
S)(
: = R(
; :::;
; :::;
r+p
(2.62)
; Y1 ; :::; Ys+q )
; Y1 ; :::; Ys )S(
r+1
; :::;
r+p
; Ys+1 ; :::; Ys+q )
Con este producto el espacio de los tensores en p forma un lgebra

sobre R.
Lema 2-5 Sean fE g y fE g bases duales de Tp y Tp respectivamente. Entonces
fE
E sg
(2.63)
42
con
= 1; 2; :::n es una base de Tsr (p).
De esta forma, dado T 2 Tsr (p) escribimos:
i;
T=T
1
1
(2.64)
Donde T 1 r1 2 s son las componentes de T en esta base.

Usualmente T se llama un tensor r veces contravariante y s veces
covariante, y las componentes estn dadas por:
T
(2.65)
= T(E 1 ; :::; E r ; E 1 ; :::; E s )
El lgebra del espacio vectorial Tsr (p) se puede escribir en trminos

de las componentes de los tensores en una base dada de la siguiente
forma:
(T + S)
( T)
r
s
1
r
1
y el lgebra del producto

(T
r
1
+S
r
1
(2.66)
como:
r+p
S)
= T 1
= T
s+q
=T
r
1
r+p
r+1
s+1
s+q
(2.67)
Si fE0 g y fE0 g son otro par de bases duales de Tp y Tp ; ellas

pueden ser expandidas en trminos de las bases fE g y fE g en la
forma:
E
E
0
0
=
=
0
0
(2.68)
(2.69)
E
E
Donde 0 y
son matrices n n no singulares. Puesto que las
bases fE0 g y fE0 g son duales, entonces:
0
= < E ; E 0 >=<
=
=
0
0
0
0
E ;
< E ; E >=
0
0
E >
0
(2.70)
2.3. TENSORES
43
son matrices mutuamente inversas.

Es decir 0 y
Las componentes de un tensor T 2 Tsr (p) con respecto a las bases
fE0 g y fE0 g son:
0
1
0
r
0
1
(2.71)
= T(E 1 ; :::; E r ; E 01 ; :::; E 0s )
0
s
y estn relacionadas con las componentes de T en las bases duales

fE g y f E g por:
T
0
1
0
r
0
1
0
1
0
s
0
r
0
1
0
s
(2.72)
Denicin 2-16 La contraccin de un tensor T del tipo (r; s) con

componentes T 1 r1 s con respecto a las bases duales fE g y fE g
sobre el primer ndice contravariante y el primer ndice covariante es
denida como el tensor C11 (T ) del tipo (r 1; s 1) cuyas componentes
en las bases dadas son T 1 r1 2 s , es decir:
C11 (T) := T
r
1 2
(2.73)
Veamos que esta operacin de contraccin es independiente de las

bases usadas. Sean fE0 g y fE0 g otras bases duales, entonces:
C01
1 (T)
0
1
=T
0
2
0
2
0
2
0
2
2
r
r
0
r
E
s
E
s
s
r
2
0
2
r
0
1 2
0
2
2
0
s
E
0
1 2
0
s
T
s
0
1 2
r
0
1 2
r
0
1 2
0
s
0
1 2
0
2
0
r
T
s
2
2
s
0
s
r
0
1 2
0
s
0
r
2
0
1 2
0
2
0
2
0
r
E
= T
E
=
0
s
0
r
0
2
0
r
0
1
= C11 (T )
44
De modo similar, se dene la contraccin sobre cualquier par de ndices

n y m, es decir Cnm (T ):
Denicin 2-17 La parte simtrica de un tensor T del tipo (2; 0)
es el tensor S(T ) 2 T02 (p) denido por:
1
fT(
2!
S(T)(
1;
2)
+ T(
1;
2)
1 )g; 8 1 ;
2;
Si denotamos las componentes de S(T)
(2.74)
2 Tp
por T , entonces:
T ( ) = S(T)(E ; E )
1
fT(E ; E ) + T(E ; E )g
=
2!
1
=
T +T
2!
S(T)
(2.75)
En general, se pueden denir las componentes simtricas de un

tensor T 2Tsr (p) sobre cualquier nmero de ndices covariantes o contravariantes, de la siguiente manera:
T
s)
:=
1 X
T
s!
(
r
1
(2.76)
s)
donde la suma es sobre todas las permutaciones de los ndices

por ejemplo:
T
1
T
3!
+T
+T
+T
+T
s,
+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)
2.3. TENSORES
45
Denicin 2-18 As como se dene la parte simtrica, denimos

la parte antisimtrica A(T ) de un tensor T 2 T02 (p) por:
T[
A(T)
:=
1
T
2!
(2.79)
y ms generalmente de cualquier tensor T 2 Tsr (p) como:

T
r]
1
:=
1 X
( 1)p T
r!
(
r
1
(2.80)
r)
donde p es el orden de la permutacin.

Por ejemplo:
T[
1
fT
3!
+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
( )
2
T
= 0: Adems, dado T 2 T0 (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:
Aq (p) Tq0 (p): Claramente q n; con n la dimensin de la variedad,
pues si q > n entonces por lo menos dos ndices seran iguales y la
expresin se anula. El conjunto Aq (p) se llama espacio de las q-formas
sobre M en p. Si A y B son dos p- y q- formas respectivamente,
podemos denir la (p + q)-forma A ^ B; donde ^ es el producto tensorial antisimetrizado,
A ^ B :=A(A
B)
(2.83)
es decir, A ^ B es el tensor de tipo (0; p + q) cuyas componentes estn

dadas por:
46
(A ^ B)
p 1
:= A[
q]
(2.84)
Por ejemplo, dados A; B 2 A1 (p); entonces:

(A ^ B)
= A[ B ]
1
=
fA B
2!
(2.85)
A B g
Por otro lado:

(B ^ A)
= B[ A ]
1
=
fB A
B A g
2!
= ( 1)1 1 (A ^ B)
(2.86)
En general:
(A ^ B) = ( 1)p q (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 producto exterior, dene un lgebra sobre el espacio de las formas,
n
(p) = [ A(p)
(2.88)
p=0
llamada lgebra de Grassmann de las formas. Adems, si fE g es una

base de las 1-formas, entonces
E 1^
^E
(2.89)
es una base de las p-formas, es decir, si A es una p-forma, entonces

podemos expresar A como
A=A
1 ::: p
E 1^
^E
(2.90)
2.4. TRANSFORMACIONES ENTRE VARIEDADES
47
donde A 1 ::: p = A [ 1 ::: p ]

Denicin 2-19 Un C k -campo tensorial T del tipo (r; s) sobre
un subconjunto U
M es una funcin que asigna un elemento de
r
Ts (p) para cada p 2 U; tal que las componentes de T con respecto a
alguna base coordenada denida sobre algn subconjunto abierto de U
son funciones de clase C k :
Denotaremos, como caso particular, por (M) al campo vectorial
del tipo T01 (p).
2.4.
Transformaciones entre variedades
Denicin 2-20 Sean M y N variedades m y n dimensionales.

Una funcin
:M !N
se llama de clase C k si dados sistemas de coordenadas ( ; U ) y
(' ; V ) en M y N respectivamente, las coordenadas de (p) son funciones de clase C k de las coordenadas de p:
'
(U ) Rm !
Rn
(p)
7 ! ' ( (p))
(2.91)
1
Notemos que si m > n, entonces la funcin '
no es uno
a uno. As, en general, esta funcin no tiene inversa, y en caso de que
sta existiera, no ser de clase Cr . Por ejemplo, sean M = N = R
1
y sea (x) = x3 , entonces (x) 2 C 1 , y sin embargo
(x) no es
diferenciable en x = 0.
Denicin 2-21 Sea f 2 F (N ) y
: M ! N . Entonces la
funcin induce una funcin ~
~ : F(N ) ! F(M)
~f
f
7 !
(2.92)
48
denida por: ~ f (p) := f ( (p)).

De esta manera, transforma puntos de M en N y ~ convierte
funciones de F(N ) en funciones de F(M) linealmente, pues:
~ ( f + g)(p) = ( f + g) (p)
= f ( (p)) + g( (p))
~ f (p) + ~ g(p)
=
(2.93)
Si (t) es una curva sobre M que pasa por p 2 M; entonces la

imagen ( (t)) sobre N es una curva que pasa por (p).
Denicin 2-22 Dada : M ! N , denamos la transformacin
: Tp M ! T
X !
(p) N
de la siguiente manera: para cada f 2 F (N ) denida en el punto en

(p) y cada X 2 Tp M denimos X 2 T (p) N as:
X(f ) j
(p) :=
X( ~ f ) jp = X(f
) jp
(2.94)
es lineal, pues:
( X + Y)(f )
=
=
As, si
@
( @t
)
@
@t
= ( X + Y)( ~ f ) jp
X( ~ f ) jp +Y( ~ f ) jp
(2.95)
(p)
X(f ) j
(p)
+ Y(f ) j
es el vector tangente a la curva
(p)
en p 2 M, entonces
es el vector tangente a la curva

en (p) 2 N :
recibe el nombre de diferencial de en p y en algunos textos se nota
como d :
Denicin 2-23 Dada : M ! N y usando la denicin de ,
denimos la funcin :
(p)
:T
(p) N
! Tp M
49
De tal manera que la contraccin de un vector y una 1-forma sea

preservada bajo transformaciones. Es decir, dado Y 2 T (p) N; entonces denimos Y 2 Tp M de manera que:
<
Y; X >jp =< Y;
X >j
(2.96)
(p)
Ahora, si consideramos las funciones F(M) como cero formas,

identicaremos ~
:
Teorema 2-6 Una consecuencia de la denicin de
es que:
(2.97)
(df ) = d( f )
Demostracin:
Sean X 2Tp M y f 2 F(N ); entonces:
<
=
(df ); X >jp =< df; X >j

Xf j (p) = X( ~ f ) jp
(p)
(2.98)
X( f ) jp =< d( f ); X >jp
Como esto vale para todo X 2 Tp M se sigue que:

(2.99)
(df ) = d( f )
La transformacin
puede ser extendida naturalmente a tensores
contravariantes de M a N por las reglas:
: T0r (p) ! T0r ( (p))
T !
(2.100)
denida por:
T(
:::
) := T(
:::
) jp ; 8
2T
(p) N
(2.101)
50
De la misma manera
as:
se generaliza a tensores covariantes de N a M

: Ts0 ( (p)) ! Ts0 (p)
T !
(2.102)
denida por:
T(X1 :::Xs ) jp = T( X1 ::: Xs ) j
(p)
(2.103)
Denicin 2-24 La transformacin : M ! N se dice de rango

s en p si la dimensin de (Tp 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:
Denicin 2-25 Una C r transformacin : M ! N se llama
inmersin si 8p 2 M , existe una vecindad U alrededor de p, tal que:
1
: (U)
!M
(2.104)
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 slo si es inyectiva en todo punto p 2 M ; por lo tanto,
: Tp M ! (Tp M)
(p) N
(2.105)
es un isomorsmo. La imagen (M) es una subvariedad inmersa en

N.
Por ejemplo, toda curva : I R ! M es una inmersin si
dxi ( (t))
6= 0
dt
(2.106)
As una subvariedad inmersa en N puede interceptarse a s misma.

Esto signica que : M ! N no necesariamente es una funcin 1-1
51
de M sobre N , aunque si es uno a uno cuando se restringe a una

vencidad sucientemente pequea de M.
Denicin 2-26 Una inmersin : M ! N se llama inclusin
si : M ! (M )
N es un homeomorsmo. De esta manera una
inclusin es una inmersin que adems es uno a uno. Pero no toda
inmersin uno a uno es una inclusin.
Denicin 2-27 Una transformacin
: M ! N se llama un
1
r
r
C -difeomorsmo si es una C -transformacin, uno a uno, y
:
r
N ! M es una C -transformacin.
En este caso m = n y es inyectiva y sobreyectiva.
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 : M ! N es un difeomorsmo, entonces
: Tp M ! T
(p) N
(2.107)
y
(
) : Tp M ! T
(p) N
(2.108)
son isomorsmos, y as podemos denir una transformacin :

: Tsr (p) ! Tsr ( (p))
(2.109)
por:
T(
:::
; X1 :::Xr ) j p =: T(( 1 ) 1 :::(

8 i 2 Tp M y Xi 2 Tp M
X1 ::: Xr )
(2.110)
Esta transformacin enva tensores del tipo (r; s) sobre M a tensores

del tipo (r; s) sobre N y preserva las relaciones de simetra y el lgebra
tensorial. Por ejemplo c( T) = (cT).
52
Captulo 3
Clculo en variedades
En este captulo veremos tres operaciones de derivadas, las cuales
juegan un papel fundamental para el clculo diferencial sobre variedades.
3.1.
Derivada exterior
Denicin 3-1 El operador diferenciacin exterior d es un operador lineal

d : r ! r+1
(3.1)
denido por la forma en que acta sobre una 0-forma f 2F (M )
< df; X >:= Xf ; 8X 2 Tp M
y actuando sobre un campo de r-formas A = A
el campo de (r+1)-formas
dA := dA
^dx 1 ^
53
^ dx
(3.2)
r
dx
dx
da
(3.3)
54
CAPTULO 3. CLCULO EN VARIEDADES
Veamos que esta denicin de dA es independiente de la base escogida. Consideremos otra base fx0 g:
A = A0 1
donde las componentes A0 1
A0 1
dx0 1 ^
dx0
(3.4)
estn dadas por:
@x
@x0
1
1
@x r
A
@x0 r
(3.5)
As, dA en la coordenada primada est dada por:

dA = dA0 1 r ^dx0 1 ^ dx0 r
@x r
@x 1
A 1 r ) ^ dx0 1 ^
^ dx0 r
= d( 0 1
0
r
@x
@x
@x r
@x 1
dA 1 r ^dx0 1 ^
^dx0 r
=
@x0 1
@x0 r
@ 2 x 1 @x 2
@x r
dx0 1 ^dx0 1 ^
A
^dx0 r
+ 0
@x 1 @x0 1 @x0 2
@x0 r 1 r
@x 1
@2x r
+ 0 1
A 1 r dx0 1 ^dx0 1 ^
^dx0 r (3.6)
0
0
r
1
@x
@x @x
Analicemos ahora un trmino que contenga segundas derivadas:
@2x r
dx0 1 ^dx0
@x0 1 @x0 1
@2x r
@x0 1 @x0
es simtrico en
simtrico, por lo tanto:
1
1;
mientras que dx0 1 ^dx0
@2x r
dx0 1 ^dx0
@x0 1 @x0 r
(3.7)
=0
es anti-
(3.8)
3.1. DERIVADA EXTERIOR
55
Entonces:
@x
@x0
@x
=
@x0
@x
=
@x0
1
=
1
= dA
dA =
@x r
^ dx0 r
dA 1 r ^dx0 1 ^
0
r
1
@x
1
@x0 1
@x0 r
@x r
1
dA
^
^
^
dx r
dx
r
1
1
@x0 r
@x 1
@x r
1
@x0 1
@x r @x0 r
dA 1 r ^dx 1 ^
^ dx r
1 @x 1
@x0 r @x r
r
dA 1 r ^dx 1 ^
^ dx r
r
1
^
^ dx r
(3.9)
r ^dx
1
1
Ntese que esta denicin no sera independiente de las coordenadas si en vez de usar el producto exterior ^ se hiciera para el producto tensorial.
De la denicin se sigue que:
d(A ^ B) = dA ^ B + ( 1)r A ^ dB; 8A 2
r ; 8B
(3.10)
Dada una 0-forma f , tenemos que en una base coordenada:

df =
@f
dxi
@xi
(3.11)
entonces:
d(df ) =
@2f
dxj ^dxi
j @xi | {z }
@x
| {z }
(3.12)
antisimetrico
simetrico
Teorema 3-1 Para toda p-forma:
d(dA) = 0
La demostracin se deja como problema.
(3.13)
56
3.2.
Derivada de Lie
Lema 3-2 Dado un campo vectorial X sobre M , existe una nica

curva maximal (t) sobre M que pasa a travs de cada p 2 M tal que
(0) = p y cuyo vector tangente en el punto (t) es el vector Xj (t) .
Demostracin:
Si fxi g son coordenadas locales, tal que la curva (t) tiene coordenadas xi (t), y el vector X tiene componentes X i en esta base, entonces
la curva es solucin del sistema de ecuaciones diferenciales:
dxi
= X i (x1 (t)
dt
xn (t))
(3.14)
Cuya solucin est garantizada por el teorema general de existencia y

unicidad de las ecuaciones diferenciales ordinarias.
Denicin 3-2 El ujo de un campo vectorial X sobre M es una
transformacin:
:M R !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 2 M .
Si en (p; t); p es mantenido jo, entonces (p; t) es justamente
la curva integral p (t): Por otro lado, si mantenemos t = cte, (p; t)
dene un difeomorsmo:
t
:M !M
p !
t (p)
el cual enva un punto p de la variedad al punto t (p); que est localizado a una distancia paramtrica t sobre la curva integral p (t).
Lema 3-3 t es un grupo local uniparamtrico de difeomorsmos,
es decir t satisface:
3.2. DERIVADA DE LIE

i.
es la identidad:
57
0
= id : M ! M
= id : M ! M
(3.15)
ii. La ley de composicin:

t
t+s
(3.16)
(3.17)
iii. Existe un inverso:

1
t
De la denicin de un C r -difeomorsmo se sigue que si

difeomorsmo, entonces:
es un
( t ) : Tsr (p) ! Tsr ( t (p))

T ! ( t ) T jp
Esta ltima relacin permite denir la derivada de Lie de un tensor
a lo largo de un campo vectorial:
Denicin 3-3 La derivada de Lie, LX T; de un campo tensorial
T con respecto al campo vectorial X es denida por:
n
o
(3.18)
LX T jp := l m T jp ( t ) T jp
t!0
Lema 3-4 Dados T1 ; T2 2 Tsr (M ); X; Y campos vectoriales sobre

M y f 2 F (M ), la derivada de Lie cumple las siguientes propiedades:
1. LX es R-lineal:
LX (T1 + T2 ) = LX T1 + LX T2
2. LX es una derivacin, es decir, satisface la regla de Leibniz:
LX (T1
T2 ) = LX (T1 )
T2 + T1
(LX T2 )
58

3.
4.
5.
6.
LX (Tsr (M )) Tsr (M )
LX conmuta con la operacin de contraccin.
LX f = Xf =< df; X >
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] = 0
Esta operacin de conmutacin forma la llamada lgebra de Lie del
espacio @(M )
7. Es fcil comprobar esta lgebra si trabajamos en una base coordenada fxi g, donde X=X i @i y Y =Y i @i ; entonces:
[X; Y]f = (X i
@Y j
@xi
Yi
@X j @f
)
@xi @xj
(3.19)
As, el vector [X; Y ] tiene como componentes en la base coordenada

fxi g:
@X j @
@Y j
Yi i ) j
(3.20)
[X; Y] = (X i i
@x
@x @x
entonces:
LX Y = [X; Y]
(3.21)
8.
LX+
YT
(3.22)
=LX T + LY T
9.
L[X;Y] = [LX ; LY ] = LX LY
LY
LX
10. Las siguientes tres proposiciones son equivalentes:

i. [X; Y ] = 0
ii. LX LY = LY LX
(3.23)
3.2. DERIVADA DE LIE
59
iii. Si s y t son los difeomorsmos generados por los campos X

y Y respectivamente, entonces:
s
(3.24)
11. Dado T 2 Tsr (M ) y una base coordenada fxi g, entonces:

(LX T)
@T
@xi
T
+
Ti
Xi
r 1i
r
s
@X 1
s @xi
@X r
+ T i 12
i
@x
@X i
1 i @x s
@X i
s @x 1
(3.25)
Para una prueba de estas propiedades, vase por ejemplo el libro

de Foundations of Dierential Geometry; S. Kobayashi y K. Nomizu.
Interscience Publishers. John Wiley & Sons, New York.
Veamos la interpretacin geomtrica de LX 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 2 Tp 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 LX 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, la generalizacin del concepto de derivada sobre Rn
no es adecuada para escribir las ecuaciones de campo para la fsica.
60
3.3.
Conexin y derivada covariante
La generalizacin adecuada de derivada parcial sobre una variedad

es la derivada covariante, la cual para denirse requiere una estructura
adicional denida sobre la variedad llamada conexin.
Denicin 3-4 Una conexin r en un punto p 2 M es una funcin que asigna a cada campo vectorial X en p un operador diferencial
rX denido por
rX :
(M) ! (M)
Y
7 ! rX Y
tal que:
c-1. rX Y es un tensor en el argumento X, i.e.:
rf X+gY Z = f rX Z + grY Z
8f; g 2 F(M);
(3.26)
8X; Y; Z 2 (M)
esto quiere decir que el operador rX (derivada) en p depende solamente de la direccin de X en el punto p.
c-2. rX Y es lineal en Y , es decir,
rX ( Y + Z) = rX Y + rX Z
8 2 R;
(3.27)
8X; Y; Z 2 (M)
c-3.
rX f Y = X(f )Y + f rX Y
8f 2 F(M);
(3.28)
8X; Y 2 (M)
Entonces decimos que rX Y es la derivada covariante del campo vectorial Y con respecto a la conexin r en la direccin del vector X en
el punto p.
3.3. CONEXIN Y DERIVADA COVARIANTE
61
De la propiedad c-1, rY 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 rX Y; as, la propiedad c-3 se puede
escribir como
r(f Y) = df Y + f rY
(3.29)
Dadas las bases duales fE g y fE g en alguna vecindad U M,
denotaremos a las componentes de rY en estas bases como Y; , as:
rY = Y; E
(3.30)
Si n es la dimensin de la variedad, la conexin est determinada

por las n3 funciones
sobre U M:
(3.31)
= E ; rE E
o equivalentemente
rE =
(3.32)
As, para un campo vectorial Y su derivada covariante est dada

por:
rY = r(Y E )
= dY
E +Y
(3.33)
Si tomamos una base dual coordenada f@ g y fdx g, las componentes de rY estn dadas por:
Y; =
@Y
+
@x
(3.34)
Y
0
Bajo un cambio de base fE g,fE g ! fE g,fE g, la ley de

transformacin de las componentes de la conexin se pueden encontrar
62
con la ayuda de las propiedes c-1, c-2 y c-3 en la denicin de conexin:

E
D 0
0
0
= E ; rE0 E
D
E
=
E ;r E
E
=
E ;
E ;
rE
E +
E ;E
hE ; E i +
rE E
E ; rE E
(3.35)
Si se utilizan bases coordenadas, f@ g,fdx g y f@ 0 g,fdx0 g, entonces

= @x0 =@x y
= @x =@x0 , y tenemos que la ley de
transformacin de las componentes de la conexin toma la forma:
0
@x0 @x @x
@2x
@x0 @x
+
@x @x0 @x0 @x0
@x @x0 @x0
(3.36)
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:
q
i. Si T 2 Trq , entonces rT 2 Tr+1
ii. r es lineal y conmuta con las contracciones.
iii. r es leibniziana, es decir, 8T; S campos tensoriales cualesquiera,
se cumple que:
r(T
S) = rT
S+T
rS
(3.37)
iv. 8f 2 F(M), entonces

rf = df
(3.38)
3.4. TRANSPORTE PARALELO
63
Para encontrar las componentes de la derivada covariante de un

tensor arbitrario, consideremos las bases duales fE g y fE g; entonces, teniendo en cuenta las propiedades ii y iii anteriores, se puede
probar que (problema)
rE E =
(3.39)
y de esta relacin se obtienen las componentes en una base coordenada

de la derivada covariante de un tensor:
T
1
1
r
s;
@T
@x
r
T 11
:::
3.4.
1
1
2
1
r 1
1
T
s
s 1
+ ::: +
(3.40)
1
2
Transporte paralelo
Sea T un campo vectorial y una curva sobre la variedad M,

entonces denimos
DT
= r@t T
(3.41)
@t
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
r
1
@t
=T
r
1
s;
(3.42)
Consideremos el caso particular de un campo vectorial Y y escojamos una base coordenada, donde la curva tiene coordenadas x (t)
y X = dx =dt; entonces,
DY
@Y
=
+
@t
@t
dx
dt
(3.43)
64
Denicin 3-5 Un tensor T se dice transportado paralelamente a

lo largo de la curva si
DT
=0
(3.44)
@t
Dada la curva (t) con puntos extremos p y q, se sigue de la teora
de las ecuaciones diferenciales que si la conexin r 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 espacio Tsr (p) a Tsr (q), la cual preserva el lgebra tensorial y la operacin de contraccin y as, en particular, si
transportamos paralelamente una base de Tp al punto q obtenemos
un isomorsmo entre Tp y Tq . 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:
Denicin 3-6 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
@
@t
= rX X = 0
(3.45)
La condicin que el vector tangente a la curva no cambie cuando

se transporta paralelamente se puede remplazar por una condicin
ms dbil, pues lo que se exige es que el vector tangente permanezca
paralelo a s mismo cuando se transporta a lo largo de la curva, es
decir,
rX X = f X
(3.46)
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.
65
Consideremos una base coordenada f@=@x g y fdx g, entonces la

ecuacin de las geodsicas, teniendo en cuenta las ecuaciones 3.43 y
3.45, toma la forma
d2 x
+
dt2
dx dx
=0
dt dt
(3.47)
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 teoremas de existencia y unicidad de las ecuaciones diferenciales
ordinarias; en otras palabras, dado el punto p 2 M y Xp 2 Tp M,
existe una nica curva maximal (t) tal que
(0) = 0
(@=@t)
j t=0 = Xp
(3.48)
y la cual depende continuamente de los valores iniciales. Este resultado

nos permite denir una base coordenada especial, llamada 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:
Denicin 3-7 Denimos la transformacin exponencial
exp : Tp M !
M
X 7 ! q = exp(X)
por la relacin
exp(X) := (1)
(3.49)
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 uno a uno en alguna vecindad del punto p. Puesto que Tp M
66
es un espacio vectorial real n-dimensional, ste es isomorfo a Rn , y lo

podemos identicar con l, y as usar la transformacin exponencial
para denir una carta coordenada en la vecindad del punto p 2 M,
llamada coordenadas normales de Riemann. Asocindole el origen de
Rn 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 Rn . De la ecuacin de las geodsicas en coordenadas de Riemann (ver ecuacin 3.47) se deduce que las componentes
de la conexin se anulan, y es por esta razn que las coordenadas normales de Riemann tienen una especial utilidad para efectos de clculo;
adems, como veremos ms adelante, tambin tienen un signicado
fsico.
Denicin 3-8 Dada una conexin r 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) := rX Y
rY X
[X; Y]
(3.50)
Dos primeras propiedades que se pueden deducir de la denicin

de la torsin son:
T (X; Y) = T (Y; X)
(3.51)
T (f X; gY) = f gT (X; Y) ; 8f; g 2 F(M)
(3.52)
rf X gY = f rX gY = f X(g)Y + f grX Y
(3.53)
Problema: demostrar estas propiedades.

Ayuda:
[f X; gY] = Lf X gY
= f X(g)Y + gLf X Y
= f X(g)Y gLY f X
(3.54)
67
Denicin 3-9 Denamos el tensor torsin T 2 T21 por:

T(!; X; Y) := h!; T(X; Y)i
(3.55)
A partir de esta denicin, y tomando una base coordenada, veamos

que las componentes del tensor torsin estn dadas por:
T
(3.56)
Para demostrar esta relacin consideremos las bases duales coordenadas f@=@x g y fdx g. De la denicin del tensor torsin tenemos
h!; T(X; Y)i = h!; rX Y
[X; Y]i
rY X
(3.57)
entonces, de las expresiones para las derivadas covariante y de Lie de

un tensor en componentes
rX Y =
@Y
X +
@x
Y X
@
@x
(3.58)
rY X =
@X
Y +
@x
X Y
@
@x
(3.59)
[X; Y] = LX Y =
@Y
X
@x
@X
@x
@
@x
(3.60)
entonces
rX Y
rY X
[X; Y] =
X Y
@
@x
(3.61)
a partir de la cual se llega a la ecuacin 3.56. Si tomamos una base

cualquiera fE g y fE g, el tensor torsin toma la forma
T=
(3.62)
68
Denicin 3-10 Una conexin r se llama libre de torsin si T

0, o equivalentemente las componentes son simtricas en sus ndices
inferiores, i.e. si
(3.63)
=
En lo sucesivo trabajaremos con conexiones libres de torsin, y por
lo tanto en este caso se tiene la siguiente relacin entre la derivada de
Lie y la derivada covariante:
LX Y = rX Y
(3.64)
rY X
que para el caso de un tensor cualquiera, en componentes coordenadas,

toma la forma (problema):
(LX T)
= T
s;
2
1
+T
X
r 1
s
1
1
2
1
X; r + T
r
X; s
s 1
X;
1
2
1
r
s
X;
+
(3.65)
Tambin podemos encontrar la relacin entre la derivada covariante

y la exterior:
(dA)
= ( 1)p A[
(3.66)
; ]
o equivalentemente
dA = A
dx ^dx ^dx ^
^dx
(3.67)
donde A es una p-forma.

Problema: Demostrar esta relacin por induccin. 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.
3.5. TENSOR DE RIEMANN
3.5.
69
Tensor de Riemann
Volvamos al concepto de transporte paralelo a lo largo de una curva. Consideremos una curva cerrada y supongamos que partimos
de un punto p y transportamos paralelamente al vector Xp a lo largo
de la curva regresando al punto inicial. Entonces obtendremos el vector X0p 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 Xp a lo largo de esta nueva curva, obtendremos un vector X00p , que, en general, ser diferente a Xp y X0p . Esta
no integrabilidad del transporte paralelo corresponde al hecho que, en
general, las derivadas covariantes no conmutan. El tensor curvatura
de Riemann nos da una medidade esta no conmutatividad.
Denicin 3-11 Denamos la funcin curvatura por la relacin:
R:
(M)
(M)
(X; Y; Z)
denida por
R(X; Y; Z) := rX (rY Z)
(M)
!
(M)
7 ! R(X; Y; Z)
rY (rX Z)
r[X;Y] Z
(3.68)
Problema: A partir de esta denicin, mostrar que la funcin curvatura es lineal en las tres entradas X; Y y Z.
Denicin 3-12 Denamos el tensor de Riemann R 2 T31 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
(3.69)
Problema: Eligiendo una base coordenada, mostrar que las componentes del tensor de Riemann estn dadas por
@
@
+
(3.70)
R =
@x
@x
70
Problema: A partir de la denicin, mostrar que el tensor de Riemann tiene las siguientes propiedades de simetra:
R
R[
() R
= 0 () R
+R
(3.71)
=0
+R
=0
(3.72)
Adems, la derivada covariante del tensor de Riemann satisface las

identidades de Bianchi:
R [ ; ]=0
(3.73)
es decir
R
+R
+R
=0
(3.74)
Una contraccin del tensor de Riemann nos conduce a otro tensor, el cual juega un papel importante, no solo en la geometra, sino
tambin en la fsica.
Denicin 3-13 Denimos el tensor de Ricci por:
R
:= R
(3.75)
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 Xp = X0p para cada p 2 M, si y
solamente si
R = 0; 8p 2 M
(3.76)
en este caso se dice que la conexin es plana.
3.6.
Tensor mtrico
Denicin 3-14 Un tensor mtrico g en un punto p 2 M es un

tensor simtrico del tipo T20 (p).
As, una mtrica sobre M es un campo tensorial simtrico g.
3.6. TENSOR MTRICO
71
Ahora, dada una mtrica podemos denir la funcin norma de

un vector X 2 Tp M como
j jg : Tp M !
R
p
X 7 ! jXjg := jg(X; X)j
(3.77)
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):
g(X; Y)
cos ] (X; Y) :=
(3.78)
[jg(X; X)j jg(Y; Y)j]1=2
la cual es vlida 8X; Y 2Tp M, con jXj =
6 0 y jYj =
6 0.
Teniendo en cuenta esta denicin llamaremos vectores ortogonales
a aquellos que cumplan la condicin g(X; Y) = 0.
Dadas las bases duales fE g y fE g, el tensor mtrico g en componentes toma la forma
g = g E
E
g
= g(E ; E )
(3.79)
(3.80)
Las magnitudes denidas por la mtrica en el espacio tangente estn relacionadas con las magnitudes sobre la variedad por la siguiente
denicin:
Denicin 3-15 La longitud del camino entre los puntos de la
variedad p = (a) y q = (b) situados sobre la curva (t), con vector
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
Lab =
jg(@=@t; @=@t)j1=2 dt
(3.81)
72
En una base coordenada la ecuacin anterior toma la forma explcita

Z b
dx dx
g
Lab =
dt
(3.82)
dt dt
a
y por esta razn escribiremos, simblicamente, la distancia a lo largo

de una curva entre dos puntos innitesimalmente cercanos en la forma
ds2 = g dx dx
(3.83)
Denicin 3-16 Una mtrica g se llama no degenerada en un

punto p de la variedad si no existe un vector no nulo X 2 Tp M tal
que g(X; Y ) = 0 para todo vector Y 2 Tp M .
En trminos de componentes coordenadas de g, la mtrica es no
degenerada si
det jg j =
6 0
(3.84)
En estas condiciones podemos denir un tensor del tipo T02 tal que
sus componentes g , en la base coordenada dada, estn determinadas
por la relacin
g g =
(3.85)
es decir, la matriz g
formada con las componentes del tensor es
la inversa de la matriz (g ) formada con las componentes de g. Las
componentes g se llaman componentes contravariantes del tensor
mtrico, y esta denominacin queda justicada, pues la denicin 3.85
implica que podemos establecer un isomorsmo entre las componentes
covariantes y contravariantes de tensores de la siguiente forma:
Lema 3-5 Sea g una mtrica no degenerada en el punto p 2 Tp M ,
entonces la transformacin
Tp M !
Tp M
1
X 7 ! C1 (g X)
dene un isomorsmo.
3.6. TENSOR MTRICO
73
Si g y X son las componentes del tensor mtrico g y del vector X, entonces las componentes de la 1-forma C11 (g X), que las
denotaremos por X , estn dadas por
(3.86)
X =g X
y puesto que la mtrica es no degenerada, utilizando la ecuacin 3.85

podemos despejar las componentes del vector X en trminos de las
componentes de C11 (g X), pues
g X
= g g X
=
X
= X
(3.87)
Esta transformacin y su inversa se conocen 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 vector X, las cuales estn relacionadas biunvocamente
por las ecuaciones 3.86 y 3.87. Esta operacin se puede extender para
subir o bajar cualquier ndice tensorial (o ndices por aplicacin sucesiva de la misma operacin). Por ejemplo, consideremos un tensor de
rango 3 del tipo T12 , con componentes T , entonces aplicando las
ecuaciones 3.86 y 3.87 podemos obtener los siguientes tensores:
T
=g T
=g T
= g g "T
"
(3.89)
= g "g T
"
(3.90)
T
T
(3.88)
=g T
(3.91)
=g g g T
(3.92)
74

T
(3.93)
=g g T
El isomorsmo inducido por el tensor mtrico signica que podemos

considerar a todos los tensores de tercer rango, cuyas componentes estn relacionadas por las ecuaciones anteriores, como diferentes representaciones del mismo objeto abstracto T. En lo sucesivo se asumir
esto 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 de particular importancia lo constituye el tensor mtrico g, donde las componentes covariantes g , contravariantes g y
mixtas , relacionadas por la ecuacin 3.85, constituyen diferentes
representaciones del mismo objeto geomtrico, el tensor g.
Denicin 3-17 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 fE g para el espacio tangente Tp M, de tal forma que las componentes covariantes del tensor
mtrico tomen los valores 1, i.e.
g
donde los elementos
(3.94)
= g(E ; E ) =
estn denidos por
= diag:(+1; +1; ; +1; 1; 1;

{z
} |
{z
|
1
1
(n + s)
(n s)
2
2
donde
s = sig:(g)
; 1)
}
3.6. TENSOR MTRICO
75
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 es la mtrica con sig:(g) = 2 n, es decir
g
= diag:(+1; 1; 1;
; 1)
(3.95)
la cual se conoce con el nombre de mtrica lorentziana o minkowskiana.

Para efectos de la fsica, esta mtrica es equivalente a otra con signatura n 2, 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:
Denicin 3-18 Una mtrica lorentziana g sobre la variedad M
divide a los vectores no nulos de Tp M en tres clases disjuntas:
1- X 2 Tp M se llama de tiempo si g(X; X) > 0
2- X 2 Tp M se llama de espacio si g(X; X) < 0
3- X 2 Tp M se llama de luz o nulo si g(X; X) = 0
Si la mtrica es no degenerada y continua, los vectores nulos de
Tp M forman un doble cono (el cono de luz), el cual separa a los vectores de tiempo de los vectores de espacio.
3.6.1.
Relacin entre conexin y mtrica
Hasta el 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 entre vectores, es decir, dada una mtrica existe una nica
conexin libre de torsin, denida por la condicin
rg = 0 () g
=0
(3.96)
76
y as, con esta condicin el transporte paralelo de vectores preserva el

producto escalar denido por g. Para encontrar la forma explcita de la
conexin consideremos la expresin explcita de la derivada covariante
de un tensor (ecuacin 3.40); entonces,
0=
@g
@x
(3.97)
si denimos
g
(3.98)
y rotamos cclicamente los ndices

, y sumamos las dos primeras
ecuaciones y sustraemos la tercera, y asumiendo que
=
obtenemos
@g
@g
+
@x
@x
@g
@x
+
(3.99)
= 2
= 2g
(3.100)
y despejando los elementos de la conexin, llamados smbolos de Christoffer de segunda clase, obtenemos
1
= g
2
@g
@g
+
@x
@x
@g
@x
(3.101)
Con esta conexin mtrica el tensor de Riemann tiene las propiedades de simetra adicionales
R(
= 0 () R
(3.102)
3.6. TENSOR MTRICO
77
R
=R
(3.103)
Estas relaciones implican que el tensor de Ricci es simtrico:

R
=R
(3.104)
Problema: Probar estas relaciones de simetra, y mostrar que el

nmero de componentes independientes del tensor de Riemann es
n2 (n2
1)=12
(3.105)
con n la dimensin de la variedad, y por tanto

n(n + 1)=2
(3.106)
de estas componentes pueden estar dadas en trminos de las componentes independientes del tensor de Ricci.
Para los siguientes casos particulares tenemos:
Si n = 1 entonces R
=0
Si n = 2 entonces R
slo tiene una componente independiente,
la cual es proporcional al escalar curvatura R, denido por
R=g R
=R
(3.107)
Si n = 3 el tensor de Riemann tiene 6 componentes independientes

y por lo tanto las 6 componentes independientes del tensor de Ricci
determinan completamente al tensor de Riemann.
Si n = 4 el tensor de Riemann tiene 20 componentes independientes
y el tensor de Ricci tiene 10 componentes independientes.
Es de anotar que el tensor de Riemann contiene todas las propiedades geomtricas de una variedad mtrica.
78
3.7.
Campos de Killing
Denicin 3-19 Un difeomorsmo : M ! M se llama una

isometra si ste deja la mtrica invariante, i.e., si la mtrica transformada g = g en todo punto de M .
Esto implica, entonces, que la transformacin
: Tp M ! T
(p) M
preserva el producto escalar:

g(X; Y)
j p = g( X; Y) j
= g( X; Y) j (p)
(p)
(3.108)
Ahora, si el grupo uniparamtrico de isomorsmos t generado por

un campo vectorial K es un grupo de isometras (es decir, si para cada
t la transformacin t es una isometra), entonces el campo vectorial
K se denomina campo vectorial de Killing. As, la derivada de Lie de
la mtrica con respecto al campo vectorial K se anula:
1
(g
!0 t
LK g = l m
t
g) = 0
(3.109)
pues
g=
por denicin de isometra. Ahora, de la denicin de derivada de Lie

(LK g)
= 2K(
; )
(3.110)
Problema: Demostrar esta relacin. Por lo tanto, un campo vectorial

de Killing satisface la ecuacin diferencial:
K
+K
=0
llamada ecuacin diferencial de Killing.
(3.111)
3.7. CAMPOS DE KILLING
79
Inversamente, si K es un campo vectorial que satisface la ecuacin

diferencial de Killing, entonces
Z t
d
( t g) jp dt0
t g jp = g jp +
0
0 dt
por el teorema fundamental del clculo integral,
Z t
d
0
( t0
s g)s=0 jp dt
t g jp = g jp +
ds
0
puesto que
es un grupo uniparamtrico de isomorsmos y as

t
(3.112)
t+s
entonces
t
p = g jp +
Z t
= g jp
0
t0
d
ds
t0
LK g j
g
s=0
jp dt0
jp dt0
= g jp
pues de la denicin de derivada de Lie se obtiene que

(LX Y) =
d
(
dt
Y)
(3.113)
por lo tanto,
Teorema 3-6 K es un campo vectorial de Killing si y slo si
satisface la ecuacin diferencial de Killing.
En general, una variedad no tiene simetras y no admite campos
vectoriales de Killing. Sin embargo, una variedad especial puede admitir r campos vectoriales de Killing linealmente independientes Ki
80
i = 1; 2; :::; r. Adems, se puede mostrar que el conmutador de dos

campos de Killing es de nuevo un campo de Killing, i.e.,
[Ki ; Kj ] = clij Kl
(3.114)
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 de lgebra de Lie asociada
a las simetras de la variedad. Las constantes clij 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.,
1
0 r
n(n + 1)
(3.115)
2
as, el grupo local de difeomorsmos generado por estos campos vectoriales de Killing es un grupo de Lie de r parmetros, llamado grupo de
simetras de la variedad. Una variedad puede poseer otras simetras,
tales como la inversin en un punto, o la reexin en un plano, pero estas simetras no estn generadas por un campo vectorial de Killing. La
conexin de estas simetras 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
1
r = n(n + 1)
2
campos vectoriales de Killing se llama de simetra maximal.
Lema 3-7 La variedad lorentziana n-dimensional plana es de simetra maximal. Por variedad plana se quiere decir una variedad para
la cual las conexiones son nulas globalmente o equivalentemente el
escalar de curvatura se anula en toda la variedad R = 0.
3.7. CAMPOS DE KILLING
81
Para demostrar este lema veamos en primer lugar que cada campo
de Killing dado K (si ste existe) est determinado unvocamente por
los valores de K jp y K ; jp en cualquier punto p 2 M. Para este n,
notemos que el conmutador de las segundas derivadas covariantes del
campo K est dado por:
K
; ;
; ;
(3.116)
Ahora, de la relacin
R[
=0
para el tensor de Riemann se tiene que, como K satisface la ecuacin

de Killing, entonces
K ; ; = R K
(3.117)
Por lo tanto, dados K y K ; para algn punto p 2 M, entonces,
por la teora de las ecuaciones diferenciales, conocemos K sobre la
variedad. Para el caso de una variedad plana esta ecuacin se reduce
a
@2K
=0
(3.118)
@x @x
cuya solucin general es de la forma
K (x) = a + b x
(3.119)
donde a y b son constantes de integracin, con la condicin b =

b , lo cual se sigue de la ecuacin de Killing.
As, tenemos 21 n(n 1) constantes independientes b ms n constantes a , que conduce a un total de 12 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 vectores)
K (j) (x) =
; j = 1; 2; :::; n
(3.120)
82

K (ij) (x) =
xj
xi ;
; i; j = 1; 2; :::; n
(3.121)
Los n vectores K(i) representan traslaciones y los 21 n(n 1) 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.
Parte II
Relatividad general
83
Captulo 4
Principios de relatividad
general
En este captulo daremos los postulados fundamentales en los cuales
se basa la teora general de la relatividad. En la primera parte mostraremos cmo el principio de equivalencia conduce a una geometrizacin
de la fuerza de gravedad, lo cual nos conducir a la formulacin de los
postulados.
4.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), que
slo 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~1
G
GmG
1 m2
r^ =
r2
85
F~2
(4.1)
86
CAPTULO 4. PRINCIPIOS DE RELATIVIDAD GENERAL
G
donde mG
r1 y ~r2 los vectores
1 y m2 son las masas gravitacionales, ~
posicin de los cuerpos, ~r = ~r2 ~r1 , G una constante (la constante de
gravitacin universal G = 6;67259 10 11 m3 kg 1 s 2 ) y F~1 2 es la
fuerza que el cuerpo 2 ejerce sobre el 1. A partir de esta expresin, es
claro que 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 instantnea. Esta situacin motiv a
Einstein a buscar la forma relativista de la ley de gravitacin universal.
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 MTG , ejerce sobre otros, con masa
gravitacional mG , y aplicamos la segunda ley de Newton para estudiar
el movimiento de estas masas en presencia de la primera, tenemos que
GMTG mG
r^ = mI~a
r2
(4.2)
donde mI denota la masa inercial del cuerpo con masa gravitacional

mG ; entonces, la aceleracin del cuerpo debido a MTG est dada por
~a =
GMTG mG
r^
r 2 mI
(4.3)
Si jamos la masa de la Tierra, la aceleracin de cualquier otro

cuerpo 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 ley de
4.1. LA LEY DE GRAVITACIN UNIVERSAL
87
cada 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 naturaleza (composicin, forma,
etc.) del cuerpo. Este principio adoptado por Newton, lo que explica la introduccin de la constante de gravitacin universal, condujo a
medir la masa gravitacional en las mismas unidades que la inercial,
an cuando los dos conceptos de masa son completamente independientes. Este principio, hoy conocido como Principio de Equivalencia
Dbil (PED) implica entonces que el movimiento de cualquier cuerpo,
independiente de su masa, es el mismo dadas las mismas condiciones
iniciales de posicin y velocidad.
Otra manera de formular el PED es a travs del famoso experimento imaginario (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. Entonces, debido a la equivalencia entre
masa inercial y gravitacional, dejando 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 ascensor 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 uniformemente acelerado y un campo gravitacional uniforme.
Este principio se conoce como e Principio de Equivalencia de Einstein
(PEE). Por ejemplo, para el caso de un tomo de hidrgeno la relacin
entre su masa inercial y gravitacional sigue siendo una constante, an
cuando la masa propia del tomo es menor que la suma de las masas
del electrn y del protn que lo constituyen, pues es un sistema ligado
88
al cual hay que darle energa para separar las partculas que lo conforman. As, de acuerdo con el PEE, 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 el 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 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 extienden a todo el espacio y conducen a
describir el espacio-tiempo como una variedad 4-dimensional plana, es
decir, libre de conexin, y para la cual podemos elegir las coordenadas
naturales, denidas por las curvas integrales de los campos de Killing
(j)
K (x) = j ; ; j = 1; 2; :::; n.
El punto de partida bsico para la anterior construccin est en la
suposicin de considerar la existencia de una partcula libre de fuerzas,
con respecto a la cual podemos denir el movimiento acelerado. Dado
el carcter universal de la gravedad, todas las formas de materia interactan gravitacionalmente; no es posible disponer de una partcula
gravitacionalmente neutracon respecto 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 independiente de la materia
y por lo tanto carece de signicado experimental, y remplazaremos
el concepto de movimiento libre (no acelerado) por el de sistema en
cada libre.
As, siguiendo los pasos para construir un sistema de referencia
inercial en fsica no gravitacional, iniciamos con una partcula en cada libre, es decir, sobre la cual no actan fuerzas (electromagnticas,
dbil, etc.). Notemos en este punto de la discusin que estamos traba-
4.1. LA LEY DE GRAVITACIN UNIVERSAL
89
jando en el espritu de Mach, en cuanto a que ya no hacemos referencia

a una partcula libre de fuerzas (incluyendo la gravitacional). Si asociamos a esta partcula en cada 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 cada libre no seguira las lneas rectas denidas por
el sistema de coordenadas cannicas asociadas al sistema de referencia de la primera partcula, es decir partculas en cada libre en otras
regiones del espacio apareceran como aceleradas con respecto a la
primera.
El concepto de sistema de referencia inercial asociado a una partcula en cada libre slo 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, 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 comparar 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.
Aun cuando los argumentos anteriores, sobre el comportamiento
de la fuerza de la gravedad (PEE) y su relacin intuitiva con las variedades, no son 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.
90
4.2.
Postulados de la TGR
Habiendo motivado la geometrizacin de la fuerza de la gravedad,

pasaremos a establecer los cuatro postulados fundamentales de la
teora general de la relatividad.
Postulado 4-1 La variedad espacio-tiempo
El espacio-tiempo lo constituyen todos los eventos fsicos, el cual
ser descrito por el par (M; g), donde M es una variedad suave ( C 1 )
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 a ecuaciones que se expresan
como relaciones 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:
Postulado 4-2 Causalidad local
Las ecuaciones que satisfacen los campos de materia deben ser tales
que, si U M es una vecindad convexa y p; q 2 U , entonces una seal
puede ser enviada en U entre p y q s y solamente si p y q pueden ser
unidos por una c1 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 este postulado, y fsicamente
ms signicativa, se puede dar en trminos del problema de Cauchy
4.2. POSTULADOS DE LA TGR
91
para los campos de materia: Sea p 2 U tal que toda curva no como de espacio a travs de p intercepta la supercie como de espacio
x0 = cte: dentro de U. Sea F el conjunto de puntos en la hipersupercie x0 = 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 materia en p deben estar unvocamente determinados por
los valores del campo y sus derivadas a un orden nito sobre F. O sea,
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
determinada por las condiciones de frontera, es decir, el valor de los
campos y sus primeras n 1 derivadas, dadas sobre la hipersupercie
interceptada por el cono de luz pasado del punto p.
Postulado 4-3 Conservacin local de la energa
Existe un tensor simtrico T = T ( i ; r 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 slo si i = 0 para todo i
sobre U .
ii. T ; = 0
La primera condicin expresa que todos los campos de materia
contribuyen 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
(4.4)
las componentes del vector P obtenido por contraccin del tensor

momentum-energa con el campo de Killing, entonces
p; = T; K +T
=0
(4.5)
pues 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
92
tiene que
@D
p d
p ; dv = 0
(4.6)
por lo tanto, este resultado se puede interpretar fsicamente, pues el

ujo de la componente del tensor momentum-energa en la 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 momentum y el momentum angular
total.
4.3.
Tensor mtrico y postulado de causalidad
Consideremos la ecuacin de las geodsicas en alguna base coordenada

d2 x
dx dx
+
=0
(4.7)
2
ds
ds ds
donde s es un parmetro afn. El parmetro afn de una curva geodsica est determinado salvo un factor aditivo y uno multiplicativo
constantes, es decir, salvo una transformacin de la forma s0 = 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, X0 = a1 X.
Por otra parte, dada una cr conexin, los teoremas de existencia
y unicidad de las ecuaciones diferenciales ordinarias aplicados a la
ecuacin geodsica muestran que para cualquier punto p 2 M y Xp 2
4.3. TENSOR MTRICO Y POSTULADO DE CAUSALIDAD 93

Tp M existe una geodsica maximal X (s) en M, con p = (0) y
@
= Xp . Si r
1 la geodsica es nica y depende continua@s
s=0
mente de los valores iniciales. Esta situacin nos permite denir la
transformacin exponencial
exp : Tp M !
M
X 7 ! exp(X) :=
X (1)
siendo X (0) = p. Es decir, a cada vector X 2Tp M se le asocia el

punto q 2 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 2Tp M pues la geodsica no
necesariamente est denida para todo s. Entonces
Denicin 4-1 Una geodsica X (s) se llama completa si est
denida para todo s.
Denicin 4-2 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 2Tp M.
@
= X, entonces
Sean X 2Tp M y a 2 R jos con @s
s=0
X
[a; b]
s
!
7 !
M
X (as)
tiene velocidad inicial

@
@t
as,
X (as)
aX (s)
=
t=0
d(as) @
ds @as
= aX
(4.8)
s=0
y por lo tanto la transformacin

exp(aX) =
aX (1)
X (a)
(4.9)
es decir, la transformacin exp convierte rectas aX de Tp M en geodsicas sobre M.
94
Si M es geodsicamente completo o no, la transformacin exp es de

rango n en p (n = dim M). As, por el teorema de la funcin implcita
existe una vecindad abierta V0 del origen de Tp M y una vecindad
abierta Vp del punto p 2 M tal que
exp : V0
Tp M
! Vp
es un C r -difeomorsmo de V0 sobre Vp . La vecindad Vp se llama vecindad normal de p: Adems, podemos escoger Vp convexa, esto es, tal
que todo punto q 2 Vp puede ser unido a cualquier otro punto r 2 Vp
por una nica geodsica que parte del punto q y que est totalmente
contenida en Vp . En el interior de una vecindad normal convexa V
es posible escoger coordenadas (x1 ; x2 ; :::; xn ) con origen en cualquier
punto p 2 V, y tomando una base fE g de Tp M denimos las coordenadas de un punto r 2 V por la relacin r = exp(x E ), es decir,
se asigna al punto r las coordenadas del punto exp 1 r con respecto a
la base fE g de Tp M. Entonces, si E = @=@x jp de la ecuacin de
= 0. Estas coordenadas se llaman
las geodsicas se obtiene que
p
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 2 M pueden converger a un
foco en otro punto de M, por ejemplo las geodsicas sobre una 2esfera son crculos mximos que convergen siempre al punto antpoda
del cual partieron.
Consideremos de nuevo el postulado de causalidad. Este postulado sita a la mtrica g aparte de los otros campos de materia sobre
M, dado su carcter geomtrico especial. Si fx g son coordenadas
normales en una vecindad del punto p 2 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
(x0 )2
(x1 )2
(x2 )2
(x3 )2
(4.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
cules puntos de U M pueden comunicarse con p, se puede determinar el cono nulo Np en Tp M. Conocido Np , la mtrica en p se puede
determinar salvo un factor conforme, donde
Denicin 4-3 Dos mtricas g y g 0 sobre M se llaman conformes
si
g0 = 2 (x)g
(4.11)
donde
(x) es una funcin suave y no nula, y por lo tanto

g0 (X; Y)
g(X; Y)
= 0
g(Z; W)
g (Z; W)
(4.12)
Para determinar la mtrica a partir del cono nulo Np , sean

X; Y 2Tp M
vectores como de tiempo y como de espacio, respectivamente. Entonces, la ecuacin
g(X + Y; X + Y) = g(X; X) + 2 g(Y; Y) +
tiene dos races reales
(g(X; X))2
2,
g(X; Y)
(4.13)
pues el discriminante es positivo,

4g(X; X)g(Y; Y) > 0
(4.14)
pues g(X; X) > 0 y g(Y; Y) < 0. Por lo tanto, si Np es conocido,

entonces 1 y 2 pueden ser determinados, y de estos valores podemos
obtener la relacin
g(X; X)
(4.15)
1 2 =
g(Y; Y)
96
i.e., la razn de las magnitudes de un vector como de tiempo y uno como de espacio puede ser determinada. Ahora, si W; Z son dos vectores
no nulos en p, entonces
g(W; Z) =
1
(g(W + Z; W + Z)
2
g(W; W)g(Z; Z))
(4.16)
y por lo tanto cada una de las magnitudes del lado derecho de la

ecuacin anterior puede ser comparada con las magnitudes de X o 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 electromagnticas viajan sobre geodsicas nulas, 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 podemos comparar los factores conformes en diferentes
puntos de la variedad espacio-tiempo M. Esto se obtiene por el hecho
que las ecuaciones de conservacin
T
=0
(4.17)
pueden no cumplirse para una conexin derivada de otra mtrica

g0 =
(4.18)
Una forma prctica de determinar el factor conforme 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 lneas
de universo de cada sistema. Si se asla cada sistema de los campos
externos, entonces ellos siguen geodsicas como de tiempo. Si (t) es

una de las geodsicas con vector tangente (@=@t) , entonces podemos
medir la longitud de arco entre eventos vecinos para cualquiera de
estos sistemas y determinar
g (@=@t) ; (@=@t)
(4.19)
en cada punto del espacio-tiempo y jar as el factor conforme, salvo

un factor multiplicativo constante, el cual lo dene la escala.
Los postulados de causalidad y conservacin no nos dicen cmo
construir T para un conjunto de campos de materia dados. Sin embargo, existe una manera nica y bien denida de calcular el tensor
momentum-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
Z
S = Ldv
(4.20)
exigiendo que S sea estacionaria bajo variacin de los campos en el
interior de una regin compacta 4-dimensional D, i.e.,
S=0
(4.21)
Esta condicin conduce a las ecuaciones de Euler-Lagrange

!
@L
@L
@
=0
(4.22)
@ (i)
@ @ (i)
El tensor momentum-energa se obtiene a partir de la densidad
lagrangiana L considerando las variaciones de la accin bajo cambios
98
en la mtrica:
T
S
jg(x)j g
=p
(4.23)
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=
1p
jg(x)j g
2
m2
(4.24)
donde se han utilizado unidades de h/ = 1 y c = 1. Las ecuaciones

de Euler-Lagrange para este sistema conducen a la ecuacin de KleinGordon
+ m2
=0
(4.25)
donde el dalembertiano est dado por:
=g
(4.26)
y el tensor momentum-energa es:

T
1
g
2
+ m2
(4.27)
Otro ejemplo, de importancia en cosmologa, es el de uido perfecto. Un uido describe un sistema fsico de muchas partculas (1023
que en este lmite se puede considerar como un sistema continuo) a
travs de las cantidades que determinan el sistema, tales como densidad, presin, temperatura, viscosidad, etc. Aun cuando no hay una
denicin nica de uido perfecto, ste se puede denir como un sistema en el cual no hay conduccin trmica ni viscosidad, o como lo
describe equivalentemente Weinberg: como un uido tal que en su 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 cuadrivector ujo
N = nU
(4.28)
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:
= nmc2
(4.29)
La densidad de energa caracteriza completamente al uido, pero
la anterior ecuacin es solamente vlida en el sistema en reposo del
uido; as, para encontrar la expresin covariante de la densidad de
energa (vlida para cualquier observador inercial), recordemos que
mc2 es la componente temporal del cuadrivector momentum de una
partcula en su 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; denimos el tensor momentum-energa para el gas de polvo
como:
(4.30)
T = p N = nmU U = 2 U U
c
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: el que es isotrpico en su sistema en reposo. Esto signica que T es diagonal, es decir, no hay
ujo neto de momentum 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
100
presin, tenemos que las componentes del tensor momentum-energa

en el sistema en reposo estn dadas por:
0
1
0 0 0
B 0 p 0 0 C
C
T =B
(4.31)
@ 0 0 p 0 A
0 0 0 p
la cual, para un sistema de referencia inercial cualquiera, se puede

escribir en la forma (con c = 1):
T
= (p + )U U + p
(4.32)
donde
es el tensor mtrico de Minkowski.
La generalizacin para una variedad con mtrica g es directa,
T
= (p + )U U + pg
(4.33)
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 momentum-energa se puede encontrar a partir de una
densidad lagrangiana. Siguiendo la denicin de Weinberg, sea U el
campo de cuadrivelocidades y denamos la cuadricorriente por J =
U, con la densidad de partculas. La ecuacin de continuidad exige
que J; = 0, y la densidad lagrangiana est dada por:
L=
2 (1 + ")
(4.34)
donde " = "( ) es el potencial elstico. La accin S es estacionaria

cuando las lneas de ujo se varan, ajustando J para mantener la
corriente conservada. Entonces la ecuaciones de Euler-Lagrange conducen a las ecuaciones de movimiento para el uido:
U + ( + p)U; = 0
( + p)U_ = p; (g + U U )
;
(4.35)
4.4. ECUACIONES DE CAMPO DE EINSTEIN
101
donde = (1+") es la densidad de energa, p = 2 d"=d la densidad

de presin, y U_ = U; U . As, la aceleracin de las lneas de ujo U_
es proporcional al gradiente de presin ortogonal a las lneas de ujo.
A partir de la densidad lagrangiana obtenemos el tensor momentumenerga.
4.4.
Ecuaciones de campo de Einstein
Hasta el presente la mtrica g no ha sido explcitamente dada.

En la teora especial de la relatividad, la cual no incluye los efectos
gravitacionales, la mtrica es plana, i.e., g = . En la discusin al
comienzo del captulo se vi cmo la fuerza de la gravedad, por su
carcter universal, debe ser excluida como un campo de fuerzas en un
espacio plano, si queremos mantener la idea que una partcula libre
sigue lneas rectas o que la velocidad de 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 la materia a travs del tensor momentumenerga, si queremos 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 objeto geomtrico, salvo identidades
o mltiplos, 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 momentum-energa, dadas las condiciones que
sobre l se imponen, que sea simtrico y que satisfaga el principio de
102
conservacin local, as:

Postulado 4-4 La mtrica sobre la variedad espacio-tiempo (M; g)
est determinada por las ecuaciones de campo de Einstein
1
8 G
Rg + g =
T
(4.36)
2
c4
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 divergencia covariante de cada lado de las ecuaciones se satisface
independientemente
R
1
Rg
2
+ g
=0=
;
8 G
T
c4 ;
(4.37)
entonces el nmero de ecuaciones independientes se reduce a seis. Este

es el nmero correcto de ecuaciones, porque de las diez componentes
independientes del tensor mtrico, cuatro de ellas se pueden elegir arbitrariamente. Esto proviene del hecho que las componentes del tensor
mtrico son nicas, salvo una transformacin de coordenadas.
As, las ecuaciones de campo de Einstein determinan el tensor
mtrico, salvo la clase de equivalencia de difeomorsmos
: (M; g1 ) ! (M; g2 )
donde dos mtricas denen el mismo espacio-tiempo si entre las variedades (M; g1 ) y (M; g2 ) 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 (comparada 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 ; jh j << 1
(4.38)
4.4. ECUACIONES DE CAMPO DE EINSTEIN
103
Si U son las componentes de la cuadrivelocidad de la partcula,

entonces
dx0
dxi
t 1;
<< 1
(4.39)
d
d
y de la ecuacin de las geodsicas tenemos
d2 xi
d2 xi
t
=
dt2
d2
dx dx
t
d d
i
00
(4.40)
Ahora, el coeciente de la conexin est dado por

i
00
1
= h00;i
2
h0i;0
(4.41)
donde la coma signica la derivada usual. Si el campo gravitacional es

estacionario h0i;0 = 0, y con la notacin ~x = (x1 ; x2 ; x3 ), se obtiene
d2~x
=
dt2
1~
rh00
2
(4.42)
que al compararla con la ecuacin de Newton

d2~x
=
dt2
~
r
(4.43)
tenemos que
h00 = 2 + cte:
(4.44)
Puesto que el potencial gravitacional y h00 se anulan para grandes

distancias, y reintroduciendo la velocidad de la luz, obtenemos
g00 = 1 +
2
c2
(4.45)
104
El trmino 2 =c2 determina cundo una regin del espacio-tiempo

es fuertemente curvada, por ejemplo
2 =c2
10 9
10 6
10 4
10 1
10 39
Sobre la superf icie

tierra
sol
enana blanca
estrella neutronica
proton
Captulo 5
La solucin de Schwarzschild
Karl Schwarzschild, tan slo dos meses despus de haberse publicado las ecuaciones de campo, encontr la primera solucin analtica de
las ecuaciones 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 cerca del sol, conrmando los resultados previos obtenidos
por Einstein en la aproximacin posnewtoniana (aproximacin de campo dbil).
5.1.
Mtrica para simetra esfrica
Consideremos una distribucin 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, buscamos las
componentes del tensor mtrico
g = g dx
105
dx
(5.1)
106
CAPTULO 5. LA SOLUCIN DE SCHWARZSCHILD
tal que g satisfaga las ecuaciones de Einstein en el vaco

R
1
Rg
2
=0
(5.2)
donde los ndices griegos recorren de 0 a 3, esto es,

x = (x0 ; x1 ; x2 ; x3 )
(5.3)
x0 = ct
(5.4)
y
La solucin de este problema debe satisfacer las siguientes condiciones:
1. Esttica
2. Esfricamente simtrica
3. Asintticamente (lejos de la distribucin) se debe reducir a la
mtrica minkowskiana
Dada la simetra esfrica del problema es til trabajar en coordenadas espaciales esfricas
(r; ; ') = x1 ; x2 ; x3
(5.5)
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 transformacin
x0 !
x0
(5.6)
5.1. MTRICA PARA SIMETRA ESFRICA
107
lo que implica que las componentes del tensor mtrico de la forma g0i
con i = 1; 2; 3 no deben aparecer. As, el tensor mtrico que estamos
buscando debe ser de la forma
dx0 + gij dxi
g = g00 dx0
dxj
i; j = 1; 2; 3
(5.7)
Introduciendo en forma explcita las coordenadas esfricas y la coordenada temporal x0 = 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 = g00 c2 dt dt+grr dr
dr +g r2 d
d +g'' r2 sin2 d' d' (5.8)
donde los coecientes mtricos g00 , grr , g y g'' son funciones solamente de la coordenada radial r. Veamos que las componentes mtricas
g y g'' deben ser iguales. Para este n supongamos que hacemos un
desplazamiento innitesimal
con = r a partir del polo norte
( = 0) con t; r y ' constantes; entonces
ds2 = g
(5.9)
Si realizamos ahora el mismo desplazamiento pero en el plano ecuatorial ( = =2) con idntico r, = rd', entonces
ds2 = g''
(5.10)
y por lo tanto, dada la simetra esfrica de la distribucin de materia,

se debe tener que g = g'' . Sea
d
=d
d + sin2 d'
(5.11)
d'
entonces el tensor mtrico toma la forma

g = g00 c2 dt dt + grr dr dr + g r2 d
= g00 c2 dt2 + grr dr2 + g r2 d 2
(5.12)
108
lo cual signica que faltan por determinar solamente tres funciones de

r: g00 (r), grr (r) y g (r). Esta expresin se puede simplicar an ms
reduciendo el problema solamente a dos funciones desconocidas, pues
si se realiza el cambio de variable
p
r ! r~ =
g (r)r
(5.13)
entonces
g r2 = r~2
2~
rd~
r =
dr =
=)
dg
dr 2g rdr
r2
dr
r~
r dg
1+
g r
2g dr
=)
1
d~
r
(5.14)
As
grr dr
grr
r dg
=
1+
g
2g dr
2
= g~rr (~
r) d~
r
d~
r2
(5.15)
Remplazando las ecuaciones de transformacin anteriores en el tensor mtrico 5.12, tenemos

g = g00 c2 dt2
= g00 c2 dt2
g~rr (~
r) d~
r2 r~2 d
grr dr2 r2 d 2
(5.16)
donde se ha redenido
r~ ! r
(5.17)
g~rr ! grr
(5.18)
y
en la ltima igualdad, para regresar a la notacin usual de la variable
radial. De esta forma el problema se ha reducido a slo dos funciones,
109
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, g00 > 0 y grr > 0, se puede reescribir el tensor mtrico en la
siguiente forma:
g = eh(r) c2 dt2
eg(r) dr2
r2 d
(5.19)
Las nuevas funciones a determinar, h(r) y g(r), deben satisfacer la

condicin asinttica
l m h(r) = 0
r!1
(5.20)
l m g(r) = 0
r!1
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 5.2. Antes de remplazar los coecientes mtricos
en este sistema de ecuaciones, veamos un teorema que nos permite
simplicar los clculos:
Teorema 5-1 Las ecuaciones de campo de Einstein en el vaco sin
constante cosmolgica son equivalentes a la anulacin de las componentes del tensor de Ricci, i.e.
R
1
Rg
2
=0
Demostracin:((=) Si R
(=)) Si
() R
=0
= 0; entonces R = 0
1
Rg = 0
2
subiendo el primer ndice covariante y contrayendo tenemos
R
0 = R
= R
=
R
1
g R
2
2R
(5.21)
110
entonces R = 0 y por lo tanto R = 0.

A partir de las condiciones de simetra del problema se pudo 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, an con esta
mtrica simplicada es necesario calcular 40 smbolos de Christoel
que aparecen en las ecuaciones de campo. Un mtodo gil que permite
calcular las componentes no nulas de los smbolos de Christoel es el
mtodo variacional (ecuaciones de Euler-Lagrange) para la ecuacin
de las geodsicas:
dx dx
d2 x
+
=0
(5.22)
dt2
dt dt
las cuales contienen todos los smbolos de Christoel y pueden ser
obtenidas a partir del principio variacional
Z
0 =
F ds
Z
dx dx
=
g
ds
(5.23)
ds ds
con las ecuaciones de Euler-Lagrange
d
ds
@F
@ x_
@F
@x
; x_ =
dx
ds
(5.24)
As, para la mtrica de Schwarzschild el elemento de distancia

espacio-tiempo est dado por
F = eh(r) x_ 0
eg(r) x_ 1
r2 x_ 2
r2 sin2
x_ 3
(5.25)
donde x0 = ct, x1 = r, x2 = y x3 = '.

Consideremos en primer lugar la ecuacin de Euler-Lagrange para
la coordenada temporal x0 , y denotemos las derivadas con respecto a
111
la coordenada radial por primas, as:

d
2eh(r) x_ 0 = 0
ds
x0 + h(r)x_ 1 x_ 0 = 0
=)
(5.26)
La ecuacin de las geodsicas correspondiente se obtiene a partir

de la ecuacin 5.22 para = 0,
d2 x0
dx dx
+ 0
2
dt
dt dt
0
0 0 0
= x + 00 x_ x_ + 001 x_ 0 x_ 1 +
0 =
0 3 3
_ x_
33 x
(5.27)
Entonces, comparando las dos ltimas ecuaciones, se tiene que los

nicos smbolos de Christoel no nulos son:
0
10
0
01
1
= h(r)
2
(5.28)
Para la coordenada r la ecuacin de Euler-Lagrange est dada por:

d
ds
2eg(r) x_ 1
2g (r)eg(r) x_ 1
= h(r)eh(r) x_ 0
2r x_
2 2
mientras que la ecuacin geodsica para
2eg(r) x1
g (r)eg(r) x_ 1
2r sin2
x_
(5.29)
3 2
= 1 es
dx dx
d2 x1
+ 1
2
dt
dt dt
1
1 0 0
= x + 00 x_ x_ + 101 x_ 0 x_ 1 +
0 =
1 3 3
_ x_
33 x
(5.30)
112
y comparndolas, los smbolos de Christoel no nulos estn dados por:

1
00
1
11
1
22
1
33
1
h(r)eh(r) g(r)
2
1
=
g (r)
2
=
re g(r)
=
re g(r) sin2
=
Procediendo de forma similar para las coordenadas

bolos no nulos que se obtienen son:
2
12
2
33
3
13
3
23
1
r
sin cos '
1
3
31 =
r
3
32 = cot
2
21
(5.31)
y ' los sm-
(5.32)
Remplazando los smbolos de Christoel obtenidos en las ecuaciones de campo en el vaco:

0 = R =R
@
@
+
=
@x
@x
(5.33)
obtenemos
R
0 si
y de los trminos diagonales

R
6=
(5.34)
=0
se llega al siguiente sistema de ecuaciones diferenciales acopladas:

1
h + h2
2
1
2
hg + h = 0
2
r
(5.35)

1
h + h2
2
re
2e
sin2
1
hg
2
1 + re
re
2
g=0
r
h+g 2
+
2
r
113
(5.36)
=0
(5.37)
(5.38)
1 =0
Restando las ecuaciones 5.35 y 5.36 se obtiene

h+g =0
(5.39)
h + g = cte:
(5.40)
entonces
y de la condicin asinttica se tiene
(5.41)
h+g =0
Con esta condicin la ecuacin 5.36 toma la forma

2
(5.42)
g g2 + g = 0
r
Esta ecuacin diferencial de segundo orden se puede escribir como:
g
re
=0
(5.43)
= K1
(5.44)
la cual admite una primera integral

re
Antes de integrar esta ecuacin, veamos que las otras dos ecuaciones diferenciales 5.37 y 5.38 sean consistentes con lo encontrado
hasta ahora. De la ecuacin 5.37 se obtiene
re
2e
re
1 + re
g
2e
0 2
+
= 0
2 r
1 + 2e g = 0
= 1
re g
=)
=)
(5.45)
114
lo que implica que la constante de integracin K1 = 1. La ecuacin 5.38

no da informacin adicional pues se satisface idnticamente debido a
la ltima relacin encontrada (ecuacin 5.45). Integrando la ecuacin
5.45 se obtiene
K2
e g(r) = eh(r) = 1
(5.46)
r
donde K2 es una constante de integracin. As, la mtrica de Schwarzschild toma la forma
g=
K2
r
dx
0 2
K2
r
dr2
r2 d
(5.47)
Notemos que hasta el presente en la deduccin de la mtrica de

Schwarzschild slo se ha utilizado la simetra de la distribucin de
materia y el carcter asinttico, pero no la masa total de la distribucin
ni su radio. Es de esperar que la constante de integracin K2 involucre,
de alguna manera, esta informacin que caracteriza la distribucin de
materia que produce el campo gravitacional en su exterior.
Para calcular esta constante se puede utilizar el siguiente razonamiento: la solucin de Schwarzschild es vlida para el exterior de
cualquier distribucin esfrica de materia, y por lo tanto debe describir el campo gravitacional de cualquier cuerpo celeste usual conocido,
tal como el Sol o la Tierra, y se espera que esta mtrica represente los
fenmenos que conocemos, y en particular se espera 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 se puede trabajar la aproximacin posnewtoniana, vista en el captulo anterior, y utilizar la ecuacin 4.45 que
relaciona el potencial gravitacional newtoniano con la componente g00
del tensor mtrico. Por lo tanto, dado que el potencial gravitacional
newtoniano en el exterior de una distribucin esfrica de masa m est
dado por
Gm
(5.48)
(r) =
r
5.2. TEOREMA DE BIRKHOFF
115
y la componente para la mtrica de Schwarzschild (ecuacin 5.47) es

g00 = 1
K2
r
(5.49)
entonces
g00 = 1 +
1
K2
= 1
r
2
=)
c2
2Gm
=)
rc2
2Gm
c2
De esta manera la mtrica de Schwarzschild est dada por
K2 =
g=
2Gm
c2 r
dx
0 2
2Gm
c2 r
(5.50)
dr2
r2 d
(5.51)
El mtodo utilizado para calcular la constante de integracin K2 ,

an cuando conduce al resultado correcto, deja la pregunta abierta de
la interpretacin fsica de la masa como fuente del campo, a travs
del tensor momentum-energa. Para este n es necesario desarrollar
el concepto de las leyes de conservacin para el campo gravitacional.
Este campo de trabajo est abierto a investigacin y se dejar para
un captulo posterior su formulacin.
5.2.
Teorema de Birkho
En este punto es importante enfatizar en que el radio de la distribucin no debe aparecer en forma explcita en la solucin, debido
a la simetra esfrica del problema. Es decir, la solucin de Schwarzschild obtenida es vlida solo para r > R, donde R es el radio de la
116
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 estuviera concentrada
en el centro, y la solucin no involucra, en forma explcita, el radio
de la distribucin. Esta situacin se puede ver mejor en el siguiente
resultado debido a Birkho, el cual establece que la solucin para el
exterior de una distribucin de masa esfrica es la de Schwarzschild, independientemente de que esta distribucin est variando radialmente,
es decir, si la distribucin est colapsando o expandindose. Para ver
esto, consideremos 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 distribucin, es decir, en el vaco. Dado que los elementos de simetra utilizados para construir la forma general de la
solucin buscada (ecuacin 5.19) no se ven afectados por el comportamiento del radio de la distribucin, podemos asumir que la mtrica
buscada tiene la forma general
g = eh(r;t) c2 dt2
eg(r;t) dr2
r2 d
(5.52)
pero ahora las funciones h(r; t) y g(r; t) deben depender del tiempo.
Si se procede como antes, es decir, si se introduce esta mtrica en las
ecuaciones de campo, se llega a una relacin similar a la ecuacin 5.39:
(5.53)
h+g =0
donde la prima signica derivada respecto a la coordenada r, entonces

integrando
h + g = cte(t) = (t)
(5.54)
donde ahora la constante de integracin puede depender del tiempo.
As, continuando con este procedimiento se obtiene nalmente
g=e
(t)
2Gm
c2 r
dx0
2Gm
c2 r
dr2
r2 d
(5.55)
5.3. PROPIEDADES DE LA MTRICA
117
Si se redene la coordenada temporal como

t~ =
e2
(t)
dt
(5.56)
entonces la mtrica toma la forma de Schwarzschild, es decir, la mtrica

en el exterior de la distribucin slo 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 producida por cualquier distribucin de materia con simetra
esfrica.
5.3.
Propiedades de la mtrica
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, donde R es el
radio de la distribucin. Sin embargo, en la expresin para la mtrica
(ecuacin 5.51) aparece una singularidad coordenada, en el sentido que
2
el coeciente de (dx0 ) se anula y el coeciente de dr2 diverge a +1,
cuando r ! 2Gm=c2 por la derecha. Este valor de la coordenada
radial, denotado por rs , se conoce como radio de Schwarzschild de la
distribucin
2Gm
(5.57)
rs = 2
c
el cual slo depende de la masa total y por lo tanto es un parmetro
que caracteriza la distribucin, independientemente del radio R. Si
se calcula el valor de este parmetro para un cuerpo como la Tierra,
118
tenemos
rs =
10 11 m3 kg 1 s 2 5;9742
(2;99792458 108 m s 1 )2
10 3 m
6;67259
= 8: 870 8
1024 kg
(5.58)
es decir, del orden de 9 milmetros, que en comparacin con el radio

de la Tierra, RT = 6;5 106 m, es despreciable. Esto muestra por qu
esta singularidad 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 obtuvo que el radio de la distribucin
debera ser mayor a 9rs =8, resultado que lo dej satisfecho pues aun
en este caso la singularidad no jugaba papel alguno.
En 1923 Birkho mostr que una solucin esfricamente simtrica
de las ecuaciones de campo en el vaco era necesariamente esttica para
r > rs y por lo tanto la solucin para cualquier distribucin esfrica de
masa no esttica era la de Schwarzschild si r > rs ; por esta razn, el
argumento que utiliz Schwarzschild no es vlido. Sin embargo, dado
que rs es muy pequeo no se esperaba encontrar una distribucin de
materia donde el radio de la distribucin R fuera menor que rs . Pues
esto implicaba, por ejemplo, que un cuerpo como la Tierra tuviera una
densidad del orden de
5;9742 1024 kg
4 (8: 870 8 10 3 m)3
2: 0 1030
kg
=
m3
(5.59)
lo cual no se vea factible para la materia ordinaria que se conoca.

Un resultado conocido de la ley de gravitacin universal de Newton,
debido al comportamiento de la fuerza gravitacional con el inverso del
cuadrado de la distancia, es el hecho de que la fuerza sobre una masa
5.3. PROPIEDADES DE LA MTRICA
119
en el interior de un cascarn esfrico de materia se anula. Para ver qu

sucede en el caso de la relatividad general, consideremos una distribucin esfrica de materia 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 se puede
seguir el mismo procedimiento que se vi para encontrar la solucin
de Schwarzschild, y podemos proponer llevar los mismos argumentos
hasta plantear la forma general de la solucin como
g = eh(r) c2 dt2
eg(r) dr2
r2 d
(5.60)
La primera diferencia que surge con respecto a la solucin de

Schwarzschild es en la condicin asinttica, la cual ya no es ms aplicable en el presente caso y por lo tanto en la ecuacin 5.40,
h + g = k~ = cte:
(5.61)
la constante k~ ya no es cero. As, continuando con el procedimiento se

encuentra (ecuacin 5.46)
e
g(r)
= e k eh(r) = 1
K2
r
(5.62)
Para hallar la solucin en el interior del cascarn esfrico se puede

comparar la solucin encontrada en la aproximacin posnewtoniana
con el potencial clsico, teniendo en cuenta que el potencial gravitacional newtoniano en el interior del cascarn es constante (i.e., la fuerza
es cero sobre la partcula de prueba); entonces
g00 = 1 +
~
g00 = ek
2
= cte:
c2
K2
1
r
=)
(5.63)
120
lo que implica que K2 = 0, y por lo tanto la mtrica toma la forma

~
g = ek c2 dt2
dr2
r2 d
(5.64)
la cual, salvo un factor de escala temporal que depende del potencial

constante en el interior del cascarn, se reduce a la mtrica minkowskiana. Este resultado representa la versin relativista de la anulacin
de la fuerza gravitacional en el interior de un cascarn esfrico de materia. Esta situacin se puede entender como una consecuencia del comportamiento con el inverso al cuadrado de la distancia de la fuerza de
gravitacin universal. Este resultado justica ciertas consideraciones
newtonianas que se hacen en cosmologa.
Captulo 6
Pruebas de la relatividad
general
En esta seccin se analizar el movimiento de partculas materiales
de prueba y de rayos de luz (fotones) en el campo de una distribucin
esfrica de masa, y nos concentraremos en dos efectos 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
constituyen los paradigmas histricos de las pruebas observacionales
de la teora general de la relatividad.
6.1.
Corrimiento del perihelio de Mercurio
Consideremos en primer lugar el clculo de las geodsicas como

de tiempo 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
121
122 CAPTULO 6. PRUEBAS DE LA RELATIVIDAD GENERAL

elemento de lnea por el principio variacional 5.23:
F = 1
rs
r
x_ 0
rs
r
x_ 1
r2 x_ 2
r2 sin2
x_ 3
(6.1)
donde
x0 ; x1 ; x2 ; x3 = (ct; r; ; ')
(6.2)
y
x_ = dx =ds
Entonces las ecuaciones de Euler-Lagrange estn dadas por ( =
0; 1; 2; 3):
d @F
@F
(6.3)
=
ds @ x_
@x
Considrese primero la ecuacin para la coordenada x2 = , entonces
d
(6.4)
r2 _ = r2 sin cos '_ 2
ds
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, entonces el movimiento contina siempre en este plano. Por
esta razn, siempre se pueden elegir los ejes coordenados espaciales
con el eje z normal al plano del movimiento. De esta forma se asumir
que = =2 y por lo tanto la funcional F se reduce a
F = 1
rs 2 _2
ct
r
rs
r
r_ 2
r2 '_ 2
(6.5)
A partir de esta funcional, las ecuaciones de Euler-Lagrange para

las coordenadas t y ' toman la forma
d 2
r '_ = 0
ds
(6.6)
6.1. CORRIMIENTO DEL PERIHELIO DE MERCURIO

d
rs _
c2 1
t =0
ds
r
Estas ecuaciones implican entonces que
123
(6.7)
r2 '_ = L = cte:
(6.8)
rs _
t = E = cte:
(6.9)
r
Para encontrar la ecuacin para la coordenada radial, dividamos
(formalmente) el elemento de arco (distancia espacio-tiempo) por ds,
entonces
rs _2
rs 1 2
1= 1
t
1
r_
r2 '_ 2
(6.10)
r
r
al remplazar las ecuaciones 6.8 y 6.9 en la ecuacin anterior se obtiene
1
1= 1
rs
r
E2
rs
r
1+
rs
r
r_ 2
L2
r2
(6.11)
o equivalentemente
r_ 2 + 1
L2
r2
= E2
(6.12)
Esta ecuacin se puede escribir en la forma

r_ 2 + V (r) = E 2
(6.13)
donde el potencial efectivo V (r) est dado por

V (r) = 1
rs
r
1+
L2
r2
(6.14)
Las ecuaciones 6.8 y 6.9 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 6-1 Sea (s) una geodsica con vector tangente u =
(@=@s) j y un campo vectorial de Killing, entonces
g (u; ) = cte:
a lo largo de la geodsica (s).
Demostracin: Calculemos la derivada covariante del tensor mtrico a lo largo de la curva (s), entonces
D
g (u; )
@s
= ru g (u; )
= (g u ); u
= g u; u + g u ; u
g (ru u; ) + g (u; ru )
como la curva es una geodsica con vector tangente u, por denicin
ru u = 0, y por lo tanto
ru g (u; ) = g u ; u
= u u ;
1
=
u u ; +u u
2
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
1
u u
2
1
=
u u
2
= 0
ru g (u; ) =
+u u
125
lo cual demuestra el teorema.

As, para el caso de la mtrica de Schwarzschild se tiene que los vectores de Killing @=@t y @=@' tienen componentes (1; 0; 0; 0) y (0; 0; 0; 1)
respectivamente; por lo tanto,
g (u; @=@t) = g00 u0
=
rs dx0
r ds
rs _
t
r
(6.15)
= cte:
g (u; @=@') = g33 u3

dx3
=
r2
ds
=
r2 '_
= cte:
(6.16)
Aqu se est interesado en la rbita de la partcula de prueba r =

r ('), entonces
dr
r_
r=
=
(6.17)
d'
'_
y de las ecuaciones 6.8 y 6.13 se obtiene
L2
r = E2
r4
(6.18)
V (r)
Para integrar esta ecuacin se realiza el siguiente cambio de variable

u=
1
r
=)
r=
u
u2
(6.19)

entonces
u2 + u2 =
E2 1
rs
+ 2 u + rs u 3
2
L
L
(6.20)
diferenciando con respecto a ' se tiene
2uu + 2uu
2u u + u
rs
u 3rs u2 u = 0
2
L
rs
3 2
rs u
= 0
2
2L
2
=)
(6.21)
Una solucin de esta ecuacin corresponde a movimiento circular,

i.e., u = 0 implica r = cte:, y las otras soluciones se obtienen a partir
de la ecuacin diferencial
u+u
3 2
rs u = 0
2
rs
2L2
(6.22)
Si se compara esta ecuacin con la obtenida en mecnica newtoniana

u+u
Gm
=0
L2
(6.23)
donde
L = r2
d'
dt
(6.24)
127
y notando que r2 '_ = L, la relacin entre las dos ecuaciones es

rs
Gm
= 2 2
2
2L
cL
Gm
=
c2 (r2 ')
_ 2
Gm
=
2
c2 r2 d'
ds
Gm
=
d' 2
c2 r2 cdt
Gm
=
2
r2 d'
dt
Gm
(6.25)
=
L2
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 rs = 2Gm=c2 , se tiene
que cL = L. Se observa entonces que la ecuacin relativista contiene
el trmino adicional 3=2rs u2 , el cual, para el caso de la rbita de Mercurio, es pequeo comparado con el tmino rs =2L2 , pues tomando en
cuenta que ds ' cdt, tenemos
3=2rs u2
= 3L2 u2
rs =2L2
1
= 3 2 r2 '_
r
3
d'
' 2 r
c
dt
2
v
' 3 ?2
c
7; 7 10
2
2
(6.26)

donde v? es la velocidad de Mercurio perpendicular al radio vector.
Por esta razn, se puede resolver la ecuacin de movimiento relativista
para la rbita de Mercurio, tratando el trmino 3=2rs u2 como una
perturbacin. La aproximacin de orden cero (newtoniana) est dada
por
rs
u(0) =
(1 + e cos ')
(6.27)
2L2
donde la excentricidad e est denida como
a 1
e2 =
2L2
rs
(6.28)
siendo a el semi-eje mayor de la rbita. Introduciendo esta solucin de

orden cero en la ecuacin diferencial para la rbita (ecuacin 6.22) se
tiene
3rs3
rs
+
(1 + e cos ')2
(6.29)
u+u=
2L2 8L4
Para encontrar la solucin a esta ecuacin diferencial no homognea,
ntese que las siguientes tres ecuaciones diferenciales
8
K
<
K cos '
u+u=
(6.30)
:
2
K cos '
poseen las soluciones particulares
K
1
K
2
1
K' sin '
2
1
K cos (2')
6
(6.31)
Puesto que la solucin perturbativa u que se est buscando es de

la forma u = u(0) + u(1) , donde u(1) es la solucin de la ecuacin 6.29,
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 21 K 16 K cos (2') tampoco es interesante
129
pues es 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 cambio secular de la rbita. De esta forma la
solucin que se est interesado corresponde a la ecuacin diferencial
u+u=
3rs3
rs
+
e cos '
2L2 4L4
(6.32)
la cual se obtiene a partir de la ecuacin 6.29 manteniendo solamente

el trmino en cos '. La solucin a esta ecuacin diferencial est dada
por
rs
3rs2
u=
e' sin '
(6.33)
1
+
e
cos
'
+
2L2
4L2
Teniendo en cuenta que el trmino 3rs2 =4L2 es pequeo para rbitas
planetarias, pues, e.g.,
3rs2
3rs2
=
4L2
4 (r2 ')
_ 2
3rs2
=
4 (r2 ')
_ 2
3rs2 c2
'
4r2 r d'
dt
7
10
(6.34)
para Mercurio, entonces se puede reescribir la ecuacin 6.33 en la

forma
rs
3rs2
u=
1
+
e
cos
'
'
(6.35)
2L2
4L2
El trmino 3rs2 '=4L2 introduce una aperiodicidad en 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
3rs2
4L2
entonces
''
n2N
= 2 n;
1+
3rs2
4L2
(6.36)
(6.37)
2 n
y por lo tanto perihelios sucesivos ocurren a intervalos de

'=2
1+
3rs2
4L2
(6.38)
y as el corrimiento del perihelio por revolucin para la rbita de Mercurio es

3rs2
4L2
= 42;89=siglo
' = 2
El valor medido para Mercurio es de 42;6
6.2.
(6.39)
1;0=siglo.
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
dx dx
g
dq = 0
(6.40)
dq dq
As como se procedi en la seccin anterior para obtener las trayectorias de partculas, se puede restringir, sin prdida de generalidad, el
6.2. DESVIACIN DE LA LUZ POR EL SOL
131
movimiento de los rayos de luz al plano = =2. Entonces las ecuaciones para las coordenadas t y ' estn dadas por
~
r2 '_ = cte: = h
(6.41)
rs _
~
t = cte: = L
(6.42)
r
La ecuacin para la coordenada r se obtiene a partir de la condicin
ds = 0 vlida para geodsicas nulas, as:
1
rs
r
~2
c2 L
rs
r
r_ 2
~2
h
=0
r2
(6.43)
Eliminando el parmetro q, y haciendo el cambio u (') = 1=r ('),

la ecuacin anterior se transforma en
~2
c2 L
~ 2 u2
h
~ 2 u2 (1
h
rs u) = 0
(6.44)
y diferenciando esta ecuacin con respecto a ', se tiene

u u+u
3rs 2
u
2
=0
(6.45)
Descartando la solucin u = cte: se obtiene nalmente

u+u=
3rs 2
u
2
(6.46)
Puesto que se est interesado en la trayectoria de rayos de luz en

el campo del sol, y en particular para rayos de luz que pasan cerca de
la supercie solar, el trmino 3rs u=2 es pequeo
3rs
u ' 10
2
(6.47)

y por lo tanto se puede considerar el trmino 3rs u2 =2 como una perturbacin; as, la solucin a la ecuacin no perturbada
u+u=0
(6.48)
u(0) = A cos (' + )
(6.49)
est dada por

con A y constantes de integracin. Esta solucin representa una
lnea recta (no hay desviacin) y si se escoge el origen de los ejes en
el centro del sol, se considera un rayo proveniente de y ! 1, y se
dene como xm n = r0 el punto de mximo acercamiento (que coincide
con el parmetro de impacto), entonces la solucin no perturbada se
puede escribir en la forma
1
cos '
r0
r cos ' = r0
u(0) =
()
(6.50)
La solucin a primer orden en teora de perturbaciones de la ecuacin 6.46 se puede escribir como
u = u(0) +
3rs
v
2
(6.51)
donde v satisface la ecuacin

2
u(0)
()
1
v+v =
(1 + cos 2')
2r0
v+v =
(6.52)
cuya solucin es
v=
2
3r02
1
cos2 '
3r02
(6.53)
133
y por lo tanto la solucin hasta trminos de orden rs toma la forma

u=
1
cos '
r0
rs
rs
2
cos
'
+
2r02
r02
(6.54)
El efecto de la perturbacin es producir una desviacin global de la

trayectoria. El punto de mximo acercamiento est dado para ' = 0,
entonces
r0
rm n =
1 + 2rrs0
rs
(6.55)
' r0
2
Las asntotas de la trayectoria corresponden a los valores de ' para
los cuales r ! 1 o u ! 0; as,
1
cos '1
r0
rs
rs
cos2 '1 + 2 = 0
2
2r0
r0
2r0
cos2 '1
2 = 0
rs
entonces
cos '1
"
r0
=
1
rs
2r2
1 + 2s
r0
=)
(6.56)
(6.57)
Para que el cos '1 1 se toma el signo negativo y se expande el

radical hasta trminos de primer orden; entonces
cos '1
r0
'
1
rs
rs
=
r0
rs2
r02
(6.58)
Por lo tanto el ngulo de deexin total est dado por

=
2rs
4Gm
= 2
r0
c r0
(6.59)

Para el caso de un rayo de luz que pasa muy cerca del sol, se obtiene
para la desviacin total (tomando r0 el radio del sol)
= 1; 75"
(6.60)
La primera observacin directa de este efecto la realiz Eddington

en 1919 aprovechando el eclipse total de sol.
Para las primeras observaciones de este efecto se utilizaban placas
fotogrcas de estrellas cercanas, comparando dos imgenes tomadas
con seis meses de diferencia. El error observacional debido a esta tcnica era apreciable, con un rango de valores entre 1; 5" y 3". En la
actualidad, utilizando tcnicas interferomtricas (long-base-line) se alcanzan precisiones del orden de las milsimas de segundo de arco.
Es importante anotar que la prediccin de la desviacin de la luz
por un cuerpo masivo como el sol ya se haba planteado en el contexto
de la gravedad newtoniana. En efecto, en el modelo newtoniano corpuscular de la luz se espera que, al igual que cualquier objeto masivo,
sea afectado por un campo gravitacional. Dada la equivalencia entre
masa inercial y gravitacional, todos los cuerpos, independientemente
de su masa, son desviados de la misma forma por la gravedad. Mitchell
en 1800 calcul que un rayo de luz que pase cerca de la supercie solar
desviaba su trayectoria un ngulo dado por
=
2Gm
c 2 r0
(6.61)
Einstein en 1911 repiti este clculo con gravedad euclideana, teniendo en cuenta la equivalencia masa-energa para las ondas electromagnticas, y obtuvo el mismo resultado que Mitchell. Ntese que la
prediccin clsica (newtoniana) es la mitad de la prediccin en relatividad general, lo cual es un hecho muy signicativo, pues determina un
efecto que no es tn slo una pequea correccin a los clculos clsicos
(como es el caso que se ver para rbitas planetarias) y maniesta en
forma explcita los efectos de curvatura del espacio.
135
La primera observacin realizada por Eddington en 1919, debido

al error observacional tan grande (rango entre 1; 5" y 3"), no se podra considerar una prueba contundente de la relatividad general de
Einstein, en el sentido de probar la prediccin de 1; 75". Sin embargo,
esta observacin de 1919 es considerada una de las pruebas clsicas de
la relatividad general. Esta situacin se puede entender en el sentido
que la expedicin de 1919 liderada por Eddington tena como objetivo
primordial determinar si exista o no el fenmeno de desviacin de la
luz por un campo gravitacional, y teniendo en cuenta que la prediccin
newtoniana es la mitad que la propuesta por Einstein, el experimento
s poda decidir sobre estas dos posibilidades.
La desviacin de la luz por un cuerpo masivo, y en particular el
resultado obtenido por Einstein del ngulo de desviacin de la luz por
un cuerpo esfricamente simtrico
E
4Gm
c 2 r0
llamado ngulo de Einstein, es el punto de partida para estudiar lentes

gravitacionales, un campo de aplicacin de la relatividad general que
ha cobrado recientemente una gran importancia para la astronoma
observacional.
Parte III
Aplicaciones astrofsicas
137
Captulo 7
Colapso gravitacional
En el captulo anterior, en la seccin sobre caractersticas de la
solucin de Schwarzschild, se vi que la aparente singunlaridad que
presenta la mtrica para r = rs no se consideraba signicativa, pues
esto implicaba densidades de materia extremadamente altas que no se
esperaba que se presentaran en el universo, como lo estableci Schwarzschild.
En este captulo se presentarn algunos resultados sobre el comportamiento de la mtrica en el interior de una distribucin esfrica de
materia y se analizarn sus consecuencias. En particular, se ver que
en relatividad general se predice que bajo ciertas condiciones (densidad crtica) el colapso es inevitable. Se estudiarn las propiedades ms
signicativas de los agujeros negros y se expondran los resultados ms
importantes sobre el comportamiento de una partcula de prueba en
el campo de un agujero negro.
139
140
7.1.
CAPTULO 7. COLAPSO GRAVITACIONAL
El tensor momentum-energa
Consideremos en primer lugar el modelo ms simple de uido (campo de materia) constituido por partculas no interactuantes y sobre las
cuales no acta fuerza externa y trabajemos inicialmente en el contexto de la teora especial de la relatividad. Describir fsicamente el uido,
signica conocer la trayectoria en funcin del tiempo de un elemento
de masa de este uido medida por algn observador inercial. En estas
condiciones, para una descripcin covariante del uido, ste se puede
describir por una funcin densidad de energa propia 0 (x) y un campo vectorial de cuadrivelocidad U (x). 0 (x) signica la densidad que
mide un observador inercial que se mueve con el uido, es decir,
0 (x)
= c2 dm0 =dV0
(7.1)
donde dm0 es la masa propia contenida en el elemento de volumen propio dV0 situado en el punto de coordenadas (x1 ; x2 ; x3 ) en el instante
t, i.e.
x = (ct; x1 ; x2 ; x3 ) = (x0 ; x1 ; x2 ; x3 )
(7.2)
y
U (x) =
dx
dx
=c
d
ds
(7.3)
U U = c2
es la cuadrivelocidad de este elemento de masa, donde
ds2 = dx0
dx1
dx2
dx3
(7.4)
El tensor simtrico de momentum-energa que describe el uido

est dado por
1
(7.5)
T = 2 0 (x)U (x)U (x)
c
7.1. EL TENSOR MOMENTUM-ENERGA
141
Para ver la interpretacin fsica del tensor momentum-energa se

considerar en primer lugar la componente
T 00 =
1
c2
0 0
0U U =
dx0 dx0
0
ds ds
(7.6)
Teniendo en cuenta la ecuacin 7.4,

dx0
dt
= c =c
ds
ds
= c c2
ds
dt
1=2
~u2
= (~u)
(7.7)
entonces
T 00 =
2
0
donde
(~u) = q
(~u)
(7.8)
(7.9)
~
u2
c2
es el factor gamma de Lorentz de la velocidad del uido ~u en el punto

x. Esta cantidad se interpreta como la densidad de energa relativista
del uido en el punto x, pues 0 c2 es la densidad de energa propia
y un factor surge por el aumento de la masa con la velocidad y el
segundo factor por la contraccin del volumen.
Para interpretar fsicamente las otras componentes considrese primero los trminos
1
c2
1
= 2
c
T 0i =
0U
Ui
dx0 dxi
ds ds
dxi dt
(~u)
dt ds
ui
2
(~u)
c
2
0c
(7.10)
142
donde ui es la componente i esima de la velocidad del uido. De

manera similar las otras componentes del tensor estn dadas por
T ij =
=
Por lo tanto, el tensor
ractuante toma la forma
0
1
B
ux =c
T = 0 2B
@ uy =c
uz =c
1
c2
0U
2u
Uj
i j
u
c2
(7.11)
momentum-energa para el uido no inte1

ux =c
uy =c
uz =c
u2x =c2 ux uy =c2 ux uz =c2 C
C
uy ux =c2 u2y =c2 uy uyz =c2 A
uz ux =c2 uz uy =c2
u2z =c2
(7.12)
La interpretacin fsica del tensor momentum-energa se basa en

la ecuacin de conservacin
@T
@x
por
=0
(7.13)
Considrese primero la componente 0 de esta ecuacin (denotemos

= 0 c2 2 ):
0 = T0
;
00
@T
@T 01
@T 02
@T 03
+
+
+
@x0
@x1
@x2
@x3
1 @
~ ( ~u)
=
+r
c @t
=
(7.14)
entonces esta ecuacin representa la conservacin de la masa-energa y

corresponde a la ecuacin de continuidad de la hidrodinmica clsica.
7.1. EL TENSOR MOMENTUM-ENERGA
143
Para ver el signicado de las otras tres componentes de la ecuacin

7.13 se escribe la componente i, i = 1; 2; 3 en forma explcita (con la
notacin u1 = ux etc.):
Ti
@T i0
@T i1
@T i2
@T i3
+
+
+
@x0
@x1
@x2
@x3
1 @ ( u i ) @ ( ux u i ) @ ( uy ui ) @ ( uz ui )
= 2
+
+
+
c
@t
@x
@y
@z
i
i
i
i
@ (u )
@ (u )
@ (u )
@ (u )
+ ux
+ uy
+ uz
= 2
+
c
@t
@x
@y
@z
ui @
@ ( ux ) @ ( uy ) @ ( uz )
+
+
+
(7.15)
2
c @t
@x
@y
@z
=
el segundo trmino de la ltima igualdad es cero debido a la ecuacin

de continuidad, as esta ecuacin se puede escribir en la forma
Ti
c2
@ (ui )
~ i
+ ~u ru
@t
(7.16)
Esta ecuacin tambin es usual en la hidrodinmica y representa

el movimiento de un campo de materia libre de fuerzas, y por tanto
corresponde a la conservacin del momentum. El operador
@
D
~
$
+ ~u r
Dt
@t
(7.17)
se llama derivada de Euler. As la ecuacin T i ; = 0 se puede escribir

como
Dui
@ (ui )
~ i = 0; i = 1; 2; 3
=
+ ~u ru
(7.18)
Dt
@t
Esta ecuacin, llamada ecuacin de Euler, es una consecuencia del
principio de conservacin del momentum. Por lo tanto, la ecuacin
7.13 representa las leyes de conservacin de energa y momentum.
144
Consideremos ahora la descripcin de un uido perfecto sobre el

cual actan fuerzas internas descritas por la presin. Un uido perfecto se dene como aquel para el cual un observador que se mueve
con la velocidad v del uido en un punto ve el uido isotrpico. Esta denicin supone que el camino libre medio entre colisiones de las
partculas que componen el uido es pequeo en comparacin con la
escala de longitud utilizada por el observador. As un uido perfecto queda descrito por la funcin densidad propia 0 (x), el campo de
cuadrivelocidades U y el campo escalar de presin propia p0 (x).
Para encontrar la forma general del tensor momentum-energa, considrese un observador con respecto al cual un elemento de volumen
del uido situado en un punto x del espacio-tiempo est en reposo.
Entonces, por hiptesis de uido perfecto (isotrpico) en el sistema de
referencia propio, el tensor toma la forma
2
6 0
T0 = 6
4 0
0
3
0 0 0
p0 0 0 7
7
0 p0 0 5
0 0 p0
(7.19)
donde el subndice cero se reere al sistema de referencia propio.

Transformando el sistema de referencia del laboratorio con respecto al cual el uido en el punto x se est moviendo con velocidad ~u,
tenemos
T =
(~u)
(~u) T0
(7.20)
donde los coecientes de la transformacin de Lorentz estn dados por
2
6
6
=6
4
x
y
z
x
2
1 + ux (u2 1)
ux uy ( 1)
u2
ux uz ( 1)
u2
y
ux uy ( 1)
u2
u2y ( 1)
1 + u2
uy uz ( 1)
u2
z
ux uz ( 1)
u2
uy uz ( 1)
u2
u2z ( 1)
1 + u2
3
7
7
7
5
(7.21)
7.2. MOVIMIENTO GEODSICO
145
con
= (~u) y i = ui =c. Entonces las componentes del tensor
momentum-energa son
T
1
c2
0U
U + p0
1
U U
c2
(7.22)
donde U es la cuadrivelocidad del uido en el punto x, y satisface la

ecuacin de conservacin
T
=0
(7.23)
@x
La generalizacin del tensor momentum-energa al espacio-tiempo
curvo es inmediata:
T
0U
1
U U
c2
U + p0
(7.24)
con la ecuacin de conservacin local

T
=0
(7.25)
En el captulo sobre cosmologa se trabajar el uido perfecto como

un modelo para describir la materia del universo.
7.2.
Movimiento geodsico
Como postulados bsicos de la relatividad general estn las ecuaciones de campo de Einstein, las cuales determinan la mtrica a partir del tensor momentum-energa de la materia, y el postulado del
movimiento geodsico de una partcula de prueba libre de fuerzas, i.e.,
de una partcula en cada libre.
En esta seccin se ver cmo las ecuaciones de campo de Einstein
contienen el movimiento geodsico de las partculas de materia, las
cuales determinan a su vez el tensor mtrico. Esta situacin era de
146
esperarse teniendo en cuenta el carcter no lineal de las ecuaciones

de campo. Es decir, si se considera una distribucin de materia y se
estudia el movimiento de una partcula de prueba (que forma parte
de la distribucin de materia), entonces la partcula de prueba debe
seguir una geodsica de la variedad, la cual est determinada por el
tensor mtrico (el campo gravitacional); as se espera que las ecuaciones de campo determinen el movimiento de las partculas, que a su
vez determinan el campo.
El carcter no lineal de las ecuaciones de campo signica que no
es vlido el principio de superposicin, el cual est en la base de la
gravedad newtoniana. Esto signica que si a un sistema dado, i.e. una
distribucin de materia, que produce un campo gravitacional, se le
adiciona una partcula, entonces el nuevo campo gravitacional no es la
superposicin del campo gravitacional de la distribucin ms el campo
producido por la partcula.
En este punto es importante anotar que cuando se resolvi el problema del campo producido por una distribucin esfrica de materia
(mtrica de Schwarzschild) y se estudi el movimiento de partculas
de prueba, trayectorias de planetas y desviacin de un rayo de luz,
se asumi la aproximacin que estas partculas (el planeta o el fotn)
no afectaban apreciablemente el campo de la distribucin esfrica de
materia.
Para simplicar, consideremos un gas de partculas puntuales no
interactuantes (a parte de su propia interaccin gravitacional) descrito
por el tensor momentum-energa 7.5:
T
1
c2
0 (x)U
(x)U (x)
(7.26)
entonces las ecuaciones de campo de Einstein

G
8 G
T
c4
(7.27)
7.2. MOVIMIENTO GEODSICO
147
garantizan que se cumpla la ecuacin

T
(7.28)
=0
Para ver las consecuencias de esta ecuacin sobre el movimiento de

las partculas que conforman el uido, se escribe de manera explcita
la ecuacin 7.28 para el tensor 7.26:
( 0 U ); U +
0U
(7.29)
=0
Teniendo en cuenta que la cuadrivelocidad satisface la relacin

U U
= g U U
dx dx
g
=
d d
dx dx
= c2
g
ds ds
= c2
(7.30)
entonces tomando la derivada covariante de esta ecuacin y contrayendo con el cuadrivector U , tenemos
0 = (U U ); U
=
g U U
= g U U ; +g U
= 2U ; U U
(7.31)
multiplicando la ecuacin 7.29 por U tenemos

( 0 U ); U U + 0 U U ; U
( 0 U ); U U
=
=
( 0 U ); c2 = 0
(7.32)
148
es decir, la cantidad 0 U , la cual se interpreta como la conservacin de

la densidad de momentum, implica que en la ecuacin 7.29 el segundo
trmino debe ser nulo
U U ; =0
(7.33)
Escribiendo esta ecuacin en forma explcita tenemos que
U
(7.34)
=0
Dado que el cuadrivector U representa la cuadrivelocidad de una

partcula del gas, entonces
U =
dx
dx
=c
d
ds
(7.35)
por tanto, la ecuacin 7.34 se puede escribir en la forma

dx @
ds @x
dx
dx
dx
+
ds
ds
ds
2
dx
dx dx
+
ds2
ds ds
=
= 0
(7.36)
la cual corresponde a la ecuacin geodsica para las partculas del

uido, como se quera mostrar.
7.3.
Mtrica interior de una masa esfrica
Considrese ahora la solucin de las ecuaciones de campo de Einstein para el interior de una distribucin esfrica de materia, donde se
asume que la materia est descrita por el tensor
T
1
p
U U + 2 (U U
2
c
c
g )
(7.37)
7.3. MTRICA INTERIOR DE UNA MASA ESFRICA
149
con
= (r) y
(7.38)
p = p(r)
y la ecuacin de estado
(7.39)
f ( ; p) = 0
Dada la simetra esfrica del problema se puede mostrar (en forma

similar al caso de la mtrica de Schwarzschild) que las componentes
del tensor mtrico para el interior de la distribucin deben tener la
forma general
g = g00 c2 dt2 grr dr2 r2 d 2
(7.40)
en coordenadas espaciales esfricas, y ahora las funciones g00 y grr se
determinan a partir de las ecuaciones de campo de Einstein.
Como se est asumiendo que la materia est descrita por un tensor
momentum-energa para un uido perfecto (ecuacin 7.37) y la distribucin es esttica, entonces en las coordenadas elegidas las partculas del uido estn en reposo y por lo tanto las componentes del
cuadrivector velocidad son
U = (U 0 ; 0; 0; 0)
(7.41)
As, sobre la lnea de universo de cada partcula del uido la relacin

entre el tiempo propio y la coordenada temporal est dada por
ds2 = g00 dx0
= g00 c2 dt2
(7.42)
y como
c2 = U 2 = g U U = g00 U 0
(7.43)
entonces las componentes covariantes de la cuadrivelocidad toman la

forma
U = g U
=)
p
U0 = g0 U = g00 U 0 = c g00
Ui = 0 i = 1; 2; 3
(7.44)
150
Con estas relaciones las componentes

mentum-energa estn dadas por
p
T
= U U + 2 (U U
g )
0 c
1
g00 0 0 0
B
1
0 0 0 0 C
C p
= 2 B
@
0 0 0 0 A c2
c
0 0 0 0
covariantes del tensor mo-
1
0 0
0
0
B 0 g11 0
0 C
B
C
@ 0 0 g22 0 A(7.45)
0 0
0 g33
Teniendo en cuenta la ecuacin 7.40 para el tensor mtrico, se tiene

1
0 1
g
0
0
0
00
2
c
p
C
B 0
g
0
0
c2 rr
C
B
(7.46)
T =@
p 2
A
r
0
0
0
2
c
p 2
0
0
0
r sin2
c2
el cual describe un uido perfecto en reposo. Para obtener las funciones

desconocidas g00 y grr se utilizan las ecuaciones de campo de Einstein
1
g R=
2
8 G
T
c4
(7.47)
las cuales se pueden escribir en forma equivalente como (problema)

R
8 G
c4
1
g T
2
(7.48)
donde
T =T
es la traza del tensor momentum-energa, la cual se obtiene fcilmente
a partir de la ecuacin 7.46:
T = g T
=
c2
3p
c2
(7.49)
151
Entonces los trminos no nulos del lado derecho de las ecuaciones

de campo 7.48 son ( = 8 G=c4 )
T00
1
g00 T
2
1
g00
2
3p
+ 2
c
3p
c2
p
1
grr + grr
2
c
2
p
1
grr
=
2
c2
3p
c2
g00
1
g00
2
T11
1
g11 T
2
T22
T33
1
g22 T
2
1
g33 T
2
(7.50)
(7.51)
p 2 1 2
r + r
c2
2
p
1 2
r
=
2
c2
3p
c2
(7.52)
p 2 2
1
r sin + r2 sin2
2
c
2
1 2 2
p
r sin
=
2
c2
3p
c2
(7.53)
Las componentes del tensor de Riemann no nulas ya fueron obtenidas cuando se trabaj la mtrica de Schwarzschild
R00 =
eh g
2
1 2 1
h + hg
2
2
1
1
R11 = h + h2
2
4
1
hg
4
2
h
r
1
g
r
(7.54)
(7.55)
152

g
R22 = e
1+
rh
2
rg
2
(7.56)
R33 = R22 sin2
(7.57)
donde se utilizan las deniciones

g00 = eh(r)
grr = eg(r) :
(7.58)
(7.59)
Entonces las ecuaciones de campo de Einstein toman la forma

e
h2 hg
+
4
4
h
2
1
1
h + h2
2
4
g
h
1
+
r2 2r
h
r
1
hg
4
g
r
g
2r
1
=
r2
2
2
3p
2c2
p
2c2
p
2c2
(7.60)
(7.61)
(7.62)
donde la ltima ecuacin para la componente R33 no contribuye pues

es proporcional a la ecuacin para R22 .
Para resolver este sistema de ecuaciones acopladas, se suma en
primer lugar las ecuaciones 7.60 y 7.61 para obtener
e
h
r
g
r
p
c2
(7.63)
y sumando y restando esta ecuacin con la ecuacin 7.62, para despejar

y p respectivamente, se tiene
e
1
r2
1
r2
e
g
r
1
h
+
2
r
r
1
=
r2
=
(7.64)
p
c2
(7.65)
153
La tercera ecuacin diferencial se obtiene restando las ecuaciones

7.61 y 7.62,
e
1
1
h + h2
2
4
1
hg
4
g+h
2r
1
r2
1
=0
r2
(7.66)
la cual es independiente de la densidad y la presin.

Este sistema de tres ecuaciones acopladas ms la ecuacin de estado
determinan la mtrica en trminos de las propiedades de la materia
que se quiera modelar a travs de la funcin (r) y constituyen de
esta forma el punto de partida para estudiar diferentes modelos de
estructura estelar.
Teniendo en cuenta que la mtrica para el exterior de una distribucin esfrica de materia est dada por la mtrica de Schwarzschild, por
continuidad de la mtrica denamos la funcin m(r) por
e
=1
2Gm(r)
c2 r
(7.67)
Para interpretar el signicado de esta funcin calculemos su derivada:

c2 d
r 1 e g
2G dr
c2
1 e g + rg e g
=
2G
c2
=
e g (1 rg ) + 1
2G
g
1
1
4 r2
=
e g
2
r
r
r2
m(r) =
donde
(7.68)
8 G=c2 . Comparando esta ecuacin con 7.64 tenemos que

m(r)
=
4 r2
(7.69)
154
entonces, integrando esta ecuacin, con la condicin m(0) = 0 para

quitar la singularidad en r = 0, obtenemos
Z r
Z m
4 r2 (r)dr
(7.70)
dm =
m(r) =
0
Aun cuando esta expresin corresponde en gravedad newtoniana

a la masa contenida en una esfera de radio r, esta cantidad, llamada
masa geomtrica, no corresponde a la masa propia contenida en el
volumen esfrico de radio r pues el elemento de volumen propio est
dado por
p
dV =
j 3 gjd3 x
1=2 2
= grr
r sin drd d'
(7.71)
donde j 3 gj es el determinante del tensor mtrico espacial, y por lo
tanto la masa propia contenida en el radio r est dada por
Z 2 Z Z r
(r)dV
mp (r) =
0
= 4
0
r
(r)r
2Gm(r)
c2 r
1=2
dr
(7.72)
Notemos que la masa propia siempre es mayor que la masa geomtrica,

y su diferencia
EL = mp c2 mc2
(7.73)
se puede interpretar como la energa de ligadura gravitacional.
Si se integra hasta la supercie de la distribucin de materia de
radio R se puede identicar m(R) con la masa total de cuerpo y se
obtiene la solucin de Schwarzschild. De esta forma se obtiene una
solucin continua en todo el espacio.
Como se vi, para encontrar una solucin explcita para la mtrica
se requiere conocer la ecuacin de estado de la materia; sin embargo,
155
con la funcin de masa geomtrica encontrada se puede obtener una

ecuacin para la derivada de la presin, en trminos de , p, m y r,
la cual permitir llegar a resultados generales muy importantes en
estructura estelar.
Despejando h de la ecuacin 7.65 y tomando en cuenta 7.67 se llega
a la ecuacin
=
=
=
p
c2
1
r2
h = reg
2Gm(r)
c2 r
1
r
1
1 8 Gpr
+
r
c4
1
r
2Gm(r)
c2 r 2
2Gm(r)
1
c2 r
3
2Gm(r)
+ 8 Gpr
c2
c4
r r 2Gm(r)
c2
8 Gpr
c4
(7.74)
Para relacionar la derivada de la presin con h, derivemos la ecuacin 7.65 respecto a r:

p
=
c2
2
+e
r3
hg
2
h
+ 3+ 2
r
r
r
g
r2
h
r
(7.75)
utilizando la ecuacin 7.66 para eliminar h, tenemos

p
=
c2
=
2
+e
r3
g+
2
h
+ 2
3
r
r
1 g
e h (g + h)
2r
gh
r
(7.76)
Comparando esta ecuacin con 7.63 se obtiene

p
1
=
2
c
2
p
h
c2
(7.77)
156
Si se despeja p de esta ecuacin y se remplaza h dado por la

ecuacin 7.74, se obtiene nalmente
p=
Gm(r)
c2
4 Gpr3
c4
r r
p
c2
c2
2Gm(r)
c2
(7.78)
que es la ecuacin de equilibrio hidrosttico de Tolman-OppenheimerVolko (TOV).

Para ver el signicado fsico de la ecuacin de TOV, veamos que
sta corresponde a la generalizacin relativista de la ecuacin de equilibrio hidrosttico de Newton para una distribucin uniforme de materia.
Considrese una distribucin uniforme de materia en equilibrio en
el contexto de la gravedad newtoniana. Sea dm la masa de un elemento
de volumen dV = dAdr (como se muestra en la gura) situado a una
distancia r del centro. Las fuerzas que actan sobre este elemento de
masa son: su peso
Gm(r)dm
r^
(7.79)
dF~ =
r2
donde m(r) es la masa de la distribucin contenida en un volumen de
radio r, y las fuerzas de presin
p(r + dr)dA^
r
sobre la cara superior de rea dA y
+p(r)dA^
r
sobre la cara inferior. Entonces, la condicin de equilibrio signica
Gm(r)dm
r^
r2
p(r + dr)dA^
r + p(r)dA^
r=0
(7.80)
157
y teniendo en cuenta que

dm = dV
se obtiene
Gm(r)
(7.81)
r2
que representa la ecuacin newtoniana de equilibrio hidrosttico.
Si se considera el lmite no relativista de la ecuacin de TOV,
es decir para v << c, entonces se obtiene la ecuacin de equilibrio
newtoniana.
En resumen, para encontrar la mtrica en el interior de una distribucin esfricamente simtrica de materia y su conguracin de
equilibrio, donde el valor para la densidad central c y presin central
pc se jan arbitrariamente, se siguen estos pasos:
p(r) =
1. Se debe conocer la ecuacin de estado

(7.82)
p = p( )
2. A partir de esta funcin se integran las ecuaciones para la masa

geomtrica
Z m
Z r
m(r) =
dm =
4 r2 (r)dr
(7.83)
0
y para el gradiente de presin

p=
Gm(r)
c2
4 Gpr3
c4
r r
2Gm(r)
c2
p
c2
c2
(7.84)
desde r = 0 hasta la supercie de la estrella donde (R) =

p(R) = 0.
158
3. Finalmente, se resuelve la ecuacin para h(r):
h=
2Gm(r)
c2
r r
8 Gpr3
c4
2Gm(r)
c2
(7.85)
sujeta a la condicin de frontera que para r = R la mtrica interna se debe reducir a la mtrica externa dada por Schwarzschild.
An cuando la conguracin de equilibrio newtoniana es un caso
lmite de la relativista (ecuacin de TOV), surge una diferencia fundamental, en el sentido que la ecuacin newtoniana permite siempre una
conguracin de equilibrio para cualquier valor de la densidad y del
radio de la distribucin, mientras que la ecuacin relativista impone
un lmite mximo, a partir del cual no es posible una conguracin de
equilibrio, i.e. para un radio dado existe una masa dada, a partir de
la cual el colapso es inevitable.
Para ver cmo surge esta situacin, considrese un ejemplo donde
la densidad es uniforme:
=
r R
r>R
(7.86)
y por lo tanto integrando 7.83 se obtiene

m(r) =
4 3
r
3
(7.87)
el cual es un resultado vlido tanto para el caso relativista como para

el newtoniano.
Con este resultado se integra primero la ecuacin de equilibrio

hidrosttico newtoniana 7.81
Z p(r)
dp(r) =
159
Gm(r)
dr
r2
R
r
r2
4
G 20
3
2 R
2
G 20 R2 r2
(7.88)
3
por lo tanto, la presin central en el caso newtoniano para una estrella
de densidad uniforme est dada por
2
G 20 R2
(7.89)
pc = p(0) =
3
Esta presin tambin se puede expresar en trminos de la masa
total M y la densidad, o la masa total y el radio de la estrella:
=
1=3
pc =
GM 2=3
4=3
0
(7.90)
3 M2
G 4
(7.91)
pc =
8
R
Ntese que la presin central siempre es nita para todos los valores
de densidad, masa y/o radio.
La ecuacin relativista de equilibrio se puede integrar en forma
exacta, obteniendo
q
q
8 G 0 2
8 G 0 2
1
R
1
r
3c2
3c2
2
q
(7.92)
p = 0c q
1 8 3cG2 0 r2 3 1 8 3cG2 0 R2
Remplazando la densidad en trminos de la masa total y el radio

de la estrella, se tiene
q
q
1 2GM
1 2GM
r2
2
c R
c2 R 3
2
q
(7.93)
p = 0c q
2GM
2
1 2GM
r
3
1
c2 R 3
c2 R
160
Por lo tanto, la presin en el centro de la distribucin, requerida

para el equilibrio, est dada por
q
1 8 3cG2 0 R2 1
2
q
pc = 0 c
(7.94)
1 3 1 8 3cG2 0 R2
en trminos de la densidad, y por

q
pc =
0c
2GM
c2 R
q
3 1
1
(7.95)
2GM
c2 R
en trminos de la masa total. Ntese que la ecuacin 7.94 se reduce,

para bajas velocidades, a
pc '
'
2
0c
2 G
3
4 G 0 2
R
3c2
4 G 0 2
+ c2 R
2 2
0R
lo cual corresponde al lmite newtoniano. Sin embargo, la presin

central relativista, a diferencia de la newtoniana, diverge para (ver
ecuacin 7.95)
r
2GM
3 1
=1
(7.96)
c2 R
esto signica que si un objeto de masa dada colapsa hasta alcanzar un
radio de
9GM
R=
(7.97)
4c2
entonces se requerira una presin innita para mantener el equilibrio,
es decir el colapso sera inevitable, o equivalentemente un objeto de
161
esta masa y radio no puede existir. Este resultado relativista de la

existencia de una cota superior para la masa se debe al modelo simplicado de un objeto con densidad uniforme, que por cierto est lejos
de ser un modelo realista de un objeto celeste tpico. De hecho, para
un objeto como una estrella, en cualquiera de sus etapas de evolucin,
se espera que la densidad aumente hacia su interior. En trminos ms
generales: si se considera una distribucin esfrica de masa monotnicamente decreciente d =dr
0 entonces se debe tener que
0,
pues al llegar a la supercie del cuerpo la solucin debe coincidir con
Schwarzschild para la cual = 0. Inversamente, si se supone que se
tiene un uido con
0 descrito por una ecuacin de estado p = p( )
con p 0 y dp=d
0, entonces la ecuacin 7.84 implica dp=dr 0
y por lo tanto d =dr
0. Se puede mostrar que bajo la suposicin
general de una distribucin esfrica de masa no negativa
0 y por
tanto montona decreciente de r, existen dos tipos de lmites superiores para la masa de una estrella en relatividad general: el primero,
para una estrella de radio R dado, la mxima masa posible es
Mmax =
4Rc2
9G
(7.98)
y el segundo, dada una ecuacin de estado razonable para densidades

por debajo de alguna densidad dada 0 existe un lmite superior de la
masa cuando la densidad alcanza valores superiores a 0 independiente
de la ecuacin de estado. Es importante anotar en este punto que,
clsicamente, para cada ecuacin de estado hay un lmite superior de
la masa para la cual la presin central no puede mantener el equilibrio
y el colapso es inevitable, pero lo que establece la relatividad general es
que aparece un lmite superior de la masa independiente de la ecuacin
de estado, lo cual indica un colapso inevitable independientemente
de las condiciones fsicas de la materia, i.e. de la ecuacin de estado
asumida.
Para nalizar esta seccin veamos algunos resultados cualitativos
162
del colapso estelar. Para esto consideremos primero una distribucin de

materia fra, esto es, los efectos de la presin de radiacin sern despreciados. Es conocido el comportamiento de la materia para densidades
por debajo de la densidad de la materia nuclear ( 1014 grcm 3 ). Para
esta situacin la contribucin dominante a la presin proviene de la
presin de degeneracin electrnica. Para una densidad ne de electrones baja
ne
m3e c3 =~3 1031 cm 3
(7.99)
la presin de degeneracin est dada por
2=3
~2 (3 2 )
p=
5me
n5=3
e
(7.100)
mientras que para densidades mayores a 1031 cm 3 la presin toma la

forma
1=3
~c (3 2 )
n4=3
(7.101)
p=
e
4
Esta presin del gas de electrones es la que en ltimas determina
las conguraciones de equilibrio de las estrellas hasta un cierto lmite
de masa, calculado por primera vez por Chandrasekhar en 1939, y
dado por la relacin
Mc ' 1;4
2
N
Ms
(7.102)
donde N es el nmero de nucleones por electrn y Ms 2 1033 gr

la masa solar.
En la gura 7.2 se muestra un grco cualitativo del comportamiento de las posibles conguraciones de una estrella, con la masa en
unidades de la masa solar en funcin del radio de la estrella. La parte
de la curva entre los puntos 1 y 2 representa las conguraciones de
equilibrio soportadas por la presin del gas de electrones y corresponden a las estrellas conocidas como enanas blancas. A partir del punto
163
2, que representa el lmite de Chandrasekhar para enanas blancas, si

la densidad sigue aumentando se entra en una situacin donde no se
puede alcanzar una conguracin de equilibrio, es decir, la presin del
gas de electrones ya no es suciente para mantener el equilibrio y la
masa comienza a colapsar. En esta situacin se inicia una reaccin de
conversin de electrones y protones en neutrones p + e
! n+ e
donde e son neutrinos. Cuando la densidad de la materia se acerca a
la densidad nuclear, se alcanza el punto 3 de la curva, a partir del cual
se entra en una regin de conguraciones de equilibrio, donde ahora
es la presin del gas degenerado de neutrones la que mantiene el equilibrio. Esta es la regin de las estrellas neutrnicas. El punto 4 de la
curva representa la mxima masa a partir de la cual el equilibrio se
pierde y el colapso es inevitable. Este valor mximo tiene una mayor
incertidumbre debido a que la ecuacin de estado para la materia no
se conoce. Sin embargo, se ha calculado un lmite superior del orden
de 5Ms .
El anlisis anterior se realiz para materia fra. En la realidad la
componente fundamental para la presin proviene de la radiacin debido a las reacciones nucleares que tienen lugar al interior de las estrellas y por tanto los lmites superiores de masas son mayores. Pero
debido a que esta radiacin escapa de las estrellas, stas se van enfriando y los clculos anteriores para materia fra se aplican. Por ejemplo, si
la masa de la estrella es inferior al lmite de Chandrasekhar, la estrella
se enfriara lentamente hasta apagarse, llegando a una conguracin
nal de enana blanca. Pero si la masa es superior a este lmite, comenzara un proceso muy lento de colapso, mientras la estrella radia, y
luego entrara en la etapa de una estrella neutrnica. En este proceso,
debido a la fusin nuclear del hidrgeno en helio y luego en ncleos ms
pesados, se forma una corteza de nquel y hierro, la cual es mantenida
en equilibrio por la presin del gas de neutrones.
En esta fase del colapso, de la corteza de nquel y hierro, es probable
que se produzca una onda de choque que se propaga desde el interior
164
de la estrella, expulsando la materia exterior a la corteza y dando lugar

a un evento de supernova.
Captulo 8
Agujeros negros
Como vimos en el captulo anterior, el colapso gravitacional de
estrellas cuya masa supera el lmite de Chandrasekhar es inevitable,
pues, independientemente de la ecuacin de estado que rige para la
materia, no es posible alcanzar una conguracin de equilibrio. En
este punto surgen dos preguntas fundamentales: cul es el estado
nal de un objeto que colapsa? y cmo se describe la mtrica del
campo gravitacional de este objeto?
Teniendo en cuenta el teorema de Birkho (visto en el captulo
5), sabemos que la nica solucin para el exterior de una distribucin
esfrica de materia est dada por la mtrica de Schwarzschild. Esto
signica que el campo gravitacional en el exterior de un objeto bajo
colapso esfricamente simtrico est dado por la mtrica de Schwarzschild, lo cual respondera a la segunda pregunta. Por tanto, dedicaremos la primera seccin a complementar el estudio de las propiedades
de esta mtrica. Los resultados de esta seccin nos darn, de paso, una
respuesta a la primera pregunta: el resultado nal de una estrella que
colapsa es un estado de densidad innita y radio cero, denominada
una singularidad o agujero negro, que deja como nico parmetro observable la masa total. Evidentemente esta respuesta, ms que resolver
165
166
CAPTULO 8. AGUJEROS NEGROS
la pregunta, plantea nuevos interrogantes, los cuales han dado lugar a

nuevos campos de investigacin, tanto en el mbito matmtico (estructura matemtica del espacio-tiempo y teora de singularidades)
como en la construccin de una teora cuntica de la gravedad y el papel fundamental de los agujeros negros en la astronoma y astrofsica
observacional.
8.1.
Agujero negro de Schwarzschild
En el captulo 4 encontramos la solucin de las ecuaciones de campo

de Einstein para el exterior de una distribucin esfrica de materia,
dada por la mtrica se Schwarzschild:
g=
2Gm
c2 r
dx0
2Gm
c2 r
dr2
r2 d
(8.1)
La mtrica presenta dos comportamientos singulares: el primero

para el radio
2Gm
(8.2)
r rs = 2
c
llamado el radio de Schwarzschild y el segundo para r = 0. Esto
quiere decir que los coecientes del tensor mtrico divergen o se anulan. Adems, cuando la coordenada radial r toma valores entre 0 y
rs , los signos de los coecientes mtricos g00 y grr cambian y por lo
tanto la coordenada radial r pasa ahora a tomar el carcter de una
coordenada temporal y la coordenada t toma el carcter de una coordenada espacial. Este comportamiento de la mtrica y su signicado
debe ser cuidadosamente analizado, pues la interpretacin fsica debe
ser independiente de las coordenadas.
Un primer resultado importante que podemos obtener es el clculo
de las componentes del tensor de Riemann, evaluadas en el radio de
8.1. AGUJERO NEGRO DE SCHWARZSCHILD
167
1
1
Schwarzschild rs . Por ejemplo, las componentes R212
= R313
estn
dadas por:
1
1
R212
= R313
1
=
r
2Gm
c2 r
d
dr
2Gm
c2 r
ln 1
1
r3
(8.3)
las cuales son nitas para r ! rs = 2Gm=c2 , pero divergen para

r ! 0. Antes de continuar con el comportamiento de la mtrica para
coordenadas radiales menores que el radio de Schwarzschild, consideremos la trayectoria de una partcula que cae radialmente desde un
punto con r0 > rs . Del intervalo espacio-tiempo para la mtrica de
Schwarzschild, una partcula en movimiento radial, d 2 = 0, y por lo
tanto
2
ds = c d
2Gm
c2 r
dx
0 2
2Gm
c2 r
dr2
(8.4)
La ecuacin para la geodsica radial est dada por la ecuacin 6.12

con L2 = 0, entonces
rs
r
r_ 2 + 1
= E2
(8.5)
Consideremos una partcula de prueba que se deja caer libremente

desde un punto r = R; entonces, de la ecuacin anterior tenemos que
la constante E est dada por
1
rs
R
= E2
(8.6)
y por lo tanto la ecuacin de movimiento radial toma la forma

r_ =
rs
r
rs
R
1=2
(8.7)
168
Teniendo en cuenta que

r_ =
dr
dr
=
ds
cd
(8.8)
podemos integrar la ecuacin 8.7 en forma paramtrica

r=
=
1
c
R
(1 + cos )
2
R3
4rs
(8.9)
1=2
( + sin )
(8.10)
con la condicin inicial r( = 0) = R y ( = 0) = 0. Cuando la

partcula alcanza el origen r = 0, entonces = y el tiempo propio
es nito
1=2
R3
(8.11)
=
2c rs
es decir, para un reloj que viaja con la partcula, sta cae en un tiempo
nito. Calculemos ahora el tiempo coordenado, el cual corresponde al
tiempo medido por un observador situado en la regin asinttica (i.e.
lejos de la masa). Para este n, consideremos la ecuacin 6.9 para la
coordenada radial:
rs _
t=E
(8.12)
1
r
entonces
dr dt
dr
E
r_ =
=
(8.13)
dt ds
dt 1 rrs
Para integrar esta ecuacin es conveniente denir una nueva coordenada radial
r
r = r + rs ln
1
(8.14)
rs
pues
dr
dr
rs 1 dr
1 dr
=
+ r
=
(8.15)
dt
dt
1 rs dt
1 rrs dt
rs
8.1. AGUJERO NEGRO DE SCHWARZSCHILD
169
entonces la ecuacin 8.13 toma la forma

r_ = E
dr
dt
(8.16)
Remplazando esta ecuacin en 8.5 tenemos

E
dr
dt
+ 1
rs
r
= E2
(8.17)
Aun cuando esta ecuacin no se puede integrar en forma cerrada,

podemos encontrar el comportamiento del radio en funcin de la coordenada temporal cuando r ! rs . En este lmite la ecuacin anterior
se aproxima a
dr
' 1
(8.18)
dt
Se ha tomado el signo menos dado que la partcula est en cada.
Integrando esta ecuacin, y remplazando r por su denicin, tenemos
r = r + rs ln
r
rs
Kt
(8.19)
donde K es una constante de integracin. Entonces en la aproximacin

que estamos considerando obtenemos
~
r ' rs + Ke
t=rs
(8.20)
lo cual implica que la partcula requiere un tiempo innito para llegar

a r = rs para un observador asinttico. En la gura ?? se muestra
la comparacin entre el tiempo de cada medido por un observador
asinttico (tiempo coordenado) y el tiempo medido por un observador
que cae con la partcula (tiempo propio).
170
8.2.
Coordenadas de Kruskal
Como vimos en la seccin anterior, a pesar del comportamiento

singular de la mtrica de Schwarzschild, en el punto r = rs el tensor
de Riemann es nito, lo que implica que este comportamiento singular
se debe a las coordenadas y no es una caracterstica intrnseca de
la mtrica. Adems, si escribimos la ecuacin geodsica nula radial
ds = 0, i.e., la ecuacin que describe un rayo de luz que incide o sale
radialmente, en coordenadas de Schwarzschild, tenemos que
dr
=
dt
c 1
2Gm
c2 r
(8.21)
lo cual implica que la velocidad coordenada radial del fotn, para el

observador asinttico tiende a cero, cuando r ! rs . Adicionalmente,
para 0 < r < rs la mtrica es de nuevo regular, pero el signo de las
coordenadas radial y temporal cambia, es decir, r se comporta ahora
como una coordenada temporal y t como una coordenada espacial;
la mtrica pierde as su carcter esttico. Para abolir este comportamiento anmalo de las coordenadas y para extender la solucin de
las ecuaciones de campo de Einstein en el vaco con simetra esfrica
ms all de r = rs , en 1960 Kruskal busc una transformacin de coordenadas de tal manera que la mtrica exhibiera un comportamiento
regular en el radio de Schwarzschild. Para este n se propone encontrar una transformacin de coordenadas (t; r) ! (u; v), manteniendo
las coordenadas angulares, de tal manera que la mtrica tome la forma
ds2 = f 2 (u; v)(dv 2
du2 )
r2 (d
+ sin2 d'2 )
(8.22)
donde la funcin f (u; v) no se anule para r = rs . Notemos que en estas

coordenadas la mtrica es conforme a la mtrica de Minkowski y la
ecuacin geodsica para fotones radiales (conos de luz radiales) toma
la forma
du
= 1
(8.23)
dv
8.2. COORDENADAS DE KRUSKAL
171
Para encontrar la funcin f y las ecuaciones de transformacin de

las coordenadas, escribamos en forma explcita la ecuacin de transformacin para las componentes del tensor mtrico:
g
@ x~ @ x~
g~
@x @x
(8.24)
donde x son las coordenadas de Schwarzschild, x~ las coordenadas de

Kruskal que estamos buscando, g las componentes del tensor mtrico
en coordenadas de Schwarzschild y g~ en coordenadas de Kruskal.
Remplazando en la ecuacin 8.24 las componentes del tensor mtrico,
obtenemos el siguiente sistema de ecuaciones diferenciales
"
#
2
2
@v
@u
rs
= f2
(8.25)
1
r
@x0
@x0
1
rs
r
= f2
"
@v
@r
@u
@r
@v @v
@u @u
0
@x @r @x0 @r
Deniendo una nueva coordenada radial, como en 8.14,
0=
r = r + rs ln
y la funcin
1
r
rs
(8.26)
(8.27)
(8.28)
rs
r
(8.29)
f2
donde se ha asumido que la funcin f slo depende de r. Entonces las
ecuaciones 8.25, 8.26 y 8.27 toman la forma
F (r ) =
F (r ) =
@v
@x0
@u
@x0
(8.30)
172

F (r ) =
@v
@r
@u
@r
(8.31)
@u @u
@v @v
=
(8.32)
0
@x @r
@x0 @r
Sumando las dos primeras ecuaciones y sumando y restando dos
veces la tercera obtenemos
@v
@v
+
@x0 @r
@v
@x0
@v
@r
@u
@u
+
@x0 @r
@u
@x0
@u
@r
(8.33)
(8.34)
Tomando la raz de la primera ecuacin con signo relativo positivo

y la raz de la segunda ecuacin con signo negativo (si se toma el
mismo signo relativo en las races de las dos ecuaciones el jacobiano de
transformacin podra anularse) y sumando y restando las ecuaciones
resultantes, tenemos que
@u
@v
=
(8.35)
0
@x
@r
@v
@u
=
(8.36)
@r
@x0
y derivando llegamos al sistema de ecuaciones
@2u
@x02
@2u
=0
@r 2
(8.37)
@2v
@2v
=0
@x02 @r 2
cuya solucin general (DAlembert) es de la forma
u = h(r + x0 )
g(r
x0 )
(8.38)
(8.39)
173
v = h(r + x0 ) + g(r
x0 )
(8.40)
Remplazando estas soluciones en el sistema de ecuaciones 8.30,

8.31 y 8.32, la tercera ecuacin se satisface idnticamente, mientras
que las dos primeras ecuaciones conducen a la ecuacin
4h(r + x0 )g (r
x0 ) = F (r )
(8.41)
Para resolver esta ecuacin, diferenciemos con respecto a x0 y r

para obtener las siguientes ecuaciones diferenciales
F (r )
h(r + x0 ) g (r
=
+
F (r )
h(r + x0 ) g (r
0=
h(r + x0 )
h(r + x0 )
g (r
g (r
x0 )
x0 )
x0 )
x0 )
(8.42)
(8.43)
donde la prima representa derivada con respecto al argumento de la

funcin. Remplazando la ecuacin 8.43 en 8.42 tenemos que
[ln F (r )] = 2 ln h(r + x0 )
(8.44)
si tratamos r y r +x0 = y como variables independientes, entonces la

ecuacin anterior implica que los dos lados de la ecuacin son iguales
a una constante:
[ln F (r )] = 2
ln h(r + x0 ) =
(8.45)
(8.46)
integrando estas ecuaciones y eligiendo la constante de integracin

adecuada, la soluciones se pueden escribir en la forma
F (r ) =
h(r + x0 ) =
2 2 r
1
e
2
(r +x0 )
(8.47)
(8.48)
174
y remplazando esta ltima ecuacin en 8.43 tenemos que

1
e
2
x0 ) =
g(r
x0 )
(r
(8.49)
donde se ha tomado el signo de g y h diferente para mantener la funcin

F > 0 (ver ecuacin 8.41). Con estos resultados las coordenadas u y
v toman la forma
u = h(r + x0 ) g(r
x0 )
1 (r +x0 ) 1 (r x0 )
e
+ e
=
2
2
= e r cosh( x0 )
r
= e r+rs lnj rs 1j cosh( x0 )
rs
r
r
cosh( x0 )
= e
1
rs
(8.50)
de forma similar
v = h(r + x0 ) + g(r
x0 )
rs
r
= er
1
sinh( x0 )
rs
(8.51)
y la funcin f est dada por

F (r ) =
rs
r
(8.52)
f2
entonces
f
=
=
rs
r
2 e2 r
rs
e
2r
2 r
r
rs
1 2rs
(8.53)
175
Finalmente se escoge la constante de integracin de tal manera que

la funcin f 2 sea diferente de cero para r = rs , as se requiere que
1
(8.54)
2rs = 0
Con esta escogencia tenemos que la transformacin de coordenadas

est dada por
1=2
ct
r
er=2rs cosh( )
u=
1
(8.55)
rs
2rs
v=
r
rs
1=2
er=2rs sinh(
ct
)
2rs
(8.56)
y la funcin f
f2 =
4rs3
e
r
r=rs
(8.57)
Por lo tanto, la mtrica de Schwarzschild en coordenadas de Kruskal

(v; u),
ds2 = f 2 (u; v)(dv 2
du2 )
r2 (u; v)(d
+ sin2 d'2 )
(8.58)
es nita para r ! rs , donde r es una funcin implcita de u y v. Para

entender el signicado de estas nuevas coordenadas consideremos un
grco espacio-tiempo en el plano (v; u).
A partir de las ecuaciones 8.55 y 8.56 podemos despejar las coordenadas r y x0 = ct:
u2
v2 =
r
rs
v
= tanh
u
1 er=rs
ct
2rs
(8.59)
(8.60)
176
En primer lugar, en las coordenadas de Schwarzschild se debe

cumplir que r > rs , lo cual equivale a la regin I en la gura ??,
es decir
u2 v 2 > 0 () u > jvj
(8.61)
y los puntos r = const: corresponden a hiprbolas en esta regin,
mientras que la coordenada t = cont: corresponde a rectas que pasan
por el origen. Esto signica que la regin I, que est limitada por las
rectas u = v con u > 0, corresponde a la regin r > rs y 1 < t <
1 en coordenadas de Schwarzschild, pues la recta u = v representa
t = 1 y la recta u = v representa t = +1. Las hiprbolas en esta
regin tienen como asntotas a las rectas u = jvj y cuando r ! rs
entonces la hiprbola degenera en el punto u = v = 0. Sin embargo,
la regin (en coordenadas de Kruskal) para la cual la mtrica 8.58 es
no singular corresponde a todos los valores de las coordenadas tales
que la funcin f 2 sea nita y no nula, lo cual sucede para r 6= 0. Es
decir, la regin para la cual las coordenadas de Kruskal es regular est
delimitada por la curva r = 0 o equivalentemente (ver ecuacin 8.59)
v2
u2 = 1
(8.62)
Notemos adems que la coordenada r est unvocamente denida

como una funcin de (u; v) si v 2 u2 < 1, pues la funcin
r
rs
1 er=rs
(8.63)
es montona para r > 0.

En la derivacin de las coordenadas de Kruskal se escogi (arbitrariamente) el signo de h positivo y as g negativo. Si se escoge el
signo al contrario obtenemos la transformacin (u; v) ! ( u; v). Es
decir las regiones I y III en la gura son isomtricas.
Un clculo directo muestra que la solucin de Schwarzschild para
0 < r < rs tambin es solucin de las ecuaciones de Einstein en el
177
vaco, pero ahora la coordenada r se comporta como una coordenada

temporal mientras que t se comporta como una coordenada espacial.
Adems, la solucin para esta regin se puede transformar isomtricamente en la regin II de la gura ??. Para ver esto consideremos de
nuevo la deduccin de la mtrica de Kruskal. Dado que 0 < r < rs
entonces F (r ) < 0 y por lo tanto los signos de h y g deben ser iguales.
Si se escogen los signos positivos, obtenemos
u=
r
rs
1=2
er=2rs sinh(
t
)
2rs
(8.64)
1=2
t
r
er=2rs cosh( )
(8.65)
rs
2rs
con esta transformacin la mtrica de Kruskal y la funcin f son las
mismas. As bajo esta transformacin la imagen de la regin 0 < r < rs
es la regin II en la gura. La transformacin inversa est dada por
v=
v2
u2 =
r
rs
er=rs
(8.66)
ct
u
= tanh
(8.67)
v
2rs
Si se escogen los signos de las funciones g y h negativos, entonces es
equivalente a la transformacin (u; v) ! ( u; v), lo que implica que
las regiones II y IV son isomtricas. Sobre la hiprbola v 2 u2 = 1
la mtrica es singular, pues all el tensor de Riemann diverge. Las
cuatro regiones de la gura, I, II, III y IV, constituyen la variedad
de Schwarzschild-Kruskal. Finalizaremos esta seccin enunciando (sin
demostracin) el teorema de Birkho generalizado:
Teorema 8-1 Toda solucin de clase C 2 de las ecuaciones de Einstein en el vaco la cual es esfricamente simtrica en un subconjunto
abierto U es localmente isomtrica a una porcin de la variedad de
Schwarzschild-Kruskal
178
Parte IV
Aplicaciones cosmolgicas
179
Captulo 9
Cosmologa
La hiptesis fundamental sobre la cual se basa el modelo estndar
de la cosmologa es el principio cosmolgico, el cual establece que a
gran escala el universo es homogneo e isotrpico. Esto signica que el
universo observado es el mismo para cualquier observador, sin importar el punto desde el cual se est observando o la direccin, es decir,
a gran escala la distribucin de materia en el universo (la densidad
de galaxias y su movimiento) es independiente de la direccin y el
lugar desde el cual se observe. La hiptesis cosmolgica se basa en la
observacin de la distribucin de galaxias y la radiacin csmica de
fondo.
Las ecuaciones de campo de Einstein permiten describir la geometra del espacio-tiempo, determinada por la distribucin de materia
en el universo. La forma ms sencilla para describir la distribucin
de materia en el universo que satisface el principio cosmolgico es el
modelo del uido perfecto, en el cual las galaxias son las partculas
que conforman el uido csmico. Al igual que en la dinmica de uidos, donde la materia est constituida por partculas, se asume que
las escalas de observacin son lo sucientemente grandes para que el
elemento de volumen contenga un nmero suciente de partculas y
181
182
CAPTULO 9. COSMOLOGA
el uido, visto como una distribucin continua de materia, sea una

buena aproximacin para describir la dinmica de este sistema.
9.1.
Mtrica de Robertson-Walker
Antes de entrar a resolver las ecuaciones de Einstein para este modelo de universo, los argumentos de simetra establecidos por el principio cosmolgico nos permiten avanzar en la forma general de la mtrica, independientemente de la forma explcita del tensor momentumenerga que describa la materia en el universo.
Para encontrar la forma ms general de la mtrica que satisface
el principio cosmolgico, estableceremos las siguientes hiptesis, como
punto de partida:
H-1. Postulado de Weil: Las lneas de universo de las galaxias forman un haz de geodsicas f g que no se interceptan y ortogonales a
una familia de hipersupercies f g como de espacio.
H-2. A cada hipersupercie le corresponde una coordenada temporal x0 .
H-3. Cada hipersupercie es locamente isotrpica.
H-4. Todos los puntos sobre cada hipersupercie
son equivalentes.
Los postulados H-1 y H-2 corresponden a la escogencia de un sistema de coordenadas gaussiano: Sea una hipersupercie de la familia
f g de H-1 y sea n un vector unitario normal a , entonces se debe
satisfacer que
g(n; n) = g n n > 0
(9.1)
Sea x~i = (~
x1 ; x~2 ; x~3 ) las coordenadas de un punto p~ 2
y la
geodsica que pasa por este punto p~ 2 con vector tangente n. Sobre
la geodsica denamos las coordenadas (x0 ; x1 ; x2 ; x3 ) de un punto
9.1. MTRICA DE ROBERTSON-WALKER

p2
183
por:
x0 = longitud de arco p~p sobre
xi = x~i
(9.2)
(9.3)
as, las coordenadas espaciales (x1 ; x2 ; x3 ) permanecen constantes a lo

largo de cualquier geodsica normal a , y por lo tanto a lo largo
de una de tales geodsicas se debe cumplir que
ds2 = g00 dx0
(9.4)
Esto implica que siempre podemos reescalar la coordenada tempop

ral x0 ! g00 x0 de tal manera que
ds2 = dx0
(9.5)
y por lo tanto la coordenada temporal x0 corresponde al tiempo propio

medido por un observador en reposo en una galaxia. Por esta razn,
todos los observadores sobre la misma hipersupercie
registran el
0
mismo tiempo x , lo cual justica el nombre de "tiempo csmico".
La ortogonalidad de la geodsica a la hipersupercie signica
que en estas coordenadas se debe tener que
g01 = g02 = g03 = 0
(9.6)
y por lo tanto el elemento de arco toma la forma

ds2 = dx0
+ gij dxi dxj
(9.7)
sta es la razn por la cual las coordenadas elegidas se llaman comviles, pues a lo largo de cada una de las lneas de universo de las
galaxias, geodsicas , las coordenadas espaciales xi de las galaxias no
cambian, es decir, las galaxias permanecen en reposo respecto a estas
coordenadas.
184
El postulado H-3 (isotropa local) implica que siempre es posible

escoger coordenadas de tal manera que reejen la simetra esfrica, es
decir, el elemento de lnea espacial debe ser de la forma
d
= dx2 + dy 2 + dz 2
= dr2 + r2 d 2
(9.8)
Por lo tanto, el intervalo espacio-tiempo en estas coordenadas debe

ser de la forma
0
2
ds2 = dx0
eG(x ;r) d 2
(9.9)
donde la funcin G no depende de las coordenadas angulares y ' por
la hiptesis de isotropa local y al escribir el elemento de arco de esta
forma se est garantizando que la signatura de la mtrica se mantiene
invariable en toda la variedad.
El postulado H-4 exige que dos observadores cualesquiera en puntos
diferentes sobre una hipersupercie observen una fsica similar, es
decir, lo nico que puede diferir para los dos observadores es la escala
de medida. Esto signica que la razn de las distancias propias entre
dos puntos del espacio, con coordenadas (r1 ; 1 ; '1 ) y (r2 ; 2 ; '2 ), debe
permanecer ja en el tiempo, esto es, debe ser independiente de x0 ,
as:
0
eG(x ;r1 )
= F (r1 ; r2 ); independiente de x0
(9.10)
eG(x0 ;r2 )
lo cual implica que la funcin G(x0 ; r) debe ser de la forma
G(x0 ; r) = g(x0 ) + h(r)
(9.11)
con g y h funciones arbitrarias. Entonces la forma ms general de la

mtrica que satisface los postulados H-1 al H-4, es decir el principio
cosmolgico, est dada por
ds2 = dx0
eg(x ) eh(r) d
(9.12)
185
Consideremos ahora las ecuaciones de campo de Einstein. Para

este n calculemos primero los smbolos de Christoel a partir de la
ecuacin de las geodsicas y las ecuaciones de Euler-Lagrange (se deja
como ejercicio). Denotando por una prima las derivadas de una funcin
respecto a su argumento, los smbolos de Christoel no nulos son los
siguientes:
0
11
1
= g eg+h ;
2
1
01
1
22
r2
1
= g r2 eg+h ;
2
0
22
2
02
3
03
1
1
h+
2
r
0
33
1
= g;
2
1
33
1
11
r2
1
= g r2 eg+h sin2
2
1
= h
2
1
1
h+
2
r
sin2
1
1
2
3
sin cos ;
cot
= h+ ;
33 =
23 =
2
r
A partir de estos smbolos, las componentes no nulas del tensor de
Ricci estn dadas por (ejercicio):
2
12
3
13
3
3
R00 = g + g 2
2
4
1
R11 = h + h
r
R22 = r2
eg+h
1
31
1
h + h2 +
h
2
4
2r
(9.13)
1
3
g + g2
2
4
eg+h
1
3
g + g2
2
4
R33 = sin2 R22
(9.14)
(9.15)
(9.16)
adems, las componentes contravariantes del tensor mtrico son

g
= diagonal 1; eg+h ;
1 g+h
e ;
r2
1
eg+h
r2 sin2
(9.17)
186
A partir de las ecuaciones anteriores, el escalar curvatura toma la

forma
1
2
2eg+h h + h2 + h
R = 3 g + g2
(9.18)
4
r
Por lo tanto las ecuaciones de campo de Einstein, en componentes
mixtas, con constante cosmolgica
1
Rg
2
+ g
8 G
T
c2
(9.19)
conducen al siguiente sistema de ecuaciones acopladas

e
g h
h+
g h
g h
h2 2h
+
4
r
3g 2
+
4
h2 h
+
4
r
h
h
+
2 2r
3g 2
+
4
3g 2
+
4
8 G 0
T
c2
=
=
(9.20)
8 G 1
T
c2
(9.21)
8 G 2
T
c2
8 G 3
T
c2
(9.22)
8 G
T ;
6=
(9.23)
c2
La forma del tensor momentum-energa tambin debe manifestar la
simetra exigida por el principio cosmolgico. As, por isotropa local,
las componentes espaciales del tensor momentum-energa T ij ,bajo una
transformacin ortogonal de las coordenadas espaciales, no cambian y
por lo tanto todos sus valores propios deben ser iguales. Esto signica
que las componentes T ij deben ser un mltiplo de la matriz unidad:
0=
T ji = A
i
j
(9.24)
187
donde A es un escalar que slo depende de x0 y r. Puesto que ij = gji ,

esta ecuacin es tensorial y por lo tanto es vlida en todos los sistemas
de coordenadas; as, se debe cumplir la condicin
T 11 = T 22 = T 33
(9.25)
entonces, de las ecuaciones 9.21 y 9.22 la funcin h debe satisfacer la

siguiente condicin:
h2 h
h
h
+
=
+
4
r
2 2r
1 2 1
h
h = 0
2
r
,
(9.26)
Esta ecuacin admite una primera integral

h = areh=2
(9.27)
donde a es una constante de integracin. Esta ecuacin admite la solucin general

b2
(9.28)
eh =
2
1 ab
r2
4
con b otra constante de integracin. Si denimos
jabj =
1
r02
(9.29)
entonces la ecuacin 9.28 la podemos escribir en la forma

1= (a2 r02 )
eh = h
i2
2
1 + k4 rr2
(9.30)
donde k = 0; +1; 1 dependiendo si ab = 0, ab < 0 o ab > 0 respectivamente. Adems, dado que la constante b2 se puede absorber en la
188
funcin eg , entonces la mtrica se simplica tomando la forma general

2
ds = dx
0 2
eg(x
1+
0)
k r2
4 r02
i2 d
(9.31)
La constante k determina, como veremos, un espacio plano (k = 0),

esfrico (k > 0) o hiperblico (k < 0).
Si utilizamos la expresin obtenida para la funcin h(r) para calcular el parntesis del lado izquierdo de las ecuaciones 9.21 y 9.22,
obtenemos
h2 h
a
e h
+
(9.32)
= = const:
4
r
b
entonces, teniendo en cuenta la ecuacin 9.25 el sistema de ecuaciones
9.21 y 9.22 se reducen
a
e
b
3g 2
+
4
8 G 1
T =
c2 1
8 G 2
T =
c2 2
8 G 3
T
c2 3
(9.33)
Dado que el lado izquierdo de estas ecuaciones no depende explcitamente de r, esto demuestra la homogeneidad del triespacio.
Antes de continuar con las ecuaciones de campo de Einstein, las
cuales sern el tema central del prximo captulo, reescribamos el elemento de lnea, ecuacin 9.31,
2
ds = c dt
g dr
+ r2 d 2 + r2 sin2 d'2
i2
h
2
1 + k4 rr2
(9.34)
en la forma estndar utilizada comnmente. Para este n realizaremos

las siguientes transformaciones de coordenadas; en primer lugar, con
el n de simplicar las expresiones escribamos el elemento de lnea en
la forma
ds2 = c2 dt2 eg F (r)dr2 + r2 F (r)d 2
(9.35)

donde
189
k r2
F (r) = 1 +
= 1
4 r02
Denamos una nueva coordenada x por
r2
x2 = r2 F (r)
(9.36)
(9.37)
diferenciando esta expresin tenemos

2xdx = (r2 F + 2rF )dr
(9.38)
despejando dr y remplazando en la expresin F (r)dr2 obtenemos

4x2 F
dx2
2
2
(r F + 2rF )
1
=
dx2
rF 2
1 + 2F
F (r)dr2 =
(9.39)
De la denicin 9.36 para la funcin F tenemos que

F =
4 r
(1
r2 )3
(9.40)
entonces
F
= 4 rF 1=2
F
remplazando este resultado en la ecuacin 9.39 se obtiene
F (r)dr2 =
1
(1 + 2
2 dx
r2 F 1=2 )
(9.41)
(9.42)
para simplicar esta ecuacin consideremos primero el denominador y

remplacemos la funcin F , entonces:
2 r2
1
r2
1 + r2
=
1
r2
1 + 2 r2 F 1=2 = 1 +
(9.43)
190
despejando la coordenada r de la ecuacin 9.37

p
1 + 1 + 4 x2
r=
(9.44)
2 x
donde se ha tomado el signo positivo de la ecuacin cuadrtica dado
que r 0. Remplazando este resultado en la ecuacin 9.43 tenemos
p
1 + r2
1 + 4 x2
1 + 4 x2
p
=
(9.45)
1
r2
1 + 1 + 4 x2
y racionalizando esta expresin obtenemos
1 + r2 p
= 1 + 4 x2
1
r2
(9.46)
remplazando esta expresin en la ecuacin 9.42

F (r)dr2 =
1
dx2
1 + 4 x2
(9.47)
as, el elemento de lnea 9.35 toma la forma

ds2 = c2 dt2
= c2 dt2
eg
dx2
+ x2 d
1 + 4 x2
eg
dx2
2
2 + x d
1 k xr2
0
denamos nalmente la transformacin

x
x!r=
r0
(9.48)
(9.49)
donde la nueva coordenada r es adimensional y no corresponde a la

coordenada radial inicialmente utilizada. Con esta ltima denicin
obtenemos la mtrica de Robertson-Walker (R-W)
ds2 = c2 dt2
R2 (t)
dr2
+ r2 d
1 kr2
(9.50)
191
donde se ha absorbido una constante r0 en la funcin eg y se ha remplazado la funcin resultante por la funcin R2 (t), llamado el factor
de escala, por las razones que se vern ms adelante.
9.1.1.
Geometra espacial de la mtrica de R-W
La parte espacial de la mtrica de Robertson-Walker (ecuacin

9.50) admite una interpretacin geomtrica sencilla. Veamos inicialmente el caso k = 1, y consideremos la longitud de la curva con r = cte:
(crculo) en el plano ' = cte: Entonces
Z
Z
p
C=2
g d =2
rRd = 2 rR
(9.51)
0
y el rea de la 2-esfera r = cte: est dada por

A=
d'r2 R2 sin = 4 r2 R2
(9.52)
sin embargo, la distancia fsica radial (el radio fsico del crculo y la
2-esfera) desde el origen de coordenadas a un punto de coordenada r
es
Z
Z r
dr
p
rf =
ds = R(t)
1 r2
t; ;'=cte:
0
= R arcsin r 6= rR
(9.53)
Este resultado ilustra la interpretacin fsica de la funcin R como
un factor de escala. Para sustentar ms claramente la interpretacin
geomtrica de la mtrica de Robertson-Walker, escribamos el elemento
de arco ds en la forma
ds2 = dx0
hij dxi dxj
(9.54)
192
donde hij son las componentes espaciales del tensor mtrico. Las componentes del tensor de Riemann, de Ricci y el escalar curvatura para la
parte espacial (3-variedad espacial), las cuales denotaremos por 3 Rijkl ,
3
Rij y 3 R respectivamente, estn dadas por:
3
Rijkl =
3
k
(hik hjl
R2
Rij =
hil hkj )
2k
hij
R2
(9.55)
(9.56)
6k
(9.57)
R2
Notemos que para k = 0 se anulan y por lo tanto tenemos un
3-espacio euclideano (tensor de Riemann globalmente nulo). Por completez, escribamos las componentes del tensor de Ricci y del escalar
curvatura para la mtrica de Robertson-Walker (incluyendo los smbolos de Christoel no nulos):
3
i
jk
@hlj @hlk
+
@xk
@xj
1
= hil
2
0
ij
R=
R_
hij
R
R00 =
R_
R
R
R
R
R_ 2
2k
+2 2 + 2
R
R
R
Rij =
R=
i
0j
@hjk
@xl
i
j
(9.58)
(9.59)
(9.60)
R_ 2
R
k
+ 2+ 2
R R
R
gij
(9.61)
(9.62)
193
notemos que en este caso si k = 0 el tensor de Ricci y el escalar

curvatura no se anulan, pues en general el factor de escala es una
funcin de la coordenada tempotal R = R(t).
Consideremos ahora el caso simplicado de un espacio bidimensional homogneo e isotrpico e ilustremos el caso de un espacio esfrico
S 2 (k = 1). Para el espacio plano R2 (k = 0) y un espacio hiperblico
H 2 (k = 1) se puede seguir un procedimiento similar.
Una 2-esfera de radio R se puede visualizar en R3 como una inmersin de la supercie curva bidimensional en el espacio euclideano
de coordenadas (x1 ; x2 ; x3 ) por la ecuacin:
x1
+ x2
+ x3
= R2
(9.63)
con el elemento de lnea euclideano dado por

d~`2 = dx1
+ dx2
+ dx3
(9.64)
Si eliminamos la coordenada x3 de la ecuacin 9.63, el elemento

de lnea toma la forma
2
d~`2 = dx1
+ dx2
(x1 dx1 + x2 dx2 )

R2 (x1 )2 (x2 )2
(9.65)
Denamos las nuevas coordenadas r~ y ~ en trminos de x1 y x2 por

x1 = r~ cos ~
(9.66)
x2 = r~ sin ~
(9.67)
Geomtricamente r~ y ~ corresponden a coordenadas polares en el

2
plano x3 = cte ((x3 ) = R2 r~2 ), como se muestra en la gura ??. En
estas coordenadas el elemento de lnea se puede escribir en la forma:
r~2 d~
r2
R2 d~
r2
2
2
d~`2 = d~
r2 + r~2 d~ + 2
=
+ r~2 d~
2
2
2
R
r~
R
r~
(9.68)
194
Si denimos la coordenada adimensional

r=
con 0
r~
R
(9.69)
1, el elemento de lnea toma la forma nal

d~`2 = R2
dr2
2 ~2
+
r
d
1 r2
(9.70)
que es similar a la mtrica de Robertson-Walker para k = 1.

Otra manera de enunciar el elemento de lnea consiste en expresar
las coordenadas de un punto sobre la 2-esfera en coordenadas esfricas
y ', para las cuales tenemos las siguientes relaciones:
x1 = R sin cos '
(9.71)
x2 = R sin sin '
(9.72)
x3 = R cos
(9.73)
entonces
d~`2 = R2 d
+ sin2 d'2
(9.74)
la cual muestra de manera maniesta que el 2-espacio es una esfera de

radio R.
El volumen de esta 2-esfera (rea de la esfera) se puede obtener a
partir de la integral
Z 2
Z
Z p
2
jhjd x =
d'
d R2 sin = 4 R2
(9.75)
V =
0
donde h es el determinante del tensor mtrico hij , como era de esperarse. La esfera S 2 es homognea e isotrpica y todos los puntos son
equivalentes. No hay fronteras y el espacio no es acotado, aun cuando
su volumen es nito. Si el radio R de la esfera vara, se expande o se
195
contrae, los puntos sobre la esfera no cambian sus coordenadas, lo cual

justica el nombre de coordenadas comviles. Adems, la distancia
fsica entre dos puntos se escala con R y es por esta razn que R se
llama factor de escala.
El espacio de curvatura global negativa (k = 1) no es posible representarlo por una inmersin en R3 , pero su representacin bidimensional se puede obtener a partir de la anterior para la esfera haciendo
el cambio de R ! iR, y el elemento de lnea se puede escribir como
d~`2 = R2
dr2
2
+ r2 d~
2
1+r
(9.76)
o en la forma
d~`2 = R2 d
+ sinh2 d'2
(9.77)
El espacio hiperblico es homogneo e isotrpico, no acotado y de

volumen innito. En el caso del espacio con curvatura espacial nula
(el plano k = 0), el factor de escala no representa un radio, como en
el caso de la 2-esfera, sino el factor en el cual se escalan las distancias
fsicas entre puntos comviles.
Para nalizar esta seccin, la mtrica de Robertson-Walker se puede
expresar en trminos del tiempo conforme, denido como
d =
dt
R(t)
(9.78)
entonces
ds2 = R2 ( ) d
dr2
1 kr2
r2 d
r2 sin2 d'2
(9.79)
lo cual muestra que la mtrica de Robertson-Walker es conforme a la

mtrica minkowskiana.
Una condicin necesaria y suciente para que una mtrica sea conforme a la mtrica de Minkowski es que el tensor curvatura de Weyl
196
se anule. El tensor de Weyl se dene como la parte sin traza del tensor
curvatura de Riemann, dado por
C
9.2.
=R
[
[
]
]
1
3
]
[
]R
(9.80)
Propiedades de la mtrica de R-W
La mtrica de Robertson-Walker se obtuvo a partir de consideraciones de simetra (principio cosmolgico) y est determinada salvo el
factor de escala R y la constante k que determina la geometra espacial.
Las formas precisas del factor de escala y de la constante k se
obtienen a partir de las ecuaciones de campo de Einstein, sobre la base
de un modelo para la distribucin de materia, i.e., el tensor energamomentum, lo cual ser el tema del siguiente captulo. Sin embargo,
independientemente del modelo adoptado para la materia, es posible
obtener varias propiedades fsicas a partir de la mtrica de RobertsonWalker. Esta seccin se dedica a estudiar algunas consecuencias de la
mtrica de Robertson-Walker.
9.2.1.
Horizonte de eventos
Un primer resultado importante que presenta la mtrica de Robertson-Walker lo constituye la pregunta sobre el contacto causal. Es
decir, sabemos que nuestro universo est en expansin, lo cual se reeja en la mtrica a travs del factor de escala y por lo tanto se plantea
la pregunta: para un observador como nosotros, qu parte del universo est en contacto causal con nosotros?, o en otros trminos: para
un observador comvil situado en las coordenadas (t; r0 ; 0 ; '0 ), para
cules valores de (r; ; ') una seal de luz emitida en este punto en
t = 0 alcanzara al observador en o antes del instante t?
9.2. PROPIEDADES DE LA MTRICA DE R-W
197
Para responder a esta pregunta consideremos una seal de luz que

sigue una trayectoria que satisface la ecuacin ds = 0. Dada la homogeneidad del espacio, sin prdida de generalidad y para simplicar los
clculos, tomemos r0 = 0, entonces las geodsicas de luz que pasan
por r0 = 0 son curvas de y ' constante, y por lo tanto d = d' = 0,
y adems la isotropa del espacio hace que la escogencia de 0 y '0
sea irrelevante. Con estas consideraciones un rayo de luz que parte del
punto (rH ; 0 ; '0 ) en el instante t = 0 sigue una geodsica tal que
ds2 = c2 dt2
R2 (t)
dr2
=0
1 kr2
y alcanza el punto r0 = 0 en el instante t dado por

8
Z t
Z rH
k=1
< arcsin rH
cdt
dr
p
arcsinh rH k = 1
=
=
1 kr2 :
0 R(t)
0
rH
k=0
(9.81)
(9.82)
La coordenada rH se llama radio del horizonte. La distancia propia

del origen r0 = 0 al radio del horizonte en el instante t est dada por:
Z rH
Z rH
p
dr
p
grr dr = R(t)
dH (t) =
(9.83)
1 kr2
0
0
la cual se puede escribir solamente en trminos del factor de escala,
utilizando la ecuacin 9.82,
Z t
cdt
(9.84)
dH (t) = R(t)
0 R(t)
Si la distancia al horizonte dH es nita, esto signica que nuestro
cono de luz pasado est limitado por un horizonte de partcula, una supercie bi-dimensional como de espacio, la cual constituye la frontera
entre el universo visible y la parte del universo (sea nito o innito) de
198
la cual la luz no ha llegado a nosotros. Si la distancia al horizonte dH

es innita, signica que todo el universo es observable y todos los puntos estn en contacto causal. El comportamiento del factor de escala
R(t) en las vecindades de t = 0 determina si la distancia al horizonte
es nita o no. En el modelo estndar de la cosmologa veremos que
dH (t) t y por lo tanto es nito.
9.2.2.
Movimiento propio de partculas en R-W
Consideremos ahora el comportamiento de una partcula en cada

libre en la mtrica de Robertson-Walker. Sea U las componentes de la
cuadrivelocidad de la partcula con respecto al sistema de coordenadas
comviles. Entonces, dado que la partcula est en cada libre su lnea
de universo sigue la ecuacin geodsica
dU
+
ds
dx
=0
ds
(9.85)
donde
dx
(9.86)
d
Las componentes de la cuadrivelocidad estn relacionadas con la velocidad de la partcula v i = dxi =dt a travs de la relacin
U =
U = (U 0 ; U i ) = (c (v); (v)v i )
donde
(jvj) = q
1
1
dU 0
1
+ 2
ds
c
(9.88)
jvj2 =c2
jvj2 = hij v i v j
Consideremos la componente
geodsico para la partcula
(9.87)
(9.89)
= 0 de la ecuacin de movimiento
U U =0
(9.90)
199
y utilizando la ecuacin 9.59 para las conexiones, la ecuacin anterior

toma la forma
dU 0
1 R_
+ 2 hij U i U j = 0
(9.91)
ds
c R
llamando jUj2 = hij U i U j , la ecuacin anterior se puede escribir
dU 0
1 R_
+ 2 jUj2 = 0
ds
c R
(9.92)
Puesto que
c2 = g U U = U 0
hij U i U j = U 0
jUj2
(9.93)
implica que
U 0 dU 0 = jUj d jUj
(9.94)
y por lo tanto la componente 0 de la ecuacin de movimiento geodsico

se transforma en la ecuacin
1 R_
1 d jUj
+
jUj = 0
U 0 ds
c2 R
(9.95)
teniendo en cuenta que ds = cd , entonces

U 0 = dx0 =d = c2 dt=ds
(9.96)
y esta ecuacin se puede escribir nalmente en la forma

1 d
jUj =
jUj dt
1 d
R
R dt
(9.97)
lo cual implica (integrando y llamando C la constante de integracin)

que
ln jUj + ln R = C =) jUj / R 1
(9.98)
200
Si expresamos esta ecuacin en trminos de la velocidad de la

partcula jUj = (v) jvj, entonces
(v) jvj / R
(9.99)
teniendo en cuenta que el cuadrimomentum fsico de una partcula est

dado por p = m0 U , la relacin anterior implica que la magnitud del
momentum de la partcula disminuye (se corre hacia el rojo) si el factor
de escala aumenta (expansin del universo):
jpj / R
(9.100)
Es decir, en un universo en expansin, si una partcula se est moviendo respecto a un observador comvil (tiene una velocidad peculiar),
entonces la partcula tiende al reposo a medida que el universo se
expande.
9.2.3.
Corrimiento al rojo
Consideremos ahora la luz emitida por un objeto que se propaga

en el espacio-tiempo denido por la mtrica de Robertson-Walker. Teniendo en cuenta la relacin entre momentum y frecuencia (o longitud
de onda) para un fotn
p = }k
(9.101)
con jkj = 2 = el nmero de onda, y notando que los resultados encontrados en la seccin anterior son independientes de la parametrizacin
utilizada en la ecuacin geodsica, entonces la ecuacin 9.100 implica
que considerando una partcula que en el instante t1 tiene momentum
p1 y en un tiempo posterior t0 tendr un momentum p0 , entonces los
momentos estn relacionados por la ecuacin:
jp1 j R(t1 ) = jp0 j R(t0 )
(9.102)
201
entonces de la ecuacin 9.101 tenemos que se cumple la relacin

1
0
R(t1 )
R(t0 )
(9.103)
La interpretacin fsica de esta ecuacin es inmediata: si en el instante t1 se emite un rayo de luz de longitud de onda 1 , entonces un
tiempo despus t0 la longitud de onda del rayo ha cambiado de acuerdo
con la relacin 9.103; si el universo se est expandiendo la longitud de
onda aumenta proporcionalmente al factor de escala (corrimiento al
rojo); si el universo se est contrayendo la longitud de onda disminuye
(corrimiento al azul).
Este mismo resultado se puede obtener, y es ilustrativo de la metodologa empleada, considerando la propagacin de la luz como un
fenmeno tpicamente ondulatorio. Supongamos que en el instante t1
se emite un frente de ondas desde el punto de coordenadas r1 y de
longitud de onda 1 , el cual es detectado en el origen r0 = 0 en el
instante t0 . Dado que el frente de ondas sigue una geodsica nula ds2 ,
entonces la coordenada radial y la temporal estn relacionadas por
Z r1
Z t0
dr
cdt
p
= f (r1 )
(9.104)
=
1 kr2
0
t1 R(t)
Consideremos un segundo frente de ondas emitido en r1 en un
instante posterior t1 + t1 y detectado en r = 0 en el instante t0 + t0 ,
entonces este frente tambin sigue una geodsica nula y por lo tanto
se debe cumplir que
Z t0 + t0
Z r1
cdt
dr
p
=
= f (r1 )
(9.105)
1 kr2
t1 + t1 R(t)
0
dado que el lado derecho de las ecuaciones 9.104 y 9.105 es igual e
independiente del tiempo, entonces tenemos que
Z t0
Z t0 + t0
cdt
cdt
=
(9.106)
t1 R(t)
t1 + t1 R(t)
202
aplicando las propiedades de la integral denida, la expresin anterior

toma la forma
Z t1 + t1
Z t0 + t0
cdt
cdt
=
(9.107)
R(t)
R(t)
t1
t0
Si el intervalo de tiempo t es sucientemente pequeo, entonces
la ecuacin anterior se puede integrar para obtener
t0
t1
=
R(t1 )
R(t0 )
(9.108)
Si t es el tiempo entre dos crestas sucesivas, entonces c t = es la

longitud de onda de la luz; as obtenemos de nuevo la relacin 9.103.
En astronoma se dene el factor de corrimiento z de un objeto en
trminos de la razn de la diferencia de las longitudes de onda recibida
y emitida con respecto a la longitud de onda emitida
z=
(9.109)
o en forma equivalente, la cual es de uso ms frecuente, como

1+z =
0
1
R(t0 )
R(t1 )
(9.110)
As, si el factor de escala est aumentando entonces z > 0 y se

llama corrimiento al rojo, en caso contrario, z < 0 es el factor de
corrimiento al azul.
Es importante aclarar que un objeto celeste, adems del factor de
corrimiento debido a la expansin del universo, puede tener tambin
un cambio en la frecuencia detectada debido a su velocidad peculiar
respecto al observador, conocido como efecto Doppler.
La expansin del universo fue sugerida por primera vez en 1929 por
Hubble, quien encontr una relacin entre el corrimiento al rojo que
presentaban varias galaxias y la distancia a la Tierra. Esta relacin,
203
conocida como ley de Hubble, se puede obtener a partir de la mtrica de Robertson-Walker, sin necesidad de resolver las ecuaciones de
campo de Einstein para algn modelo concreto. Antes de entrar en la
deduccin de la ley de Hubble, deniremos el concepto fundamental
de distancia el cual juega un papel muy importante en cosmologa y
su relacin con la astronoma a gran escala.
9.2.4.
El problema de distancias en cosmologa
En la ecuacin 9.83 denimos el concepto de distancia propia

Z r
Z r
p
dr
p
(9.111)
grr dr = R(t)
dp (t) =
1 kr2
0
0
entre el origen de coordenadas y un punto de coordenada radial r.
Esta denicin corresponde al concepto de distancia propia denido
en relatividad especial. Aun cuando esta denicin de distancia corresponde a la idea que tenemos de distancia, por ejemplo entre el Sol y
la Tierra, para efectos de la astronoma a gran escala esta denicin
no es muy relevante.
Observacionalmente la distancia entre objetos celestes se puede
medir a partir de diferentes tcnicas y por esto se hace necesario
denir diferentes conceptos de distancia dependiendo del mtodo utilizado. Claramente estas distancias no son independientes y existe una
relacin entre ellas. Adems, para objetos cercanos con coordenada radial r << 1 (o equivalentemente para objetos cuyas distancias propias
estn por debajo de 109 a~
nos luz) todas las distancias que deniremos prcticamente coinciden con la distancia propia denida en la
ecuacin 9.111.
Observacionalmente dos deniciones de distancia son relevantes en
astronoma: la distancia de luminosidad dL y la distancia diametral
angular dA . La primera se basa en la relacin entre la luminosidad
propia de un objeto y su luminosidad aparente, y la segunda en la
204
relacin entre el dimetro propio de un objeto y el dimetro angular observado. En el caso de un espacio euclideano esttico, las tres
distancias, dp , dL y dA , son equivalentes, como veremos. Pero cuando
el espacio no es euclideano y/o no es esttico, la relacin entre estas
distancias depende, en general, de la mtrica del espacio.
Distancia de luminosidad
Consideremos en primer lugar la distancia de luminosidad dL . Para
este n denamos en primer lugar la luminosidad aparente de una
fuente medida por un observador para el caso de un espacio euclideano esttico. Para denir la luminosidad aparente consideremos un
telescopio de espejo circular de rea A, con el origen de coordenadas en
el centro del espejo y la normal al espejo en su centro n
^ en la direccin
del objeto observado. Si la distancia euclideana de la fuente al espejo
la llamamos dL , entonces el ujo F que llega al espejo del telescopio (energa incidente por unidad de rea y por unidad de tiempo)
es igual a la energa por unidad de tiempo emitida por el objeto L
(su luminosidad propia o intrnseca) dividida entre el rea total de la
esfera de radio dL , es decir
F=
L
4 d2L
(9.112)
Para el caso general de un espacio no euclideano, denimos la distancia de luminosidad como la relacin entre la luminosidad propia
del objeto L y el ujo F medido por el observador, como
d2L =
L
4 F
(9.113)
Notemos en primer lugar la diferencia entre las ecuaciones 9.112 y

9.113, aparentemente idnticas. En el caso euclideano (ecuacin 9.112)
dL corresponde a la distancia euclideana entre la fuente y el observador,
205
pero en el caso general (ecuacin 9.113) dL no corresponde ni a la

distancia a la cual se encontraba la fuente del observador en el instante
t1 de emisin de la radiacin, ni a la distancia entre fuente y observador
en el instante t0 de observacin. La razn para esto es la siguiente:
consideremos una fuente co-mvil situada en la coordenada r1 que
emite un frente de radiacin en el instante t1 , el cual es detectado por el
observador situado en r = 0 en el instante t0 ; entonces la conservacin
de la energa implica que
F=
R2 (t0 )r12 (1
+ z)2
(9.114)
Para entender el origen de esta ltima ecuacin notemos en primer

lugar que en el instante t0 de la llegada de la radiacin al espejo del
telescopio, el rea de la 2-esfera que rodea la fuente (de radio coordenado r1 ) es
4 R2 (t0 )r12
(9.115)
(ver ecuacin 9.52), y por lo tanto la fraccin del rea cubierta por el
espejo es
A
(9.116)
2
4 R (t0 )r12
Por otra parte, debido a la expansin la energa por unidad de
tiempo emitida por la fuente decrece en un factor (1 + z)2 cuando
llega al espejo, pues de la relacin 9.103 la energa hc= de un fotn
emitido en r1 en el instante t1 cuando se detecta en el instante t0
decrece en un factor
R(t0 )
0
=
=1+z
(9.117)
R(t1 )
1
y el otro factor (1 + z) surge de la relacin 9.108, pues si dos fotones
son emitidos con una diferencia de tiempo t en la fuente, ellos llegan
al observador con una diferencia de tiempos de t(1 + z). As, de la
206
denicin de distancia de luminosidad (ecuacin 9.113), la ecuacin

9.114 implica que
dL = R(t0 )r1 (1 + z)
(9.118)
la cual tambin se puede escribir en la forma
dL = R2 (t0 )
r1
R(t1 )
(9.119)
teniendo en cuenta la ecuacin 9.110.

Distancia diametral angular
La distancia diametral angular se basa en la relacin entre el dimetro propio del objeto emisor y el dimetro angular aparente. Sea D el
dimetro propio de la fuente situada en el punto de coordenada radial
r1 y sea t1 el instante de emisin de la seal. El observador situado
en el origen de coordenadas detecta esta seal en el instante t0 . Sin
prdida de generalidad podemos elegir las coordenadas angulares para
que el centro de la fuente est en = 0. Como se muestra en la gura
??, los rayos de luz que salen de los bordes opuestos de la fuente, llegan
al punto de observacin forman un ngulo .
De la mtrica de Robertson-Walker (r = cte, y ' = cte), el
dimetro propio de la fuente, con
= (aproximacin vlida para
<< 1), est dado por
D = R(t1 )r1
(9.120)
entonces el dimetro angular de la fuente es
=
D
R(t1 )r1
(9.121)
En geometra euclideana el dimetro angular de una fuente de

dimetro D situado a una distancia d est dado por = D=d; por
207
lo tanto, denimos la distancia diametral angular dA , en el caso general, de una fuente de dimetro propio D, como
dA =
(9.122)
y llegamos a la ecuacin para la distancia diametral angular de un

objeto celeste
dA = R(t1 )r1
(9.123)
como una funcin de su coordenada radial y del factor de escala del
universo en el instante de emisin de la luz. Finalmente, podemos
obtener la relacin entre la distancia de luminosidad y diametral angular, teniendo en cuenta las ecuaciones 9.110, 9.119 y 9.123:
R(t1 )r1
R2 (t1 )
dA
= 2
= (1 + z)
= 2
r1
dL
R (t0 ) R(t
R (t0 )
1)
(9.124)
Para objetos cercanos, es decir para r1 << 1 o equivalentemente

z << 1, las distancias propia, de luminosidad y diametral angular
coinciden aproximadamente:
dp
dL
dA
R(t0 )r1
(9.125)
Para nalizar esta seccin mostraremos una relacin de las unidades

de distancia comnmente utilizadas en astronoma:
1. La distancia promedio entre la Tierra y el Sol se dene como la
unidad astronmica (a.u.)
1a:u: = 1;49589
108 km
2. Un parsec (pc) se dene como la distancia propia a la cual una

estrella presenta un paralaje trigonomtrico de 1; dado que en
un radian hay 206;264; 8 segundos de arco, entonces
1pc = 3;0856
1013 km
208
3. Un ao luz (a.l.) se dene como la distancia recorrida por la luz

en un ao; entonces
1a:l: = 9: 460 7
1012 km
4. Por lo tanto, la relacin entre estas unidades

1pc = 206264;8a:u:
1pc = 3;2615a:l:
1a:l: = 63242a:u
9.3.
Ley de Hubble
En esta seccin derivaremos la ley de Hubble como una consecuencia de la mtrica de Robertson-Walker. Hubble report en 1929 el resultado observacional ms importante de la astronoma en gran escala,
pues con este resultado se demostr que el universo no era esttico,
como se crea hasta entonces, y se dio origen al modelo estndar de la
cosmologa actual. Las observaciones de los espectros de varias galaxias distantes mostraban que ellas se estaban alejando de nosotros, pues
sus espectros presentaban un corrimiento al rojo, el cual dependa de
la distancia.
Para este n expresemos la distancia de luminosidad dl en trminos
de z, para lo cual debemos eliminar la dependencia explcita de r1 .
Deberamos disponer de una expresin explcita del factor de escala
R(t), lo cual requiere resolver las ecuaciones de campo de Einstein.
Sin embargo, aun sin conocer R(t) podemos expresar los resultados en
trminos del valor del factor de escala en la poca actual, i.e. R(t0 ).
En lo sucesivo, como es usual en cosmologa, t0 representa el tiempo
presente. Para este n expandiremos en serie de Taylor las expresiones
alrededor del tiempo presente, esto es, en potencias de (t t0 ).
9.3. LEY DE HUBBLE
209
Sea
f (t) =
R(t)
R(t0 )
t0 ) +
1 d2 f
2! dt2
(9.126)
entonces
f (t) = f (t0 ) +
df
dt
(t
t0
deniendo
H0 =
(t
t0 )2 +
(9.127)
t0
_ 0)
R(t
R(t0 )
(9.128)
llamada la constante de Hubble, y

q0 =
0)
R(t
R(t0 ) =
R_ 2 (t0 )
0)
R(t
R(t0 )H02
(9.129)
el parmetro de desaceleracin, la ecuacin 9.127 se puede escribir,

hasta trminos de segundo orden, en la forma
R(t)
= 1 + H0 (t
R(t0 )
t0 )
1
q0 H02 (t
2
t0 )2 +
(9.130)
Teniendo en cuenta que

R(t0 )
=1+z
R(t)
(9.131)
la ecuacin anterior la podemos escribir como

1+z =
1
1 + H0 (t
t0 )
1
q H 2 (t
2 0 0
t0 )2 +
(9.132)
Para valores pequeos de H0 (t t0 ) esta ecuacin se puede invertir

(expandiendo el lado derecho) para obtener:
z = H0 (t0
1
t) + 1 + q0 H02 (t0
2
t)2 +
(9.133)
210
A partir de esta ecuacin, resolviendo la ecuacin cuadrtica para

(t0 t) y expandiendo el radical del discriminante de la ecuacin obtenemos
1
(t0 t) = H0 1 z
1 + q0 z 2 +
(9.134)
2
De la ecuacin 9.104, que relaciona las coordenadas radial y temporal para un frente de ondas emitido por la fuente ubicada en r en
el instante t, integrando la parte real y expandiendo el resultado
Z t0
Z r
cdt
dr
p
=
= f (r) =
R(t)
1 kr2
t
0
8
r3
+
k=1
< arcsin r = r + 31
r
=r
k = 0 (9.135)
=
:
r3
arcsinh r = r 31 +
k= 1
Para calcular la integral del lado izquierdo podemos utilizar la expansin 9.130, y reteniendo trminos hasta orden 2 en las expansiones
obtenemos:
Z t0
Z t0
cdt
c
dt
=
1
R(t)
R(t0 ) t 1 + H0 (t t0 ) 2 q0 H02 (t t0 )2 +
t
Z t0
c
1
=
1 H0 (t t0 ) + 1 + q0
R(t0 ) t
2
2
2
H0 (t t0 ) +
dt
(9.136)
1
c
=
(t0 t) + H0 t0 (t0 t)
H0 t20 t2 +
R(t0 )
2
1
c
=
(t0 t) + H0 (t0 t)2 +
(9.137)
R(t0 )
2
entonces, de la ecuacin 9.135, la coordenada r en primera aproximacin est dada por
r=
c
(t0
R(t0 )
1
t) + H0 (t0
2
t)2 +
(9.138)
9.3. LEY DE HUBBLE
211
Si remplazamos la ecuacin 9.134 para (t0 t) en la ecuacin anterior, obtenemos una relacin para r en trminos de z (reteniendo
trminos hasta z 2 ):
c
1
1
1 + q0 z 2 + H0 H0 2 (z
H0 1 z
R(t0 )
2
2
1
c
(1 + q0 ) z 2 +
=
z
R(t0 )H0
2
r =
)2 +
(9.139)
Finalmente, la ecuacin 9.118 para la distancia de luminosidad la

podemos expresar en funcin del corrimiento al rojo z y de la constante
de Hubble H0 y del parmetro de desaceleracin q0 actual:
dL = R(t0 )r1 (1 + z)
= R(t0 )(1 + z)
=
c
z
R(t0 )H0
c
1
z + (1
H0
2
1
(1 + q0 ) z 2 +
2
q0 ) z 2 +
esta ltima ecuacin la podemos escribir en la forma

c
H0 dL = cz + (1 q0 ) z 2 +
2
(9.140)
(9.141)
la cual constituye la ley de Hubble. Notemos que para q0 6= 1 la ley

de Hubble no es lineal con z. La forma precisa de la ley de Hubble
depende del modelo especco que se asuma para la distribucin de
masa. En el siguiente captulo resolveremos las ecuaciones de campo
de Einstein para diferentes modelos y por ejemplo veremos que para
un modelo de universo dominado por materia encontraremos la forma
exacta para la coordenada r como funcin de z, lo cual nos conduce a
la siguiente forma de la ley de Hubble:
i
p
c h
2q0 z + 1 1
(9.142)
H0 dL = 2 zq0 + (q0 1)
q0
212
Si expandimos esta expresin para valores pequeos de z tenemos

c
1 2 2
zq0 + (q0 1) q0 z
q z +
2
q0
2 0
c
1
1 3 2
q0 z
= 2 zq0 + q02 z
q0 z + q02 z 2 +
q0
2
2
c
= cz + (1 q0 ) z 2 +
2
H0 dL =
(9.143)
la cual se reduce a la ecuacin 9.141 como era de esperarse. La ley

de expansin de Hubble es la relacin entre los observables z y dL y
por lo tanto ella nos permitira, en principio, determinar q0 , es decir,
el modelo cosmolgico. La dicultad observacional est en la medida
de la distancia de luminosidad dL , pues esta distancia depende de la
luminosidad propia o absoluta de objetos distantes, como galaxias o
supernovas, que puedan ser utilizados como fuentes patrn, a diferencia de la medida del factor de corrimiento z cuya determinacin es
muy precisa por tcnicas espectroscpicas.
Otra relacin importante entre cantidades observables y los parmetros cosmolgicos es la relacin entre la distancia diametral angular
dA y z. Teniendo en cuenta la ecuacin 9.124 que relaciona la distancia
diametral angular con la distancia de luminosidad, podemos utilizar
la relacin 9.141 para encontrar una expansin, vlida para pequeos
corrimientos z:
dA = (1 + z) 2 dL
= (1
2z +
c
z+
H0
c
=
z
H0
1
c
z + (1
H0
2
1
(1 q0 ) z 2 2z 2 +
2
1
(3 + q0 ) z 2 +
3
q0 ) z 2 +
(9.144)
9.3. LEY DE HUBBLE
213
La expresin exacta para el modelo de universo dominado por materia est dada por
dA =
h
c
1
zq0 + (q0
H0 q02 (1 + z)2
1)
p
2q0 z + 1
(9.145)
la cual se reduce a 9.144 para z << 1.

Esta relacin entre el corrimiento al rojo z y la distancia diametral
angular es de gran utilidad en el estudio de lentes gravitacionales, las
cuales nos ofrecen otras tcnicas observacionales para determinar los
parmetros del modelo cosmolgico. En efecto, uno de los resultados
ms importantes derivados de la observacin de lentes gravitacionales
fue la determinacin de una cota inferior para la constante cosmolgica, utilizando estadstica de lentes, es decir, el conteo del nmero de
lentes gravitacionales por unidad de volumen y por unidad de ngulo
slido para corrimientos entre z y z + dz.
Finalizaremos este captulo con la expresin para el conteo de
galaxias como funcin del corrimiento al rojo, la cual constituye otra
herramienta observacional para determinar el modelo cosmolgico.
Para este n, sea
r2
drd
(9.146)
dVc = p
1 kr2
el elemento de volumen comvil en coordenadas de Robertson-Walker,
entonces si llamamos nc (t) la densidad de galaxias comvil (nmero
de galaxias por unidad de volumen comvil), el nmero de galaxias
contenido en el elemento de volumen est dado por
dNgal = nc (t)dVc = nc (t) p
r2
1
kr2
drd
(9.147)
Utilizando la expansin para la coordenada r en trminos de z
214
(ecuacin 9.139), tenemos

dNgal = nc (t) q
c2
R2 (t0 )H02
1
2
z
2
k R2 (tc0 )H 2 z
0
(1 + q0 ) z 2 +
1
2
(1 + q0 ) z 2 +
c
[dz (1 + q0 ) zdz + ]
R(t0 )H0
c3
= nc (t) 3
z 2 (1 + q0 ) z 3 +
R (t0 )H03
c
1
z 2 (1 + q0 ) z 3 +
1+ k
2 R(t0 )H0
[dz (1 + q0 ) zdz + ]
nc (t)c3
=
z 2 2 (1 + q0 ) z 3 +
dz
3
3
R (t0 )H0
(9.148)
entonces, el nmero de galaxias por unidad de ngulo slido y por

unidad de intervalo de corrimiento toma la forma
1 dNgal
nc (z)
= 3
[1
2
z dzd
R (t0 )H03
2 (1 + q0 ) z +
(9.149)
A partir de esta relacin es posible determinar el modelo cosmolgico (i.e. medir q0 ) contando el nmero de galaxias en un volumen dado
con corrimientos al rojo entre z y z + dz. Al igual que en los casos
anteriores, para un modelo de universo dominado por la materia la
funcin conteo de galaxias est dada por
p
zq0 + (q0 1) 2q0 z + 1
1 dNgal
nc (z)
p
= 3
z 2 dzd
R (t0 )H03 (1 + z)3 q04
1 +2q0 (1 + z)
(9.150)
expresin que de nuevo se reduce a la ecuacin 9.149 para z pequeo.
Captulo 10
Modelos cosmolgicos
En el captulo anterior encontramos la forma ms general de la
mtrica, la cual satisface el principio cosmolgico. La mtrica encontrada (de Robertson-Walker) qued determinada salvo la funcin R(t),
llamado factor de escala, la cual debe ser determinada a partir de las
ecuaciones de campo de Einstein. Para este n se hace necesario adoptar un modelo que describa el contenido de materia del universo, con
la condicin que este modelo satisfaga el principio cosmolgico.
Como se dijo en la introduccin al captulo anterior, el modelo
de materia ms sencillo que se puede considerar es el de un uido
perfecto caracterizado por una densidad de energa (t) y una densidad
de presin p(t), en general funciones del tiempo. En la ecuacin 7.24
encontramos la expresin general que describe un uido perfecto:
T
1
U U +p
c2
1
U U
c2
(10.1)
donde se suprimi el subndice 0 en y p. En nuestro modelo las

partculas que constituyen el uido son las galaxias, las cuales se encuentran en reposo respecto a las coordenadas de Robertson-Walker.
As, si escribimos el tensor momentum-energa en componentes mixtas
215
216
CAPTULO 10. MODELOS COSMOLGICOS
tenemos
T
1
g U U +p
c2
1
1
= 2 U U + p 2U U
c
c
= g T
1
g U U
c2
g g
(10.2)
teniendo en cuenta que las galaxias estn en reposo, entonces U =

(c; 0; 0; 0) y por lo tanto
0
1
0
0
0
B 0
p 0
0 C
C
T =B
(10.3)
@ 0 0
p 0 A
0 0
0
p
10.1.
Ecuaciones de Friedmann-Lematre
El objetivo central de esta seccin es encontrar, a partir de la mtrica de Robertson-Walker y dada la ecuacin de estado f ( ; p) = 0 para
la materia, las ecuaciones que determinan el factor de escala R(t).
Para este n consideremos las ecuaciones de campo de Einstein con
constante cosmolgica:
R
1
Rg
2
+ g
8 G
T
c4
(10.4)
En el captulo anterior calculamos las componentes del tensor de

Ricci y del escalar curvatura para la mtrica de Robertson-Walker:
R00 =
Rij =
R
R
R
R_ 2
2k
+2 2 + 2
R
R
R
(10.5)
!
gij
(10.6)
10.1. ECUACIONES DE FRIEDMANN-LEMATRE

R=
R_ 2
R
k
+ 2+ 2
R R
R
217
(10.7)
= g R , T 11 = T 22 = T 33 ,
Entonces, teniendo en cuenta que R
las ecuaciones de campo 10.4 conducen al siguiente sistema de dos
ecuaciones acopladas:
4 G
3p
( + 2)=
2
c
c
3R
c2 R 2
(10.8)
4 G
p
k
R_ 2 RR
(
+
)
=
+
(10.9)
c2
c2
R2
c2 R 2
A partir de la ecuacin para la conservacin local de la energamomentum
T ; =0
(10.10)
se obtiene la ecuacin
d 2 3
d
c %R + p
R3 = 0
dt
dt
(10.11)
Sin embargo, las tres ecuaciones 10.8, 10.9 y 10.11 no son independientes, pues cualesquiera dos implican la tercera, como se puede probar
fcilmente. Por ejemplo, derivando la ecuacin 10.8 con respecto a
t, remplazando la ecuacin 10.9 y reagrupando trminos obtenemos
10.11. Este sistema de ecuaciones se puede escribir en muchas otras
formas equivalentes encontradas en la literatura. Una forma usualmente utilizada es la siguiente:
=
R
c2
4 G
3p
( + 2 )R +
R
3
c
3
8 G 2 c2
R_ 2 =
R +
R2
3
3
c2 k
(10.12)
(10.13)
218
d 2 3
d
(10.14)
c %R + p
R3 = 0
dt
dt
Este sistema de ecuaciones se llama de Friedmann-Lematre y junto
con la ecuacin de estado f ( ; p) = 0 asumida para el modelo de
materia determinan el modelo cosmolgico, i.e. R(t), (t) y k. Como
se mencion, de las tres ecuaciones anteriores dos son independientes
y usualmente se toman las ecuaciones 10.13 y 10.14 como independientes.
La ecuacin 10.14 admite una interpretacin fsica directa, pues si
consideramos 4 %R3 =3 = M como la masa, entonces la ecuacin 10.14
se puede escribir en la forma
dE + pdV = 0
(10.15)
donde E = M c2 es la energa total y pdV el trabajo hecho contra las

fuerzas de presin; esta ecuacin corresponde a la segunda ley de la
termodinmica.
En las ecuaciones de Friedmann-Lematre representa la densidad
de materia y p la presin cuya ecuacin de estado ms simple se puede
escribir como p = w , donde w es una constante independiente del
tiempo. La contribucin de la materia a la densidad proviene, en las
diferentes pocas del universo, de las partculas materiales (partculas
elementales, tomos, iones, molculas, etc.) y de la radiacin (fotones,
y en general partculas de masa en reposo cero). La ecuacin de estado
para describir un gas de fotones (radiacin) est dada por w = 1=3, es
decir
1
(10.16)
p = c2 ; Radiacion
3
mientras que la ecuacin de estado para describir un gas de partculas
materiales no interactuantes (por ejemplo, tomos neutros) est dada
por w = 0, esto es
p = 0; M ateria
(10.17)
219
Es evidente que en cualquier poca de evolucin del universo la

contribucin a proviene tanto de la radiacin como de la materia:
=
rad
(10.18)
e incluso de materia interactuante para la cual la ecuacin de estado

no corresponde a w = 0.
Para efectos de estudiar procesos dinmicos que tuvieron lugar en
diferentes pocas del universo, como por ejemplo en la poca de la
nucleosntesis, es necesario contar con la ecuacin de estado completa que describa el contenido de materia del universo. Sin embargo,
para describir la evolucin del universo y compararla con la observacin actual (constante de Hubble H0 , parmetro de desaceleracin
q0 , densidad de materia 0 , edad del universo t0 , etc.), tres pocas de
evolucin del universo son determinantes y admiten una descripcin
de la ecuacin de estado sencilla.
Se estima que a densidad de materia actual en el universo es del
orden de
10 29 gr=cm3
(10.19)
0M
constituida fundamentalmente por tomos neutros de hidrgeno (76 %)
y helio (23 %), mientras que la densidad de radiacin
0rad
10
34
gr=cm3
(10.20)
constituida fundamentalmente por la radiacin csmica de fondo, es

cuatro rdenes de magnitud inferior. Adems, dado que la interaccin
de la radiacin electromagntica con la materia neutra es prcticamente nula, M y rad se conservan separadamente de acuerdo con la
ecuacin 10.14. Esto nos indica que la estructura en gran escala del
universo actual est determinada fundamentalmente por la materia
neutra, cuya ecuacin de estado est dada por la ecuacin 10.17. La
ecuacin de conservacin 10.14 nos permite estimar cmo ha sido la
220
evolucin de la densidad de materia como funcin del factor de escala,

pues
d 2
(10.21)
c %M R3 = 0 =) %M / R 3
dt
mientras que para la densidad de radiacin rad tenemos que
d 2
d
c2
3
c %rad R + %rad
R3 = 0
dt
3
dt
(10.22)
entonces
4
% d R3 + R3 d%rad = 0
3 rad
=)
%rad / R
(10.23)
estas relaciones indican que en una poca temprana del universo %M

y %rad eran iguales (t
103 a~
nos) y en pocas anteriores dominaba
la radiacin sobre la materia, lo cual se puede entender si tenemos
en cuenta que en pocas tempranas del universo la temperatura era
tan alta que la energa cintica promedio de las partculas era mucho
mayor que su energa en reposo, de tal manera que toda la materia del
universo se poda tratar como un gas de radiacin.
La tercera poca de evolucin del universo la constituye la era
inacionaria. En esta poca ( 10 35 s) el universo pas por una fase
de expansin exponencial, donde el factor de escala aument 1043 veces
en una fraccin de tiempo ( 10 32 s). Para la descripcin de la materia
en esta poca de evolucin, hay que recurrir al concepto de vaco de la
teora cuntica de campos. En mecnica cuntica la energa del vaco
est asociada al estado de mnima energa de un sistema cuntico. Por
ejemplo, consideremos un oscilador de frecuencia propia !; entonces
la ecuacin de Schdinger de valores propios implica que los niveles de
energa del oscilador estn dados por
En =
1
+ n }!;
2
n = 0; 1; 2;
(10.24)
221
Esta ecuacin implica que la energa asociada al nivel base (mnima

energa) es 1=2}! diferente de cero, pero esta energa del estado base
no es observable directamente, pues slo se pueden medir las transiciones entre diferentes niveles de energa En Em , por absorcin o
emisin de fotones de energa }!.
Este ejemplo ilustra un resultado general de la mecnica cuntica:
que como consecuencia del principio de incertidumbre, el nivel mnimo
de energa de un sistema acotado no puede ser cero, pero su valor absoluto no es observable pues, por denicin, un sistema que se encuentre
en el estado base no puede decaer a un estado de energa cero.
La teora cuntica de campos describe las interacciones fundamentales, electromagntica, fuerte y dbil, que rigen el comportamiento de
las partculas elementales. Su descripcin se realiza a travs de un campo de materia, el cual, se puede representar como una superposicin de
osciladores armnicos de frecuencia ! con 0 ! < 1 (transformada
de Fourier), y por lo tanto la energa del estado base E0 de un campo
de materia (e.g., el campo electromagntico) est dada por la suma de
las energas de los osciladores que conforman el campo, as
E0 =
X1
!
}!
(10.25)
llamada la energa del vaco, es innita. Sin embargo esta divergencia que surge en la teora de campos se puede eliminar formalmente
teniendo en cuenta, como lo mostramos en el caso del oscilador armnico, que slo son observables las transiciones de un sistema, as la
energa total (renormalizada) ER de un campo de materia se dene
como
ER = E E0
(10.26)
dando como resultado cantidades nitas. En particular, la energa del
estado base renormalizada es E0R = E0 E0 = 0. Este mtodo, que
corresponde formalmente a restar una cantidad innita para obtener
222
un resultado nito, es conocido como renormalizacin de la teora y

tiene un soporte formal. Sin embargo, a pesar de aparecer la energa
del vaco como un concepto inobservable directamente, su existencia se
maniesta en diferentes procesos fsicos, los cuales han sido observados.
Por ejemplo en el corrimiento Lamb, el cual, como consecuencia de la
interaccin del tomo de hidrgeno con el campo de racin del vaco,
algunos de sus estados degenerados se desdoblan.
10.2.
Historia trmica del universo
El fondo de radiacin csmica de microondas (CMBR), detectada

por primera vez por Penzias y Wilson en 1965, fue interpretado en
ese mismo ao por Dicke, Peebles, Roll y Wilkinson como una reliquia
del temprano universo que demostraba su origen trmico, con base en
un trabajo pionero de Alfer R.A., Bethe H.A. y Gamow G. de 1948
(Phys. Rev 73 803). El CMBR corresponde al espectro de radiacin de
cuerpo negro a una temperatura de t = 2; 75 0; 015o K. La isotropa
observada del CMBR
T =T . 10 4
sobre escalas angulares que van desde 10arco hasta 1800 constituye
una de las evidencias ms fuertes del principio cosmolgico.
El punto fundamental para entender la historia trmica del universo est en la hiptesis del equilibrio termodinmico (aproximado) en
las diferentes etapas de evolucin, donde el equilibrio termodinmico
es alcanzado si la rata a la cual las partculas colisionan, en un tiempo
dado, es mayor que la rata a la cual el universo se est expandiendo
en ese momento. Sin embargo, el universo no es un sistema que desde
su inicio ha estado en equilibrio termodinmico aproximado, pues ha
pasado por algunas etapas fuera del equilibrio (transiciones de fase),
las cuales han sido determinantes para su evolucin.
Bibliografa
[1] Adler R., Bazin M. and Schier M., Introduction to general relativity. MaGraw-Hill, 1975.
[2] Brner G., The early universe. Facts and ction. Springer-Verlag,
1993.
[3] Fock V., The theory of space, time and gravitation. Pergamon
Press, 1959.
[4] Heidmann J., Relativistic Cosmology. Springer-Verlag, 1980.
[5] Heller M., Theoretical foundations of cosmology. World Scientic,
1992.
[6] Kolb E. W. and Turner M. S., The early universe. AddisonWesley, 1994.
[7] Kopczynski W. and Trautman A., Spacetime and gravitation.
John Wiley & Sons, 1992.
[8] McVittie G. C., General relativity and cosmology. Chapman and
Hall Ltd., 1965.
[9] Misner C. W., Thorne K. S. and Wheeler J. A., Gravitation. W.
H. Freeman and Co., 1973.
223
224
BIBLIOGRAFA
[10] Padmanabhan T., Cosmology and astrophysics through problems.

Cambridge University Press, 1996.
[11] Straumann N., General relativity and relativistic astrophysics.
Springer-Verlag, 1984.
[12] Tolman R. C., Relativity, thermodynamics and cosmology. Dover
Publications, Inc., 1987.
[13] Torretti R., Relativity and geometry. Dover Publications, Inc.,
1996.
[14] Wald R. M., General relativity. The University of Chicago Press,
1984.
[15] Weinberg S., Gravitation and cosmology. New York Wiley, 1972.
[16] Will C. M., Theory and experiment in gravitational physics. Cambridge University Press, 1993.

Tejeiro. Relatividad General PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Tejeiro. Relatividad General PDF

Încărcat de

Drepturi de autor:

Formate disponibile

Principios de relatividad general

Juan Manuel Tejeiro Sarmiento

4. Principios de relatividad general

8.2. Coordenadas de Kruskal . . . . . . . . . . . . . . . . . 170

verso al cuadrado de la distancia) no permite tener una distribucin

CAPTULO 1. ESPACIOS VECTORIALES

I un conjunto de ndices, entonces

es decir, unin arbitraria de abiertos es un abierto.

se dice continua si para cualquier abierto b de R, la imagen inversa

1.2. ESPACIOS TOPOLGICOS

Denicin 1-3 Sean T y R espacios topolgicos. Una funcin

se llama un homeomorsmo si la funcin ' es continua con inversa

CAPTULO 1. ESPACIOS VECTORIALES

2 I, siendo I un conjunto de ndices, tal

Denicin 1-6 Un subconjunto C T , de un espacio topolgico

Denicin 1-7 Un subconjunto A T , de un espacio topolgico

Dependiendo de la estructura topolgica del espacio, hay conjuntos

1.3. ESPACIOS MTRICOS

Denicin 1-8 Un espacio mtrico M es un conjunto de puntos

M-2: 8x; y 2 M , se tiene que

M-3: 8x; y; z 2 M , se satisface la desigualdad triangular, i.e.,

Sobre Rn tambin es posible denir otras mtricas, de hecho innitas

CAPTULO 1. ESPACIOS VECTORIALES

para cada entero p satisface las propiedaes M 1 a M 3. El caso

muestra que todo conjunto es metrizable. Esta mtrica es trivial y se

dN (f (x); d(y)) <

1.4. ESPACIOS VECTORIALES

Es fcil probar, entonces, que los abiertos de un espacio mtrico

induce la topologa trivial, pero ninguna mtrica induce la topologa

Denicin 1-12 Un grupo (G; ) es un conjunto de elementos

CAPTULO 1. ESPACIOS VECTORIALES

En general se tiene que

y cuando la igualdad se cumple para todos los elementos del grupo,

donde R(0 ) signica rotar la molcula

1.4. ESPACIOS VECTORIALES

CAPTULO 1. ESPACIOS VECTORIALES

C-3: La multiplicacin es asociativa y conmutativa, es decir, para

El ejemplo ms comn e importante de un campo lo constituyen

1.4. ESPACIOS VECTORIALES

Esto signica que el conjunto V con la suma de vectores forma un

V-7: Para todo vector x

donde 1 es la identidad multiplicativa de K, 0 2 K es la identidad

CAPTULO 1. ESPACIOS VECTORIALES

consideremos V y W dos espacios vectoriales sobre el cuerpo de los

Denamos sobre el conjunto de todas las transformaciones lineales

una suma y el producto por un real como:

8T1 ; T2 2 L(V; W) y 8v 2 V (1.35)

8T 2 L(V; W); 8v 2 V y 8 2 <

entonces, T1 + T2 y T tambin son transformaciones lineales, i.e.,

y por lo tanto el conjunto L(V; W) con estas operaciones es un espacio

1.4. ESPACIOS VECTORIALES

implica que todos los i = 0:

y los nmeros v 1 ; i = 1; 2; :::; n se llaman componentes del vector v en

CAPTULO 1. ESPACIOS VECTORIALES

siendo ij el delta de Kronecker denido como 1 si i = j y cero en los

la cual nos permite denir el concepto de ngulo

1.4. ESPACIOS VECTORIALES

y denamos sobre este conjunto la suma de funciones y el producto de

8f; g 2 L(V,<); 8v 2 V 8 2 <, entonces estas dos operaciones denen

CAPTULO 1. ESPACIOS VECTORIALES

una funcin real lineal sobre el espacio vectorial tenemos

de esta forma conocer f (v) para todo v 2 V es equivalente a conocer

1.4. ESPACIOS VECTORIALES