Tensore
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.
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
modificaDa 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
modificaLa 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 covettori e vettori 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
modificaUn 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
modificaSia 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
modificaDate 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
modificaI 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
modificaDue 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
modificaLa 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
modificaDue 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 S ⊗ T è del tipo (k+n,l+m).
Permutazione degli indici
modificaPermutando 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
modificaLa 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
modificaIn 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
modificaI 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
modificaLe 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.
Esempi
modificaIl 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
modificaLa 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
modificaSia 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
modificaAltri progetti
modifica- Wikizionario contiene il lemma di dizionario «tensore»
- Wikimedia Commons contiene immagini o altri file sul tensore
Collegamenti esterni
modifica- tensore, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
- Tullio Levi Civita e Ugo Amaldi, TENSORE, in Enciclopedia Italiana, Istituto dell'Enciclopedia Italiana, 1937.
- tensóre (matematica), su sapere.it, De Agostini.
- tensore, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) Eric W. Weisstein, Tensor, su MathWorld, Wolfram Research.
- Che cos'è un tensore, su ulisse.sissa.it. URL consultato il 12 luglio 2008 (archiviato dall'url originale il 12 giugno 2008).
- (EN) Dissemination of IT for the Promotion of Materials Science (DoITPoMS), "Tensors in Materials Science", su doitpoms.ac.uk.
Controllo di autorità | Thesaurus BNCF 31131 · NDL (EN, JA) 00572865 |
---|