Introduccin matemtica a la relatividad general

La teora de la relatividad general es una teora mtrica de la gravitacin que incorpora adems una descripcin bsica de los sistemas de
referencia totalmente generales.
Matemticamente la teora de la relatividad describe los efectos del campo gravitatorio modelando el universo como una variedad
pseudoriemanniana, que recibe el nombre de espacio-tiempo. El campo gravitatorio se manifiesta en la curvatura del espacio-tiempo de tal manera
que cuanto ms intenso es el campo gravitatorio en cierto punto mayores son las componentes del tensor de curvatura en ese punto.
Este artculo introduce los conceptos matemticos bsicos que intervienen en la teora de la relatividad general, bsicamente esos conceptos se
refieren a la geometra diferencial, el clculo sobre variedades y el lgebra tensorial.
Formulacin general de la teora: entidades bsicas
Los objetos bsicos que intervienen en una descripcin relativista de un modelo de universo son:

Una variedad pseudoriemanniana,

, de cuatro dimensiones que modeliza la geometra del espacio tiempo. Aqu g designa el tensor
mtrico que permite definir la longitud de una curva, el ngulo entre vectores, las relaciones de ortogonalidad, el volumen de una regin del
espacio tiempo, etc. Asociada a esta mtrica se define una derivada covariante "compatible" con esta mtrica (en la teora de la relatividad general
esta mtrica queda determinada por la condicin de que la derivada del tensor mtrico se anule idnticamente, en otras generalizaciones de la
relatividad general, como la teora de Einstein-Cartan la "compatibilidad" se define de manera ligeramente diferente).

Los tensores fsicos que son aplicaciones lineales definidas sobre los espacios vectoriales tangentes y cotangentes en cada punto del espaciotiempo (es decir, puesto que espacio-tiempo es curvo en general el espacio vectorial tangente en dos puntos diferentes de dicho espacio-tiempo no
coinciden y es necesario algn tipo de regla para "proyectar" o comparar el valor de una magnitud fsica en un punto del espacio-tiempo con la
misma magnitud en otro punto diferente). Dentro de los tensores bsicos que aparecen en la teora estn:

El tensor de energa-impulso, que da una descripcin del tipo de materia del que est lleno un universo, de sus propiedades bsicas as como de su
distribucin.

Los tensores de curvatura, que estn asociados a la intensidad del campo gravitatorio y son calculabes a partir de derivadas covariantes de la
mtrica. En particular las ecuaciones bsicas de la relatividad de Einstein establece que el tensor de curvatura de Einstein es proporcional al tensor
de energa-impulso.

El conjunto de observadores fsicamente admisibles puede definirse como el conjunto de posibles sistemas de coordenadas sobre la variedad
espacio-tiempo o ms generalmente como una seccin del fibrado principal de referencias (ortogonales). Un hecho bsico de la teora de la
relatividad, es que diferentes observadores medirn diferentes valores de ciertas magnitudes fsicas, dependiendo de su estado de movimiento
relativo. Sin embargo, las medidas realizadas por diferentes observadores estarn relacionadas por cierto tipo de leyes tensoriales. De hecho un
principio fsico importante llamado principio de covariancia explicita que aunque las cantidades medidas por diferentes observadores son
diferentes, las ecuaciones que relacionan las diferentes magnitudes medidas por un observador deben tener invariancia de forma para todos los
observadores. Es decir, todos los observadores sean cuales sean describiran los fenmenos fsicos con leyes formalmente idnticas, es decir, con
la misma forma.
La teora proporciona ecuaciones que describen como se relacionan los tensores en cada punto del espacio, como determinan su curvatura y como
se pueden relacionar entre s las medidas realizadas por varios observadores movindose dentro del espacio-tiempo curvo.
Postulados bsicos de la teora de la relatividad general
La teora de la relatividad general se basa en varios supuestos e interpretaciones de los objetos matemticos que aparecen en ella entre los hechos
ms destacados estn:

Las magnitudes fsicas medidas por un observador se representan por tensores expresados en la base de vectorial asociada a un observador.

El espacio tridimensional efectivo visto por un observador es la subvariedad diferencial integral asociada a los tres vectores espaciales que definen
su sistema de referencia.

