Operaciones matemáticas que relacionan diferentes tipos de tensor
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:
- es un modelo para el espacio tridimensional. La métrica es equivalente al producto escalar estándar .
- , equivalente al espacio real dimensional como un espacio de producto interno con . En el espacio euclidiano, no es necesario subir ni bajar debido a que los vectores y los componentes covectoriales son los mismos.
- es el espacio de Minkowski (o más bien, el espacio de Minkowski en una elección de base ortonormal), un modelo para el espacio-tiempo con curvatura débil. Es una convención común utilizar índices griegos al escribir expresiones que involucran tensores en el espacio de Minkowski, mientras que los índices latinos se reservan para el espacio euclidiano.
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
- Un tensor (0,0) es un número en el campo .
- Un tensor (1,0) es un vector.
- Un tensor (0,1) es un covector.
- Un tensor (0,2) es una forma bilineal. Un ejemplo es el tensor métrico.
- Un tensor (1,1) es una función lineal. Un ejemplo es el delta, que es la función identidad, o una transformación de Lorentz.
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
- ^ de Kay, DC (1988). Cálculo tensorial . Schaum's Outlines. Nueva York: McGraw Hill. ISBN 0-07-033484-6.
- ^ 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 .