COORDENADAS CURVILINEAS

ESPACIOS DE RIEMANN

Por Javier de Montoliu Siscar, Dr. Ing. Ind.

3 Edicin. Enero 2000.

 COORDENADAS CURVILINEAS. ESPACIOS DE RIEMANN.

A.- COORDENADAS CURVILINEAS EN UN ESPACIO EUCLIDIANO

1.- Generalidades.

1.01.- Espacio puntual afn. Tensores de punto.

Un espacio puntual afn euclidiano de dimensin n, se

caracteriza por su asociacin con un espacio vectorial euclidiano
de n dimensiones de manera que en cada uno de los espacios
geomtricos EO, EA,... , que resultan de tomar como origen los
diversos puntos del espacio puntual, pueden adoptarse bases
correspondientes a las de E (equipolencia) y en consecuencia
puede definirse una correspondencia entre puntos y bases de E.

La correspondencia adoptada habitualmente es la de

cualquier punto del espacio afn con una misma base de E.

Segn sea la correspondencia elegida sern las

coordenadas de un mismo tensor de punto en un punto dado,

1.02.- Coordenadas curvilneas.

Hagamos corresponder biunvocamente a cada punto de un

espacio puntual afn euclidiano y n-dimensional un sistema
arbitrario de n variables escalares {yi}.

Para ello bastar evidentemente que las coordenadas

normales de un punto usadas hasta ahora sean funciones
independientes y por tanto biunvocas de las n variables {yi}
correspondientes al punto.
Diremos que el sistema {yi} es un sistema de
coordenadas curvilneas del espacio si las funciones biunvocas
de las que acabamos de hablar son por lo menos tres veces
a
diferenciables. Designando por ir
r
= r
ir
yi

existen por tanto las siguientes derivadas respecto a estas

coordenadas variables:

;
kr ;
jkr
ijkr

cuyo valor es independiente del orden en que se efecta la

derivacin.

La adopcin de un sistema de coordenadas curvilneo,

corresponde a la eleccin como origen del punto {0,0,..,0}.

1
 l.03.- Los valores yi correspondientes a cada punto del
espacio son las llamadas coordenadas curvilneas del mismo.

Llamando curvas coordenadas a los lugares geomtricos

de los puntos del espacio cuyas coordenadas excepto una son las
mismas, en dicho espacio tendremos n sistemas de curvas
coordenadas.

Como los anteriores l. g. no son en general lneas

rectas, de aqu procede la denominacin de coordenadas
curvilneas.

1.04.- Sistema natural en un punto.

Dado un sistema {yi} de coordenadas curvilneas y un

punto del espacio euclidiano n-dimensional, asociaremos a dicho
} del espacio de tal manera que las derivadas
punto una base {e i

direccionales que en anlisis tensorial se han designado por ir
tengan el mismo valor que las llamadas ahora de esta manera.

Ello significar pues:

r
r = (e
)r
= e
(r
) = e

= ir
y i i i i

quedando definidos los vectores base por:

r
= r = r
(1) e
yi
i i

para el punto en cuestin.

As pues podemos escribir con referencia al punto:

(2) = dyie
dr ; jdr
e = dyj
i

jir = e
= ijr
(3) i j = je i

(4) = e
ijkr
ji k =ije k =ike j =kiej =kje i =jke i

La base } se denomina sistema natural en el punto,

