Curvatura del espacio-tiempo

Coordenadas locales inerciales

La existencia de curvatura en el espacio-tiempo conlleva la imposibilidad

de definir un sistema de coordenadas para el cual la mtrica est dada por
en todos los puntos de la variedad . As no es posible elegir un
sistema global inercial de coordenadas, como podemos hacer en el espacio-
tiempo de Minkowski. En su lugar nos vemos obligados a usar sistemas de
coordenadas arbitrarios , que etiquetan los sucesos del espacio-tiempo, y
aunque en general no tienen un significado fsico preciso, se eligen
frecuentemente una coordenada de tipo temporal , y tres coordenadas de
tipo espacial . Esto quiere decir que el vector tangente a la curva es de
tipo temporal en todos sus puntos, y lo mismo, cada vector tangente a las
curvas es de tipo espacial en todos sus puntos.

De todas formas, independientemente a la eleccin de coordenadas, como

demanda el Principio de Equivalencia, todo problema fsico asociado a un
suceso del espacio-tiempo puede analizarse en un sistema de
coordenadas local e inercial, el cual en un entorno del punto , y
durante un espacio corto de tiempo, corresponde al sistema cartesiano en
cada libre y sin rotacin. Matemticamente se define alrededor de un
sistema de coordenadas tal que

( ) ( )

Con esto, se satisface ( ) , y adems los vectores de la base

coordenada en el punto forman un conjunto ortonormal

( ) ( )

Existe un nmero infinito de sistemas de coordenadas inerciales en , todos

ellos relacionados entre s por transformaciones de Lorentz, de forma que

En todos estos sistemas de coordenadas, el vector de la base de tipo

temporal ( ) define el vector normalizado de 4-velocidad para el origen
de coordenadas localizado en , mientras los vectores de la base de tipo
espacial definen la orientacin de los ejes espaciales del sistema. En
general, para puntos en la vecindad de , la mtrica en el sistema de
coordenadas inercial satisface

( ) ( )

y es el valor relativo de las derivadas segundas ( ) (esto es, las

fuerzas de marea, debidas a la inhomogeneidad del campo), el que
determina la regin del espacio-tiempo sobre la cual es vlida la
aproximacin ( ) .

El tensor de Riemann

La existencia de una conexin ( ) nos permite introducir el concepto de

paralelismo sobre cada curva en , que es intrnsecamente dependiente
de la trayectoria seguida: el vector paralelo ( ) al vector ( )
sobre la curva ser diferente al vector paralelo ( ) sobre la curva
, aun cuando los puntos inicial y final sobre las curvas, digamos y ,
sean los mismos.

Determinamos entonces la diferencia exacta entre estos dos vectores

transportados paralelamente.

Demostracin Consideremos las curvas integrales de dos campos

vectoriales, e , que conmutan entre s. Esto es,

[ ] ( ) ( ) ( )

Podemos aplicar ahora la definicin de la derivada de Lie sobre una

funcin,

( ) ( )

y dado que el conmutador de dos vectores cualesquiera de la base satisface

[ ]

siendo los llamados coeficientes de estructura, tenemos adems

( ) [ ] ( )

Con esto, la ecuacin [ ] da lugar a

( ) ( )


( ) ( )

Escogemos ahora coordenadas tales que y , y

entonces tomamos los parmetros y , y consideramos las
trayectorias de la figura con coordenadas con . Aqu , son las
curvas integrales de , parametrizadas por , mientras que , son las
curvas integrales de , parametrizadas por .

Cualquier vector arbitrario en que se desplace sobre la trayectoria que

va de a , y de ah al punto , se ver aplicado en el vector

( ) ( )

y por la segunda trayectoria, de a , y de ah al punto ,se ver aplicado

en

( ) ( )

La diferencia exacta de los dos vectores ser

Asumimos que los puntos estn lo suficientemente cerca como para que la
variacin de parmetros
sea infinitesimal. Podemos entonces escribir las componentes

[ ( ) ( )] [ ( )] [ ( )]

hasta orden dos en la forma

[ ( )] ( ) ( ) ( )

[ ( )] ( ) ( ) ( )

teniendo en cuenta que en la segunda expresin evaluamos en el punto .

Realizando la multiplicacin, y tomando el segundo orden en la distancia
paramtrica respecto a , obtenemos

[ ( ) ( )]
( ( ) ( ) ) ( )

( )( ) ( ) ( )

(( ) ( ) ( ) ( ) )

utilizando la propiedad de la conexin

( ) ( ) ( ) ( )

Intercambiando por y por , y restando la expresin resultante,

obtenemos salvo trminos de orden , o superior

( )

donde

( ) ( )

Recordamos aqu que en general

( )
La aplicacin es multilineal, y por construccin depende slo del
conector, y no del campo dual de la base , y por tanto si la conexin no
tiene torsin, por ejemplo cuando para cualquier funcin,
depende slo del tensor mtrico. Queda caracterizada por un tensor de
valencia ( ), conocido como el tensor de Riemann, y describe la
propiedad estructural bsica del espacio-tiempo conocida como curvatura.

