Teoría de la relatividad

Con el nombre de Teoría de la Relatividad se engloban generalmente dos cuerpos de investigación en ciencias físicas, usualmente conectadas con las investigaciones del físico Albert Einstein: su Teoría de la Relatividad Especial y su Teoría de la Relatividad General.

La primera, publicada en 1905, trata de la física del movimiento de los cuerpos en ausencia de fuerzas gravitatorias. La segunda, de 1915, es una teoría de la gravedad que reemplaza a la gravedad newtoniana pero se aproxima a ella en campos gravitatorios débiles. La teoría especial se reduce a la general en ausencia de campos gravitatorios.

Archivo:Albert Einstein 1979 USSR Stamp.jpg

Sello de correos soviético cuyo motivo es Albert Einstein con su famosa ecuación $E=mc^{2}$.

Conceptos principales

La idea esencial de ambas teorías es que dos observadores que se mueven relativamente uno al lado de otro con una gran velocidad, del orden de la velocidad de la luz, a menudo obtendrán diferentes medidas del tiempo (intervalos de tiempo) y el espacio (distancias) para describir las mismas series de eventos. Es decir, la percepción del espacio y el tiempo depende del estado de movimiento del observador o es relativa al observador. Sin embargo, a pesar de esta relatividad del espacio y el tiempo, existe una forma más sutil de invariancia física, ya que el contenido de las leyes físicas será el mismo para ambos observadores. Esto último significa que, a pesar de que los observadores difieran en el resultado de medidas concretas de magnitudes espaciales y temporales, encontrarán que las ecuaciones que relacionan las magnitudes físicas tienen la misma forma, con independencia de su estado de movimiento. Este último hecho se conoce como principio de covariancia.

Relatividad especial

La Teoría de la Relatividad Especial, también llamada Teoría de la Relatividad Restringida, publicada por Einstein en 1905. Esta teoría describe la física del movimiento en el marco de un espacio-tiempo plano y se usa básicamente para estudiar sistemas de referencia inerciales. Estos conceptos fueron presentados anteriormente por Poincaré y Lorentz, que son considerados como originadores de la teoría.

Tras la publicación del artículo de Einstein, la nueva Teoría de la relatividad especial fue aceptada en unos pocos años por la practica totalidad de los físicos y los matemáticos, de hecho personas como Poincaré o Lorentz habían estado muy cerca de llegar al mismo resultado que Einstein. La forma geométrica definitiva de la teoría se debe a Hermann Minkowski, antiguo profesor de Einstein en la Politécnica de Zürich, acuñó el término "espacio-tiempo" (Raumzeit) y le dio la forma matemática adecuada​ El espacio-tiempo de Minkowski es una variedad tetradimensional en la que se entrelazaban de una manera insoluble las tres dimensiones espaciales y el tiempo. En este espacio-tiempo de Minkowski, el movimiento de una partícula se representa mediante su línea de universo (Weltlinie), una curva cuyos puntos vienen determinados por cuatro variables distintas: Las tres dimensiones espaciales ($x\$,$y\$,$z\$) y el tiempo ($t\$). El nuevo esquema de Minkowski obligó a reinterpretar los conceptos de la métrica existentes hasta entonces. El concepto tridimensional de punto fue sustituido por el de evento. La magnitud de distancia se reemplaza por la magnitud de intervalo.

Relatividad general

Esquema de la curvatura del espacio-tiempo alrededor de una masa con simetría esférica.

La relatividad general fue publicada por Einstein en 1915, y fue presentada como conferencia en la Academia de Ciencias Prusiana el 25 de noviembre. La teoría generaliza el principio de relatividad de Einstein para un observador arbitrario. Esto implica que las ecuaciones de la teoría deben tener una forma de covariancia más general que la covariancia de Lorentz usada en la teoría de la relatividad especial. Además de esto, la teoría de la relatividad general propone que la propia geometría del espacio-tiempo se ve afectada por la presencia de materia, de lo cual resulta una teoría relativista del campo gravitatorio. De hecho la teoría de la relatividad general predice que el espacio-tiempo no será plano en presencia de materia y que la curvatura del espacio-tiempo será percibida como un campo gravitatorio.