{e i
i
del sistema {y } de coordenadas curvilneas.

De esta manera queda establecido el espacio como un

y adems como un campo de
campo de los diversos vectores base ei
todos los tensores derivados de los mismos, como los vectores de
las bases duales y los elementos de las matrices mtricas
correspondientes.

1.05.- Todos los tensores asociados al punto tensores

de punto se considerarn de ahora en adelante y salvo aviso en

contrario, como referidos a la base natural del punto.

2
 Tambin podrn ser considerados como aplicaciones de
multiplicidad n de las n coordenadas yi elegidas como
independientes y en el campo de stas se verificar:

(5) d = dyii

, e
para todos los tensores de punto, includos los e i y g .
i 1j

1.06.- El elemento lineal del espacio en cada punto, y

en funcin de las nuevas coordenadas, ser:

(6) dr )(dyje
2 =ds2 =(dyie ) =(e
e i j
=gijdyidyj
i j i j)dy dy

1.07.- En un cambio de sistema coordenado curvilneo,

si las coordenadas {yi} de un punto se convierten en {yk'}, las yi
son funciones tres veces diferenciables de las yk' y
recprocamente.

Se deduce fcilmente de '1.02.

1.08.- En el cambio de coordenadas que acabamos de

referirnos, podemos escribir por (2):

=dyk'e
dr
k'
y por consiguiente:
r r
= r yk = r yh
e = ek; e = eh
y i yi yj yj
i j

k h
e
e = y y e e
yi yj
i j k h

resultando la siguiente relacin:

yk yh
(7) gij = gkh
yi yj

1.09.- Para un sistema de curvas coordenadas, hemos

deducido aqu un campo de bases vectoriales y es fcil ver que
cuando el sistema de curvas coordenadas coincida con el de las
coordenadas cartesianas habituales, el campo de bases ser
uniforme.

Existe pues una correspondencia recproca entre

sistemas de curvas coordenadas y campos de bases vectoriales, y
la eleccin de los unos determina a los otros.

3
 COORDENADAS CURVILINEAS. ESPACIOS DE RIEMANN.

A.- COORDENADAS CURVILINEAS EN UN ESPACIO EUCLIDIANO

1.- Generalidades.

1.01.- Espacio puntual afn. Tensores de punto.

Un espacio puntual afn euclidiano de dimensin n, se

caracteriza por su asociacin con un espacio vectorial euclidiano
de n dimensiones de manera que en cada uno de los espacios
geomtricos EO, EA,... , que resultan de tomar como origen los
diversos puntos del espacio puntual, pueden adoptarse bases
correspondientes a las de E (equipolencia) y en consecuencia
puede definirse una correspondencia entre puntos y bases de E.

La correspondencia adoptada habitualmente es la de

cualquier punto del espacio afn con una misma base de E.

Segn sea la correspondencia elegida sern las

coordenadas de un mismo tensor de punto en un punto dado,

1.02.- Coordenadas curvilneas.

Hagamos corresponder biunvocamente a cada punto de un

espacio puntual afn euclidiano y n-dimensional un sistema
arbitrario de n variables escalares {yi}.

Para ello bastar evidentemente que las coordenadas

normales de un punto usadas hasta ahora sean funciones
independientes y por tanto biunvocas de las n variables {yi}
correspondientes al punto.
Diremos que el sistema {yi} es un sistema de
coordenadas curvilneas del espacio si las funciones biunvocas
de las que acabamos de hablar son por lo menos tres veces
a
diferenciables. Designando por ir
r
= r
ir
yi

existen por tanto las siguientes derivadas respecto a estas

coordenadas variables:

;
kr ;
jkr
ijkr

cuyo valor es independiente del orden en que se efecta la

derivacin.

La adopcin de un sistema de coordenadas curvilneo,

corresponde a la eleccin como origen del punto {0,0,..,0}.

1
 l.03.- Los valores yi correspondientes a cada punto del
espacio son las llamadas coordenadas curvilneas del mismo.

Llamando curvas coordenadas a los lugares geomtricos

de los puntos del espacio cuyas coordenadas excepto una son las
mismas, en dicho espacio tendremos n sistemas de curvas
coordenadas.

Como los anteriores l. g. no son en general lneas

rectas, de aqu procede la denominacin de coordenadas
curvilneas.

1.04.- Sistema natural en un punto.

Dado un sistema {yi} de coordenadas curvilneas y un

punto del espacio euclidiano n-dimensional, asociaremos a dicho
} del espacio de tal manera que las derivadas
punto una base {e i

direccionales que en anlisis tensorial se han designado por ir
tengan el mismo valor que las llamadas ahora de esta manera.

Ello significar pues:

r
r = (e
)r
= e
(r
) = e

= ir
y i i i i

quedando definidos los vectores base por:

r
= r = r
(1) e
yi
i i

para el punto en cuestin.

As pues podemos escribir con referencia al punto:

(2) = dyie
dr ; jdr
e = dyj
i

jir = e
= ijr
(3) i j = je i

(4) = e
ijkr
ji k =ije k =ike j =kiej =kje i =jke i

La base } se denomina sistema natural en el punto,

{e i
i
del sistema {y } de coordenadas curvilneas.

De esta manera queda establecido el espacio como un

y adems como un campo de
campo de los diversos vectores base ei
todos los tensores derivados de los mismos, como los vectores de
las bases duales y los elementos de las matrices mtricas
correspondientes.

1.05.- Todos los tensores asociados al punto tensores

de punto se considerarn de ahora en adelante y salvo aviso en

contrario, como referidos a la base natural del punto.

2
 Tambin podrn ser considerados como aplicaciones de
multiplicidad n de las n coordenadas yi elegidas como
independientes y en el campo de stas se verificar:

(5) d = dyii

, e
para todos los tensores de punto, includos los e i y g .
i 1j

1.06.- El elemento lineal del espacio en cada punto, y

en funcin de las nuevas coordenadas, ser:

(6) dr )(dyje
2 =ds2 =(dyie ) =(e
e i j
=gijdyidyj
i j i j)dy dy

1.07.- En un cambio de sistema coordenado curvilneo,

si las coordenadas {yi} de un punto se convierten en {yk'}, las yi
son funciones tres veces diferenciables de las yk' y
recprocamente.

Se deduce fcilmente de '1.02.

1.08.- En el cambio de coordenadas que acabamos de

referirnos, podemos escribir por (2):

=dyk'e
dr
k'
y por consiguiente:
r r
= r yk = r yh
e = ek; e = eh
y i yi yj yj
i j

k h
e
e = y y e e
yi yj
i j k h

resultando la siguiente relacin:

yk yh
(7) gij = gkh
yi yj

1.09.- Para un sistema de curvas coordenadas, hemos

deducido aqu un campo de bases vectoriales y es fcil ver que
cuando el sistema de curvas coordenadas coincida con el de las
coordenadas cartesianas habituales, el campo de bases ser
uniforme.

Existe pues una correspondencia recproca entre

sistemas de curvas coordenadas y campos de bases vectoriales, y
la eleccin de los unos determina a los otros.

3
 2.- Smbolos de Christoffel.

2.01.- Como veremos, resulta conveniente utilizar las

siguientes expresiones caractersticas de un sistema coordenado
curvilneo en el entorno infinitesimal de un punto dado.

(8) )e
kji=(ke =( e
)e
kji =(ke j =( e
j
i j i k)e j; i i k)e

En virtud de (3) y de la definicin, existe una

simetra entre ndices extremos:

kji = ijk; kji = ijk

2.02.- Paso de una a otra expresin.

En el campo de las variables

ei y
ej sabemos por algebra
tensorial que se verifica:

= g e
e h; = ghe
e j = gjhe
; h
ej = gjhe
i h,
i ih i e h

y por lo tanto:

)e
kji =(ke = ( e
h = g h
i j k i)gjhe jh k i

)e
kji =(ke j = ( e
jh
k i)g e h = g khi
jh
i

)e
kji =(ke = ( e
h
k i)gje h = gjkhi
h
i j

)e
kji =(ke j = ( e
jh = gj h
i k i)ghe h k i

2.03.- Expresin de las en funcin de los gij.

por (5) se verifica:
Para una variacin dr

e
dgij = dy kgij = dy k(e
i j) = dy [(ke i)e j + (ke j)e i]
k k k

= dyk(kji + kij)

y por lo tanto

kgij = kji + kij

de donde tambin:

igjk = ikj + ijk

jgki = jik + jki

Teniendo en cuenta la simetra de las al sumar

miembro a miembro las dos primeras igualdades y restar la
tercera, obtenemos:

4
 2kji = kgij + igjk - jgki

Por consiguiente:

1
kji = (kgij + igjk - jgki)
2

1 jh
kji = gjhkhi = g (kgih + ighk - hgki)
2

2.04.- Smbolos de Christoffel. Son los algoritmos

definidos por:

1
Smbolo de 1 especie: {ki,j} = (kgij + igjk - jgki)
2

Smbolo de 2 especie: {kji} = gjh {ki,h}

Teniendo en cuenta estos smbolos, los resultados
anteriores pueden expresarse as:

kji = {ki,j}

k i = {k i}
j j

2.05.- Los smbolos de Christoffel, que son escalares,

tambin son coeficientes tensoriales pero no de un tensor de
tercer orden sino del tensor e o derivada de e , que es de
i i
segundo orden, como podr verse en '3.04 a,b.

2.06.- La importancia de los smbolos de Christoffel

deriva de la utilidad de su conocimiento para determinar diversas
caractersticas de un espacio y de que a su vez son calculables,
como hemos visto, a partir de los elementos de la matriz mtrica,
y stos son datos de utilizacin habitual.

5
 y de los e
3.- Campo de los e i.
i

3.01.- Recordaremos del lgebra tensorial:

Tensor I de la aplicacin idntica de un vector:

ei = e
je

I = e i j

Expresin de un tensor en relacin con una base

j
{i} { } del espacio vectorial de los tensores de su orden:

= ti
i = tj
j

ti =

i; tj =

j

Tambin tendremos presente (5) y las ecuaciones

anteriores.
.
3.02.- Tensor diferencial de i

:
a) Coeficiente contravariante relativo a e j

e
de j = [dyk( e
j = dyk j
i k i)]e k i

j:
b) Coeficiente covariante relativo a e

e
i j = [dy (ke i)]e j = dy kji
k k
de
y e
c) Expresiones de de
i k i deducidas de a) y b):

= dyk j e
j
k i j =dy kjie
k
de i

y como tenemos por (5):

= dyk e
de
i k i

podremos escribir:

= e
ke j = j e

i kji k i j

i.
3.03.- Tensor diferencial de
j:
a) Coeficiente covariante relativo a e

Se verifica:

i e
de = d(e
ie
) - e
i(de
) = -dyk i
j j j k j

puesto que eie

en todo punto es o cero o uno y por tanto el
j
primer trmino tiene diferencial nula y en cuanto al segundo
hemos visto su valor en el prrafo anterior.
6
 i y de ei:
b) Expresin de de k

De la misma manera que en el prrafo anterior

obtenemos:
i = -dyk i e
de j; i = - i e
ke j
k j k j

(Derivada de e
3.04.- e ).
i i

je
a) Coeficiente mixto relativo e e :
k

)= ]:
[(e )(e
(e ek) = ( e
k = k
j j i j j i)e j i

je
b) Coeficiente covariante relativo a e k:

)= ]: )(e
(e e ) = ( e

j i)e k = jki
[(e j j i j k

deducida de a) y b):
c) Expresin de e i

= k (e
e je
) = (e je
k)
i j i k jki

i (Derivada de e
3.05.- e i).
je
El coeficiente covariante relativo a e k es:

i)(e
(e e ) = ( ei)e
= -( e
i = - i
j k j k j k)e j k

y por tanto:

i = - i (e
e je
k)
j k

3.06.- Divergencias.
b
Recordaremos que I(a b ) = a , y por lo tanto:

=I ) = I k j je
) = k
e i (e i j i(e ek) = jki(e k k i
j k
e =I(-j k)(e e ) = -j k(e e ) = -j kg
i i j k i i jk

3.07.- Tensores rotacionales.

Como en un trmino aislado podemos permutar j y k,

escribiremos:

e = (e )-(e ) = (e je
k) - (e ke
j) =
i i i jki jki
je
= jki(e k) - (e je
k) = ( - )(e je
k)
kji jki kji

i = (e
e i)-(ei) = - i (e jek) + i (ekej) =
j k j k
je
= -jik(e k) + i (eje
k) = ( i - i )(e jek) = 0
k j k j j k
3.08.- e es un tensor simtrico, pues acabamos de
i

7
 i es nulo.
ver que el tensor rotacional de e
i admite potencial.
En consecuencia el campo de los e

Vamos a ver que el potencial relativo i puede

a e
i
expresarse en cada punto por su coordenada y .

Pues sabemos que se verifica:

yi
jy =
i
= ij (smbolo de Kronecker)
y j

y tendremos:

j )yi = e
(yi) = (e j( yi) = ji = e
e i
j j j

i es el gradiente del campo de coordenadas.

As pues e
3.09.- Como salvo el caso de coordenadas rectilneas no
es simtrico el tensor e en todos los puntos del espacio, la
i
circulacin de ei en una lnea cerrada no ser nula en general, y
tendremos:

e dr 0
i

Por lo tanto no es diferencial de una funcin y de

eidr i
punto, lo que habremos de tener en cuenta si escribimos

dr
e = dy
i i

No existe pues, en general, un sistema coordenado {yi}

dual del original {yi}.
Para evitar confusiones, de ahora en adelante no
por dy
consideraremos los smbolos i, i, ni sustituiremos dr i
ie .

3.10.- Relacin de kii con g = Det {gih}:

Partiremos del valor de g visto al tratar del tensor

fundamental en el lgebra tensorial (10 parte D'4.05), y
diferenciaremos este valor a continuacin:

e
g= [(e ..e
)]2
1 2 n
e
dg = 2(e ..e
) [ (e e ..de
..e
)]
1 2 n i 1 2 i n

Sustituyendo de por el valor

dykkjie hallado
i j
anteriormente, tendremos:

..e
= 2(e )[dyk j (e
e ..e
..e )] = 2g dyk i
1 n k i 1 2 j n k i

pues el sumatorio respecto j solamente no se anula para j=i,

8
convirtindose en un sumatorio respecto i.

Del ltimo valor deducido, sabiendo que dg = dykkg y

para cualquier signo de g, obtenemos:

kg |g|
kg = 2gkii kii = = k
2g |g|

En consecuencia, tambin se verifica:

= i |g|
e i
|g|

9
 4.- Campos en general. Diferencial y derivada
absoluta.

4.01.- Sea un campo tensorial de tensores de

cualquier orden asociados a los puntos del espacio. Los
coeficientes del tensor los supondremos siempre referidos a la
base natural del punto asociado, determinada por el sistema de
coordenadas curvilneo adoptado.

Las propiedades generales de estos campos tensoriales

sern estudiadas aqu a travs de tensores de segundo orden, pero
podremos ver que es fcil extenderlas a tensores de cualquier
orden.

La variacin que experimenta una coordenada tij de un

tensor
al considerar el nuevo tensor correspondiente a un punto
infinitamente prximo dado por dr = dyke
con su nueva base, es
k
evidentemente:

(9) dtij = dykktij

como resulta de aplicar la ecuacin general (5).

4.02.- Si para el segundo punto considerado hubisemos

tomado la misma base que para el primero en vez de considerarla
distinta, la variacin obtenida para el coeficiente examinado
sera distinta.

Esta ltima variacin es la que se denomina diferencial

tensor de campo , que
ij
total absoluta del coeficiente t del
ij
aqu designaremos por dat .

La designacin habitual es tij, pero aqu no la

usaremos para evitar confusiones con el vector nabla .
La diferencial absoluta de un coeficiente tij de vemos
que coincide con el coeficiente de d respecto al tensor base e

iej correspondiente al primer punto de referencia y por tanto
podremos escribir:

(10) dat
ij (e
= d ie
j) = d [
(e
ie
j)]
a

(11) = (d tij)(e
d e ) [= (d t )(e
ie
j) = ...]
a i j a ij

como ecuaciones fundamentales para cualquier orden

tensorial.

4.03.- La diferenciacin absoluta slo tiene sentido

cuando se aplica a los coeficientes tensoriales correspondientes
a tensores independientes del sistema coordenado adoptado, y
sigue las reglas de la diferenciacin normal.

Tendremos por ejemplo para un doble campo

y
:

10
 da(tijsnm) =da[( ie
)(e je
e )] =[d(
)](e ie
je
e )=
n m n m

[(d) + (d)](e e enem) =
i j

=[d(e e )]snm + tij[d
i j (e
e )] = (d tij)s + tij(d s )
n m a nm a nm

4.04.- La aplicacin de la regla anterior se simplifica

cuando uno de los tensores
es coeficiente del tensor idntico I,
pues por tener dI=0, se verifica:

0 = dagij = dagij = dagji

o teorema de Ricci.
Esto significa tambin, que son permutables las
operaciones diferenciacin
absoluta y multiplicacin por un
coeficiente de I. Ejemplo:

da(gijtsk) = gij(datsk)
4.05.- Derivada absoluta covariante.

La derivada absoluta covariante, al igual que la

diferencial absoluta, solo tiene sentido cuando se aplica a los
coeficientes tensoriales correspondientes a tensores
independientes del sistema coordenado adoptado.

4.06.- Definicin.-

Dado un tensor de campo , llamamos derivada absoluta

covariante de uno de sus coeficientes tij respecto a k en un punto
dado, al valor que para el punto tiene la siguiente expresin:

datij
(12) ktij
= datij = dyk(ktij)
dyk

Puede verse fcilmente que el operador k de derivacin

absoluta covariante acta sobre los productos de coeficientes
tensoriales de igual manera que el operador de derivacin
ordinaria.

Una derivada absoluta solo tiene sentido cuando est

aplicada a un coeficiente tensorial y en virtud de la ecuacin
anterior o las (13),(14), (15) siguientes.

4.07.- Relacin entre la derivada parcial de un tensor

y las derivadas absolutas covariantes. Es la siguiente:

(13) k = k[tij(e
e
i
)] = ( tij)(e
j k
e
i
)
j

i
kv = (kv )ei k = k

Puesto que teniendo en cuenta (5) y (11) se verifica:

(14) =dyk( ); d
d =(d tij)(e
e )=dyk( tij)(e
e)
k a i j k i j

11
 = dyk( vj)e
dv d = dykk=dykk
k j

4.08.- Sea el producto contracto de una magnitud

tensorial
de punto por un tensor operador tal como , ()
(). Ejemplo para =tij(e
() que representaremos por e ).
i j

Se verifica:

()]
[ =[(e
k )]
=[(e
k)] =
k k

=[(e )](kt )(eiej)
k ij

Aplicacin a (e
[ k) = e
k]:

(15) = e
k( ) = e
k
k[ tij(e
k
e
i
)] = ( tij)(e
j k
ke
e
i
)
j

4.09.- Propiedades diversas.

Vemos por la ltima ecuacin que las derivadas

covariantes son los coeficientes del tensor derivada.

De los casos anteriores se deduce tambin:

ktij = (dk)(e
ie
j)

ktij = ()(e
eie
k
j)

4.07.- Casos particulares.

a) Si para un dominio, el campo de

es uniforme, en
sus puntos se verificar:

datij = 0; ktij = 0

b) Si para un dominio las coordenadas son rectilneas,

en l se verificar:

dat
ij
= dtij; ktij = ktij

y recprocamente.

c) Son permutables las operaciones derivacin

covariante y multiplicacin por un coeficiente de I:

k(gijtkn) = gij(ktkn)

12
 .
5.- Campo de vectores v

5.01.- Sea un campo vectorial v =vie

=v ei. Vamos a
i i
estudiar sus caractersticas al adoptar un sistema de coordenadas
curvilneas.

5.02.- Diferenciales absolutas:

e
davi = dv i = [d(vhe
)]e i = (dvh)e
e i + vh(de
)ei =
h h h
= dv + v dy k h = dy (kv + v k h)
i h k i k i h i

e
davi = dv = [d(v e h)]e = (dv )e
he
+ v (de h)e
=
i h i h i h i
= dvi - vh dy k i = dy (kvi - vhk i)
k h k h

5.03.- Derivadas covariantes absolutas:

De las ecuaciones anteriores y de (8) deducimos:

kvi = kvi + vhkih

kvi = kvi - vhkhi

:
5.04.- Diferencial de v

Como sus coeficientes son, por '4.02, las diferenciales

absolutas de los coeficientes de v, tendremos:

= (dvi + vhdyk i )e
dv = dyk( vi + vh i )e

k h i k k h i

= (dv - v dyk h )e
dv i = dyk( v - v h )e
i
i h k i k i h k i

:
5.05.- Derivada de v

Sus coeficientes son, por '4.09, las derivadas

, tendremos:
absolutas covariantes de los coeficientes de v

= vi(e
v ke
) = ( vi+vh i )(eke
)
k i k k h i

= v (e
v ke
i) = ( v -v h )(eke
i)
k i k i h k i

:
5.06.- Divergencia v