En ausencia de cualquier fuerza una partcula de pequea masa se mueve a travs del espacio-tiempo siguiendo una lnea geodsica o lnea de
mnima curvatura en el espacio-tiempo.

En presencia de fuerzas cualquier partcula u observador material se mueve a travs de una curva cuyo vector tangente en todo punto es un vector
temporal.

En todo punto del espacio se cumplen las ecuaciones de campo de Einstein.

La variedad espacio-tiempo
Matemticamente el universo o espacio-tiempo es representado mediante una entidad geomtrica llamada variedad pseudoriemanniana, dentro de
la cual se especificia un procedimiento para medir las distancias o tensor mtrico, una derivada covariante asociada y un transporte paralelo
asociado. Todas esas magnitudes permiten definir tanto la curvatura, como relacionar magnitudes fsicas medidas por diferentes observadores
situados en diferentes puntos del espacio-tiempo.
La curvatura del espacio
Vase tambin: Geometra eucldea, Geometra no eucldea, Geometra hiperblica y Curvatura del espacio-tiempo

En la geometra eucldea, los ngulos de un tringulo suman siempre 180.

Segn su curvatura, los espacios pueden clasificarse en tres categoras diferentes: Espacios eucldeos, o de curvatura nula, elpticos, de curvatura
positiva, e hiperblicos, de curvatura negativa.
El espacio eucldeo es el espacio ordinario. Fue el matemtico griego, Euclides, quien en el siglo III a. C. sistematiz en su obra Fundamentos
los conocimientos geomtricos de la ciencia griega: En ella se realizaba un estudio minucioso y sistemtico de las figuras geomtricas y se
establecan 5 postulados fundamentales. De ellos, el ms importante era el quinto, denominado quinto postulado de Euclides, cuyas proposiciones
principales son las siguientes:

La suma de las medidas de los ngulos de cualquier tringulo es igual a 180 (Euclides).

Las rectas paralelas son equidistantes (atribuido a Posidonio).

Las rectas no equidistantes convergen en una direccin y divergen en la opuesta (Thbit ibn Qurra, h. 826-901).

La superficie de la esfera es un paradigma (ejemplo) de geometra elptica. Como se puede contemplar en esta imagen, los ngulos de un
tringulo trazado sobre dicha superficie suman ms de 180 grados.
Este esquema fue aceptado por los matemticos de los siglos posteriores. Sin embargo, en el siglo algunos matemticos rabes, cmo ibn Hurra, se
dieron cuenta de que los postulados de Euclides no funcionaban en determinadas estructuras geomtricas, como la superficie de una esfera. Se
comenz a desarrollar progresivamente el estudio de la llamada geometra elptica, de curvatura positiva, cuyas caractersticas principales eran (y
an siguen siendo) las siguientes:

La suma de las medidas de los ngulos de cualquier tringulo es superior a 180.

Las rectas paralelas convergen progresivamente y terminan por cortarse entre s.

Otros matemticos posteriores, como Jnos Bolyai o Nikolai Lobachevski crearon otro modelo geomtrico no eucldeo que sin embargo, tena una
configuracin completamente opuesta a la de la geometra elptica: Se trataba del espacio hiperblico, o de curvatura negativa, cuyas
caractersticas principales son las siguientes:

La suma de las medidas de los ngulos de cualquier tringulo es inferior a 180.

Las rectas paralelas divergen progresivamente y nunca llegan a cortarse.

