Vous êtes sur la page 1sur 27

Universidad de el salvador

Facultad de Ciencias Naturales y Matemtica.


Escuela de Fsica.

Nombre: Kevin Giovanni Hernndez Beltrn.


Carnet: HB13003
Curso: fsica matemtica III
Catedrtico: Msc. Melgar Brizuela.
Tema de investigacin: Espacio-tiempo de Minkowski.

Fecha de entrega: 17 de noviembre de 2015.

Introduccin.
El espacio-tiempo de Minkowski es una importante introduccin a las mtricas de la relatividad
general descubierta por Albert Einstein, sin embargo, cabe resaltar que hay varias mtricas en el
marco de la relatividad general en cuanto a si el espacio es curvo o no, o si hay singularidades o no,
o si hay puntos de inters o no, etc. Uno se puede preguntar si el espacio solo depende de las 3
coordenadas espaciales y una temporal, pero en el marco de la relatividad el tiempo no es absoluto,
sin embargo, para poder comprender ms de relatividad general, es necesario saber matemticas, es
necesario saber que es un cuadrivector y dems, que son los sucesos en un espacio, o que es la
invariancia, son preguntas de vital importancia en Relatividad General, sin embargo esta pequea
investigacin, va a resaltar por un lado algunos conceptos introductorios a la relatividad general y por
el otro, esa matemtica que define la mtrica de Minkowski.
Por otro lado, la mtrica de Minkowsi es la ms sencilla de todas las mtricas de Relatividad general,
por su matemtica e interpretacin fsica, por tanto, habr un desarrollo terico de sus definiciones
y habrn ejemplos didcticos para tal fin, no obstante, el espacio-tiempo puede ser mucho ms que
lo descrito en esta investigacin, la idea bsica es servir de introduccin a relatividad general.

ndice.
Tema
Introduccin.
1.0 Relatividad especial.
1.1 Postulados de la relatividad especial.
1.2 Transformadas de Lorentz.
1.3 Representacin matricial de las Transformadas de Lorentz.
2.0 Relatividad General.
2.1 Principios de la Relatividad General.
2.2 Introduccin matemtica.
2.3 Propiedades de los tensores.
2.4 Tensor Mtrico.
2.5 Ecuaciones del campo de Einstein.
2.6 Soluciones a la Ecuacin de campo de Einstein.
2.7 La mtrica de Schwarzschild y la deduccin de la mtrica de Minkowski.
3.0 La mtrica de Minkowski.
3.1 Propiedades matemticas del espacio de Minkowski.
3.2 Espacio-Tiempo de Minkowski.
3.3 Diagramas de Minkowski.
3.4 Orden Temporal y Causalidad.
3.5 Intervalo invariante y Calibracin de los ejes.
3.6 Aplicaciones de Relatividad especial usando el espacio-tiempo de
Minkowski.
4.0 Bibliografa.

Pgina
1
3
3
4
5
6
7
7
8
11
12
14
14
15
16
18
19
21
22
24
26

1.0 Relatividad especial.


La fsica clsica poda explicar casi todos los fenmenos fsicos, por tanto, solo habra que mejorar la
precisin de los resultados, no obstante, hubo un gran problema, en las ecuaciones de maxwell, las
transformadas Galileanas no mantena su misma forma (covarianza),la radiacin de cuerpo negro
tampoco se poda explicar, claro usando la fsica clsica se poda explicar casi todo, pero los resultados
nos decan que estamos incorrectos, la naturaleza nos estaba dando una alerta en cuanto a nuestra
matemtica aplicada en ella.
El nacimiento de la relatividad general, como toda nueva teora, estuvo expuesta a pruebas por largos
aos, hasta que nuestra tecnologa pudo dar con los datos, eso quiere decir que esa matemtica es
consistente con los resultados. Como sabemos, la relatividad especial es una particularidad de la
relatividad general, su campo de estudio son velocidades relativistas a la luz, pero qu propiedades
tiene la luz, por ser tan especial en relatividad? Su particularidad es que es la misma en todos los
observadores, es un poco difcil de entenderlo, si nuestra intuicin Galileana nos dice que no, la razn
es algo simple, pareciera que todos los objetos con masa no nula, tuvieran un lmite en cuanto a su
velocidad, en relatividad pues no importa cuanta energa tenga el objeto, su velocidad no puede
superar a la velocidad de la luz. La teora de la relatividad especial fue publicada en 1905, surge pues,
de la idea y realidad de la velocidad de la luz como una velocidad limite establecida por la naturaleza
y tambin del principio de relatividad de Galileo, adems de resolver el problema de la covarianza de
las ecuaciones de Maxwell, cabe resaltar que las transformadas de Lorentz fue una herramienta til
para trabajar en relatividad especial.
Otra de las particularidades es que la relatividad especial trabaja con sistemas de referencia
inerciales, esto es, a velocidad constante respecto de otros sistemas de referencia inerciales, en
relatividad especial no hay un sistema privilegiado, ya que las medidas son las mismas (ntese que
estamos entrando al postulado de la relatividad) sin embargo, cabe destacar que el principio de la
relatividad no es descubierto por Einstein ms bien ya estaba formulado por Galileo pero la teora
electromagntica no estaba tan formulado en ese entonces (1600, la mecnica obra de Galileo
comparado con 1865 ao de publicacin de las ecuaciones de Maxwell) sin embargo ante falta de
pruebas o nuevas teoras se acept el principio de relatividad de galileo junto con ello, la adiccin de
velocidades. En conclusin, la relatividad especial trabaja con sistemas de referencia inerciales, se
tiene dos postulados, pero an le falta algo ms generalizarse a sistemas de referencia no inerciales.

1.1 Postulados de la Relatividad Especial.


La fsica relativista comienza con dos postulados que se enuncian as:

Postulado 1 (principio de relatividad)

Todas las leyes de la fsica son idnticas en todos los sistemas de referencia inerciales, para
observadores no acelerados.

