Tensore

generalizzazione delle strutture definite usualmente in algebra lineare a partire da un singolo spazio vettoriale
(Reindirizzamento da Tensori)

In matematica, la nozione di tensore generalizza tutte le strutture definite usualmente in algebra lineare a partire da un singolo spazio vettoriale. Sono particolari tensori i vettori, gli endomorfismi, i funzionali lineari e i prodotti scalari.

Un tensore può essere descritto informalmente come una "matrice a più dimensioni" contenente valori arbitrari: nella figura, è mostrata una matrice tridimensionale (un cubo) contenente numeri, che rappresenta il tensore di Levi-Civita. Similmente a quanto accade per la matrice associata a un'applicazione lineare, una descrizione di questo tipo dipende però fortemente dalla scelta di un sistema di riferimento, ovvero di una base. In matematica e fisica si definisce quindi un tensore in modo più intrinseco.

Il primo utilizzo del concetto e del termine tensore avviene nell'ambito della meccanica dei continui, in connessione con l'esigenza di descrivere le sollecitazioni e le deformazioni subite dai corpi estesi, da cui la formalizzazione della meccanica razionale.

I tensori sono ampiamente utilizzati in relatività generale, per descrivere rigorosamente lo spaziotempo come varietà 4-dimensionale curva. I tensori sono utilizzati in molti altri ambiti della fisica, fra cui in particolare l'elettromagnetismo, la meccanica dei fluidi e la meccanica dei solidi. In particolare il tensore degli sforzi e il tensore delle deformazioni sono usati nella scienza delle costruzioni per definire lo stato tensiodeformativo in ogni punto di una determinata struttura.

I tensori sono altresì usati in geometria differenziale per definire su una varietà differenziabile le nozioni geometriche di distanza, angolo e volume. Questo viene fatto tramite la scelta di un tensore metrico, cioè di un prodotto scalare definito sullo spazio tangente di ogni punto. Tramite questa nozione, vengono quindi definiti e studiati gli aspetti inerenti alla curvatura della varietà. Altri tensori, come il tensore di Riemann e il tensore di Ricci, sono strumenti importanti per questo studio.

Introduzione

modifica

Da un punto di vista fisico, un tensore è un oggetto molto generale, definito a partire da uno spazio vettoriale   (che può essere ad esempio lo spazio euclideo 3-dimensionale, oppure lo spaziotempo 4-dimensionale), non dipendente da un particolare sistema di riferimento.

Rispetto a un fissato sistema di riferimento, un vettore dello spazio è espresso come una sequenza di componenti numeriche (le sue coordinate), cioè un'ennupla ordinata. Cambiando sistema di riferimento, lo stesso vettore è espresso con una sequenza diversa. La nuova sequenza è ottenuta dalla precedente secondo delle leggi precise.

Un tensore, espresso rispetto a un particolare sistema di riferimento, è una più generale "tabella di numeri  -dimensionale" che generalizza i casi   (una sequenza) e   (una matrice). Al mutare del sistema di riferimento le componenti di un tensore, come quelle di un vettore, sono anch'esse modificate da leggi precise.

La nozione fisica di tensore come oggetto le cui coordinate dipendono dal sistema di riferimento secondo leggi fissate (chiamate covarianza e controvarianza), è utile a esprimere molte leggi fisiche.

La nozione matematica di tensore è realizzata in modo più rigoroso tramite l'algebra lineare. Innanzitutto, nel linguaggio dell'algebra lineare un sistema di riferimento è una base e la legge di trasformazione è fornita dalla matrice di cambiamento di base. Inoltre, la definizione di tensore può essere data senza fare uso di sistemi di riferimento (cioè di basi), usando le nozioni più astratte di applicazione multilineare e di spazio vettoriale duale.

Definizione

modifica

La definizione di tensore che segue è quella più intrinseca, perché non fa uso di basi, ed è la più usata in matematica. Una definizione alternativa, ampiamente usata in fisica, necessita di una base fissata.
Sia   uno spazio vettoriale di dimensione   su un campo  . Lo spazio duale   è lo spazio vettoriale formato da tutti i funzionali lineari

 

