Sobre La Teoría Especial de La Relatividad

Sobre la teora especial de la relatividad
Juan Manuel Tejeiro Sarmiento

Profesor Titular
Observatorio Astronmico Nacional
Facultad de Ciencias
Universidad Nacional de Colombia
2005
ii
ndice general
Introduccin
IX
Cinemtica relativista
1. Modelo mecnico del mundo

1.1. Introduccin . . . . . . . . . . . . . . . . .
1.2. Leyes de Newton y principio de relatividad
1.3. Luz y ter: El retorno al espacio absoluto .
1.3.1. Un experimento crucial . . . . . . .
.
.
.
.
3
3
4
9
15
.
.
.
.
19
19
24
32
41
.
.
.
.
.
49
49
49
53
58
62
4. Cinemtica relativista
4.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Cuadri-vector velocidad . . . . . . . . . . . . . . . . . . . . .
4.3. Cuadri-vector aceleracin . . . . . . . . . . . . . . . . . . . . .
67
67
67
72
2. Fundamentos de la relatividad especial

2.1. Postulados de la relatividad especial . .
2.2. Transformaciones de Lorentz . . . . . .
2.3. Propiedades de las TL . . . . . . . . .
2.4. Consecuencias de las TL . . . . . . . .
.
.
.
.
3. La estructura causal del espacio-tiempo

3.1. Introduccin . . . . . . . . . . . . . . . .
3.2. Rotaciones en el plano euclideano . . . .
3.3. Cuadri-vectores y el grupo de Lorentz . .
3.4. Conos de luz y relaciones de causalidad .
3.5. Algebra de cuadri-vectores . . . . . . . .
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
iv
NDICE GENERAL
4.3.1. Viaje interestelar . . . . . . . . . . . . . . . . . . . . . 73
4.4. Cuadri-vector de onda . . . . . . . . . . . . . . . . . . . . . . 79
II
Dinmica relativista
83
5. Dinmica relativista
5.1. Ecuaciones de movimiento . . . . . . . . . .
5.2. Leyes de conservacin . . . . . . . . . . . . .
5.3. Propiedades del c-momentun . . . . . . . . .
5.4. Sistema centro de masa . . . . . . . . . . . .
5.5. Energa umbral . . . . . . . . . . . . . . . .
5.6. Fotones y partculas de masa en reposo cero
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6. Aplicaciones de la dinmica relativista

6.1. Introduccin . . . . . . . . . . . . . . . . . . . . .
6.2. Colisiones elsticas . . . . . . . . . . . . . . . . .
6.2.1. Efecto Compton . . . . . . . . . . . . . . .
6.2.2. Efecto Compton inverso . . . . . . . . . .
6.3. Colisiones inelsticas . . . . . . . . . . . . . . . .
6.3.1. Absorcin de un fotn por un tomo . . .
6.3.2. Emisin de un fotn por un tomo exitado
6.4. Sistemas de masa variable . . . . . . . . . . . . .
6.5. Creacin y aniquilacin de partculas . . . . . . .
III
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
85
85
89
92
95
97
100
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
105
. 105
. 105
. 106
. 109
. 111
. 113
. 116
. 118
. 120
Electrodinmica relativista
123
7. Tensores
7.1. Introduccin . . . . . . . . . . . . . . . . .
7.2. Deniciones fundamentales . . . . . . . . .
7.2.1. Componentes covariantes . . . . . .
7.2.2. Algebra tensorial . . . . . . . . . .
7.2.3. Propiedades de simetra de tensores
7.3. Transformacin general de coordenadas . .
7.4. Operadores vectoriales
.
125
. 125
. 126
. 128
. 131
. 136
. 142
. 145
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
NDICE GENERAL
8. Electrodinmica
8.1. Introduccin . . . . . . . . . . . . . . . . . .
8.2. Ecuaciones de Maxwell . . . . . . . . . . . .
8.3. Campo magntico como un efecto relativista
8.4. Ecuaciones de Maxwell covariantes . . . . .
8.5. Transformaciones Gauge . . . . . . . . . . .
9. Revisin bibliogrca
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
149
. 149
. 150
. 152
. 161
. 171
175
vi
NDICE GENERAL
Prefacio
El presente libro es el resultado de varios aos de experiencia como profesor de la asignatura de Relatividad para los estudiantes de la carrera de
Fsica. Una primera versin del libro fue publicada por la Facultad de Ciencias como Notas de Clase, la cual, en el transcursos de los ltimos dos aos
y con las sugerencias y recomendaciones de muchos de los alumnos, me ha
permito mejorar sustancialmente esta primera versin.
El objetivo fundamental de este libro es presentar los principios bsicos y
los resultados fundamentales de la teora especial de la relatividad, con nfasis
en una formulacin covariante, es decir una formulacin que nos permite
desde un principio, exhibir en forma explcita el carcter relativista de una
teora. Para este n se han organizado los temas en tres Partes
La primera parte del libro la conforman los tres primeros captulos. El
primer captulo es una introduccin general, un segundo captulo sobre los
fundamentos de la mecnica Newtoniana, con una breve discusin sobre el
problema del ter, esto con el n de motivar los postulados bsicos de la
teora especial de la relatividad y sus principales consecuencias, desarolladas
en el tercer captulo.
La segunda parte constituye el cuerpo central del libro. Comenzando con
un captulo dedicado a una formulacin exhaustiva del concepto de cuadrivector y la estructura causal del espacio-tiempo, se continua con el captulo
quinto en el cual formulamos los principios y leyes de la dinmica relativista,
para tratar en el siguiente captulo las principales aplicaciones de la dinmica
relativista.
La ltima parte est destinada a formular la teora electromagntica
(ecuaciones de Maxwell) en forma explcita relativista y a mostrar como surge
el campo magntico como un efecto relativista (captulo octavo). Para este n
es necesario dedicar un captulo a la formulacin y lgebra de tensores sobre
el espacio de Minkowski, partiendo de la denicin de cuadri-vector desarrovii
viii
PREFACE
llada en el captuo cuarto, sin recurrir a todo el formalismo matemtico de

las variedades y la geometra diferencial, pero manteniendo la validz general,
tanto en la notacin como en los resultados fundamentales.
En un breve captulo nal se lista y se comenta una bibliograa bsica sobre relatividad especial, la cual contiene libros de divulgacin, textos
elementales y avanzados, y algunos libros de interes histrico.
Introduccin
La teora de la relatividad (especial y general) es considerada como uno
de los ms grandes logros de la mente humana y forma parte, de lo que
podemos llamar la cultura del hombre del siglo XX. A pesar del estigma
de incomprensibilidad que siempre ha rodeado a la teora de la relatividad,
en el sentido que su comprensin est al alcance solamente de unos pocos
especialistas, esta teora cientca ha sido la de mayor impacto y difusin a
nivel de divulgacin y ha tenido inuencia denitiva sobre nuestra imagen
del mundo.
El desarrollo de la teora de la relatividad ha estado marcado por circunstancias particulares que la diferencian de otros desarrollos de la fsica
contempornea, a las cuales me referir en esta introduccin, con el n de
mostrar, por una parte el estado actual de la teora y por otra, el papel
fundamental que ha jugado y juega esta teora en el desarrollo de la fsica
actual.
La formulacin de la Teora Especial de la Relatividad dada por Einstein
en 1905 es completa, es decir, a parte de ejemplos y aplicaciones de la teora,
o de su reformulacin en trminos de modelos matemticos ms sosticados,
todo los elementos bsicos que hoy conocemos de la teora especial de la
relatividad estn contenidos en los trabajos originales de Einstein. Adems,
el estilo del primer trabajo publicado por Einstein sobre el tema, a diferencia de otros trabajos en fsica terica, se caracteriz por su sencillez en la
exposicin, con muy poco contenido matemtico y la ausencia de referencias
a artculos y trabajos anteriores. Su conclusin fundamental, la necesidad de
reformular el concepto absoluto de simultaneidad y con l, el concepto de
tiempo en fsica, muestra la genialidad de Einstein, no por la complejidad de
sus razonamientos ni la complejidad en los clculos, sino por la profundidad
de sus conclusiones, las cuales modicaron de manera radical e irreversible
nuestros conceptos bsicos de espacio y tiempo.
ix
INTRODUCCIN
No es cierto, como sostienen algunos escritos de divulgacin sobre relatividad, que el trabajo de Einstein no fue comprendido en su tiempo, pues
pocos meses despus de su publicacin fsicos de Cracovia armaban que
haba nacido un nuevo Copernico y ya para 1909, los principales fsicos de
esa poca tales como Planck, von Laue y otros, reconocieron la genialidad de
Einstein y la importancia de sus trabajos.
Es importante resaltar en este punto que de hecho todas las ecuaciones
bsicas de la teora especial de la relatividad, tales como la contraccin de longitudes, aumento de la masa con la velocidad, la equivalencia masa-energa,
etc., ya eran conocidas en la literatura y por lo tanto, la fsica si estaba
preparada para entender y asimilar las ideas de Einstein. Para comprender
esto, basta con recordar que la teora electromagntica de Maxwell es una
teora relativista y por lo tanto era de esperar que un estudio minucioso
de las ecuaciones de Maxwell (recordemos el excelente trabajo realizado por
Lorentz sobre el electrn, el cual fue publicado en 1904) condujera a todas
estas ecuaciones relativistas, aun cuando su interpretacin estuviera fuertemente inuenciada por el concepto del ter.
Claramente, el impacto de la teora especial de la relatividad de Einstein
no se poda esperar que fuera muy grande a nivel experimental y tecnolgico,
pues de hecho la posibilidad de probar experimentalmente la teora en forma
directa era muy difcil y ms signicativo an, era su escasa o prcticamente
nula aplicabilidad. Esto, debido a que los fenmenos relativistas son relevantes en situaciones que involucren velocidades comparables a la velocidad
de la luz en el vaco (aproximadamente 300 000
), lo cual solo vino a ser
posible con el desarrollo de los grandes aceleradores de partculas a mediados
del siglo XX.
En 1916 Einstein publica la Teora General de la Relatividad, la cual corresponde a la formulacin relativista de la ley de gravitacin universal de
Newton. Estos trabajos, a diferencia de sus primeras publicaciones sobre la
teora especial de la relatividad, si requirieron de una estructura matemtica
muy compleja: la geometra diferencial y el clculo tensorial. Dos predicciones fundamentales surgen de estos trabajos, el corrimiento del perihelio
de Mercurio, efecto que ya haba sido observado, ms no explicado por los
astrnomos y la desviacin de la luz por el sol, cuya corroboracin se da en
1919, aprovechando un eclipse total de sol que tuvo lugar el 29 de Mayo.
Ms signicativo an para el desarrollo de la teora general de la relatividad, puede ser el descubrimiento de Hubble de la expansin del universo en
1929, si bien Einstein no haba predicho este efecto, si estaba contenido en
xi
sus ecuaciones de la relatividad general. Este punto de la historia marca el
comienzo de la cosmologa actual, la cual es una de las reas de investigacin
ms activas que tenemos hoy da.
Retomando de nuevo el desarrollo de la teora especial de la relatividad,
es importante anotar en este punto, que si bien Albert Einstein recibi el
Premio Nobel de fsica, no por la teora de la relatividad, sino por su trabajo
sobre el efecto foto-elctrico, el papel fundamental que juega la teora de la
relatividad especial en el desarrollo de la fsica se comienza a reconocer a
nales de la segunda dcada del siglo XX y el cual va muy de la mano con
el desarrollo de la teora cuntica. En efecto, dado que las predicciones de la
teora de la relatividad son signicativas experimentalmente para velocidades
cercanas a la de la luz, es de esperar que sus efectos se maniesten a escalas
atmicas. Un primer ejemplo que podemos citar es el trabajo de De Broglie
(Premio Nobel), en donde, utilizando argumentos relativistas, generaliza la
hiptesis de Einstein sobre la cuantizacin de la radiacin electromagntica
a toda la materia, es decir asocia a cualquier partcula de momentun p una
longitud de onda
=
|p|, postulando que las partculas materiales se
comportan de manera similar a las ondas electromagnticas, por ejemplo
exhibiendo efectos de interferencia. A comienzos de la dcada del veinte,
Schrdinger e independientemente Heisenberg, formulan los principios de la
mecnica cuntica. Si bien esta teora era por principio no relativista, estaba
claro en el ambiente la necesidad de dar una formulacin relativista de la
mecnica cuntica.
Dirac en 1925 presenta el primer desarrollo de la mecnica cuntica relativista en donde se ampla sustancialmente el panorama de la fsica. En efecto,
hasta 1925 se conocan solamente dos partculas elementales: el electrn y el
protn. Como una consecuencia fundamental de su recin desarrollada teora
relativista del electrn, Dirac predice la existencia del spin del electrn y la
existencia de una nueva partcula, el positrn, que es una partcula fundamental de la misma masa del electrn pero de carga opuesta. Este hecho es
posteriormente generalizado y se establece un resultado general de la naturaleza y es que a toda partcula fundamental le corresponde una antipartcula. Estos desarrollos condujeron entonces a la teora cuntica de campos, que
constituye el marco terico para entender las interacciones fundamentales de
la naturaleza (electromagntica, fuerte y dbil), que rigen el comportamiento
de la materia a escala microscpica.
Hoy da la teora especial de la relatividad es reconocida como una teora
fundamental de la fsica, cuyo alcance va ms all de sus posibles aplica-
xii
INTRODUCCIN
ciones experimentales o tecnolgicas, pues lla se enmarca en el contexto

de las propiedades fundamentales del espacio-tiempo, independientemente
de cualquier modelo fsico utilizado para describir los fenmenos. En general, las leyes fsicas que rigen el comportamiento de los sistemas se formulan
en trminos de relaciones (ecuaciones diferenciales) entre las variables fsicas necesarias para describir un sistema. Estas variables fsicas se describen
por funciones del espacio y el tiempo (posicin, momentun, energa, etc.),
cuyo comportamiento est regido por los principios de la teora especial de
la relatividad.
Parte I
Captulo 1
Modelo mecnico del mundo
1.1.
Introduccin
En este captulo presentaremos en forma resumida la situacin de la fsica

a comienzos del siglo XX, destacando los hechos ms relevantes, que nos permitan motivar y entender mejor los conceptos y postulados fundamentales,
sobre los cuales est basada la teora especial de la relatividad, formulada en
1905 por el fsico alemn Albert Einstein.
En la primera seccin revisaremos las leyes y conceptos fundamentales
de la mecnica Newtoniana, dedicando el resto del captulo a presentar una
breve descripcin de algunas de las teoras del ter, con el fn de entender el
problema central que se debata en la fsica en la segunda mitad del sigloXIX,
en cuanto a la aparente inconsistencia entre la mecnica Newtoniana y la
recin desarrollada teora electromagntica.
La teora de la mecnica formulada por Newton en el siglo XVI y enriquecida por la contribucin de muchos fsicos y matemticos a lo largo de
los dos siglos siguientes, se constituy en la teora fundamental que permita
entender, explicar y predecir todos los fenmenos fsicos conocidos. Fue en
la primera mitad del siglo XIX que aparecieron fenmenos relacionados con
el electromagnetismo y con la luz que comenzaron a complicar la imgen
(explicacin) mecnica del mundo. Esta situacin se torn ms crtica en la
segunda mitad del siglo con el desarrollo de la teora de la electrodinmica
de Maxwell, pues su aparente incompatibilidad con la mecnica Newtoniana, reejada no slo en consideraciones tericas sino tambin en resultados
experimentales, hacan pensar que alguna de las dos teoras, la mecnica o la
3
CAPTULO 1. MODELO MECNICO DEL MUNDO
electrodinmica, debera ser abandonada o revisada, lo cual no era un problema fcil, pues ambas teoras presentaban una enorme cantidad de pruebas
experimentales y desarrollos tecnolgicos que sustentaban su validez.
1.2.
Leyes de Newton y principio de relatividad
Para comprender mejor los problemas que se le planteaban a la fsica en

el siglo XIX y preparar el terreno para entender los cambios de interpretacin
necesarios que se dieron con el desarrollo de la teora especial de la relatividad,
en esta seccin revisaremos brevemente algunos conceptos fundamentales de
la mecnica newtoniana, cuyo punto de partida son las tres leyes de Newton:
Ley de la inercia- Toda partcula permanece en estado de reposo o
movimiento rectilneo uniforme respecto a cualquier sistema de referencia
inercial, mientras no acten fuerzas externas sobre l, o equivalentemente el
momentum de una partcula libre de fuerzas permanece constante, en donde
la cantidad dinmica de momentum se dene como
(1.1)
siendo la masa inercial de la partcula y su velocidad.

Ecuacin de movimiento- La fuerza aplicada sobre la partcula es igual
a la rata de cambio de su momentum
=
(1.2)
en donde la ltima igualdad se deduce del hecho que la masa inercial de una
partcula puntual es constante e independiente de su estado de movimiento.
Interaccin entre partculas- La fuerza que una partcula A ejerce
sobre otra partcula B es igual en magnitud y en sentido opuesto a la fuerza
que la partcula B ejerce sobre A.
Para la formulacin de estas leyes hay toda una serie de supuestos bsicos
necesarios, tales como la estructura geomtrica del espacio, el concepto de
tiempo, observador y sistema de referencia, magnitudes fsicas y el concepto
de medida. Sin embargo, no es objeto del presente libro entrar a discutir
exhaustivamente estos conceptos, sino nos centraremos nicamente en aquellos aspectos que son relevantes para plantear y motivar la formulacin de la
teora especial de la relatividad.
1.2. LEYES DE NEWTON Y PRINCIPIO DE RELATIVIDAD
Denamos, en primer lugar, el concepto de observador como un sistema

fsico (reglas o patrn de medida espacial y relojes o patrn de medida temporal), que permite determinar la posicin y el instante de tiempo respecto
a un origen arbitrario, de un fenmeno fsico (que en lo sucesivo llamaremos
evento). A este conjunto de reglas y relojes lo denominaremos sistema de
referencia, cuya representacin matemtica se puede realizar por el espacio
R R3 , con R los nmeros reales que representa el tiempo y R3 el espacio
euclidiano tridimensional que representa el espacio fsico. Dotar al espacio y
al tiempo con esta estructura matemtica supone (como lo asumi explcitamente Newton) que el espacio es absoluto, homogneo e isotrpico y obedece
la geometra euclideana y el tiempo es absoluto y homogneo y por lo tanto
son conceptos independientes del observador.
En segundo lugar, Newton asumi que sus leyes se cumplen en el espacio
absoluto, es decir que sus leyes son vlidas para un observador, cuyo sistema de coordenadas est jo respecto al espacio absoluto. A este observador
particular se le llama sistema de referencia inercial y lo denotaremos por
. Elegir un sistema de referencia inercial es, en principio, escoger una coordenada temporal y un sistema de coordenadas cartesianas (
) para
determinar el instante y la posicin de un evento. Que el origen de la coordenada temporal es arbitrario, reeja el hecho que el tiempo es homogneo,
mientras que el origen y la orientacin arbitrarias de las coordenadas espaciales ponen de maniesto la homogeneidad e isotropa del espacio. Si la
primera ley de Newton es vlida en , entonces una partcula , sobre la cual
no actan fuerzas, debe viajar en una lnea recta y a velocidad constante respecto al sistema . As por ejemplo, si elegimos el origen del tiempo y los
ejes espaciales de tal manera, que la partcula pase por el origen espacial en
el instante = 0 y se mueva en la direccin del eje positivo, entonces su
posicin, en un instante de tiempo cualquiera , est dada por
=
=0;
=0
(1.3)
con
=(
)=(
0 0)
(1.4)
la velocidad de la partcula.
Consideremos otro sistema de referencia 0 , con respecto al cual la partcula permanece en reposo en su origen de coordenadas espaciales, y elijamos
los ejes espaciales de 0 paralelos a los del sistema de referencia inercial
Figura 1.1: Transformaciones de Galileo

y el origen del tiempo de tal manera los relojes comiencen a contar el tiempo, = 0 = 0, cuando los orgenes de los dos sistemas se cruzan. Entonces,
podemos determinar las coordenadas espaciales y el tiempo de cualquier evento fsico, bien sea con respecto al sistema inercial o con respecto al sistema
de referencia 0 . Si llamamos (
) las coordenadas de un evento fsico
cualquiera, medidas respecto a y ( 0 0 0 0 ) las correspondientes coordenadas, medidas respecto a 0 , podemos encontrar la relacin entre las coordenadas del evento, medidas por los dos sistemas de referencia 0 y . Estas
relaciones son llamadas ecuaciones de transformacin de Galileo.
Es fcil encontrar las ecuaciones de transformacin de Galileo (Figura
1.1), pues teniendo encuenta que las ecuaciones (1.3) nos dan la posicin,
respecto al sistema inercial , del origen de coordenadas del sistema 0 ,
entonces, las coordenadas ( 0 0 0 0 ) de cualquier evento medidas por 0 ,
estn relacionadas con las coordenadas (
) del mismo evento medidas
por , por las ecuaciones:
0
en donde se ha hecho el cambio