Ntese que, esto aplica solo en ausencia de fuerzas gravitatorias, comparado con el principio de
invariancia de Galileo, la invariancia Galileana solo es vlida en mecnica clsica pero no en
electromagnetismo, sin embargo el postulado de Einstein ahora es vlido en todas las leyes de la
fsica.
Postulado 2. (constancia o universalidad de la luz)
La velocidad de la luz c en el vaco es constante e igual en todos los sistemas de referencia inercial
En este punto, la naturaleza de la luz, nos est obligando a que nada puede viajar ms rpido que la
luz en algn sistema de referencia, dicho de otra manera, la velocidad de la luz ser la misma en todos
los sistemas. En contraste con la adiccin de velocidades de galileo, se establece que si hay
posibilidades de viajar a una velocidad superior respecto de la luz, sin embargo, esto no ocurre en la
naturaleza.

1.2 Transformadas de Lorentz.


Lorentz tiene claro que la invariancia de la relatividad Galileana no aplica en las ecuaciones de
maxwell, por tanto, empieza a formularse dos grandes concepciones, la primera es que el tiempo no
es absoluto, esto es, el principio de simultaneidad el cual se define como dos sucesos son simultneos
para un observador pero no para otro. Y la segunda establece una deformacin del espacio, como la
contraccin de la longitud.
Para obtener unas nuevas transformadas que cumplan con los postulados de la relatividad, se debe
cumplir adems algunos aspectos importantes:

El tiempo no es absoluto.

Esto quiere decir que dos personas en movimiento relativistas no tendrn el mismo intervalo de
tiempo para dos sucesos relacionados espacialmente y/o temporalmente.

El tiempo propio y no propio.

El tiempo propio se define como el tiempo que un observador en reposo respecto a dos sucesos,
mide el intervalo de tiempo entre los dos sucesos, ntese que es imperativo que los dos sucesos
estn en el mismo espacio.
Entonces se definen las transformadas de Lorentz, de tal manera que el sistema primado se est
moviendo con una velocidad v en la direccin de x, tambin con la condicin que x(0)=x(0) o dicho
de otra manera, los origines de ambos sistemas coinciden cuando se dispara un pulso de luz en el
origen de ambos sistemas.
v
t = (t ( 2 ) x) ,
(1)
c

x = (x vt),
(2)

y = y,
(3)
z = z,
(4)
4

Con
=

,
(5)
2
v
1 ( )
c
Las ecuaciones (1) a (4) con conocidas como transformadas de Lorentz, junto con (5) llamado factor
de Lorentz. Ntese que si = 1 recuperamos la intuicin Galileana, las demostraciones de las
transformadas se pueden tomar si el sistema primado es una combinacin lineal de la coordenada
espacial y temporal, las soluciones de los coeficientes vienen siendo las descritas anteriormente, con
condiciones iniciales se toma que los orgenes de ambos sistemas coincidan en t=0 y x=0 para
primados.

1.3 Representacin matricial de las transformadas de Lorentz.


Se coloca un vector columna que represente cada sistema, uno primado y otro no primado, de tal
manera que como es costumbre el sistema primado sea el que se est moviendo respecto de un
sistema:
a e i m
t
t

b f j n
x
x
(6)
( ) = (c g k o ) ( ) ,
y
y
z
d h l p
z
Se ve un poco complicado, pero su solucin es casi inmediata, si debe parecerse a las transformadas
de Lorentz, y por supuesto movindose paralelamente en la direccin de x.
at + ex + iy + mz
t

bt + fx + jy + nz
x
(7)
( ) = (
),
ct + gx + ky + oz
y
dt + hx + ly + pz
z
Entonces podemos observar lo siguiente:
i = m = j = n = c = g = o = d = h = l = 0,
(8)
k = p = 1,
(9)
Ya que tales ecuaciones no dependen linealmente de otras coordenadas excepto x y t.
Luego se reduce:
t
at + ex
x
(10)
( ) = ( bt + fx ) ,
y
y
z
z
De las transformas de Lorentz, tenemos que:

v
a = f = , e = ( 2 ) , b = v,
c

(11)

Al final quedara:

t
(v/c 2 )

v
x

( ) = (
y
0
0
0
0
z

0
0
1
0

t
0
0) ( x ) ,
y
0
z
1

(12)

Pero carece de un poco de sentido, ya que la coordenada temporal no es coordenada espacial, por
tanto si multiplicamos por c la coordenada temporal nos dara el espacio que recorre la luz en un
tiempo t
Luego:
v

0 0

ct
ct
c

v
x
x
(13)
( ) =

0 0 ( ),
y
y
c
0
0
1 0
z
z
( 0
0
0 1)
Extrayendo la submatriz que nos interesa, si es que el sistema se est moviendo en la coordenada x.
v

