Producte tensorial
En matemàtiques, el producte tensorial, denotat per ⊗,[1] es pot aplicar en diferents contexts a vectors, matrius, tensors, espais vectorials, àlgebres, espais vectorials topològics, i mòduls, entre moltes altres estructures o objectes. En cada cas el significat del símbol és el mateix: l'operació bilineal més general. En alguns contexts, aquest producte també s'anomena producte exterior. El terme "producte tensorial" també es fa servir en relació amb categories monoides.
Producte tensorial d'espais vectorials
modificaEl producte tensorial V ⊗ W de dos espais vectorials V i W sobre un cos K es pot definir pel mètode de generadors i relacions.
Per construir V ⊗ W, es comença amb el conjunt de parelles ordenades en el producte cartesià V × W. Per als propòsits d'aquesta construcció, considereu aquest producte cartesià com a conjunt més que com a espai vectorial. L'espai vectorial lliure F en V × W es defineix agafant l'espai vectorial en què els elements de V × W són una base:
on s'ha fet servir el símbol e (v,w) per emfatitzar que es considera que aquests són linealment independents per definició per diferents (v, w) ∈ V × W.
El producte tensorial sorgeix definint les tres relacions d'equivalència següents en F (V× W):
on v, vi, w, i wi són vectors de V i W (respectivament), i c pertany al cos subjacent K. Notant per R l'espai generat per aquestes tres relacions d'equivalència, el producte tensorial del dos espais vectorials V i W és llavors l'espai quocient
També s'anomena l'espai de producte tensorial de V i W i és un espai vectorial (cosa que es pot verificar directament comprovant els axiomes d'espais vectorials). El producte tensorial de dos elements v i w és la classe d'equivalència (e( v,w) + R) de e(v,w) en V ⊗ W notada v ⊗ w. Aquesta notació enfosqueix una mica el fet que els tensors són sempre classes laterals: cal comprovar sempre que les manipulacions fetes mitjançant els representants (v,w) no depenen de l'elecció particular dels representants.
L'espai R es correspon amb zero en V ⊗ W, així que les tres relacions d'equivalència anteriors es converteixen en igualtats en l'espai de producte tensorial:
Donades les bases {vi } i {wi } per V i W respectivament, els tensors {vi ⊗ wj } formen una base per V ⊗ W (generalment ordenada de manera que vi ⊗ wj+1 ve abans de vi+1 ⊗ wj). La dimensió del producte tensorial per tant és el producte de les dimensions dels espais originals; per exemple Rm ⊗ Rn tindrà dimensió mn.
De vegades es parla dels elements de V ⊗ W com tensors, encara que aquest terme es també refereix a molts altres conceptes relacionats.[2] Un element de V ⊗ W de la forma v ⊗ w s'anomena un tensor simple o pur. En general, un element de l'espai producte tensorial no és un tensor pur, sinó una combinació lineal finita de tensors purs. És a dir, si v1 i v₂ són linealment independents, i w1 i w₂ són també linealment independents, llavors v1 ⊗ w1 + v₂ ⊗ w₂ es pot escriure com a tensor pur. El nombre de tensors simples necessari per expressar un element d'un producte tensorial s'anomena el rang del tensor (no confondre amb ordre del tensor, que és el nombre d'espais dels quals s'ha pres el producte, en aquest cas 2; en la notació, el nombre d'índexs) i per a operadors lineals o matrius, considerats com (1,1) tensors (elements de l'espai V ⊗ V*), coincideix amb el rang de la matriu.
Caracterització per una propietat universal
modificaEl problema és trobar un espai vectorial Z, tal que qualsevol aplicació bilineal ψ de V × W pugui ser identificada unívocament amb una aplicació lineal de Z. Z serà llavors el producte tensorial de V i W.
Considerant la categoria d'aplicacions bilineals ψ de V × W, els morfismes de la qual són les aplicacions lineals T, aplicades com T o ψ (que continua sent bilineal). L'a aplicació bilineal natural:
és un objecte inicial d'aquella categoria.
Llavors el producte tensorial V ⊗ W es pot definir com la imatge de qualsevol objecte inicial φ', que és isomorf a φ.
Per això qualsevol aplicació bilineal s'identifica de manera natural com una aplicació lineal mitjançant .
Com a functor
modificaEl producte tensorial també opera sobre aplicacions lineals entre espais vectorials. Específicament, donades dues aplicacions lineals S : V → X i T : W → Y entre espais vectorials, el producte tensorial de les dues aplicacions lineals S i T és una aplicació lineal
definida per
D'aquesta manera, el producte tensorial esdevé un bifunctor de la categoria d'espais vectorials en si mateix, covariant en els dos arguments.
El producte Kronecker de dues matrius és la matriu del producte tensorial de les dues aplicacions lineals corresponents sota una elecció estàndard de bases dels productes tensorials (vegeu l'article sobre productes de Kronecker.
Més de dos espais vectorials
modificaLa construcció i la propietat universal del producte tensorial es poden estendre per tenir en compte més de dos espais vectorials. Per exemple, suposant que V1, V₂, i V₃ són tres espais vectorials. El producte tensorial V1⊗V₂⊗V₃ es defineix amb una aplicació trilineal des del producte directe
de forma que, qualsevol aplicació trilineal F des del producte directe a un espai vectorial W
es descompon en factors de manera única com
on L és una aplicació lineal. El producte tensorial queda unívocament caracteritzat per aquesta propietat, fins a l'isomorfisme.
Aquesta construcció es relaciona amb nombrosos productes tensorials de dos espais. Per exemple, si V1, V₂, i V₃ són tres espais vectorials, llavors hi ha isomorfismes (naturals)
De forma més general, el producte tensorial d'una família indexada arbitrària Vi, i ∈ I, es defineix per ser universal respecte a aplicacions multilineals del producte directe ..
Potència tensorial i trenat
modificaSia n un enter no negatiu. La n-èsima potència tensorial de l'espai vectorial V és el n producte tensorial de V per si mateix. És a dir
Una permutació σ; del conjunt {1,2…;,n } determina una aplicació de la n-èsima potència cartesiana de V
definia per
Sia
sigui la immersió multilineal natural de la potència cartesiana de V en la potència tensorial de V. Llavors, per la propietat universal, hi ha un isomorfisme únic
tal que
L'isomorfisme τσ s'anomena l'aplicació trena associada a la permutació σ.
Producte Tensorial de dos tensors
modificaUn tensor en V és un element d'un espai vectorial de la forma
per a enters no negatius r i s. Hi ha una fórmula general pels components d'un (tensor) producte de dos (o més) tensors. Per exemple, si F i G són dos tensors covariants de rang m i n (respectivament) (és a dir. F ∈ T m0, i G ∈ T n0), llavors els components del seu producte tensorial venen donats per
Fórmules anàlogues també es compleixen per a tensors contravariants, així com per a tensors de variància mixta. Encara que en molts casos com quan hi ha un producte interior definit, la distinció és irrellevant.
En aquest exemple, se suposa que hi ha una base escollida B de l'espai vectorial V, i la base de qualsevol espai tensorial T sr se suposa tàcitament que és l'estàndard (this basis is described in the article on Kronecker products).
Així, els components del producte tensorial de dos tensors són el producte ordinari dels components de cada tensor.
Fixeu-vos que al producte tensorial, el factor F consumeix el primer rang(F) d'índexs, i el factor G consumeix el següent rang(G) d'índexs, així
El tensor es pot veure de manera natural com a mòdul per a l'Àlgebra de lie per mitjà de l'acció diagonal: per simplicitat se suposa , llavors, per a cada
on és la transada de , és a dir, en termes de l'aparellament obvi en , .
Hi ha un isomorfisme canònic donat per
Sota aquest isomorfisme, tots els es poden veure primer com a endomorfismes de i llavors veure's com a endomorfismes de . De fet és la representació adjunta de .
Exemple
modificaSia U un tensor de tipus (1,1) amb components Uαβ, i sia V un tensor de tipus (1,0) amb components Vγ. Llavors
i
El producte tensorial hereta tots els índexs dels seus factors.
Producte Kronecker de dues matrius
modificaAmb matrius aquesta operació s'anomena normalment el producte Kronecker, un terme que es fa servir per deixar clar que el resultat una estructura de bloc particular imposada, en la qual cada element de la primera matriu es substitueix per la segona matriu, multiplicada er aquest element. Per a les matrius i que això és:
Per exemple, el producte tensorial de dues matrius quadrades bidimensionals:
El rang de la resultant és com a màxim 4, i la dimensió resultant 16. Aquí rang denota el rang del tensor (nombre d'índex necessaris), mentre que el rang de la matriu és el nombre de vectors fila (o columna) linealment independents.
Un cas representatiu és el producte Kronecker de dues matrius rectangulars qualssevol. Un producte diàdic és el cas especial del producte tensorial entre dos vectors de la mateixa dimensió.
Producte tensorial d'aplicacions multilineals
modificaDonades dues aplicacions multilineals i el seu producte tensorial és la funció multilineal
Relació amb l'espai dual
modificaEn la discussió en la propietat universal, substituint X pel cos escalar subjacent de V i W resulta que l'espai (l'espai dual de , que conté tots els functionals lineals en aquest espaia) s'identifica de manera natural amb l'espai de tots els functionals bilineals en . En altres paraules, cada funcional bilineal és un funcional al producte tensorial, i viceversa.
Quan sigui que i siguin de dimensió finita, hi ha un isomorfisme natural entre i , mentre que per a espais vectorials de dimensió arbitrària només es té una inclusió . Així, els tensors dels functionals lineals són functionals bilineals. Això dona una manera nova de mirar l'espai de functionals bilineals, com a producte tensorial ell mateix.
Sobre anells més generals
modificaLa notació ⊗R es refereix a un producte tensorial de mòduls sobre un anell R.
Producte Tensorial per a programadors informàtics
modifica- Llengüatges de programació multidimensionals:
Els Llengüatges de programació multidimensionals poden tenir l'operació producte tensorial incorporada. Per exemple, a APL el producte tensorial s'expressa com (per exemple o ). En J el producte tensorial és la forma diàdica de */ (per exemple a */ b o a */ b */ c).
Fixeu-vos que en J el tractament també permet la representació d'alguns camps tensorials (igual com a i b poden ser funcions en comptes de constants llavors el resultat és una funció, i si a i b són diferenciables, llavors a*/b és diferenciable).
Tanmateix, aquestes classes de notació no són universalment presents en llengües multidimensionals. Altres llenguatges multidimensionals poden exigir tractament explícit d'índexs (per exemple, MATLAB), i/o pot no acceptar funcions d'ordre superior com el jacobià (per exemple, Fortran/APL).
Vegeu també
modificaNotes
modifica- ↑ El símbol ⊗ es feia servir molt abans per a la lletra de l'alfabet fenici ṭēth, però la notació moderna és presumiblement una modificació del signe de multiplicació, ×.
- ↑ Vegeu tensor
Bibliografia
modifica- Bourbaki, Nicolas. Elements of mathematics, Algebra I. Springer-Verlag, 1989. ISBN 3-540-64243-9.
- Halmos, Paul. Finite dimensional vector spaces. Springer, 1974. ISBN 0387900934.
- MacLane, S.; Birkhoff, G. Algebra. AMS Chelsea, 1999. ISBN 0-8218-1646-2.