Notación de Einstein

En matemáticas, especialmente na álxebra linear, na física matemática e a xeometría diferencial, a notación de Einstein (tamén coñecida como convención de suma de Einstein ou convención de Einstein) é unha convención de notación que implica un sumatorio de termos indexados nunha fórmula, conseguindo así brevidade na escrita. 

Como parte das matemáticas é un subconxunto da notación do cálculo de Ricci; porén, úsase a miúdo en aplicacións de física que non se distingue entre espazo tanxente e espazo cotanxente. 

Foi introducido na física por Albert Einstein en 1916.

 Introdución 

Enunciado da convención

Segundo esta convención, cando un índice dunha variábel  aparece dúas veces nun único termo da suma e non está definida doutro xeito (ver variábel libre e variábel vinculada), implica a suma dese termo sobre todos os valores do índice. Entón, por exemplo, se temos que os índices poden variar sobre o conxunto ,

simplifícase polo convenio como:
.

Isto pode lerse como  igual a  super  por  sub .

Os índices superiores non son expoñentes senón que son índices de coordenadas, coeficientes ou  unha base. É dicir, neste contexto  debería entenderse como o segundo compoñente de  en lugar do cadrado de  (isto pode ocasionalmente levar á ambigüidade). 
A posición superior do índice en  débese a que, normalmente, un índice aparece unha vez nunha posición superior (superíndice) e unha vez nunha posición inferior (subíndice) nun mesmo termo.  (Consulte  a continuación). Normalmente,  sería equivalente ao tradicional .

Na relatividade xeral, unha convención común é que
 o alfabeto grego úsase para os compoñentes do espazo e do tempo, onde os índices toman valores 0, 1, 2 ou 3 (as letras de uso frecuente son ),
 o alfabeto latino úsase só para compoñentes espaciais, onde os índices toman valores 1, 2 ou 3 (as letras de uso frecuente son ),

En xeral, os índices poden variar en calquera conxunto de indexación, incluíndo un conxunto infinito. Isto non debe confundirse con outra convención tipográficamente similar usada para distinguir entre a notación de índice tensor e a notación de índice abstracta moi relacionada pero independente da base.

Un índice que se suma é un índice de suma, neste caso o "". Tamén se lle chama variábel vinculada ou índice ficticio xa que calquera símbolo pode substituír o "" sen mudar  o significado da expresión (sempre que non choque con outros símbolos de índice no mesmo termo).

Un índice que non se suma é unha variábel libre ou índice libre e só debe aparecer unha vez por termo. Se tal índice aparece, normalmente tamén aparece en calquera outro termo nunha ecuación. Un exemplo de índice libre é o "" na ecuación , que é equivalente á ecuación .

Aplicación

A notación de Einstein pódese aplicar de xeitos lixeiramente diferentes. Normalmente, cada índice aparece unha vez nunha posición superior (superíndice) e unha vez nunha posición inferior (subíndice) nun termo; porén, a convención pódese aplicar de forma máis xeral a calquera índice repetido dentro dun termo.

Cando se trata de vectores covariantes e contravariantes, onde a posición dun índice indica o tipo de vector, adoita aplicarse o primeiro caso; un vector covariante só se pode contraer cun vector contravariante correspondente á suma dos produtos dos coeficientes. Por outra banda, cando hai unha base de coordenadas fixa (ou cando non se consideran vectores de coordenadas), pódese optar por usar só subíndices; consulte  a continuación.

Representacións vectoriais

 Superíndices e subíndices fronte a só subíndices 

En termos de covarianza e contravarianza de vectores,
 os índices superiores representan compoñentes de vectores contravariantes (vectores),
 os subíndices  representan compoñentes de vectores covariantes (covectores).

Transfórmanse de forma contravariante ou covariante, respectivamente, en relación ao cambio de base.

En recoñecemento deste feito, a seguinte notación usa o mesmo símbolo tanto para un vector ou covector como para os seus compoñentes, como en:

onde  é o vector e  son os seus compoñentes (non o -ésimo covector ),  é o covector e  son os seus compoñentes. Os elementos vectores da base  son vectores de cada columna, e os elementos da base de covectores  son covectores de cada fila.
(Consulte tamén a continuación . Tamén dualidade e os exemplos).

