Relatividad

Relatividad
Dr J. Manuel Garca-Islas
Instituto de Investigaciones en Matematicas Aplicadas y en Sistemas
Universidad Nacional Autonoma de Mexico, UNAM
A. Postal 20-726, 01000, Mexico DF, Mexico
e-mail: jmgislas@leibniz.iimas.unam.mx
1 de mayo de 2014
Indice general
1. Relatividad Especial
1.1. Relatividad Galileana . . . . . . . . . . . . . . . . . . . . . . . .
1.2. El Espacio-Tiempo de Minkowski y Transformaciones de Lorentz
1.3. Diagramas Espacio-Tiempo . . . . . . . . . . . . . . . . . . . .
1.4. Espacio-tiempo de Minkowski . . . . . . . . . . . . . . . . . . .
1.5. Contraccion de la longitud y dilatacion del tiempo . . . . . . . .
1.6. Curvas en el espacio-tiempo y tiempo propio . . . . . . . . . . .
1.7. Efecto Doppler . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8. Suma de velocidades y aceleracion . . . . . . . . . . . . . . . . .
1.9. Lnea de mundo de una partcula que se mueve con aceleracion
en un sistema de referencia inercial . . . . . . . . . . . . . . . .
5
5
7
12
14
17
19
23
25
2. Variedades Diferenciables
2.1. Estructura diferenciable
2.1.1. Ejemplos . . . . .
2.2. Vectores y Tensores . . .
2.3. Metrica . . . . . . . . .
2.3.1. Ejemplos . . . . .
2.3.2. Ejemplos . . . . .
2.4. Conexion . . . . . . . . .
2.4.1. Ejemplos . . . . .
2.4.2. Ejemplos . . . . .
.
.
.
.
.
.
.
.
.
31
31
32
38
42
44
50
52
58
60
.
.
.
.
.
65
65
65
67
67
69
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
71
73
73
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3. Relatividad General
3.1. Principio de equivalencia . . . . . .
3.2. Lmite Newtoniano . . . . . . . . .
3.3. La metrica de Schwarzschild . . . .
3.4. Paraboloide de Flamm . . . . . . .
3.5. Efecto Doppler gravitacional . . . .
3.6. Geodesicas en el espacio-tiempo de
Schwarzschild . . . . . . . . . . . .
3.7. Partculas masivas . . . . . . . . .
3.7.1. Movimiento radial . . . . .
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
27
Captulo 1
Relatividad Especial
1.1.
Relatividad Galileana
La relatividad Galileana o Newtoniana se basa en la existencia de un espacio

de tres dimensiones y un tiempo absoluto. Por tiempo absoluto entenderemos
que todo observador asigna el mismo valor temporal a un evento. Matematicamente R3 es el espacio. Un observador asigna a un evento coordenadas espaciales
(x, y, z) en un sistema que identifica como R3 con ejes de coordenadas que podemos considerar ortogonales. Tambien le asigna una coordenada temporal t
del tiempo absoluto. Otro observador asignara al mismo evento coordenadas
(x , y , z ) pero sin embargo por absolutismo del tiempo entendemos una vez
mas que t = t.
Cada observador tiene un sistema y en dicho sistema el observador asigna
tres coordenadas espaciales a los eventos. Podemos entonces pensar que dicho
sistema es el espacio R3 mismo y un evento es entonces un punto de R3 .
Un sistema de referencia inercial se define de acuerdo a un observador como
aquel donde la primera ley de Newton se cumple, es decir, un sistema en donde
si una partcula se encuentra en reposo permanecera en reposo en ausencia de
una fuerza y una partcula en movimiento rectilneo uniforme permanecera en
dicho estado tambien en ausencia de una fuerza.
Sean dos sistemas de referencia inerciales S y S donde cada observador en
su sistema ha escogido un sistema de coordenadas con ejes ortogonales.
Considere que se mueven a velocidad relativa v uno respecto del otro y que en
un tiempo inicial t = t = 0(tiempo absoluto) los sistemas coincidian teniendo
sus respectivos ejes paralelos. Por simplicidad considere que los sistemas se
mueven paralelamente a lo largo de los ejes x x . (Figura 1.1) Es importante
entender lo siguiente. Cuando hablamos de velocidad relativa de dos sistemas
inerciales nunca se ha mencionado que un sistema esta en reposo y otro esta en
movimiento, ya que esto implicara que estaramos pensando en un espacio
absoluto, un espacio preferencial respecto al cual los demas sistemas se mueven
o permanecen en reposo. Abandonamos esta idea desde este momento y tan solo
5
Figura 1.1: Sistemas inerciales en movimiento relativo
podemos argumentar que desde el punto de vista del observador que esta en el
sistema S el sistema S se mueve con rapidez v en la direccion positiva de su eje
x. Analogamente podemos pensar que desde el punto de vista del observador
que esta en el sistema S el sistema S se mueve con rapidez v en la direccion
negativa de su eje x .
Observe que lo importante es el movimiento relativo. No existe un sistema preferencial, tan solo hablaremos de sistemas inerciales que se mueven con
velocidades relativas, sin que alguno sea preferencial. Hablamos de un tiempo
absoluto en relatividad Galileana, pero hemos abandonado desde un principio
la nocion de un espacio absoluto.
Sea un evento con coordenadas (x , y , z ) en un tiempo t , es decir un evento
observado en el sistema S en dicha posicion y en dicho momento. Es claro que
las coordenadas asociadas a de dicho evento por un observador en el sistema S
estan relacionadas con las asociadas en S por medio de
t = t
x = x vt
y = y
z = z
(1.1)
De manera inversa las transformaciones inversas de las coordenadas de S en
Notas de Relatividad
J.Manuel Garca-Islas
terminos de las de S tienen la misma forma remplazando v por v.

Si una partcula se mueve en la direccion x a una velocidad u en S, entonces
su velocidad en S esta dada por
dx
dx
=
v = ux v
(1.2)
dt
dt
dicha ecuacion es interpretada como la suma de velocidades. Es facil notar que
si diferenciamos de nuevo obtenemos la ecuacion ax = ax . Es decir, cuando una
partcula cambia su velocidad, dicho cambio es el mismo para ambos observadores. Todos los observadores en sistemas de referencia inerciales mediran la
misma aceleracion de una partcula. En mecanica Newtoniana la masa de una
partcula no se ve afectada por el movimiento, y por tanto la segunda ley de
Newton se cumple en todos los sistemas de referencia inerciales; esto implica que
todas las leyes de la mecanica son las mismas en todos los sistemas de referencia
inercial.
Esto confirma una vez mas lo mencionado anteriormente sobre la no existencia de un espacio absoluto, ya que, el que las leyes de la mecanica sean las
mismas en todos los sistemas de referencia inercial implica que no existe manera
de realizar experimentos mecanicos que hagan distinguir de manera especial y
u
nica a alg
un sistema sobre demas. Todos los sistemas de referencia inerciales
son equivalentes.
ux =
1.2.
El Espacio-Tiempo de Minkowski y Transformaciones de Lorentz
La relatividad especial surge al abandonar del concepto de tiempo absoluto

y asumir dos postulados.
1) Las leyes de la Fsica son las mismas en todos los sistemas de referencia
inerciales.
2) La velocidad de la luz toma el mismo valor en todos los sistemas de
referencia inerciales.
Estos postulados nos dicen de nuevo que no existe un sistema de referencia
inercial preferencial. No hay experimentos que pueda realizar un observador en
movimiento inercial que lo hagan determinar la existencia preferencial de su
sistema sobre los demas; tambien todos los observadores inerciales coincidiran
en el valor de la velocidad de la luz.
Debemos entender que lo que estos postulados afirman a
un es mas profundo. Como no existe dicho sistema de referencia inercial preferencial entonces
en relatividad solo se puede hablar de movimiento relativo entre sistemas inerciales. Cuando se considera un problema que involucra movimientos relativos
de sistemas referenciales inerciales es valido considerar lo que un observador
en uno de estos sistemas mide, y como relaciona sus mediciones respecto a los
8
demas observadores en otros sistemas. Y siempre es posible cambiar de observador y obtener las relaciones correspondientes; estas relaciones estaran dadas
por transformaciones como veremos en un momento. En otras palabras, todos
los sistemas de referencia inercial son equivalentes.
Definamos ahora el espacio-tiempo de la relatividad especial. Tenemos que
el tiempo ya no es absoluto, es decir que cada observador tendra su propia
medida del tiempo. Considere de nuevo dos sistemas de referencia inercial S
y S , que se mueven a velocidad relativa v. Por simplicidad consideremos de
nuevo que ambos sistemas estan alineados como en la figura 1.1. Considere
que un observador en el sistema S detecta que un evento ha ocurrido en alg
un
momento que un reloj que lleva consigo le dice. Ademas lo ha observado en alg
un
punto de su sistema. Por tal le asigna cuatro coordenadas (t, x, y, z). Este mismo
evento tiene coordenadas asignadas por un segundo observador en el sistema S
como (t , x , y , z ). Deacuerdo al simple movimiento que estamos considerando
de la figura 1.1 y a que el tiempo ya no es absoluto podemos deducir que la
transformacion de coordenadas entre S y S estan dadas por
t = At + Bx
x = Dt + Ex
y = y
z = z
(1.3)
El origen de S , es decir x = 0, desde el punto de vista del observador en S

corresponde al punto x = vt. Por tanto haciendo x = 0 y x = vt tenemos que
D = Ev. Esto implica que puedo escribir las ecuaciones (1.3) como
t = At + Bx
x = E(x vt)
y = y
z = z
(1.4)
Considere que cuando los dos sistemas S y S coinciden en sus respectivos

orgenes, ambos observadores en estos sistemas seleccionan sus tiempos t = 0
y t = 0 respectivamente y que el observador del sistema S emite un haz de
luz desde su origen de su sistema de coordenadas. Fotones se desplazan en
todas las direcciones, y por tanto en cada tiempo fijo t de S el conjunto de
todos estos fotones del haz de luz han recorrido una distancia ct y determinan
matematicamente una esfera con ecuacion
x2 + y 2 + z 2 = c2 t2
(1.5)
Utilizaremos unidades de tal forma que la velocidad de la luz c = 1. Y nuestra

ecuacion (1.5) se escribe entonces
x2 + y 2 + z 2 = t2
(1.6)
Tenemos el postulado de que la velocidad de la luz toma el mismo valor en cualquier sistema de referencia inercial independientemente de como se mueva este
respecto a un haz de luz. Por tanto para un observador en el sistema S los fotones del haz de luz que fueron emitidos en S forman tambien matematicamente
a cada tiempo fijo t una esfera con ecuacion
2
x + y + z = t
(1.7)
Sustituyendo en esta ecuacion (1.7) las transformaciones de las ecuaciones (1.4)

tenemos
(E(x vt))2 + y 2 + z 2 = (At + Bx)2
(1.8)
(E 2 B 2 )x2 + y 2 + z 2 2(vE 2 + AB)xt = (A2 v 2 E 2 )t2
(1.9)
E2 B2 = 1
vE 2 + AB = 0
A2 v 2 E 2 = 1
(1.10)
Podemos re-escribir la ecuacion como
Comparando esta ecuacion (1.9) con la ecuacion (1.6) tenemos el sistema de

ecuaciones
Resolviendo este sistema de ecuaciones encontramos los valores de A, B, E dados

por
1
1 v2
v
B =
1 v2
1
E=
1 v2
A=
(1.11)
Por tanto podemos escribir las ecuaciones (1.3) como

t vx
t =
1 v2
x vt
x =
1 v2
y = y
z = z
(1.12)
10
Denotemos por = 1/ 1 v 2 . Dichas ecuaciones (1.12) de cambio de coordenadas entre los dos sistemas se conocen como transformaciones de Lorentz.
Hemos mencionado que cada observador asocia a un evento 4 coordenadas
(t, x, y, z). Definimos el espacio-tiempo como un espacio vectorial de cuatro dimensiones que identificamos como R4 con una forma cuadratica Q dada por
Q = t2 + x2 + y 2 + z 2
(1.13)
Un evento es entonces un punto del espacio-tiempo con coordenadas (t, x, y, z)

que se puede pensar tambien como un vector en dicho espacio vectorial. Dicho espacio vectorial con la forma cuadratica Q se conoce como el espaciotiempo de Minkowski. Sean dos eventos con coordenadas p1 = (t1 , x1 , y 1 , z 1 )
y p2 = (t2 , x2 , y 2, z 2 ) respectivamente.1 Si denotamos las coordenadas generales como t = x0 , x = x1 , y = x2 , z = x3 , entonces los dos eventos p1 , p2 , los
podemos denotar como (x1 ) = (x01 , x11 , x21 , x31 ) y (x2 ) = (x02 , x12 , x22 , x32 )
Dados estos dos eventos definimos su separacion espacio-temporal usando la
forma cuadratica como
Q(p2 p1 ) = (t2 t1 )2 + (x2 x1 )2 + (y 2 y 1)2 + (z 2 z 1 )2
= (x02 x01 )2 + (x12 x11 )2 + (x22 x21 )2 + (x32 x31 )2
=
3
X
x x
(1.14)
,=0
donde x , x denotan las diferencias (x02 x01 ), (x12 x11 ), (x22 x21 ),
y (x32 x31 ) para cada , que van de cero a tres, y toma los valores
00 = 1, 11 = 1, 22 = 1, 33 = 1, con los demas terminos igual a cero, es decir
= 0 cuando 6= . Si los x denotan diferencias de coordenadas entre
dos eventos, y suponemos que estos eventos suceden muy cercanos uno de otro,
es decir ubicados en tiempos y coordenadas espaciales muy cercanas entonces
denotamos a x por una diferencial dx . Si tambien denotamos a Q por ds2
tenemos entonces que la formula (1.14) la podemos escribir como
2
ds =
3
X
dx dx
(1.15)
,=0
Utilizando la convencion de Einstein nos olvidamos de la suma en la ecuacion