utilizada en la literatura.
(1.5)
= , para rescatar la notacin usual
1.2. LEYES DE NEWTON Y PRINCIPIO DE RELATIVIDAD
As, en lo sucesivo denotar la velocidad del sistema de referencia 0 respecto a . La eleccin de los dos sistemas coordenados de y 0 con los ejes
coordenados paralelos y la misma orientacin, as como la velocidad relativa
0
de los dos sistemas a lo largo de los ejes
no representa prdida alguna
de generalidad y su justicacin se encuentra en la hiptesis de isotropa del
espacio, la cual implica que la fsica no depende de la orientacin de los ejes
coordenados, o equivalentemente, que el espacio es isotrpico. Adems, en las
ecuaciones de tranformacin de Galileo est implcita tambin la hiptesis de
homogeneidad del espacio y el tiempo, pues la eleccin del origen del tiempo
para los dos sistemas, en el instante en que los orgenes espaciales coinciden, es arbitraria, indicando que cualquier instante de tiempo y todos los
puntos del espacio son equivalentes para describir los fenmenos fsicos. La
primera ecuacin de transformacin, 0 = , representa el carcter absoluto
del tiempo, y signica que (salvo la eleccin arbitraria del origen) el instante
en el cual ocurre un evento fsico es independiente del observador y adems,
esta ecuacin lleva tambin la hiptesis implcita, que existe algn mecanismo
fsico apropiado que permite transmitir informacin instantneamente. Otra
forma de expresar este carcter absoluto del tiempo, es a travs del concepto
de simultaneidad: Si dos eventos, que ocurren en puntos diferentes del espacio para un observador, son simultneos, entonces estos dos eventos son
tambin simultneos para cualquier otro observador, sin importar su estado
de movimiento relativo respecto al primer observador. Como veremos ms
adelante, la simultaneidad es uno de los conceptos fundamentales que debe
ser cuestionado y se torna en un punto muy importante para la formulacin
de la teora de la relatividad.
Una primera consecuencia de las transformaciones de Galileo, es que las
leyes de la mecnica son vlidas en todos los sistemas de referencia que se
muevan con respecto al sistema de referencia inercial, el cual se encuentra en
reposo con respecto al espacio absoluto. La demostracin de este resultado
es directa, pues, si una partcula libre posee una velocidad
=(
(1.6)
)=(
respecto al sistema de referencia inercial , entonces, se obtiene de las ecuaciones de transformacin de Galileo (1.5), que las componentes de la velocidad
de la partcula, medidas en el sistema de referencia 0 estn dadas por:
0
0
0
(1.7)
Este resultado se conoce con el nombre de teorema de adicin de velocidades de Galileo. As, puesto que la velocidad relativa entre los sistemas de
referencia y 0 es constante, entoces, la partcula libre tambin se mueve
con velocidad constante 0 = ( 0 0 0 0 ) respecto al sistema 0 . De manera
similar, se deduce que la segunda ley de Newton tambin se satisface, pues,
utilizando el resultado anterior (ecuacin (1.7)), tenemos que
0
0
0
(1.8)
con el resultado adicional, que no slo la forma de la segunda ley de Newton

=
es la misma, como queramos probar, sino que tanto la fuerza que
acta sobre la partcula, como su aceleracin, toman el mismo valor en los
dos sistemas de referencia. Que la tercera ley de Newton tambin se cumple
para el sistema de referencia , se obtiene de este resultado y del carcter
absoluto de la simultaneidad, pues, la igualdad de las fuerzas de accin y
reaccin es instantnea, independiente de la posicin relativa de los puntos
de aplicacin de las fuerzas.
Esta invarianza de las leyes de la mecnica bajo transformaciones de
Galileo, constituye el Principio de Relatividad Galileano. En la formulacin
inicial de las leyes de Newton, se postul que ellas eran vlidas para un
observador en reposo con respecto al espacio absoluto, que lo llamamos observador inercial o sistema de referencia inercial, y mostramos, que si este
postulado se cumpla, entonces las leyes de Newton tambin eran vlidas en
cualquier sistema de referencia que se moviera con velocidad constante respecto al observador inercial. Esto justica extender el nombre de sistema
de referencia inercial, para todos los observadores con movimiento relativo
constante, respecto al observador inercial inicialmente en reposo relativo al
espacio absoluto. As, podemos dar otras formas equivalentes de enunciar el
principio de relatividad galileano: Las leyes de la mecnica son las mismas en
todos los sistemas de referencia inerciales, o tambin, no es posible, a travs
de experimentos mecnicos, determinar la velocidad del sistema de referencia
inercial con respecto al espacio absoluto.
Esta ltima forma equivalente de enunciar el principio de relatividad Galileano, le quita todo el sentido fsico al espacio absoluto, pues elimina su
estatus privilegiado de ser el nico sistema de referencia con respecto al cual
se cumplen las leyes de la mecnica y por lo tanto, el espacio absoluto queda
como un concepto empricamente vaco, por lo menos en lo que a fenmenos
mecnicos se reere.
1.3. LUZ Y TER: EL RETORNO AL ESPACIO ABSOLUTO
Esta situacin, reconocida desde un principio por Newton, lo condujo a

buscar experimentos alternativos que le permitieran determinar el movimiento con respecto al espacio absoluto. El ejemplo ms conocido en la literatura
lo constituye su experimento del balde rotante, en el cual, la curvatura que
toma la supercie del agua del balde, cuando ste se encuentra en rotacin,
se la atribuye a su movimiento de rotacin respecto al espacio absoluto, pues
este fenmeno, sostena Newton, tena lugar an en el caso que el balde se
encontrara solo en el universo. Crticas a este anlisis son igualmente abundantes en la literatura, siendo la de Mach la ms conocida, pues parte del
anlisis que llev a Einstein a formular los principios de la Teora General de
la Relatividad est basado sobre los trabajos de Mach.
No es objeto de la presente seccin profundizar ms sobre este tema,
pues volveremos sobre el problema del espacio absoluto, cuando discutamos
las teorias del eter y los fenmenos electromagnticos. Sin embargo, es importante dejar claro un aspecto referente a este tema: Dada la imposibilidad
de determinar el movimiento absoluto (a velocidad constante) a travs de
fenmenos mecnicos, Newton recurri, entonces, a sistemas de referencia
acelerados, para los cuales las leyes de la mecnica ya no permanecen invariantes y claramente, los efectos de la aceleracin si son detectables (las, no
bien llamadas fuerzas cticias, tales como la fuerza centrfuga o la fuerza de
coriolis, que surgen en sistemas de referencia acelerados), pero an, en este
caso de sistemas de referencia no inerciales, cualquier referencia al espacio
absoluto sigue siendo superua.
1.3.
Luz y ter: El retorno al espacio absoluto
Hasta comienzos del siglo XIX todos los fenmenos fsicos, incluidos los de
la ptica, admitan una explicacin mecnica. Esto nos permite comprender,
en gran parte, por qu esta imgen mecnica del mundo se extendi hasta
nales del siglo XIX, tratando de explicar fenmenos tales como la propagacin de las ondas de luz, y todos aquellos fenmenos relacionados con la
teora electromagntica de Maxwell. Un ejemplo, que ilustra muy bien esta
concepcin, lo podemos encontrar en la siguiente cita debida a Lord Kelvin:
No estar contento hasta que pueda construir un modelo mecnico del objeto que estoy estudiando. Si lo puedo lograr signica que lo he entendido,
de lo contrario no..
En este pargrafo describiremos brevemente dos desarrollos de la fsica del
10
siglo XIX, el carcter ondulatorio de la luz descubierto por Young y Fresnel

y la electrodinmica de Maxwell, que constituyen, en mi opinin, el punto
de partida ms directo para formular los principios y conceptos de la teora
especial de la relatividad.
El sonido es la propagacin de ondas longitudinales en un medio material,
en donde la velocidad de propagacin est dada por la ecuacin debida a
Newton:
s
Y
=
(1.9)
en donde Y es el mdulo de elasticidad del medio y la densidad del medio.
Adems, la velocidad del sonido es independiente de la fuente, pero depende de la velocidad del medio en el cual se transmite. De manera similar,
se trabajaron modelos para explicar los fenmenos de la luz, como los desarrollados por Hook y Huygens, en donde la luz se consideraba como alguna
forma de onda longitudinal, que se propagaba a travs del espacio. Newton
trabaj este modelo por algn tiempo, pero dada la imposibilidad de explicar la polarizacin de la luz, desarroll el modelo corpuscular, capaz de
explicar este efecto y de dar cuenta de otras propiedades conocidas de la luz,
desplazando al modelo ondulatorio de Huygens.
La teora corpuscular de la luz permaneci vigente hasta comienzos del
siglo XIX, cuando Young y Fresnel explicaron los nuevos fenmenos de interferencia y difraccin, con base en la teora ondulatoria, relegando a la
teora corpuscular Newtoniana, a un captulo ms de la historia de la fsica. Sin embargo, de la misma manera que el sonido necesita de un medio
para propagarse, se vi la fsica avocada a postular un medio material para
la propagacin de las ondas de luz. Este medio material, que optaron por
llamar ter, debera ser de naturaleza diferente a la materia conocida hasta
entonces. Es importante anotar, que el ter en la fsica no era una idea completamente original, pues ya haba sido usado antes para explicar muchos
otros fenmenos. Por ejemplo, Newton, sugiere que el ter puede estar asociado con la gravitacin, con los fenmenos elctricos y magnticos, con la
propagacin del calor etc.. A este respecto, Young aclara, que el ter a travs
del cual se propaga la luz no necesariamente es el mismo que el ter elctrico,
y por esta razn Young propone llamarlo ter lumnico.
Una vez aceptado que la luz es un fenmeno ondulatorio, comenzaron a
desarrollarse teoras y modelos mecnicos del ter, para explicar el mecanismo
de propagacin de las ondas de luz en este medio. Young y Fresnel fueron
11
los primeros en encontrar que las ondas de luz deben ser transversales, para
poder explicar el fenmeno de polarizacin. Este hecho exiga, entonces, un
esfuerzo terico muy grande para comprender el mecanismo de transmisin de
ondas transversales en un medio elstico, dado que sto requera que el medio
de transmisin, el ter, tuviera un coeciente de rigidez muy grande, pues,
como lo demostr Poisson, ondas longitudinales y transversales se podan
propagar en un slido, con
= ( )1 2
(1.10)
la velocidad de las ondas transversales y
k
= ([ + 4 3] )1
(1.11)
la velocidad de las ondas longitudinales, siendo el mdulo de rigidez, el

mdulo de elasticidad volumtrico y la densidad del slido. Una dicultad,
de este modelo mecnico del ter, era la ausencia de componente longitudinal de las ondas de luz, lo que llev a Cauchy a sugerir, que el eter deba
tener una compresibilidad negativa, de tal manera que el factor + 4 3,
en la ecuacin (1.11), se anulara. Estas teoras estaban basadas sobre las
propiedades conocidas de los medios elsticos, pero la combinacin tan inusual de las propiedades que debera tener el ter, condujeron a MacCullagh a
postular, que este medio era un nuevo tipo de sustancia elstica, diferente
a las conocidas y asocindole otras propiedades desarroll una teora ms
sosticada, con un sistema de ecuaciones, muy parecido a las ecuaciones de
Maxwell, que fue intensamente trabajado en la segunda mitad del siglo XIX.
A diferencia de las propiedades mecnicas del ter, anteriormente discutidas, para las cuales era difcil proponer experimentos directos que las
vericaran, el teorema de adicin de velocidades de Galileo, que se cumple
tambin para las ondas en un medio mecnico, permiti proponer y realizar
toda una serie de experimentos para medir la velocidad de la luz, desde un
sistema de referencia mvil respecto al ter. La situacin se plantea de la siguiente forma: De la teora de propagacin de las ondas en un medio elstico,
sabemos que:
0
=
(1.12)
en donde es la velocidad de propagacin de las ondas, medida en sistema
de referencia inercial , el cual est en reposo con respecto al medio de
propagacin (el ter para el caso de ondas de luz), 0 es la velocidad de las
ondas, medida por un observador en un sistema de referencia inercial 0 , que
se mueve con velocidad respecto a .
12
Figura 1.2: Aberracin de la luz estelar
En 1728 Bradley descubri el fenmeno de aberracin de la luz, que consiste en el cambio aparente de posicin de las estrellas en diferentes pocas
del ao (Figura 1.2). Este efecto se explica fcilmente, si se supone que el
ter est en reposo respecto al sol, pues, dado que la tierra se mueve con
una velocidad aproximada de 30
en su rbita alrededor del sol y, por
lo tanto, si tomamos una estrella colocada perpendicularmente al plano de
translacin de la tierra, el telescopio debe inclinarse un ngulo adicional dado
por sin , en donde es la velocidad orbital de la tierra, la velocidad de
la luz respecto al ter y mide la posicin angular instntanea de la estrella
respecto a la tierra. Esta interpretacin fue capaz de dar el valor correcto de
la aberracin observada, a primer orden en
.
Es de anotar, que los experimentos de aberracin de la luz estelar no
eran capaces de dar el valor de la velocidad absoluta de la tierra respecto al
ter, sino solamente cambios de la velocidad relativa de la tierra respecto al
ter. Arago en 1810 propuso una modicacin al experimento de aberracin,
que s permitira medir la velocidad absoluta de la tierra respecto al ter,
pues de acuerdo con la teora clsica, si la luz atravesaba un medio refractivo
(como el agua o un vidrio), el cual estuviera movindose respecto al ter,
entonces la velocidad de la luz respecto a este medio variaba, dependiendo
13
de la direccin relativa de movimiento del medio y el ter, es decir, el ndice de

refracin del medio dependera de la direccin relativa de movimiento. Arago
coloc un prisma en el telescopio y observ diferentes estrellas, esperando
encontrar variaciones del ngulo de aberracin. El resultado negativo de su
experimento, condujo a Fresnel a proponer la teora del arrastre parcial del
ter por los medios materiales en movimiento y mostr que este arrastre
parcial del ter haca inobservable el efecto del viento de ter en medios
materiales, en rdenes de magnitud de
.
Basados sobre este mismo principio, se realizaron toda una serie de experimentos como los de Hoek, de Mascart y Jamin, Airy, Fizeau, etc, obtenindose tambin resultados negativos. Sin embargo, no se poda estar seguro
que las condiciones experimentales fueran lo sucientemente adecuadas para
medir los pequeos efectos que se estaban buscando. Adems se agregaba la
dicultad que al utilizar luz blanca, el ndice de refracin de la luz en un
medio dependa de la frecuencia y por tanto cada color (frecuencia) sufra un
arrastre diferente.
Los problemas de la teora del ter no se centraban nicamente en la
determinacin de la velocidad absoluta de la tierra respecto al ter, sino
tambin tenan que dar cuenta de los dems efectos conocidos, tales como
las leyes de reexin, refraccin, polarizacin, cristales pticos, etc, lo cual
conduca a complicar cada vez ms el modelo mecnico del ter.
Un elemento adicional que se sumaba a esta historia del ter, lo constituye el desarrollo de las teoras de la electricidad y el magnetismo, que
culminan hacia mediados del siglo XIX con las ecuaciones de Maxwell y con
el descubrimiento, tal vez el ms importante de ese siglo, que la luz son ondas
electromagnticas. A partir de este momento el ter se asoci como el medio
de propagacin de los campos elctricos y magnticos. Pero un punto ms
importante para nuestra discusin de los orgenes de la teora especial de
la relatividad, lo constituye el hecho de que las leyes del electromagnetismo
de Maxwell no satisfacen el principio de relatividad de Galileo. Lo que resta
de esta seccin lo dedicaremos a explicar el signicado de este hecho y sus
implicaciones.
Que las leyes del electromagnetismo de Maxwell no satisfacen el principio de relatividad de Galileo signica que las ecuaciones de Maxwell no
permanecen invariantes, cuando se realiza una transformacin de Galileo entre dos sistemas de referencia inerciales, o en otros trminos equivalentes, si
suponemos que las ecuaciones de Maxwell son vlidas en un sistema de referencia inercial , entonces ellas cambiarn para cualquier otro observador
14
Figura 1.3: Experimento de Truton-Noble

inercial 0 , que se mueva con respecto a . Este cambio se reeja en que a
las ecuaciones de Maxwell le aparecen nuevos trminos, que van a depender
de la velocidad relativa de los sistemas. Estos nuevos trminos dependientes
de la velocidad en las leyes de la electrodinmica deben producir efectos observables y por tanto, deben permitir determinar la velocidad del sistema de
referencia 0 del observador, respecto al nico sistema de referencia inercial
para el cual las ecuaciones de Maxwell toman su forma ms simple.
Esta situacin de las leyes del electromagnetismo rescataba entonces el
concepto de espacio absoluto, identicado a su vez con el sistema de reposo
del ter, pero ahora y a diferencia del caso de la mecnica de Newton, dndole
un signicado fsico: Las leyes de la electrodinmica son vlidas solamente
en el sistema de referencia en reposo con respecto al espacio absoluto.
Para ilustrar esta situacin, consideremos dos cargas + y
, unidas
por una varilla rgida aislante (Figura 1.3). Si este sistema est en reposo
respecto al espacio absoluto , la nica fuerza entre las cargas es la elctrica,
dada por la ley de Coulomb. Pero si estas cargas se encuentran en reposo en
otro sistema de referencia inercial 0 que se mueva respecto a una velocidad , entonces aparecer un campo magntico y as, una fuerza, adicional
a la fuerza elctrica, debida al movimiento de las cargas, que producir, por
15
lo tanto, un par de fuerzas que tender a hacer girar el sistema. Este experimento, con resultado negativo, fue llevado a cabo por Trouton y Noble,
2
esperando encontrar una fuerza magntica que dependa de la relacin 2 ,
siendo la velocidad de la tierra. Es de anotar, que el diseo experimental
utilizado para realizar este experimento, permita medir cantidades del orden
de magnitud de 2 2 10 8 .
1.3.1.
Un experimento crucial
El experimento ms notable, y de referencia obligada en todo tratado

de relatividad, lo constituye el realizado por Michelson y Morley en 1887.
Es interesante notar, que Einstein no hace referencia alguna a este experimento en sus primeros artculos, en donde desarrolla la teora especial de
la relatividad y de hecho, varios historiadores de la ciencia arman que ni
siquiera lo conoca. La importancia histrica de este experimento y su obligatoria referencia, la podemos entender por dos aspectos: primero, el diseo del
experimento permita medir, con una precisin suciente (corrimientos del
patrn de interferencia menores a 1/100 de franja), evitando as el problema
que se presentaba en todos los otros experimentos realizados hasta entonces,
en cuanto a que el orden de magnitud de los efectos esperados, eran siempre
menores o del mismo orden que el error experimental, dejando siempre un
velo de duda sobre los resultados obtenidos. Segundo, el resultado negativo
del experimento de Michelson y Morley gener toda una serie de trabajos
tericos, que impulsaron el desarrollo de la fsica y abrieron el camino para
la formulacin de la teora de la relatividad.
Tal vez, el ms importante de estos trabajos fue el realizado por Lorentz,
que culmin con su libro sobre la teora del electrn publicado en 1905.
Es interesante, ms no sorprendente, anotar como, en este libro, se encuentran todas las ecuaciones que describen los fenmenos ms signicativos que
predice la relatividad, como por ejemplo, las transformaciones entre sistemas
de referencia inerciales (llamadas hoy transformaciones de Lorentz), las ecuaciones de contraccin de longitudes y dilatacin del tiempo, la equivalencia
masa-energa, la variacin de la masa inercial con la velocidad, etc, solamente
que su interpretacin, en trminos de las propiedades del ter, era incorrecta,
en cuanto a que, estos efectos esperados, siempre se compensaban con otros
debidos al ter, de tal manera que ninguno de ellos resultaba ser observable.
Este trabajo terico de Lorentz resolva, as, la aparente inconsistencia entre
los dos grandes pilares de la fsica conocidos hasta entoces, la mecnica de
16
Newton y la electrodinmica de Maxwell, pero dejaba el problema fundamental sin resolver: el espacio absoluto y la indetectabilidad del ter.
Anotbamos en el pargrafo anterior, que no es una sorpresa que el trabajo de Lorentz contenga todas las ecuaciones relativistas, pues est basado
sobre la electrodinmica de Maxwell, que como veremos en un captulo posterior, es una teora relativista. Igualmente, esta anotacin nos permite tambin
entender, por qu no era necesario que Einstein conociera el experimento de
Michelson y Morley para desarrollar la teora de la relatividad. En efecto, basta con recordar el ttulo del primer artculo publicado por Einstein sobre el
tema:Zur Elektrodinamik der bewegten Krper (Sobre la electrodinmica
de los cuerpos en movimiento).
El experimento de Michelson-Morley fue realizado en 1887, utilizando
como principio fsico el fenmeno de interferencia de la luz. El diseo experimental es bosquejado en la (Figura 1.4). De la fuente S sale un haz de luz que
incide sobre un espejo semitransparente A, el cual divide al haz en dos rayos
mutuamente perpendiculares, los cuales se reejan en los espejos planos B
y C, retornando al espejo A, en donde, el rayo proveniente del espejo C es
desviado hacia el objetivo O, mientras que el rayo reejado en B atraviesa
el espejo A y llega al objetivo O, donde se observan franjas de interferencia,
las cuales dependen de la diferencia de caminos pticos entre los dos rayos
de luz.
Supongamos, sin prdida de generalidad y para simplicar el anlisis, que
los caminos AB y AC de los dos haces de luz son iguales. Sea la velocidad
de la tierra respecto al ter y paralela al brazo AC del interfermetro. As, la
velocidad del viento del ter respecto al interfermetro, jo a la tierra, est en
la direccin de CA (ver Figura 1.4), suponiendo que no hay arrastre parcial
del ter. De acuerdo con las teoras del ter, la velocidad de la luz relativa
al laboratorio es
, cuando va de A hacia C y + cuando regresa de
2 12
C hacia A, mientras que la velocidad del otro rayo de luz es ( 2
) en la
direccin de A hacia B y de B hacia A.
Entonces, si la longitud de cada uno de los brazos del interfermetro es
L, la diferencia de tiempos de llegada de los dos rayos est dada por:
=
=
=
2
1
1
2
2
p
1
2
2
1
2
(1.13)
17
Figura 1.4: Experimento de Michelson y Morley

Utilizando la expansin en serie
(1 + ) = 1 +
1
(
2!
1)
(1.14)
la cual es convergente para | | 1, se desarrolla cada fraccin hasta trminos

del orden de 2 2 , obteniendo:
2
'
(1.15)
Si rotamos el interfermetro 90 , el tiempo para recorrer el camino ABA

ser ahora mayor que el tiempo para el camino ACA, y la diferencia de
tiempos
estar dada por
2
'
(1.16)
Por lo tanto, el cambio total en la diferencia de tiempos al rotar el interfermetro es igual a

2
(1.17)
18
Si es la longitud de onda de la luz utilizada, entonces la rotacin del

interfermetro da lugar a un corrimiento de franjas, dado por:
=
2
2
(1.18)
Michelson y Morley utilizaron en su experimento luz de longitud de onda

de 5 9 10 7 y un camino de = 11 , logrado por mltiples reexiones.
Tomando para la velocidad de la tierra alrededor del sol 30
, se esperaba
un corrimiento de aproximadamente 0 37 franjas, el cual, como ya se ha dicho
no fue observado.
Captulo 2
Fundamentos de la relatividad
especial
En este captulo formularemos los postulados fundamentales sobre los
cuales est basada la teora especial de la relatividad y obtendremos las
ecuaciones de transformacin entre sistemas de referencia inerciales (transformaciones de Lorentz). Concluiremos el captulo estudiando las propiedades
de las transformaciones de Lorentz y sus consecuencias sobre la medida de
intervalos temporales y espaciales.
2.1.
Postulados de la relatividad especial
Como fue anotado en el captulo anterior, la teora desarrollada por

Lorentz solucionaba la aparente inconsistencia de la mecnica Newtoniana y
la electrodinmica de Maxwell, manteniendo inmodicados los principios y
postulados fsicos sobre los cuales se basaban estas teorias. La aproximacin
de Einstein a este problema es diferente, pues est basada sobre dos postulados de carcter fundamental, en el sentido de que estos postulados deben ser
satisfechos por cualquier teora fsica que se proponga, independientemente
de las leyes y principios que se postulen para describir esta teora.
Postulado 1: Las leyes fsicas son independientes del sistema de referencia inercial, con respecto al cual se midan las variables que describen al
sistema fsico considerado.
Postulado 2: La velocidad de la luz en el vaco es la misma para todos
los observadores inerciales, independiente de la direccin de propagacin y
19
20 CAPTULO 2. FUNDAMENTOS DE LA RELATIVIDAD ESPECIAL

de la velocidad de la fuente emisora.
El primer postulado propuesto por Einstein es conocido tambin como
el Principio de Relatividad, el cual generaliza el principio de relatividad
Galileano a todas las leyes de la fsica. El costo de aceptar este postulado es el de abandonar las transformaciones de Galileo, que relacionan las
coordenadas de los eventos medidas por diferentes observadores inerciales y
de paso, se hace necesario revisar las leyes de la mecnica Newtoniana. Pues,
como vimos en la parte nal del captulo anterior, las ecuaciones de Maxwell
no eran invariantes bajo transformaciones de Galileo, indicando que las leyes
del electromagnetismo no obedecan el principio de relatividad de Galileo.
Sin embargo, los experimentos realizados para demostrar este hecho daban todos resultados negativos y no es aventurado pensar que fue esta situacin
la que llev a Einstein a postular, que las leyes de la electrodinmica s satisfacan el principio de relatividad, pero entonces sto exiga abandonar las
ecuaciones de transformacin de Galileo, como la forma correcta de expresar
las transformaciones entre sistemas de referencia inerciales. Esto implicaba
tambin que deberan ser modicadas las leyes de la mecnica de Newton,
las cuales s permanecen invariantes bajo transformaciones de Galileo.
El segundo postulado de la Teora de la Relatividad establece que la
velocidad de la luz en el vaco es constante, independiente del sistema de
referencia inercial desde el cual sta sea medida. Cmo lleg Einstein a este
resultado, es un problema que ha sido objeto permanente de debate en la
historia de la ciencia. Ninguno de los experimentos realizados en el siglo XIX
se puede considerar como evidencia directa de la constancia de la velocidad
de la luz en el vaco. Es claro a la luz de este postulado, el resultado negativo
del experimento de Michelson y Morley y podra pensarse, como lo arma
Grnbaum, que Einstein incorpora este resultado nulo como un axima, a
travs del principio de la constancia de la velocidad de la luz. Aun cuando
en una entrevista realizada por Shankland a Einstein en 1950, le arma que
l no estaba familiarizado con el experimento de Michelson y Morley cuando
escribi su artculo en 1905, Shankland hace notar que en este artculo Einstein hace referencia a intentos fallidos para detectar cualquier movimiento
de la tierra respecto al ter lumnico, lo que indica segn Shankland, que
Einstein tena referencia de los diferentes experimentos pticos realizados,
pero no de los detalles prpios de cada experimento.
Una aproximacin alternativa para buscar los orgenes de este segundo postulado, la podemos encontrar en la teora de la electrodinmica de
Maxwell, pues si aceptamos su validez y el principio de relatividad, podemos
2.1. POSTULADOS DE LA RELATIVIDAD ESPECIAL
21
encontrar el principio de la constancia de la velocidad de la luz, as como

tambin el postulado de la constancia de la carga elctrica, el cual juega un
papel igualmente importante en fsica.
Las ecuaciones de Maxwell, en el sistema M.K.S. racionalizado, para un
observador inercial toman la forma
(2.2)
=0
+
(2.1)
0 0
(2.3)
(2.4)
con 0 = 4 10 7
(
)2 la permeabilidad magntica del vaco y 0 =
2
8 854 10 12
2 la constante dielctrica del vaco.
La primera ecuacin de Maxwell corresponde a la ley de Gauss y establece
que las cargas son fuente del campo elctrico, siendo la densidad de carga.
La segunda ecuacin arma que no existen cargas magnticas aisladas. El
primer trmino de la tercera ecuacin corresponde a la ley de Ampre y
signica que las corrientes elctricas son fuente del campo magntico, con
la densidad de corriente, mientras que el ltimo trmino, conocido como
corriente de desplazamiento de Maxwell, establece que variaciones temporales
del campo elctrico son tambin fuente del campo magntico. La ltima
ecuacin es la ley de induccin de Faraday, en la cual variaciones temporales
del campo magntico producen campos elctricos.
Las ecuaciones de campo de Maxwell se completan con una ecuacin de
movimiento, la cual establece que la fuerza sobre una partcula de carga en
presencia de un campo electromagntico est dada por :
=
(2.5)
conocida como la fuerza de Lorentz.

Si tomamos la divergencia de la tercera ecuacin de Maxwell, haciendo
uso de la ley de Gauss (primera ecuacin) y del hecho que la divergencia
del rotacional siempre es cero, obtenemos la ecuacin de continuidad para la
carga elctrica
+
=0
(2.6)

Integrando en todo el espacio y aplicando el teorema de Gauss, se llega
al principio de conservacin de la carga:
Z
=
=0
(2.7)
Este resultado es independiente del estado de movimienento de la carga
y existe muchsima evidencia experimental que lo corrobora. Por ejemplo,
si la carga dependiera de la velocidad, el tomo de hidrgeno podra no ser
elctricamente neutro, ya que en promedio, la velocidad del electrn en el
tomo es mayor que la velocidad del protn.
Considerando otro sistema de referencia inercial 0 y asumiendo el principio de relatividad, las ecuaciones de Maxwell en este nuevo sistema estn
dadas por:
0
0= 0 0
(2.8)
0
0
0
0
0
(2.9)
=0
+
0
0 0
0
(2.10)
(2.11)
en donde las cantidades primadas se reeren a sus valores medidos por el

observador 0 . Siguiendo los mismos pasos anteriores, obtenemos la ecuacin
de continuidad en el sistema de referencia 0
0
0
=0
(2.12)
y el principio de la invarianza de la carga, que para el caso de una partcula

elemental su valor invariante corresponde al valor medido de la carga, cuando
sta se encuentra en reposo respecto al sistema de referencia inercial 0 .
Una suposicin fundamental que est implcita en el principio de relatividad, es que parmetros tales como la carga , la masa, etc., de una partcula
fundamental, cuando son medidos respecto a un sistema de referencia para
el cual la partcula est en reposo, toman el mismo valor numrico cuando se
miden con respecto a otro sistema de referencia inercial 0 cuando la partcula se encuentra en reposo relativo respecto a este sistema 0 . Si aceptamos
esta suposicin, entonces el principio de la constacia de la carga elctrica, se
obtiene de las ecuaciones de Maxwell y del principio de relatividad.
2.1. POSTULADOS DE LA RELATIVIDAD ESPECIAL
23
Consideremos, ahora, las ecuaciones de Maxwell en el vaco ( = 0, =

0), en un sistema de referencia inercial y tomemos el rotacional de la ltima
ecuacin de Maxwell (la ley de induccin de Faraday), entonces, teniendo en
cuenta la identidad vectorial
y la primera ecuacin de Maxwell en el vaco
(2.13)
= 0, obtenemos
0 0
=0
(2.14)
Esta relacin corresponde a la ecuacin de ondas electromagnticas (con

una ecuacin similar para el vector campo magntico), y describe la radiacin
electromagntica producida por algn sistema de cargas aceleradas, y cuya
velocidad de propagacin en el vaco, viene dada por:
=1
(2.15)
0 0
siendo esta velocidad de propagacin, independiente de la velocidad de la

fuente (sistema de cargas aceleradas). Si ahora asumimos de nuevo la validez
del principio de relatividad y consideramos otro sistema de referencia inercial
0
, obtenemos, siguiendo un razonamiento similar, la ecuacin de ondas en
el sistema de referencia 0 :
2
02
0 0
0 0
0
02
=0
(2.16)
Esta ecuacin describe la propagacin de las ondas electromanticas con

una velocidad ( 00 00 ) 1 2 en el vaco, la cual, como para el caso del sistema de
referencia , es tambin independiente del movimiento de las cargas fuente.
Si denimos el amperio a travs de la ley de Biot-Savart, como la corriente
que circula por dos hilos paralelos innitos, separados por una distancia de
un metro en el vaco, para que sobre cada hilo se experimente una fuerza
por unidad de longitud de 2 10 7
, entonces el valor de la constante
permeabilidad magntica del vaco es:
0
0
= 4 10
(2.17)
Por otra parte, si suponemos que la ley de Coulomb es vlida en los dos
sistemas de referencia inerciales y 0 , y que la fuerza de Coulomb, entre dos

partculas iguales en reposo relativo, por ejemplo dos electrones o protones,
es la misma en ambos sistemas de referencia inerciales, entonces 00 = 0 y
por lo tanto la velocidad de la luz es independiente del sistema de referencia
inercial desde el cual sta sea medida e independiente del movimiento de las
fuentes.
Si aceptamos ahora, que el postulado de la constancia de la velocidad de
la luz es vlido, y las ecuaciones de Maxwell son correctas, entonces 00 = 0
y tambin 00 = 0 .
Del postulado de relatividad tambin se deduce un principio general, el
cual implica que las unidades fundamentales de longitud, tiempo, masa y
carga elctrica deben ser denidas en la misma forma en todos los sistemas
de referencia inerciales (salvo a lo ms un factor de escala), as como tambin
las constantes fundamentales de la fsica: la constante de Planck = 6 626
10 34 , la constante de gravitacin universal de Newton
= 6 670
11
2
2
10

y la velocidad de la luz en el vaco = 2 998 108 1 .
Como fue originalmente propuesto por Planck, estas constantes fundamentales
y ~ = 2 , pueden ser conbinadas para dar las unidades
fundamentales de longitud, tiempo y masa:
:= ( ~
:= ( ~
:= (~
3 1 2
= 1 616 10
5 1 2
)1
= 5 39 10
= 2 18 10
35
(2.18)
44
(2.19)
(2.20)
llamadas longitud, tiempo y masa de Planck respectivamente. Actualmente

es prctica usual en la fsica trabajar con unidades de = ~ =
= 1, las
cuales son llamadas unidades fundamentales o naturales.
2.2.
Transformaciones de Lorentz
De lo discutido en la seccin anterior, las leyes de la electrodinmica son

fsicamente compatibles con el principio de la constancia de la velocidad de
la luz, pero a diferencia de las leyes de Newton, las ecuaciones de Maxwell no
permanecen invariantes bajo las transformaciones de Gelileo. Esta situacin
nos conduce al problema de encontrar un conjunto de transformaciones de coordenadas compatibles con los postulados de la relatividad especial. Lorentz
a nales del sigloXIX, encontr las transformaciones de coordenadas que dejaban invariante a las ecuaciones de Maxwell, pero en ningn momento las
2.2. TRANSFORMACIONES DE LORENTZ
25
consider como las ecuaciones de transformacin entre sistemas de referencia inerciales, pues ellas claramente, no eran compatibles con las leyes de la
mecnica Newtoniana. Estas transformaciones se conocen hoy da como las
transformaciones de Lorentz.
En esta seccin mostraremos, que las transformaciones de Lorentz, constituyen el conjunto de ecuaciones de transformacin de coordenadas entre
sistemas de referencia inerciales. Estas ecuaciones de transformacin sern
deducidas a partir de los postulados fundamentales de la relatividad especial, junto con algunas suposiciones generales sobre homogeneidad e isotropa
del espacio y del tiempo.
Antes de abordar el problema de obtener las ecuaciones de transformacin
de coordenadas, es importante aclarar algunos conceptos sobre la forma como
se denen y miden las coordenadas del espacio y del tiempo y sobre los
postulados de homogeneidad e isotropa.
Al igual que en la mecnica Newtoniana, asumiremos que el espacio fsico
es homogneo e isotrpico, lo cual implica que todos los puntos y todas las direcciones espaciales son equivalentes para describir los fenmenos fsicos. Esto
signica, en trminos ms precisos, que las leyes fundamentales de la fsica
no deben depender de la posicin y de la direccin espacial, lo cual tambin
se traduce en la arbitrariedad para elegir el origen y la direccin de los ejes
espaciales. Adicionalmente se postula que el espacio fsico es tridimensional
y obedece los postulados de la geometra euclideana.
La homogeneidad e isotropa del tiempo, signican que las leyes de la fsica
no deben depender de un instante particular ni de la direccin del tiempo
elegida, es decir, la eleccin del origen y la escala para medir el tiempo es
arbitraria (homogeneidad) y que las leyes de la fsica son invariantes bajo
una transformacin de la forma
(isotropa). Estas propiedades del
espacio y el tiempo deben quedar reejadas en el sistema de coordenadas
espacio-temporales elegido, as como la forma en que se miden las distancias
espaciales y el intervalo temporal entre eventos fsicos.
Un evento es un fenmeno fsico independiente del observador (tal como
la colisin entre dos partculas, o la emisin de un fotn por un tomo), el
cual ocurre en un punto del espacio y en un instante de tiempo y puede ser
medido por instrumentos fsicos adecuados.
Adicional a los postulados anteriores sobre la estructura del espacio y el
tiempo, suponemos que se puede denir una escala de medida de longitudes,
igual para todos los observadores inerciales, la cual nos permite medir intervalos espaciales utilizando un sistema de reglas rgidas. Este procedimiento

dene una mtrica para el espacio, que cumple con las propiedades de homogeneidad e isotropa y que obedece la geometra euclideana.
El sistema de coordenadas cartesianas espaciales R3 con la mtrica usual,
esto es la mtrica euclideana
R3
| |2 =
2
1
2
2
2
3
(2.21)
nos ofrece el modelo matemtico natural para describir el espacio fsico.

Uno de los aspectos cruciales de la teora de la relatividad lo constituye el
problema de la medida del tiempo. En efecto, Einstein en su primer artculo,
dedica una buena parte de l a denir la forma como se miden los intervalos
temporales entre eventos fsicos. Denida ya la estructura mtrica del espacio
y el proceso de medida de intervalos espaciales, podemos utilizar el postulado
de la constancia de la velocidad de la luz para denir el concepto de tiempo
fsico, es decir, el mtodo operacional para la medida del tiempo que est
de acuerdo con los postulados fundamentales de la fsica y que reeje las
propiedades de homogeneidad e isotropa del tiempo.
En primer lugar se asume, que si dos eventos fsicos ocurren en el mismo
punto del espacio y simultneamente (en el mismo instante de tiempo) para
un observador inercial, entonces estos dos eventos fsicos sern simultneos
para todos los observadores inerciales y ocurrirn tambin en el mismo punto del espacio. En otras palabras, la simultneidad de eventos en un mismo
punto del espacio es un hecho fsico absoluto, i.e., independiente del observador. Supongamos adems, que se dispone de un conjunto de relojes ideales
e idnticos, es decir, algn dispositivo o fenmeno fsico reproducible, que nos
permita determinar una escala de tiempo y situemos uno de estos relojes en
el origen de coordenadas espaciales escogido por un observador inercial. De
acuerdo con la suposicin sobre el caracter absoluto de la simultneidad para
eventos que tienen lugar en el mismo punto del espacio, el observador determinar un tiempo, el marcado por el reloj situado en su origen, para cada
evento que ocurra en el origen de coordenadas. Este tiempo marcado por el
reloj supone haber elegido un instante inicial, = 0, el cual es arbitrario, de
acuerdo con la hiptesis de homogeneidad del tiempo. Ahora, coloquemos en
cada punto del espacio y en reposo relativo al reloj del origen, uno de estos
relojes idnticos y determinemos que el instante de tiempo en que un evento
fsico sucede, es el marcado por el reloj situado en el punto del espacio donde
el evento tiene lugar.
27
Figura 2.1: Sincronizacin de relojes

Hasta este momento se ha denido la medida del tiempo local y falta
entonces sincronizar todos los relojes del observador inercial, para que este
observador asigne un nico tiempo y as, una nica coordenada temporal a
cada evento fsico, independiente de la posicin espacial en la cual suceda
dicho evento. Para sincronizar los relojes seguiremos el mtodo expuesto por
Einstein en su primer artculo.
Para el reloj situado en el origen de coordenadas, elijamos un instante
cualquiera como el tiempo = 0. Consideremos un segundo reloj situado a
una distancia del origen y enviemos, desde el origen y en la direccin de este
segundo reloj, un rayo de luz en en el instante en que el reloj del origen marca
1 (Figura 2.1). Este segundo reloj marcar un tiempo 2 cuando el rayo de
luz lo alcanza, y se dene entonces que los dos relojes estn sincronizados, si
se cumple que
2
(2.22)
Con estas deniciones de medida de la distancia y del intervalo temporal,

un observador inercial construye su sistema de coordenadas espacio-temporal.
Este procedimiento es consistente y vlido para todos los observadores inerciales, puesto que la distancia para puntos en reposo relativo est bien

denida y es por su denicin independiente del observador, as como la velocidad de la luz en el vaco es una constante universal, de acuerdo con el
segundo postulado.
La coordenada temporal para un evento, se le dene entonces, como la
lectura del reloj que est situado en el punto del espacio donde el evento
ocurre y de acuerdo con la hiptesis del caracter absoluto de la simultneidad,
para eventos que suceden en el mismo punto del espacio, este procedimiento
es independiente del observador.
Habiendo denido la forma como un observador inercial construye su
sistema de coordenadas espacio-temporales, abordemos ahora, el problema
de encontrar las ecuaciones que relacionan las coordenadas de un evento,
asignadas por dos observadores inerciales.
Sea p un evento fsico, y san (
) y ( 0 0 0 0 ) las coordenadas del
evento, medidas por los dos observadores inerciales y 0 . De acuerdo con la
homogneidad e isotropa del espacio y el tiempo, supongamos sin prdida de
generalidad, que los dos observadores eligen los ejes coordenados espaciales
paralelos, con la velocidad del sistema 0 respecto a , en la direccin
0
positiva de los ejes
, y adems, dene cada observador el origen de la
coordenada temporal = 0 = 0, en el instante en que los orgenes espaciales
de los sistemas coinciden (Figura 2.2).
El conjunto de transformaciones de coordenadas, que estamos buscando,
lo podemos escribir en la forma general como:
0
1(
(2.23)
2(
(2.24)
3(
(2.25)
4(
(2.26)
con la condicin que las funciones san invertibles, es decir, que se puedan
despejar las coordenadas (
) en funcin de las coordenadas primadas
0
0 0 0
(
).
Otra condicin general sobre las funciones la impone la primera ley de
Newton la cual implica que una partcula libre debe moverse con velocidad
constante para todos los observadores inerciales. Esta exigencia implica que
las ecuaciones de transformacin deben ser lineales en las coordenadas. As,
29
Figura 2.2: Transformaciones de Lorentz

el sistema de ecuaciones de transformacin (2.23), (2.24), (2.25) y (2.26) lo
podemos escribir como:
0
00
01
02
03
(2.27)
10
11
12
13
(2.28)
20
21
22
23
(2.29)
30
31
32
33
(2.30)
en donde los coecientes

son constantes independientes de las coordenadas. Estos coecientes
son funciones, a lo sumo, de la velocidad del sistema de referencia 0 respecto a , pues se supone que todos los observadores
eligen las mismas escalas para medir distancias y tiempos. La linealidad implica tambin que los ejes espaciales de 0 permanecen siempre paralelos a si
mismos y as a los ejes espaciales de . Adems, la velocidad del sistema
respecto a 0 es igual a
(igual en magnitud y opuesta a la velocidad de 0
respecto a ) y por lo tanto la transformacin inversa debe tener la misma
forma cambiando por
. Para el caso cuando = 0, la transformacin se
reduce a la identidad.

La condicin de existencia de la transformacin inversa, por otra parte,
queda garantizada exigiendo que el determinante de los coecientes
sea
diferente de cero.
De la escogencia de los ejes espaciales se obtiene que los planos = 0
y 0 = 0 coinciden permanentemente (todos los ejes espaciales de los dos
sistemas de referencia permanecen paralelos) y por lo tanto la ecuacin de
transformacin para la coordenada 0 debe reducirse a:
0
(2.31)
22
Si invertimos las direcciones de los ejes y de no se debe afectar la

relacin anterior, y por lo tanto la transformacin inversa de 0 a , para la
coordenada , toma la forma
0
0
22
22
(2.32)
Esto implica, por lo tanto que se debe cumplir que 22 = 1. Por otra
parte, dado que para
0 se cumple que 0
, entonces
22
(2.33)
=1
Un argumento similar vale para la coordenada , entonces

0
(2.34)
Puesto que la transformacin de coordenadas es lineal y las coordenadas

del origen del sistema de referencia 0 , medidas por el observador , estn
dadas por = , entonces 0 debe ser de la forma
0
= (
(2.35)
donde
es un parmetro que, en general, depende de la velocidad. Por
simetra, la transformacin inversa para la coordenada tendr la misma
forma (con cambiada por
), entonces
=
(2.36)
siendo 0 otra constante dependiente de . Si invertimos las direcciones de

los ejex y en
y 0 , entonces las relaciones (2.35) y (2.36) se siguen
0
cumpliendo, es decir si cambiando
y 0
tenemos que
0
0
=
=
(
( +
)
)
=
(2.37)
31
y
=
=
(
0
(
0
0
+
0
=
(2.38)
de donde se obtiene que = 0 , pues, del principio de relatividad la fsica

no debe depender de la direccin elegida para los ejes espaciales. Adems, el
parmetro debe ser positivo dado que para = 0, 0 0 si
0.
Para encontrar una expresin explcita para y la forma como la coordenada temporal se transforma, apliquemos ahora el segundo postulado de
la constancia de la velocidad de la luz en el vaco.
Supongamos que en el instante = 0 = 0 , cuando los orgenes coinciden,
se emite un pulso de luz en la direccin del eje positivo, entonces se debe
satisfacer que al cabo de un tiempo , medido en , el pulso de luz est en
un punto del espacio cuya coordenada , medida en , cumpla la ecuacin
(2.39)
De acuerdo con el postulado de la constancia de la velocidad de la luz en

el vaco, para el observador 0 se debe cumplir que el pulso de luz llega
al punto del espacio de coordenada 0 , en un instante 0 , tal que 0 = 0 .
Substituyendo estas dos relaciones, = y 0 = 0 , en las ecuaciones (2.35)
y (2.36), multiplicando las ecuaciones resultantes y eliminando el trmino 0 ,
obtenemos
1
= ( )= p
(2.40)
2 2
1
conocido como el factor gamma de Lorentz. A partir de esta expresin y

eliminando la coordenada 0 entre las ecuaciones (2.35) y (2.36), obtenemos
la ecuacin de transformacin para la coordenada temporal:
0
= (
(2.41)
Resumiendo, el conjunto de transformaciones de coordenadas, llamadas

transformaciones de Lorentz (TL), que relacionan las coordenadas espaciotemporales de un evento fsico medidas por dos observadores inerciales, estn
dadas por:
0
2
= (
)
0
= (
)
(2.42)
0
=
0
=

As, el principio de relatividad exige que las leyes de la fsica deben ser
tales que ellas permanezcan invariantes bajo las tranformaciones de Lorentz
(ecuaciones (2.42)) pues, como veremos en la siguiente seccin donde se discutirn algunas propiedades de las TL, llas contienen implcitamente al postulado de la constancia de la velocidad de la luz.
Para encontrar las transfomaciones de Lorentz inversas, es decir, las transformaciones de coordenadas para pasar del sistema 0 al sistema , basta
con invertir las ecuaciones (2.42), o en forma equivalente, cambiando por
en las TL (2.42) y las coordenadas primadas por las no primadas (por la
simetra entre los sistemas y 0 ):
= ( 0+
= ( 0+
= 0
= 0
2.3.
2
0
(2.43)
Propiedades de las TL
Las ecuaciones de transformacin de Lorentz encontradas en la seccin

anterior, corresponden a un caso particular de un conjunto de transformaciones ms general, que constituyen la expresin matemtica del principio de
relatividad y de las propiedades de homogeneidad e isotropa del espacio y
el tiempo. En efecto, el conjunto de transformaciones de coordenadas ms
general se puede escribir en la forma:
0
3
X
=0 1 2 3
(2.44)
=0
con
y
constantes independientes de las coordenadas. Para simplicar
las expresiones hemos introducido la notacin
0
(2.45)
de tal manera que la coordenada temporal la medimos en unidades de longitud, dado el carcter de constante universal de la velocidad de la luz . Esta
redenicin de la coordenada temporal nos permite, como veremos ms adelante, escribir las transformaciones de Lorentz en una forma ms simtrica y
resaltar en forma explcita el papel de la coordenada temporal en la teora
2.3. PROPIEDADES DE LAS TL
33
de la relatividad. En lo sucesivo utilizaremos ndices griegos, que recorren de

0 a 3, para describir las coordenadas de un evento y dejaremos los ndices
latinos para describir solamente las coordenadas espaciales.
Las ecuaciones de transformacin (2.44) constituyen un conjunto de transformaciones lineales no homogneas, en donde las cuatro constantes corresponden a la arbitrariedad para elegir el origen de las coordenadas espaciales
( = 1 2 3) y de la coordenada temporal ( = 0) y as representan la homogeneidad del espacio-tiempo. Esta propiedad de homogeneidad del espacio y
el tiempo, en trminos ms formales, se traduce en el principio de invarianza
de la fsica bajo translaciones espaciales ( ; = 1 2 3)
=
(2.46)
y translaciones temporales ( 0 )
0
0 =
(2.47)
De sta forma, la invarianza de las leyes de la fsica bajo translaciones

espacio-temporales, nos permiten elegir las coordenadas de los dos sistemas de
referencia inerciales de tal manera que coincidan sus orgenes espaciales para
= 0 = 0, haciendo que el trmino inhomogneo del sistema de ecuaciones
(2.44) se anula y en este caso las ecuaciones de transformacin se reducen al
sistema lineal homogneo
0
3
X
=0 1 2 3
(2.48)
=0
Este conjunto de transformaciones, contiene dos casos especiales: Por una

parte estn las rotaciones de los ejes espaciales, las cuales reejan la isotropa
del espacio, es decir, que la leyes fsicas no deben depender de la orientacin
de los ejes espaciales. Una rotacin de los ejes espaciales queda determinada
por tres parmetros, por ejemplo, los tres ngulos de Euler.
Por otra parte, estn las llamadas transformaciones de Lorentz puras, caracterizadas por las tres componentes de la velocidad relativa de los sistemas
de referencia inerciales.
As, las transformaciones de Lorentz deducidas en la seccin anterior,
constituyen un caso particular del conjunto de transformaciones (2.44), en
donde el movimiento relativo entre los sistemas de referencia es a lo largo
de un eje coordenado, con ejes espaciales paralelos (no hay rotacin de ejes)
Figura 2.3: Transformacin general de coordenadas

y sin translacin de los orgenes espacial y temporal (Figura 2.3). En este
caso basta con un solo parmetro, la magnitud de la velocidad relativa, para
determinar completamente la transformacin.
En el caso de general de una transformacin de coordenadas que involucre movimiento relativo, cambio de orientacin de los ejes espaciales y
translacin del origen de coordenadas espacial y temporal, se requieren entonces 10 parmetros para determinar completamente la transformacin: Los
tres parmetros
= 1 2 3 que determinan el cambio del origen espacial,
0
un parmetro para el desplazamiento del origen temporal, tres parmetros
(e.g. los ngulos de Euler) para determinar una rotacin de los ejes espaciales
y tres parmetros (e.g. las tres componentes de la velocidad relativa) para
determinar una transformacin pura de Lorentz. Para los objetivos del presente libro, salvo se especique lo contrario, es suciente considerar solamente
transformaciones de Lorentz puras con los ejes 0 en la direccin de la velocidad relativa de los sistemas de referencia y supondremos adems, que los
orgenes de los sistemas coinciden para el tiempo cero en ambos sistemas.
Antes de continuar con la discusin de algunas propiedades de las transformaciones de Lorentz, reescribamos las ecuaciones de transformacin (2.42)
35
Figura 2.4: Composicin de transformaciones de Lorentz

en la notacin introducida en la ecuacin (2.45):
00
01
= (
= (
02
03
=
=
)
)
(2.49)
en donde se ha denido el parmetro adimensional =

y as ( ) =
2 1 2
)
.
(1
Como se mencion al comienzo de esta seccin, las ecuaciones de transformacin de Lorentz adquieren una forma simtrica en las coordenadas espaciales y la temporal. As, los coecientes de la transformacin de Lorentz
, llamados tambin elementos de la matriz de transformacin de Lorentz,
en la ecuacin (2.48) estn dados por:
0
0
= 11 =
0
1
1 =
0 =
2
3
=
2
3 = 1
siendo los dems coecientes cero.
(2.50)

Consideremos ahora tres sistemas de referencia inerciales , 0 y 00 , con
ejes paralelos, movimiento relativo a lo largo del eje espacial 1 , y orgenes
espaciales coincidentes para = 0 = 00 = 0 (Figura 2.4). Sea la velocidad
del sistema de referencia 0 respecto a
y
la velocidad del sistema 00
respecto a 0 , y sean ( 0 1 2 3 ), ( 00 01 02 03 ) y ( 000 001 002 003 ) las
coordenadas de un evento fsico medidas por los tres observadores , 0 y 00 ,
respectivamente. La relacin entre las coordenadas del evento medidas por
y 0 estn dadas por la ecuacin (2.49) y la relacin entre las coordenadas
medidas por 0 y 00 estn dadas por las ecuaciones:
000
001
0 01
= ( )( 00
= ( )( 01
002
= 02
003
= 03
0 00
)
)
(2.51)
. Las ecuaciones de transformacin que relacionan las

en donde 0 =
coordenadas medidas por
y 00 se obtienen entonces, componiendo las
dos transformaciones, es decir, remplazando las coordenadas del sistema 0
de la ecuacin (2.49), en esta ltima ecuacin (2.51). Despues de reagrupar
trminos, las ecuaciones de transformacin nales, como era de esperarse,
toman la misma forma:
000
001
en donde
respecto a
00
= ( )( 0
= ( )( 1
002
=
003
=
00 1
00 0
2
)
)
(2.52)
=
y es la velocidad relativa del sistema de referencia
, la cual est dada por la ecuacin
=
+
1+
00
(2.53)
Esta ecuacin corresponde a la versin relativista del teorema de adicin

de velocidades de Galileo. Notemos si
y
entonces
.
Notemos que las ecuaciones de transformacin de Lorentz y el teorema
de adicin de velocidades se reducen a las ecuaciones de transformacin de
Galileo y al teorema de adicin de velocidades Galileano cuando
.
Este lmite formal, sin embargo, carece de signicado fsico en la medida que
37
la velocidad de la luz en el vaco es una constante universal y por lo tanto

este lmite debe entenderse mejor en el siguiente sentido.
Para velocidades pequeas comparadas con la velocidad de la luz ,
tanto las ecuaciones de transformacin de Lorentz, como el teorema de adicin de velociades, se reducen a las ecuaciones de transformacin de Galileo
y al teorema de adicin de velocidades galileano, respectivamente. Para ver
esto, es suciente recordar la expansin en serie de Taylor de la funcin
(1 +
la cual converge para | |
tenemos
)=1+
1)
2!
(2.54)
1. Si aplicamos esta expansin al factor
( ) =
1
= 1+
2
2
1
2
2
2
( )
1 2
(2.55)
Remplazando esta expansin en las ecuaciones de transformacin de Lorentz

2.42 obtenemos
1 2
=
1+ 2 + (
)
2
2
=
+O 2
(2.56)
1
=
1+
2
= +O
+
2
2
2
(2.57)
en donde O ( 2 2 ) representa trminos del orden de 2 2 , los cuales son

muy pequeos si
1 y por lo tanto las ecuaciones de transformacin
de Galileo corresponden a una aproximacin a vajas velocidades de las ecuaciones de Lorentz. Un resultado similar se obtiene pata el teorema de adicin
de velociades.
Este lmite de bajas velocidades juega el papel de un principio de correspondencia, en el sentido de que la fsica Newtoniana es una teora vlida

para describir los fenmenos, cuando las velocidades tpicas involucradas en
los procesos bajo consideracin son bajas comparadas con la velocidad de
la luz y por lo tanto, las ecuaciones de la relatividad deben reducirse a las
correspondientes relaciones clsicas, en este lmite de velocidades bajas. Es
importante aclarar el signicado de la frase validez de la fsica Newtonianas
para velocidades
. Dado que toda medida experimental de una cantidad fsica, lleva consigo un error experimental, entonces las predicciones de
la mecnica clsica para los diferentes observables de un sistema dado, estn
en concordancia con los resultados experimentales, dentro del rango de error
experimental. As, el lmite clsico, o el rango de velocidades para el cual la
mecnica clsica es aplicable, depende de la precisin experimental.
El lmite formal
se puede entender fcamente en el sentido que
representa la vlocidad mxima de propagacin de seales fsicas, independientemente que esta constante corresponda a la velocidad de la luz en el vaco
y por lo tanto si
esto signicara que podemos enviar informacin a
velocidad innita, lo que implicara que tendramos a disposicin un mecanismo instantneo para calibrar relojes, lo que implicara a su vez que todos
los observadores inerciales mediran la misma coordenada temporal para un
evento dado. As podemos entender la hiptesis de Newton de un tiempo
universal independiente del observador, como la hiptesis de una velocidad
innita para transmitir informacin. Notemos adems que en efecto la tercera
ley de Newton requiere de esta hiptesis, pues esta ley exige que las fuerzas
de accin y reaccin sean iguales en todo instante, independientemente de la
posicin de los cuerpos que estn en interaccin.
Retomando las ecuaciones de transformacin (2.52), vemos que dos transformaciones de Lorentz sucesivas, conducen a una nueva transformacin de
Lorentz, cuyo parmetro (la velocidad relativa) est dado por la ecuacin
(2.53). Por otra parte, la transformacin de Lorentz inversa, es decir, las
ecuaciones de transformacin de coordenadas del sistema 0 al , tienen
la misma forma (ecuacin (2.49)), pero cambiando el parmetro por
.
Adems, la transformacin identidad, esto es, del sistema sobre el mismo,
corresponde a una transformacin de Lorentz con parmetro = 0, trivialmente. Si escribimos formalmente una transformacin de Lorentz entre y
0
, como
0
( ):
(2.58)
0
= ( )
entonces, las propiedades encontradas, las podemos resumir formalmente de
39
la siguiente manera:
( )
( )
+
=
1+
( = 0) =
(0)
1
( )
(2.59)
( ) =
( )= ( )
( )= (
)= (
(0) = ( )
(2.61)
(2.62)
)
)
(2.60)
( )=
(2.63)
1
( ) la transformacin
en donde
signica la transformacin identidad,
inversa, y el producto ( ) ( ) representa la composicin de dos transformaciones sucesivas.
Un grupo matemtico es un conjunto de elementos G, con una operacin
interna llamada producto, es decir, el producto de dos elementos de G es de
nuevo un elemento del conjunto y esta operacin debe satisfacer las siguientes
propiedades:
i.-Existe un elemento del grupo G, llamado la identidad, tal que la identidad por cualquier elemento del grupo es el mismo elemento del grupo.
ii.-Para todo elemento del grupo, existe otro elemento en el grupo, tal que
su producto es la identidad.
Un grupo se llama abeliano, si la operacin producto es conmutativa. Las
relaciones simblicas representadas en las ecuaciones (2.59), (2.61), (2.62)
y (2.63), muestran que las transformaciones de Lorentz forman un grupo
matemtico, llamado el grupo de Lorentz. Para el caso particular que estamos
considerando, esto es, de transformaciones entre sistemas de referencia con
ejes paralelos y movimiento relativo a lo largo del eje , el grupo es claramente
abeliano, y cada elemento del grupo corresponde, o est caracterizado por el
valor de la velocidad. Puesto que la velocidad puede tomar cualquier valor
entre
, el grupo contiene un nmero innito no numerable de
elementos, y as este grupo es conocido en la literatura como un grupo de Lie
de un parmetro o grupo continuo, en contraposicin con los grupos nitos
o discretos, tales como por ejemplo, los nmeros enteros con la operacin
suma. El caso de las transformaciones generales, ecuacin (2.44), tambin
forman un grupo, llamado el grupo de Poincar, el cual es tambin un grupo
de Lie pero de diez parmetros, pues como vimos, una transformacin general
requiere de 10 parmetros para caracterizarla.

Otra propiedad muy importante de las TL, la cual va a jugar un papel
fundamental en el problema de la causalidad en fsica, es que las TL dejan
invariante una cantidad, que la llamaremos intervalo o distancia espaciotemporal entre eventos. Sean 1 y 2 dos eventos fsicos cualesquiera y sean
( 01 11 21 31 ) y ( 02 12 22 32 ) las coordenadas de los dos eventos, medidas
por un observador inercial . Denamos el intervalo espacio-tiempo entre los
dos eventos por:
2
12
:= (
0
2
0 2
1)
1
2
1 2
1)
2
2
2 2
1)
3
2
3 2
1)
(2.64)
Sea 0 otro observador inercial que se mueve con velocidad respecto a

01
02
03
00
01
02
03
y sean ( 00
1
1
1
1) y ( 2
2
2
2 ) las coordenadas de los dos eventos
0
. Entonces, para este nuevo observador, el intervalo
1 y 2 medidas por
espacio-tiempo entre los dos eventos est dado por:
02
12
:= (
00
2
00 2
1)
01
2
01 2
1)
02
2
02 2
1)
03
2
03 2
1)
(2.65)
Utilizando las TL (ecuaciones (2.49)) expresemos el intervalo espaciotiempo medido por 0 (ecuacin (2.65)), en trminos de las coordenadas del
observador :
02
12
0
2
= ( (
(
1
1
1
2)
2 2
1 ))
0
1
1 2
1 ))
2 2
1)
2
2
( (
( 32
1
2
0
2)
3 2
1)
(2.66)
reagrupando trminos obtenemos

02
12
=(
0
2
0 2
1)
1
2
1 2
1)
2
2
2 2
1)
3
2
3 2
1)
2
12
(2.67)
Este resultado signica que el intervalo espacio-tiempo entre dos eventos

