Vectores, Cuadrivectores y Tensores.

Comencemos por considerar los dos sistemas de coordenadas rectangulares mostrados en la figura
1. Ambos tienen un origen en comn pero difieren por una rotacin; esto es, si se gira uno
de los conjuntos de ejes como un cuerpo rgido, se le puede hacer coincidir con el otro.
z'

P
y'
r
y

x'
x
Figura 1. Los dos conjuntos de ejes estan girados uno con respecto al otro.

Considrese un punto P que tenga las coordenadas x, y, z en un conjunto de ejes, mientras que sus
coordenadas en el otro conjunto son x', y', z'. Ambos conjuntos de nmeros ubican el mismo
punto P. La distancia, r, del punto P al origen tiene el mismo valor nmerico sin importar el sistema
de coordenadas que se est empleando. En otras palabras, r es invariante y se debe tener que:
r = x + y + z = x' + y' + z'

(1)

Ser conveniente introducir la notacin:

x1= x

x2= y x3= z (2)

porque entonces se puede escribir (1) en forma algo ms compacta como:

3

r =

x j =
j=1

x 'j

(3)

j=1

Las ecuaciones que relacionan los dos conjuntos de coordenadas sern lineales, por lo
que se pueden escribir las tres ecuaciones:
3

x j '= a jk x k (j=1, 2,3)

k=1

(4)

entonces las 3 ecuaciones:

x 1 '=a11 x 1+ a12 x 2 +a13 x3
x 2 ' =a21 x1 +a 22 x 2+ a23 x 3

(5)

x 3 ' =a31 x1 +a 32 x 2+ a33 x 3

El conjunto de nueve nmeros a jk caracteriza la rotacin que caracteriza la rotacin que
relaciona los ejes primos y los no primos. Es evidente tambin que los a jk no pueden ser
todos independientes en virtud de que las ecuaciones de transformacin (4) no han
satisfecho an el requisito fsico fundamental en el sentido de que los ejes se relacionan
por medio de una rotacin, esto es, que r sea invariante segn qued descrito por (3).
As (3) describe el efecto de una rotacin sobre los componentes de este vector particular.
Por lo tanto se puede decir que si A 1, A2, A3 son las componentes rectangulares de
cualquier vector A, entonces ellas satisfacen una relacin como (3), esto es,
3

A j '= a jk A k

(j=1, 2, 3)

(6)

k=1

donde los ajk constituyen el mismo conjunto de coeficientes que describen el efecto de
una rotacin rgida de ejes sobre las coordenadas de un punto.

Como una generalizacin de lo que se encontr vlido para un vector A en (6) se define
un cuadrivector A como un conjunto de 4 cantidades (A 1, A2, A3, A4) cuyas propiedades
de transformacin son las mismas que las de las coordenadas.
La suma de dos cuadrivectores debe ser un cuadrivector, por lo que
(7)

C =( A+ B) = A + B

Se puede definir un producto escalar de dos cuadrivectores generalizando el resultado

para AB
(producto escalar)=

A B

(8)

Se puede demostrar que este producto escalar es un invariante empleando (8)

A ' B '= ( a( ) A )( a( ) B )

A B ( a a )

Puesto que en la ecuacin anterior debe ser tambin igual a

debe tener
a a =

(9)

A B ,

se ve que se

donde es la delta de kronecker. De ah que

=

$ iny

A B = A B

Se pude llegar a definir la longitud de un cuadrivector con el producto escalar del

cuadrivector consigo mismo; as

(longitud)=

(10)

Se define un tensor de segundo orden, T, como un conjunto de 16 cantidades

tales que cada ndice se transforma en la misma forma que los ndices de las
coordenadas, esto es, si (6) es vlida, entonces
T '= a a T

(11)

se necesitan dos ndices para especificar cada componente; de ah el trmino

segundo orden. De manera similar, un cuadrivector con ndices sencillos se
considera un tensor de primer orden, en tanto que un escalar invariante es un
tensor de orden cero. Es posible definir tensores de orden superior por medio
de una generalizacin directa de (11), pero aqu no habr necesidad de ello.
Se dice que un tensor simtrico si T=T por lo que solo tiene 10 componentes
independientes. Un tensor es antisimtrico si T=-T, y solo tiene 6 componentes
independientes puesto que los elementos de la diagonal deben ser igual a cero, esto es,
T