(1.15) y la escribimos como
ds2 = dx dx
1
(1.16)
No confundir, los numeros arriba de las letras denotan numeraci

on de coordenadas y no
exponentes.
11
entendiendo que siempre que tenemos ndices repetidos arriba y abajo, en este
caso y , implica que hay una suma sobre dichos ndices.
A la forma cuadratica (1.13) que hemos escrito en la forma (1.16) se le conoce como metrica del espacio-tiempo. Podemos verificar que dadas las transformaciones de Lorentz (1.12) la metrica (1.16) permanece invariante. Esto es
muy facil de verificar pues dados los eventos p1 = (x01 , x11 , x21 , x31 ) y p2 =
(x02 , x12 , x22 , x32 ) como anteriormente, que corresponden a coordenadas asociadas a dos eventos por un observador en S; las correspondientes coordenadas
asociadas a estos eventos por el observador en S son p1 = (x 01 , x 11 , x 21 , x 31 )
y p2 = (x 02 , x 12 , x 22 , x 32 ) que estan relacionadas con las asociadas por S mediante las transformaciones (1.12) y al sustituir se verifica que
0
(x0 )2 + (x1 )2 + (x2 )2 + (x3 )2 = (x )2 + (x )2 + (x )2 + (x )2

Matematicamente entonces podemos decir que las transformaciones de Lorentz
son transformaciones lineales en el espacio vectorial que es el espacio-tiempo y
que dejan invariantes la forma cuadratica (1.16).
Para ver esto de la forma mas simple, observe que podemos re-escribir las
transformaciones (1.12) en forma matricial.

t
v 0 0
t
x v
0 0 x
=
(1.17)
y 0
0
1 0 y
z
0
0
0 1
z
que es la matriz asociada a dicha transformacion lineal.

Veamos ahora una manera analoga en la que podemos escribir las transformaciones de Lorentz. Esta manera nos hara tener un entendimiento desde
el punto de vista mas matematico sobre estas transformaciones en las que la
manera algebraica se relaciona con la manera geometrica. Definamos la transformacion lineal dada matricialmente como

t
cosh senh 0 0
t
x senh cosh 0 0 x

=
(1.18)
y
0
0
1 0 y
z
0
0
0 1
z
donde < < . La transformacion invesa esta dada reemplazando por

. En el plano (t, x) la transformacion viene dada por
t = t cosh x senh
x = t senh + x cosh
(1.19)
Para ver que esta forma de la transformacion de Lorentz (1.19) es equivalente

a la usual (1.12) lo verificamos de la siguiente forma:
12
en primer lugar el punto x = 0 se mueve con velocidad v = tanh desde el
punto de vista del observador que esta en el sistema inercial S. Esto se puede
ver de la ecuacion dos de la transformacion (1.19)
0 = t senh + x cosh = v =
senh
x
=
= tanh
t
cosh
(1.20)
Las ecuaciones (1.19) las ponemos en la forma

senh
t = cosh t x
cosh

senh
x = cosh t
+x
(1.21)
cosh
p
tenemos que cosh = 1/sech = 1/ 1 tanh2 = 1/ 1 v 2 = . Por tanto

tenemos que

t = t vx

x = x vt
(1.22)
Y por lo tanto nuestra transformacion (1.19) es equivalente a la transformacion (1.12).
1.3.
Diagramas Espacio-Tiempo
Geometricamente la forma en que escribimos las transformaciones de Lorentz

nos ense
na que se puede pensar en estas como en un tipo de rotacion espaciotemporal. En el caso particular del movimiento relativista mas simple sobre
los ejes x, x como en la figura 1.1, la rotacion espacio-temporal se ve de la
siguiente forma. El observador que se encuentra en S dibuja lo que se llama un
diagrama espacio-tiempo. Este considera ejes ortogonales, tres de espacio y uno
de tiempo. Como esto sera un diagrama en cuatro dimensiones, considera una
simplificacion de este hecho y tan solo dibuja dos ejes de espacio y uno de tiempo.
De acuerdo a que esta simple transformacion de Lorentz que hemos estado
considerando solo se reduce a la transformacion (1.19) es suficiente considerar
dos ejes, uno espacial y otro temporal. El eje x es aquel cuando t = 0 y por la
primera ecuacion de esta trasformacion tenemos que t = 0 corresponde a que
t/x = tanh lo que nos indica que la pendiente de x es menor a 1. El eje t es
aquel cuando x = 0 y por la segunda ecuacion de esta trasformacion tenemos
que x = 0 corresponde a que t/x = 1/ tanh lo que nos indica que la pendiente
13
Figura 1.2: Rotacion espacio-temporal
de t es mayor a 1. Por tanto los ejes t y x en el diagrama espacio-temporal

del observador que esta en el sistema de referencia inercial S se ven como en la
figura 1.2.
El observador que se encuentra en S se encuentra en reposo en su propio
sistema de referencia inercial y por tanto en un diagrama espacio-temporal
como el de la figura 1.2 el eje t representa su llamada lnea de mundo. El
eje t representa la lnea de mundo del sistema S desde el punto de vista del
observador que esta en S. Ademas S tiene velocidad v desde el punto de vista
del observador en S y esta se representa en el diagrama por la pendiente del
eje t respecto al eje t. Recuerde que el eje t es aquel para el cual x = 0 y
corresponde a t/x = 1/ tanh > 1 x/t = v = tanh < 1, que es la pendiente
de esta recta a partir del eje t.
Por tal, toda partcula masiva que se mueve a velocidad relativa constante
respecto a un observador que se encuentra en un sistema de referencia inercial
S, tiene una trayectoria en un diagrama espacio-temporal dada por una recta
con pendiente menor a uno respecto al eje temporal.
En la figura 1.2 se tiene un punto del espacio-tiempo(evento) con proyecciones a los ejes t y x, pero tambien tiene proyecciones a los ejes t y x . El eje x
representa los puntos t = 0, es decir representa eventos que pasan simultaneamente en S , en el tiempo t = 0. Es facil ver que entonces las lneas paralelas
al eje x representan eventos simultaneos en S . Graficamente es facil ver que
14
eventos simultaneos en S que se encuentran en lneas paralelas al eje x no
representan eventos simultaneos en S ya que estos no se proyectan a la misma
coordenada t. De la misma manera, eventos simultaneos en S que se representan
en lneas paralelas al eje x, no representan eventos simultaneos en S . En estos
diagramas espacio-tiempo es facil ver como eventos que son simultaneos para
un observador en un sistema de referencia inercial S , no son simultaneos para
un segundo observador que se mueve relativamente al primero en un sistema de
referencia inercial S.
1.4.
Espacio-tiempo de Minkowski
Veamos ahora una descripcion mas formal y matematica de la relatividad

especial.
Definici
on 1. El espacio-tiempo de Minkowski es un espacio vectorial real 4dimensional que donatomos por M el cual tiene asociado una forma bilineal,
simetrica y no degenerada de ndice 1. Esto significa que
g :M M R
tal que
1) Bilineal: Para todo u, v y w M y todo a, b R tenemos que
g(au + bv, w) = ag(u, w) + bg(v, w)
g(u, av + bw) = ag(u, v) + bg(u, w)
2) Simetrica: Para todo u, v M tenemos que
g(u, v) = g(v, u)
3) No-degenerado: Si para v M tenemos que
g(u, v) = 0
para todo u M entonces u = 0.
4) De ndice 1: El producto en M es Lorentziano. Es decir, existe una base
{e0 , e1 , e2 , e3 } de M con la propiedad de que si u = u e y v = v e entonces
g(u, v) = u0 v 0 + u1 v 1 + u2 v 2 + u3 v 3
Los elementos de M se llaman eventos.
1 0
0 1
=
0 0
0 0
15
Considere la matriz dada por
0 0
0 0
(1.23)
1 0
0 1
Denotaremos a sus entradas por o por de tal forma que tenemos que
= = 1 si = = 0, = = 1 si = = 1, 2, 3 y 0 si 6= .
De esta forma podemos escribir
g(e , e ) = =
(1.24)
y usando la convencion de Einstein tenemos que

g(u, v) = u v
(1.25)
Definici
on 2. Se dice que u y v M son ortogonales si g(u, v) = 0. Un vector
v M se dice que es unitario si g(v, v) = 1.
La forma cuadratica asociada a esta forma bilineal esta dada por la formula
(1.13) y la separacion entre dos eventos p1 y p2 esta dada por la formula (1.14).
Definici
on 3. Definimos asi formalmente el cono nulo o cono de luz en p M
por
CN (p) = {q M | Q(q p) = 0}
Definici
on 4. Considere dos distintos eventos p y q. El vector desplazamiento
de p a q dado por v = q p. Se dice que v es temporal si Q(v) < 0 y v es
espacial si Q(v) > 0.
Definici
on 5. Sean {e0 , e1 , e2 , e3 } y {e0 , e1 , e2 , e3 } dos bases ortonormales de
M. Sea una transformacion lineal T : M M tal que T (e ) = e . Se dice
que T es una transformacion ortogonal, si g(u, v) = g(T (u), T (v)) para todo
u, v M.
Debido a que el producto interior es no-degenerado, la transformacion T es
un isomorfismo.
Note que podemos escribir la base e como una combinacion lineal de la
base e , Tenemos entonces que
e = 0 e0 + 1 e1 + 2 e2 + 3 e3
(1.26)
para cada = 0, 1, 2, 3. Observe que dicha ecuacion puede escribirse usando la

convencion de Einstein como
e = e
(1.27)
16
Asi podemos escribir la ecuacion (1.24) de la siguiente forma
= 0 0 + 1 1 + 2 2 + 3 3
(1.28)
que en la notacion de Einstein es

=
(1.29)
Es facil ver que la ecuacion (1.29) es equivalente a

=
La matriz asociada con la transformacion
0
0 01
10 11
=
20 21
30 31
T esta dada por
02 03
12 13
22 23
32 33
(1.30)
(1.31)
que para un vector en general v = (v 0 , v 1 , v 2 , v 3 ) tenemos que la transformacion

T aplicada esta dada por v = T (v). En terminos de la matriz asociada y con
la notacion de Einstein tenemos
v = v
(1.32)
Se puede verificar que las ecuaciones (1.29) y (1.30) son equivalentes a la ecuacion
t =
(1.33)
donde t es la matriz traspuesta.

Definici
on 6. Una transformacion lineal de M en M cuya matriz asociada
satisface que t = se le llama transformacion general de Lorentz.
Observemos que la ecuacion (1.28) o (1.29) implican que para = = 0
tenemos que
1 = (00 )2 + (10 )2 + (20 )2 + (30 )2
(1.34)
(00 )2 = 1 + (10 )2 + (20 )2 + (30 )2
(1.35)
que re-escribimos
La ecuacion (1.35) implica que (00 )2 1, de tal forma que entonces tenemos
00 1 o 00 1.
Definici
on 7. Una transformacion de Lorentz se llama ortocrona si 00 1 y
no-ortocrona si 00 1
17
Teorema 1. Sea v un vector temporal, y w 6= 0 un vector temporal o nulo. Sea

{e0 , e1 , e2 , e3 } una base ortonormal de M tal que v = v e , w = w e .
1) Si v0 w0 > 0 entonces g(v, w) < 0
2) Si v0 w0 < 0 entonces g(v, w) > 0
Demostracion. Como v es temporal tenemos que g(v, v) < 0 y como w es nulo
o temporal tenemos que g(w, w) 0. Esto es
(v 0 )2 + (v 1 )2 + (v 2 )2 + (v 3 )2 < 0
(w 0 )2 + (w 1 )2 + (w 2)2 + (w 3 )2 0
(v 0 w 0 )2 > ((v 1 )2 + (v 2 )2 + (v 3)2 )((w 1)2 + (w 2)2 + (w 3 )2 ) (v 1 w 1 + v 2 w 2 + v 3 w 3 )2

Esta u
ltima desigualdad es la conocida desigualdad de Cauchy. Por lo tanto
tenemos que
| v0w0 | > | v1w1 + v2w2 + v3w3 |
asi tenemos que v 0 w 0 6= 0 y g(v, w) 6= 0. Sea v 0 w 0 > 0, entonces

v0w0 = | v0w0 | > | v1 w1 + v2w2 + v3w3 | v1w1 + v2 w2 + v3w3
v 0 w 0 + v 1 w 1 + v 2 w 2 + v 3 w 3 = g(v, w) < 0
Analogamente se puede verificar que si v 0 w 0 < 0 entonces g(v, w) > 0.
1.5.
Contracci
on de la longitud y dilataci
on del
tiempo
Sean dos sistemas de referencia inerciales S y S , que se mueven a velocidad

relativa v. Considere una barra en reposo en el sistema S que tiene longitud
L = xB xA medida en dicho sistema.
Que longitud tiene la barra respecto a un observador en S? De acuerdo a
las transformaciones de Lorentz, tenemos que
xB vtB
xB =
1 v2
xA vtA
xA =
1 v2
(1.36)
18
Figura 1.3: Dos sistemas S y S en movimiento relativo. Una barra en S de

longitud L = xB xA
Desde el punto de vista del observador en S la barra esta en constante movimiento y por tanto debe realizar la medicion de los puntos iniciales y finales de
la barra xB y xA al mismo tiempo, es decir tB = tA .
Esto implica entonces que
es decir
xB xA
L = xB xA =
1 v2
(1.37)
L = L 1 v 2
(1.38)
Por lo tanto la longitud L de la barra aparece contrada desde el punto de vista

del observador en S.
Considere ahora un reloj en resposo situado en S donde se han considerado
dos eventos, uno en tiempo tA y otro en tiempo tB .
Desde el punto de vista del observador en S los dos eventos considerados en
S tienen lugar en tiempos

tB + vxB
tB =
1 v2
tA + vxA
tA =
1 v2
(1.39)
19
Figura 1.4: Dos sistemas S y S en movimiento relativo. Un reloj en reposo en