= I
) = I ke
) = vi + vh i
v (v (kvi + vhkih)(e i i i h

Sabiendo por '3.09 que se verifica

kg |g|
kii = = k
2g |g|

podemos hallar otra expresin:

13
 = vi + vh h |g| |g| 1
v i = ivi + vi i = i( |g| vi)
|g| |g| |g|
= v
5.07.- Tensor rotacional Rot v = v
- v

Se verifica:

= ( v -v h )(e
v ke
i)
k i h k i

= ( v -v h )(e
v ie
k) = ( v -v h )(e
ke
i)
k i h k i i k h i k

Como las tienen simetra i,k, al restar obtendremos:

= ( v - v )(e
Rot v ke
i)
k i i k

y por consiguiente:

= v - v
Rotkiv k i i k

14
 6.- Campo de tensores.

Sea un campo de tensores independientes del sistema

coordenado adoptado, tensores que para mayor sencillez
supondremos de 21 orden. Los resultados ser fcil extenderlos a
rdenes superiores.

6.01.- Diferenciales absolutas.

(e
datij = d ej) = (e e j)[d{t m(e ne )}] =
i i n m
m n
=(eie )[dtn (e em) + tn (de em) + tn (e de
j m n m n )] =
m
m n j m n j m n j
=dtn (eie )(e em) +tn (eide )(e em) +tn (eie )(e dem)=
= dtij + tnj(-e nde ) + t m(e jde ) =
i i m
= dti - tn dy k i + ti dy kjm
j j k n m k

Anlogamente tendramos:

= dtij + tnjdykkin + tindykkjn

ij
dat

datij = dtij - tnjdykkni - tindykknj

correspondiendo el signo positivo o negativo a la con la n en

posicin inferior o superior respectivamente.

6.02.- Derivadas absolutas covariantes.

Sustituyendo dtij, dtij y dtij en las expresiones

anteriores por sus equivalentes respectivas

dykktij, dykktij y dykktij

y procediendo como en el campo vectorial, tendremos:

ktij = ktij - tnjkni + tinkjn

ktij = ktij + tnjkin + tinkjn

ktij = ktij - tnjkni - tinknj

6.03.- Diferencial de
.

Obtendremos su expresin sustituyendo en

d = datij(e
ie
) = d t (e
j a ij
ie
j) = d tij(e
a
e
i
)
j

los valores hallados para las diferenciales absolutas.

6.04.- Derivada de
.
Hemos visto su obtencin en '4.08:

15
 = ktij(e
ke
ie
) = tij(e
j k
ke
e
i
) = t (e
j k ij
ke
ie
j)

Las derivadas absolutas siempre son coeficientes de las

derivadas totales.

6.05.- Cuando el campo tensorial es uniforme, sern

evidentemente nulas las diferenciales y derivadas absolutas en
todos los puntos y recprocamente.

Tiene especial inters el campo del tensor I, que es
uniforme para todo espacio euclidiano. Por '6.02 tenemos para l:

0 = kgi = kgi - gn k i + gi k n
j j j n n i

0 = Kgij = kgij + gnjkin + ginkjn

0 = kgij = kgij - gnjkni - ginknj

y sustituyendo por '2.02 en la 1 y 3 ecuacin, tendremos:

0 = kgij - kji + kii

0 = kgij - kji - kij

6.06.- El vector a los efectos de la derivacink

absoluta puede considerarse como un vector uniforme =ke
respecto a una base uniforme y a los smbolos k como
coeficientes vectoriales, y por tanto posibles objetos de
derivacin covariante.

Vamos a ver una aplicacin de esto, a obtener la

mediante (15) y (13):
expresin del tensor v

= [v
v ] = e
k[ ( vj)](e
ie
) = ( vj)(e
ke
ie
)
k i j ki j

Una consecuencia de lo que antecede, y de que la

derivacin absoluta covariante opera como la ordinaria, es que se
verifica lo siguiente:

k(ivj) = (ki)vj + i(kvj)

).
6.07.- Tensor d(v

A ttulo de ejercicio prctico, vamos a obtener su

expresin de varias maneras.

) = (v
a) d(v )dr = ( vj)(eke
ie )dr =
ki j
ie
= (kiv )(e
j )(e kdr
) = dyk( vj)(eie)
j ki j

b) d(v) = d[(iv )(e ej)] = [da(iv )](e
j i j ie
) =
j
k j i
= dy (kiv )(e ej)
) = dv
c) d(v + dv

16
 i , se tiene d=dyk( )e
Por (14) con = e i y por
i k i
consiguiente:

= [dyk( )e
dv i] vje
= dv
= dyk[( )vj](e
ie
)
k i j k i j

Por otra parte, por (15) y (14), tendremos:

= e
dv i[dyk{ ( vj)}e
] = dyk[ ( vj)](e
ie
)
i k j i k j

y sumando:

) = dyk[( )vj + ( vj)](e

d(v ie
)
k i i k j

pero tenemos por '6.06:

(ki)v = k(iv ) - i(kv )

j j j

y sustituyendo:

) = dyk[ ( vj)](e
d(v ie
) = dyk[ vj](e
ie
)
k i j ki j

17
 7.- Campo escalar.
.
Sea un campo escalar

Tendremos pues siempre k = k.

7.01.- Gradiente .

k ) = e
= (e k( ) = gike

k k i k

y por tanto k es la coordenada covariante ()k, gikk ser ()i

y ()() tendr el siguiente valor:

k( )][e
()() = [e i( )] = ( )( )gki
k i k i

7.02.- Laplaciana ().

i[ ( )]e
() = [ek(k)] = e k = [ ( )]gik = [ () ]gik
i k i k i k

Pero sabemos ('5.03) que se verifica:

i()k = i()k - ()hihk = i(k) - (h)ihk

y por consiguiente:

() = [ik - (h)ihk]gki

Podemos encontrar otra ecuacin de la laplaciana

deducida de la expresin de la divergencia de un vector v

cualquiera, aplicada a v=() ('5.05).

Llamaremos G a la raz cuadrada del mdulo de g.

= G-1 (Gvi)
v i

() = G-1 i[G()i] = G-1 i(Ggik k)

18
 B.- ESPACIOS DE RIEMANN

1.- Definicin.

1.01.- Consideremos una variedad puntual Vn de n

dimensiones, cuyos puntos se pueden i identificar mediante sistemas
arbitrarios de n coordenadas {y }. Se denomina espacio de
Riemann, cuando estos sistemas renen las condiciones siguientes:

1.- Existe una mtrica que, para el sistema coordenado

elegido, corresponde en todo punto a la forma cuadrtica
diferencial:

ds2 = gijdyidyj

cuyos coeficientes gij son funciones de las coordenadas

del punto. Estas funciones son simtricas, de campo continuo y
diferenciables hasta un orden suficientemente elevado.

2.- En un cambio de sistema coordenado, si las

coordenadas {yi} de un punto se convierten en {yk}, las yi son
funciones diferenciables de las yk hasta un orden suficientemente
avanzado, y recprocamente.

3.- En todo cambio de coordenadas de {yi} a {yk} los

coeficientes gij cambian segn la ley:

yk yh
gij = gkh
yi yj

1.02.- Los espacios de Riemann, anlogamente a los

euclidianos, se denominan propiamente riemanianos cuando la forma
cuadrtica de su mtrica sea definida positiva.

En el caso general, dicha forma puede expresarse como

suma algebraica de n cuadrados de formas diferenciales lineales y
se llama signatura de la forma al conjunto de los signos + y -que
preceden a estos cuadrados.

1.03.- Todos los espacios euclidianos, tanto si se

consideran respecto a coordenadas cartesianas normales o respecto
a coordenadas curvilneas en general, verifican las condiciones
exigidas a los espacios de Riemann y constituyen por tanto un
caso particular de estos ltimos.

1.04.- Un ejemplo tpico de espacio de Riemann de n

dimensiones, es el espacio puntual cuyos puntos representan cada
una de todas las configuraciones posibles en un sistema dinmico
con n grados de libertad.

Un ejemplo ms sencillo, es el conjunto de puntos de

una superficie en el espacio geomtrico ordinario, que puede
considerarse como un espacio de Riemann de 2 dimensiones.
19
 2.- Espacios euclidianos y mtricas tangentes.

2.01.- Definicin y ejemplo de espacio euclidiano

tangente en un punto.

Relacionemos un espacio Vn de Riemann con un espacio

euclidiano En de iguales dimensiones y signatura, de manera que a
cada punto de Vn corresponda un nico punto de En y que a toda
lnea contnua del espacio de Riemann corresponda una lnea
contnua del espacio euclidiano.

Impongamos a esta correspondencia la condicin de que

si tenemos en Vn un punto M0 y dos puntos prximos tales como M
y M, de imgenes m0, m y m' respectivamente, al tender a 0 las
distancias M0M, M0M y MM, tiende a verificarse:

M0M = m0m; M0M = m0m; MM = mm

y que cuando M0M y M0M son infinitsimos de primer orden, las

diferencias de estas distancias con las de sus imgenes son
infinitesimales de tercer orden.

Se demuestra que en general siempre hay un espacio

euclidiano que verifica las condiciones mencionadas con cualquier
par de puntos infinitamente prximos a M0. A este espacio lo
llamamos espacio euclidiano tangente al espacio riemanniano en el
punto M0.

Un ejemplo de espacio euclidiano tangente lo tenemos

para un punto M de una superficie en el espacio geomtrico
ordinario, cuando proyectamos ortogonalmente los puntos de la
superficie sobre el plano tangente en M.

2.02.- Mtricas tangentes y osculatrices en un punto.

Las imgenes de las curvas coordenadas de Vn forman n

sistemas de curvas en el espacio euclidiano tangente en M.

Si en este espacio tangente adoptamos un sistema de

coordenadas curvilneas tal, que las curvas coordenadas
correspondientes a m sean tangentes a las curvas imagen de las
curvas coordenadas correspondientes a M, diremos que la mtrica
euclidiana resultante es tangente en M a la mtrica de Riemann

Las mtricas tangentes se caracterizarn pues por

coincidir los coeficientes gij en m con los coeficientes gij
propios de M.

Si las curvas adoptadas para m no slo hubiesen sido

tangentes sino osculatrices a las curvas imagen, tendramos una
mtrica euclidiana denominada osculatriz en M a la mtrica de
Riemann.

Una mtrica euclidiana osculatriz no solo tiene en m

unos valores comunes gij con la mtrica riemanniana en M sino que
20
tiene tambin valores comunes para sus derivadas kgij y en
consecuencia lo mismo ocurre con los smbolos de Christoffel.

2.03.- Espacio tangente a una lnea de Vn.

Se demuestra que si tenemos una lnea C cualquiera en

un espacio de Riemann, podemos construir un espacio euclidiano
que sea tangente a la vez en todos los puntos de C.

La imagen de C en este espacio euclidiano es una lnea

llamada carta o desarrollo de C sobre el espacio euclidiano.

En la teora elemental de superficies tenemos un

ejemplo de carta: Sea C una curva trazada sobre una superficie S
y consideremos la superficie desarrollable circunscrita a S a lo
largo de C. Si la desarrollable se aplica sobre un plano, C
determina en el plano una curva que es la carta de C.

2.04.- Mtrica euclidiana de aplicabilidad.

Se demuestra que sobre un espacio euclidiano tangente a

una lnea de Vn es posible construir una mtrica que no slo sea
tangente sino que sea osculatriz de la mtrica riemanniana en
todos los puntos de la lnea. Se denomina mtrica euclidiana de
aplicabilidad a lo largo de la lnea.

2.05.- Geodsicas.

Sea en Vn una lnea cuyos puntos vienen dados en

funcin de un parmetro escalar t que llamaremos tiempo. Tomando
un modelo cinemtico, podremos definir a la lnea como
trayectoria de un punto.

Llamamos geodsica a la trayectoria del punto cuando la

aceleracin es nula. Por tanto, la ecuacin diferencial de la
geodsica es:
r
dr
= Constante
dt

y una lnea es geodsica cuando su carta es una lnea recta.

2.06.- Distancias extremales.

La distancia sobre Vn entre dos de sus puntos A y B es

extremal cuando se mide sobre una geodsica.

Llamando dr al vector de mdulo ds definido en un

espacio euclidiano tangente, comn a todos los puntos de la
lnea ab imagen de AB, diremos que la longitud del segmento ab de
la imagen del segmento AB perteneciente a Vn es:
b b r r
b
dr dr
ds
I = ds = dt = dt
a a dt a dt dt
21
siendo s el escalar distancia longitud desde el punto a inicial.

Para determinar el valor extremal de esta integral,

recurriremos a la frmula variacional de Euler, que en su forma
vectorial es la siguiente:

d
fr - fr = 0
dt

En nuestro caso tendremos:

r r r r r
ds dr dr 1 dr dr 1 dr
f= = df= d fr=0; fr=
dt dt dt f dt dt f dt

y por consiguiente la condicin de extremal es:

r r r r
d 1 dr d dt dr d dr dr
0 = = = = Constante
dt f dt dt ds dt dt ds ds

Por consiguiente, la condicin de extremal es que la

carta sea rectilnea, al igual que la condicin de geodsica.

3.- Tensores en Vn.

3.01.- Decimos que en un espacio de Riemann tenemos un

campo de tensores, cuando para cada uno de sus puntos M queda
definido un tensor del espacio euclidiano tangente a M aplicado a
la imagen m.

Para comparar los tensores de un espacio de Riemann

correspondientes a dos puntos distintos, slo es posible, y as
se hace, utilizando un espacio euclidiano tangente a una lnea
que contenga dichos puntos, pero deberemos tener en cuenta que
los resultados no tienen por qu ser los mismos si utilizamos
lneas distintas.

3.02.- Para una determinada lnea, s que coincidirn

los resultados si integramos las variaciones diferenciales
obtenidas al pasar de un punto de la lnea a otro
infinitamente prximo, calculadas sobre el espacio euclidiano
tengente a la lnea.

Al clculo de las coordenadas de diferenciales y

derivadas de un tensor con referencia a un sistema coordenado
riemanniano deberemos aplicar en el espacio euclidiano tangente
una mtrica osculatriz.

El conocimiento de los smbolos de Christoffel, comunes

a ambos espacios nos permite determinar las y con ello el campo
en el entorno infinitesimal de cada punto.

22
 Tanto diferenciales y derivadas normales de tensores
como diferenciales y derivadas absolutas de coeficientes
definidas en el campo euclidiano tangente, se consideran tambin
definidas en el espacio de Riemann.

3.03.- Consecuencia que podemos deducir de los prrafos

anteriores, es que un espacio de Riemann es euclidiano si y slo
y cualquier lnea cerrada se
si para cualquier campo vectorial v
verifica:

= 0
dv

Cuando esta condicin solamente se verifica en el

entorno infinitesimal de un punto, decimos que en este punto el
espacio riemanniano es localmente euclidiano.

3.04.- Tensores simblicos y .

Consideremos el operador tensorial , cuyo segundo

factor a los efectos de derivacin afecta a algn tensor, y cuyo
primer factor, a los efectos de derivacin, acta sobre el mismo
tensor y adems sobre el segundo factor

Este tensor se ha estudiado en relacin con un espacio

vectorial euclidiano y bajo la hiptesis de que en ste no
importa el orden en que se efecte una doble derivacin resulta
ser un tensor simtrico.

Vamos a estudiarlo ahora en relacin con un espacio de

Riemann, prescindiendo por tanto de la hiptesis mencionada.
Se verificar:

i e
= e j = e
i[( ej) ] + (e
ie
j) =
i j i j ij

j por su valor dado en A '3.03b :

y sustituyendo ie

i( j e
= - e k ) + (e
ie
j) =
i k j ij

y permutando k por j en el primer trmino:

i( k e
= - e j ) + (e
ie
j) = (e
ie
j)(- k + )
i j k ij i j k ij

Por la simetra de , es simtrico el primer sumando

del coeficiente de y por lo tanto ser simtrico si y
slo si tambin lo es el segundo sumando, o sea que para
cualquier tensor se verifique:

ij = ji i(j) = j(i)

Esta igualdad que es cierta en los espacios euclidianos

no lo es para todos los puntos de un espacio riemanniano no
euclidiano. As pues, en un espacio riemanniano, en general no se
23
anula el tensor antisimtrico diferencia entre y su
transpuesto, diferencia que por definicin es el tensor ,
cuya expresin ser:

ie
= (e j)
ij-ji

Por consiguiente, slo ser simtrico y slo

ser nulo, en los puntos en que el espacio es localmente
euclidiano.

Podremos expresar indicando con un subndice el

orden de derivacin sucesiva sobre un mismo tensor, de la manera
siguiente:

= 21 - 12

3.05.- Por todo lo que antecede, tenemos finalmente:

() = e
ie
j = e
ij-ji
ie
j[ ( ) - ( )]
i j j i

Siendo as que segn el lgebra tensorial se verifica

para vectores normales cualesquiera:

b 1
b
a = [(ab + ba ) + (a )]
2

b
b
y que por tanto la componente antisimtrica de a es 2(a ),
y la de es 2, la componente con antisimetra 1,2 de
es:

1
[()
]
2

3.06.- Para un campo escalar en un espacio de

Riemann, evidentemente no existe diferencia en la variacin de
segn se siga un camino u otro. Por consiguiente:

() = 0; ij-ji = 0

y en consecuencia para cualquier sistema coordenado

riemanniano determinado se tendr:

e
ij-jighs = 0 = ij-ji(e
h s)

)e
ij-ji = 0 = ij-ji[re ] = [( e t
s t ij-ji r s)e ]

3.07.- En un doble campo ,

, se verificar;

ij-ji( ) = i[j(
)] - j[i( ) =
= i[(j)
+ (
j )] - j[(i) + (i )] =
24
 = (ij)
+ ( )(
j

i ) + (ij ) + (j )(i) -

-(ji)
- ( )(
i

j ) - (ij ) - (i )(j) =

= (ij-ji)
+ (
ij-ji )

Cuando y
son de igual orden se tendr:

ij-ji( ) = 0; (ij-ji)
= - (
ij-ji )

3.08.- Un espacio riemanniano es eucldeo si y slo si

para cualquier campo vectorial v ( y por lo tanto para cualquier
campo tensorial de orden mayor que uno), la variacin del vector
de campo a lo largo de cualquier lnea cerrada es nula. Ello
equivale a decir que es nula la variacin a lo largo de cualquier
lnea cerrada infinitamente prxima a un punto cualquiera.

Vamos a expresar esta variacin:

dv = (v) dl i i

El vector diferencial dl es un elemento de lnea

orientado, de segundo orden infinitesimal, y sabemos por clculo
tensorial que esta integral se puede representar por:

dv = [(v)r]dl = (v)d
es el tensor superficie:
en cuya expresin, d

=
dl
d (r )

correspondiente a la lnea cerrada.

Sabemos por clculo tensorial que en la expresin de

,
d r representa el vector infinitesimal de posicin del elemento
infinitesimal de segundo orden dl de la lnea cerrada orientada
en el sentido de la integracin.

Como tambin sabemos por clculo tensorial, que d es

un tensor totalmente antisimtrico cualquiera, podremos sustituir
en la expresin de dv el tensor v por su componente
antisimtrica 1,2 que hemos visto que es 2()v y obtenemos
finalmente:

dv =
1 ]d

(1) [()v
2

ser nulo para cualquier v

Vemos pues que dv y

cualquier d si y slo si es nulo, es decir, ij = ji.

25
 4.- Tensor de Riemann-Christoffel.

4.01.- Expresin de la variacin de un vector base

ei a
lo largo de una lnea cerrada infinitamente prxima a un punto.

Por lo dicho en el prrafo anterior se tiene:

= 1 [()e
de i
2
]d
i

el tensor superficie correspondiente a la

siendo d
lnea cerrada.
.
4.02.- Vamos a estudiar la expresin rs-sre i

Partiremos de la base que

a) Las derivadas del tensor fundamental son nulas.

et) = d(e
te
) = 0
dI = d(e t t

b) Las derivadas rs-sr de un producto de dos vectores

son nulas.

e
rs-sr(e t
t i) = rs-sr(e e i) = 0

Subrayando la parte afecta al operador rs-sr podremos

escribir:

= e
e (e e
t) = (e
e t = e
(e e
t) = -e
(e e
t)
i i t i t)e i t i t

= e
e (ete
) = (e
e t)e
= e
(ete
) = -e
(ete
)
i i t i t i t i t

Estas igualdades nos permiten escribir:

2
de i
(e
= {()[e i
e
t
t)]}d
= {[()e
e
t
t]d
}e

i

2 de i
(e
= {()[e i
te
)]}d
t
= {[()e
te
]d
t
}e

i

2 de i
(e
= {()[-e i
e
t
t)]}d
= -{[()e
e
t
t]d
}e

i

2 de i
(e
= {()[-e i
te
)]}d
t
= -{[()e
te
]d
t
}e

i

4.03.- Denominamos tensor de Riemann-Christoffel al

tensor

et
(2) R = ()e t

queda as:
con lo que la expresin de la variacin de e i
26
 = 1 (R

(3) de i d)ei
2

4.04.- En general, en los textos no se cita el tensor

y se aplica la frmula del tensor de Riemann-Christoffel al
d
caso de que la lnea cerrada sea un paralelogramo en el espacio
tangente (cuasi paralelogramo en el espacio de Riemann).

Vamos a ver que los resultados coinciden, al adaptar la

ecuacin (3) a un paralelogramo.

Por clculo tensorial

sabemos que refirindonos a un vrtice
de un tringulo, el tensor superficie

dz de ste es:

dy
1
(dxdy)
2

dx
y que para hallar el tensor de un
paralelogramo podemos componer dos
tringulos con el siguiente resultado:

= 1 (dx
d dy
+ dy
dz
) = 2[dx(dx
+dz
) + (dx
+dz
)dz
] =
2
1 dz
+ dx
dz) = dx
dz

