CALCULO DIFERENCIAL ABSOLUTO

EN ESPACIOS DE RIEMANN

En los aledaños de la Relatividad General

Gregorio Ricci-Curbastro (1853-1925) y un estudiante suyo, Tullio Levi-Civitta

(1873-1941), fueron los pioneros en el desarrollo del calculo tensorial, que recibió
el empuje definitivo al convertirse en la herramienta matemática clave que
permitiría a Albert Einstein una exposición coherente de la Relatividad General,
estableciendo la transformación de sistemas referenciales mediante diferenciación
absoluta de magnitudes vectoriales y tensoriales.

Ambos publicaron en 1901 El Cálculo diferencial absoluto (“Méthodes de calcul

diférentiel absolu et leurs applications”, Mathematische Annalen 54, 125-201
(1901)), su obra más famosa, que está hoy traducida a diversos idiomas y es uno
de los textos clásicos de referencia del cálculo tensorial, más de un siglo después
de su primera publicación.

1
 1. INTRODUCCIÓN A LOS ESPACIOS DE RIEMANN

01.1. Definición de Espacio de Riemann:

El hecho de que se anule en los espacios euclidianos el tensor de curvatura de

Riemann-Christoffel nos permite pensar en la posibilidad de que pueden existir
otros espacios, en general distintos a los euclidianos, en los que el antedicho tensor
de curvatura no siempre sea nulo. Espacios que serían más generales que los
euclidianos, esto es, espacios de los cuales los euclidianos corresponderían al caso
particular en que Rni ,hk = 0 .

Estos espacios más generales serían los Espacios de Riemann.

Para definir, por consiguiente, un Espacio de Riemann, hemos de procurar que sus
magnitudes y propiedades coincidan con las de los espacios euclidianos, inclusive
en lo que respecta al tensor de curvatura. Así, se ha de cumplir la simetría e
inversibilidad de la métrica y la expresión contravariante del elemento diferencial
de longitud.

Un espacio de Riemann de n dimensiones es un par constituido por una variedad

n-dimensional Vn y una métrica gik.
1 n
Una variedad n-dimensional Vn es un conjunto de n variables x , ..., x , que pueden
representar longitudes, ángulos, etc., y que están definidas en correspondientes
intervalos de números reales I1, ..., In.

i
... 
...
 .. ...
. ...

...
 ...
  

Espacio de Riemann: Rn = (Vn , (gik )n )

La métrica nos indica la forma de representación de la variedad n-dimensional, esto
es, para cada métrica hay una forma de representación. La distancia entre dos
puntos infinitamente próximos, o elemento diferencial de longitud, ds, podemos
expresarla, como en los espacios euclidianos por:

r2 r r i r k r
dx = (dx , dx ) = (i dx e k, dx e ) = dx dx (er , er )
i
i
k
k
ik
i k
= g dx dx
o sea
ds 2 = gik dxi dxk

Esto es, en forma desarrollada, significa que

2
  11 ... g1n 

g .. 
... ... 
ds 2 = (dx1 ,..., dx n   ...
. ... 
... ...

) 
 ... g nn 
dx

Cumpliéndose por lo demás que: g n1 

= ( g jk ) , ds 2 = g jk dx j dxk
jk −1
g ij = g ji , g

Y los símbolos de Christoffel pueden definirse, de manera concordante con la

expresión que tienen en los espacios euclidianos, por:

1  ∂g ∂g ik ∂g ij
de primera especie: (ij, k ) =  i + − k
2  ∂x ∂x j 
jk ∂x 

de segunda especie:
Γij = (ij, k ).g
k
kh

Veremos que todos estos símbolos verifican en el Espacio de Riemann las mismas
propiedades de simetría, tensorialidad, etc., que en los Espacios Euclidianos.

01.2. El ejemplo de las variedades bidimensionales de Riemann:

En el caso de las variedades bidimensionales, podemos definirlas simplemente por

su métrica, esto es, por los elementos de la matriz métrica en cada punto de la
variedad (generalmente son variables los elementos de este tensor en los puntos
de un espacio de Riemann), o bien, podemos definirlas por su representación
inmersa en una variedad euclidiana ordinaria tridimensional, y obtener su métrica
desde la expresión del elemento diferencial de longitud en la variedad euclidiana:

1 1 2 2
Representación en la variedad euclidiana: x = x ( x, y, z), x = x ( x, y,

2 2 2
El. diferencial de longitud en la variedad euclidiana ordinaria: ds = dx + dy + dz

En el siguiente ejemplo definimos tres variedades bidimensionales de Riemann

mediante su representación en una variedad euclidiana ordinaria tridimensional, la
representación plana, la representación esférica y la representación cilíndrica.

Ejemplo:

Supongamos la variedad de dos dimensiones definida por

 1 2 1 2 1 1
V2 =  x , x / x ∈ (0,2π ) ⊂ R, x ∈ (− π ,+ π ) 

 2 2 
⊂ R
o bien, si llamamos por comodidad u y v a las variables:

3
  1 1
V2 = u, v / u ∈ (0,2π ) ⊂ R, v ∈ (− π ,+ π ) 
 2 2 

⊂R
veamos las tres formas diferentes de representación de esta variedad, cada una de
ellos con su correspondiente métrica gik:

a) Forma de representación plana. Es el caso en el que las dos variables

representan longitudes:

u = x, v = y

2 2 2 2 2 2
ds = dx + dy + dz = du + dv + 0
=  1 0 
= (du, du 

dv )  0 1 
dv 
Métrica de la representación:

1 0
(gik )2 = 
 
0 1

b) Forma de representación esférica de radio r. Corresponde al caso en el que

las variables representan ángulos:

u=ϕ,v=
φ
ds = dx + dy + dz = [d (r cos φ .cos ϕ )] +
2 2 2 2 2

+ [d (r cos φ .senϕ )] + [d (rsenφ )]

2 2

=
2 2 2 2 2 2 2 2 2
= r sen φ .dφ + r cos φ .dϕ + r cos φdφ
=
O sea:
 r 2 cos 2 v 0 
ds 2 = (du,  
2
du 0 r  dv
 
dv ) 

Métrica de la representación:
x = r cos φ .
cos ϕ  2r cos2 0
y = r cos φ .senϕ (g ik )2 
= 2

v 0 r 
z = rsenϕ 