S .
donde en estas u
ltimas ecuaciones hemos utilizado la transformacion inversa.
Tenemos que el reloj en S esta en reposo, y por lo tanto xB = xA . Esto implica
entonces que
t tA
T
T = tB tA = B
=
(1.40)
1 v2
1 v2
y de esta formula se puede ver que para el observador que se encuentra en S el
reloj del observador en S se avanza mas lentamente.
Cabe notar que ambos hechos, la contaccion de la longitud y la dilatacion
del tiempo, son hechos simetricos. Esto es en el sentido en que desde el punto de
vista del observador en S las barras que se encuentren en S se veran contradas y
los relojes en S avanzaran mas lentamente. Por tanto desde el punto de vista de
cualquier observador en un sistema de referencia inercial, barras en movimiento
se veran contradas y relojes en movimiento avanzaran mas lentamente.
1.6.
Curvas en el espacio-tiempo y tiempo propio
Considere de nuevo el espacio-tiempo de MInkowski como se definio en la

seccion 1.2. Recuerde que este es un espacio vectorial de cuatro dimensiones que
20
identificamos como R4 con una forma cuadratica ds2 dada por
Q = (x0 )2 + (x1 )2 + (x2 )2 + (x3 )2
(1.41)
donde hemos re-etiquetado t = x0 , x = x1 , y = x2 , z = x3 . Recuerde tambien

que dados dos eventos p1 = (x01 , x11 , x21 , x31 ) y p2 = (x02 , x12 , x22 , x32 ) definimos
su separacion espacio-temporal usando la forma cuadratica como
Q(p2 p1 ) = (x02 x01 )2 + (x12 x11 )2 + (x22 x21 )2 + (x32 x31 )2
=
3
X
x x
(1.42)
,=0
La separacion entre los eventos p1 y p2 se le llamara respectivamente

temporal si y solo si Q(p2 p1 ) < 0
espacial si y solo si Q(p2 p1 ) > 0
nula o de luz si y solo si Q(p2 p1 ) = 0
Figura 1.5: Vectores en el espacio-tiempo

Hemos mencionado que en el espacio-tiempo de un observador inercial, un
sistema (que puede ser una partcula) que se mueve a velocidad relativa constante define una recta que se le llama la lnea de mundo de dicha partcula.
21
De manera mas general tenemos que una partcula en el espacio-tiempo de un

observador describira una trayectoria dada matematicamente por una curva.
Una curva en el espacio-tiempo es entonces una funcion : I R R4
donde I es un intervalo abierto. Pediremos ademas que la funcion sea diferenciable C . Tenemos entonces que () = (x0 (), x1 (), x2 (), x3 ()) que tambien
podemos denotar como x () entendiendo que va de cero a tres . La velocidad
0
1
2
3
= ( dxd() , dxd() , dxd() , dxd() ) = dxd() . Una curva () en el

esta dada por d()
d
espacio-tiempo se dice que es respectivamente
d()
es temporal para todo I
d
d()
es espacial para todo I
espacial si y solo si
d
d()
es nulo para todo I
nula o de luz si y solo si
d
temporal si y solo si
En relatividad entenderemos que una partcula masiva viajara siempre a una

velocidad menor a la de la luz y en el espacio-tiempo describira una curva
temporal. A esta curva se le conocera como la lnea de mundo de la partcula.
Recordemos por ejemplo que una partcula que se mueve a velocidad constante respecto a un sistema inercial describe en el espacio-tiempo una lnea de
mundo dada por una recta con pendiente respecto al eje temporal dada por
la velocidad. En general una partcula describira una trayectoria en el espaciotiempo dada por una curva temporal que no necesariamente es una recta. Dada
dicha curva definida en un intervalo abierto I = (a, b) definimos su tiempo
propio como
Z br
dx dx
=
d
(1.43)
d d
a
Ilustremos el contenido fsico de esta formula de tiempo propio considerando la
famosa paradoja de los gemelos. Tenemos dos gemelos en una estacion de tren;
uno de ellos parte en un tren que viaja a una velocidad muy cercana a la de la
luz. El otro permanece en la estacion por mucho tiempo medido en su sistema de
referencia esperando el regreso de su hermano. Este u
ltimo vuelve en otro tren
que viaja de igual forma a una velocidad muy cercana a la de la luz y encuentra
de vuelta a su hermano que lo esperaba en la estacion. Resulta que el tiempo
medido por el reloj del hermano que viajo en los trenes es mucho menor que el
tiempo medido por el reloj del hermano que se quedo en la estacion, siendo el
hermano que viajo mucho mas joven que el hermano que se quedo.
El hecho ahora es que este problema no es simetrico como en el caso de la
dilatacion del tiempo visto anteriormente en la seccion 1.4. Para el hermano
que viajo no se aplica que desde su punto de vista su hermano sea mas joven
debido a lo siguiente. El hermano que se quedo en la estacion se encontraba
22
en un sistema de referencia inercial mientras que el que viajo no estuvo en
un sistema de referencia inercial ya que para partir en primer lugar tuvo que
acelerar hasta alcanzar una velocidad quiza constante; despues para regresar y
compararse con su hermano tuvo que desacelerar hasta alcanzar una velocidad
cero para cambiar de direccion comenzando de nuevo a acelerar. Este hecho lo
pone en un sistema que no es inercial y por tanto el hecho ya no es simetrico.
Para ver que realmente el hermano viajero es mucho mas joven consideramos
un diagrama espacio-tiempo que dibuja el hermano que se quedo en la estacion,
ya que este se encuentra es un sistema inercial.
Este diagrama espacio-tiempo muy simplificado es como el que dibujamos
en la figura 1.6. La lnea de mundo del hermano que se quedo en la estacion
esta dada simplemete por el eje temporal t. La lnea de mundo que describira su
hermano viajero estara dada por una curva que parte del origen, si suponemos
que cuando el hermano parte ambos gemelos sincronizan sus relojes en tiempo
cero, y que intersecta de nuevo el eje temporal t en una coordenada mayor que
representa el evento en que los hermanos se encuentran.
En la figura 1.6 hemos considerado la curva del hermano viajero de la forma
matematica mas simple representado por dos rectas. Basta con considerar este
simple caso para darse cuenta que el tiempo propio del hermano viajero es
mucho menor y que para una curva en general se cumplira tambien. Esta u
ltima
afirmacion es cierta ya que una curva en general se puede aproximar por rectas.
Figura 1.6: Paradoja de los gemelos
23
Para el gemelo que se queda en la estacion, cuya lnea de mundo esta dada
por el eje temporal, la parametrizacion de dicha curva esta simplemente dada
1 ()
= (1, 0, 0, 0). Supor 1 () = (, 0, 0, 0), lo que impica que su velocidad es dd
poniendo que el evento en el que encuentra a su hermano de nuevo es (t1 , 0, 0, 0),
tenemos que utilizando la formula (1.30) el tiempo propio del hermano que se
queda en la estacion es 1 = t1 .
Para el hermano que se va de viaje su tiempo propio(ida y vuelta) se calcula
como dos veces el tiempo propio de ida. La lnea de mundo dada por el viaje
de ida es 2 () = (, v, 0, 0), y por tanto su vector velocidad esta dado por
d2 ()
= (1, v, 0, 0). Usando la formula (1.30) tenemos
d
Z
t1 /2
1 v 2 d
(1.44)
Tenemos que la velocidad v es constante y como el tiempo propio total

del viaje
del gemelo viajero es el doble de la formula anterior tenemos que 2 = t1 1 v 2 .
Cuando v se aproxima a la velocidad de la luz c = 1 tenemos claramente que
2 < 1 , implicando que el tiempo propio del gemelo viajero es menor que el
tiempo propio del gemelo que se queda la estacion. Esto es interpretado como
que el hermano gemelo que viajo en un tren a una velocidad muy cercana a
la de la luz y volvio a la estacion en otro tren a una velocidad tambien muy
cercana a la de la luz es mas joven que el hermano gemelo que se quedo en la
estacion.
1.7.
Efecto Doppler
Derivemos ahora el efecto Doppler de una manera geometrica utilizando diagramas espacio-tiempo. Supongamos que dos sistemas de referencia inercial S
y S se mueven a velocidad relativa v. Desde el punto de vista de S suponemos
que S se mueve hacia el eje positivo de las x. Suponga que desde el sistema
S se emten fotones en direccion hacia S, uno a uno y en tiempos igualmente
separados desde el punto de vista del emisor que se encuentra en S . Desde el
punto de vista de S la frecuencia con la que los fotones son observados disminuye cuando S se aleja de S como es el caso que estamos tratando. Para ver
como cambia la frecuencia de emision con respecto a la frecuencia de recepcion
dibujemos un diagrama espacio-tiempo de este problema.
En este diagrama la linea inclinada hacia la derecha representa la linea de
mundo del sistema S . Las lineas punteadas representan las lineas de mundo
de los fotones que viajan en direccion hacia S cuya linea de mundo esta representada por el eje temporal t. Los puntos 1 y 2 representan los eventos de
emision de los fotones; y los puntos 3 y 4 son los eventos de recepcion de los
eventos. Denotemos con coordenadas dichos puntos. El primer punto de emision (t1 , x1 ), el segundo punto de emision como (t1 + t1 , x1 + x1 ). Al primer
24
Figura 1.7: Diagrama espacio-tiempo. Las lineas punteadas representan las lineas de mundo de los fotones
punto de recepcion (t0 , 0), el segundo punto de recepcion como (t0 + t0 , 0).
Tenemos que deacuerdo a la formula (1.30) los tiempos propios transcurridos
para el emisor de los puntos 1 a 2 y para el receptor de los puntos 3 a 4 estan
dados respectivamente por
12 =
1 v 2 t1
34 = t0
(1.45)
Los fotones emitdos obedecen a la ecuacion

ds2 = dx dx = 0
(1.46)
la cual implica que

dx2 = dt2
dx = dt
(1.47)
El signo negativo es debido al hecho de que los fotones se mueven hacia la parte
negativa respecto al sistema S , lo que es equivalente a que las lineas de mundo
de los fotones en el diagrama espacio-tiempo tienen pendiente -1. Para la linea
de mundo del foton que va del evento 1 al evento 3 tenemos que
Z
t0
t1
dt =
dx
x1
(t0 t1 ) = x1
(1.48)
25
Dela misma forma para el foton que va del evento 2 al evento 4 tenemos que
t0 t1 = x1 de lo que obtendriamos que
t0 =

x1
1+
t1 = (1 + v)t1
t1
(1.49)
De aqui tenemos que el cociente entre los tiempos propios 12 y 34 esta dado
por
t0
34
(1 + v)t1
1+v
=
=
=
=p
12
1 v 2 t1
1 v 2 t1
(1 + v)(1 v)
1+v
1v
(1.50)
Esto implica que el cociente entre la frecuencia del receptor r y la frecuencia

del emisor e esta dado a la inversa de la formula anterior
r
=
e
1v
1+v
(1.51)
Por tanto si el sistema emisor S se mueve a una velocidad cercana a la de la

luz respecto al sistema receptor S tenemos que
r < e
1.8.
(1.52)
Suma de velocidades y aceleraci

on
Considere dos sistemas de referencia inerciales S y S que se mueven a velocidad relativa v a lo largo de sus ejes x y x . Considere que una partcula se
mueve en S con velocidad w en cualquier direccion, es decir w = (wx , wy , wz ).
con que velocidad w = (wx , wy , wz ) se mueve en el sistema S ?
Para responder a esta pregunta utilicemos las transformaciones de Lorentz
dadas en la seccion 1.2 ecuacion (1.12). Escritas en forma diferencial y recordando que v es constante tenemos que
dt = (dt vdx)
dx = (dx vdt)
dy = dy
dz = dz
(1.53)
donde = 1v
esta dada por w = (wx , wy , wz ) =
2 . La velocidad en S
(dx /dt , dy /dt , dx /dt ), por lo que al tomar dichos cocientes tenemos
26
Figura 1.8: Sistemas de referencia inerciales con partcula moviendose a velocidad w en S. Que velocidad w es observada en S ?
wx =
dx
v
wx v
dx vdt
dx
dt
=
=
=
dx
dt
dt vdx
1 vwx
1 v dt
dy
wy =
wz =
dy
wy
dy
dt
=
=
=
dx
dt
(dt vdx)
(1 vwx )
(1 v dt )
(1.54)
dz
wz
dz
dz
dt
=
=
=
dx
dt
(dt vdx)
(1 vwx )
(1 v dt )
La formula anterior entonces nos da las componentes de la velocidad w medidas

