Teoría General de La Conexión Afín

Wenceslao Segura Gonzlez
Teora general de la conexin afn

General theory of the affine connection
Investigador independiente
e-mail: wenceslaoseguragonzalez@yahoo.es
web: wenceslao-segura.es
1
Sinopsis. La conexin afn representa el elemento geomtrico ms primario, del que derivan todas las otras magni-
tudes que caracterizan a una determinada geometra. En este artculo se estudia el concepto de conexin afn, sus
propiedades y las magnitudes que de ella se derivan, as como algunas de las conexiones que se han utilizado en
teoras fsicas. Se investiga la relacin entre la conexin afn y el tensor mtrico. Todo este estudio se encuentra
dirigido a su aplicacin en teoras de la gravedad alternativas a la Teora General de la Relatividad y en las teoras de
campo unificado.
Abstract. The affine connection is the primary geometric element from which derive all other quantities that characterize
a given geometry. In this article the concept of affine connection, its properties and the quantities derived from it are
studied, we also present some of the connections that have been used in physical theories. We introduce the metric
tensor and we study its relation with the affine connection. This study is intended for application in alternative
theories of gravity to the General Theory of Relativity and to the unified field theories.
1.- lgebra tensorial
Un espacio es un conjunto de infinitos elementos a los que llamamos puntos, cada uno de ellos definidos por
N nmeros reales independientes entre s, a los que llamamos coordenadas del punto. Impondremos la condicin
de que el espacio sea contnuo, es decir que si un punto tiene coordenadas
k
x existen otros puntos con coorde-
nadas
k k
x dx , donde
k
dx son valores infinitesimales, es decir que infinitamente cerca de un punto existen
infinitos puntos. Al nmero N de coordenadas necesarias para identificar a cada punto se le llama dimensin del
espacio.
La representacin de los puntos del espacio por sus coordenadas no es nica. En efecto, es posible definir
nuevas coordenadas relacionadas con las antiguas por N funciones
r r k
x x x ' ' =
o bien *
,
r
r k r k
k k
x
d x dx A d x
x
' c
' = =
c
donde suponemos que la transformacin es invertible, o sea que el jacobiano o determinante de la matriz
r
k
A es
distinto de cero, debiendo existir por tanto la relacin inversa
.
r
r k r k
k k
x
d x d x B d x
x
c
' ' = =
' c
Vamos tambin a exigir que las funciones (1) sean derivables y con suficientes propiedades de regularidad.
Esta operacin de cambio de coordenadas nos permite definir los elementos bsicos que operan en un
espacio, como son, entre otros: vectores, tensores, escalares y espinores. Un vector es un ente geomtrico que
puede venir definido por N nmeros
k
v , llamados sus componentes contravariantes, y que estn relacionados
con el espacio de tal forma que al hacer un cambio de coordenadas (1) estas componentes se transforman segn
* En lo que sigue utilizaremos el criterio de sumacin de Einstein.
(1)
TEORA GENERAL DE LA CONEXIN AFN
la ley
,
k k r
r
v A v ' =
es decir se transforman con la misma ley que las diferenciales de las coordenadas. Otra posibilidad es que el
vector venga definido por un conjunto de N nmeros
k
v , llamados sus componentes covariantes, que ante el
cambio (1) se transforman como
.
r
k k r
v B v ' =
Hay que advertir que un vector viene expresado por las componentes contravariantes o por las covariantes. No
obstante, y como veremos ms adelante, es posible definir un vector de orden dos, como es el caso del tensor
mtrico, que nos sirva para subir o bajar los ndices, es decir establecer una correspondencia entre las compo-
nentes contravariantes de un vector y sus componentes covariantes. En este caso el vector viene definido tanto
por unas como por las otras componentes, pues ambas se encuentran relacionados entre s.
Debemos distinguir entre el vector simple y el campo vectorial. En el primer caso se trata de un vector
definido en un nico punto del espacio. En un campo vectorial nos encontramos con un vector definido en cada
punto del espacio, lo que significa que las componentes del campo vectorial son funciones de las coordenadas.
El concepto de vector es fcilmente generalizable para alcanzar el concepto de tensor. Por ejemplo, un
tensor de segundo orden contravariante es un ente matemtico definido por
2
N componentes
pq
t que se
transforman en un cambio de coordenadas (1) por la ley
.
rk r k pq
p q
t A A t ' =
El concepto de tensor se puede generalizar tanto en su orden como en su carcter, sea ste covariante,
contravariante o mixto. Por ejemplo, las componentes de un tensor de segundo orden mixto se transforman
segn
.
p p s r
q r q s
t A B t ' =
Al igual que lo sealado para los vectores, cabe hablar de un tensor definido solamente en un punto del
espacio o de un campo tensorial, en este caso sus componentes son funciones de las coordenadas.
Se definen los escalares como entes matemticos ligados con el espacio y definidos por un solo nmero que
no vara cuando se hace un cambio de coordenadas, o sea, es invariante. Puede existir un campo escalar,
entonces el nmero que lo define depende del punto del espacio que se considere, pero estos nmeros seguirn
siendo los mismos al realizar un cambio de coordenadas.
Fcilmente se pueden definir operaciones tensoriales como la suma, resta, multiplicacin y contraccin. Esta
ltima consiste en igualar dos ndices, uno superior y otro inferior y luego sumar respecto a ellos. La contraccin,
por ejemplo, de un tensor de cuarto orden tres veces contravariante y uno covariante
rkp
q
t es un nuevo tensor
de segundo orden
kp
t
.
rkp rkp kp
r r
r
t t t
Ntese que es importante el orden en que estn colocados todos los ndices de las componentes de un tensor, no
solamente los ndices que estn en la misma lnea, sino los ndices contravariantes respecto a los covariantes. En
realidad lo que hay que distinguir es el orden entre los ndices contravariantes (o entre los covariantes), pero en
el caso en que se defina un tensor de segundo orden para bajar y subir ndices, entonces los ndices contravariantes
se pueden convertir en covariantes y viceversa, por ello es tambin necesario conocer el orden de un tipo de
ndice respecto a los del otro tipo. Debemos tambin notar que de un tensor dado se pueden obtener varios
tensores contrados que, en general, sern diferentes entre s. De nuestro ejemplo anterior tambin se pueden
obtener los tensores contractos
rkp
k
t y
rkp
p
t .
Es posible combinar el producto con la contraccin, operacin especialmente til para los vectores, denomi-
nndose en este caso producto interno o escalar. Para los vectores de componentes
r
v y
k
w su producto
escalar ser
k
k
v w , donde como es habitual se sobreentiende la suma respecto a los ndices repetidos, a los que
se les llama ndices mudos.
Una ecuacin cuyos dos miembros sean tensores de igual orden y carcter es una ecuacin invariante, es
decir, que la relacin entre sus miembros se mantiene cualesquiera que sea el sistema de coordenadas elegido.
Y viceversa, si encontramos una ecuacin invariante tal que uno de sus miembros tenga carcter tensorial,
podemos concluir que el otro miembro tambin ser un tensor y de iguales caractersticas.
Un tensor asimtrico, por ejemplo de segundo orden (
ik ki
t t z ), siempre se puede descomponer en parte
simtrica
i k
t y antisimtrica
i k
t
2
;
ik ki ik ki
t t t t = =
definidas por
1 2 1 2
ik ki i k ki ik i k
t t t t t t = =
de tal forma que
.
ik ik ik
t t t =
Las partes simtricas y antisimtricas de un tensor son a su vez tensores y se transforman de forma indepen-
dientes entre ellos. Si la ley de transformacin del tensor considerado es
,
q p
ik i pq k
t B B t ' =
se comprueba que tambin se cumple
1
2
q p q p q p
i pq i pq i k k k ik pq
t B B t B B t B B t ' = + =
donde se han intercambiado los ndices mudos p y q; e igualmente obtenemos
,
q p
i k i k pq
t B B t '
lo que nos muestra la independencia en la transformacin de las partes simtricas y antisimtricas de un tensor.
Estos resultados se pueden extender a un tensor de cualquier orden y carcter.
Se le llama traza de un tensor de segundo orden mixto a
i i
i k
Tr a a =
es decir, la suma de los elementos diagonales. La traza tiene la propiedad de ser invariante frente a cambios de
coordenadas, en efecto
.
i i i q p p p
i p i q p q k
Tr t t A B t t Tr t ' ' = = = =
2.- Conexiones y derivadas
Cuando un espacio eucldeo (o sea, el espacio ordinario, ver epgrafe 15) est expresado en coordenadas
curvilneas, las derivadas parciales de las componentes de un vector
k
r
v c no tienen propiedades definidas de
transformacin, por ello es necesario introducir el concepto de derivada covariante del vector. Sea el vector
k
k
v = v e , siendo
k
e los vectores bsicos, al hallar la derivada de v se obtiene
,
k
k k r k r k
k k k r r
v
d dv v d dx v dx
x x
c c
= =
c c
e
v e e e
como cualquier vector se puede poner como una combinacin lineal de los vectores bsicos, entonces
s k
s kr
r
x
w
*
w
e
e
siendo los
s
kr
* unos coeficientes a determinar. Por lo anterior queda que la derivada de un vector en un espacio
eucldeo es
,
s s k r s r
r s r s kr
d v v dx D v dx = c + I = v e e
llamando a
s
r
D v las componentes de la derivada covariante del vector v .
Para obtener una definicin adecuada de diferenciacin en un espacio genrico no eucldeo, nos guiaremos
por (2). Con esto queremos indicar que la definicin que daremos de derivacin se reduce a la obtenida en la
geometra eucldea. Teniendo esto presente, definimos la derivada covariante de un vector por los siguientes
requisitos:
a) La derivada covariante de un vector es un tensor de segundo orden.
b) Si el campo vectorial tiene de componentes contravairantes
k
v las componentes de la derivada covariante es
la expresin
k
k s k k s k
r sr r sr
r
v
D v v v v
x
c
= I = c I
c
donde los smbolos
k
sr
I son las componentes de un campo normalmente sin carcter tensorial al que llama-
mos conexin afn o simplemente conexin.
c) La derivada covariante cumple la regla de Leibnitz de derivacin de un producto.
(2)
3
d) En el caso de un campo escalar f la derivada covariante es idntica a su derivada parcial
.
r r
D I I w
Una serie de aclaraciones exige la anterior definicin. Como
k
sr
I no es en general simtrica respecto a los
ndices inferiores, se podra haber definido la derivada covariante por
k k s k
r r r s
D v v v = c I
donde se ha invertido el orden de los subndices de la conexin con respecto a la usada en (3). Como demostra-
remos ms adelante, si (3) es un tensor tambin lo es (4), o dicho de otra forma si
k
sr
I es una conexin, tambin
lo es su traspuesta
k k
rs sr
I = I
. (4) representa una derivada covariante diferente de (3). El uso de una u otra
definicin es indiferente, pero debe indicarse cul de las dos se est usando. Es posible construir una geometra
diferencial donde se usen simultneamente ambas derivadas covariantes, incluso se puede hacer una definicin
mixta de ambas derivadas.
Es importante saber el orden de los ndices de la conexin. En nuestra definicin el ndice contravariante o
superior se encuentra en tercer lugar. Tambin es arbitrario el orden que se elija, pero dado un orden debe
mantenerse en los clculos sucesivos. Se podra tambin representar la conexin por las siguientes expresiones:
k
r s
I y
k
sr
I . La diferencia entre una u otra surge cuando se baja el ndice superior, ya que en este caso s es
significativo el orden del ndice contravariante
Es posible definir una derivada covariante sin exigir el cumplimiento de los apartados c) y/o d). Entonces
sera necesario utilizar dos conexiones: una para la derivada de las componentes contravariantes y otra para la
derivada de las componentes covariantes.
En esta situacin tambin sera posible la definicin de la derivada de un tensor, siguiendo para ello la similitud
con lo deducido en la correspondiente derivada de un tensor en un espacio eucldeo.
Ntese que de nuestra definicin de derivada covariante no se puede obtener la expresin de la conexin, por
esta razn estos smbolos se convierten en un elemento bsico que debe ser indicado para definir el espacio. El
establecimiento del campo de la conexin nos permite efectuar la diferenciacin de un campo vectorial o tensorial
y a partir de estas operaciones obtenemos un conjunto de tensores que describen las caractersticas y propieda-
des del espacio.
Es fcil deducir la derivada covariante de un vector definido por sus componentes covariantes, para ello
partimos de
k
k
u v I =
donde f es un escalar como se deriva de la leyes de transformacin y
k
u es un campo vectorial arbitrario.
Teniendo en cuenta el apartado d) de la definicin de derivada covariante
k k k k k k
r k k r r k r k k r r k
D u v v D u u D v u v v u u v = + = c = c + c
utilizando el valor ya encontrado de
k
r
D u entonces
0
s k
r k r k s kr
u D v v v c + I =
dado el carcter arbitrario de
k
u se encuentra
s
r k r k s kr
D v v v w *
que es la expresin buscada.
Dmonos cuenta que si la derivada covariante se hubiera definido por (4) entonces en vez (3) hubiramos
encontrado
.
s
r k r k s rk
D v v v w *
El proceso lo podemos continuar para hallar la derivada de un tensor de segundo orden con componentes en
forma covariante. Partimos para ello del escalar
r k
rk
u v t I =
donde
r
u y
k
v son dos campos vectoriales arbitrarios. Haciendo uso de un procedimiento igual que el anterior
se encuentra
.
s s
p rk p rk rs sk rp kp
D t t t t = c I I
Para terminar pongamos la expresin para el caso de la derivada covariante de un tensor de segundo orden con
componentes mixtas
(4)
(5)
4
.
k k k s s k
p r p r s rp r sp
D t t t t = c I I
Como ya indicamos es posible definir una derivada mixta, es decir la que utiliza tanto la definicin (3) como
la (4)
.
s s
p rk p rk rs sk rp pk
D t t t t = c I I
expresin que recibe el nombre de derivacin covariante de Thomas.
Como antes dijimos es posible definir dos conexiones, una de ellas a utilizar en la derivada de un vector
contravariante como en (3) y la otra para definir la derivada de un vector covariante
s k
r k s kr
r
v
D v v
x
c
= I
c
ambas conexiones debern ser usadas cuando se calcula la derivada de un tensor que tenga ndices covariantes
y contravariantes. Definimos unos smblos de tercer orden
s s s
kr kr kr
C * *
que al ser la diferencia de dos conexiones es un tensor, como veremos en 3. Si
s
kr
C es distinto de cero no queda
definida la derivada de un escalar. As, por ejemplo, para
i
i
v u I =
,
s i
k k s ik
D C v u I I w
la situacin se resuelve si
s s
i k ik
C C G
o bien
s s
k i ik
C C G
donde
k
C es un vector covariante, al que daremos el nombre de vector de Schouten, entonces
k k k
D C I I I c +
expresin que conserva el carcter lineal de la derivacin covariante de un escalar, pero no cumple la regla de
Leibnitz.
(7) significa una condicin que deben cumplir las dos conexiones I y
* . En efecto, si contraemos (7)