c) (ct) ,
(ct) = ( v
(14)
x
x

c
v
Encontramos la inversa de la matriz cuadrada, por conveniencia se hace a= , b= c.
aa bb
ab ba
1 0
a b a b
(
)(
)=(
)=(
),
ab + ab bb + aa
0 1
b a
b a

(15)

Y multiplicando la matriz inversa en la izquierda en la matriz


v
v
v

c) (ct) = (
c) (
c) (ct) = (ct) ,
( v
v
v
x
x
x

c
c
c

(16)

Tenemos pues la transformacin inversa de las transformadas de Lorentz de un sistema primado a


un sistema no primado.
v

c) (ct) = (ct) ,
( v
(17)
x
x

c
a b
Por tanto definimos una matriz simple de Lorenz, como aquella que tiene la forma (
) O
b a
a b
(
) Y cumpla con la condicin: a2 b2 = 1
b a
Entonces el significado de estas condiciones, nos dice que el espacio-tiempo de Lorentz es nico,
distintivo y por tanto un espacio plano, propio de un espacio-tiempo de Minkowski.

2.0 Relatividad General.


En 1912 Einstein adopt el mtodo tensorial y en 1916 reconoci que gracias a Minkowski, fue mucho
ms fcil la transicin de la Relatividad Especial a la Relatividad General. El nombre de la teora se
debe a que generaliza la llamada teora especial de la relatividad. Los principios fundamentales
introducidos en esta generalizacin son el principio de equivalencia, que describe la aceleracin y la

gravedad como aspectos distintos de la misma realidad, la nocin de la curvatura del espacio-tiempo
y el principio de covariancia generalizado.
Las ecuaciones del campo de Einstein son no lineales y muy difciles de resolver. Einstein utiliz los
mtodos de aproximacin en la elaboracin de las predicciones iniciales de la teora. Pero ya en 1916,
el astrofsico Karl Schwarzschild encontr la primera solucin exacta no trivial de las Ecuaciones de
Campo de Einstein, la llamada Mtrica de Schwarzschild. Esta solucin sent las bases para la
descripcin de las etapas finales de un colapso gravitacional, y los objetos que hoy conocemos como
agujeros negros. En el mismo ao, se iniciaron los primeros pasos hacia la generalizacin de la
solucin de Schwarzschild a los objetos con carga elctrica, obtenindose as la solucin de ReissnerNordstrm, ahora asociada con la carga elctrica de los agujeros negros.
Durante ese perodo, la relatividad general se mantuvo como una especie de curiosidad entre las
teoras fsicas. Fue claramente superior a la gravedad newtoniana, siendo consistente con la
relatividad especial y contestaba varios efectos no explicados por la teora newtoniana. El mismo
Einstein haba demostrado en 1915 cmo su teora lograba explicar el avance del perihelio anmalo
del planeta Mercurio sin ningn parmetro arbitrario. Del mismo modo, en una expedicin de 1919
liderada por Eddington confirmaron la prediccin de la relatividad general para la desviacin de la luz
estelar por el Sol durante el eclipse total de Sol del 29 de mayo de 1919, haciendo famoso a Einstein
instantneamente. Sin embargo, esta teora ha entrado en la corriente de la fsica terica y la
astrofsica desarrollada aproximadamente entre 1960 y 1975, ahora conocido como la edad de oro
de la relatividad general. Los fsicos empezaron a comprender el concepto de agujero negro, y a
identificar la manifestacin de objetos astrofsicos como los cusares. Cada vez ms precisas, las
pruebas del sistema solar confirmaron el poder predictivo de la teora, y la cosmologa relativista,
tambin se volvi susceptible a encaminar pruebas observacionales.

2.1 Principios de la Relatividad General:


Las caractersticas esenciales de la teora de la relatividad general son las siguientes:

El principio general de covariancia: las leyes de la Fsica deben tomar la misma forma
matemtica en todos los sistemas de coordenadas.
El principio de equivalencia o de invariancia local de Lorentz: las leyes de la relatividad
especial (espacio plano de Minkowski) se aplican localmente para todos los observadores
inerciales.
La curvatura del espacio-tiempo es lo que observamos como un campo gravitatorio, en
presencia de materia la geometra del espacio-tiempo no es plana sino curva, una partcula
en movimiento libre inercial en el seno de un campo gravitatorio sigue una trayectoria
geodsica.

2.2 Introduccin matemtica.


A continuacin se recogen ciertos conceptos matemticos bsicos que ayudaran a tratar con ms
solvencia el tema. No pretenden ser deniciones rigurosas sino ms bien aproximaciones, en la
7

medida de lo posible, a estas mediante ejemplos sacados de la fsica, su utilidad reside en el


formalismo de la Relatividad General.
Qu es un grupo?
Un grupo es una estructura algebraica que satisface, respecto de una determinada ley de
composicin interna, las propiedades de asociatividad y existencia de elementos neutro e inverso.
Obsrvese que el carcter interno de la ley de composicin exige por si misma que el producto de
dos elementos del grupo este tambin en el grupo. Es importante destacar que un grupo lo es solo
respecto a la operacin binaria que se dene sobre l, as que no tiene sentido hablar de un grupo
sin explicitar respecto a que operacin. La fsica abunda en ejemplos de este tipo de estructuras y se
convierte en tema estrella al tratar con simetras de sistemas fsicos en mecnica cuntica (grupos
simtricos o de permutaciones, grupos de color, etc.) o clsica (grupo de Galileo, grupo simplecito,
etc.).
Qu es un tensor?
Un tensor es cierta clase de entidad algebraica de varias componentes, que generaliza los conceptos
de escalar, vector y matriz de una manera que sea independiente de cualquier sistema de
coordenadas elegido.
En un sentido prctico un tensor es objeto matemtico representado por un cierto conjunto de
componentes. Para definir un tensor es necesario partir de un espacio fsico o variedad diferenciable
que define cul es el espacio vectorial base V sobre el que se construirn tensores de diferente tipo
y orden. En mecnica clsica por ejemplo el espacio es 3, aunque en la teora de la relatividad
especial el espacio base es isomorfo a 4 y en la teora general de la relatividad es el espacio
tangente a una variedad Lorentziana de cuatro dimensiones. En matemticas lo ms usual es
construir la teora sobre una variedad Riemanniana o variedad Pseudoriemanniana n-dimensional.
Los fsicos e ingenieros, especialmente en tratamientos informales de los tensores, consideran que
un tensor es simplemente una magnitud fsica multi-ndice dada por un conjunto de nmeros reales
o "componentes" del tensor que se transforman de "manera adecuada". Es decir, si en un
determinado sistema de referencia una magnitud tensorial est dada por un conjunto de
,
componentes: 1 al cambiar a un sistema de referencia diferente tendr componentes con
1 ,

valores numricos diferentes: 11, Siendo la relacin entre las componentes de la magnitud en
uno y otro sistema de referencia la siguiente:


,
,

11, = 1, 11 11
,

(18)

Donde en la ltima expresin se ha usado el convenio de sumacin de Einstein y adems:

: Es la matriz del cambio de base de coordenadas


: Es la matriz del cambio de base inverso, que es la matriz traspuesta de la anterior.

Las magnitudes escalares de la fsica en general son tensores de orden cero, y varios de los tensores
fsicos importantes (tensor de inercia, tensor de tensiones, etc.) son tensores de segundo orden.
8

El ejemplo ms sencillo es la transformacin de Lorentz, descritas en el apartado 1.0.3 La cual


deducimos una transformacin, de tal manera que podemos hacer que en vez de que el observador
que se mueve a una velocidad v respecto de nosotros, nosotros nos movamos a esa velocidad
respecto a ese observador.

2.3 Propiedades de los tensores.


Ahora definimos algunas propiedades las cuales nos servirn para nuestra breve introduccin
matemtica, ntese que al trabajar en diferentes marcos es necesario definir nuestro sistema de
referencia respecto a algn otro sistema, y que por tanto bajo unas transformadas de cambio,
traslacin, o rotacin, nuestro sistema sea congruente con el marco de referencia.
I.

Convenio de sumacin de Einstein.

Anlogo al producto escalar en tres dimensiones:


3

= 1 1 + 2 2 + 3 3 = ,
.

(19)

Entonces el convenio de Einstein es la sumacin de trminos con el mismo ndice y tambin


ignorando el operador sigma matemticamente para tensores de diferentes rangos:

= + ,

(20)

Adems de ello, no necesariamente son del mismo rango, simplemente deben tener el mismo
subndice y/o superndice.
II.

Tensores de distintos orden.

En coordenadas cartesianas, el rango de un tensor viene determinado por el nmero de


componentes que pueda tener, tal es el caso de un escalar que solo viene determinado por un
nmero real a este escalar se le llama tensor de rango cero. Entonces a un vector lo llamaramos
tensor de rango uno y as sucesivamente.

Tensores de orden cero:

Como se dijo anteriormente, un escalar es una cantidad que requiere solo un nmero real en
cualquier sistema de coordenadas para ser descrito. Es decir es invariante ante cualquier cambio de
coordenadas en cualquier sistema. De esta manera si , es un escalar en un sistema de coordenadas
y , es el mismo escalar en otro sistema de coordenadas entonces = , Un escalar es un tensor
de orden cero porque requiere un solo nmero para ser descrito: 30 = 1

Tensores de orden uno: Vectores y Covectores:

Un vector en tres dimensiones necesita tres componentes por tanto es un tensor de rango uno,
adems para transformarlo a un sistema de referencia distinto de nuestro marco, es necesario
transformarlo linealmente. Si tenemos un vector expresado por sus componentes , en un sistema
9

y , en otro sistema, la transformacin de coordenadas para que el vector se mantenga invariante


se puede expresar:
= ,

(21)

Donde , es el coseno del ngulo entre el i-simo eje de coordenadas y el k-simo.


III.

Suma y resta de tensores.

Para sumar tensores, es necesario que sean del mismo rango, o si son de diferentes rangos lograr
una contraccin de alguno de los tensores a sumar y que posean el mismo rango, es anlogo a la
suma vectorial:
+ =
= (1 + 1 )1 + (2 + 2 )2 + (3 + 3 )3 =
+
IV.

Otras propiedades de inters.

Tensor contravariante:

Sea una coordenada en un sistema no primado, luego tenemos una coordenada que es en
otro sistema en este caso primado, de tal manera que se relacionan mediante:
= ,

(22)

En coordenadas cartesianas representa el ngulo entre las dos coordenadas. O dicho de otra
manera:
=

(23)

Si la ecuacin anterior se cumple, entonces para un set de cantidades se transforma de acorde a:


=

(24)

El cual definimos como Contravariante, al tensor con superndice .

Tensor covariante:

Si tenemos por ejemplo una funcin que depende de nuestro sistema no primado, y derivamos

respecto a en el mismo sistema no primado tendramos un tensor:


Al transformarlo en el sistema primado se tiene:

(25)

10

Se define un vector covariante el cual es derivado por una coordenada en el sistema no primado
entonces:

= ,
(26)

2.4 Tensor mtrico.


El tensor mtrico es un tensor de rango 2 que se utiliza para
mtricos como distancia, ngulo y volumen en un espacio localmente Eucldeo.

definir conceptos

Una vez que se elige una base local, el tensor mtrico aparece como una matriz, notada
convencionalmente G, La notacin se utiliza convencionalmente para los componentes del
tensor. As el tensor mtrico g se expresa fijada una base coordenada como:

= ,

(27)

,=1

11
=( :
1

1
:
: ),
. .

(28)

O ms cmodamente usando el convenio de sumacin de Einstein:


= ,

(29)

En fsica es muy comn escribir la mtrica como el cuadrado del elemento de longitud, dado que el
tensor es simtrico la notacin fsica es equivalente a la notacin anterior:
2 = ,

(30)

Por ejemplo:
Expresar la mtrica Euclideana en coordenadas polares.
La mtrica Euclideana:
2 = 2 + 2
Luego expresamos en coordenadas polares (r, ) para las cuales:
= , = () + ()
= , = () + ()
Luego:
2 = 2 + 2 = (() + ())2 + (() + ())2
2 = 2 + 2 2
Puesto que el elemento de lnea puede ser re-escrito como:
2 = 2 + 2 2 = 1()() + 0()() + 0()() + 2 ()()
2 = ()() + ()() + ()() + ()()
11

La representacin matricial G de la mtrica es la siguiente:

= (

1 0
) = (0 2 )

2.5 Ecuaciones del campo de Einstein.


Para poder entender el significado de una ecuacin de campo, empezamos con la ecuacin de campo
definida en mecnica clsica como: ecuacin de campo gravitatorio clsico. El cual es determinado
por la ecuacin de Poisson:
2 = 4,

(31)

Donde:
: Es el potencial gravitatorio.
: Es la constante gravitacional de Newton.
: Densidad de materia gravitacional.
De la ecuacin (31) podemos notar que es inconsistente con la teora de relatividad de Einstein, por
el simple hecho que no aparece una dependencia temporal, adems de ello podemos observar que
tampoco es covariante ante las transformadas de Lorentz esto es porque depende de la masa
medida en un sistema de referencia inercial y tambin del espacio que contiene esa masa de tal
manera que como se observ con la contraccin de Lorentz para la longitud, el volumen se contrae
haciendo una densidad aparente.
Las ecuaciones del campo de Einstein, ecuaciones de Einstein o ecuaciones de Einstein-Hilbert
(conocidas como EFE, por Einstein field equations) son un conjunto de 10 ecuaciones de la teora de
la relatividad general de Albert Einstein que describen la interaccin fundamental de la gravitacin
como resultado de que el espacio-tiempo est siendo curvado por la materia y la energa. Las
ecuaciones de campo de Einstein relacionan la presencia de materia con la curvatura del espaciotiempo. Ms exactamente cuanto mayor sea la concentracin de materia, representada por el tensor
de energa-impulso, tantos mayores sern las componentes del tensor de curvatura de Ricci. En
el lmite clsico no-relativista, esto es, a velocidades pequeas comparadas con la luz y campos
gravitacionales relativamente dbiles, las ecuaciones del campo de Einstein se reducen a la ecuacin
de Poisson para el campo gravitatorio que es equivalente a la ley de gravitacin de Newton.
Para cada punto del espacio-tiempo, la ecuacin del campo de Einstein describe cmo el espaciotiempo se curva por la materia y tiene la forma de una igualdad local entre un tensor de curvatura
para el punto y un tensor que describe la distribucin de materia alrededor del punto:
=

8
,
4

(32)

Donde:

12

: El tensor de curvatura de Einstein, que se forma a partir de derivadas segundas del tensor
mtrico ,

: El tensor momento-energa.

C: La velocidad de la luz

: Constante de la gravitacin universal.

Esa ecuacin se cumple para cada punto del espacio-tiempo. El tensor de la curvatura de Einstein se
puede escribir como:
1
= + ,
2

(33)

Donde:

, Es el tensor de curvatura de Ricci

R Es el escalar de curvatura de Ricci

Es la constante cosmolgica.

Se llama tensor de Ricci al tensor de tipo (0, 2) esto es, convierte un tensor de rango 0 a un tensor
de rango 2, cuyas componentes son la contraccin en un ndice covariante y otro contra variante del
tensor de curvatura.

=
,

(34)

Adems, se llama curvatura escalar, que suele designarse con las letras R o s, a la funcin que se
obtiene por contraccin mtrica de los dos ndices del tensor de Ricci:
= ,

(35)

La ecuacin del campo por lo tanto tambin puede expresarse si introducimos 33 en 32:
1
8
+ = 4 ,
2

(36)

Es un tensor simtrico 4 x 4, as que tiene 10 componentes independientes. Dado la libertad de


eleccin de las cuatro coordenadas del espacio-tiempo, las ecuaciones independientes se reducen
en nmero a 6. Estas ecuaciones son la base de la formulacin matemtica de la relatividad general.
Ntese que considerando la contraccin sobre los dos ndices de la ecuacin (28) se encuentra que
el escalar de curvatura se relaciona con la traza del tensor energa impulso y la constante cosmolgica
mediante:
8
,
(37)
4
Esa relacin permite escribir equivalentemente las ecuaciones de campo (36) como:
8
1
+ = 4 ( ) ,
(38)

2
2 + 4 =

13

2.6 Soluciones a la ecuacin de campo de Einstein.


Una solucin de la ecuacin del campo de Einstein es cierta mtrica apropiada para la distribucin
dada de la masa y de la presin de la materia. Algunas soluciones para una situacin fsica dada son
como sigue.

Distribucin de masa esfrica simtrica y esttica

La solucin para el vaco alrededor de una distribucin de masa esfrica simtrica, esttica, es
la mtrica de Schwarzschild y la mtrica de Kruskal-Szekeres. Se aplica a una estrella y conduce a la
prediccin de un horizonte de sucesos ms all del cual no se puede observar. Predice la posible
existencia de un agujero negro de masa dada M del que no puede ser extrada ninguna energa, en
el sentido clsico del trmino (i.e. no mecnico-cuntico).

Masa de simetra axial en rotacin

La solucin para el espacio vaco alrededor de una distribucin de masa de simetra axial en rotacin
es la mtrica de Kerr. Se aplica a una estrella que rota y conduce a la prediccin de la existencia
posible de un agujero negro en rotacin de masa dada M y momento angular J, del cual la energa
rotatoria puede ser extrada.

Universo istropo y homogneo (o uniforme)

La solucin para un Universo istropo y homogneo, lleno con una densidad constante y de una
presin insignificante, es la mtrica de Robertson-Walker. Se aplica al Universo en su totalidad y
conduce a diversos modelos de su evolucin que predicen un Universo en expansin.

2.7 La mtrica de Schwarzschild y la deduccin de la mtrica de Minkowski.


La mtrica de Schwarzschild es una solucin exacta de las ecuaciones de Einstein del campo
gravitatorio que describe el campo generado por una estrella o una masa esfrica. Este tipo de
solucin puede considerarse una descripcin relativista aproximada del campo gravitatorio
del sistema solar. Y bajo ciertas condiciones tambin describe un tipo de agujero negro.
Condiciones matemticas:
Las condiciones de las que parti Schwarzschild para solucionar las ecuaciones de Einstein son las
siguientes:
1. Esttica: existe al menos un sistema de coordenadas donde la mtrica no depende de la
coordenada temporal (y donde los trminos de la mtrica son nulos, donde es
cualquier coordenada espacial).
2. Esfricamente simtrica: Las secciones espaciales (t constante) tienen la forma:
() + 2 . De este modo, la simetra ser (3).
3. Para grandes distancia a la fuente de gravedad, la solucin debe ser la mtrica de Minkowski.
En coordenadas casi-esfricas o coordenadas de Schwarzschild la mtrica tiene la forma:
14

= 2 (1

2
2 1
)

+
(1

) + 2 ( + sin2 ),
2
2

(39)

Donde G es la constante de gravitacin universal y M se interpreta como la masa aparente del


objeto, planeta o estrella que crea el campo. El sistema de coordenadas anterior est definido slo
para una regin abierta definida del espacio-tiempo: aquella en la que pueden existir observadores
estticos (tambin llamada regin I del espacio-tiempo de Kruskal).
A partir de la mtrica de Schwarzschild, se puede deducir la mtrica de Minkowski bajo la condicin
3 y solo para estudiar el movimiento radial, podemos olvidar las partes angulares, por tanto:
= 2 2 + 2
= 2 2 + 2 + 2 + 2 ,

(40)

Donde
= 2
Tenemos entonces la mtrica de Minkowski:
2 = 2 2 + 2 + 2 + 2 ,

(41)

La ecuacin (41) es invariante bajo las transformadas de Lorentz que se continuara en el siguiente
apartado.

3.0 Mtrica de Minkowski


La ecuacin (41) establece la mtrica a trabajar para distancias muy lejos de la masa que ocasiona el
campo gravitatorio, escribindola de nuevo:
2 = 2 2 + 2 + 2 + 2
Esta ecuacin es vlida en nuestro sistema de referencia en tanto habra que encontrar en otro
sistema de referencia tal que se est moviendo a una velocidad v respecto de nosotros:
Pero si encontramos una mejor manera de expresa ese intervalo o 2 , seria en forma matricial esto
es:

= (

1
) ( 0
0
0

0
1
0
0

0
0
1
0

0
0) ( ) = 2 2 + 2 + 2 + 2

0
1

De tal manera que podemos expresarlo en una forma ms compacta, usando el convenio de Einstein.
2 = = ,

(42)

Con:

15

1
=( 0
0
0

0
1
0
0

0
0
1
0

0
0) ,
0
1

(43)

Este factor , el cual es especificado en su totalidad en un espacio de cuatro dimensiones por 16


componentes, es mejor conocido como el tensor mtrico. La distancia 2 sobre la cual est definido
el tensor mtrico es conocida ya sea como el elemento de lnea y ms frecuentemente como
la mtrica.
La mtrica es todo lo que necesitamos ver para saber si el espacio-tiempo en el que estamos
trabajando es un espacio-tiempo plano propio de la Teora Especial de la Relatividad o un espaciotiempo curvo propio de la Teora General de la Relatividad.
Adems la curvatura de la mtrica de Minkowski es cero, eso implica que es un espacio plano, o un
universo vaco, ya que el tensor de curvatura se anula y por tanto el resto de tensores y escalares es
nulo.

3.1 Propiedades matemticas del espacio de Minkowski.


Definimos entonces dos cuadrivectores que pues pertenecen a 4 y por supuesto definido en una
base cannica {0 , 1 , 2 , 3 }:
= 0 + 1 + 2 + 3 ,

= 0 + 1 + 2 + 3 ,

(44)

Fsicamente tiene las equivalencias donde 0 = y los dems subndices corresponden a X,Y y Z,
entendido esto entonces procedemos.
I.

Producto escalar en el espacio de Minkowski. Se define entonces el producto escalar a partir


de (44), por tanto sera un producto entre cuadrivectores:
| = 0 0 + 1 1 + 2 2 + 3 3 ,

(45)

Esta definicin (47) define un producto escalar que no necesariamente es positivo. Adems de ello
se observa lo siguiente:
a) Es simtrica | = |, para todo , 4
b) Es bilineal para todo , , 4 ,
a. | + = | + |
c) Es no degenerada, esto es si | = 0 para todo 4 entonces = 0
II.
III.