La superficie de una silla de montar tiene las propiedades de un espacio hiperblico. Los ngulos de cualquier tringulo que se trace sobre ella
suman menos de 180. Las lneas paralelas no permanecen a una distancia constante sino que divergen progresivamente entre s.
Ahora bien, las geometras elptica e hiperblica eran contempladas como simples casos especiales que no afectaban a la estructura del espacio en
s, que se consideraba plano y euclideo. Fue Carl Friedrich Gauss el primer matemtico que intuy la posibilidad de que nuestro espacio fuese
curvo. Aunque incluso realiz experimentos al efecto, el genial matemtico alemn no lleg a elaborar una teora coherente en esta materia. Dicho
honor le correspondera a su discpulo, Bernhard Riemann, cuyo trabajo, "ber die Hypothesen, welche der Geometrie zu Grunde liegen."
revolucionara el mundo de las matemticas y la fsica. Unas dcadas despus, el matemtico francs Henri Poincar haca la siguiente reflexin
en uno de sus estudios: Si nuestro espacio es curvo, y dicha curvatura era capaz de afectar incluso a los rayos de la luz, provocando su difraccin,
nosotros experimentaramos vivir en un espacio euclideo. Nada impedira, por tanto, concebir a nuestro espacio como intrnsecamente curvo.
Todas estas ideas fueron recogidas por Albert Einstein, quien empleando las herramientas matemticas creadas por Bernhard Riemann, Tullio
Levi-Civita, Gregorio Ricci-Curbastro y Erwin Bruno Christoffel, logr construir la teora geomtrica de la gravedad que hoy en da conocemos
con el nombre de Teora de la Relatividad General.

El tensor mtrico
Artculo principal: Tensor mtrico
El tensor mtrico es el objeto matemtico que permite calcular "distancias" y otros conceptos mtricos en relatividad general. Adems a partir de
sus derivadas puede construirse el concepto de curvatura. Tcnicamente es un tensor simtrico de segundo orden, a partir del cual puede calcularse
longitud de una curva a partir de una integral a lo largo de tramos de dicha curva y definida entre dos puntos de la misma. Una vez especificado un
sistema de coordenadas, el tensor mtrico se representa mediante un conjunto de funciones
, llamadas componentes o coeficientes del tensor
mtrico:

(1a)
En fsica la expresin del tensor mtrico se escribe de una forma en que se aprecia como las componentes anteriores se relacionan localmente con
la longitud, mediante la expresin informal, usando el convenio de sumacin de Einstein adems dado el significado fsico y uso del tensor se
omiten los productos tensoriales y la expresin equivalente que usualmente se escribe es:

(1b)
El ejemplo ms sencillo posible de tensor mtrico, es el del espacio eucldeo tridimensional, expresado en coordenadas cartesianas, cuyas
componentes
representadas matricialmente son precisamente las de la matriz identidad:

(*)

En este espacio, el clculo de la distancia entre dos puntos, a y b unidos por una curva L = {(x1,...,xn)| en [a, b]} se puede expresara partir de
(1b):

Introduciendo los valores dados por (*) e introduciendo una parametrizacin del segmento (con (s0) = a y (sf) = b) debe entenderse como la
integral de lnea:

De hecho, este tensor mtrico es posible derivar el teorema de Pitgoras para tres dimensiones.
Carcter atractivo/repulsivo del campo

La genial intuicin de Riemann: En la imagen vemos cmo la distancia entre dos partculas disminuye con el paso del tiempo. La disminucin
en el tiempo del valor de los coeficientes del tensor mtrico equivale a una fuerza de atraccin recproca entre ambos cuerpos.
Tres nociones procedentes del clculo de matrices, la traza, la signatura y el determinante, son esenciales para el desarrollo de las ecuaciones de la
Relatividad General: La signatura es el conjunto de los coeficientes de la diagonal del tensor mtrico (en el espacio tridimensional eucldeo sig =
{1,1,1}). La traza es la suma de los coeficientes de la signatura (en el espacio eucldeo tr g = 3).
Una de las innovaciones ms importantes del matemtico alemn Bernhard Riemann fue la de considerar a la fuerza como una variacin de la
mtrica a travs del tiempo, tesis que fue desarrollado en su escrito de habilitacin "Sobre las hiptesis que sirven de base a la geometra",1 del
ao 1854. De este modo, en el caso de que los coeficientes aumenten proporcionalmente con el paso del tiempo (tal y como se muestra en la
siguiente matriz), nos encontramos ante una fuerza repulsiva. Si, por el contrario, los coeficientes disminuyen, surge una fuerza atractiva que
provoca que la distancia entre dos cuerpos disminuya en el tiempo.
El transporte paralelo
Artculo principal: Transporte paralelo
En un espacio-tiempo curvo no existe una manera obvia de relacionar diferentes magnitudes vectoriales o tensoriales medidas en diferentes puntos
del espacio-tiempo. Esto sucede porque el espacio tangente en cada punto del universo es diferente (a diferencia de lo que sucede en un espaciotiempo plano donde el propio espacio-tiempo puede identificarse con su espacio tangente). El transporte paraleo es un procedimiento que permite

