Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Relatividad y espaciotiempo
RIL editores,
por la
bibliodiversidad
Roberto Torretti
Relatividad y
espaciotiempo
530.1 Torretti Edwards, Roberto
T Relatividad y espaciotiempo / Roberto Torretti
Edwards. -- 1 ed. -- Santiago: RIL editores,
2003.
272 p. -- 21 cm.
ISBN 956-284-283-5
RIL editores
El Vergel 2882, of. 11, Providencia
Santiago de Chile
Tel. (56-2) 2238100 - Fax 2254269
ril@rileditores.com / www.rileditores.com
Prlogo ............................................................................................... 11
1 Relatividad y espaciotiempo .....................................................15
1.1 Espacio y tiempo en la fsica newtoniana ........................15
1.2 Relatividad del movimiento inercial y
velocidad de la luz ..............................................................17
1.3 El espaciotiempo de Minkowski ........................................23
1.4 Espaciotiempo y gravedad ..................................................33
2 El orden del tiempo ....................................................................45
2.1 Simultaneidad y sucesin en la relatividad especial ........45
2.2 Tiempo cclico e inicio del tiempo en la
relatividad general ...............................................................57
3 Gravedad y curvatura .................................................................65
3.1 Breve historia de la gravedad ............................................65
3.2 Geometra y cada libre ......................................................67
3.3 Gravedad sin geometra: Jeffreys y Feynman ...................78
4 Modelos del mundo .................................................................... 85
9
RELATIVIDAD Y ESPACIOTIEMPO
ndices
Trminos matemticos explicados en el captulo 7 ................265
Trminos comentados en los captulos 16 y 8
y nombres propios .............................................................267
10
Prlogo
11
RELATIVIDAD Y ESPACIOTIEMPO
12
Prlogo
13
RELATIVIDAD Y ESPACIOTIEMPO
14
1
Relatividad y espaciotiempo
15
RELATIVIDAD Y ESPACIOTIEMPO
16
Relatividad y espaciotiempo
17
RELATIVIDAD Y ESPACIOTIEMPO
18
Relatividad y espaciotiempo
19
RELATIVIDAD Y ESPACIOTIEMPO
20
Relatividad y espaciotiempo
21
RELATIVIDAD Y ESPACIOTIEMPO
1 v c
2
(1)
22
Relatividad y espaciotiempo
23
RELATIVIDAD Y ESPACIOTIEMPO
24
Relatividad y espaciotiempo
25
RELATIVIDAD Y ESPACIOTIEMPO
t t
x a11 x
a12 y
a13 z
y a 21 x
a 22 y
a 23 z (4)
z a 31 x
a 32 y
a 33 z
t t
x x vx t
(5)
y y
z z
26
Relatividad y espaciotiempo
y, z relacionado con x, y, z por una transformacin del tipo (I) o del
tipo (II) o por cualquier combinacin de tales transformaciones se
cumple que
( x ( P ) x (Q )) 2
(( y( P ) y(Q )) 2
( z( P ) z(Q )) 2
(6)
( x ( P ) x (Q )) 2
( y( P ) y(Q )) 2
( z( P ) z(Q )) 2
Despus que Klein (1872) propuso identificar a cada geometra con el
estudio de los invariantes de un determinado grupo de transformacio-
nes, esto es, de las propiedades y relaciones que estas preservan, la
geometra eucldea qued asociada justamente con el grupo generado
por las traslaciones y rotaciones (vase la 6.3).
Al comienzo de su exposicin clsica sobre el espaciotiempo,
Minkowski (1909) observa que, mientras el grupo de los movimientos
euclidianos es reconocido como un carcter fundamental del espacio,
el grupo de las transformaciones puramente cinemticas casi no reci-
be atencin. Por eso, no se ha pensado en el grupo compuesto de
ambos, a pesar de que este grupo total es justamente el que nos da
que pensar (p. 104). Este cambio de perspectiva obedece por cierto
a una consecuencia que ya Einstein (1905r) haba derivado de sus dos
principios:16 si afirmamos conjuntamente la relatividad del movimien-
to inercial y la constancia de la velocidad de la luz, y si t y t son
tiempos de Einstein adaptados respectivamente a R y R, entonces
una transformacin cinemtica del tipo (III) no satisface las ecuaciones
(5), sino las ecuaciones siguientes:
t
t vx x c 2
1 vx c 2
x vx t
x (7)
1 vx c 2
y y
z z
27
RELATIVIDAD Y ESPACIOTIEMPO
+ y( E1 ) y( E 2 ) + z( E1 ) z( E 2 ) difiere de x ( E1 ) x ( E 2 ) +
2 2 2
28
Relatividad y espaciotiempo
t( E 1 ) t( E2 )
2
c 2 x( E1 ) x( E2 )
y( E1 ) y( E2 )
z( E1 ) z( E2 )
2 2 2
t ( E ) t ( E )
1 2
2
c x ( E ) x ( E )
y ( E
z ( E ) z ( E )
2 2 2
2
1 2 1
) y ( E2 ) 1 2
(8)
Es fcil comprobar que la ecuacin (8) vale tambin bajo las trans-
formaciones de los tipos (I) y (II). Por lo tanto, la cantidad expresada
a ambos lados de la ecuacin (8) permanece invariante bajo todas las
transformaciones del grupo de Poincar. De acuerdo con las ideas de
Klein, este grupo determina entonces en 4 una geometra que llama-
remos minkowskiana.19 De esto depende decisivamente la nocin de
espaciotiempo que Minkowski aport a la teora de Einstein.
Para verlo es preciso entender bien qu es un sistema de coorde-
nadas como los que hemos estado considerando. Cada sistema de estos
asigna de modo exclusivo un cierto cudruplo de nmeros reales
t(E),x(E),y(E),z(E) a un evento fsico individual E, que ocupa un punto
y dura un instante. Si suponemos con Minkowski que en el acontecer
fsico no hay vacos,20 cada uno de los sistemas considerados consti-
tuye en efecto una aplicacin biyectiva : M 4, donde M por
mundo o por Minkowski es el conjunto de los eventos. Digamos
que una funcin de este tipo es una carta global de M ( sera una
carta local si estuviese definida solo en una parte de M y la aplicase
sobre un abierto de 4). Si es una carta global de M, evidentemente
existe la funcin inversa -1: 4 M que asigna a cada cudruplo de
nmeros reales el evento al que asigna ese cudruplo. Una carta
global determina cuatro funciones k: M , con valores reales
(0 k 3); el valor k(E) de k en E M es la k-sima coordenada de
E en el sistema bajo consideracin, por lo cual las funciones k tam-
bin se llaman coordenadas. De ahora en adelante usar las letras x,
y, para designar cartas globales o locales de M, y distinguir
con superndices numricos las cuatro coordenadas correspondientes,
poniendo x0, y0, en vez de t, t, ; x1, y1, en vez de x, x,; x2,
29
RELATIVIDAD Y ESPACIOTIEMPO
30
Relatividad y espaciotiempo
C
( dx 0 ) 2 c 2 ( dx 1 ) 2
( dx 2 ) 2
( dx 3 ) 2 =
C
d
(9)
vecina C que una los extremos de C.24 En tal caso, la integral (9) es
estacionaria ( d
0 ) y decimos que C es una geodsica tempo-
C
C.
Relativamente a un evento fijo cualquiera E, la funcin
2 divide
el espaciotiempo en tres partes:
(i) el conjunto {X:
2(E,X) > 0} de los eventos X cuya separacin
de E es temporaloide;
31
RELATIVIDAD Y ESPACIOTIEMPO
32
Relatividad y espaciotiempo
33
RELATIVIDAD Y ESPACIOTIEMPO
34
Relatividad y espaciotiempo
35
RELATIVIDAD Y ESPACIOTIEMPO
s (C )
C
ds
C
( dx1 ) 2
( dx 2 ) 2 (10)
2 2
s (C ) ds i 1 j 1
ij dx i dx j (11)
C C
36
Relatividad y espaciotiempo
2 2
s (C ) ds gij dui du j (12)
C C i 1 j 1
2 2
i 1 j 1
gij dui du j 0 (13)
C
2 2
Obviamente, el elemento de lnea ds = i 1 j 1
gij dui du j no pue-
de aqu ser igual al que figura en la ecuacin (11). Sin embargo, es
oportuno sealar que coincide con aquel en la aproximacin lineal, y
la discrepancia solo se manifiesta a partir de las cantidades de segun-
37
RELATIVIDAD Y ESPACIOTIEMPO
38
Relatividad y espaciotiempo
c 2 dt 2 dx 2 dy 2 dz 2 0 (14)
C
(c( x , y, z ))2 dt 2 dx 2 dy 2 dz 2 0 (14)
39
RELATIVIDAD Y ESPACIOTIEMPO
40
Relatividad y espaciotiempo
lencia tambin para lo infinitesimal: nadie puede negar que este prin-
cipio es una extrapolacin natural de uno de los principios empricos
ms universales de la fsica. Sigue una observacin que destaco para
poder luego referirme a ella ms fcilmente:
Por otra parte, este principio de equivalencia nos abre la interesante
perspectiva de que las ecuaciones de una teora de la relatividad que
tambin comprendiera la gravitacin pudiesen ser invariantes tambin
respecto de las transformaciones de aceleracin (y rotacin).
(Einstein, 1912h, p. 1063)
3 3
i0 j0
gij dx i dx j 0 (15)
C
41
RELATIVIDAD Y ESPACIOTIEMPO
3 3
vale para lo infinitesimal, el integrando i0 j0
gij dx i dx j de la
ecuacin (15) se aproximar linealmente en un pequeo entorno de
cada evento al integrando d
de la ecuacin (9), esto es, al elemento
de lnea de la geometra minkowskiana, y la cosmolnea de una
partcula en cada libre en un campo gravitacional cualquiera no se
distinguir localmente de lo que sera la cosmolnea de una partcula
en movimiento inercial. (Considrese este ejemplo familiar: un cos-
monauta en rbita deja caer un martillo; este se comporta a ojos vis-
tas, de momento en momento, como un cuerpo libre de toda influen-
cia de fuerzas externas, aunque cae en el campo gravitacional de la
Tierra, que no es homogneo).
Falta mencionar el aspecto ms inesperado y fecundo de la analo-
ga gaussiana. Extendiendo audazmente el principio de equivalencia a
los campos gravitacionales inhomogneos, Einstein concibe la inercia
como un caso lmite de la gravedad y la ley de la cada libre como
una generalizacin de la ley de inercia. Segn esta ley, la cosmolnea
de una partcula en movimiento inercial es una geodsica temporaloide
en el espaciotiempo. Einstein postula que otro tanto vale mutatis
mutandis para la cosmolnea de una partcula en cada libre.39 La
diferencia los mutanda reside solo en la geometra aplicable en
cada caso y se expresa en las gij, que en el caso de la inercia pueden
siempre reducirse, mediante una juiciosa eleccin de coordenadas, a
la coleccin de constantes desplegada en la matriz siguiente
g 00 g 01 g 02 g 03 1 0 0 0
g10 g11 g12 g13 0 1 0 0
(16)
g 20 g 21 g 22 g 23 0 0 1 0
g 0 0 0 1
30 g 31 g 32 g 33
42
Relatividad y espaciotiempo
43
RELATIVIDAD Y ESPACIOTIEMPO
44
2
45
RELATIVIDAD Y ESPACIOTIEMPO
46
El orden del tiempo
Lorentz nada dice sobre el significado fsico del tiempo local y aos
ms tarde observar que no es ms que una cantidad matemtica
auxiliar. Sin embargo, el teorema de los estados correspondientes no
servira a ningn propsito til si el tiempo local no tuviera una
relacin bien definida con la marcha de los relojes utilizados en los
laboratorios. Pero Lorentz no hizo el menor amago de explicar por
qu tales relojes se ven afectados, y afectados del mismo modo, al
transportarlos a travs del ter.
La obra de Lorentz puede haber provocado ciertas reflexiones sobre
la medicin del tiempo publicadas por Henri Poincar en 1898. Es
oportuno recordar que, aunque inventivo y lleno de recursos, Lorentz,
que naci en 1853, estaba enteramente aclimatado en lo que hoy
llamamos fsica clsica; Poincar, en cambio, aunque solo nueve meses
menor que Lorentz, era esencialmente un matemtico y, como tal, un
pensador mucho ms libre de lo que solan ser en ese entonces los
cultivadores de una ciencia natural. En sus trece secciones, el ensayo
de Poincar aborda muchas cuestiones importantes. Me referir solo
a tres.
Hay ante todo un problema con la longitud de los intervalos de
tiempo. Qu nos autoriza a decir que tal proceso, que ocurri ayer,
y tal otro, que ocurri el da en que Newton cumpli siete aos,
duraron ambos exactamente tres segundos? En tiempos de Poincar,
los astrnomos medan el tiempo por las oscilaciones de relojes de
pndulo, cuyo perodo postulaban invariable, en primera aproxima-
cin; pero estaban de acuerdo en que lo afectan los cambios de la
temperatura ambiente y de la presin atmosfrica y quizs tambin
47
RELATIVIDAD Y ESPACIOTIEMPO
48
El orden del tiempo
49
RELATIVIDAD Y ESPACIOTIEMPO
50
El orden del tiempo
desde el cual se lo observa. Tal convencin sera por cierto muy in-
cmoda. Pero merece adems un reparo mayor que Einstein no men-
ciona: un sistema de coordenadas en que la simultaneidad se estable-
ce de este modo no cumple el requisito mnimo que Einstein impone
a R (citado en la nota 6, p. 212). En efecto, si se usa el tiempo as
definido para determinar la velocidad de una partcula libre que viene
hacia m, dicha velocidad sufrir un cambio discontinuo cuando la
partcula pase a mi lado.8
Einstein no se molesta en mencionar siquiera el mtodo utilizado
a la sazn en la prctica para fijar el tiempo universal, al menos en
la superficie de la tierra, mediante el transporte de relojes, y pasa
directamente a describir el mtodo que hoy lleva su nombre para
sincronizar relojes distantes mediante seales de radar. Sean RA y RB
dos relojes que reposan en R, respectivamente, en los puntos A y B.
Para sincronizar RB con RA, se enva una seal luminosa desde A hasta
B cuando RA indica el tiempo t1. Si la seal, tras rebotar en B, llega
de vuelta a A cuando RA indica el tiempo t3, el reloj RB se ajustar de
tal modo que a la llegada de la seal a B habra indicado el tiempo
t2, donde, por definicin,
51
RELATIVIDAD Y ESPACIOTIEMPO
52
El orden del tiempo
53
RELATIVIDAD Y ESPACIOTIEMPO
t
t vx c 2
1 v c 2
x vt
x
1 v c 2
(4)
y y
z z
54
El orden del tiempo
t ( E ) t ( E*) (v c )( x ( E ) x ( E*))
t ( E ) t ( E*)
1 ( v / c)2
t ( E ) t ( E*) (5)
t ( E ) t ( E*)
1 ( v / c)2
(a menos que v = 0). Por tanto, un reloj que reposa en R, comparado
con una fila de relojes sincronizados por el mtodo estndar de Einstein
en reposo en R, a lo largo de los cuales pasa, parecer marchar ms
lento que estos.14 Se crey descubrir aqu una contradiccin, pues,
aplicando la inversa de la transformacion (4), un reloj que reposa en
R, comparado con una fila de relojes sincronizados por el mtodo
estndar de Einstein en reposo en R, a lo largo de los cuales pasa,
tendra que verse marchando ms lento que estos. Contemplando re-
trospectivamente todas las resmas de papel que se han escrito sobre
este asunto uno siente que la llegada de la teora de Einstein sorpren-
di a personas muy agudas en muy malas condiciones para analizar
adecuadamente una cuestin de este gnero. Sera por cierto contra-
dictorio que, al comparar dos relojes, el tiempo constatado en uno
fuese a la vez ms y menos que el constatado en el otro. Pero en el
caso considerado las comparaciones son (i) entre una serie de, diga-
mos, n lecturas sucesivas de un mismo reloj C que reposa en R con
lecturas simultneas de cada uno de los relojes C1,, Cn que reposan
en R, por una parte, y (ii) entre una serie de n lecturas sucesivas de
un mismo reloj C que reposa en R con lecturas simultneas de cada
55
RELATIVIDAD Y ESPACIOTIEMPO
uno de los relojes C1,, Cn que reposan en R, por otra; y obvia-
mente no hay ningn motivo para pensar que estas dos series de com-
paraciones, en el curso de las cuales jams se compara ms de una
vez el mismo par de relojes, no puedan arrojar los resultados previs-
tos por la relatividad especial. Las comparaciones se reducen a una
sola en el famoso cuento de los mellizos, un nio que pasa toda su
vida en el marco inercial de referencia en que naci, y una nia que
parte despus de nacer en una nave espacial que la transporta a veloci-
dad uniforme cercana a la de la luz en viaje de ida y regreso a una
estrella cercana. Segn la relatividad especial, a su regreso la mujer
ser ms joven que su hermano varn (suponiendo que los procesos
de envejecimiento marchen ms o menos al mismo paso que los relojes
atmicos).15 No falt quien sostuviera que, si el movimiento es rela-
tivo, el mellizo tendra que ser a la vez mayor y menor que su melliza.
Sin embargo, el contraste entre las vidas de los mellizos es mayor
an que la diferencia entre las dos series de comparaciones arriba
descritas. Mientras el varn permanece, por hiptesis, atado a un solo
marco inercial R, la mujer cambia por lo menos dos veces el marco
inercial en que reposa, primero digamos saltando de R a un marco
inercial R en el que viaja a la estrella, y saltando luego otra vez, al
alcanzarla, a un tercer marco inercial R en el que retorna a casa.
(Doy un ejemplo numrico en el suplemento 8.2, pp. 194198). Ve-
mos as que las consecuencias controvertidas de la relatividad espe-
cial concernientes al tiempo en verdad no contradicen nuestra intui-
cin de las relaciones temporales, sino ms bien la manera irreflexiva
e inapropiada como solamos concebirlas y que la relatividad especial
nos ha forzado a pensar con ms cuidado.
Debo mencionar otra consecuencia desconcertante de la transfor-
macin (4) que necesitaremos en la 2.2. La transformacin cinem-
tica de Lorentz no est definida si v = c. Si v > c, el denominador
1 (v / c ) 2 es un nmero imaginario, de modo que la transforma-
cin no suministra coordenadas reales. Esta inconsistencia aparente
no tiene importancia si los marcos inerciales estn asociados por
definicin a cuerpos masivos ordinarios, pues en la nueva dinmica
fundada en los dos principios de la relatividad especial ningn cuerpo
56
El orden del tiempo
57
RELATIVIDAD Y ESPACIOTIEMPO
58
El orden del tiempo
59
RELATIVIDAD Y ESPACIOTIEMPO
60
El orden del tiempo
61
RELATIVIDAD Y ESPACIOTIEMPO
62
El orden del tiempo
ren francamente que cada una de ellas debe considerarse como una
aplicacin del intervalo cerrado [-T,0] sobre una subvariedad
unidimensional compacta del espaciotiempo. Tales aplicaciones pue-
den extenderse hacia el futuro, a aplicaciones definidas sobre algn
intervalo cerrado-abierto [-T,), donde es un nmero real positivo
pequeo, pero no hacia el pasado, a aplicaciones sobre el intervalo
abierto (-(T+),).
Pero esto es un disparate. Un espaciotiempo relativista no contie-
ne puntos donde la densidad de la materia sea infinita y por ende la
mtrica no est definida. Por lo tanto, aunque segn las condiciones
que hemos supuesto la coordenada temporal se aproxima desde arriba
a -T indefinidamente a lo largo de cada cosmolnea de la materia, no
hay ningn punto sobre ninguna de estas cosmolneas al que corres-
ponda la coordenada -T. En efecto, si E es un evento cualquiera, todo
lo temprano que se quiera, en un universo de Friedmann en expan-
sin, la densidad " es finita en E y hay en ese universo otros eventos
an ms tempranos que E en que " es mayor. El nmero T es la cota
inferior mxima de la coordenada temporal establecida del modo
indicado, pero no forma parte del recorrido de esa coordenada.
Los matemticos conocen mtodos para agregarle puntos fronteri-
zos a variedades riemannianas. Apelando a alguno de ellos, el cabo
suelto en el pasado de cada geodsica temporaloide de un modelo
expansivo de Friedmann puede cerrarse por decreto. Pero esta clau-
sura no es exigida por la teora ni est respaldada por experimentos
u observaciones. Segn Kant la cosmologa est afligida necesaria-
mente por la siguiente antinomia: o bien el universo tuvo un comien-
zo en el tiempo y tenemos que preguntarnos qu haba antes, o bien
el universo no tuvo comienzo y tenemos que admitir la idea, que l
consideraba absurda, de un pasado infinito que sin embargo ahora
mismo est completo. Gracias a la geometra diferencial moderna, la
relatividad general escapa a ambos cuernos del dilema. El universo
del Big Bang no tiene comienzo, pero hasta la fecha ha durado solo
por un tiempo finito.24
63
3
Gravedad y curvatura
65
RELATIVIDAD Y ESPACIOTIEMPO
66
Gravedad y curvatura
67
RELATIVIDAD Y ESPACIOTIEMPO
68
Gravedad y curvatura
69
RELATIVIDAD Y ESPACIOTIEMPO
Fig. 1
g
70
Gravedad y curvatura
g
Fig. 2
71
RELATIVIDAD Y ESPACIOTIEMPO
72
Gravedad y curvatura
A C A C
t t
Fig. 3
Pero y aqu viene mi crtica el argumento supone que la
geometra del espaciotiempo se refleja en las mediciones efectuadas
con varas rgidas y relojes, no importa cul sea el estado de movi-
miento de estos instrumentos. Sin embargo, si la geometra es
minkowskiana, tales mediciones la reflejarn si y solo si las varas y
relojes reposan en un marco de referencia inercial. Como ese no es
el caso bajo las condiciones prescritas para nuestro experimento mental,
el resultado no implica que el espaciotiempo subyacente sea curvo y
no minkowskiano. Lo que s demuestra, en cambio, es que los siste-
mas de coordenadas espaciotemporales definidos del modo habitual
73
RELATIVIDAD Y ESPACIOTIEMPO
74
Gravedad y curvatura
75
RELATIVIDAD Y ESPACIOTIEMPO
76
Gravedad y curvatura
77
RELATIVIDAD Y ESPACIOTIEMPO
78
Gravedad y curvatura
donde los gij son ciertas funciones de las coordenadas. Pero Jeffreys
nos previene expresamente que
79
RELATIVIDAD Y ESPACIOTIEMPO
80
Gravedad y curvatura
$ 1 dx * dx v '
m 0 & d g*+ ( x ) (3)
% 2 d d )(
g ( x ) h( x )
2h( x ) 8,G (4)
81
RELATIVIDAD Y ESPACIOTIEMPO
82
Gravedad y curvatura
83
RELATIVIDAD Y ESPACIOTIEMPO
84
4
85
RELATIVIDAD Y ESPACIOTIEMPO
86
Modelos del mundo
87
RELATIVIDAD Y ESPACIOTIEMPO
88
Modelos del mundo
89
RELATIVIDAD Y ESPACIOTIEMPO
90
Modelos del mundo
Rij . Tij 2 gij Trr
(1)
(0 i, j 3)
Pero la mtrica del primer modelo cosmolgico de Einstein es una
solucin de la versin corregida de las ecuaciones (1) que l introdu-
jo en el artculo de 1917, justamente para que fuese posible obtener
esa solucin:
Rij gij . Tij 2 gij Trr (2)
Rij 2 gij R
gij .Tij (2)
91
RELATIVIDAD Y ESPACIOTIEMPO
92
Modelos del mundo
93
RELATIVIDAD Y ESPACIOTIEMPO
94
Modelos del mundo
95
RELATIVIDAD Y ESPACIOTIEMPO
96
Modelos del mundo
97
RELATIVIDAD Y ESPACIOTIEMPO
98
Modelos del mundo
99
RELATIVIDAD Y ESPACIOTIEMPO
100
Modelos del mundo
101
RELATIVIDAD Y ESPACIOTIEMPO
102
5
103
RELATIVIDAD Y ESPACIOTIEMPO
104
Los universos de Friedmann
105
RELATIVIDAD Y ESPACIOTIEMPO
106
Los universos de Friedmann
107
RELATIVIDAD Y ESPACIOTIEMPO
108
Los universos de Friedmann
109
RELATIVIDAD Y ESPACIOTIEMPO
Rij 2 gij R
gij .Tij (1)
110
Los universos de Friedmann
111
RELATIVIDAD Y ESPACIOTIEMPO
ds 0 (5)
ds 2 gij dx i dx j
(6)
(i,j = 0, 1, 2, 3)
Enseguida, procedi a resolver las ecuaciones (2) para los componen-
tes gij de la mtrica, bajo condiciones especiales adaptadas al sistema
solar idealizado arriba descrito. Schwarzschild supone que la fuente
gravitacional (i) no vara con el tiempo y (ii) est concentrada en el
origen de las coordenadas espaciales x1, x2, x3.20 En el resto del es-
112
Los universos de Friedmann
pacio los componentes Tij del tensor de energa son todos constantes
e iguales a 0, de modo que las ecuaciones (2) se reducen a:
Rij = 0 (7)
113
RELATIVIDAD Y ESPACIOTIEMPO
114
Los universos de Friedmann
115
RELATIVIDAD Y ESPACIOTIEMPO
116
Los universos de Friedmann
117
RELATIVIDAD Y ESPACIOTIEMPO
118
Los universos de Friedmann
119
RELATIVIDAD Y ESPACIOTIEMPO
120
Los universos de Friedmann
121
RELATIVIDAD Y ESPACIOTIEMPO
Por el teorema de Schur, G2 implica que, para cada valor admi-
sible de t, t es una variedad tridimensional homognea. Como t es
espacialoide, cualquier vector v 0 tangente a t satisface la des-
igualdad g(v,v) < 0, donde g es la mtrica del espaciotiempo. Por lo
tanto, la restriccin g t de g a t determina una mtrica riemanniana
propiamente tal gt sobre t, definida por gt = (g t). Conforme a un
teorema enunciado por el mismo Riemann, una variedad riemanniana
propiamente tal homognea tiene necesariamente curvatura constante
positiva, negativa o nula (Riemann 1854, pp. 144s.). Hasta aqu no
hemos ido ms all de las condiciones G1 y G2. El paso decisivo a
la condicin G3 se basa en un teorema demostrado por Fubini (1904),
que enunciar sin probarlo.
Tras postular G1, Robertson formula G2 como sigue:
Requerimos que para cualquier observador estacionario (cuerpo de
prueba) en este universo idealizado todas las direcciones (espaciales)
en torno suyo sean totalmente equivalentes, en el sentido de que sea
incapaz de distinguirlas mediante una propiedad intrnseca del
espaciotiempo; [requerimos] adems que sea igualmente incapaz de
detectar una diferencia entre sus observaciones y las de cualquier otro
observador contemporneo.
(Robertson 1929, p. 823)34
122
Los universos de Friedmann
123
RELATIVIDAD Y ESPACIOTIEMPO
1
11 = 22 = r2 33 = r2 sen22 (12)
1 kr 2
*+ = 0 if * +
donde k es una constante dependiente de la curvatura constante de
, que ponemos igual a 1, 1 o 0, segn que esa curvatura sea
positiva, negativa o nula, respectivamente. (En la terminologa hoy
habitual, el modelo cosmolgico se dice cerrado en el primer caso,
abierto en el segundo y plano en el tercero.) Elegimos la coorde-
nada t de tal modo que M = 1. Referida a la carta con coordenadas
(t,r,2,3), el elemento de lnea (6) toma la forma siguiente:
dr 2
ds dt S (t )
2 2 2
r 2 d22
r 2 sen 2 2d3 2 (13)
1 kr 2
Este es el llamado elemento de lnea de Robertson-Walker, en honor
de H. P. Robertson y A. G. Walker, que lo descubrieron, cada uno por
separado, hacia 1935. Aunque difiere de los elementos de lnea que
figuran expresamente en los dos artculos de Friedmann, se lo usa
normalmente en la literatura actual y seguir esta prctica.38 Los com-
ponentes covariantes gij de la mtrica aparecen desplegados en la matriz
siguiente
1 0
2
0 0
0 (t )
S
0 0
gij
0
1 kr 2
0 S (t )2 r 2 0
(14)
0 0 0 S (t ) r sen 2
2 2 2
124
Los universos de Friedmann
1 0
2
0 0
0 kr
1
0 0
S (t )2
gij gij 0
1
1 (15)
0 2 2
0
S (t ) r
1
0 0 0 2
S (t ) r sen 2
2 2
125
RELATIVIDAD Y ESPACIOTIEMPO
t2 dt
t1 S (t )
(17)
t 2
4t dt
t1
4t S (t )
(18)
+2 4t1 S (t1 )
(19)
+1 4t 2 S (t 2 )
+1 +2 S (t 2 )
z 1 (20)
+2 S (t1 )
126
Los universos de Friedmann
energa observada aqu y ahora). Hay que destacar, por otra parte, que
hasta este punto las ECE no han contribuido nada a nuestro razona-
miento. Para ver qu luz arrojan sobre la dinmica del universo en
expansin segn lo expresa el elemento [3] del modelo estndar
conforme a la caracterizacin de Peebles (p. 103) hay que resolver
las ecuaciones (1) para el caso especial en que los componentes gij de
la mtrica estn dados por la matriz (14) y los componentes Tij del
tensor de energa por las ecuaciones (10). Con este fin hay que
explicitar completamente los componentes del tensor de Ricci en tr-
minos de los componentes de la mtrica. Un vistazo a las ecuaciones
(7.40) sugiere que nos aguarda un trabajo espantoso. Sin embargo, en
el caso extraordinariamente simple de una mtrica de Friedmann, la
tarea no es en absoluto difcil, aunque envuelve cmputos tediosos.
Los presentar en un par de casos, a modo de ejemplo. Exhorto al
lector a que tome papel y lpiz y calcule el resto. Escribo S, S y S,
en vez de S(t), dS/dt y d 2S/dt 2, respectivamente.
Tenemos que g00 = g00 = 1 y que gik = gik = 0 cuando i k, de
modo que !g0k/!xj = 0 para todos los ndices k y j, y que !g*+/!x j =
0 para todo j si * +. Esto implica que, en el caso considerado, la
mayora de los 5kh que figuran en las ecuaciones (7.40) y que las
i
127
RELATIVIDAD Y ESPACIOTIEMPO
!g10 !g11 !g 01
5011 2 g11
!x1 !x 0 !x1
!g11 2 S 2 S
2 g11 (2 SS 11 )
!x
0
11 S
!g 22 2 S 2 S
5022 2 g 22 (2 SS 22 )
!x 0
22 S
!g 33 2 S 2 S
5033 2 g 33 (2 SS 33 )
!x
0
33 S
!g11
5110 2 g 00 SS 11 (22)
!x 0
!g
5220 2 g 00 220 SS 22
!x
!g 33
5330 2 g 00 SS 33
!x 0
128
Los universos de Friedmann
!50kk !500k
R00 R k
50sk 5sk0 500s 5skk
!x !x
ijk 0 k
d S S S ( S )2 S 2
2
3
50** 3
S
(24)
dt S S2
3 S
S
En forma anloga calculamos que
R0* = 0 (25)
y
R*+ = *+ *+(SS + 2(S)2) (26)
donde los *+ son los componentes del tensor de Ricci construido a
partir de la mtrica g. Se puede demostrar que en una variedad
riemanniana propiamente tal M,g con n dimensiones y curvatura
constante k, *+ = (1 n)k*+ (Weinberg 1972, pp. 382s.). Por lo
tanto, las ecuaciones (26) pueden reescribirse as
R*+ = *+(SS + 2(S)2 + 2k) (26)
Usando las ecuaciones (15), (25) y (26) calculamos fcilmente el
escalar de curvatura:
R g ij Rij R00
g11 R11
g 22 R22
g 33 R33
3 S 3
SS
2( S ) 2
2 k
S S2
(27)
S ( S )2
k
6
S S2
129
RELATIVIDAD Y ESPACIOTIEMPO
3
S2
( S ) 2
k ." (28)
S
1
2 2SS
( S ) 2
k 0 (29)
S ."
(30)
S 3 6
Por lo tanto, con positiva se apresura el crecimiento del factor escalar
S, como si actuase una fuerza newtoniana repulsiva entre las partcu-
las materiales; mientras que " positiva tiene el efecto contrario y
aparece entonces como una fuente de atraccin universal.
Debido a la homogeneidad e isotropa de las hipersuperficies t,
la densidad " vara nicamente con t. Conforme a los supuestos acerca
del tensor de energa adoptados por Friedmann, la conservacin de la
energa implica que
"S3 = const. = "0(S0)3 (31)40
donde, como es habitual, distingo con el subndice 0 los valores
actuales de cantidades dependientes del tiempo. Usando la ecuacin
(31) para hacer reemplazos en la ecuacin (28) obtenemos:
."0 S 0
3
S 2
S 2
k (32)
3s 3
La ecuacin (30) puede reordenarse as:
130
Los universos de Friedmann
."
S S (33)
6 3
N 0 dt 0 dS
tN
0
dt S(0) dS
dS S(0) S
0 3S (34)
S(0)
dS
S 3 kS
."0 ( S 0 )
3 3
131
RELATIVIDAD Y ESPACIOTIEMPO
Fig. 4
S = 0 k=1
(S)2 = 0
132
Los universos de Friedmann
Fig. 5
S = 0 k = 0 o k = 1
(S)2 = 0
(i) k = 1 y < 0
(ii) k = 0 y < 0
(iii) k = 1 y < 0
(iv) k = 1, 0 < < m y S < Sm
El universo monotnico de la primera clase o bien se expande
monotnicamente desde S = 0, sin lmite, para siempre, o bien se
133
RELATIVIDAD Y ESPACIOTIEMPO
(i) k = 1 y 0
(ii) k = 0 y 0
(iii) k = 1 y > m
El universo monotnico de la segunda clase puede contraerse
monotnicamente desde cualquier valor dado de S > Sm hasta un valor
mnimo de S > Sm, pero de ah en adelante se expande monot-
nicamente, sin lmite, para siempre. Esta clase de universo tiene que
satisfacer la condicin siguiente:
k = 1, 0 < < m y S > Sm
Ninguno de los tipos mencionados incluye modelos en que =
m, el valor especial arriba descrito. Como dije, esto solo puede ocurrir
si k = 1, esto es, si las hipersuperficies espacialoides t son compac-
tas y tienen curvatura constante positiva. Hay cinco casos posibles:
(i) Si S < Sm y S > 0, el modelo se expande desde S = 0 y se
aproxima asintticamente al punto m.
(ii) Si S < Sm y S < 0, el modelo se contrae hasta S = 0 y estuvo
asintticamente prximo a m en el pasado.
(iii) Si S > Sm y S < 0, el modelo se contrae monotnicamente y se
aproxima asintticamente a m.
(iv) Si S < Sm y S > 0, el modelo estuvo asintticamente prximo
a m en el pasado y se expande monotnicamente para siempre.
(v) Si S = Sm, el modelo permanece en m; por lo tanto, S = S =
0, y el modelo es esttico.
El caso (v) corresponde a la solucin de las ecuaciones (1) propuesta
en las Consideraciones cosmolgicas de Einstein (1917b). Su lugar
geomtrico en el plano -S consta de un solo punto m, en cada en-
torno del cual hay puntos que corresponden a universos en expansin
o en contraccin. Por lo tanto, esta solucin es inestable: la ms
134
Los universos de Friedmann
3 S0 k
2
"0
. S0 S0 2 .
3 k (35)
H0
2
2
. S0 3
Claramente hay un valor crtico "c, tal que k = S02("0 "c), a saber:
3
"c H0
2
(36)
. 3
135
RELATIVIDAD Y ESPACIOTIEMPO
2
k S 2 S S
0 02 0
S0
2
S0 S0
2 2 2
S 2 S S S S
0 02 0 0 0 (37)
S0 S 0 S 0 S 0
(1 2 q 0 )H 0
2
"0 H 0 (1 2 q 0 )H 0
2 2
2q0 (38)
"c
2
H0
136
Los universos de Friedmann
137
RELATIVIDAD Y ESPACIOTIEMPO
138
6
La geometra decimonnica
139
RELATIVIDAD Y ESPACIOTIEMPO
a P
Fig. 6
140
La geometra decimonnica
a P
b1 < < b2
Q Fig. 7
141
RELATIVIDAD Y ESPACIOTIEMPO
corta la recta a, pero a corta todas las lneas por Q que son coplanares
con a y forman con PQ un ngulo menor que m. Gauss, Lobachevsky
and Bolyai cada uno por su cuenta y sin que mediase ninguna
comunicacin entre ellos llamaron a b1 y b2, las paralelas a la
recta a por el punto Q. m se llama el ngulo de paralelismo para el
segmento PQ. Su tamao depende de la longitud de PQ, y disminuye
segn esta aumenta. Supongamos que el ngulo de paralelismo para
PQ sea igual a la mitad de un ngulo recto. En ese caso, b1 y b2
forman un ngulo recto con su vrtice en Q y tenemos entonces dos
rectas perpendiculares entre s que yacen sobre el mismo plano que
la recta a pero no la cortan en ningn punto.
La geometra de Lobachevsky abunda en teoremas sorprendentes
(muchos de los cuales haban sido deducidos por Saccheri). Cito al-
gunos: Los tres ngulos internos de un tringulo suman menos de dos
rectos. La diferencia o defecto es proporcional al rea del tringulo.
Por lo tanto, en la geometra lobachevskiana los tringulos semejan-
tes son siempre congruentes. Adems, si el tringulo se divide en
tringulos ms pequeos, el defecto del todo es igual a la suma de los
defectos de las partes. Como el defecto no puede ser mayor que dos
rectos, hay un rea mxima que ningn tringulo puede exceder. Si
un cuadriltero, por construccin, tiene tres ngulos rectos, el cuarto
ngulo es necesariamente agudo. Por lo tanto, en la geometra
lobachevskiana no hay rectngulos.
Hay una simple correspondencia formal entre las ecuaciones de la
trigonometra lobachevskiana y las de la trigonometra esfrica
estndar. Basndose en ella, Lobachevsky sostuvo que cualquier con-
tradiccin que surja en su geometra tiene que corresponder inevita-
blemente a una contradiccin en la geometra eucldea. Este sera el
primer intento de probar la consistencia relativa de una teora, esto
es, de probar que ella es consistente a menos que otra teora cuya
consistencia normalmente se da por sentada sea inconsistente.
La geometra lobachevskiana recibi poca atencin antes de 1865.
La reaccin de los filsofos, cuando finalmente se produjo, no fue
unnime. Algunos vieron esta nueva geometra como un ejercicio
formal de inferencia lgica, carente de significacin fsica o filosfi-
ca, que utilizaba palabras familiares como recta y plano en
142
La geometra decimonnica
143
RELATIVIDAD Y ESPACIOTIEMPO
144
La geometra decimonnica
145
RELATIVIDAD Y ESPACIOTIEMPO
146
La geometra decimonnica
147
RELATIVIDAD Y ESPACIOTIEMPO
148
La geometra decimonnica
149
RELATIVIDAD Y ESPACIOTIEMPO
150
La geometra decimonnica
151
RELATIVIDAD Y ESPACIOTIEMPO
152
La geometra decimonnica
153
RELATIVIDAD Y ESPACIOTIEMPO
154
La geometra decimonnica
155
7
Apndice matemtico
157
RELATIVIDAD Y ESPACIOTIEMPO
158
Apndice matemtico
159
RELATIVIDAD Y ESPACIOTIEMPO
x 1 (2)
g ( x ) exp
1 x x
Por lo tanto, la funcin compuesta g establece un homeomorfismo
entre un abierto cualquiera (a,b) y todo el espacio .
160
Apndice matemtico
V1 a(v + w) = av + aw.
V2 (a + b)v = av + bv.
V3 a(bv) = (ab)v.
V4 1v = v (donde 1 es, por cierto, el nmero 1 )
161
RELATIVIDAD Y ESPACIOTIEMPO
162
Apndice matemtico
163
RELATIVIDAD Y ESPACIOTIEMPO
164
Apndice matemtico
165
RELATIVIDAD Y ESPACIOTIEMPO
166
Apndice matemtico
dF o :
: p F (3)
du G
167
RELATIVIDAD Y ESPACIOTIEMPO
:Tp M * - K - Tp M * - Tp M - K - Tp M ;
144
42444
3 1442443
q veces r veces
168
Apndice matemtico
169
RELATIVIDAD Y ESPACIOTIEMPO
170
Apndice matemtico
x k 1 si k = h
dx h = h = d k h =
k
(5)
x p x p 0 si k h
p
171
RELATIVIDAD Y ESPACIOTIEMPO
! ! !
Ri jkh : p R p dx ip , , , (6)
!x j
p !x k
p !x p
h
! !( y h o F ) !
F* p k
(7)
!x p !x k p !y h F( p )
172
Apndice matemtico
!( y k o F )
F *p dyFk( p )
!x h
dx hp (8)
p
F *p I F ( p ) X p ,Yp , Z p I F ( p ) F * p ( X p ), F * p (Yp ), F * p ( Z p ) (9)
*
*
donde F p I F ( p ) es el valor que F p le asigna a I(p) y por tanto un
tensor de tipo (0,3) en p.
173
RELATIVIDAD Y ESPACIOTIEMPO
(X M Y)p(I1,,Iq,V1,,Vr,E1,,Et,W1,,Ws) =
Xp(I1,,Iq,V1,,Vr)Yp(E1,,Et,W1,,Ws) (10)
donde V1,,Vr,W1,,Ws son cualesquiera vectores de TpM y I1,,Iq,
E1,,Et son cualesquiera covectores de TpM*. Evidentemente, esta
operacin es asociativa: (X M Y) M Z = X M (Y M Z). Los componen-
tes del producto tensorial se calculan fcilmente a partir de los com-
ponentes de sus factores. Por ejemplo, si T y I son campos tensoriales
de tipo (1,1) y (0,2), respectivamente, y T M I es el campo tensorial
R de tipo (1,3) cuyos componentes definimos en las ecuaciones (6).
Entonces, el (i,j,k,h)-simo componente Rijkh de R relativo a un carta
dada x est dado por
! ! !
i
Rjkh ( p) Rp dx ip , , ,
!x j
p !x k
p !x p h
(11)
! ! !
Tp dx ip , j I p k , h Tji ( p)I kh ( p)
!x p !x p !x p
(1 ij,kh n; 1 j q; 1 h r)
Por tanto, la restriccin a Ux de, digamos, el campo tensorial R de
tipo (1,3) de las ecuaciones (6) es igual a una combinacin lineal de
los productos tensoriales ! !x i M dx j M dx k M dx h (1 i,j,k,h n).
No es difcil demostrar que, en dicha combinacin lineal, el coefi-
ciente escalar de cada trmino ! !x i M dx j M dx k M dx h no es otro
174
Apndice matemtico
175
RELATIVIDAD Y ESPACIOTIEMPO
) x j
R = C14 ( R) ! Rijkh dx h (dx dx k ) !
xx i
(14)
! H ih Rijkh (dx j dx k ) ! Rhjkh (dx j dx k )
176
Apndice matemtico
177
RELATIVIDAD Y ESPACIOTIEMPO
178
Apndice matemtico
179
RELATIVIDAD Y ESPACIOTIEMPO
dv k d( x j o : )
dt
vi
dt
o: 0 5 k
ji
(20)
d2 (x k o : ) d( x i o : ) d( x j o : )
dt 2
dt
dt
o: 0 5 k
(21)
ji
Desde la perspectiva de Ehresmann la estrecha relacin entre
geodsicas y curvatura puede presentarse en forma muy clara y natu-
ral. Desde el punto de vista de Koszul que he adoptado aqu el con-
cepto de curvatura se introduce algo dogmticamente y para ver su
vnculo con las geodsicas hay que atender a la ecuacin de la des-
viacin geodsica que enunciar al final, sin demostrarla. Sean N y M
como antes. El producto de Lie [X,Y] de los campos vectoriales X e
Y es el campo vectorial definido sobre dom X D dom Y por la con-
dicin
[X,Y] = X(Y) Y(X) (22)
para cualquier campo escalar : (dom X D dom Y) . A cada par
X,Y de campos vectoriales le asignamos un operador lineal R(X,Y)
tal que, para cualquier campo vectorial Z,
R(X,Y)Z = NXNYZ NYNXZ N[X,Y]Z (23)
en dom X D dom Y D dom Z.17 La curvatura R de la variedad M
180
Apndice matemtico
!5ikh !5ijh
R h
5iks 5sjh 5ijs 5skh (25)
!x j !x k
ijk
ecuaciones (21) se infiere que una conexin lineal sin torsin est
completamente determinada por sus geodsicas.
Enunciar sin prueba una importante relacin entre curvatura y
181
RELATIVIDAD Y ESPACIOTIEMPO
182
Apndice matemtico
183
RELATIVIDAD Y ESPACIOTIEMPO
g p ( v, w )
cos ( v, w ) (30)
v w
Evidentemente estas definiciones no sirven si la mtrica riemanniana
g no cumple la condicin M3, pues entonces la longitud v de un
vector v 0 podra ser un nmero imaginario o igual a 0. Sin embar-
go, aun en ese caso tiene sentido decir que dos vectores v, w TpM
son ortogonales si gp(v,w) = 0.22
Si M,g es una variedad riemanniana en mi sentido de este trmino,
pero g no cumple la condicin M3, todos los vectores tangentes a M
en cualquier punto p pertenecen a una y solo una de tres clases. Un
vector v TpM se dice
(a) temporaloide, si gp(v,v) > 0;
(b) espacialoide, si gp(v,v) < 0;
(c) nulo o luminoide si gp(v,v) = 0.23
Con la funcin bilineal gp es posible dar una definicin de longitud
til para comparar vectores de la misma clase, siempre que no sean
nulos. Simplemente ponemos
v g p ( v, v ) (31)
a
: (u) du (32)
184
Apndice matemtico
a
: (u) du a
du (33)
185
RELATIVIDAD Y ESPACIOTIEMPO
186
Apndice matemtico
!ghj !gkh !g jk
5jki 2 g ih
(39)
!x k !x j !x h
Las ecuaciones (39) le confieren un significado mtrico a los compo-
nentes Rijkh del tensor de curvatura R presentados en las ecuaciones
(25). Obsrvese que, si reemplazamos los 5jki en las ecuaciones (25)
por las expresiones equivalentes conforme a las ecuaciones (39), en
las ecuaciones resultantes entran las derivadas de segundo orden de
187
RELATIVIDAD Y ESPACIOTIEMPO
!5ikk !5ijk
Rij Rijkk
5iks 5sjk 5ijs 5skk
!x j
!x k
!5ijk (40)
! !
2
log g
5iks 5sjk 5ijs log g
!x i !x j !x k !x s
188
Apndice matemtico
189
8
Suplementos
191
RELATIVIDAD Y ESPACIOTIEMPO
192
Suplementos
193
RELATIVIDAD Y ESPACIOTIEMPO
194
Suplementos
195
RELATIVIDAD Y ESPACIOTIEMPO
y0 = y0(J)
x0 = x0(J) J
z0 = z0(J)
G
Fig. 8
196
Suplementos
x 0 ( J ) x 0 ( P ) v( x 1 ( J ) x 1 ( P ))
y 0 (J) y 0 (P)
1 ( v )2
40 0, 9(36) 7, 6
17, 4356
1 ( 0, 9) 2
0, 43589
x 0 (Q ) x 0 ( J ) v( x 1 (Q ) x 1 ( J ))
z (Q ) z ( J )
0 0
(1)
1 ( v )2
40 0, 9(36) 7, 6
17, 4356
1 ( 0, 9) 2
0, 43589
197
RELATIVIDAD Y ESPACIOTIEMPO
198
Suplementos
199
RELATIVIDAD Y ESPACIOTIEMPO
200
Suplementos
201
Notas
Captulo 1
1
Omnis enim philosophiae difficultas in eo versari videtur, ut a
phaenomenis motuum investigemus vires naturae, deinde ab his viribus
demonstremus phaenomena reliqua (Newton, Principia, prefacio a la
primera edicin).
2
Newton lo enuncia as: Todo cuerpo persevera en su estado de reposo
o de movimiento uniforme en lnea recta, salvo en cuanto es compelido
por fuerzas impresas a cambiar su estado (Newton 1727, p. 13).
3
Por el Corolario V de las leyes del movimiento, o Principio de Relatividad
de Newton: Los movimientos recprocos de los cuerpos incluidos en un
espacio dado son idnticos, ya sea que este espacio repose, o que se
mueva uniformemente en lnea recta sin rotacin (Newton 1727, p. 20).
4
En Hall y Hall 1962, p. 104; cito el texto latino en la nota 2 al captulo
2, p. 211.
5
James Thomson (1884); vase el pasaje citado en la p. 46.
6
De no ser as, sera posible infringir el principio de relatividad distin-
guiendo el marco de referencia en que la onda luminosa, despus de un
tiempo de emitida, llena una esfera, de aquellos en que llena una figura
menos simtrica.
7
Hay otro inconveniente que Einstein no menciona. Si el tiempo se define
de acuerdo con este criterio en todos los puntos de un marco de referen-
cia R, este no es un marco inercial en nuestro sentido de la palabra: las
partculas libres sufren un cambio discontinuo de velocidad al pasar por
el punto de referencia sealado. Este asunto se considera con ms dete-
nimiento en el captulo 2, especialmente en la nota 8, p. 212.
8
Aunque uso evento a veces en un sentido laxo, como sinnimo de
suceso u ocurrencia, en general empleo esta palabra en una acepcin
ms precisa, para designar los sucesos ideales, inextensos y sin duracin
que las teoras de la relatividad adoptan como ingredientes elementales
en su descripcin de los fenmenos. Siguiendo la prctica comn en la
literatura de la fsica, llamo tambin eventos, por metonimia, a las
localizaciones posibles de tales eventos puntuales, esto es, a los puntos
del espaciotiempo.
9
En la prctica esta suposicin siempre resulta ser ms o menos falsa;
pero, por lo mismo, los tiempos de hecho registrados por los relojes
203
Notas a las pgs. 2326
t ( E*) t ( E*) 1 (v c)
2
10
Relativamente a la superficie de la tierra, la Plaza de Armas de Santiago
de Chile est hoy en el mismo lugar que le asign don Pedro de Valdivia
el 12 de febrero de 1541. Relativamente al marco de referencia deter-
minado por las estrellas fijas, retorna a ese lugar una vez al ao. Pero
relativamente a un marco comvil con la radiacin csmica de fondo se
aleja de all a gran velocidad desde hace casi cinco siglos.
11
En las 6.3 y 6.4 (pp. 145152), me refiero a las contribuciones de
Klein y Hilbert a los fundamentos de la geometra.
12
Para avanzar sin tropiezos hacia la nocin de espaciotiempo, especial-
mente como est concebida en la relatividad general ( 1.4), tenemos
que suponer que las coordenadas de un evento son nmeros puros (cf.
la caracterizacin de las variedades n-dimensionales en las pp. 165166).
Por lo tanto, cuando digo que t representa el tiempo medido en segundos
quiero decir simplemente que, para cualquier evento E, t(E) es un nme-
ro real igual a la cantidad de segundos trascurridos entre E y el evento
O tal que t(O) = 0, si O precede a E, e igual a esa misma cantidad
multiplicada por -1 si E precede a O. Elijo las unidades del Sistema
Internacional porque son familiares para todos; pero lo que importa es
que los dos sistemas comparados utilicen la misma unidad de tiempo y
la misma unidad de distancia. Si las unidades utilizadas fuesen diferen-
tes tendramos que introducir factores de escala en las ecuaciones de
transformacin de coordenadas.
13
Vale decir, hay un evento O tal que t(E) = t(E) = x(E) = x(E) = y(E)
= y(E) = z(E) = z(E) = 0.
14
Obviamente, si R se moviese con velocidad constante en una direccin
arbitraria la transformacin cinemtica dependera de tres parmetros vx,
vy y vz, representativos de los componentes de su velocidad en la direc-
cin de los tres ejes del otro triedro sin primas. Pero no es necesario
considerar este caso entre las transformaciones simples, pues se lo puede
obtener combinando una transformacin cinemtica dependiente de un
solo parmetro como la representanda por las ecuaciones (5) con
dos rotaciones que lleven el eje de las x y el eje de las x a apuntar en
la direccin del movimiento.
15
Un grupo puede definirse como un conjunto G de objetos cualesquiera,
que incluye un objeto distinguido e, y sobre el cual se ha definido una
204
Notas a las pgs. 2728
205
Notas a las pgs. 2931
19
En la nota 15 caracteric a 4 como el continuo que forman todos los
cudruplos de nmeros reales. Normalmente se sobreentiende que here-
da su topologa de la recta real segn la regla siguiente: el producto
cartesiano de cualesquiera cuatro intervalos abiertos (ai,bi) (1 i 4)
es un abierto de 4. Pero la topologa as obtenida puede tambin carac-
terizarse a partir de la geometra minkowskiana: es la topologa ms gruesa
en que todas las transformaciones del grupo conectado de Poincar son
funciones continuas.
20
Um nirgends eine ghnende Leere zu lassen, wollen wir uns vorstellen,
da aller Orten und zu jeder Zeit etwas Wahrnehmbares vorhanden ist
(Para que en ninguna parte bostece un vaco, vamos a figurarnos que
en todo lugar y en todo momento est presente algo perceptible
Minkowski 1909, p. 104).
21
En la nueva notacin, un nmero en posicin elevada no es un exponen-
te sino un ndice de la variable a su izquierda. Para simbolizar potencias
encerramos entre parntesis la variable con su ndice y escribimos el
exponente a la derecha del ltimo parntesis. As, (x1)3 = x1x1x1; (x2)2
= x2x2.
22
Obsrvese que (i) xy-1 es una funcin biyectiva que aplica a 4 sobre
s mismo; (ii) y-1:4 M asigna a cada cudruplo q de nmeros reales
el evento E tal que y(E) = q; (iii) por lo tanto, xy-1(q) = x(E). En otras
palabras, la biyeccin xy-1 sustituye el juego de cuatro coordenadas
asignado a cada evento E por la carta y, con el juego de coordenadas
asignado a ese mismo evento E por la carta x. No cabe duda, entonces,
de que xy-1 es lo que se llama una transformacin de coordenadas. Que
ella pertenece al grupo de Poincar es una consecuencia de las condicio-
nes que impusimos a las cartas x e y.
23
Estas definiciones suponen que hemos elegido como invariante funda-
mental de la geometra minkowskiana la cantidad que figura a ambos
lados de la ecuacin (8). Si, como suele ocurrir, hubisemos elegido esa
cantidad multiplicada por 1, habra que intercambiar los signos > y <
en las definiciones de temporaloide y espacialoide. Esta eleccin est
implcita en la eleccin de la llamada signatura de la mtrica de
Minkowski (vase la nota 22 al capitulo 7, p. 241). Los adjetivos tempo-
raloide y espacialoide se pueden explicar como sigue. Si la separacin
entre E1 y E2 es temporaloide, el orden en que estos eventos se suceden
es el mismo en cualquier tiempo de Einstein, no importa cual sea el
marco inercial a que est adaptado; en otras palabras, el orden temporal
de los eventos con separacin temporaloide es un invariante de la
geometra de Minkowski. En cambio, si la separacin entre E1 y E2 es
206
Notas a las pgs. 3133
C C
Sea 5 cualquier curva temporaloide vecina que va de E a E. Entonces
su longitud
d
5 5
( dx ) c
0 2 2
( dx )
1 2
( dx )
( dx )
2 2 3 2
.
Como la expresin ( dx 1 ) 2
( dx 2 ) 2
( dx 3 ) 2 no es nunca negativa y difiere
de 0 al menos sobre una parte de 5, es claro que d
C
= x0(E) x0(E)
= dx d
, de modo que C es una geodsica.
0
5 5
27
Einstein y Laub (1908a, p. 532) ni siquiera le reconocen este mrito. A
propsito de la presentacin de las ecuaciones fundamentales de la
electrodinmica de los cuerpos en movimiento por Minkowski (1908),
dicen lo siguiente: Como este trabajo impone al lector exigencias
matemticas bastante grandes, no nos parece superfluo derivar esas
ecuaciones por una va elemental, que por lo dems concuerda
esencialmente con la seguida por Minkowski. El esfuerzo invertido en
ello recuerda la presentacin de la mecnica celeste en los Principia de
207
Notas a las pgs. 3339
208
Notas a las pgs. 3941
209
Notas a las pgs. 4144
2 2
gij du du 0 siempre, la
i j
ecuacin (13), la forma cuadrtica i 1 j 1
210
Notas a las pgs. 4549
Captulo 2
1
Hay una literatura abundantsima sobre este tema. Menciono algunos
ttulos en la bibliografa de Torretti (1996). Los siguientes escritos, no
mencionados all, me resultaron muy tiles cuando redact este captulo:
Redhead (1993), Debs y Redhead (1996); Earman (1995), captulos 6 y
7.
2
Newton, De gravitatione et aequipondio fluidorum, en Hall y Hall (1962),
p. 104: Unumquodque durationis momentum [] per universa spatia,
suo more, sine aliquo partium ejus conceptu diffundi intelligimus.
3
Parfrasis ma del texto de Lorentz 1895 (en Lorentz, CP, vol. 5, p. 84).
Whittaker (1951/53), vol. I, pp. 406s. da una breve demostracin del
teorema de los estados correspondientes. En 1899, Lorentz reformula el
teorema casi en los mismos trminos, pero da una definicin diferente
de las coordenadas con acento; vase Lorentz, CP, vol. 5, pp. 149s.; cf.
Torretti (1996), p. 292, n. 26.
4
Ley Einstein el artculo de Poincar antes de escribir el suyo? No lo
s. La mesure du temps apareci en 1898 en una conocida revista
francesa de filosofa y Poincar luego lo incluy en su segundo libro
filosfico, La valeur de la science, publicado en 1904. Sabemos que
Einstein ley y discuti el primer libro filosfico de Poincar, La science
et lhypothse, junto con sus amigos Habicht y Besso en algn momento
entre 1902 y 1905.
5
Newton enunci este principio como corolario V de sus leyes del movi-
miento:
Los movimientos recprocos de los cuerpos incluidos en un espacio
dado son idnticos, ya sea que este espacio repose, o que se mueva
211
Notas a las pgs. 5051
212
Notas a las pgs. 5155
213
Notas a las pgs. 5660
214
Notas a las pgs. 6063
20
Si nuestro planeta estuviese situado en un espaciotiempo gdeliano, todas
las galaxias apareceran en un sector del cielo y no homogneamente
distribuidas, como a gran escala se ven ahora.
21
Que ningn modelo de la relatividad general puede ser una representa-
cin perfectamente adecuada de nuestro universo se deduce del hecho de
que la teora no es compatible con el valor finito de la constante de
Planck h.
22
Aprovecho la oportunidad de decir un par de cosas sobre la expresin
viajar en el tiempo, que suele utilizarse para describir lo que hara una
persona cuya vida efectivamente traza una curva temporaloide cerrada.
En el uso corriente, viajar alude a traslados en el espacio. y la expre-
sin viajar en el tiempo es metafrica. H. G. Wells la emple para
referirse a la actividad fantstica de trasladarse a voluntad a cualquier
poca pasada o futura. Pero nada de eso puede ocurrir sobre una curva
temporaloide cerrada, pues no hay sitio all para una voluntad, ni un
pasado, ni un futuro, ni lo que propiamente llamamos tiempo. Por lo
tanto, me atrevera a decir que una curva temporaloide cerrada es justa-
mente una clase de cosmolnea a lo largo de la cual no se puede viajar
en el tiempo. Me parece claro, en cambio, que un traslado en el tiempo
est ocurriendo sin cesar justamente a lo largo de las cosmolneas abier-
tas. Sin embargo, aunque seamos arrastrados como dijo Hlderlin
de hora en hora, como agua arrojada de barranco en barranco incluso
mientras permanecemos encerrados en una celda, no llamamos a esto
viajar en el tiempo porque, en contraste con los viajes regulares en el
espacio, no podemos apurar el paso a nuestro gusto, ni detenernos en un
instante hermoso o que nos llame la atencin.
23
Sobre las soluciones de Friedmann, vase el captulo 5.
24
En su recensin del libro The Arguments of Time, donde este captulo se
public por primera vez, Richard Healey (2002, p. 459) reconoce que
esto resolvera lindamente la parte temporal de la primera antinomia
kantiana de la razn pura, siempre que podamos confiar en la relatividad
general en las condiciones extremas del universo muy temprano. Com-
parto plenamente la reserva expresada por Healey; como sugiero en esta
misma pgina (nota 21), y hago explcito en las pp. 99 y 223 (nota 24),
en esas condiciones extremas la teora no merece crdito.
215
Notas a las pgs. 6770
Captulo 3
1
Mi primer bosquejo del artculo en que se basa este captulo inclua una
seccin sobre la cuestin de idoneidad. El fragmento reproducido en
versin castellana en la 8.3 (pp. 198 y ss.) iba a ser el comienzo de esa
seccin. Sin embargo, cuando vi que la cosa no se dejaba tratar en el
espacio de que dispona, detuve la escritura y reemplac ese tema con
los tratados en la 3.3.
2
Poincar (1905) resume este artculo en cuatro pginas, presentadas a la
Academia de Ciencias de Pars pocos das antes de que el trabajo de
Einstein (1905r) fuese enviado a la revista Annalen der Physik.
3
Einstein desech la teora del 11 de noviembre el da 25 del mismo mes,
cuando public las ECE (1915i). Con todo, estas ecuaciones dan la misma
solucin de la anomala de Mercurio, debido a que concuerdan exacta-
mente con las ecuaciones del 11 de noviembre en el vaco interestelar
en que circulan los planetas.
4
No est dems recordar que, cuando muchos aos ms tarde al-
guien public resultados que contradecan la prediccin de la relatividad
general sobre el avance del perihelio de Mercurio, Einstein escribi a
Born: Si no se conociera ninguna desviacin de la luz, ni avance del
perihelio, ni corrimiento de las lneas espectrales, las ecuaciones de la
gravitacin seran, sin embargo, convincentes, pues evitan el sistema
inercial (ese fantasma que acta sobre todo, sin que las cosas acten de
vuelta sobre l). Es de veras notable que los hombres sean generalmente
sordos a los argumentos ms poderosos, mientras que siempre tienden a
sobrestimar la precisin de las mediciones (carta de 12.05.1952; Einstein,
Born y Born 1969, p. 258).
5
Como el astrnomo A. Hall que propuso reemplazar el factor 1/r2 en la
ley de Newton con 1/r2,00000016 (Astronomical Journal, 14 (1894), 49; debo
esta referencia a W. Rindler).
6
Ntese que el trmino carga, que la fsica actual aplica por antonoma-
sia a la elctrica, adquiri esta acepcin tcnica porque la carga elctrica
desempea en la ley de Coulomb exactamente el mismo papel que la
susceptibilidad a gravitar en la ley de gravedad de Newton. En la con-
versacin ordinaria, carga a secas sigue siendo la que llevan los burros.
7
Este resultado de Etvs fue cuestionado; pero Etvs, Pekar y Fekete
(1922) lo validaron y mejoraron ligeramente; este segundo resultado fue
comunicado a la Academia de Budapest en 1909 y Einstein puede haberlo
conocido entonces. Posteriormente, el resultado nulo de Newton y Etvs
216
Notas a las pgs. 7078
fue confirmado por Roll, Krotkov y Dicke (1964) con un error de 1:1011
y por Braginsky and Panov (1972) con un error de 1:1012.
8
Al explicar su principio de equivalencia a la reunin de Viena mencio-
nada en la p. 69, Einstein hizo este comentario: El experimento de Etvs
juega en este respecto un papel similar al del experimento de Michelson
en relacin con el problema de la detectabilidad fsica de un movimiento
uniforme (1913c, p. 1255).
9
En la nota 37 del captulo 1 (p. 209), cito otro texto de Einstein sobre
este asunto.
10
Me refiero al mtodo que usa seales electromagnticas que rebotan,
esto es, seales de radar. Est descrito en las pp. 1920 y 51.
11
Podemos, por ejemplo, elegir el metro como unidad de longitud y hacer
la unidad de tiempo igual a 1/299.792.458 s; o elegir el segundo como
unidad de tiempo y el segundo-luz como unidad de longitud (1 segundo-
luz es igual a la distancia que la luz recorre en el vaco en un segundo,
esto es, 299.792.458 m, exactamente).
12
El concepto de paralelismo a lo largo de una curva se explica en la
7.12, pp. 176 y ss.
13
Vase en la p. 36, el pasaje que sigue a la llamada 31, as como la nota
correspondiente, en la p. 208.
14
Sobre el adjetivo riemanniana usado aqu para calificar la mtrica del
espaciotiempo en vez de peudoriemanniana o semiriemanniana,
como se dice comnmente vase la nota 21 del capitulo 7 (p. 241).
Sobre la signatura de una mtrica riemanniana, vase la nota 22 del mismo
capitulo (ibid.).
15
Vase la ecuacin (7.28), en la p. 182 y las referencias indicadas en la
nota 20 del captulo 7 (p. 241).
16
Todava no he podido deducir de los fenmenos el fundamento (ratio)
de estas propiedades de la gravedad, y yo no fabrico hiptesis (hypotheses
non fingo)Newton 1726, p. 530.
17
Vanse las referencias citadas en la nota 40 del capitulo 1 (p. 210). El
vicio de las ecuaciones de Einstein y Grossmann consiste en que no son
generalmente covariantes, esto es, dejan de ser vlidas cuando se las
somete a ciertas transformaciones de coordenadas; una situacin que pa-
recer francamente ridcula si se piensa que las coordenadas son aqu
solo sistemas para identificar eventos mediante nmeros y en principio
carecen de todo significado intrnseco.
18
Doy gracias a la profesora D. G. Mayo por sealarme este trabajo poco
conocido y enviarme una fotocopia del mismo.
217
Notas a las pgs. 7981
19
Un campo tensorial de rango 2 sobre una variedad cuatridimensional
tiene, por cierto, 16 componentes gij (0 i.j 3) . Pero si es simtrico
esto es, si gij = gji para cada par de ndices no habr ms de diez
diferentes.
20
Jeffreys conoce por cierto la relacin formal entre el integrando ds de-
finido en la ecuacin (2) y el elemento lineal del espaciotiempo min-
kowskiano: Cabe demostrar que la condicin para que ds2 en su forma
ms general pueda transformarse a la forma c2dt2 dx2 dy2 dz2 es que
todos los 96 componentes de cierto vector el tensor de Riemann-
Christoffel se anulen (1919, p. 147). Pero su artculo no contiene ni
la menor sugerencia de que el tensor de Riemann-Christoffel podra
tener algo que ver con la nocin geomtrica de curvatura. Dicho sea de
paso, el tensor a que se refiere Jeffreys tiene a lo sumo 20 componentes
independientes; por otra parte, si distinguimos entre aquellos que, por
simetra o antisimetra, tienen el mismo valor absoluto, la cuenta llega
a 256; ignoro el origen del nmero 96 mencionado por Jeffreys.
21
Vale la pena anotar que Feynman no escribe esta definicin como hice
en la ecuacin (4), sino en trminos de componentes:
g*+ ( x ) *+
2 h*+ ( x ) 8,G (5)
J 1 si * = + = 0
U
*+
K 1 si * = + = 1, 2 o 3
(6)
U0
L si * +
218
Notas a las pgs. 8388
Captulo 4
1 Aristteles, Metaph. E.1, 1026a1-5. Cf. Metaph. K.7, 1064a23; Physica
II.2, 194a6; De Anima III.7, 431b13.
2 Lo que nunca ha acabado de sorprenderme es que ella gozase y goce
an de tanto crdito entre los pensadores catlicos. Supongo que esto se
explica histricamente por la abrumadora superioridad intelectual de
Aristteles sobre todo cuanto poda oponerle la filosofa cristiana a prin-
cipios del siglo XIII, cuando el corpus aristotelicum fue traducido al latn.
Ya en ese entonces la escuela franciscana le hizo la guerra con denuedo,
siendo derrotada ms bien por la peste negra, que mat a Ockam y a
muchos otros, que por la fuerza de los argumentos de sus adversarios.
3 Cohen (1980, p. 37) escribe: [Newton] cre lo que entenda como contra-
partidas puramente matemticas de situaciones fsicas simplificadas e
idealizadas que ms tarde podan ponerse en relacin con las condicio-
nes de la realidad reveladas por la experimentacin y la observacin.
Segn Cohen, esta posibilidad de elaborar las consecuencias matem-
ticas de supuestos que estn relacionados con posibles condiciones fsi-
cas sin tener que discutir la realidad fsica de estas condiciones en las
primeras etapas es el carcter distintivo del estilo newtoniano (p. 30).
4 Sagredo, que en los dilogos de Galileo representa el buen sentido de un
caballero educado, es bien franco al respecto: Questa cos vana
presunzione dintendere il tutto non pu aver principio da altro che dal
non avere inteso mai nulla, perch, quando altri avesse esperimentato
una volta sola a intender perfettamente una sola cosa ed avesse gustato
veramente come fatto il sapere, conoscerebbe come dellinfinit dellaltre
conclusioni niuna ne intende (Esta presuncin enteramente vana de
comprender el todo solo puede provenir de no haber jams entendido
nada, porque quien hubiese ensayado una sola vez entender perfecta-
219
Notas a las pgs. 8892
mente una sola cosa y hubiese saboreado de veras cmo est hecho el
saber, sabra que, de la infinidad de las otras conclusiones, no entiende
ningunaGalileo 1632; EN, VII, 127).
5 El dstico de Pope, ideado como epitafio, dice as:
220
Notas a las pgs. 9395
221
Notas a las pgs. 9596
222
Notas a las pgs. 97100
galaxia pareca ser mucho mayor que las otras, un genuino continente
entre los universos islas, en violacin del principio copernicano.
21 En griego la Va Lctea se llama galajaw (scil. kklow), esto es, el
crculo lechoso (< gla = leche), o quizs el crculo de mazamorra
de trigo en leche ( galaja = pltow kryinow n glaktiHesych.).
La voz galaxia, que el Diccionario de la Real Academia Espaola registra
desde 1734 en la acepcin de Va Lctea y desde 1832 como sinnimo
del mineral galactite (con la grafa galaxa, ajustada a la pronuncia-
cin griega, hasta la edicin de 1927 inclusive), solo desde 1956 desig-
na, en tercera acepcin, a cualquier otra formacin estelar semejante
a la Va Lctea. Por su parte, el Oxford English Dictionary documenta
galaxy en esta acepcin con un texto de 1848 que puede traducirse as:
Soberbios grupos o galaxias separados entre s por abismos tan tremen-
dos que sobrepasan las distancias que dividen una estrella de otra En
medio de este sistema de cmulos flota la galaxia cuyas glorias nos rodean
ms de cerca (J. P. Nichol, Stellar Universe, iii. 59). En 1930, R. H.
Baker escriba en ingls sin titubeos: La existencia de galaxias (galaxies)
ms all de la Va Lctea (the Milky Way) fue finalmente demostrada por
Hubble en 1925.
22 Algunas reflexiones melanclicas sobre el reconocimiento tardo de sus
mritos figuran en Alpher y Herman 1990, pp. 146151.
23 R. H. Dicke, P. J. E. Peebles, P. G. Roll y D. T. Wilkinson (1965).
24 Se acepta comnmente que en las circunstancias actuales, las ecuaciones
de campo de Einstein no pueden valer a distancias menores que la lla-
mada longitud de Planck lP = .hc V 10-35 m (donde . es la constante
gravitacional de Einstein que figura en las ecuaciones (1) y (2); h es la
constante de Planck dividida por 2,, y c es la velocidad de la luz). Wald
(1984, p. 379) infiere de ello que el modelo estndar tiene que fallar
dondequiera que el escalar de curvatura R sea mayor que lP-2. Sin em-
bargo, esto sera solo una cota superior para R, mas no necesariamente
la mnima. La verdad es que no sabemos si la relatividad general y aun
las teoras cunticas no resultaran inaplicables a curvaturas (y densida-
des) mucho menores pero imposibles de reproducir en nuestros labora-
torios. En ausencia de controles experimentales, cualquier conjetura sobre
este asunto es pura especulacin.
25 El formalismo parametrizado post-newtoniano o formalismo PPN permi-
te construir modelos de los planetas y satlites en rbita en torno a cuerpos
centrales, que son compatibles con distintas teoras de la gravedad. Los
modelos contienen varios parmetros ajustables a la luz de las observa-
223
Notas a las pgs. 100101
224
Notas a las pgs. 104107
Captulo 5
1
Este principio no fue patrocinado por Coprnico, quien se dio por con-
tento con trasladar el centro del universo de la tierra al sol vecino. En
justicia, habra que llamarlo el principio de Bruno, por el fraile soador
que la iglesia romana quem vivo el 17 de febrero de 1600. O quizs
el principio cusano por el prncipe de la misma iglesia que hacia 1450
proclam que el universo no tiene un centro fsico ni dentro ni fuera de
la tierra.
2
Friedrich Schur (1886) demostr que una variedad riemanniana propia-
mente tal que sea isotrpica en torno a cada punto tambin es homo-
gnea. Para aplicar el teorema de Schur al universo sobre la base de la
distribucin isotrpica de la energa hay obviamente que presuponer que
el universo tiene una estructura riemanniana dependiente de la distribu-
cin de la energa. Esta es una de las hiptesis fundamentales de la
relatividad general.
3
Ms radical an es la postura metodolgica de los partidarios de la hoy
desacreditada cosmologa del estado estacionario o SSC (steady state
cosmology). Segn ellos, para hacer cosmologa hay que poder extraer
conclusiones vlidas para todo el espaciotiempo de los datos que tene-
mos, recogidos aqu y ahora. Por lo tanto la posicin que ocupamos
debe ser genrica, no privilegiada, no solo en el espacio sino tambin en
el tiempo. Tal es el contenido del principio cosmolgico perfecto postu-
lado por la SSC. La expansin del universo elemento [2] del modelo
estndar contradice a primera vista este principio y, para resolver la
contradiccin, la SSC postula la creacin continua de materia, merced a
la cual la densidad media del universo y por tanto su apariencia local
permanecen constantes a pesar de la expansin. Ms grave e irreconci-
liable es el conflicto entre la SSC y la radiacin csmica de fondo, cuya
existencia sera incomprensible si hubiera tenido siempre la misma baja
temperatura actual,
4
Sobre la voz galaxia vase la nota 21 al captulo 4 (p. 223).
5
Einstein mismo us letras griegas para los ndices que pueden tomar
cuatro valores diferentes y latinas para los que solo toman tres, y mu-
chsimos autores lo han imitado en esto. Siempre me ha parecido, sin
embargo, que debemos utilizar el alfabeto ms familiar para los ndices
que se refieren a las cuatro dimensiones del espaciotiempo y el ms
extico para los que remiten solamente a las tres del espacio solo. Se
subraya as la artificialidad de la convencin que separa estas ltimas.
225
Notas a las pgs. 108109
6
En su seminario en la Universidad de Gttingen y en una conferencia
sobre El principio de relatividad leda a la Sociedad Matemtica de
Gttingen el 5 de noviembre de 1907 y publicada pstumamente
(Minkowski 1915). Pero Einstein probablemente se enter de las ideas
de Minkowski a travs de la famosa conferencia Espacio y tiempo
ofrecida por Minkowski a la Asamblea de Naturalistas y Mdicos Ale-
manes el 21 de septiembre de 1908 (Minkowski 1909).
7
En 1907 Minkowski tena solo 43 aos, pero Einstein tena 15 aos menos
y lo vea probablemente como una figura del pasado. A la actitud cam-
biante de Einstein hacia la obra de Minkowski se refieren las notas 27
y 28 del captulo 1 (pp. 207208).
8
Sobre el adjetivo riemanniana con que califico la mtrica del espacio-
tiempo en vez de peudo-riemanniana o semi-riemanniana, como se
dice comnmente vase la nota 21 al captulo 7 (p. 241).
9
Mi definicin algebraica de vectores temporaloides y espacialoides se
ajusta al uso de Einstein y de Friedmann. Hoy normalmente estos tr-
minos se definen a la inversa, de modo que P(vP,vP) es negativo si es
temporaloide y positivo si es espacialoide. Esta diferencia depende de
las diversas convenciones de signatura a que se refiere la nota 22 al
capitulo 7 (p. 241). Es claro que entre esas convenciones hay que elegir
una, pero no importa cul. Lo que cuenta es que los trminos tem-
poraloide y espacialoide retengan el significado geomtrico expresado
por la condicin de ortogonalidad as como las connotaciones fsicas
explicadas en el texto.
10
Como expliqu en la nota 8 al captulo 1 (p. 203), llamo evento, en
sentido propio, a los sucesos ideales, inextensos y sin duracin, que la
relatividad especial y la relatividad general asumen como ingredientes
elementales en su descripcin de los fenmenos; pero tambin llamo
eventos, por metonimia, a las localizaciones posibles de tales eventos
puntuales, esto es, a los puntos del espaciotiempo. A menudo, como aqu,
la palabra presta buenos servicios usada en ambas acepciones a la vez.
Este uso doble y a veces ambiguo es habitual en la literatura fsica.
11
Las partculas ms rpidas que la luz o taquiones tendran, por cierto,
cosmolneas espacialoides. Pero, aunque se ha escrito mucho sobre los
taquiones, no hay ni el ms mnimo indicio de que existan y quienes
escriben sobre relatividad general normalmente suponen que no los hay.
12
Tomo la frase entre comillas de una carta de Einstein a Max Born del
12 de mayo de 1952 (Einstein, Born and Born 1969, p. 258).
13
Como dije en la p. 71, en las publicaciones en que enuncia este princi-
pio, Einstein se refiere expresamente a la equivalencia entre un labora-
226
Notas a las pgs. 110111
227
Notas a la pg. 112
228
Notas a las pgs. 112115
229
Notas a las pgs. 115118
230
Notas a las pgs. 118119
27
De hecho, el universo de de W. Sitter solo exhibe cumplimiento de la
condicin E3 si se lo representa en lo que Schrdinger (1956, p. 14)
llama "el marco esttico". Este conlleva una coordenada temporal cuyas
curvas paramtricas no son geodsicas y no concuerdan con el tiempo
propio a lo largo de la cosmolnea de una partcula de prueba en cada
libre. En una representacin ms natural, el universo de W. de Sitter
resulta ser el caso lmite de un universo de Friedmann en expansin
cuando la densidad media tiende a cero en todas partes. Robertson y
Noonan lo describen como "nico modelo estacionario no-esttico" (1968,
p. 365), donde el epteto estacionario se refiere a un modelo
cosmolgico que presenta a los observadores el mismo aspecto en dis-
tintos momentos (p. 346).
28
Como explico en las pp. 188189, un campo tensorial dado de rango r
sobre una variedad riemanniana puede ser visto como un campo tensorial
covariante de tipo (0,r), como un campo tensorial contravariante de tipo
(r,0), o como un campo tensorial mixto de tipo (p,q), para cualquier par
de enteros p,q tales que p+q = r. Estas formas diversas pueden redu-
cirse unas a otras formando sus productos tensoriales con formas apro-
piadas de la mtrica y operando contracciones. En aras de la brevedad,
llamo componentes covariantes y contravariantes de un campo tensorial
a los componentes de la forma covariante y de la forma contravariante
de ese campo tensorial, respectivamente.
29
Segn los ndices i y j recorren el conjunto {0,1,2,3} se obtienen 16
pares de ndices; pero, debido a que todos los tensores en juego son
simtricos, hay seis pares redundantes.
30
Si las cosmolneas de la materia forman una congruencia C en el
espaciotiempo U hay un campo vectorial V: U TU que asigna a cada
punto p U la tangente en p a la nica curva de C que pasa por p. Los
componentes covariantes y contravariantes de V satisfacen la ecuacin
ViVi = 1. Como el vector Vp es la cosmovelocidad en p de la partcula
material cuya cosmolnea es esa curva, es natural llamar cosmovelocidad
de la materia al campo vectorial V.
31
En vez de ello, Lematre postul un fluido perfecto con presin isotrpica
p, dependiente del tiempo pero no del espacio. En tal caso las siguientes
ecuaciones reemplazan a las ecuaciones (9):
Tij = "ViVj + p(ViVj + gij) (9*)
Este toque realista es significativo solo si una parte no desdeable de la
energa del universo existe en la forma de radiacin. Segn la fsica
actual, ello no es as ahora, pero tuvo que ocurrir en las etapas iniciales
231
Notas a las pgs. 120122
232
Notas a las pgs. 122123
dos puntos del espaciotiempo pueden unirse a lo sumo por un solo "ca-
mino de luz" que sea la trayectoria espaciotemporal de una seal lumi-
nosa directa; (iii) el camino de toda seal luminosa que un observador
A pueda recibir directamente de un observador B yace entero sobre
una variedad diferenciable bidimensional (AB); (iv) (AB) = (BA).
Robertson demuestra que si se cumplen estas cuatro condiciones todos
los observadores pueden sincronizar sus relojes y definir as una co-
ordenada temporal global.
35
Sobre la accin de un grupo, vase la nota 12 al captulo 7 (p. 240). Un
grupo de movimientos es un grupo de Lie conectado de isometras (vale
decir, de transformaciones de una variedad riemanniana propiamente tal
que no afectan a la mtrica, sino que la dejan invariante). Un grupo G
es un grupo de Lie si tiene la estructura de una variedad diferenciable
y la aplicacin G - G G, x,y xy-1 es lisa. Si el grupo de Lie G
es una variedad n-dimensional, cada elemento de G puede identificarse
mediante n nmeros reales; por eso, se dice comnmente que G es un
grupo de n parmetros (o n-paramtrico). Como espacio topolgico, G
se dice conectado si no es la unin de dos abiertos no vacos que se
excluyen mutuamente. De otro modo G es desconectado y consta de dos
o ms subespacios conectados llamados componentes. El elemento neu-
tro de G pertenece por cierto a uno de esos componentes y solo a uno,
que constituye un subgrupo conectado de G. Si G es un grupo de
isometras de una variedad riemanniana, dicho subgrupo acta sobre la
variedad como grupo de movimientos.
36
Sean ,g y ,g dos variedades riemannianas propiamente tales. Una
aplicacin : se dice conforme si preserva los ngulos, esto es,
si, para cualquier punto p y cualquier par de vectores v, w Tp,
(v,w) = (*pv,*pw). En vista de las ecuaciones (7.9) y (7.30) (pp.
173 y 184), es claro que esto ocurre si y solo si hay un campo escalar,
positivo por doquier, I: tal que, para cada p , *pg(p) =
I(p)gp. Llamamos a I el factor escalar de la aplicacin conforme .
37
Robertson critica a Friedmann por no haberse dado cuenta de esto:
Aunque en el sistema de coordenadas que empleamos aqu, las
cosmolneas x* = const. son en efecto geodsicas, de modo que el reposo
es un estado posible para el contenido material del universo, no ocurre
as [] con las coordenadas de Friedmann. La condicin para que esto
sea admisible con coordenadas tales que las g0* sean iguales a cero es
que g00 dependa a lo sumo de t, y la discusin del universo de de Sitter
[por Friedmann] no cumple este requisito (1929, p. 828, n. 9; conforme
a la convencin estipulada en la p. 107, he reemplazado dos veces con
233
Notas a las pgs. 124131
3 ( S)
2
k
" 2
2 (28)
. S S 3
"S S( S )
d 3 d
kS 3 S
3 2 3
dt . dt
2 SS S
( S )
3
kS S S
3 2
.
3S S 2 SS
( S )
k
2 2
.
2
S
234
Notas a las pgs. 132136
42
Las figuras 4 y 5 se basan en Robertson and Noonan 1968, p. 375, figs.
17.2 y 17.1, respectivamente.
43
Si, a la luz de la ecuacin (31), reemplazamos " con "1(S0/S)3 en la
ecuacin (30), obtenemos
S 3 1
S S ."0 S0 3 S ( aS b )
2 2 3
3 6
donde he escrito a y b en lugar de las dos constantes /3 y ."0S03/6,
respectivamente. Por lo tanto
S 2 S S ( aS b )
3aS S ( a
bS )
3 3 3
235
Notas a las pgs. 139155
Captulo 6
1 Cf. Locke (1690), III.xi.16, IV.iii.18, IV.xii.8.
2 Saccheri 1733, Corolario al Lema V.
3 Basndose en los datos astronmicos disponibles, Lobachevsky hall
que el defecto del tringulo formado por Sirio, Rigel y la estrella N 29
de Eridano era igual a 3,727 - 10-6 segundos de arco, una magnitud
demasiado pequea para que fuese significativa, dado el margen de error
de las observaciones (Torretti 1978, p. 64).
4 Gauss a Bessel, 27 de enero de 1829, en Gauss WW, vol. 8, p. 200.
5 Decimos que dos rectas a y b son coplanares si yacen sobre un mismo
plano.
6 Un conjunto C de nmeros reales se dice acotado por abajo si hay un
nmero real x que es menor que cualquier elemento de C excepto a lo
sumo el propio x (si pertenece a C). En tal caso, se dice que x es una
cota inferior de C. Todo conjunto de nmeros reales acotado por abajo
tiene una cota inferior mxima o nfimo, esto es, una cota inferior mayor
que todas las otras.
7 La carta completa est reproducida en Frege (KS), pp. 410413; la cita
procede de la p. 412. Esta discusin entre Frege y Hilbert ya haba sido
anticipada por Lewis Carroll (pseudnimo del matemtico Charles
Dodgson) en el siguiente dilogo entre su herona Alicia y Humpty
Dumpty, el protagonista de una clsica nursery rhyme:
No s qu entiendes por gloria, dijo Alicia.
Humpty Dumpty sonri despectivamente. Claro que no lo sabes
hasta que yo te lo diga. Quise decir Ah tienes un lindo argumento
apabullante!
Pero gloria no significa un lindo argumento apabullante, objet
Alicia.
Cuando yo uso una palabra, dijo Humpty Dumpty, en un tono un
tanto desdeoso, significa exactamente lo que yo elijo que signifique
ni ms ni menos.
La cuestin, dijo Alicia, es si puedes hacer que las palabras
signifiquen tantas cosas diferentes.
La cuestin, dijo Humpty Dumpty, es quin mandaeso es todo.
(Through the Looking-Glass, en Carroll 1960, pp. 268s.)
8 Vase Torretti 1978, pp. 6882, y arriba, 1.4.
9 La versin original inglesa de este captulo, escrita para la Stanford
236
Notas a las pgs. 157166
Captulo 7
1
Como es habitual, n designa aqu y en todo el resto de este apndice
un entero positivo cualquiera, que se supone fijado por el contexto.
Ocasionalmente se usa m para designar otro entero positivo que puede o
no ser igual a n.
2
Adems del concepto de espacio vectorial menciono ocasionalmente el
concepto menos difundido de mdulo. Se trata de una sencilla generali-
zacin del primero. Los escalares de un espacio vectorial pertenecen a un
cuerpo (como o ); los escalares de un mdulo pertenecen a un anillo.
As como hablamos de funciones lineales y multilineales que aplican es-
pacios vectoriales en el respectivo cuerpo de escalares, hablamos de fun-
ciones lineales y multilineales sobre mdulos y con valores en el respec-
tivo anillo de escalares. Como todo cuerpo es un anillo, todo espacio
vectorial es un mdulo.
3
Esta definicin de aplicacin lisa se ajusta al propsito de estas notas
terminolgicas y, en general, al nivel de este libro. Una exposicin ma-
temtica ms refinada tendra que distinguir grados de lisura. En tal caso
diramos que una aplicacin diferenciable cuyo dominio es un abierto
U de n y cuyo recorrido es un abierto de m (para cualesquiera enteros
positivos n y m) es una aplicacin de clase Cq en un punto p U si
est definida en p y, para cada entero positivo r q y cada ndice k
(1 k n), la derivada parcial de r-simo orden !r(x)/!xkr existe y es
continua en p. es una aplicacin de clase Cq si y solo si es de clase
Cq en cada punto de su dominio. Obviamente, si h es un entero positivo
menor que q toda aplicacin de clase Cq es una aplicacin de clase Ch.
Cuando se usa esta terminologa es comn llamar lisas a las aplicacio-
nes de clase C1 y aplicaciones de clase C/ a las que aqu yo llamo lisas.
Las aplicaciones continuas suelen llamarse aplicaciones de clase C0.
4
Sonara menos ingls si dijese carta n-ple, atlas n-ple, pero estas ex-
presiones tampoco son muy castizas. En todo caso, normalmente se habla
237
Notas a las pgs. 166170
238
Nota a la pg. 172
el anillo F(M) de los campos escalares sobre M (vanse las notas 2 y 7).
El mdulo V1(M) comprende todos los campos vectoriales sobre M y el
mdulo V1(M) comprende todos los campos de covectores. La suma
modular y la multiplicacin por escalares en V1(M) se definen as: Para
cualesquiera campos vectoriales V, V V1(M), campo de covectores I
V1(M), campo escalar F(M) y punto p M,
(V + V)p(Ip) =. Vp(Ip) + Vp(Ip,)
(V)p(Ip) =. (p)Vp(Ip)
Las operaciones caractersticas del mdulo V1(M) se definen inter-
cambiando campo vectorial y campo de covectores en el enunciado
anterior. A la luz de estas definiciones es claro que el campo tensorial de
tipo (q,r) considerado en el penltimo prrafo de la p. 170 se comporta
como una aplicacin (q+r)-lineal W: (V1(M))q - (V1(M))r F(M). El
campo escalar p Wp(I1p,,Iqp,V1p,,Vrp) no es otra cosa que el valor
de esta aplicacin W en I1,,Iq,V1,,Vr (V1(M))q - (V1(M))r. Este
resultado puede utilizarse sin ms para conferirle una estructura de m-
dulo sobre el anillo F(M) a la coleccin de todos los campos tensoriales
de tipo (q,r) sobre M, que designar con Vqr(M). La suma modular y la
multiplicacin por escalares en Vqr(M) se definen as: Para cualesquiera
campos tensoriales W, W Vqr(M), campos de covectores I1,,Iq
V1(M), campos vectoriales V1,,Vr V1(M) y campo escalar F(M),
(W + W)(I1,,Iq,V1,,Vr) =
W(I1,,Iq,V1,,Vr)
W(I1,,Iq,V1,,Vs)
(W)(I1,,Iq,V1,,Vr) =. W(I1,,Iq,V1,,Vr)
donde los smbolos + y en los lados derechos representan respectiva-
mente la suma y la multiplicacin en el anillo F(M).
10
Segn Spivak (1979, vol. II, p. 155), una notacin estrictamente apro-
piada exigira que esta aplicacin se designe con (*p)*. Observa que no
sera posible reunir todas las *p en una sola aplicacin de fibrados
*:TN* TM*, pues puede aplicar dos puntos p, q M en un solo
punto de N y *p no tiene que ser igual a *q. Por otra parte, dice
Spivak podemos hacer algo con el fibrado cotangente que no podra-
mos hacer con el fibrado tangente. Sea I una seccin de TN*. Entonces
podemos definir as una seccin de TM*: (p) = I((p)) *p, es decir,
(p)(Xp) = I((p))(*pXp), para cada p M y cada campo vectorial X
sobre M (ibid.). Esta seccin se designa, como es natural, con *I. No
hay un modo correspondiente de transferir un campo vectorial X sobre M
239
Notas a las pgs. 176179
240
Notas a las pgs. 180184
lamente de los valores de g sobre el camino de :, que son, por cierto, los
mismos como quiera que se elija el campo vectorial g entre los innume-
rables candidatos posibles. Con todo, para quienes detestan la ambige-
dad en matemticas aunque sea inocua, Spivak explica un modo de evi-
tarla en este caso (1979, vol. II, pp. 247251).
17
Los lectores que piensen que la claridad requiere precisin agradecern
la elucidacin siguiente. Sea dom X D dom Y = U B M. Entonces R(X,Y)
es una aplicacin lineal de V1(U) sobre s mismo. Si dom Z U, la
ecuacin (23) se aplica a la restriccin de R(X,Y) a U D dom Z.
18
Algunos autores prefieren reservar el nombre de tensor de Riemann para
la curvatura de una variedad riemanniana, en el sentido de la 7.13, esto
es, para la curvatura generada por la conexin de Levi-Civita de la va-
riedad. En cualquier caso, el llamado tensor de Riemann es un campo
tensorial.
19
Vase Einstein, CP, vol. 6, p. 316. En la literatura actual se llama tensor
de Ricci a la contraccin C13(R).
20
Sobre la ecuacin (28) de desviacin geodsica puede consultarse el libro
de Ciufolini y Wheeler (1995), pp. 3136; hay presentaciones ms con-
cisas en las obras de Wald (1984), pp. 4647, y Schutz, (1980), pp. 213
214. Vase asimismo Hartle (2003), pp. 450454.
21
Casi todos los autores llaman semi-riemanniana or pseudo-riemanniana
a una mtrica que reune las propiedades M1 y M2 y reservan el adjetivo
riemanniana para aquellas mtricas que poseen adems la propiedad M3.
Por difundida que est, me resisto a imitar esta prctica, porque (i) no es
habitual llamar semi-X o pseudo-X a un gnero del cual X es una es-
pecie, y (ii) los prefijos semi- y pseudo- no hacen justicia a la contri-
bucin de Riemann a la geometra fsica de Einstein (cuya mtrica cum-
ple las condiciones M1 y M2, pero no la condicin M3). Es verdad que
Riemann mismo no contempl mtricas sin la propiedad M3; pero tam-
bin es verdad que Coprnico nunca pens que los planetas tuvieran rbitas
elpticas, no obstante lo cual nadie dira que nuestra concepcin del sis-
tema planetario es pseudocopernicana o semicopernicana.
22
Aprovecho la ocasin para explicar el concepto de signatura de una mtrica
riemanniana a que se alude en los captulos 1, 3 y 5. Sea g una mtrica
riemanniana sobre la variedad n-dimensional M. Sea TpM el espacio tan-
gente a M en un punto p. Una base e1,,en de TpM se dice ortonormal
si, para cualesquiera ndices j y k, gp(ej,ej) = 1 y gp(ej,ek) = 0 si j k
(1 j,k n). Sea q el nmero de ndices para los que gp(ej,ej) = 1 y r
el nmero de ndices para los que gp(ej,ej) = 1. Dada la mtrica g, estos
nmeros q y r son los mismos para cualquier punto p M y cualquier
241
Notas a las pgs. 184186
242
Notas a las pgs. 186188
28
Barrett ONeill explica as el origen de la inusual notacin ds2 : si M
es una variedad riemanniana n-dimensional propiamente tal (la nica clase
de variedad riemanniana que se conoca cuando la notacin se invent),
y p y p son puntos vecinos de M cuyas respectivas coordenadas son
(x1,,x n) y (x1 + 4x 1,,xn + 4xn), el vector 4p = 4xi!/!xi tangente a M
en p apunta aproximadamente hacia p. Por lo tanto esperamos que el
cuadrado de la distancia 4s de p a p sea aproximadamente igual a
4p2 = gp(4p,4p) = Zgij(p)4xi4xj
tal como en la frmula ds2 = Zgijdxidxj (ONeill 1983, p. 56).
29
La ltima expresin que doy para Rij depende de la conocida frmula
para la derivada del determinante g de una matriz (gij) con respecto a uno
de sus trminos:
!g ij
gg
!gij
243
Notas a la pg. 191
! ij
log g g
!gij
! ! !gij !gij
r log g log g r g ij j 25 jii
!x !gij !x !x
Captulo 8
1 En septiembre de 1909, Max Born present a la Asamblea de Naturalis-
tas y Mdicos Alemanes reunida en Salzburgo una ponencia en que se
refera al movimiento de los cuerpos rgidos en la relatividad especial
(Born 1909; cf. Born 1910). En la discusin subsiguiente particip
Sommerfeld. Conversando ms tarde sobre el mismo asunto, Einstein y
Born se percataron de que, al imprimir un movimiento de rotacin a un
disco rgido, el borde se contraer en la direccin de cada tangente
conforme a la ecuacin (1.1) en la p. 22. Esta paradoja lleva ahora el
nombre de Ehrenfest, que la comunic a la Zeitschrift fr Physik el 29
de septiembre (Ehrenfest 1909). En carta fechada ese mismo da, Einstein
le dice a Sommerfeld:
Me parece muy importante tratar el cuerpo rgido en rotacin unifor-
me con vistas a la extensin del principio de relatividad a sistemas en
rotacin uniforme segn un pensamiento anlogo al que intent desa-
rrollar en [Einstein 1907, 1718] a propsito de la traslacin uni-
formemente acelerada.
(Einstein, CP, vol. 5, p. 210)
2 En el primero de sus artculos sobre el campo gravitacional esttico,
Einstein (1912c, p. 356) se refiere a un sistema de referencia K, con
coordenadas x, y, z, en movimiento uniformemente acelerado en la direc-
cin positiva del eje de las x. Las distancias se miden en K mediante
varas de medir que, comparadas entre s mientras reposan en un mismo
lugar de K, poseen la misma longitud; para longitudes medidas de este
modo y tambin para las relaciones entre las coordenadas x, y, z y otras
244
Notas a las pgs. 192201
245
Nota a la pg. 201
246
Obras citadas
247
RELATIVIDAD Y ESPACIOTIEMPO
248
Obras citadas
249
RELATIVIDAD Y ESPACIOTIEMPO
250
Obras citadas
251
RELATIVIDAD Y ESPACIOTIEMPO
252
Obras citadas
253
RELATIVIDAD Y ESPACIOTIEMPO
254
Obras citadas
255
RELATIVIDAD Y ESPACIOTIEMPO
256
Obras citadas
257
RELATIVIDAD Y ESPACIOTIEMPO
258
Obras citadas
259
RELATIVIDAD Y ESPACIOTIEMPO
260
Obras citadas
261
RELATIVIDAD Y ESPACIOTIEMPO
262
Origen de los captulos
263
ndice
TRMINOS MATEMTICOS EXPLICADOS EN EL CAPTULO 7
265
RELATIVIDAD Y ESPACIOTIEMPO
266
ndice
267
RELATIVIDAD Y ESPACIOTIEMPO
268
ndice
269
RELATIVIDAD Y ESPACIOTIEMPO
270
ndice
271
RELATIVIDAD Y ESPACIOTIEMPO
272
ndice
273
RELATIVIDAD Y ESPACIOTIEMPO
274
ndice
universo abierto, cerrado, plano, 124 Wald, Robert M., 221, 223, 241
universos-islas, 96, 105, 222 Walker, A. G., 124, 125, 222
Wallis, John, 140
Valdivia, Pedro de, 204 Weinberg, Steven, 98
van Kampen, E. R. 210 Wells, H. G., 215
variedad, 145146 Westfall, Richard S., 220
Veblen, Oswald, 210 Wheeler, Archibald, 72, 75, 98, 100,
velocidad de la luz, 17; constancia, 201, 224, 229, 241, 245, 246
19, 49; de ida y regreso, 52; su- Whitehead, J. H. C., 210
premo de las velocidades de las Whittaker, E. T., 210, 211
partculas masivas, 23; unidirec- Wilkinson, D. T., 223
cional, 52; vara con el potencial Wilson, Robert, 62, 66, 84, 98, 99,
gravitacional segn Einstein 104
(1911h), 39, 209 Winnie, John A., 213, 237
velocidad de la tierra en el ter, 17, Wright, William H., 230
46
viajar en el tiempo, 215
Vizgin, V., 210
275
Se termin de imprimir
en los talleres digitales de RIL editores
. en el mes de mayo de 2003. Santiago de Chile