fsicos es una cantidad independiente del observador y as es un invariante
fsico, lo que implica que el valor numrico del intervalo es siempre el mismo,
sin importar cual observador lo mida.
A las variables fsicas que son invariantes bajo transformaciones de Lorentz
se les llama invariantes relativistas o escalares de Lorentz y claramente juegan un papel fundamental, pues al ser independientes del observador, nos
caracterizan propiedades intrnsecas del sistema o de los fenmenos fsicos.
Las implicaciones fsicas, para el caso particular del intervalo espaciotiempo, sern discutidas en el prximo captulo con mayor detalle. Es impor2
tante solamente resaltar en este punto dos aspectos: en primer lugar
12
2.4. CONSECUENCIAS DE LAS TL
41
puede ser positivo, negativo o cero, y en segundo lugar, el ltimo caso cuan2
do
12 es cero, corresponde a la expresin matemtica del principio de
la constancia de la velocidad de la luz, pues si desde el punto del espacio
y en el instante de tiempo donde ocurre el primer evento, por ejemplo 1 ,
se emite un rayo de luz en direccin del evento 2 , entonces este rayo de
luz alcanza el punto del espacio en el instante de tiempo, en que el segundo evento ocurre. Esto se ve fcilmente, pues de la denicin del intervalo
espacio-tiempo, ecuacin (2.64) o (2.65) y recordando que 0 = , entoces
2
02
despejando de cualquiera de estas dos ecuaciones ( 12
=0=
12 ) implica que =(distancia espacial entre los eventos)/(intervalo temporal entre
los eventos) es un invariante relativista.
Es importante resaltar que el intervalo espacio-tiempo es invariante bajo
las transformaciones generales de coordenadas (ecuacin (2.44)), y no solamente bajo las transformaciones de Lorentz puras consideradas, pues por una
parte, el trmino inhomogneo de las transformaciones se cancela al tomar
la diferencia de las coordenadas, mientras que las rotaciones de los ejes espaciales dejan invariante la distancia espacial (ver seccin 4.1)
(
1
2
1 2
1)
+(
2
2
2 2
1)
+(
3
2
3 2
1)
(2.68)
permaneciendo la coordenada temporal inanalterada.

Otra caracterstica importante que se deriva directamente de las TL, es
que las velocidades relativas entre sistemas de referencia inerciales, deben ser
siempre menores que la velocidad de la luz, pues el factor ( ) diverge para
= y se hace imaginario si
, lo cual es inadmisible dado el signicado
fsico asignado a las coordenadas utilizadas.
2.4.
Consecuencias de las TL
Para nalizar el presente captulo, vamos a considerar dos consecuencias

de las TL que constituyen, tal vez, los dos resultados ms sorprendentes de
la teora especial de la relatividad y por esta razn los ms conocidos en la
literatura de divulgacin cientca.
Consideremos para comenzar el problema de la dilatacin temporal. En
primer lugar denamos el concepto de tiempo propio, como el intervalo de
tiempo
entre dos eventos 1 y 2 , medido por un mismo reloj. Esto signica, equivalentemente, que existe un sistema de referencia inercial, llammolo
, para el cual los dos eventos ocurren en el mismo punto del espacio. As,

las coordenadas de estos dos eventos para el observador
( 01 11 21 31 ) y ( 02 12 22 33 ), con
0
2
0
1
estn dadas por

(2.69)
y
2
1;
(2.70)
=1 2 3
Suponiendo, sin prdida de generalidad, que el evento 2 ocurre despus que el

0
evento 1 para el observador , i.e. 02
1 , y como 2 = 1 ; = 1 2 3, pues
los dos eventos por denicin, tienen lugar en el mismo punto del espacio,
es claro que para cualquier otro observador inercial, por ejemplo 0 , los dos
eventos suceden en puntos diferentes del espacio y por lo tanto, dada la in2
varianza del intervalo espacio-tiempo
12 entre los dos eventos, el intervalo
de tiempo medido por 0 para estos dos eventos, debe ser mayor que el inter01
02
03
valo de tiempo propio. Para probar esta armacin, sean ( 00
1
1
1
1) y
00
01
02
03
0
( 2 2 2 2 ) las coordenadas de estos eventos y
el intervalo de tiempo
medido en 0 , con
0
00
= 00
(2.71)
2
1
Utilizando las TL para remplazar en esta expresin las coordenadas primadas en trminos de las no primadas y aplicando la denicin de tiempo
propio, obtenemos
0
= (
0
2
1
2)
0
1
1
1)
(2.72)
y puesto que en sistema de referencia inercial los dos eventos suceden en

el mismo punto del espacio, i.e. 12 = 11 , llegamos nalmente a la ecuacin
de dilatacin temporal:
0
=p
1
(2.73)
pues el factor simpre es mayor que 1, para 6= 0. De paso hemos demostrado, que si dos eventos ocurren para un observador en un mismo punto del
0
0) es el mismo
espacio, el orden temporal de los eventos (e.g. 02
1
0
00
00
para todos los observadores, es decir si 02
0
entonces
0
1
2
1
y el tiempo propio es el intervalo de tiempo ms pequeo medido por algn observador. Esto justica el nombre de dilatacin temporal y signica
fsicamente, que los dos eventos estn conectados causalmente, es decir que
43
el evento posterior pudo ser causado por el primer evento, an cuando no

necesariamente exista un proceso fsico que los ligue.
Notemos adems que el intervalo de tiempo entre dos eventos puede hacerse tan grande como se quiera, si tomamos velocidades sucientemente cercanas a la velocidad de la luz. En efecto dado que 1
para 0
,
y dado
0, entonces 0 =
puede hacerse tan grande como se quiera
haciendo que
.
Calculemos, ahora el intervalo espacio-tiempo para estos dos eventos. En
el sistema obtenemos la expresin
2
12
=(
0
2
0 2
1)
1
2
1 2
1)
2
2
2 2
1)
3
2
3 2
1)
0 (2.74)
el cual nos indica, que para el caso que estamos considerando, el intervalo
espacio-tiempo nos mide directamente (salvo un factor constante 2 ) el intervalo de tiempo propio. Si calculamos este mismo intervalo, ahora en el
sistema de referencia 0 (ver ecuacin (2.65)), por su invarianza, obviamente
obtenemos el mismo resultado. Esto nos muestra, sin ulteriores clculos, que
el intervalo de tiempo en 0 debe ser mayor que en , pues a 2 02 le estamos restando una cantidad positiva, que nos da la distancia espacial entre
los dos eventos medidos en el sistema 0 .
Cuando tiene sentido hablar del intervalo de tiempo propio entre dos
eventos?. Para responder a esta pregunta, consideremos dos eventos fsicos
2
cualesquiera 1 y 2 y calculemos el intervalo
12 entre ellos en algn sis0
1
2
3
tema de referencia inercial . Sean ( 1 1 1 1 ) y ( 02 12 22 32 ) las coordenadas de los eventos 1 y 2 respectivamente y supongamos para simplicar
los clculos, pero sin perder generalidad del resultado, que 22 = 21 y 32 = 31 ,
entonces:
2
0
0 2
1 2
( 12
(2.75)
12 = ( 2
1)
1)
Por lo tanto, si este intervalo es mayor que cero, esto signica que siempre
es posible encontrar un sistema de referencia inercial 0 , para el cual los dos
eventos ocurren en el mismo punto del espacio, as
2
12
=(
00
2
00 2
1)
(2.76)
pues, dadas las coordenadas de los dos eventos en , basta con considerar
un sistema de referencia 0 el cual se mueva con una velocidad respecto a
dada por
=
1
2
0
2
1
1
0
1
(2.77)

Para el caso que estamos considerando, la velocidad del sistema 0 est
a lo largo del eje de las y su direccin depende de la posicin relativa entre
1
1
los eventos ( 12
0 o 12
0) en , y del orden temporal entre
1
1
0
0
0
0
ellos, es decir si 2
0
o
0 (ver ecuacin (2.77)).
1
2
1
Ahora bien, si el intervalo espacio-tiempo entre los eventos medido en
algn sistema de referencia fuera menor o igual a cero, dada la invarianza
2
de
12 , es obvio que no existe un sistema de referencia para el cual los
dos eventos ocurran en el mismo punto del espacio y por lo tanto, en este
caso, no tiene sentido hablar de tiempo propio entre los eventos. Adems,
para esta ltima situacin considerada, como lo veremos en seguida, el orden
temporal entre los eventos puede invertirse o ser simultneos para algunos
observadores, lo que implica fsicamente que los dos eventos no pueden estar
causalmente conectados, pues para que un evento fuera causa del otro, se
necesitara transmir informacin a una velocidad mayor a la de la luz.
La segunda consecuencia importante de las TL, se relaciona con la contraccin de longitudes. Para entender el signicado fsico de este fenmeno,
denamos primero lo que se entiende por medir la longitud de un cuerpo.
Consideremos el problema de medir la longitud de una varilla rgida.
Supongamos que para un observador inercial
la varilla se encuentra en
reposo y elijamos el eje de las a lo largo de la varilla. Por denicin, la
longitud de la varilla est dada por la diferencia de las coordenadas de los
extremos de la varilla:
1
1
(2.78)
0 = 2
1
1
en donde se ha supuesto, sin prdida de generalidad, que 12
1 . Esta
denicin es fsicamente consistente, puesto que la varilla est en reposo
para el observador . De la misma manera como denimos tiempo propio,
llamemos a 0 , denido en la ecuacin (2.78), longitud propia de la varilla.
En trminos generales, denimos la longitud propia de un cuerpo cualquiera,
como la longitud del cuerpo medida en el sistema de referencia, en el cual
el cuerpo se encuentra en reposo. El problema surge cuando el cuerpo al
cual se le quieren medir sus dimensiones, est en movimiento. Consideremos
entonces, otro sistema de referencia 0 el cual se mueve con velocidad
respecto a y denamos la longitud de la varilla en 0 , como la diferencia
de las coordenadas de los extremos de la varilla en un instante dado 0 :
01
2
01
1
(2.79)
Esto signica, que el observador 0 mide simultneamente la posicin

de los extremos de la varilla y dene su longitud como la diferencia de las
45
coordenadas espaciales de los dos eventos fsicos, cuyas coordenadas estn

01
00
01
dadas por ( 00
1
1 0 0) y ( 2
2 0 0) con. Para encontrar la relacin entre
las medidas realizadas por los dos observadores, basta con aplicar las TL,
teniendo en cuenta que en el sistema 0 los eventos (coordenadas espacio00
tiempo de los extremos de la varilla) deben ser simultneos 00
1 = 2 . As, de
la ecuacin (2.78) y de las TL inversas (ecuaciones (2.43)), tenemos
0
= (
01
2
01
1
)= (
01
2
01
1)
(2.80)
y aplicando la denicin (2.79) para la longitud de la barra medida por 0 ,

llegamos al resultado
p
2 2
= 0 1
(2.81)
el cual establece que la longitud fsica

pen la direccin de movimiento de un
2 2 con respecto a la longitud
slido, se v contraida en un factor 1
propia del slido, en donde es la velocidad del cuerpo respecto al observador inercial que mide su longitud. De las TL se ve directamente que las
dimensiones transversales al movimiento de un slido no se alteran en virtud
de su movimiento.
Una consecuencia inmediata de este efecto de la contraccin, es que en
fsica relativista los conceptos de slido rgido y uido incomprensible no
son vlidos en general. La ecuacin (2.81) la haban postulado Fitzgerald
y Lorentz para explicar el resultado negativo del experimento MichelsonMorley, pues si el brazo del interfermetro a lo largo de la direccin de
movimiento de la tierra se contrayese de acuerdo a esta ecuacin, entonces
se puede mostrar fcilmente que no apareceran franjas de interferencia, pues
los caminos pticos de los dos rayos de luz seran iguales. El problema con
el razonamiento de Fitzgerald y Lorentz es que los brazos del interfermetro
estn en reposo respecto a la tierra y por lo tanto su longitud medida en la
tierra, de acuerdo a la relatividad, es la longitud propia y no debe aparecer
contrada.
Estas dos primeras consecuencias de la teora de la relatividad, dilatacin temporal y contraccin de longitudes, a pesar de su caracter bastante
extrao a nuestra intuicin clsica, han sido corroboradas en varios experimentos. El primer experimento reportado, fue realizado por Rossi y Hall
(Rossi, B. & Hall, D. B., Phys. Rev., 59,223, 1941) utilizando unas partculas elementales, los munes
, descubiertas en los rayos csmicos. La gran
mayora de las partculas elementales conocidas son inestables, es decir, que
estas partculas despus de haber sido producidas por algn proceso, decaen

expontneamente en otras partculas al cabo de un cierto tiempo, llamado
tiempo propio o tiempo de vida media de la partcula (este tiempo de vida
es caracterstico de cada clase de partcula). Por ejemplo, si producimos un
mun
en reposo en el laboratorio, entonces pasados unos 2 2 10 6 la
partcula se desintegra en un electrn y en dos neutrinos.
Los rayos csmicos son haces de partculas, fundamentalmente protones
y electrones de alta energa, los cuales al incidir sobre las capas superiores
de la atmsfera terrestre, producen toda una serie de partculas elementates,
entre otras los munes, los cuales viajan hacia la tierra con velocidades muy
cercanas a la de la luz:
0 994 . Estos munes se producen a una altura del orden de los 2000 , y se detectan sobre la supercie de la tierra.
Clsicamente, se espera que estos munes se desintegren antes de llegar a
la supercie terrestre, pues a la velocidad de 0 994 en un tiempo de vida
de 2 2 10 6 alcanzan a avanzar escasamente unos 656 . Dado que para
un observador ligado a la tierra los dos eventos, se crea el mun y luego se
detecta, ocurren en puntos diferentes del espacio, mientras que para un observador ligado al mun los dos eventos ocurren en el mismo punto del espacio,
y por lo tanto, el intervalo de tiempo medido por este ltimo observador es
un tiempo propio, entonces para el observador terrestre el tiempo entre los
eventos debe estar dilatado en un factor
p
2 2
1 1
9
(2.82)
de acuerdo con la ecuacin (2.73). As, para el observador en reposo con
respecto a la tierra el mun alcanza a sobevivir un tiempo del orden de
2 10 5 antes de desintegrarse y por lo tanto, puede recorrer un espacio
aproximado de =
6 000 , antes de desintegrarse, lo que signica
que los mesones si pueden alcanzar la supercie terrestre antes de que ellos
decaigan en otras partculas.
Dado que la llegada de los munes a la supercie terrestre es un hecho
fsico, a esta misma conclusin debe llegar cualquier otro observador inercial.
Por ejemplo, consideremos el observador ligado a la partcula. Puesto que
para l la partcula se encuentra en reposo, su vida media no se ve dilatada y
por lo tanto el mun se desintegra al cabo de 2 2 10 6 . Pero ahora, es la
tierra la que se mueve hacia l, con una velocidad de = 0 994 y la distancia
a la supercie tierrestre, desde el lugar donde se producen los munes, se ve
contraida en un factor
p
2 2
1
0 11
(2.83)
47
de acuerdo con la ecuacin (2.81) y por lo tanto la supercie de la tierra se

encuentra a una distancia fsica de
0 11 2 000
= 220
(2.84)
la cual es lo sucientemente corta para que la supercie de la tierra llegue

hasta el punto en el cual se encuentra el mun, antes que este se desintegre.
Esta aparente asimetra en el anlisis de un fenmeno fsico, visto por
dos observadores inerciales (en un caso el efecto considerado es la dilatacin temporal, mientras que para el otro observador es la contraccin de
longitudes), no est en contradiccin con el principio de relatividad, pues este
principio lo que establece es la invarianza de las leyes fsicas para observadores
inerciales. En efecto, dos observadores pueden medir diferentes trayectorias,
longitudes, intervalos de tiempo, energas cinticas, etc., pero las leyes que
rigen la dinmica de los sistemas si deben ser las mismas.
Es importante resaltar este aspecto, pues es frecuente caer en aparentes
paradojas cuando se aplica el principio de relatividad. De hecho se han construido muchos ejemplos, llamados en fsica gedanken Experimenten, que
ilustran esta situacin y que constituyen un buen ejercicio para comprender
mejor los fenmenos relativistas.
Un clsico ejemplo es el de un carro de longitud propia 0 y un garaje
de menor longitud propia 0 con 0
0 . Supongamos que el carro se dirige
hacia el garaje con una velocidad suciente, para que su longitud medida
por un observador en reposo con respecto al garaje sea menor que 0 , esto es
p
2 2
1
(2.85)
0
0
Entonces, un observador en reposo respecto al garage planea atrapar al carro
dentro del garaje y calcula cerrar la puerta de ste, tan pronto la trompa del
carro alcance la pared del fondo. Para el observador que viaja con el carro,
es el garaje el que aparece contraido y por lo tanto, para l es imposible que
lo atrapen dentro del garaje, pues cuando la pared toque la punta del carro,
el observador del garaje no puede cerrar la puerta. Claramente este anlisis
es contradictorio, pues desde el punto de vista fsico si el carro puede ser
atrapado por un observador, ste debe ser atrapado por todos, o lo contrario,
es decir no es atrapado por ninguno.
La solucin a esta aparente paradoja reposa en el hecho que la simultaneidad no es un concepto absoluto como hemos visto. Cuando el observador

ligado al garage cierra la puerta simultneamente cuando la trompa del carro alcanza a la pared, para el observador en el carro, primero llega la trompa
a la pared y luego se cierra la puerta.
Captulo 3
La estructura causal del
espacio-tiempo
3.1.
Introduccin
En este captulo deniremos la estructura causal del espacio-tiempo. En la

primera parte se har una breve discusin sobre transformaciones lineales que
dejan invariante la distancia euclideana (rotaciones) con el n de motivar la
estructura Minkowskiana del espacio-tiempo y el concepto de cuadri-vector.
En la parte nal se deducirn las transformaciones de Lorentz a partir de
la invarianza del intervalo espacio-tiempo entre dos eventos y se discutar la
estructura causal del espacio-tiempo.
3.2.
Rotaciones en el plano euclideano
Consideremos el plano euclideano
= ( 1 2) |
R2 :=
R; = 1 2
y el conjunto de transformaciones lineales del plano euclideano sobre si mismo:

0
: R2
R2 ;
=
(3.1)
tal que dejen invariante la norma euclideana, denida por
2
:=
2
X
= ( 1 )2 + ( 2 )2
=1
49
(3.2)
50 CAPTULO 3. LA ESTRUCTURA CAUSAL DEL ESPACIO-TIEMPO

es decir,
0
02
En la ecuacin (3.2) se ha denido el smbolo de Kronecker