4
 c) Forma de representación cilíndrica de radio r. Es el caso en el que una de las
variables representa un ángulo y la otra una longitud:

u=ϕ,v=h

ds = dx + dy + dz = [d (r cos ϕ )]
2 2 2 2 2

+
+ [d (rsenϕ )] + [dh]
2 2

=
2 2 2 2 2 2 2
= r sen ϕ .dϕ + r cos ϕ .dϕ + dh
O sea:
 r 0 
ds 2 = (du, dv )
2
 du


 1 
 
Métrica dv
0 de la representación:
x = r cosφ
r 0
y = r cosφ (g ik )2 = 2

0 1
z=h


01.3. Las condiciones de definición de la métrica y símbolos de Christoffel:

Un espacio de Riemann, o variedad limitada de espacio de Riemann, es, en

definitiva, un conjunto de variables definidas en intervalos reales, una variedad,
junto con una métrica o representación. Esto nos indica que estos espacios son más
generales que los espacios euclidianos, variando en general la métrica en cada uno
r
de los puntos de la variedad, es decir, g ik = g ik ( x ), r = 1,...,

Puesto que pretendemos que estos espacios sean una generalización de los
espacios euclidianos, hemos de exigirle a la métrica las condiciones de simetría e
inversibilidad necesarias para ello.

Se cumplirán, por consiguiente, relaciones análogas a las de los espacios

euclidianos:

1) Simetría y definición positiva de la métrica:

g ik = g ki , g jj > 0

2) Inversión de la métrica:

g g ik = δij
jk

5
 3) Relación entre las componentes covariantes y contravariantes de un vector:

jk
v = g v j , v j = g jk v
k k

4) Producto interior:
r r
(u , v) = g jk uj k

v
5) Elemento diferencial de longitud:

ds 2 = g jk du j duk = duk duk = g jk duk du

6) Símbolos de Christoffel de primera especie:

1
(ij, k ) = (∂i jk + ∂ j gik − ∂ k gij )
2
g
7) Símbolos de Christoffel de segunda especie:

Γijk = (ij, h).gkh

8) Tensor p-covariante, q-contravariante. Variación en los cambios de coor-

denadas:

t i1...iq
' j1... jp = Ak1j1 ...Akpjp .Bi1h1...Biqhq h1...hq
.tk1...kp
siendo:
r i r ∂x
i
r r ∂x'k r
e k' = Ak ei k ei , k = 1,..., ei = Bik e'k = i e k' , i = 1,...,
∂x' ∂x'
= n n
Veamos que definiendo estas magnitudes del modo expuesto, se verifican las
mismas propiedades básicas para la métrica y símbolos de Christoffel que se
verifican en un espacio euclidiano. Sin embargo, al variar la métrica en cada punto,
varían también los símbolos que dependen de ella. Esto quiere decir que para un
sistema de coordenadas dado, los símbolos de Christoffel que definamos varían en
cada punto de la variedad.

Teorema:

Los símbolos de Christoffel son simétricos y solo tienen carácter tensorial si los
cambios de variables o coordenadas en la variedad son lineales.

En efecto:

a) Para los símbolos de primera especie se verifica:

Simetría:
1 1
(ij, k ) = (∂i jk + ∂ j gik − ∂ k gij ) = (∂j gik + ∂i g jk − ∂k g ji ) = ( ji, k
2 2
g )

6
Comportamiento en los cambios de coordenadas:

i j i j i j i j k i j i j
∂ s g 'pq = Ap Aq ∂s gij + Aps Aq gij + Ap Asq gij = A p Aq sA k∂ ijg + A ps qA ijg + pA sqA ij
i j k i j i j k j i i j i s
∂ p g 'qs = As Aq Ap ∂k gij + Aps Aq gij + A s A pq ijg = sA qA pA i∂ kj g + psA qA ijg +s A pqA ij
i j k i j i j i j k i j i j
∂ q g 'ps = Ap As Aq ∂k gij + Apq As gij + Ap Asq gij = A p A q sA ∂ g +A
j ki pq sA ijg + pA sq A ij
g
1 1 i k j
( pq, s )' = (∂gqs ' +∂g ps ' −∂g pq ' p s q i kj ) = j A ki A kA ij.(∂ g pq+ s∂ g ij −
12 2 2
∂ g ) += A2i A
i j
Ak AAj .(gij, k= ) + A
i j
p s q pq As g

ij
En definitiva:

( pq, s )' = iAp A q As .(ij, k ) + As pq A g ij

j k i j

Por tanto, si es
Apq = 0 , esto es, si los cambios de coordenadas son lineales,
i

entonces el símbolo de Christoffel de primera especie es un tensor covariante de

orden 3 (tensor 3-covariante)

b) Para los símbolos de segunda especie:

Simetría:
Γijk = (ij, s).g ks = ( ji, s) .gks = Γ kji

Comportamiento en los cambios de coordenadas:

Γ' pq = ( pq, s )'.g ' = pA qA s A (ij, kk)Bh B g pq+ A

r rs i j k r s kh i
kh r s
s ij g Bk Bh
j
A g = Ai A j B r (ij, k )g kh + Ai B r = Ai A j B r Γ h + Ak
p q h pq k p q h ij pq k
r
B
(puesto que Aks Brk = δ rs , Asj Bsh = δ jh ⇒ g ij .gkh = gih g kh = δ ik )

y queda finalmente:

Γ'r pq = Ai p Ajq Brh Γhij + Ak pq r

Bk
[01.3_1]
Esto nos indica que si es
A = 0 , esto es, si los cambios de coordenadas son
i
pq
lineales, entonces el símbolo de Christoffel de segunda especie es un tensor 2-
covariante y 1-contravariante.

Teorema:

Para los símbolos de primera y segunda especie de Christoffel se verifican,

respectivamente, las identidades de Ricci y Christoffel.

En efecto:

7
 a) La Identidad de Ricci:
(ij, k ) + (ik , j ) = ∂ i
En efecto: g kj
1
1
(ij, k ) + (ik , j ) = i (∂jk g j ik − ∂k gij ) + (∂i gkj + ∂k gij − ∂j gik ) = 1∂ g+1∂ g
i jk i kj = ∂i gjk
2 2 2 2

b) La Identidad de Christoffel:

Akpq = Akr Γ'r pq − Ai p Aj q k

Γij
En efecto:

r i j r h k r
Partiendo de la relación obtenida antes Γ' pq = Ap Aq Bh Γij + Apq Bk , se tiene, al
k
multiplicar ambos miembros por Ar :
Γ'r pq Ar = Ai p Ajq Br h Ak r Γhij + Ak pq Br k k
k

y queda: Ar

Γ' rpq Akr = Aip Aqj δ hk Γhij + Akpq δ = Aip Aqj Γijk + Akpq ⇒ A kpq = Γ' rpq Akr − Aip Ajq Γkij
hk

Teorema:

k r
Las transformaciones de variables x ( x' ) que transforman una métrica
de coeficientes constantes en otra métrica también de coeficientes constantes han
de ser lineales:

k r r
x ( x' ) = Fx' +G, F , G cons tan

En efecto:
g ik = cte ⇒ ∂ j g ik = ∂ k g ij = ∂ i g jk = 0 ⇒ (ij, k ) = 0 ⇒ Γij k =
0
de la identidad de Christoffel, tenemos que:

k r i j k k ∂ k k
Apq = Ar Γ'pq − Ap Aq Γij = 0 ⇒ Apq = 0 ⇒ ∂q Ap = 0 ⇒ Ap = cte = F
k

O sea:
∂xk k r
p = F ⇒ x = F.x' +G
∂x'

01.3. Espacios tangentes:

Para un espacio de Riemann Rn = (Vn , ( gik )n ) , sabemos que la métrica varía en

punto
cada de la variedad. Si consideramos el valor de la métrica [(g ) ] en un punto
ij n 0

P0 ( y ) dado, llamaremos Espacio Euclidiano Tangente en el punto P0 ( yk ) ,

k

al
espacio euclidiano cuya métrica es [(g ) ] .
ij n 0

8
Así, por ejemplo, el Espacio Euclidiano Tangente a una Variedad bidimensional de
k
métrica esférica en un punto P0 ( y 0 ), k = 1,2 es el plano euclidiano de métrica
constante dada por
 r 2 cos 2 (0 y 0
(g )
ij 2

= 2

 0 r


En general dos espacios Rn(1) y Rn(2) se dicen tangentes en un punto dado P si

pertenece a ambos espacios y las métricas de los dos espacios coinciden en dicho
punto:
(g ) (1)
ij n = (g ij )n
( 2)

Dos espacios tangentes se dicen osculadores en el punto P si se verifica que

∂ k g(1)ij = ∂ k g( ij2)

9
 02. DERIVACIÓN ABSOLUTA COVARIANTE EN LAS VARIEDADES DE
RIEMANN

02.1. Derivada covariante de una función escalar:

k k
Sea una variedad V(y ), de variables y , k=1,...,n, y métrica (gik)n. Consideremos la
k
función escalar U=U(y ). Derivando con respecto a las n variables se obtienen n
funciones escalares:

∂U
Uk = k
= ∂ kU (k = 1,..., n)
∂y
k k r
en un cambio de coordenadas de la forma y =y (y’ ) se verifica que

∂U ∂U ∂yk
U =
'
p = k
= ApkU k
∂y
'p ∂y ∂y ' p

puesto que U 'p = Akp .U k , las n funciones Uk resultan ser las componentes
covariantes de un vector que podemos denominar vector derivada covariante del
escalar U.

02.2. Derivada covariante de un vector dado en la forma contravariante:

i i k
Si las v =v (y ), i=1,...,n, representan las componentes contravariantes de un
k k r
vector, se tiene que, en un cambio de coordenadas y =y (y’ ):

∂ ∂v i ∂ i r ∂y'
p
= k (Ar v' ) = p (Ar v' ) k = (Arpi v'r + Ar i ∂p' v'r )Bk
i i ri r
v = A v' ⇒ rk
∂y ∂y ∂y' ∂y
p
o sea:
∂ k vi = Ai rp Bpk v'r + A
i p '
r Bk ∂ p
r
[02.2_1]
v'
que no es un cambio tensorial debido al primero de los sumandos de la expresión.
Para este sumando podemos utilizar la identidad de Christoffel:

Airp = Aia Γ'arp − m

Anp Γimn
Ar
y al sustituir en el primer sumando queda asi:

p r i p a r m n p i r i p a r m k i r
Arp Bk v' = Aa Bk Γ'rp v' − Ar Ap Bk Γ
i
mn v' = Aa B k Γ'
rp v' − r A nδ mnΓ v'
i p a r m i r i p a r
= Aa B k Γ'rp v' − Ar Γmk v' = A a Bk Γ'rp v' −Γ mk v
m

por lo cual, la derivada covariante [02.2_1] resulta:

∂ k vi = Ai a Bpk Γ'a rp v'r −Γi mk vm + Ai r Bp k ∂' p r

v'
y reordenando con respecto a las coordenadas:

∂ k vi + Γi mk vm = Ai a Bp (k '∂ p av' +Γ' rp )

a r

v'

10
 i i m i
si llamamos Dk v = ∂ k v + v Γmk ,

Dk vi = Air .Bpk .D' p vr

que es la derivada covariante absoluta del vector de componentes contravariantes

i i k
v =v (y ), i=1,...,n, y presenta, por tanto, carácter tensorial. Se trata de un tensor
de segundo orden mixto (1-covariante, 1-contravariante).

02.3. Derivada covariante de un vector dado en la forma covariante:

k
Si llamamos vi=vi(y ), i=1,...,n, a las componentes covariantes de un vector y
repetimos los pasos anteriores obtenemos de forma análoga la expresión de la
derivada absoluta covariante, que aquí es de la forma

Dk vi = ∂ k vi − vm m
Γki
Cumpliéndose la relación tensorial:

Dk vi = Bip Brk D'p v'r

Por lo que se trata de un tensor de segundo orden covariante.

02.4. Derivada covariante de un tensor 2-covariante:

Sea el tensor 2-covariante expresado en un cambio de coordenadas por

trs' = Ari Asj tij . Se tiene:
∂( Air Aj s ) ∂tij ∂yk
= (Airp Ajs + Ar Asp).tij + Air Aj s .Akp ∂ k tij
i j
∂ ' p t' rs = p
.t ij + Ai j
r As . p
[02.4_1]
∂y' ∂y ∂y'
k
Utilizamos la Identidad de Christoffel:

i a m n i i j i j a m n j i
Arp = Aa Γ'rp − Ar Ap Γmn ⇒ Arp As = Aa As Γ'rp − A A
p A Γ
i
r s mn
i j a m n j i
⇒ ArpA s tij = Γ'rp tas' − Ar Ap As Γmn tij

también:
Aspj Air tij = Γ'asp t' ar − Ams An p Aj r i

Γmntij
Sustituyendo en la expresión [02.4_1] de la derivada:

∂ ' p t' rs = Γ'arp t' as + Γ'a sp t' ar + Ai r Aj s Ak p ∂ k tij − m Apn Asj Γmn
i
tij − Ams Anp Ajr Γi mn tij
Ar
ordenando:

∂ ' p t' rs − Γ'arp t' as − Γ'a sp 't ar = Ai r Aj s A

k m n j i m n j i
p ∂ k tij − Ap As Γmn t ij − As Ap Ar Γmn t ij
Ar

11
o bien:

∂ ' pt'rs − Γ'arp t'as − Γ'asp t' ar = Ai r Aj s A

k
(p ∂ k tij − bΓik tbj −bΓjk)
tbi
b b
usando la notación Dk tij = ∂ k tij − Γik tbj − Γ jk
tbi
' ' i j k
se tiene en definitiva que D p trs = Ar As Ap Dk tij , por lo que la derivada absoluta
resulta ser un tensor 3-covariante.

En definitiva, la derivada absoluta buscada es

Dk tij = ∂ k tij − Γb ik tbj − bΓ jk

tbi

02.5. Derivación covariante de otras magnitudes tensoriales:

Siguiendo idéntico procedimiento encontramos la derivada covariante de un tensor

de cualquier orden. En particular se tiene, por ejemplo, que en el caso de un tensor
de tercer orden 2-covariante 1-contravariante:

Dk uhij = ∂ k uhij − uh aj Γa ki − huiaaΓkj −a uijh

Γak

02.6. La derivada covariante absoluta del tensor métrico:

Usando la expresión [02.4_1] de la derivada absoluta de un tensor 2-covariante, y

la Identidad de Ricci, encontramos que la derivada absoluta del tensor métrico es
nula:

Dk g ij = ∂ k g ij − g aj Γaki − g ia Γa kj = ∂ k g ij − (ki, j ) −
(kj, i )
y siendo, por la Identidad de Ricci: ∂ k g ij = (ki, j ) + (kj,
i)

se tiene obviamente:

12
03. SISTEMAS DE COORDENADAS LOCALMENTE INERCIALES

03.1. Definición de sistema localmente inercial o geodésico:

Sabemos que en cada punto de la variedad varia la métrica correspondiente a un

sistema de referencia dado, y también sabemos que en un punto dado de la
variedad la métrica correspondiente a distintos sistemas de coordenadas es
i i i
distinta. Es decir, en diferentes sistemas de coordenadas {x }, {x’ }, {x” }, ... la
matriz métrica (g ik )n tiene valores distintos en un punto dado M0. La pregunta que
en principio nos hacemos es la siguiente: ¿Existirá algún sistema de coordenadas
tal que en el punto dado M0 se anulen los símbolos de Christoffel?

Se llama Sistema Localmente Inercial, o bien, Sistema Geodésico, o Sistema

Normal en M0, a un sistema de coordenadas tal que sean nulos los símbolos de
Christoffel en M0.

Dada una variedad de Riemann, nos planteamos la posibilidad de encontrar, para

k
un punto M0(y ) dado, un sistema localmente inercial en ese punto realizando
transformaciones de coordenadas desde la métrica dada.

Así, si son {y }
0
k
los valores de las coordenadas {y }en
k
el punto M0 , y
representamos la métrica y símbolos de Christoffel en dicho punto por

(g ik )0 , (ij, k )0 , (Γij
k
0

)
trataremos de encontrar otras coordenadas y' { } k
tales que en el punto M0, se
verifique que la métrica sea tal que los símbolos de Christoffel se anulen:

(ij, k )'0 = 0, (Γ'ij )

k
0
=
0
k k r
El siguiente teorema nos da la forma de una transformación y' = y' ( y )
de coordenadas que permite obtener un sistema localmente inercial en un
punto
cualquiera M 0 ( yk0 )
.

Teorema:

Vn ( y ,..., y ) y métrica (ikg )

1 n
Dado el espacio de Riemann de variedad n
se tiene
que cada punto
para M 0 ( yk0 ) de la variedad se verifica que el sistema de coordenadas

1 k
y' = y − y0 + (Γ ij 0) ( y − 0y )( y − 0y
k k k i i j j
k = 1,...n
2
),
es localmente inercial en el punto M 0 ( yk0 ) .

En efecto:

Podemos en principio ensayar un cambio del tipo:

13
 k
y' = y − y0 + Cij
k k k
(y i
− 0y
i
)(y j
−0y
j
k = 1,...n [03.1_1]

k
),
donde las Cij son constantes. Derivamos:

∂y'k
r ( y − 0y ) + C
ij rA ( y −o y
k k k i j j k j i
r
= δr = Ar + Cij A [03.1_2]
∂y'
)
en el punto M 0 ( y ) es: δ kr = (Akr
k
0 )
0
+ Ckij (Ai r0) .0 + Ck ij (Aj r0 ) .0 ⇒ (Ak r0 ) = δk

y además, sabemosr que también se verifica la relación de Cronecker para las

k r k r k
matrices Ar y Bh : Ar .Bh = δh . Por tanto es

(A ) .(B )
k
r 0
r
h 0 = δr .(Bh
k r
)
0
= δh ⇒ (Bh
k k
)
0
= δh
k
s
Derivando ahora la expresión [04.1_2] con respecto a y' :

0 = Akrs + Ckij Ai rs( yj − yj0) + Ckij .Ai r j

+ Cijk Ajrs( yi − yi0 ) + Cijk .Ajr .Ai
.As
en el punto M0:

0 = (Ars )0 + 0 + Cij .( Ar )0 (As )0 + 0 + Cij .( Ar )0 (A ) = (A )

k k i j k j i k k i j k j i
+ C .δ .δ + C .δ
.δ
o sea:
0 = (Ars)0 + Crs + Csr
k k k

por lo cual:
(A ) = −(C + C [03.1_3]
k
rs 0 rs
k
sr
k

)
para relacionar estas constantes con los símbolos de Christoffel podemos utilizar la
r i j r h k r
propiedad [01.3_1]: Γ' pq = Ap Aq Bh Γij + Apq Bk . Y podemos escribir en el punto M0 :

(Γ' ) = δ p .δ q .δ h( . Γ)ij0 + ( Akpq )0 .δ rk = (Γ pq )0 − (C rpq + Crqp)

r i j r h h
pq 0

k
puesto que ha de ser nulo el símbolo de Christoffel de las y’ tendremos que hacer:

(Γ' ) = (Γ ) − (C r
pq 0
h
pq 0 pq
r
+C
qp
r
) = 0 ⇒ (Γ ) = (C r
pq 0 pq
r
+qp C
) r

y la solución más sencilla es

1 r
C rpq = Crqp = (Γpq )0
2

esto quiere decir que una solución del cambio de coordenadas propuesto en
[03.1_1] es la transformación:

1 k
y' = y − y0 + (Γ
ij 0) ( y − 0y )( y − 0y
k k k i i j j
k = 1,...n
2
),

14
Corolario:

Una fundamental consecuencia de este teorema de determinación de la

transformación que permite obtener un sistema de coordenadas geodésico, es que
las componentes de un tensor de cualquier orden de covarianza y contravarianza en
el sistema de coordenadas {y } k
son en el punto
k
M0 ( y0 ) las mismas que
componentes
las de covarianza y contravarianza del tensor en el sistema {y' }
k

localmente inercial en M 0 ( yk0 ) .

Efectivamente:

No hay que hacer otra cosa que expresar que las matrices de transformación son
realmente la delta de cronecker:

Sea el cambio tensorial para un tensor p-covariante q-contravariante dado por

t i1...iq
' j1... jp = Ak1j1 ...Akpjp .Bi1h1...Biqhq h1...hq
.tk1...kp
en el punto M 0 ( yk0 ) será:
(t ' )
i1...iq
j1... jp 0 = δk1j1 ...δkp jp .i1δ h1...iqδ h1...hq
hq = (t j1... jp ) 0
i1...iq

.t k1...kp

04.2. Resumen de la determinación práctica de un sistema de coordenadas

geodésico:

Si queremos determinar un sistema localmente inercial en un punto M 0 ( yk0 ) de

1 n
una variedad Vn ( y ,..., y ) procederemos mediante los siguientes

a) Determinamos las componentes del tensor métrico (g ik )n en el punto

M 0 ( yk 0 ) pues quedan determinadas por las coordenadas en cada punto
de
la variedad (puede verse el ejemplo de variedades bidimensionales de
Riemann en el apartado 01.2 de este trabajo, donde se ha determinado la

[(g ) ]
ik n 0

b) A partir de las componentes de la métrica calculamos los símbolos de

Christoffel en el punto M 0 ( yk0 ) :

1   ∂g  ∂g   ∂g ij 
(ij, k ) 0 =  i  +  ikj  −  k   (Γ ) = (ij, k ) .(g
k kh
 ∂x  ∂x  
2jk  ∂x  
0 )
 0 0 
c) Encontramos las coordenadas buscadas del sistema geodésico mediante la
expresión deducida en el teorema anterior:

1 k
y' = y − y0 + (Γ
ij 0) ( y − 0y )( y − 0y
k k k i i j j
k = 1,...n
2
),

15
04.TENSOR DE CURVATURA. TENSORES OBTENIDOS DESDE LA FORMA
COVARIANTE DE RIEMANN

04.1.La derivada segunda covariante de un vector. Tensor de curvatura:

D jp vq = D jD p vq ) = D j tq p , (habiendo llamado tq p = D p qv
(
de lo cual, se tiene:
)

D jp v = Dj tp = ∂j pt +pt mjΓ −m t pj Γ =j ∂ p(∂ v + vhp Γ ) + (∂ )Γ − (∂ v rm + vpj

q q q m q q m q h q m h m q q r
p v +hp v mjΓ m

Γ ∂ )jpΓv =+ ∂j v hpΓ + v j ∂hpΓ +p v m Γmjq + v Γhp Γmj − m∂ v Γ

q m q h q h q h m q q m r q m
= pj − v rmΓ pjΓ
[ j Γhp
m
hp mj
q h
jp ]q
jv Γ hp [
∂= ∂ q + Γ Γ v + ∂ v + h = + ∂ m − ∂ v Γ m + v r Γ q Γ m
pv Γ mj m
q
pj rm pj ]
[
= ∂ j Γhpq +
m q h
∂ Γhp Γmj v + jp ] =
Φ q h q q m r q m
Donde se ha llamado Φ jp = ∂ jp v + ∂ j v Γhp + p v m Γmjq − ∂m v Γpj + v Γ
rm Γ
pj , que es
∂término simétrico respecto a los subíndices j y p, pues un Φ = Φ
jp pj

Por tanto, la expresión de la derivada covariante absoluta de segundo orden del

tensor de primer orden contravariante, puede expresarse por

[
D jp vq = ∂ j Γqhp + Γmhp Γqmj h + Φ jp ]
v
(Siendo Φ jp = ∂ jp v + ∂ j vh Γq hp + ∂ pmv qΓmj − ∂ qm vm Γpj r+ vq Γmrm
q

Γpj )
Restando las expresiones en las que permutamos los subíndices de la derivación
covariante:

q
D jp v − Dpj v = ∂j Γ
q
hp + hp
Γ mj
Γ [ q m q
]v h
+Φ
jp p hj hj mp pj −
[ [
=∂( Γ∂jq Γ+ m q
hp Γ+ Γ
q
hp Γ
mh
] ] [
q
p∂ hj
mjv − Φ Γ +hjΓ mpΓ
q m q
])v == (∂
h
j hp
q m q
− ∂ p Γhj + Γhp Γmj − Γhj Γmp
m q
)
q h
Γ v
es decir, se tiene que
D jp vq − D pj q = Rh,q jp vh
Al tensor v
Rh, jp se le llama, al igual que en los espacios euclidianos, Tensor de
q

Curvatura, o, también, tensor de Riemann de cuatro índices y segunda especie:

Rh,q jp = ∂ j Γqhp − ∂ p Γq hj + mΓhpqΓmj −mΓhjq

Γmp

16
 04.2.Símbolos de Riemann de cuatro índices y primera especie:

Se define este tensor, que se conoce también como forma covariante de Riemann,
por la expresión:

Rmj , hk ≡ (mj, hk ) = gij m, hk

.R i
R hk = g .(mj, hk
ij
Cumpliéndose obviamente que m, i

04.3.El tensor de Ricci:

Se denomina Tensor de Ricci al tensor obtenido desde el Tensor reducido de

Riemann de 2ª especie, esto es, del tensor de curvatura en el que el índice superior
coincide con uno de los subíndices inferiores (contracción tensorial de índices):

Rij = Rik, kj

Expresión en función de los símbolos de Christoffel:

a
Ris = Ri ,as = g ab .(ib, as )

04.4.La curvatura escalar de Riemann. La curvatura escalar de Gauss:

Llamamos Curvatura Escalar de Riemann a la contracción del Tensor de Ricci

mediante el tensor métrico:

mk
R=g .Rmk

esta función escalar, definida en cada uno de los puntos de la variedad de Riemann
es, como sabemos, nula en los espacios euclidianos.

Se llama Curvatura Escalar de Gauss a la magnitud obtenida desde la Curvatura

Escalar de Riemann por
R
K=
n(n − 1)

La curvatura escalar permite expresar de una forma sencilla el tensor de Ricci en

espacios de dos dimensiones:

is
R = g Ris ⇒ gis R = gis g is Ris

is
En dos dimensiones es g is g = 2 , [04.4_1], por lo cual:

17
 R
Ris = g
2 is
Ris = K .gis
(R: curvatura escalar de Riemann, K: curvatura escalar de Gauss)

Nota: La relación [04.4_1] es inmediata en espacios de dos dimensiones:

is 11 12 21 22 g 22 g g g
g is g = g11 g + g12 g + g21 g + g22 g = 11 − g12 12 − g 21 21 + g 22 11 =
g g g g
2( g11 g 22 − g12 g 21 ) 2g
= = =2
g g

04.5.Expresión de la forma covariante de Riemann en función del tensor métrico

y de los símbolos de Christoffel:

(hs, jp) = g sq Rh,q jp = g sq (∂ j Γhp − ∂ p Γhj + Γhp Γmj − Γhj Γmp )

q q m q m q

= g sq (∂ j Γhp + Γhp Γmj ) − gsq (∂p =

q m q
Γ
q
hj + hj
m q
Γ mpΓ ) = g [∂ (hp, k )g
sq j
kq
+ (hp, k )(mj, k ) g
km

− kq
][
g g sq−∂p (hj, k )g
kq
+ (hj, k )(mp, k ) g
km
g
kq
] = ∂ (hp, s ) − ∂
j p (hj, s ) + (hp, k )(mj,
g k−)(mp, s) g = j∂ (hp, s ) p− ∂ (hj, s ) + g [(hp, k )(mj, s) − (hj, k )
km km km
−
s) (hj,
1 s)] =
(mp,
= (∂hj gps + ∂ sp g hj − ∂sj ghp − ∂hp g js ) + g [(hp, k )(mj, s) − (hj, k )(mp,
km

2
s)]
O sea:

1
(hs, jp) = (∂hj gps + ∂ sp ghj − ∂sj ghp − ∂hp g js ) + g km [(hp, k )(mj, s) − (hj, k )(mp,
2
s)]
kh kh
Nota: Se ha usado el hecho de que al ser D j g = 0 también es ∂ j g = 0 , que se
justifica cuando usamos las coordenadas geodésicas (ver sección 03), de lo cual
resulta, por ejemplo, que

[
∂ j Γhpq = ∂ j (hp, k ).g kq = g kq .∂
j ](hp,
k)

04.6. Expresión de la forma covariante de Riemann en un sistema de

coordenadas localmente inercial:

Si estamos usando coordenadas geodésicas, la expresión de los símbolos de

Riemann de cuatro índices y primera especie se reduce a

1
(hs, jp) = (∂hj gps + ∂ sp ghj − ∂sj ghp − ∂hp g js )
2

esta relación permite obtener las relaciones de simetría de los símbolos de forma
sencilla:

18
 1) (ij, rs ) = (rs, ij )
2) (ij, rs ) = −(ij, sr ) = −( ji, rs) = ( ji, sr ) ⇒ (ij, rr ) = 0, (ii, rs ) = 0
3) (ij, rs ) + (ir, sj ) + (is, jr ) = 0
Estas igualdades, por su carácter tensorial, no dependen del sistema de
coordenadas elegido en la representación. El haber utilizado coordenadas
geodésicas ha significado simplemente una reducción en la laboriosidad de los
cálculos.