Debe notarse que el matemático alemán David Hilbert escribió e hizo públicas las ecuaciones de la covarianza antes que Einstein. Ello resultó en no pocas acusaciones de plagio contra Einstein, pero probablemente sea más, porque es una teoría (o perspectiva) geométrica. La misma postula que la presencia de masa o energía «curva» al espacio-tiempo, y esta curvatura afecta la trayectoria de los cuerpos móviles e incluso la trayectoria de la luz.

Formalismo de la Teoría de la Relatividad

Véanse también: Espacio-tiempo, Cuadrivector y Tensor.

Representación de la línea de universo de una partícula. como no es posible reproducir un espacio-tiempo de cuatro dimensiones, en la figura se representa sólo la proyección sobre 2 dimensiones espaciales y una temporal.

Partículas

En teoría de la relatividad una partícula puntual queda representada por un par $(\gamma (\tau ),m)\;$, donde $\gamma (\tau )\;$ es una curva diferenciable, llamada línea de universo de la partícula, y m es un escalar que representa la masa en reposo. El vector tangente a esta curva es un vector temporal llamado cuadrivelocidad, el producto de este vector por la masa en reposo de la partícula es precisamente el cuadrimomento. Este cuadrimomento es un vector de cuatro componentes, tres de estas componentes se denominan espaciales y representan el análogo relativista del momento lineal de la mecánica clásica, la otra componente denominada componente temporal representa la generalización relativista de la energía cinética. Además dada una curva arbitraria en el espacio-tiempo puede definirse a lo largo de ella el llamado intervalo relativista, que se obtiene a partir del tensor métrico.

Campos

Cuando se consideran campos o distribuciones continuas de masa, las anteriores magnitudes no están bien definidas y se necesita algún tipo de generalización para ellas. Así el concepto de cuadrimomento se generaliza mediante el llamado tensor de energía-impulso que representa la distribución en el espacio-tiempo tanto de energía como de momento lineal. A su vez un campo dependiendo de su naturaleza puede representarse por un escalar, un vector o un tensor. Por ejemplo el campo electromagnético se representa por un tensor de segundo orden totalmente antisimetrico o 2-forma. Si se conoce la variación de un campo o una distribución de materia, en el espacio y en el tiempo entonces existen procedimientos para construir su tensor de energía-impulso.

Magnitudes físicas

En relatividad, estas magnitudes físicas son representadas por vectores 4-dimensionales o bien por objetos matemáticos llamados tensores, que generalizan los vectores, definidos sobre un espacio de cuatro dimensiones. Matemáticamente estos 4-vectores y 4-tensores son elementos definidos del espacio vectorial tangente al espacio-tiempo (y los tensores se definen y se construyen a partir del fibrado tangente o cotagente de la variedad que representa el espacio-tiempo).

Correspondencia entre E3​ y M4​

Espacio tridimensional euclideo	Espacio-tiempo de Minkowski jair andres
Punto	Evento
Distancia	Intervalo
Velocidad	Tetravelocidad
Momentum	Tetramomentum

El intervalo relativista

El intervalo relativista puede definirse en cualquier espacio-tiempo sea este plano como en la relatividad especial o curvo como en relatividad general. Sin embargo por simplicidad discutiremos inicialmente el concepto de intervalo par el caso de un espacio-tiempo plano. El tensor métrico del espacio-tiempo plano de Minkowski se designa con la letra $\eta _{ij}\$ y en coordenadas galileanas o inerciales toma la siguiente forma:​

$g_{ij}=\eta _{ij}={\begin{pmatrix}c^{2}&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&-1\\\end{pmatrix}}$

El intervalo, la distancia tetradimensional, se representa mediante la expresión $ds^{2}\$ se calcula del siguiente modo:

$ds^{2}\ =g_{ij}dx^{i}dx^{j}$

$ds^{2}\ =c^{2}(dx^{0})^{2}-(dx^{1})^{2}-(dx^{2})^{2}-(dx^{3})^{2}$

$ds^{2}\ =c^{2}t^{2}-dx^{2}-dy^{2}-dz^{2}$

$ds^{2}\ =c^{2}dt^{2}-dl^{2}$

