PUBLICACIONES DEL DEPARTAMENTO DE MATEMATICAS Numero 14, Ano 1996

UNIVERSIDAD DE MURCIA
Seminario del Departamento, Curso 19941995

Fundamentos Matematicos de la Relatividad General.

Cosmologa.
Alfonso Romero Sarabia
Departamento de Geometra y Topologa
Universidad de Granada

1. Introduccion
Hacia 1900 ya se contaba con mas de dos siglos de buen funcionamiento de la Mecanica
Newtoniana. La Fsica, por aquel entonces, se encontraba dividida en dos teoras profunda-
mente incompatibles:
Mecanica Electromagnetismo
(incluyendo Termodinamica) y (Electricidad, Magnetismo y Optica)
El problema era que la luz no consiste en una corriente de partculas sujetas a las leyes
de la Mecanica, mas bien la luz es una onda electromagnetica (Maxwell).
Desde un punto de vista matematico, ocurra que mientras que las ecuaciones de la
Mecanica eran invariantes por el grupo de Galileo, no pasaba lo mismo con las ecuaciones
de Maxwell. Tenan cabida, entonces, dos posibilidades: o bien las ecuaciones de Maxwell
no eran correctas, lo cual pareca inaudito, pues aunque se tardo quince anos en aceptarlas
plenamente, ahoran estaban sustentadas por muchos y muy precisos hechos experimenta-
les; o bien la forma de cambio de coordenadas Galileana no era correcta, afirmacion esta
asombrosa si se tiene en cuenta que la Mecanica Newtoniana se haba mostrado muy acer-
tada, incluso a nivel planetario ( aun existiendo una serie de fenomenos que era incapaz de
explicar !).
Fue en 1905 cuando A. Einstein publico Sobre la electrodinamica de los cuerpos en
movimiento. En este artculo establecio sus dos postulados: el de la Relatividad y el de
la constancia de la velocidad de la luz, que le condujeron a una nueva forma de cambio
de coordenadas, que no es otra que las transformaciones de Lorentz. Esta ya era conocida
por Lorentz, Minkowski y Poincare, aunque en un ambiente cientfico diferente: el de las
Geometras No Eucldeas. Once anos mas tarde, Einstein publico su definitivo trabajo donde
introdujo la Relatividad General. Aqu utilizo como herramienta la Geometra de Lorentz
en notacion tensorial clasica y con caracter local. Mas recientemente, la necesidad del
estudio de problemas globales en Fsica hizo que metodos globales, bien conocidos de
la Geometra de Riemann, comenzaran a ser usados (con las correspondientes dificultades
tecnicas) en Relatividad General. Por ejemplo, para analizar la estructura del Universo

81
PUBLICACIONES DEL DEPARTAMENTO DE MATEMATICAS Numero 14, Ano 1996, 8193

(el mas grande de los sistemas fsicos) en trabajos de Robertson-Walker, Friedmann, Kerr,
Kruskal, Raychaudhuri,..., y como no, los famosos trabajos de Hawking y Penrose (1972)
sobre singularidades (los dos hechos fundamentales que se derivaban de su teora eran la
existencia de un Big Bang en nuestro pasado y el anuncio de un Black Hole, como
preocupante futuro que nos espera). Insistamos en que Hawking y Penrose lograron toremas
de Geometra de Lorentz global y que lo anterior es una interpretacion fsica (razonable) de
dichos resultados.
La idea de esta charla consiste en explicar algunas de las herramientas matematicas que
se utilizan en Relatividad General.
El material aqu utilizado se puede encontrar, y mucho mas, en las referencias citadas al
final. Principalmente las dos ultimas, ambas de Sachs y Wu, han servido de base para estas
notas.
Deseo expresar mi mas sincero agradecimiento a los profesores Angel Ferrandez, Pascual
Lucas y Miguel Angel Merono por su amable invitacion, en nombre del Departamento de
Matematicas, para impartir esta charla. Y asimismo, por su inestimable colaboracion y
esmerado cuidado en la transcripcion y correccion del manuscrito original.

2. Construccion de un modelo relativista simple