04.7. Propiedad de simetría para el tensor de Ricci:

Usando las propiedades de simetría de los símbolos de Riemann, podemos

establecer también la simetría del tensor de Ricci:

Ris = g ab .(ib, as ) = gab .(as, ib ) =bag (sa, bi ) =b Rs ,bi =

Rsi
esto quiere decir que al permutar los dos subíndices del tensor, queda invariante.

04.8.ٛ Cálculo del número total de símbolos de cuatro índices:

La ٛ determinación del número total de símbolos de Riemann de cuatro índices y

primera especie es bastante laborioso, no obstante, utilizando las relaciones de
simetría podemos reducir la dificultad de su cálculo.

Tengamos en cuenta que los símbolos no nulos cumplen que han de ser distintos
los primeros índices y también han de ser distintos los segundos índices:

(ij, rs ) ≠ 0 ⇒ i ≠ j, r ≠ s

Podemos calcular el número de parejas posibles, con los dos dígitos distintos, y, a
continuación, el número total de combinaciones posibles para dos parejas. Al
número total resultante es preciso restarle el número de relaciones de la forma 3)
del apartado anterior, que han de tener distintos los cuatro índices, por lo que en
total serian las combinaciones de n elementos tomados de cuatro en cuatro.

Se tiene, entonces:

n
Número de parejas de índices distintos: 
φ=
 
  φ  φ
Número de combinaciones de dos parejas: ϕ =   +   (los de dos
parejas

 
distintas más los de dos parejas iguales) 

n
Número de las relaciones 3): ϕ ' =
 


19
En definitiva, el número total de símbolos no nulos:

 φ  φ  1 1
N = ϕ − ϕ ' =   +n  −   = φ (φ − 1) + φ − n(n −
1)(n − 2)(n −3)  
=  

1 1 1 1  1  1
= φ (φ + 1) − n(n − 1)(n − 2)(n − 3) = . n(n −  1) n(n − 1) + 1 − n(n − 1)(n − 2)(n −
2 24 2 2 24
3)
En definitiva simplificando la expresión:
 

1 2 2
N= n (n −
12

Esto quiere decir, por ejemplo, que en una variedad ٛ bidimensional el número de
símbolos no nulos de cuatro índices de Riemann es: N=1.

En un espacio tridimensionalٛ es N=6.

En un espacio de cuatro dimensiones encontramos que es N=20

04.9. Ejemplo de determinación de los tensores básicos en una variedad

ٛbidimensional de métrica esférica:

Supongamos que la variedad bidimensional V2 (u, v) está dotada de la métrica

 0 
(g ik )2 = 1 2 
0 cos (bu)

Calculemos:

a) Determinante de la matriz de Gramm:

2
g = cos (bu)

b) Matriz inversa de Gramm:

2
1  cos 0 1 0 
(g )
ik =   =
 
g(bu)
2 −2
 0 1   cos (bu)

c) Elemento diferencial de longitud: 0

 0 du
 du
ds 2 = gik du 2 dv 2 = (du,  2

  = (du, cos 2 (bu)dv )
 =
1 0 cos (bu) dv
 dv
dv )2 2 
= du + cos (bu).dv

d) Símbolos de Christoffel de primera especie:

20
 1
(ij, k ) = (∂i jk + ∂ j gik − ∂ k gij )
2
g
Teniendo en cuenta que g11 = 1, g12 = g 21 = 0, g 22 = cos 2 (bu) , tenemos:

(11,1)=0 (21,1)=0

(11,2)=0 (21,2)=-b.cos(bu).sen(bu)

(12,1)=0 (22,1)=b.cos(bu).sen(bu)

(12,2)=-b.cos(bu).sen(bu) (22,2)=0

e) Símbolos de Christoffel de segunda especie:

Γijk = (ij, h) g kh

Aquí tendremos en cuenta los valores de los elementos de la matriz inversa de

11 12 21 22 −2
Gramm g = 1, g =g = 0, g = cos (bu) :
11 12
Γ11 = (11,1).g + (11,2).g = 0
1