Lo spazio   ha anch'esso dimensione  . Gli elementi di   e   sono chiamati rispettivamente vettori e covettori.

Un tensore è un'applicazione multilineare

 

Un tensore   associa quindi a   vettori   e   covettori   uno scalare

 

La multilinearità garantisce che la funzione sia lineare in ogni componente.

L'ordine o tipo del tensore è la coppia  . L'insieme di tutti i tensori di tipo   è munito di una naturale struttura di spazio vettoriale avente dimensione  .

Coordinate

modifica

Un vettore può essere descritto da una colonna di numeri, cioè da una disposizione ordinata 1-dimensionale. Una trasformazione lineare è descritta tramite una matrice, detta matrice associata: una griglia bidimensionale. Più in generale, un tensore di tipo   è descritto da una griglia di dimensione  . Per fare ciò, è però necessario fissare una base: scelte di basi differenti danno griglie contenenti numeri differenti.

Coordinate rispetto a una base

modifica

Sia   una base di  . Questa base induce la base duale   per  , definita da

 

Un tensore   di tipo   è determinato dai valori

 

che assume sugli elementi della base. Ciascuno dei   indici in   può variare tra   e  . In totale sono quindi   valori. Questi formano le coordinate del tensore rispetto alla base  .

Facendo uso del prodotto fra tensori, il simbolo

 

indica il tensore che vale 1 in   e zero su tutte le altre combinazioni di elementi delle basi. Questo tensore ha quindi coordinata 1 in   e zero per tutte le altre combinazioni.

Il tensore generico   può essere espresso come combinazione lineare degli   prodotti tensoriali:

 

e tale rappresentazione è unica.

Un tensore è quindi rappresentato tramite le sue coordinate rispetto a una base, ma la base è omessa, e questa scrittura risulta essere conveniente in molti contesti in cui la scelta della base risulta essere di fatto ininfluente. A volte è inoltre utile rimarcare l'ordine esistente fra i   indici e si antepone quindi uno spazio agli indici inferiori:

 

Cambiamento di base

modifica
  Lo stesso argomento in dettaglio: Covarianza e controvarianza.

Date due basi   e  , esse sono collegate da una matrice di cambiamento di base  , definita dalle relazioni

 

dove   è la matrice inversa di  , valide per ogni  . L'indice in alto descrive la riga e quello in basso la colonna della matrice. Essendo il tensore un oggetto indipendente dalla base scelta, si ha:

 

dove   sono le componenti del tensore   espresse nella base  .
Le coordinate del tensore rispetto alle due basi sono quindi collegate tramite la relazione

 
 

La somma è effettuata su tutti gli indici  , ciascuno di questi da   a  : è quindi una somma di   termini.
A ogni base   di   è dunque possibile associare   numeri reali  : tali numeri sono le componenti di un tensore se e solo se quando si effettua un cambio di base la trasformazione è descritta dalle due precedenti relazioni. Esse costituiscono dunque una definizione alternativa di tensore, spesso usata in fisica.

  • Per gli   indici in alto la trasformazione alla quale sono soggette le relative componenti corrisponde alla trasformazione inversa rispetto a quella del cambiamento di base: gli indici in alto sono quindi detti di controvarianza.
  • Per i   indici in basso la trasformazione alla quale sono soggette le relative componenti corrisponde alla stessa trasformazione subita dai vettori di base: gli indici in basso sono quindi detti di covarianza.

Dalla proprietà di covarianza o controvarianza, cioè di mutare secondo una certa legge al cambiamento di base, tali tensori vengono chiamati h-volte controvarianti e k-volte covarianti. Inoltre, un tensore avente solo indici in basso, è detto tensore covariante, un tensore avente indici soltanto in alto è invece detto tensore controvariante, mentre un tensore avente indici sia in alto sia in basso è detto tensore misto.

Notazione di Einstein

modifica
  Lo stesso argomento in dettaglio: Notazione di Einstein.
 
