stringtranslate.com

Tensor métrico

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.

Introducción

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.

Longitud del arco

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

Transformaciones de coordenadas

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.

Invariancia de la longitud del arco bajo transformaciones de coordenadas

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

Longitud y ángulo

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

Área

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 .

Definición

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 pM 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 .

Componentes de la métrica

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 pU , 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 .

Métrica en coordenadas

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.

Firma de una métrica

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 mM , 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 , np ) , lo que significa que hay p signos positivos y np signos negativos en cualquier expresión de este tipo. De manera equivalente, la métrica tiene signatura ( p , np ) si la matriz g ij de la métrica tiene p valores propios positivos y np negativos .

Ciertas firmas métricas que surgen con frecuencia en las aplicaciones son:

Métrica inversa

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 ).

Subida y bajada de índices

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 ff 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 ff 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

Métrica inducida

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 MR 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 es la matriz jacobiana:

Definiciones intrínsecas de una métrica

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.

Métrica como sección de un conjunto

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 .

Métrica en un haz vectorial

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 * .

Isomorfismo tangente-cotangente

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
gramo
define 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

Longitud de arco y elemento de línea

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 atb . 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.

La energía, los principios variacionales y las geodésicas

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]

Medida canónica y forma de volumen

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.

Ejemplos

Métrica euclidiana

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 métrica redonda en una esfera

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

Métricas lorentzianas desde la relatividad

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.

Véase también

Notas

  1. ^ Más precisamente, el integrando es el retroceso de este diferencial a la curva.
  2. ^ En varias formulaciones de teorías clásicas de campos unificados , se permitió que el tensor métrico no fuera simétrico; sin embargo, la parte antisimétrica de dicho tensor no juega ningún papel en los contextos aquí descritos, por lo que no se considerará más.
  3. ^ La notación que utiliza corchetes para indicar la base en función de la cual se calculan los componentes no es universal. La notación empleada aquí se basa en la de Wells (1980). Por lo general, se suprime por completo esa dependencia explícita de la base.
  4. ^ Dodson y Poston 1991, Capítulo VII §3.04
  5. ^ Vaughn 2007, §3.4.3
  6. ^ Para la terminología "isomorfismo musical", véase Gallot, Hulin y Lafontaine (2004, pág. 75). Véase también Lee (1997, págs. 27-29).
  7. ^ Sternberg 1983

Referencias