La existencia en de un tensor de Riemann no nulo expresa la

imposibilidad de definir un sistema de coordenadas en cualquier parte de la
variedad que d lugar a una base coordenada ortonormal en cada punto de
sta. Si fuera posible, la variedad se denomina plana, y si no, variedad
curvada.

La consecuencia natural de la dependencia del conector con la trayectoria

recorrida es la no conmutatividad de las derivadas covariantes. Por
ejemplo, si son campos vectoriales tenemos

( ) [ ]

que se denomina identidad de Ricci.

Propiedades del tensor de curvatura

Dado el papel fundamental que tiene el tensor de Riemann en la relatividad

general, es esencial conocer sus propiedades de simetra y determinar las
identidades que se obtienen con su aplicacin.

La forma ms conveniente es referirnos a un sistema de coordenadas

normales o geodsicas, adaptadas al punto de , que fsicamente reciben
el nombre de localmente inerciales. En el punto los smbolos de
Christoffel son nulos, esto es, se satisface

Verificamos las propiedades de simetra del tensor de Riemann en este

sistema de coordenadas. La primera propiedad de simetra se deduce de su
propia definicin

La expresin para el tensor en coordenadas normales es

 [ ]

Podemos bajar el ndice contravariante con ayuda del tensor mtrico en la

forma

[ ]

y deducimos dos propiedades de simetra ms

junto con

[ ]

El carcter tensorial en la expresin de las simetras asegura que dichas

relaciones sean ciertas en un sistema de coordenadas general. Con la
aplicacin de dichas simetras, puede demostrarse que el nmero de
componentes independientes, para un espacio dimensional es igual a

( )

de forma que en el espacio-tiempo 4-dimensional este tensor tiene, en

general, 20 componentes independientes.

Curvatura escalar. Tensor de Ricci

A partir del tensor de curvatura, por contraccin de dos de sus ndices,

definimos el denominado tensor de Ricci, en la forma

simtrico y con ( ) componentes independientes. Para una base

coordenada, tiene la expresin

| | ( | | ) ( | | )

Un ltima contraccin en los dos ndices del tensor de Ricci da lugar a un

escalar denominado curvatura escalar:
Ecuacin de la desviacin geodsica

Esta ecuacin relaciona la tendencia de las geodsicas vecinas a llevar una

aceleracin relativa entre s con la curvatura del espacio-tiempo. Por tanto,
permite tener una caracterizacin diferente de la curvatura, y tambin juega
un papel importante en la justificacin de la ecuacin de Einstein, as como
en el desarrollo de los teoremas de singularidad del espacio-tiempo.

Sea, segn la figura, ( ) una familia uniparamtrica de geodsicas, tal

que para cada valor de , la curva es una curva geodsica con el
parmetro afn . Se asume que la aplicacin ( ) ( ) es suave, uno-
a-uno, y con inversa suave, y sea la subvariedad bidimensional generada
por el conjunto de estas curvas geodsicas, cuyas coordenadas escogemos
como y .

Respecto a estas coordenadas, los campos vectoriales coordenados estn

dados por, en componentes

( ) ( )

El campo vectorial es tangente a la familia de curvas geodsicas, y por

tanto, se transporta paralelamente a s mismo, esto es

donde denota la derivada covariante. Asimismo el campo vectorial

representa el desplazamiento de una geodsica infinitesimalmente cercana
a la geodsica dada, y se denomina vector de desviacin. Dado que ambos
vectores son coordenados, conmutan entre s, de forma que se satisface

Y a partir de aqu, deducimos que es constante a lo largo de cada

geodsica

( ) ( )

donde en la primera igualdad hemos aplicado la ecuacin geodsica para

, en la segunda igualdad hacemos uso de la conmutacin de los vectores
y , y la ltima igualdad se debe a que la condicin de normalizacin
 sobre la geodsica se preserva por transporte paralelo. Por
tanto,

sobre la familia de geodsicas.

Retomando el estudio del vector de desviacin, la cantidad

nos da la tasa de cambio, a lo largo de la geodsica, del desplazamiento de
una geodsica infinitesimalmente cercana, y por tanto puede interpretarse
como la velocidad relativa de esta geodsica infinitesimalmente cercana a
la geodsica dada. Similarmente, interpretamos

( )

como su aceleracin relativa. Desarrollando el trmino de la derecha,

derivamos una ecuacin que relaciona la aceleracin con el tensor de
Riemann. Tenemos

( ) ( )
( )
( )

Esta ecuacin se denomina ecuacin de la desviacin geodsica, y nos

permite caracterizar el efecto de la curvatura: Obtenemos para
todas las familias de geodsicas s y slo si . Y las curvas
geodsicas sufrirn una aceleracin que les acercar o alejar entre s, y en
particular geodsicas inicialmente paralelas no se podrn mantener en
paralelo, s y slo si .