=0. Un tensor no tiene que ser simtrico o antisimtrico, pero si lo es esta propiedad

no cambia con una transformacin; esto es, si T es simtrico (o antisimtrico), T'

es tambin simtrico (o antisimtrico). Empleando esto en (11) se encuentra que
T ' = a a T = a a T

(12)

Si ahora se intercambian y en (11) y despus se intercambian y , se obtiene

T '= a a T = a a T

(13)

Comparando (13) con (12), se tiene que T '=T' eligiendo los signos de tal
modo que sean los mismos que se eligieron originalmente, demostrndose as que no se
ha cambiado la propiedad de simetra.
Un importante ejemplo es

F =A B A B (14)
escribir estos 16 nmeros como F no basta para probar que F sea en realidad
un tensor, aunque si lo es, ser antisimtrico. A fin de demostrar que F tiene
en realidad las propiedades correctas de transformacin, se sustituye (6) en (14) y se
encuentra que
F '=A ' B ' A ' B '= a a A B a a A B

a a ( A B A B )= a a F

(15)

que es lo que exactamente se quiere para la definicin (11). Se ve tambin que si , =1,
2, 3, entonces las componentes de F son exactamente las del producto cruz
tridimensional conocido, AxB. Por consiguiente se ve que en realidad el producto cruz es
un tensor no un vector.
De manera similar, se puede demostrar que las siguientes cantidades son cuadrivectores:
B = A T

C = T A

De acuerdo con la regla de la cadena para la diferenciacin de una funcin de variables

no primas dadas, con respecto a variables primas diferentes, se tiene
= ( x )

x ' x ' x

(16)

Se ve de (6) que x' = a por lo que (20) resulta ser

= a ( )
x
x '

(17)

Se ve que los cuatro operadores x se transforman exactamente como un

cuadrivector. Este permite definir un operador del tetra-dimensional, , con las
componentes

=[ , , , ]
x1 x2 x3 x4
y emplearlo de modo anlogo al operador

(18)

tridimensional.

Teora General de la Relatividad

Derivacin de las Ecuaciones de Campo

Las ecuaciones del campo gravitacional tendrn que ser ecuaciones diferenciales
parciales no lineales, la no-linealidad representa el efecto de la gravitacin sobre si
misma.
En cualquier punto X en un campo gravitacional fuerte arbitrario, podemos definir un
sistema de coordenadas locales tal que

g ( X )=

(1)

( x)
) =0
x x=X

(2)

por lo tanto para x cerca de X, el tensor mtrico g puede diferir de solo para
trminos cuadrticos en x X. En este sistema de coordenadas el campo gravitacional es
dbil cerca de X, y podemos esperar describir el campo por ecuaciones diferenciales
lineales. Y una vez que sepamos que son estas ecuaciones de campo dbil, podremos
encontrar las ecuaciones de campo generales revirtiendo la transformacin de
coordenadas que hacen que el campo sea dbil.
Desafortunadamente nosotros tenemos muy poca informacin emprica acerca de las
ecuaciones de campo dbil.
Primero djenos llamar que en un campo esttico dbil producido por una masa no
relativista de densidad , la componente tiempo-tiempo del tensor mtrico esta
dada aproximadamente por
g00(1+2 )

(3)

Aqu es el potencial newtoniano, determinado por a ecuacin de Poisson

=4 G
donde G es la constante newtoniana. Adems la densidad de energa T 00 para una masa
no relativista es solo igual a su densidad de masa
T 00
Combinando con las ecuaciones de arriba, tenemos entonces
g 00=8 GT 00

(4)

Esta ecuacin de campo esta supuesto solo para campos estticos dbiles generados por
masas no relativistas, y ni siquiera se mantiene invariante a las transformaciones de
Lorentz. Como sea (4) nos lleva a adivinar que las ecuaciones de campo dbil para una

distribucin general T de energa y momento toman la forma

G =8 G T (5)
donde G es una combinacin lineal de la mtrica y sus primeras derivadas. Es seguido
entonces del principio de equivalencia que la ecuaciones que gobiernan el campo
gravitacional de una fuerza arbitraria debe tomar la forma
G =8 G T