Na presenza dunha forma non dexenerada (un isomorfismo , por exemplo unha métrica de Riemann ou métrica de Minkowski), pódense subir e baixar índices.

Cando se traballa en  cunha métrica euclidiana e unha base ortonormal fixa, temos a opción de traballar só con subíndices.

Porén, se mudan as coordenadas, a forma en que mudan os coeficientes depende da varianza do obxecto, e non se pode ignorar a distinción; ver Covarianza e contravarianza de vectores.

Repaso dos usos

No exemplo anterior, os vectores represéntanse como matrices  (vectores columna), mentres que os covectores represéntanse como matrices  (covectores fila).

Cando se usa a convención do vector columna:

 Os covectores son vectores filas:  

Polo tanto o índice inferior indica en que "columna" estás.
 Os vectores contravariantes son vectores columna:  

Polo tanto o índice superior indica en que fila estás.

 Descrición abstracta 

A virtude da notación de Einstein é que representa as cantidades invariantes cunha notación simple.

En física, un escalar é invariante baixo transformacións da base. En particular, un escalar de Lorentz é invariante baixo unha transformación de Lorentz. Os termos individuais da suma non o son. Cando se muda de base, os compoñentes dun vector mudan por unha transformación linear descrita por unha matriz. Isto levou a Einstein a propoñer a convención de que os índices repetidos implican que hai que facer a suma.

En canto aos covectores, mudan pola matriz inversa. Isto está deseñado para garantir que a función linear asociada ao covector, a suma anterior, sexa a mesma sen importar cal sexa a base.

O valor da convención de Einstein é que se aplica a outros espazos vectoriais construídos a partir de  usando o produto tensorial e a dualidade. Por exemplo, , o produto tensor de  consigo mesmo, ten unha base formada por tensores da forma . Calquera tensor  en  pódese escribir como:

, o dual de , ten unha base , , ...,  que obedece a regra

onde  é o delta de Kronecker (valor un cando coinciden os índices e cero no resto de casos). 

Como

as coordenadas da fila/columna nunha matriz corresponden aos índices superior/inferior do produto tensor.

 Operacións comúns nesta notación 

Na notación de Einstein, a referencia habitual do elemento  para a fila  e a columna  da matriz  pasa a ser . Móstrase a continuación como escribir varias operacións frecuentes en notación de Einstein.

 Produto interno 

O produto interno de dous vectores é a suma dos produtos dos seus compoñentes do mesmo índice, cos índices dun vector baixados (ver #Subir e baixar índices):

No caso dunha base ortonormal, temos , e a expresión simplifícase a:

 Produto vectorial 

En tres dimensións, o produto vectorial de dous vectores en relación a unha base ortonormal orientada positivamente, o que significa que , pódese expresar como:

Aquí,  é o símbolo de Levi-Civita. Dado que a base é ortonormal, subir  o índice  non altera o valor de , cando se trata como tensor.

 Multiplicación matriz-vector 

O produto dunha matriz  por un vector columna  é:

equivalente a

Este é un caso paticular de multiplicación matricial.

 Multiplicación matricial 

O produto matricial de dúas matrices  e  é:

equivalente a
.

 Traza 

Para unha matriz cadrada  , a traza é a suma dos elementos diagonais, polo tanto, a suma sobre un índice común .

 Produto exterior 

O produto exterior do vector columna  polo vector fila  dá unha matriz  :

Dado que  e  representan dous índices diferentes, non hai sumatorio e os índices non se eliminan pola multiplicación.

 Subir e baixar índices 

Dado un tensor, pódense subir ou baixar un índice contraendo o tensor co tensor métrico, . Por exemplo, se temos o tensor , pódese baixar un índice:
,

ou pódese elevar un índice:
.

 Notas 


 Véxase tamén 
 Bibliografía 
 .
 Outros artigos 
 Tensor
 Notación de índice abstracto
 Notación Bra-ket
 Símbolo de Levi-Civita
 Ligazóns externas 



Categoría:Álxebra lineal
Categoría:Albert Einstein
Categoría:Física matemática