Los intervalos pueden ser clasificados en tres categorías: Intervalos espaciales (cuando $ds^{2}$ es negativo), temporales (si $ds^{2}$ es positivo) y nulos (cuando $ds^{2}$ = 0). Como el lector habrá podido comprobar, los intervalos nulos son aquellos que corresponden a partículas que se mueven a la velocidad de la luz, como los fotones: La distancia $dl^{2}$ recorrida por el fotón es igual a su velocidad (c) multiplicada por el tiempo $dt$ y por lo tanto el intervalo $ds^{2}=c^{2}dt^{2}-dl^{2}$ se hace nulo.

Reproducción de un cono de luz, en el que se representan dos dimensiones espaciales y una temporal (eje de ordenadas). El observador se sitúa en el origen, mientras que el futuro y el pasado absolutos vienen representados por las partes inferior y superior del eje temporal. El plano correspondiente a t = 0 se denomina plano de simultaneidad o hipersuperficie de presente. Los sucesos situados dentro de los conos están vinculados al observador por intervalos temporales. Los que se sitúan fuera, por intervalos espaciales.

Los intervalos nulos pueden ser representados en forma de cono de luz, popularizados por el celebérrimo libro de Stephen Hawking, Historia del Tiempo. Sea un observador situado en el origen, el futuro absoluto (los sucesos que serán percibidos por el individuo) se despliega en la parte superior del eje de ordenadas, el pasado absoluto (los sucesos que ya han sido percibidos por el individuo) en la parte inferior, y el presente percibido por el observador en el punto 0. Los sucesos que están fuera del cono de luz no nos afectan, y por lo tanto se dice de ellos que están situados en zonas del espacio-tiempo que no tienen relación de causalidad con la nuestra.

Imaginemos, por un momento, que en la galaxia Andrómeda, situada a 2 millones de años luz de nosotros, sucedió un cataclismo cósmico hace 100.000 años. Dado que 1) la luz de Andrómeda tarda 2 millones de años en llegar hasta nosotros y 2) nada puede viajar a una velocidad superior a la de los fotones, es evidente, que no tenemos manera de enterarnos lo que sucedió en dicha Galaxia hace tan sólo 100.000 años. Se dice por lo tanto que el intervalo existente entre dicha hipotética catástrofe cósmica y nosotros, observadores del presente, es un intervalo espacial ($ds^{2}<0$), y por lo tanto, no puede afectar a los individuos que en el presente viven en la Tierra: Es decir, no existe relación de causalidad entre ese evento y nosotros.

Imagen de la galaxia Andrómeda tomada por el telescopio Spitzer. ¿Pueden llegar hasta nosotros sucesos acaecidos tan sólo 100.000 años atrás? Evidentemente no. Se dice por tanto que entre tales eventos y nosotros existe un intervalo espacial.

Podemos escoger otro episodio histórico todavía más ilustrativo: El de la estrella de Belén, tal y como fue interpretada por Johannes Kepler. Este astrónomo alemán consideraba que dicha estrella se identificaba con una supernova que tuvo lugar el año 5 a. C., cuya luz fue observada por los astrónomos chinos contemporáneos, y que vino precedida en los años anteriores por varias conjunciones planetarias en la constelación de Piscis. Esa supernova probablemente estalló hace miles de años atrás, pero su luz no llegó a la tierra hasta el año 5 a. C. De ahí que el intervalo existente entre dicho evento y las observaciones de los astrónomos egipcios y megalíticos (que tuvieron lugar varios siglos antes de Cristo) sea un intervalo espacial, pues la radiación de la supernova nunca pudo llegarles. Por el contrario, la explosión de la supernova por un lado, y las observaciones realizadas por los tres magos en Babilonia y por los astrónomos chinos en el año 5 a. C. por el otro, están unidas entre sí por un intervalo temporal, ya que la luz sí pudo alcanzar a dichos observadores.

El tiempo propio y el intervalo se relacionan mediante la siguiente equivalencia: $\ cd\tau =ds$, es decir, el intervalo es igual al tiempo local multiplicado por la velocidad de la luz. Una de las características tanto del tiempo local como del intervalo es su invarianza ante las transformaciones de coordenadas. Sea cual sea nuestro punto de referencia, sea cual sea nuestra velocidad, el intervalo entre un determinado evento y nosotros permanece invariante.

Esta invarianza se expresa a través de la llamada geometría hiperbólica: La ecuación del intervalo $ds=$ tiene la estructura de una hipérbola sobre cuatro dimensiones, cuyo término independiente coincide con el valor del cuadrado del intervalo ($ds^{2}=dt^{2}-dl^{2}$), que como se acaba de decir en el párrafo anterior, es constante. Las asíntotas de la hipérbola vendrían a coincidir con el cono de luz.