(6)

Donde G es un tensor el cual se reduce a G para campos dbiles.

En general va haber una variedad de tensores G que pueden ser formado por un tensor
mtrico y sus derivadas, y esto se reduce en el limite del campo dbil a un dado G .
Vamos a imaginar que G se expande en una suma de el producto de sus derivadas de
la mtrica, y clasifiquemos cada termino acorde al numero total de N derivadas de la
componente mtrica. ( Por ejemplo, un termino con N=3 puede ser lineal en 3 derivadas
de la mtrica, o un producto con una primera derivada con una segunda derivada, o un
producto de las tres primeras derivadas.) El conjunto de G debe tener las dimensiones
de la segunda derivada, entonces cada termino del tipo N2 aparece multiplicado con una
constante teniendo la dimensin de longitud a la potencia N-2, cada termino se volver
despreciable para el campo gravitacional de un espacio-tiempo suficientemente largo o
pequeo si N>2 o N<2, respectivamente. En orden de remover la ambigedad en G , se
deber asumir que las ecuaciones del campo gravitacional son uniformes en escala,
entonces que solo trminos con N=2 sean permitidos.
Vamos a revisar que conocemos acerca del lado izquierdo de la ecuacin (6):
(A) Por definicin G es tensor.
(B) Por suposicin, G consiste solo de trminos con N=2 derivadas de la mtrica; esto
es,
G contiene solo trminos que son ya sea lineales en la segunda derivada o
cuadrticos en la primera derivada de la mtrica.
(C) Ya que T es simtrico, entonces G tambin lo es.
(D) Ya que T es conservativo (en el sentido de diferenciacin covariante), G tambin lo
es.
(E) Por un campo estacionario dbil producido por una masa no relativista la componente
00 de (6) se debe reducir a (4), entonces en este limite
G00 g00

(7)

Todas estas propiedades son necesarias para encontrar G .

La manera ms general para construir un campo que satisfaga (A) y (B) es por
contraccin de el tensor de curvatura R. La propiedad antisimtrica propia de R; esto
es, el tensor de Ricci R R, y el tensor de curvatura R=R. Por lo tanto (A) y (B)
requiere que G tome la forma

G =C 1 R +C 2 g R

(8)

donde C1 y C2 son constantes. Esto es automticamente simtrico, entonces (C) nos dice
algo nuevo. Usando la identidad de Bianchi
1
( R R) ;=0
2

(9)

esto da la divergencia covariante de G como

G ; =(

C1
+ c 2)R ;
2

entonces (D) permite dos posibilidades, ya sea C 2 = -C1/2, o R; desaparece en todas

partes. Podemos rechazar la segunda posibilidad, porque (8) y (6) nos da
G=(C 1+4 C 2) R=8 G T
As si R; R/x desaparece, entonces debe T/x , y este no es el caso en
presencia de masa relativista no inhomognea. Concluimos entonces que C 2 = -C1/2
entonces (8) se convierte
1
G =C 1 (R g R)
2

(10)

Finalmente, usamos la propiedad (E) para fijar la constante C 1. Un sistema no relativista

siempre tiene Tij T00, entonces aqu estamos interesados con el caso donde
GijG00 o usando (11),
1
Rij gij R
2
Adems, aqu tratamos con un campo dbil, entonces g el escalar de curvatura es
por lo tanto dado por
3
RR R 00 RR 00
2
o
R2 R00

(11)

Usando (11) y (1) en (10) encontramos

G002 C1 R00

(12)

Para calcular R00 para un campo dbil debemos usar la parte lineal de R , dada por
g
g
1 g
g
R = [ + ]
2 x x x x x x x x
Donde el campo es esttico todas las derivadas temporales desaparecen, y la
componente que necesitamos se vuelve

R0000 0

R i 0 j 0

1 g00
2 xi x j

Por lo tanto (12) nos da

G 002 C1 (Ri 0 i 0R 0000 )C 1 g 00
y comparando esto con (7), podemos encontrar que (E) se satisface si y solo si C 1=1.
Ajustando C1 = 1 en (10)completa nuestro calculo de G:
1
G =R g R
2

(13)

Con (5), nos da las ecuaciones de campo de Einstein

1
R g R=8 G T
2

(14)