El par (4 , |) formado por el espacio vectorial 4 y la mtrica de Minkowski se llama


espacio de Minkowski.
Sea = {0 , 1 , 2 , 3 } la base cannica, los elementos | forman la matriz que
representa la mtrica de Minkowski en la base cannica y que es:
16

1
0
=(
0
0

0
1
0
0

0
0
1
0

0
1
)
1
1

Esto permite escribir la mtrica matricialmente:


| = ,
IV.

(46)

Sea = (0 , 1 , 2 , 3 ) 4 al igual que sus elementos | forman una matriz que


representa la mtrica de Minkowski en la base , analizamos pues las matrices de la mtrica
entre dos bases, sea = (0 , 1 , 2 , 3 ) 4 la cual sus elementos forman una matriz
tambin representa la mtrica de Minkowski. Llamemos a la matriz de cambio de base, de
a esto quiere decir que los vectores en la base primada estn relacionados de esta
manera:
=
=
=
Si adems hay otro vector, y se define la mtrica usando la propiedad IV y ecuacin (46):
= = =
Para todo , , 4 , por tanto se obtiene que:
= ,

(47)

Lo cual establece que el determinante de A y de A tienen el mismo signo.


V.

Dado un vector v, se dice vector unitario si cumple:


| = 1,

VI.

