Tensor

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

Een tensor is een begrip uit de lineaire algebra dat veelvuldige toepassingen heeft in de differentiaalmeetkunde en daardoor ook in de materiaalkunde (vervorming van voorwerpen) en de relativiteitstheorie. Voor een behandeling van tensoren in dat kader, zie tensor (relativiteitstheorie). Tensoren kunnen beschouwd worden als een veralgemening van vectoren en matrices.

Definitie[bewerken]

Er zijn verschillende definities van het begrip tensor. Hoewel ze op het eerste gezicht zeer verschillend zijn, beschrijven ze toch hetzelfde meetkundige concept, zij het in verschillende termen en niveaus van abstractie.

Als meerdimensionale rij[bewerken]

Vectoren in een coördinatenruimte en matrices zijn respectievelijk een- en tweedimensionale getallenrijen. Een tensor T, als een generalisatie van deze begrippen, is een meerdimensionale getallenrij. Voor n+m dimensies wordt het element met indices i_1,\ldots,i_n,i_{n+1},\ldots,i_{n+m} aangegeven door:

T^{i_1,\ldots,i_n}_{i_{n+1},\ldots,i_{n+m}}.

Daarbij wordt onderscheid gemaakt tussen de zogeheten contravariante indices, die als bovenindices genoteerd worden en covariante indices, genoteerd als onderindices. Een dergelijke tensor wordt van het type (n,m) genoemd. De termen contravariant en covariante hebben betrekking op het gedrag van de index onder een basistransformatie van de onderhavige vectorruimte.

Als multilineaire afbeelding[bewerken]

Deze definitie beschouwt een tensor als een multilineaire afbeelding. Een tensor van type (n,m) is een afbeelding:

T: \underbrace{ V \times\ldots\times V}_{m \text{ kopieën}} \times \underbrace{ V^* \times\ldots\times V^*}_{n \text{ kopieën}}\ \to \R

die lineair is in elk van z'n argumenten. Daarbij is V een vectorruimte en V^* de bijbehorende duale vectorruimte.

De tensor T van type (m,n) beeldt een basis (e_a) van V en de bijbehorende kanonieke duale basis (e^{*b}) van V^* af op:

T_{b_1\dots b_n}^{a_1\dots a_m} =T(e_{a_1},\ldots,e_{a_m},e^{*b_1},\ldots,e^{*b_n}),

een n+m-dimensionale rij coördinaten (vaak ook componenten genoemd) van T.

In de vorm van een tensorproduct[bewerken]

1rightarrow blue.svg Zie Tensorproduct voor het hoofdartikel over dit onderwerp.

Tensors worden ingevoerd als elementen van het tensorproduct van twee of meer vectorruimten. Dit tensorproduct wordt voortgebracht door het tensorproduct van de basisvectoren van elk van die ruimten. Als (V_a) de vectorruimten over eenzelfde lichaam (Ned) / veld (Be) K zijn en E_a=\{e_{ai}|a=1,2,\ldots\} bases van deze ruimten zijn, wordt het tensorproduct van de ruimten (V_a) genoteerd als

V_1\otimes V_2\otimes\ldots.

Dit tensorproduct heeft een basis die bestaat uit de tensorproducten van de vectoren uit de bases (E_a):

e_{1i_1}\otimes e_{2i_2}\otimes \ldots

Deze tensorproducten vormen een nieuw soort elementen, die op formele wijze een combinatie zijn van de basisvectoren.


Analoog heeft het n-voudige tensorproduct van V met zichzelf

\otimes_{i=1}^nV=V\otimes\ldots\otimes V\hbox{ (n keer)}

de natuurlijke basis

\{e_{a_1}\otimes\ldots\otimes e_{a_n}|a_i=1,2,\ldots\}

Een ne-ordetensor T uit dit tensorproduct heeft ten opzichte van de natuurlijke basis de componenten

T^{a_1\ldots a_n}e_{a_1}\otimes\ldots\otimes e_{a_n}

Als de vectorruimte V dimensie d heeft, dan zijn er d^n dergelijke componenten, te rangschikken in een n-dimensioniale hyperkubus van getallen. De letters a,b,a_1,\ldots,a_n heten de indices.

Analoog worden ook de elementen van de tensorproducten van de duale vectorruimte V^*, tensoren genoemd. Om onderscheid te maken, worden de basisvectoren van V^* meestal met bovenindices genoteerd, zodat de componenten van een "duale" tensor onderindices krijgen, bijvoorbeeld

T = \sum_a\sum_bT_{ab}e^a\otimes e^b

Analoog heeft het n-voudige tensorproduct van V met zichzelf

\otimes_{i=1}^nV=V\otimes\ldots\otimes V\hbox{ (n keer)}

de natuurlijke basis

\{e_{a_1}\otimes\ldots\otimes e_{a_n}|a_i=1,2,\ldots\}

Een ne-ordetensor T uit dit tensorproduct heeft ten opzichte van de natuurlijke basis de componenten

T^{a_1\ldots a_n}e_{a_1}\otimes\ldots\otimes e_{a_n}

Als de vectorruimte V dimensie d heeft, dan zijn er d^n dergelijke componenten, te rangschikken in een n-dimensioniale hyperkubus van getallen. De letters a,b,a_1,\ldots,a_n heten de indices.