= (dx
2
dz
Pero como dx es el componente antisimtrico de 2(dx


dz), y d viene multiplicado por R que tiene antisimetra 1,2,
en la expresin de la variacin de e podemos sustituir d por
i
2(dxdz), con lo cual la expresin de la variacin es

= [R
de i (dxdz)]ei

que corresponde a la frmula habitual.

4.05.- Simetras en el tensor R de Riemann Christoffel.

1.- De las expresiones obtenidas para R se deduce
inmediatamente la antisimetra 1,2 as como la antisimetra 3,4.

2.- Indicando los factores de R en la forma (1234), el
tensor R tiene la simetra especial:

(1234) + (2431) + (4132) = 0
Pues sustituyendo por 21 - 12, se tiene:

e
(1234) = 21e t - e
et
t 1 2 t

27
 te
(2431) = 1e - e
te
1
t 2 2 t

t e
(4132) = e - e
t e

2 t 1 1 t 2

Teniendo en cuenta que, segn hemos visto al estudiar

las coordenadas curvilneas en espacios euclidianos, la derivada
t es un tensor simtrico y por lo tanto un tensor no vara
1e
al permutar 1 por t, al sumar miembro a miembro las tres
e
igualdades, vemos que los trminos del segundo miembro se anulan
entre s.

Como por la primera simetra tenemos (1234) = (2143),

la ltima simetra tambin se verificar a partir de (2143) con
lo que obtenemos:

(2143) + (3241) + (1342) = 0
as como se verificarn las igualdades que resulten de efectuar
en cada trmino las mismas transposiciones sea sobre la ecuacin
anterior o sobre esta ltima.

3.- Simetra (1234) = (3412).

Podemos escribir por la 20 simetra:

(1234) = -(2431)-(4132)
(1234) = -(2314)-(3124)
y sustituyendo los valores:

-(2431) = (3412) + (1423)

-(3124) = (3241) + (3412)
al sumar miembro a miembro tendremos:

2(1234) = 2(3412) + (1423) - (4132) - (2314) + (3241)

Pero por la 1 simetra (1234) = (2143) y por tanto,
cambiando el orden de estas dos formas de igual manera tambin
tendremos:

(2314) = (1423); (4132) = (3241);

con lo que la anterior igualdad se reduce a

2(1234) = 2(3412) (1234) = (3412)

4.- Las simetras demostradas permiten su

generalizacin, pues como por ellas se verifica:

(1234) = (2143) = (3412) = (4321)

28
tambin se verificar:

(3412) + (4213) + (2314) = 0

(4321) + (3124) + (1423) = 0
as como todas las igualdades que se puedan deducir de estas
ltimas o de las anteriores por transposicin de factores
tensoriales.

4.06.- Coeficientes del tensor de Riemann-Christoffel.

El coeficiente Rrsij se acostumbra a representar por

Rij,rs.

Teniendo presente que rs-sr sobre un producto de

vectores es nulo, se puede calcular as:

e
Rrsij = [()e t)](e
e e
e) =
t r s i j

