Prodotto tensoriale

Da Wikipedia, l'enciclopedia libera.

Disambiguazione – Se stai cercando il prodotto fra due tensori definiti sullo stesso spazio vettoriale, vedi Prodotto fra tensori.

La comprensione dell'argomento trattato in questa voce presuppone la conoscenza dei seguenti concetti:

Il prodotto tensoriale V ⊗ W di due spazi vettoriali V, W, è uno spazio vettoriale che contiene i prodotti di vettori di V e W in senso universale.

Si può pensare ad una applicazione bilineare V × W → L come a un prodotto ⋅ tra vettori di V e W a valori in un terzo spazio vettoriale L (sebbene non necessario, è utile vederla in questo modo). Dato un altro spazio M e un omomorfismo φ : L → M, si ha che φ ( v · w ) è un prodotto a valori in M. Si può dimostrare che esiste un "prodotto universale" ⊗ a valori in un certo spazio V ⊗ W con la proprietà che tutti i possibili prodotti su V × W si possono ottenere, in modo unico, trasformando linearmente il codominio V ⊗ W. Se v e w sono rispettivamente elementi di V e W si denota con v ⊗ w il prodotto di v e w in V ⊗ W.

Per dimostrarne l'esistenza lo si costruisce come spazio quoziente dello spazio vettoriale libero su V×W imponendo le relazioni ovvie per far si che la proiezione dopo l'immersione sia bilineare.

Prendendo spazi quozienti del prodotto tensoriale si possono aggiungere proprietà a ⊗ ottenendo, ad esempio, il prodotto universale simmetrico (basta imporre la relazione v ⊗ w - w ⊗ v = 0, cioè prendere il quoziente ( V ⊗ W ) / K dove K è il sottospazio generato da tutti gli elementi del tipo v ⊗ w - w ⊗ v ) o antisimmetrico (imponendo v ⊗ w + w ⊗ v = 0). Queste costruzioni sono fondamentali in svariati campi (ad esempio permettono di definire metriche e forme differenziali sugli spazi tangenti di varietà differenziali).

Partendo con degli R - moduli M, N (strutture che generalizzano gli spazi vettoriali prendendo gli scalari in un anello invece che in un campo), e supponendo R commutativo per semplicità, si può dare la stessa definizione che per il caso degli spazi vettoriali di M ⊗_R N (con i moduli di solito si specifica rispetto a quale anello li si considera mettendo un pedice a ⊗). Anche la dimostrazione dell'esistenza rimane la stessa. Nonostante le similitudini iniziali il prodotto tensoriale tra moduli può riservare delle sorprese (ad esempio Z / ( m ) ⊗ Z / ( n ) = 0 se m ed n sono coprimi).

[modifica] Definizione

Riprendendo quanto detto nell'introduzione, si definisce prodotto tensoriale di due spazi vettoriali V, W uno spazio V ⊗ W assieme ad una applicazione bilineare ⊗: V × W → V ⊗ W per cui data una qualsiasi ⋅ : V × W → H bilineare esiste un unico omomorfismo φ : V ⊗ W → H che fattorizza ⋅ tramite ⊗ (vedi il primo diagramma a destra), cioè tale che

v ⋅ w = φ ( v ⊗ w ).

Un altro modo di scrivere la stessa cosa (vedi il secondo diagramma a destra) è che la coppia ( V ⊗ W, ⊗ ) è un elemento universale per il funtore $\mathcal G$ dalla categoria degli spazi vettoriali a quella degli insiemi che manda X nella famiglia delle funzioni bilineari V × W → X facendo corrispondere ad un omomorfismo φ: X → Y la funzione che associa ad un prodotto ⋅ : V × W → X il prodotto ( v, w ) $_\mapsto$ φ ( v ⋅ w ) (nella figura ( $\mathcal G$ ( φ ) ( ⊗ ) ) ( v, w ) = φ ( v ⊗ w ) = v ⋅ w ). Si dirà anche che ( V ⊗ W, ⊗ ), o semplicemente V ⊗ W, gode della proprietà universale per i prodotti tensoriali.

Se esistono due prodotti ( V ⊗₁ W, ⊗₁ ) e ( V ⊗₂ W, ⊗₂ ) che soddisfano la definizione allora esiste un unico isomorfismo φ tra V ⊗₁ W e V ⊗₂ W tale che φ ( v ⊗₁ w ) = v ⊗₂ w per ogni coppia ( v, w ). Per la dimostrazione di questo e dell'esistenza di un prodotto tensoriale si rimanda alle relative sottosezioni.

Il codominio V ⊗ W contiene tutti gli elementi del tipo v ⊗ w, che sono immagini tramite ⊗ delle coppie ( v, w ), ma l'elemento generico di V ⊗ W non è di questa forma, è piuttosto una somma finita di tali termini (vedi Coordinate), cioè, se U ⊂ V × W è finito, sarà del tipo

∑_{(v,w)∈ U} v ⊗ w .

Se V e W hanno dimensione n ed m con basi { v _i } _i=1...n e { w _j } _j=1...m rispettivamente, i vettori v _i ⊗ w _j per i = 1,...,n e j = 1,...,m formano una base di V ⊗ W (vedi Coordinate).