mtrico euclideano) por:
0
6=
:=
1
=
Dado que
como
(3.3)
(o tensor
(3.4)
es una transformacin lineal de R2 en R2 la podemos escribir

0
2
X
(3.5)
=1

son constantes. En la ltima igualdad hemos
introducido la convencin de suma de Einstein, en donde se asume una suma
en todo factor en el cual aparezcan dos ndices repetidos, uno como subndice
y el otro como suprandice y la suma se realiza sobre el rango de valores que
tome el ndice. Busquemos entonces la forma ms general de estos coecientes
que representen una transformacin lineal y que dejen invariante la distancia
euclideana. Para este n remplacemos en la ecuacin (3.3) la transformacin
lineal (3.5):
=
= 2 = 2 =
(3.6)
Identicando los coecientes de las correspondientes coordenadas, obtenemos el siguiente conjunto de ecuaciones acopladas para los coecientes:
2
11
2
21
=1
(3.7)
2
12
2
22
=1
(3.8)
11 12
21 22
=0
(3.9)
Adems, dado que es una transformacin lineal de R2 en R2 , y por lo

tanto
= 0 solo si = 0, entonces el determinante de la transformacin
debe ser diferente de cero
11 22
12 21
6= 0
(3.10)
Como el sistema de ecuaciones tiene cuatro incognitas podemos encontrar tres de llas en trminos de la restante, o equivalentemente podemos
despejar las cuatro incognitas en funcin de un parmetro. Si llamamos a
3.2. ROTACIONES EN EL PLANO EUCLIDEANO
51
este parmetro y lo denimos como 11 := cos( ) directamente se pueden

despejar los dems coecientes para obtener:
11
22
= cos( );
12
21
= sin( )
(3.11)
Con esto podemos escribir explcitamente las ecuaciones de transformacin en la forma:

01
= 1 cos( ) + 2 sin( )
(3.12)
02
cos( )
sin( )
(3.13)
Es de anotar que en el proceso de despejar los coecientes tenemos que

escoger un signo, pues de la ecuacin (3.7), al despejar 21 en trminos de 11
surge una raz. La escogencia hecha de la raz positiva nos conduce a que el
determinante de los coecientes tome el valor +1, que para el caso de haber
tomado la raz negativa nos hubiera dado el valor del determinante igual a
1. Que el determinante de los coecientes de la transformacin lineal es
1 se puede obtener directamente de las propiedades de las transformaciones
que dejan invariante la norma euclideana de un vector, pues si representamos
los puntos (vectores) de
R2 por matrices columna
1
(3.14)
=
2
entonces, la norma al cuadrado (ecuacin (3.2)) se puede escribir como:
1 1 1
1 2
2
=
=
=
(3.15)
2
2
2
donde signica la transpuesta de la matriz. De esta forma, la invarianza

bajo la transformacin lineal de la norma se puede escribir de la siguiente
forma:
= 0 0=( ) ( )=
(3.16)
lo que implica que la matriz de transformacin debe satisfacer la condicin

=1
(3.17)
que fcilmente se ve que conduce al mismo sistema de ecuaciones para los

coecientes de la matriz . Toda transformacin (o matriz) que satisfaga la
ecuacin anterior (3.17) se llama ortogonal, y fcilmente se ve que bajo una
Figura 3.1: Rotacin de los ejes en el plano euclideano

tal transformacin, tambin se preservan los ngulos entre los vectores del
plano euclideano, pues
0
=(
(3.18)
Tomando el determinante en la ecuacin (3.17) y teniendo en cuenta que

det = det , obtenemos el resultado general que:
| det
|2 = 1 =
| det
|= 1
(3.19)
Este resultado tiene una interpretacin geomtrica que veremos enseguida

(ver Figura 3.1).
Si hacemos una rotacin de los ejes coordenados
por un ngulo y en
sentido contrario a las agujas del reloj, las componentes de un vector de R2 se
transforman como en la ecuacin (3.5) y claramente dejan la norma del vector
invariante. Este resultado muestra entonces, que la transformacin lineal que
deja invariante la norma de un vector en R2 queda determinada por un solo
parmetro y puesto que es equivalente a una rotacin de los ejes, podemos
escoger como parmetro el ngulo de rotacin . De esta forma podemos escribir ( ) para representar esta transformacin lineal. Adems, si realizamos
3.3. CUADRI-VECTORES Y EL GRUPO DE LORENTZ
53
dos transformaciones (rotaciones) sucesivas ( ) y ( ), la primera en un

ngulo y la segunda en un ngulo , entonces la transformacin compuesta
( )
( ) es equivalente a una sola transformacin en un ngulo + .
Adicionalmente, la transformacin inversa de ( ) es equivalente a la transformacin por un ngulo
y la transformacin identidad corresponde a la
rotacin en un ngulo cero. Resumiendo
( )
(3.20)
( )= ( + )
1
( )= (
(3.21)
(3.22)
(0) = 1
Estas ecuaciones denen un grupo matemtico, llamado el grupo de rotaciones del plano. Dado que las transformaciones estn determinadas por un
nico parmetro , que vara continuamente de 0 a 2 , el grupo se llama
continuo o grupo de Lie de un parmetro.
3.3.
Cuadri-vectores y el grupo de Lorentz
Denamos el espacio cuadridimensional de cuadri-vectores como:

M : ={ =(
R4 |
:=
}
(3.23)
en donde el producto interno Minkowskiano est denido como
:=
0 0
1 1
2 2
3 3
(3.24)
En la ltima igualdad hemos hecho uso de la convencin de suma de Einstein,

en la cual los ndices griegos repetidos toman los valores 0 1 2 3 y como es
usual en relatividad, el ndice 0 corresponde a la componente temporal del
cuadri-vector. Los elementos de matriz
, llamados las componentes del
tensor de Minkowski (nombre que se justicar cuando veamos tensores),
estn denidos por
:=
0
1
1
=
=
6=
=0
=1 2 3
(3.25)

El producto interno denido por la ecuacin (3.24) induce entonces una
norma
2
:=
= ( 0 )2
( 1 )2
( 2 )2
( 3 )2 =
(3.26)
Denamos una Transformacin de Lorentz (TL) como una transformacin

lineal
: M
M
(3.27)
7
=
tal que deje invariante el producto interno Minkowskiano
, esto es
(3.28)
Para encontrar la forma general de una transformacin de Lorentz, utilicemos primero el hecho que cualquier transformacin lineal la podemos escribir
en la forma
=
(3.29)
conforman la matriz de transformacin de
Lorentz. Remplazando la ecuacin (3.29) en (3.28) y comparando coecientes,
obtenemos las condiciones que deben cumplir los elementos de la matriz de
Lorentz:
=
(3.30)
Esta ecuacin la podemos escribir en forma equivalente, como el siguiente
sistemas de ecuaciones:
(
0 2
0)
3
X
(
2
0)
=1
(3.31)
=1
0 2
3
X
(
)2 = 1;
=1 2 3
(3.32)
=1
= 0;
6=
(3.33)
Este sistema de ecuaciones es general y contiene todas las posibles transformaciones entre sistemas de coordenadas que dejan invariante el producto
punto Minkowskiano. Estas transformaciones las podemos dividir en tres
categoras: La primera corresponde a las rotaciones de los ejes espaciales,
dejando la coordenada temporal inmodicada y forman el llamado grupo de
55
rotaciones. este grupo representa el hecho que el espacio fsico es isotrpico.

Claramente una rotacin espacial queda determinada por tres parmetros,
por ejemplo los tres ngulos de Euler. La segunda categora la constituye la
operacin de inversin de los ejes espaciales y el temporal. La ltima categora, que es la de inters para nosotros, la conforman las transformaciones
puras de Lorentz, que representan el cambio entre sistemas de referencia inerciales, manteniendo tanto los ejes espaciales paralelos (no hay rotaciones
espaciales) as como el sentido de los ejes espaciales y el temporal (sin inversin de ejes). Este grupo de transformaciones es conocido en la literatura
como las boost de Lorentz , las cuales quedan completamente determinadas por tres parmetros, que pueden ser escogidos para que corresponden
a las tres componentes de la velocidad relativa de los sistemas de referencia.
Antes de continuar desarrollando este ltimo grupo de transformaciones,
es importante aclarar que el conjunto de transformaciones que dejan invariante el producto punto Minkowskiano es ms general que el dado en
la ecuacin (3.29), pues es inmediato ver que bajo una translacin de los
ejes epacio-temporales la invarianza del producto punto se mantiene. Estas tranformaciones representan la homogeneidad del espacio-tiempo, o en
otros trminos, la arbitrariedad de la eleccin del origen de coordenadas.
Esta transformacin queda determinada por cuatro parmetros (las cuatro
componentes del cuadri-vector translacin) y podemos entonces escribir la
transformacin de coordenadas ms general como
=
(3.34)
llamada transformacin de Lorentz inhomognea. Estas transformaciones

generales constituyen el grupo de Poincare de diez parmetros: Tres ngulos
de rotacin + tres componentes de la velocidad relativa + cuatro desplazamientos. El grupo de Poincare es el grupo de simetrias fundamental de la
fsica y representa la expresin matemtica del principio de relatividad y de
las propiedades bsicas del espacio y el tiempo, esto es, de la homogeneidad e isotropa del espacio fsico tridimensional y su estructura geomtrica
euclideana y de la homogeneidad e isotropa del tiempo.
Restrinjmonos ahora solamente a las boost de Lorentz y consideremos
un sistema de referencia inercial 0 que se mueve con velocidad constante
respecto al sistema inercial a lo largo del eje 1 y con los ejes espaciales
2
paralelos. Entonces, dado que en este caso 02
=
y 03
=

3
, la matriz de transformacin de Lorentz se reduce a:

0
0
1
0
0
1
1
1
0
0
0
0
1
0
0
0
0
0
0
1
(3.35)
y las relaciones (3.31), (3.32) y (3.33), toman la forma:

(
(
0 2
0)
0 2
1)
0
0
0
1
1 2
0)
1 2
1)
1
0
(3.36)
=1
1
(3.37)
=0
(3.38)
1
1
que es un sistema de tres ecuaciones con cuatro incgnitas y as, los coecientes
por determinar, quedan dados en trminos de un parmetro:
la velocidad relativa entre los sistemas de referencia y 0 . Teniendo en
cuenta que las coordenadas del origen del sistema 0 , medidas en el sistema
1
estn dadas por ( 0
0 0) y que bajo una T.L. se transforman a las
0
coordenadas (
0 0 0) en 0 , obtenemos la ecuacin:
0=
1 0
0
1 1
1
1
0
1 0
0
1
1
1
1
=
(3.39)
Entonces, el sistema de ecuaciones (3.36), (3.37) y (3.38) tiene solucin

nica y est dada por:
0
0
0
0
1
0
0
0
0
0
0
1
(3.40)
en donde
=
=
( ) := q
1
( ) :=
;
2
2
(3.41)
(3.42)
57
Escribiendo explcitamente el sistema de ecuaciones de transformaciones

de Lorentz,
0
1
= ( 0
)
(3.43)
1
= (
(3.44)
(3.45)
(3.46)
vemos la extrecha relacin formal con la ecuacin (3.13) (rotacin de los ejes
1
y 2 ).
No es dicil ver que podemos interpretar formalmente una transformacin
de Lorentz, como una rotacin en el plano complejo de los ejes (
) en un
ngulo complejo. Para este fn denamos el parmetro por la siguiente
ecuacin:
tanh := =
(3.47)
en donde tanh es la tangente hiperblica. Con esta denicin, y utilizando
las identidades para las funciones hiperblicas, tenemos que:
cosh
= ( );
sinh
( );
(3.48)
Con esta decin (ecuacin (3.47)) y las relaciones (3.48) las ecuaciones
de transformacin de Lorentz se pueden escribir en la forma:
0
cosh
sinh
(3.49)
cosh
sinh
(3.50)
(3.51)
(3.52)
Recordando la relacin cosh = cos( ), vemos la estrecha relacin entre

las rotaciones de los ejes coordenados y las transformaciones de Lorentz. Otra
ventaja que tiene expresar las transformaciones de Lorentz en trminos del
parmetro , es la expresin para el teorema de adicin de las velocidades,
pues dos transformaciones de Lorentz sucesivas, con parmetros tanh 1 =
y tanh 2 = 2 , corresponden a una transformacin de Lorentz con
1

parmetro = 1 + 2 , pues, de la identidad trigonomtrica para la tangente
de la suma de dos ngulos, tenemos:
tanh
= tanh( 1 + 2 )
tanh 1 + tanh
=
1 + tanh 1 tanh
+ 2
1
=
1+ 1 2 2
2
2
(3.53)
=
la cual coincide con la ecuacin (2.53).
3.4.
Conos de luz y relaciones de causalidad
Puesto que el cuadrado la norma de todo cuadri-vector (c-v) es un invariante relativista y esta norma no es denida positiva, podemos clasicar a
los c-v en en tres grupos disyuntos: Dado un c-v
M, denimos:
1. si
0 el c-v se llama como de tiempo
2. si
0 el c-v se llama como de espacio
3. si
= 0 el c-v se llama como de luz
Un c-vector como de tiempo, cuya primera componente es mayor que

0, se llama dirigido al futuro, mientras que si 0
0 se llama
cero, 0
dirigido al pasado.
Para entender el signicado fsico de esta clasicacin y sus consecuencias,
consideremos dos eventos fsicos, por ejemplo el decaimiento de un ncleo
radiactivo de uranio, situado en el origen de coordenadas ( 01 11 21 31 ) =
(0 0 0 0) para un observador y la sin de otro ncleo de uranio, situado
en las coordenadas ( 02 12 22 32 ) (
) medidas por el observador .
Calculemos entonces el intervalo espacio-temporal entre estos dos eventos:
2
=(
0
2
2 2
0 2
1)
2
(
2
1
2
1 2
1)
2
2
2
2 2
1)
3
2
3 2
1)
(3.54)
3.4. CONOS DE LUZ Y RELACIONES DE CAUSALIDAD
59
2
Consideremos primero el caso
0 (sin prdida de generalidad
tomemos
0), y supongamos que en el instante = 0, en el cual ocurre el
primer evento y desde el origen de coordenadas, se enva una seal luminosa
que viaja en la direccin
p del segundo evento. Puesto que la distancia espacial
2 + 2 + 2 , el tiempo
entre los eventos es
0 , que tarda en llegar el rayo
de luz al punto del espacio donde el ncleo se siona es menor que , pues de
2
la relacin
0 se sigue que
2
2
2
0
(3.55)
Esto signica que es posible que el primer evento, la desintegracin del ncleo,
pueda ser causa del segundo evento, la sin del otro ncleo. Si hubieramos
supuesto que
0 la conclusin es la misma, solo que en este caso la sin
del ncleo pudo ser la causa de la desintegracin del otro. El resultado general
que se desprende de este anlisis es que eventos, cuya separacin o intervalo
espacio-temporal es mayor que cero, son eventos causalmente conectados (lo
que no signica necesariamente que uno de ellos sea causa del otro), y por lo
tanto, la sucesin temporal de eventos causalmente conectados es la misma
2
para todos los observadores. Adems, puesto que
0, notemos que
0
siempre es posible encontrar un sistema de referencia
para el cual los
dos eventos ocurren en el mismo punto del espacio, pues basta con elegir la
velocidad de este sistema igual a
r
2+ 2+ 2
=
(3.56)
2
en la direccin apropiada (a lo largo de la lnea que une a los dos eventos,
tomndola como el eje de las ) y haciendo una transformacin de Lorentz,
obtenemos que las coordenadas de los dos eventos en este sistema de referencia 0 son (0 0 0 0) y ( 0 0 0 0) y por lo tanto
2
2 2
2 02
(3.57)
Recordando la denicin de tiempo propio, como el intervalo de tiempo

medido en un sistema de referencia para el cual los dos eventos ocurren en
el mismo punto del espacio, vemos que el intervalo espacio-temporal para
eventos como de luz, nos da una medida directa del tiempo propio entre los
eventos, sin necesidad de encontrar el sistema de referencia para el cual los

dos eventos ocurren en el mismo punto del espacio. As podemos adoptar la
siguiente denicin general de tiempo propio:
2
Si
0 para dos eventos, denimos
, intervalo de tiempo propio,
como:
r
2
:=
(3.58)
2
En el segundo caso, para eventos como de luz donde
= 0, obtenemos una conclusin similar al caso anterior, en cuanto a que los eventos
estn conectados causalmente, solo que para este caso, el fotn que se enva
desde el primer evento en la direccin del segundo, llega en el mismo instante
en que ocurre el segundo evento y en este caso no tiene sentido hablar de
tiempo propio entre los eventos, pues no es posible encontrar un sistema de
referencia para el cual los dos eventos ocurran en el mismo punto del espacio
02
02
2
( 02 +
+
= 0), sin que se viole la invariancia de
= 0, salvo
02
en el caso trivial que tambin fuera
= 0, caso en el cual los dos eventos
ocurren en el mismo punto del espacio-tiempo para todos los observadores.
2
Para el ltimo caso, de eventos como de espacio
0, encontramos,
realizando un anlisis similar a los anteriores, que el fotn enviado desde
el primer evento hacia el segundo, siempre llega despus que el evento ha
tenido lugar. As no es posible que un evento sea causa del otro y en este caso
2
se habla de eventos causalmente desconectados. De la expresin para
se obtiene que siempre es posible encontrar un sistema de referencia para
el cual los eventos ocurren simultneamente, pero, lgicamente, en puntos
separados del espacio. Adems, la sucesin temporal de los eventos depende
del observador, es decir, si para un observador inercia dos eventos P1 y
P2 causalmente desconectados (i.e. como de espacio) son tales que 1
2,
entonces existen observadores inerciales, e.g. , tal que 1 2 .
Esta clasicacin de eventos divide al espacio-tiempo en cinco regiones

disyuntas. Dado un evento , el cual lo podemos ubicar sin prdida de
generalidad en el origen de coordenadas de un sistema de referencia , el
conjunto de eventos con coordenadas (
), medidas en , que satisfacen
la relacin
2
2
2
2
= 22
=0
(3.59)
denen el llamado cono de luz del evento ubicado en el origen de coordenadas. La razn de llamarse cono de luz surge cuando dibujamos estos
puntos en un grco tridimensional, (
) como se ve en la (Figura 3.2).
3.4. CONOS DE LUZ Y RELACIONES DE CAUSALIDAD
61
Figura 3.2: Estructura causal del espacio-tiempo

Los eventos con coordenadas tales que:
2
2 2
(3.60)
forman el futuro causal de y aquellos con

0 el pasado causal, esto
signica, que todos los eventos situados dentro del cono de luz de estn
causalmente conectados con y pueden ser causados por el evento (futuro
causal) o pueden ser causa de (pasado causal). Todos los dems eventos, es
decir aquellos para los cuales se cumple la relacin
2
2 2
(3.61)
conforman la regin como de espacio de eventos causalmente desconectados

con el evento .
Esta forma de representar los eventos en un grco espacio-temporal, nos
permite visualizar fcilmente muchos procesos fsicos como veremos en varios
ejemplos a lo largo del texto. Un primer resultado que podemos obtener,
sin necesidad de recurrir a clculos explcitos, es que la trayectoria de una
partcula material representada en un grco espacio-tiempo, siempre tiene
que estar dentro del cono de luz de cada uno de los puntos (eventos) de la
Figura 3.3: Lineas de universo de partculas fsicas

trayectoria y la trayectoria de un fotn (rayo de luz) siempre est sobre el
cono de luz de cada uno de los puntos de su trayectoria (ver Figura 3.3).
3.5.
Algebra de cuadri-vectores
En esta seccin veremos algunas propiedades de carcter matemtico

de los c-v, que se desprenden directamente de la denicin de la mtrica
Minkowskiana, sin necesidad de recurrir a interpretaciones fsicas, pero que
van a ser de mucha utilidad para entender algunos resultados de la teora de
la relatividad.
El espacio cuadridimensional de cuadri-vectores M, admite una estructura de espacio vectorial con la suma de c-v y el producto de un escalar (los
reales) por un c-v denidos como:
M
+
= (
= (
0
0
R
1
2
0
)+(
1
+ 1
0
2
2
2
3
3
)
+
(3.62)
3
3.5. ALGEBRA DE CUADRI-VECTORES
= (
63
) := (
(3.63)
o en forma equivalente, utilizando la notacin con ndices:

( + ) =
(
(3.64)
(3.65)
) =
De la denicin del producto interno invariante de Lorentz y por las

propiedades del lgebra vectorial denida, se obtienen las siguientes propiedades
del producto interno:
Proposicin 4.1 El producto interno Minkowskiano satisface las siguientes propiedades:
=
( + )=
(
)=(
(3.66)
= ( )
Su demostracin es directa a partir de la denicin del producto punto

Minkowskiano (3.24) y del lgebra de vectores denida por las ecuaciones
(3.62) y (3.63). Veamos, como ejemplo del mtodo de demostracin, solamente la segunda propiedad. De las deniciones de producto interno y suma
de c-v en notacin de componentes, tenemos:
( + ) =
=
=
=
como queriamos probar.
Corolario 4.2
( + )
( + )
+
+
(3.67)
M se cumplen las siguientes identidades:

( )2 =
( + )2 + (
( + )(
)2 = 2(
)=
(3.68)
Estas identidades se deducen directamente de la Proposicin 4.1 anterior.

Podemos extender formalmente, la denicin de vectores ortogonales de
espacios vectoriales reales con producto interno denido positivo, al caso de
c-vectores por medio de la relacin = 0, la cual por ejemplo hace que
todo vector como de luz sea ortogonal a si mismo, pues 2 =
= 0.
0
1
2
3
Nota 4.1 Dado un c-v cualquiera
M, con = (
), a la
primera componente del c-v se le llama temporal y a las otras tres componentes espaciales, justicando de esta forma la notacin = ( 0 ).
Entonces, de la denicin del producto interno de c-v, la norma de un c-v
la podemos escribir como
2
= ( 0 )2
|2
(3.69)
con
R3 y | | la norma usual ( euclideana) de R3 .
Otras propiedades de inters de los cuadri-vectores son las siguientes:
Proposicin 4.2 Si
M son c-v como de luz, entonces los vectores
+ y
son mutuamente ortogonales y tienen normas opuestas.
Para demostrar la ortogonalidad, basta con utilizar la ltima de las ecuaciones (3.68), pues
( + )(
)=
(3.70)
=0
dado que los c-vectores y son como de luz, i.e. 2 = 0 y 2 = 0. De esta

ltima propiedad y de la primera de las ecuaciones (3.68) se obtiene tambin,
que sus normas son opuestas:
( + )2 =
(
)2 =
2
2
+2
2
=2
=
(3.71)
(3.72)
Proposicin 4.3 Dos c-v

M como de luz y mutuamente ortogonales = 0 son proporcionales entre si, i.e. = .
Para la demostracin basta con tener en cuenta, por hiptesis, las siguientes relaciones,
0=
= 0 0
(3.73)
0=
= ( 0 )2
0=
0 2
=( )
|2
(3.74)
(3.75)
Entonces, de las propiedades del producto interno euclideano para las

,
componentes espaciales de cualquier c-v sabemos que =| || | cos
y as obtenemos de las anteriores relaciones que
0 0
= (|
|2 )1 2 (|
|2 )1
cos
=1
(3.76)
3.5. ALGEBRA DE CUADRI-VECTORES
65
lo cual signica que las componentes espaciales son paralelas y as proporcionales, es decir = . Ahora, de la relacin =
y remplazndola en
la ecuacin (3.73) se obtiene:
0=
0 0
Teniendo en cuenta que ( 0 )2 =|
|2
(3.77)
|2 (relacin (3.74)), entonces
0 0
0=
0 0
( 0 )2 =
(3.78)
Como el c-v es como de luz se debe cumplir que 0 6= 0 y por lo tanto

la ecuacin anterior implica que 0 = 0 , de donde se deduce que los c-v
y son proporcionales:
=
(3.79)
como se quera probar.
Nota 4.2 La relacin
( + )(
)=
(3.80)
nos permite construir c-v ortogonales a partir de dos c-v cualesquiera y

de igual norma.
Proposicin 4.4 Todos los c-v
M, ortogonales a un c-v como de
tiempo, son como de espacio y forman un subespacio tridimensional como de
espacio.
Para su demostracin consideremos primero que, si
=0
0 0
(3.81)
entonces, como = ( 0 ) es como de tiempo, se debe cumplir que

( 0 )2 | |2 y por lo tanto
|
0 0
| 0|
| |
| 0|
| |
( 2 )1
6= 0 y
(3.82)
Elevando al cuadrado ambos lados de esta desigualdad

|
0 0 2
0 |2
= ( 0 )2
=
| |2
| |2
= ( 0 )2
2 2
| |
2
(3.83)

Utilizando un argumento similar al anterior, se puede probar que todo
vector ortogonal a un vector como de luz es como de espacio, salvo el caso
tratado anteriormente (Proposicin 4.3).
Nota 4.3 Claramente existen tres c-v como de espacio ortogonales entre
s, pero solo hay dos c-v como de espacio mutuamente ortogonales, que sean a
su vez ortogonales a un c-v dado como de luz. Esta situacin se puede ilustrar
tomando
= (1 1 0 0), el cual es un c-v como de luz y 1 = (0 0 1 0) y
2 = (0 0 0 1) c-vectores como de espacio, ortogonales entre si y ortogonales
al c-v . Ahora, es claro que cualquier otro c-v como de espacio, ortogonal a
1 y 2 , debe tener la segunda componente no nula y por lo tanto ya no sera
ortogonal al c-v . Para probar esto, por contradiccin, supongamos que
existe un vector 3 = ( 0 1 2 3 ) como de espacio y ortogonal a los c-v ,
2
= 3 = 0,
1 y 2 . Entonces, de la ortogonalidad con 1 y 2 se obtiene que
0
1
y de la ortogonalidad con
se tiene que
= , por lo tanto la norma del
c-v 3 est dada por:
3
= ( 0 )2
( 1 )2 = 0
(3.84)
lo cual implica que 3 sera como de luz, contradiciendo la hiptesis inicial.

Nota 4.4 Anlogo a la descomposicin de vectores ordinarios en componentes ortogonales, una de ellas a lo largo de un vector dado , con
=
+ , en donde
es ortogonal a , podemos representar cualquier
c-v
M como
= +
(3.85)
con un c-v jo como de tiempo y un nico c-v como de espacio ortogonal
a , el cual est completamente determinado por por el c-v , siendo un
parmetro real.
Captulo 4
4.1.
Introduccin
En este captulo se desarrollar la cinemtica relativista como una aplicacin de los cuadri-vectores. En las dos primeras partes deniremos los cvectores velocidad y aceleracin y en la ltima parte introduciremos el cvector nmero de onda, como una consecuencia de la invarianza relativista
del producto punto y se discutir el efecto Doppler y la aberracin de la luz
como una consecuencia de las leyes de transformacin de los c-vectores.
4.2.
Cuadri-vector velocidad
Denamos el c-v posicin como un elemento del espacio M el cual describe el instante de tiempo y posicin espacial de un evento fsico cualquiera,
cuyas coordenadas para un observador inercial
estn dadas por
=
( 0 1 2 3 ).
Por ejemplo, la trayectoria de una partcula elemental, es decir, su posicin espacial en cada instante de tiempo, la podemos describir por un c-v
posicin ( ) como funcin de algn parmetro y a esta funcin ( ) se
le llama la lnea de universo de la partcula. En fsica no relativista es usual
utilizar como parmetro la coordenada temporal . Sin embargo es claro
que en el caso relativista este no es el parmetro ms adecuado, an cuando se puede usar, pues l depende del observador. Para describir la lnea de
universo de una partcula material es usual, dada su interpretacin fsica directa, utilizar como parmetro al tiempo propio de la partcula, es decir,
67
68
CAPTULO 4. CINEMTICA RELATIVISTA
el tiempo medido por un reloj que viaja con la partcula, el cual es un

invariante relativista y as es un parmetro independiente del observador. De
lo discutido en el pargrafo anterior, si 1 y 2 son las coordenadas de dos
eventos medidos por un observador , entonces el intervalo espacio-temporal
entre los dos eventos est dado por la expresin:
2
=(
0
2
0 2
1)
1
2
1 2
1)
2
2
2 2
1)
3
2
3 2
1)
(4.1)
Si las coordenadas 1 y 2 representan dos posiciones sucesivas de una

2
partcula material, entonces
es mayor que cero y nos mide el tiempo
propio
entre los dos eventos (ecuacin (3.58)). De esta manera ( ) nos
describe la posicin espacio-temporal de una partcula en funcin del tiempo
propio , transcurrido desde un instante inicial arbitrario, es decir (0) nos
representa la posicin espacio-temporal de la partcula en = 0. Notemos
que esta descripcin de la cuadri-posicin en funcin de solo es posible para
partculas que se mueven a una velocidad menor que la de la luz, pues para
el caso de fotones (u otras partculas con masa en reposo nula), dado que
2
ellas solo se pueden mover a la velocidad de la luz, el intervalo
entre dos
puntos de su lnea de universo siempre es cero.
La velocidad fsica de una partcula se dene como
(4.2)
en donde son las coordenadas de posicin y el tiempo medido por algn

observador inercial . Podemos generalizar el concepto de velocidad al caso
de cuadri-vectores de una manera independiente del observador, deniendo
el c-v velocidad (c-velocidad) por:
(4.3)
:=
en donde ( ) es el c-v posicin que describe la lnea de universo de una

partcula material y el parmetro tiempo propio. Para encontrar la relacin
entre las componentes de la c-velocidad y la velocidad fsica medida en un
sistema de referencia inercial , basta tener en cuenta la ecuacin (3.58). Es
decir, con la notacin
=(
)=(
)=(
(4.4)
4.2. CUADRI-VECTOR VELOCIDAD
69
tenemos que para una partcula material el tiempo propio transcurrido entre
dos posiciones sucecivas
=(
)=(
(4.5)
y
+
= (
= (
+
0
+
+ 1
+ )
)
(4.6)
est dado por la expresin:

=
p
(
0 )2
( )2
(4.7)
y por lo tanto, derivando con respecto a la coordenada temporal, tenemos

r
1
)2
( ) := p
1
(4.8)
en donde =
es la velocidad fsica de la partcula medida en el sistema
de referencia . De esta ltima ecuacin es fcil obtener la relacin entre las
componentes de la c-velocidad
=(
y la velocidad fsica
derivadas se obtiene
en
(4.9)
, pues aplicando la regla de la cadena para las
) = ( )(
(4.10)
Entonces
0
= ( ) ;
= ( ) ;
= ( ) ;
Por ejemplo, para una partcula en reposo

vector velocidad est dado por
= ( 0)
= ( )
(4.11)
= 0 tenemos que el cuadri(4.12)
70
Puesto que para determinar unvocamente la velocidad de una partcula

se requieren tres parmetros, por ejemplo, las tres componentes de la velocidad respecto a algn sistema de referencia y la c-velocidad tiene cuatro
componentes, entonces estas componentes no pueden ser todas independientes y debe existir una relacin entre ellas. Esta relacin se puede obtener
teniendo en cuenta el hecho de que la norma al cuadrado de todo c-v es un
invariante relativista, as
2
( )(
)=
(4.13)
Esta relacin indica que todo c-v velocidad es como de tiempo y geomtricamente representa el c-v tangente a la lnea de universo de una partcula
material, generalizando de esta forma los conceptos usuales de curva y su
vector tangente (velocidad).
Notemos que el valor de la norma al cuadrado del c-v velocidad se hubiera
podido obtener directamente, sin realizar ningn clculo, pues, dado que esta
norma es un invariante, siempre podemos escoger un sistema de referencia
inercial particular, por ejemplo, aquel para el cual la partcula est momentneamente en reposo, en donde
= ( 0), y asi directamente se obtiene
2
2
que
= . Este ejemplo ilustra uno de los hechos que hacen del clculo
con c-vectores una herramienta muy poderosa y en general ms simple.
Otra propiedad muy importante de los c-vectores es que todos se transforman, por denicin, de la misma forma bajo una transformacin de Lorentz,
lo cual nos permite obtener de una manera ms simple, pero ms general, las
leyes de transformacin entre sistemas de referencia inerciales de las variables
fsicas. Por ejemplo, el teorema de adicin de velocidades se sigue directamente del hecho que siendo un c-v, entonces sus componentes medidas en
dos sistemas de referencia y 0 estn relacionadas por las ecuaciones de
transformacin de Lorentz (ecuaciones (3.43), (3.44), (3.45) y (3.46)):
0
= ( )(
(4.14)
= ( )(
(4.15)
(4.16)
(4.17)
En donde es la velocidad del sistema de referencia 0 respecto al sistema y =

. Hemos colocado explcitamente el argumento del factor
4.2. CUADRI-VECTOR VELOCIDAD
71
, para distinguirlo del asociado a la velocidad fsica de la partcula.

Teniendo en cuenta la relacin entre las componentes de la c-velocidad y la
velocidad fsica (ecuacin (4.11)), vlidas en cualquier sistema de referencia,
la ecuacin (4.14) nos da directamente la ley de transformacin del factor
de la partcula:
( ) = ( ) ( )(1
)
(4.18)
2
y teniendo en cuenta esta relacin, se obtiene, de las otras tres ecuaciones
(4.15), (4.16) y (4.17), el teorema de adicin de velocidades o equivalentemente la ley de transformacin de las componentes de la velocidad fsica entre
dos sistemas de referencia inerciales:
0
( ) = ( )( ( )
( ))
(4.19)
entonces
0
(1
(4.20)
y similarmente
0
p
1
(1
p
1
(1
=
=
2
2
(4.21)
)
2
(4.22)
Para nalizar esta seccin, daremos dos resultados importantes, que sern
de utilidad en la dinmica relativista.
Proposicin 5.1 Cualquier c-vector = ( 0 ) como de tiempo ( 2
0), y dirigido al futuro ( 0 0), puede ser expresado como un multiplo de
una c-velocidad .
Para esto basta tomar
2
(4.23)
Proposicin 5.2 Dado un c-vector como de tiempo, siempre es posible

encontrar un sistema de referencia para el cual las componentes del c-vector
sean ( 0 0).
Teniendo en cuenta la Proposicin 5.1, basta con probar que se cumple
para una c-velocidad. Sea
= ( )( ) en un sistema de referencia
y
0
cuya c-velocidad respecto
consideremos un segundo sistema de referencia
72
al sistema sea , entonces claramente las componentes de la c-velocidad

respecto a 0 son ( 0). La velocidad fsica del sistema es entonces . En
efecto, si escogemos el eje temporal de 0 paralelo a , podemos eliminar
sus componentes espaciales; en caso que el c-vector est dirigido al pasado
podemos aplicar los mismos argumentos a la velocidad
. Esta situacin de
eleccin de los ejes nos permite, en muchas situaciones simplicar clculos,
pues por ejemplo si
es un c-vector cualquiera no nulo, siempre podemos
absorber dos de sus componentes espaciales (digamos 2 y 3 ) rotando los
ejes espaciales del sistema de referencia y escoger el eje 0 o 0 a lo largo
del vector
y eliminar una componente ms, bien sea 1 (como en el caso
anterior) si
es un c-vector como de tiempo, o 0 si
es un c-vector
como de espacio.
4.3.
Cuadri-vector aceleracin
De manera similar a la c-velocidad, denimos el c-v aceleracin como la

derivada de la c-velocidad respecto al tiempo propio
=(
(4.24)
) :=
Para encontrarar la relacin de las componentes de la c-aceleracin con

la aceleracin fsica, i.e., con la derivada de la velocidad respecto al tiempo
(4.25)
medida en un sistema de referencia, basta con utilizar la relacin (4.8) en

la ecuacin que relaciona las componentes de la c-velocidad con (ecuacin
(4.11)) medidas en algn sistema de referencia :
=
=
=
( )(
( )(
( )
( )
)
+ ( ) )
(4.26)
Consideremos un sistema de referencia inercial para el cual la partcula

se encuentra momentneamente en reposo, i.e., = 0, entonces para este
sistema las componentes de la c-aceleracin toman la forma
= (0 )
(4.27)
4.3. CUADRI-VECTOR ACELERACIN
73
A esta aceleracin fsica se le llama aceleracin propia y es un invariante

relativista, pues la norma al cuadrado del c-v aceleracin est dada por
2
|2
(4.28)
Esta relacin indica tambin que la c-aceleracin es un c-vector como de

espacio. Adems, los c-vectores velocidad y aceleracin son ortogonales pues,
en el sistema de referencia propio de la partcula el c-vector velocidad tiene
componentes ( 0) y por lo tanto el producto interno entre los c-vectores
velocidad y aceleracin, que es tambin un invariante, est dado por:
=0
(4.29)
Este resultado se puede obtener directamente, sin hacer uso de un sistema

particular de referencia, pues dado que 2 = 2 , se tiene entonces que
0=
=2
=2
(4.30)
Podemos proceder de manera similar como se hizo para obtener las leyes
de transformacin de las componentes de la velocidad entre sistemas de referencia inerciales y calcular las ecuaciones de transformacin para la aceleracin. Sin embargo, dado que estas expresiones no son de mucha utilidad,
pospondremos la interpretacin fsica de la aceleracin para el siguiente captulo sobre dinmica relativista y nos limitaremos en este punto a dar un
ejemplo sobre la cinemtica de un sistema con aceleracin propia constante.
4.3.1.
Viaje interestelar
Este ejemplo ilustra uno de los resultados ms sorprendentes de la teora

especial de la relatividad, conocido histricamente como la paradoja de los
mellizos de Langevan. Como veremos, este resultado no es de ninguna manera
una paradoja, pero si es ilustrativo plantearlo en estos trminos, pues nos
permite entender de manera ms precisa el principio de relatividad y evitar un
error muy comn que se presenta cuando se analizan situaciones o fenmenos
desde el punto de vista de diferentes observadores inerciales.
Supongamos que un mellizo parte en un viaje espacial mientras que el
otro permanece en la tierra, entonces como veremos en el siguiente ejemplo
numrico que vamos a tratar, el mellizo viajero regresa a la tierra al cabo
de unos cuantos aos medidos por relojes de la nave espacial, mientras que
74
para el mellizo que permaneci en la tierra habran transcurrido miles aos

medidos por relojes del sistema de referencia de la tierra. Claramente no hay
simetra en el anlisis de la situacin vista por los dos mellizos, pues el mellizo
viajero no constituye un sistema de referencia inercial y por lo tanto no es
vlido (como se plantea en la paradoja) suponer que visto desde la tierra,
es el mellizo de la nave a quien le transcurren miles de aos. Esta situacin
asimtrica se mantiene an en el caso extremo donde el viaje se realice a
velocidad constante, pues si el mellizo viajero regresa a la tierra, ste tiene
que frenarse e invertir la velocidad en algn momento, lo cual implica que el
sistema de referencia cohete no puede considerarse como un sistema inercial.
Consideremos un cohete que parte del reposo en la tierra con una aceleracin propia constante igual a (la aceleracin de la gravedad sobre la
supercie de la tierra) y viaja hacia el centro de la galaxia. Supongamos que
la mitad del viaje lo realiza acelerando y la otra mitad frenando, tambin
con aceleracin propia . Tomaremos como sistema de referencia inercial la
tierra, con su origen de coordenadas en la tierra, el origen del tiempo en el
instante en que la nave parte y como eje x la direccin del movimiento de la
nave. Entonces las componentes de la c-velocidad y c-aceleracin de la nave
con respecto al sistema tierra estn dadas por:
= (
)=(
0 0)
(4.31)
= (
)=(
0 0)
(4.32)
las cuales satisfacen las siguientes relaciones:

2
=0=
2
=(
De la ecuacin (4.34) despejamos

0
0 2
=(
(4.33)
(4.34)
0 2
(4.35)
0
0
(4.36)
y reemplazamos en la ecuacin (4.35), entonces

2
[1
(4.37)
75
Utilizando la ecuacin (4.33) obtenemos

0
(4.38)
y de esta ecuacin y la (4.36) se llega a la relacin:

0
(4.39)
Diferenciando con respecto al tiempo propio la ecuacin (4.38) y haciendo

uso de la ecuacin (4.39), obtenemos una ecuacin diferencial para :
2
0
2
entonces
2
0
=
2
(4.40)
2
2
(4.41)
=0
cuya solucin est dada en trminos de funciones hiperblicas, como se puede

probar por sustitucin directa,
=
)+
sinh(
cosh(
(4.42)
con 1 y 2 constantes de integracin, las cuales se pueden determinar utilizando las condiciones iniciales: la nave parte del reposo con aceleracin
propia , i.e.,
(
= 0) = 0
(4.43)
(4.44)
=0
Entonces, de la primera condicin se obtiene que

condicin
= 1 cosh(0)
1 =
= 0 y de la segunda
(4.45)
As, obtenemos las siguientes ecuaciones diferenciales para las coordenadas ( 0 ) de la nave, medidas desde el sistema tierra:
= sinh(
(4.46)
0
0
= cosh(
(4.47)
76
en donde la segunda ecuacin se obtiene de la ecuacin (4.33).

Integrando estas ecuaciones tenemos
2
0
sinh(
)+
cosh(
)+
(4.48)
en donde 1 y 2 son constantes de integracin. Aplicando las condiciones

iniciales 1 = 0 = 0 para = 0 determinamos las constantes de integracin
y obtenemos la ecuacin para la trayectoria o lnea de universo de la nave,
en trminos del parmetro (tiempo propio de la nave):
0
(cosh(
(4.49)
sinh(
)
1)
(4.50)
En la Figura 4.1 se muestra un grco de la lnea de universo de la nave,

en el sistema de referencia tierra. En este diagrama la lnea de universo de
la tierra es el eje y tambin se ha dibujado all, el cono futuro del evento
P, es decir, del evento: partida de la nave en la tierra. La lnea de universo
del cohete siempre tiene que estar dentro del cono de luz del evento P y en
todo punto la tangente a la lnea de universo es menor de 45 , con respecto
al eje , indicando que la velocidad del cohete siempre es menor que , como
lo exige la relatividad. Notemos adems, que la lnea de universo del cohete
intercepta a la lnea de universo de la tierra en dos puntos: en el instante del
lanzamiento de cohete y luego en el instante en que ste regresa a la tierra.
A partir de estas ecuaciones podemos obtener toda la informacin que
se quiera respecto al viaje. Por ejemplo, calculemos la distancia a la cual se
encuentra el cohete de la tierra y su velocidad al cabo de 40 aos medidos en
la tierra. Para este n es ms conveniente trabajar en unidades de = 1, y
medir las distancias en aos-luz, es decir la unidad de longitud corresponde
a la distancia que recorre la luz en un ao. En esta unidades el valor de
la aceleracin de la gravedad es ' 1 1 (
). Como estamos
trabajando con unidades de = 1 tenemos que 0 = = 40 , entonces,
despejando de la ecuacin (4.49)
= sinh 1 (
) = sinh 1 (40) ' 4 38
(4.51)
77
Figura 4.1: Lnea de universo del cohete

y remplazando este valor del tiempo transcurrido en la nave (tiempo propio)
en la ecuacin (4.50), obtenemos la distancia a la cual se encuentra la nave
de la tierra:
= [cosh(4 38)
1]
= 39 01
(4.52)
La velocidad de la nave en cualquier instante la podemos obtener derivando las ecuaciones (4.49) y (4.50), y de la relacin entre las componentes de
su c-velocidad y su velocidad fsica tenemos que:
= ( 0 ) = ( )(1 )
= (cosh( ) sinh( ) 0 0)
(4.53)
(4.54)
por lo tanto, despejando la velocidad = ( 0 0) de esta relacin, tenemos

que la velocidad de la nave en ese punto de la trayectoria es:
= tanh(
) = tanh(4 38) = 0 9997
(4.55)
El centro de la galaxia se encuentra aproximadamente a unos 30000 de

la tierra, puesto que la mitad del viaje se hace acelerando y la otra mitad
desacelerando, entonces por simetra, el tiempo propio para que la nave llegue
78
al centro de la galaxia es el doble del tiempo necesario para recorrer los

primeros 15000 . Despejando de la ecuacin (4.50) tenemos:
= cosh 1 (15000 + 1) = 10 309
(4.56)
y por tanto el tiempo medido en la nave para realizar este viaje es de

20 618 , tiempo perfectamente razonable para un viaje interestelar. Ahora, si este viajero regresa a la tierra siguiendo el mismo plan de vuelo, entonces
el viaje completo le llevara un tiempo de 41 236 , mientras que el tiempo
transcurrido en la tierra sera de
0
= 4 sinh(10 3) = 60003 9
(4.57)
Este ejemplo muestra la famosa paradoja de los mellizos de Langevan,

pero ilustra tambin claramente la asimetra de la situacin.
En el relato de la paradoja se arma que dada la relatividad de los sistemas de referencia, esto es, la equivalencia de todos los sistemas de referencia inerciales para describir los fenmenos fsicos, podemos considerar el viaje
visto desde la nave espacial y ver que es la tierra la que se aleja de la nave
y por lo tanto se espera, que cuando la tierra regrese a la nave, entonces sea
el mellizo que permanecio en la nave al que le han transcurrido 60003 9 ,
mientras que al viajero de la tierra tan solo le habran pasado 41 2 . La
falsedad de este ltimo razonamiento radica en el hecho que la nave espacial
est acelerada y por lo tanto no es un sistema de referencia inercial, a diferencia del sistema tierra, lo que hace invlido aplicar el principio de relatividad
restringida.
Este efecto de retraso temporal de relojes, que se encuentran sometidos a
una aceleracin, se ha probado experimentalmente utilizando relojes atmicos (de alta precisin), uno de los cuales permanece en la tierra y el otro viaja
en un avin alrededor de la tierra. Si bien, el efecto del retardo temporal del
reloj viajero es muy pequeo, del orden de millonsimas de segundo, este
tipo de relojes ha permitido hacer estas medidas con la suciente precisin,
mostrando este espectacular efecto relativista. Es de anotar que para el clculo del retardo temporal en este experimento terrestre, es necesario tener en
cuenta los efectos asociados al campo gravitacional, es decir hay que trabajar
en el contexto de la teora general de la relatividad, sin que se invalide de
ninguna manera las predicciones de la teora especial de la relatividad.
Una ltima conclusin que se desprende de este ejemplo, es que los viajes
interestelares son fsicamente posibles, pues basta con lograr aceleraciones
4.4. CUADRI-VECTOR DE ONDA
79
sucientes durante un tiempo adecuado, para que un viajero en un tiempo

razonable atraviese nuestra galaxia, o incluso viaje a otras galaxias, pero
denitivamente no pretenda regresar a la tierra, pues en la tierra podran
haber transcurrido varios millones de aos.
4.4.
Cuadri-vector de onda
Una de las contribuciones ms importantes de las ecuaciones de Maxwell

lo constituye la propagacin de las ondas electromagnticas. Debido a que la
ecuacin de ondas en el vaco (ver por ejemplo la ecuacin (2.14)) es lineal,
vale el principio de superposicin y as cualquier onda electromagntica se
puede escribir como una suma o superposicin de ondas planas de la forma
(
)=
(4.58)
en donde
es la amplitud del campo
(por ejemplo el campo elctrico,
magntico, potencial vectorial o potencial escalar), la frecuencia de la onda,
el vector de onda y el signo indica el sentido de propagacin de la onda.
La cantidad
=
(4.59)
se llama la fase de la onda y debe ser un invariante relativista, esto es, debe
ser la misma para todos los observadores inerciales. Si denimos el c-vector
de onda como
:= (
)
(4.60)
entonces la fase de la onda se puede escribir como el producto interno Minkowskiano entre el c-vector de onda y el c-vector posicin = (
):
=
(4.61)
la cual es un invariante relativista. De las propiedades de transformacin de

los c-vectores se tiene que las componentes del c-vector de onda, medidas por
dos observadores inerciales y 0 estn relacionadas por las ecuaciones de
transformacin:
0
= ( )(
)
(4.62)
0
= ( )(
0
(4.63)
(4.64)
80

0
(4.65)
De las propiedades de los c-vectores sabemos que la norma Minkowskiana

de todo c-vector es un invariante relativista y por lo tanto se espera que
sta tenga un signicado fsico. Si tomamos la norma del c-vector de onda
obtenemos
2
2

2
= 2 =0
(4.66)
pues, si tenemos en cuenta la relacin

de dispersin para las ondas electro
magnticas en el vaco, =
, vemos que el c-vector de onda es un
c-vector nulo o como de luz, y cuya norma nos da la relacin de dispersin
para ondas electromagnticas en el vaco.
Consideremos como ejemplo una onda electromagntica plana de frecuencia , que se propaga respecto al sistema
a lo largo del eje , i.e.,
0
=(
0). Entonces, para un observador
que se mueve respecto a
con velocidad a lo largo de los ejes paralelos 0 , tenemos
0
= ( )
( )
(4.67)
En primer lugar, la direccin de propagacin de la onda para el observador

est dada por la relacin
0
( )
( )
(4.68)
en donde la ltima igualdad se obtuvo utilizando la relacin de dispersin

para la onda en el sistema . En el lmite de bajas velocidades, es decir, para
velocidades del observador 0 tales que , podemos aproximar el factor
( ) 1, y obtenemos el fenmeno clsico de la aberracin de la luz estelar,
discutida en el captulo segundo.
El efecto Doppler es un fenmeno asociado a las ondas en general y corresponde al cambio en la frecuencia medida por un observador con respecto
a la frecuencia emitida por la fuente, debido a los movimientos relativos del
observador y/o de la fuente y en el caso particular de ondas que requieran
un medio para propagarse, tales como las sonoras o elsticas, tambin depende de la velocidad del medio. En fsica no relativista el efecto Doppler
se puede entender fcilmente si tenemos encuenta que, por ejemplo, cuando
la fuente se est moviendo en direccin del observador, el tiempo entre dos
pulsos recibidos es menor que el tiempo entre la emisin de estos dos pulsos,
4.4. CUADRI-VECTOR DE ONDA
81
dando lugar as a una frecuencia detectada mayor a la frecuencia emitida,

fenmeno llamado corrimiento hacia el azul. La misma situacin se presenta
si es el observador el que se acerca a la fuente. Cuando la fuente se aleja
del observador, la frecuencia detectada es menor que la emitida y el efecto se
llama corrimiento al rojo. En el caso relativista se presenta una situacin similar, pero el factor de corrimiento se ve corregido debido al comportamiento
del tiempo para diferentes observadores. En las ecuaciones de transformacin para el c-vector de onda ( (4.62) a la (4.65)), est contenido el efecto
Doppler relativista para la situacin ms general posible. Para encontrar las
relaciones estandar del efecto Doppler relativista que se tratan usualmente
en los textos de relatividad especial, vamos a considerar casos particulares
de las ecuaciones de transformacin (4.62) a la (4.65).
Supongamos que la fuente est en reposo respecto al observador y que
emite un frente de ondas de frecuencia a lo largo del eje , entonces las
componentes del c-vector de onda son (
0 0). De la ecuacin (4.62),
y teniendo en cuenta que
=
, para el observador 0 tenemos
0
= ( )(
)=
( )(1
(4.69)
en donde el signo de la velocidad es positivo si el observador se aleja de

la fuente y negativo si se acerca. Para el caso de movimiento del observador
transversal a la direccin de propagacin, consideremos que el observador
emite un frente de ondas de frecuencia en la direccin , entonces el
c-vector de onda toma la forma = (
0
0). A partir de la ecuacin
(4.62) la frecuencia medida por el observador 0 es
0
(4.70)
= ( )
Una situacin ms general de inters se presenta cuando el tren de ondas

emitido por la fuente viaja en el plano
formando un ngulo con respecto
al eje de las , entonces el c-vector de onda es = (
0), con
tan
Entonces para el observador

0
= ( )(
q

=
2;
se tiene que
) = ( ) (1

=
cos )
(4.71)
(4.72)
82
Claramente esta ltima relacin contiene, como casos particulares, las

situaciones descritas anteriormente. Cuando = 0 obtenemos la ecuacin
(4.69) y para = 90 se reduce a la ecuacin (4.70).
Notemos que el efecto Doppler transversal, ecuacin (4.70), es de origen estrictamente relativista puesto que es una consecuencia de la dilatacin
temporal, situacin que obviamente no se presenta en el tratamiento clsico.
Parte II
Dinmica relativista
83
Captulo 5
Dinmica relativista
En este captulo se desarrollarn las leyes de la dinmica relativista utilizando desde un principio, la formulacin de cuadrivectores, la cual permite
formular las leyes de la dinmica relativista como una generalizacin de las
leyes fundamentales de la mecnica Newtoniana.
5.1.
Ecuaciones de movimiento
Denamos el cuadri-vector momentun por

:=
(5.1)
en donde 0 es la masa inercial propia de la partcula, es decir, la masa

inercial medida en el sistema de referencia en reposo de la partcula. 0
tambin es llamada masa en reposo y es su cuadri-velocidad. Por denicin,
la masa en reposo de una partcula es un invariante relativista que caracteriza
a la partcula, pues si tomamos la norma del c-v momentun, ecuacin (5.1),
obtenemos:
2
= 20 2
(5.2)
dado que la norma al cuadrado del c-v velocidad es 2 .
A partir de esta denicin del c-momento de una partcula, podemos
mantener la misma denicin de la segunda ley de Newton, pero formulada
para las cantidades c-vectoriales. As, la ecuacin de movimiento relativista
est dada por
=
=
85
(5.3)
86
CAPTULO 5. DINMICA RELATIVISTA
en donde es la c-aceleracin y es la c-fuerza. Para interpretar las componentes del c-momento y c-fuerza en trminos de variables dinmicas fsicas,
especcamente, en trminos de su cantidad de movimiento lineal (momentun), de su energa y de la fuerza, consideremos en primer lugar el c-momento
(ecuacin (5.1)) y hagamos uso del hecho que a bajas velocidades comparadas
con la velocidad de la luz, i.e. , las ecuaciones de la relatividad deben
reducirse a las ecuaciones de la mecnica Newtoniana. Teniendo en cuenta
que las componentes de la c-velocidad estn relacionadas con la velocidad de
la partcula a travs de la ecuacin
= ( )( ), entonces (ver captulo
anterior) las componentes del c-momentun sern
=(
( )
( ) ) =: (
(5.4)
En esta ltima ecuacin hemos denido las cantidades

de energa) y (con unidades de momento) por
(con unidades
(5.5)
(5.6)
=
con
:=
( )= p
1
0
2
(5.7)
llamada masa inercial relativista de la partcula, nombre que ser justicado

en el siguiente anlisis. Teniendo en cuenta que en el lmite de bajas velocidades el factor ( ) lo podemos expandir en una serie en potencias de ( ),
reteniendo trminos hasta orden ( )2 ,
( )=1+
1
2
2
2
+ O(
(5.8)
entonces, las componentes espaciales del c-momentun toman la forma

=
(1 +
1
2
2
2
+ O(
))
(5.9)
la cual, en el lmite de bajas velocidades se reduce a la denicin del momentum clsico. As, la denicin del momentum relativista de una partcula
por la ecuacin (5.6), nos conduce a interpretar la masa relativista (ecuacin
(5.7)) como la inercia de una partcula, la cual depende de su velocidad.
5.1. ECUACIONES DE MOVIMIENTO
87
Para interpretar la componente temporal del c-momento, consideremos

de nuevo el lmite de bajas velocidades de la ecuacin (5.5). Remplazando la
expansin (5.8) en la denicin (5.7) tenemos
=
2
0 0 (1
1
2
2
2
+ O(
))
1
2
(5.10)
la cual, salvo el trmino constante 0 2 , corresponde a la denicin newtoniana de energa cintica. As, este resultado nos conduce a denir la cantidad
2
:=
(5.11)
como la energa cintica relativista de una partcula. Esta denicin tiene

sentido en cuanto que la funcin
depende de la velocidad de la partcula,
se anula para = 0 y en el lmite de bajas velocidades se reduce a la energa
2
cintica clsica. La cantidad =
se dene como la energa total de la
partcula y a la cantidad dinmica
0
:=
(5.12)
la denimos como su energa en reposo. Esta cantidad 0 adquiere el sentido

fsico de una energa, solamente si es posible transformar esta forma de energa (asociada a la masa y no a su estado de movimiento) en otras formas
de energa. Einstein, en su segundo artculo de 1905 sobre relatividad, titulado Depende la inercia de un cuerpo de su contenido de energa postula
que esta forma de energa, asociada a la masa en reposo de una partcula, es
posible transformarla en otras formas de energa, dndole as sentido fsico a
esta denicin y sugiere que esta transformacin de masa en energa se puede
medir en el decaimiento radioactivo de las sales de radio. Este postulado le
vali a Einstein el ganarse el dudoso honor de ser el padre de la bomba
atmica.
Otro resultado que apoya las deniciones anteriores, nos lo da la interpretacin fsica de las componentes de la c-fuerza, denida por la ecuacin
de movimiento (5.3). Haciendo uso de la relacin \ = ( )
y de la
denicin (5.4) de las componentes del c-momento, tenemos
=
= ( )(
= ( )
) = ( )(
(5.13)
88

En la ltima igualdad hemos denido la cantidad
(5.14)
la cual identicamos como la fuerza fsica que acta sobre la partcula, produciendo, de acuerdo con la denin newtoniana de fuerza, un cambio por
unidad de tiempo en el momentum de la partcula. Para sustentar an ms
esta denicin de fuerza y de paso la denicin de energa total dada, consideremos la relacin de ortogonalidad entre la c-velocidad y la c-aceleracin
(ecuacin (4.29)) = 0, entonces
=0
(5.15)
y de esta ecuacin y de la denicin de las componentes de la c-velocidad,

obtenemos la relacin
2
( )
( )
=0
(5.16)
Esto implica que si adoptamos la denicin clsica de trabajo
(5.17)
entonces se obtiene que

=
(5.18)
esto signica, que si el trabajo realizado por una fuerza sobre una partcula
es diferente de cero, entonces la partcula cambia su energa total, de acuerdo
con la ecuacin (5.18).
Esta ltima relacin nos permite escribir las componentes de la c-fuerza,
denidas en la ecuacin (5.13), en la forma
= ( )(
(5.19)
la cual nos da una interpretacin directa de las componentes de la c-fuerza; la

componente temporal representa el trabajo por unidad de tiempo que realiza
la fuerza fsica sobre la partcula, mientras que las componentes espaciales
forman el vector fuerza.
5.2. LEYES DE CONSERVACIN
5.2.
89
Leyes de conservacin
La dinmica Newtoniana est basada sobre tres postulados fundamentales: La primera ley de Newton o el princio de inercia, la cual tambin
se puede formular de manera equivalente, como el principio de relatividad
Galileano, siendo el primer postulado de la teora especial de la relatividad
la generalizacin de esta primera ley. La segunda ley, que postula la ecuacin
de movimiento para una partcula sometida a una fuerza ( =
), se extiende al caso relativista a travs de la ecuacin (5.3). La tercera ley llamada
de accin y reaccin, que postula el comportamiento de la interaccin entre
sistemas, esto es, que la fuerza ejercida sobre una partcula es el resultado
de la interaccin de esta partcula con algn sistema y por tanto, sobre este
sistema tambin interacciona la partcula, efectuando sobre l una fuerza de
la misma magnitud pero de sentido contrario a la ejercida por el sistema
sobre la partcula. Claramente esta ley implica que la accin y la reaccin
son eventos simultaneos y por lo tanto no puede ser vlida para el caso relativista en general. Sin embargo, para el caso particular en que coincidan
los puntos de aplicacin de las fuerzas de accin y reaccin, s se cumple
la tercera ley de Newton, una situacin que se puede presentar cuando los
sistemas que interactan son partculas puntuales y la interaccin entre ellas
se pueda aproximar por una interaccin de contacto. Puesto que las interacciones fundamentales (gravitacional, electromagntica, fuerte o nuclear y
dbil) que rigen todos los procesos fsicos son interacciones a distancia, y
por lo tanto en sentido riguroso, ninguna de estas interacciones fundamentales puede satisfacer la tercera ley de Newton, es claro que el postulado de
Newton sobre la accin y la reaccin, deja de ser una ley fundamental en la
naturaleza y su validez queda restringida a sistemas cuyas velocidades tpicas san pequeas comparadas con la velocidad de la luz, o para interaciones
puntuales de contacto. Es importante anotar en este punto que, en el marco
de la mecnica Newtoniana, la tercera ley de Newton juega un papel fundamental para establecer los teoremas de conservacin del momentum y de la
energa mecnica.
Esto nos conduce entonces, a postular un principio de conservacin para
la energa y el momentun de un sistema relativista, el cual como veremos,
generaliza las leyes de conservacin de la mecnica Newtoniana y adiciona
una nueva forma de energa, llamada energa en reposo, que est asociada a
toda partcula material y que constituye uno de los aportes ms importantes
de la teora especial de la relatividad.
90
Para un sistema aislado de partculas, con c-momentos

c-momento total del sistema , dedo como
X
:=
, =1 2
, el
(5.20)
=1
es una constante de movimiento. Dado que la componente temporal del cmomento representa la energa total del sistema y las componentes espaciales
corresponden a las componentes del vector momento, entonces el postulado
de la conservacin del cuadrimomento asegura que la energa total y el momentun total de un sistema aislado son constantes del movimiento. Esto
es, si expresamos la ecuacin (5.20) en componentes, con
=(
)y
=(
), obtenemos que la energa total del sistema , denida como la
suma de las energas de las partculas individuales
X
(5.21)
:=
=1
y el momentun total del sistema, denido como la suma vectorial de los

momentos individuales de las partculas
X
(5.22)
:=
=1
se conservan. Notemos que la ley de conservacin de la energa (ecuacin

(5.21)) se puede reformular como el postulado de la conservacin de la masa
2
inercial, pues de la denicin de energa total de una partcula
=
,
tenemos que
X
=
(5.23)
=1
Existe toda una serie de consecuencias interesantes de los postulados de

la dinmica relativista, que las vamos a exponer a travs de ejemplos sobre
procesos que se presentan al nivel de las partculas elementales. Es importante en este punto de la discusin hacer algunas anotaciones respecto a la
diferencia, tanto en las aplicaciones como en la metodologa de trabajo, entre la dinmica Newtoniana y la relativista. En mecnica Newtoniana, por lo
general se conocen las fuerzas (su forma funcional), por ejemplo la fuerza de
la gravedad, de Coulomb, del tipo oscilador armnico, de rozamiento, etc.,
y a partir de ellas , utilizando la segunda ley de Newton se encuentran las
5.2. LEYES DE CONSERVACIN
91
trayectorias de las partculas y las leyes de conservacin permiten determinar

constantes de movimiento, simplicando as el problema dinmico.
En el caso de la relatividad la situacin se modica un poco, pues, salvo el caso de la fuerza de Lorentz, que describe la fuerza que acta sobre
una partcula cargada inmersa en un campo electromantico, la cual nos permite describir el movimiento de la carga solucionando la ecuacin dinmica
de movimiento, las otras interacciones fundamentales no admiten, por una
parte, una descripcin clsica funcional de la fuerza que est de acuerdo con
los principios de la relatividad y por otra parte, es conocido que el tratamiento de las interacciones fundamentales (incluyendo la electromagntica) debe
hacerse en en marco de la teora cuntica de campos. El caso de la electrodinmica es especial, pues esta interaccin fundamental admite una descripcin clsica dada por las ecuaciones de Maxwell, las cuales son ecuaciones
relativistas que describen correctamente los fenmenos electromagnticos a
nivel macroscpico. La diferencia de la electrodinmica clsica con la ley
de gravitacin universal de Newton, la cual tambin describe correctamente
los fenmenos gravitacionales a escalas macroscpicas, radica en el hecho que
esta ltima no es una teora relativista, pues la fuerza gravitacional Newtoniana es una interaccin a distancia e independiente del tiempo. Esta situacin
fue precisamente la que condujo a Einstein a buscar una teora de la gravitacin que estuviera de acuerdo con los principios de la relatividad y que
en el lmite de bajas velocidades se redujera a la teora Newtoniana de la
gravedad, logrando su objetivo en 1915, cuando formul la Teora General de
la Relatividad.
Si bien, las aplicaciones fundamentales de la teora especial de la relatividad de dan en el marco de las partculas elementales y como fue enfatizado
en el pargrafo anterior, para su descripcin dinmica se requiere de una
teora cuntica de campos, es posible como veremos, obtener toda una serie de resultados importantes a partir de la dinmica relativista a partir de
los principios de conservacin, sin necesidad de recurrir a una descripcin
completa de las interacciones que rigen estos procesos.
Antes de entrar a estudiar las principales consecuencias de los postulados
de la dinmica relativista, a travs de fenmenos y procesos fsicos, daremos
algunas deniciones y propiedades y unos resultados generales que sern de
utilidad ms adelante.
92
5.3.
Propiedades del c-momentun
Un primer resultado general que se deriva de la formulacin cuadri-vectorial de la relatividad surge debido al hecho de que la norma de cualquier
c-vector en un invariante relativista y por lo tanto las cuatro componentes que
conforman un c-vector no son independientes. As por ejemplo, esta restriccin sobre las componentes del c-momentun de una partcula, nos conduce
a una relacin entre su energa total y la magnitud de su momentun, pues
dado = (
) tenemos
2
|2 =
(5.24)
Para calcular el valor de este invariente, basta con determinar el c-momentun de la partcula en un sistema de referencia particular, por ejemplo, en
el sistema de reposo instantaneo de la partcula, para el cual el c-momentun
toma la forma
= ( 0 0)
(5.25)
y por lo tanto su norma al cuadrado se reduce a
2
2
0
2 2
0
(5.26)
Esto signica que para una partcula de masa en reposo 0 , energa total
y momentun medidas en un sistema de referencia , se cumple la relacin
2
|2 =
2 2
0
(5.27)
(5.28)
o en forma equivalente
2
2
0+
|2
Dos conclusiones importantes se desprenden de este anlisis: La primera

tiene que ver con el hecho de que el cuadrivector-momentun de una partcula
0 y la segunda conclusin es
fsica debe ser como de tiempo, pues 20 2
que su norma nos caracteriza a la partcula, pues est dada por la masa
en reposo de dicha partcula, que es un invariante relativista por denicin.
Ms adelante cuando discutamos el concepto de fotn o partculas de masa
en reposo nula, volveremos sobre la ecuacin (5.28).
Consideremos ahora dos partculas de c-momentos 1 y 2 , con masas en
reposo 01 y 02 respectivamente y sea la velocidad relativa entre ellas.
5.3. PROPIEDADES DEL C-MOMENTUN
93
Entonces el producto interno Minkowskiano entre sus c-momentos, que es un

invariante relativista, est dado por
1
01
02
01
02
( )
(5.29)
p
2 2 es el factor
en donde ( ) = 1
de la velocidad relativa. Para
obtener esta expresin, basta con calcular el producto interno en el sistema
de referencia propio de una de las partculas (segunda o tercera igualdad de la
ecuacin (5.29)), mientras que la ltima igualdad de esta ecuacin se deduce
del hecho que es la velocidad de una de las partculas medida en el sistema
de referencia de la otra (i.e. la velocidad relativa).
En mecnica Newtoniana se dene una colisin elstica entre dos partculas, cuando la energa cintica del sistema es la misma antes y despus de
la colisin. As, en una colisin inelstica parte de la energa cintica de las
partculas se transforma en otras formas de energa, como por ejemplo, calor,
ondas mecnicas, etc.. Consideremos ahora una colisin relativista entre dos
partculas puntuales, con c-momentos 1 y 2 antes de la colisin y 01 y 02
despus de la colisin. De la hiptesis de conservacin del c-momentun se
obtiene que
0
0
(5.30)
1+ 2 = 1+ 2
elevando al cuadrado y utilizando las propiedades del producto interno Minkowskiano (ecuacin (3.68)) obtenemos
2
1
2
2
+2
02
1
02
2
+2
0
1
0
2
(5.31)
Uno de los hechos ms interesantes que surge en relatividad y que no

tiene su contraparte clsica, es que en un proceso de colisin (interaccin)
entre partculas, es posible que algunas o todas de las partculas iniciales que
intervienen en el proceso se aniquilen y surjan otras diferentes. Que este hecho sea posible es una consecuencia de la equivalencia masa-energa (ecuacin
(5.12)). Es importante reiterar que los parmetros que caracterizan una clase
de partculas (electrones, protones, etc.) son su masa en reposo, carga elctrica, spin, y otros nmeros cunticos. En los procesos que son de inters para
nosotros, solo va a intervenir la masa en reposo de las partculas y por lo
tanto, este nico parmetro es suciente para caracterizar dinmicamente a
una partcula dada.
Retomando la discusin de la colisin entre dos partculas, consideremos el caso particular en el cual las partculas que intervienen en el proceso
94
(ecuaciones (5.30) y (5.31)) son las mismas antes y despus de la colisin. Si

01 y
02 son las masas en reposo de las partculas, entonces de la relacin
(5.26) se tiene que
2
02
2 2
(5.32)
1 = 1 =
01
2
2
02
2
2 2
02
(5.33)
y por lo tanto la ecuacin (5.31) se reduce a la igualdad

1
0
1
0
2
(5.34)
Teniendo presente el resultado de la ecuacin (5.29), aplicandolo a ambos

miembros de la ecuacin (5.34), se llega a que
2
01
( )=
02
01
02
( 0)
(5.35)
con y 0 las velocidades relativas entre las partculas antes y despus de la

colisin, de donde se obtiene que
=
(5.36)
Por lo tanto, llegamos a la conclusin general que la magnitud de la

velocidad relativa entre las partculas no cambia. Esta situacin nos conduce
a hacer la siguiente denicin:
Una colisin entre partculas se llama elstica, si las partculas que intervienen en el proceso son las mismas antes y despus de la colisin, o equivalentemente, si las masas en reposo de las partculas que intervienen en la
colisin no cambian. Con esta denicin, el resultado expresado en la ecuacin
(5.36) se conoce como el lema de la colisin elstica para dos partculas. Esta
denicin de colisin elstica tiene relacin con la correspondiente denicin
Newtoniana de colisin elstica, pues en el lmite de bajas velocidades se reduce a la conservacin de la energa cintica. Para ver esto, basta con tener
en cuenta la denicin de energa cintica relativista como la diferencia entre
la energa total y de reposo. Si llamamos
y
las energas totales antes y
despus de la colisin, entonces de la conservacin de la energa total se tiene
=
0 2
1
0 2
2
(5.37)
Por lo tanto, la energa cintica del sistema antes y despus de la colisin

es la misma:
=
01
02
01
02
(5.38)
5.4. SISTEMA CENTRO DE MASA
5.4.
95
Sistema centro de masa
Como vimos en la Proposicin 4.6, dado un c-vector como de tiempo

siempre es posible encontrar un sistema de referencia 0 , para el cual sus
componentes se reducen a ( 0 0), dejando adems el signo de la primera
componente invariante, puesto que
o est dirigido al futuro ( 0
0) o
0
dirigido al pasado (
0). Si
es otro c-vector como de tiempo, sincrono
con , i.e., 0 0 0, entonces en el sistema de referencia 0 se cumple
( +
)2 = (
0 2
+2
(5.39)
por lo tanto, se llega al siguiente resultado importante que lo enunciaremos

como un lema:
Lema 5.1 La suma de dos c-vectores como de tiempo y sincronos, es un
c-vector como de tiempo y sincrono con cada uno de los sumandos.
Por induccin este resultado es vlido para una suma cualquiera de cvectores como de tiempo sincronos.
Consideremos ahora un sistema de un nmero nito de partculas no interactuantes, salvo colisiones puntuales mutuas, con masas en reposo 0 =
1 2
y c-momentos y sea un sistema de referencia inercial cualquiera.
Denamos la masa relativista total del sistema y su c-momentun total
como
X
:=
(5.40)
:=
X
=1
X
=
(
=1
) = (
(5.41)
=1
en donde hemos denido el momentun total del sistema en la ltima igualdad de la ecuacin (5.41). De los postulados de conservacin todas las cantidades denidas, y por tanto y , son constantes en el tiempo. Por el lema
anterior, el c-momentun total del sistema es un c-vector como de tiempo y
dirigido al futuro pues
0. Por las propiedades dadas en la Proposicin 5.1 y Proposicin 5.2, podemos encontrar un sistema de referencia
que lo llamaremos
o sistema de referencia centro de masa, para el cual
el c-momentun total no tenga componentes espaciales, esto es, un sistema
para el cual = 0. La velocidad
del sistema de referencia centro de
masa respecto a est dada por
=
(5.42)
96
A diferencia de la mecnica Newtoniana, el vector centro de masa de un

sistema de partculas relativistas es dependiente del sistema de referencia
inercial, lo cual se puede entender fcilmente si tenemos en cuenta que la
masa inercial de las partculas depende de la velocidad de las mismas. Sin
embargo, este vector centro de masa siempre est en reposo en el sistema
de referencia
. Para ver esto, denamos para un sistema de referencia
inercial , el vector posicin centro de masa del sistema como
P
:= P=1
(5.43)
=1
entonces
=1
=1
=1
(5.44)
en donde se han utilizado las deniciones (5.42), (5.43) y (5.44), el hecho de

que es una constante
de movimiento y adems que para interacciones punP
tuales (colisin)
= 0 entre colisiones. Este resultado signica
=1
que para cualquier sistema de referencia, el centro de masa del sistema se
mueve con la velocidad del sistema centro de masa, lo que no signica que
el vector posicin centro de masa sea el mismo para todos los observadores
inerciales. Por esta razn, es usual denir el centro de masa del sistema como
el vector posicin
medido en el sistema
.
Denida la velocidad
(ecuacin (5.42)), la c-velocidad del centro de
masa est dada por
= (
)(
)
(5.45)
entonces, de la denicin de c-momentun total (ecuacin (5.41)), velocidad
del centro de masa (ecuacin (5.42) y la denicin de c-velocidad del centro
de masa (ecuacin (5.45)), tenemos que
= (
)=
) = (
(5.46)
Tomando la norma al cuadrado de esta ecuacin

2 = 2
(5.47)
la cual debe ser un invariante relativista, nos conduce a la denicin de la

masa total del sistema de partculas en el sistema de referencia centro de
masa
:
(5.48)
:=
(
)
5.5. ENERGA UMBRAL
97
Por lo tanto, podemos escribir el c-momentun total del sistema como

(5.49)
en donde
y
para el sistema de partculas, juegan el papel de 0
y para una partcula simple. Es importante aclarar que
, la masa en
reposo del sistema en
, excede a la suma de las masas en reposo de las
partculas del sistema, pues a ella contribuyen tambin las energas cinticas
de las partculas individuales, puesto que la energa cintica del sistema en
est dada por
2
=
0 2
(5.50)
en donde hemos denido
0 :=
(5.51)
=1
5.5.
Energa umbral
La primera patcula fundamental que se identic fue el electrn, el cual

era el responsable de la conduccin elctrica. Luego a comienzos de la dcada
de los treinta, se identicaron el protn y el neutrn como los constituyentes
del ncleo atmico. Por esta poca Yukawa desarroll un modelo para la interaccin nuclear, en el cual surga una nueva partcula fundamental, el pin,
que luego fue observada experimentalmente. Esta poca se puede considerar como el comienzo de la fsica de las partculas fundamentales y ya en la
dcada de los sesenta, se conocian cientos de nuevas partculas, las cuales
se podan producir en el laboratorio como producto de las colisiones entre
partculas aceleradas a altas energas (por ejemplo electrones contra electrones o protones). Cuando chocan dos partculas con energa cintica suciente, se pueden generar nuevas y ms masivas partculas, como el resutaldo
de la transformacin de energa cintica en energa en reposo de las nuevas
partculas. La pregunta dinmica que surge es Cual en la energa mnima
necesaria de las partculas incidentes, para producir una nueva partcula de
una masa dada?. La respuesta a esta pregunta la constituye el llamado problema de la energa umbral, que es una de las aplicaciones ms importantes
de la dinmica relativista.
Para introducir el concepto de energa umbral, consideremos por ejem2
plo un electrn de masa en reposo 0 y energa total
=
, que choca
98
contra otro electrn en reposo y como producto de la colisin surge, adems

de los dos electrones iniciales, una nueva partcula de masa en reposo 0 .
El problema es encontrar la energa mnima necesaria del electrn incidente,
llamada energa umbral, para que esta reaccin pueda suceder. La respuesta
no es simplemente ( + 0 ) 2 , i.e., que la energa cintica del electrn incidente sea justamente la energa en reposo de la nueva partcula, pues dado
que el momentun del sistema debe conservarse, el producto de la colisin en
general, debe poseer alguna energa cintica y por lo tanto parte de la energa inicial debe gastarse en esta energa cintica y la otra parte debe suplir
la energa en reposo de la nueva partcula. De cualquier manera, la energa
mnima (umbral) se tendr cuando las partculas resultantes de la colisin
estn en reposo en el sistema de referencia del centro de masa del sistema.
Esta ltima armacin dene el concepto de energa umbral.
Tomemos por el momento el caso general de dos partcula de masas en
reposo 01 y 02 y c-momentos 1 y 2 respectivamente, que al chocar producen una nueva partcula de masa en reposo 0 . Entonces, el c-momentun
total del sistema est dado por:
=
(5.52)
Elevando al cuadrado esta expresin y teniendo en cuenta la ecuacin

(5.29) y la denicin (5.48), tenemos
2 2
01
2 2
02
+2
01
= 2 =
(5.53)
De esta relacin se obtiene que la energa de la partcula incidente, en el

sistema de referencia del laboratorio, ser mnima cuando
sea mnima,
lo cual ocurre cuando todas las partculas emergentes estn en reposo en el
sistema de referencia centro de masa. Puesto que en este caso la masa del
sistema centro de masa coincide con la suma de las masas en reposo de las
partculas que salen, el lmite de mnima energa (5.53) se reduce a
2
01
2
02
+2
01
02
( )=(
01
02
2
0)
(5.54)
siendo la velocidad de incidencia de la partcula 2. Dadas las masas de las

partculas iniciales y la masa de la nueva partcula, podemos obtener de esta
ecuacin la velocidad de la partcula incidente y as la energa umbral. Para
el ejemplo de los dos electrones, que al colisionar crean una nueva partcula
de masa en reposo 0 , podemos despejar de la ecuacin (5.54) el factor ( ):
( )=1+
0
0
2
0
2
0
(5.55)
5.5. ENERGA UMBRAL
99
y por lo tanto la energa umbral est dada por

=
( )
+2
2
0 2
(5.56)
Esta ecuacin es fundamental cuando se disean experimentos para buscar nuevas partculas. Como ejemplo, tomemos el caso del ltimo de los
quarks buscado por los fsicos de altas energas, el quark top , el cual fue
detectado en el ao de 1995 en el Fermilab (Estados Unidos). Es importante
anotar que el clculo que vamos a mostrar, es tan solo un estimado de la
mnima energa a partir de la cual podra detectarse el quark, pues en la
reaccin donde aparece el quark, tambin pueden aparecer otras partculas y
por lo tanto, para un clculo ms exacto se debe tener en cuenta estos efectos adicionales. El quark top se espera que aparezca en una colisin protnantipron (
) y supongamos para simplicar, que despus de la colisin
permanece el par (
) y el quark . Las predicciones tericas de la existencia del quark , as como su posible masa, dependen del modelo terico
utilizado, pues por ejemplo, tomando los modelos ms aceptados en julio de
1994 (tomados del Particle Physics Booklet, July 1994, American Institute
2
of Physics) la masa predicha para el quark oscilaba entre 62
, pasando
2
2
2
por 131
y 174
, hasta el valor ms alto de 169
, calculado
a partir del modelo estandar electro-dbil. Tomando para la masa del protn
2
, que es la misma masa del antiprotn, obtenemos de la
0 = 0 94
ecuacin (5.56) la energa umbral en el sistema laboratorio para la creacin
del quark top
= 32557
(5.57)
2
asumiendo una masa para el quark top de 174
. Es importante anotar
que esta energa umbral calculada, corresponde a la energa con la que deben
incidir, por ejemplo los protones sobre los antiprotones estacionarios, para
que esta reaccin pueda ocurrir. En la prctica, las energas alcanzadas hasta
el presente en los grandes aceleradores estn en el orden de los cientos de Gev.
Sin embargo, en la mayora de los aceleradores los experimentos se realizan
en el sistema centro de masa directamente, pues tanto los protones como los
antiprotones (o electrones) son acelerados a las mismas energas en un anillo,
viajando en direcciones opuestas y por lo tanto la energa a la cual ellos son
acelerados debe ser del orden de la energa umbral en el sistema centro de
masa, que para nuestro caso corresponde a energas del orden de la masa en
reposo de la partcula que se quiere encontrar, estos es a energas del orden de
100
los 200
. Para ilustrar esta situacin, calculemos la energa disponible en
un experimento de dispersin de protones contra protones (o antiprotones)
en dos casos: En el primer caso, los protones son acelerados hasta alcanzar
una energa de 100
y chocan contra un blanco de protones en reposo
(por ejemplo un gas de hidrgeno a baja temperatura, para el cual podemos
despreciar la energa cintica tpica de las partculas del gas). En un segundo
experimento, los protones son acelerados a energas del orden de 50
, se
divide el rayo en dos partes y se hacen chocar los dos haces de protones
frontalmente. Sean y los c-momentos iniciales de los protones y sea
la energa del sistema en el centro de masa. De acuerdo a las ecuaciones (5.47)
y (5.48) la cantidad
( + )2 =
(5.58)
es un invariante, la cual puede ser evaluada en cualquier sistema de referencia. Para el primer caso, protones chocando con un blanco estacionario
=( 1
= ( 0 0), tenemos
1) y
2
=2
2 4
0
+2
'2
2
. Con 1 = 100
y
pues,
0
disponible es del orden de 13 7
.
Para el segundo experimento, = ( 2
tanto, la energa disponible est dada por:
2
=4
2
2
0
2)
= 0 94
= (
= 100
(5.59)
, la energa
2
), por lo
(5.60)
Para alcanzar esta energa en el experimento de blanco estacionario, sera

necesario acelerar los protones hasta una energa del orden de
2
1
5.6.
'
' 5319
(5.61)
Fotones y partculas de masa en reposo

cero
En esta seccin vamos a introducir el concepto de partcula de masa en

reposo cero, y en particular el concepto de fotn, como la partcula portadora de la interaccin electromagntica. El concepto de fotn o quantum
5.6. FOTONES Y PARTCULAS DE MASA EN REPOSO CERO
101
de energa est estrechamente relacionado con la teora cuntica, pero como

veremos enseguida su origen es estrictamente relativista. No est dentro de
los objetivos de este libro discutir la formulacin de la teora cuntica de
campos, pues no es necesario tener un conocimiento en fsica cuntica, para
entender los ejemplos y procesos que vamos a desarrollar a lo largo del presente captulo. Sin embargo, haremos un breve recuento de los principales
hechos histricos que contribuyeron al desarrollo del concepto de fotn.
En la segunda mitad del siglo XIX, cuando la teora de Maxwell se consolida con los experimentos de Herz sobre ondas electromagnticas, se plantean
varios problemas en diferentes reas de la fsica, que nalmente conducen
al desarrollo de la mecnica cuntica. En el campo de la espectroscopia se
tena el problema de explicar la estructura y en particular, el espectro de
emisin y absorcin de radiacin electromagntica por tomos. En el experimento de Herz sobre las ondas electromagnticas, se reporta un fenmeno
curioso que luego, en experimentos ms detallados conducen al descubrimiento del efecto fotoelectrico, esto es, la produccin de una corriente elctrica
(fotocorriente) en un material, debido a la incidencia de radiacin electromagntica. El problema surge, cuando todos los intentos tericos basados
sobre la electrodinmica de Maxwell, fallan para explicar las caractersticas
de este efecto. Hacia nales del siglo XIX, Max Planck trabajando sobre el
espectro de radiacin de cuerpo negro, introduce la hiptesis de la emision
y absorcin discreta de energa de los osciladores del cuerpo negro, el cual
se puede modelar por una cavidad cerrada, en la cual se encuentra radiacin
electromantica en equilibrio trmico a una temperatura
dada. Esta radiacin a su vez, est en equilibrio termodinmico con el material que conforma la cavidad que est emitiendo y absorviendo continuamente radiacin
electromagntica. Contrario a la situacin clsica, para la cual se espera que
un oscilador pueda absorber o emitir energa en cualquier cantidad, Planck
postul que cada oscilador poda enmitir o absorber energa nicamente en
valores discretos, mltiplos de una cantidad fundamental
=
(5.62)
en donde es la frecuencia de la radiacin electromagntica emitida o absorvida y se conoce como la constante de Planck, cuyo valor actual 6 626075(40)
1034 . Seis aos despus en 1905, Einstein extiende esta hiptesis y postula que la radiacin electromagntica energa est cuantizada y no solamente
los osciladores materiales que emiten y absorven la radiacin. As una onda
electromagntica de frecuencia transporta su energa en paquetes o quantos
102
de energa, llamados fotones, de valor . Con esta hiptesis, Einstein explica el efecto fotoelctrico y predice adems que de acuerdo a la equivalencia
masa-energa, los fotones deben transferir momentun al igual que cualquier
otra partcula. La diferencia con las partculas usuales, tales como el electrn
o el protn, est en su masa en reposo, como veremos enseguida.
Partiendo de la denicin de las componentes del c-momentun (ver ecuacin (5.4))
=(
)
(5.63)
y de sus propiedades, ecuacin (5.24) o equivalentemente ecuacin (5.28), se
tiene la relacin, entre la energa total de la partcula , su energa en reposo
0 y su momentun :
2
= 02 + | |2 2
(5.64)
Esta relacin nos permite considerar el caso de una partcula de energa en

reposo nula, i.e., 0 = 0. Esto implica por una parte, que su masa en reposo
es cero 0 = 0 y adems, que la norma del c-momentun de esta partcula es
un c-vector como de luz, pues su norma se anula
2
| |2 = 0
(5.65)
Estas partculas se llaman partculas de masa en reposo nula y su principal

caracterstica es que sus lneas de universo siempre estn sobre el cono de luz y
por lo tanto no existe ningn observador inercial para el cual estas partculas
estn en reposo. La ecuacin (5.65) nos da la relacin entre el momentun
fsico y la energa total de las partculas de masa en reposo nula. El fotn,
que es la partcula asociada al campo electromagntico, es un caso particular
de partcula de masa en reposo nula.
Consideremos ahora el c-vector de onda
=(
(5.66)
denido en el captulo anterior (seccin (4.4)), que nos representa una onda
electromagntica plana de frecuencia y nmero de onda y postulemos,
de acuerdo a Einstein, que esta onda transporta su energa y momentun en
quantos o fotones, cuyo c-vector momentun est dado por:
:= ~ = (~
~ )
(5.67)
en donde se ha introducido la constante ~, relacionada con la constante de

Planck por ~ = 2 . De esta relacin se sigue que el fotn transporta una
5.6. FOTONES Y PARTCULAS DE MASA EN REPOSO CERO
103
energa total
=~ =
pues = 2
fsico
(5.68)
, de acuerdo al postulado original de Einstein y un momentun

=~
(5.69)
que de acuerdo a las propiedades del c-vector de onda (ecuacin (4.66)),

la energa (ecuacin (5.68)) y el momentun fsico (ecuacin (5.69)), deben
cumplir la relacin
~2 2 = 2 2 | |2 = 0
(5.70)
la cual nos dene una partcula de masa en reposo nula, teniendo en cuenta
la ecuacin (5.65). Las partculas de masa en reposo cero pueden tener tambin otras caractersticas que las diferencian entre si, tales como la carga,
momento magntico, etc.. A parte del fotn, en la naturaleza se encuentran
otras partculas de masa en reposo cero, como por ejemplo los neutrinos. Es
importante anotar que la fsica busca permanentemente nuevos experimentos para determinar si estos neutrinos son realmente partculas de masa en
reposo cero, o si estos poseen una masa en reposo. Hasta el presente se ha
determinado que la masa es reposo de estos neutrinos, si la tienen, es in2
ferior a 17
, que al compararla con la masa del electrn (la partcula
2
estable de menor masa en reposo conocida) 0 = 0 51
, es realmente
muy pequea. De hecho para el fotn tambin se han realizado experimentos
para imponerle cotas superiores a su masa en reposo. Como ya se ha dicho
en la introduccin de esta seccin, el caracter dual que presentan las ondas
electromagnticas, esto es, para cierto tipo de fenmenos, como el efecto fotoelectrico o el efecto Compton (que discutiremos ms adelante), para los cuales
la luz interacciona como partculas, contrasta con otros fenmenos tpicos del
caracter ondulatorio de la luz, como los efectos de interferencia o difraccin.
Esta dualidad es una caracterstica general de toda la materia cuyo estudio le corresponde a la mecnica cuntica. Esta dualidad es tal vez, uno de
los aspectos ms interesantes que presenta la naturaleza y su interpretacin
ha sido objeto de muchos trabajos. La teora de la relatividad no pretende
conciliar estas ideas y de hecho, este comportamiento dual aparentemente
contradictorio, no se presenta como un problema en el contexto de la teora
de la relatividad, pues tanto las ondas electromagnticas, como las partculas
de masa en reposo cero (y en particular los fotones) son conceptos relativistas
y su relacin fsica se establece solo a travs del postulado de cuantizacin
104
de la energa de Planck, el cual en ningn momento entra en contradiccin

con los principios bsicos de la relatividad.
Para nalizar esta seccin, retomaremos algunos resultados generales de la
dinmica relativista, que siguen siendo vlidos si alguna o todas las partculas
que intervienen en el proceso son de masa en reposo nula, como por ejemplo
la emisin de un fotn por un tomo.
En primer lugar consideremos el caso de dos partculas de c-momentun
1 y 2 , para el cual el producto interno Minkowskiano est dado por la
relacin invariante ecuacin (5.29). Si una de las partculas es un fotn, e.g.,
la partcula 2, entonces 02 = 0 y podemos escribir esta relacin en la forma:
1
01
(5.71)
en donde 1 = ( 1 1 ) y 2 = ( 2
2 ), con 2 la energa del fotn en el sistema de referencia propio de la partcula 1. En el caso en que las dos partculas
sean fotones, la relacin (5.29) se vuelve indeterminada. Para encontrar la
relacin correcta, supongamos que 1 = ( 1
1) y 2 = ( 2
2 ). Como
, para = 1 2,
1 y 2 son c-vcectores nulos, se debe cumplir que | | =
entonces de la denicin de producto interno Minkowskiano se tiene:
1
2
2
(1
cos )
(5.72)
en donde es el ngulo formado por los vectores momentun de las partculas,

que para el caso de fotones, sera el ngulo entre las direcciones de propagacin de las ondas electromagnticas o fotones.
Otra relacin que permanece vlida para el caso de partculas de masa
en reposo cero, se reere al problema de la energa umbral, ecuacin (5.53).
2
Si por ejemplo la partcula que choca es un fotn, entonces 2 = ~
,
02 = 0 y por lo tanto
= 01
(5.73)
Captulo 6
Aplicaciones de la dinmica
relativista
6.1.
Introduccin
En este captulo daremos algunos ejemplos de procesos dinmicos, los

cuales ilustran los fenmenos y aplicaciones ms importantes de la teora
especial de la relatividad y ms especcamente, de los postulados de conservacin de la energa y el momentun.
Restringiremos nuestra discusin a procesos de colisin entre partculas
puntuales, i.e., consideraremos nicamente interacciones de contacto, sin entrar en los detalles de las interacciones (fuerzas) que rigen estos procesos.
Como se mencion al comienzo del captulo anterior, de las cuatro interacciones fundamentales que determinan la dinmica de todos los procesos
conocidos, solamente la interaccin electromagntica admite una descripcin
clsica relativista. Dejaremos para el captulo sobre electrodinmica, el problema de formular las ecuaciones de movimiento de partculas cargadas en
campos electromagnticos.
6.2.
Colisiones elsticas
El ejemplo ms importante de una colisin elstica, tanto por su importancia histrica como por sus aplicaciones prcticas, lo constituye el proceso
de dispersin Compton. Este proceso, llamado tambin efecto Compton, jug
un papel fundamental en el desarrollo de la mecnica cuntica, pues ste ofre105
106 CAPTULO 6. APLICACIONES DE LA DINMICA RELATIVISTA
Figura 6.1: Efecto Compton

ci una de las primeras pruebas directas del carcter corpuscular de la luz y
de paso tambin, una prueba ms de la dinmica relativista. A. H. Compton
recibi el premio nobel en 1927 por el estudio de este efecto (ver, por ejemplo,
el artculo original: Compton A.H., 1923, Phys. Rev. 22,409).
6.2.1.
Efecto Compton
La dispersin Compton es el proceso de colisin elstico entre una partcula de masa en reposo cero (e.g., un fotn) contra una partcula masiva (e.g.,
un electrn). El experimento original se realizo haciendo colisionar fotones
de alta energa (como rayos X o rayos gama) contra electrones practicamente
en reposo, es decir, electrones con energas cinticas mucho menores que las
energas tpicas de los fotones.
Tomemos el eje en la direccin de incidencia del fotn (ver Figura 6.1),
entonces su c-momentun inicial se puede escribir como
=(
con
(0 0
(6.1)
la energa, siendo la frecuencia del fotn incidente y

=
) su momentun, en donde se ha hecho uso de la relacin (5.65). El
6.2. COLISIONES ELSTICAS
107
Figura 6.2: Lineas de universo del efecto Compton

c-momentun inicial del electrn en reposo est dado por:
=(
(6.2)
0)
Sean
0
=(
=(
(6.3)
los correspondientes c-momentos del fotn y del electrn despus de la colisin. Sin prdida de generalidad, supongamos que el plano en el cual se
realiza la colisin es el
y sea el ngulo que forma la direccin de
dispersin del fotn con respecto al eje y el ngulo de dispersin del
electrn respecto al eje . Entonces de la conservacin del c-momentun total
del sistema, tenemos
+ = 0 + 0
(6.4)
En la Figura 6.2 se muestran las lneas de universo del electrn y el fotn
en el sistema de referencia del laboratorio. La lnea de universo del fotn,
dibujada a 45 en un plano paralelo al plano
, intercepta a la lnea
de universo del electrn en reposo, evento P. En este punto el electrn es
dispersado, siguiendo una lnea de universo dentro del cono de luz del evento

P, mientras que el fotn es dispersado en otra direccin, siguiendo una lnea
de universo sobre el cono de luz del evento P.
Puesto que experimentalmente se mide la frecuencia (energa) o longitud de onda del fotn dispersado, en funcin del ngulo de dispersin y de
la frecuencia o longitud de onda del fotn incidente, despejemos 0 de la
ecuacin (6.4) y tomando la norma al cuadrado de esta ecuacin resultante,
obtenemos:
0 2
( +
) = ( 0 )2
(6.5)
Teniendo en cuenta que
2
02
(6.6)
=0
y
2
02
2 2
0
(6.7)
llegamos nalmente a la relacin:

0
(6.8)
)=0
Utilizando la ecuacin (5.72) para el producto punto entre c-vectores nulos

y de las expresiones (ecuaciones (6.1) a la (6.2)) para los c-momentun del
electrn y los fotones inicial y nal, obtenemos
0
2
(1
cos ) +
0(
)=0
(6.9)
Expresando las energas de los fotones en trminos de la longitud de onda

asociada,
=
=
(6.10)
y
0
obtenemos nalmente, la expresin estandar para la dispersin Compton, la

cual nos da la diferencia entre las longitudes de onda dispersada e incidente,
en funcin del ngulo de dispersin :
0
(1
cos )
(6.11)
A la cantidad
:=
0 se le llama longitud de onda de Compton
asociada al electrn. En la (Figura 6.3) se reproducen los resultados originales
de Compton.
6.2. COLISIONES ELSTICAS
109
Figura 6.3: Resultados experimentales de Compton

En 1950 Cross y Ramsey (Cross W.G. and Ramsey N.F., 1950, Phys. Rev.
80,929) midieron por primera vez al electrn dispersado simultneamente con
el fotn, en un experimento de coincidencia, obteniendo resultados en concordancia con la teora. Para calcular el ngulo de dispersin del electrn,
en funcin del ngulo de dispersin del fotn y de la energa del fotn incidente, despejemos la velocidad del electrn de las componentes espaciales
de la ecuacin (6.4) y eliminando 0 en esta expresin, con la ayuda de la
ecuacin (6.9), obtenemos:
tan
sin
2 )(1
cos )
(6.12)
en donde es el ngulo de dispersin del electrn, medido con respecto a la

direccin de incidencia del fotn. En el experimento de coincidencia de Cross
y Ramsey se midi un ngulo = 31 3 , para una energa del fotn incidente
de 2 6
y un ngulo = 30 0 para el fotn dispersado.
6.2.2.
Efecto Compton inverso
Como otro ejemplo de colisin elstica, consideremos la dispersin de un

fotn de muy baja energa por una partcula, por ejemplo un protn, de alta

energa. Despus de la colisin la partcula masiva le cede parte de su energa
cintica al fotn, el cual se dispersa con una frecuencia mayor dependiente
del ngulo de dispersin. Por esta razn, a este proceso lo llamaremos efecto
Compton inverso. El desarrollo matemtico es similar al del efecto Compton tratado en el pargrafo precedente, aun cuando algo ms complejo, pues
la partcula est inicialmente en moviento. Para discutir un fenmeno interesante que se puede presentar con los rayos csmicos y los fotones de la
radiacin csmica de fondo, vamos a restringir la discucin a un caso particular de este proceso de dispersin.
Supongamos que la energa del fotn inicial
es mucho menor que la
2
2
energa total de la partcula incidente
=
, i.e.,
y consideraremos solamente el caso de mxima transferencia de energa en el proceso

de colisin, que de acuerdo con la relacin (ecuacin (6.11)) se obtiene para
el caso de dispersin frontal, es decir = 180. Sea
= (
) el cmomentun del fotn y
= (
) el c-momentun del protn antes de
0
0
0
0
0
la colisin y sean
=(
)y
=( 0
) los correspondientes cmomentos despus de la colisin. De manera similar al caso tratado para
el efecto Compton, despejamos 0 de la ecuacin de conservacin (6.4) y
elevando al cuadrado, obtenemos
Teniendo en cuenta que | | =

macin
q
2
| | =
(6.13)
)=0

, 0=
2 4
0
2 4
0
obtenemos, para la energa del fotn dispersado

( + )
0
=
2 +
| |
1+
y utilizando la aproxi-
(6.14)
(6.15)
El modelo estandar de la cosmologa describe la estructura y evolucin

del universo actual, postulando su origen a partir de un estado inicial de
altsima densidad y temperatura (en principio innitas). Una de las predicciones fundamentales del modelo estandar de la cosmologa es la existencia
de un fondo de radin csmica (radiacin electromagntica con un espectro de cuerpo negro), el cual se ha ido enfriando debido a la expansin del
6.3. COLISIONES INELSTICAS
111
universo, alcanzando una temperatura actual del orden de 2 73 . Esta radiacin csmica de fondo se puede modelar como un gas de fotones, con una
cierta distribucin de energas. En promedio un fotn tpico de este fondo de
radiacin tiene una energa media dada por
(6.16)
=
en donde
es la temperatura absoluta de 2 73
= 1 380 10
23
= 8 617 10
(6.17)
es la constante de Boltzmann.
Por otra parte, los rayos csmicos son haces de partculas elementales
(en su mayora electrones y protones) de alta energa
1020 , cuya
fuente, aun cuando no est completamente determinada, parece ser de origen
galctico. Un protn tpico de estos rayos csmicos, puede entonces dispersar
elsticamente un fotn del fondo de radin csmica y suministrarle entonces
una energa, que de acuerdo a la relacin (5.39), es del orden de
0
1020
' 2 6 1018
'
9
2
20
4
1 + (0 938 10 ) (10 2 37 10 )
(6.18)
Es decir, el fotn dispersado puede adquirir energas tpicas de los rayos

gama.
6.3.
Colisiones inelsticas
Las aplicaciones ms importantes de la dinmica relativista se encuentran

en los procesos de dispersin inelsticos, tales como la absorcin y emisin de
fotones y la creacin de nuevas partculas. Cuando colisionan dos partculas,
se pueden producir muchos tipos de efectos que podemos esquematizar en los
siguientes tipos de reacciones:
+
=
+
+
+
=
=
+
=
+
+
+
+
(6.19)
+
La primera reaccin por ejemplo, representa un proceso en el cual las

partculas que chocan se aniquilan, para dar lugar a una nueva particula (por

partcula queremos signicar tanto las partculas elementales, como aquellas
que presentan estructura interna o estn conformadas por otras partculas
elementales, tales como los tomos, molculas o ncleos). La segunda reaccin representa un proceso en el cual las partculas iniciales sobreviven a la
colisin, dando lugar a una nueva partcula. En el tercer caso, una de las
partculas que entra en la reaccin se aniquila, dando lugar a la creacin de
otra y en la ltima reaccin las partculas iniciales desaparencen y surgen
varias partculas nuevas.
Que leyes fsicas determinan cul o cules reacciones pueden ocurrir?.
En primer lugar estn las leyes de conservacin, las cuales determinan si
un proceso dado puede o no suceder. Tomemos como ejemplo un fotn que
choca contra un electrn inicialmente en reposo y captura al fotn, saliendo
el electrn con cierta energa cintica. Sean
=(
(6.20)
0)
y
=(
(6.21)
los c-momentos iniciales del electrn y el fotn respectivamente, con un

vector unitario en la direccin de movimiento del fotn incidente y sea
0
=(
(6.22)
el c-momentun del electrn depus de la colisin. Al aplicar el postulado

de la conservacin del c-momentun, + = 0 , obtenemos un resultado
inconsistente, pues basta con elevar al cuadrado esta expresin:
2 2
0
+2
= ( + )2 =
02
2 2
0
(6.23)
la cual implica que

= 0. Esto signica que este proceso es
0 = 0 o
prohibido, pues viola el principio de conservacin del c-momentun. En segundo lugar existen otros principios de conservacin los cuales, en general,
dependen de la interaccin (fuerte, electromagntica, dbil o gravitacional)
que media el proceso de colisin y que de igual manera, a los principios fundamenta de conservacin de la energa y momentun, restringen los procesos
que puedan ocurrir en una colisin entre partculas. Algunos de estos principios de conservacin son de validez general, tal como la conservacin de la
carga elctrica, mientras que otros, como la conservacin del nmero barinico o la paridad, solamente se cumplen para unas interacciones pero no para
otras. Por ejemplo, la interaccin electromagntica conserva la paridad, pero
la interaccin bbil no la conserva.
6.3.1.
113
Absorcin de un fotn por un tomo
Antes de entrar en el problema de absorcin de un fotn por un tomo,

es importante aclarar la diferencia, desde el punto de vista de la dinmica
relativista, entre un tomo y una partcula elemental. La partcula elemental
est caracterizada por su masa propia y eventualmente por otros nmeros
cunticos como la carga, el spin, el isospin, etc, y basta que uno de estos
parmetros sea diferente para que se tenga otra partcula elemental diferente. Un tomo, por otra parte, est caracterizado por su nmero atmico
(i.e., el nmero de electrones o protones el cual determina sus propiedades
qumicas) y su nmero de nucleones (protones ms neutrones del ncleo) el
cual determina los diferentes ispos de un mismo elemento qumico. La masa
propia de los tomos no es estrictamente un parmetro que determine un
tipo particular de tomos, pues dado que los atmos presentan estructura
interna, (como los diferentes niveles de energa) la energa cintica de las
partculas que lo constituyen y la energa potencial de interaccin entre ellas
contribuyen tambin a la masa propia de los tomos. Es de anotar, que si
bien la contribucin a la masa de los tomos debida a esta energa interna,
es muy pequea comparada con la suma de las masas de las partculas que lo
conforman, si hacen una diferencia fundamental, cuando se trata el problema
dinmico de la emisin y absorcin de fotones por tomos, como veremos en
esta seccin.
As, un tomo que a emitido o absorbido un fotn, tendr una masa
propia diferente antes y despus del proceso, sin que cambien necesariamente
sus propiedades qumicas y por lo tanto desde el punto de vista de la dinmica
relativista relativista, estos tomos son partculas diferentes antes y despus
de la emisin o absorcin de un fotn. Esta misma situacin sigue siendo
vlida, an en el caso en que el tomo se ionise (pierda uno o varios de sus
electrones) y tambin cuando estamos tratando con otras estructuras como
los ncleos atmicos. Por esta razn, una partcula elemental (sin estructura
interna) aislada, tal como un electrn, no puede emitir o absorber un fotn individual, sin violar los principios de conservacin fundamentales como vimos
en el ejemplo tratado anteriormente.
Consideremos una partcula no elemental (tomo, molcula, in o ncleo)
con masa en reposo 0 , sobre la cual incide un fotn de frecuencia , el
cual es absorbido por la partcula. En la Figura 6.4 se muestra el proceso
de absorcin de un fotn por un tomo. La lnea de universo del tomo
inicialmente en reposo, intercepta a la lnea de universo del fotn, evento P.
Figura 6.4: Lineas de universo del tomo y el fotn capturado

El tomo captura al fotn y se dispersa siguiendo una lnea de universo recta,
la cual est dentro del cono de luz futuro del evento P.
Sea 00 la masa de la partcula despus de la colisin y calculemos,
suponiendo que la partcula inicial est en reposo, la velocidad con que sale la
partcula nal. Llamemos = ( 0 0) y = (
) los c-momentos
iniciales de la partcula y el fotn respectivamente, en donde
=
y es
un vector unitario en la direccin de propagacin del fotn. El c-momentun
0
nal del sistema ser 0 = ( 0
), pues por la conservacin del momentun, la direccin de movimiento de la partcula nal es la misma que la del
fotn incidente, siendo su velocidad y
p
0
2 2
= 00
1
(6.24)
De la conservacin del c-momentun + = 0 podemos despejar directamente, elevando al cuadrado esta expresin, la masa en reposo de la partcula
nal
r
2
0
1+
(6.25)
0
0 =
2
0
Escribiendo explcitamente en componentes la ecuacin de conservacin

del c-momentun
0
115
0 2
=
0
(6.26)
podemos calcular la masa relativista y la velocidad de la partcula nal:

0
(6.27)
(6.28)
2+
Las partculas con estructura interna, como los tomos, molculas y ncleos, poseen niveles de energa internos
con = 0 1 2 , (en donde el
nivel 0 se le llama estado base o fundamental del sistema) y por lo tanto el
proceso de absorcin de fotones por este tipo de partculas es selectivo, esto
es, la partcula solo puede absorber fotones de ciertos valores de energa que
cumplan con la condicin que
' , estrictamente
, pues
parte de la energa del fotn incidente debe gastarse en la energa cintica
nal del tomo (lo cual se deduce de las ecuaciones (6.27) y (6.28)).
En un tomo, por ejemplo, la diferencia tpica entre niveles de energa
est en el rango de los electronvoltios. Puesto que la masa propia de los
2
tomos oscila entre 1
(para el tomo de hidrgeno) hasta los cientos de
2
gigaelectronvoltios (para tomos pesados), la fraccin
es del orden
0
8
de 10 , calculada para el caso de un tomo de hidrgeno, mientras que la
diferencia entre niveles de energa es inferior a 13 6 (valor que corresponde
a la energa de ionizacin del tomo de hidrgeno).
De la ecuacin (6.25) vemos que la masa propia del tomo exitado (que
ha absorbido el fotn) es tan solo una fraccin del orden de 10 8 mayor que
la masa del tomo inicial. Por otra parte, la velocidad del tomo exitado est
dada por la ecuacin (6.28)), obteniendose
= 10
(6.29)
en donde para estos clculos, hemos asumido un valor tpico de 10

para
la energa
del fotn incidente.
Es de anotar que si incide un fotn sobre un tomo con una energa
mayor a la de ionizacin, el fotn puede ser capturado por el tomo, o ms
exactamente por un electrn del tomo, el cual se desprende del sistema con
una energa cintica igual al exceso de energa del fotn sobre la energa de

ionizacin. Este proceso, diferente al que estamos considerando, es la base del
efecto fotoelctrico el cual, como y se ha mencionado anteriormente, jug
un papel fundamental en el desarrollo de la mecnica cuntica. Si llamamos
la energa de ligadura del electrn al tomo, o a la estructura de tomos
para el caso de un slido (llamada tambin funcin trabajo del material), y
=
a la energa del fotn incidente, entonces si este fotn es absorbido
por el slido, el electrn se puede desprender del material, con una energa
cintica dada por
=
(6.30)
La energa cintica de los electrones desprendidos, llamados fotoelectrones, se puede medir utilizando un contravoltaje. La ecuacin (6.30) presenta dos caractersticas importantes probadas experimentalmente, las cuales
no pueden ser explicadas con un modelo ondulatorio de la luz: La primera
caracterstica es la relacin lneal entre la frecuencia de la luz incidente, sin
importar cual sea la intensidad de ella (la intensidad de la luz, en el modelo
ondulatorio es proporcional al cuadrado de la amplitud de los campos electromagnticos, mientras que en el modelo corpuscular de la luz, la intensidad
es proporcional a la densidad de fotones). La segunda caracterstica importante, es la existencia de una frecuencia umbral 0 , por debajo de la cual no
hay corriente de fotoelectrones, la cual se obtiene cuando
=0= 0
y que depende del material, pues la funcin trabajo es una propiedad del
material, ms no de la radiacin electromagntica incidente.
6.3.2.
Emisin de un fotn por un tomo exitado
Consideremos ahora el proceso inverso al descrito en la seccin anterior.

Supongamos que un tomo exitado de masa propia 0 , inicialmente en
reposo, emite un fotn de frecuencia , esto es, de energa
= .
En la Figura 6.5 se muestran las lneas de universo del proceso de emisin
de un fotn por un tomo. El tomo exitado, inicialmente en reposo, emite
un fotn: evento P. El fotn emitido sigue una lnea de universo que est
sobre el cono de luz futuro del evento P, en tanto que la lnea de universo
del tomo dispersado es descrito por la lnea recta, interior al cono de luz del
evento P.
De manera similar al caso tratado en la seccin anterior, la energa del
fotn emitido no puede ser exactamente igual a la diferencia entre dos niveles
117
Figura 6.5: Lineas de universo del tomo y el fotn emitido

de energa del tomo, de hecho debe ser ahora menor
0,
pues por conservacin de momentun el tomo, al emitir el fotn, debe sufrir
un retroceso y por lo tanto parte de la energa suministrada por el tomo
al realizar la transicin, debe ser transformada a energa cintica del tomo
nal. Es de anotar que esta energa 0 corresponde tambin a la diferencia
entre las energas en reposo de los tomos inicial y nal, i.e.,
0
0 2
0
(6.31)
Una variable de inters en este proceso es la relacin entre la energa

del fotn emitido, con respecto a la diferencia entre dos niveles internos de
energa del tomo, o equivalentemente, a la energa de un fotn emitido por
el tomo, si este no sufriera retroceso. Sean
=(
(6.32)
0)
el c-momentun del tomo inicial y

=(
(6.33)
(6.34)
y
0
=(

los c-momentos nales del fotn y el tomo, en donde es la direccin de
propagacin del fotn y la velocidad de retroceso del tomo. De la ecuacin
de conservacin del c-momentun, escrita en la forma 0 =
y elevando al
cuadrado esta ecuacin, se obtiene la relacin:
02 2
0
2 2
0
(6.35)
Remplazando la masa en reposo del tomo nal, en trminos de

llega nalmente a
=
0 (1
0,
se
(6.36)
Para ganar una idea de las magnitudes de las variables fsicas involucradas, tomemos de nuevo el caso del tomo de hidrgeno y supongamos
que 0 ' 10
y 0 2'1
, entonces la energa del fotn emitido ser
12
una fraccin del orden de 10
veces menor, que la frecuencia de un fotn
emitido sin retroceso.
Como se discuti anteriormente, el efecto del retroceso causa una disminucin en la frecuencia del fotn emitido con respecto a la frecuencia de
la transicin y la fracin en la cual cambia esta frecuencia, es inversamente
proporcional a la masa del tomo (ver ecuacin (6.36)). Si el tomo emisor
est ligado a una estructura, por ejemplo a una red de tomos como en un
slido, entonces la masa efectiva que absorbe el momentun de retroceso ser
ahora del orden de 1023 veces la masa del tomo emisor y la energa del
fotn emitido, prcticamente coincide con la energa propia de la correspondiente transicin entre niveles de energa del tomo. Este efecto de emisin
sin retroceso fue descubierto por M bauer, quien recibi el premio nobel en
1961 y este efecto es actualmente una fuente de muchas aplicaciones en fsica
atmica, estado slido y fsica nuclear.
6.4.
Sistemas de masa variable
Puesto que la masa inercial de una patcula medida por un observador

depende de la velocidad, se puede considerar que todo sistema relativista
es, de hecho, un sistema de masa variable. Sin embargo en relatividad, el
equivalente al caso de la mecnica clsica de un sistema de masa variable,
corresponde a un sistema cuya masa propia sea variable. Un ejemplo de un
sistema de masa propia variable, lo constituye el cohete fotnico, esto es,
6.4. SISTEMAS DE MASA VARIABLE
119
un cohete para el cual el sistema de propulsin transforma masa en energa

radiante (fotones).
Retomemos el ejemplo discutido en el captulo anterior de una nave espacial que realiza un viaje al centro de nuestra galaxia, con aceleracin propia
constante igual a la aceleracin de la gravedad y supongamos que esta
nave dispone de un cohete de propulsin que transforma masa en reposo en
fotones y los rada con un ciento por ciento de eciencia, directamente hacia atrs y perfectamente colimados. Calculemos entonces qu fraccin de
la masa propia inicial es gastada para realizar el viaje hasta el centro de la
galaxia, suponiendo (como en el ejemplo del captulo cuarto, seccin (4.4.3))
que durante la mitad del viaje acelera y la otra mitad frena, con aceleracin
propia constante . Sea
la masa propia del cohete en un instante dado (la
cual es variable) y =
su c-momentun, en donde
=(
)=(
(6.37)
0 0)
es la c-velocidad del cohete, el cual se mueve a lo largo del eje

=(
y
(6.38)
el c-momentun de la radiacin. Por conservacin de la energa, el cambio en

la energa del cohete es igual al cambio en la energa radiada, entonces
(
(6.39)
)=
Como la energa radiada es en forma de fotones, se debe tener que:

(6.40)
=
y por conservacin del momentun tenemos:
= (
(6.41)
Entonces, de estas relaciones obtenemos la ecuacin:

0
(6.42)
la cual se puede escribir en la forma:

=
+
+
(6.43)

Integrando esta ecuacin y teniendo en cuenta las expresiones para 0 y
(ecuacin (4.46)) se llega, nalmente a la expresin para la masa propia
del cohete, en funcin del tiempo propio :
=
(6.44)
en donde 0 es la masa propia inicial de la nave. De acuerdo a la ecuacin

(4.56), el tiempo propio para que la nave realice la mitad del viaje es de
10 3 y por lo tanto
' 29700, de donde se sigue que la masa propia
de la nave a la mitad del viaje es de 1 2 = 0 29700 y la masa propia al
nal del viaje hasta el centro de la galaxia ser
=
(29700)2 ' 10
(6.45)
Esto signica que la gran mayoria de la masa de la nave (109 ) debe ser
gastada como combustible.
6.5.
Creacin y aniquilacin de partculas
Una de las aplicaciones ms importantes de la equivalencia entre la masa

y la energa, es la posibilidad de generar nuevas partculas en procesos de
colisin inelstica, o tambin a partir del decaimiento (aniquilacin) espontneo de una partcula inestable. Como ya se mencion en la seccin (6.6.3)
sobre colisiones inelsticas, la posibilidad de una determinada reaccin, por
ejemplo la creacin de un antiprotn a partir de la colisin entre dos protones depende, en primer lugar, de los principios de conservacin dinmicos
de energa-momentun y en segundo lugar, que la interacin que media el
proceso permita este tipo de reaccin. La teora fsica fundamental que describe estos procesos se llama teora cuntica de campos y ella nos permite
predecir, no solo que reacciones son posibles, sino tambin la probabilidad
con que un determinado proceso puede ocurrir. La probabilidad para que
un cierto proceso ocurra signica lo siguiente: cuando dos partculas colisionan, o una partcula inestable se desintegra, como resultado de esta reaccin
pueden surgir diferentes productos, todos permitidos por las diferentes leyes
de conservacin y cada uno de ellos con una probabilidad de ocurrencia, o
equivalentemente, con un porcentaje de ocurrencia. Por ejemplo el barin 0
puede decaer en 6 formas diferentes, cada una de ellas con diferente probabilidad:
0
+
(63 9 0 5) %
(6.46)
6.5. CREACIN Y ANIQUILACIN DE PARTCULAS

0
(35 8 0 5) %
121
(6.47)
(1 75 0 15) 10
(6.48)
(8 32 0 14) 10
(6.50)
(6.51)
(8 4 1 4) 10
(1 57 0 35) 10
(6.49)
El porcentaje entre parntesis signica que, de cada 100 eventos de decaimiento del barin 0 , por ejemplo, dece en un protn y en un pin aproximadamente 64 veces, el cual es el evento ms probable, mintras que el ltimo proceso, decaimiento en un protn, un mun y un neutrino munico es
el menos probable, con una ocurrencia de un evento por cada 10000, aproximadamente. La masa del barin 0 es de 1115 684
y su vida media,
esto es el tiempo propio que la partcula permanece desde su creacin hasta
que ella dece, es de 2 632 10 10 . A su vez esta partcula, el barin 0 , es
producido en otra reaccin, como por ejemplo
+
(6.52)
2
,
Si las masas del pin + , el neutrn y el mesn + son 140
2
2
940
y 494
respectivamente, calculemos por ejemplo la energa
cintica umbral del mesn + , para que al chocar con el neutrn en reposo,
se cree el barin 0 a un ngulo de 90 , medidos con respecto a la direccin
de incidencia del pin. De la conservacin del c-momentun, tenemos
(6.53)
Puesto que no estamos interesados en la informacin para la partcula + ,

despejemos su c-momentun de la ecuacin anterior y tomemos el cuadrado
de la expresin resultante (con la notacin
=(
),
0 la masa en
reposo del pin y similarmente para las otras partculas):
2
2
0
2
0
2
0
2
0
+2
(6.54)
Puesto que en el sistema de laboratorio

=(
),
= ( 0 0)
y
=(
) y adems = 0 dado que el ngulo de dispersin del
0
barin
es de 90 , entonces podemos despejar la energa total
de esta
expresin, para obtener
2
2(
2
0
2
2)
+2
(6.55)

por lo tanto, para que
sa mnimo se requiere que la energa del barin
0
2
sea mnima y para esto basta tomar
=
0 , entonces
2
)=
2(
+2
0)
0 2
= 1149
(6.56)
y por lo tanto la energa cintica umbral del pin incidente ser de

= 1149
140
= 1009
'1
(6.57)
Parte III
Electrodinmica relativista
123
Captulo 7
Tensores
7.1.
Introduccin
Uno de los elementos fundamentales de toda teora fsica lo constituye el

modelo matemtico adecuado para describir las variables fsicas y las leyes
que rigen su comportamiento. En el captulo 3 se denieron los conceptos
de cuadri-vector y de invariante relativista, el primero como una cantidad
con cuatro componentes que bajo una transformacin de Lorentz, sus componentes se transforman de acuerdo a una ley denida (ecuacin (3.29)) y
el segundo como una cantidad invariante bajo una TL, es decir una cantidad que toma el mismo valor numrico en todos los sistemas de referencia
inerciales, el cual llamaremos en lo sucesivo escalar de Lorentz. Para muchos
de los fenmenos fsicos conocidos estos objetos matemticos, escalares y cvectores, son sucientes para denir las variables que permiten describir los
procesos fsicos. Sin embargo, existe toda una serie de variables dinmicas,
tales como por ejemplo el momento de inercia de un slido rgido, las cuales
requieren para su descripcin otros objetos matemticos llamados tensores.
El objetivo fundamental del presente captulo es introducir el concepto de
tensor y dar las herramientas fundamentales del lgebra y del clculo tensorial.
Existen varios caminos posibles para denir el concepto de tensor, por
ejemplo, la aproximacin algebrica, la cual es una extensin del lgebra
lineal y de los espacios vectoriales. Otro camino ms cercano a sus aplicaciones fsicas, es a travs de la denicin de un tensor por sus propiedades
de transformacin bajo un cambio de coordenadas. Este ser el camino que
125
126
CAPTULO 7. TENSORES
seguiremos en este captulo.

Es importante anotar en este punto, que las variedades diferenciales constituyen el marco matemtico natural para denir de manera rigurosa y
general el concepto de tensor. Pero no abordaremos aqu esta teora, pues
est ms all del alcance del presente libro y adems para los objetivos que
perseguimos, formular la electrodinmica clsica en forma relativista explcita, no es necesario desarrollar este formalismo matemtico en toda su extensin. Sin embargo, vale la pena resaltar que los resultados del anlisis tensorial que presentaremos son vlidos en el caso general y sirven como punto
de partida para un estudio ms riguroso de geometra diferencial, necesario
para abordar el estudio de la Teora General de la Relatividad desarrollada
por Einstein en 1916.
7.2.
Deniciones fundamentales
En esta seccin introduciremos los conceptos fundamentales del clculo tensorial. Los objetos matemticos fundamentales con los cuales trataremos son los escalares, los vectores y los tensores, los cuales son en general
funciones de las coordenadas. Estos objetos sern denidos en trminos de
sus propiedades de transformacin, cuando cambiamos de sistemas de coordenadas. Aun cuando todas las deniciones que daremos, as como sus
propiedades, son generales, nos restringiremos exclusivamente a transformaciones de Lorentz, pero mantendremos en lo posible una notacin general.
Denicin 8.1 Sean y 0 dos sistemas de referencia inerciales y sean
= ( 0 1 2 3 ) y 0 = ( 00 01 02 03 ) las coordenadas de un evento
fsico medidas en y 0 respectivamente. Entonces una transformacin de
Lorentz de las coordenadas est denida como:
7
(7.1)
tal que el producto punto Minkowskiano queda invariante bajo esta transformacin de coordenadas.
Denicin8.2 Un escalar de Lorentz es una cantidad (en general una funcin de las coordenadas) que es invariante bajo transformaciones de Lorentz.
Ejemplos de escalares de Lorentz son: la masa propia de una partcula, el
intervalo de tiempo propio entre dos eventos, la norma de todo cuadri-vector,
el producto interno de cuadri-vectores, etc.
7.2. DEFINICIONES FUNDAMENTALES
127
Denicin 8.3 Un cuadri-vector (c-v) V es una cantidad cuyas componentes, que denotaremos por
= 0 1 2 3, medidas por el observador
inercial , se transforman bajo una transformacin de Lorentz de las coordenadas (ecuacin (7.1)), de la misma manera que las coordenadas, es decir:
0
(7.2)
donde 0 denota las componentes del cuadri-vector V medidas en el sistema de referencia 0 . A las cantidades
se le llaman las componentes
contravariantes del cuadri-vector V. Esta denominacin de las componentes
contravariantes ser justicada ms adelante.
Ejemplos de c-v contravariantes son: el c-v posicin , cuyas componentes
son las coordenadas de un evento fsico, las diferenciales de coordenadas
,
la c-velocidad , la c-aceleracin , el c-momentum , la c-fuerza , etc.
Las componentes de un c-v
y 0 relacionadas por una transformacin de Lorentz, representan el mismo objeto matemtico medido en dos
sistemas de referencia inerciales y 0 respectivamente. Asi V es el c-v y
son las componentes de en el sistema y 0 sus componentes en el
sistema 0 .
Denicin 8.4 Un tensor T de segundo orden dos veces contravariante,
es un conjunto de 16 componentes
;
= 0 1 2 3 medidas en un sistema
de referencia , tales que bajo una transformacin de Lorentz (ecuacin (7.1))
sus componentes se transforman como:
0
(7.3)
donde 0 denota las componentes del tensor T en el sistemade referencia

0
.
Denicin 8.5 La denicin anterior se generaliza al caso de un tensor
T contravariante de orden , como un objeto de 4 componentes, medidas
en un sistema de referencia , cuyas componentes se transforman bajo una
transformacin de Lorentz (7.1) en la forma:
0
1 2
1
1
2
2
1 2
(7.4)
As, podemos denir un tensor de orden cero como un escalar y un tensor

contravariante de orden uno como un c-vector.
En el siguiente captulo veremos ejemplos de tensores de segundo orden
con signicado fsico, tales como el tensor campo electromagntico y el tensor
128
CAPTULO 7. TENSORES
energa-momentun. Por ahora trabajaremos con estas cantidades como objetos matemticos abstractos, sin asignarles ningn signicado. Es de anotar
que en fsica no aparecen cantidades que se describan por tensores de orden
mayor al segundo, salvo en el caso de la Teora General de la Relatividad,
en donde se requiere del tensor de Riemann, el cual es un tensor de cuarto
orden y cuyo signicado est ligado al concepto geomtrico de curvatura de
la variedad espacio-tiempo.
7.2.1.
Componentes covariantes
Las transformaciones de Lorentz las denimos como el conjunto de transformaciones de coordenadas, tales que dejen invariante el intervalo espaciotiempo (ver captulo 4, ecuaciones (3.25) a la (3.30)), es decir, si y +
,
son las coordenadas de dos eventos fsicos medidas por un observador inercial , entonces la distancia espacio-tiempo entre estos dos eventos, denida
como:
2
=
(7.5)
es invariante bajo una transformacin de coordenadas, es decir:
2
(7.6)
en donde la matriz de Minkowski (llamado tambin tensor mtrico de

Minkowski, por las razones que veremos en seguida) est denido por:
1;
1;
0;
:=
= =0
= =1 2 3
6=
(7.7)
As, para que bajo una transformacin de Lorentz el escalar de Lorentz

permanezca invariante, esto es:
2
(7.8)
se debe cumplir que la matriz de Minkowski satisfaga la relacin:

=
(7.9)
129
Como el determinante de la matriz de Minkowski es diferente de cero, i.e.,

det( ) = 1, entonces existe la matriz de transformacin inversa ( ) 1 ,
cuyas componentes que denotaremos por
, satisfacen la siguiente relacin:
1
(7.10)
=1
la cual, escrita en trminos de componentes toma la forma:

(7.11)
son los elementos de la matriz identidad.

en donde
Los elementos de la matriz inversa de Minkowsky coinciden numricamente con
, como se puede probar directamente. Adems, la matriz de
Minkowski y su inversa son matrices simtricas, i.e.
=
y
=
.
Por otra parte, la inversa de una transformacin de Lorentz est dada
por:
0
=
(7.12)
con
=(
(7.13)
Los elementos de la transformacin inversa de Lorentz se pueden obtener

a partir de la relacin:
=
(7.14)
pues
=
(7.15)
en donde se ha hecho uso de la ecuacin (7.9). Por ejemplo, si consideramos el caso particular de una transformacin de Lorentz entre sistemas de
referencia inerciales y 0 , con ejes espaciales paralelos y la velocidad de
0
en la direccin del eje positivo, entonces los elementos de la matriz de
transformacin de Lorentz estn dados por (ver la ecuacin (3.40))
0
0
0
0
1
0
0
0
0
0
0
1
(7.16)
por lo tanto aplicando la relacin (7.14), tenemos
0
0
0
0
0
0
1
0
0
0
0
1
(7.17)
130
CAPTULO 7. TENSORES
la cual corresponde a la transformacin del sistema de referencia 0 al

equivale como vimos en el captulo 3, a cambiar la velocidad por
Denicin 8.6 Denamos las componentes covariantes de un
como
:=
, que
.
c-v
(7.18)
Esta denicin tiene sentido, pues dado que la matriz de Minkowski

posee una inversa, la relacin entre las componentes contravariantes y covariantes de un c-v es una relacin biyectiva (uno a uno y sobre) y por lo
tanto es un isomorsmo, es decir, dadas las componentes contravariantes
de un c-v, sus componentes covariantes
estn unvocamente denidas
(ecuacin (7.18)) y viceversa; es decir, dadas las componentes covariantes ,
entonces sus correspondientes componentes contravariantes se obtienen de la
transformacin inversa, as
=
(7.19)
Este resultado nos permite identicar a las componentes covariantes
y a las contravariantes
de un c-v, como representaciones de un mismo
objeto abstracto V.
Podemos generalizar esta operacin, que se conoce en el marco del anlisis
tensorial como subir y bajar ndices, al caso de tensores de cualquier rango.
As por ejemplo, las componentes covariantes de un tensor de segundo orden
estn relacionadas con sus componentes contravariantes por la ecuacin:
(7.20)
o tambin, podemos denir las componentes de un tensor de segundo orden

una vez contravariante y una vez covariante, con las siguientes posibilidades:
=
(7.21)
De esta forma,
,
,
,y
son todas diferentes representaciones de un mismo tensor de segundo rango T. Es importante anotar que el
orden de los ndices en una ecuacin tensorial debe ser preservado, dado que
en general
6=
y por esta razn las componentes mixtas
y
del tensor T son diferentes en general.
Para encontrar como se transformanlas componentes covariantes de cualquier tensor, bajo una transformacin de Lorentz, consideremos primero el
caso particular de un c-v:
0
(7.22)
131
Ahora, de la relacin (7.14) multiplicndola por

sumando sobre el ndice , obtenemos
=
a ambos lados y
(7.23)
Remplazando esta relacin en el ltimo trmino de la ecuacin (7.22),

tenemos
0
=
=
(7.24)
Esta ecuacin nos da la ley de transformacin de las componentes covariantes de un c-v.
De lo visto hasta ahora, es fcil generalizar esta ecuacin para obtener la
ley general de transformacin de las componentes covariantes y contravariantes de un tensor cualquiera T, r-veces contravariante y s-veces covariante:
0
7.2.2.
1 2
1 2
1
1
2
2
1
1
2
2
1 2
1 2
(7.25)
Algebra tensorial
Denotemos por
el conjunto de todos los tensores 11 22
de orden
= + , r-veces contravariante y s-veces covariante. As, en esta notacin
un escalar es un elemento de 00 , un c-vector contravariante es un elemento
de 10 y uno covariante de 01 , etc.
deniDenicin 8.7 Suma de tensores: Dados dos tensores T S
mos la suma y la multiplicacin por un escalar
, por:
1 2
1 2
:= ( + )
1 2
1 2
:= (
:=
1 2
1 2
1 2
1 2
1 2
1 2
:=
+
1 2
1 2
1 2
1 2
(7.26)
(7.27)
Notemos que estas operaciones no son ms que la generalizacin directa

de la suma y el producto por un escalar de vectores cartesianos, en donde el
vector resultante de estas operaciones se obtiene como la suma componente
a componente y por el producto del escalar por cada componente del vector.
Cuando se dene una opreacin con tensores, hay que demostrar que esta
operacin est bien denida, es decir, que la operacin preserva el caracter
132
CAPTULO 7. TENSORES
tensorial. Esto signica que por ejemplo, para las operaciones denidas en las
ecuaciones (7.26) y (7.27), para la suma y multiplicacin por un escalar de
tensores de un mismo rango, las componentes resultantes 11
y 11
se
transforman efectivamente como las componentes de un tensor del tipo

,
es decir:
T S
= Q=T+S
P= T
(7.28)
La demostracin general de este resultado es muy sencilla y por esta razn
ilustrar el mtodo para el caso particular de un tensor mixto de segundo
1
rango. Sean T S
dadas
1 con componentes para un observador inercial
por
y
respectivamente y sea
=
(7.29)
Debemos probar que bajo una transformacin de coordenadas, las componentes

se transforman como un tensor del tipo 11 . As, para un sistema
de referencia 0 tenemos, aplicando la ley de transformacin (7.25) para las
componentes de los tensores 0 y 0
0
=
=
=
=
+
+
)
(7.30)
se transforman como las componentes

lo cual implica que las cantidades
1
de un tensor del tipo 1 , como se quera probar. Un procedimiento similar
se puede hacer para el producto de un escalar por un tensor.
Este resultado muestra que el conjunto de todos los tensores del tipo
forman un espacio vectorial.
Denicin 8.8 Producto tensorial: Dados dos tensores T
yS
,
denimos el producto tensorial como:
1 2
1 2
+1
+1
+
+
:=
1 2
1 2
+1
+1
+2
+2
+
+
(7.31)
+ +
+
el cual es un tensor de +
, es decir W
+ .
+
Esta operacin no tiene su correspondiente en el clculo vectorial ordinario y representa lo que en lgebra matricial se llama un producto directo.
Como en el caso anterior, hay que probar que esta operacin est bien denida
y para este n consideremos el caso particular del producto de dos c-vectores,
133
1
uno covariante y el otro contravariante. Sea T
0 y llamemos sus compo0
nentes , y
. Entonces, de la denicin 8.8 el
1 con componentes
producto est dado por
=
(7.32)
y debemos probar que las componentes del producto

como:
0
=
se transforman
(7.33)
de acuerdo con la ecuacin (7.25). Sean 0 y 0 las componentes de los

c-vectores
y medidas en el sistema de referencia 0 , entonces en este
sistema de referencia las componentes del producto estn dadas por:
0
(7.34)
Puesto que T y S son c-vectores, sus componentes se transforman de

acuerdo con la relacin:
0
(7.35)
Remplazando estas expresiones en la ecuacin (7.34), tenemos

0
(7.36)
como se quera demostrar.

La siguiente operacin que vamos a denir es fundamental en el clculo
tensorial, pues nos permite obtener a partir de un tensor dado de rango ,
un tensor de rango
2. As, si partimos de un tensor de rango par, por
aplicaciones sucesivas de esta operacin, podemos obtener un tensor de rango
cero, es decir un escalar de Lorentz o en trminos ms fsicos, un invariante
relativista.
Denicin 8.9 Contraccin de Indices: Dado un tensor
1 denimos la contraccin del ndice contravariante
(1
) con el ndice
covariante
(1
) por:
(
(
)
)(
1 2
1 2
) :=
1 2
1 2
1
1
(7.37)
Es decir, dado un tensor mixto de orden = + ,

contravariante
y
covariante, al sumar sobre dos ndices repetidos, uno contravariante y otro covariante, obtenemos un tensor de orden
2,
1
134
CAPTULO 7. TENSORES
contravariante y
1
covariante. Para demostrar que esta operacin est bien denida consideremos, sin prdida de generalidad, un tensor
2
de de rango 4, 2
contravariante y 2
covariante
2
y contraigamos por ejemplo, el primer ndice contravariante con el segundo
covariante:
( )
1
)=
:=
(7.38)
1
( )(
, despus de realizaEntonces, veamos que las componentes que resultan
da la operacin de contraccin, se transforman como las componentes de un
tensor mixto de rango 2. Si denotamos como es costumbre, por cantidades
primadas las componentes de los tensores en el sistema de referencia 0 y
aplicamos las correspondientes leyes de transformacin de tensores, tenemos
entonces
0
=
=
=
=
=
(7.39)
lo cual demuestra que la operacin de contraccin de ndices est bien denida. En la segunda igualdad hemos utilizado la ley de transformacin para
el tensor 0 , la cual se aplica independientemente del hecho que el tensor
tenga dos ndices repetidos sobre los cuales se suma. Para obtener la tercera
igualdad se ha utilizadoel hecho que los elementos de la transformacin
y
, corresponden a la transformacin de Lorentz de a 0 y a su inversa
respectivamente y por lo tanto satisfacen la relacin (7.15). Finalmente, al
sumar sobre el ndice repetido , por la denicin de la delta de Kronecker
, todos los trminos son cero, salvo aquel para el cual = , obteniendose
de esta forma la cuarta iguldad.
Antes de continuar con otras operaciones entre tensores, mostremos que
las componentes de la matriz de Minkowski
, su inversa
y la delta
de Kronecker
son tensores de segundo rango, lo que justica el nombre
de tensor mtrico de Minkowski y adems
,
y
corresponden a
diferentes representaciones del mismo objeto matemtico, el tensor mtrico
, con la particularidad que las componentes de este tensor mtrico toman
los mismos valores numricos en todos los sistemas de referencia inerciales.
El papel especial de este objeto matemtico lo podemos ver, si retornamos
a la denicin del intervalo espacio-tiempo entre dos puntos de la variedad
espacio-tiempo:
2
=
(7.40)
135
El escalar 2 es obtenido a partir del producto de tres tensores ( ,

y
) seguida de una doble contraccin sobre ndices, y por lo visto hasta
ahora, estas operaciones estn bien denidas. Tambin, podemos probar directamente el carcter tensorial de , pues dado que 2 es un invariante,
entonces
2
=
=
(7.41)
en donde hemos denotado por 0 a las componentes del tensor mtrico

medidas en el sistema de referencia 0 , las cuales estn relacionadas con sus
componentes en el sistema por:
0
(7.42)
Un clculo directo, aplicando las propiedades de las transformaciones de

Lorentz, muestra que las componentes del tensor en el sistema 0 coinciden
con sus componentes en . Un procedimiento similar se puede seguir para
probar que
y tambin se transforman como tensores de segundo rango
(dos veces contravariante y mixto respectivamente) y que sus componentes
son las mismas en todos los sistema de referencia inerciales.
Un caso particular que surge de la combinacin de las operaciones, producto tensorial y contraccin de ndices, es la generalizacin de la Denicin 8.6, llamada subir y bajar ndices, pues el producto tensorial del tensor
mtrico de segundo orden (sea de sus componentes contravariantes
, covariantes
o mixtas ) con un tensor cualquiera T de orden n, seguida de
una contraccin de ndices, produce de nuevo un tensor de orden ; por ejemplo, consideremos un tensor T de cuarto orden del tipo 22 . Al multiplicar
2
4
este tensor T por el tensor mtrico
0 , produce un tensor del tipo
2,
3
que al contraer dos ndices conduce a otro tensor del tipo 1 . Resumiendo
tenemos:
=
(7.43)
Otro caso particular de la combinacin de estas dos operaciones tensoriales, producto tensorial seguida de una contraccin, es el producto punto de
dos c-vectores, pues
(7.44)
136
CAPTULO 7. TENSORES
Por ejemplo, consideremos el c-vector momentun de una partcula de

masa en reposo 0 , cuyas componentes contravariantes en algn sistema de
referencia inercial , estn dadas por
= ( 0 1 2 3) (
).
Entonces podemos calcular sus correspondientes componentes covariantes en
este sistema como
=
=(
3)
=(
(7.45)
Aplicando ahora cualquiera de las expresiones dadas en la ecuacin (7.44),

obtenemos que su norma al cuadrado est dada por
2
7.2.3.
= =
2 2
0
(7.46)
Propiedades de simetra de tensores
En esta seccin deniremos los conceptos de tensores simtricos y antisimtricos e introduciremos la operacin tensorial de simetrizacin (y antisimetrizacin) de las componentes de un tensor, la cual es de utilidad para
generalizar algunas operaciones del clculo vectorial usual, como veremos en
la ltima seccin del presente captulo.
Denicin 8.10 Un tensor de segundo rango del tipo 20 , con componentes
en un sistema de referencia , se llama simtrico si
(7.47)
=
y antisimtrico si
(7.48)
Esta denicin es vlida tambin, para las componentes covariantes de un

tensor de segundo rango y puede ser generalizada a cualquier par de ndices
de un tensor de rango
2. Por ejemplo, para un tensor R de cuarto rango
del tipo 04 , simtrico en su primera y tercera componente y antisimtrico en
la segunda y cuarta componente, se tiene que
=
(7.49)
Es fcil probar, a partir de las propiedades de transformacin de las componentes, que el carcter simtrico o antisimtrico de un tensor es independiente del sistema de referencia, pues si
=
en un sistema de referencia
, entonces de las propiedades de transformacin (ecuacin (7.3)) tenemos
0
(7.50)
137
como se quera probar.

Dado un tensor de segundo rango con componentes
en un sistema de
referencia, siempre se puede escribir este tensor como la suma de un tensor
simtrico ms uno antisimtrico, es decir
=
con
tomar
(7.51)
. Para demostrar esta armacin basta con
1
:= (
2
(7.52)
1
:= (
)
(7.53)
2
en donde al tensor
se le llama la parte simtrica del tensor
y al
tensor
su parte antisimtrica. Claramente estas mismas relaciones son
vlidas para ndices covariantes. De estas ecuaciones ( (7.52) y (7.53)) se
deduce adems, que un tensor es simtrico si su parte antisimtrica es cero
y es antisimtrico si su parte simtrica es cero:
1
= (
2
)=0
(7.54)
1
= (
+
)=0
(7.55)
2
Un ejemplo de un tensor simtrico es el tensor mtrico de Minkowski,
=
.
pues por su denicin
Las ecuaciones (7.52) y (7.53) nos conducen a la siguiente denicin de
dos nuevas operaciones tensoriales:
Denicin 8.11 Dado un tensor T de segundo rango del tipo 20 , con
componentes
en un sistema de referencia , denamos un nuevo tensor
que lo denotaremos como ( ) , por la operacin
=
1
:= (
2
(7.56)
el cual por denicin es simtrico, es decir ( ) = ( ) . A esta operacin se

le conoce en la literatura como simetrizacin de un tensor. Claramente, si el
tensor
es simtrico, entonces el tensor simetrizado coincide con el tensor
original, esto es ( ) =
y si el tensor
es antisimtrico, el tensor
( )
simetrizado es cero:
= 0.
138
CAPTULO 7. TENSORES
Similarmente, denimos la operacin de antisimetrizacin de un tensor

dado
, que lo denotaremos como [ ] , por:
[
1
:= (
2
(7.57)
De la misma manera se tiene que si un tensor

es simtrico, entonces el
tensor antisimetrizado es cero y si
es antisimtrico, entonces [ ] =
.
Claramente estas operaciones son vlidas tambin para tensores del tipo 02 .
Tanto las deniciones de simetra y antisimetra dadas (Denicin 8.10),
as como las operaciones de simetrizacin y antisimetrizacin (Denicin
8.11), se pueden generalizar a tensores de orden mayor. Antes de considerar este problema, se introducirn algunos elementos bsicos de la teora de
permutaciones.
Consideremos el conjunto {1 2
} de los primeros nmeros naturales
y denotemos por ( 1 2
) un arreglo ordenado de ellos, sin que ninguno
se repita. Existen entonces ! = 1 2 3 formas diferentes de ordenar
en este arreglo los pimeros nmeros naturales. Por ejemplo, si tomamos el
conjunto {1 2 3}, podemos construir 3! = 6 arreglos diferentes:
(1 2 3); (1 3 2); (2 1 3); (2 3 1); (3 1 2); (3 2 1)
(7.58)
Dado un arreglo ( 1 2
), denimos una permutacin
sobre este
arreglo, como el arreglo obtenido al permutar los elementos del arreglo original. Denotaremos simblicamente esta operacin de permutacin por
(
en donde
)=(
(1)
( ))
(2)
(7.59)
es una funcin (uno a uno y sobre)

: {1 2
{1 2
}
( )=
7
(7.60)
Por ejemplo, el arreglo (3 2 1) se puede obtener a partir del primer arreglo

(1 2 3) permutando los nmeros 1 y 3:
(1 2 3)
3)
=(
(1)
(2)
(3) )
= (3 2 1)
(7.61)
Denamos ahora una transposicin como una permutacin

+1
(7.62)
139
obtenida, al permutar dos nmeros consecutivos

+1
)=(
+1
+1
+1
del arreglo original:

)
(7.63)
Claramente, cualquier arreglo de los nmeros {1 2

} se puede obtener
por una permutacin
sobre un arreglo dado, incluyendo como caso particular, la permutacin identidad que no cambia el arreglo original. Adems,
cualquier permutacin dada se puede obtener aplicando sucesivamente transposiciones. Es decir, toda permutacin se puede descomponer, o factorizar,
como el producto de transposiciones:
=
+1
+1
+1
(7.64)
En el ejemplo ilustrado en la ecuacin (7.58), se puede obtener el segundo

arreglo (1 3 2) a partir del primer arreglo (1 2 3), aplicando la transposicin
2 3 , esto es:
(7.65)
2 3 (1 2 3) = (1 3 2)
pero tambin es posible obtener este mismo arreglo en otra forma, por aplicacin sucesiva de las transposiciones siguientes:
3
1 2
1 2
3 1
3 1
2 (1
2 3) = 3 1 2 1 2 3 1 3 (2 1 3)
= 3 1 2 1 2 3 (2 3 1)
= 3 1 2 1 (3 2 1)
= 3 1 (3 2 1)
= (1 3 2)
(7.66)
Este ejemplo muestra que no hay una nica forma de obtener una permutacin dada por transposiciones sucesivas. Sin embargo, el nmero denido
por:
+1
( 1) =
(7.67)
1
s es independiente de las transposiciones realizadas para obtener la permutacin dada. Este nmero es llamado el signo de la permutacin, siendo
igual al nmero de las transposiciones realizadas. Esto signica que si
una permutacin dada se factoriza en un nmero par (impar) de transposiciones, entonces, cualquier otra factorizacin de la misma permutacin, contendr tambin un nmero par (impar) de transposiciones. Una permutacin
140
CAPTULO 7. TENSORES
se llama par(impar) si el signo es +1( 1). As en nuestro ejemplo anterior, la permutacin

(1 2 3) = (1 3 2) se puede escribir en trminos de
transposiciones, como
= 2 3 , en cuyo caso
= 1 y el signo de la
permutacin es ( 1) = 1, o tambin se puede factorizar en la forma
= 3 1 2 1 2 3 1 3 1 2 , con
= 5 y por lo tanto el mismo signo de
la permutacin ( 1)5 = 1.
Con estos elementos bsicos de la teora de permutaciones, podemos extender las operaciones anteriores de simetrizacin y antisimetrizacin a tensores de orden superior.
Denicin 8.12 Dado un tensor de rango del tipo 0 , con componentes 1 en un sistema de referencia , denamos dos nuevos tensores,
uno completamente simtrico en todos sus ndices que denotaremos como
( 1 )
y el otro completamente antisimtrico en todos sus ndices que denotaremos como [ 1 ] , por las operaciones
(
:=
:=
1X
!
1X
( 1)
!
(7.68)
(7.69)
en donde la suma se realiza sobre todas las permutaciones de los ndices

( 1 ). La misma denicin vale para ndices covariantes.
Por ejemplo, consideremos un tensor
del tipo 03 y construyamos los
tensores ( ) y [ ] por las operaciones denidas en las ecuaciones (7.64)
y (7.69):
(
:=
1
(
3!
(7.70)
1
(
+
+
)
(7.71)
3!
Es fcil comprobar directamente que el nuevo tensor ( ) es completamente simtrico bajo cualquier permutacin de sus ndices; por ejemplo
, mientras que el tensor [ ] es completamente anti(031) = (013) =
simtrico bajo permutacin de sus ndices, pues por ejemplo [031] =
[013] ,
pero [031] = [310] dado que en el primer caso los ndices [013] corresponden a una permutacin par de los ndices originales [031], mientras que en el
segundo caso el arreglo de ndices [310] es una permutacin par del arreglo
[
:=
141
original [031]. Notemos que las deniciones dadas para tensores de segundo
rango son un caso particular de la Denicin 8.12. Un ejemplo de esta operacin de antisimetrizacin de tensores, lo constituye la generalizacin del
producto cruz usual del clculo vectorial tridimensional.
Sean
y
las componentes de dos c-vectores en un sistema de referencia . Denamos un nuevo vector como el producto tensorial antisimetrizado
de estos dos c-vectores:
[
:=
1
= {
2
(7.72)
en n dimensiones tiene 2 componentes

Un tensor de segundo rango
independientes. En el caso particular de las 4 dimensiones del espacio-tiempo
2
= 16 componentes independientes. Si el tensor es simtrico entonces
=
y su nmero de componentes independientes se reduce a:
2
( + 1)
2
Ahora, si el tensor es antisimtrico

nentes independientes est dado por:
2
1)
2
(7.73)
su nmero de compo-
(7.74)
pues en este caso las componentes con ndices repetidos son cero. En el caso de vectores tridimensionales cartesianos = 3, y por lo tanto el nmero
de componentes independientes de un tensor antisimtrico de segundo rango
es tres. As, podemos identicar a las tres componentes independientes que
surgen de la operacin denida en la ecuacin (7.72), a su vez con las componentes de un nuevo vector, el cual se conoce como el producto cruz del clculo
vectorial usual. Notemos que esta identicacin no es posible para otras dimensiones del espacio, pues por ejemplo, en cuatro dimensiones el nmero
de componentes independientes de un tensor antisimtrico de segundo rango
es de seis y por lo tanto estas componentes no pueden ser identicadas con
las componentes de nign c-vector.
Para nalizar esta seccin consideraremos un ejemplo especial de un tensor de cuarto rango completamente antisimtrico, el cual jugar un papel
importante en el captulo octavo sobre las ecuaciones de Maxwell. Denamos
142
el tensor
CAPTULO 7. TENSORES
, llamado tensor de Levi-Civita, por la ecuacin:
:=
+1
1
0123
0123
(7.75)
Este tensor, al igual que el tensor mtrico de Minkowski, tiene la particularidad que en todos los sistemas de referencia inerciales sus componentes
es un tensor con esta
tienen el mismo valor numrico. Para probar que
caracterstica, se debe mostrar que sus componentes se transforman, bajo
una transformacin de Lorentz, en la forma
0
(7.76)
Para esto, es suciente notar lo siguiente: si en la ecuacin anterior reemplazamos los ndices , , y por 0, 1, 2 y 3 respectivamente, entonces la
ecuacin (7.76) toma la forma
1=
0123
= det | |
(7.77)
De lo visto en el captulo 3 sobre las propiedades de las transformaciones

de Lorentz, es fcil deducir que toda transformacin de Lorentz propia, es
decir que no involucra inversin de los ejes espaciales o inversin de la coordenada temporal, tiene determinante igual a 1. As, la ecuacin (7.77)
es una identidad y por lo tanto las componentes
del tensor de LeviCivita deben transformarse de acuerdo con la ecuacin (7.76), como se quera
mostrar.
7.3.
Transformacin general de coordenadas
Antes de continuar con la generalizacin de los operadores vectoriales

usuales del clculo diferencial (gradiente, divergencia y rotacional), veamos el
caso general de transformaciones de coordenadas que contienen, lgicamente,
el caso particular de las transformaciones de Lorentz que hemos considerado
hasta ahora.
Sean y 0 dos sistemas de referencia y llamemos y 0 las coordenadas
de un punto medidas en los sistemas de referencia y 0 respectivamente.
Supongamos, sin prdida de generalidad, que nuestro espacio es de cuatro
dimensiones. Entonces, un cambio general de coordenadas entre los sistemas
7.3. TRANSFORMACIN GENERAL DE COORDENADAS
143
y 0 se puede expresar como un conjunto de cuatro ecuaciones, en donde

las nuevas coordenas primadas son funciones continuas, con inversa continua,
de las coordenadas no primadas. As la transformacin de coordenadas y su
inversa, se pueden escribir como:
0
=
=
(
(
(7.78)
(7.79)
Notemos que si exigimos que las transformaciones de coordenas sean lineales, entonces estas ecuaciones se reducen a la forma:
0
(7.80)
=
0
(7.81)
(y los de la transformacin
con los coecientes de la transformaciones
inversa
) constantes, independientes de las coordenadas. Las componentes
del vector desplazamiento innitesimal
en el sistema de coordenadas
0
1
2
3
estn dadas por
=(
), mientras que las correspondientes
01
02
03
componentes medidas en 0 son 0 = ( 00
). Para encontrar
la relacin entre las componentes del vector
en los dos sistemas, basta
con tomar la diferencial total de cada una de las funciones en las ecuaciones
(7.78) y (7.79), as:
0
=
=
(7.82)
0
(7.83)
Estas ecuaciones denen la ley de transformacin (y su inversa) para las

componentes de cualquier vector en los dos sistemas de referencia:
0
=
=
(7.84)
0
(7.85)
En el caso particular de transformaciones lineales (ecuaciones (7.80) y

(7.81)), la ley de transformacin para las componentes de un vector toma la
forma:
0
=
(7.86)
144
CAPTULO 7. TENSORES
0
(7.87)
la cual se obtiene del caso general si hacemos la siguiente identicacin:

0
=
=
(7.88)
(7.89)
Finalmente, puesto que las transformaciones de coordenadas deben ser

invertibles se debe cumplir que
0
0
(7.90)
Esta relacin se obtiene directamente, si aplicamos la regla de la cadena para

0
las derivadas a la transformacin idntica 0 ( ( 0 ))
, la cual para el
caso particular de transformaciones lineales, toma la forma
= . As,
teniendo en cuenta las ecuaciones (7.88) y (7.89), toda el lgebra y los conceptos del clculo tensorial desarrollados en este captulo, para el caso particular de transformaciones de Lorentz, son vlidos para el caso ms general de
transformaciones arbitrarias de coordenadas. Las restricciones que impongamos sobre el conjunto de transformaciones de coordenadas entre sistemas,
nos determinan las propiedades matemticas (o fsicas, segn sea el caso) del
espacio sobre el cual estamos trabajando. Por ejemplo, si consideramos que
los sistemas de referencia fsicamente signicativos son los inerciales y que
el principio de la constancia de la velocidad de la luz en el vaco se cumple,
entonces solamente las ecuaciones de transformacin de coordenadas admisibles son aquellas que dejan el intervalo espacio-tiempo invariante, obteniendo
entonces el caso particular de transformaciones de Lorentz que hemos estado
considerando en este captulo. Otra posibilidad sera por ejemplo, aceptar el
principio de la constancia de la velocidad de la luz, pero postular que las leyes
de la fsica son vlidas en todos los sistemas de referencia, san inerciales o no.
Para este caso ms general ya no estamos restringidos a transformaciones de
coordenadas lineales, como en el caso anterior que corresponde a la relatividad especial, an cuando se sigue exigiendo que el intervalo espacio-tiempo
permanezca invariante, esto es
2
(7.91)
En este caso, bajo una transformacin admisible de coordenadas, las componentes del tensor mtrico (denotado ahora por ) son en general funciones
7.4. OPERADORES VECTORIALES
145
de las coordenadas y por tanto, a diferencia del tensor mtrico de Minkowski, sus componentes varan de un sistema de coordenadas (o de referencia)
a otro. Este ltimo ejemplo adquiere todo su signicado en la teora general
de la relatividad, cuyo estudio est ms all del alcance del presente libro.
7.4.
Operadores vectoriales
En el clculo vectorial usual sobre R3 se dene el operador gradiente

como:
=(
)
(7.92)
el cual al actuar sobre una funcin escalar produce un vector en la direccin
del mximo cambio de la funcin. Por funcin escalar se entiende, una funcin
de valor real y variable vectorial, es decir una funcin de la forma
: R3 7
(7.93)
).
tal que, a un vector = (
) de R3 le asocia un nmero real (
As, al actuar el operador gradiente
sobre la funcin (
) da como
3
resultado un vector sobre cada punto de R , con sus componentes dadas por
=(
(7.94)
Si consideramos ahora una funcin vectorial

cin de valor vectorial y variable vectorial:
: R3 7
), es decir una fun-
R3
(7.95)
con componentes (
), entonces podemos hacer actuar el operador
gradiente sobre en la forma
(7.96)
para obtener una funcin real llamada la divergencia. Tambin es posible

obtener un vector a partir del operador gradiente, actuando ste sobre una
funcin vectorial en la forma:
=(
(7.97)
146
CAPTULO 7. TENSORES
conocida como el rotacional de una funcin vectorial. Notemos que las tres
operaciones denidas a partir del operador , el gradiente, la divergencia y
el rotacional, se pueden considerar como una extencin de las operaciones
usuales del lgebra vectorial: el producto de un vector por un escalar, el
producto interno entre vectores y el producto cruz, respectivamente. Por
esta razn es usual considerar para todos los efectos al operador como un
vector, con el cual podemos construir todo tipo de operaciones permitidas
dentro del clculo vectorial usual, solamente teniendo presente el orden en el
cual entra
en la expresiones, pues el vector
actua sobre funciones. As
por ejemplo, podemos construir expresiones tales como
2
2
(7.98)
conocida como el operador Laplaciano.

Denamos entonces el cuadri-vector gradiente como un operador diferencial, tal que al actuar sobre una funcin escalar de las coordenadas ( ),
produce el c-vector
, cuyas componentes en un sistema de referencia
estn dadas por:
(
) =(
(7.99)
A las componentes de
las denotaremos tambin como
,o
.
Veamos entonces, que las componentes de
se transforman como las componentes covariantes de un c-vector bajo una transformacin de coordenadas.
Sean
y 0 las coordenadas de un evento, medidas en los sistemas de referencia
y 0 respectivamente y relacionadas por una transformacin de
Lorentz, entonces las componentes covariantes de un c-vector V, en los dos
sistemas de referencia, estn relacionadas por:
0
(7.100)
de acuerdo con las ecuaciones (7.88) y (7.89) de la seccin anterior. Bajo

una transformacin de coordenadas por denicin, una funcin escalar permanece invariante, es decir ( ) = ( 0 ). Teniendo en cuenta que bajo la
transformacin de coordenadas se tiene 0 = 0 ( ) y aplicando la regla
de la cadena a la funcin ( 0 ( )), obtenemos para las componentes del
operador gradiente, medidas en los dos sistemas de referencia, la relacin
0
(7.101)
7.4. OPERADORES VECTORIALES
147
Puesto que esta relacin es general e independiente de la funcin escalar ,

podemos concluir que las componentes del operador gradiente se transforman,
bajo un cambio de coordenadas, como las componentes covariantes de un cvector, es decir
0
=
(7.102)
A partir de esta denicin, podemos construir los operadores de uso ms
frecuente en fsica, siguiendo los mismos procedimientos que en el caso del
clculo vectorial tridimensional estandar. Consideremos un campo vectorial
( ), esto es, una funcin vectorial de las coordenadas y calculemos el producto interno Minkowskiano entre este campo vectorial y el vector gradiente:
(7.103)
que corresponde a la generalizacin del operador divergencia tridimensional.

Un ejemplo de esta operacin de uso muy frecuente en fsica, es la llamada
ecuacin de continuidad:
0
=0
=0
(7.104)
en donde el simbolo signica el operador gradiente tridimensional. Claramente esta ecuacin, por provenir de un producto interno entre c-vectores,
es invariante bajo transformaciones de coordenadas, es decir
0
=0=
(7.105)
lo que signica que la ecuacin de continuidad escrita de esta manera, automticamente satisface el principio de relatividad. Ahora, si denimos un
nuevo operador (conocido en la literatura como el DAlembertiano ) como el
producto interno del operador gradiente consigo mismo, obtenemos un operador que es un invariante (un escalar) bajo transformaciones de coordenadas,
asi
=
02
(7.106)
la cual nos permite escribir directamente la ecuacin de ondas como:
=0
(7.107)
Es conocido del lgebra vectorial, que el producto cruz entre vectores

es una operacin que solo tiene sentido para vectores cartesianos en tres
148
CAPTULO 7. TENSORES
dimensiones y por lo tanto en la forma usual como ella se dene, no es posible

generalizarla a vectores denidos en otras dimensiones espaciales. Realmente
el producto cruz usual es un caso particular de tensores de segundo rango,
como fue discutido al nal de la seccin 5.2.3.
La operacin de antisimetrizar un tensor de segundo rango (ecuacin
(7.57)) nos permite generalizar el producto cruz del clculo verctorial usual
en tres dimensiones, al caso de varias dimensiones, obteniendose no un vector axial como en el caso tridimensional, sino un tensor de segundo rango
antisimtrico. As por ejemplo, el rotacional de una funcin vectorial
est dado por:
(7.108)
[
] =
Si aplicamos esta denicin al caso particular de un vector tridimensional usual, con componentes A = (
)
( 1 2 3)
y
=(
)
, entonces las siguientes tres componentes independientes del tensor [ ]
[1
2]
[3
1]
[2
3]
corresponden a las componentes , y

mente, en el clculo vectorial ususal.
(7.109)
del rotacional
A respectiva-
Captulo 8
Electrodinmica
8.1.
Introduccin
En el segundo captulo sobre los fundamentos de la teora especial de la

relatividad, vimos como las ecuaciones de Maxwell no permanecan invariantes bajo transformaciones de Galileo, indicando que si se aceptan las leyes
de la electrodinmica, entonces ellas son vlidas nicamente en un sistema de
referencia privilegiado y por lo tanto, a travs de experimentos electromagnticos se podra determinar el movimiento absoluto. Los resultados negativos
de estos experimentos planteaban una inconsistencia entre los principios de
la mecnica Newtoniana y las leyes del electromagnetismo, las cuales condujeron a muchos tericos de la poca, a desarrollar elaboradas teorias que
permitieran coexistir, sin aparente contradiccin, a estos dos grandes pilares
de la fsica del siglo XIX.
La relatividad especial, basada sobre los potulados de la constancia de la
velocidad de la luz en el vaco y el principio de relatividad, es una teora independiente de los fenmenos elctricos y mecnicos y por esta razn constituye
uno de los pilares fundamentales de la fsica. En efecto podemos partir por
ejemplo, de la validez de la ley de Coulomb para la fuerza entre dos partculas
cargadas en reposo respecto a algn observador inercial (o equivalentemente,
del campo elctrico producido por una carga en reposo) y del carcter invariante de la carga elctrica y encontrar, utilizando los principios de la dinmica
relativista, la necesidad de introducir un campo dependiente de la velocidad
de la partcula que lo produce, conocido como el campo magntico. Continuando con este procedimiento, ms algunas hiptesis de origen experimental,
149
150
CAPTULO 8. ELECTRODINMICA
tales como la conservacin de la carga, se pueden encontrar las leyes de la electrodinmica que rigen el comportamiento de los campos electromagnticos,
as como la fuerza sobre las partculas cargadas en campos electromagnticos.
Este mtodo de trabajo para mostrar el caracter relativista de la electrodinmica ha sido extensivamente utilizado en la literatura (ver por ejemplo el
exelente tratado en el libro de Rosser) y por esta razn presentar en este
captulo otro mtodo de trabajo, el cual nos permite encontrar de manera
directa las propiedades de transformacin de los campos electromagnticos
entre sistemas de referencia inerciales.
El objetivo fundamental de este captulo es entonces, escribir las leyes
de la electrodinmica en forma explcita covariante, es decir, de tal manera
que su invarianza relativista sea maniesta. Como una consecuencia de esta formulacin de las ecuaciones de Maxwell, obtendremos las ecuaciones de
transformacin de los campos elctricos y magnticos bajo transformaciones
de Lorentz. Para este n, haremos uso del formalismo tensorial desarrollado en el captulo anterior, postulando en primer lugar, que las leyes de la
electrodinmica, constituidas por las ecuaciones de Maxwell, la ecuacin de
continuidad para la carga y la ley de la fuerza de Lorentz, son vlidas y luego
reescribiremos estas ecuaciones en trminos de cantidades tensoriales.
8.2.
Ecuaciones de Maxwell
Las leyes de la electrodinmica estn constituidas por dos conjuntos de

ecuaciones. El primer conjunto lo conforman las ecuaciones de Maxwell que
estn dadas por (en unidades cgs):
(8.1)
=4
(8.2)
=0
1
+
1
(8.3)
(8.4)
las cuales nos determinan los campos elctrico y magntico en trminos

de sus fuentes (cargas y corrientes), con la densidad volumtrica de carga y
8.2. ECUACIONES DE MAXWELL
151
la densidad de corriente elctrica. La primera de estas ecuaciones es conocida como la ley de Gauss y establece que las cargas elctricas son fuente
del campo elctrico, mientras que la tercera ecuacin, la correspondiente ley
de Gauss para el campo magntico, nos dice que no existen fuentes para el
campo magntico, es decir, que en la naturaleza no existen cargas magnticas
aisladas, conocidas en la literatura como monopolos magnticos. La segunda
de las ecuaciones de Maxwell contiene dos trminos: por una parte est la
ley de Ampere, esto es, que las corrientes elctricas (representadas en el trmino 4
) producen campos magnticos y por otra parte est el trmino
1
, introducido por Maxwell, que nos dice que campos elctricos variables en el tiempo son tambin una fuente de campo magntico. La ltima de
las ecuaciones de Maxwell es la ley de induccin de Faraday, la cual establece
que campos magnticos variables en el tiempo inducen campos elctricos.
El segundo conjunto de ecuaciones que conforman las leyes de la electrodinmica, lo constituyen la ecuacin de continuidad y la ley de la fuerza de
Lorentz:
+
=0
(8.5)
=
(8.6)
en donde es la carga de la partcula y su velocidad. La primera de estas

ecuaciones, la ecuacin de continuidad, establece que la carga elctrica es
conservada en la naturaleza. Es decir, si en una regin del espacio la densidad de carga elctrica vara (
6= 0), es porque esta entrando o saliendo
carga de esa regin ( 6= 0). Es de anotar que esta ley de conservacin de
la carga est contenida en las ecuaciones de Maxwell y por lo tanto no constituye una ley independiente de la electrodinmica, pues basta con tomar la
divergencia de la segunda ecuacin de Maxwell y teniendo en cuenta la ley de
Gauss (primera ecuacin) se llega directamente a la ecuacin de continuidad.
Sin embargo, es usual y til, para claridad en la discusin, mantener explcitamente esta ecuacin de continuidad. Finalmente, la ley de la fuerza de
Lorentz nos da la ecuacin de movimiento para una carga puntual inmersa
en un campo electromagntico.
Las ecuaciones de Maxwell muestran como los campos elctricos y magnticos son en realidad aspectos diferentes de un solo fenmeno. Sin embargo,
hasta el siglo XVIII los fenmenos elctricos y los magnticos, conocidos por
la humanidad desde tiempos remotos, se consideraban como fenmenos completamente independientes entre si, situacin que se puede entender ahora, si
152
consideramos el caso particular de campos electromagnticos independientes

del tiempo, con sus fuentes de cargas y corrientes estacionarias. Bajo estas
condiciones (campos y densidades de carga y corriente independientes del
tiempo), las ecuaciones de Maxwell (ecuaciones (8.1) a la (8.4)) se pueden
separar en dos conjuntos independientes: El primer conjunto de ecuaciones,
dado por:
=4
(8.7)
=0
(8.8)
describe las leyes de la electrosttica. La primera ecuacin, la ley de Gauss,

describe que la nica fuente del campo elctrico son las cargas (estacionarias),
mientras que la segunda ecuacin nos dice que el campo producido por estas
cargas es conservativo. Estas dos ecuaciones son equivalentes a la ley de
Coulomb. El segundo conjunto de ecuaciones
=0
(8.9)
(8.10)
constituido por la ley de Ampere (con densidad de corriente estacionaria ,

i.e. = 0) y la ley de Gauss para el campo magntico, describen las leyes
de la magnetosttica y muestran que la nica fuente del campo magntico
tambin son las cargas elctricas, pero ahora en movimiento (corrientes). Si
bien sabemos que el origen de los campos electrostticos y magnetostticos
son las cargas, los conjuntos de ecuaciones (8.7), (8.8) y (8.9), (8.10) para los
campos y no establecen ninguna relacin entre estos campos, es decir, si
bien y tienen en ltimas las mismas fuentes por origen, son conceptual
y fenomenolgicamente diferentes. Veremos en la siguiente seccin, como la
relatividad especial nos permite establecer una relacin entre el campo magntico y el elctrico, an en el caso particular de campos independientes del
tiempo.
8.3.
Campo magntico como un efecto relativista
Antes de entrar al tema central del presente captulo, mostraremos en

esta seccin la estrecha relacin que existe entre los fenmenos elctricos y
8.3. CAMPO MAGNTICO COMO UN EFECTO RELATIVISTA
153
magnticos (para campos independientes del tiempo) como una aplicacin de

los postulados fundamentales de la teora especial de la relatividad. Veamos
entonces, como surge el concepto de campo magntico como una necesidad
para mantener la invarianza de las leyes fsicas, si suponemos que la ley de
Coulomb, la cual nos da la fuerza entre dos partculas cargadas en reposo, es
vlida. Coulomb fue el primero en describir cuantitativamente la fuerza entre
partculas cargadas estacionarias a travs de la ley de fuerzas:
12
1 2
(8.11)
en donde 1 y 2 miden las cargas elctricas de las partculas, es la distancia

entre en ellas, con un vector unitario en la direccin del radio vector que
une la carga 1 con la carga 2, y es una constante de proporcionalidad
que depende del sistema de unidades elegido ( = 1 en el sistema cgs que
usaremos en el presente captulo). Entonces 12 nos mide la fuerza que la
carga 2 experimenta debido a la carga 1 , siendo esta fuerza atractica o
repulsiva dependiendo del signo de las cargas: repulsiva si las cargas son
del mismo signo y atractiva en caso contrario. Adems, esta expresin de la
fuerza satisface por su denicin la tercera ley de Newton, esto es 12 =
21 .
En esta relacin (ecuacin (8.11)) se ha expresado la fuerza sobre la carga 2
debido a la carga 1 y en este sentido podemos escribir la ley de Coulomb en
la forma:
(8.12)
12 = 2 1 ( )
en donde la cantidad
1(
), denida como
1(
) :=
(8.13)
es el campo elctrico producido por la carga 1 en el punto (hemos elegido el

origen del sistema de coordenadas espaciales en la posicin de la carga 1 para
simplicar las expresiones). Estas expresiones para la fuerza (ecuacin (8.11))
y el campo elctrico (ecuacin (8.13)) son vlidas para un observador inercial
, con respecto al cual la carga 1 est en reposo. Es un hecho experimental,
que la fuerza sobre la carga de prueba 2 es independiente del estado de
movimiento de la carga de prueba, lo cual est implcito en la expresin para
la fuerza de Coulomb, pues ella depende solamente de la posicin instantnea
de la carga 2 . Adems, tanto la fuerza de Coulomb como el campo elctrico
producido por la carga 1 , son independientes del tiempo siempre y cuando la
154
Figura 8.1: Interaccin Coulombiana normal al movimiento

carga 1 permanezca en reposo. Experimentalmente determinamos la fuerza
12 sobre la carga de prueba 2 en el sistema de referencia inercial , midiendo
la rata de cambio del momentun 2 de la carga 2 , es decir midiendo 2 ,
as como tambin las otras variables cinemticas y dinmicas que entran en la
denicin de la fuerza de Coulomb, tales como la distancia entre la carga 1 y
la de prueba, la velocidad (nula en este caso) de la carga 1 y el momentun 2
de 2 . Si consideramos otro sistema de referencia inercial 0 , el cual se mueve
0
con velocidad a lo largo de los ejes
con respecto a , entonces todas las
cantidades cinemticas y dinmicas deben transformarce de acuerdo con los
principios de la relatividad especial y a partir de estas cantidades podemos
determinar la fuerza sobre la carga de prueba, pero ahora estando las cargas
1 y 2 en moviento.
Nuestro primer objetivo es determinar la fuerza sobre una carga de prueba 2 , medida por un observador inercial , debida a una carga 1 que se
mueve con velocidad constante. Para simplicar los clculos y sin prdida
de generalidad, consideraremos dos situaciones particulares: En la primera,
ilustrada en la Figura 8.1, la carga de prueba 2 se encuentra en reposo con
respecto al sistema y est situada sobre el eje en las coordenadas (0 0),
155
Figura 8.2: Interaccin Coulombiana en la direccin de movimiento

mientras que la carga 1 se mueve con velocidad a lo largo del eje positivo
de las y pasa por el origen de coordenadas en el instante = 0. La segunda
situacin, mostrada en la Figura 8.2, se diferencia de la anterior solamente en
que ahora la carga de prueba, que la denotaremos ahora por 3 , se situa en
reposo respecto al sistema sobre el eje de las en las coordenadas ( 0 0).
Debido a que la carga 1 se est moviendo, debemos pasarnos a un sistema
de referencia inercial 0 con respecto al cual esta carga se encuentre en reposo,
con el n de poder aplicar la ley de Coulomb. Considerados un sistema de
referencia inercial 0 , que se mueva con velocidad a lo largo del eje positivo
, siendo la velocidad de la carga 1 respecto a . Entonces, para todo
instante 0 la carga 1 se encuentra en reposo en el origen de coordenadas
de 0 , mientras que la carga de prueba 2 pasa por el punto de coordenadas
(0 0 0) en el instante 0 = 0 y la carga 3 pasa por el punto de coordenadas
( 0 0 0) en 0 = 0. Bajo estas condiciones, las fuerzas sobre las cargas 2 y
3 estn dadas por la ley de Coulomb (ecuacin (8.11)). Entonces, sobre la
carga 2 la fuerza en el instante 0 = 0 solo tiene componente y est dada
por:
1 2
0
0
; 0 12 = 0
(8.14)
12 = 0;
12 =
02
mientras que para la carga
la fuerza de Coulomb, en
= 0, tiene solo
156
componente :
0
13
1 3
;
02
13
= 0;
(8.15)
=0
13
Retornemos ahora al sistema de referencia inercial . Para este n, recordemos la denicin de las componentes del c-vector fuerza (ecuacin (5.19))
=(
) = ( )(
(8.16)
en donde es la velocidad de la partcula sobre la cual esta actuando la

fuerza fsica . Bajo la transformacin de Lorentz que estamos considerando,
las componentes de la c-fuerza medidas por 0 estn relacionadas con las
correspondientes componentes de la c-fuerza medidas en , por las relaciones:
0
= (
)(
00
01
(8.17)
= (
)(
01
00
(8.18)
02
(8.19)
03
(8.20)
y ( ) = ( ). Teniendo
siendo
la velocidad de respecto a 0 , =
en cuenta la ecuacin (8.16) y recordando la forma como el factor ( 0 ) se
transforma (ver ecuacin (4.18)), las ecuaciones de transformacin para las
componentes de la fuerza fsica estn dadas por:
=
0
1
0
0
1+
(8.21)
( ) 1+
( ) 1+
Dado que la velocidad 0 de las cargas

y 02 respectivamente, estn dadas por:
(8.22)
(8.23)
3,
que las denotaremos por
0
1
=(
0 0)
(8.24)
0
2
=(
0 0)
(8.25)
157
con respecto al sistema de referencia

fuerza fsica respecto a son:
, tenemos que las componentes de la
12
12
12
12
para la carga
2,
= ( )
12
= ( )
12
13
(8.26)
=0
1 2
02
(8.27)
(8.28)
=0
y
13
13
13
1 3
02
(8.29)
13
=0
(8.30)
13
=0
(8.31)
para la carga 3 . Puesto que bajo la transformacin de Lorentz considerada

0
= y 0 = ( ) , obtenemos que las componentes no nulas de la fuerza
en , sobre las cargas de prueba 2 y 3 , estn dadas por:
12
= ( )
1
1 2
2
(8.32)
1 3
(8.33)
) 2
respectivamente. A partir de estos resultados, es fcil intuir la forma general
para la fuerza elctrica en un instante dado sobre una partcula de prueba 2
en reposo en un punto de coordenadas (
), debido a una carga 1 que se
desplaza a velocidad constante a los largo del eje de las y que pasa por
el origen de coordenadas en ese instante:
=
1 2
13
2(
2(
( )
+ 2+
2 )3 2
(8.34)
en donde es el vector posicin instantneo que une la carga 1 con la

carga de prueba 2 . As, podemos denir el campo elctrico producido por
una partcula mvil, situada instantneamente en el origen de coordenadas,
como:
( )
= 1 2
(8.35)
2
( ( ) + 2 + 2 )3 2
Notemos en primer lugar, que el campo elctrico sigue siendo radial, an
cuando ya no es esfricamente simtrico como en el caso del campo elctrico
158
Figura 8.3: Interaccin entre cargas con movimiento arbitrario

producido por una carga en reposo, pues de la ecuacin anterior se deduce
que el campo elctrico se intensica en un factor ( ) para puntos del espacio situados en el plano perpendicular a la direccin de movimiento de la
partcula, mientras que se hace un factor 1 2 ( ) ms pequeo para puntos
situados a lo largo de la direccin de movimiento de la carga 1 .
Consideremos ahora dos cargas 1 y 2 como se muestra en la Figura 8.3,
en donde la carga 1 se mueve con velocidad a lo largo del eje positivo
con respecto al sistema de referencia y la carga 2 se mueve con velocidad
=(
) respecto a y supongamos que en el instante = 0, la carga
pasa
por
el
origen de coordenadas y 2 por el punto (
) . Similar al
1
0
caso anteriormente discutido, sea
un sistema de referencia inercial que
se desplaza con velocidad en la direccin positiva de las respecto a .
Entonces, con respecto al observador 0 la carga 1 se encuentran en reposo
en el origen de coordenadas de 0 y 2 pasa por el punto de coordenadas
( 0 0 0 ) en el instante 0 = 0, moviendose con una velocidad 0 . De la ley
de Coulomb, las componentes de la fuerza medidas por el observador inercial
0
estn dadas por:
0
12
02
0
1 2
02 + 02 )3 2
(8.36)

0
12
12
(
(
02
02
159
0
1 2
02 + 02 )3 2
(8.37)
0
1 2
02 + 02 )3 2
(8.38)
las cuales son independientes de la velocidad 0 de la carga de prueba. Aplicando las ecuaciones (8.21), (8.22) y (8.23) para la transformacin de las
componentes de la fuerza y teniendo en cuenta la ley de transformacin de
velocidades:
0
=
(8.39)
1
2
0
=
=
( ) 1
( ) 1
(8.40)
(8.41)
obtenemos para las componentes de la fuerza sobre la carga de prueba

medidas por el observador inercial :
12
( )
=
2
2
( ( ) +
1 2
2+
2 )3 2
12
( )
= 2
2
( ( ) +
1 2
2+
12
( )
= 2
2
( ( ) +
1 2
2+
2 )3 2
2 )3 2
2,
(8.42)
(8.43)
(8.44)
Sabemos que la fuerza de Coulomb sobre una carga de prueba es independiente del estado de movimiento de dicha carga de prueba. Sin embargo,
comparando la ecuacin (8.32) con las ecuaciones (8.42), (8.43) y (8.44) para
la fuerza sobre la carga de prueba 2 , la primera cuando 2 est en reposo y la
segunda cuando est en movimiento, vemos que en el segundo caso aparecen
unos trminos extras a la fuerza elctrica (de Coulomb). Para ver esto de
una manera ms directa, notemos que la fuerza sobre la carga de prueba 2
(ecuaciones (8.42), (8.43) y (8.44)) la podemos escribir en la forma:
12
(
12
(
12
;=
(8.45)
160
en donde
(8.35)):
es el campo elctrico producido por la carga
2(
1 ( )
2+ 2+
siendo la velocidad de la carga de prueba

producido por la carga 1 , como:
:
=
=
1
2(
dado por (ecuacin
(8.46)
2 )3 2
y denimos el campo magntico
( ) 1
+ 2+
2 )3 2
(8.47)
siendo la velocidad de la carga 1 . Teniendo en cuenta que la velocidad de

la carga 1 , en el caso considerado est dada por = ( 0 0), es fcil ver por
un clculo directo, que la expresin general dada por la ecuacin (8.45) se
reduce a la expresin para fuerza, encontrada en las ecuaciones (8.42), (8.43)
y (8.44). En la ecuacin (8.45) se dividi explcitamente la fuerza que actua
sobre la carga de prueba en dos trminos: El primero corresponde a la fuerza
Coulombiana que actua sobre la carga 2 , la cual es independiente del estado
de movimiento de dicha carga de prueba, mientras que el segundo trmino s
es dependiente de la velocidad de dicha carga. Adems, este segundo trmino
se anula si cualquiera de las cargas, la carga fuente 1 o la de prueba 2 estn
en reposo. Este resultado nos muestra la estrecha relacin entre los fenmenos
elctricos y magnticos. Es importante tener en mente, que en todo nuestro
anlisis hemos trabajo bajo la suposicin que las cargas no estn sometidas
a aceleraciones, pues para considerar esta situacin es necesario trabajar con
las leyes completas de la electrodinmica.
Es posible continuar con este mtodo de trabajo y obtener la ley de BiotSabart y la ley de Ampere para corrientes estacionarias, pero dejaremos estos
temas de lado, para concentrarnos en el objetivo fundamental del presente
captulo.
En la siguiente seccin escribiremos las ecuaciones de Maxwell en forma
explcita relativista y encontraremos las leyes generales de transformacin
de los campos electromagnticos, entre sistemas de referencia inerciales y
mostraremos, cmo los resultados anteriormente obtenidos, corresponden a
casos particulares de estas leyes de transformacin.
8.4. ECUACIONES DE MAXWELL COVARIANTES
8.4.
161
Ecuaciones de Maxwell covariantes
Consideremos en primer lugar la ecuacin de continuidad (8.5), la cual

podemos escribir en forma explcitamente covariante, como:
(8.48)
=0
teniendo encuenta lo establecido en la ltima seccin del captulo anterior y

donde el c-vector corriente
se ha denido en la forma:
0
:= (
)=(
(8.49)
La componente temporal 0 representa la densidad de carga (siendo la

carga un invariante relativista) y las componentes espaciales
= 1 2 3
corresponden a las componentes del vector densidad de corriente elctrica.
Esta denicin del c-vector corriente nos da inmediatamente, las ecuaciones
de transformacin para las densidades de carga y corriente, medidas por dos
observadores inerciales. En efecto, dados dos sistemas de referencia inerciales
y 0 , con
=(
) y 0 = ( 0 0 ) las componentes del c-vector corriente medidas por los dos observadores, entonces
y 0 estn relacionadas
por (ver ecuacin (7.2)):
0
=
(8.50)
Para el caso particular de dos sistemas de referencia inerciales, con la
velocidad del sistema 0 respecto a , a lo largo del eje positivo de las y
ejes espaciales paralelos, tenemos que las ecuaciones de transformacin para
las componentes de la densidad de corriente estn dadas por:
00
= ( )(
01
= ( )(
02
03
(8.51)
(8.52)
(8.53)
(8.54)
en donde hemos utilizado las ecuaciones (2.49)

p para los elementos de la trans2
formacin de Lorentz
, siendo ( ) = 1 1
y =
. Remplazando
las componentes 0 y
en trminos de las densidades de carga ( 0 =
(
) y 0 = 0 ( 0 0 0 ))
y 00 = 0 ) y de corriente ( =
obtenemos las relaciones:
0
= ( )(
(8.55)
162
0
= ( )(
(8.56)
(8.57)
(8.58)
En las ecuaciones de Maxwell escritas en la forma tradicional (ecuaciones

(8.1) a la (8.4)) los campos elctricos y magnticos son vectores cartesianos usuales y por lo tanto no corresponden a ninguna cantidad relativista,
es decir a un escalar de Lorentz, o a un c-vector, o a un tensor. Por otra parte,
para describir los campos electromagnticos producidos por alguna distribucin de cargas y corrientes, es necesario conocer seis cantidades independientes, esto es, las tres componentes del campo elctrico y las tres del campo
magntico. Esta situacin nos conduce a postular, que el objeto matemtico
(relativista) adecuado para describir al campo electromagntico, es un tensor
de segundo orden antisimtrico, pues por lo discutido en el captulo anterior (seccin 8.2.3), este tensor posee solo seis componentes independientes.
Estos argumentos nos motivan a denir el tensor campo electromagntico
F medido por un observador inercial , como un tensor de segundo rango
antisimtrico cuyas componente contravariantes estn denidas por:
12
01
=
=
21
=
10
=
=0
23
32
=
02
=
31
13
=
=
03
30
=
=
=0 1 2 3
=
20
=
(8.59)
Con esta denicin, podemos escribir las dos primeras ecuaciones de

Maxwell (ecuaciones (8.1) y (8.2)) en la forma:
=
(8.60)
la cual es una ecuacin covariante relativista, pues el lado izquierdo es el

producto del operador gradiente
por el tensor electromagntico
contraido en su primer ndice , para obtener as un c-vector contravariante, el
cual es proporcional al c-vector densidad de corriente. Esto signica que esta
ecuacin tiene la misma forma en todos los sistemas de referencia inerciales,
es decir, en un sistema de referencia 0 , para el cual 0 y 0 son las correspondientes componentes del tensor campo electromagntico y densidad de
corriente, las dos primeras ecuaciones de Maxwell tienen la forma:
0
(8.61)
163
en donde las componentes de la densidad de corriente 0 medidas en 0 ,

estn relacionadas con las medidas en , por las ecuaciones de transformacin
(8.50) ( o las ecuaciones (8.51), (8.52), (8.53) y (8.54) o tambin las ecuaciones
(8.55), (8.56), (8.57) y (8.58) en el caso particular usual). Las componentes del
tensor campo electromagntico medidas por los dos observadores inerciales
y 0 estn relacionadas por las ecuaciones de transformacin (ver el captulo
anterior ecuacin (7.3)):
0
(8.62)
Estas relaciones nos dan entonces, las ecuaciones de transformacin para

los campos elctricos y magnticos medidas por dos observadores inerciales.
Consideremos de nuevo, el caso particular de transformaciones de Lorentz
entre sistemas de referencia con ejes paralelos y velocidad relativa a lo largo
de los ejes 0 , en donde los elementos de la transformacin de Lorentz estn
dados por (ecuacin (2.50)):
0
0
0
1
=
2
2
con
p
1
1
1
=
1
0
(8.63)
(8.64)
3
3
(8.65)
=1
y los dems elementos cero. Sean
0
0
=(
(8.66)
=(
(8.67)
=(
=(
(8.68)
(8.69)
las componentes de los campos elctricos y magnticos medidas por y

respectivamente. Entonces aplicando las ecuaciones de transformacin (8.62),
con los elementos de la transformacin de Lorentz dados por las ecuaciones
(8.63), (8.64) y (8.65) y la denicin (8.59) de las componentes del tensor
164
electromagntico, tenemos (para las componentes no nulas de F):

0 01
0
0
+ 00 11 01 + 00 12 02 + 00 13 03
+ 01 10 10 + 01 11 11 + 01 12 12 + 01 13 13
+ 02 10 20 + 02 11 21 + 02 12 22 + 02 13 23
+ 03 10 30 + 03 11 31 + 03 12 32 + 03 13 33
= 00 11 01 + 01 10 10
2 2
= 2
=
=
1
0
00
(8.70)
Un clculo similar se puede hacer para las dems componentes, pero por
brevedad, aqu solo presentaremos los tminos no nulos que surgen en la
transformacin:
0
=
=
=
=
=
=
=
=
=
=
0 02
0
0
2
2
02
0
1
2
2
12
(8.71)
0 03
(
0 23
=
+
0
0
3
3
03
0
1
3
3
13
(8.72)
)
2
2
2
3
3
23
(8.73)
0 31
(
0 12
=
+
3
3
1
0
30
3
3
1
1
31
(8.74)
)
2
1
0
2
2
02
1
1
2
2
12
(8.75)
Antes de considerar aplicaciones de estas ecuaciones de transformacin

de los campos, las cuales sern dadas ms adelante, escribamos las otras
ecuaciones de Maxwell en notacin tensorial.
165
Las ecuaciones de Maxwell homogneas (las dos ltimas ecuaciones (8.3)

y (8.4)), con la ayuda del tensor de Levi-Civita introducido en el captulo
anterior (ecuacin (7.75)), las podemos escribir en la forma:
(8.76)
=0
en donde en esta ltima ecuacin se ha utilizado el tensor de Minkowski para

bajar los ndices del tensor electromagntico F, esto es:
(8.77)
las cuales nos representa las componentes covariantes del tensor campo electromagntico. Para recordar ms fcilmente la relacin entre las componentes
contravariantes del tensor F, denidas en la ecuacin (8.59) y su relacin con
las componentes covariantes, denidas en la ecuacin (8.77), es til escribir
estas componentes en forma matricial:
) =
00
01
02
03
10
11
12
13
20
21
22
23
30
31
32
33
0
0
(8.78)
0
0
Aplicando, ahora, la ecuacin (8.77), tenemos:
) =
00
01
02
03
10
11
12
13
20
21
22
23
30
31
32
33
0
=
(8.79)
0
0
Ilustremos como se aplic la ecuacin (8.77) para llegar a la ecuacin anterior, calculando explcitamente dos trminos, por ejemplo 02 y 21 . Recordando, para simplicar, que los elementos del tensor mtrico de Minkowski
166
se anulan si los ndices son diferentes, vemos que de los 16 sumandos que
aparecen por la doble suma en la ecuacin (8.77), solo un trmino es no nulo:
02
00 22
21
22 11
02
(8.80)
21
(8.81)
Veamos ahora que efectivamente la ecuacin (8.76) reproduce las ecuaciones de Maxwell homogeneas. Notemos en primer lugar que la ecuacin
(8.76) contiene cuatro ecuaciones, una para cada = 0 1 2 3 y cada una
a su vez (debido a la triple suma sobre los ndices repetidos , y ) est
conformada por 64 sumandos. Sin embargo, dado que las componentes del
tensor de Levi-Civita se anulan para cualquier par de ndices repetidos, en
cada ecuacin sobreviven solo cuatro sumandos. As, para = 0 los trminos
no nulos son:
0123
0 =
0231
= 2
+
31 +
1 23
2
0132
0312
+2
+
12 +
1 32
3
+2
0213
0321
=2
2 13
3 21
(8.82)
obteniendo la ecuacin de Maxwell para la divergencia del campo magntico. Para la ltima ecuacin de Maxwell, la ley de Faraday, consideremos
explcitamente solo el caso de = 1, pues el resultado se puede extrapolar
fcilmente a = 2 y 3. Entonces, para = 1 los trminos no nulos son:
0 =
1023
1230
+
30 +
0 23
2
+2
1032
1302
0
3
+
02 +
32
1203
1320
2 03
3 20
2(
(8.83)
en donde hemos utilizado el hecho que 0 = , obteniendo as la componente

de la ley de Faraday.
Finalmente consideremos la ecuacin de la Fuerza de Lorentz (segunda
ecuacin en (8.6)), la cual podemos escribir en forma covariante como:
=
(8.84)
en donde
es el c-momentun de la partcula de carga , el tiempo propio,
sus coordenadas de posicin y
las componentes mixtas del tensor
167
campo electromagntico denidas por:

(8.85)
Desarrollemos explcitamente la ecuacin (8.84), para interpretar los trminos que de ella surgen, pues si bien armamos que esta ecuacin es equivalente a la fuerza de Lorentz, notemos que, siendo la fuerza de Lorentz una
ecuacin vectorial, contiene tres ecuaciones escalares independientes, mientras que la ecuacin (8.84) es cuadri-vectorial y por tanto contiene cuatro
ecuaciones. En primer lugar calculemos, utilizando la ecuacin (8.85), las
componentes mixtas
del tensor campo electromagntico:
0
) =
0
0
0
0
1
0
3
1
2
3
0
0
(8.86)
0
0
Remplazando estas cantidades en la ecuacin (8.84), y desarrollandola

explcitamente en componentes, tenemos:
1
0
= (
= (
= (
= (
(8.88)
(8.89)
(8.90)
+
0
(8.87)
+
0
Para interpretar estas ecuaciones, recordemos el signicado fsico de las

componentes de la cuadri-fuerza dado en el captulo 5 (ver ecuacin (5.19)).
Las componentes de la c-fuerza se pueden escribir en la forma:
= ( )(
(8.91)
168
en donde =
es la fuerza fsica sobre la partcula, su velocidad y la
componente temporal representa el trabajo por unidad de tiempo que realiza
la fuerza fsica sobre la partcula. Recordando que
1
= ( ) := p
1
(8.92)
(ver captulo 4 ecuacin (4.8)), podemos reescribir las ecuaciones (8.87),

(8.88), (8.89) y (8.90), en la forma siguiente:
1
(8.93)
(8.94)
Notemos que el factor de Lorentz ( ) se cancela. La componente temporal de la c-fuerza, corresponde al hecho de que solo el campo elctrico
realiza trabajo sobre las partculas, una situacin que est contemplada en
la expresin para la fuerza de Lorentz, puesto que la fuerza debida al campo
magntico es de la forma
y por lo tanto:
=(
(8.95)
Resumiendo, las leyes de la electrodinmica (que incluyen las ecuaciones

de Maxwell, la ecuacin de continuidad y la fuerza de Lorentz) escritas en
forma relativista covariante son:
=
4
=0
=0
(8.96)
(8.97)
(8.98)
(8.99)
Veamos ahora, algunas aplicaciones sencillas de estas ecuaciones y de las

propiedades de transformacin de los campos. Consideremos en primer lugar
los ejemplos tratados en la seccin anterior. Supongamos que una partcula
de carga 1 se mueve con velocidad constante respecto a un sistema de
referencia inercial , a lo largo del eje positivo de las y pasa por el origen
en el intante = 0. Sea 0 otro sistema de referencia inercial, el cual se
169
mueve con velocidad respecto a en la direccin del eje positivo de las

. Entonces, la carga 1 se encuentra en reposo en el origen de 0 y por lo
tanto el campo electromagntico, en un punto de coordenadas ( 0 0 0 ) y en
cualquier instante, producido por 1 se reduce a:
0
1 0
03
(8.100)
=0
de acuerdo con la ley de Coulomb, en donde 0 = ( 0 0 0 ) y 0 = ( 02 + 02 +

02 1 2
) . Para calcular el campo electromagntico medido por el observador
inercial , calculamos primero las componentes del tensor campo electromagntico en 0 y luego aplicamos las propiedades de transformacin del
tensor 0 . De la ecuacin (8.100) tenemos (en notacin matricial):
0
(
1
03
)=
1
03
1
03
1
03
1
03
0
0
0
0
0
1
03
0
0
0
0
0
0
(8.101)
Aplicando las ecuaciones de transformacin para las componentes del tensor 0 (ecuacin (8.62)), pero teniendo en cuenta que ahora estamos transformando del sistema 0 al :
0
(8.102)
en donde los elementos de la transformacin de Lorentz

estn dados por
las ecuaciones (8.63), (8.64) y (8.65), cambiando =
por
, y teniendo
en cuenta que ( ) = ( ).
Consideremos primero los trmino 0 = 1 2 3 que corresponden a las
componentes del campo elctrico medido en . Entonces, como 02 = 03 = 0
y
= 0 para 6= 0 y 6= y teniendo en cuenta que 0 = 0
=1 2 3
(no hay campo magntico en 0 ), tenemos que los trminos no nulos de la
ecuacin (8.102) son:
0
0
0
0
0
00
00
+
+
0
1
0
1
01
0
010
(8.103)
Notemos que en el primer trmino de la ltima igualdad no hay suma

sobre el ndice , pues est repetido tres veces. Esto surgi del hecho que
170
= 0 si 6= ;
= 1 2 3. Remplazando explcitamente los diferentes
trminos, tenemos que las componentes del campo elctrico medidas por el
observador estn dadas por:
=
( )
2 2
( )
(8.104)
= ( )
(8.105)
= ( )
(8.106)
Notemos que en el instante = 0 medido en , la carga est en el origen

y la relacin entre las coordenadas del punto donde estamos observando el
campo elctrico es ( 0 0 0 ) = ( ( )
) en ese instante. Entonces, si expresamos el campo elctrico medido por en trminos de las coordenadas
de , obtenemos el resultado ya encontrado en la seccin anterior, ecuacin
(8.35). Calculemos ahora las componentes del campo magntico en el sistema
de referencia . Procediendo de forma similar, escribamos primero las componentes no nulas de la ecuacin (8.102) que corresponden al campo magntico,
notando que 6= ;
= 1 2 3 y no hay suma sobre tres ndices repetidos:
0
=
=
00
00
(8.107)
Remplazando, tenemos que las componentes del campo magntico son:

23
=
=
=
31
12
(8.108)
=0
( )
( )
0
0
(8.109)
(8.110)
Este resultado lo podemos escribir en forma condensada como:

=
(8.111)
en completo acuerdo con el resultado obtenido en la seccin anterior, ecuacin

(8.47), teniendo en cuenta las ecuaciones (8.104), (8.105) y (8.106) y que la
velocidad est dada por:
= ( 0 0)
(8.112)
8.5. TRANSFORMACIONES GAUGE
8.5.
171
Transformaciones Gauge
Hay dos teoremas del clculo diferencial en varias variables, que nos permiten escribir las ecuaciones de Maxwell en forma ms compacta:
Teorema 9.1: Sea una funcin vectoria tal que su rotacional es cero,
i.e., = 0, entonces la funcin se puede escribir como el gradiente de
una funcin escalar ( ), esto es:
=
( )
(8.113)
Teorema 9.2: Sea

una funcin vectorial tal que su divergencia es cero,
i.e., = 0 , entonces la funcin se puede escribir como el rotacional de
una funcin vectorial ( ), esto es:
( )
(8.114)
Apliquemos estos dos resultados del clculo vectorial a los campos elctrico
y magntico. La tercera ecuacin de Maxwell (8.3) establece que
=0
(8.115)
entonces podemos escribir el campo magntico como el rotacional de una

funcin vectorial, es decir:
=
(8.116)
en donde la funcin vectorial se le llama el potencial vectorial.
Ahora, si reemplazamos el campo magntico en la ltima de las ecuaciones
(8.4) en trminos del potencial vectorial , tenemos:
( +
)=0
(8.117)
esto signica, de acuerdo con el Teorema 9.2, que la funcin vectorial +

la podemos escribir como el gradiente de una funcin escalar , es
decir
+
(8.118)
en donde es el potencial escalar. El signo menos en la ecuacin anterior

permite interpretar directamente al potencial , para el caso de campos
independientes del tiempo, como el trabajo por unidad de carga realizado
172
por el campo elctrico, llamado potencial electrosttico, el cual es un campo

conservativo.
Estos dos teoremas del clculo vectorial, corresponden a casos particulares
de un teorema ms general de tensores:
Teorema 9.3: Sean
las componentes covariantes de un tensor de
segundo rango antisimtrico, tal que
=0
(8.119)
se puede escribir como el rotacional (ver ecuacin

entonces el tensor
(7.108)) de una funcin cuadri-vectorial
, es decir
=
(8.120)
Como vimos en la seccin 9.4 de este captulo, las dos ecuaciones de

Maxwell homogeneas ( = 0 y +
= 0) se pueden escribir
en la forma
=0
(8.121)
en donde
es el tensor campo electromagntico. Entonces, de acuerdo con
el Teorema 9.3, el tensor campo electromagntico
se puede escribir en
la forma
=
en donde el cuadri-vector
(8.122)
=
, denido como:
:= (
(8.123)
es llamado el cuadri-potencial,con el potencial vectorial y el potencial

escalar denidos en la ecuaciones (8.116) y (8.118) respectivamente.
, podemos escribir las ecuaciones
Con esta denicin del c-potencial
de Maxwell inhomogeneas (ver ecuacin (8.60)):
=
(8.124)
en trminos del c-potencial . Remplazando la ecuacin (8.122) en la ecuacin

anterior y teniendo en cuenta que
=
y
=
, obtenemos:
= 4
(8.125)
8.5. TRANSFORMACIONES GAUGE
173
De esta manera, esta ltima ecuacin es equivalente a las ecuaciones de

campo de Maxwell, pues dadas las fuentes de los campos
y resolviendo la
ecuacin (8.125), conocemos el c-potencial
y as los campos electromagnticos.
Por otra parte, de la ecuacin de denicin de
en trminos del potencial c-vectorial, notemos que podemos cambiar , adicionandole una funcin
cualquiera de la forma
, sin que cambia el tensor campo electromagntico
. Es decir, si realizamos la transformacin
=
(8.126)
en donde es una funcin cualquiera de las coordenadas, la ecuacin (8.122)

nos conduce a:
=
=
(
2
)
2
(8.127)
permanece invariante bajo la transforlo cual signica que la funcin

macin (8.126) y as tambin los campos electromagnticos
y . A la
transformacin (8.126) se le llama una transformacin gauge. Este tipo de
transformaciones juega un papel fundamental en la teora cuntica de campos
y en las llamadas teorias de unicacin de las interacciones fundamentales
de la naturaleza.
Para nalizar este captulo, veamos como esta caracterstica de la teora
electromagntica (cuando se formulan las ecuaciones de Maxwell en trminos
del c-potencial), de permanecer los campos fsicos
y
invariantes bajo
una transformacin gauge, nos permite simplicar las ecuaciones que rigen el
comportamiento del c-potencial
.
Dado que el c-potencial
no est denido de manera nica, entonces,
podemos imponer sobre l una condicin o ecuacin de ligadura, llamada la
eleccin de un gauge particular, la cual por lo establecido anteriormente, no
cambia la fsica, es decir no cambian los campos y . As, podemos escoger
la funcin arbitraria en la ecuacin (8.126), de tal manera que el potencial
174
c-vectorial
cumpla con la ecuacin:
(8.128)
=0
llamado el gauge de Lorentz, de tal manera que la ecuacin (8.125) se simplica, reduciendose a la ecuacin:
(8.129)
que es la ecuacin de ondas inhomognea. Recordando la denicin del operador , ecuacin (7.106), vemos que la teora electromagntica de Maxwell,
expresada por la ecuacin (8.129) contiene al postulado de la constancia de
la velocidad de la luz, pues dado que el operador denido por:
=
(8.130)
es un invariante bajo transformaciones de Lorentz, entonces el coeciente

1 2 , que representa la velocidad de propagacin de los campos electromagnticos, es una constante independiente del observador. Este ltimo resultado
ilustra con toda claridad y sin restarle meritos a la genialidad de Albert Einstein, como la teora de la relatividad especial estaba ya presente en la fsica.
Captulo 9
Revisin bibliogrca
La literatura disponible sobre relatividad es tal vez de las ms amplias,
tanto en el campo especializado como en el divulgativo. Se listarn a continuacin algunas referencias, desde literatura de divulgacin, pasando por
textos elementales, obras de valor histrico, hasta textos y libros avanzados
que, sin pretender ser exaustivas, si cubren globalmente la temtica de la
teora especial de la relatividad.
Referencias de caracter divulgativo
1. Bucker R. B., Geometry, Relativity and the fourth dimension. Dover
Publications, Inc. N. Y. 1977
2. Lilley S., Discovering Relativity for yourself. Cambridge University
Press 1981
3. Russell B., ABC de la Relatividad. Ed. Ariel Barcelona 1978
4. Williams L. P., La Teora de la Relatividad. Alianza Universidad 1977
Textos elementales a nivel universitario sobre relatividad especial
1. Mook D. E. and Vargish T., La Relatividad. Espacio, Tiempo y
Movimiento. McGraw Hill 1993
2. Resnick R., Introduccin a la Teora Especial de la Relatividad. Limusa
1981
175
176
CAPTULO 9. REVISIN BIBLIOGRFICA
3. Skinner R., Relativity for Scientist and Engineers. Dover Publishing

N. Y. 1982
4. Smith J. H., Introduccin a la Relatividad Especial. Ed. Revert 1978
Textos universitarios de relatividad a nivel intermedio
1. Enrique L., Fsica Relativista. Buenos Aires 1955
2. French A. P., Special Relativity. Massachusetts Institute of Technology 1968
3. Rindler W., Essential Relativity. Special, General and Cosmology.
Springer-Verlag 1977
4. Taylor E. F. and Wheeler J. A., Spacetime Physics. Freeman, San
Francisco 1966
Libros y textos avanzados sobre relatividad
Algunos de ellos incluyen, tambin, elementos bsicos de la Relatividad
General:
1. Aharoni J., The Special Theory of Relativity. Oxford University Press
1965
2. Bressan A., Relativistic Theories of Materials. Springer-Verlag 1978
3. Fock V., The Theory of Space Time and Gravitation, Pergamon Press
1959
4. Gill T. P., The Doppler E ect. Academic Press 1965
5. Kopczynski W. and Trautman A., Spacetime and Gravitation.
John Wiley & Sons 1992
6. Matveev A. N., Mechanics and Theory of Relativity. Mir Publishers
Moscow 1989
7. Rosser W. G. V., An Introduction to the Theory of Relativity. Butterworth, London 1964
177
8. Ugarov V. A., Special Theory of Relativity. Mir Publishers Moscow
1979
Libros avanzados de relatividad
con un fuerte nfasis en aspectos matemticos
1. Hagendorn R., Relativistic Kinematics. W. A. Benjamin, Inc. 1963
2. Misner C. W., Thorne K. S. and Wheeler J. A., Gravitation.
W. H. Freeman and Co. 1973
3. Naber G. L., The Geometry of Minkowski Spacetime. Springer-Verlag
1992
4. Woodhouse N. M. J., Special Relativity. Springer-Verlag 1992
Libros clsicos de relatividad
y obras formales de carcter histrico
1. Born M., Einsteins Theory of Relativity. Dover Publications, Inc.
1965 (1 ed. 1920)
2. Einstein A., The Principle of Relativity. Dover N. Y. 1958
3. Poincar H., La Mcanique Nouvelle. Conference Mmoire et note sur
la Thorie de la Relativit. Editions Jacques Gabay 1989
4. Rocard J. M., Newton et la Relativit. Press University France 1986
5. Sard R. D., Relativistic Mechanics. W. A. Benjamin, Inc. 1970
6. Silberstein L., The Theory of Relativity. Great Britain 1914
7. Synge J. L., Relativity: The Special Theory. North-Holland Publishing Company 1958
8. Whittaker Sir E. T., History of the Theories Aether and Electricity.
Harper and Row, N. Y. 1960

Sobre La Teoría Especial de La Relatividad

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Sobre La Teoría Especial de La Relatividad

Uploaded by

Copyright:

Available Formats

Sobre la teora especial de la relatividad

Juan Manuel Tejeiro Sarmiento

1. Modelo mecnico del mundo

2. Fundamentos de la relatividad especial

3. La estructura causal del espacio-tiempo

6. Aplicaciones de la dinmica relativista

llada en el captuo cuarto, sin recurrir a todo el formalismo matemtico de

ciones experimentales o tecnolgicas, pues lla se enmarca en el contexto

En este captulo presentaremos en forma resumida la situacin de la fsica

CAPTULO 1. MODELO MECNICO DEL MUNDO

Leyes de Newton y principio de relatividad

Para comprender mejor los problemas que se le planteaban a la fsica en

siendo la masa inercial de la partcula y su velocidad.

1.2. LEYES DE NEWTON Y PRINCIPIO DE RELATIVIDAD

Denamos, en primer lugar, el concepto de observador como un sistema

CAPTULO 1. MODELO MECNICO DEL MUNDO

Figura 1.1: Transformaciones de Galileo

en donde se ha hecho el cambio

= , para rescatar la notacin usual

1.2. LEYES DE NEWTON Y PRINCIPIO DE RELATIVIDAD

CAPTULO 1. MODELO MECNICO DEL MUNDO

con el resultado adicional, que no slo la forma de la segunda ley de Newton

1.3. LUZ Y TER: EL RETORNO AL ESPACIO ABSOLUTO

Esta situacin, reconocida desde un principio por Newton, lo condujo a

Luz y ter: El retorno al espacio absoluto

CAPTULO 1. MODELO MECNICO DEL MUNDO

siglo XIX, el carcter ondulatorio de la luz descubierto por Young y Fresnel

1.3. LUZ Y TER: EL RETORNO AL ESPACIO ABSOLUTO

la velocidad de las ondas longitudinales, siendo el mdulo de rigidez, el

CAPTULO 1. MODELO MECNICO DEL MUNDO

Figura 1.2: Aberracin de la luz estelar

1.3. LUZ Y TER: EL RETORNO AL ESPACIO ABSOLUTO

de la direccin relativa de movimiento del medio y el ter, es decir, el ndice de

CAPTULO 1. MODELO MECNICO DEL MUNDO

Figura 1.3: Experimento de Truton-Noble

1.3. LUZ Y TER: EL RETORNO AL ESPACIO ABSOLUTO

El experimento ms notable, y de referencia obligada en todo tratado

CAPTULO 1. MODELO MECNICO DEL MUNDO

1.3. LUZ Y TER: EL RETORNO AL ESPACIO ABSOLUTO

Figura 1.4: Experimento de Michelson y Morley

la cual es convergente para | | 1, se desarrolla cada fraccin hasta trminos

Si rotamos el interfermetro 90 , el tiempo para recorrer el camino ABA

Por lo tanto, el cambio total en la diferencia de tiempos al rotar el interfermetro es igual a

CAPTULO 1. MODELO MECNICO DEL MUNDO

Si es la longitud de onda de la luz utilizada, entonces la rotacin del

Michelson y Morley utilizaron en su experimento luz de longitud de onda

Postulados de la relatividad especial

Como fue anotado en el captulo anterior, la teora desarrollada por

20 CAPTULO 2. FUNDAMENTOS DE LA RELATIVIDAD ESPECIAL

2.1. POSTULADOS DE LA RELATIVIDAD ESPECIAL

encontrar el principio de la constancia de la velocidad de la luz, as como

conocida como la fuerza de Lorentz.

22 CAPTULO 2. FUNDAMENTOS DE LA RELATIVIDAD ESPECIAL

en donde las cantidades primadas se reeren a sus valores medidos por el

y el principio de la invarianza de la carga, que para el caso de una partcula

2.1. POSTULADOS DE LA RELATIVIDAD ESPECIAL

Consideremos, ahora, las ecuaciones de Maxwell en el vaco ( = 0, =

y la primera ecuacin de Maxwell en el vaco

Esta relacin corresponde a la ecuacin de ondas electromagnticas (con

siendo esta velocidad de propagacin, independiente de la velocidad de la

Esta ecuacin describe la propagacin de las ondas electromanticas con

24 CAPTULO 2. FUNDAMENTOS DE LA RELATIVIDAD ESPECIAL

llamadas longitud, tiempo y masa de Planck respectivamente. Actualmente