Imaginemos un cuerpo puntual, que se mueve siguiendo una lnea recta, no sometido a
fuerza gravitatoria alguna. Sea m > 0 su masa. El movimiento esta descrito por una funcion
C 1, x : R ! R, siendo x(t) el vector de posicion, en el instante t, desde un punto fijo. Sea
v(t) = dxdt (t) su velocidad, que supondremos cumple jv(t)j < 1; 8t 2 R. Entiendase que el
1 que aparece en la acotacion anterior no es otra cosa que la velocidad de la luz, es decir,
hemos elegido convenientemente las unidades de medida para que la velocidad de la luz sea
1 (las unidades donde esto ocurre se suelen llamar unidades geometricas). Para construir un
modelo relativistade (x; m) seguiremos los siguientes pasos:
(a) Dotar a R 2 de dos estructuras (ntimamente ligadas): una metrica de Lorentz y un
sentido de futuro;
(b) Con la ayuda de esas nuevas estructuras, reemplazar (x; m) por una curva : I !
R , siendo I un intervalo abierto de R;
2

(c) Olvidar cualquier otra estructura de R 2 (en particular, la existencia de un origen y

unos ejes privilegiados).
Se considera la siguiente metrica de Lorentz sobre R 2

g0 = du1
du1 ? du2
du2 ;

siendo(u1 ; u2 ) las coordenadas usuales de R2 . Sea v un vector tangente a R2 en un punto

p 2 R . Se dice que v senala al futuro si g0 (v; v)  0 y g0 (v; @u@ 2 ) < 0.
2

82
 A. Romero, Fundamentos Matematicos de la Relatividad General. Cosmologa

v
@ 2  
@u p
6
- -
p @ 
@u1 p

Observese que

g0 (v; @u@ 2 p ) = ?( segunda coordenada de v en la base @u@ 1 p ; @u@ 2 p ):

El par (R 2 ; g 0 ), junto con este sentido de futuro, se conoce como el Espaciotiempo de

Lorentz-Minkowski de dimension 2. Para evitar ambiguedades, supondremos que cada cur-
va : I ! R 2 es inextensible, 0 2 I y 2 (0) = 0, donde = ( 1 ; 2 ).
A la vista de este planteamiento se tiene lo siguiente. Para cada (x; m), en las condicio-
nes anteriores, existe una unica curva : I ! R 2 , con Im( ) cerrado en R 2 , tal que
(1) 1 = x  2 ;
(2) g 0 ( 0 (u); 0 (u)) = ?m2 ; 8u 2 I;
(3) 0 (u) senala al futuro, 8u 2 I:
En efecto, basta definir (u) := ((x  s?1 )(u); (s?1 )(u)), siendo s : R ! R la funcion
definida por
tp
s(t) = m1
Z

1 ? v(y)2 dy:
0

Es decir, basta reparametrizar convenientemente el grafo t ! (x(t); t) de x en R 2 .

Recprocamente, si : I ! R 2 es tal que Im( ) es cerrado y cumple que
(i) g 0 ( 0 (u); 0 (u)) = ?m2 ; 8u 2 I; m > 0,
(ii) 0 (u) senala al futuro, 8u 2 I ,
entonces existe una unica curva x : R ! R tal que

1 = x  2
y ademas,
j dx
dt j < 1
en todo punto de R.

83
PUBLICACIONES DEL DEPARTAMENTO DE MATEMATICAS Numero 14, Ano 1996, 8193

El siguiente diagrama esquematiza tres descripciones de un movimiento sobre una recta.

(En la ultima etapa M = R 2 visto como variedad diferenciable y por tanto desprovisto de
puntos y ejes privilegiados).

NEWTONIANO ETAPA INTERMEDIA RELATIVISTA

x : R ! R; m = 1
: I ! R2 :I!M
x(t) = sen t
1
4

u2
x(? 12 ) = ? 14 x( 12 ) = 1 1 6
4 2

v(1) v(0)
? 1
4
1
4
u1
? 1
2

3. Espaciotiempos
En el modelo anterior, la condicion g 0 ( 0 (u); 0 (u)) < 0 es la traduccion matematica de
que viaja a una velocidad menor que la de la luz. Por otro lado, g 0 reemplaza al Poten-
cial Gravitatorio Newtoniano. En efecto, si tenemos un cuerpo pequeno sobre el que solo
actuan fuerzas gravitatorias, Galileo fue el primero en descubrir que su movimiento depende
solo de su posicion inicial y su velocidad inicial (no de su composicion ni de cualquier otra
propiedad). Las geodesicas inextensibles de una variedad de Lorentz tienen una propiedad
semejante. Einstein sugirio que tales cuerpos en cada libre podran ser modelados como al-
gunas de esas geodesicas (las que viajan a una velocidad menor que la de la luz). Notemos
que en el caso lmite, donde no existe campo gravitatorio alguno, ocurre que ddt2x (t) = 0, y
2

