Innalzamento e abbassamento degli indici

In matematica e in fisica matematica, l'innalzamento e l'abbassamento degli indici sono operazioni che vengono fatte su tensori per cambiarne il tipo.

Tipo di un tensore

Dato un campo tensoriale su una varietà M, in presenza di una forma non-singolare su M (come una metrica riemanniana o una metrica di Minkowski), si può innalzare o abbassare gli indici per trasformare un tensore di tipo (a, b) a un tensore di tipo (a + 1, b − 1) (indici alzati) o in un tensore (a − 1, b + 1) (indici abbassati), dove la notazione (a, b) è stata usata per denotare l'ordine a + b con a indici superiori e b indici inferiori.

Si fa questo moltiplicando per il tensore metrico covariante o controvariante e poi contraendo gli indici, (ovvero ponendo due indici uguali e poi sommando sugli indici ripetuti, applicando la notazione di Einstein). Vedere gli esempi sotto.

Vettori (tensori di ordine 1)

Moltiplicare un tensore per il tensore metrico controvariante $g^{ij}$ e contrarlo produce un altro tensore con un indice superiore:

$g^{ij}{A}_j=B^i,$

Spesso il tensore risultante viene denotato con la stessa lettera del tensore iniziale, ma con l'indice innalzato, quindi si scrive

$g^{ij}{A}_j=A^i.$

Similmente, moltiplicare per il tensore metrico covariante e contrarre abbassa un indice:

$g_{ij}{A}^j=A_i.$

La forma $g_{ij}$ non ha bisogno di essere non-singolare per abbassare un indice, ma per ottenere l'inverso (e quindi alzare un indice) deve essere non-singolare.

Innalzare e poi abbassare lo stesso indice (o il viceversa) sono operazioni inverse, il che si riflette nel fatto che i tensori metrici covarianti e controvarianti sono uno l'inverso dell'altro:

$g^{ij}{g}_{jk}=g_{kj}{g}^{ji}={{\delta }^i}_k={{\delta }_k}^i$

dove ${\delta }_k^j$ è la delta di Kronecker o la matrice identità. Siccome ci sono diverse scelte di metriche con diverse segnature (segni degli elementi diagonali, cioè i componenti dei tensori con gli indici uguali), il nome e la segnatura è solitamente indicato per evitare confusione. Diversi autori usano metriche e segnature diverse per ragioni diverse.

Come regola mnemonica (sebbene scorretta), si potrebbe pensare di "cancellare" gli indici tra la metrica e il tensore, con la metrica che alza o abbassa l'indice. Nell'esempio di cui sopra, questa "regola" sarebbe:

$g^{ij}{A}_j={\cancel{g}}^{i\cancel{j}}{A}_{\cancel{j}}=A^i,$

Questa non è però una proprietà dei tensori dal momento che gli indici non si elidono come nelle equazioni.

Quando si alzano gli indici di quantità spaziotemporali, è utile scomporre nelle componenti "di tipo tempo" (con indice zero) e nelle componenti "di tipo spazio" (con indici 1, 2, 3, rappresentati per convenzione con lettere latine).

Un esempio dallo spaziotempo di Minkowski

La quadriposizione covariante è data da

$X_{\mu }=(-ct,x,y,z)$

con componenti:

$X_0=-ct,X_1=x,X_2=y,X_3=z$

(dove x,y,z sono le solite coordinate cartesiane) e la metrica di Minkowski con segnatura (− + + +) è definita come

${\eta }_{\mu \nu }={\eta }^{\mu \nu }=\left(\begin{array}{cccc}-1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 1\end{array}\right)$

in componenti:

${\eta }_{00}=-1,{\eta }_{i0}={\eta }_{0i}=0,{\eta }_{ij}={\delta }_{ij}(i,j\ne 0).$

Per alzare l'indice, si moltiplica per la metrica e si contrae:

$X^{\lambda }={\eta }^{\lambda \mu }{X}_{\mu }={\eta }^{\lambda 0}{X}_0+{\eta }^{\lambda i}{X}_i$

quindi per $\lambda =0$:

$X^0={\eta }^{00}{X}_0+{\eta }^{0i}{X}_i=-X_0$

e per $\lambda =j=1,2,3$:

$X^j={\eta }^{j0}{X}_0+{\eta }^{ji}{X}_i={\delta }^{ji}{X}_i=X_j.$

Quindi la quadriposizione controvariante (con indice alzato) è:

$X^{\mu }=(ct,x,y,z).$

Tensori (ordini superiori)

Ordine 2

Per un tensore di ordine 2, si alza ciascun indice moltiplicando due volte per il tensore metrico controvariante e contraendo negli indici diversi:

$A^{\alpha \beta }=g^{\alpha \gamma }{g}^{\beta \delta }{A}_{\gamma \delta }$

mentre per abbassare ciascun indice il tensore metrico in gioco è il covariante:

$A_{\alpha \beta }=g_{\alpha \gamma }{g}_{\beta \delta }{A}^{\gamma \delta }$

Un esempio dall'elettromagnetico classico in relatività ristretta