21 22
Γ11 = (11,1).g + (11,2).g = 0
2

11 12
Γ12 = (12,1).g + (12,2).g = 0
1

21 22
Γ12 = (12,1).g + (12,2).g = −b.tg (bu)
2

11 12
Γ21 = (21,1).g + (21,2).g = 0
1

2 21 22
Γ21 = (21,1).g + (21,2).g = −b.tg (bu)
1 11 12
Γ22 = (22,1).g + (22,2).g = b.
2 cos(bu).sen(bu)
Γ22
f) Tensor de Curvatura (Tensor de Riemann de 4 índices y segunda especie):

Rh,q jp = ∂ j Γqhp − ∂ p Γq hj + mΓhpqΓmj −mΓhjq

Γmp
Los símbolos no nulos son:

R11,12 = ∂1Γ121 − ∂2 Γ111 + Γ12m Γm11 − Γ11m Γm12 = −b 2

R1,2 21 = ∂2 Γ112 − ∂1 Γ122 + Γ11m Γm22 − Γ12m Γm12 = b2
R12,12 = ∂1 Γ221 − ∂2 Γ211 + Γ22m Γm11 − Γ21m Γm 12 = b 2 .cos 2bu)
R12, 21 (= ∂2 Γ211 − ∂1 Γ221 + Γ21m Γm12 − Γ22m Γm11 = b 2 .cos 2 (bu)
−
g) Forma covariante de Riemann (Símbolos de 4 índices y primera especie):

(ij, rs ) = kj
k
Ri ,rs
g
El único símbolo no nulo viene expresado por:

21
 (12,12 ) = gk 2 R1,12
k = g
12 R1,12 + g 22 R1,12
1 2
2
= −b .cos
2

(bu)
h) Tensor de Ricci:
Ris = Rim,mk

en este ejemplo solo son no nulos dos símbolos:

2 2
R11 = R1, 21 = b
1 2 2
R22 = R2,12 = b . cos
(bu)
i) Curvatura escalar de Riemann:

mk
R=g Rmk

11 22 2 −2 2 2 2
R = g R11 + g R22 = 1.b + cos (bu).cos (bu) = b + b =

j) Curvatura escalar de Gauss:

R
K=
n(n − 1)

R 2b 2 2
K= = =b
2 2

k) Comprobación de que se trata de una métrica esférica de radio 1/b:

2 2 2 2 2
ds = gik du dv = du + cos
Haciendo el cambio de variables:

ϕ = bu, ω = bv , se tiene: dϕ = bdu, dω = bdv , con lo cual, al sustituir:

2 2
2 1 2 1 2 2  1 2
ds = dϕ + cos ϕ .dω =   dϕ + cos 2 ϕ .dω 2
b
2
b
2
1 b b
   
y la matriz métrica resultante es

 2 
 0 
(g ik )2 =
1 



b 1
2
 0 
2
cos ϕ
 
b 

que, como hemos visto en la página 4, corresponde a una métrica esférica de radio
1
r= .
b

22
 05.LA IDENTIDAD DE BIANCHI

05.1. La obtención de la Identidad de Bianchi:

Se verifica, para la derivación covariante absoluta del tensor de curvatura, una

relación consistente en permutar circularmente tres índices, el de la derivación
parcial y los dos subíndices secundarios del tensor. Esta relación aditiva se conoce
como Identidad de Bianchi:

∂ t Rik,rs + ∂ r Rk i ,st + ∂ skRi ,tr =

0
Por simplicidad, podemos obtener la relación partiendo de la expresión en
coordenadas geodésicas del tensor de curvatura, ya que al tratarse de una relación
tensorial no depende del sistema de coordenadas que se utilice.

Rik,rs = ∂ r Γkis − ∂ sk
Γir
t
Escribimos la derivada con respecto a la varible x :

∂ t Rik,rs = ∂ rt Γk is − ∂ stk
y, permutando subíndices: Γir

∂ r Rki ,rs = ∂ tr Γkis − ∂ sr k