e
[()(e )](e
te
)(e
e t
r s j t i) = (rs-sre )ej(e te i) =

)e
= -(rs-sre t(e
e t
j t i) = -(rs-sre j)[e i(e e t)] =

)e
-(rs-sre = ( e
j i rs-sr i)e j

4.07.- Estas cordenadas pueden ponerse en funcin de

las de la siguiente manera:

)e
Rij,rs = (rs-sre =
r sji -srji +s jrhi -r jshi
h h
i j

)e
Rij,rs = (rs-sre j = j - j + h j - h j
i r s i s r i s i r h r i s h

Pues sabemos por lgebra tensorial que I(a b)=ab y por
tanto tenemos:

)e
(rse = [ ( e

i j r s i)]e j = r[(se i)e j] - (se i)(rej) =

h
= rsji - I(se ire j) = rsji -(e he )(seirej) =

)e
= rsji - [(se ][( e
h
r j)e ] = rsji - shir j
h
i h

Teniendo en cuenta que (r = - (

ej)eh
j
reh)e , obtendramos
anlogamente:

)e
(rse j = j + h j
i r s i s i r h

Restando de estas expresiones las que resultan de

permutar r por s, obtenemos inmediatamente las frmulas
indicadas.
29

4.08.- Adems de la expresin de R utilizada hasta
ahora se utiliza tambin la siguiente:

ie
je
e t
R = e t ij-ji

que se obtiene inmediatamente de la anterior.

4.09.- De los prrafos anteriores resulta

evidente que
un espacio riemanniano es eucldeo si y slo si R=0.

4.10.- Variacin de un vector de campo

v en un circuito
cerrado infinitamente prximo a un punto dado. Es:

= 1 (R

dv d)v
2
.
y tiene la misma forma que la variacin hallada para e i

Puesto que se verifica (1):

= 1 [()v
dv
2
]d = 1 vi[()e
2
]d
i
= vi
de
i =
1 i 1
= v (R d)ei = (R d)v
2 2

4.11.- rs-srvh = Rmh,rs vm

Efectivamente. Teniendo en cuenta que respecto al

operador se verifica:
= (v
v e )e
t
t

y que las derivadas absolutas son los coeficientes de la derivada

espacial, podremos escribir:

](e
rs-srvh = [()v e e
h) = [()e
t](e
e e
h)(v
e )=
r s r s t

te
=[()e ](e
e e
hv
) =[()e
te
](e
e e
he
)vm =
t r s t r s m

e
= [()e t](e
e e
eh)vm = R h vm
t r s m m ,rs

30

5.- Tensor derivada de R

Lo expresaremos por:

k e
i e
j e
e t
R = e k t ij-ji

Como sea que sabemos que se verifica:

s t = e
s[( e
t s t t
k s)e ] = -e [(ke )e s] = -ke
e k s

eskst =
es[(k s] = s
ket(ese ) = ket
et)e

podemos escribir:

a) i
ke t = (- i es) t =
ij-jie k s ij-jie

y permutando i con s:

t)
= ei (-ksisj-jse

b) j
ke t = ej (- s e t)
ij-jie k j is-si

ke t = s e
t = e
(e t s )
k t s ij-jie
c) t ij-jie s ij-ji k t

y permutando s con t:

= e (e s t ) =
t ij-ji k s
t) = - e
= - et ij-ji(ke ( t
t ijk-jike )

d) t) =
k(ij-jie t
kij-kjie

Por lo tanto R es igual a

ke
ie
je
et)(- s - s -
ijk-jik+kij-kji)
(e t k i sj-js k j is-si

Expresando de esta menera la derivada, se ve fcilmente

que verifica la siguiente simetra:

(12345) + (23145) + (31245) = 0
y en consecuencia:

kRrs,ij + iRrs,jk + jRrs,ki = 0

y esta es la expresin de las identidades llamadas de Bianchi.

31
 6.- Tensor de Ricci.

Examinemos los tensores que resultan de las

contracciones del tensor de Riemann-Christoffel:

et - e
et = e
ie
je
t
R = 21e t 1 2 t t ij-jie

6.01.- Contracciones 1-2 y 3-4.

Son nulas, pues R tiene antisimetras 1,2 y 3,4.

6.02.- Contraccin 1-4.

Da lugar al tensor de Ricci, expresado por R2.

t)( e
)-( et)( e
) =[( et) ]e
-[( et) ]e
=
R2 =(2e 1 t 1 2 t 2 1 t 1 2 t

t]e
[(21)e - [( )e
t]e
= t] e
[()e
t 1 2 t t

y en otra forma:

je
)[e
i( e t)]
R2 = (e t ij-ji

6.03.- Contraccin 2-3.

Por la simetra (1234)=(2143) del tensor de Riemann

tambin dar lugar al tensor de Ricci, para el que tendremos una
nueva expresin:

je
)(e
i t i t j i j
ij-jie ) =e ij-ji[e (e e t)] =e ij-jie
R2 =(e t

6.04.- Contracciones 1-3 y 2-4.

Dan lugar al tensor -R2 pues para el tensor de Riemann
tenemos (1234) = -(1243)

6.05.- El tensor de Ricci es simtrico.

Queda evidente al obtener el tensor de Ricci por

contraccin 2-3 en la forma (1234) del tensor de Riemann y 1-4 en
la forma (3412):

je
)(e
i t j t i
ij-jie ) = (e te )(ij-jie e )
R2 = (e t

6.06.- Coordenadas del tensor de Ricci.

Se deducen fcilmente de la expresiones anteriores as

como de la contraccin de coordenadas del tensor de Riemann-
Christoffel:

)e
Ris = Rir,rs = (rs-sre r =
i

32
= rsri -srri +shirrh -rhisrh

R
j j)e
= Rsj = gijRis = (rs-sre r
s

33
 7.- Curvatura riemanniana escalar.

7.01.- Es el escalar R que resulta de la contraccin

del tensor de Ricci. Tendremos pues:

t]e
R = [()e te
= ()(e )
t t

as como tambin:

R = [(eie j) e t]e
= [( e t)e
i](e
je
) =
ij-ji t ij-ji t
i t j i j
= -[(ij-jie )e ](e et) = -(ij-jie )e = (ij-jie j)e
i

y tambin

R = (R2)ii = Rji,ij
7.02.- Relacin entre el tensor de Ricci y la curvatura
riemanniana escalar.

Podemos obtener una relacin interesante entre R2 y R,
a partir de las identidades de Bianchi:

ie
e je
t + eje
ie
t
ij-jie ij-jie
t t +
ie je

t = 0
+ e e
t ij-ji

en las que cada afecta al resto del trmino.

Aplicando las contracciones 2-4 y 3-5, resulta:

ie
(e )[( e t)e
j] + ej(e )[( e t)e
i] +
t ij-ji t ij-ji

+ ei(e je
)[( e t)] = 0
t ij-ji

Pero teniendo en cuenta las expresiones de R y R2, y la
simetra del tensor de Ricci, podremos escribir:

ie
(e )[( e t)e
j] = [( e i)e
j] = -R
t ij-ji ij-ji

j(e
)[( e i j i
ij-ji t)e ] = [(e te )][(ij-jiet)e ] = R 2
e t

i(e
je
)[( e t)] = [( e j)e
i] = R
e t ij-ji uj-ji 2

Y sumando miembro a miembro tendremos:

1 1
0 = -R + 2R2 R 2 - (I)R = 0 (R2 - IR) = 0
2 2

34

8.- Relacin de R,R2 y R con el tensor L fundamental
de Gauss de 2 especie.

Consideraremos un espacio de Riemann (n-1)-dimensional,

sumergido en un espacio propiamente euclidiano de dimensin n, de
manera que el primero pueda considerarse una superficie (n-1)-
dimensional del segundo y adoptaremos un sistema coordenado
curvilneo con arreglo a las siguientes condiciones:

1.- Todos los puntos del espacio de Riemann, tienen,

adems n de las coordenadas elegidas para el mismo, otra coordenada
ms, y , con igual valor en todos sus puntos.

2.- Las bases elegidas para los puntos del espacio de

, unitario y
Riemann quedan ampliadas con un nuevo vector base en
ortogonal a los restantes vectores base del mismo punto.

8.01.- De acuerdo con el sistema coordenado que

acabamos de establecer, en cada punto del espacio de Riemann se
verificar:

= e
e n
n

= e
ie n
n i

(in): )e
(ie = ( en)e
= ( e
n = ( en)e
n = 0
n n i n i n)e i

(in): inn = inn = 0

Tambin se verificar:

n)e
(ie = ( e
inj = inj
j i n)e j

8.02.- Como el tensor R del espacio euclidiano es nulo
en cada punto del espacio euclidiano, tambin lo ser cuando
coincida con un punto del espacio de Riemann. La coordenada Rij,rs
euclidiana de tal punto, cuando i,j,r,s correspondan a
coordenadas del espacio de Riemann, ser:

0 = rsji - srji + shirjh - rhisjh

Refiriendo dicha coordenada al espacio de Riemann, su

expresin tendr los mismos sumandos que la anterior, exceptuando
aquellos en que h toma el valor n y por lo tanto podremos
escribir:

0 = Rij,rs + snirjn - rnisjn

y esta es la expresin de la condicin por la que la

coordenada aadida a las del espacio de Riemann lo convierte en
un espacio euclidiano.

35

8.03.- Por definicin, el tensor L de segundo orden,
llamado tensor fundamental de Gauss de 2 especie, verifica:

)e
Lis = (isr n = ( e
n = n
i s)e i s

y por tanto es simtrico con Lis=Lsi. En cada punto de la

superficie espacio de Riemann tendremos:

)en = -( e
Lis = (ie n)e
= -( e

s i s i n)e s = -isn

)e
Lr = Lrsg = [(re
j js n]gjs = ( ej)e
n = -( e
j = - j = Ljr
s r r n)e r n

Pero como tenemos:

Rij,rs = -snirjn + rnisjn

sustituyendo valores se obtiene:

Rij,rs = LisLrj - LirLjs

o sea que el tensor R de Riemann-Christoffel es la diferencia
entre entre las permutaciones 2,4 y 2,3 del tensor LL.

8.04.- Por sucesivas contracciones obtenemos:

(j=r): (R2)is = LisLrr - LirLrs (R2)is = LisLrr - LirLrs

(s=i): R = LiiLrr - LirLri

Observando
que Lii es la traza de L y que LirLri es la
norma de L, con I como tensor fundamental de 2 orden, podremos
escribir:

2
R = (LI) - LL

y llamando 2 al segundo invariante del tensor L, que es
simtrico, resulta:

R = 22

Pues si por ser L simtrico adoptamos su matriz
diagonal, podremos escribir:

R = (ai)(aj) - [(ai)2] = (ij): (2aiaj) = 2(aiaj) = 22

8.05.- Si el espacio de Riemann es bidimensional,

podemos considerarlo como una superficie del espacio geomtrico
ordinario.

Entonces 2 coincide con el determinante de L, y como
sabemos que este determinante es el producto de las curvaturas
principales, la magnitud escalar R ser el doble de este
producto.
36

8.06.- El tensor L de Gauss, para todos los puntos de
la superficie, coincide con el tensor -(e ).
n

se verifica:
Pues para e n

je
a) Componente covariante relativa a e k =
jkn

je
b) Componente mixta relativa a e = k
k j n

Por tanto:

) = (e je
k) = k (e
je
)
-L = (e n jkn j n k

37
 INDICE DE EQUACIONES

(1)......... 2, 25 (14) .......... 12 (5) ............ 3

(10)........... 10 (15) .......... 12 (6) ............ 3
(11)........... 10 (2) ........ 2, 26 (7) ............ 3
(12)........... 11 (3) ........ 2, 27 (8) ............ 4
(13)........... 11 (4) ............ 2 (9) ........... 10

39