(48)

Dos vectores x, y se dicen ortogonales si:


| = 0,

(49)

Una base se dice ortogonal cuando sus vectores son ortogonales, si adems los vectores son
unitarios, entonces es ortonormal.
VII.

Un vector v, se dice que es temporal cuando | < 0, espacial si | > 0, y nulo si


| = 0, este ltimo es la trayectoria recorrida por la luz. Adems se dice que si es temporal
o luz se les llama causal.
17

VIII.

La norma de un vector se define como :


|| = |,
Que puede ser mayor o igual a cero.

IX.

(50)

El conjunto de vectores temporales forman dos conos temporales uno ser llamado futuro y
otro pasado, adems de que cada uno forma un conjunto convexo, la frontera del cono
temporal est formada por el origen y los vectores luz.
Los vectores luz tambin forman dos conos temporales, no son convexos y se les llama cono
de luz pasado o cono de luz futuro.
Orientar temporalmente el espacio de Minkowski es elegir uno de los conos temporales.

Figura 1 Diagrama de vectores espaciales y temporales en el espacio de Minkowski

3.2 Espacio-Tiempo de Minkowski.


En su conferencia de 1908 ante la asamblea de cientcos naturales en Colonia, titulada Espacio y
tiempo, el matemtico Hermann Minkowski anuncio: ...el espacio por s mismo y el tiempo por s
mismo estn condenados a convertirse en meras sombras, y solo una especie de unin de los dos
preservar una realidad independiente. Esta nueva realidad fsica se llama el Espacio-tiempo.
Un evento se dene como un acontecimiento determinado por 4 nmeros, su posicin en el espacio
y el momento de su ocurrencia. El conjunto de todos los puntos en este espacio de cuatro
dimensiones se conocer en lo sucesivo como el Espacio-tiempo o el Espacio de Minkowski. Espacio
y tiempo por separado no son absolutos pero el espacio-tiempo es un absoluto.
18

