stringtranslate.com

Subida y bajada de índices

En matemáticas y física matemática , la elevación y la disminución de índices son operaciones sobre tensores que cambian su tipo . La elevación y la disminución de índices son una forma de manipulación de índices en expresiones tensoriales.

Vectores, covectores y la métrica

Formulación matemática

Matemáticamente, los vectores son elementos de un espacio vectorial sobre un cuerpo , y para su uso en física se definen habitualmente con o . Concretamente, si la dimensión de es finita, entonces, tras hacer una elección de la base , podemos ver dichos espacios vectoriales como o .

El espacio dual es el espacio de las funciones lineales que se aplican a . Concretamente, en notación matricial, se pueden considerar como vectores fila, que dan un número cuando se aplican a vectores columna. Lo denotamos por , por lo que es una función lineal .

Luego, bajo una elección de base , podemos ver los vectores como un vector con componentes (por convención, se considera que los vectores tienen índices hacia arriba). Esto selecciona una elección de base para , definida por el conjunto de relaciones .

Para las aplicaciones, la elevación y la reducción se realizan mediante una estructura conocida como tensor (pseudo)métrico (el "pseudo" se refiere al hecho de que permitimos que la métrica sea indefinida). Formalmente, se trata de una forma bilineal simétrica y no degenerada.

En esta base, tiene componentes y puede verse como una matriz simétrica en con estos componentes. La métrica inversa existe debido a la no degeneración y se denota y como matriz es la inversa de .

Vectores y covectores de elevación y descenso

La subida y bajada se realiza entonces en coordenadas. Dado un vector con componentes , podemos contraer con la métrica para obtener un covector :

Y esto es lo que queremos decir con bajar el índice. Por el contrario, contraer un covector con la métrica inversa da como resultado un vector:

Este proceso se llama elevar el índice.

Aumentar y luego disminuir el mismo índice (o viceversa) son operaciones inversas, lo que se refleja en que los tensores métricos y métricos inversos son inversos entre sí (como lo sugiere la terminología):

¿Dónde está la delta de Kronecker o matriz identidad ?

Los espacios vectoriales reales de dimensión finita con (pseudo)métricas se clasifican hasta la firma, una propiedad sin coordenadas que está bien definida por la ley de inercia de Sylvester . Las métricas posibles en el espacio real se indexan por la firma . Esta es una métrica asociada al espacio real dimensional. La métrica tiene firma si existe una base (denominada base ortonormal ) tal que en esta base, la métrica toma la forma con unos positivos y unos negativos.

El espacio concreto con elementos que son -vectores y esta realización concreta de la métrica se denota , donde la 2-tupla pretende dejar claro que el espacio vectorial subyacente de es : equipar este espacio vectorial con la métrica es lo que convierte el espacio en .

Ejemplos:

Las expresiones bien formuladas están limitadas por las reglas de la suma de Einstein : cualquier índice puede aparecer como máximo dos veces y, además, un índice elevado debe contraerse con un índice reducido. Con estas reglas podemos ver inmediatamente que una expresión como

está bien formulado mientras

no es.

Ejemplo en el espacio-tiempo de Minkowski

La posición 4 covariante viene dada por

con componentes:

(donde x , y , z son las coordenadas cartesianas habituales ) y el tensor métrico de Minkowski con signatura métrica (− + + +) se define como

en componentes:

Para aumentar el índice, multiplicar por el tensor y contraer:

entonces para λ = 0 :

y para λ = j = 1, 2, 3 :

Por lo tanto, la contravariante de 4 posiciones elevada al índice es:

Esta operación es equivalente a la multiplicación de matrices.

Dados dos vectores, y , podemos escribir su producto (pseudo)interno de dos maneras:

Bajando los índices, podemos escribir esta expresión como

¿Qué es esto en notación matricial? La primera expresión se puede escribir como

mientras que el segundo es, después de bajar los índices de ,

Formalismo libre de coordenadas

Es instructivo considerar lo que significa elevar y disminuir en el contexto del álgebra lineal abstracta.

Primero fijamos las definiciones: es un espacio vectorial de dimensión finita sobre un cuerpo . Normalmente o .

es una forma bilineal no degenerada, es decir, es una función que es lineal en ambos argumentos, lo que la convierte en una forma bilineal.

