Covariante - en contravariante componenten van een vector

Hoe bepaal je de covariante - en contravariante componenten van een vector?
Voor het gemak ga ik uit van een tweedimensionale ruimte. Ik heb een x-as en een y-as en een vector v met norm r. De hoek die de beide assen met elkaar maken is α en de hoek die de vector maakt met één der assen, ik heb gekozen voor de x-as, is β.
Grafiek
Om de covariante componenten van deze vector te bepalen construeer ik twee loodlijnen richting de beide assen.
Grafiek
De covariante componenten zijn dan:
Vergelijking
Vergelijking
Met behulp van de som-/verschilformules uit de goniometrie wordt vergelijking (2):
Vergelijking
Om de contravariante componenten te bepalen construeer ik twee lijnen evenwijdig aan de beide assen.
Grafiek
Voor het verschil van de beide x-componenten kan ik schrijven:
Vergelijking
En voor het verschil van de beide y-componenten kan ik schrijven:
Vergelijking
Vergelijking (1) vul ik in in vergelijking (4) en (3) in (5):
Vergelijking
Vergelijking
Tenslotte vul ik vergelijking (7) in in vergelijking (6) en vice versa:
Vergelijking
Vergelijking
Aldus komen we tot het volgende overzicht:
Grafiek x-component y-component
Covariant Vergelijking Vergelijking
Contravariant Vergelijking Vergelijking
Merk op dat indien de assen loodrecht op elkaar staan (α = π/2) dat het verschil tussen covariant en contravariant dan verdwijnt:
Vergelijking
Vergelijking
Vergelijking
Vergelijking
En merk ook op dat indien α = 0 of α = π dat dan de basisvectoren niet meer onafhankelijk zijn (de assen liggen in elkaars verlengde) en de boel perfect in het honderd loopt (de cotangens en de cosecans worden oneindig).
Vergelijking
Vergelijking
Vergelijking
Vergelijking
Merk tenslotte ook nog op dat voor een x-basisvector (β = 0, r = 1) de covariante x-component en de contravariante x-component gelijk zijn, namelijk xv = xv = 1.
Vergelijking
Vergelijking
Vergelijking
Vergelijking
En omgekeerd geldt ook dat voor een y-basisvector (β = α, r = 1) de covariante y-component en de contravariante y-component gelijk zijn, namelijk yv = yv = 1.
Vergelijking
Vergelijking
Vergelijking
Vergelijking
Dit klinkt allemaal niet zo ingewikkeld, maar er zit wel een adder onder het gras. Het is namelijk niet alleen maar een kwestie van wat lijntjes trekken richting de beide assen, nog wat elementaire goniometrie toepassen en klaar is Kees. Wat is er (ook) aan de hand? Met de projecties op de assen, de grijze lijntjes die ik trok, bepaal ik de covariante - en contravariante componenten van een vector. Echter, om appels en peren uit elkaar te houden is het wel van groot belang om in de gaten te houden welke eenheden je gebruikt. Oftewel, hoe zien mijn basisvectoren eruit? Stel, ik heb de volgende situatie.
Grafiek
Ik heb twee assen die loodrecht op elkaar staan, ik heb twee basisvectoren die even groot zijn en ook nog eenheidsvectoren zijn. Kortom, dit stelsel is zo Cartesisch als het maar zijn kan. Er is geen verschil tussen covariant en contravariant. Ik heb een vector v erbij ingetekend en twee lijntjes richting de assen, en vervolgens lees ik heel gemakkelijk de componenten van v af: (0.5, 0.5).

Zoals gezegd is er geen verschil tussen covariant en contravariant.
Grafiek
Maar nu komt het, ik maak de x-basisvector tweemaal zo lang (de y-basisvector blijft ongewijzigd).
Grafiek
Ik ga dit wiskundig maken en ik stel een covariante transformatiematrix op (met de nadruk op covariant):
Vergelijking
Wanneer ik dit loslaat op de groene covariante x-basisvector krijg ik de rode covariante x-basisvector:
Vergelijking
En wanneer ik dit loslaat op de groene covariante y-basisvector krijg ik de rode covariante y-basisvector:
Vergelijking
Om de rode contravariante basisvectoren te vinden heb ik een contravariante transformatiematrix nodig, dat is de getransponeerde én inverse matrix van de covariante transformatiematrix (voor de afleiding waarom dit zo is zie deze pagina):
Vergelijking
Wanneer ik dit loslaat op de groene contravariante x-basisvector krijg ik de rode contravariante x-basisvector:
Vergelijking
En wanneer ik dit loslaat op de groene contravariante y-basisvector krijg ik de rode contravariante y-basisvector:
Vergelijking
Dit teken ik allemaal erbij in in het plaatje.
Grafiek
De rode x-basisvectoren zijn niet meer gelijk, in tegenstelling tot de groene x-basisvectoren. En dit heeft uiteraard zijn weerslag op de componenten van de vector v. De covariante componenten van v zijn (1, 0.5) en de contravariante componenten van v zijn (0.25, 0.5).
Grafiek
De covariante componenten van v meet je af in contravariante basisvectoren en de contravariante componenten van v meet je af in covariante basisvectoren. Dit is uiteraard ook wiskundig te maken, want wanneer ik de covariante transformatiematrix loslaat op de vector v dan krijg ik de covariante componenten:
Vergelijking
En wanneer ik de contravariante transformatiematrix loslaat op de vector v dan krijg ik de contravariante componenten:
Vergelijking
De moraal van dit verhaal: het is niet alleen een kwestie van projecties op de assen, maar het is ook een kwestie van de componenten afmeten in de juiste eenheden (lees: de juiste basisvectoren).