Cuadrivelocidad, aceleración y cuadrimomentum

En el espacio tiempo de Minkowski, las propiedades cinemáticas de las partículas se representan fundamentalmente por tres magnitudes: La cuadrivelocidad (o tetravelocidad) , la aceleración y el cuadrimomentum (o tetramomentum).

La cuadrivelocidad es un cuadrivector tangente a la línea de universo de la partícula, relacionada con la velocidad coordenada de un cuerpo medida por un observador en reposo cualquiera, esta velocidad coordenada se define con la expresión newtoniana $dx^{i}/dt$, donde $(t,x^{1},x^{2},x^{3})\;$ son el tiempo coordenado y las coordenadas espaciales medidas por el observador, para el cual la velocidad newtoniana ampliada vendría dada por $(1,v^{1},v^{2},v^{3})\,$. Sin embargo, esta medida newtoniana de la velocidad no resulta útil en teoría de la relatividad, porque las velocidades newtonianas medidas por diferentes observadores no son fácilmente relacionables o ser magnitudes covariantes. Así en relatividad se introduce una modificación en las expresiones que dan cuenta de la velocidad, introduciendo un invariante relativista. Este invariante es precisamente el tiempo propio de la partícula que es fácilmente relacionable con el tiempo coordenado de diferentes observadores. Usando la relación entre tiempo propio y tiempo coordenado: $dt=\gamma d\tau \;$ se define la cuadrivelocidad [propia] multiplicando por $\ \gamma$ las de la velocidad coordenada: $u^{\alpha }=v^{\alpha }\gamma =dx^{i}/d\tau$.

Como se puede comprobar en las ecuaciones siguientes, la velocidad coordenada de un cuerpo con masa depende caprichosamente del sistema de referencia que escojamos, mientras que la cuadrivelocidad propia es una magnitud que se transforma de acuerdo con el principio de covariancia y tiene un valor siempre constante equivalente al intervalo dividido entre el tiempo propio ($ds/d\tau$), o lo que es lo mismo, a la velocidad de la luz c. Para partículas sin masa, como los fotones, el procedimiento anterior no se puede aplicar, o tener un tiempo propio correctamente definido, y la cuadrivelocidad puede definirse solamente como vector tangente a la trayectoria seguida por los mismos.

Componentes $\to (u^{0},u^{1},u^{2},u^{3})\to \left({\frac {dx^{0}}{d\tau }},{\frac {dx^{1}}{d\tau }},{\frac {dx^{2}}{d\tau }},{\frac {dx^{3}}{d\tau }}\right)\to (\gamma ,v^{1}\gamma ,v^{2}\gamma ,v^{3}\gamma )$

Magnitud $\to |u|={\sqrt {{\vec {u}}\cdot {\vec {u}}}}={\sqrt {c^{2}(u^{0})^{2}-(u^{1})^{2}-(u^{2})^{2}-(u^{3})^{2}}}={\sqrt {\frac {ds^{2}}{d\tau ^{2}}}}$

Magnitud en cuerpos con masa $\to |u|={\sqrt {\frac {ds^{2}}{d\tau ^{2}}}}=c$
Magnitud en fotones $\to |u|={\sqrt {\frac {ds^{2}}{d\tau ^{2}}}}={\sqrt {\frac {0}{0}}}=$ no definida

La física newtoniana distinguía entre sistemas en reposo (cuya velocidad era nula) y sistemas en movimiento, ya fuera este uniforme o acelerado. Sin embargo, la Teoría de la Relatividad abandonó dicha clasificación por una nueva en la que distingue entre sistemas inerciales (aquellos cuya velocidad es constante, incluidos los que están en reposo relativo) y sistemas no inerciales, cuyo movimiento no es constante, sino acelerado. La aceleración puede ser definida como la derivada temporal de la cuadrivelocidad ($a^{i}=du^{i}/d\tau$). Su magnitud es igual a cero en los sistemas inerciales, cuyas líneas del mundo son geodésicas, rectas en el espacio-tiempo llano de Minkowski. Por el contrario, las líneas del mundo curvadas corresponden a partículas con aceleración diferente de cero, a sistemas no inerciales.

