Universidad de Puerto Rico

Recinto de Mayag
uez
Departamento de Fsica

Introducci
on a la
Teora General de Relatividad

Dr. Ruben A. Mendez Pl

acido

Captulo

Introduccion - Relatividad Especial

1.1

Estructura del espacio-tiempo

I. Tipos de Espacios
A. Espacios Planos (Euclidianos)- Satisfacen el postulado geometrico: Dada una lnea L y un punto
P que no se encuentra en la lnea L , solo existe una lnea L que pasa por P y se encuentra paralela a
L.
B. Espacios No - Euclidianos - Se niega el postulado anterior
1. Ej. Espacio de Riemann - Satisfacen el postulado geometrico: Dada una lnea L y un punto P
que no se encuentra en la lnea L , no existe una lnea L que pasa por P y se encuentra paralela a
L.
2. Ej. Espacio Hiperb
olico (De Lobachevski) - Satisfacen el postulado geometrico: Dada una
lnea L y un punto P que no se encuentra en la lnea L , existen al menos dos lneas L 0 y L 00 que
pasan por P y se encuentran paralelas a L .
II. Caractersticas b
asicas
A. Es un espacio pseudo-Euclidiano (Plano) donde no existe la gravedad
B. Es solo una aproximaci
on, pues asume un espacio desprovisto de materia.
C. Es cuatri-dimensional (4-D).

1.1.1

Por qu
e plano?

I. Concepto de distancia - Cl
asico (Newtoniano)
2

(s) = (x) + (y) + (z)

(1.1)

donde el tiempo t es un par

ametro; i.e x (t), y (t), z (t). Bajo una rotacion (x, y, z, t) (x0 , y 0 , z 0 , t0 ) o x0 = <x
0
y t = t (donde < es la matriz de rotaci
on del sistema)
s 0
0 2

(1.2)
0 2

0 2

0 2

(s ) = (x ) + (y ) + (z ) = (s)

(1.3)

Donde (s) es invariante bajo rotaciones.

II. Concepto de distancia (RE) - Se incluye el tiempo como una coordenada a la misma altura que las
coordenadas espaciales. Por eso se la llama el espacio-tiempo. La restriccion de una velocidad finita de la luz
impone que el signo de la medida del tiempo sea la opuesta a la del espacio. Por esto se define el intervalo
del espacio-tiempo de la forma:
2

(s) = (ct) + (x) + (y) + (z)

1-1

(1.4)

Figura 1-1: Sincronizacion de relojes

Esta cantidad es invariante bajo un cambio de sistema de coordenadas inerciales y rotaciones en el espaciotiempo. Observese que no siempre es positiva. Un espacio con esta estructura matematica se conoce como
un espacio de Minkowski.
III. Ejes de coordenadas (Cartesianos) Inerciales - Se definen como tres ejes espaciales ortogonales que se
mueven con velocidad constante y un eje de tiempo que se define en terminos de relojes que se encuentran en
reposo respecto a las coordenadas espaciales y se encuentran sincronizado.
A. Sincronizaci
on de los relojes - Qu
e significa? C
omo se hace? En la Figura (1-1) se muestra
un diagrama de eventos en el espacio-tiempo. Si enviamos un rayo de luz ida y vuelta entre los puntos
espaciales 1 y 2 en lnea recta con rapidez constante c entonces la lectura en el reloj en la posici
on 2 (t2 )
debe se la mitad del tiempo transcurrido en el reloj 1 entre el inicio y el regreso de rayo; i.e.
t2 =

t1 + t01
2

(1.5)

Esta sincronizaci
on, por definici
on es una local; esto es, los relojes no estan distantes espacialmente
hablando. 1

1.1.2

Notaci
on

I. 4-Vectores

0
x

1
x
x =
x2

3
x

II. 3-Vectores

III. Tensor metrico

(1.6)

1
x =x
x2 = y
xi =
3
x =z

(1.7)

1 En

= ct
=x
=y
=z

1
0
=
0
0

0 0 0
1 0 0

0 1 0
0 0 1

Relatividad General es imposible construir sistemas de coordenadas inerciales!

1-2

(1.8)

Figura 1-2: Diagramas de espacio-tiempo (c = 1)

La separaci
on entre dos punto se puede escribir en termino de la metrica como
2

(s) = (x) (x)

1.1.3

(1.9)

Diagramas de espacio-tiempo (c=1)

Para eventos que viajan a velocidad < c (para-temporales);s2 < 0 . Esto es un poco molesto, por eso definimos
el concepto de tiempo propio como
2