Ahora le damos dotacin fsica a ese espacio y lo llamaremos Espacio-Tiempo porque relaciona una
parte temporal, en este caso el producto seria de la ecuacin (47)
| = 0 0 + 1 1 + 2 2 + 3 3
Haciendo =
| = 0 0 + 1 1 + 2 2 + 3 3
Llamando a | = 2
2 = 0 0 + 1 1 + 2 2 + 3 3
Luego llamando a 0 = , 1 = , 2 = , 3 =
2 = 2 2 + 2 + 2 + 2
Que es pues entonces la mtrica de Minkowski. Ahora surge el problema de como graficar cuatro
ejes perpendiculares. A la ecuacin anterior con las sustituciones adecuadas se le llama EspacioTiempo de Minkowski.
El elemento de lnea se le denomina lnea de universo, a un punto P definido por las 3 coordenadas
espaciales y 1 temporada se le denomina evento o suceso, o en palabras de Minkowski: un punto
de universo

3.3 Diagramas de Minkowski.


Del apartado anterior, nos formulamos la pregunta de cmo graficar un espacio-tiempo con cuatro
ejes perpendiculares entre s, Minkowski le encontr una solucin trivial, de tal manera que se
pudiera graficar dos coordenadas espaciales y a la coordenada temporal la convierte en una
coordenada imaginaria, as usara el plano complejo que es perpendicular a cada componente,
tambin se le llama espacio Pseudoeuclideo.
El concepto unicado de Espacio-Tiempo, introducido por H. Minkowski en 1908, es una mera
simplificacin matemtica. El espacio y el tiempo son completamente diferentes, se miden de formas
muy distintas y los percibimos tambin de distinto modo. Ahora bien, en relatividad no se analizan
las localizaciones de objetos en el espacio, sino sucesos que estn localizados en el espacio y en el
tiempo: para especicar un suceso hay que decir dnde (tres dimensiones espaciales) y cundo (una
dimensin ms, el tiempo). Minkowski propuso concebir el mundo como una red espacio-temporal
tetradimensional. Esta visin tiene dos ventajas: Primero, nos lleva a una resolucin grca muy
sencilla y prctica de las transformaciones de Lorentz, haciendo uso de los diagramas espacio-tiempo
o diagramas de Minkowski, que estudiaremos a continuacin. Adems, los diagramas espacio-tiempo
nos permiten visualizar la pelcula completa de la evolucin de un objeto en el espacio y el tiempo:
su lnea de universo.