Il tensore elettromagnetico controvariante nella segnatura (+ − − −) è dato da

$F^{\alpha \beta }=\left(\begin{array}{cccc}0& -\frac{E_x}{c}& -\frac{E_y}{c}& -\frac{E_z}{c}\\ \frac{E_x}{c}& 0& -B_z& B_y\\ \frac{E_y}{c}& B_z& 0& -B_x\\ \frac{E_z}{c}& -B_y& B_x& 0\end{array}\right)$

in componenti:

$F^{0i}=-F^{i0}=-\frac{E^i}{c},F^{ij}=-{\epsilon }^{ijk}{B}_k$

Per ottenere il tensore covariante $F_{\alpha \beta }$, si moltiplica per il tensore metrico e si contrae:

$\begin{array}{cc}{F}_{\alpha \beta }& ={\eta }_{\alpha \gamma }{\eta }_{\beta \delta }{F}^{\gamma \delta }\\ & ={\eta }_{\alpha 0}{\eta }_{\beta 0}{F}^{00}+{\eta }_{\alpha i}{\eta }_{\beta 0}{F}^{i0}+{\eta }_{\alpha 0}{\eta }_{\beta i}{F}^{0i}+{\eta }_{\alpha i}{\eta }_{\beta j}{F}^{ij}\end{array}$

e siccome $F^{00}=0$ e $F^{0i}=-F^{i0}$, questo si riduce a

$F_{\alpha \beta }=({\eta }_{\alpha i}{\eta }_{\beta 0}-{\eta }_{\alpha 0}{\eta }_{\beta i})F^{i0}+{\eta }_{\alpha i}{\eta }_{\beta j}{F}^{ij}$

Ora, per α = 0, β = k = 1, 2, 3:

$\begin{array}{cc}{F}_{0k}& =({\eta }_{0i}{\eta }_{k0}-{\eta }_{00}{\eta }_{ki})F^{i0}+{\eta }_{0i}{\eta }_{kj}{F}^{ij}\\ & =(0-(-{\delta }_{ki}))F^{i0}+0\\ & =F^{k0}=-F^{0k}\\ \end{array}$

e per antisimmetria, per $\alpha =k=1,2,3;\beta =0$:

$F_{k0}=-F^{k0}$

quindi infine per $\alpha =k=1,2,3;\beta =l=1,2,3$

$\begin{array}{cc}{F}_{kl}& =({\eta }_{ki}{\eta }_{l0}-{\eta }_{k0}{\eta }_{li})F^{i0}+{\eta }_{ki}{\eta }_{lj}{F}^{ij}\\ & =0+{\delta }_{ki}{\delta }_{lj}{F}^{ij}\\ & =F^{kl}\\ \end{array}$

Il tensore con indici bassi (covariante) è pertanto:

$F_{\alpha \beta }=\left(\begin{array}{cccc}0& \frac{E_x}{c}& \frac{E_y}{c}& \frac{E_z}{c}\\ -\frac{E_x}{c}& 0& -B_z& B_y\\ -\frac{E_y}{c}& B_z& 0& -B_x\\ -\frac{E_z}{c}& -B_y& B_x& 0\end{array}\right)$

Ordine n

Quando uno spazio vettoriale è munito di un prodotto scalare (o metrica, come è spesso detta in questo contesto), esistono operazioni che convertono un indice controvariante (superiore) in un indice covariante (inferiore) e viceversa. Una metrica è uno (0,2)-tensore (simmetrico), è quindi possibile contrarre un indice superiore di un tensore con uno degli indici bassi della metrica. Questo produce un nuovo tensore con la stessa struttura del precedente, ma con un indice basso al posto dell'indice alto contratto. Questa operazione è nota come abbassamento di un indice. Al contrario, una metrica ha come inversa un (2,0)-tensore. Questa metrica inversa può essere contratta con un indice basso per produrre un indice alto. Questa operazione è detta innalzamento di un indice.

Per un tensore di ordine n, gli indici sono alzati da:

$g^{j_1{i}_1}{g}^{j_2{i}_2}\cdots g^{j_n{i}_n}{A}_{i_1{i}_2\cdots i_n}=A^{j_1{j}_2\cdots j_n}$

e abbassati da:

$g_{j_1{i}_1}{g}_{j_2{i}_2}\cdots g_{j_n{i}_n}{A}^{i_1{i}_2\cdots i_n}=A_{j_1{j}_2\cdots j_n}$

e per un tensore misto:

$g_{p_1{i}_1}{g}_{p_2{i}_2}\cdots g_{p_n{i}_n}{g}^{q_1{j}_1}{g}^{q_2{j}_2}\cdots g^{q_m{j}_m}{A^{i_1{i}_2\cdots i_n}}_{j_1{j}_2\cdots j_m}={A_{p_1{p}_2\cdots p_n}}^{q_1{q}_2\cdots q_m}$

Voci correlate

• Notazione di Einstein
• Tensore metrico
• Isomorfismo musicale

Collegamenti esterni

• Template:Collegamenti esterni