Nel libro La teoria della relatività Albert Einstein introduce una notazione che rende le formule della relatività generale più concise: «Quando un indice si presenta due volte in un termine di un'espressione, occorre sommare rispetto a esso, salvo il caso in cui sia esplicitamente indicato il contrario.»

I tensori sono quantità complicate da maneggiare: molte operazioni con i tensori sono descritte usando le coordinate, ed è facile trovare espressioni con molti indici e simboli. Per semplificare la scrittura è spesso utile usare la notazione di Einstein: secondo questa notazione, gli indici ripetuti, cioè che compaiono almeno due volte nell'espressione, vanno sommati da 1 a   (la dimensione dello spazio vettoriale originario  ). Il simbolo di sommatoria per questi indici è escluso.

Ad esempio, la relazione che descrive il mutamento delle coordinate al cambiamento di una base può essere scritta in modo più sintetico senza scrivere le sommatorie, nel modo seguente:

 

Calcolo tensoriale

modifica
  Lo stesso argomento in dettaglio: Calcolo tensoriale.

Due tensori dello stesso tipo   possono essere sommati e moltiplicati per uno scalare, secondo le regole usate normalmente per funzioni a valori in un campo. Con queste operazioni, i tensori di tipo   formano uno spazio vettoriale di dimensione  , uguale al numero di coordinate di un tensore, dove   è la dimensione di  .

Contrazione di un tensore

modifica
  Lo stesso argomento in dettaglio: Contrazione di un tensore.

La contrazione di un tensore è un'operazione che trasforma un tensore misto di tipo   in un tensore di tipo  . È definita nel modo seguente: si scrive il tensore iniziale usando la notazione con indici, quindi se ne prendono due, uno superiore e l'altro inferiore, si indicano con la stessa lettera, e si interpreta il tensore risultante secondo la notazione di Einstein.
Ad esempio, dato  , il tensore ottenuto contraendo gli indici   e   è il seguente:

 

Il risultato di questa operazione è effettivamente un tensore. Questo fatto non è banale: ad esempio, ciò non accade in generale se si contraggono due indici superiori o inferiori.

Prodotto fra tensori

modifica
  Lo stesso argomento in dettaglio: Prodotto fra tensori.

Due tensori   e   possono essere moltiplicati tramite un'operazione detta prodotto tensoriale, e il risultato è un tensore il cui ordine è la somma degli ordini dei tensori di partenza.
Se definiti come applicazioni multilineari, il prodotto tensoriale è definito semplicemente come:

 

che produce un'ulteriore applicazione multilineare. Per quanto riguarda le componenti, esse si moltiplicano:

 

Se dunque S è del tipo (k,l) e T è del tipo (n,m), il prodotto tensoriale ST è del tipo (k+n,l+m).

Permutazione degli indici

modifica

Permutando gli indici inferiori o superiori di un tensore, si ottiene un altro tensore dello stesso ordine del precedente. Ad esempio, se   è un tensore,   è un altro tensore. Questa operazione corrisponde alla permutazione delle variabili nel dominio del tensore, definito originariamente come un'applicazione multilineare. Non è possibile permutare indici superiori con indici inferiori. La permutazione degli indici caratterizza inoltre la simmetria di un tensore:

  • Un tensore è simmetrico se non cambia dopo qualsiasi permutazione degli indici in alto o in basso. Un tensore di ordine   oppure   è simmetrico se e solo se le sue coordinate formano una matrice simmetrica. Questa proprietà delle matrici non dipende in effetti dalla base scelta (è cioè preservata dalla congruenza fra matrici).
  • Un tensore è antisimmetrico o emisimmetrico se, dopo una qualsiasi permutazione degli indici, cambia soltanto per un segno, pari al segno della permutazione. Un tensore di ordine   oppure   è antisimmetrico se e solo se le sue coordinate formano una matrice antisimmetrica.

