En el campo matemático de la geometría diferencial , un tensor métrico (o simplemente métrico ) es una estructura adicional sobre una variedad M (como una superficie ) que permite definir distancias y ángulos, así como el producto interno en un espacio euclidiano permite definir distancias y ángulos allí. Más precisamente, un tensor métrico en un punto p de M es una forma bilineal definida en el espacio tangente en p (es decir, una función bilineal que asigna pares de vectores tangentes a números reales ), y un tensor métrico en M consta de un tensor métrico en cada punto p de M que varía suavemente con p .
Un tensor métrico g es definido positivo si g ( v , v ) > 0 para cada vector v distinto de cero . Una variedad equipada con un tensor métrico definido positivo se conoce como variedad de Riemann . Se puede considerar que un tensor métrico de este tipo especifica una distancia infinitesimal en la variedad. En una variedad de Riemann M , la longitud de una curva suave entre dos puntos p y q se puede definir mediante integración, y la distancia entre p y q se puede definir como el mínimo de las longitudes de todas esas curvas; esto hace que M sea un espacio métrico . Por el contrario, el tensor métrico en sí es la derivada de la función de distancia (tomada de manera adecuada). [ cita necesaria ]
Si bien la noción de tensor métrico era conocida en cierto sentido por matemáticos como Gauss desde principios del siglo XIX, no fue hasta principios del siglo XX que sus propiedades como tensor fueron comprendidas, en particular, por Gregorio Ricci-Curbastro y Tullio . Levi-Civita , quien codificó por primera vez la noción de tensor. El tensor métrico es un ejemplo de campo tensorial .
Los componentes de un tensor métrico en forma de coordenadas toman la forma de una matriz simétrica cuyas entradas se transforman covariantemente ante cambios en el sistema de coordenadas. Por tanto, un tensor métrico es un tensor simétrico covariante . Desde el punto de vista independiente de las coordenadas , un campo tensor métrico se define como una forma bilineal simétrica no degenerada en cada espacio tangente que varía suavemente de un punto a otro.
Carl Friedrich Gauss en sus Disquisitiones generales circa superficies curvas de 1827 consideró una superficie paramétricamente , con las coordenadas cartesianas x , y , z de los puntos de la superficie dependiendo de dos variables auxiliares u y v . Por lo tanto, una superficie paramétrica es (en términos actuales) una función con valores vectoriales.
dependiendo de un par ordenado de variables reales ( u , v ) y definidas en un conjunto abierto D en el plano uv . Uno de los principales objetivos de las investigaciones de Gauss fue deducir aquellas características de la superficie que podrían describirse mediante una función que permanecería sin cambios si la superficie sufriera una transformación en el espacio (como doblar la superficie sin estirarla), o un cambio en la forma paramétrica particular de la misma superficie geométrica.
Una cantidad invariante natural es la longitud de una curva trazada a lo largo de la superficie. Otro es el ángulo entre un par de curvas dibujadas a lo largo de la superficie y que se encuentran en un punto común. Una tercera cantidad es el área de un trozo de superficie. El estudio de estas invariantes de una superficie llevó a Gauss a introducir el predecesor de la noción moderna de tensor métrico.
El tensor métrico se encuentra en la descripción siguiente; E, F y G en la matriz pueden contener cualquier número siempre que la matriz sea definida positiva.
Si se considera que las variables u y v dependen de una tercera variable, t , tomando valores en un intervalo [ a , b ] , entonces r → ( u ( t ), v ( t )) trazará una curva paramétrica en superficie M. _ La longitud del arco de esa curva está dada por la integral
donde representa la norma euclidiana . Aquí se ha aplicado la regla de la cadena y los subíndices denotan derivadas parciales :
El integrando es la restricción [1] a la curva de la raíz cuadrada del diferencial ( cuadrático )
dónde
La cantidad ds en ( 1 ) se llama elemento lineal , mientras que ds 2 se llama primera forma fundamental de M. Intuitivamente, representa la parte principal del cuadrado del desplazamiento sufrido por r → ( u , v ) cuando u aumenta en du unidades, y v aumenta en dv unidades.
Usando notación matricial, la primera forma fundamental se convierte en
Supongamos ahora que se selecciona una parametrización diferente, permitiendo que u y v dependan de otro par de variables u ′ y v ′ . Entonces el análogo de ( 2 ) para las nuevas variables es
La regla de la cadena relaciona E ′ , F ′ y G ′ con E , F y G mediante la ecuación matricial
donde el superíndice T denota la transposición de la matriz . Por lo tanto , la matriz con los coeficientes E , F y G dispuestas de esta manera se transforma mediante la matriz jacobiana del cambio de coordenadas.
Una matriz que se transforma de esta manera es un tipo de lo que se llama tensor . La matriz
con la ley de transformación ( 3 ) se conoce como tensor métrico de la superficie.
Ricci-Curbastro y Levi-Civita (1900) observaron por primera vez la importancia de un sistema de coeficientes E , F y G , que se transformaba de esta manera al pasar de un sistema de coordenadas a otro. El resultado es que la primera forma fundamental ( 1 ) es invariante ante cambios en el sistema de coordenadas, y que esto se deriva exclusivamente de las propiedades de transformación de E , F y G. De hecho, según la regla de la cadena,
de modo que
Otra interpretación del tensor métrico, también considerada por Gauss, es que proporciona una forma de calcular la longitud de los vectores tangentes a la superficie, así como el ángulo entre dos vectores tangentes. En términos contemporáneos, el tensor métrico permite calcular el producto escalar (geometría no euclidiana) de vectores tangentes de una manera independiente de la descripción paramétrica de la superficie. Cualquier vector tangente en un punto de la superficie paramétrica M se puede escribir en la forma
para números reales adecuados p 1 y p 2 . Si se dan dos vectores tangentes:
luego usando la bilinealidad del producto escalar,
Esto es claramente una función de las cuatro variables a 1 , b 1 , a 2 y b 2 . Sin embargo, es más rentable considerarla como una función que toma un par de argumentos a = [ a 1 a 2 ] y b = [ b 1 b 2 ] que son vectores en el plano uv . Es decir, poner
Esta es una función simétrica en a y b , lo que significa que
También es bilineal , es decir, que es lineal en cada variable a y b por separado. Eso es,
para cualquier vector a , a ′ , b y b ′ en el plano uv , y cualquier número real μ y λ .
En particular, la longitud de un vector tangente a está dada por
y el ángulo θ entre dos vectores a y b se calcula mediante
La superficie es otra cantidad numérica que debería depender únicamente de la superficie misma y no de cómo esté parametrizada. Si la superficie M está parametrizada por la función r → ( u , v ) sobre el dominio D en el plano uv , entonces el área de la superficie de M viene dada por la integral
donde × denota el producto cruzado y el valor absoluto denota la longitud de un vector en el espacio euclidiano. Por la identidad de Lagrange para el producto vectorial, la integral se puede escribir
donde det es el determinante .
Sea M una variedad suave de dimensión n ; por ejemplo una superficie (en el caso n = 2 ) o hipersuperficie en el espacio cartesiano . En cada punto p ∈ M hay un espacio vectorial T p M , llamado espacio tangente , que consta de todos los vectores tangentes a la variedad en el punto p . Un tensor métrico en p es una función g p ( X p , Y p ) que toma como entradas un par de vectores tangentes X p e Y p en p , y produce como salida un número real ( escalar ), de modo que lo siguiente se cumplen las condiciones:
Un campo tensorial métrico g en M asigna a cada punto p de M un tensor métrico g p en el espacio tangente en p de una manera que varía suavemente con p . Más precisamente, dado cualquier subconjunto abierto U de la variedad M y cualquier campo vectorial (suave) X e Y en U , la función real
Los componentes de la métrica en cualquier base de campos vectoriales , o marco , f = ( X 1 , ..., X n ) vienen dados por [3]
Las n 2 funciones g ij [ f ] forman las entradas de una matriz simétrica n × n , G [ f ] . Si
son dos vectores en p ∈ U , entonces el valor de la métrica aplicada a v y w está determinado por los coeficientes ( 4 ) por bilinealidad:
Denotando la matriz ( g ij [ f ]) por G [ f ] y organizando los componentes de los vectores v y w en vectores columna v [ f ] y w [ f ] ,
donde v [ f ] T y w [ f ] T denotan la transpuesta de los vectores v [ f ] y w [ f ] , respectivamente. Bajo un cambio de base de la forma.
para alguna matriz invertible n × n A = ( a ij ) , la matriz de componentes de la métrica cambia en A también. Eso es,
o, en términos de las entradas de esta matriz,
Por esta razón, se dice que el sistema de cantidades g ij [ f ] se transforma covariantemente con respecto a los cambios en el marco f .
Un sistema de n funciones de valores reales ( x 1 , ..., x n ) , que dan un sistema de coordenadas local en un conjunto abierto U en M , determina una base de campos vectoriales en U
La métrica g tiene componentes relativos a este marco dado por
En relación con un nuevo sistema de coordenadas locales, digamos
el tensor métrico determinará una matriz diferente de coeficientes,
Este nuevo sistema de funciones se relaciona con el original g ij ( f ) mediante la regla de la cadena
de modo que
O, en términos de las matrices G [ f ] = ( g ij [ f ]) y G [ f ′] = ( g ij [ f ′] ) ,
donde Dy denota la matriz jacobiana del cambio de coordenadas.
Asociada a cualquier tensor métrico está la forma cuadrática definida en cada espacio tangente por
Si q m es positivo para todos los X m distintos de cero , entonces la métrica es positiva definida en m . Si la métrica es definida positiva en cada m ∈ M , entonces g se llama métrica de Riemann . De manera más general, si las formas cuadráticas q m tienen una firma constante independiente de m , entonces la firma de g es esta firma, y g se llama métrica pseudo-riemanniana . [4] Si M es conexo , entonces la firma de q m no depende de m . [5]
Por la ley de inercia de Sylvester , se puede elegir localmente una base de vectores tangentes Xi de modo que la forma cuadrática se diagonalice de la siguiente manera
para algunos p entre 1 y n . Dos expresiones cualesquiera de q (en el mismo punto m de M ) tendrán el mismo número p de signos positivos. La firma de g es el par de números enteros ( p , n − p ) , lo que significa que hay p signos positivos y n − p signos negativos en cualquier expresión de este tipo. De manera equivalente, la métrica tiene firma ( p , n − p ) si la matriz g ij de la métrica tiene p valores propios positivos y n − p negativos .
Ciertas firmas métricas que surgen con frecuencia en las aplicaciones son:
Sea f = ( X 1 , ..., X n ) una base de campos vectoriales y, como anteriormente, sea G [ f ] la matriz de coeficientes.
Se puede considerar la matriz inversa G [ f ] −1 , que se identifica con la métrica inversa (o métrica conjugada o dual ). La métrica inversa satisface una ley de transformación cuando el marco f es cambiado por una matriz A mediante
La métrica inversa se transforma de forma contravariante , o con respecto a la inversa de la matriz de cambio de base A. Mientras que la métrica en sí proporciona una forma de medir la longitud de (o el ángulo entre) campos vectoriales, la métrica inversa proporciona un medio para medir la longitud de (o el ángulo entre) campos covectoriales ; es decir, campos de funcionales lineales .
Para ver esto, supongamos que α es un campo covector. Es decir, para cada punto p , α determina una función α p definida en vectores tangentes en p de modo que la siguiente condición de linealidad se cumple para todos los vectores tangentes X p e Y p , y todos los números reales a y b :
A medida que p varía, se supone que α es una función suave en el sentido de que
es una función suave de p para cualquier campo vectorial suave X .
Cualquier campo covector α tiene componentes en la base de los campos vectoriales f . Estos están determinados por
Denota el vector fila de estos componentes por
Bajo un cambio de f por una matriz A , α [ f ] cambia según la regla
Es decir, el vector fila de componentes α [ f ] se transforma como un vector covariante .
Para un par α y β de campos de covectores, defina la métrica inversa aplicada a estos dos covectores por
La definición resultante, aunque implica la elección de la base f , en realidad no depende de f de manera esencial. De hecho, cambiar la base a f A da
De modo que el lado derecho de la ecuación ( 6 ) no se ve afectado al cambiar la base f por cualquier otra base f A. En consecuencia, a la ecuación se le puede asignar un significado independientemente de la elección de la base. Las entradas de la matriz G [ f ] se denotan por g ij , donde los índices i y j se han elevado para indicar la ley de transformación ( 5 ).
En una base de campos vectoriales f = ( X 1 , ..., X n ) , cualquier campo vectorial tangente suave X se puede escribir en la forma
para algunas funciones suaves determinadas de forma única v 1 , ..., v n . Al cambiar la base f por una matriz no singular A , los coeficientes v i cambian de tal manera que la ecuación ( 7 ) sigue siendo verdadera. Eso es,
En consecuencia, v [ f A ] = A −1 v [ f ] . En otras palabras , los componentes de un vector se transforman contravariantemente (es decir, inversamente o en sentido contrario) ante un cambio de base por parte de la matriz no singular A. La contravarianza de los componentes de v [ f ] se designa notacionalmente colocando los índices de vi [ f ] en la posición superior.
Un marco también permite expresar los covectores en términos de sus componentes. Para la base de campos vectoriales f = ( X 1 , ..., X n ) defina la base dual como los funcionales lineales ( θ 1 [ f ], ..., θ n [ f ]) tales que
Es decir, θ i [ f ] ( X j ) = δ j i , el delta de Kronecker . Dejar
Bajo un cambio de base f ↦ f A para una matriz no singular A , θ [ f ] se transforma vía
Cualquier α funcional lineal en vectores tangentes se puede expandir en términos de la base dual θ
donde a [ f ] denota el vector fila [ a 1 [ f ] ... a n [ f ] ] . Los componentes a i se transforman cuando la base f se reemplaza por f A de tal manera que la ecuación ( 8 ) continúa siendo válida. Eso es,
de donde, porque θ [ f A ] = A −1 θ [ f ] , se sigue que a [ f A ] = a [ f ] A . Es decir, los componentes se transforman covariantemente (mediante la matriz A en lugar de su inversa). La covarianza de los componentes de a [ f ] se designa notacionalmente colocando los índices de a i [ f ] en la posición inferior.
Ahora, el tensor métrico proporciona un medio para identificar vectores y covectores de la siguiente manera. Manteniendo X p fijo, la función
del vector tangente Y p define un funcional lineal en el espacio tangente en p . Esta operación toma un vector X p en un punto p y produce un covector g p ( X p , −) . En una base de campos vectoriales f , si un campo vectorial X tiene componentes v [ f ] , entonces las componentes del campo covector g ( X , −) en la base dual están dadas por las entradas del vector fila
Bajo un cambio de base f ↦ f A , el lado derecho de esta ecuación se transforma mediante
de modo que a [ f A ] = a [ f ] A : a se transforma covariantemente. La operación de asociar a los componentes (contravariantes) de un campo vectorial v [ f ] = [ v 1 [ f ] v 2 [ f ] ... v n [ f ] ] T los componentes (covariantes) del campo covector a [ f ] = [ a 1 [ f ] a 2 [ f ] … a n [ f ] ] , donde
Se llama bajar el índice .
Para elevar el índice , se aplica la misma construcción pero con la métrica inversa en lugar de la métrica. Si a [ f ] = [ a 1 [ f ] a 2 [ f ] ... a n [ f ] ] son los componentes de un covector en la base dual θ [ f ] , entonces el vector columna
tiene componentes que se transforman de forma contravariante:
En consecuencia, la cantidad X = f v [ f ] no depende esencialmente de la elección de la base f y, por tanto, define un campo vectorial en M . La operación ( 9 ) que asocia a las componentes (covariantes) de un covector a [ f ] las componentes (contravariantes) de un vector v [ f ] dado se llama elevar el índice . En componentes, ( 9 ) es
Sea U un conjunto abierto en ℝ n , y sea φ una función continuamente diferenciable de U en el espacio euclidiano ℝ m , donde m > n . El mapeo φ se llama inmersión si su diferencial es inyectivo en cada punto de U. La imagen de φ se llama subvariedad sumergida . Más específicamente, para m = 3 , lo que significa que el espacio euclidiano ambiental es ℝ 3 , el tensor métrico inducido se denomina primera forma fundamental .
Supongamos que φ es una inmersión en la subvariedad M ⊂ R m . El producto escalar euclidiano habitual en ℝ m es una métrica que, cuando se restringe a vectores tangentes a M , proporciona un medio para tomar el producto escalar de estos vectores tangentes. Esto se llama métrica inducida .
Supongamos que v es un vector tangente en un punto de U , digamos
donde e i son los vectores de coordenadas estándar en ℝ n . Cuando se aplica φ a U , el vector v pasa al vector tangente a M dado por
(Esto se llama avance de v a lo largo de φ ). Dados dos vectores de este tipo, v y w , la métrica inducida se define por
De un cálculo sencillo se deduce que la matriz de la métrica inducida en base a los campos vectoriales de coordenadas e está dada por
donde Dφ es la matriz jacobiana:
La noción de métrica se puede definir intrínsecamente utilizando el lenguaje de haces de fibras y haces de vectores . En estos términos, un tensor métrico es una función
del producto de fibras del haz tangente de M consigo mismo a R tal que la restricción de g a cada fibra es una aplicación bilineal no degenerada
Se requiere que el mapeo ( 10 ) sea continuo y, a menudo, continuamente diferenciable , fluido o analítico real , dependiendo del caso de interés y de si M puede soportar dicha estructura.
Por la propiedad universal del producto tensorial , cualquier aplicación bilineal ( 10 ) da lugar naturalmente a una sección g ⊗ del dual del producto tensorial fibrado de TM consigo mismo
La sección g ⊗ está definida sobre elementos simples de T M ⊗ T M por
y se define en elementos arbitrarios de T M ⊗ T M extendiendo linealmente a combinaciones lineales de elementos simples. La forma bilineal original g es simétrica si y sólo si
dónde
es el mapa de trenzado .
Dado que M es de dimensión finita, existe un isomorfismo natural
de modo que g ⊗ se considera también como una sección del paquete T* M ⊗ T* M del paquete cotangente T* M consigo mismo. Dado que g es simétrico como mapeo bilineal, se deduce que g ⊗ es un tensor simétrico .
De manera más general, se puede hablar de una métrica en un paquete de vectores . Si E es un paquete de vectores sobre una variedad M , entonces una métrica es un mapeo
del producto de fibras de E a R que es bilineal en cada fibra:
Usando la dualidad como se indicó anteriormente, una métrica a menudo se identifica con una sección del paquete de productos tensoriales E * ⊗ E * .
El tensor métrico da un isomorfismo natural del haz tangente al haz cotangente , a veces llamado isomorfismo musical . [6] Este isomorfismo se obtiene estableciendo, para cada vector tangente X p ∈ T p M ,
el funcional lineal en T p M que envía un vector tangente Y p en p a g p ( X p , Y p ) . Es decir, en términos del emparejamiento [−, −] entre T p M y su espacio dual T∗
pm ,
para todos los vectores tangentes X p y Y p . El mapeo S g es una transformación lineal de T p M a T∗
pM. _ De la definición de no degeneración se deduce que el núcleo de S g se reduce a cero, por lo que, según el teorema de rango-nulidad , S g es un isomorfismo lineal . Además, S g es una transformación lineal simétrica en el sentido de que
para todos los vectores tangentes X p y Y p .
Por el contrario, cualquier isomorfismo lineal S : T p M → T∗
pM define una forma bilineal no degenerada en T p M mediante
Esta forma bilineal es simétrica si y sólo si S es simétrico. Por tanto, existe una correspondencia natural uno a uno entre las formas bilineales simétricas en T p M y los isomorfismos lineales simétricos de T p M con la T dual.∗
pM. _
Como p varía sobre M , S g define una sección del paquete Hom(T M , T* M ) de isomorfismos de paquete vectorial del paquete tangente al paquete cotangente. Esta sección tiene la misma suavidad que g : es continua, diferenciable, suave o analítica real según g . El mapeo S g , que asocia a cada campo vectorial en M un campo covector en M da una formulación abstracta de "reducir el índice" en un campo vectorial. La inversa de S g es una aplicación T* M → T M que, de manera análoga, da una formulación abstracta de "elevar el índice" en un campo covector.
La inversa S−1
gramosdefine un mapeo lineal
que es no singular y simétrico en el sentido de que
para todos los covectores α , β . Tal mapeo simétrico no singular da lugar (mediante la adjunción tensorial-hom ) a un mapeo
o por el doble isomorfismo dual a una sección del producto tensorial
Supongamos que g es una métrica de Riemann en M . En un sistema de coordenadas local x i , i = 1, 2,…, n , el tensor métrico aparece como una matriz , denotada aquí por G , cuyas entradas son las componentes g ij del tensor métrico en relación con los campos vectoriales de coordenadas.
Sea γ ( t ) una curva paramétrica diferenciable por partes en M , para a ≤ t ≤ b . La longitud del arco de la curva está definida por
En relación con esta aplicación geométrica, la forma diferencial cuadrática
Se llama primera forma fundamental asociada a la métrica, mientras que ds es el elemento lineal . Cuando ds 2 regresa a la imagen de una curva en M , representa el cuadrado del diferencial con respecto a la longitud del arco .
Para una métrica pseudo-riemanniana, la fórmula de longitud anterior no siempre está definida, porque el término bajo la raíz cuadrada puede volverse negativo. Generalmente sólo definimos la longitud de una curva cuando la cantidad bajo la raíz cuadrada es siempre de un signo u otro. En este caso, defina
Si bien estas fórmulas utilizan expresiones de coordenadas, de hecho son independientes de las coordenadas elegidas; dependen únicamente de la métrica y de la curva a lo largo de la cual se integra la fórmula.
Dado un segmento de una curva, otra cantidad frecuentemente definida es la energía (cinética) de la curva:
Este uso proviene de la física , específicamente de la mecánica clásica , donde se puede ver que la integral E corresponde directamente a la energía cinética de una partícula puntual que se mueve sobre la superficie de una variedad. Así, por ejemplo, en la formulación de Jacobi del principio de Maupertuis , se puede ver que el tensor métrico corresponde al tensor de masa de una partícula en movimiento.
En muchos casos, siempre que un cálculo requiera el uso de la longitud, también se puede realizar un cálculo similar utilizando la energía. Esto a menudo conduce a fórmulas más simples al evitar la necesidad de la raíz cuadrada. Así, por ejemplo, las ecuaciones geodésicas se pueden obtener aplicando principios variacionales a la longitud o a la energía. En el último caso, se considera que las ecuaciones geodésicas surgen del principio de acción mínima : describen el movimiento de una "partícula libre" (una partícula que no siente fuerzas) que está confinada a moverse en la variedad, pero que por lo demás se mueve libremente. con impulso constante, dentro de la variedad. [7]
En analogía con el caso de las superficies, un tensor métrico en una variedad paracompacta M de n dimensiones da lugar a una forma natural de medir el volumen de n dimensiones de subconjuntos de la variedad. La medida de Borel positiva natural resultante permite desarrollar una teoría de integración de funciones en la variedad mediante la integral de Lebesgue asociada .
Una medida se puede definir, mediante el teorema de representación de Riesz , dando un funcional lineal positivo Λ en el espacio C 0 ( M ) de funciones continuas soportadas compactamente en M . Más precisamente, si M es una variedad con un tensor métrico (pseudo-)riemanniano g , entonces existe una medida de Borel positiva única μ g tal que para cualquier gráfico de coordenadas ( U , φ ) ,
Si M también está orientado , entonces es posible definir una forma de volumen natural a partir del tensor métrico. En un sistema de coordenadas orientado positivamente ( x 1 , ..., x n ) la forma del volumen se representa como
El ejemplo más familiar es el de la geometría euclidiana elemental : el tensor métrico euclidiano bidimensional . En las coordenadas cartesianas habituales ( x , y ) , podemos escribir
La longitud de una curva se reduce a la fórmula:
La métrica euclidiana en algunos otros sistemas de coordenadas comunes se puede escribir de la siguiente manera.
Coordenadas polares ( r , θ ) :
Entonces
por identidades trigonométricas .
En general, en un sistema de coordenadas cartesiano x i en un espacio euclidiano , las derivadas parciales ∂/∂ x i son ortonormales con respecto a la métrica euclidiana. Por tanto, el tensor métrico es el delta de Kronecker δ ij en este sistema de coordenadas. El tensor métrico con respecto a coordenadas arbitrarias (posiblemente curvilíneas) q i está dado por
La esfera unitaria en ℝ 3 viene equipada con una métrica natural inducida a partir de la métrica euclidiana ambiental, mediante el proceso explicado en la sección de métrica inducida. En coordenadas esféricas estándar ( θ , φ ) , con θ la colatitud , el ángulo medido desde el eje z y φ el ángulo desde el eje x en el plano xy , la métrica toma la forma
Esto generalmente se escribe en la forma
En espacio plano de Minkowski ( relatividad especial ), con coordenadas
la métrica es, según la elección de la firma de métrica ,
Para una curva con, por ejemplo, coordenadas de tiempo constantes, la fórmula de longitud con esta métrica se reduce a la fórmula de longitud habitual. Para una curva temporal , la fórmula de longitud proporciona el tiempo adecuado a lo largo de la curva.
En este caso, el intervalo espacio-temporal se escribe como
La métrica de Schwarzschild describe el espacio-tiempo alrededor de un cuerpo esféricamente simétrico, como un planeta o un agujero negro . Con coordenadas
podemos escribir la métrica como
donde G (dentro de la matriz) es la constante gravitacional y M representa el contenido total de masa-energía del objeto central.