Junto con los principios de invarianza del intervalo y la cuadrivelocidad, juega un papel fundamental la ley de conservación del cuadrimomentum. Es aplicable aquí la definición newtoniana del momentum (${\vec {p}}=\mu {\vec {u}}$) como la masa (en este caso conservada, $\mu$) multiplicada por la velocidad (en este caso, la cuadrivelocidad), y por lo tanto sus componentes son los siguientes: $(m,p^{1},p^{2},p^{3})\;$, teniendo en cuenta que $m=\mu \gamma \;$. La cantidad de momentum conservado es definida como la raíz cuadrada de la norma del vector de cuadrimomentum. El momentum conservado, al igual que el intervalo y la cuadrivelocidad propia, permanece invariante ante las transformaciones de coordenadas, aunque también aquí hay que distinguir entre los cuerpos con masa y los fotones. En los primeros, la magnitud del cuadriomentum es igual a la masa multiplicada por la velocidad de la luz ($|p|=\mu c$). Por el contrario, el cuadrimomentum conservado de los fotones es igual a la magnitud de su momentum tridimensional ($|p|=p$).

Como tanto la velocidad de la luz como el cuadrimomentum son magnitudes conservadas, también lo es su producto, al que se le da el nombre de energía conservada ($E_{con}=|p|c$), que en los cuerpos con masa equivale a la masa multiplicada por la velocidad de la luz al cuadrado ($E_{con}=\mu c^{2}$, la famosa fórmula de Einstein) y en los fotones al momentum multiplicado por la velocidad de la luz ($E_{con}=pc$)

Componentes $\to (p^{0},p^{1},p^{2},p^{3})\to (\mu \gamma ,\mu v^{1}\gamma ,\mu v^{2}\gamma ,\mu v^{3}\gamma )\to (m,p^{1},p^{2},p^{3})$

Magnitud del cuadrimomentum $\to |p|={\sqrt {{\vec {p}}\cdot {\vec {p}}}}={\sqrt {m^{2}c^{2}-p^{2}}}={\sqrt {{\frac {E^{2}}{c^{2}}}-p^{2}}}$

Magnitud en cuerpos con masa $\to |p|={\sqrt {{\vec {p}}\cdot {\vec {p}}}}=m{\sqrt {{\vec {u}}\cdot {\vec {u}}}}=\mu c$
Magnitud en fotones (masa = 0) $\to |p|={\sqrt {{\vec {p}}\cdot {\vec {p}}}}={\sqrt {m^{2}c^{2}-p^{2}}}={\sqrt {p^{2}}}=p$

Energía $\to E_{con}=c|p|=c{\sqrt {{\vec {p}}\cdot {\vec {p}}}}={\sqrt {E^{2}-p^{2}c^{2}}}$

Energía en cuerpos con masa (cuerpos en reposo, p=0) $\to E_{con}={\sqrt {m^{2}c^{4}-p^{2}c^{2}}}\to E_{con}=mc^{2}$
Energía en fotones (masa en reposo = 0) $\to E_{con}={\sqrt {m^{2}c^{4}-p^{2}c^{2}}}={\sqrt {p^{2}c^{2}}}=pc$

La aparición de la Relatividad Especial puso fin a la secular disputa que mantenían en el seno de la mecánica clásica las escuelas de los mecanicistas y los energetistas. Los primeros sostenían, siguiendo a Descartes y Huygens, que la magnitud conservada en todo movimiento venía constituida por el momentum total del sistema, mientras que los energetistas -que tomaban por base los estudios de Leibniz- consideraban que la magnitud conservada venía conformada por la suma de dos cantidades: La fuerza viva, equivalente a la mitad de la masa multiplicada por la velocidad al cuadrado ($mv^{2}/2$) a la que hoy denominaríamos "energía cinética", y la fuerza muerta, equivalente a la altura por la constante g ($hg$), que correspondería a la "energía potencial". Fue el físico alemán Hermann von Helmholtz el que primero dio a la fuerzas leibnizianas la denominación genérica de energía y el que formuló la Ley de conservación de la energía, que no se restringe a la mecáni , que se extiende también a otras disciplinas físicas como la termodinámica.

