¿Qué indican los índices en notación de 4 vectores?

¿Qué indican los índices en notación de 4 vectores? ¿Son los componentes del vector o el vector mismo? Tengo un poco de confusión después de este artículo de Wikipedia . Dado que los índices se suman, ¿cómo puede el lado izquierdo tener algún índice? ¿Podría explicar por favor?

Notación

Las notaciones en este artículo son: negrita minúscula para vectores tridimensionales, sombreros para vectores unitarios tridimensionales, negrita mayúscula para vectores cuatridimensionales (excepto para el gradiente de cuatro) y notación de índice tensorial.

Álgebra de cuatro vectores

Cuatro vectores en una base de valor real

Un cuatro vector A es un vector con un componente "temporal" y tres componentes "espaciales", y se puede escribir en varias notaciones equivalentes:

A = ( A 0 , A 1 , A 2 , A 3 ) = A 0 mi 0 + A 1 mi 1 + A 2 mi 2 + A 3 mi 3 = A 0 mi 0 + A i mi i = A α mi α = A m

( Fuente )

Tenga en cuenta que es muy común en física hacer poca o ninguna distinción entre un tensor y sus componentes. Es común referirse a A m como "un vector" o gramo m v (en GR) como "la métrica" ​​cuando lo que realmente queremos decir es "los componentes del vector A " y "los componentes del tensor gramo ".
Me he encontrado con eso de lo que hablas un par de veces. A veces dicen vectores, a veces componentes vectoriales y realmente me confunde. Gracias por su respuesta. Pero tengo otra pregunta. Si multiplico un vector de cuatro por algo con el mismo índice, ¿siempre obtendría un escalar?
A m X m sería un escalar, donde usamos la convención de suma y estrictamente tenemos un índice hacia arriba y un índice hacia abajo (es decir, A m X m no es un escalar, de hecho sería una cosa completamente inválida de escribir). Estas reglas se explican en cualquier texto que incluya una introducción a la notación de índice tensorial (generalmente encontrada por primera vez en relatividad especial o electromagnetismo).
Pero si multiplico un índice superior A y un vector base de índice inferior, ¿no nos da esto el vector A que no es un escalar? ¿Me estoy perdiendo de algo?
Los vectores base son especiales, una base es una colección de vectores indexados . mi i no significa "los componentes del vector mi , significa "el i th vector base". Usando la convención de suma de nuevo X m mi m es un vector expandido en una base. El hecho de que usemos índices y la convención de suma para componentes y vectores base es un poco confuso al principio.
Gracias por sus respuestas, así que cuando un índice aparece dos veces (un superior y otro inferior), ¿podemos decir que obtendríamos una cantidad invariable de una manera más general?
No necesariamente, las cantidades invariantes son escalares. pero algo como T m v X m = V v no es un escalar, el resultado es un vector (esto generalmente se llama "contracción de tensor/índice"), tenga en cuenta nuevamente que estoy llamando V v un vector cuando técnicamente no debería. Algo como X m V m es un escalar sin embargo, y esa es una cantidad verdaderamente invariante. Sin embargo, tenga cuidado porque (como de costumbre) en física a menudo abusamos de la terminología y llamamos a cualquier cantidad tensorial "invariante" (en oposición a covariante , la palabra más correcta).

Respuestas (3)

La confusión surge del hecho de que uno comúnmente quiere considerar lo que se llama transformaciones pasivas en oposición a las transformaciones activas. La idea puede verse en tres dimensiones y luego generalizarse a partir de ahí.

uno no debe escribir tu = tu a , es un abuso de notación. Pero se puede usar un símbolo sin índices, como tu o tu , en más de una forma, como explicaré.

Suponer tu es un vector en tres dimensiones. Entonces podemos escribir

tu = tu 1 mi ^ 1 + tu 2 mi ^ 2 + tu 3 mi ^ 3
dónde tu i son las componentes del vector y mi ^ i son un conjunto de vectores base. Supongamos que esos vectores base están alineados a lo largo de los ejes de coordenadas de algún sistema rectangular de coordenadas.

Ahora considere el efecto de una rotación R . Podemos rotar el vector tu para obtener algún otro vector v = R tu . Esto se llama una transformación activa. El vector cambia a un vector diferente.

Pero también podemos considerar una rotación de los ejes de coordenadas, sin rotar nuestro vector tu . Esto se llama una transformación pasiva porque tu no cambia. Si rotamos los ejes de coordenadas, encontraremos que los vectores a lo largo de las nuevas direcciones de los ejes de coordenadas no son los mismos que los que se encuentran a lo largo de las direcciones de los ejes de coordenadas anteriores, así que usemos un número primo para indicar esta distinción:

mi ^ i = R mi ^ i .
De esto se sigue que
mi ^ i = R 1 mi ^ i .
Este hecho puede ser útil de notar, pero para los propósitos presentes es más útil simplemente notar que los viejos vectores base mi ^ i pueden escribirse en términos de los nuevos vectores base como una suma lineal. Así que cada uno mi ^ i es igual a alguna suma de mi ^ i y encontraremos
tu = tu 1 mi ^ 1 + tu 2 mi ^ 2 + tu 3 mi ^ 3
dónde tu i son un nuevo conjunto de coeficientes, llamados componentes. El punto es que el vector tu no ha cambiado pero los componentes tu i son diferentes de los componentes tu i porque los vectores base mi ^ i son diferentes de los vectores base mi ^ i .

Un ejemplo de este hecho, ahora en 4 dimensiones, es la relación ampliamente utilizada

tu a = Λ m a tu m
dónde Λ b a es la transformación de Lorentz y ahora estoy adoptando la convención de suma de Einstein. En la relatividad general esto se generaliza a
tu a = X a X m tu m .

Hasta ahora hemos mantenido una distinción estricta entre un vector tu y sus componentes tu a o tu a . Pero a menudo es útil encontrar una notación menos desordenada, donde no se necesitan índices (ya sean superíndices o subíndices). Entonces, para este fin, definamos

tu = { tu a } .
Esta ecuación afirma que el símbolo tu se refiere al conjunto de componentes del 4-vector tu con respecto a la base de coordenadas no primadas. Aviso que ahora estoy usando tu para el conjunto de componentes y tu para el 4-vector. A continuación vamos a definir
tu = { tu a } .
Esto afirma que el símbolo tu se refiere al conjunto de componentes del 4-vector tu con respecto a la base de coordenadas primadas. Ahora, si estamos haciendo relatividad especial donde la transformación es una transformación de Lorentz, entonces podemos escribir convenientemente la relación entre tu y tu como:
tu = Λ tu
donde se entiende que los componentes de Λ están reunidos en un 4 × 4 matriz y las listas de componentes tu y tu se expresarán como las componentes de los vectores columna, y Λ tu es la operación ordinaria de multiplicación de matrices. Esta es una notación bastante conveniente, por lo que se usa ampliamente, pero conduce a la confusión entre el conjunto de componentes y el vector de 4 en sí. En una transformación pasiva, como un cambio de marco de referencia inercial, el cuadrivector en sí no cambia, pero el conjunto de componentes cambia de tu a tu . Así que estrictamente uno no debe llamar tu aquí 'el 4-vector' sino más bien 'el conjunto de componentes del 4-vector con respecto al marco inercial no primado', y tu es el conjunto de componentes del cuadrivector con respecto al marco inercial primado.

Si no le gusta esta notación sin índice, no tiene que usarla. Para la relatividad especial, creo que es una notación bastante agradable, pero no la emplearía en GR, donde encuentro más claro ceñirme al uso de índices cuando uno se refiere a componentes. Esto no impide que uno se refiera directamente a los 4-vectores u otros tensores cuando lo desee.

Estoy de acuerdo en que el artículo de wikipedia es confuso. A m representa los componentes del vector A con respecto a los vectores base.

Gracias por su respuesta, entonces, si tuviera que multiplicarlo con vectores base, obtendría A, que es un vector. Escuché en alguna parte que si sumas sobre el mismo índice obtendrías un escalar. ¿Es correcto? Porque arriba sumamos sobre el mismo índice y obtuvimos un vector. Disculpen si mis preguntas son tontas soy un poco nuevo en el tema...
@BruceWayne Si suma los componentes de los vectores, obtendrá un escalar. En esa suma, básicamente estás tomando una combinación lineal de algunos vectores base con ciertos coeficientes
estoy simplificando demasiado pero esa es la idea

La notación utilizada para un vector de cuatro en este artículo Wiki parece estar poniendo A A m .

donde, el índice griego recorre los cuatro índices de espacio-tiempo 0,1,2,3 y cada uno representa los componentes de este vector de 4 A es decir { A 0 , A 1 , A 2 , A 3 } con respecto al conjunto de vectores base mutuamente ortogonales mi m es decir { mi 0 , mi 1 , mi 2 , mi 3 }.

Esto está en analogía directa con la representación vectorial habitual en 2D o 3D como un vector de columna\fila o un vector de fila, digamos a = { a 1 , a 2 , a 3 } tomado en alguna base de unidad ortogonal mi ^ = { mi ^ 1 , mi ^ 2 , mi ^ 3 } .

La diferencia en la formulación de espacio-tiempo de 4 vectores son las nociones de índices covariantes y contravariantes y su álgebra.