comparar magnitudes vectoriales o tensoriales en diferentes puntos del universo. Para definir una forma de "transporte paralelo" es necesario
definir una conexin mtrica.
Una vez definida una conexin mtrica se hace posible comparar magnitudes medidas en diferentes puntos del espacio tiempo. Una peculiaridad
de los espacios-tiempo curvos es que el transporte paralelo hecho a travs de una curva cerrada, lleva en general a un vector diferente del de
partida, por culpa de la propia curvatura. De hecho esta ltima propiedad es la que se utiliza para medir la propia curvatura a travs del tensor de
curvatura de Riemann.
La derivada covariante
El hecho de que el espacio tiempo sea curvo hace que en cada punto del espacio, los espacios vectoriales tangentes no coincidan, y por tanto, al
derivar una magnitud tensorial es necesario tener en cuenta tanto la variacin de las componentes como de la base vectorial al cambiar de un punto
a otro del espacio. Para expresar la derivada covariante respecto a una direccin asociada con la coordenada

se usa la notacin

en lugar de

. As la derivada de una magnitud vectorial vendr dada por la variacin de las componentes y la base vectorial:

En la expresin anterior hemos hecho uso de la convenio de sumacin de Einstein sobre indces repetidos (

), que aparecen en un mismo

trmino arriba y abajo. En la expresin anterior

son los llamados smbolos de Christoffel que expresan la derivada de un vector como
combinacin lineal de los vectores de la base. La expresin anterior puede expresarse, teniendo en cuenta que los ndices repetidos son ndices
mudos, equivalentemente como:

Donde la expresin entre parntesis son las componentes de la derivada coviariante del vector expresado en la misma base de partida. Adems
resulta que para un nmero escalar:

Por lo que la expresin de la derivada puede dejarse finalmente como:

La ecuacin de lneas geodsicas

Una lnea geodsica es una lnea curva sobre la variedad de mnima curvatura. En una variedad riemanniana una lnea geodsica entre dos puntos
suficientemente cercanos es necesariamente una curva de mnima longitud, es decir, el camino ms corto posible entre dos puntos. En cambio en
una variedad pseudoriemanniana, o entre puntos alejados de ciertas variedades riemannianas, una lnea geodsica puede ser alternativamente una
lnea de mxima longitud entre dos puntos. Las geodsicas son importantes en relatividad, porque la teora postula que las partculas materiales en
ausencia de fuerzas exteriores se movern a lo largo de alguna geodsica temporal.
Matemticamente la condicin de que una lnea sea geodsica, es que el transporte paralelo de su vector tangente a lo largo de la curva coincide en
cada punto con el propio vector tangente a la curva. Puede demostrarse, que una curva que pasa por el punto x(0) = x0 y que en ese punto tiene un
vector tangente dado por v, es geodsica de hecho si cumple la condicin:

Donde:
, es precisamente la longitud de arco a lo largo de la curva.
, son el punto inicial y el vector tangente en el punto inicial.
En relatividad el clculo de las geodsicas es importante para determinar como se est moviendo globalmente la materia en un espacio-tiempo.

Clculo tensorial en el espacio-tiempo curvo

Representacin grfica de la Ley de Coulomb para dos cargas del mismo signo.
Muchas magnitudes fsicas representan conceptos slo requieren cantidad para ser caracterizados, estos conceptos se representan por magnitudes
escalares. Otros conceptos o fenmenos ms complejos requieren en cada punto caracterizar una determinada direccin y estas propiedades se
llaman magnitudes vectoriales y en relatividad general vienen representadas por campos vectoriales. Finalmente otros fenmenos fsicos requieren
expresar la relacin entre magnitudes vectoriales medibles, se llaman magnitudes tensoriales, estas se representan por campos tensoriales (las
magnitudes que representan a su vez relaciones entre tensores, son tensores de orden superior al segundo, y as sucesivamente).
Un problema bsico es que en un espacio-tiempo curvo, el hiperplano tangente a la variedad en cada punto (considerado como objeto de
, con
n > 4) en cada punto es diferente. De la misma manera que en una esfera cada punto tiene su plano propio plano tangente. Ese hecho requiere que
se defina alguna regla para comparar vectores y tensores medidos por un mismo observador a medida que se mueve a travs del espacio-tiempo.
Por ejemplo para poder hablar de que cierta magnitud fsica permanece constante a lo largo del movimiento debemos tener en cuenta que en cada
instante la magnitud fsica est definida sobre un punto diferente y por tanto sobre espacios tangentes diferentes en cada momento. As que para
hablar de "conservacin" o comparacin necesitamos definir una regla fsicamente razonable que permita identificar magnitudes defindas en
puntos diferentes, de manera continua.
Vectores y 1-formas sobre el espacio-tiempo
Un campo vectorial en relatividad general se puede representar como una aplicacin diferenciable:
formalmente si se define el llamado fibrado tangente a la variedad como:

. Ms

Este conjunto puede ser dotado de manera natural de estructura de variedad diferenciable de dimensin (4+4). Usando este conjunto un campo
vectorial se define usualmente como la aplicacin:

La definicin de una 1-forma es anloga al de campo vectorial sin ms que substituir en cada punto el espacio tantenge por el espacio cotangente.
Matemticamente el espacio cotangente es un espacio vectorial anlogo al espacio tangente, que de hecho es el espacio dual del primero, por lo
que tiene la misma dimensin y estructura, y puede construirse un isomorfismo entre ellos. En teora de la relatividad el hecho de que exista un
tensor mtrico no degenerado hace que sea posible definir un isomorfismo cannico entre el espacio tangente en un punto y el espacio cotagente
dado por:

Esto se sule representar en notacin de componentes como:

Esto tiene una importante consecuencia, cualquier magnitud fsica vectorial puede ser representada indistintamente por un vector campo vectorial
o por 1-forma, segn conveniencia matemtica, y sin que le hecho de usar una u otra descripcin altere el contenido fsico de lo que se representa.
Esa "equivalencia" de representacin es lo que conduce a la operacin de "subir y bajar ndices", que no es otra cosa que un cambio de forma a la
hora de representar una misma magnitud fsica.
Magnitudes tensoriales sobre el espacio-tiempo
Anlogamente a como se han definido los campos vectoriales y las 1-formas, pueden definirse tensores de orden superior como aplicaciones
diferenciables que asignan a cada punto del espacio-tiempo un objeto de un cierto espacio vectorial. En este caso ese espacio vectorial tiene
estructura de producto tensorial formado a partir de los espacios tangente y cotangente del espacio-tiempo en el punto concreto, as un tensor r
veces contravariante y s veces covariante puede definirse como una aplicacin diferenciable

donde:

el siguiente cuadro muestra como algunas leyes de la mecnica clsica y el electromagnetismo, escritas en notacin vectorial clsica, puden ser
reescritas usando las componentes de magnitudes tensoriales:

Nombre de la ley

Ejemplos de algunas leyes fsicas en notacin vectorial y tensorial

Notacin vectorial
Notacin tensorial

Relacin fuerza-trabajo

Fuerza de Lorentz
Teorema de Gauss
Teorema de Stokes

Curvatura del espacio-tiempo

En en seno de la teora de la relatividad general, el campo gravitatorio se considera el efecto de la curvatura del espacio-tiempo. Es decir, el hecho
de que la geometra del espacio-tiempo no sea eucldea o plana, produce efectos en las trayectorias de las partculas que provocan efectos que
parecen deberse a fuerzas de atraccin entre las masas.
El tensor de curvatura de Riemann
Artculo principal: Tensor de curvatura
En la teora de variedades de Riemann surge de manera natural la pregunta de cuando dos variedades son localmente isomtricas con sus
respectivas mtricas. La respuesta es que dos variedades son localmente isomtricas si localmente los tensores de curvatura de Riemann coinciden
(en el entorno de dos puntos correspondientes en las dos variedades). Esta propiedad hace que el tensor de Riemann caracterice localmente el
comportamiento de las geodsicas en una variedad. Concreamente, puede probarse que dado un entorno de un punto del espacio tiempo la mtrica
alrededor de l admite un desarrollo en serie de Taylor en coordenadas galileanas del tipo:

(*)
Donde
denota la mtrica de Minkowski en coordenadas galileanas. En estas coordenadas los smbolos de Cristoffel se anulan en el punto
Dada la ecuacin anterior el tensor de curvatura mide "cuanto se aleja el espacio-tiempo de la planitud". Si el tensor de Riemann se anula
idnticamente el espacio tiempo es isomtrico al espacio-tiempo de Minkowski en todos sus puntos.

El tensor de curvatura de Ricci

El tensor de curvatura de Ricci es un tensor de segundo orden construido a partir del tensor de curvatura de Riemann, que tiene propiedades
matemticamente interesantes. Se define como:

Este tensor de Ricci est relacionado con las diferentes curvaturas seccionales del espacio-tiempo segn diferentes planos. Debe tenerse en cuenta
que el tensor de Ricci no caracteriza completamente la geometra del espacio tiempo, es decir, dados dos unviersos con el tensores de Ricci iguales
en puntos correspondientes, sus geometras no tienen porqu coincidir (ni siquiera localemnte) dado que sus tensores de Riemann no tienen porqu
coincidir. Existen una descomposicin del tensor de curvatura de Riemann:

El primer miembro caracteriza por el tensor de curvatura de Riemann, mientras que en el segundo miembro el primer trmino se caracteriza
mediante tensor de curvatura de Weyl, el segundo por el tensor de curvatura de Ricci, y el ltimo por la curvatura escalar.
El escalar de curvatura de Ricci

Artculo principal: Curvatura escalar

El tensor de curvatura de Weyl
Otra pregunta natural en el contexto de las variedades riemannianas o pseudoriemannianas un poco ms general que la de isometra, es bajo qu
condiciones existe una aplicacin conforme entre entornos de dos puntos de dos variedades. Si la existencia de isometras requiere la coincidencia
de los tensores de curvatura de Riemann respectivos, la existencia de aplicaciones conformes slo requiere la coincidencia del tensor de curvatura
de Weyl. Por tanto, dos espacios-tiempo que son conformementes equivalentes tienen el mismo tensor de Weyl. El tensor de Weyl puede
construirse a partir de los tensores de curvatura mencionados anteriormente:

Donde:
son las componentes del tensor de Riemann.
son las componentes del tensor de Ricci.
es la curvatura escalar de Ricci.
se refiere a la parte antisimtrica de un tensor.

El tensor de torsin
En la teora de la relatividad general ordinaria la conexin matemtica se toma como la nica conexin lineal sin torsin y simtrica. Y por tanto
en se contexto el tensor torsin es idnticamente nulo. Sin embargo, algunas teoras que generalizan como la teora de Einstein-Cartan involucran
un tensor torsin diferente de cero y un tensor de Ricci asimtrico (esta teora fue introducida para describir el momento angular intrnseco o espn
en el contexto de la fsica clsica). El tensor torsin
se define como:

O en componentes:

Obviamente en la teora de la relatividad general ordinaria se considera que los smbolos de Cristoffel son simtricos en los dos indices inveriores
y por tanto el tensro de torsin se anula:

Sistemas de referencia y magntiudes fsicas

Principio de mnima accin y lagrangiano
Todos los sistemas fsicos interesantes parecen ser describibles mediante una integral de accin o funcional de accin que asigna a cualquier
"trayectoria" posible del sistema o evolucin en el espacio-tiempo un escalar. De todas las configuraciones fsicamente admisibles los sistemas
parecen evolucionar de acuerdo con el principio de mnima accin segn el cual el sistema evoluciona en el espacio-tiempo de manera que la
integral de accin es un punto crtico del funcional de accin. Eso implica que se satisfacen las ecuaciones de Euler-Lagrange. Si se elige el
lagrangiano o integrando del funcional de accin adecuadamente se llegan a ecuaciones que describen correctamente la evolucin del sistema. Por
tanto, el problema de construir una formulacin de mnima accin para el campo gravitatorio se reduce a construir un lagrangiano de la forma
adecuada.
Dada la relacin entre la curvatura del espacio-tiempo y el campo gravitatorio y las necesidades del principio de covariancia, resulta natural buscar
un lagrangiano para el campo que est relacionado con algn escalar asociado al tensor mtrico y sus derivadas primeras (equivalentemente los
smbolos de Christoffel
) o con el tensor de curvatura. Puede probarse que no es posible hallar ningn escalar que involucre slo las
componentes del tensor mtrico y los smbolos de Christoffel, ya que mediante cierta transformacin de coordenadas se pueden anular stos
ltimos (lo cual es precisamente el contenido del llamado principio de equivalencia).