esta condicion es necesaria y suficiente para que la correspondiente sea una geodesica de
g0 .
Una metrica de Lorentz sobre una variedad diferenciable M , y dimM  2, es un campo
de tensores covariante g de grado dos tal que gp : Tp M  Tp M ! R es un producto escalar
no degenerado de ndice uno, para cualquier punto p de M . No es siempre cierto que
M admita una metrica de Lorentz. Para que la admita es condicion necesaria y suficiente
que exista una distribucion 1-dimensional sobre M . Sabemos que cualquier variedad no
compacta admite una metrica de Lorentz; sin embargo, si M es compacta, resulta que M
se puede equipar con una tal metrica si, y solo si, la caracterstica de Euler de M es cero.
Una variedad de Lorentz es, pues, un par (M; g ), siendo g una metrica de Lorentz sobre
M . Como ejemplo mas inmediato se tiene (L n ; g0 ), el espacio de Lorentz-Minkowski n-
84
 A. Romero, Fundamentos Matematicos de la Relatividad General. Cosmologa

dimensional,
Pn?1
con n  2, donde se toma como espacio ambiente R n con la metrica definida
por g 0 = i=1 (dui )2 ? (dun )2 .
Cada espacio tangente Tp M es un espacio vectorial lorentziano. Y en el se distinguen
tres clases de vectores. Un vector v 2 Tp M se dice espacial si gp (v; v ) > 0 o v = 0;
temporal si gp (v; v ) < 0; y nulo o isotropo si gp (v; v ) = 0 y v 6= 0.
Dos hechos merece la pena destacar:
(1) Si v es temporal, entonces Tp M = Lfv g  Lfv g? , donde Lfv g representa la recta
vectorial generada por el vector v ; y gp sobre Lfv g? es eucldea (diremos entonces que
Lfvg? es un subespacio espacial en Tp M ).
(2) El conjunto de los vectores temporales Tp se divide en dos partes disjuntas (no im-
porta la dimension de M ), cada una de las cuales se llama un cono temporal. Dos vectores
u; v 2 Tp estan en el mismo cono temporal si, y solo si, gp(u; v) < 0.
Una orientacion temporal en una variedad de Lorentz (M; g ) es una aplicacion  que
asigna a cada punto p 2 M un cono temporal  (p) en Tp M , de manera que  (p) vare
diferenciablemente con respecto a p (en un sentido natural, que se puede precisar con todo
detalle, pero que ahora no sera el caso). Se dice que (M; g ) es orientable temporalmente
cuando admite una orientacion temporal. Este es un concepto metrico, y no topologico (en
principio, independiente de la orientabilidad topologica). Se cumple que (M; g ) es orienta-
ble temporalmente si, y solo si, existe un campo temporal de vectores X (i.e., g (X; X ) < 0)
sobre M .
Un espaciotiempo es un triple (M; g;  ), donde (M; g ) es una variedad de Lorentz, de di-
mension cuatro, que sea orientable temporalmente y  una de sus P dos posibles orientaciones
temporales. Como ejemplo mas sencillo tomese (L ; g ), con g = 3i=1 (dui )2 ? (du4 )2 , y la
4

orientacion temporal definida por el campo temporal @u@ 4 . Es el espaciotiempo de Lorentz-

Minkowski. Si uno mira los puntos de un espaciotiempo M como sucesos, entonces  nos
da la posibilidad de distinguir sucesos en el futuro y en el pasado de cada punto. Una
curva : I ! M se dice que senala al futuro cuando 0 (u) pertenece a la clausura de  (p)
en Tp M . En particular, g ( 0 (u); 0 (u))  0; 8u 2 I .

4. Observadores
Una partcula de masa m  0 en un espaciotiempo (M; g;  ), es una curva : I ! M
tal que g ( 0 (u); 0 (u)) = ?m2 y 0 (u) senala al futuro, para cualquier u de I . Una partcula
de masa m = 0 se llama un foton. Si m = 1 diremos que es un observador. El conjunto
imagen, Im , se conoce como la lnea del universo de . Su campo velocidad 0 (u) se
llama el momento- energa (o 4-velocidad) y D du(u) la 4- aceleracion de . Se dice que
0