La mecánica newtoniana dio la razón a ambos postulados, afirmando que tanto el momentum como la energía son magnitudes conservadas en todo movimiento sometido a fuerzas conservativas. Sin embargo, la Relatividad Especial dio un paso más allá, por cuanto a partir de los trabajos de Einstein y Minkowski el momentum y la energía dejaron de ser considerados como entidades independientes y se les pasó a considerar como dos aspectos, dos facetas de una única magnitud conservada: el cuadrimomentum.

Componentes y magnitud de los diferentes conceptos cinemáticos

Concepto	Componentes	Expresión algebraica	Partículas con masa	Fotones
Intervalo	$\ dx^{a}={\begin{bmatrix}dt\\dx^{1}\\dx^{2}\\dx^{3}\\\end{bmatrix}}$	$ds^{2}={\vec {d}}x\cdot {\vec {d}}x$	$\ ds^{2}\not =0$	$\ ds^{2}=0$
Cuadrivelocidad	$u^{\alpha }={\frac {dx^{\alpha }}{d\tau }}={\begin{bmatrix}\gamma \\v^{1}\gamma \\v^{2}\gamma \\v^{3}\gamma \\\end{bmatrix}}$	$|u|={\sqrt {{\vec {u}}\cdot {\vec {u}}}}={\sqrt {\frac {ds^{2}}{d\tau ^{2}}}}$	$\ |u|=c$	Cuadrivelocidad no definida
Aceleración	$a^{\alpha }={\frac {d^{2}x^{\alpha }}{d\tau ^{2}}}$	${\displaystyle }$	$\ a^{\alpha }=0$ (sistemas inerciales) $\ a^{\alpha }\not =0$ (sistemas no inerciales)	Aceleración no definida
Cuadrimomentum	$\ p^{\alpha }=\mu u^{\alpha }={\begin{bmatrix}m\\-p^{1}\\-p^{2}\\-p^{3}\\\end{bmatrix}}$	$|p|={\sqrt {{\vec {p}}\cdot {\vec {p}}}}={\sqrt {{\frac {E^{2}}{c^{2}}}-p^{2}}}$	$\ |p|=\mu c$	$\ |p|=p$

El tensor de energía-impulso (T_ab)

Tensor de tensión-energía

Tres son las ecuaciones fundamentales que en física newtoniana describen el fenómeno de la gravitación universal: La primera, afirma que la fuerza gravitatoria entre dos cuerpos es proporcional al producto de sus masas e inversamente proporcional al cuadrado de su distancia (1); la segunda, que el potencial gravitatorio ($\ \Phi$) en un determinado punto es igual a la masa multiplicada por la constante G y dividida por la distancia r (2); y la tercera, finalmente, es la llamada ecuación de Poisson (3), que indica que el laplaciano​ del potencial gravitatorio es igual a $\ 4\Pi G\rho$, donde $\ \rho$ es la densidad de masa en una determinada región esférica.

$F={\frac {GMm}{r^{2}}}(1)$$\to \Phi ={\frac {GM}{r}}(2)$$\to \Delta \Phi =4\pi G\rho (3)$

Sin embargo, estas ecuaciones no son compatibles con la Relatividad Especial por dos razones:

• En primer lugar la masa no es una magnitud absoluta, sino que su medición deriva en resultados diferentes dependiendo de la velocidad relativa del observador. De ahí que la densidad de masa $\ \rho$ no puede servir de parámetro de interacción gravitatoria entre dos cuerpos.
• En segundo lugar, si el concepto de espacio es relativo, también lo es la noción de densidad. Es evidente que la contracción del espacio producida por el incremento de la velocidad de un observador, impide la existencia de densidades que permanezcan invariables ante las transformaciones de Lorentz.

Por todo ello, resulta necesario prescindir del término $\ \rho$, situado en el lado derecho de la fórmula de Poisson y sustituirlo por un objeto geométrico-matemático que permanezca invariante ante las transformaciones de Lorentz: Dicho objeto fue definido por Einstein en sus ecuaciones de universo y recibe el nombre de tensor de energía-momentum ($\ T^{\alpha \beta }$). Sus coeficientes describen la cantidad de tetramomentum $\ p^{\alpha }$ que atraviesa una hipersuperficie $\ \Pi _{\beta }$, normal al vector unitario ${\vec {u}}^{\beta }$.

De este modo, el tensor de energía momentum puede expresarse mediante la siguiente ecuación:

$\ p^{\alpha }=\int _{\Pi }T^{\alpha \beta }d\Pi _{\beta }$
O lo que es lo mismo: El componente $\ p^{\alpha }$ del tetramomentum es igual a la integral de hipersuperficie $\ d\Pi _{\beta }$ del tensor de tensión-energía.

En un fluido ideal, del que están ausentes tanto la viscosidad como la conducción de calor, los componentes del tetramomentum se calculan de la siguiente forma:

$T^{\alpha \beta }\,=(\rho +{P \over c^{2}})u^{\alpha }u^{\beta }-Pg^{\alpha \beta }$,

donde $\ \rho$ es la densidad de masa-energía (masa por unidad de volumen tridimensional), $\ P$ es la presión hidrostática, $\ u^{\alpha }$ es la cuadrivelocidad del fluido, y $\ g^{\alpha \beta }$ es la matriz inversa del tensor métrico de la variedad.

Además, si los componentes del tensor se miden por un observador en reposo relativo respecto al fluido, entonces, el tensor métrico viene constituido simplemente por la métrica de Minkowski:

$g_{\alpha \beta }\,=\eta _{\alpha \beta }=\mathrm {diag} (c^{2},-1,-1,-1)$

$g^{\alpha \beta }\,=\eta ^{\alpha \beta }=\mathrm {diag} ({\frac {1}{c^{2}}},-1,-1,-1)$

Puesto que además la tetravelocidad del fluido respecto al observador en reposo es:

$\ u^{\alpha }=(1,0,0,0)$.

como consecuencia de ello, los coeficientes del tensor de tensión-energía son los siguientes:

$T^{\alpha \beta }={\begin{pmatrix}\rho &0&0&0\\0&-P_{1}&0&0\\0&0&-P_{2}&0\\0&0&0&-P_{3}\\\end{pmatrix}}$

Parte de la materia que cae en el disco de acreción de un agujero negro es expulsada a gran velocidad en forma de chorros. En supuestos como éste, los efectos gravitomagnéticos pueden llegar a alcanzar cierta importancia.

Donde $\ \rho$ es la densidad de masa, y $\ P_{i}$ son los componentes tridimensionales de la presión hidrostática. Como vemos, el campo gravitatorio tiene dos fuentes diferentes: La masa y el momentum del fluido en cuestión. Los efectos gravitatorios originados por la masa se denominan efectos gravitoeléctricos, mientras que aquellos que se deben al momentum reciben el nombre de efectos gravitomagnéticos. Los primeros tienen una intensidad $c^{2}$ superior a los segundos, que sólo se manifiestan en aquellos casos en los que las partículas del fluido se mueven con una velocidad cercana a la de la luz (se habla entonces de fluidos relativistas): Es el caso de los chorros (jets) que emanan del centro de la galaxia y que se propulsan en las dos direcciones marcadas por el eje de rotación de este cuerpo cósmico; de la materia que se precipita hacia un agujero negro; y del fluido estelar que se dirige hacia el centro de la estrella cuando se ésta entra en colapso. En este último caso, durante las fases finales del proceso de contracción de la estrella, la presión hidrostática puede llegar a ser tan fuerte como para llegar a acelerar el colapso, en lugar de ralentizarlo.

Podemos, a partir del tensor de tensión-energía, calcular cuánta masa contiene un determinado volumen del fluido: Retomando la definición de este tensor expuesta unas líneas más arriba, se puede definir al coeficiente $\ T^{00}$ como la cantidad de momentum $\ p^{0}$ (esto es, la masa) que atraviesa la hipersuperficie $\ d\Pi _{0}$. En el espacio-tiempo de Minkowski, la hipersuperficie $\ d\Pi _{0}$ es aquella región que se define por las tres bases vectoriales normales al vector $\ dx^{0}$: $\ \Pi _{0}$ es, por tanto, un volumen tridimensional, definido por los vectores base ${\vec {e}}_{1}$ (eje x), ${\vec {e}}_{2}$ (eje y), y ${\vec {e}}_{3}$ (eje z). Podemos por tanto escribir:

$\ p^{0}=\int T^{00}d\Pi _{0}$

$\ m=\int \rho dV$

