Brontekst bekijken van Contravariant en covariant

In [[Lineaire algebra|multilineaire algebra]] en [[tensor]]analyse geven de termen '''covariant''' en '''contravariant''' aan hoe de componenten van een [[Vector (wiskunde)|vector]] of matrix veranderen als gevolg van een [[Basistransformatie|verandering van basis]]. Een basis bestaat uit de basisvectoren (bijv. i, j en k, of x1, x2 en x3) van een [[assenstelsel]]. 

De [[natuurkundige grootheid]] '[[golflengte]]' is een vector met een '''grootte''' en een richting. Stel dat de grootte 3 meter is. In dit geval is '3' de component en 'meter' de eenheid van de basisvector. Als de eenheid vervolgens uitgedrukt wordt in millimeter, dan dient de component met een factor van 1000 vermenigvuldigd te worden om de ware grootte van de golflengte te behouden. De verkorting van de basiseenheid leidt dus tot een tegenovergestelde verandering van de component. Een golflengte is daarom een contravariante vector. [[Raaklijn|Raaklijnvectoren]] zijn ook contravariante vectoren.

De natuurkundige grootheid '[[golfvector]]' is een covector met een '''dichtheid''' en een richting. De dichtheid wordt aangeduid door het golfgetal. Dit getal geeft het aantal golven per [[Lengtemaat|lengte-eenheid]] aan; een dichtheid dus. Stel dat dit getal 30 per meter is. Als de meter vervolgens veranderd wordt in centimeter, dan moet de component (30) door een factor van 100 gedeeld worden om de ware dichtheid te handhaven. De verkorting van meter naar centimeter leidt dus tot een overeenkomstige verkleining van de component. Een golfvector is daarom een covariante vector. Covariante vectoren worden ook wel ''covectoren'' genoemd. [[Gradiënt|Gradiëntvectoren]] zijn ook covariante vectoren. Een verandering in dichtheid vindt plaats bij het [[Dopplereffect]].

De termen covariant en contravariant werden geïntroduceerd door [[James Joseph Sylvester|J.J. Sylvester]] in 1853 in verband met de algebraïsche invariantentheorie. 

De overgang in een vectorruimte <math>V</math> van de geordende basis <math>B=(b_1, \ldots, b_n)</math> op de geordende basis <math>C=(c_1, \ldots, c_n)</math> wordt formeel beschreven door de relatie
:<math>C=BM</math>,

waarin de matrix <math>M</math> als kolommen de coördinaten van de vectoren uit <math>C</math> ten opzichte van de basis <math>B</math> heeft.

In [[einsteinnotatie]] luidt deze relatie:
:<math>c_k=M_k^r b_r\left(=\sum_{r=1}^n b_rM_k^r\right)</math>

Voor de coördinaten van een vector <math>v\in V</math>:
:<math>v=\beta_1b_1 + \ldots + \beta_n b_n=\gamma_1c_1 + \ldots + \gamma_n c_n</math>

geldt:
:<math>\gamma=M^{-1} \beta</math>
waarbij <math>\beta</math> en <math>\gamma</math> de als kolomvectoren geschreven rijen coördinaten zijn.

In einsteinnotatie:
:<math>\gamma_r=\left(M^{-1}\right)_k^r \beta_k</math>

De coëfficiënten transformeren dus via <math>M^{-1}</math>, tegengesteld aan de overgang van de basis, die door <math>M</math> wordt gegeven. De vector <math>v</math> heet daarom een contravariante vector.

Anders is het voor een duale vector <math>v^*</math> uit de [[duale ruimte]] <math>V^*</math>, die t.o.v. de duale basis wordt gegeven door:

:<math>v^*={\beta^*}^1 b^*_1 + \ldots + {\beta^*}^n b_n^* = {\gamma^*}^1 c_1^* + \ldots + {\gamma^*}^n c_n^*</math>,

Voor de duale basis geldt:
:<math>(B^*)^T B=I,(C^*)^T C=I</math>,
(waarbij de "vermenigvuldiging" van een [[lineaire functionaal]] (covector) met een vector het toepassen ervan op die vector is), zodat
:<math>C^*=B^*(M^{-1})^T </math>

en voor de coëfficiënten geldt:
:<math>(\gamma^*)^T=M^T (\beta^*)^T</math>
waarbij <math>\beta^*</math> en <math>\gamma^*</math> de als rijvectoren geschreven rijen coördinaten zijn.

In einsteinnotatie:
:<math>{\gamma^*}^k=M_r^k {\beta^*}^r</math>

Deze coëfficiënten transformeren dus via <math>M^T</math>, op dezelfde manier als de overgang van de basis, die door <math>M</math> wordt gegeven. De vector <math>v^*</math> heet daarom een covariante vector.

==Zie ook==
*[[Basistransformatie]]

[[Categorie:Lineaire algebra]]