cae libremente cuando D du(u) = 0, es decir, cuando es una geodesica de (M; g ).

0

Sea : I ! M un observador. Entonces 8u0 ; u 2 I ,

Z up
?g( 0 (u); 0 (u)) = u ? u ; 0
u0
ya que el integrando es igual a 1. Por esta razon, a u 2 I se le llama el tiempo propio de ;
y es el tiempo que marca un reloj que viaja con .
Un observador instantaneo (uno cualquiera de nosotros aqu y ahora) es un par (z; Z ),
donde z 2 M y Z 2 Tz M , y tal que g (Z; Z ) = ?1 y Z senala al futuro. Asociada a (z; Z )

85
PUBLICACIONES DEL DEPARTAMENTO DE MATEMATICAS Numero 14, Ano 1996, 8193

se tiene la siguiente descomposicion ortogonal

Tz M = LfZ g  LfZ g?;

donde LfZ g es el espacio 1-dimensional generado por Z y (LfZ g? ; g jLfZ g ) es un espacio
?

Eucldeo 3-dimensional, que llamaremos el espacio fsico observado por (z; Z ).

Sea : I ! M una partcula con (u) = z . Segun la descomposicion anterior, escribi-
remos

0 (u) = eZ + P:
Entonces e = ?g ( 0 (u); Z ), que es positivo (aunque m = 0). A e se le llama la energa
que (z; Z ) mide de (u) y a P el 3-momento relativo a (z; Z ). Ademas, se define v := 1e P
como la velocidad de (u) medida por (z; Z ).
Ocurre que
p
0  jjvjj := g(v; v)  1
y
jjvjj = 1 () m = 0:
Si m > 0 (y por tanto jjv jj < 1) obtenemos ?m = ?e + e jjv jj , de donde se sigue
2 2 2 2

que

e= p m :
1 ? jjvjj2
Ademas, e = m () v = 0 (recordemos que en nuestras unidades se tiene que c = 1).
Ahora bien, en el sistema CGS (cegesimal) se tiene que

e = mc2
si, y solo si, la velocidad de (u) medida por (z; Z ) es cero.
Si ahora  : I ! M es un observador, se tiene

T(u) M = Lf0 (u)g  Lf0 (u)g? ; 8u 2 I:

Por tanto, el espacio fsico 3-dimensional que  percibe cambia a medida que transcurre su
tiempo propio. Imaginemos que  observa un vector v 6= 0 en el instante u1 de su tiempo
propio, es decir, v 2 Lf0 (u1 )g? . Si en el instante u2 > u1 observa v 2 Lf0 (u2 )g? ,
como puede averiguar que v se ha obtenido al rotar v ? Si  estuviese en cada libre, el
transporte paralelo a lo largo de  desde u1 hasta u2 lleva Lf0 (u1 )g? en Lf0 (u2 )g? y
puede decir si v y v tienen la misma direccion espacial. Si  no esta necesariamente en cada
libre, la herramiente matematica apropiada es la conexion a lo largo de ; concretamente,
es la conexion de Fermi-Walker de , que esencialmente es la derivada covariante usual en
el caso de que  este en cada libre. Naturalmente, el transporte paralelo respecto de esta
conexion ha de conservar esta ultima descomposicion ortogonal.

86
 A. Romero, Fundamentos Matematicos de la Relatividad General. Cosmologa

5. Campos electromagneticos. Ecuaciones de Maxwell

La teora electromagnetica relativista (no cuantica) es una de las partes mas elegantes de
la Fsica. Se le califica de formalmente simpley, por supuesto, desde el punto de vista
humano el electromagnetismo es la mas importante de las interacciones.
Si E ~ = E~ (x; t) y B~ = B~ (x; t), x 2 R3 , son los clasicos campos electrico y magnetico;
(x; t) es la densidad de carga electrica (carga por unidad de volumen) y ~j = ~j (x; t) es la
densidad de corriente electrica (carga por unidad de area y unidad de tiempo) entonces las
ecuaciones de Maxwell (clasicas) se escriben

r~
B~ = 0 (Ley de Biot-Savart)

r~  E~ + @@tB~ = 0 (Ley de Faraday)

r~
E~ = 4 (Ley de Gauss)

r~  B~ ? @@tE~ = 4~j (Ley de Ampere-Maxwell)

en nuestras unidades (c = 1, 8G = 1). Notemos que E ~ , B~ y ~j son campos de vectores