( ) = (s) = x x

(1.10)

I. El tiempo propio entre dos eventos mide el tiempo transcurrido, seg

un medido por un observador que se
mueve en lnea recta entre esos eventos.
2

II. Este tiempo es el mismo medido por de la forma anterior y uno en reposo, pues ( ) es invariante.
III. El tiempo propio siempre es igual al tiempo medido por el reloj que carga el observador.
IV. Para pasos no rectilneos 6= t . En general
( )no rec > ( )rec .

(1.11)

Esto es los pasos rectilneos en el espacio-tiempo maximizan el tiempo propio. La demostracion sigue a
continuaci
on. Demostraci
on: Se pretende ir del evento A al C a traves de los dos pasos en el espacio-tiempo
(ABC) y (AB 0 C) seg
un se muestra en la Figura(1-2) . En el paso (ABC) el cuerpo esta en reposo y en el
paso (AB 0 C) el cuerpo se mueve una distancia x = t
2 donde es el tiempo total entre los eventos A y C.
Entonces tenemos que:
2

( )ABC = ( ) (x)ABC = (t) , pues (x)ABC = 0.

2

2
( )AB 0

2
(t)AB 0

( )AB 0 C = ()AB 0 + ( )B 0 C

(x) =

t
2

2

(x) = ( )B 0 C

2 



t
t
1
2

=
1 2 (t)
2
2
4
1p
=
1 2 t
2
p
= 2 ( )AB 0 = 1 2 < t QED


AB 0

2 AB 0


2 AB 0 C

1-3

Figura 1-3: Paradoja de los gemelos

Para trayectorias que no se pueden representar por pedazos de lneas entonces se define el elemento infinitesimal o
intervalo infinitesimal:
ds2 = dx dx
(1.12)
Es muy tentador tratar de definir el intervalo s a traves de un paso en el espacio-tiempo de la forma
Z

s =

ds2 =

p
dx dx

(1.13)

Pero no es muy claro que significa esta integral. En vez de esto pensamos que las coordenadas x se pueden
parametrizar de la forma x = x () donde es un parametro que no necesariamente es el tiempo. Entonces

podemos definir dx
d y escribir el largo del paso a lo largo de una curva para-espacial
ds2 = dx dx
r 
r 
dx  dx 
dx  dx 
2
(d) =
d
ds =
d
d
d
d
y por lo tanto
Z

s =

 dx  dx 
d

Para pasos para-temporales usamos el tiempo propio

Z Br


dx  dx 
d > 0.
d
d

(1.14)

(1.15)

Para pasos nulos s = 0.

1.1.4

Transformaciones de Lorentz

Con los sistemas inerciales descritos anteriormente nos preguntamos; Que tipo de transformaciones de coordenadas
2
dejan el intervalo (s) invariante?
I. La transformaci
on mas simple es una traslacion de la forma
0

x x = (x + a )

1-4

(1.16)

donde a las es un conjunto de 4 n

umeros fijos. La cantidad es la version cuatri-dimensional de la funci
on
delta de Kronecker,

0
1 = 0
=
(1.17)
0 6= 0
2

El hecho de que (s) es invariante es evidente pues x no cambia.

II. Las otras transformaciones relevantes incluyen rotaciones espaciales y la compensacion por un vector de

velocidad constante (empuje o boost). Estas

transformaciones son lineales y se pueden describir multiplicando
x por una matriz (independiente del espacio-tiempo) de la forma
0

x = x

(1.18)

x0 = x

(1.19)

o utilizando notaci
on matricial
Estas transformaciones cambian las diferencias x

de la forma
0

x = x .

(1.20)

Si ahora nos preguntamos: Que matrices dejan el intervalo invariante? Lo que requerimos es que dado o si
usamos la notaci
on matricial
2

(s) = (x) (x)

T

= (x0 ) (x0 ) = (x) (x)

T

= (x) T (x) = (x)

T (x)

Por lo tanto requerimos que la matriz debe satisfacer la relacion matricial = T , o en notacion tensorial
0

= 0 0

0 0

Buscamos los componentes de matriz de tal forma que

