Lineaire algebra/Tensor

Inleiding

De term Tensor (Latijn: tendere, spannen) werd voor het eerst omstreeks 1840 gebruikt door de Ierse wiskundige William Rowan Hamilton (1805-1865), die daarmee de absolute waarde van een quaternion aanduidde, dus niet een tensor in de huidige betekenis. Tensor in de tegenwoordige betekenis, namelijk als generalisatie van vector en matrix, werd als term ingevoerd door de Duitse natuurkundige Woldemar Voigt (1850-1919) in 1898.

Tensor als tensorproduct

Van twee vectorruimten $V$ en $W$, beide over hetzelfde lichaam $K$, vormen we het tensorproduct:

$V\otimes W$

door formeel aan elk paar elementen $(v_i,w_j)$ van een basis $v_1,\dots ,v_n\in V$ en $w_1,\dots ,w_m\in W$, het element

$v_i\otimes w_j$

toe te wijzen, en deze $n\times m$ elementen op te vatten als basis van $V\otimes W$. Een willekeurig element T van dit tensorproduct is dus van de vorm:

$T=\sum _{ij}{T}_{ij}{v}_i\otimes w_j$

Voor willekeurige tensors T en S definieren we:

$T+S=\sum _{ij}{T}_{ij}{v}_i\otimes w_j+\sum _{ij}{S}_{ij}{v}_i\otimes w_j=\sum _{ij}(T_{ij}+S_{ij})v_i\otimes w_j$

en

$\lambda T=\lambda \sum _{ij}{T}_{ij}{v}_i\otimes w_j=\sum _{ij}\lambda T_{ij}{v}_i\otimes w_j$

Van twee vectoren $v=\sum {\alpha }_i{v}_i$ en $w=\sum {\beta }_j{w}_j$ uit resp. de vectorruimten $V$ en $W$, definieren we het tensorproduct $v\otimes w$ door

$v\otimes w=\sum {\alpha }_i{v}_i\otimes \sum {\beta }_j{w}_j=\sum _{ij}{\alpha }_i{\beta }_j{v}_i\otimes w_j$

als (formele) bilineaire afbeelding.

Er geldt dus voor willekeurige vectoren $v$ en $v^{\prime }$ uit $V$, $w$ en $w^{\prime }$ uit $W$ en scalair $\lambda$ uit $K$:

$(v+v^{\prime })\otimes w=v\otimes w+v^{\prime }\otimes w$

$v\otimes (w+w^{\prime })=v\otimes w+v\otimes w^{\prime }$

$(\lambda v)\otimes w=\lambda (v\otimes w)=v\otimes (\lambda w)$

Let wel dat er tussen de tensorproducten $v\otimes w$ en $w\otimes v$ in het algemeen geen relatie is, zelfs als V = W, hoewel ze dan wel beide tot dezelfde ruimte behoren. Zijn V en W verschillend dan behoren beide tensorproducten zelfs tot verschillende vectorruimten.

De ruimte van tensorproducten, het tensorproduct $V\otimes W$ van de ruimten $V$ en $W$, is de lineaire ruimte voortgebracht door alle tensorproducten.

De bovenstaande voorstelling van een tensor uit het tensorproduct $V\otimes W$ is niet eenduidig; ze kan op vele manieren gerealiseerd worden.

Omdat $V\otimes W$ zelf ook een vectorruimte over $K$ is, kunnen we het tensorproduct

$u\otimes (v\otimes w)$

vormen van een vector $u$ uit de vectorruimte $U$ over $K$ en $v\otimes w$ uit $V\otimes W$.

Het blijkt dat we voor de verdere theorie geen onderscheid hoeven te maken tussen:

$u\otimes (v\otimes w)$ en $(u\otimes v)\otimes w$,

zodat we ze gelijkstellen aan de trilineaire vorm:

$u\otimes v\otimes w$

Zo verdergaand kunnen we tensorproducten maken met willekeurig veel factoren:

$v_1\otimes v_2\otimes \dots \otimes v_n,v_j\in V_j,j=1,\dots ,n$.

Een willekeurige tensor kan nu voorgesteld worden als lineaire combinatie van tensorproducten van basisvectoren van de vectorruimten:

$\sum _{j_1\in d_1,\dots ,j_n\in d_n}{T}_{j_1,\dots ,j_n}{e}_{j_1}^{(1)}\otimes \dots \otimes e_{j_n}^{(n)}$.

Daarin is e_i^(k) de i-de basisvector van de ruimte $V_k$, waaruit de k-de factor van het tensorproduct komt. Het getal $d_k$ is de dimensie van $V_k$.

Voorbeeld

Zij a en c uit $V$ met basis (e) en b en d uit $W$ met basis (f), en

$a=3e_1+7e_2$

$b=2f_1+f_2$

$c=5e_1-e_2$

$d=f_1+4f_2$

Dan is

$a\otimes b=(3e_1+7e_2)\otimes (2f_1+f_2)=$

$=6e_1\otimes f_1+3e_1\otimes f_2+14e_2\otimes f_1+7e_2\otimes f_2$

$c\otimes d=(5e_1-e_2)\otimes (f_1+4f_2)=$

$=5e_1\otimes f_1+20e_1\otimes f_2-e_2\otimes f_1-4e_2\otimes f_2$,

zodat

$a\otimes b+c\otimes d=11e_1\otimes f_1+23e_1\otimes f_2+13e_2\otimes f_1+3e_2\otimes f_2$

Tensor als multilineaire afbeelding

Een tensor $T$ is een multilineaire afbeelding in een lichaam $K$:

$T:V_1^{}\times V_2^{}\times \dots \times V_n^{}\to K$.

gedefinieerd op het Cartesisch product van de vectorruimten $V_1,\dots ,V_n$ alle over het lichaam $K$. Het aantal $n$ van deze ruimten heet de rang van $T$

Multilineair betekent:

$T(v_1,\dots ,x_i+y_i,\dots ,v_n)=T(v_1,\dots ,x_i,\dots ,v_n)+T(v_1,\dots ,y_i,\dots ,v_n)$

$T(v_1,\dots ,\lambda x_i,\dots ,v_n)=\lambda T(v_1,\dots ,x_i,\dots ,v_n)$

voor willekeurige indices, vectoren en scalairen.

Een tensor als multilineaire vorm kan geïdentificeerd worden met het tensorproduct, volgens:

$T(v_1,\dots ,v_n)=v_1\otimes v_2\otimes \dots \otimes v_n,v_j\in V_j,j=1,\dots ,n$.

Tensor als generalisatie van matrix

Als praktische toepassing van tensoren is het meestal voldoende een tensor op te vatten als generalisatie van het begrip matrix. We kunnen dan onderscheiden:

• tensoren van de rang 0: scalairen
• tensoren van de rang 1: rij- en kolomvectoren
• tensoren van de rang 2: matrices
• tensoren van de rang 3: drievoudig geïndiceerde, dus blokvormig geordende, getallen,
• tensoren van de rang m: m-voudig geïndiceerde getallen,

Een tensor van rang m is een m-voudig geïndiceerde set getallen:

$T=(T_{i_1,i_2,...,i_m}{)}_{i_k=1,\dots ,n_k,k=1,\dots ,m}$

Voor het gemak wordt een tensor vaak slechts aangeduid door het algemene element (een reëel of complex getal):

$T_{i_1,i_2,...,i_m}$,

waarbij het uit de contekst duidelijk is welke waarden de indices doorlopen.

Analoog aan het gedrag van vectoren en matrices onder bepaalde transformaties, worden ook aan tensoren wat dat betreft bepaalde eisen gesteld.

Tensor in de wiskunde

Om het begrip tensor goed te funderen wordt een tensor in de wiskunde ingevoerd door middel van het tensorproduct van modulen en algebra's.

Tensor in de natuurkunde

In de natuurkunde komen o.a. tensoren voor als traagheidstensor en spanningstensor. Anders dan veel verbanden gaat het daarbij niet om een evenredigheid, maar om een richtingsafhankelijke evenredigheid. Voor een rotatie geldt bijvoorbeeld als verband tussen het koppel $\overrightarrow{T}$ en de hoekversnelling $\overrightarrow{\alpha }$:

$\overrightarrow{T}=I\cdot \overrightarrow{\alpha }$.

Daarin is de tensor I het traagheidsmoment van het beschouwde object. Een object dat langs meerdere assen kan draaien heeft in principe voor elke rotatie-as een ander traagheidsmoment. Deze 'traagheidstensor' kan voor bewegingen in drie dimensies geschreven worden als een 3x3-matrix die het traagheidmoment langs alle mogelijke assen aangeeft.

(r,s)-Tensor

Een aparte klasse van tensoren zijn de zogeheten (r,s)-tensoren. Het zijn tensoren van de rang r+s met r factoren uit de duale ruimte $V*$ van een vectorruimte $V$ en s factoren uit de ruimte zelf. Het zijn dus elementen van

$\begin{array}{ccccc}(V^{*}{)}^{\otimes r}\otimes V^{\otimes s}& =& \underbrace{V^{*}\otimes \cdots \otimes V^{*}}& \otimes & \underbrace{V\otimes \cdots \otimes V}\\ & & r& & s\end{array}$

Zo is een scalair een (0,0)-tensor, een vector uit $V$ een (0,1)-tensor, een element van $V*$, een eenvorm, een (1,0)-tensor, een bilineaire vorm op $V$ een (2,0)-tensor en kan een (1,1)-tensor als een endomorfisme van $V$ opgevat worden.

Voor (r,s)-tensoren zijn de volgende drie bewerkingen belangrijk:

• Door het "vermenigvuldigen" van een $(r_1,s_1)$-tensor met een $(r_2,s_2)$-tensor ontstaat een $(r_1+r_2,s_1+s_2)$-tensor in de ruimte:

$((V^{*}{)}^{\otimes r_1}\otimes V^{\otimes s_1})\otimes ((V^{*}{)}^{\otimes r_2}\otimes V^{\otimes s_2})\cong (V^{*}{)}^{\otimes (r_1+r_2)}\otimes V^{\otimes (s_1+s_2)}.$

• Door contractie wordt uit een (r,s)-tensor een (r-1,s-1)-tensor gevormd: uit de tensor

${\lambda }_1\otimes \cdots \otimes {\lambda }_i\otimes \cdots \otimes {\lambda }_r\otimes v_1\otimes \cdots \otimes v_j\otimes \cdots \otimes v_s$

ontstaat voor een covariante index i en een contravariante index j de tensor

${\lambda }_i(v_j)({\lambda }_1\otimes \cdots \otimes {\lambda }_{i-1}\otimes {\lambda }_{i+1}\otimes \cdots \otimes {\lambda }_r\otimes v_1\otimes \cdots \otimes v_{j-1}\otimes v_{j+1}\otimes \cdots \otimes v_s)$

• Als op $V$ een inproduct gegeven is, kunnen $V$ en $V^{*}$ met elkaar geïdentificeerd worden, zodat er een verband gelegd kan worden tussen $(r,s)$-tensoren en $(r+k,s-k)$-tensoren.

Sjabloon:Sub