19

Hagamos pues el diagrama de Minkowski, trabajando solo con una coordenada espacial y la temporal.
Sea un observador en reposo con coordenada vertical ct, y con coordenada horizontal x. Cuando
fijamos que C=1, estamos diciendo que nada puede viajar ms rpido que C, implica que solo pueden
haber velocidades menor que 1. Se da este tratamiento para poder visualizar mejor la grfica,

Figura 2. Diagrama de O.

En la figura 2, podemos observar lo siguiente si emitimos un pulso de luz, la luz se ira a todas las
direcciones a la misma velocidad representada con el color azul punteado, ya que es un movimiento
uniforme rectilneo, x=ct, esa es la ecuacin caracterstica de la luz. Si hacemos c=1 m/s, pues =
tan() = 1, entonces = 45. Hemos llamado a t, como el tiempo propio, x es la distancia desde el
origen, las lneas del universo son rectas como por ejemplo la lnea color roja que representa en que
coordenadas estar una partcula con cierta velocidad uniforme. Por tanto digamos que el suceso A
tiene coordenadas (t,x) con c=1. Para un observador que se mueve respecto de nosotros llamado
se puede graficar superponiendo su sistema en el nuestro como sigue:

Figura 3. Diagrama de O' y de O.

20

Sin embargo, para no ocurre ni en el mismo instante o posicin que , sin embargo podemos
notar que A no se ha movido de la figura 2, entonces A en el sistema de tendr las coordenadas
(t,x) con C=1. La transformacin de A con A se rige por las transformadas de lorentz:
t = (t vx), x = (x vt), =

1
1 ()2

con c = 1, y < 1,

(51)

3.4 Intervalo Invariante y calibracin de los ejes.


No todo es relativo al observador. Ya hemos visto que la velocidad de la luz es la misma para cualquier
observador. Adems hay otra cantidad muy importante que tambin es invariante. Se trata del
intervalo entre dos sucesos, que cualquier observador puede determinar fcilmente a partir de sus
medidas de la localizacin en el espacio y en el tiempo de dos sucesos cualesquiera. Supongamos,
por simplicidad, que uno de los dos sucesos es el origen espaciotemporal de ambos sistemas
inerciales O, y y sean pues las coordenadas (x,ct) y (x,ct) las coordenadas del segundo suceso
denotado por A, definimos el intervalo como:
2

2 = 2 2 + 2 = 2 + ,

(52)

Bajo las transformadas de Lorentz, esta igualdad se cumple y entonces 2 es la misma para todos
los observadores que miden los dos sucesos O y A. Demostracin:
2