0 0 sean los mismos que los de 0 0 . Las matrices que satisfacen la relacion = T se conocen como
las transformaciones de Lorentz.
III. Propiedades de las matrices de Lorentz.
A. Forman un grupo llamado el Grupo de Lorentz.
B. Es an
alogo al grupo SO(3); el grupo de rotaciones en 3 dimensiones que satisfacen la relacion <T < = 133
. Estas matrices se dicen que son ortogonales y forman el grupo O(3). Estas incluyen rotaciones e
inversiones de coordenadas (paridad).
C. Podemos excluir las transformaciones de paridad si requerimos que el |<| = +1 . Estas matrices se dicen
que son especiales; y por eso la notacion SO(3).
D. La diferencia entre el grupo de rotaciones O(3) y el grupo de Lorentz es el reemplazo de la matriz 133
por la matriz 44 donde un elemento es la diagonal es 1 y los demas +1. Por eso el grupo de Lorentz
tambien se denota por O(3,1). Este incluye rotaciones, empujes (boost), paridad y reversibilidad de
tiempo. Si requerimos tambien que || = 1 entonces llegamos al grupo del Lorentz propio.
E. Si utilizamos la ecuaci
on que define la transformacion de la metrica podemos demostrar que | 00 | 1
(Demu
estrelo!)
F. 00 corresponde a una reversibilidad en el tiempo. Si requerimos las condiciones | 00 | 1 y || = 1
entonces obtenemos el grupo de Lorentz restringido llamado algunas veces SO(3,1).
IV. Rotaciones espaciales - Una rotaci
on alrededor del eje - x se expresa de la forma

1
0
0
0
0 cos sin 0
0

=
0 sin cos 0
0
0
0
1
Donde 0 2 .
2 En

notaci
on matricial el orden es importante pero no en la notaci
on tensorial.

1-5

(1.21)

V. Empujes o (Boost) - Son equivalentes a rotaciones entre el eje

un empuje en la direcci
on x se escribe de la forma

cosh sinh

sinh cosh
=

0
0
0
0

de tiempo y las coordenadas. Por ejemplo

0 0
0 0

1 0
0 1

(1.22)

Donde . Los par

ametro se conocen como parametro de empuje (boost). El hecho de que
aparecen las funciones sinh y cosh se puede ver como una continuacion analtica de las funciones seno y
coseno al plano complejo.
VI. Una transformaci
on general est compuesta de 3 rotaciones espaciales, 3 boost e incluye 6 parmetros. En
general las transformaciones de Lorentz no conmutan, i.e. el grupo no es abeliano. Si incluimos el conjunto
de traslaciones (4) y las transformaciones de Lorentz (6), se forma un grupo de 10 parametros conocido por
el grupo de Poincare.
VII. Los boost son equivalentes a cambiar a un sistema de coordenadas en movimiento con velocidad constante.
Esto se puede ver de la ecuaci
on de transformacion:

0
t
cosh sinh 0 0
t
x0 sinh cosh 0 0 x

0 =
(1.23)
y
0
0
1 0 y
0
z
0
0
0 1
z
De donde es inmediato que
t0 = t cosh x sinh
x0 = t sinh + x cosh

(1.24)

De aqu observamos que el punto x0 = 0 se esta moviendo pues

x cosh t sinh = 0

(1.25)

Implica que
v=

x
sinh
=
= tanh .
t
cosh

(1.26)

Si expresamos el par
ametro de empuje = tanh1 v entonces se puede demostrar que las transformaciones
reducen a la forma cl
asica
t0 = (t vx)
x0 = (x vt)
donde
=

1
.
1 v2

(1.27)

(1.28)

Demostraci
on: Por las propiedades de las funciones hiperbolicas,
cosh2 sinh2 = 1

(1.29)



2
1 tanh2 = 1/ cosh2 = 1 tanh tanh1 v
= 1 v2

(1.30)

de donde se deduce que

1
v
,
sinh =
v
1 v2
1 v2
Sustituyendo en la ecuaci
on (1.24) obtenemos inmediatamente las ecuaciones (1.27) .
cosh =

(1.31)

QED
Si consideramos esta transformaci
on en el contexto de los diagramas del espacio-tiempo podemos inferir lo
siguiente: (vea Figura 1-4) Bajo un empuje (boost) en el plano x t (direccion x) el eje x0 t0 = 0 est
a dado
por seg
un la ecuaci
on (1.24) por t = x/ tanh y el eje t0 (x0 = 0) por t = x/ tanh . En ambos sistemas de
coordenadas el cono de luz es el mismo, como debe ser pues la velocidad de la luz es invariante.

1-6

Figura 1-4: Empuje Boost en la direccion x

1.1.5

Vectores