en S cuando se conoce como es la velocidad w en S.
Supongamos ahora que la partcula se mueve en S con velocidad variable w,
es decir tenemos aceleracion. Dicha aceleracion esta dada por a = (ax , ay , az ).
Que acelaracion a = (ax , ay , az ) de la partcula es medida en el sistema inercial
S ? De forma analoga a como hemos obtenido las formulas (1.41) tenemos ahora
que
dwx
(1.55)
vwx )2
Dejamos que el lector calc
ule dwx y dwz , y asi obtener finalmente que las componentes de la aceleracion a = (ax , ay , az ) = (dwx /dt , dwy /dt , dwz /dt ) estan
dwx =
2 (1
27
dadas en terminos de las componentes a = (ax , ay , az ) de la siguiente forma

1
dwx
= 3
ax
dt
(1 vwx )3
dwy
1
vwy
ay =
= 2
ay + 2
ax
2
dt
(1 vwx )
(1 vwx )3
dw
1
vwz
az = z = 2
az + 2
ax
2
dt
(1 vwx )
(1 vwx )3
ax =
(1.56)
1
donde recuerde que nuevamente tenemos = 1v
2 que depende del valor v
que es la velocidad relativa entre los sistemas de referencia inerciales S y S , y
por tal es una constante.
Observe que en relatividad Galileana teniamos que la aceleracion de una
partcula era la misma en cualquier sistema de referencia inercial. Aqui en relatividad especial tenemos que el vector acelaracion es diferente en diferentes
sistemas de referencia inercial. Lo u
nico que podemos observar es que si la aceleracion de una partcula es diferente de cero en un sistema de referencia inercial
entonces es diferente de cero en todos los sistemas de referencia inerciales. Es
decir que si una partcula se acelera para un observador inercial entonces todos
los observadores inerciales coinciden en que dicha partcula se acelera.
1.9.
Lnea de mundo de una partcula que se

mueve con aceleraci
on en un sistema de
referencia inercial
Hemos visto que si en un sistema de referencia inercial S una partcula se

mueve a velocidad constante entonces su lnea de mundo en el espacio-tiempo
esta dada por una recta cuya pendiente respecto del eje temporal t esta dada
por la velocidad de la partcula.
Ahora estudiemos la lnea de mundo de una partcula que lleva una aceleracion en un sistema de referencia inercial S, es decir dicha partcula tiene
una velocidad variable deacuerdo al observador inercial en S. Denotemos dicha
velocidad variable por w(t).
Supongamos ademas que la partcula se mueve solo en la direccion positiva
del eje x del sistema referencial inercial S. Estamos entonces simplificando el
problema al pensar que la velocidad de la partcula no tiene componentes en y
y z.
Como la partcula tiene una velocidad variable, entonces no define ella misma un sistema de referencia inercial. Sin embargo asi como matematicamente
podemos pensar en que una curva se puede aproximar por un gran n
umero de
28
segmentos rectos que tienen una longitud peque
na s de tal forma que la longitud de la curva es calculada cuando el n
umero de segmentos rectos tienden a
infinito y s 0, podemos entonces imaginar que la partcula va montada en
un sistema de referencia inercial, desde luego solo por un lapso de tiempo propio
de la partcula demasiado corto, es decir por un 0. Entonces por este muy
corto lapso de tiempo propio , la partcula se encuentra en un sistema de
referencia inercial al que llamaremos sistema de referencia inercial instantaneo.
En dicho sistema la partcula se encuentra en reposo desde el punto de vista de
dicho sistema de referencia inercial instantaneo. Es decir tenemos que w = 0.
Esto implica deacuerdo a la formula de tiempo propio, que el tiempo propio de
dicha partcula en este caso coincide con la coordenada temporal del sistema
referencial instantaneo, esto es, d = dt . Por tanto tenemos
dw
dw
= = a ( )
(1.57)
d
dt
y deacuerdo a la formula inversa de la primera formula de las transformaciones
(1.43) tenemos que
dw p
= (1 w 2 )3 a ( )
(1.58)
dt
Desde el punto de vista del sistema de referencia inercial S podemos tambien
argumentar que la partcula se mueve a velocidad constante solo por un lapso
corto del tiempo propio dt de S. Suponiendo esto ultimo entonces el tiempo
propio de la partcula esta relacionado con el tiempo propio del observador
en el sistema de referencia inercial S por
d =
(1 w 2 ) dt
(1.59)
La formula (1.45) la podemos escribir
dw
= (1 w 2 ) a ( )
(1.60)
d
Re-etiquetando a ( ) = f ( ), haciendo separacion de variables y suponiendo
que la partcula acelerada parte cuando su tiempo propio es cero tenemos
Z
Z
1
tanh (w) =
f (s)
w = tanh(
f (s))
(1.61)
0
Supongamos que la partcula se mueve con aceleracion uniforme. En relatividad especial entenderemos por esto que f (s) es constante. Por tanto tenemos
entonces
w = tanh(f )
(1.62)
Recuerde que anteriormente en la seccion 1.2 cuando escribimos las transformaciones de Lorentz en terminos de una matriz que lleva entradas con funciones
29
hiperbolicas teniamos que la velocidad estaba dada por la tangente hiperbolica.

Aqui vemos ahora de nuevo que se vuelve a cumplir que la velocidad esta dada
por la tangente hiperbolica aunque en este caso ahora tambien como funcion de
un parametro que es el tiempo propio de la partcula.
Finalmente para determinar la linea de mundo de la partcula con aceleracion, notemos que la formula (1.46) se puede escribir como
1
dt
=p
d
(1 w 2 )
(1.63)
como dx/dt = w tenemos entonces
dx
w
=p
d
(1 w 2 )
(1.64)
las cuales podemos re-escribir nuevamente como

dt
dx
= cosh(f )
= senh(f )
(1.65)
d
d
La lnea de mundo de la partcula esta por tanto integrando las ecuaciones
anteriores. Tomando como evento inicial del espacio-tiempo (t0 , x0 ) la lnea de
mundo de una partcula desde el punto de vista de un observador inercial tiene
por ecuacion

1
1
(1.66)
( ) = t0 + sinh(f ) , x0 + cosh(f )
f
f
Dicha ecuacion es una curva parametrica en el espacio-tiempo dada por una
hiperbola como en la figura 1.9
La asntota que representa la lnea de mundo de un foton nos hace ver que
la partcula jamas alcanza la velocidad de la luz.
As mismo como la hiperbola es asintotica a la lnea de mundo de un foton
se tiene que para un observador que fuera viajando en movimiento acelerado
existen eventos que nunca observaria que son aquellos que se encuentran en la
parte futura de la asntota. Toda lnea de mundo de una partcula que cruce
dicha asntota desapareceran de la vista del observador acelerado. Por este hecho
a la asntota se le conoce como horizonte de eventos.
30
Figura 1.9: Lnea de mundo de una partcula con aceleracion en un sistema de

referencia inercial dada por una hiperbola
Captulo 2
Variedades Diferenciables
En este captulo estudiaremos los conceptos matematicos necesarios para entender relatividad general. La unificacion entre la relatividad especial y la fuerza
gravitacional llevo a Einstein a desarrollar la teora de la relatividad general, la
cual esta formulada en el lenguaje de la geometra diferencial. Aqu estudiaremos
ahora un poco de dicho tema. La motivacion de considerar que al considerar la
relatividad especial y la gravitacion se debe pensar en que el espacio-tiempo es
curvo y por ende el lenguaje matematico es la geometra diferencial se dara en
el proximo captulo.
2.1.
Estructura diferenciable
Definici
on 8. Una variedad diferenciable de dimension n es un conjunto M,
tal que existen una familia de funciones uno a uno { : U Rn M | =
1, 2, ...r} donde cada U es un conjunto abierto de Rn , de tal forma que
S
1) M = r=1 (U )
2) Siempre que para cualesquiera dos subconjuntos

1 (U1 ) y 2 (U2 ) de
T
M con los que lo cubrimos pase que 1 (U1 ) 2 (U2 ) = W 6= entonces
1
n
1
n
las funciones composicion 1
2 1 : 1 (W ) R 2 (W ) R son
n
diferenciables. Observe que dichas funciones van de abiertos de R en abiertos
de Rn .
Al conjunto de todas las funciones { : U Rn M | = 1, 2, ..., r} se
le conoce como Atlas. A cada una de las funciones : U Rn M donde
p (U ) M se le llama sistema de coordenadas alrededor de p. Tambien se
le conoce como carta coordenada alrededor de p. A las funciones composicion
1
2 1 se les llama funciones de cambio de coordenadas.
Estudiemos algunos ejemplos sencillos de esta definicion. A lo largo de este
captulo encontraremos mas ejemplos.
31
32
Figura 2.1: Funcion entre sistemas de coordenadas que se intersectan
2.1.1.
Ejemplos
Veamos dos ejemplos muy sencillos.