Sempre in dimensione finita, esiste un isomorfismo naturale tra lo spazio delle forme bilineari e V * ⊗ W * (vedi Proprietà), che in geometria differenziale è spesso sfruttato per definire V * ⊗ W * ( e V ⊗ W usando l'isomorfismo canonico dei due spazi con V ** e W ** rispettivamente). Per una trattazione più completa rispetto a questo punto di vista si rimanda alla voce Tensore.

[modifica] Esistenza

Si è definito il prodotto tensoriale dicendo che è una coppia con una certa proprietà. In questa sezione si dimostrerà che una tale coppia effettivamente esiste.

L'idea di base è che tra gli elementi di uno spazio vettoriale candidato a "codominio universale" per un prodotto, non deve sussistere nessuna relazione ulteriore a quelle necessarie per rendere il prodotto bilineare. Quindi si parte da uno spazio libero, senza relazioni, e poi si pone uguale ciò che si vuole sia uguale (il che significa prendere quozienti, vedi il libro di Artin Algebra capitoli sugli anelli e sui moduli).

Sia F lo spazio vettoriale libero su V × W. Si ricorda che F è lo spazio vettoriale che come base ha tutte le coppie ( v, w ). Sia K il sottospazio generato da tutti i vettori del tipo

( α v₁ + β v₂, w ) - α ( v₁, w ) - β ( v₂, w )

( v, α w₁ + β w₁ ) - α ( v, w₁ ) - β ( v, w₂ )

Mandando a zero i vettori di K, i.e., prendendo il quoziente F / K, la proiezione dopo l'immersione diventa bilineare. La coppia ( F / K , π $_\circ$ i ), dove π è la proiezione canonica ed i l'immersione di V × W in F, soddifa le richieste ed è un prodotto tensoriale di V e W. La situazione può essere riassunta dal diagramma commutativo

La dimostrazione è immediata, infatti V × W è una base di F quindi esiste un'unica estensione lineare s di ρ su F, e visto che il nucleo di s contiente K (perché ρ è bilineare) la proprietà caratteristica della proiezione nello spazio quoziente ci da l'unica applicazione lineare f per cui s = f $_\circ$ π, cioè esiste un'unica f tale che (chiamando ⊗ la funzione π $_\circ$ i )

ρ ( v, w ) = s $_\circ$ i ( v , w ) = f $_\circ$ π $_\circ$ i ( v , w ) = f ( v ⊗ w ).

[modifica] Unicità

L'unicità del prodotto tensoriale, nel senso indicato sopra, è una proprietà di tutti gli elementi universali.

L'unico punto non banale della dimostrazione è notare che se V ⊗ W è un prodotto tensoriale, ed h : V ⊗ W → V ⊗ W lineare lascia fissi tutti i vettori della forma v ⊗ w allora h è l'identità. L'idea è fattorizzare ⊗ tramite ⊗. Infatti per ipotesi ⊗ è bilineare su V × W quindi esiste un'unica h tale che v ⊗ w = h ( v ⊗ w ), e dato che l'applicazione identica va bene, deve essere h = id.

Ora si supponga che ( V ⊗₁ W, ⊗₁ ) e ( V ⊗₂ W, ⊗₂ ) soddisfino entrambi la proprietà universale, allora esistono φ: V ⊗₁ W → V ⊗₂ W e ψ: V ⊗₂ W → V ⊗₁ W tali che per ogni coppia ( v, w )

φ ( v ⊗₁ w ) = v ⊗₂ w e ψ ( v ⊗₂ w ) = v ⊗₁ w.

Sostituendo l'una nell'altra si ha

( φ $_\circ$ ψ ) ( v ⊗₂ w ) = v ⊗₂ w , ( ψ $_\circ$ φ ) ( v ⊗₁ w ) = v ⊗₁ w

da cui, per quanto detto all'inzio, φ $_\circ$ ψ è l'identità su V ⊗₂ W mentre ψ $_\circ$ φ è l'identità su V ⊗₁ W. In altre parole φ è un isomorfismo, ed è l'unico per cui valga φ ( v ⊗₁ w ) = v ⊗₂ w.

[modifica] Proprietà

Di seguito U, V, W saranno spazi vettoriali su un campo k, ed u, v, w dei loro rispettivi elementi.

( U ⊗ V ) ⊗ W ≅ U ⊗ ( V ⊗ W ) con ( u ⊗ v ) ⊗ w ↔ u ⊗ ( v ⊗ w ). L'applicazione è ben definita perché è assegnato il valore ad un insieme di generatori. Fissiamo u. Sia f_u: V × W → ( U ⊗ V ) ⊗ W la funzione bilineare f_u ( v, w ) = ( u ⊗ v ) ⊗ w. Se la fattorizziamo tramite il prodotto tensoriale (applichiamo la proprietà universale) abbiamo l'applicazione lineare φ_u : V ⊗ W → ( U ⊗ V ) ⊗ W che manda v ⊗ w in ( u ⊗ v ) ⊗ w . Anche la funzione U × ( V ⊗ W ) → ( U ⊗ V ) ⊗ W che manda ( u, v ⊗ w ) in φ_u ( v ⊗ w ) è bilineare e fattorizzandola abbiamo l'omomorfismo voluto. Possiamo costruire in modo analogo l'inversa ottenendo l'isomorfismo.
V ⊗ W ≅ W ⊗ V con v ⊗ w ↔ w ⊗ v. Basta fattorizzare tramite il prodotto tensoriale la funzione bilineare f : V × W → W ⊗ V con f ( v, w ) = w ⊗ v. In modo analogo possiamo ottenere l'inversa. Attenzione: questo non vuole in alcun modo suggerire che in V ⊗ V i due vettori v ⊗ w e w ⊗ v sono uguali, semmai è vero il contrario.
U ⊗ ( V ⊕ W ) ≅ ( U ⊗ V ) ⊕ ( U ⊗ W ) con u ⊗ ( v, w ) ↔ ( u ⊗ v, u ⊗ w ). Questa volta non conviene usare il tipo di dimostrazione dei casi precedenti perché non riusciremmo a costruire l'inversa. Dimostriamo allora che ogni prodotto su U × ( V ⊕ W ) si fattorizza in modo unico tramite ( U ⊗ V ) ⊕ ( U ⊗ W ). L'applicazione φ tra U × ( V ⊕ W ) e ( U ⊗ V ) ⊕ ( U ⊗ W ) che manda ( u, ( v, w ) ) in ( u ⊗ v, u ⊗ w ) è bilineare. Se E è uno spazio vettoriale e ψ un'applicazione bilineare da U × ( V ⊕ W ) in E, possiamo scrivere

ψ ( u, ( v, w ) ) = ψ ( u, ( v, 0 ) ) + ψ ( u, ( 0, w ) )

questo ci da la fattorizzazione tramite φ.
k ⊗ V ≅ V con α ⊗ v ↔ α v. Intuitivamente è quasi ovvio, formalmente dimostriamo che V e la mappa bilineare φ : ( α, v ) → α v soddisfano la proprietà universale. Se ψ : k × V → W è bilineare allora

ψ ( α, v ) = ψ ( 1, α v ) = ψ ( 1, φ ( α, v ) )

fattorizzando in modo unico ψ tramite φ.
k ⁿ ⊗ V ≅ V ⁿ. Segue dalle precedenti.
k ⁿ ⊗ k ^m ≅ k ^nm. Segue dalle precedenti.
Se V e W hanno dimensione finita esiste un isomorfismo canonico V * ⊗ W * ≅ Bil ( V, W; k ) che associa φ ⊗ ψ a φ ⋅ ψ (che calcolata nella coppia ( v, w ) vale φ ( v ) ψ ( w )). Infatti f ( φ, ψ ) = φ ⋅ ψ è bilineare, quindi possiamo fattorizzarla tramite il prodotto tensoriale per ottere un omorfismo che è surriettivo e quindi anche iniettivo perché i due spazi hanno la stessa dimensione. Attenzione: Ad uno sguardo superficiale può venire in mente che φ ⋅ ψ è uguale a ψ ⋅ φ, ma questo ovviamente è falso in generale perché i due calcolati su ( v, w ) danno rispettivamente φ ( v ) ψ ( w ) e ψ ( v ) φ ( w ).

[modifica] Esempi

Sia V uno spazio vettoriale su un campo K

Tre esempi basilari per la geometria differenziale quando V è lo spazio tangente M_p ad un punto p di una varietà differenziale M sono :
- $T^r(M_p) := M_p\otimes\cdots\otimes M_p$ (r fattori), lo spazio dei tensori controvarianti di grado r ;
- $T_s(M_p) := T^s(M_p^*),$ spazio dei tensori covarianti di grado r ;
- $T^r_s(M_p) := T^r(M_p)\otimes T_s(M_p),$ spazio dei tensori misti di tipo ( r, s ).

Con questi si può definire il fibrato tensoriale $\pi:T^r_s M \to M$ di tipo ( r, s ) come l'unione disgiunta dei vari $T^r_s(M_p)$ per tutti i punti di M, cioè:

$T^r_s M := \coprod_{p\in M} T^r_s(M_p)$

assieme alla proiezione canonica π : ( p, x ) $_\mapsto$ p (si ricorda che se { M_p }_{p ∈ M} è una famiglia di insiemi indicizzata da M la loro unione disgiunta è ∪_p { ( p, x ) : x ∈ M_p } ).

Più in generale, sia in geometria differenziale che in topologia algebrica sono ricorrenti i fibrati tensoriali, cioè fibrati vettoriali che hanno per fibra un prodotto tensoriale. In particolare, se E → M e H → M sono due fibrati vettoriali, si indica con E ⊗ H → M il fibrato tensoriale che ha come fibra il prodotto tensoriale delle fibre dei fattori e struttura di fibrato indotta nel modo ovvio.

In topologia algebrica, e più precisamente nella K-teoria, per studiare la struttura geometrica di uno spazio topologico X si costruisce un certo anello K ( X ) partendo dall'insieme Vec ( X ) dei fibrati vettoriali su X. Le informazioni geometriche interessanti possono essere contenute solo in fibrati non banali (cioè in fibrati che non si spezzano globalmente nel prodotto cartesiano dello spazio di base con la fibra), quindi si considerano equivalenti due fibrati vettoriali E → X e H → X quando esistono due interi m, n tali che la somma di Whitney E ⊕ B ^m → X è isomorfa a H ⊕ B ⁿ → X dove B ^m → M è il fibrato banale su X con fibra m-dimensionale. L'insieme Vec ( X ) modulo questa relazione di equivalenza forma un anello, indicato con K ( X ), rispetto alla somma [ E ] ⊕ [ H ] := [ E ⊕ H ] e il prodotto [ E ] ⊗ [ H ] := [ E ⊗ H ], dove [ E ] è la classe di equivalenza di E → X. Si noti che Vec ( X ) è solo un semigruppo rispetto alla somma di Whitney.

In geometria differenziale, fra i vari modi di definire una connessione su un fibrato vettoriale E → M c'è quello di considerarla come una mappa D che ad ogni sezione di E associa una sezione del fibrato tensoriale T* ( M ) ⊗ E → M, che ha per fibra su un punto p ∈ M lo spazio vettoriale T* ( M_p ) ⊗ E_p, in modo che
- se s e t sono sezioni di E allora
  
  D ( s + t ) = D ( s ) + D ( t ) ;
- se s è una sezione di E ed f una funzione liscia su M allora
  
  D ( f s ) = df ⊗ s + D ( s ) .

Se L è un'estensione di K possiamo cambiare il campo dei coefficienti di V da K a L prendendo il prodotto tensoriale L ⊗_K V ( il K a pedice di ⊗ significa che abbiamo considerato L come spazio vettoriale su K ), che infatti è un L - spazio vettoriale in modo canonico: w ( z ⊗ v ) := ( w z ) ⊗ v per ogni w, z ∈ L. Nel caso particolare con K = R, L = C il processo si dice di complessificazione ed è utile per studiare la struttura degli endomorfismi di V con autovalori complessi.

[modifica] Coordinate

[modifica] Basi e coordinate

Siano V e W due spazi vettoriali con basi { v _i } _i=1...n e { w _j } _j=1...m rispettivamente.

Si consideri il prodotto tensoriale ( F / K, π $_\circ$ i ) costruito sopra. È chiaro che { π ( i ( v, w ) ) : v ∈ V, w ∈ W } è un insieme di generatori per F / K. Un qualsiasi altro prodotto ( V ⊗ W, ⊗ ) che goda della proprietà universale deve (vedi Definizione) essere isomorfo a ( F / K, π $_\circ$ i ) con ( π $_\circ$ i ) ( v, w ) che corrisponde a v ⊗ w , quindi si può affermare che { v ⊗ w : v ∈ V, w ∈ W } genera V ⊗ W.

Per un generico v ⊗ w sia v = ∑ x ⁱ v _i e w = ∑ y ^j w _j. Grazie alla bilinearità di ⊗ possiamo espandere v ⊗ w come

$v\otimes w=\left(\sum_{i=1}^n x^iv_i\right)\otimes \left(\sum_{j=1}^m y^iw_i\right) = \sum_{i=1}^n\sum_{j=1}^m x^iy^j(v_i\otimes w_j)$

i.e., bastano i vettori v _i ⊗ w _j con i = 1,...,n e j = 1,...,m per generare V ⊗ W.

Nelle proprietà si è visto che V ⊗ W ha dimensione nm, quindi i v _i ⊗ w _j, che in totale sono nm, formano una base.

Fissata la base { v _i ⊗ w _j }, come accade per tutti gli spazi vettoriali, ogni elemento di V ⊗ W è unicamente derminato dalle sue coordinate. Più esplicitamente se a ∈ V ⊗ W, esiste un unico insieme di nm numeri a^{i j} tale che

$a = \sum_{i=1}^n\sum_{j=1}^m a^{ij} v_i\otimes w_j.$

[modifica] Tensori covarianti, controvarianti e misti in coordinate

Per alleggerire la notazione, in questa e nelle prossime due sezione si userà la convenzione di Einstein. In poche parole, quando un indice appare sia a pedice che ad apice in una formula si sottointende la sommatoria su quell'indice. Ad esempio

$e_j = L_j^i f_i$

in realtà sta per

$e_j = \sum_i L_j^i f_i.$

Come accennato negli esempi, in geometria differenziale ricorrono spesso prodotti tensoriali del tipo

$V \otimes \cdots \otimes V \otimes\ V^* \otimes\cdots\otimes V^*$

dove V è lo spazio tangente ad un punto di una varietà differenziale e V * è il suo duale. Se i fattori V sono m mentre i V * sono n, i vettori di questo prodotto tensoriale si dicono tensori (misti) di tipo ( m, n ).

Nel caso particolare in cui n = 0 cambiano nome in tensori controvarianti di ordine m, mentre se ci sono solo fattori V * diventano i tensori covarianti di ordine n.

Si fissi una base { e _i } _i=1...r per V e la duale { ε ^j } _j=1...r su V *, i.e.,

$\varepsilon^j(e_i) = \delta_i^j$

dove il termine di destra è il delta di Kronecker. Un tensore a di tipo ( m, n ) in componenti si scrive (adottando la convenzione di Einstein)

$a = a^{i_1\dots i_n}_{j_1\dots j_m} e_{i_1}\otimes\cdots\otimes e_{i_n}\otimes \varepsilon^{j_1}\otimes\cdots\otimes \varepsilon^{j_m}$

con ogni i ed ogni j sommato tra 1 e r ( la dimensione di V e V * ).

[modifica] Cambiamenti di base e trasformazione delle componenti

Nel contesto della sezione precedente, siano { e_j }_{j = 1,...,r} e { f_i }_{i = 1,...,r} due basi di V, e

$L = \begin{pmatrix}L_1^1 & \cdots & L_r^1\\ \vdots & \ddots & \vdots\\L_1^r & \cdots & L_r^r \end{pmatrix}$

la matrice di cambiamento di base che porta le coordinate di un vettore rispetto a { e_j } a quelle rispetto a { f_i }. Si ricorda che la j-esima colonna di L è formata dalle componenti di e_j rispetto alla base { f_i }, i.e.

$e_j = L_j^i f_i.$

Si fissino su V * le basi { ε^l } e { φ^k } duali di quelle prese in V. Sia P la matrice di cambiamento di base da { ε^l } a { φ^k }. In questo caso, perché gli indici dei covettori sono scritti in alto, la l-esima riga di P è data dalle componenti di ε^l rispetto a { φ^k }. Per definizione il prodotto P L ha in posizione lj il prodotto tra la l-esima riga di P e la j-esima colona di L. Come ricordato queste sono l'espressione in componenti di ε^l e di e_j rispetto a due basi una duale all'altra, quindi farne il prodotto riga per colonna equivale a calcolare

$\varepsilon^l(e_j) = \delta_j^l$

i.e., P L è la matrice identica, e P è l'inversa di L.

Trovare le leggi secondo cui variano le componenti di un tensore di tipo ( m, n ) è solo questione di estendere per bilinearità un'espressione. Infatti, partendo dalle basi { e_j } e { ε^l } su V e V * rispettivamente, un tensore a si scrive in componenti

$a = a^{j_1\dots j_n}_{l_1\dots l_m} e_{j_1}\otimes\cdots\otimes e_{j_n}\otimes \varepsilon^{l_1}\otimes\cdots\otimes \varepsilon^{l_m}$

ma

$e_j = L_j^i f_i,\quad \varepsilon^l = P^l_k \phi^k$

quindi sostituendo ed espandendo si arriva a

$a = L_{j_1}^{i_1}\cdots L_{j_n}^{i_n} P_{k_1}^{l_1}\cdots P_{k_m}^{l_m} a^{j_1\dots j_n}_{l_1\dots l_m} f_{i_1}\otimes\cdots\otimes f_{i_n}\otimes \phi^{k_1}\otimes\cdots\otimes \phi^{k_m}$

o più classicamente, scrivendo solo le componenti

$a^{i_1\dots i_n}_{k_1\dots k_m} = L_{j_1}^{i_1}\cdots L_{j_n}^{i_n} P_{k_1}^{l_1}\cdots P_{k_m}^{l_m} a^{j_1\dots j_n}_{l_1\dots l_m}.$

[modifica] Esempi

[modifica] Fibrato tensoriale e sezioni in coordinate locali

La definzione di fibrato tensoriale di tipo ( m, n ) su una varietà si trova negli esempi.

Si vedrà ora come la scelta di un sistema di coordinate locali per una varietà M di dimensione r determini una base per gli spazi tangenti ai, e quindi per le fibre nei, punti nel dominio delle coordinate locali.

Si fissi una carta ( U, x : U → Rⁿ ), i.e., si scelga un sistema di coordinate locali sull'aperto U ⊂ M. Se p è un punto di U, di solito si indica con x ⁱ ( p ) la i-esima coordinata di p. Tra le quattro definizioni (equivalenti) di spazio tangente ad un punto che si trovano in letteratura prendiamo quella in cui i vettori tangenti sono derivazioni. Si dimostra (vedi, ad esempio, Warner paragrafi da 1.13 a 1.19) che i vettori

$\left.\frac{\partial}{\partial x^1}\right|_p,\dots,\left.\frac{\partial}{\partial x^r}\right|_p$

formano una base di M_p. Gli indici posti, come in questo caso, all'apice di una quantità a denominatore sono da considerarsi come a pedice. La base duale in M_p * si indica con

$dx^1|_p,\ \dots,dx^r|_p.$

Ricapitolando, la scelta di un sistema di coordinate locali ( U, x ) identifica delle basi per gli spazi tangenti M_p ai punti p ∈ U, e le corrispettive duali sugli M_p *. Una fibra π ^-1 ( p ), p ∈ U, è, come segue direttamente dalla definizione, un prodotto tensoriale

$M_p\otimes\cdots\otimes M_p\otimes M_p^*\otimes\cdots\otimes M_p^*$

che quindi ha come base tutti i tensori di tipo ( m, n ) della forma

$\left.\frac{\partial}{\partial x^{i_1}}\right|_p\otimes\cdots\otimes\left.\frac{\partial}{\partial x^{i_m}}\right|_p\otimes dx^{j_1}|_p\otimes\dots\otimes dx^{j_n}|_p.$

Un elemento a ( p ) di π ^-1 ( p ) si scrive in coordinate come

$a(p) = a^{i_1\dots i_n}_{j_1\dots j_m}(p) \left.\frac{\partial}{\partial x^{i_1}}\right|_p\otimes\cdots\otimes\left.\frac{\partial}{\partial x^{i_m}}\right|_p\otimes dx^{j_1}|_p\otimes\dots\otimes dx^{j_n}|_p.$

Sfruttando queste "trivializzazioni" si può indurre una struttura di varietà differenziale su T_n^m M (vedi, ad esempio, Warner paragrafo 2.14).

Una funzione liscia a da M su T_n^m M tale che π ( a ( p ) ) = p si dice sezione o campo tensoriale, ed equivale ad assegnare ad ogni punto p di M un elemento a ( p ) della fibra π ^-1 ( p ) in modo che le componenti di a ( p ) in un (e quindi per ogni) sistema di coordinate locali contenente p siano funzioni lisce di p. Spesso, nei libri di fisica, viene usata la parola "tensore" per indicare un campo tensoriale.

[modifica] Simboli di Christoffel, notazione matriciale e curvatura

La definizione di connessione come una funzione D : Γ ( E ) → Γ ( T* ( M ) ⊗ E ), con Γ ( E ) l'insieme delle sezioni del fibrato E → M, che soddisfa le due proprietà elencate sopra ha il vantaggio di avere una espressione estremamente elegante in coordinate, usando la notazione matriciale.

Sia ( U, x = ( x ¹, ... , x ^m ) ) una carta locale di M ed s₁, ... , s_n sezioni di E che formano una base ad ogni punto di U. I dx ^j sono una base di T* ( U ) quindi D ( s_i ) si scrive in coordinate come

$D(s_i)_p = \sum_{k=1}^n\sum_{j=1}^m \Gamma_{ij}^k (p) dx^j|_p\otimes s_k(p)$

per ogni p ∈ U, che d'ora in poi si darà per sottointeso e quindi si smettarà di scriverlo, e dove le $\Gamma_{ij}^k (p)$ sono funzioni liscie di p chiamate simboli di Christoffel. Per rendere elegante la notazione si definiscono la matrice $\omega := ( \omega_i^k )_{ik}$ , con l'indice in alto che varia sulle colonne e l'indice in basso sulle righe (mentre di solito è il contrario), a coefficienti in T* ( U )

$\omega_i^k := \sum_{j=1}^m \Gamma_{ij}^k dx^j$

ed il vettore colonna S := ( s_k ) a coefficienti nelle sezioni sopra ad U. Allora

$D(s_i) = \sum_{k=1}^n\sum_{j=1}^m \Gamma_{ij}^k dx^j\otimes s_k = \sum_{k=1}^n\omega_i^k \otimes s_k$

sono n equazioni che si sintetizzano per convenzione in

$D(S) = \omega\otimes S$

dove ⊗ non è un prodotto tensoriale ma sta ad indicare che si deve usare la regola di moltiplicazione riga per colonna delle matrici, solo che al posto del classico prodotto tra scalari (che in questo contesto non ha palesemente senso perché i coefficienti delle matrici coinvolte non sono scalari, quindi non c'è pericolo di confusione) si usa il prodotto tensoriale; e l'operatore D va applicato ad ogni singola componente di S. La matrice ω è detta matrice di connessione.

Fissato p, le quantità $\omega_i^k (p)$ non sono dei tensori perché dipendono dalla scelta delle s₁, ... , s_n. Questo significa che la geometria del fibrato vettoriale non è codificata nella matrice ω. Nonostante ciò, manipolando la formula del cambiamento di coordinate di ω, si vede facilmente che la matrice Ω := dω - ω ∧ ω, detta matrice di curvatura, si trasforma nel modo corretto, ed è proprio questa che contiene le informazioni geometriche. Nei prossimi due paragrafi saranno dati ulteriori dettagli.

[modifica] Cambio di coordinate per la matrice di connessione

Sia T = ( t_l ) un vettore colonna con componenti n sezioni di E che formano una base ad ogni punto di U. Se p ∈ U allora esistono m ⋅ m scalari $a_l^k(p)$ tali che

$t_l(p) = \sum_{k=1}^m a_l^k(p) s_k(p)$

o, posto $A(p):=(a_l^k(p))_{lk}$ (come prima, k varia sulle colonne mentre l sulle righe), in notazione matriciale T = A S. Le $a_l^k(p)$ sono delle funzioni di transizione per E, e per definizione di fibrato sono liscie in p. Per legare la matrice di connessione rispetto a S, ω, a quella rispetto a T, ω', si noti che (usando la seconda proproprietà della connessione)

$D(T) = D(AS) = dA\otimes S + A D(S) = (dA + A \omega)\otimes S = (dA A^{-1} + A \omega A^{-1})\otimes T$

dove A ^-1, in ogni p, è la matrice inversa di A ( p ) che ovviamente esiste perché A ( p ) manda una base in una base, e dA è la matrice che ha per componenti i differenziali delle componenti di A. Quindi il cambio di coordinate per ω è dato dalla formula

$\ \omega' = dA A^{-1} + A \omega A^{-1}.$

Il primo addendo di destra è proprio il motivo per cui le componenti di ω non sono tensori.

[modifica] La matrice di curvatura

Per vedere che la matrice di curvatura Ω := dω - ω ∧ ω è invariante bastano due passaggi ulteriori. Si moltiplica a destra l'ultima equazione per A, poi si fa la derivata esterna ottenendo

$d\omega' A - \omega'\wedge dA = dA\wedge \omega + A d\omega,$

dove ω' ∧ dA è, come nel caso di ⊗ tra due matrici, da considerasi come una moltiplicazione riga per colonna con le componenti moltiplicate tramite il prodotto esterno ∧. Ora si noti che

$\omega' = dA A^{-1} + A \omega A^{-1}\quad\Rightarrow\quad dA = \omega'A - A\omega,$

sostituendo nella precedente si conclude

$(d\omega' - \omega'\wedge\omega') = A (d\omega - \omega\wedge\omega)A^{-1}.$

i.e. Ω è invariante.

Usando Ω si può definire il più classico tensore di Riemann R ( ⋅, ⋅ ).

[modifica] Definizione classica di tensore

La definizione universale del prodotto tensoriale è abbastanza recente. I tensori sono nati nel contesto della geometria differenziale e della rappresentazione dei gruppi come insiemi di numeri che al cambio di base si trasformano secondo la legge

$a^{i_1\dots i_n}_{k_1\dots k_m} = L_{j_1}^{i_1}\cdots L_{j_n}^{i_n} P_{k_1}^{l_1}\cdots P_{k_m}^{l_m} a^{j_1\dots j_n}_{l_1\dots l_m},\quad P=L^{-1}.$

Questa definizione è tutt'oggi la più usata nei corsi e nei testi di fisica introduttivi sulla relatività generale.

[modifica] Prodotto tensoriale di moduli

Possiamo estendere la definizione di prodotto tensoriale anche ai moduli. Se R è un anello commutativo la costruzione per due R-moduli M, N è praticamente identica a quella per gli spazi vettoriali. Se invece R non è commutativo ma M (risp. N) è un ( S, R )-bimodulo (risp. ( R, S )) allora si può aggiustare la costruzione ed il prodotto tensoriale risulta essere un S-modulo destro (risp. sinistro). In generale quando R non è commutativo ed M, N sono due R-moduli possiamo pretendere solamente la struttura di gruppo abeliano su M ⊗_R N.

Può accadere che ci siano dei collassamenti nel prodotto tensoriale fra moduli. Prendiamo ad esempio Z / ( m ) e Z / ( n ) come Z-moduli con m, n coprimi. Visto che possiamo scrivere l'unità come combinazione lineare di n ed m

1 = λ m + μ n

abbiamo il solito trucchetto

x ⊗ y = ( λ m + μ n ) x ⊗ y = λ ( m x ) ⊗ y + μ x ⊗ ( n y ) = 0

e siccome Z / ( m ) ⊗ Z / ( n ) è generato dagli elementi x ⊗ y concludiamo che Z / ( m ) ⊗ Z / ( n ) = 0

[modifica] Prodotto tensoriale di spazi di Hilbert

Il prodotto tensoriale di due spazi di Hilbert è un altro spazio di Hilbert, che è definito come descritto di seguito.

[modifica] Definizione

Siano H ₁ e H ₂ due spazi di Hilbert con prodotti interni ( · , · ) ₁ e ( · , · ) ₂ rispettivamente. Si costruisca il prodotto tensoriale H ₁ ⊗ H ₂ di spazi vettoriali come spiegato sopra. Si può dotare questo prodotto tensore di spazi vettoriali di un prodotto interno definendo

( φ ₁ ⊗ φ ₂ , ψ ₁ ⊗ ψ ₂ ) := ( φ ₁ , ψ ₁ ) ₁ · ( φ ₂ , ψ ₂ ) ₂ dove φ ₁, ψ ₁ ∈ H ₁ mentre φ ₂, ψ ₂ ∈ H ₂

ed estenderlo per linarità. Infine, si prenda il completamento rispetto a questo prodotto interno. Il risultato è il prodotto tensore di H₁ e H₂ come spazi di Hilbert.

[modifica] Proprietà

Se H ₁ e H ₂ hanno come base ortonormale { φ _k } e { ψ _l }, rispettivamente, allora { φ _k ⊗ ψ _l } è una base ortonormale per H ₁ ⊗ H ₂.

[modifica] Esempi ed applicazioni

I seguenti esempi mostrano come i prodotti tensori emergano naturalmente.

Assegnati due spazi di misura X e Y, con misure μ e ν rispettivamente, si può studiare L ² ( X × Y ), lo spazio delle funzioni su X × Y che sono a quadrato sommabili rispetto alla misura prodotto μ × ν. Se f e g sono funzioni a quadrato sommabili su X ed Y rispettivamente, si può definire una funzione h su X × Y ponendo h ( x , y ) = f ( x ) g ( y ). La definizione della misura prodotto assicura che tutte le funzioni con questa forma sono a quadrato sommabili, cosicché h definisce una mappa bilineare L ² ( X ) × L ²( Y ) → L ² ( X × Y ).

Anche le combinazioni lineari di funzioni della forma f ( x ) g ( y ) appartengono a L ² ( X × Y ). Risulta infatti che l'insieme delle combinazioni lineari è denso in L ² ( X × Y ), se L ² ( X ) e L ²( Y ) sono separabili. Questo mostra che L ² ( X ) ⊗ L ² ( Y ) è isomorfo a L ² ( X × Y ), e spiega perché si debba prendere il completamento nella costruzione del prodotto tensore fra spazi di Hilbert.

Analogamente, si può mostrare che L ² ( X ; H ), lo spazio delle funzioni a quadrato sommabili X → H, è isomorfo a L ² ( X ) ⊗ H se lo spazio è separabile. L'isomorfismo manda f ( x ) ⊗ φ ∈ L ² ( X ) ⊗ H in f ( x ) φ ∈ L ² ( X ; H ). Possiamo combinare ciò con il precedente esempio e concludere che L ² ( X ) ⊗ L ² ( Y ) e L ² ( X × Y ) sono entrambi isomorfi a L ² ( X ; L² (Y) ).

Il prodotto tensore di spazi di Hilbert ricorre nella meccanica quantistica. Se una particella è descritta dallo spazio di Hilbert H ₁, ed un'altra particella da H ₂, allora il sistema composto dalle due particelle è descritto dal prodotto di H ₁ e H ₂. Per esempio, lo spazio necessario a descrivere un oscillatore armonico quantistico è L ² ( R ), e per descrivere due oscillattori armonici si userà L ² ( R ) ⊗ L ² ( R ), che è isomorfo a L ² ( R² ). Quindi il sistema a due particelle è associato ad una funzione d'onda della forma φ ( x₁, x₂ ). Un esempio più generale è fornito dagli spazi di Fock, che descrivono un sistema con un numero variabile di particelle.

[modifica] Linguaggi di programmazione vettoriali

I linguaggi di programmazione possono avere questa applicazione predefinita. Ad esempio, in APL il prodotto tensore è espresso come "o.x":

A o.x B oppure A o.x B o.x C.

In J il prodotto tensore è la forma diadica "*/"; per esempio

a */ b oppure a */ b */ c.

Si noti che il trattamento con J permette la rappresentazione di alcuni campi tensoriali (così a e b possono essere funzioni invece che costanti -- il risultato è allora una funzione derivata, e se a e b sono differenziabili allora anche a*/b è differenziabile).

Comunque questo tipo di notazione non è universalmente presente nei linguaggi per la manipolazione di vettori. Alcuni linguaggi richiedono l'esplicito trattamento degli indici (per esempio, Matlab) e possono supportare o meno funzioni di ordine più elevato come lo jacobiano (per esempio, Fortran/APL).

[modifica] Bibliografia

Per un punto di vista algebrico:

(EN) Igor Shafarevich, Basic Notions of Algebra, Springer, 2005. ISBN 3540251774
(EN) Serge Lang, Algebra, Springer, 2005. ISBN 038795385X
(EN) Paul Moritz Cohn, Basic Algebra, Springer, 2003. ISBN 1852335874
(EN) Saunders Mac Lane; Garrett Birkhoff, Algebra, AMS Chelsea, 1999. ISBN 0821816462

In relazione a geometria e topologia differenziali (alcuni di questi testi, più orientati alla geometria, presentano il prodotto tensoriale solo con le forme multilineari):

(EN) John Lee, Introduction to Smooth Manifolds, Springer, 2002. ISBN 0387954481
(EN) Frank Warner, Foundations of Differentiable Manifolds and Lie Groups, Springer, 1983. ISBN 0387908943
(EN) Michael Spivak, A Comprehensive Introduction to Differential Geometry, Volume 1, Publish or Perish, Inc., 2005. ISBN 0914098705
(EN) Klaus Jänich, Vector Analysis, Springer, 2001. ISBN 0387986499
(EN) C. T. J. Dodson; Tim Poston, Tensor Geometry. The Geometric Viewpoint and its Use, Springer, 1991. ISBN 354052018X
(EN) Shiing-shen Chern; W. H. Chern; K. S. Lam, Differential Geometry, World Scientific Publishing, 2000. ISBN 9810241828
(EN) Richard Bishop; Samuel Goldberg, Tensor Analysis on Manifolds, Dover, 1980. ISBN 0486640396
(EN) James Munkres, Analysis on Manifolds, Westview Press, 1990. ISBN 0201315963

Per vedere il prodotto tensoriale usato in altri ambiti matematici:

(EN) P. J. Hilton; U. Stammbach, A Course in Homological Algebra, Springer, 1997. ISBN 0387948236
(EN) David Eisenbud, Commutative Algebra: with a View Toward Algebraic Geometry, Springer, 1999. ISBN 0387942696
(EN) Michael Atiyah, K-theory, Westview Press, 1994. ISBN 0201407922
(EN) Dale Husemoller, Fibre Bundles, Springer, 1993. ISBN 0387940871

[modifica] Voci correlate

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

v · d · m Algebra
Numeri	Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi
Algebra elementare	Numero primo · MCD · mcm · Algoritmo di Euclide · Equazione · Disequazione · Polinomio · Aritmetica modulare
Teoria dei gruppi	Gruppo (finito · ciclico · abeliano) · Omomorfismo · Sottogruppo normale · Teorema di isomorfismo · Permutazione
Teoria degli anelli	Anello · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice
Teoria dei campi	Campo · Estensione di campi · Chiusura algebrica · Teorema fondamentale dell'algebra · Teoria di Galois

Prodotto tensoriale

Da Wikipedia, l'enciclopedia libera.

Indice

[modifica] Definizione

[modifica] Esistenza

[modifica] Unicità

[modifica] Proprietà

[modifica] Esempi

[modifica] Coordinate

[modifica] Basi e coordinate

[modifica] Tensori covarianti, controvarianti e misti in coordinate

[modifica] Cambiamenti di base e trasformazione delle componenti

[modifica] Esempi

[modifica] Fibrato tensoriale e sezioni in coordinate locali

[modifica] Simboli di Christoffel, notazione matriciale e curvatura

[modifica] Cambio di coordinate per la matrice di connessione

[modifica] La matrice di curvatura

[modifica] Definizione classica di tensore

[modifica] Prodotto tensoriale di moduli

[modifica] Prodotto tensoriale di spazi di Hilbert

[modifica] Definizione

[modifica] Proprietà

[modifica] Esempi ed applicazioni

[modifica] Linguaggi di programmazione vettoriali

[modifica] Bibliografia

[modifica] Voci correlate

Visite

Strumenti personali

Navigazione

comunità

Ricerca

Strumenti

Altre lingue