En el espacio de Minkowski los vectores son cuatro-dimensionales o 4-vectores. Estos son diferentes a los vectores
usuales. Por ejemplo, no existe el concepto de producto vectorial entre 4-vectores. La propiedad ms importante
es el hecho que asociamos un vector a un punto en el espacio-tiempo. Enunciamos ahora algunas otras propiedades
y diferencias:
I. Propiedades y Diferencias
A. No se le puede asociar una flecha entre dos puntos en el espacio-tiempo a menos que el espacio sea plano.
En espacios curvos no tiene ning
un sentido.
B. No existe el concepto de vectores libres.
C. Se pierde la habilidad de dibujar curvas preferidas de un punto a otro.
D. A cada punto en el espacio-tiempo se le asocia un conjunto de todos los vectores que se encuentra en un
plano a ese punto. Este conjunto se conoce como el espacio tangente en p o Tp .
E. Este espacio es lineal de forma tal que
(a + b) (V + W ) = aV + bV + aW + bW.
F. Cada espacio vectorial tiene un origen; esto es un vector nulo que sirve como el elemento identidad bajo
la suma.
II. Vectores en este
umero infinito de vectores base tal que
n espacioo En este espacio vectorial existe un n

A = A e() ; = 0, 1, 2, 3 . Los coeficientes A son las componentes del vector en la base e() . Normalmente
utilizaremos la notaci
on flexible de llamar los vectores usando sus componentes; esto es el vector A .
Un ejemplo importante de un vector en el espacio-tiempo es un vector tangente a una curva. Una curva
parametrizada o paso en el espacio-tiempo esta especificada por las coordenadas en funcion de un par
ametro
: x = x () El vector tangente V () tiene componentes
V =

dx
d

(1.32)

El vector completo es V = V = V . Sin embargo el vector V es invariante bajo las transformaciones

de Lorentz 3 De aqu podemos deducir las propiedades de transformacion de la base:
0

V = V e() = V e( 0 ) =
3 Aunque

las componentes cambian en un sistema de coordenadas dado.

1-7

V e()

(1.33)

Como esto debe ser independiente de los valores de las componentes V entonces,
e() =

e( 0 ) .

(1.34)
0

Para obtener la nueva base de la antigua, solo hay que multiplicar por la transformacion inversa a .
Pero esta transformaci
on inversa es una transformacion de Lorentz (Porque?). Para simplificar la notaci
on y
en vez de utilizar el smbolo 1 , utilizamos el mismo smbolo pero con los ndices primados intercambiados
0
con los no primados; esto es, la transformacion inversa a es 0 Operacionalmente esto implica
0

=
y

(1.35)

0 = 0

(1.36)

De aqu se deduce que la regla de transformacion de las bases es:

e( 0 ) = 0 e()

(1.37)

III. Vectores Duales - Se define un espacio vectorial asociado al espacio vectorial ya definido, conocido por el
espacio dual. Se denota usualmente usando un asterisco . El espacio dual al espacio tangente Tp se conoce
como el espacio co-tangente Tp . El espacio dual es el espacio de todos los mapas lineales desde el espacio
vectorial original a los n
umeros reales. En terminos matematicos:
Si Tp es un vector dual entonces
(aV + bW ) = a (V ) + b (W ) <
Donde a y b son constantes y V y W son vectores. Estos mapas forman tambien un espacio vectorial; esto es
(a + b) (V ) = a (V ) + b (V ) .
Para hacer esta construcci
o
n m
as clara, definamos un conjunto de vectores base en el espacio dual () y
()
demandamos que
e() = . Entonces todo vector dual se puede escribir de la forma = . Es
com
un llamar los vectores en Tp los vectores contravariantes y los vectores en el espacio dual Tp los vectores
covariantes o
V vector vector contravariante

(1.38)

W vector dual vector convariante

(1.39)

La acci
on de un vector dual sobre un vector se puede escribir de la siguiente forma:




(V ) = V e() = V e()
= V = V <

(1.40)
0

0
La propiedad de transformaci
on de los vectores duales es = () En el espacio-tiempo el ejemplo
m
as simple y u
til de un vector dual es el gradiente de una funcion escalar.
 

d =
,
(1.41)
x

La regla convencional utilizada para transformar derivadas parciales, regla en cadena, se convierte en este
caso en la regla de transformaci
on de los vectores duales:

=
= 0
.
0
x
x0 x
x
Como esto es un vector dual, podemos usar la notacion

(1.42)

= .
(1.43)
x
Observese que cuando los ndices en las x en el denominador de las derivadas son opuestos a los del
smbolo . Seg
un lo encontrado, el gradiente act
ua de forma natural. En el ejemplo dado un vector; el
vector tangente a una curva. El gradiente es una derivada ordinaria de la funcion a lo largo de la curva.
( )

x
d
=

1-8

(1.44)