Crculo unitario
El crculo unitario se define como S 1 = {(x, y) R2 | x2 + y 2 = 1}. Primero
veamos que este conjunto S 1 se puede cubrir con 4 cartas coordenadas. Vamos
a definir las funciones de la siguiente forma: Considere el intervalo abierto
D = (0, 1) R y sean : D R S 1 donde es un ndice que va de 1 a 4
dadas por
1 x2 )
2 (x) = (x, 1 x2 )
1 (x) = (x,
p
3 (y) = ( 1 y 2 , y)
p
4 (y) = ( 1 y 2 , y)
(2.1)
(2.2)
Por ejemplo note que la funcion 1 cubre solo la parte superior del crculo
excepto los puntos (1, 0) y (0, 1), vea figura 2.2. De igual forma la funcion 2
cubre solo la parte inferior de S 1 excepto de nuevo los puntos (1, 0) y (0, 1),
Las funciones 3 y 4 cubren respectivamente la parte derecha e izquierda de
S 1 excepto los puntos (0, 1) y (0, 1).
S
Es facil entonces ver que S 1 = 4=1 (D). Veamos ahora que las funciones
de cambio de coordenadas son diferenciables.
33
Figura 2.2: Funcion 1 cubre la parte superior de S 1 .

T
Tenemos que 1 3 6= . Su interseccion en S 1 esta dada por la parte
derecha de la parte superior sin incluir los puntos (0, 1) y (1, 0). El cambio de
coordenadas esta dada por 1
3 1 : D1 R R, donde D1 es el intervalo
abierto en R dado por (0, 1).
1
3
1 (x) =
1
3

2
(x, 1 x ) = 1 x2
(2.3)
Se puede verificar facilmente que dicha funcion 1

3 1 es diferenciable en el
1
x
dominio que esta definida, pues se tiene que (3 1 ) = 1x
2.
De manera analoga se puede checar la diferenciabilidad del cambio de coordenadas de las demas funciones lo que dejamos para el lector.
Otro sistema de coordenadas mas simple que podemos darle a S 1 es tomando
U1 como el intervalo abierto en R dado por (0, 2) y U2 dado por el intervalo
abierto (, ). Tomamos las funciones 1 : (0, 2) S 1 y 2 : (, ) S 1
dadas por
1 () = (cos , sen )
2 () = (cos , sen )
(2.4)
La funcion 1 cubre todo S 1 excepto el punto (1, 0) y 2 cubre todo S 1 excepto

el punto (1, 0). Por lo tanto la interseccion de la imagen de 1 y de la imagen
de 2 esta dada por S 1 excepto los puntos (1, 0) y (1, 0).
34
Las funciones de cambio de coordenadas estan dadas por 1
2 1 : (0, )
1
R (0, ) R y 1 2 : (), 0 R (0, ) R
1
1
2 1 () = 2 (cos , sen ) =
1
1
1 2 () = 2 (cos , sen ) =
(2.5)
las cuales estan dadas por la identidad y trivialmente son diferenciables.

Esfera
La esfera unitaria se define como S 2 = {(x, y, z) R3 | x2 +y 2 +z 2 = 1}. Este
conjunto S 2 se puede cubrir con 6 cartas coordenadas. Defina las funciones de
la siguiente forma: Considere el disco abierto D2 = {(x, y) R2 | x2 + y 2 < 1}
y sea 1 : D2 R2 S 2 y 2 : D2 R2 S 2 dadas por
1 (x, y) = (x, y,
p
1 x2 y 2 )
p
2 (x, y) = (x, y, 1 x2 y 2)
(2.6)
Note por ejemplo que la funcion 1 cubre la parte superior de la esfera excepto
el Ecuador, como se muestra en la figura 2.3. De la misma forma 2 cubre la
parte inferior de la esfera excepto el Ecuador. Vamos a definir unas funciones
mas que cubriran otras partes de la esfera.
Considere el disco abierto D2 = {(y, z) R2 | y 2 + z 2 < 1} y sea 3 : D2
R2 S 2 y 4 : D2 R2 S 2 dadas por
p
3 (y, z) = ( 1 y 2 z 2 , y, z)
p
4 (y, z) = ( 1 y 2 z 2 , y, z) (2.7)
6 (x, z) = (x, 1 x2 z 2 , z) (2.8)
Estas funciones estan definidas desde el plano (y, z) a la esfera y por tal cubren
por ejemplo el lado derecho de la esfera excepto el Meridiano.
Analogamente definimos D2 = {(x, z) R2 | x2 + z 2 < 1} y sea 5 : D2
2
R S 2 y 6 : D2 R2 S 2
5 (x, z) = (x,
1 x2 z 2 , z)
Es facil ver que S 2 = 1 (D2 ) 2 (D2 ) 3 (D2 ) 4 (D2 ) 5 (D2 ) 6 (D2 ).

Para el cambio de coordenadas veamos que son diferenciables con un ejemplo.
2
Tenemos que 1 (D2 ) 3 (D2 ) 6= y 1
3 1 : U D2 R , donde U es un
subconjunto abierto de D2 que esta dado por la mitad de dicho disco. Dicha
funcion esta dada por
1
3
1 (x, y) =
1
3

p
p
2
2
(x, y, 1 x y ) = (y, 1 x2 y 2)
(2.9)
35
Figura 2.3: Funcion definida en U1 cubre la parte superior de S 2 .
la cual es una funcion diferenciable en el dominio definido. De la misma forma

se verifica que los demas cambios de sistema de coordenadas son funciones
diferenciables.
Las coordenadas esfericas en R3 restringidas a la esfera de radio 1 estan

dadas por la carta coordenada
(, ) = (sen cos , sen sen , cos )
(2.10)
donde 0 < < y 0 < < 2.

Cada punto de la esfera esta parametrizado por dos angulos y los cuales
estan medidos a partir del eje z y del eje x respectivamente. Dichas coordenadas
cubren toda la esfera a excepcion de medio meridiano lo cual implica que estas
coordenadas son locales.
Veamos ahora otras cartas coordenadas asignadas a la esfera S 2 dadas por

la proyeccion estereografica.
Deacuerdo a nuestra figura 2.4 la esfera tiene su polo sur sobre el origen,
es decir sobre el punto (0, 0, 0). Entonces la esfera tiene su centro en el punto
36
Figura 2.4: Proyeccion estereografica del polo norte de S 2 hacia el plano z = 0.
(0, 0, 1) y el polo norte es entonces el punto (0, 0, 2) desde el cual tomamos la

proyeccion estereografica. Dicha proyeccion es una carta coordenada de la esfera
la cual cubre toda la esfera excepto el polo norte. De la misma forma se toma
una proyeccion desde el polo sur para cubrir toda la esfera excepto ahora el polo
sur. Haremos el calculo de las coordenadas correspondientes de la proyeccion
desde el polo norte de la esfera en la plano R2 .
La esfera en R3 que estamos considerando el la figura 2.4 tiene ecuacion
dada por x2 + y 2 + (z 1)2 = 1. Un punto de la esfera (x, y, z) es proyectado
en el plano en el punto (u, v).
Para determinar la relacion que existe entre un punto (x, y, z) de la esfera y
el punto (u.v) al que es proyectado veamos la figura 2.5, la cual representa dicha
proyeccion en el plano (x.z). En la figura el punto b representa el punto (u, v).
El punto c es tan solo el punto de interseccion de la perpendicular al plano que
pasa por el punto a, es decir el punto a representa el punto (x.y.z) de la esfera
mientras que el punto c tiene coordenadas (x, y, 0) el cual tan solo podemos
escribirlo en R2 como (x, y). Si pensamos en el punto c y b como vectores, y los
normalizamos tenemos que
c
b
|c|
=
c= b
|c|
|b|
|b|
(2.11)
Considere ahora los triangulos rectangulos que tienen hipotenusas Na y Nb.
37
Dichos triangulos son semejantes y por tal se sigue que

2
b
2
|b|
=
=
|c|
2z
c
2z
lo que podemos tambien escribirlo como

2y
2x
(u, v) =
,
2z 2z
(2.12)
(2.13)
Figura 2.5: Vista en el plano (x, z) de la proyeccion estereografica

De la misma forma tenemos que si hubieramos proyectado desde el polo sur
encontrariamos que la carta coordenada esta dada por

2x
2y
(a, b) =
(2.14)
,
2+z 2+z
Para ver que estas dos cartas coordenadas definen una variedad diferenciable en
la esfera dejamos al lector que verifique que el cambio de coordenadas esta dado
por

4v
4u
,
(2.15)
(a, b) =
u2 + v 2 u2 + v 2
la cual es diferenciable en la region de interseccion de las cartas corrdenadas.
38
2.2.
Vectores y Tensores
Definici
on 9. Dadas dos variedades diferenciables M1 y M2 de dimensiones n
y m respectivamente, se dice que una funcion f : M1 M2 es diferenciable en
un punto p M1 , si para toda carta coordenada : V Rm M2 del punto
f (p) M2 existe una carta coordenada : U Rn M1 de p M1 tal que
f ((U)) (V ), y la funcion 1 f : U Rn Rm es diferenciable en
1 (p). f es diferenciable en toda la variedad M1 si es diferenciable en todos los
puntos de M1 .
Definici
on 10. Considere M una variedad diferenciable. Una curva diferenciable en M es una funcion : I R M diferenciable.
Es decir que en este caso estamos pensando en el intervalo abierto I como
una variedad de dimension uno con una sola carta coordenada dada por la
identidad.
Suponga que (1 ) = p M y sea f una funcion diferenciable f : M R.
El vector tangente a la curva en el punto p = (1 ) se define como
d
f |1
(2.16)
d
Un vector tangente en el punto p M es el vector tangente en = 1 de alguna
curva : I R M tal que (1 ) = p. El conjunto de todos los vectores
tangentes en p M se denota por Tp M al que se le llama espacio tangente en
p.
Veamos como se ve un vector tangente en coordenadas locales alrededor
del punto p M. Si tenemos una carta coordenada alrededor de dicho punto
entonces tenemos una funcion : U Rn M donde podemos ver a la curva
en esta localidad como
()
= 1 () = (x1 (), x2 (), ..., xn ()) := x ()
(2.17)
y a la funcion f como
1
f()(x
, x2 , ..., xn ) = f (x1 , x2 , ..., xn )
(2.18)
por tal en coordenadas locales tenemos que

d
f dx (1 )
d
f
|1 =
f |1 :=
=
d
d
x
d

dx (1 )
f
d x
(2.19)
de esta u
ltima formula podemos ver entonces que un vector tangente a una
curva en un punto es un operador que act
ua en funciones. Es decir el vector
39
se escribe como combinacion lineal de las parciales { x }, donde va de 1 a
n y sus coeficientes en el punto dado son dx d(1 ) . En general un vector en un

punto cualquiera de una variedad es igualmente un operador y se escribe como
combinacion lineal de la forma
(2.20)
x
donde U son los coeficientes de dicho vector.Los coeficientes son escalares, es
decir, U R. Escribamos x := . Como en cada punto de la variedad
tenemos que los vectores tangentes se escriben como combinacion lineal de las
parciales, y la variedad es dimension n, la dimension de los espacios tangentes
a la variedad son de dimension n. Cada espacio tangente Tp M es un espacio
vectorial.
Por otro lado en cada punto podemos tener un vector, lo cual se llama
campo vectorial en la variedad. Los campos vectoriales en los cuales estamos
interesados son campos vectoriales diferenciables. Un campo vectorial en una
localidad en coordenadas locales se escribe
U = U
U = U
(2.21)
donde los coeficientes U son funciones diferenciables, es decir, U : M

R. Al restringir el campo vectorial U a un punto de la variedad volvemos a
tener que U R. Dado que Tp M es un espacio vectorial de dimension n
sabemos por Algebra Lineal que el espacio dual a un espacio vectorial es de la
misma dimension y en nuestro caso lo denotaremos por Tp M. Dicho espacio
dual esta definido como
Tp M = { : Tp M R| funcion lineal}
(2.22)
df (p)(U) := U(f )
(2.23)
Un ejemplo de una funcion lineal de Tp M que actua en Tp M es la diferencial de

una funcion. Tenemos que dada una funcion diferenciable f : M R definimos
Veamos esta ecuacion en coordenadas locales. En una carta coordenada tenemos que U = U ; considere tambien las funciones proyeccion dadas por
x (x1 , x2 , ...xn ) = x , es decir proyeccion a la -esima coordenada. Tenemos
entonces que U = U(x ) := dx (U) y por tanto podemos escribir
df (p)(U) = U(f ) = U f = f dx (U)
(2.24)
lo que nos hace ver que la diferencial de una funcion esta dada en coordenadas
locales por df = f dx . Por lo tanto hemos visto que la diferencial de una
funcion la cual es un ejemplo de un elemento de Tp M se escribe como una
combinacion lineal de las diferenciales dx en coordenadas locales. De manera
general todo elemento de Tp M se escribe en coordenadas locales como
40
= dx
(2.25)
Donde en cada punto de la variedad R, pero cuando esta definido en

toda la variedad, : M R son funciones diferenciables. En coordenadas
locales nuevamente tenemos que actua en U de la forma
(U) = dx (U ) = U dx ( ) = U = U
(2.26)
Un tensor T de orden (r, s) en un punto p de una variedad M, es una funcion

multilineal
T : Tp M Tp M ...Tp M Tp M Tp M ... Tp M R
(2.27)
de r productos cartesianos del espacio Tp M y s productos cartesianos del espacio

Tp M. Tenemos entonces que el tensor en cada entrada es una funcion lineal.
Dado un tensor T de tipo (r, s) y un tensor S de tipo (l, m) definimos el tensor
T S como un tensor de orden (r + l, s + m) dado por
T S(1 , ..., r+l , U1 , ..., Us+m ) = T (1, ..., r , U1 , ..., Us )S(r+1, ..., r+l , Us+1, ..., Us+m )
Una base de todos los tensores de orden (r, s) esta dada por
1 2 ... r dx1 dx2 ... dxs
(2.28)
y asi un tensor en un punto p M se escribe en coordenadas locales como

T 1 ....r1 ....s 1 ... r dx1 ... dxs
(2.29)
donde dicha ecuacon es una combinacion lineal de los elementos de la base y

T 1 ....r1 ....s son escalares en cada punto p M. Llamaremos un campo tensorial
diferenciable cuando tenemos un tensor en cada punto de tal forma que cada
T 1 ....r1 ....s : M R es una funcion diferenciable de la variedad en los reales.
Consideremos un campo vectorial U en la variedad, es decir un vector en
cada punto que varia de manera diferenciable. En una carta coordenada x
alrededor de p M dicho campo vectorial se escribe
U = U
(2.30)
En otro sistema de coordenadas x alrededor de p M el mismo campo vectorial se escribe como
U = U
Tenemos entonces que
(2.31)
U = U
41
(2.32)
Donde { } y { } son bases en los planos tangentes en su respectivo sistema de

coordenadas. Podemos escribir cada elemento de la base como combinacion
lineal respecto de los elementos base { }, es decir tenemos que
= A
(2.33)
donde en esta ecuacion entenderemos que el indice esta fijo y etiqueta n

ecuaciones si la variedad es de dimension n, y es el indice sobre el que se
esta sumando en cada una de estas ecuaciones. Como un campo vectorial se
puede ver como un operador que actua en funciones de la variedad en los reales
podemos aplicar los operadores anteriores a las funciones proyeccion sobre la
-esima coordenada, es decir
x = A x
La derivada parcial x =
(2.34)
lo que implica
x = A
(2.35)
que podemos tambien escribir en la forma
x
=
x
(2.36)
lo cual implica
x
(2.37)
=
x
la cual es la ecuacion que expresa la forma en como una base se expresa en
terminos de combinacion lineal de la otra base al hacer un cambio de coordenadas.
Podemos expresar asi al campo U como
U =
x
U
x
(2.38)
e igualando coeficientes tenemos que
x
U =
U
(2.39)
x
la cual nos da como los coeficientes del campo vectorial cambian mediante un
cambio de coordenadas.
Consideremos ahora dos cartas coordenadas x y x alrededor de p M.

En dicha localidad podemos hacer un cambio de coordenadas de una a la otra
42
de tal forma que las x se pueden ver como funciones de las x . Es decir x (x )
de tal manera que
x
dx
(2.40)
dx =
x
Es decir que la transformacion entre las diferenciales esta dada por esta ecuacion. Si tenemos un tensor diferenciable de tipo (0, 1) en la variedad, entonces
este es lo mismo que un campo de 1-formas(covectores) en la variedad. En las
localidades x y x alrededor de un punto p M tenemos que dicho covector

se puede escirbir como
= dx = dx
(2.41)
Por tanto re-escribiendo esta igualdad tenemos que
x
dx = dx
(2.42)
x
y por tanto las componentes de estas combinaciones lineales son iguales dando
como resultado
x
=
(2.43)
x
De la misma manera para tensores en general T de orden (r, s) en la interseccion
de dos sistemas de coordenadas x y x alrededor de un punto p M tenemos

que
....
T 1 r ....s
1
2.3.
x1 xr x1 xs
= 1 ... r ... T 1 ....r1 ....s
x
x x 1 x s
(2.44)
M
etrica
En el sentido tensorial una metrica en una variedad es un campo tensorial

diferenciable de orden (0, 2) simetrico y no degenerado.
Es decir en un sistema de coordenadas de la variedad la metrica se escribe
g = g dx dx
(2.45)
Recordemos que dicho campo tensorial o tensor en cada punto es una funcion
multilineal que en este caso es bilineal, es decir
g|p = Tp M Tp M R
(2.46)
de tal forma que simetrico significa

g|p (U, V ) = g|p (V, U)
(2.47)
43
para todos vectores U y V Tp M y no degenerado significa que si U 6= 0 Tp M

entonces existe V 6= 0 Tp M tal que
g|p (U, V ) 6= 0
(2.48)
g = g dx dx
(2.49)
Por conveniencia en la expresion local de la metrica tan solo escribiremos
omitiendo el simbolo del producto tensorial.

La metrica en cada punto p M nos define un isomorfismo lineal de Tp M
a Tp M, : Tp M Tp M dado de la siguiente forma. Para cada U Tp M le
asociamos (U) = Tp M definido por
< V, >= g |p (U, V )
(2.50)
g |p (1 , 2 ) = g |p ( 1 (1 ), 1 (2 ))
(2.51)
g = g( , )
(2.52)
La metrica g en cada punto p M define una metrica en los espacios duales, la

cual se denota tambien por g y se define por medio del isomorfismo
para 1 , 2 Tp M.
En coordenadas locales las componentes de la metrica en los tangentes esta
dadas por
De la misma forma las componentes de la metrica en los espacios duales estan

dadas
g = g(dx , dx )
(2.53)
Consideremos el isomorfismo : Tp M Tp M sobre los basicos; es decir tenemos que

( ) = dx
(2.54)
g = g( , ) =< , ( ) >=< , dx >=
(2.55)
De aqui se sigue que
Por otro lado

=< , dx >= g(dx , ( )) = g(dx , dx ) = g
(2.56)
Lo que prueba que

g g =
(2.57)
44
Describiremos ahora un algoritmo con el cual asignaremos una metrica en
una variedad M de dimension n que se encuentre viviendo en Rn+1 . Suponga
una metrica en Rn+1 Eucldea o Lorentziana dada de la forma
gE = (dx0 )2 + (dx1 )2 + ... + (dxn )2
gL = (dx0 )2 + (dx1 )2 + ... + (dxn )2
(2.58)
respectivamente. Observe que una metrica en un espacio como Rn+1 es global.

Sea una variedad de dimension n que vive en Rn+1 donde Rn+1 tiene una metrica
Euclidea gE o Lorentziana gL .
Dicha variedad M en un sistema de coordenadas locales esta parametrizada
de la forma
(x1 , x2 , ..., xn ) = (y 0(x1 , x2 , ..., xn ), y 1(x1 , x2 , ..., xn ), ..., y n(x1 , x2 , ..., xn ))
La metrica que hereda la variedad M de Rn+1 si este tiene una metrica Euclidea
esta dada por
gM = g dx dx
(2.59)
donde los coeficientes g estan dados por

g = gE ( (x1 , x2 , ..., xn ), (x1 , x2 , ..., xn ))
(2.60)
De la misma forma si Rn+1 tiene una metrica Lorentziana entonces la metrica

que M hereda esta dada por
gM = g dx dx
(2.61)
donde los coeficientes g estan dados por

g = gL ( (x1 , x2 , ..., xn ), (x1 , x2 , ..., xn ))
2.3.1.
(2.62)
Ejemplos
Esfera
La esfera de radio 1 es la superficie que vive en R3 con metrica Euclidea
gE = (dx0 )2 + (dx1 )2 + (dx2 )2
(2.63)
y que satisface la ecuacion

(x0 )2 + (x1 )2 + (x2 )2 = 1
(2.64)
45
En coordenadas esfericas tiene una carta coordenada dada por

(, ) = (sen cos , sen sen , cos )
(2.65)
donde 0 < < 2, 0 < < 2.

Por lo tanto la metrica que la esfera hereda de R3 Euclideo se calcula seg
un
el algoritmo
(, ) = (cos cos , cos sen , sen )
(2.66)
(, ) = ( sen sen , sen cos , 0)
(2.67)
tenemos entonces que

gE ( (, ), (, )) = 1
gE ( (, ), (, )) = 0 = gE ( (, ), (, ))
gE ( (, ), (, )) = sen2
(2.68)
lo cual implica que la metrica que la esfera hereda esta dada por
ds2 = d2 + sen2 d 2
Podemos escribir esta metrica en forma matricial como

1
0
(g ) =
0 sen2
(2.69)
(2.70)
Hiperboloide de dos hojas

El hiperboloide de dos hojas es una superficie que consta de dos pedazos que
vive en el espacio-tiempo de Minkowski de tres dimensiones. Es decir, considere
R3 con metrica Lorentziana
gL = (dx0 )2 + (dx1 )2 + (dx2 )2
(2.71)
El hiperboloide de dos hojas es la superficie que satisface la ecuacion

(x0 )2 + (x1 )2 + (x2 )2 = 1
(2.72)
Consideremos unicamente la parte superior de dicho hiperboloide.

En una carta coordenada dicho hiperboloide se puede parametrizar como
(, ) = (cosh , senh cos , senh sen )
donde 0 < < , 0 < < 2.
(2.73)
46
Figura 2.6: Hiperboloide de dos hojas
Por lo tanto la metrica que el hiperboloide hereda de R3 Lorentziano se

calcula seg
un el algoritmo
(, ) = (senh , cosh cos , cosh sen )
(2.74)
(, ) = (0, senh sen , senh cos )
(2.75)
gL ( (, ), (, )) = 1
gL ( (, ), (, )) = 0 = gL ( (, ), (, ))
gL ( (, ), (, )) = senh2
(2.76)
lo cual implica que la metrica que el hiperboloide hereda esta dada por
ds2 = d 2 + senh2 d2

1
0
(g ) =
0 senh2
(2.77)
(2.78)
47
Hiperboloide de una hoja

El hiperboloide de una hoja es una superficie que vive en el espacio-tiempo de
Minkowski de tres dimensiones. Es decir, considere R3 con metrica Lorentziana
gL = (dx0 )2 + (dx1 )2 + (dx2 )2
(2.79)
(x0 )2 + (x1 )2 + (x2 )2 = +1
(2.80)
El hiperboloide de una hoja es la superficie que satisface la ecuacion
Figura 2.7: Hiperboloide de una hoja

En una carta coordenada dicho hiperboloide se puede parametrizar como
(, ) = (senh , cosh cos , cosh sen )
(2.81)
donde < < , 0 < < 2.

Por lo tanto la metrica que el hiperboloide hereda de R3 Lorentziano se
calcula seg
un el algoritmo
(, ) = (cosh , senh cos , senh sen )
(2.82)
(, ) = (0, cosh sen , cosh cos )
(2.83)
48
gL ( (, ), (, )) = 1
gL ( (, ), (, )) = 0 = gL ( (, ), (, ))
gL ( (, ), (, )) = cosh2
(2.84)
lo cual implica que la metrica que el hiperboloide hereda esta dada por
ds2 = d 2 + cosh2 d2

1
0
(g ) =
0 cosh2
(2.85)
(2.86)
Observe que este hiperboloide ha heredado una metrica Lorentziana. Dicho

hiperboloide es entonces un espacio-tiempo de dos dimensiones.
El toro
El toro es una superficie que vive en el espacio Euclideo de tres dimensiones
R.
Tenemos entonces que R3 tiene metrica
3
gE = (dx0 )2 + (dx1 )2 + (dx2 )2
(2.87)
El toro se genera como una superficie de revolucion de la manera siguiente.

Se considera un crculo en un plano, es decir una curva con ecuacion parametrica
dada por
(a + b cos , b sen )
(2.88)
donde a > b y 0 < < 2.

Al girar esta curva parametrica en el espacio Euclideo la parametrizacion de
esta superficie esta dada por
(, ) = ((a + b cos ) cos , (a + b cos ) sen , b sen )
(2.89)
donde 0 < < 2, 0 < < 2. Esta es entonces una carta coordenada del toro.
Dejamos para el lector que verifique que la metrica heredada de R3 Euclideo
sobre el toro esta dada por
ds2 = b2 d2 + (b cos + a)2 d 2
Cuya forma matricial esta dada por
(2.90)
49
Figura 2.8: Toro
(g ) =
b2
0
0 (b cos + a)2
(2.91)
Definici
on 11. Sea una curva () =: I R M una curva en la variedad
M. En coordenadas locales dicha curva se escribe de la forma 1 = x () :=
(x1 (), x2 (), ..., xn ()). Definimos su longitud como
Z br
dx dx
g
L(x ()) =
d
(2.92)
d d
a
Sea un sistema de coordenadas en una variedad M cuya metrica es diagonal;
es decir
g = g11 (dx1 )2 + g22 (dx2 )2 + + gnn (dxn )2
(2.93)
En dichas coordenadas es facil calcular areas y vol

umenes de una region. Sean las
curvas en coordenadas locales dadas por x () = (0, , , , 0) y x () +

c = (0, , c , , , , 0). Consideremos por ejemplo el area de una region dada por aquella que se encuentra delimitada por las curvas x () =
(0, , , , 0), x ()+c = (0, , c , , , , 0), x () = (0, , , , 0),
50
x () + c = (0, , , , c , , 0). Las longitudes de las
curvas x (), x ()
R
an dadas deacuerdo a la formula (2.84) por L(x ()) =

g dx , L(x ()) =
Rest
g dx . Por lo tanto el area delimitada esta dada por

Z
(2.94)
A(R) =
g g dx dx
Donde los lmites de integracion estan dados por la region. En general tenemos
que el volumen n-dimensional de una region R M esta dado por
Z p
V (R) =
det g dx1 dx2 dxn
(2.95)
Veamos algunos ejemplos
2.3.2.
Ejemplos
Esfera
La metrica en la esfera esta dada por
ds2 = d2 + sen2 d 2
(2.96)
o en forma matricial como

(g ) =
1
0
0 sen2
(2.97)
Calcular el area de la region R, delimitada por dos curvas de angulo constantes.

Es decir tenemos dos curvas dadas por 1 () = (1 , ), 2 () = (2 , ). Dicha
area esta dada por
A(R) =
=
Z p
Z
det g d d =
sen2 d d
2
1
sen d d = 2(cos 1 cos 2 )
(2.98)
Por lo tanto si queremos saber el area de toda la esfera tenemos que tomara
valores entre 0 y 2; asi que
A(S 2 ) = 4
(2.99)
Si ahora queremos calcular el vol

umen que encierra la esfera en su interior
entonces notese que en ese caso la variedad en la que estamos pensando ya no
es una superficie, sino el espacio Euclideo R3 el cual describimos en coordenadas
esfericas.
R3 con metrica Euclidea esta dado por
gE = (dx0 )2 + (dx1 )2 + (dx2 )2
51
(2.100)
Las coordenadas esfericas estan dadas por

(r, , ) = (r cos , r sen cos , r sen sen )
(2.101)
donde < r < , 0 < < , 0 < < 2. Dado este cambio de coordenadas
es facil verificar que la metrica que se puede escribir como
ds2 = dr 2 + r 2 (d2 + sen2 d 2 )
(2.102)
o en forma matricial
1 0
0
0
(g ) = 0 r 2
2
2
0 0 r sen
(2.103)
Calcular el vol
umen en el interior que encierra una esfera de radio r = R
deacuerdo a la formula (2.87) nos lleva a
(SR2 )
2
det g dr d d =
r 4 sen2 dr d d
0
0
0
Z R Z Z 2
4 3
R
(2.104)
=
r 2 sen dr d d =
3
0
0
0
Z p
Toro
La metrica en el toro esta dada por
ds2 = b2 d2 + (b cos + a)2 d 2
(2.105)
o en forma matricial como

(g ) =
b2
0
0 (b cos + a)2
(2.106)
donde 0 < < 2, 0 < < 2. Calcular el area del toro.

Deacuerdo a la formula (2,86) tenemos que
Z p
p
det g d d =
b2 (b cos + a)2 d d
0
0
Z 2 Z 2
=
b(b cos + a) d d = 4 2 ba
(2.107)
A(T ) =
52
Supongamos que ahora quisieremos calcular el vol
umen dentro del toro solido.
En este caso tenemos que pensar que el radio del crculo interior esta dado por
un valor fijo b = B. Y de esa forma el vol
umen esta dado por
2 p
det g d d =
b2 (b cos + a)2 d d db
0
0
0
Z B Z 2 Z 2
Z B
=
b(b cos + a) d d db =
4 2 ba db = 2 2 B 2 a
V (T ) =
Z p
0
(2.108)
2.4.
Conexi
on
Definici
on 12. Una conexion o tambien llamada derivada covariante en
una variedad M es un operador, : X(M) X(M) X(M), el cual dados
dos campos vectoriales diferenciables U y V , asocia un nuevo campo vectorial
denotado por U V , y cumple las siguientes propiedades
1)U (V + W ) = U V + U W
2)U +W V = U V + W V
3)f U (V ) = f U V
4)U (f V ) = f U V + U(f )V
donde f : M R es una funcion diferenciable.
Veamos la expresion de la derivada covariante en coordenadas locales. Recordemos que en coordenadas locales tenemos que los campos vectoriales tienen
una expresion dada por U = U y V = V , donde los operadores de derivadas parciales denotan las bases de los planos tangentes. Si aplicamos la conexion
a estas bases denotaremos los coeficientes del nuevo vector como
:= =
(2.109)
Aplicando ahora la conexion a los campos vectoriales U y V tenemos que siguiendo las reglas de la definicion
U V = U V = U V
= U ( (V ) + V )
= U ( (V ) + V )
(2.110)
53
re-etiquetamos ndices y escribimos la expresion de la conexion en coordenadas