Es interesante que la curvatura escalar R, nos da una forma de accin adecuada: aunque contiene derivadas segundas del tensor mtrico, la
variacin de su integral de accin sobre una regin puede puede acabar expresndose en trminos de slo derivadas primeras. 2 De hecho la forma
comn de la integral de accin para el campo gravitatorio ms comnmente en la teora de la relatividad general es:

Donde:
, es la curvatura escalar del espacio-tiempo.
, son la constante de la gravitacin y la velocidad de la luz.
son las componentes de la mtrica (pseudo)riemanniana efectiva y del espacio de Minkowski subyacente.
, se calculan a partir del determinante de la mtrica efectiva.
Algunas teoras mtricas de la gravitacin como la teora relativista de la gravitacin usan lagrangiano ligeramente ms complicado que incluye
trminos asociados a la masa del gravitn:

Donde:
, se calcula a partir del determinante de la mtrica minkowskiana,.
, es la masa del gravitn.
Ecuaciones del campo gravitatorio
Artculo principal: Ecuaciones del campo de Einstein
Generalizaciones y alternativas clsicas de la RG
La teora de la relatividad general ha tenido un enorme xito al explicar el movimiento de los planetas y otros objetos en el sistema solar. En ese
sentido han podido ser explicados hechos nuevos que no habran podido ser explicados por la teora newtoniana como:

El desplazamiento del perihelio de Mercurio.

La deflexin de los rayos de luz provenientes de estrellas lejanas.

El retarde relativo de seales de radar.

Tambin la teora de la relatividad general ha sido muy prolfica en cosmologa a la hora de responder a cuestiones sobre el origen, evolucin y
destino final del propio universo, aunque en ese punto si bien la teora puede dar cuenta de los hechos bsicos observados existen teoras
alternativas y generalizaciones de la relatividad que tambin pueden dar cuenta de la forma general y estructura del universo. Entre las
generalizaciones ms interesantes destacan.

Teora de Einstein-Cartan, es una teora mtrica en cuatro dimensiones de la gravitacin que permite explicar adems de los hechos bsicos de la
relatividad general el espn o momento angular intrnseco de las partculas como propiedad geomtrica asociada a la estructura del espacio-tiempo.
Esto se realiza introduciendo un tensor de torsin diferente de cero (la teora de la relatividad general de Einstein puede considerarse un caso
particular de esta otra teora cuando el tensor de torsin se anula).

Teoras de Kaluza-Klein, constituyen un conjunto de diferentes teoras con pequeas diferencias entre si, en las que no slo el campo gravitatorio
es interpretado como un efecto geomtrico, sino que en ltima instancia pretende explicar toda la materia o algunas formas de la msima como el
efecto geomtrico de una geometra curvada de dimensin n > 4. As realmente el campo electromagntico puede ser explicado
fenomenolgicamente introduciendo un espacio-tiempo de 5 dimensiones, en el que al considerar la proyeccin del movimiento sobre una
variedad de dimensin cuatro las partculas parecen moverse dentro de ella como si su movimiento estuviera perturbado por un campo
electromagntico.

Otras teoras comparten un buen nmero de principios y descripciones bsicas con la relatividad general pero introducen nuevos trminos o
modificaciones que producen consecuencias fsicas detectables diferentes a las que predice la relatividad y que por tanto son realmente
correcciones o alternativas que explican bsicamente los mismos hechos que la relatividad general pero hacen predicciones diferentes sobre la
ocurrencia de ciertos fenmenos empricamente no bien establecidos y que podran establecer, si los resultados son compatibles con las
anternativas a la RG y con la propia RG, que la teora de la relatividad general en s misma debe ser corregida o abandonada en favor de una de
estas alternativas, un ejemplo particularmente interesante de este tipo de teoras es la teora relativista de la gravitacin de Logunov.