sobre R dependiendo del parametro t. Si gu representa la metrica Eucldea usual de R3
3

entonces r ~
B~ y r
~
E~ son las funciones divB~ y divE~ (relativas a gu) que dependen de
(x; t); r  E = RotE~ , r
~ ~ ~  B~ = RotB~ y si B~ = P3i=1 B i @u@ i , E~ = P3i=1 E i @u@ i , entonces
@ B~ := 3i=1 @B i @ @ E~ @E i @
i=1 @t @ui . Pongamos u = t y consideremos la 2-forma
P P
i , y @t :=
3 4
@t @t @u
F sobre R 4
definida por
3
X
F =2 E i dui ^ du4 + 2(B 1 du2 ^ du3 + B 2du3 ^ du1 + B 3 du1 ^ du2 ):
i=1
Notemos quePF contiene la misma informacionP ~ y B~ juntos.
que E
4 i @ 4 ~
Sea J = i=1 J @ui 2 X(R ); donde j = i=1 J i @u
3 @ y J 4 = . Entonces
i

~
r~
B~ = 0 y r~  E~ + @@tB = 0 () dF = 0;
~
r~
E~ = 4 y r~  B~ ? @@tE = 4~j () divF^ = 4J;
siendo F^ el campo de tensores 2-contravariante equivalente con F respecto de la metrica de
Lorentz usual de R , g = i=1 (dui )2 ? (du4 )2 , y divF^ es el campo de vectores sobre R4
P3
4

dado por
4

(divF^ ) = (rXi F^ )(; !i );

X

i=1
siendo ! i (Xj ) = ji , y  cualquier 1-forma sobre R4 .
De modo que con este truco escribimos las ecuaciones de Maxwell sobre R 3 mucho
mas sencillas sobre el espaciotiempo de Lorentz-Minkowski. Mas generalmente, dado un

87
PUBLICACIONES DEL DEPARTAMENTO DE MATEMATICAS Numero 14, Ano 1996, 8193

espaciotiempo (M; g;  ), con M orientable, definimos un campo electromagnetico sobre el

como una 2-forma F sobre M . Veamos como cada observador instantaneo (z; Z ) deduce
dos cantidades relativas a F . Representemos por F~z 2 End(Tz M ) dado por

g(X; F~z (Y )) = Fz (X; Y ) 8X; Y 2 Tz M

entonces E := F~z (Z ) 2 L(fZ g)? se llama el vector electrico que mide (z; Z ) de F . En el
espaciotiempo de Lorentz-Minkowski si z 2 R4 y Z = @u@ 4 jz , el vector electrico del campo
electromagnetico F que hemos construido es precisamente

E~ (z) = E i (z) @u@ i  :

3
X 

i=1 z

Sea ahora
el elemento de volumen metrico correspondiente a g (por ejemplo,
= du1 ^
du2 ^ du3 ^ du4 en el espaciotiempo de Lorentz-Minkowski). Teniendo en cuenta que la
aplicacion

L(fZ g)? ?! Az (L(fZ g)? )

V 7?!
V ;

donde
V (X; Y ) := 4!
(X; Y; V; Z ), para todo X; Y 2 L(fZ g)? , es un isomorfismo de
espacios vectoriales; y si Fz0 = Fz jL(fZ g) , entonces existe un unico B 2 L(fZ g)? tal que
?

B = Fz0 :

Entonces a B se le llama el vector magnetico que (z; Z ) mide de F . En el espaciotiempo de

Lorentz-Minkowski, para z 2 R4 y Z = @u@ 4 jz , tenemos que B es

B~ (z ) =
3
X
B i(z ) @  :
i=1 @ui z

El concepto de campo electromagnetico unifica los conceptos prerrelativistas de campo

electrico y campo magnetico. Estos dos son ahora conceptos relativos. De hecho, en el
espaciotiempo de Lorentz-Minkowski si F = 2Adu3 ^ du1 y suponemos A(z ) 6= 0 para
todo z 2 R4 , se tiene lo siguiente:

88
 A. Romero, Fundamentos Matematicos de la Relatividad General. Cosmologa

Vectores observados de F ! Vector Vector

Observador # electrico magnetico

z; @u@ 4 jz A(z) @u@ 2 jz

 

z; 34 @u@ 1 jz + 35 @u@ 4 jz 4 A(z ) @ j 5 A(z ) @ j

 