locales como
U V = U ( V + V )
(2.111)
informalmente y por notacion usual denotamos que

V = V + V
(2.112)
de tal forma que la formula general (2.102) se escribira informalmente como

U V = U V
(2.113)
No utilizaremos esta ultima notacion, y tan solo nos restringiremos a la expresion

(2.103).
La definicion de la derivada covariante se puede generalizar a derivar campos
tensoriales de orden (r, s) respecto a campos vectoriales. En el caso de una unoforma (covector) que es un tensor de orden (0, 1) tenemos que en coordenadas
locales
dx
dx := dx =
(2.114)
Si en general consideramos un campo tensorial de orden (0, 1) y un campo

vectorial en coordenadas locales es facil ver que
)dx
U = U ( +
(2.115)
informalmente y por notacion usual denotamos que

= +
(2.116)
Considere ahora un campo tensorial de orden (0, 1), y un campo vectorial V .

Sabemos que (V ) es una funcion escalar sobre la variedad. Considerando la
derivada covariante de dicha funcion respecto a un nuevo campo vectorial U, es
decir, U (V ) en cordenadas locales y en la notacion de las ecuaciones (2,103)
y (2,107) tenemos que
( V ) = ( )V + ( V )
V + ( V ) + V
= ( )V +
(2.117)
Sin embargo la derivada covariante de una funcion coincide con la derivada

parcial, lo que implica que
V + V = 0
Si re-etiquetamos ndices tenemos que
(2.118)
54
V + V = 0
(2.119)
(2.120)
(2.121)
lo que implica
De aqui que podemos entones escribir la ecuacion (2.107) como
De esta manera podemos generalizar la derivada covariante a campos tensoriales

en general de tal forma que para cada elemento basico de la base de los campos
tensoriales tenemos que
(1 2 ... r dx1 dx2 ... dxs )
= 1 2 ... r dx1 dx2 ... dxs
+ 1 2 ... r dx1 dx2 ... dxs
+ ............................................................................
+ 1 2 ... r dx1 dx2 ... dxs
1 2 ... r 1 dx dx2 ... dxs
1 2 ... r dx1 2 dx ... dxs
............................................................................
1 2 ... r dx1 dx2 ... s dx
(2.122)
As podemos observar entonces que en coordenadas locales la derivada covariante de un campo tensorial tiene la expresion siguiente
r
1 ....
r
T 1 ....r1 ....s = T 1 ....r1 ....s + 1 T ....r1 ....s + 2 T 1 ....
1 ....s + ..... + T
1 ....s
r
1 T 1 ........
2 T 1 ....r1 ....s ....... s T 1 ....r1 ....
s
(2.123)
Proposici
on 1. Sea una variedad diferenciable M con una conexion. Existe
una u
nica correspondencia que asocia a un campo vectorial V a lo largo de una
a lo largo de , tal
curva diferenciable : I R M otro campo vectorial dV
d
que:
d
1) d
(V + W ) = dV
+ dW
d
d
2)
dV
d
d
(f V
d
)=
df
V
d
+ f dV
d
3) Si el campo V es inducido por un campo vectorial X X(M) entonces

= d X
d
55
Demostracion. Supongamos que las tres propiedades se cumplieran, y sea la

expresion local de la curva : I R M dada por x (). El campo vectorial
V tiene expresion local V = V () (()),
por la propiedad 1) y 2) tenemos que
dV
d
dV
=
+ V
d
d
d
por la propiedad 3) tenemos que
d
dx
dx
= d = dx =
=

d
d
d
d
d
y podemos entonces escribir