In un tensore antisimmetrico, le coordinate in cui un indice si ripete almeno due volte sono tutti nulli. Nel caso delle matrici, questo equivale al fatto che i valori sulla diagonale principale sono tutti nulli. Ad esempio, in un tensore antisimmetrico   ogni valore   è nullo.

Da questo fatto segue che un tensore antisimmetrico di tipo   con   oppure   è necessariamente nullo, perché non può avere   (oppure  ) valori differenti nell'insieme  . Inoltre esiste, a meno di moltiplicazione per scalare, un solo tensore antisimmetrico di ordine  : il determinante, ossia il tensore di Levi-Civita.

I tensori antisimmetrici sono utilizzati nella costruzione di forme differenziali.

Calcolo differenziale

modifica
  Lo stesso argomento in dettaglio: Derivata covariante.

La derivata covariante estende il concetto usuale di derivata direzionale presente nell'ordinario spazio euclideo a una varietà differenziabile arbitraria. Tramite la derivata covariante è possibile calcolare la derivata di un campo vettoriale o di un più generale campo tensoriale in un punto, lungo una direzione fissata. A differenza di quanto accade nell'usuale calcolo differenziale per aperti di  , nel contesto più generale delle varietà differenziabili per definire univocamente una derivata è però necessario fissare un'ulteriore struttura, detta connessione. Una connessione può essere descritta concretamente dai suoi simboli di Christoffel.
La derivata covariante di un tensore di tipo   è un tensore di tipo  . In presenza di una varietà riemanniana (cioè dotata di un tensore metrico definito positivo), esiste una connessione canonica, detta connessione di Levi-Civita: in questo caso è quindi possibile usare la nozione di derivata senza fissare nessuna struttura ulteriore.
Tramite la derivata covariante si definiscono vari tensori che misurano la curvatura della varietà, fra i quali il tensore di Riemann e il tensore di Ricci.

Campo tensoriale

modifica

In diverse discipline fisiche e matematiche, le componenti di un tensore sono funzioni, ed esso prende così il nome di campo tensoriale. Similmente al campo vettoriale, un campo tensoriale è ottenuto associando a ogni punto di una varietà differenziabile, ad esempio un aperto dello spazio euclideo  , un tensore definito sullo spazio tangente nel punto. Si richiede inoltre che questo tensore vari con continuità, più precisamente in modo differenziabile al variare del punto nella varietà. Questa condizione può essere espressa chiedendo che le coordinate del tensore espresse in una carta, cioè in un sistema di riferimento locale, varino con continuità (o in modo differenziabile) al variare del punto, e questa condizione non dipende dalla carta scelta.

Le componenti di un campo tensoriale rispetto a due carte diverse sono collegate da opportune leggi di trasformazione, espresse in termini di derivate parziali delle funzioni coordinate   nel modo seguente:

 

Tensore metrico

modifica
  Lo stesso argomento in dettaglio: Tensore metrico.

I campi tensoriali sono uno strumento fondamentale in geometria differenziale: sono ampiamente usati per definire su una varietà differenziabile le nozioni di distanza fra punti, angolo, lunghezza di una curva, geodetica, curvatura, volume, ecc. Lo strumento che permette di definire questi concetti è il tensore metrico: si tratta di un tensore di tipo   che misura il prodotto scalare di due vettori dello spazio tangente in un punto.

A partire dal tensore metrico si definiscono altri tensori, spesso più complicati, che catturano la curvatura della varietà. Tra questi, il tensore di Riemann e il tensore di Ricci. Quest'ultimo è essenziale nella formulazione della relatività generale, poiché è presente nell'equazione di campo di Einstein.

Forme differenziali

modifica
  Lo stesso argomento in dettaglio: Forma differenziale.

Le forme differenziali sono campi tensoriali in cui il tensore associato a ogni punto è antisimmetrico e di tipo  . Sono uno strumento utile essenzialmente per un motivo: una forma differenziale di tipo   può essere integrata su una sottovarietà di dimensione  . Le forme differenziali sono inoltre utili per definire la coomologia di de Rham, uno strumento importante in topologia algebrica, e sono alla base della definizione di struttura simplettica.

