Documentos de Académico
Documentos de Profesional
Documentos de Cultura
y si este concepto ser enunciado de modo tal que ser independiente del sistema de
coordenadas empleado para describirlo, entonces habiendo estado expuestos al tensor de
curvatura de Riemann nuestra primera ocurrencia tal vez ser emplearlo directamente en una
igualdad tensorial como la siguiente:
R = kT
en donde k es una simple constante de proporcionalidad (como 8). El problema con este
primer intento es que siendo el tensor de Riemann un tensor de orden cuatro la igualdad
tensorial requerira que el tensor energa-tensin T fuera tambin de orden cuatro. Pero ya
vimos que para nuestros propsitos un tensor energa-tensin T de orden dos parece ser
suficiente. Entonces, ms que estirar a T convirtindolo en un tensor de orden cuatro,
optaremos por convertir al tensor de curvatura de Riemann en otro tensor de curvatura de
orden dos derivado de R, siempre y cuando no estemos sacrificando algo importante. Y lo
primero que se nos viene a la mente es llevar a cabo unacontraccin tensorial del tensor de
Riemann igualando dos de sus ndices, lo cual lo convierte en un tensor de orden dos. Esto es
precisamente lo que se logra con el tensor de Ricci. El tensor de Ricci es un tensor que se
obtiene directamente del tensor de Riemann por una contraccin de dos de sus ndices. La
eleccin del ndice covariante a contraer no es fija (se aprovecha aqu la ocasin para recordar
que el proceso de contraccin activa automticamente la convencin de sumacin para ndices
repetidos). La contraccin se lleva a cabo entre el ndice superior y el segundo ndice inferior del
tensor de Riemann.
Al llevar a cabo una contraccin del tensor de Riemann, perdemos dos de los cuatro ndices que
especifican a los componentes de dicho tensor de curvatura. Por qu razn es suficiente un
tensor de dos ndices para describir el efecto -sobre el movimiento de los cuerpos- de la
curvatura causada en el 4-espacio de la Relatividad General por la presencia de masa-energa?
Porque para describir una 2-superficie en un espacio N-dimensional basta con especificar dos
coordenadas curvilneas, y las trayectorias geodsicas de los cuerpos en movimiento se llevan
a cabo precisamente sobre una 2-superficie (como ocurre con un satlite artificial que le est
dando vueltas a la Tierra siguiendo la geodsica de un arco sobre una superficie esfrica o
elptica imaginaria).
si llevamos a cabo una contraccin del primer ndice y el tercer ndice (el ndice superior y el
segundo ndice inferior), obtenemos el siguiente tensor covariante de orden dos:
R = R11 + R22 + R33 + R44 = R
En principio, otras contracciones del tensor de Riemannn son posibles. Podemos llevar a cabo
una contraccin entre el primer ndice y segundo ndice (el ndice superior y el primer ndice
inferior) y el primer ndice y el cuatro ndice (el ndice superior y el tercer ndice inferior), pero
en virtud de que el tensor R es antisimtrico en los ndices y y en los ndices y , todas
estas contracciones terminan desvanecindose idnticamente o reducindose a R -R . En
pocas palabras: El tensor de Ricci es la nica contraccin posible del tensor de Riemann.
al cual le subiremos el primer ndice con la ayuda del tensor mtrico g con la finalidad de poder
llevar a cabo una contraccin con cada uno de los tres ndices covariantes:
R = gxRx
El siguiente paso consiste en llevar a cabo la sumacin sobre el ndice contrado . La expansin
se llevar a cabo agrupando los sumandos de una manera cuya razn pronto ser obvia:
R =______________________
g11R11 + g12R21 + g13R31 + ...
+ g21R12 + g22R22 + g23R32 + ...
+ g31R13 + g32R23 + g33R33 + ...
Puesto que el tensor mtrico g, por su propia definicin, es un tensor mtrico, gij = gji, entonces
podemos introducir este hecho en lo anterior con lo que tras ello podemos proceder a la
borradura de los trminos positivos que son cancelados por los trminos negativos:
R =______________________
g11R11 + g12R21 + g13R31 + ...
- g12R21 + g22R22 + g23R32 + ...
- g13R31 - g23R32 + g33R33 + ...
Esto nos deja nicamente con los siguientes trminos diagonales en nuestro acomodo de
trminos :
Sin embargo, cada uno de estos trminos se va cancelando en virtud de la identidad que nos dice
que en un tensor de Riemann cuando los primeros dos ndices son iguales el valor se vuelve
cero, o sea:
R = 0
Llevaremos a cabo ahora la contraccin entre el ndice superior y el ndice inferior igualando
ambos ndices sobre la expresin dada atrs anteriormente:
R = R = g1R1 + g2R2 + g3R3 + ...
Reagrupando y usando la propiedad de simetra del tensor mtrico gij = gji, podemos llevar a
cabo la siguiente simplificacin:
R =______________________
g11R11 + g22R22 + g33R33 + ...
+ g21(R21 + R12) + g13(R31 + R13)
+ g23(R32 + R23) + ...
Este definitivamente no es un tensor cero, a menos de que todas las componentes del tensor de
Riemann o todas las componentes del tensor mtrico sean iguales a cero. Este es el tensor de
Ricci.
Por ltimo, llevaremos a cabo la tercera contraccin posible que podemos llevar a cabo en el
tensor de Riemann, la que se puede efectuar entre el ndice superior y el ndice inferior
igualando ambos ndices sobre la expresin dada anteriormente:
R = R = g1R1 + g2R2 + g3R3 + ...
Usando la propiedad del tensor de Riemann segn la cual si intercambiamos los ltimos dos
ndices el signo del componente se invierte:
R = - R
Pero esto ltimo es esencialmente lo mismo que ya obtuvimos con anterioridad en un paso
intermedio que nos conduca al tensor de Ricci, pero con el signo opuesto, o sea:
R = - R
El tensor de Ricci era el tensor favorito de Einstein, esto en virtud de que la definicin del
tensor Gde Einstein para formalizar matemticamente la curvatura en el espacio-tiempo que se
nos manifiesta como la gravedad depende directamente del tensor de Ricci. l fue el primero en
darse cuenta de la importancia de ese tensor para la construccin de una teora de la gravedad.
En la siguiente fotografa tenemos a Einstein en una visita famosa que hizo a Mount Wilson para
agradecerle personalmente a Edwin Hubble su descubrimiento astronmico que permiti
abandonar el modelo del Universo esttico por un Universo inflacionario en expansin:
Rik = 0 ?
El signo de interrogacin que puso Einstein a la derecha de la expresin indica las dudas
personales que ya albergaba sobre el modelo del Universo esttico al cual se haba aferrado y por
el cual introdujo en su ecuacin tensorial la constante cosmolgica que tiempo despus llamara
el error (intelectual) ms grande de su vida.
Al presentar al mundo sus ecuaciones de campo, Einstein hizo la suposicin central de que en el
espacio vaco el tensor de Ricci tiene un valor de cero:
R = 0
Esta expresin constituye esencialmente la ley de gravitacin universal de Einstein. La frase
espacio vaco significa aqu que no hay ningn tipo de materia presente (como un gas de polvo
interestelar o partculas atmicas libres) ni hay campos fsicos de ninguna ndole excepto el
campo gravitacional, el cual en s no perturba este vaco a diferencia de otros campos (como el
campo electromagntico) que s lo hacen. Las condiciones de un espacio vaco se cumplen
razonablemente bien para el espacio entre los planetas del sistema solar. El espaciotiempo plano obviamente satisface la ecuacin arriba mostrada; las geodsicas en tal caso son
lneas rectas de modo tal que las partculas se mueven a lo largo de lneas rectas. En aquellas
regiones en donde el espacio-tiempo no es plano, la ecuacin de Einstein impone restricciones al
tipo de curvatura posible. A primera vista, la ley de gravitacin de Einstein no se parece en nada
al esquema de Newton. Para poder ver una similitud, debemos ver a los componentes g del
tensor mtrico como potencialesque describen al campo gravitacional. Hay diez de ellos, en
lugar de un solo potencial que distingue a la teora Newtoniana, y estos diez potenciales no slo
describen al campo gravitacional sino al sistema de coordenadas empleado.
Una vez que tenemos el tensor covariante de Ricci R, aplicndole a dicho tensor con la ayuda
de un tensor mtrico g contravariante una contraccin sobre sus dos ndices obtenemos un
escalar R (un tensor de orden cero) conocido como el escalar de Ricci:
R = gR
el cual viene siendo a fin de cuentas el resultado de una doble contraccin llevada a cabo sobre
el tensor de Riemann:
R = gR = g gR
Con el tensor de Ricci en nuestras manos, nuestro primer intento en construr una nueva teora
fsica con los tensores R = (R) y T = (T) parecera estar solucionado. Con los dos tensores de
orden dos la curvatura geomtrica del espacio-tiempo puede ser igualada con la presencia de la
masa-energa que produce dicha curvatura. Esto fue precisamente lo que hizo Einstein. Pero las
primeras aplicaciones no slo produjeron resultados poco satisfactorios, sino inclusive
contradictorios. La teora correcta para describir la nueva realidad fsica requera una
modificacin del tensor de Ricci. El nuevo tensor construdo modificando el tensor de Ricci
result ser precisamente el tensor de Einstein definido de la siguiente manera:
Resulta claro que el tensor de Einstein G es esencialmente un tensor mixto de orden dos, y la
diferencia entre el tensor de Ricci R y el tensor de Einstein G se observa con mayor claridad
viendo la representacin matricial de los componentes del tensor de Einstein:
Puesto que el tensor de Ricci es un tensor simtrico, y puesto que el tensor de Einstein lo nico
que hace es modificar las entradas en la diagonal principal, el tensor de Einstein tambin es un
tensor simtrico.
PROBLEMA: Demostrar que la divergencia del tensor de Einstein es cero en todos los puntos.
El procedimiento usual consiste en llevar a cabo una doble contraccin sobre la segunda
identidad de Bianchi por medio del tensor mtrico. La segunda identidad de Bianchi es:
R; + R; + R; = 0
g[R; + R; + R;] = 0
R; - R; + R; = 0
Los dos primeros trminos se convierten en las derivadas covariantes de tensores de orden dos:
R; - R; + R; = 0
Hasta aqu hemos utilizado la propiedad esencial del tensor mtrico segn la cual:
g; = 0
y siendo el tensor mtrico conjugado una funcin del tensor mtrico entonces:
g; = 0
gR; = - R;
Esto se simplifica a:
R; - R; + (- R; ) = 0
R; - 2 R; = 0
Pero lo que tenemos dentro del parntesis, si lo dividimos entre 2, es precisamente el tensor de
Einstein. Entonces, juntando los dos ndices arriba con la ayuda del tensor mtrico, obtenemos
el resultado deseado:
G; = 0
Este es un resultado fundamental, porque si la derivada covariante del tensor de Einstein, o sea
su divergencia, es cero, entonces del otro lado de la ecuacin primaria de la Relatividad General
la divergencia del tensor energa-tensin T tambin debe ser cero. En pocas palabras, el que la
divergencia del tensor de Einstein sea cero implica la conservacin de la energa-momentum.
Como lo acabamos de hacer arriba, con la ayuda del tensor mtrico podemos convertir
liberalmente al tensor de Einstein en un tensor contravariante de segundo orden:
G = R - gR = G
el cual como se ha sealado aqu es un tensor simtrico. Y del mismo modo, podemos convertir
al tensor de Einstein en un tensor covariante de segundo orden:
G = R - g R = G
G = 8T