dV
dV
dx
=
+V
d
d
d
(2.124)
Esta u
ltima expresion muestra que si hay una correspondencia que satisface 1),
2) y 3) entonces es u
nica.
Para probar existencia se define dV
por la formula (2.124) en una carta
d
coordenada. Por unicidad, en cambio de coordenadas las definiciones de dV
d
coinciden.
Definici
on 13. Dada una conexion sobre una variedad diferenciable M, un
campo vectorial V a lo largo de una curva : I R M es paralelo, si
dV
=0
d
(2.125)
para toda .
Proposici
on 2. Sea M una variedad diferenciable M, con conexion . Sea
: I R M una curva diferenciable en M y sea V0 un vector en T(0 ) M.
Existe un u
nico campo vectorial V paralelo a lo largo de , tal que V (0 ) = V0 .
Demostracion. Dada su existencia, en las partes donde la curva tiene cambios
de coordenadas las definiciones coinciden como en la proposicion anterior. De
aqui su unicidad. Su existencia se sigue de que en una carta coordenada tenemos
la expresion (2.124) que forman n ecuaciones diferenciables de las funciones V ,
las cuales poseen una u
nica solucion dadas las condiciones iniciales V (0 ) =
V0 .
Definici
on 14. Sea una variedad diferenciable M, con conexion , y metrica
g. La conexion es compatible con la metrica si para cualquier curva , y cualesquiera dos campos vectoriales V, W paralelos a lo largo de , se tiene que
g(V, W ) = c, donde c es constante.
56
Proposici
on 3. Sea una variedad diferenciable M, con conexion , y metrica
g.
a) La conexion es compatible con la metrica si y solo si para cualesquiera dos
campos campos vectoriales V y W definidos a lo largo de una curva diferenciable
: I R M tenemos que

dW
dV
d
g(V, W ) = g
, W + g V,
d
d
d
(2.126)
para toda I.
b) Una conexion es compatible con la metrica si y solo si para todos campos
vectoriales U, V, W X(M)
Ug(V, W ) = g(U V, W ) + g(V, U W )
Demostracion. a) La ecuacion (2.126) implica que la conexion es compatible
con la metrica.
Para el inverso, escojamos una base ortonormal {1 (0 ), ...., n (0 )} de T(0 ) .
Extendemos paralelamente los vectores a lo largo de , por la proposicion
2.2. Como es complatible con g, {1 (), ...., n ()} es una base ortonormal de
T() . En coordenadas locales tenemos entonces que V = V y W = W .
Por tanto tenemos que
dV
dV
=
d
d
dW
dW
=
d
d

dV
dW
dW
d
d
dV
=
, W +g V,
W +
V =
V W =
g(V, W )
g
d
d
d
d
d
d

b) Supongamos que es compatible con la metrica y considerese una curva

diferenciable : I R M tal que
d
|=0 = U |p
d
entonces
Ug(V, W ) =
d
g(V, W ) |=0 = g(U |p V, W ) |p + g(V, U |p W ) |p
d
57
Lemma 1. Sean U y V campos vectoriales diferenciables sobre una variedad

diferenciable M. Existe un u
nico campo vectorial W , tal que para toda funcion
diferenciable f : M R,
W f = (UV V U)f
Denotaremos a W por [U, V ].
Demostracion. Supongase que W existe. En una carta coordenada tenemos que

U = U , V = V . Para f : M R tenemos
UV f = U (V f ) = U V f + U V f
V Uf = V (U f ) = V U f + V U f
tomando la diferencia y re-etiquetando indices, tenemos que
W f = (UV V U)f = (U V V U ) f
que prueba la unicidad de W . Para la existencia tan solo se define W en cada

carta coordenada como la expresion anterior. Por la unicidad dadas dos cartas
coordenadas donde haya interseccion se puede definir W sobre toda la variedad
M.
Definici
on 15. Una conexion sobre una variedad diferenciable es simetrica
cuando
U V V U = [U, V ]
(2.127)
Es facil ver que en coordenadas locales la definicion 8 implica que = .
Teorema 2. Sea M una variedad diferenciable con metrica g. Existe una u
nica
conexion sobre M que es simetrica y compatible con la metrica.
Demostracion. Supongamos que dicha conexion existe. Tenemos entonces que
Ug(V, W ) = g(U V, W ) + g(V, U W )
V g(W, U) = g(V W, U) + g(W, V U)
W g(U, V ) = g(W U, V ) + g(U, W V )
sumando las 2 primeras ecuaciones y restando la tercera tenemos
Ug(V, W ) + V g(W, U) W g(U, V ) = g(U V, W ) + g(V, U W ) + g(V W, U) + g(W, V U)
g(W U, V ) g(U, W V )
= g([U, W ], V ) + g([V, W ], U) + g([U, V ], W ) + 2g(V U, W )
58
por lo tanto
1
g(V U, W ) = (Ug(V, W )+V g(W, U)W g(U, V )g([U, W ], V )g([V, W ], U)g([U, V ], W ))
2
Esta expresion muestra que la conexion esta determinada de manera u
nica
por la metrica. Para su existencia se define por medio de dicha expresion.
En un sistema de coordenadas en terminos de las bases, la expresion anterior
se escribe de la forma siguiente: Sea U = , V = y W = , entonces
1
g = ( g + g g )
2
y esto a su ve implica que
(2.128)
1
= g ( g + g g )
(2.129)
2
Esta u
ltima formula nos sirve para calcular los coeficientes de la conexion sobre
una variedad. Veamos ahora algunos ejemplos.
2.4.1.
Ejemplos
Esfera
La metrica en la esfera esta dada por
ds2 = d2 + sen2 d 2
(2.130)
Calculemos ahora los smbolos de Christoffel o coeficientes de la conexion. Observe que como no hay terminos cruzados en la metrica, la formula para calcular
los coeficientes se simplifica.
1
= g ( g + g g )
2
1
= g ( g )
2
= sen cos
1
= g ( g + g g )
2
1
= g ( g )
2
1
=
(2 sen cos )
2 sen2
cos
=
=
sen
Los smbolos restantes se desvanecen.
(2.131)
(2.132)
59
Plano hiperb
olico
El plano hiperbolico H 2 se define como el medio plano, es decir esta dado
por H 2 = {(x, y) R2 | y > 0}, con metrica
ds2 =
dx2 + dy 2
y2
(2.133)
Antes de calcular los smbolos de Christoffel de esta metrica, consideremos una

curva vertical que va del punto y1 a y2 . Dicha curva se puede parametrizar como
() = (x0 , ), donde x0 es constante.
Tenemos que
L() =
y2
Zy1y2
dx dx
d
d d
y1

y2
= ln
y1
=
(2.134)
de lo que se puede observar que la distancia tiende a infinito para curvas que se
aproximan a la frontera y = 0.
Calculemos ahora los smbolos de Christoffel. De nuevo observe que como
no hay terminos cruzados en la metrica, la formula para calcular los coeficientes
se simplifica.
1
yxx = g yy (x gxy + x gyx y gxx )
2
1
= g yy (y gxx )
2
1
=
y
1
yyy = g yy (y gyy + y gyy y gyy )
2
1 yy
= g (y gyy )
2
1
=
y
(2.135)
(2.136)
60
1
xxy = g xx (x gyx + y gxx x gxy )
2
1
= g xx (y gxx )
2
1
= = xyx
y
(2.137)
Definici
on 16. Una curva : I R M, es una geodesica si
d
d d
= d
=0
d d
d d
(2.138)
, en una
para todo I. Volviendo a la proposicion 1 tenemos que V = d
d
coordenada local tenemos que considerando la ecuacion 2.124 la ecuacion de
una geodesica se puede escribir

2
d d
dx
dx dx
= 0
(2.139)
=
+
d d
d2
d d
Podemos tambien considerar que para encontrar las geodesicas en una variedad
diferenciable de dimension n, se tienen que resolver n ecuaciones diferenciables(un sistema) de segundo orden.
Escribamos algunas ecuaciones de geodesicas para unos ejemplos y resolvamos un caso.
2.4.2.
Ejemplos
La esfera
La esfera tiene metrica dada por
ds2 = d2 + sen2 d 2
(2.140)
y smbolos de Christoffel
= sen cos
=
cos
=
sen
Las ecuaciones de las geodesicas estan entonces dadas
(2.141)
61
d d
d2
+
=0
2
d
d d
d2
d d
+
2
=0
d2
d d
Y sustituyendo los valores de los smbolos de Christoffel obtenemos
(2.142)
2
d
d2
sen cos
=0
2
d
d
cos d d
d2
+2
=0
2
d
sen d d
(2.143)
Plano hiperb
olico
El plano hiperbolico H 2 = {(x, y) R2 | y > 0}, tiene metrica
ds2 =
dx2 + dy 2
y2
(2.144)
y smbolos de Christoffel
yxx =
1
y
yyy =
1
y
1
xxy = = xyx
y
Las ecuaciones de las geodesicas estan entonces dadas
(2.145)
dx dy
d2 x
+ 2xxy
=0
2
d
d d
d2 y
dx dx
dy dy
+ yxx
+ yyy
=0
2
d
d d
d d
Y sustituyendo los valores de los smbolos de Christoffel obtenemos
d2 x 2 dx dy
=0
d2 y d d
2 2
dx
dy
d2 y 1
=0
+
2
d
y
d
d
(2.146)
(2.147)
62
Resolver estas ecuaciones nos da las curvas geodesicas en el plano hiperbolico.
En lugar de resolverlas, aprovechemos este ejemplo para introducir una forma
alternativa y mas simple de calcular las curvas geodesicas.
Tanto en geometra diferencial como en relatividad general definimos el Lagrangiano por la ecuacion
L = g
Denotando por x :=
dx
d
dx dx
d d
(2.148)
las ecuaciones de Euler-Lagrange estan dadas por

d L
L
=0
d x
x
(2.149)
Ademas tenemos que sobre una trayectoria geodesica se preserva el producto interior, usando la metrica correspondiente, del vector tangente a la curva consigo
mismo. Esto es que en geometra diferencial podemos escribir la ecuacion
dx dx
=1
g
d d
(2.150)
y en el caso de Relatividad General podemos escribir

dx dx
= 1
d d
dx dx
=0
g
d d
(2.151)
para curvas temporales y nulas, respectivamente.

Regresemos a nuestro ejemplo del plano hiperbolico. Podemos escribir la
ecuacion
2
2
1 dx
1 dy
+ 2
=1
y 2 d
y d
Ademas de la ecuacion de Lagrange para x y
dx
d

d 2 dx
=0
d y 2 d
1 dx
=k
2
y d
(2.152)
dada por
(2.153)
donde k es constante. Sustituyendo la ecuacion (2.153) en la (2.152) tenemos

que
2
2
1
1 dy
2
ky
=1
+ 2
y2
y d
2
1 dy
2 2
=1
k y + 2
y d
2
dy
= (y 2 k 2 y 4 )
63
(2.154)
Haciendo un cambio de variable de tal forma que y(x()), tenemos

dy
dy dx
dy
=
= ky 2
d
dx d
dx
Sustituyendo (2.155) en (2.154) tenemos que
2
dy
1 k2y 2
1
= 2 2 1 =
dx
k y
k2 y 2
Separando variables e integrando tenemos
Z
Z
ky
p
dy
dx =
1 k2y 2
(2.155)
(2.156)
(2.157)
Si en la integral respecto de y, hacemos u = 1 k 2 y 2 , tenemos que du =

2k 2 y dy, obteniendo finalmente
xa=
que puede ser re-escrito como
1p
1 k2y 2
k
(2.158)
1
(2.159)
k2
que en el plano superior (plano hiperbolico) es un semi-crculo centrado en
x = a, y = 0, y de radio 1/k.
(x a)2 + y 2 =
64
Captulo 3
Relatividad General
3.1.
Principio de equivalencia
Considere el siguiente experimento mental conocido como el elevador de

Einstein. Dentro de un elevador que se encuentra a una gran altura sobre la
superficie de un planeta, hay un observador que no tiene manera de ver el
exterior sino u
nicamente sus cuatro paredes, techo y piso. De pronto sucede que
el cable que sostiene al elevador se rompe y este empieza a caer con acelercion
.
constante a
3.2.
Lmite Newtoniano
Definici
on 17. Tenemos que un espacio-tiempo M es una variedad real 4dimensional con un campo tensorial Lorentziano no-degenerado and Lorentzian
g de tipo (0, 2).
Por tanto existe un sistema de coordenadas alrededor de cualquier punto
pM
con x(t, x, y, z) = p x(U) y
tiene forma
x : U R4 M
(p)
x
= dx(0, , 1, , 0) tal que la metrica
g = diag(1, 1, 1, 1)
(3.1)
La metrica Lorentziana satisface las ecuaciones de Einstein de la relatividad

general dadas por
1
R Rg = kT
(3.2)
2
donde R es la curvatura de Ricci, R es el escalar de curvatura y T es el
tensor de energa momento.
65
66
La informacion del campo gravitacional esta contenida en g, y en relatividad general la gravedad no es interpretada como una fuerza sino como una
consecuencia de la curvatura del espacio-tiempo.
Las partculas que se mueven solo por la influencia del campo gravitacional
siguen geodesicas en el espacio-tiempo. La gravedad Newtoniana es recuperada
en un lmite de la relatividad general donde el movimiento geodesico de las
partculas se transforma en la conocida ecuacion de la aceleracion de la gravedad
dada por el gradiente del potencial gravitacional.
En el lenguaje de relatividad el lmite Newtoniano esta dado por tres condiciones:
1) El campo gravitacional es estatico, lo que significa que las componentes
del tensor metrico son independientes de la coordenada temporal, esto es
g
=0
t
(3.3)
2) El campo gravitacional es debil, lo que significa que las componentes del

tensor metrico estan proximas a la metrica del espacio-tiempo de Minkowski,
esto es
g = + h
(3.4)
donde h son funciones diferenciables en una carta coordenada del espaciotiempo, h : x1 (x(U)) R tal que |h | << 1.
3) Las partculas masivas se mueven a una velocidad muy por debajo de la
velocidad de la luz, lo que significa que si la trayectoria local de una partcula
es el espacio-tiempo ( ) : I R M tiene componentes locales x1 ()( ) :
I R R4 dadas por
x1 ()( ) = (t( ), x( ), y( ), z( )) = x ( )
(3.5)
entonces
dx
=
d
dt dx dy dz
, , ,
d d d d
(3.6)
satisface