repecto a s y k y luego respecto a s e i obtendremos
1

;
4
s s s s
k k sk sk ks ks
C C = I I = I I
lo que nos establece la relacin entre las dos conexiones

4 4 .
s s s s
sk ks sk ks
* * * *
Por lo visto en este epgrafe podemos definir en un mismo espacio cuatro conexiones diferentes

; ; ;
s s s s
rk kr rk kr
* * * *
que generarn derivadas covariantes distintas.
3.- Ley de transformacin de las conexiones
Si bien la definicin de derivada covariante no permite definir la conexin, si le impone severas limitaciones
y esto es as por la condicin de tensor que debe poseer la derivada covariante, lo que establece la relacin de
transformacin que debe cumplir la conexin asociada al espacio.
Ante el cambio de coordenadas (1) la derivada covariante de un tensor toma la forma
k k s k
r r sr
D v v v ' ' ' ' ' ' = c I
que al ser un tensor deber cumplir la siguiente ley de transformacin
.
k p k s
r r s p
D v B A D v ' ' =
Como
j
k k s j k s j k s
r s r s j r s j
r j
x
v A v B A v B A v
x x
c c
' ' c = = c
' c c
desarrollando (8) y aplicando (9)
k j k s j k s s t k p k s p k s p k s t
r r sj r s j t si r s p r s p r t sp
D v B A v B A v A v B A D v B A v B A v ' ' ' = c I = = c I
(6)
(7)
(8)
(9)
5
y dado que el vector de componentes
k
v es arbitrario, resulta tras la simplifiacin
k p s k t j s k
ri i r t sp i r s j
B B A B B A ' I = I
que es la ley de transformacin de la conexin.
Es posible una ligera simplificacin de la anterior expresin. El segundo sumando del segundo miembro se
puede poner como
2 j s k s k j
j s k
i r sj
i r s j j r s i
x x x x x x
B B A
x x x x x x x x
' ' c c c c c c c
+

' ' ' ' c c c c c c c c
' .
donde hemos sumado una expresin que es idnticamente nula por serlo la derivada del parntesis que es el
smbolo de Kronecker,
k
r
G . Desarrollando se llega a
2 s k
j s k s k
i r sj ri s
r i s
x x
B B A B A
x x x
' c c
= =
' ' c c c
con este resultado la ley de transformacin de una conexin frente a un cambio del sistema de coordenadas
queda
.
k q s k p s k
ri i r p sq ri s
B B A B A ' I = I +
Cualquier campo que ante una transformacin de coordenadas cambie como (10) es una conexin. La anterior
expresin se puede tomar como la forma ms general de definicin de una conexin. Ntese que si la transfor-
macin de coordenadas es lineal 0
s
ri
B = y entonces la conexin se comporta como un tensor..
4.- Propiedades de las conexiones
Aunque sin carcter tensorial en general, cualquier conexin puede descomponerse en parte simtrica y
antisimtrica
,
k k k
i s
i s i s
I I + I
donde volvemos a utilizar el criterio de que los parntesis redondeados representan simetrizacin y los cuadra-
dos antisimetrizacin, y que son definidos por
1
2
1
.
2
k k k
i s si
i s
k k k
i s si
i s
I I + I
I I I
Sus leyes de transformacin son diferentes, de tal forma que la parte antisimtrica se transforma como un tensor
de tercer orden, algo que no ocurre con la parte simtrica. Esto viene a significar que las partes simtricas y
antisimtricas no se mezclan y ante a ley de transformacin actan como magnitudes independientes. La parte
antisimtrica de la conexin tiene 24 componentes independientes y la parte simtrica tiene 40 componentes
distintas, las que hacen el total de 64 componentes de la conexin.
Si una conexin es simtrica en un sistema de coordenadas, ser simtrica con cualquieras otras coordena-
das, pues en este caso la parte antisimtrica es nula y al ser un tensor, seguir siendo nula en cualquier otro
sistema de coordenadas. No obstante, la conexin antisimtrica no tiene carcter invariante, es decir la conexin
puede ser antisimtrica en un sistema de coordenadas y no serlo en otro.
La parte antisimtrica de una conexin no es una conexin, ya que se transforma como un tensor y no con la
ley (10). No obstante, la parte simtrica de una conexin es a su vez una conexin pues cumple la condicin de
transformacin (10), en efecto
1 1
2 2
.
k k k q s k k k s k
ri ir i r p pq qp ri s
ri
k q s k s k
i r p ri s
pq
B B A B A
B B A B A
I I + I I + I +
I +
Por tanto podemos afirmar que una conexin puede ser asimtrica (o sea, que contiene tanto parte simtrica
como antisimetrica) y simtrica, pero no pueden existir conexiones antisimtricas para transformaciones gene-
rales de coordenadas.
Es fcil comprobar que la diferencia entre dos conexiones distintas
k
is
I y
k
is
I es un tensor. En efecto, por
la ley de transformacin (10) se encuentra
,
k k k p q r r
is i s r i s pq qp
A B B I I = I I
(10)
6
lo que nos viene a decir que dada una conexin podemos obtener otra sumndole un tensor cualquiera
k
i s
T
k k k
is i s i s
T I = I
Si bien la suma de dos conexiones no forma en general una nueva conexin, la expresin
k k
is i s
D E I I
s ser una conexin siempre y cuando 1 D E .
La conexin admite dos contracciones
;
k k
s s ks sk
* * * *
que son diferentes salvo que la conexin sea simtrica. Los smbolos
s
* y
s
I
son las componentes covariantes

de un vector como se puede comprobar por aplicacin de (10).
Si
k
is
I son las componentes de una conexin y O es una funcin invariante
* k k k
is i s i s
G O I = I c
es una nueva conexin puesto que se transforma segn (10).
Si
k
is
I es una conexin, entonces su transpuesta
k k
i s si
I = I
tambin es una conexin, como fcilmente

se deriva al aplicar (10).
Si
k
is
I es una conexin, entonces
k k k
is i s i s
U G = I I
tambin es una conexin, ya que el segundo sumando del segundo miembro es un tensor. Igualmente ocurrira si
usamos
i
I
en vez de
i
* en la anterior expresin o si cambiamos en el segundo sumando del segundo miembro
los ndice i por s.
5.- Tensores especiales
La delta de Kronecker
k
i
G ( 1 = si i k ; 0 si i k = ) puede ser entendida como las componentes de un
tensor mixto que tiene en todos los sistemas de coordenadas las mismas componentes, como la demuestra la
identidad
.
k k q p
i p i q
A B G G =
El smbolo de Levi-Civita completamente antisimtrico
pqrs
H tiene el valor 1 si hay una permutacin par de
los ndices, el valor 1 si la permutacin es impar y 0 si hay al menos dos ndices iguales. Este smbolo no tienen
carcter tensorial pero a partir de l podemos definir en un espacio tetradimensional un tensor
pqrs
A , tambin
de carcter antisimtrico, por la relacin
pqrs pqrs
JH '
donde J es un parmetro que ante un cambio de coordenadas se transforma segn la ley
J A J ' =
siendo A el determinante de la matriz de transformacin
k
i
A . En efecto
1 2 3 4 i j k l pqrs i jkl pqrs
p q r s p q r s
i j kl i j kl pqrs
A A A A A A A A J
A J J
H H
H H
A
' ' A
lo que nos muestra el carcter de tensor de cuarto orden contravariante del smbolo
pqrs
A . Se puede hacer la
generalizacin a un espacio de cualquier dimensin.
6.- Sistema de coordenadas localmente geodsico
Vamos a demostrar que para el caso de un espacio con una conexin simtrica es siempre posible encontrar
en cada punto P un sistema de coordenadas respecto al cual la nueva conexin sea idnticamente nula en ese
punto.
Consideremos la transformacin de coordenadas
0 0 0
0
1
2
k k k k i i s s
is
x x x x x x x ' = + I
donde el subndice 0 se refiere al punto P en donde pretendemos obtener las componentes de la conexin
respecto al nuevo sistema de coordenadas. Hallando la derivacin parcial de la ecuacin de transformacin (12)
0
0
k k i
k k s s
r i s
r r r
x x x
x x
x x x
G
' c c c
= = I
' ' ' c c c
(11)
(12)
(13)
7
y particularizando para el punto P
0 0
0
,
k
k k k k
r r r r
r
x
B A
x
G G
|
c
= = =
|
|
' c
\
lo que nos indica que los tensores no sufren ningn cambio en la transformacin de coordenadas (12), ya que la
matriz de la transformacin es idntica a la unidad.
Derivando (13)
2 2
0
0 0
0
k i i s
k s s k
is is
r m r m r m
x x x x
x x
x x x x x x
c c c c
= I I
' ' ' ' ' ' c c c c c c
en el punto P nos quedar
2
0 0
0
,
k
k k
rm rm
r m
x
B
x x
|
c
= = I
|
|
' ' c c
\
teniendo presenta la ley de transformacin de la conexin (10) se encuentra
0 0 0
0
k p q k r r k
is i s r pq i s r
G G G G ' I = I I =
tal como queramos demostrar; es decir, que para un espacio que tenga una conexin simtrica existe, para cada
punto, un sistema de coordenadas respecto al cual la conexin transformada es nula en ese punto; lo que no
implica que tengan que ser nulas sus derivadas. Al sistema de coordenadas donde se cumple esta propiedad se
la llama localmente geodsico, porque, como veremos ms adelante, los ejes coordenados en ese sistema son
lneas de mnima longitud si el espacio es mtrico (es decir tiene definido un tensor mtrico).
El teorema inverso tambin es cierto, si para cualquier punto de un espacio existe un sistema de coordenadas
para el cual la conexin es idnticamente nula en ese punto, entonces la conexin es simtrica respecto a
cualquier sistema de coordenadas.
En efecto, consideremos un sistema localmente geodsico definido en un punto P, en ese punto la conexin
referida a ese sistema es nula; al hacer un cambio a otro sistema de coordenadas, la nueva conexin vendr
dada por (10) y en el punto P ser
0
0
k r k
is is r
B A ' I =
que es simtrica por serlo
r
is
B . El mismo procedimiento se puede hacer para todos los dems puntos del espacio,
encontrndose que en todos ellos la conexin es simtrica.
Si la conexin no es simtrica no podemos obtener un sistema geodsico en todo punto, pues no es posible
anular la parte antisimtrica de la conexin por ser un tensor. No obstante, siempre podremos hacer una trans-
formacin de coordenadas que consiga en cada punto del espacio anular la parte simtrica de la conexin. Si la
transformacin de coordenadas es
0 0 0
0
1
2
k k k k i i s s
is
x x x x x x x

' = I

entonces se encuentra
0 0
0
;
r r k k
is r r
is
B A G

= I =

que al aplicarlo a (10) se deduce
0 0 0
0;
r r r
is is is

' ' ' I = I = I

tal como habamos indicado antes.
7.- Tensor y vector de torsin
Definimos el tensor de torsin por
2
k k k k
i s is si
i s
W I I I
que tiene carcter tensorial ya que es la diferencia entre dos conexiones. En el caso de que la conexin sea
simtrica el tensor de torsin es nulo.
Se llama vector de torsin o de Cartan a la contraccin del tensor anterior
8
(14)
k k k
i i i ik i k ki
W W * * * *
que como ya se ha visto es un vector covariante.

A partir de una conexin
k
is
I se puede obtener otras dos conexiones para un espacio de N dimensiones
* *
1 1
,
1 1
k k k k k k
is i s i s i s i s s i
N N
G W G W I = I + I = I

que tienen asociados vectores de torsin nulo. La conexin
*
1
2 2
k k k k
is i s i s s i
N
G W G W I = I +
tambin tiene un vector de torsin nulo.

En el caso de existir torsin las derivadas covariantes D y D estn relacionadas por
i i i s
k k sk
D u D u u W
naturalmente si la conexin es simtrica, ambas derivadas coinciden.
8.- El tensor de curvatura
La conexin asociada a un espacio es el principal elemento para definir las propiedades no mtricas. Pero
ella sola no permite informar de algunos rasgos caractersticos del espacio, como es el caso de la curvatura, que
nos dice cmo se aparta el espacio de una espacio plano o eucldeo
El grado de curvatura de un espacio es dado por el tensor de Riemann-Christoffel de cuarto orden. Para
obtener su valor vamos a hallar la diferencia entre las derivadas segundas de un campo vectorial cualquiera
k k
i r r i
D D v D D v
que en el caso de un espacio eucldeo se anula; aunque su anulacin no significa que el espacio sea eucldeo.
Haciendo los correspondientes clculos y teniendo presente que la derivada covariante de un vector es un tensor
y que es de aplicacin la definicin (3), se llega a la expresin
, ,
k k
i r r i
s k k n k n k k s s
sr i si r sr ni si nr s i r ri
D D v D D v
v D v