Del mismo modo, es posible deducir matemáticamente a partir del tensor de tensión-energía la definición newtoniana de presión, introduciendo en la mentada ecuación cualquier par de índices que sean diferentes de cero:

$\ p^{1}=\int _{\Pi }T^{11}d\Pi _{1}$

La hipersuperficie $\ d\Pi _{1}$ es aquella región del espacio-tiempo definida por los tres vectores unitarios normales a $\ dx_{1}$ (se trata de los dos vectores espaciales, ${\vec {e}}_{2}$ y ${\vec {e}}_{3}$, correspondientes a los ejes y y z; y del vector temporal ${\vec {e}}_{0}$ —o $\ dt$, como se prefiera—). Esta definición nos permite descomponer la integral de hipersuperficie en una integral temporal (cuyo integrando viene definido por $\ dt$) y otra de superficie (esta vez bidimensional, $\ dS$):

$\ p^{1}=\int \int _{S}-P_{1}dS_{1}dt$

Finalmente, derivamos parcialmente ambos miembros de la ecuación respecto al tiempo, y teniendo en cuenta que la fuerza no es más que la tasa de incremento temporal del momentum obtenemos el resultado siguiente:

$\ F^{1}=\int _{S}-P_{1}dS_{1}$

Que contiene la definición newtoniana de la presión como fuerza ejercida por unidad de superficie.

El tensor electromagnético (F_ab)

Las ecuaciones deducidas por el físico escocés James Clerk Maxwell demostraron que electricidad y magnetismo no son más que dos manifestaciones de un mismo fenómeno físico: el campo electromagnético. Ahora bien, para describir las propiedades de este campo los físicos de finales del siglo XIX debían utilizar dos vectores diferentes, los correspondientes los campos eléctrico y magnético.

Fue la llegada de la Relatividad Especial la que permitió describir las propiedades del electromagnetismo con un sólo objeto geométrico, el vector cuadripotencial, cuyo componente temporal se correspondía con el potencial eléctrico, mientras que sus componentes espaciales eran los mismos que los del potencial magnético.

$\ A^{\alpha }=(V,A_{x},A_{y},A_{y})$

De este modo, el campo eléctrico puede ser entendido como la suma del gradiente del potencial eléctrico más la derivada temporal del potencial magnético:

$E=-\nabla V-{\frac {\partial A}{\partial t}}$

y el campo magnético, como el rotacional del potencial magnético:

$B=\nabla \times A$

Las propiedades del campo electromagnético pueden también expresarse utilizando un tensor de segundo orden denominado tensor de Faraday y que se obtiene diferenciando exteriormente al vector cuadripotencial $\ A^{\alpha }$

$F_{\alpha \beta }=\partial _{\alpha }A_{\beta }-\partial _{\beta }A_{\alpha }$

$F^{\alpha \beta }={\begin{pmatrix}0&E_{x}/c&E_{y}/c&E_{z}/c\\-E_{x}/c&0&B_{z}&-B_{y}\\-E_{y}/c&-B_{z}&0&B_{x}\\-E_{z}/c&B_{y}&-B_{x}&0\end{pmatrix}};F_{\beta }^{\alpha }={\begin{pmatrix}0&E_{x}&E_{y}&E_{z}\\-E_{x}&0&B_{z}&-B_{y}\\-E_{y}&-B_{z}&0&B_{x}\\-E_{z}&B_{y}&-B_{x}&0\end{pmatrix}}$

La fuerza de Lorentz puede deducirse a partir de la siguiente expresión:

$f^{\alpha }=qF_{\beta }^{\alpha }u^{\beta }$

$F=q(E+u\times v)$

Donde q es la carga y $u^{\alpha }$ la cuadrivelocidad de la partícula.

Véase también

• Portal:Física. Contenido relacionado con Física.
• Teoría de la Relatividad Especial
• Teoría de la Relatividad General
• Glosario de relatividad
• Controversia sobre la Teoría de la Relatividad

Referencias

Bibliografía

• Girbau, J.: "Geometria diferencial i relativitat", Ed. Universitat Autònoma de Catalunya, 1993. ISBN 84-7929-776-X.

Enlaces externos

• Wikimedia Commons alberga una categoría multimedia sobre Teoría de la relatividad.
• La Relatividad sin fórmulas, en eltamiz.com (13-05-09)
• Surveying the shunting line of a ray of light of the space trd. (en portugués)