i

dx
<< dt

d
d
(3.7)
en cada punto de la lnea de mundo, para i = 1, 2, 3, donde hemos etiquetado

x = x1 , y = x2 , z = x3 .
67
Bajo estas condiciones, las ecuaciones de las geodesicas estan dadas por
2
dt
d2 x
+ tt
=0
2
d
d
(3.8)
y tomando en consideracion las condiciones del lmite Newtoniano tenemos que

1
tt = htt
(3.9)
2
x
La ecuacion relacionada a la derivada de la componente de tiempo se reduce a
d2 t
= constant
(3.10)
d 2
y despues de una reparametrizacion de la curva con t como parametro las ecuaciones espaciales estan dadas por
d2 xi
1
=
htt
2
dt
2 xi
Si identificamos htt = 2, donde es el potencial gravitacional
(3.11)
GM
r
(3.12)
a
=
(3.13)
=
recuperamos la ecuacion de Newton
Mas aun, la ecuacion (3.4) nos dice que la componente de tiempo de la metrica
esta dada por

2GM
(3.14)
gtt = 1
r
3.3.
La m
etrica de Schwarzschild
La metrica de Schwarzschild esta dada por

1

2GM
2GM
2
dt + 1
dr 2 + r 2 (d2 + sen2 d2 ) (3.15)
ds = 1
r
r
2
3.4.
Paraboloide de Flamm
Consideremos la hipersuperficie espacial en la geometra de Schwarzschild

dada por t = c, donde c es constante. La metrica de dicha hipersuperficie
denotada d2 esta dada por
68
1

2GM
dr 2 + r 2 (d2 + sen2 d2 )
d = 1
r
2
(3.16)
Dicha superficie puede ser inmersa en R4 Euclideo. La metrica de R4 Euclideo

en coordenadas cilndricas (z, r, , ), esta dada por
ds2 = dz 2 + dr 2 + r 2 (d2 + sen2 d2 )
(3.17)
La finalidad es encontrar la ecuacion de una hipersuperficie de revolucion en R4

generada por rotacion alrededor del eje z de tal forma que herede la metrica
(3.15). Para visualizar consideremos el plano (z, r). En dicho plano tenemos una
curva dada por z(r) de lo que tenemos
Figura 3.1: Paraboloide de Flamm
dz
dr
dr
por lo que la metrica en la hipersuperficie esta dada por
dz =
(3.18)
69

2
dz
dr 2 + r 2 (d2 + sen2 d2 )
d = 1 +
dr
2
(3.19)
Para que coincida con la metrica (3.15) pedimos que

1/2
dz
r
=
1
dr
r 2GM
(3.20)
Escogiendo el signo positivo e integrando tenemos

z(r) =
r
2GM
s
1
s 2GM
1/2
ds =
p
8GM(r 2GM)
(3.21)
Si tomamos el plano ecuatorial = /2 y hacemos girar esta curva alrededor del

eje z obtenemos una superficie que se ve como en la figura 3.1 y que se conoce
como paraboloide de Flamm.
3.5.
Efecto Doppler gravitacional
Supongamos que tenemos un emisor fijo ubicado en las coordenadas espaciales (rE , E , E ) y un receptor fijo ubicado en las coordenadas espaciales
(rR , R , R ), tal que rE < rR . Si se emite un foton en la coordenada de tiempo
tE y se recibe en la coordenada de tiempo tR , se tiene entonces que un foton viaja
en una curva geodesica nula del evento (tE , rE , E , E ) al evento (tR , rR , R , R )
en el espacio-tiempo de Schwarzschild. Un segundo foton es emitido desde el
evento (tE + tE , rE , E , E ) y recibdo en (tR + tR , rR , R , R ).
Como los fotones emitidos viajan en una trayectoria nula, ds2 = 0, tenemos
que para ambos fotones se cumple

1
2GM
2GM
2
1
dt + 1
dr 2 + r 2 (d2 + sen2 d2 ) = 0
r
r
(3.22)
lo que podemos re-escribir como

dt
=
d
1/2
1/2

dxi dxj
2GM
gij
1
r
d d
(3.23)
Integrando desde el evento de emision del primer foton a su recepcion tenemos

que
tR tE =
(rR ,R ,R )
(rE ,E ,E )
2GM
1
r
1/2
dxi dxj
gij
d d
1/2
(3.24)
de la misma forma si integramos desde el evento de emision del segundo foton

a su recepcion tenemos
70
tR + tR (tE + tE ) =
(rR ,R ,R )
(rE ,E ,E )

1/2
1/2
2GM
dxi dxj
1
gij
(3.25)
r
d d
El lado derecho de ambas ecuaciones es el mismo de tal forma que entonces

tenemos que tR tE = tR + tR (tE + tE ), de lo que concluimos que
tR = tE
(3.26)
Calculemos ahora el tiempo propio de la lnea de mundo del emisor entre los
eventos (tE , rE , E , E ) y (tE + tE , rE , E , E ) y el tiempo propio de la lnea
de mundo del receptor entre los eventos (tR , rR , R , R ) y (tR + tR , rR , R , R ).
Aun cuando de manera simple podemos calcular dichos tiempos propios,
hagamos esto de manera formal.
El tiempo propio de un observador que sigue una curva , en un espaciotiempo M con metrica g, () : (a, b) R M, esta dado por
Z br
dx dx
d
(3.27)
g
=
d d
a
Ahora, el emisor que tiene posicion espacial fija, tiene linea de mundo que
se puede parametrizar por () = (, rE , E , E ), y su velocidad es entonces
d/d = (1, 0, 0, 0). Por tal su tiempo propio E es
E =
Z br
a
dx dx
d =
g
d d
tE +tE
tE

2GM
d
1
r
como r es una coordenada fija dada por rE , tenemos

2GM
E = 1
tE
rE
(3.28)
(3.29)
De la misma forma se puede ver que el tiempo propio del receptor esta dado
por

2GM
tR
(3.30)
R = 1
rR
Como tR = tE tenemos

1
R
=
E
1
lo que implica que
2GM
rR
2GM
rE
(3.31)
R
=
E
2GM
rE
2GM
rR
71
(3.32)
de donde se puede ver que si rR > rE entonces R < E .
3.6.
Geod
esicas en el espacio-tiempo de
Schwarzschild
Una forma alterna de derivar las ecuaciones de las geodesicas es utilizar el

principio variacional de la mecanica clasica sobre el Lagrangiano. Sea () una
curva en el espacio-tiempo de Schwarzschild. Consideremos el Lagrangiano dado
por

d d
dx dx
L=g
= g
,
(3.33)
d d
d d
que en el caso de la metrica de nuestro espacio-tiempo en consideracion tenemos
2
1 2
2
2

dt
dr
d
2GM
d
2GM
2
2
+ 1
+r
+sen
L = 1
r
d
r
d
d
d
Del principio variacional tenemos las ecuaciones de Euler-Lagrange dadas por

d L
L
=0
(3.34)
d x
x
donde x = dx /d.
Derivemos como ejemplo simple la primera ecuacion. Deacuerdo a (3.16)
esta dada por

L
d L
=0
(3.35)
d t
t
Tenemos que

L
2GM dt
= 2 1
r
d
t
(3.36)
Como el lagrangiano no depende de t tenemos que

L
=0
t
por lo que la ecuacion (3.17) esta dada por
(3.37)
72
d
d

2GM dt
1
=0
r
d
(3.38)
(3.39)
lo que implica que

2GM
1
r
dt
=k
d
De la misma forma se obtienen las ecuaciones restantes dadas por

1 2
2
2
2
2GM
d r GM dt
GM dr
2GM
1
+ 2
1
r
d2
r
d
r
r 2 d
2
2
d
d
2
=0
r
+ sen
d
d
2
d2 2 dr d
d
+
sen cos
=0
2
d
r d d
d
d
= h (3.40)
r 2 sen2
d
Sin perdida de generalidad y utilizando el hecho de que la geometra de Schwarzschild es esfericamente simetrica podemos suponer que las partculas se
mueven en el plano ecuatorial = /2. En este caso las ecuaciones de las
geodesicas se reducen a

2GM dt
1
=k
r
d
1 2
2
2
2
2

d r GM dt
GM dr
2GM
d
2GM
+ 2
1
r
=0
1
2
2
r
d
r
d
r
r
d
d
d
=h
r2
d
Es mas conveniente reemplazar la segunda de estas ecuaciones por una primera
integral que se encuentra dada por

d d
,
g
d d
= 1
(3.41)
en el caso de partculas masivas, o por

d d
g
,
d d
en el caso de fotones.
=0
(3.42)
3.7.
73
Partculas masivas
3.7.1.
Movimiento radial
Consideremos las ecuaciones de las geodesicas de la coordenada temporal t

y angular junto con la ecuacion (3,40).
Las escribimos en terminos del tiempo propio . Ademas sin perdida de
generalidad seguimos considerando el movimiento en el plano ecuatorial.

2GM dt
=k
1
r
d
2
1 2
2

dt
dr
2GM
2GM
2 d
+ 1
+r
= 1
1
r
d
r
d
d
d
=h
r2
d

Relatividad

Загружено:

Сведения о документе

Исходное описание:

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Relatividad

Загружено:

Авторское право:

Доступные форматы

Relatividad

La relatividad Galileana o Newtoniana se basa en la existencia de un espacio

Figura 1.1: Sistemas inerciales en movimiento relativo

De manera inversa las transformaciones inversas de las coordenadas de S en

terminos de las de S tienen la misma forma remplazando v por v.

El Espacio-Tiempo de Minkowski y Transformaciones de Lorentz

La relatividad especial surge al abandonar del concepto de tiempo absoluto

El origen de S , es decir x = 0, desde el punto de vista del observador en S

Considere que cuando los dos sistemas S y S coinciden en sus respectivos

Utilizaremos unidades de tal forma que la velocidad de la luz c = 1. Y nuestra

Sustituyendo en esta ecuacion (1.7) las transformaciones de las ecuaciones (1.4)

(E 2 B 2 )x2 + y 2 + z 2 2(vE 2 + AB)xt = (A2 v 2 E 2 )t2

Podemos re-escribir la ecuacion como

Comparando esta ecuacion (1.9) con la ecuacion (1.6) tenemos el sistema de

Resolviendo este sistema de ecuaciones encontramos los valores de A, B, E dados

Por tanto podemos escribir las ecuaciones (1.3) como

Un evento es entonces un punto del espacio-tiempo con coordenadas (t, x, y, z)

Utilizando la convencion de Einstein nos olvidamos de la suma en la ecuacion

No confundir, los numeros arriba de las letras denotan numeraci

(x0 )2 + (x1 )2 + (x2 )2 + (x3 )2 = (x )2 + (x )2 + (x )2 + (x )2

que es la matriz asociada a dicha transformacion lineal.

donde < < . La transformacion invesa esta dada reemplazando por

Para ver que esta forma de la transformacion de Lorentz (1.19) es equivalente

Las ecuaciones (1.19) las ponemos en la forma

tenemos que cosh = 1/sech = 1/ 1 tanh2 = 1/ 1 v 2 = . Por tanto

Y por lo tanto nuestra transformacion (1.19) es equivalente a la transformacion (1.12).

Geometricamente la forma en que escribimos las transformaciones de Lorentz

Figura 1.2: Rotacion espacio-temporal

de t es mayor a 1. Por tanto los ejes t y x en el diagrama espacio-temporal

Veamos ahora una descripcion mas formal y matematica de la relatividad

Los elementos de M se llaman eventos.

Considere la matriz dada por

y usando la convencion de Einstein tenemos que

para cada = 0, 1, 2, 3. Observe que dicha ecuacion puede escribirse usando la

que en la notacion de Einstein es

Es facil ver que la ecuacion (1.29) es equivalente a

T esta dada por

que para un vector en general v = (v 0 , v 1 , v 2 , v 3 ) tenemos que la transformacion

donde t es la matriz traspuesta.

(00 )2 = 1 + (10 )2 + (20 )2 + (30 )2

Teorema 1. Sea v un vector temporal, y w 6= 0 un vector temporal o nulo. Sea

(v 0 w 0 )2 > ((v 1 )2 + (v 2 )2 + (v 3)2 )((w 1)2 + (w 2)2 + (w 3 )2 ) (v 1 w 1 + v 2 w 2 + v 3 w 3 )2

asi tenemos que v 0 w 0 6= 0 y g(v, w) 6= 0. Sea v 0 w 0 > 0, entonces

Analogamente se puede verificar que si v 0 w 0 < 0 entonces g(v, w) > 0.

Sean dos sistemas de referencia inerciales S y S , que se mueven a velocidad

Figura 1.3: Dos sistemas S y S en movimiento relativo. Una barra en S de

Por lo tanto la longitud L de la barra aparece contrada desde el punto de vista

S tienen lugar en tiempos

Figura 1.4: Dos sistemas S y S en movimiento relativo. Un reloj en reposo en

Curvas en el espacio-tiempo y tiempo propio

Considere de nuevo el espacio-tiempo de MInkowski como se definio en la

donde hemos re-etiquetado t = x0 , x = x1 , y = x2 , z = x3 . Recuerde tambien

La separacion entre los eventos p1 y p2 se le llamara respectivamente

Figura 1.5: Vectores en el espacio-tiempo

De manera mas general tenemos que una partcula en el espacio-tiempo de un

= ( dxd() , dxd() , dxd() , dxd() ) = dxd() . Una curva () en el

En relatividad entenderemos que una partcula masiva viajara siempre a una

Figura 1.6: Paradoja de los gemelos

Tenemos que la velocidad v es constante y como el tiempo propio total

Los fotones emitdos obedecen a la ecuacion

la cual implica que

Esto implica que el cociente entre la frecuencia del receptor r y la frecuencia