Γit
∂ s Rki ,tr = ∂ ts Γk ir − ∂ rsk
Γit
Si sumamos las tres igualdades:

∂ t Rik,rs + ∂ r Rk i ,ts + ∂ skRi ,tr = 2∂ krt Γis − 2∂k rs Γit ( = 2 k∂ rt Γis −k ∂) rs Γit =k
2∂ r Ri ,ts
por tanto:
∂ t Rik,rs − ∂ r Rk i ,ts + ∂ skRi ,tr =
0
finalmente, por la propiedad de cambio de signo al permutar los dos subíndices
secundarios del tensor de curvatura:

∂ t Rik,rs + ∂ r Rki ,st + ∂ skRi ,tr =

0

05.2. Teorema:

Se verifica la relación:
1
Da Ras = ∂ s R
2
a a ia
donde es Rs el tensor contraido de Ricci mediante el tensor métrico, Rs = g .R
is ,
R es la curvatura escalar de Riemann.

23
En efecto:

Si hacemos k=r=a en la Identidad de Bianchi, se tiene:

∂ t Ria,as + ∂ r Ra i ,st + ∂ saRi ,ta =

0
o bien reordenando índices del tercer sumando:

∂ t Ria,as + ∂ r Ra i ,st − ∂ saRi ,at =

con lo cual queda: 0

∂ t Ris + ∂ a Rai ,st − ∂ s Rit =

o bien: 0

∂ t Ris + ∂a gab (ib, st ) − ∂ s Rit =

0
si, con objeto de contraer uno de los tensores de Ricci que figuran en la expresión,
it
multiplicamos toda la expresión por g y tenemos en cuenta que por un resultado
it
anterior es Dtg =0, se tiene:

∂ t g it Ris + ∂a gab git (ib, st ) − s∂ itg Rit =

0
∂ t Rts + ∂ a gab Rt b,st − ∂ s R =
0
∂ t Rts − ∂ a gab Rt b,ts − ∂ s R =
0
∂ t Rts + ∂ a gab Rsb − ∂ s R =
0
∂ t Rts + ∂ a Ras − ∂ s R =
0
y queda, finalmente:

1
2∂ a Ras − ∂ s R = 0 ⇒ ∂ a aRs = ∂ s R
2

24
 06.TENSOR DE EINSTEIN. ESPACIOS DE EINSTEIN

06.1. Definición del Tensor de Einstein:

Se define el Tensor de Einstein como el tensor E is obtenido desde el Tensor de

Ricci por la expresión:

1
E is = Ris − R.g is
2

que podemos expresar como un tensor de segundo orden mixto: E sa = g ia E is

Es inmediato que en los espacios de Riemann de dos dimensiones, R2, el Tensor de

Einstein es idénticamente nulo.

1 1 1 1
Eis = Ris − R.gis = k.gis − R.gis = R.gis − R.gis = 0
2 2 2 2

06.2. Teorema:

La derivada covariante del tensor mixto de Einstein es nula:

a
Da E s = 0

En efecto:

1 1
Siendo Esa = g ia Eis = g ia Ris − R.g ia g is = Rsa − R.δ as
2 2

La derivada covariante será:

a a 1 a 1 1 1
Da Es = Da Rs − δs Da R = Da Rs a − Ds R = Ds R − D s R =
2 2 2 2
0

06.3. Espacios de Einstein:

Se define un Espacio de Einstein como un espacio de Riemann en donde el tensor

de Ricci es el producto de una función escalar por el tensor métrico:

Ris = φ .g is

En los espacios de Riemann de dos dimensiones sabemos que se verifica que el

tensor de Ricci es

25
 1
Ris = R.g is
2

siendo R la curvatura escalar de Riemann, por lo que podemos afirmar que estos
espacios son casos particulares de espacios de Einstein.

06.4. Expresión de los tensores de Ricci e Einstein en un espacio de Einstein:

De la definición de curvatura escalar de Riemann, se tiene, en un espacio n-

dimensional:

R = g is Ris = gis φ .gis = φgis g is = φn

1
por tanto es φ= R.
n
1
El tensor de Ricci es, en un espacio de Einstein n-dimensional: Ris = .R.gis
n

Y el tensor de Einstein:

1 1 1 1
Eis = R.g is − R.g is = 
 −
n 2  n 2

.R.g is

06.5. La curvatura escalar de Riemann en un espacio de Einstein:

En todo espacio de Einstein, En, con n>2, se verifica que la curvatura escalar de
Riemann es constante.

En efecto:

1
de ser Ris = .R.gis en un espacio de Einstein, se tiene la expresión del tensor
n
mixto de Ricci de la forma:

1 1
Rsa = g ia .Ris = .R.gis gia = R.δ sa
n n
derivando:
1 1
∂ a Ras = ∂ a R.δs a = ∂ s R
n n

1
y puesto que en todo espacio de Riemann es∂ a Ras = ∂ s R
2
a 1 1  1 1
se tiene que ∂ a Rs = ∂s R = ∂s R ⇒  −  s .∂ R = 0 ⇒s ∂ R
2 n 2 n
=0 
es decir, la curvatura escalar de Rieman, R, es constante en los espacios de
Einstein.

26
 06.6. Teorema de Schur:

Todo espacio riemanniano en el que se satisfacen, para alguna función escalar φ,

las igualdades:

(ij, rs ) = φ .(gir gjs − g jr gis )

Es un espacio de Einstein, en donde

R
φ=−
n(n − 1)

En efecto:
aj
Multiplicamos la expresión dada por g , al objeto de contraer tensores:

(ij, rs ) = φ .g aj ir(g jsg )g gjs − g jr g gis ) = φ .(gir δs − rδ isg

aj a a
g jr −g g
is ir
aj aj

o sea: = φ . (g )
Ria,as = φ(. g ir δa − δ ar g is )
si hacemos r=a: s

Ri , as = Ris = φ .(gia δs − δa gis ) = φ .(isg − n.g ) = −is g .φ.(n −

a a
a
is

1)
es decir, Ris = −φ .(n − 1).gis , por lo que se trata de un espacio de Einstein.

1
Y como en estos espacios se cumple que Ris = .R.g is , se tiene:
n

1 R
Ris = .R.gis = −φ .(n − 1).gis ⇒ φ =
n n(n − 1)
O sea: −

φ = −K

(donde K representa a la curvatura escalar de Gauss)

27