En el campo matemático de la geometría diferencial , un tensor métrico (o simplemente métrica ) es una estructura adicional sobre una variedad M (como una superficie ) que permite definir distancias y ángulos, así como el producto interno sobre 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 sobre el espacio tangente en p (es decir, una función bilineal que mapea pares de vectores tangentes a números reales ), y un cuerpo métrico sobre M consiste en 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 distinto de cero v . Una variedad equipada con un tensor métrico definido positivo se conoce como una variedad de Riemann . Se puede pensar 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 por integración, y la distancia entre p y q se puede definir como el ínfimo 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í mismo es la derivada de la función de distancia (tomada de una manera adecuada). [ cita requerida ]
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 entendidas, en particular por Gregorio Ricci-Curbastro y Tullio Levi-Civita , quienes codificaron por primera vez la noción de tensor. El tensor métrico es un ejemplo de un campo tensorial .
Los componentes de un tensor métrico en una base de coordenadas toman la forma de una matriz simétrica cuyas entradas se transforman de manera covariante al cambiar el sistema de coordenadas. Por lo tanto, un tensor métrico es un tensor simétrico covariante . Desde el punto de vista independiente de las coordenadas , un campo tensorial 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 ( Investigaciones generales sobre superficies curvas ) de 1827, consideró una superficie de forma paramétrica , con las coordenadas cartesianas x , y 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 era deducir aquellas características de la superficie que pudieran describirse mediante una función que permanecería inalterada 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 de esas magnitudes invariantes naturales es la longitud de una curva dibujada a lo largo de la superficie. Otra 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 magnitud de ese tipo es el área de una parte de la superficie. El estudio de estas invariantes de una superficie llevó a Gauss a introducir el predecesor de la noción moderna del tensor métrico.
El tensor métrico se encuentra en la descripción a continuación; 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 , que toma valores en un intervalo [ a , b ] , entonces r → ( u ( t ), v ( t )) trazará una curva paramétrica en la superficie paramétrica 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 de la diferencial ( cuadrática )
dónde
La cantidad ds en ( 1 ) se llama elemento de línea , mientras que ds 2 se llama la primera forma fundamental de M. Intuitivamente, representa la parte principal del cuadrado del desplazamiento experimentado por r → ( u , v ) cuando u se incrementa en du unidades y v se incrementa en dv unidades.
Usando la 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 a través de la ecuación matricial
donde el superíndice T denota la matriz transpuesta . La matriz con los coeficientes E , F y G dispuestos de esta manera se transforma por tanto mediante la matriz jacobiana del cambio de coordenadas
Una matriz que se transforma de esta manera es un tipo de lo que se llama un 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) fueron los primeros en observar la importancia de un sistema de coeficientes E , F y G , que se transformaban 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 deduce exclusivamente de las propiedades de transformación de E , F y G . De hecho, por 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 los 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, utilizando 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 provechoso verla 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, pongamos
Esta es una función simétrica en a y b , lo que significa que
También es bilineal , es decir, es lineal en cada variable a y b por separado. Es decir,
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
El área de la superficie es otra cantidad numérica que debería depender únicamente de la superficie en sí, 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 está dada por la integral
donde × denota el producto vectorial 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 consiste en 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 se satisfacen las siguientes 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 cualesquiera campos vectoriales (suaves) X e Y en U , la función real es una función suave de p .
Los componentes de la métrica en cualquier base de campos vectoriales , o marco , f = ( X 1 , ..., X n ) están 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 ordenando 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 una matriz invertible n × n A = ( a ij ) , la matriz de componentes de la métrica también cambia en A. Es decir,
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 valor real ( x 1 , ..., x n ) , que da 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 dados 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 está relacionado 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.
Asociado 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 definida positiva en m . Si la métrica es definida positiva en cada m ∈ M , entonces g se denomina métrica riemanniana . En términos más generales, 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 denomina 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 algún p entre 1 y n . Cualesquiera dos expresiones de q (en el mismo punto m de M ) tendrán el mismo número p de signos positivos. La signatura 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 signatura ( 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 antes, 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 se cambia por una matriz A mediante
La métrica inversa se transforma contravariantemente , 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 comprobarlo, supongamos que α es un campo covectorial, es decir, para cada punto p , α determina una función α p definida sobre vectores tangentes en p de modo que se cumple la siguiente condición de linealidad 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 covectorial α tiene componentes en la base de los campos vectoriales f . Estos están determinados por
Denotemos el vector fila de estos componentes por
Ante un cambio de f por una matriz A , α [ f ] cambia según la regla
Es decir, el vector fila de componentes α [ f ] se transforma en un vector covariante .
Para un par α y β de campos covectores, defina la métrica inversa aplicada a estos dos covectores mediante
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 puede escribirse en la forma
para algunas funciones uniformes unívocamente determinadas 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. Es decir,
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 opuesto) ante un cambio de base por parte de la matriz no singular A . La contravariancia de los componentes de v [ f ] se designa notacionalmente colocando los índices de v i [ f ] en la posición superior.
Un marco también permite expresar covectores en términos de sus componentes. Para la base de los campos vectoriales f = ( X 1 , ..., X n ) definamos la base dual como los funcionales lineales ( θ 1 [ f ], ..., θ n [ f ]) tales que
Es decir, θ i [ f ]( X j ) = δ j i , la delta de Kronecker . Sea
Bajo un cambio de base f ↦ f A para una matriz no singular A , θ [ f ] se transforma mediante
Cualquier funcional lineal α sobre vectores tangentes se puede desarrollar en términos de la base dual θ
donde a [ f ] denota el vector fila [ a 1 [ f ] ... a n [ f ] ] . Las componentes a i se transforman cuando la base f se reemplaza por f A de tal manera que la ecuación ( 8 ) sigue siendo válida. Es decir,
de donde, como θ [ f A ] = A −1 θ [ f ] , se sigue que a [ f A ] = a [ f ] A . Es decir, los componentes a se transforman covariantemente (por 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 una función 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 los componentes del campo covector g ( X , −) en la base dual están dados 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 manera que a [ f A ] = a [ f ] A : a se transforma covariantemente. La operación de asociar a las componentes (contravariantes) de un campo vectorial v [ f ] = [ v 1 [ f ] v 2 [ f ] ... v n [ f ] ] T las componentes (covariantes) del campo covectorial 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 contravariantemente:
En consecuencia, la cantidad X = f v [ f ] no depende de la elección de la base f de manera esencial, y por lo 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 . La aplicación φ se denomina inmersión si su diferencial es inyectiva en cada punto de U . La imagen de φ se denomina subvariedad inmersa . 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 denomina 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 el empuje hacia adelante de v a lo largo de φ .) Dados dos de estos vectores, 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 de vectores 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 los haces de fibras y los haces vectoriales . En estos términos, un tensor métrico es una función
del producto de fibras del fibrado tangente de M consigo mismo hasta R tal que la restricción de g a cada fibra es una función bilineal no degenerada
Se requiere que la función ( 10 ) sea continua y, a menudo, continuamente diferenciable , suave o analítica 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 fibrado de productos tensoriales de T M consigo mismo
La sección g ⊗ se define sobre elementos simples de T M ⊗ T M por
y se define sobre elementos arbitrarios de T M ⊗ T M extendiéndose 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 fibrado T* M ⊗ T* M del fibrado cotangente T* M consigo mismo. Puesto que g es simétrico como aplicación bilineal, se deduce que g ⊗ es un tensor simétrico .
De manera más general, se puede hablar de una métrica en un fibrado vectorial . Si E es un fibrado vectorial sobre una variedad M , entonces una métrica es una función
del producto de fibra 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 fibrado de productos tensoriales E * ⊗ E * .
El tensor métrico da un isomorfismo natural del fibrado tangente al fibrado cotangente , a veces llamado isomorfismo musical . [6] Este isomorfismo se obtiene estableciendo, para cada vector tangente X p ∈ T p M ,
la funcional lineal sobre 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*
pág.Yo ,
para todos los vectores tangentes X p e Y p . La aplicación S g es una transformación lineal de T p M a T*
pág.M . De la definición de no degeneración se deduce que el núcleo de S g se reduce a cero y, por lo tanto, 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 e Y p .
Por el contrario, cualquier isomorfismo lineal S : T p M → T*
pág.M define una forma bilineal no degenerada en T p M por medio de
Esta forma bilineal es simétrica si y sólo si S es simétrica. Por lo tanto, existe una correspondencia biunívoca natural entre las formas bilineales simétricas en T p M y los isomorfismos lineales simétricos de T p M con el dual T*
pág.METRO .
Como p varía en M , S g define una sección del fibrado Hom(T M , T* M ) de isomorfismos de fibrado vectorial del fibrado tangente al fibrado cotangente. Esta sección tiene la misma suavidad que g : es continua, diferenciable, suave o real-analítica según g . La aplicación S g , que asocia a cada cuerpo vectorial en M un cuerpo covectorial en M, da una formulación abstracta de "bajar el índice" en un cuerpo vectorial. La inversa de S g es una aplicación T* M → T M que, análogamente, da una formulación abstracta de "subir el índice" en un cuerpo covectorial.
La S inversa-1
gramodefine una aplicación lineal
que no es singular y es simétrico en el sentido de que
para todos los covectores α , β . Una aplicación simétrica no singular de este tipo da lugar (por la adjunción tensorial-hom ) a una aplicación
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 los componentes g ij del tensor métrico relativos a los campos de vectores de coordenadas.
Sea γ ( t ) una curva paramétrica diferenciable por partes en M , para a ≤ t ≤ b . La longitud de arco de la curva está definida por
En relación con esta aplicación geométrica, la forma diferencial cuadrática
se denomina la primera forma fundamental asociada a la métrica, mientras que ds es el elemento de línea . Cuando ds 2 se retrotrae a la imagen de una curva en M , representa el cuadrado de la diferencial con respecto a la longitud de arco.
Para una métrica pseudo-riemanniana, la fórmula de longitud anterior no siempre está definida, porque el término debajo de la raíz cuadrada puede volverse negativo. Generalmente, solo definimos la longitud de una curva cuando la cantidad debajo de la raíz cuadrada siempre es de un signo u otro. En este caso, defina
Si bien estas fórmulas utilizan expresiones de coordenadas, en realidad 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 observar 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 observar que el tensor métrico corresponde al tensor de masa de una partícula en movimiento.
En muchos casos, siempre que un cálculo requiere 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 mínima acción : 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 un momento constante, dentro de la variedad. [7]
En analogía con el caso de las superficies, un tensor métrico en una variedad paracompacta n -dimensional M da lugar a una forma natural de medir el volumen n -dimensional de los subconjuntos de la variedad. La medida de Borel positiva natural resultante permite desarrollar una teoría de funciones integradoras en la variedad mediante la integral de Lebesgue asociada .
Una medida puede definirse, por el teorema de representación de Riesz , dando un funcional lineal positivo Λ en el espacio C 0 ( M ) de funciones continuas soportadas de forma compacta en M . Más precisamente, si M es una variedad con un tensor métrico (pseudo-)riemanniano g , entonces existe una única medida de Borel positiva μ g tal que para cualquier gráfico de coordenadas ( U , φ ) , para todo f soportado en U . Aquí det g es el determinante de la matriz formada por los componentes del tensor métrico en el gráfico de coordenadas. Que Λ esté bien definido en funciones soportadas en vecindades de coordenadas se justifica por el cambio jacobiano de variables . Se extiende a un único funcional lineal positivo en C 0 ( M ) por medio de una partición de la unidad .
Si M también está orientada , 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 de volumen se representa como donde dx i son las diferenciales de coordenadas y ∧ denota el producto exterior en el álgebra de formas diferenciales . La forma de volumen también proporciona una manera de integrar funciones en la variedad, y esta integral geométrica concuerda con la integral obtenida por la medida canónica de Borel.
El ejemplo más conocido es el de la geometría euclidiana elemental: el tensor métrico euclidiano bidimensional . En las coordenadas cartesianas ( x , y ) habituales , 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 cartesianas x i en un espacio euclidiano , las derivadas parciales ∂ / ∂ x i son ortonormales respecto de la métrica euclidiana. Por lo tanto, el tensor métrico es el delta de Kronecker δ ij en este sistema de coordenadas. El tensor métrico respecto de coordenadas arbitrarias (posiblemente curvilíneas) q i viene 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 el espacio plano de Minkowski ( relatividad especial ), con coordenadas
La métrica es, dependiendo de la elección de la firma métrica ,
Para una curva con coordenadas de tiempo constantes, por ejemplo, la fórmula de longitud con esta métrica se reduce a la fórmula de longitud habitual. Para una curva con coordenadas temporales , la fórmula de longitud proporciona el tiempo adecuado a lo largo de la curva.
En este caso, el intervalo de espacio-tiempo se escribe como
La métrica de Schwarzschild describe el espacio-tiempo alrededor de un cuerpo con simetría esférica, 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.