Il tensore generalizza molte nozioni definite in algebra lineare a partire da uno spazio vettoriale  .

  • Un tensore di tipo   è uno scalare.
  • Un tensore di tipo   è un vettore di  .
  • Un tensore di tipo   è un covettore, cioè un elemento dello spazio duale  .
  • Un tensore di tipo   rappresenta un endomorfismo   tramite la relazione   L'endomorfismo può essere descritto come  , e l'immagine è il risultato di un prodotto di due tensori e di una contrazione.
  • Un tensore di tipo   è un bivettore.
  • Un tensore di tipo   è una forma bilineare, come ad esempio i prodotti scalari. Essa associa a due vettori   e   lo scalare  , ottenuto contraendo due coppie di indici. La forma bilineare è simmetrica se   lo è, e cioè se   per ogni  .
  • Un tensore di tipo   definisce il prodotto vettoriale nello spazio euclideo tridimensionale  . Esso può essere definito come un tensore   le cui componenti rispetto alla base canonica sono le stesse del simbolo di Levi-Civita. Il prodotto vettoriale di due vettori   e   è dato quindi da  
  • Un tensore di tipo   è una forma trilineare, come ad esempio il prodotto misto.

Delta di Kronecker

modifica
  Lo stesso argomento in dettaglio: Delta di Kronecker.

La delta di Kronecker

 

è un tensore di tipo   che rappresenta l'endomorfismo autoaggiunto identità di  . Le sue coordinate sono le stesse in qualunque base.

Tensore di Levi-Civita

modifica
  Lo stesso argomento in dettaglio: Simbolo di Levi-Civita e Determinante (algebra).

Sia   lo spazio euclideo di dimensione  . Il simbolo di Levi-Civita

 

definisce un tensore, se interpretato rispetto alla base canonica di  . Il tensore di Levi-Civita è un tensore di tipo   e coincide con il determinante valutato sulle colonne di una matrice quadrata: il determinante è infatti un'applicazione multilineare sulle   colonne di una matrice. Rispetto a un cambiamento di base, le coordinate del tensore cambiano per una costante moltiplicativa.

Bibliografia

modifica
  • (EN) C. T. J. Dodson, Tim Poston (1991): Tensor Geometry. The Geometric Viewpoint and its Use, 2nd ed., Springer, ISBN 3-540-52018-X
  • (EN) James G. Simmonds: A brief on Tensor Analysis, Springer, 2nd edition, 1997

In relazione alla geometria differenziale:

  • (EN) John Lee, Introduction to Smooth Manifolds, Springer, 2002. - Copre tutti i risultati fondamentali in modo dettagliato. L'autore si impegna molto per dare anche una visione intuitiva e motivata dell'argomento.
  • (EN) James Munkres, Analysis on Manifolds, Westview Press, 1990. - Semplice da seguire, scritto molto bene (quasi come Topology, dello stesso autore). Tratta solo varietà in ambiente reale. Gli unici prerequisiti sono algebra lineare di base e calcolo in più variabili (non è essenziale ma aiuta).
  • (EN) Richard Bishop, Samuel Goldberg, Tensor Analysis on Manifolds, Dover, 1980. - Tratta più cose rispetto al Lee (varietà riemanniane e applicazioni fisiche), è scorrevole e chiaro, ma decisamente più sintetico e con meno esercizi.

Per un punto di vista algebrico:

  • Serge Lang, Algebra, Springer, 2005. - Una classica introduzione all'algebra a livello di laurea specialistica. Si parla di prodotto tensoriale tra spazi vettoriali da una prospettiva algebrica (universale), prerequisito fondamentale per trattare argomenti come l'algebra commutativa e la geometria algebrica.
  • Saunders Mac Lane, Garrett Birkhoff, Algebra, AMS Chelsea, 1999. - Altro classico, scritto da due matematici che hanno dato contributi importanti in geometria.

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

modifica
Controllo di autoritàThesaurus BNCF 31131 · NDL (ENJA00572865
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica