Ver el código de «Introducción a las matemáticas de la relatividad general»

:''Este artículo es una introducción no técnica al tema. Para consultar el artículo principal de la enciclopedia, consúltese [[matemáticas de la relatividad general]]''
[[Image:Cassini-science-br.jpg|thumb|right|250px|Prueba de alta precisión de la relatividad general realizada por la sonda espacial [[Cassini-Huygens|Cassini]] (impresión artística): las señales de radio enviadas entre la Tierra y la sonda (onda verde) son [[Efecto Shapiro|retrasadas]] por la deformación del [[espacio-tiempo]] (líneas azules) debida a la masa del [[Sol]]. Es decir, la masa del Sol hace que el sistema de coordenadas de la cuadrícula regular (en azul) se distorsione y tenga curvatura. En consecuencia, las ondas de radio siguen esta curvatura y son desviadas por el Sol, alargando la distancia que recorrerían en línea recta]]

Las '''matemáticas de la relatividad general''' son complicadas. En las teorías del movimiento de [[Isaac Newton|Newton]], la longitud de un objeto y la velocidad a la que pasa el tiempo permanecen constantes mientras el objeto se [[Aceleración|acelera]], lo que significa que muchos problemas en [[Mecánica clásica|mecánica newtoniana]] pueden resolverse utilizando [[álgebra]] únicamente. En la [[Teoría de la relatividad|relatividad]], sin embargo, la longitud de un objeto y la velocidad a la que pasa el tiempo cambian apreciablemente a medida que la velocidad del objeto se acerca a la [[velocidad de la luz]], lo que significa que se requieren más variables y matemáticas más complicadas para calcular el movimiento del objeto. Como resultado, la relatividad requiere el uso de conceptos como [[Espacio vectorial|vectores]], [[tensor|tensores]], [[seudotensor|seudotensores]] y [[coordenadas curvilíneas]].

Para una introducción basada en el ejemplo de partículas que siguen [[órbita circular|órbitas circulares]] alrededor de una masa muy grande, se dan tratamientos relativistas y no relativistas en los artículos ''[[motivaciones newtonianas de la relatividad general]]'' y ''[[motivaciones teóricas para la relatividad general]]'', respectivamente.

==Vectores y tensores==
{{AP|Vector|Tensor}}

===Vectores===
[[Image:Vector by Zureks es.svg|right|thumb|300px|Ilustración de un vector típico]]

En [[matemáticas]], [[física]] e [[ingeniería]], un '''vector euclídeo''' (a veces llamado '''geométrico'''<ref>{{harvnb|Ivanov|2001}}</ref> o '''vector espacial''',<ref>{{harvnb|Heinbockel|2001}}</ref> o, como aquí, simplemente un vector) es un objeto geométrico que tiene [[Magnitud (matemática)|magnitud]] (o [[Norma vectorial|longitud]]), dirección y sentido. Un vector es lo que se necesita para "llevar" el punto {{math|''A''}} al punto {{math|''B''}}. La palabra latina vector significa "el que lleva".<ref>From Latin ''vectus'', [[participio]] de ''vehere'', "llevar".  Para conocer el desarrollo histórico de la palabra "vector", consulte {{Cita DLE|vector}} y {{cite web|author= Jeff Miller|url= http://jeff560.tripod.com/v.html|title= Earliest Known Uses of Some of the Words of Mathematics|access-date= 2007-05-25}}</ref> La magnitud del vector es la distancia entre los dos puntos, la dirección se refiere a la recta sobre la que se produce el desplazamiento de {{math|''A''}} a {{math|''B''}}, y el sentido hace referencia al orden en el que se recorren los puntos (primero {{math|''A''}} y luego {{math|''B''}}). Muchas [[operación algebraica|operaciones algebraicas]] con [[números reales]], como la [[adición (matemática)|adición]], la [[resta]], la [[multiplicación]] y la [[negación lógica|negación]], tienen análogos cuando se trabaja con vectores. Y además, estas operaciones obedecen a las familiares leyes algebraicas de [[conmutatividad]], [[Asociatividad (álgebra)|asociatividad]] y [[distributividad]].

===Tensores===
[[Image:Components stress tensor cartesian.svg|300px|right|thumb|La tensión se modeliza mediante un tensor de segundo orden que representa la respuesta de un material a una fuerza aplicada en ángulo. Las dos direcciones del tensor representan la fuerza "normal" (en ángulo recto con respecto a la superficie) y la fuerza "cortante" (paralela a la superficie)]]

Un tensor extiende el concepto de vector a direcciones adicionales. Un [[Escalar (matemática)|escalar]], es decir, un número simple sin dirección, se mostraría en un gráfico como un punto, un objeto de dimensión cero. Un vector, que tiene magnitud y dirección, aparecería en un gráfico como un segmento rectilíneo, que es un objeto unidimensional. Un vector es un tensor de primer orden, ya que tiene una dirección.
Un tensor de segundo orden tiene dos magnitudes y dos direcciones, y aparecería en un gráfico como dos líneas similares a las manecillas de un reloj. El "orden" de un tensor es el número de direcciones contenidas en su interior, un concepto que está separado de las dimensiones de las direcciones individuales. Un tensor de segundo orden en dos dimensiones podría representarse matemáticamente mediante una matriz de 2 por 2 y en tres dimensiones mediante una matriz de 3 por 3, pero en ambos casos la matriz es "cuadrada" para un tensor de segundo orden. Un tensor de tercer orden tiene tres magnitudes y direcciones, y estaría representado por un cubo de números, 3 por 3 por 3 para direcciones en tres dimensiones, y así sucesivamente para dimensiones superiores.

===Aplicaciones===

Los vectores son fundamentales en las ciencias físicas. Se pueden utilizar para representar cualquier cantidad que tenga magnitud, dirección y sentido, como la [[velocidad]], cuya magnitud es la [[celeridad]]. Por ejemplo, una velocidad de "5 metros por segundo hacia arriba" podría representarse mediante el vector {{nowrap|(0, 5)}} (en 2 dimensiones con el eje positivo {{math|''y''}} como "arriba"). Otra cantidad representada por un vector es la [[fuerza]], ya que posee magnitud, dirección y sentido. Los vectores también describen muchas otras cantidades físicas, como [[Desplazamiento (vector)|desplazamientos]], [[aceleración|aceleraciones]], [[cantidad de movimiento]] y [[momento angular]]. Otros vectores físicos, como el [[campo eléctrico]] y el [[campo magnético]], se representan como un sistema de vectores en cada punto de un espacio físico; es decir, lo que se denomina un [[campo vectorial]].

Los tensores también tienen amplias aplicaciones en física:
* El [[tensor de campo electromagnético]] (o tensor de Faraday) en [[electromagnetismo]]
* Los [[tensores de deformación finita]] para describir deformaciones y el [[tensor deformación]] para modelizar tensiones en [[mecánica de medios continuos]]
* La [[permitividad]] y la [[susceptibilidad eléctrica]] se representan mediante tensores en medios [[anisotropía|anisótropos]]
* El [[tensor de energía-impulso]] en la [[relatividad general]], usado para representar [[flujo]]s de [[cantidad de movimiento]]
* Los operadores tensoriales esféricos son las funciones propias del operador cuántico [[momento angular]] en [[coordenadas esféricas]]
* Los tensores de difusión, base de las [[imágenes del tensor de difusión]], que representan tasas de difusión en entornos biológicos

===Dimensiones===

En la relatividad general, se requieren vectores de cuatro dimensiones, denominados [[cuadrivector]]es. Estas cuatro dimensiones son largo, alto, ancho y tiempo. Un "punto" en este contexto sería un evento, ya que está asociado tanto a un lugar como a un tiempo. Al igual que los vectores, los tensores en relatividad requieren cuatro dimensiones. Un ejemplo es el [[tensor de curvatura]].

===Transformación de coordenadas===

<div style="float:right; border:1px solid black; padding:3px; margin-right: 1em;
text-align:left"><gallery widths="200" heights="200">
Image:Transformation2polar_basis_vectors.svg|Se muestra un vector {{math|'''v'''}} con dos cuadrículas de coordenadas, {{math|''e<sub>x</sub>''}} y {{math|''e<sub>r</sub>''}}. En el espacio, no existe una cuadrícula de coordenadas preferente para usarla. Esto significa que el sistema de coordenadas cambia según la ubicación y la orientación del observador. Los observadores {{math|''e<sub>x</sub>''}} y {{math|''e<sub>r</sub>''}} en esta imagen miran en direcciones diferentes.
Image:Transformation2polar contravariant vector.svg|Aquí se observa que {{math|''e<sub>x</sub>''}} y {{math|''e<sub>r</sub>''}} ven el vector de manera diferente. La dirección del vector es la misma. Pero para {{math|''e<sub>x</sub>''}}, el vector se mueve hacia su izquierda; y para {{math|''e<sub>r</sub>''}}, el vector se mueve hacia su derecha.
</gallery></div>

En física, así como en matemáticas, un vector a menudo se identifica con una [[tupla]], o lista de números, que dependen de un sistema de coordenadas o [[sistema de referencia]]. Si las coordenadas se transforman, como cuando por ejemplo se produce una rotación o un estiramiento del sistema de coordenadas, las componentes del vector también se transforman. El vector en sí no cambia, pero el sistema de referencia sí. Esto significa que las componentes del vector tienen que modificarse para compensar el cambio del sistema de referencia.

El vector se llama [[Covarianza y contravarianza|''covariante'' o ''contravariante'']] dependiendo de cómo se relaciona la transformación de las componentes del vector con la transformación de coordenadas.

* Los vectores contravariantes tienen unidades de distancia (como un desplazamiento) o una distancia multiplicada por alguna otra unidad (como la velocidad o la aceleración) y se transforman de manera opuesta al sistema de coordenadas. Por ejemplo, al cambiar unidades de metros a milímetros, las unidades de las coordenadas se vuelven más pequeñas, pero los números en un vector se hacen más grandes: 1 m se convierte en 1000&nbsp;mm.
* Los vectores covariantes, por otro lado, tienen unidades relativas a la distancia, como en el caso de un [[gradiente]] (en el que se especifica la variación de una magnitud por unidad de distancia) y se transforman de la misma manera que el sistema de coordenadas. Por ejemplo, al cambiar de metros a milímetros, las unidades de coordenadas se vuelven más pequeñas y el número que mide un gradiente también se hará más pequeño: 1 Kelvin por m se convierte en 0,001 Kelvin por mm.

Según el [[convenio de suma de Einstein]], los vectores contravariantes y las componentes contravariantes de los tensores se especifican con superíndices, como por ejemplo {{math|''x<sup>i</sup>''}}; y los vectores covariantes y las componentes covariantes de los tensores se especifican con subíndices, como por ejemplo {{math|''x<sub>i</sub>''}}. Los índices se "suben" o "bajan" mediante la multiplicación por una matriz apropiada, a menudo la matriz de identidad.

La transformación de coordenadas es importante porque la relatividad establece que no hay perspectiva o punto de referencia que pueda considerarse universalmente ventajoso. En la Tierra se utilizan dimensiones como [[longitud (coordenada)|longitud]], [[latitud]] y [[elevación]], que se emplean en todo el planeta. No existe tal sistema para el espacio. Sin una cuadrícula de referencia clara, resulta más preciso describir las cuatro dimensiones como hacia/lejos, izquierda/derecha, arriba/abajo y pasado/futuro. Como evento de ejemplo, supóngase que la Tierra es un objeto inmóvil y considérese la firma de la [[Declaración de Independencia de los Estados Unidos]]. Para un observador moderno situado en el [[monte Rainier]] y que mire hacia el este, el evento está adelante, a la derecha, abajo y en el pasado. Sin embargo, para un observador de la Inglaterra medieval que mire hacia el norte, el acontecimiento está detrás, a la izquierda, ni arriba ni abajo, y en el futuro. El acontecimiento en sí no ha cambiado, pero la ubicación del observador sí.

==Ejes oblicuos==

Un [[ oblique coordinate system]] es aquel en el que los ejes no son necesariamente [[Ortogonalidad (matemática)|orthogonal]] entre sí; es decir, se encuentran en ángulos distintos al [[ángulo recto]]. Cuando se utilizan transformaciones de coordenadas como se describe anteriormente, el nuevo sistema de coordenadas a menudo parecerá tener ejes oblicuos en comparación con el sistema anterior.

==No tensores==
{{VT|Seudotensor}}

Un no tensor o seudotensor es una cantidad similar a un tensor que se comporta como un tensor al subir y bajar índices, pero que no se transforma como un tensor bajo una transformación de coordenadas. Por ejemplo, los [[símbolos de Christoffel]] (que facilitan el cálculo de la transformación de las coordenadas entre dos sistemas de referencia distintos) no pueden ser tensores en sí mismos si las coordenadas no cambian de forma lineal.

En la relatividad general, no se puede describir la energía y el momento del campo gravitatorio mediante un tensor de energía-momento. En cambio, se introducen objetos que se comportan como tensores solo con respecto a transformaciones de coordenadas restringidas. Estrictamente hablando, estos objetos no son tensores en absoluto. Un ejemplo famoso de este tipo de elementos es el [[seudotensor de Landau-Lifshitz]].

==Coordenadas curvilíneas y espacio-tiempo curvo==

Las [[coordenadas curvilíneas]] son coordenadas en las que los ángulos entre los ejes pueden cambiar de un punto a otro. Esto significa que en lugar de tener una cuadrícula de líneas rectas, la cuadrícula está formada por líneas curvas.

Un buen ejemplo de esto es la superficie de la Tierra. Si bien los mapas suelen representar el norte, el sur, el este y el oeste como una simple cuadrícula, en realidad ese no es el caso. En cambio, las líneas de longitud que van de norte a sur son curvas y se encuentran en el polo norte. Esto es debido a que la Tierra es aproximadamente una esfera.

En la relatividad general, la energía y la masa tienen efectos de curvatura en las cuatro dimensiones del universo (= espacio-tiempo). Esta curvatura da lugar a la fuerza gravitatoria. Una analogía común es colocar un objeto pesado sobre una lámina de goma estirada, haciendo que la lámina se doble hacia abajo. Esto curva el sistema de coordenadas alrededor del objeto, de manera muy similar a como un objeto en el universo curva el sistema de coordenadas en el que se encuentra. Las matemáticas aquí son conceptualmente más complejas que en la Tierra, ya que dan como resultado [[Cuarta dimensión|cuatro dimensiones]] de coordenadas curvas en lugar de tres como se usa para describir una superficie curva en 2D.

==Transporte paralelo==
{{AP|Transporte paralelo}}

[[Image:parallel displacement.svg|thumb|450px|right|Ejemplo: desplazamiento paralelo en una circunferencia de una bola tridimensional incrustada en dos dimensiones. La circunferencia de radio {{math|''r''}} está incrustada en un espacio bidimensional caracterizado por las coordenadas {{math|''z''<sup>1</sup>}} y {{math|''z''<sup>2</sup>}}. La circunferencia en sí se caracteriza por las coordenadas {{math|''y''<sup>1</sup>}} y {{math|''y''<sup>2</sup>}} en el espacio bidimensional. La propia circunferencia en sí es unidimensional y puede caracterizarse por su longitud de arco {{math|''x''}}. La coordenada {{math|''y''}} está relacionada con la coordenada {{math|''x''}} a través de la relación {{math|''y''<sup>1</sup> {{=}} ''r'' cos {{sfrac|''x''|''r''}}}} y {{math|''y''<sup>2</sup> {{=}} ''r'' sin {{sfrac|''x''|''r''}}}}. Esto da {{math|{{sfrac|∂''y''<sup>1</sup>|∂''x''}} {{=}} −sin {{sfrac|''x''|''r''}}}} y {{math|{{sfrac|∂''y''<sup>2</sup>|∂''x''}} {{=}} cos {{sfrac|''x''|''r''}}}}. En este caso, la métrica es un escalar y viene dada por {{math|''g'' {{=}} cos<sup>2</sup> {{sfrac|''x''|''r''}} + sin<sup>2</sup> {{sfrac|''x''|''r''}} {{=}} 1}}. El intervalo es entonces {{math|''ds''<sup>2</sup> {{=}} ''g dx''<sup>2</sup> {{=}} ''dx''<sup>2</sup>}}. El intervalo es exactamente igual a la longitud del arco como se esperaba]]

===El intervalo en un espacio de dimensión alta===
En un [[espacio euclídeo]], la separación entre dos puntos se mide por la distancia entre los dos puntos. La distancia es puramente espacial y siempre positiva. En el espacio-tiempo, la separación entre dos eventos se mide por el ''intervalo invariante'' entre los dos eventos, que tiene en cuenta no solo la separación espacial entre los eventos, sino también su separación en el tiempo. El intervalo entre dos eventos, {{math|''s''<sup>2</sup>}}, se define como:

:<math>s^2= \Delta r^2 - c^2\Delta t^2 \,</math>{{spaces|5}}(intervalo espacio-tiempo),

donde {{math|''c''}} es la velocidad de la luz, y {{math|Δ''r''}} y {{math|Δ''t''}} denotan diferencias de las coordenadas espaciales y temporales, respectivamente, entre los eventos. La elección de signos para {{math|''s''<sup>2</sup>}} anterior sigue la [[convención de signos|convención espacial (−+++)]]. Una notación como {{math|Δ''r''<sup>2</sup>}} significa que {{math|(Δ''r'')<sup>2</sup>}}. La razón por la que se llama intervalo a {{math|''s''<sup>2</sup>}} (y no a {{math|''s''}}) es que {{math|''s''<sup>2</sup>}} puede ser positiva, cero o negativa.

Los intervalos espacio-temporales se pueden clasificar en tres tipos distintos, en función de si la separación temporal ({{math|''c''<sup>2</sup>Δ''t''<sup>2</sup>}}) o espacial ({{math|Δ''r''<sup>2</sup>}}) de los dos eventos es mayor: temporales, lumínicos o espaciales.

Ciertos tipos de [[línea de universo|líneas del universo]] se denominan [[línea geodésica|líneas geodésicas]] del espacio-tiempo: líneas rectas en el caso del espacio-tiempo plano de Minkowski y su equivalente más cercano en el espacio-tiempo curvo de la relatividad general. En el caso de caminos puramente temporales, las geodésicas son (localmente) los caminos de mayor separación (intervalo de espacio-tiempo) medido en el camino entre dos eventos, mientras que en el espacio euclídeo y en las variedades de Riemann, las geodésicas son los caminos de distancia más corta entre dos puntos.<ref>Esta caracterización no es universal: los dos arcos entre dos puntos de una [[gran círculo|circunferencia máxima]] sobre una esfera son líneas geodésicas.</ref><ref>{{cite book|title=Principles of Cosmology and Gravitation|first1=Michael V.|last1=Berry|publisher=[[CRC Press]]|year=1989|isbn=0-85274-037-9|page=58|url=https://books.google.com/books?id=wTvFxXguod0C&pg=PA58}}</ref> El concepto de geodésicas se vuelve central en la [[relatividad general]], ya que el movimiento geodésico puede considerarse como un "movimiento puro" ([[Fuerza ficticia|movimiento inercial]]) en el espacio-tiempo, es decir, libre de influencias externas.

===Derivada covariante===
{{AP|Derivada covariante}}

La derivada covariante es una generalización de la derivada direccional del cálculo vectorial. Al igual que con la derivada direccional, la derivada covariante es una regla que toma como entradas: (1) un vector, {{math|'''u'''}}, (en el que se toma la derivada) definido en un punto {{math|''P''}}, y (2) un campo vectorial, {{math|'''v'''}} , definido en un entorno de {{math|''P''}}. El resultado es un vector, también con origen en el punto {{math|''P''}}. La principal diferencia con la derivada direccional habitual es que la derivada covariante debe, en cierto sentido preciso, ser independiente de la manera en que se exprese en un sistema de coordenadas.

===Transporte paralelo===

Dada la derivada covariante, se puede definir el [[transporte paralelo]] de un vector {{math|'''v'''}} en un punto {{math|''P''}} en una curva {{math|''γ''}} que comienza en {{math|''P''}}. Para cada punto {{math|''x''}} de {{math|''γ''}}, el transporte paralelo de {{math|'''v'''}} en {{math|''x''}} será función de {{math|''x''}} y se puede escribir como {{math|'''v'''(''x'')}}, donde {{math|'''v'''(0) {{=}} '''v'''}}. La función {{math|'''v'''}} está determinada por el requisito de que la derivada covariante de {{math|'''v'''(''x'')}} en {{math|''γ''}} sea 0. Esto es similar al hecho de que una función constante es aquella cuya derivada es constantemente 0.

===Símbolos de Christoffel===
{{AP|Símbolos de Christoffel}}

La ecuación de la derivada covariante se puede escribir en términos de símbolos de Christoffel, que encuentran un uso frecuente en la teoría de Einstein de la [[relatividad general]], donde el [[espacio-tiempo]] está representado por una [[Variedad pseudoriemanniana|variedad de Lorentz]] curva de 4 dimensiones con una [[conexión de Levi-Civita]]. Las [[ecuaciones del campo de Einstein]], que determinan la geometría del espacio-tiempo en presencia de materia, contienen el [[tensor de Ricci]]. Dado que el tensor de Ricci se deriva del tensor de curvatura de Riemann, que puede escribirse en términos de símbolos de Christoffel, es esencial un cálculo de estos símbolos. Una vez determinada la geometría, mediante la [[resolución de las ecuaciones geodésicas]] se calculan las trayectorias de las partículas y de los haces de luz, para lo que se emplean explícitamente los símbolos de Christoffel.

==Geodésicas==
{{AP|Geodésicas en la relatividad general}}

En la [[relatividad general]], una '''geodésica''' generaliza la noción de "línea recta" al [[espacio-tiempo]] curvo. Es importante destacar que la [[línea de universo]] de una partícula libre de toda fuerza externa no gravitacional es un tipo particular de geodésica. En otras palabras, una partícula que se mueve o cae libremente siempre se mueve en una geodésica.

En la relatividad general, la gravedad no puede considerarse una fuerza sino una consecuencia de una geometría espacio-temporal curvada, donde la fuente de curvatura es el [[tensor de energía-impulso]] (que representa la materia, por ejemplo). Así, por ejemplo, la trayectoria de un planeta que orbita alrededor de una estrella es la proyección de una geodésica de la geometría espacio-temporal curvada de 4 dimensiones alrededor de la estrella en un espacio de 3 dimensiones.

Una curva es geodésica si el [[vector tangente]] de la curva en cualquier punto es igual al [[transporte paralelo]] del vector tangente del punto base.

==Tensor de curvatura==
{{AP|Tensor de curvatura}}

El [[tensor de curvatura]] {{math|''R<sup>ρ</sup><sub>σμν</sub>''}} indica, matemáticamente, el grado de curvatura existente en una región determinada del espacio. En el espacio plano este tensor es cero.

Al contraer el tensor se producen dos objetos matemáticos más:

# El [[tensor de Ricci]]: {{math|''R<sub>σν</sub>''}}, surge de la necesidad en la teoría de Einstein de un tensor de curvatura con solo 2 índices. Se obtiene promediando ciertas porciones del tensor de curvatura de Riemann.
# La [[curvatura escalar de Ricci|curvatura escalar]]: {{math|''R''}}, la medida de curvatura más simple, asigna un único valor escalar a cada punto de un espacio. Se obtiene promediando el tensor de Ricci.

El tensor de curvatura de Riemann se puede expresar en términos de la derivada covariante.

El tensor de Einstein {{math|'''G'''}} es un [[tensor]] de rango 2 definido sobre [[variedad pseudoriemanniana|variedades pseudoriemannianas]]. En notación libre de índices se define como

:<math>\mathbf{G}=\mathbf{R}-\tfrac12\mathbf{g}R,</math>

donde {{math|'''R'''}} es el [[tensor de Ricci]], {{math|'''g'''}} es el [[tensor métrico]] y {{math|''R''}} es la [[curvatura escalar de Ricci|curvatura escalar]]. Se utiliza en las [[ecuaciones del campo de Einstein]].

==Tensor de energía-impulso==
{{AP|Tensor de energía-impulso}}
[[File:StressEnergyTensor contravariant es.svg|right|300px|thumb|Componentes contravariantes del tensor de energía-impulso]]

El '''tensor de energía-impulso''' (a veces denominado '''tensor de tensión-energía''' o '''tensor de energía-momento''') es una cantidad [[tensor]]ial utilizada en [[física]] para describir la [[densidad]] y el [[flujo]] de [[energía]] y la [[cantidad de movimiento]] en el [[espacio-tiempo]], generalizando el [[Tensión mecánica|tensor de tensiones]] de la física newtoniana. Es un atributo de la [[materia]], la [[radiación]] y [[campo de fuerza (física)|campos de fuerza]] no gravitacionales. El tensor tensión-energía es la fuente del [[campo gravitatorio]] en las [[ecuaciones del campo de Einstein]] en la [[relatividad general]], así como la densidad de masa es la fuente de dicho campo en la [[ley de gravitación universal]] newtoniana. Debido a que este tensor tiene dos índices (véase la siguiente sección), el tensor de curvatura de Riemann debe contraerse en el tensor de Ricci, también con dos índices.

==Ecuación de Einstein==
{{AP|Ecuaciones del campo de Einstein}}

Las '''ecuaciones de campo de Einstein''' ('''ECE''') o '''ecuaciones de Einstein''' son un conjunto de 10 [[ecuación|ecuaciones]] en la [[Relatividad general|teoría general de la relatividad]] de [[Albert Einstein]], que describen las [[interacciones fundamentales]] de la [[gravedad]] como resultado de que el [[espacio-tiempo]] sea [[Curvatura|curvado]] por la [[materia]] y la [[energía]].<ref name=ein>{{cite journal|last=Einstein|first=Albert|title=The Foundation of the General Theory of Relativity|journal=[[Annalen der Physik]]|volume=354|issue=7|pages=769|year=1916|url=http://www.alberteinstein.info/gallery/gtext3.html|doi=10.1002/andp.19163540702|format=[[PDF]]|bibcode=1916AnP...354..769E|archive-url=https://web.archive.org/web/20060829045130/http://www.alberteinstein.info/gallery/gtext3.html|archive-date=2006-08-29 }}</ref> Publicadas por primera vez por Einstein en 1915<ref name=Ein1915>{{cite journal|last=Einstein|first=Albert|author-link= Albert Einstein|fecha=1915-11-25|title=Die Feldgleichungen der Gravitation|journal=Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin|pages=844–847|url=http://nausikaa2.mpiwg-berlin.mpg.de/cgi-bin/toc/toc.x.cgi?dir=6E3MAXK4&step=thumb|access-date=2006-09-12}}</ref> como [[tensor]], las ecuaciones de campo de Einstein equiparan la [[curvatura]] del espacio-tiempo local (expresada por el [[tensor de Einstein]]) con la energía local y la [[cantidad de movimiento]] dentro de ese espacio-tiempo (expresadas por el [[tensor de energía-impulso]]).<ref>{{Cite book
|last1=Misner|first1=Charles W.|author-link1=Charles W. Misner
|last2=Thorne|first2=Kip S.|author-link2=Kip Thorne
|last3=Wheeler|first3=John Archibald|author-link3=John Archibald Wheeler
|year=1973
|title=Gravitation
|url=https://archive.org/details/gravitation0000misn|publisher=[[ W. H. Freeman]]|location=San Francisco
|isbn=978-0-7167-0344-0
}} Chapter 34, p 916</ref>

Las ecuaciones de campo de Einstein se pueden escribir como

:<math>G_{\mu \nu}= {8 \pi G \over c^4} T_{\mu \nu} ,</math>

donde {{math|''G<sub>μν</sub>''}} es el [[tensor de Einstein]] y {{math|''T<sub>μν</sub>''}} es el [[tensor de energía-impulso]].

Esto implica que la curvatura del espacio (representada por el tensor de Einstein) está directamente relacionada con la presencia de materia y energía (representada por el tensor de tensión-energía).

==Solución de Schwarzschild y agujeros negros==
{{AP|Métrica de Schwarzschild}}

En la teoría de [[Albert Einstein|Einstein]] de [[relatividad general]], la '''métrica de Schwarzschild''' (también '''vacío de Schwarzschild''' o '''solución de Schwarzschild'''), es una solución al [[Ecuaciones del campo de Einstein]] que describe el [[campo gravitatorio]] fuera de una masa esférica. , suponiendo que el [[carga eléctrica]] de la masa, el [[momento angular]] de la masa y el [[constante cosmológica]] universal son todos cero. La solución es una aproximación útil para describir objetos astronómicos que giran lentamente, como muchos [[estrella]] y [[planeta]], incluidos la Tierra y el Sol. La solución lleva el nombre de [[Karl Schwarzschild]], quien la publicó por primera vez en 1916, justo antes de su muerte.

Según el [[teorema de Birkhoff (relatividad)|teorema de Birkhoff]], la métrica de Schwarzschild es la [[Simetría rotacional|simétrica esférica]] más general, [[solución del vacío]] de las [[ecuaciones del campo de Einstein]]. Un '''agujero negro de Schwarzschild''' o un '''agujero negro estático''' es un tipo de [[agujero negro]] que no tiene [[Carga (física)|carga]] ni [[momento angular]]. Un agujero negro de Schwarzschild se describe mediante la métrica de Schwarzschild, y no se puede distinguir de ningún otro agujero negro de Schwarzschild excepto por su masa.

==Véase también==
{{lista de columnas|3|
*[[Variedad diferenciable]]
*[[Símbolos de Christoffel]]
*[[Geometría de Riemann]]
*[[Cálculo tensorial]]
*[[Geometría diferencial]]
*[[Anexo:Temas de geometría diferencial]]
*[[Relatividad general]]
*[[Teoría de norma gravitacional]]
*[[Transformaciones covariantes generales]]
*[[Deducción de las transformaciones de Lorentz]]
}}

==Referencias==
{{listaref|2}}

==Bibliografía==
*{{cite book|author=P. A. M. Dirac|title=General Theory of Relativity|publisher=[[Princeton University Press]]|year=1996|isbn=0-691-01146-X}}
*{{Citation
|title= Introduction to Tensor Calculus and Continuum Mechanics
|first= J. H.
|last= Heinbockel
|publisher= Trafford Publishing
|year= 2001
|isbn= 1-55369-133-4
|url= http://www.math.odu.edu/~jhh/counter2.html
}}.
*{{springer|id=V/v096340|title=Vector|first=A.B.|last=Ivanov}}.
*{{cite book|author1=Misner, Charles|author2=Thorne, Kip S.|author3=Wheeler, John Archibald|title=Gravitation|url=https://archive.org/details/gravitation0000misn|location=San Francisco|publisher=W. H. Freeman|year=1973|isbn=0-7167-0344-0}}
*{{cite book|author1=Landau, L. D.|author2=Lifshitz, E. M.|title=Classical Theory of Fields|location=Oxford|publisher=Pergamon|year=1975|isbn=0-08-018176-7|edition=Fourth Revised English}}
*{{cite book|author1=R. P. Feynman|author2=F. B. Moringo|author3=W. G. Wagner|title=Feynman Lectures on Gravitation|publisher=[[Addison-Wesley]]|year=1995|isbn=0-201-62734-5|url=https://archive.org/details/feynmanlectureso0000feyn_g4q1 }}
*{{cite book|author=Einstein, A.|title=Relativity: The Special and General Theory|location=New York|publisher=Crown|year=1961|isbn=0-517-02961-8|url=https://archive.org/details/relativityspecia00eins_0 }}
* {{cita publicación |  apellidos=Carrol |  nombre=Sean M. |  fecha=1997 |  título=Apuntes de Clases: Sobre la Relatividad General |  publicación=arXiv:gr-qc/9712019 |  páginas=1-234 |  url=https://www.academia.edu/112368576/Apuntes_de_Clases_Sobre_la_Relatividad_General_Sean_M_Carroll_MIT_1997_ |  idioma=español }}  (en español)
{{Control de autoridades}}
[[Categoría:Relatividad general|Relatividad general]]