2 2 + 2 = 2 +
2

2
2 2
2 2
2
)]
=

+
)
(
2
2
4
= [( )]2 = 2 ( 2 2 + 2 2 )

2 = 2 [ (

2
2 2

+
) + 2 ( 2 2 + 2 2 )
2
4
2
= 2 ( 2 2 + 2 2 2 + 2 2 + 2 2 )

2
= 2 ( 2 2 2 2 + 2 + 2 2 )

2
= 2 (( 2 2 ) 2 + (1 2 ) 2 )

2
= 2 ( 2 ( 2 1) 2 + (1 2 ) 2 )

2
= 2 ( 2 (1 2 ) 2 + (1 2 ) 2 )

2
= 2 ( 2 2 + 2 ) = 2 2 + 2

QED (Quod erat demonstrandum)


2

2 + = 2 2 ( 2

21

Ahora lo que prosigue es el ngulo entre las coordenadas de y . El ngulo es el mismo entre ct
y ct pero hay que relacionarla de alguna manera, por ejemplo algunos libros lo relacionan mediante
la hiprbola que se obtiene del elemento de lnea, en este apartado podemos obtenerla de ah pero
simplificando unas cosas:
Segn la figura 4:
tan =

(53)

En el sistema , ct=0, Por tanto

( 2 ) = = 0

= 2 ,
(54)

Introduciendo (53) en (54):


tan =

= 2 =

= tan1 ,

(55)

Por tanto solo depende de la velocidad relativa entre los sistemas. La ecuacin (55) es vlida para
cualquier velocidad se puede observar que si v=0 nos devuelve = 0 o dicho de otra manera, es otro
observador en reposo.

Figura 4. Relacin entre los ejes y el ngulo .

3.5 Orden Temporal y causalidad.


Para poder desarrollar las aplicaciones es necesario saber lo que es un orden temporal o causalidad.
En tal caso para los Para que dos eventos estn causalmente conectados algo debe propagarse desde
el evento causa al evento efecto. Por ejemplo, en la figura 5. Para el observador O, el vera primero el
22

suceso A y luego B, pero para O el vera primero B y luego A. Es imperativo que el orden se mantenga
para todos los sistemas de referencia inerciales, de tal manera que exista el orden temporal, primero
la causa, luego efecto. No se atrapa la pelota antes de ser lanzada.

Figura 5. Eventos que no estn conectados causalmente

Por tanto se puede decir que:


Todo suceso fuera del cono no estn relacionados causalmente para ningn sistema de referencia,
por el simple hecho de que no pueden viajar ms rpido que la velocidad de la luz:

Figura 6. Zonas permitidas dentro del marco de Relatividad.

Para que un evento est relacionado con otro evento, deben estar dentro del cono llamado futuro,
o en tal caso si viene del pasado hacia adelante, como se haba establecido, la frontera de los conos
es la velocidad de la luz, por tanto ms all se violara el principio de causalidad.
23

3.6 Aplicaciones de Relatividad especial usando el espacio-tiempo de Minkowski.


I.

Contraccin de la longitud

Ilustrar mediante un diagrama espacio-tiempo el fenmeno de la contraccin de longitud sobre una


vara de medicin, suponiendo que:

El observador en reposo O es el que tiene la vara de medir y el observador O es el que la ve


pasar frente a l.
Si el observador en reposo es el que tiene una vara de medir de longitud , las lneas del
mundo de los dos extremos de la vara de medir se mantendrn como dos lneas verticales
paralelas proyectadas hacia arriba como lo muestra el siguiente diagrama espacio-tiempo:

Figura 7. Contraccin de la longitud

Entonces lo que tenemos que encontrar es AB de distintas maneras para empezar:


tan =


=
=

Pero CD es la longitud en reposo, adems de que AE=CD, ED=AC, y por supuesto CD= , EB=0
0 + 0
=
=
= tan = /
+

La ms til parece ser el segundo trmino de izquierda a derecha:


0

= 0 = 0

Luego usando la mtrica e invariancia.


2

0 2 + 2 = 0 +

24

Como = 0 , 0 = 0 , 0 = 0
2 2
2
0 =
2

= 0 =

0 2
Como < 1 entonces < 0 .
II.

Dilatacin del tiempo.

Figura 8. Dilatacin del tiempo.

El reloj esta en reposo en y mediremos desde un intervalo temporal , como en est en

reposo = 0, luego tan = /, de ella se sigue sen = .

Del tringulo ABC en la figura 6:


sen =

= 0
0

Reemplazando en la invariancia y mtrica:


2

0 2 + 2 = 0 +
2
2
0 2 + 2 2 02 = 0

2
2
0 2 = 0 (1 + 2 2 )

= 0

Eso implica que el intervalo temporal medido en es menor que en .


25

4.0 Bibliografa.

[1]
[2]
[3]
[4]
[5]
[6]
[7]

Gabriel Hernndez. (Enero 2015). Geometra Diferencial en el espacio de Minkowski


de dimensin tres. UNAM, 1, 84. 15 agosto 2015, De arxiv.org Base de datos.
A.P. French, [Special Relativity, 1968] Relatividad Especial, Editorial Revert,1991.
Manuel Crespos. (Julio 2009). Ecuaciones del Campo de Einstein. UM, 2, 16. 20 sep
2015, De webs.um.es/bussons Base de datos.
H. Martini & K. J. Swanepoel. (2004). The Geometry of Minkowski Spaces - A Survey.
Elsevier, 1, 52. 23 oct 2015, De Arxiv.org Base de datos.
Alonso Seplveda. (2011). Geometra de Minkowski. UDEA, 2, 38. 24 oct 2015, De
UDEA Base de datos.
Manuel Gutirrez. (2010). Tema 2. Seccin 1. En Espacio Vectorial de Minkowski(6).
2010: UMA.
George B. Arfken & Hans J. Weber . (2005). mathematical methods for physicists.
USA: ElSEVIER ACADEMIC PRESS.

26