Producte tensorial

De Viquipèdia
Dreceres ràpides: navegació, cerca

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 el la 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[modifica | modifica el codi]

El producte tensorial VW de dos espais vectorials V i W sobre un cos K es pot definir pel mètode de generadors i relacions.

Per construir VW, 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 que els elements de V × W són una base:

F(V\times W) = \left\{\sum_{i=1}^n \alpha_i e_{(v_i, w_i)} \ \Bigg| \ n\in\mathbb{N}, \alpha_i\in K, (v_i, w_i)\in V\times W \right\},

on s'ha fet servir el símbol e (v,w) per emfasitzar 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):

\begin{align}
e_{(v_1 + v_2, w)} &\sim e_{(v_1, w)} + e_{(v_2, w)}\\
e_{(v, w_1 + w_2)} &\sim e_{(v, w_1)} + e_{(v, w_2)}\\
ce_{(v, w)} &\sim e_{(cv, w)} \sim e_{(v, cw)}
\end{align}

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

V \otimes W = F(V \times W) / R.

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 VW notada vw. Aquesta notació enfosquir 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 VW, així que les tres relacions d'equivalència anteriors es converteixen en igualtats en l'espai de producte tensorial:

\begin{align}
(v_1 + v_2) \otimes w &= v_1 \otimes w + v_2 \otimes w;\\
v \otimes (w_1 + w_2) &= v \otimes w_1 + v \otimes w_2;\\
 cv \otimes w &= v \otimes cw = c(v \otimes w).
\end{align}

Donades les bases {vi } i {wi } per V i W respectivament, els tensors {viwj } formen una base per VW (generalment ordenada de manera que viwj+1 ve abans de vi+1wj). La dimensió del producte tensorial per tant és el producte de les dimensions dels espais originals; per exemple RmRn tindrà dimensió mn.

De vegades es parla dels elements de VW com tensors, encara que aquest terme es també refereix a molts altres conceptes relacionats.[2]Un element de VW de la forma vw 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 v2 són linealment independents, i w1 i w2 són també linealment independents, llavors v1w1 + v2w2 es 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 VV*), coincideix amb el rang de la matriu.

Caracterització per una propietat universal[modifica | modifica el codi]

El 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:

\begin{array}{rl}\varphi : V\times W &\to V\otimes W \\ (u,w)&\mapsto u\otimes w\end{array}

és un objecte inicial d'aquella categoria.

Llavors el producte tensorial VW es pot definir com la imatge de qualsevol objecte inicial φ', que és isomorf a φ.

Per això qualsevol aplicació bilineal \scriptstyle\psi\in L^2(V\times W, X) s'identifica de forma natural com una aplicació lineal \scriptstyle T\in L(V\otimes W, X) mitjançant \scriptstyle\Psi = T\circ\varphi.

Com a functor[modifica | modifica el codi]

El producte tensorial també opera sobre aplicacions lineals entre espais vectorials. Específicament, donades dues aplicacions lineals S : VX i T : WY entre espais vectorials, el producte tensorial de les dues aplicacions lineals S i T és una aplicació lineal

S\otimes T:V\otimes W\rightarrow X\otimes Y

definida per

(S\otimes T)(v\otimes w)=S(v)\otimes T(w).

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[modifica | modifica el codi]

La 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, V2, i V3 són tres espais vectorials. El producte tensorial V1V2V3 es defineix amb una aplicació trilineal des del producte directe

\varphi : V_1\times V_2\times V_3 \to V_1\otimes V_2\otimes V_3

de forma que, qualsevol aplicació trilineal F des del producte directe a un espai vectorial W

F:V_1\times V_2\times V_3\to W

es descompon en factors de manera única com

F = L\circ\varphi

on L és una aplicació lineal. El producte tensorial queda unívocament caracteritzat per aquesta propietat, fins al isomorfisme.

Aquesta construcció es relaciona amb nombrosos productes tensorials de dos espais. Per exemple, si V1, V2, i V3 són tres espais vectorials, llavors hi ha isomorfismes (naturals)

V_1\otimes V_2\otimes V_3\cong V_1\otimes(V_2\otimes V_3)\cong (V_1\otimes V_2)\otimes V_3.

De forma més general, el producte tensorial d'una família indexada arbitrària Vi, iI, es defineix per ser universal respecte a aplicacions multilineals del producte directe \scriptstyle\prod_{i\in jo} V_i...

Potència tensorial i trenat[modifica | modifica el codi]

Sia n un enter no negatiu. La n èssima potència tensorial de l'espai vectorial V és el n producte tensorial de V per si mateix. És a dir

V^{\otimes n} \overset{\mathrm{def}}{=} \underbrace{V\otimes\cdots\otimes V}_{n}.

Una permutació σ; del conjunt {1,2,…;,n } determina una aplicació de la n èssima potència cartesiana de V

\sigma : V^n\to V^n

definia per

\sigma(v_1,v_2,\dots,v_n) = (v_{\sigma 1}, v_{\sigma 2},\dots,v_{\sigma n}).

Sia

\varphi:V^n \to V^{\otimes n}

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

\tau_\sigma : V^{\otimes n} \to V^{\otimes n}

tal que

\varphi\circ\sigma = \tau_\sigma\circ\varphi.

L'isomorfisme τσ s'anomena l'aplicació trena associada a la permutació σ.

Producte Tensorial de dos tensors[modifica | modifica el codi]

Un tensor en V és un element d'un espai vectorial de la forma

 \begin{matrix} T^r_s(V) & = & \underbrace{ V\otimes \dots \otimes V} & \otimes & \underbrace{ V^*\otimes \dots \otimes V^*} & = & V^{\otimes r}\otimes V^{*\otimes s}\\ & & r & & s \end{matrix}

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. FT m0, i GT n0), llavors els components del seu producte tensorial vénen 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í

\mathrm{rank}( F \otimes G )=\mathrm{rank}(F)+\mathrm{rank}(G).

El tensor  \scriptstyle T^r_s(V) es pot veure de forma natural com a mòdul per a l'Àlgebra de lie  \scriptstyle \mathrm{End}(V) per mitjà de l'acció diagonal: per simplicitat se suposa \scriptstyle r = s = 1, llavors, per a cada \scriptstyle u \in\mathrm{End}(V)

 u(a \otimes b) = u(a) \otimes b - a \otimes u^*(b),

on \scriptstyle u^* \in \mathrm{End}(V^*) és la transada de \scriptstyle u, és a dir, en termes de l'aparellament obvi en \scriptstyle V \otimes V^*, \scriptstyle\langle u(a), b \rangle = \langle un, u^*(b) \rangle.

Hi ha un isomorfisme canònic \scriptstyle T^1_1(V) \rightarrow \mathrm{End}(V) donat per

(a \otimes b)(x) = \langle x, b \rangle a.

Sota aquest isomorfisme, tots els \scriptstyle u \in\mathrm{End}(V) es poden veure primer com a endomorfismes de \scriptstyle T^1_1(V) i llavors veure's com a endomorfismes de  \scriptstyle\mathrm{End}(V) . De fet és la representació adjunta \scriptstyle\mathrm{ad} (u) de \mathrm{End}(V).

Exemple[modifica | modifica el codi]

Vegeu també: Tensor

Sia U un tensor de tipus (1,1) amb components Uαβ, i sia V un tensor de tipus (1,0) amb components Vγ. Llavors

 U^\alpha {}_\beta V^\gamma = (U \otimes V)^\alpha {}_\beta {}^\gamma

i

 V^\mu U^\nu {}_\sigma = (V \otimes U)^{\mu \nu} {}_\sigma.

El producte tensorial hereta tots els índexs dels seus factors.

Producte Kronecker de dues matrius[modifica | modifica el codi]

Article principal: Producte Kronecker

Amb 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 \scriptstyle U i \scriptstyle V que això és:

U \otimes V
 = \begin{bmatrix} u_{1,1}V & u_{1,2}V & \cdots \\
 u_{2,1}V & u_{2,2}V \\
 \vdots & & \ddots
 \end{bmatrix}
 = \begin{bmatrix}
 u_{1,1}v_{1,1} & u_{1,1}v_{1,2} & \cdots & u_{1,2}v_{1,1} & u_{1,2}v_{1,2} & \cdots \\
 u_{1,1}v_{2,1} & u_{1,1}v_{2,2} & & u_{1,2}v_{2,1} & u_{1,2}v_{2,2} \\
 \vdots & & \ddots \\
 u_{2,1}v_{1,1} & u_{2,1}v_{1,2} \\
 u_{2,1}v_{2,1} & u_{2,1}v_{2,2} \\
 \vdots
 \end{bmatrix}.