I I + I I I I + I I
donde la coma representa derivacin parcial respecto a las coordenadas. La expresin anterior queda
k k s k k s
i r r i si r s i r
D D v D D v v R D v W = +
donde se ha utilizado la definicin de tensor de torsin (14) y se ha definido el tensor de curvatura de Riemann-
Christoffel por
, ,
k k k n k n k
si r sr i si r sr ni si nr
R = I I + I I I I
que en efecto es un tensor ya que los restantes trminos de (15) son todos tensoriales.
Si en vez de la definicin de derivada covariante (3) utilizamos la (4) obtendremos otro tensor de curvatura
, ,
k k k n k n k
si r rs i is r rs in i s rn
R = I I I I I I
diferente al anterior. En el caso de estar en la geometra de Riemann (ver epgrafe 15) coinciden ambos tensores
de curvatura ya que la conexin sera simtrica. Naturalmente se pueden obtener otros tensores de curvatura
con otros tipos de conexiones.
Como ya indicamos, si a una conexin le sumamos un tensor volvemos a encontrar una nueva conexin
k k k
is i s i s
T I = I
que tendr asociada un nuevo tensor de curvatura
k
si r
R relacionado con (16) por la expresin
k k k k k n n
si r si r i sr r si sn ri i r
n k n k
sr ni si nr
R R D T D T T
T T T T
= I I

o bien de forma ms compacta
2 2
k n k k k k n
si r si r sn ri i s r s r n i
R R D T T T T W
=
donde los corchetes significan simetrizacin y los ndices encerrados entre lneas paralelas vienen a significar
(18)
9
(16)
(17)
que no entran en la simetrizacin y permanecen inalterables. Hay que advertir que las derivadas covariantes que
aparecen en (18) se calculan respecto a la conexin originaria
k
is
I . Es posible readaptar (18) al objeto que las
derivadas covariantes se expresin respecto a la nueva conexin
k
is
I
k k k k k n n
si r si r i sr r si sn ri i r
n k n k
sr ni si nr
R R D T D T T
T T T T
= I I

donde D representa la derivada covariante calculada respecto a la nueva conexin.
Cabe relacionar una variacin del tensor de curvatura
k
si r
R G con la correspondiente variacin de la co-
nexin
k
si
G I . De (16) y de la definicin de derivada covariante se obtiene
k k k n k
sri i sr r si ri sn
R D D G G G W G = I I + I
donde hemos tenido presente que
k
si
G I es un tensor por ser la diferencia entre conexiones y nos est permitido
conmutar la variacin d y la derivada respecto a las coordenadas espacio-temporales. (19) la llamaremos iden-
tidad de Palatini para el tensor de curvatura.
9.- Desplazamiento paralelo de un vector
Sea el vector
k
k
v = v e definido en el punto P de un espacio eucldeo. Si trasladamos paralelamente ese
vector al punto P infinitamente cercano a P, no tendr las mismas componentes, puesto que los vectores
bsicos, al venir el espacio en coordenadas curvilneas, sern diferentes en P que en P y a consecuencia de esta
variacin de los vectores bsicos se producir una variacin en las componentes del vector v an cuando se
traslade paralelamente al punto P.
La variacin del vector v a consecuencia del cambio de vectores bsicos de P a P viene dado por
r k k i
k r ki
v d v dx * e e
donde
i
dx es la diferencia de coordenadas entre los puntos P y P. Entonces podemos decir que un vector se ha
trasladado paralelamente del punto P al P si sus componentes cambian segn
r r k i
ki
dv v dx *
lo que neutraliza la variacin ocasionada por el cambio de vectores bsicos, consiguiendo, por tanto, que la
diferencia entre el vector en P y en P sea nula: 0 d v . O dicho de otra forma, un vector es trasladado
paralelamente de un punto a otro punto infinitamente cercano si la derivada absoluta del vector calculada entre
los dos puntos es nula
0.
k k s r i
si
Dv dv v dx = I =
Podemos generalizar esta definicin a un espacio genrico y decir que cuando un vector se traslada parale-
lamente desde el punto P de coordenadas
i
x a otro punto infinitamente cercano P de coordenadas
i i
x dx la
diferencia de sus componentes en ambos puntos es
.
k s r i
si
dv v dx = I (20.1)
Cuando en un espacio eucldeo se traslada paralelamente un vector a partir de punto para seguir un trayecto
cerrado y volver al mismo punto de partida, el vector original coincide con el que resulta de la traslacin paralela.
Pero esto no se cumple en general. Vamos a demostrar a continuacin que la variacin de las componentes de
un vector cuando se traslada paralelamente a travs de un circuito cerrado elemental est relacionado con el
tensor de curvatura y en general es distinto de cero.
Consideremos el paralelogramo infinitesimal de la figura 1. Al transportar paralelamente un vector de com-
A
k
x z
z
z
z
C
k
da
k
db
k
db
k
da
Figura 1
B
k k
x d a
D
k k
x db
10
(19)
(20)
ponentes
s
v desde el punto A al B sus componentes varan segn (20)
.
s k r k i
si
v x x da I
Al hacer el transporte de B a C las componenes del vector se modifican segn
.
s k k r k k i
si
v x da x da db + I +
La variacin de las componentes del vector cuando se traslada paralelamente desde C a D sern las mismas que
cuando se traslada de D a C pero cambiado de signo
.
s k k r k k i
si
v x db x db da + I +
Por ltimo la traslacin de D a A ser la misma que de A a D cambiando el signo
.
s k r k i
si
v x x db I
Ahora determinemos la variacin total experimentada por las componentes del vector cuando se hace la trasla-
cin paralela a lo largo del paralelogramo infinitesimal considerado
,
r s k r k i s k k r k k i
si si
s k k r k k i s k r k i
si s i
dv v x x da v x da x da db
v x db x db da v x x db
I + I + +
+ + I + + I
o en primer orden de aproximacin
,
,
r r s k i s r k i
k s i si k
r s i k s r i k
k si si k
dv v da db v da db
v da db v da db
= I c I
I c I
y teniendo presente que la variacin de las componentes del vector es
s s n
k nk
v v w *
nos queda finalmente
,
r r n k i
nik
dv R v da db =
con lo que queda demostrado que al trasladar un vector paralelamente a s mismo a travs de un recinto
infinitesimal cerrado, el vector resultante no coincide con el de partida, salvo en el caso especial en que el tensor
de curvatura sea cero. En general, por tanto, la traslacin paralela de un vector por un circuito cerrado no
reproduce al mismo vector.
10.- Regla del paralelogramo
Consideremos en un espacio con torsin un vector de componentes
k
x G cuyos extremos son los puntos
infinitesimalmente cercanos A y B. Si trasladamos este vector paralelamente hasta los puntos infinitamente
cercanos C y D, cuyas coordenadas se diferencian en
k
dx de las de A y B, obtendremos un nuevo vector
desplazamiento de coordenadas
.
k k i r
i r
x x dx G G *
Si ahora repetimos la operacin pero con el vector de extremos A y C, que tiene de coordenadas
k
dx , y lo
trasladamos paralelamente hasta que el extremo que estaba en A se site en el punto B, obtendremos un vector
de componentes
.
k k i r
ik
dx dx x G *
Al sumar los cuatro vectores que forman el paralelogramo
k i r
ir
AB BD CD CA x dx W G =
JJJG JJJG JJJG JJJG
lo que no es nulo en general. Esto significa que el paralelogramo construido no es cerrado, es decir el extremo
del vector resultado de la traslacin de AC
JJJG
no coincide con el punto D. Por tanto la regla del paralelogramo no
se cumple en espacios con torsin.
El resultado inverso tambin es cierto, es decir que si no se cumple la regla del paralelogramo (o sea, los
paralelogramos no se cierran) entonces el espacio tiene torsin.
11.- Tensor de Ricci
A partir del tensor de curvatura se pueden definir dos nuevos tensores mediante la contraccin de ndices.
11
Se le llama tensor de Ricci a la contraccin
, ,
k k t k k k t
si s i k t i si sk i si k sk t k
R R = = I I I I I I
compuesta tanto de parte simtrica como antisimtrica.
La otra posible contraccin del tensor de curvatura recibe el nombre de curvatura homottica y es definida
por
, , , ,
,
k k n n k k k k k
ir ki r ni nr kr i ki r kr ki kr i ki r
V R = = I I I I I I = I I
que es un tensor antisimtrico. Las otras contracciones posibles del tensor de curvatura no dan lugar a nuevos
tensores.
Por clculo directo es fcil comprobar que la derivada de la curvatura homottica cumple la relacin
, , ,
0.
ir j rj i j i r
V V V =
Debemos tener presente que si aceptamos como definicin de derivada covariante la (4) entonces obtene-
mos un tensor de Ricci y una curvatura homottica diferentes en general de las anteriores.
Si derivamos otra conexin aadindole a
s
rk
I un tensor
s
rk
T entonces el tensor de Ricci se obtendr de
(21)
2 2 .
k n n k k
si si sn ki i s k s k n i
R R D T T T T W
=
Si utilizamos las derivadas covariantes calculadas con la conexin
s s s
r k r k r k
T * *
entonces el tensorr de Ricci quedar
2 2 ,
k n n k k
si si sn ki i s k s k n i
R R D T T T T W
=
donde la barra significa que se utiliza la conexin
k
is
I .
La variacin del tensor de Ricci se relaciona con la variacin de la conexin por
k m k k
si i k si mi sk sk
R D D G G G W G * * *
que representa la identidad de Palatini para el tensor de Ricci, y al igual que en (19), hemos conmutado la
derivacin respecto a las coordenadas espacio-temporales con la variacin G. La expresin (23) resultar espe-
cialmente ltil en el clculo de variaciones que nos permite obtener las ecuaciones de campo a partir de un
principio variacional.
El tensor de Ricci no es en general simtrico, no obstante siempre se puede descomponer en parte simtrica
y antisimtrica
.
si si si
R R R =
En el caso especialmente importante en que la conexin sea simtrica (o sea, no haya torsin) entonces la parte
antisimtrica est relacionada con la curvatura homottica por
1
,
2
si si
R V =
y la parte simtrica toma la forma
, , ,
1 1 1
.
2 2 2
k k k t k k t
si si t i si sk i ik s si k sk t k si
R R V = = I + I I + I I I I
Debemos aadir por tlimo que si existiera un tensor mtrico entonces sera posible subir y bajar los ndices,
de tal forma que podramos obtener otra contraccin del tensor de curvatura
r rm n
i k i n mrk i rk
R R g g R ' = =
si de nuevo se aplicara un nueva contraccin se obtendra una curvatura escalar (ver ms adelante) de signo
opuesto a la que se obtendra con el tensor de Ricci.
12.- Identidades de Bianchi
La derivada covariante del tensor de curvatura es
,
k k t k k t k t k t
m si r m s ir si r t m t i r sm str i m si t rm
D R R R R R R = c I I I I
(21)
(22)
(23)
(24)
12
si consideramos que la conexin es simtrica, existir en cada punto un sistema de coordenadas localmente
geodsico, donde las conexiones son nulas. Si elegimos este sistema entonces
, , , ,
.
k k k k k
m si r m s r i m s i r s r i m s i rm
D R = c I c I = I I
Permutando los ndices m, i, r se obtiene
, , ,
, , ,
.
k k k
i sr m sm r i sr mi
k k k
r smi si m r sm i r
D R
D R
= I I
= I I
Al sumar las tres expresiones encontradas se llega a
0
k k k
m si r i srm r smi
D R D R D R =
que al ser una identidad tensorial y vlida en un sistema de coordenadas determinado (sistema localmente
geodsico), se mantendr en cualquier otro sistema de referencia. A (25) se le llama identidad de Bianchi y es
vlida en el caso de conexin simtrica.
Es posible generalizar las identidades de Bianchi para el caso en que la conexin no sea simtrica, en este
caso se encuentra por clculo directo
k k k k p k p k p
m si r i srm r s mi pmi rs pi r ms prm i s
D R D R D R R R R W W W + + = + +
o en notacin ms compacta
;
p k k
s i r m p mi r s
R R W
donde el punto y coma representa la derivacin covariante y ... es la suma de las permutaciones.
13.- Tensor mtrico
Consideremos un espacio eucldeo expresado en coordenadas curvilneas. En cada punto existe un conjunto
de vectores bsicos
k
e que dependen del punto en que estn definidos. Sus productos escalares nos dan un
conjunto de nmeros que dependen del punto del espacio, que tiene carcter de tensor de segundo orden covariante
y al que llamamos tensor mtrico
.
i k i k
g e e
El mdulo de un vector
k
k
d dx = x e , que corresponde al cuadrado de la distancia infinitesimal entre sus extre-
mos
2
ds d d x x , vendr dado por
2 i k
ik
ds g dx dx =
que le llamamos elemento de lnea del espacio eucldeo.
Este resultado lo extendemos a un espacio genrico y decimos que el tensor mtrico es un tensor covariante
de segundo orden asociado al espacio, es decir, que se trata de un campo tensorial ( )
r
i k
g x que no es singular,,
lo que significa que su determinante es distinto de cero.
Consideremos dos puntos A y B definidos por las coordenadas
r
x y
r r
x dx respectivamente; se llama
distancia entre los dos puntos a la cantidad infinitesimal dada por
2
.
i k
ik
ds g dx dx =
El tensor mtrico no es en general simtrico. Sin embargo, slo la parte simtrica interviene en el clculo de
la distancia, en efecto
2
,
i k i k i k i k
ik i k i k ik
ds g dx dx g dx dx g dx dx g dx dx +
donde el sumando que contiene la parte antisimtrica del tensor mtrico se anula al tener en cuenta que se
pueden intercambiar entre s los ndices mudos i y k.
Con el tensor mtrico se puede realizar la elevacin o descenso de ndices. Dado un vector cuyas componen-
tes se encuentren en forma contravariante
k
v , podemos obtener las componentes covariantes por la operacin
,
k
s ks
v g v =
entendemos que ambos conjuntos de componentes representan al mismo vector, que de esta forma viene dado
por dos conjuntos diferentes de componentes pero relacionadas entre s.
De igual forma se pueden descender los ndices de un tensor, en operaciones tales como las siguientes
ik
rs ir ks
t g g t =
(25)
(26)
(27)
13
o bien como
,
k
rs kr s
t g t =
ntese el orden en que aparezcen los ndices del tensor mtrico.
Como el tensor mtrico es invertible (por ser singular), debe tener un inverso
ks
g' , tal que cumpla
ks s
rk r
g g G ' =
Si g es el determinante del tensor mtrico
rk
g ;
is
D el menor adjunto asociado al elemento i, s y
is s i
D D su
traspuesta, entonces el inverso del tensor mtrico es
1 1
.
ks ks sk
g
g g
D D ' = =
Pero se prefiere en vez de utilizar
ks
gc , interpretar el tensor mtrico en componentes contravariantes como
el traspuesto del tensor inverso, es decir
1
,
ks ks
g
g
D =
entonces la relacin entre las componentes del tensor mtrico en funcin de sus componentes contravariante y
covariante es
.
ks s
kr r
g g G =
Como se ve por el orden de los ndices, (29) no es la operacin tensorial
1
G G I
, donde G es la matriz de
elementos
kr
g , sino la ecuacin
1
G G I
, donde
1
G
tiene de elementos los