Por no ser degenerado queremos decir que para cada tal que , existe un tal que

En aplicaciones concretas, se considera a menudo una estructura en el espacio vectorial, por ejemplo, un producto interno o, de manera más general, un tensor métrico al que se le permite tener una signatura indefinida, o una forma simpléctica . En conjunto, estos cubren los casos en los que es simétrico o antisimétrico, pero en general no es necesario que sea ninguno de estos casos.

Hay un mapa de evaluación parcial asociado a ,

donde denota un argumento que se debe evaluar, y denota un argumento cuya evaluación se pospone. Entonces es un elemento de , que envía .

Optamos por definir este mapa de evaluación parcial como evaluado en el primer argumento. Podríamos haberlo definido también en el segundo argumento, y la no degeneración también es independiente del argumento elegido. Además, cuando tiene una (anti)simetría bien definida, la evaluación en cualquiera de los argumentos es equivalente (hasta un signo menos para la antisimetría).

La no degeneración muestra que la función de evaluación parcial es inyectiva o, equivalentemente, que el núcleo de la función es trivial. En dimensión finita, el espacio dual tiene la misma dimensión que , por lo que la no degeneración es suficiente para concluir que la función es un isomorfismo lineal. Si es una estructura en el espacio vectorial, a esto a veces lo llamamos isomorfismo canónico .

Por lo tanto, tiene una inversa, y esto es suficiente para definir una forma bilineal asociada en el dual:

donde el uso repetido de se desambigua mediante el argumento tomado. Es decir, es la función inversa, mientras que es la forma bilineal.

Al comprobar estas expresiones en coordenadas se hace evidente que esto es lo que significa de forma abstracta aumentar y disminuir los índices.

Tensores

No desarrollaremos el formalismo abstracto para tensores de inmediato. Formalmente, un tensor es un objeto descrito a través de sus componentes, y tiene componentes arriba y componentes abajo. Un tensor genérico se escribe

Podemos utilizar el tensor métrico para aumentar y disminuir los índices de los tensores, tal como aumentamos y disminuimos los índices de los vectores y aumentamos los índices de los covectores.

Ejemplos

Ejemplo de subida y bajada

Para un tensor (0,2), [1] al contraerse dos veces con el tensor métrico inverso y contraerse en diferentes índices, aumenta cada índice:

De manera similar, contraer dos veces con el tensor métrico y contraer en diferentes índices reduce cada índice:

Apliquemos esto a la teoría del electromagnetismo.

El tensor electromagnético contravariante en la firma (+ − − −) está dado por [2]

En componentes,

Para obtener el tensor covariante F αβ , se contrae con el tensor métrico inverso:

y como F 00 = 0 y F 0 i = − F i 0 , esto se reduce a

Ahora, para α = 0 , β = k = 1, 2, 3 :

y por antisimetría, para α = k = 1, 2, 3 , β = 0 :

entonces finalmente para α = k = 1, 2, 3 , β = l = 1, 2, 3 ;

El tensor de índice inferior (covariante) es entonces:

Esta operación es equivalente a la multiplicación de matrices.

Rango general

Para un tensor de orden n , los índices se elevan mediante (compatible con lo anterior): [1]

y bajado por:

y para un tensor mixto:

No necesitamos aumentar o disminuir todos los índices a la vez: está perfectamente bien aumentar o disminuir un solo índice. Disminuir el índice de un tensor da un tensor, mientras que aumentar un índice da un (donde tienen valores adecuados, por ejemplo, no podemos disminuir el índice de un tensor).

Véase también

Referencias

  1. ^ de Kay, DC (1988). Cálculo tensorial . Schaum's Outlines. Nueva York: McGraw Hill. ISBN 0-07-033484-6.
  2. ^ NB: Algunos textos, como: Griffiths, David J. (1987). Introducción a las partículas elementales . Wiley, John & Sons, Inc. ISBN 0-471-60386-4., mostrará este tensor con un factor general de −1. Esto se debe a que utilizaron el negativo del tensor métrico utilizado aquí: (− + + +) , consulte la signatura métrica . En textos más antiguos como Jackson (2.ª edición), no hay factores de c ya que están utilizando unidades gaussianas . Aquí se utilizan unidades del SI .