Per exemple, el producte tensorial de dues matrius quadrades bidimensionals:


 \begin{bmatrix} 
 a_{1,1} & a_{1,2} \\ 
 a_{2,1} & a_{2,2} \\ 
 \end{bmatrix}
\otimes
 \begin{bmatrix} 
 b_{1,1} & b_{1,2} \\ 
 b_{2,1} & b_{2,2} \\ 
 \end{bmatrix}
=
 \begin{bmatrix} 
 a_{1,1} \begin{bmatrix} 
 b_{1,1} & b_{1,2} \\ 
 b_{2,1} & b_{2,2} \\ 
 \end{bmatrix} & a_{1,2} \begin{bmatrix} 
 b_{1,1} & b_{1,2} \\ 
 b_{2,1} & b_{2,2} \\ 
 \end{bmatrix} \\ 
 & \\
 a_{2,1} \begin{bmatrix} 
 b_{1,1} & b_{1,2} \\ 
 b_{2,1} & b_{2,2} \\ 
 \end{bmatrix} & a_{2,2} \begin{bmatrix} 
 b_{1,1} & b_{1,2} \\ 
 b_{2,1} & b_{2,2} \\ 
 \end{bmatrix} \\ 
 \end{bmatrix}
=
 \begin{bmatrix} 
 a_{1,1} b_{1,1} & a_{1,1} b_{1,2} & a_{1,2} b_{1,1} & a_{1,2} b_{1,2} \\ 
 a_{1,1} b_{2,1} & a_{1,1} b_{2,2} & a_{1,2} b_{2,1} & a_{1,2} b_{2,2} \\ 
 a_{2,1} b_{1,1} & a_{2,1} b_{1,2} & a_{2,2} b_{1,1} & a_{2,2} b_{1,2} \\ 
 a_{2,1} b_{2,1} & a_{2,1} b_{2,2} & a_{2,2} b_{2,1} & a_{2,2} b_{2,2} \\ 
 \end{bmatrix}.

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[modifica | modifica el codi]

Donades dues aplicacions multilineals \scriptstyle f (x_1,\dots,x_k) i \scriptstyle g (x_1,\dots, x_m) el seu producte tensorial és la funció multilineal

 (f \otimes g) (x_1,\dots,x_{k+m}) = f(x_1,\dots,x_k) g(x_{k+1},\dots,x_{k+m}).

Relació amb l'espai dual[modifica | modifica el codi]

En la discussió en la propietat universal, substituint X pel cos escalar subjacent de V i W resulta que l'espai \scriptstyle (V \otimes W)^* (l'espai dual de \scriptstyle V \otimes W, que conté tots els functionals lineals en aquest espaia) s'identifica de forma natural amb l'espai de tots els functionals bilineals en \scriptstyle V \times W. En altres paraules, cada funcional bilineal és un funcional al producte tensorial, i viceversa.

Quan sigui que \scriptstyle V i \scriptstyle W siguin de dimensió finita, hi ha un isomorfisme natural entre \scriptstyle V^* \otimes W^* i \scriptstyle (V \otimes W)^*, mentre que per a espais vectorials de dimensió arbitrària només es té una inclusió \scriptstyle V^* \otimes W^*\subset (V \otimes W)^*. Així, els tensors dels functionals lineals són functionals bilineals. Això dóna una manera nova de mirar l'espai de functionals bilineals, com a producte tensorial ell mateix.

Sobre anells més generals[modifica | modifica el codi]

La notació ⊗R es refereix a un producte tensorial de mòduls sobre un anell R.

Producte Tensorial per a programadors informàtics[modifica | modifica el codi]

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 \scriptstyle\circ . \times (per exemple \scriptstyle A \circ . \times B o \scriptstyle A \circ . \times B \circ . \times C). 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é[modifica | modifica el codi]

Notes[modifica | modifica el codi]

  1. 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ó, ×.
  2. Vegeu tensor

Bibliografia[modifica | modifica el codi]