rk
gc anteriormente definidos.
De (29) se obtiene
.
sk s
rk r
g g G =
De (29) tambin se deduce que
ks
g son las componentes de un tensor de segundo orden contravariante.
El tensor mtrico tambin nos permite elevar los ndices tensoriales. En fecto, multiplicando (27) por
rs
g
rs rs k r k r
s ks k
g v g g v v v G = = =
con lo que se logra subir los ndices. Este mtodo es extensible para subir o bajar los ndices de las componentes
de los tensores, por ejemplo .
pq pr qk
rk
t g g t =
El determinante del tensor mtrico en un espacio tetradimensional, tal como el espacio-tiempo ordinario, es
1 2 3 4
,
pqrs
p q r s
g g g g g H =
que tambin se puede desarrollar haciendo uso de los menores adjuntos, por ejemplo
1
1 2 3 4 1
.
pqrs p
p q r s p
g g g g g g H D = =
La derivada del determinante del tensor mtrico se puede desarrollar por sus menores adjuntos
1 2 3 4 2 1 3 4
pqrs pqr s
p q r s q p r s
dg dg g g g dg g g g H H = + +
3 1 2 4 4 1 2 3
pqrs pqrs
r p q s s p q r
dg g g g dg g g g H H + +
o bien
pq
pq
dg dg D =
donde
pq
D es el menor adjunto asociado al elemento p, q del tensor mtrico. Haciendo uso de (29) queda
pq
pq
dg gdg g =
y la derivacin parcial es
.
pq
k k pq
g g g g c = c
Un tensor mtrico asimtrico se descompone en parte simtria y antisimtrica
i k i k ik i k i k
g g g J M = + = +
donde
i k
J representa la parte simtrica y
ik
M la antisimtrica. El tensor mtrico en forma contravariante
tambin se descompone en parte simtrica
ik
h y en parte antisimtrica
i k
f
ik ik i k
g h f =
(28)
(29)
(30)
14
Definimos las componentes contravariantes de las partes simtricas y antisimtricas del tensor mtrico por
; ; ; .
i k k i k k i k k i k k
i j j i j j i j j i j j
h h f f J J G M M G G G = = = =
En un espacio de cuatro dimensiones, al que suponemos con signatura -2, el determinante de un tensor
antisimtrico como
i j
M es
2
12 34 31 24 23 14
. M M M M M M M =
Por cmputo directo se comprueba que
8
i kpq
i k pq
H M M M =
e igualmente
0
i kpq
i m pq
H M M =
si . k m = Entonces
2 ,
i kpq k
i m pq m
H M M M G =
multiplicando ambos trminos por
rm
M se llega a
1
2
rk rkpq
pq
M H M
M
=
que nos relaciona las componentes contravariantes de la parte antisimtrica del tensor mtrico con sus compo-
nentes covariantes. Una frmula igual que (31) se aplica a
ik
f .
Como
ij
J es simtrico y real es siempre posible elegir en cada punto del espacio un sistema de coordenadas
respecto al cual
ij
J tenga la siguiente forma diagonal
0 0 0
0 0 0
0 0 0
0 0 0
i k
O
O
J
O
O

' .
donde O es un nmero positivo cualquiera. En el sistema de coordenadas elegido el determinante de
i k
J es
4
. J O = Dmonos cuenta que en otro punto del espacio el tensor
ik
J tendr, en general, una forma distinta de
la diagonal, pero nosotros los clculos lo estamos haciendo con referencia a un slo punto.
La parte antisimtrica del tensor mtrico es
0
0
,
0
0
i k
X
Y
Z
X Y Z
G E
G D
M
E D

' .
al hallar directamente el determinante de
ik
g se encuentra
2
4 2 2 2 2 2 2 2
, g X Y Z X Y Z O O D E G D E G =
un clculo directo nos da
2
X Y Z M D E G =
entonces
2 2 2 2 2 2 2
. g X Y Z J M O D E G = + + +
Teniendo presente que
1 0 0 0
0 1 0 0
1
0 0 1 0
0 0 0 1
i k
J
O

' .
entonces se calcula directamente que
2
2 2 2 2 2 2
2
i m kr
mr i k
X Y Z
O
J J M M D E G + +
(31)
15
por tanto nos queda finalmente
.
2
im kr
mr i k
g
J
J M J J M M =
Esta expresin la hemos calculado para un determinado sistema de coordenadas, aquel en que la parte simtrica
del tensor mtrico tiene forma diagonal. Los tres sumandos del segundo miembro de (32) dependen del determi-
nante de un tensor de segundo orden y los ltimos cuatro factores forman un invariante. Ante una transforma-
cin de coordenadas los tres determinantes que aparecen en (32) se transforman con la misma ley, es decir, (32)
es una expresin invariante aunque no tensorial. Entonces si es vlida para un determinado sistema de coorde-
nadas, seguir siendo vlida en cualquier otro sistema, por tanto (33) tiene carcter general.
Indiquemos por ltimo que la derivada covariante de la delta de Kronecker es nula, en efecto
0 0,
r r m r r m r r
p s p s s mp m sp sp sp
D G G G G = c I I = I I =
al aplicar la regla de Leibnitz de la derivacin a (29) se halla la derivada covariante de
ik
g . En particular, si es
nula la derivada covariante de
i k
g tambin lo ser la de
ik
g .
14.- Espacio euclidiano tangente
Consideremos un espacio V donde se ha definido un tensor mtrico. Es siempre posible asociar en cada
punto P de ese espacio un espacio eucldeo E, de la misma dimensin que V, que contenga al punto P y que en
un entorno de este punto coincidan las propiedades mtricas de E y V. Al espacio E se le llama euclidiano
tangente.
Si
0
ik
g es el tensor mtrico de V en el punto P que tiene de coordenadas
0
k
x , el espacio eucldeo tangente E
tiene en el punto P el tensor mtrico
0
i k
g . Los puntos M del espacio E en un entorno del punto P tiene las
coordenadas curvilneas
k
X , los puntos ( )
k
m x de V en un entorno de P estn relacionados con los puntos
( )
k
M X de E mediante una relacin de la forma
0 0 0 2
k k k k r r k
X x x x x X = + + +
donde
0
k
X son las coordenadas del punto P en el sistema de coordenadas del espacio eucldeo E y
2
k
<
representa una funcin de segundo orden respecto a
0
r r
x x .
Consideremos el punto
0
( )
k k
m x dx situado en un entorno infinitesimal del punto P. La distancia entre ese
punto y el punto
0
( )
k
m x viene dada, tal como sabemos, por
2 0 i k
i k
ds g dx dx
Sea el punto del espacio E
0
( )
k k
M X dX que corresponde por (33) al punto
0
( )
k k
m x dx , la distancia entre
los puntos M y P pertenecientes al espacio eucldeo ser
2 0 i k
i k
dS g dX dX
ahora bien como por (34)
k k
dX dx ~
entonces la distancia infinitesimal entre puntos del entorno infinitesimal de P es igual tanto en el espacio eucldeo
tangente E como en el espacio V
2 2
. dS ds =
O sea, las propiedades mtricas de ambos espacios son localmente idnticas. Esto significa que podemos, sin
ms, extender los resultados mtricos conocidos del espacio eucldeo al espacio V, al menos en un entorno
infinitesimal de cada punto.
Hay que darse cuenta que esta identidad encontrada solo se refiere a las propiedades mtricas. No se
garantiza la coincidencia entre las conexiones asociadas a los espacios E y V, lo que significa que las propieda-
des diferenciales sern diferentes en uno y en otro espacio.
15.- Espacios de Riemann
Hasta ahora hemos estado considerando espacios genricos. Ahora vamos a considerar los dos que tienen
ms importancia en Fsica, los espacios de Riemann y los euclidianos.
Un espacio de Riemann viene caracterizado por las siguientes propiedades:
a) Tiene un tensor mtrico simtrico.
(32)
(23)
16
b) Tiene asociada una conexin afn tambin simtrica.
c) La derivada covariante del tensor mtrico es nula.
De la ltima condicin y permutando los subndices k, p, q
0
0
0
s s
k pq k pq sq ps pk qk
s s
q kp q kp sp ks pq kq
s s
p qk p qk s k qp qs kp
D g g g g
D g g g g
D g g g g
= c I I =
= c I I =
= c I I =
restando la segunda de la primera, sumndole la tercera y teniendo presenta las propiedades de simetra se
encuentra
1
,
2
s s sq
k pq p kq q kp kp kp
L g g g g I = = c + c c
a esta conexin, caracterstica de los espacios riemannianos, se le llama smbolos de Christoffel. De ellos se
pueden obtener otros smbolos totalmente covariantes
.
s
kpr rs kp
L g L =
Tngase presente que esta coincidencia entre la conexin y los smbolos de Christoffel es una caracterstica de
los espacios de Riemann y no es extensible, en general, a otros tipos de espacios.
Se distinguen los espacios propiamente riemannianos como aquellos que quedan definidos porque el cuadra-
do de la distancia entre dos puntos (
2
ds ) siempre es mayor que cero. Reservndose el nombre de espacios
impropiamente riemannianos para aquellos en los que no se cumple el anterior requisito, pudiendo ser en este
caso el cuadrado de la distancia mayor, menor o igual a cero.
Una clase especial de espacios de Riemann lo representan los espacios eucldeos, que vienen caracterizados
porque es siempre posible encontrar un sistema de coordenadas respecto al cual el tensor mtrico sea el mismo
en todos los puntos del espacio. De aqu resulta que la conexin, obtenida a partir de (35) es nula en todos los
puntos de este espacio y respecto al sistema de coordenadas anteriormente elegido.
Como el tensor mtrico en el caso de un espacio eucldeo es simtrico y real existir siempre una transforma-
cin de coordenadas que ponga al tensor mtrico en forma diagonal y posteriormente mediante un cambio de
escala llevar estos elementos diagonales a los valores +1 1.
16.- El tensor de no-metricidad
Se define el tensor de no-metricidad de un espacio como la derivada covariante del tensor mtrico
,
pqr r pq
Q D g =
que resulta ser un tensor y en general no nulo.
Se define el tensor contorsin por la expresin
rpq rpq pqr qrp
K W W W =
donde
2
k k
pqr k r pq kr
pq
g g W W I
es el tensor de torsin (14) en forma covariante.
Si partimos de un espacio de tensor mtrico simtrico, es posible establecer una relacin entre el tensor de
no-metricidad, el tensor de contorsin y la conexin afn, de la que no se exige que sea simtrica; por tanto
estaramos tratando con un espacio no riemanniano. La relacin a la que nos referimos es
1 1
2 2
rpq rpq rpq rpq pqr qr p
L K Q Q Q I =
donde hemos definido
; .
k k
rpq kq rp rpq kq rp
g L g L I = I =
(35) se descompone en parte simtrica y antisimtrica
1 1
2 2
1
2
rpq pqr qrp rpq pqr qrp rp q
rpq pq r
L Q Q Q W W
W
I + +
I
(34)
(35)
(36)
17
por tanto, conocidos el tensor mtrico, el de no metricidad y la parte antisimtrica de la conexin (o sea, la
torsin), se obtiene su parte simtrica.
De (35) podemos comprobar que incluso en el caso de que sean distintos de cero el tensor de no-metricidad
y el tensor de torsin, los smbolos de Christoffel, tal como son definidos en (34), representan una conexin. En
efecto de (35) vemos que la diferencia entre la conexin
s
kp
I y los smbolos de Christoffel es un tensor, lo que
garantiza que
s
kp
L se transforma como (10), es decir es una conexin.
En el caso de que no se considere nulo el tensor de Schouten (35) se generaliza a la siguiente expresin
1 1
2 2
1
2
rpq rpq rpq rpq pqr qrp
p r q r p q r q p
L K Q Q Q
C C C
I + + +

+ +

]
En el caso particular de un espacio de Riemann, donde son simtricos tanto el tensor mtrico como la
conexin y es nulo el tensor de no-metricidad, entonces la conexin es idntica a los smbolos de Christoffel.
Y viceversa, si la conexin es idntica a los smbolos de Christoffel entonces es nulo el tensor de no-metricidad
y tambin el tensor de contorsin. En efecto el carcter simtrico de los smbolos de Christoffel implica la
nulidad del tensor de torsin y por tanto ser tambin nulo el tensor de contorsin. Adems, y teniendo en cuenta
la simetra del tensor mtrico, se comprueba de manera directa que la derivada covariante del tensor mtrico es
nula si la conexin son los smbolos de Christoffel.
Finalmente advertimos que aunque el tensor de no-metricidad sea nulo, ello no implica que la conexin sea
simtrica. Dicho de otra forma, los carcteres simtricos de la mtrica y de la conexin y la nulidad del tensor de
no-metricidad son condiciones independientes entre s. Estas tres condiciones definen, como hemos visto, al
espacio de Riemann.
Se dice que una geometra es semimtrica si cumple
,
i kr r i k
Q Q g
donde
r
Q es un vector covariante que llamaremos vector de Weyl. Si se cumple esta condicin y adems es
nula la torsin, la relacin entre la conexin y los smbolos de Christoffel es
1 1 1
,
2 2 2
r r r r r
kp k q p k kp kp
L Q g Q Q G G I = +
que es la conexin utilizada en la teora de campo unificado de Weyl.
El carcter de conexin que tiene los simbolos de Christoffel nos permite definir una nueva derivada covariante
que caraterizaremos por un arterisco. Para el caso de un vector en forma contravariante definimos
*
,
r r r s
k k sk
D v v v L w
esta derivacin se puede extender a vectores covariantes y a un tensor de orden cualquiera.
Notemos que la derivada covariante con arterisco del tensor mtrico es nula
*
0
s s
k i r k i r sr i s i k r k
D g g g L g L w
como se puede comprobar por sustitucin directa, donde tenemos en cuenta que estamos considerando geome-
tras con tensor mtrico simtrico, lo que viene a significar que los smbolos de Christoffel son simtricos respec-
to a los ndices covariantes.
Advertimos que al utilizar como conexin los smbolos de Christoffel y teniendo presente que el tensor
mtrico es simtico obtenemos expresiones geomtricas en todo idnticas a las de la geometra de Riemann.
Si suponemos que es nulo el tensor de no-metricidad y simtrico el tensor mtrico, entonces de (37) tenemos
que la parte simtrica de la conexin es
1
2
s s qs s sq
rp pqr qrp rp qrp
rp
L g L g T W W I = =
que es a su vez una conexin. El tensor
qrp
T cumple la siguiente propiedad de simetra
1 1
2 2
qpr rqp qpr qr p pqr qr p
T T W W W W = = + =
donde se ha tenido en cuenta la antisimetra del tensor de torsin respecto sus dos primeros ndices. Igualmente
el tensor
qrp
T cumple la relacin
0
qrp rpq pqr
T T T =
como se comprueba por clculo directo.
(37)
(38)
(39)
(40)
(41)
18
Por lo expuesto anteriormente podemos considerar una nueva conexin
s s s q
rp rp qr p
L g T I = +
de carcter simtrico, donde ahora el tensor
qrp
T es un tensor general con las nicas condiciones de cumplir
(40) y (41). A la conexin (42) le llamaremos conexin de Schrdinger. Podemos comprobar que las propiedades
de simetra (40) y (41) se pueden deducir de la definicin de conexin de Schrdinger, que se convierte as en la
expresin ms general de una conexin simtrica en el caso considerado de nulidad del tensor de no-metricidad
y simetra del tensor mtrico.
La propiedad de simetra (40) se deduce de (42) puesto que tanto
s
rp
I como
s
rp
L son simtricos respecto
a sus ndices covariantes y por tanto su diferencia (que es el tensor
sq
qrp
g T ) tambin ser simetrica respecto
a sus ndices covariantes.
Como veremos en el siguiente epgrafe el mdulo de un vector de componentes contravariantes
r
A no
cambia en un espacio mtrico cuando se le traslada paralelamente, ocurriendo en este caso que 0
r
DA . Es
decir la derivada covariante de
2 i k
ik
A g A A =
debe ser nula, entonces utilizando (39), teniendo presente que 0
r
DA y tomado el vector
i
A como
i
dx ds ,
nos queda
* 2
0
i k i k i k i k
sp sp i k r
sk irp i s krp
Dg D g DA
A A A A
ds ds ds
g g T g g T A A A
+
+
y como
*
0
ik
D g = entonces
2 0
i k r
irk
T A A A =
como
i
A es un vector arbitrario, podemos tomar en primer lugar slo uno de sus componentes distinta de cero,
primero tomamos la componente 1 distinta de 0, luego haremos otro tanto con la 2 y luego con la tercera
componente, obteniendo
0;
i i i
T i
a continuacin tomamos dos componentes de
i
A distinta de cero, por ejemplo la 1 y la 2 y obtenemos
1 1 2 1 2 2
112 121 211 122 212 221
0, T T T A A A T T T A A A
donde tenemos en cuenta que
111 222
0 T T , como
1
A y
2
A son arbitrarios, la anterior igualdad implica que
122 121 211
122 212 221
0
0
T T T
T T T
=
=
y expresiones anlogas para las distintas combinaciones de las otras componentes. Finalmente tomamos las tres
componentes de
i
A distintas de cero
1 2 3
123 132 213 231 312 321
0 T T T T T T A A A
donde hemos aplicado (43) y (44). Ahora considerando (40) llegamos a la conclusin de que
123 231 321
0 T T T
pues las componentes de
i
A son arbitrarias; por lo tanto queda demostrada la igualdad (38).
Calculemos, por ltimo, el nmero de funciones de las que depende la conexin (42). Hay 10 diferentes
componentes del tensor mtrico, el tensor
i rk
T tiene 64 componentes, pero por (40) se reducen a 40 y por (41)
disminuyen en 20, por tanto el nmero total de funciones de las que depende la conexin (39) es de 30.
La conexin de Schrdinger se puede generalizar al caso en que el espacio sea no-mtrico pero conservando
la simetra del tensor mtrico, entonces sern de aplicacin las ecuacin (36). De nuevo planteamos que la parte
simtrica de la conexin es una conexin, o sea que podemos definir la nueva conexin
s s s q
rp rp qr p
L g T' I = +
al igual que en (42) excepto que ahora el tensor
qrp
T' slo conservar la propiedad de simetra (40) pero no la
(41).
En el caso que estamos considerando en que el tensor mtrico es simtrico se pueden obtener nuevas
conexiones a partir de la expresin
,
p p p
rk rk rk
L Y *
donde
p
rk
Y es un tensor cualquiera. Un ejemplo es la conexin de Straneo
(42)
(43)
(44)
19
p p p p
r k r rk rk k
L G \ G \ *
donde
k
\ es un campo vectorial.
17.- Variacin del mdulo de un vector en un desplazamiento paralelo
Cuando a un vector de componentes contravariantes
r
A se le somete a un desplazamiento paralelo la
derivada covariante del campo resultante se anula 0
r
DA , y por lo tanto sus componentes cambian, segn se
vio en 9, por la expresin
r r s k
sk
dA A dx *
siendo
k
dx la diferencia entre las coordenadas de los puntos entre los que se desplaza el vector. Si suponemos
que no es nulo el tensor de no-metricidad, encontramos para la derivada absoluta de las componentes convariantes
del vector
r r r r
i ri r i ri ri
DA D g A Dg A g DA Dg A = = =
que es, en general, distinto de cero. De la anterior expresin deducimos la variacin que experimentan las
componentes covariantes del vector cuando es trasladado paralelamente
.
s k r
i s ri ik
dA A dx Dg A *
Entonces cuando se traslada paralelamente un vector su mdulo
2 i
i
A A A = cambia segn
2 i r i r k
ri ri k
dA A A Dg Q A A dx = =
que es en general distinto de cero. Ntese que si el mdulo de cualquier vector no se modifica cuando se realiza
un desplazamiento paralelo infinitesimal, no podemos asegurar que el tensor de no-metricidad sea nulo. De (45)
tambin podemos deducir que si el tensor de no-metricidad fuese antisimtrico en sus dos primeros subndices
(una situacin no fsica), entonces el mdulo del vector no cambiara cuando se ejecutase un desplazamiento
paralelo infinitesimal.
Tomando en (45)
i
i
dx
A
ds
y si ocurre que para cualquier variacin paralela su mdulo es nulo entonces significara que o bien 0
ri k
Q o
se cumple la propiedad cclica
0.
ri k i kr kri
Q Q Q + +
Consideremos el paralelogramo infinitesimal de la figura 1, definido en un espacio sin torsin, pues en caso
contrario tendramos un paralelogramo no cerrado;
k
da y
k
db representan las diferencias de coordenadas
entre los vrtices de un paralelogramo infinitesimal. Vamos a averiguar cmo cambiar el mdulo de un vector
cuando es trasladado paralelamente a travs de ese paralelogramo.
Consideremos un vector de mdulo A en el punto A( )
k
x y lo trasladamos paralelamente al punto
B( )
k k
x da , su longitud cambiar segn (45)
2
1
,
p i p r p k
ri k
dA Q x A x A x da =
al hacer ahora la traslacin de B al C el cambio de mdulo ser
2
2
,
, ,
p p i p p r p p k
rik
p i p r p k p i p r p p k
rik rik p
p i p r p p k p i p r p p k
rik p rik p
dA Q x da A x da A x da db
Q x A x A x db Q x A x A x da db
Q x A x A x da db Q x A x A x da db
+ + + ~
+ +
+ +
y teniendo presente que el vector
i
A se desplaza paralelamente tendremos
2
2 ,
i r k i r p k s r i p k i s r p k
ri k ri k p r i k sp ri k sp
dA Q A A db Q A A da db Q A A da db Q A A da db + I + I
estando todas las funciones definidas en el punto
p
x .
La variacin de mdulo del vector cuando se traslada paralelamente del punto C al D ser el mismo que de
D a C pero cambiado de signo
2
3
,
,
p p i p p r p p k
ri k
i r k i r k p s r i k p i s r k p
ri k ri k p ri k sp ri k sp
dA Q x db A x db A x db da
Q A A da Q A A da db Q A A da db Q A A da db
= ~
= I I
(45)
20
mientras que la variacin experimentada por el mdulo al pasar de D a A es la misma que de A a D pero con el
signo cambiado
2
4
.
p i p r p k
ri k
dA Q x A x A x db =
Por tanto el cambio total experimentado por el mdulo del vector cuando ha recorrido el paralelogramo es
2 2 2 2
2
1 2 3 4
, dA dA dA dA dA =
y al desarrollar hasta el primer orden
2
,
i r p k
p ri k k rip
dA D Q D Q A A da db =
donde hemos tenido en cuenta el carcter simtrico de la conexin. Si ahora introducimos el elemento de
superficie del paralelogramo infinitesimal nos queda
2
1
2
i r pk
p ri k k ri p
dA D Q D Q A A dS =
que representa la variacin que experimenta el cuadrado del mdulo de un vector cuando es trasladado parale-
lamente por un circuito infinitesimal cerrado. Como en general la expresin entre parntesis no es nula, el
mdulo del vector cambiar al hacer la traslacin. No obstante, si se cumple la igualdad
p ri k k rip
D Q D Q =
entonces el vector no sufre ninguna modificacin en su mdulo al hacer la traslacin paralela.
En el caso especial en que la geometra sea semi-mtrica y por tanto
ri k k ri
Q Q g
entonces (46) se reduce a
, ,
1
4
pk
k p p k
dA Q Q AdS =
siempre y cuando la conexin sea simtrica.
18.- Cambio de escala
El tensor mtrico
ik
g caracterstico de un espacio lo podemos poner como
r
ik i k
g x g \ =
donde
ik
g representa un campo tensorial de iguales propiedades que
ik
g y ( )
r
x \ es una funcin escalar a la
que llamaremos calibracin, escala o gauge. Las componentes del tensor mtrico pueden cambiar por efecto de
un cambio de coordenadas, pero tambin se ve alterado si hacemos un cambio de calibracin tal como
,
k k
x x \ \'
entonces el mdulo de un vector que en la antigua calibracin era
2
i k
ik
A g A A \ =
pasa a tomar el valor diferente
2 2 2 2
i k
ik
A g A A A A
\
\ O
\
'
' '
donde O es una funcin de las coordenadas y distinta de cero.
Cuando tiene lugar un cambio de calibracin el tensor mtrico queda alterado. Si la nueva calibracin es la
funcin \ c entonces el nuevo tensor mtrico ser
2

i k i k ik i k
g g g g
\
\ \ O
\
'
' '
y decimos que el tensor mtrico es de peso 2, que es la potencia en la que aparece la funcin O. Las componen-
tes contravariantes del tensor mtrico tambin quedarn modificadas
2 2 rk r rk r rk rk
i k i ik i
g g g g g g G O G O

' ' ' ' = = =
entonces el peso de
rk
g' es 2. Mientras que el determinante de las componentes covariantes del tensor mtrico
se transforma ante un cambio de calibracin por
(46)
21
8
g g O ' =
siendo, por tanto, de peso 8.
Hay que observar que el cambio de calibracin queda definido para el tensor mtrico exclusivamente, por
tanto no podemos establecer las leyes de transformacin de los otros elementos geomtricos, a menos que
conozcamos su relacin con el tensor mtrico.
En el caso especial de una geometra semi-simtrica el vector de Weyl cambia ante una transformacin de
calibracin
2 2
2
2
r r r r
i k i k i k i k r i k i k r r i k
r
Dg D g d g g Q dx g dx g Q dx Q g dx
x
O
O O O O
O
c
' ' ' ' = = = =
c
entonces
2
.
r r
r
Q Q
x
O
O
c
' =
c
Notemos que las coordenadas de un punto del espacio no cambian en una transformacin de calibracin,
pues solo son nmeros que identifican al punto. Por tanto, el elemento de lnea queda modificado en un cambio
de calibracin por la ley
d s d s O c
es decir, tiene de peso 1, el mismo peso que tendr el tiempo propio dW de una partcula. Definida la tetravelocidad
por
k
k
dx
u
dW
encontramos que tiene de peso 1, mientras que la tetraaceleracin tendr de peso 2.

19.- El tensor de Ricci en funcin de los smbolos de Christoffel
Como se mostr en 16 es posible relacionar la conexin de un espacio con los smbolos de Christoffel. En el
caso de un espacio mtrico simtrico la relacin es dada por (35), que se puede poner de la forma
1 1
,
2 2
k k qk k k
rp r p rpq rp rp
L g X L X I = =
en
rpq
X se encuentran agrupadas las componentes antisimtricas de la conexin y el tensor de no-metricidad
segn aparecen en (35).
Utilizando (18) se puede poner el tensor de curvatura en funcin del tensor de curvatura
* k
si r
R formado a
partir de los smbolos de Christoffel en vez de con la conexin
s
pq
I
* * *
1 1 1 1 1
.
2 2 2 4 4
k k k k k n n k n k
sir si r i sr r si s n r i sr ni si nr
R R D X D X X X X X X W = + + +
Igualmente es posible poner el tensor de Ricci en funcin de
*
si
R que es el tensor de Ricci construido a partir
de los smbolos de Christoffel, para lo cual se contraen los ndice k y r de la expresin anterior
* * *
1 1 1 1 1
.
2 2 2 4 4
k n n k k k k n
si si i k si sn ni si sk ki sk nk
R R D X D X X X X X X W = + + +
Por ejemplo, para el caso de una geometra semi-mtrica sin torsin el tensor de Ricci queda
* * * * *
1 1 1 1
.
2 2 2 2
k k
si si i s s i i s s i k si k s i
R R D Q D Q D Q g D Q g Q Q Q Q =
La contraccin del tensor de Ricci es la curvatura escalar R y para el caso considerado de geometra semi-
simtrica es
* *
3
3 .
2
si k k
si k k
R g R R D Q Q Q = =
20.- Simetras del tensor de curvatura
El tensor de curvatura en un espacio de N dimensiones tiene
4
N componentes. Sin embargo, no todas son
independientes. Vamos a comprobar que existe un conjunto de relaciones que hacen descender considerablamente
el nmero de componentes independientes del tensor de curvatura.
El tensor de curvatura completamente covariante tiene las componentes
22
, ,
,
k k k t k t k
psri pk si r pk sr i si r s r t i si t r
R g R g = = I I +I I I I
limitndonos al caso de un espacio de conexin afn simtrica, obtenemos que la anterior expresin se reduce en
un sistema localmente geodsico a
, ,
,
k k
psri pk sr i si r
R g = I I
teniendo presente que las derivadas primeras del tensor mtrico son nulas por as serlo la conexin se encuentra
, , , , , , , ,
1
.
2
psri rp s i sr p i i p s r si p r
R g g g g =
A partir de la anterior ecuacin es fcil comprobar que se cumplen la siguientes relaciones de simetra
; ;
0; 0.
psri ri ps psri psi r
psrr ppri prsi psri pirs
R R R R
R R R R R
= =
= = =
En el caso de un espacio tetradimensional el tensor de curvatura tiene 256 componentes, que quedan reduci-
das a 20 al tener en cuenta las anteriores relaciones de simetra.
En un espacio genrico el tensor de curvatura es antisimtrico con respecto a la dos ltimos ndices. Siempre
podemos descomponer el tensor de curvatura totalmente covariante en dos partes
i kpq i kpq i kpq i k pq i k pq
R R R P F = + = +
siendo
i kpq
P antisimtrico respecto al primer par de ndices y
i kpq
F es simtrico respecto al primer par de
ndices.
Cuando un vector
k
A es trasladado paralelamente a travs de un paralelogramo infinitesimal de lados
k
da y
i
db , sus componentes contravariantes cambian segn se dedujo en 9 por
.
r r n k i
ni k
dA R A da db =
Como la superficie elemental tiene de rea (epgrafe 22)
ij i j j i
dS da db da da
y el tensor de curvatura es antisimtrico respecto a sus dos ltimos ndices, tendremos que (49) queda
1 2 ,
r p n i k
r pni k
A dA R A A dS =
entonces como
2
1 1
,
2 2
r r
r r
A dA d A A dA = =
la variacin que experimenta el mdulo de un vector cuando es trasladado paralelamente a travs de un circuito
elemental cerrado es
2
.
p n ik
pni k
dA R A A dS =
Sustituyendo (48) en la anterior expresin resulta
2 p n i k p n i k
pni k pni k
dA P A A dS F A A dS =
el primer sumando es nulo por la propiedad de antisimetra del tensor de curvatura respecto a sus dos primeros
par de ndices, entonces queda
2
,
p n i k
pnik
dA F A A dS =
de (46) obtenemos
1
.
2
pni k i npk k npi
F D Q D Q =
Si nos limitamos a una geometria semi-mtrica de conexin simtrica obtenemos de la anterior expresin y
de (47)
, ,
1 1
,
2 2
pnik k i i k pn ik pn
F Q Q g F g = =
donde hemos definido
, ,
,
ik i k k i
F Q Q =
lo que significa que en una geometra semi-mtrica
23
(48)
(49)
,
q q q
n i k ni k nik
R P F G =
donde el primer tensor del segundo miembro es antisimtrico respecto al primer par de ndices (cuando estn en
forma covariante) y tambin respecto al segundo par. La anulacin del tensor
i k
F significa que el espacio se
puede reducir a un espacio de Riemann por un adecuado cambio de calibracin y por tanto en este caso
q
ni k
P
sera su tensor de curvatura.
21.- Tensor de Einstein
Las simetras del tensor de curvatura pueden utilizarse para obtener un nuevo tensor que tiene importante
aplicacin en la relatividad general donde se toma el continuo espacio-tiempo como siendo un espacio de Riemann.
Partimos de la identidad de Bianchi (25) y la multiplicamos por
pk
g , teniendo en cuenta la nulidad de la derivada
covariante del tensor mtrico queda
0,
m psir i psrm r psmi
D R D R D R =
multiplicando ahora por
pr
g y teniendo presente la definicin (21) del tensor de Ricci
0,
pr
m si i sm r psmi
D R D R D g R =
multiplicando una vez ms por
si
g
0,
i r
m i m r m
D R D R D R =
que se puede poner de la forma
1
0,
2
r r
r m m
D R R G
|
=
|
\
a la expresin entre parntesis se le llama tensor de Einstein, un tensor de segundo orden construido exclusiva-
mente a partir de los tensores geomtricos que definen el espacio de Riemann y que tiene la notable propiedad
de tener nula su derivada covariante. Cabe poner el tensor de Einstein en forma covariante
1
.
2
ik i k
R g R
22.- Volmenes y reas
Consideremos en un espacio genrico (que tomaremos tridimensional para concretar) un paraleleppedo
infinitesimal cuyos tres lados diferentes estn formados por tres vectores infinitesimales de componentes
i
da ,
k
db y
r
dc . A partir de ellos se puede obtener el tensor antisimtrico formado por el siguiente determinante
,
i i i
ikr k k k
r r r
da db dc
d da db dc
da db dc
O =
que evidentemente es un tensor por ser la suma de productos de tres vectores.
Ya hemos indicado que en el caso de un espacio con torsin no es posible obtener un paralelogramo cerrado
y por tanto tampoco un paraleleppedo cerrado. No obstante, podemos utilizar para este tipo de geometras las
frmulas que vamos a deducir a continuacin, puesto que la diferencia de rea entre el cuadriltero cerrado que
se obtendra en un espacio con torsin y el rea de un paralelogramo (como ms adelante calcularemos) es de
segundo orden y por tanto despreciable. Y lo mismo ocurrir con el volumen de un paraleleppedo.
ikr
d: es un tensor que se puede poner en funcin de los smbolos completamente antisimtricos de Levi-
Civita
i kr ikr
d d H O O
donde dO es la nica componente de
i kr
dO distinta de cero
123 1 2 3
, d d da db dc O= O =
Tngase presente que ni d: ni
ikr
H son tensores, pero su producto s lo es.
Se define el volumen del paraleleppedo formado por los tres vectores infinitesimales por la expresin
dV g d :
donde g representa el valor absoluto del determinante del tensor mtrico puesto en forma covariante.
24
(50)
Debemos comprobar que el volumen como es definido por (50) es un invariante, ya que su valor no debe
depender del sistema de coordenadas. Ante una transformacin de coordenadas tendremos
123 1 2 3 1 2 3 ikr i kr
i k r i k r
d d A A A d A A A d A d H c c : : : : :
donde A es el determinante de la matriz de la transformacin de coordenadas.
En la transformacin de coordenadas las componentes del tensor mtrico cambian segn
q p
ik i pq k
g B B g ' =
que podemos representar como una ecuacin matricial
, G B G B ' =

calculando los correspondientes determinantes se tiene
2 1
, g B g g g
A
' ' = =
donde siempre tomamos el valor absoluto del determinante. (51) se aplica en (50)
1
, dV g d g A d g d dV
A
' ' ' = O = O= O=
que demuestra el carcter invariante del volumen.
La frmula (50) es generalizable para un espacio de cualquier nmero de dimensiones.
Para cualquier vector de segundo orden
i k
a se cumplir la relacin
1
, a a
A
' =
siendo a y ac los valores positivos de los determinantes del tensor
i k
a en cada uno de los dos sistemas de
coordenadas; por tanto
a d O
es un invariante que es llamado volumen generalizado.
En un espacio de tres dimensiones se define el rea de una superficie bidimensional a partir de un vector. De
forma similar a como hemos hecho anteriormente, definimos el tensor superficie antisimtrico a partir del deter-
minante
,
q q
qr
r r
da db
dS
da db
=
donde
q
da y
r
db son los vectores que conforman el paralelogramo bidimensional cuya vector rea se quiere
calcular. El vector asociado al elemento de superfice anterior es
1
.
2
p pqr
qr
dS dS = A
En el caso de un espacio tetradimensional tenemos dos tipos de superficies, las bidimensionales y las
tridimensionales. Las primeras vienen representadas por el tensor (52) y las segundas por un vector. En efecto,
el tensor antisimtrico volumen tridimensional del espacio de cuatro dimensiones viene definido por
p p p
pqr q q q
r r r
da db dc
dS da db dc
da db dc
=
donde, como en los casos anteriores
p
da ,
q
db y
r
dc son los vectores que forman el paraleleppedo infinitesimal
cuyo volumen tridimensional se calcula. A partir del tensor completamente antisimtrico se puede obtener de
(53) un vector asociado a la superficie tridimensional de un espacio tetradimensional
1
.
3!
p pqrs
qrs
dS dS = A
Esta expresin se puede generalizar a espacios de dimensin N cualquiera
. . . .
. . . .
1
.
1 !
p pqrs
qrs
dS dS
N
= A
25
(51)
(52)
(53)
Nos debemos fijar que para un espacio tetradimensional con mtrica de Minkowski, que corresponde al
espacio-tiempo, el volumen espacial es dado por
0
dS .
En (11) habamos definido el tensor de cuarto orden completamente antisimtrico en forma contravariante
para espacios tetradimensionales. Atenindonos a (51), la definicin (11) de este tensor toma la forma
1
,
pqrs pqrs
g
H A =
de donde se deduce el correspondiente tensor en forma covariante
1 2 3 4
1
1
,
pqrs pqrs
i kmn pi qk rm sn pi qk rm sn
pqrs i kmn i kmn
p q r s
g g g g g g g g
g
g g g g g
g
H
H H H
A A

con este vector se puede hacer otra definicin de los tensores superficies, en el sentido de que aparezcan con
sus componentes covariantes.
23.- Geodsicas
Pretendemos generalizar el concepto de lnea recta del espacio eucldeo. Dos formas tenemos de definirla,
una de ellas es estableciendo que la lnea recta entre dos puntos tiene como propiedad que representa la mnima
distancia entre los puntos extremos. La otra posible definicin afirma que la lnea recta tiene la propiedad de que
sus vectores tangentes en cualquier punto son paralelos entre ellos.
Ambas definiciones son equivalentes en un espacio eucldeo, pero en un espacio general representan con-
ceptos diferentes. A la curva tal como es definida por la primera propiedad antes expuesta le llamaremos curva
de menor longitud, mientras que reservaremos el trmino de geodsica para designar las curvas autoparalelas
definidas por la segunda de las definiciones.
Vamos a limitarnos de momento al espacio eucldeo y busquemos la condicin matemtica que debe cumplir
la geodsica, curva que vendr dada por la ecuacin ( )
k k
x x t = donde t es un parmetro arbitrario que carac-
teriza a cada punto de la curva y las
k
x son las coordenadas cartesianas de los puntos de la curva geodsica.
Vamos a considerar dos vectores tangentes
,
k
k
d dx
v
dt dt

r
v
siendo r el vector de posicin de un punto de la curva, o sea ( )
k
x = r ; v es un vector que no tiene el mismo
mdulo en cada uno de los puntos de la geodsica a consecuencia de la arbitrareidad del parmetro t. Adems
utlizaremos el vector unitario tangente
,
k
k
d dx
u
ds ds

r
u
donde s es la distancia desde un extremo de la curva al punto considerado. Observemos que el vector u tiene
la misma direccin y el mismo mdulo en cualquier punto de la geodsica.
Sea el punto P( ) t de la curva geodsica, al que le corresponde el vector tangente t v , en otro punto
P( ) t dt el vector tangente ser
, t dt t d = v v v
el requisito para que ambos vectores tangentes sean paralelos es que dv sea paralelo a v . Matemticamente
el anterior requisito se puede establecer de dos formas
0;
d d
t
dt dt
M . = =
v v
v v
o sea, que su producto vectorial sera nulo o bien que sean proporcionales. La funcin M que aparece en la
segunda condicin (54) es arbitraria y puede depender del parmetro t. Las ecuaciones (54) se pueden expresar
en funcin de las coordenadas
0; .
k i k
i k k
dv dv dv
v v t v
dt dt dt
M
Si en vez de coordenadas cartesianas utilizmos coordenadas curvilneas, entonces habra que sustituir las
derivadas por derivadas absolutas y tendramos para las condiciones (55)
26
(54)
(55)
0; .
k i k
i k k
Dv Dv Dv
v v t v
dt dt dt
M
Tenemos otra forma de representar la ecuacin de una geodsica, utilizando para ello el vector unitario
tangente u , que como hemos dicho es el mismo en todos los puntos de la geodsica, es decir debe cumplirse
0
d
ds
=
u
o bien en coordenadas curvilneas
0.
k
Du
ds
Las ecuaciones (56) y (57) son equivalentes y vlidas en un espacio eucldeo. Ahora hacemos la generalizacin
y las extendemos a un espacio cualquiera, donde conservarn la misma forma. Notemos que la ecuacin (56) se
puede definir en un espacio donde no est dada una mtrica, es decir en un espacio afn; no obstante, la ecuacin
(57) requiere el concurso de un tensor mtrico para poder definir la distancia, es por tanto un concepto utilizable
solamente en un espacio mtrico-afn.
La variable t utilizada para parametrizar la curva geodsica es arbitraria, es por tanto posible elegir un nuevo
parmetro t
, relacionado con el anterior por

. t f t =
Al hacer el cambio de variable la derivada absoluta se transformar segn

2
2
2
2 2
2 2
2 2
,
k k p q k p q
k k
pq pq
k k p q
k
pq
Dv d x dx dx d dx dt dx dx dt
dt dt dt dt dt dt dt dt dt dt
d x dt dx d t dx dx dt
dt dt dt dt dt
dt dt

+ I +I

' .
' .

+ + I

' . ' .

y la segunda de las ecuaciones (C) queda
2
2 2
k p q k k
k
pq
d x dx dx f dx dx
t
dt dt f dt dt dt f
M
M
| ''
I = =
|
' '
\

(E)
obtenindose una ecuacin idntica a la segunda ecuacin (56), porque si bien las funciones M y M son distintas,
son completamente arbitrarias (como lo son los parmetros t y t
).
La ecuacin (58) se reduce a la (56), para ello es necesario que
f
f
M
''
=
'
o lo que es lo mismo
exp . f dt M ' =
Es decir, cuando se cumple la anterior condicin el parmetro de la curva geodsica coindice con la distancia.
Sea
k
pq
I la conexin del espacio, entonces la conexin
k k k k
pq pq p q q p
t t D G \ E G \ ' I = I
es geodsicamente equivalente a
k
pq
I , donde t D y t E son funciones arbitrarias del parmetro t y
p
\ es
un vector covariante. En efecto, al sustituir (59) en la primera de las ecuaciones (56) queda inalterable y si la
sustituimos en la segunda ecuacin (56) obtenemos
2
2
k p q q q k k
k
pq q q
d x dx dx dx dx dx dx
dt dt dt dt dt dt dt
M D\ D\ M

' + I + +

' .
y al igual que anotamos antes, aunque M y M sean funciones diferentes, al ser arbitrarias en nada afectan a la
ecuacin de la curva geodsica, o sea que (60) representa la misma ecuacin que la segunda ecuacin (56).
Tambin son conexiones geodsicamente equivalentes las que se encuentran relacionadas mediante la ex-
presin
k k k
pq pq pq
Y ' I = I
donde
k
pq
Y es un tensor antisimtrico respecto a los indices inferiores. En efecto
27
(56)
(57)
(58)
(59)
(60)
k k k
s k r s k r k s r
sr sr sr
Dv dv dv
v v v v Y v v
dt dt dt
' + I + I
pero como el ltimo sumando es nulo por la antisimetra de
k
sr
Y entonces la derivada covariante de
k
v no se
modifica y las ecuaciones de las geodsicas (56) quedan inalteradas.
A continuacin vamos a tratar el problema de determinar la curva de menos distancia entre dos puntos dados,
lo que llamamos curva de menor longitud. Para ello vamos a considerar un espacio mtrico dotado de un tensor
mtrico no simtrico. El elemento de lnea (26) nos permite determinar la distancia entre dos puntos. Pretende-
mos determinar la ecuacin paramtrica de la curva
k k
x x t que uniendo dos puntos dados tenga la menor
longitud.
Tenemos que determinar la funcin que haga mnima la distancia entre dos puntos dados A y B
,
B B B
r i k r i k r r
AB i k i k
A A A
s g x t dx dx g x t x t x t dt f x x dt
' ' '
] ]

donde la prima significa derivacin respecto al parmetro t. Aplicando las tcnicas del mtodo variacional,
encontramos la curva extremal, que debe cumplir la ecuacin de Euler
0,
r r
f f d
dt x x
|
c c
= |
|
' c c
\
y si la desarrollamos tenemos
1
0.
r r r
d f f f df
dt f dt x x x
c c c |
=
|
' ' c c c \
En vez de utilizar el parmetro arbitrario t para describir la curva, vamos a utilizar como parmetro la propia
distancia s de cada punto de la curva al punto inicial A. Ahora tendremos
1
i k
ik
f g x x = =
donde el punto significa derivacin respecto a s y la ecuacin (61) queda
0,
r r
d f f
ds x x
c c |
=
|
c c \
desarrollando y teniendo presente el valor de f queda
0.
k k m k
kr rk m kr m rk r mk
g x g x g g g x x w w w
Introduciendo las partes simtricas y antisimtricas del tensor mtrico
1
0.
2
k m k
m k r rk rk rm mk
g x g g g x x

c c c =

Definiendo el smbolo
*
1
2
mkr m k r rk rm mk
L g g g
(
= c + c c

que es simtrico respecto a los dos primeros ndices, entonces la ecuacin de la lnea geodsica se pone
*
0.
k m k
mkr rk
g x L x x +
Debemos notar que
*
mkr
L coincide con los smbolos de Christoffel en forma covariante en el caso de que la
variedad tuviera una mtrica simtrica. Entonces la ecuacin geodsica (62) tomara la forma habitual
0.
r r m k
mk
x x x *
Como antes hemos sealado, la geodsica no es lo mismo que la curva de menor longitud. No obstante,
cuando la conexin del espacio se puede poner de la forma
* k k k k
pq pq p q q p
L t t D G \ E G \ I = + +
donde
* k
pq
L est formada exclusivamente por la parte simtrica del tensor mtrico y
p
\ es un campo vectorial
arbitrario, entonces ambas curvas, la geodsica y la de menor longitud coinciden, pues como hemos demostrado
las dos ecuaciones (C) quedan inalterables, excepto que ahora la conexin ser
* k
pq
L . Esto es lo que ocurre en
el espacio eucldeo y tambin en el espacio de Riemann, en ambos casos ocurre que 0 D E = = , o sea la
conexin coincide con los smbolos de Christoffel.
28
(61)
(62)
24.- Divergencia de un vector
La divergencia de un vector viene definida por
,
k k k s
k k sk
D v v v w *
vamos a encontrar una nueva expresin ms til. Partimos para ello de la derivada covariante del tensor mtrico
,
s s
r i k r i k i s sk i r i kr kr
D g g g g Q w * *
al hacer la multiplicacin contracta con
i k
g
1 1
.
2 2
s i k i k
sr r i k i kr
g g g Q I = c
Insertando (30) en (64) encontramos
1 1 1 1
,
2 2 2
s ik i k
sr r ikr i kr
r
g
g g Q g Q
g g x
c
I = c =
c
al vector
1 1
4 4
ik i
r ikr i r
g Q Q N = =
le llamaremos vector de no-metricidad. En el caso particular de que la geometra sea semi-mtrica, el vector de
no mtericidad coincide con el vector de Weyl. Introduciendo el tensor de no-metricidad en la anterior expresin
obtenemos
ln
2 .
s
sr r
r
g
x
N
c
I =
c
Limitndonos al caso de un espacio riemanniano donde tanto el tensor mtrico como la conexin son simtricas
y nulo el tensor de no-metricidad, la expresin (42.1) se reduce a
1
.
s
sr
r
g
g x
c
I =
c
Por (63) y (66) la definicin de divergencia de un vector para el espacio consideradoqueda
1
,
k
k
k
k
gv
D v
g x
c
c
vlida, en especial, para los espacios de Riemann. Para el caso general tendremos por las definiciones de los
vectores de torsin y no-metricidad
ln 2
k k k
s r sk sk ks
r
g
x
W W N
c
I = I =
c
entonces de (63)
1
2
k
k k
k k k
k
gv
D v v
g x
W N
c
+
c
que es la expresin general de la divergencia de un vector para el caso en que haya torsin y no nulidad del
tensor de no-metricidad.
Si usamos la derivada covariante con arterisco, tendremos para la divergencia de un vector la expresin
*
1
.
k
k
k
k
gv
D v
g x
c
c
Para el caso particular de una geometra semi-mtrica de torsin nula tendremos para la divergencia de un
vector la expresin
*
2
k k k
k k k
D v D v v Q =
donde
k
Q es el vector de Weyl.
A partir de (65) podemos obtener una nueva expresin para la curvatura homottica
, , , ,
2 2 .
k k
i r i r r i kr i ki r
V N N = I I =
29
(63)
(64)
(65)
(66)
(68)
(67)
por tanto si se cumple
, , i r r i
N N =
entonces es nula la curvatura homottica. Por otra parte si el tensor de no-metricidad fuera nulo, tambin lo sera
el vector de no-metricidad y por consiguiente sera nula la curvatura homottica.
Como el tensor de no-metricidad es nulo en los espacios de Riemann, tambin ser nula la curvatura homottica
y como la conexin es simtrica entonces es vlida (24), siendo nula la parte antisimtrica del tensor de Ricci.
Por tanto en un espacio de Riemann el tensor de Ricci es simtrico.
25.- Rotacional de un vector
En un espacio eucldeo tridimensional el rotacional es definido en coordenadas cartesianas por el siguiente
vector (no hacemos distinciones entre componentes covariantes y covariantes, es decir hacemos uso de coorde-
nadas cartesianas)
1
,
2
k i
ij k i
j k
A A
x x
H
|
c c
V. = |
|
c c
\
A e
que es el vector dual asociado al tensor de componentes
rot .
k i
j k
j k
A A
x x
c c

c c
A
Esto nos permite generalizar el concepto de rotacional de un vector a un espacio genrico, con slo sustituir
las derivadas parciales por derivadas covariantes
rot
j k k j
jk
D A D A = A
que en el caso de un espacio con conexin simtrica se reduce a
rot .
j k k j
jk
A A =c c A
De (69) se deriva el vector rotacional
1
rot .
2
pjk
jk
A A
Si el espacio tiene ms de tres dimensiones ya no es posible reducir el tensor rotacional a un vector como ocurre
en el espacio tridimensional.
26.- Gradiente
Sea ( )
k
x I un campo escalar que tiene la propiedad de ser invariante ante un cambio de coordenadas, esto
quiere decir que la funcin ( )
k
x I toma el mismo valor en un punto dado, con independencia del sistema de
coordenadas.
El gradiente de una funcin escalar es definido por
grad
k
k k
x
I
I I
c
= c =
c
que se comprueba fcilmente que es un tensor covariante.
27.- La laplaciana
El operador laplaciano es definido en coordenadas cartesianas en un espacio eucldeo como
2 2
2
2 2
1
k
k
c t x x
c c
V =
c c c
en el caso de un espacio genrico, la laplaciana toma la forma .
k
k
D D
28.- ngulos
En un espacio eucldeo el ngulo entre dos vectores de componentes
i
dx y
k
dy se define a partir de su
producto escalar
cos
i k
ik
i k i k
ik ik
g dx dy
g dx dx g dy dy
D =
30
(69)
(70)
en esta expresin se anulan los trminos que contienen la parte antisimtrica del tensor mtrico, es decir que el
ngulo solo depende de la parte simtrica de
i k
g .
Dada la propiedad que tienen los espacios mtricos de permitir que en cada punto se defina una espacio
euclidiano tangente (ver epgrafe 14), es posible extender (70) para un espacio genrico.
29.- Teoremas integrales
El teorema de Stokes en el espacio tridimensional eucldeo es
, d d
* 6
= V.

A l A S
v
donde I es la curva perimetral de la superficie L. En funcin de las coordenadas queda
k k k
k
A dx dS
* 6
= V.

A
v
donde usamos coordenadas cartesianas y por tanto no establecemos diferencias entre ndices covariantes y
contravariantes. Por las definiciones de rotacional de un vector (69) y del elemento de superficie tenemos para
el teorema de Stokes del espacio eucldeo tridimensional
1 1
rot ,
2 2
q p
k k kpq k pq
pq
p q
A A
A dx dS dS
x x
H
* 6 6
| c c
= = |
|
c c
\

A
v
habiendo hecho uso de la relacin
.
pq kpq k
dS dS H =
(71) se generaliza a una variedad genrica
1
r ot .
2
k pq
k
pq
A dx dS
* 6

A
v
Ntese que slo en el caso tridimensional es posible obtener un vector superficie bidimensional, que es el vector
dual del tensor superficie de orden dos.
Se puede, igualmente, generalizar el teorema de Gauss, que en el caso del espacio eucldeo tridimensional es
V
dV d
6
V =

A A S
w
donde L es la superfice cerrada que engloba el volumen V. Lo anterior se pone en funcin de las componentes
en coordenadas cartesianas (sin distinguir entre ndices y subndices) y queda
,
k
k k
k
V
A
dV A dS
x
6
c
c
w
al generalizar a un espacio genrico se tiene
,
k k
k k
V
D A dV A dS
6
=

debemos de notar que L es una hipersuperficie de dimensin 1 N y dV es dado por (50).
30.- Densidades tensoriales
Se llama densidad tensorial de un vector
k
A a
,
k k
g A A
su derivada covariante es
1
,
2
k k k k k k k s
k k k k k k sk
D D g A D g A gD A D gA g A A
g
= = = c I A
para calcular la derivada covariante del determinante del tensor mtrico tenemos en cuenta que
.
ik ik
r r ik i kr
D g gg D g gg Q = =
Por (65) tenemos
1 1
2
k k i r
s s i rs sk ks
s
g
g Q
g x
W W
c
I = I =
c
31
(71)
(72)
entonces
.
k k k k
k k k k
D D g A g A g A W = = c A
Podemos generalizar el teorema integral de Gauss (72) para el caso de existir torsin, para lo que se utiliza
(73) de donde resulta
k k k
k k k
V V
D g A d A dS g A d W
6
O= O

para el caso en que el vector
k
A se anule en los lmites de la integracin nos queda simplemente
k k
k k
V V
D g A d g A d W O= O

que es nulo en el caso de un espacio sin torsin como el de Riemann.
Consideremos ahora un tensor de segundo orden simtrico
ik
T definido en un espacio de Riemann. Su
divergencia ser
1
k s s k k s k k s k
k i k i i s k i i s sk ik ik
s
g
D T T T T T T T
g x
c
= c I I = c I
c
donde se ha utilizado (66). Simplificando
.
s k k k
k i k i s ik
gD T gT gT = c I
Analizando el segundo sumando de la anterior expresin y teniendo presente la simetra del tensor
ik
T
, , , ,
1 1
,
2 2
s s k k k sr rk
s s s kr i i r k i k r kr i i k ik
T T L T g g g g T g I = = =
finalmente nos queda
,
1
.
2
k k k rk
k i k i k i kr i
gD T D g = =c T T T
Si ahora suponemos que el tensor
ik
T es antisimtrico
,
i ik i k sk
k k sk
gD T gT g T = c I
y como la conexin es simtrica
,
ik ik
k k
D = c T T
donde tenemos en cuenta la nulidad de la derivada covariante del determinante del tensor mtrico en un espacio
de Riemann.
31.- Tensor de Weyl
Buscamos un tensor de cuarto orden definido en un espacio de Riemann que tenga las mismas propiedades
de simetra que el tensor de curvatura y adems que todas sus trazas sean nula. Este tensor slo se puede
construir a partir de
i
j kl
R ,
ik
R ,
R
y
i k
g y es llamado tensor de Weyl Weyl
.
ij kl i jkl ij kl i k jl i l jk jk i l
j l i k kl ij ik j l i l j k ij kl
C AR Bg R Cg R Dg R Eg R
Fg R Gg R Hg g R Ig g R Kg g R
=

El coeficiente A es una constante numrica que, en realidad, multiplica a todo el resto del segundo miembro, por
lo que podemos adoptar el valor arbitrario 1 A = . Los coeficientes en los que aparece B y G tienen que anularse,
puesto que al ser simtrico frente a transformaciones i j o k l o hara que el tensor
i j kl
C perdiera sus
propiedades de antisimetra respecto a los dos primeros y a los dos ltimos pares de ndices. El coeficiente K
tambin es cero ya que multiplica a una expresin simtrica respecto al cambio i j o o a k l o , lo que ya
hemos dicho que no es permitido.
Para conseguir la deseada antisimetra del tensor de Weyl es necesario que se cumpla
I H =
de esta forma la suma de los sumandos que contienen esos coeficientes tienen las adecuadas propiedades de
antisimetra. Por tanto el tensor de Weyl queda
.
ij kl i jkl ik j l i l j k j k i l j l i k ik j l il jk
C R Cg R Dg R Eg R Fg R Hg g R Hg g R =
Al igual que para el tensor de curvatura, tambin el tensor de Weyl tiene dos contracciones posibles
i
i kl
C y
32
(73)
(74)
i
j ki
C ya que todas las restantes o coinciden con las dos anteriores o son sus opuestos. Vamos a exigir que las
dos contracciones anteriores se anulen. Al aplicar este requisito se encuentra
0. C D E F =
donde hemos tenido en cuenta que 0
i
i kl kl
R V = = . De la segunda contraccin del tensor de Ricci se deducen
las siguientes dos identidades
1 4 0; 4 0, C D F E H H = =
donde tenemos en cuenta que el tensor de Ricci no puede ser proporcional al tensor mtrico. Al imponer la
condicin
ij kl ji kl
C C =
se encuentra
; , C E D F = =
y finalmente por la condicin de antisimetra
ijkl ijlk
C C =
tenemos
; . C D E F = =
Reuniendo todas las relaciones encontradas hallamos que los coeficientes tienen que ser
1 1 1 1 1
; ; ; ;
2 2 2 2 6
C D E F H = = = = =
donde suponemos que el espacio es de cuatro dimensiones. Con estos resultados el tensor de Weyl en forma
completamente covariante es
1 1
.
2 6
ij kl i j kl ik jl i l j k jk i l j l i k i l j k i k jl
C R g R g R g R g R g g g g R =
Si el espacio tuviera N dimensiones el tensor de Weyl sera
1 1
.
2 1 2
ij kl i j kl i k jl i l j k j k il jl ik i l j k i k jl
C R g R g R g R g R g g g g R
N N N
=

donde N es la dimensin del espacio que tiene que ser mayor que 3.
El tensor de Weyl en forma mixta
i
j kl
C tiene la propiedad de ser invariante conforme, es decir que no se
altera si se realiza la transformacin conforme definida por
2
ik i k
g g O ' =
donde O es una funcin escalar de las coordenadas. Por esta invariancia a
i
j kl
C tambin se le llama tensor
conforme de Weyl.
32.- Bibliografa
-Asorey, M.: Einstein y las Teoras de Campo Unificados.
-Born, M.; Infeld, L.: Foundations of the New Field Theory, Proceedings of the Royal Society A 144 (1934)
425-451.
-Bertotti, Bruno: The later work of E. Schrdinger, Studies in History and Philosophy of Science A, 16
(1985) 83-100.
-Bose, S. N.: The Affine Connection in Einstein's New Unitary Field Theory, Annals of Mathematics, Second
Series, 59-1 (1954) 171-176.
-Cartan, .: Sur les varits la conenxion affine et la thorie de la relativit gnralise I, Annales Scientifiques
de Lcole Normale Suprieure 40 (1923) 325-412.
-Cartan, .: Sur les varits la conenxion affine et la thorie de la relativit gnralise II, Annales
Scientifiques de Lcole Normale Suprieure 41 (1924) 1-25.
-Eddington, A. S.: The mathematical theory of Relativity, Chelsea Publishing, 1975, pp. 213-240 y pp. 257-263.
-Eddington, A. S.: A Generalisation of Weyls Theory of the Electromagnetic and Gravitational Fields,
Proceedings of the Royal Society of London; Philosophical Transactions of the Royal Society 99 (1921)
104-112.
-Einstein, A.: The Theory of the Affine Field, Nature 112 (1923) 448-449.
33
-Einstein, A.: Zr allgemeinen Relativittstheorie, Sitzungsberichte der Preussischen Akademie der
Wissenschaften su Berlin. Physikalisch-Matematische Klasse (1923) 32-38.
-Einstein, A.: Zr allgemeinen Relativittstheorie, Sitzungsberichte der Preussischen Akademie der
Wissenschaften su Berlin. Physikalisch-Matematische Klasse 32-38 (1923) 7677.
-Einstein, A.: Unified Field Theory of Gravitation and Electricity, Session Report of the Prussian Academy
of Sciences, July 25th, 1925, pp. 414-419.
-Einstein, Albert: El significado de la Relatividad, Espasa-Calpe, 1971, pp. 164-182.
-Einstein, A.: Bemerkung zu meiner Arbeit Zur allegemeinen Relativittstheorie, Sitzungsberichte der
Preussischen Akademie der Wissenschaften su Berlin. Physikalisch-Matematische Klasse, 376-77 (1923)
137-140.
-Einstein, A.; Straus, E. G.: A Generalization of the Relativistic Theory of Gravitation II, Annals of Mathematics
47 (1946) 731-741.
-Ferraris, M.; Francaviglia, M.; Reina, C.: Variational Formulation of General Relativity from 1915 to 1925
'Palatini's Method' Discovered by Einstein in 1925, General Relativity and Gravitation 14 (1982) 243-254.
-Ferraris, Marco; Francaviglia, Mauro; Volovich, Igor: The universality of vacuum Einstein equations with
cosmological constant, Classical and Quantum Gravity 11 (1994) 1505-1518.
-Ferraris, M.; Kijowski, J.: On the equivalence of the relativistic theories of gravitation, General Relativity
and Gravitation 14 (1982) 165-180.
-Filippov, A. T.: On Einstein-Weyl unified model of dark energ and dark matter, arXiv:0812.2616v2, 2009.
-Filippov, A. T.: Affine generalizations of gravity in the light of modern cosmology, arXiv:1008.2333v3, 2010.
-Filippov, A. T.: On the Weyl - Eddington - Einstein affine gravity in the context of modern cosmology,
arXiv:1003,0782v2, 2010.
-Filippov, A. T.: General properties and some solutions of generlized Einstein-Eddington affine gravity I, arXiv:gr-
qc/0701176, 2011.
-Gilbert, C.: The torsionless affine field theory of Einstein, Journal of Physics A: General Physics , 2-5
(1969) 509.
-Goenner, H. F. M.: On the History of Unified Field Theories, Living Rev. Relativity 7 (2004) 46-53.
-Hehl, F. W.; Kerling, G. D.: Metric-affine variational principles in general relativity. I. Riemannian space-
time, General Relativity and Gravitation 9 (1978) 691-710.
-Hehl, F riederich W.; Lord, Eric A.; Smalley, Larry L.: Metric-affine variational principles in general relativity
II. Relaxation of the Riemannian constraint, General Relativity and Gravitation 13 (1981) 1037-1056.
-Hehl, F. W.; Kerlick, G. D.; Heyde, P. Von der: On a new metric affine theory of gravitation, Physics Letters
B 63 (1976) 446-448.
-Hehl, W.; Heyde, Paul von der; Kerlick, G. David; Nester, James M. Nester: General relativity with spin and
torsion: Foundations and prospects, Reviews Modern Physics 48 (1976) 393.
-Hlavaty, Vclav: The Schrdinger final affine field laws, Proceedings of the National Academy of Sciences
38 (1952) 1052-1058.
-Kijowski, J.: On a new variational principle in general relativity and the energy of the gravitational fiel,
General Relativity and Gravitation 9 (1978) 857-877.
-Kunstatter, G.: Palatini variation of a generalized Einstein Lagrangian, General Relativity and Gravitation,
12 (1980) 373-378.
-Lemos, P. S.: Unitary theories in the work of Mira Fernandes (beyond general relativity and differential
geometry), arXiv:10112.5093v2, 2011.
-Lichnerowicz, A.: Thories relativistes de la gravitation et de llectromagntisme, Manson et Cie, 1955,
pp. 235-253.
Lichnerowicz, A.: Elementos de clculo tensorial, Aguilar, 1972.
-Lorentz, H. A.: On Hamilton principle in Einsteins theory of gravitation, Proceedings of the Royal Netherlands
Academy of Arts and Sciences 19 (1917) 751-765.
-Magnano, Guido: Are there metric theories of gravity other than General Relativity?, arXiv:gr-qc/9511027v2,
1995.
-Pais, Abraham: El Seor es stil... La ciencia y la vida de Albert Einstein, Ariel, 1984, pp. 329-358.
-Palatini, A.: Deduzione invariantiva delle equazioni gravitazionali dal principio di Hamilton, Rendiconti del
Circolo Matematico di Palermo 43 (1919) 203-212.
-Pauli, W.: Theory of Relativity, Dover Publications, 1958, pp. 225-227.
34
-Prez Terual, Gins R.: Generalized Einstein-Maxwell field equations in the Palatini formalism, arXiv:1301.6303,
2013.
-Poplawski, Nikodem J.: A unified, purely affine theory of gravitation and electromagnetism, arXiv: 0705.0351v4,
2007.
-Poplawski, Nikodem J.: Gravitation, electromagnetism and the cosmological constant in purely affine gravity,
arXiv:gr-qc/0612193v3, 2009.
-Poplawski, Nikodem J.: On the nonsymmetric purely affine gravity, arXiv:gr-qc/0610132v3, 2007.
-Poplawski, Nikomen: Affine Theory of Gravitation, arXiv:1203.0294, 2012.
-Poplawski, Nikodem: A Maxwell field minimally coupled to torsion, arXiv:1108.6100, 2011.
-Sauer, Tilman: Einsteins Unified Field Theory Program, en The Cambridge Companion to Einstein, Cambridge
University Press, 2014, vol. 1, pp. 281-305.
-Schouten, J. A.: ber die verschiedenen Arten der bertragung in einern-dimensionalen Mannigfaltigkeit, die
einer Differentialgeometrie zugrunde gelegt werden knnen, Mathematische Zeitschrift 13 (1922) 56-81.
-Schrdinger, Erwin: Space-Time Structure, Cambridge University Press, 1991, pp. 106-119.
-Schrdinger, Erwin: The Final Affine Field Laws I, Proceedings of the Royal Irish Academy A 51 (1947)
163-171.
-Schrdinger, Erwin: The Final Affine Field Laws II, Proceedings of the Royal Irish Academy A 51 (1947)
205-216.
-Schrdinger, E.: The Affine Connexion in Physical Field Theories, Nature 153 (1944) 572-575.
-Schrdinger, Erwin: The Final Affine Field Laws III, Proceedings of the Royal Irish Academy A 52 (1948)
1-9.
-Schrdinger, E.: The general affine field laws, Proceedings of the Royal Irish Academy Section A
Mathematical and physical sciences 51 (1947) 41-50.
-Schrdinger, E.: Studies in the Non-Symmetric Generalization of the Theory of Gravitation, Communications
of the Dublin Institute for Advanced Studies, Series A 6 (1951) 28 S. .
-Schrdinger, E.: The General Affine Field Laws, Proceedings of the Royal Irish Academy A 51 (1946) 41-
50.
-Schrdinger, E.: Unitary Field Theory: Conservation Identities and Relation to Weyl and Eddington, Proceedings
of the Royal Irish Academy A 49 (1944) 237-244.
-Schrdinger, E.: The Union of the three Fundamental Fields (Gravitation, Meson, Electromagnetism),
Proceedings of the Royal Irish Academy A 49 (1944) 275-287.
-Schrdinger, E.: The General Unitary Theory of the Physical Fields, Proceedings of the Royal Irish Academy
A 49 (1943),43-58.
-Sotiriou, Thomas P.; Liberati, Stefano: Metric-affin f(R) theories of gravity, arXiv:gr-qc/0604006v2, 2007.
-Sotiriou, Thomas P.; Faraoni, Valerio: f(R) theories of gravity, arXiv:0805.17264v4, 2010.
-Straub, William O.: Some Observations on Schrdingers Affine Connection, viXra:1402.0151, 2014.
-Treder, H. J.: Hamiltonian dynamics of purely affine fields, Astronomische Nachrichten 315 (1994) 1-9.
-Tsamparlis, M.: On the Palatini method of Variation, Journal of Mathematical Physics 19 (1977) 555-557.
-Tonnelat, Marie-Antoinette: Les thories unitaires de lelectromagntism et de la gravitation, Gauthier-
Villars, 1965, pp. 266-273.
-Tonnelat, M. A.: Einsteins Theory of Unified Fields, Gordon and Breach, 1982.
-Vizgin, Vladimir P.: Unified Field Theories in the first third of the 20th century, Birkhuser, 1994, pp.137-
149 y pp. 188-197.
35

Teoría General de La Conexión Afín

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Teoría General de La Conexión Afín

Transféré par

Droits d'auteur :

Formats disponibles

Wenceslao Segura Gonzlez

Teora general de la conexin afn

* . En efecto, si contraemos (7)

son las componentes covariantes

tambin es una conexin, como fcilmente

que como ya se ha visto es un vector covariante.

tambin tiene un vector de torsin nulo.

tiene de elementos los

encontramos que tiene de peso 1, mientras que la tetraaceleracin tendr de peso 2.

, relacionado con el anterior por

Al hacer el cambio de variable la derivada absoluta se transformar segn

Vous aimerez peut-être aussi