3 @u3 z 3 @u2 z

La coleccion de todos los vectores electricos en z determina completamente Fz . En efecto, si

todo observador instantaneo (z; Z ) encuentra que F~z Z = 0, entonces un argumento sencillo
de algebra lineal permite decir que Fz = 0.
El objeto basico de interes en las matematicas de la Relatividad General es el concepto de
modelo relativista. Se define como tal una terna (M; M; F ) donde M es un espaciotiempo
(orientable), F es un campo electromagnetico sobre M y M es un modelo material sobre
M , es decir
M = f(mi; "i ; Pi ; i ) : i = 1; : : : ; N g
es una coleccion de N campos de vectores Pi de manera que g (Pi ; Pi ) = ?m2i y Pi senala
al futuro (en cada punto), i : M ! [0; 1) es una funcion diferenciable y "i 2 R sujeto a
la condicion de que si mi = 0 entonces "i = 0.
Cada (mi ; "i ; Pi ; i ) se llama flujo de partculas de masa mi (las curvas integrales de Pi
son todas partculas en M de masa mi , i es la densidad y "i la carga electrica).
Asociado a M podemos definir un campo de tensores
N
X
T= i Pi[
Pi[ ;
i=1
donde Pi[ es la 1-forma Pi[ (X ) := g (Pi ; X ), para todo X 2 X(M ). Ocurre que T (Z; Z ) 
0 para todo observador instantaneo (z; Z ); y que T (Z; Z ) = 0, para todo (z; Z ), si y solo si
Tz esPnulo. T se llama el tensor tension-energa de M. Por otro lado el campo de vectores
J = Ni=1 "i iPi se llama la densidad de carga-corriente de M.
La ley basica para estudiar la influencia de M y M sobre F son las famosas ecuaciones
de Maxwell:

dF = 0; (5..1)
divF^ = 4J; (5..2)

89
PUBLICACIONES DEL DEPARTAMENTO DE MATEMATICAS Numero 14, Ano 1996, 8193

donde F^ es el tensor 2-contravariante canonicamente asociado a F mediante g , y divF^

representa el campo de vectores definido por
4
X
(divF^ ) = (rXi F^ )(; !i );
i=1
siendo ! i (Xj ) = ji , y  cualquier 1-forma sobre M .
Diremos que (M; M; F ) obedece las ecuaciones materiales simples cuando

rP Pi = "i F 0Pi si mi 6= 0;
i

rP Pi = 0 si mi = 0; 8i = 1; : : : ; N
i (5..3)
div(i Pi ) = 0 8i = 1; : : : ; N: (5..4)

La primera se llama la ecuacion de la fuerza de Lorentz y para una curva integral de Pi se

pone D _ 0
du = "i F _ . La segunda es una ley de conservacion.
Tanto las ecuaciones de Maxwell como las ecuaciones materiales simples son ecuaciones
diferenciables que tienen solucion fijadas unas condiciones iniciales. En el caso de 5..1 y
5..2 se llaman las ecuaciones de ligadura. En ambos casos el subconjunto de M donde se
escriben esas condiciones iniciales es una hipersuperficie espacial y la solucion esta definida
en un abierto de M que contiene dicha hipersuperficie. Intuitivamente los datos que se
conocen sobre la hipersuperficie espacial son el presente, y la evolucion con el tiempo
de la solucion encontrada. Es costumbre llamarles a estos resultados el presente determina
el futuro.

6. Ecuacion de campo de Einstein

Veamos la forma concreta en que Einstein postulo como materia y electromagnetismo
influyen en el espaciotiempo. Apuntemos primeramente el diferente punto de vista que
sobre los espaciotiempos podramos tener los matematicos y los fsicos. Para un matematico
la metrica g existe a priori y es en (M; g ) donde se desenvuelve su estudio: la geometra de
(M; g). A veces para un fsico hay algun tipo de evidencia de como se distribuyen la masa
y la radiacion en una region del universo. La pregunta es entonces, que modelo geometrico
me puede representar dicha region? De una forma mas sencilla: conocida la masa y la
radiacion determinar la metrica de Lorentz g . Esta estrategia es la misma que cuando en
teora Newtoniana si se conoca la masa, dada por una densidad , se trataba de hallar el
potencial gravitatorio , para luego obtener el campo gravitatorio ?r. La herramienta
era la clasica ecuacion de Poisson
 = 21  con condiciones iniciales convenientes.
Sea (M; M; F ) un modelo relativista. El modelo material determina un campo de ten-
sores T llamado el tensor tension-energa de M. Asociado a F tambien hay un tensor ten-
sion-energa E (E es de tipo (0,2), simetrico y E (X; X )  0 para todo X causal en Tp M ,
para todo p 2 M ). Decimos que (M; M; F ) obedece la ecuacion de campo de Einstein si

G(g) = T + E;
donde G(g ) := Ric ? 12 Sg es el tensor de Einstein de g (S representa la curvatura escalar de
g). Puede uno mirar esta ecuacion como un sistema de diez ecuaciones diferenciales en gij ,
90
 A. Romero, Fundamentos Matematicos de la Relatividad General. Cosmologa

1  1  j  4, de segundo orden y no lineal. Primero se determina, si existe, la metrica g

localmente. Luego se estudia la prolongabilidad hasta una solucion maximal. La ecuacion
de campo de Einstein se puede reescribir como

Ric = T ? 21 (trazag T )g + E
de donde se deduce que Ric(X; X )  0, para todo X causal en Tp M , para todo p de
M . Esto da una condicion geometrica delimitando as que metricas de Lorentz pueden ser
soluciones de la ecuacion de campo de Einstein. Por otro lado, si Q 2 X(U ), U abierto
de M , g (Q; Q) = ?1, Q senala al futuro en todo punto y rQ Q = 0, ? 13 Ric(Q; Q) tiene
la interpretacion de aceleracion media relativa de los observadores integrales de Q, que
estaran en cada libre. Por tanto, Ric(Q; Q)  0 significa que, en media, la gravedad atrae.
Por otro lado, si (M; M; F ) obedece a la ecuacion de campo de Einstein, entonces

Ric = 0 () T = 0 y F = 0;
es decir, un modelo relativista con Ric = 0 representa una region del universo en donde
no hay masa ni radiacion, una region vaca! Por eso, un espaciotiempo con Ric = 0 se
dice una solucion de la ecuacion de campo de Einstein para el vaco. El espaciotiempo de
Lorentz-Minkowski (R 4 ; g 0 ), con g 0 = 3i=1 (dui )2 ? (du4 )2 , es llano y, por tanto, cumple
P

Ric0 = 0. Si
M = f(t; r)=t 2 R; r > 2mg  S2;
con m > 0, y

g = ?(1 ? 2rm )dt2 + (1 ? 2rm )?1 dr2 + r2 d2

siendo dr 2 la metrica usual de S2, entonces (M; g ) es un espacio tiempo, descubierto por
Schwarschild en 1916 al estudiar el campo gravitatorio en el exterior de un cuerpo esferico
simetrico. Se cumple Ric = 0, pero (M; g ) no es llano. Notese que usando coordenadas
esfericas podemos escribir g 0 = ?dt2 + dr 2 + r 2 d 2 , con lo que, intuitivamente hablando,
para r ! 1, g se aproxima a g 0 (r se puede interpretar como distancia al cuerpo esferico).
Con el espaciotiempo de Schwarschild se ha podido calcular el angulo que forma la luz
cuando pasa cerca del Sol y es atraida por la gravedad. Tambien se obtiene una estimacion
de la precesion del perihelio de Mercurio. Ambas cantidades han sido confirmadas con
bastante exactitud por datos experimentales.
Finalmente vamos a dar dos ejemplos del uso de la ecuacion de campo de Einstein.
Supongamos un modelo relativista (M; M; F ) con F = 0 y M = f(m > 0; " = 0; P;  )g
(una nube de polvo). Supongamos que verifica la ecuacion de campo de Einstein. Ponemos
Z = m1 P , entonces para todo x de M , (x; Zx ) es un observador instantaneo y la densidad
de energa que mide de M es  := m2 , y  coincide con la curvatura escalar de M . La
ecuacion de campo de Einstein nos da

div(Z ) = 0 y rZ Z = 0;
es decir, M satisface las ecuaciones materiales simples. Supongamos, ademas, que Z es
irrotacional (esto junto con rZ Z = 0 nos da la posibilidad de sincronizar uniformemente

91
PUBLICACIONES DEL DEPARTAMENTO DE MATEMATICAS Numero 14, Ano 1996, 8193

los observadores que son curvas integrales de Z ). Raychaudhuri demostro en 1955 lo si-
guiente: Si : [0; a) ! M es un observador en Z tal que (divZ ) (0) = b 2 (?1; 0),
entonces a  j3bj . Ademas, si se da la igualdad entonces limu!a= 3 ( (u)) = 1.
jbj

La funcion div (Z ) se interpreta como la 3-velocidad media relativa de los observadores

en Z . Decir que div (Z ) < 0 se interpreta como que los observvadores estan, en media,
aproximandose. La hipotesis (divZ ) (0) < 0 implica (divZ ) (u) < 0 para todo u, como
consecuencia de la ecuacion de campo de Einstein.
Este resultado nos dice que al observador le espera un futuro bastante horrible. En
un tiempo propio finito desaparece (en particular, M no es geodesicamente completo).
Ademas, en los ultimos instantes de su vida, percibira que sobre el actua una densidad de
energa enorme, no acotada.
Finalmente senalamos el siguiente resultado debido a Hawking, 1967, que aunque no
es el mas relevante si es quizas el mas sencillo de entender de entre los que obtuvo sobre
singularidades.
Sea (M; g;  ) un espacio tiempo y supongamos que se verifican:

1.Ric(X; X )  0 para todo X causal;

2. Existe una hipersuperficie espacial S embebida y compacta;

3. La segunda forma fundamental de S relativa a la orientacion temporal  tiene traza

positiva en todo punto de S .

Entonces cada geodesica temporal que senale al futuro e intersecte ortogonalmente a S ,

digamos : (?b; 0] ! M , b > 0, (0) 2 S y _ (0) ? T (0) M con g ( ;
_ _ ) = ?1 cumple
?b  ? c , siendo 3c el mnimo de la traza de la segunda forma fundamental sobre S .
1

Mientras que en el teorema de Raychaudhuri se predice un colapso hacia un agujero

negro, el teorema de Hawking afirma que alguna vez, hace ya mucho, existio un big
bang. Comentemos que (1) es una condicion que ocurre si el espacio tiempo es uno de los
componentes de un modelo relativista que satisface la ecuacion de campo e Einstein. (2)
es la forma matematica de describir un universo espacialmente cerrado. Si representamos
por r la conexion de Levi-Civita de M ,  el normal unitario de S senalando al futuro y
v 2 Tp M entonces Av := ?rv  2 Tp M y la segunda forma fundamental relativa a  es
h(u; v) = ?g(Av; w), v; w 2 Tp M . Llamamos H = ? 13 traza(A), que se llama curvatura
media de S relativa a  . (3) nos dice que H > 0 y H  c sobre todo S , donde c representa el
mnimo sobre el compacto S . Si movemos S por direcciones normales usando la variacion
normal Fu (p) = expp (up ), entonces para u pequeno Fu (S ) es una hipersuperficie espacial
compacta con

d  vol(F (S )):
vol(Fu (S )) = vol(S ) + u du  u
u0
d  R
d 
Ahora bien, du u0 vol(Fu (S )) = 3 S HdV , de manera que du u0 vol(Fu (S )) > 0, lo que
du u vol(Fu (S )) > 0, para u proximo a u0 . As para u  0 proximo a cero,
implica que d
vol(Fu (S ))  vol(S ), que se interpreta como una expansion del Universo. Brevemente, un
universo en expansion y espacialmente cerrado es singular en el pasado.

92
Bibliografa

[1] Beem, J.K. and Ehrlich, P.E. Global Lorentzian Geometry. Dekker, New York, 1981.

[2] Hawking, S.W. and Ellis, G.F.R. The Large Scale Structure of Spacetime. Cambridge
Univ. Press, 1973.

[3] Misner, C.W., Thorne, K.S. and Wheeler, J.A. Gravitation. Freeman, San Francisco,
1973.

[4] ONeill, B. Semi-Riemannian Manifolds with Applications to Relativity. Academic

Press, 1983.

[5] Parrot, S. Relativistic Electrodinamics and Differential Geometry. Springer-Verlag,

1987.

[6] Penrose, R. Techniques of Differential Topology in Relativity. Regional Conf. Ser. in

Applied Math. 7, Siam, 1972.

[7] Sachs, R.K. and Wu, H. General Relativity for Mathematicians. Grad. Text. in Math.,
48. Springer-Verlag, 1977.

[8] Sachs, R.K. and Wu, H. General Relativity in Cosmology. Bull. Amer. Math. Soc. 83
(1977), 11011164.

93