326

Apndice E

La curvatura del espacio: El tensor

de RiemannChristoel

Un espacio curvo frecuentemente se refiere a una geometra espacial que no es

plana, donde un espacio plano est descrito por la geometra euclidiana (en donde el
teorema de Pitgoras se cumple, i.e. la distancia mas corta entre dos puntos es la lnea
recta y la suma de los ngulos interiores de un tringulo da 180 ). Los espacios curvos
generalmente pueden ser descritos por la geometra de Riemann. Los espacios curvos juegan
un papel esencial en la teora de la relatividad general donde la gravedad es frecuentemente
visualizada como un espacio curvo. La mtrica curva de Friedmann-Lematre-Robertson-
Walker es la base actual para la descripcin de la espansin del espacio y forma del universo.
Un ejemplo muy simple de un espacio curvo bidimensional es la superficie de una
esfera. Aunque observemos a una esfera como un objeto tridimensional, si un objeto est
limitado a permanecer sobre su superficie, slo hay dos dimensiones para que pueda moverse,
por ejemplo, una hormiga que se mueve sobre una esfera suspendida, slo puede desplazarse
sobre la superficie de sta, ya que no puede atravesarla ni puede volar. Entonces, la superficie
de la esfera puede ser descrita completamente por dos dimensiones de un espacio curvo.
La curvatura del espacio-tiempo es una de las principales consecuencias de la teora
de la relatividad general de acuerdo con la cual la gravedad es efecto o consecuencia de la
geometra curva del espacio-tiempo. Los cuerpos dentro de un campo gravitatorio siguen
una trayectoria espacial curva, aun cuando en realidad pueden estar movindose segn lneas
de universo lo ms rectas posibles a travs de un espacio-tiempo curvado. Las lneas ms
rectas posibles de un espacio-tiempo se llaman lneas geodsicas y son lneas de curvatura
mnima.
Las matemticas generales para estudiar geometras curvas totalmente generales,
se llaman geometras de Riemann y fueron desarrolladas por Bernhard Riemann, discpulo
de Gauss.
La teora de los espacios curvos fue considerada una abstraccin matemtica que
nada tena que ver con la geometra del universo real durante todo el siglo XIX. Fue hasta
 327

despus de que Einstein desarroll la teora de la relatividad especial que las geometras
no-eucldeas fueron aplicadas a otras ciencias fuera de las matemticas.
En la teora de la relatividad, el espacio y el tiempo forman una variedad dife-
renciable, llamada espacio-tiempo. La curvatura del espacio-tiempo viene definida por el
tensor de curvatura de RiemannChristoel.
El tensor de RiemannChristoel se puede calcular de la diferencia entre las se-
gundas derivadas covariantes del componente covariante de un vector

; ; (E.1)

El trmino ; = (; ); es la derivada covariante de un tensor de segundo orden. Reescri-

biendo la derivada covariante de un tensor de segundo orden


; = (E.2)

y sustituyendo ; = en cada uno de los trminos del lado derecho de la igualdad


= (; ) =



= (E.3)



= ; = (E.4)



= ; = (E.5)

entonces tenemos que


; =



+ +



=



+ + (E.6)

Para el otro trmino, simplemente intercambiamos los ndices y , quedando
como


; =



+ + (E.7)

 328

por lo que la diferencia es

; ; =



+

!

= +

y la podemos expresar como

; ; = (E.8)
en donde

= +

es el tensor de curvatura de RiemannChristoel, el cual es un tensor de cuarto orden.
Como el tensor de Riemann-Christoel mide la curvatura del espacio, en el caso
de espacios Euclidianos, en donde la curvatura es cero, se tiene que

= 0

Debido a lo anterior, a los espacios euclidianos se les conoce como espacios planos.
La consecuencia ms relevante en los espacios euclidianos es que de acuerdo con
la Ec. E.8 se tiene que para este tipo de espacios

; ; = = 0

por lo que en los espacios euclidianos

; = ;

y que implica que se pueden realizar permutaciones en el orden de las segundas derivadas
covariantes.
Hablando en trminos generales, el tensor de Riemann-Christoel se puede con-
siderar como una medida de la no conmutatividad de la derivada covariante