Analoog worden ook de elementen van de tensorproducten van de duale vectorruimte V^*, tensoren genoemd. Om onderscheid te maken, worden de basisvectoren van V^* meestal met bovenindices genoteerd, zodat de componenten van een "duale" tensor onderindices krijgen, bijvoorbeeld

T = \sum_a\sum_bT_{ab}e^a\otimes e^b

Covariant en contravariant[bewerken]

Een vectorruimte met een inproduct wordt op canonieke wijze geïdentificeerd met zijn eigen duale vectorruimte. Noteer \langle .,.\rangle voor het inproduct, en zij v een willekeurige vector van V. Dan is de afbeelding

v^*:V\to\mathbb{R}:w\mapsto\langle v,w\rangle

lineair, dus een element van de duale ruimte V^*. De afbeelding

*:V\to V^*:v\mapsto v^*

is een isomorfisme van vectorruimten. In termen van een basis \left\{e_a\right\} van V vormen de \left\{e^*_a\right\} precies de duale basis van V^*, en voor iedere vector v = \sum_a v^a e_a geldt:

(v^*)_i=\sum_ag_{ia}v^a

Het omgekeerde isomorfisme van vectorruimten wordt bekomen door de inverse van de matrix (g_{ab})^a_b te berekenen, men noteert hem met bovenindices:

g=\sum_i\sum_jg^{ij}e_i\otimes e_j

Het feit dat de matrices (g_{ab})^a_b en (g^{ij})^i_j elkaars inverse zijn, uit zich in de formule

\sum_jg_{ij}g^{jk}=\delta_i^k

waar \delta_i^k de Kronecker-delta is: dit symbool stelt 0 voor als de indices i en k verschillende waarden aannemen, en 1 als de indices i en k gelijk zijn. Met andere woorden: (\delta_i^k)_i^k is de eenheidsmatrix in \mathbb{R}^{n\times n}.

Deze isomorfismen gaan over op n-voudige tensorproducten van V en V^*, zodat we een tensor kunnen uitdrukken in termen van tensorproducten van basisvectoren, of duale basisvectoren, of een mengeling van beiden.

De afspraak is dat een boven-index een coördinaat ten opzichte van een basisvector weergeeft, en een onder-index een coördinaat ten opzichte van de duale basis. De eersten heten contravariante indices, de anderen covariant.

Een (m,n)-tensor is dan een tensor van rang m+n waarvan de componenten worden uitgedrukt ten opzichte van tensorproducten van m gewone basisvectoren en n duale basisvectoren. Zo heeft bijvoorbeeld een (2,1)-tensor componenten in de vorm

T^{ab}_ce_a \otimes e_b \otimes e^c

waarbij \otimes een tensorvermenigvuldiging is. De benamingen "contravariant" voor de indices a,b en "covariant" voor de index c hebben te maken met de manier waarmee de indices transformeren bij overgang naar een ander coördinatenstelsel op een Riemannse variëteit.

Een vector en een scalair zijn speciale gevallen van tensoren, namelijk (1,0)- en (0,0)-tensoren.

Tensoranalyse[bewerken]

Tensoren kunnen op verschillende manieren bewerkt worden:

  • Indices verlagen: een superscriptindex kan een subscriptindex worden met behulp van de metrische tensor g:
T^a_c=g_{ab}T^b_c\left(=\sum_b g_{ab}T^b_c\right)
  • Indices verhogen: een subscriptindex kan een superscriptindex worden met de inverse metrische tensor:
T^a_c=g^{ab}T_{bc}\left(=\sum_b g^{ab}T_{bc}\right)
  • Contractie of verkleinen van een tensor kan door twee indices gelijk te stellen:
T^a=T^{ac}_c\left(=\sum_c T^{ac}_c\right)

Symmetrie[bewerken]

In sommige gevallen is een tensor symmetrisch of antisymmetrisch. Voor een symmetrische tensor geldt: Tab = Tba. Voor een antisymmetrische tensor geldt Tab = -Tba. In het algemeen is een tensor noch symmetrisch, noch antisymmetrisch.

Elke tensor T heeft een symmetrisch deel S en een antisymmetrisch deel A, bepaald door

  • Sab = 1/2(Tab + Tba )
  • Aab = 1/2(Tab - Tba )

Het symmetrische en antisymmetrische deel van een tensor bevatten samen evenveel informatie als de originele tensor.

Deze regels kunnen uitgebreid worden voor tensoren van willekeurige orde (zie externe links).

P-Tensor[bewerken]

Een voorbeeld van een veel gebruikte tensor in topologische string theorie is de P-tensor. Deze heeft de volgende bijzondere eigenschap:

\sqrt{ P^i_k } > P^i_k

De tensor is een symmetrische tensor van de tweede orde, waarbij de componenten tussen nul en één liggen. De P-tensor komt voor bij de beschrijving van het "parameter-landschap" van het standaardmodel.

Notatie[bewerken]

De notatie van tensoren varieert. Misner, Charles W., Thorne, Kip S. & Wheeler, John Archibald: Gravitation, Freeman, San Francisco, 1970 en latere uitgaven bevat een overzicht van de verschillende notaties.

Zie ook[bewerken]

Externe link[bewerken]