Un vecteur contravariant est un vecteur, un vecteur covariant est une forme linéaire, encore appelé covecteur, ou encore vecteur dual^{[Information douteuse]}. Et si on dispose d'un produit scalaire, on peut représenter une forme linéaire (= un vecteur covariant = un covecteur) par un vecteur à l'aide du théorème de représentation de Riesz (cette représentation dépend du choix du produit scalaire).

Toutes ces notions sont indépendantes de représentation dans une base : mais à partir du moment où on choisit une base ${\displaystyle ({\vec {e}}_{i})}$, la représentation des composantes des vecteurs, et des composantes des formes linéaires, est standard : elle se fait avec un indice en haut pour les composantes des vecteurs, comme ${\displaystyle {\vec {v}}=\sum _{i}v^{i}{\vec {e}}_{i}}$, et un indice bas pour les composantes des formes linéaires, comme ${\displaystyle \ell =\sum _{i}\ell _{i}e^{i}}$ où ${\displaystyle (e^{i})}$ est la base duale.

Ce vocabulaire a été longtemps (et est encore souvent) associé au comportement des composantes lors d'un changement de base, en particulier les composantes d'un vecteur se transformant de manière inverse aux transformations des vecteurs de base : quand la transformation pour les vecteurs de base se lit matriciellement ${\displaystyle [{\vec {e}}_{j,new}]=P.[{\vec {e}}_{j,old}]}$, alors la transformation pour les composantes se lit matriciellement ${\displaystyle [v_{new}^{i}]=P^{-1}.[v_{old}^{i}]}$, d'où le nom "contravariant" donné aux vecteurs (transformation "dans le sens inverse de ${\displaystyle P}$"). Et les composantes des formes linéaires se transforment comme ${\displaystyle {\begin{pmatrix}\ell _{1,new}&...&\ell _{n,new}\end{pmatrix}}={\begin{pmatrix}\ell _{1,old}&...&\ell _{n,old}\end{pmatrix}}.P}$ (transformation "dans le sens ${\displaystyle P}$").

L'importance de la distinction entre vecteur covariant et contravariant se voit également dans l'étude de changement de base des tenseurs. Par exemple un tenseur 1 fois covariant et 1 fois contravariant (comme en endomorphisme) se transforme comme ${\displaystyle [L_{new}]=P^{-1}.[L_{old}].P}$, alors qu'un tenseur deux fois covariant (comme un produit scalaire) se transforme comme ${\displaystyle [g_{new}]=P^{T}.[g_{old}].P}$. Dans le cadre usuel d'un changement de systèmes de coordonnées (non orthonormé), comme un changement du système cartésien au système polaire, on ne peut confondre ces formules.

On confond souvent tenseur et calcul tensoriel ou matriciel (le calcul avec les formes multilinéaires), calculs indispensables entre autres en physique. Cependant, le calcul matriciel se concentre sur les calculs après représentation dans une base (où on retrouve la représentation en indices et en exposants), alors que les tenseurs, ou les champs de tenseurs (ici les champs de vecteurs et de formes linéaires), permettent une représentation par objets qui ont une existence indépendamment d'un "utilisateur" (indépendamment du choix d'une base ou du choix d'un produit scalaire). Ces tenseurs permettent, lorsqu'on fait un calcul tensoriel, d'être assuré que ce calcul est intrinsèque (résultat numérique indépendant de l'utilisateur). C'est un des apports essentiels de la géométrie différentielle à la physique.

Les expressions vecteur contravariant et vecteur covariant semblent être utilisées l'une pour l'autre suivant les origines scientifiques. Citons par exemple Spivak, A Comprehensive Introduction to Differential Geometry, Volume 1, 3rd edition, p. 113 : "...Classical terminology used these same words, and it just happens to have reversed this... And no one has had the gall or authority to reverse terminology so sanctified by years of usage...".

On adopte l'approche géométrie différentielle, où en particulier une forme linéaire est appelée un vecteur covariant (ou covecteur, ou vecteur dual). Après avoir rappelé les définitions, on se donnera une base, on en déduira la base duale, et retrouvera la représentation d'un vecteur et d'une forme linéaire (un vecteur covariant) à l'aide de leurs composantes.

On s'intéresse ici aux espaces vectoriels de dimension finie. On notera ${\displaystyle E}$ un espace vectoriel de dimension ${\displaystyle n}$.

Un vecteur est un élément d'un espace vectoriel ${\displaystyle E}$, par exemple ${\displaystyle E=\mathbb {R} ^{n}}$, ou ${\displaystyle E=P_{1}}$ l'espace des fonctions affines par morceaux, ou ${\displaystyle E=L^{2}(\Omega )}$ l'espace des fonctions d'énergie finie (espace des fonctions de carré intégrable).

Un vecteur est également appelé un vecteur contravariant, en référence au comportement de ses coordonnées dans une base.

Une forme linéaire sur ${\displaystyle E}$ est une application linéaire ${\displaystyle \phi :E\rightarrow \mathbb {K} }$ à valeurs dans un corps commutatif ${\displaystyle \mathbb {K} }$. Dans la suite ${\displaystyle \mathbb {K} =\mathbb {R} }$. On note ${\displaystyle E^{*}=L(E;{\mathbb {R} })}$ l'ensemble des formes linéaires sur ${\displaystyle E}$, appelé le dual de ${\displaystyle E}$.

${\displaystyle E^{*}}$ est un espace vectoriel dont les éléments (qui sont donc des vecteurs) sont appelés vecteurs covariants (ou vecteurs duaux, ou covecteurs) : ils covarient avec les vecteurs de ${\displaystyle E}$ au sens où ils agissent sur les vecteurs. Ainsi un covecteur (une forme linéaire) ${\displaystyle \ell \in E^{*}}$ agit sur un vecteur ${\displaystyle {\vec {v}}\in E}$ pour donner le réel ${\displaystyle \ell ({\vec {v}})\in {\mathbb {R} }}$.

Interprétation : une forme linéaire ${\displaystyle \ell }$ est un "instrument de mesure" qui donne une valeur ${\displaystyle \ell ({\vec {v}})}$ aux objets "les vecteurs" ${\displaystyle {\vec {v}}}$.

N.B. : un vecteur et une forme linéaire ont une existence par eux-mêmes (ils sont intrinsèques) : ils ne nécessitent ni l'introduction d'une base ni l'introduction d'un produit scalaire (qui dépendent du choix d'un "utilisateur"). Les vecteurs et formes linéaires sont les exemples les plus simples de tenseurs.

N.B. : plus loin on représentera une forme linéaire par un "vecteur de représentation" (théorème de représentation de Riesz), sous la condition essentielle de disposer d'un nouvel outil : un produit scalaire (le choix d'un tel outil dépend d'un "utilisateur"). Et il n'y a rien de "naturel" dans le choix d'un tel "vecteur de représentation". Ici le mot "naturel" a un sens mathématique précis : il signifie qu'il n'y a pas d'isomorphisme canonique entre ${\displaystyle E^{*}}$ et ${\displaystyle E}$ (un isomorphisme entre ${\displaystyle E}$ et ${\displaystyle E^{*}}$ existe mais nécessite l'introduction d'un nouvel outil comme un produit scalaire).

N.B. : il n'y a pas d'ambiguïté sur ce qu'est un vecteur covariant : c'est une forme linéaire sur ${\displaystyle E}$, c'est-à-dire un élément de ${\displaystyle L(E;\mathbb {R} )=E^{*}=T_{1}^{0}(E)}$ (c'est un tenseur covariant). On lève les ambiguïtés sur ce qu'est un vecteur contravariant (par rapport à un vecteur) en commençant par considérer les formes linéaires sur ${\displaystyle E^{*}}$, c'est-à-dire ${\displaystyle L(E^{*};\mathbb {R} )=E^{**}}$ le bidual (c'est l'ensemble ${\displaystyle T_{0}^{1}(E)}$ des tenseurs contravariants ${\displaystyle =}$ l'espace des dérivations directionnelles). Puis, par isomorphisme canonique (en dimension finie), on identifie ${\displaystyle E}$ (l'ensemble des vecteurs ${\displaystyle {\vec {v}}}$) et son bidual ${\displaystyle E^{**}}$ (l'ensemble des dérivations dans les directions de vecteurs ${\displaystyle {\vec {v}}}$). Cet isomorphisme permet de rebaptiser un vecteur contravariant en vecteur, et, de même, de rebaptiser un vecteur en un vecteur contravariant.

Soit ${\displaystyle n}$ vecteurs ${\displaystyle {\vec {e}}_{1},...,{\vec {e}}_{n}}$ de ${\displaystyle E}$ formant une base. On définit la forme linéaire ${\displaystyle e^{i}\in L(E;\mathbb {R} )=E^{*}}$ (vecteur covariant) comme étant la projection sur la direction ${\displaystyle {\vec {e}}_{i}}$ parallèlement aux autres directions :

${\displaystyle \delta _{j}^{i}}$ étant le symbole de Kronecker. Les ${\displaystyle n}$ formes linéaires ${\displaystyle e^{1},...,e^{n}}$ forment une base de ${\displaystyle E^{*}}$ (vérification simple) appelée la base duale de la base ${\displaystyle ({\vec {e}}_{1},...,{\vec {e}}_{n})}$. La base duale ${\displaystyle (e^{1},...,e^{n})}$ est donc constituée des formes linéaires de projection définies ci-dessus.

Si ${\displaystyle {\vec {x}}\in E}$, les réels ${\displaystyle x^{i}}$ vérifiant ${\displaystyle {\vec {x}}=\sum _{i=1}^{n}x^{i}{\vec {e}}_{i}}$ sont appelés les composantes de ${\displaystyle {\vec {x}}}$ dans la base ${\displaystyle ({\vec {e}}_{i})}$.

Connaissant la base ${\displaystyle ({\vec {e}}_{i})}$, on calcule la base duale ${\displaystyle (e^{i})}$, et les composantes du vecteur ${\displaystyle {\vec {x}}}$ sont calculées en appliquant les projections ${\displaystyle e^{i}}$ sur ${\displaystyle {\vec {x}}}$ : par linéarité de ${\displaystyle e^{i}\in E^{*}}$ on a ${\displaystyle e^{i}({\vec {x}})=\sum _{j=1}^{n}x^{j}\,e^{i}({\vec {e}}_{j})=\sum _{j=1}^{n}x^{j}\,\delta _{j}^{i}=x^{i}=}$ la i-ème composante de ${\displaystyle {\vec {x}}}$ (valeur de la projection de ${\displaystyle {\vec {x}}}$ sur ${\displaystyle {\vec {e}}_{i}}$ parallèlement aux autres directions).

Donner une "valeur" à un objet, comme la taille d'un homme, la masse, la température..., n'a de sens que relativement à un "objet de référence". C'est donc définir une fonction ${\displaystyle \ell }$ qui à l'objet ${\displaystyle x}$ associe la valeur ${\displaystyle \ell (x)}$, où la fonction ${\displaystyle \ell }$ est construite à l'aide de l'objet de référence. Ici on souhaite donner une taille "proportionnelle", et on choisit donc une fonction ${\displaystyle \ell }$ linéaire.

Modélisation en une dimension : l'objet de référence (dont la valeur sera par exemple le pied anglais Pied (unité) est représenté par un vecteur ${\displaystyle {\vec {e}}_{i}}$. Lui attribuer la dimension 1 c'est prendre la fonction linéaire ${\displaystyle \ell }$ définie par ${\displaystyle \ell ({\vec {e}}_{i})=1}$. La fonction ${\displaystyle \ell }$ est alors notée ${\displaystyle e^{i}}$.

Ainsi si un homme est modélisé par un vecteur ${\displaystyle {\vec {h}}}$ alors sa taille est donnée par ${\displaystyle e^{i}({\vec {h}})}$ en unités de ${\displaystyle {\vec {e}}_{i}}$. Autrement dit, ayant posé ${\displaystyle {\vec {h}}=h^{i}{\vec {e}}_{i}}$ (décomposition sur la base ${\displaystyle {\vec {e}}_{i}}$), sa taille est donnée (en unités de ${\displaystyle {\vec {e}}_{i}}$) par ${\displaystyle e^{i}({\vec {h}})=h^{i}=}$ la composante de ${\displaystyle {\vec {h}}}$ sur la base.

Ainsi un homme de 6 pieds fait référence à l'objet de référence "le pied anglais", et donc ici ${\displaystyle {\vec {h}}=h^{i}{\vec {e}}_{i}}$ avec ${\displaystyle e^{i}({\vec {h}})=h^{i}=6}$ en pieds. Si on préfère utiliser les mètres, on prend l'objet `mètre étalon' qu'on modélise par un vecteur ${\displaystyle {\vec {a}}_{i}}$, on prend la forme linéaire ${\displaystyle a^{i}}$ qui vérifie ${\displaystyle a^{i}({\vec {a}}_{i})=1}$, et la taille de l'homme en mètres est la valeur ${\displaystyle a^{i}({\vec {h}})=k^{i}}$ en mètres, composante de ${\displaystyle {\vec {h}}=k^{i}{\vec {a}}_{i}}$ sur la base ${\displaystyle {\vec {a}}_{i}}$.

Modélisation en n dimensions : la i-ème composante sur la base donne `la taille le long du i-ème vecteur de base'.

Donnons l'exemple usuel en aviation. Pour fixer les idées considérons un aéroport qui a deux pistes d'atterrissages, une dirigée Nord, et l'autre dirigée Nord-Ouest. Les dimensions internationales en aviation sont le mille nautique ou mille marin (Nautical Mile NM) pour les distances horizontales et le pied anglais (foot ft) pour les distances verticales. Le contrôleur aérien, qui veut connaître la position des avions en approche, demande au pilote son altitude et sa distance à l'aéroport. Le repère le plus simple pour le contrôleur est ${\displaystyle (O,{\vec {e}}_{1},{\vec {e}}_{2},{\vec {e}}_{3})}$ où O est la position de la tour de contrôle, et, par exemple, ${\displaystyle {\vec {e}}_{1}}$ indique le nord et modélise un objet de longueur 1 NM, ${\displaystyle {\vec {e}}_{2}}$ indique le nord-ouest et modélise un objet de longueur 1 NM, et ${\displaystyle {\vec {e}}_{3}}$ indique la verticale et modélise un objet de 1 ft. Ainsi, un avion est repéré par sa position ${\displaystyle {\vec {x}}=\sum _{i}x^{i}{\vec {e}}_{i}}$ dans le référentiel ${\displaystyle (O,{\vec {e}}_{1},{\vec {e}}_{2},{\vec {e}}_{3})}$ du contrôleur.

À partir de cette base, on définit la base duale ${\displaystyle (e^{1},e^{2},e^{3})}$ où ${\displaystyle e^{1}}$ est la forme linéaire donnée par ${\displaystyle e^{1}({\vec {e}}_{1})=1}$, ${\displaystyle e^{1}({\vec {e}}_{2})=0}$, ${\displaystyle e^{1}({\vec {e}}_{3})=0}$ (une forme linéaire est définie par ses valeurs sur les vecteurs de base), de même pour ${\displaystyle e^{2}}$ et ${\displaystyle e^{3}}$ (avec ${\displaystyle e^{i}({\vec {e}}_{j})=\delta _{j}^{i}}$). Si on veut connaître l'altitude de l'avion (en pieds), on calcule ${\displaystyle e^{3}({\vec {x}})=\sum _{i}x^{i}e^{3}({\vec {e}}_{i})=\sum _{i}x^{i}\delta _{i}^{3}=x^{3}}$ (la troisième composante), valeur en pieds anglais. Et comme ce n'est que l'altitude qui nous intéressait, on a choisi la forme linéaire ${\displaystyle e^{3}}$, car elle s'annule sur l'espace engendré par ${\displaystyle {\vec {e}}_{1}}$ et ${\displaystyle {\vec {e}}_{2}}$ (son noyau) et vaut 1 sur ${\displaystyle {\vec {e}}_{3}}$. Et si l'avion arrive par la piste nord et qu'on souhaite connaître son éloignement, on calcule ${\displaystyle e^{1}({\vec {x}})=x^{1}}$ (la première composante), valeur en NM. Et on vérifie qu'il n'arrive pas par la piste nord-ouest car dans notre cas ${\displaystyle e^{2}({\vec {x}})=x^{2}=0}$ (la deuxième composante).

N.B. : on peut également se servir d'un produit scalaire pour définir une dimension. Un produit scalaire ${\displaystyle g}$ étant une forme bilinéaire, un produit scalaire est entièrement déterminé par ses valeurs sur les vecteurs de base, c'est-à-dire par les réels ${\displaystyle g({\vec {e}}_{i},{\vec {e}}_{j})}$ notés usuellement ${\displaystyle g_{ij}}$. Ainsi ${\displaystyle g}$ s'écrit ${\displaystyle g=\sum _{ij}g_{ij}e^{i}\otimes e^{j}}$. Et donc on se sert explicitement de la base duale ${\displaystyle (e^{i})_{i=1,...,n}}$ qui justement sert à donner la "taille" 1 aux objets modélisés par les vecteurs ${\displaystyle {\vec {e}}_{i}}$. Autrement dit, la représentation d'un produit scalaire dans une base nécessite au préalable la définition de la base duale ${\displaystyle (e^{i})_{i=1,...,n}}$.

Soit ${\displaystyle ({\vec {e}}_{i})}$ une « ancienne » base et ${\displaystyle ({\vec {f}}_{i})}$ une « nouvelle » base de ${\displaystyle E}$. On notera ${\displaystyle (e^{i})}$ et ${\displaystyle (f^{i})}$ les bases duales respectives.

A ${\displaystyle j}$ fixé, soit ${\displaystyle (P_{j}^{i})_{i=1,...,n}}$ les composantes de ${\displaystyle {\vec {f}}_{j}}$ dans la base ${\displaystyle ({\vec {e}}_{i})}$, soit génériquement

La matrice ${\displaystyle P=[P_{j}^{i}]}$ stocke dans sa colonne ${\displaystyle j}$ les composantes de ${\displaystyle {\vec {f}}_{j}}$ dans la base ${\displaystyle ({\vec {e}}_{i})}$ : c'est la matrice de changement de base dite matrice de passage.

Et la matrice ${\displaystyle Q=P^{-1}}$ est la matrice de passage de la nouvelle base vers l'ancienne :

En effet ${\displaystyle \sum _{i}Q_{j}^{i}{\vec {f}}_{i}=\sum _{i}Q_{j}^{i}\sum _{k}P_{i}^{k}{\vec {e}}_{k}=\sum _{k}\sum _{i}P_{i}^{k}Q_{j}^{i}{\vec {e}}_{k}=\sum _{k}(PQ)_{j}^{k}{\vec {e}}_{k}=\sum _{k}\delta _{j}^{k}{\vec {e}}_{k}={\vec {e}}_{j}}$. Ainsi ${\displaystyle Q=P^{-1}}$ stocke dans sa colonne ${\displaystyle j}$ les composantes de ${\displaystyle {\vec {e}}_{j}}$ dans la base ${\displaystyle ({\vec {f}}_{i})}$.

Soit ${\displaystyle {\vec {x}}\in E}$, et soit :

où donc ${\displaystyle [{\vec {x}}]_{old}={\begin{pmatrix}x_{old}^{1}\\\vdots \\x_{old}^{n}\end{pmatrix}}}$ et ${\displaystyle [{\vec {x}}]_{new}={\begin{pmatrix}x_{new}^{1}\\\vdots \\x_{new}^{n}\end{pmatrix}}}$ sont les matrices colonnes stockant les composantes de ${\displaystyle {\vec {x}}\in E}$ sur ces bases. (Un vecteur est représenté dans une base par une matrice colonne.)

Un calcul simple donne (on applique les formes linéaires ${\displaystyle f^{i}}$ de la base duale de ${\displaystyle ({\vec {f}}_{i})}$ à l'égalité ci-dessus) :

Donc les nouvelles coordonnées varient en fonction de ${\displaystyle P^{-1}}$, inverse de ${\displaystyle P}$, d'où le nom contravariant (les composantes se transforment « dans le sens contraire » au sens de la base).

Soit ${\displaystyle \ell \in E^{*}}$ et soit ${\displaystyle a_{i}}$ ses composantes dans la base duale ${\displaystyle (e^{i})}$, c-à-d ${\displaystyle \ell =a_{1}e^{1}+...+a_{n}e^{n}.}$ Les composantes ${\displaystyle a_{j}}$ sont calculées en appliquant les vecteurs ${\displaystyle {\vec {e}}_{j}}$ : par linéarité de ${\displaystyle \ell }$ on a ${\displaystyle \ell ({\vec {e}}_{j})=\sum _{i=1}^{n}a_{i}\,e^{i}({\vec {e}}_{j})=\sum _{i=1}^{n}a_{i}\,\delta _{j}^{i}=a_{j}=}$ la j-ème composante de ${\displaystyle \ell }$.

On représente une forme linéaire dans une base à l'aide d'une matrice ligne, soit avec les notations ci-dessus ${\displaystyle [\ell ]={\begin{pmatrix}a_{1}&...&a_{n}\end{pmatrix}}}$. On dispose ainsi des règles usuelles du calcul matriciel :

Voir la convention d'Einstein ci-dessous.

Soit ${\displaystyle \ell \in E^{*}}$, et soit :

où donc ${\displaystyle [\ell ]_{old}={\begin{pmatrix}a_{1,old}&...&a_{n,old}\end{pmatrix}}}$ et ${\displaystyle [\ell ]_{new}={\begin{pmatrix}a_{1,new}&...&a_{n,new}\end{pmatrix}}}$ sont les composantes de ${\displaystyle \ell \in E^{*}}$ sur les bases duales. (Une forme linéaire est représentée dans une base par une matrice ligne.) Un calcul simple (on calcule les ${\displaystyle \ell ({\vec {f}}_{i})}$ à l'aide de l'égalité ci-dessus) donne :

D'où le nom (vecteur) covariant donné aux formes linéaires (les composantes se transforment "dans le même sens" que la base).

On vérifie immédiatement avec ces formules de changement de base que la quantité ${\displaystyle \ell ({\vec {x}})}$ ne dépend pas de la base, car ${\displaystyle P.P^{-1}=I}$ (matrice identité) : la valeur ${\displaystyle \ell ({\vec {x}})}$ ne dépend pas du choix de la base : on a bien :

La différence de sens est visible si on utilise les notations génériques :

N.B. : il se trouve que pour un changement de bases orthonormées, on a ${\displaystyle P^{-1}=P^{T}}$ (matrice transposée), et qu'alors les règles de changement de bases sont les mêmes... à la transposition près (matrices lignes transformées en matrices colonnes). C'est bien sûr faux si le changement de base n'est pas orthonormé.

Et indépendamment des règles de changement de base, les physiciens sont très attachés au caractère "covariant" (l'instrument de mesure) ou "contravariant" (l'objet à mesurer).

Pour "représenter" une forme linéaire par un vecteur, on introduit un nouvel outil : un produit scalaire sur ${\displaystyle E}$ noté ici ${\displaystyle (\cdot ,\cdot )_{g}}$ (une forme bilinéaire symétrique définie positive). L'existence et l'unicité d'un vecteur de représentation est alors donné par le théorème de représentation de Riesz :

si ${\displaystyle \ell }$ est une forme linéaire continue sur ${\displaystyle E}$, espace de Hilbert pour le produit scalaire ${\displaystyle (\cdot ,\cdot )_{g}}$, alors :

où ${\displaystyle {\vec {\ell }}_{g}\in E}$ est le vecteur représentant ${\displaystyle \ell \in E^{*}}$ au travers du produit scalaire ${\displaystyle (\cdot ,\cdot )_{g}}$. (En dimension finie les formes linéaires sont toutes continues, et les espaces vectoriels munis d'un produit scalaire sont tous des espaces de Hilbert ; c'est faux en dimension infinie.) Un intérêt essentiel de cette représentation vectorielle d'une forme linéaire est la représentation graphique.

Définition : le vecteur ${\displaystyle {\vec {\ell }}_{g}}$ est appelé le vecteur de représentation de ${\displaystyle \ell }$ pour le produit scalaire ${\displaystyle (\cdot ,\cdot )_{g}}$.

Une base ${\displaystyle ({\vec {e}}_{i})}$ étant fixée, le produit scalaire ${\displaystyle (\cdot ,\cdot )_{g}}$ étant fixé, on note ${\displaystyle [g]=[g_{ij}]=[({\vec {e}}_{i},{\vec {e}}_{j})_{g}]}$ la matrice du produit scalaire. Comme ${\displaystyle (\cdot ,\cdot )_{g}}$ est un produit scalaire, il est bilinéaire, et donc, en notant ${\displaystyle {\vec {x}}=\sum _{i}x^{i}{\vec {e}}_{i}}$ et ${\displaystyle {\vec {y}}=\sum _{j}y^{j}{\vec {e}}_{j}}$, on a

Si ${\displaystyle \ell =\sum _{i}\ell _{i}e^{i}}$ et ${\displaystyle {\vec {\ell }}_{g}=\sum _{i}\ell ^{i}{\vec {e}}_{i}}$, où donc ${\displaystyle [\ell ]={\begin{pmatrix}\ell _{1}&...&\ell _{n}\end{pmatrix}}}$ et ${\displaystyle [{\vec {\ell }}_{g}]={\begin{pmatrix}\ell ^{1}\\\vdots \\\ell ^{n}\end{pmatrix}}}$ sont les matrices des composantes de ${\displaystyle \ell }$ et de ${\displaystyle {\vec {\ell }}_{g}}$, par définition du vecteur de représentation ${\displaystyle {\vec {\ell }}_{g}}$ de ${\displaystyle \ell }$, la définition ${\displaystyle \ell ({\vec {x}})=({\vec {\ell }}_{g},{\vec {x}})_{g}}$ donne la relation matricielle ${\displaystyle [\ell ].[{\vec {x}}]=[{\vec {\ell }}_{g}]^{T}.[g].[{\vec {x}}]}$ pour tout ${\displaystyle {\vec {x}}}$. Donc :

Soit explicitement :

où par définition on a noté ${\displaystyle [g]^{-1}=[g^{ij}]}$.

Le "vecteur covariant" (la forme linéaire) a ses composantes qui suivent les règles de changement de base des formes linéaires, alors que le vecteur de représentation ${\displaystyle {\vec {\ell }}_{g}}$ représentant ${\displaystyle \ell }$, après choix d'un produit scalaire, a ses composantes qui suivent les règles de changement de base des vecteurs :

En effet, relativement aux bases "old" et "new" les relations entre ${\displaystyle {\vec {\ell }}_{g}}$ et ${\displaystyle \ell }$ sont ${\displaystyle [{\vec {\ell }}_{g}]_{new}=[g]_{new}^{-1}.[\ell ]_{new}^{T}}$ et ${\displaystyle [{\vec {\ell }}_{g}]_{old}=[g]_{old}^{-1}.[\ell ]_{old}^{T}}$. Donc avec les règles de changement de bases des formes linéaires, soit ${\displaystyle [\ell ]_{new}=[\ell ]_{old}.P}$, et des formes bilinéaires, soit ${\displaystyle [g]_{new}=P^{T}.[g]_{old}.P}$ (facile à vérifier), on obtient :

Les règles de changement de base pour ${\displaystyle {\vec {\ell }}_{g}}$ sont bien contravariantes.

Exemple : soit ${\displaystyle E=\mathbb {R} ^{2}}$ et son produit scalaire canonique (euclidien) : si ${\displaystyle {\vec {x}}={\begin{pmatrix}x^{1}\\x^{2}\end{pmatrix}}}$ et ${\displaystyle {\vec {y}}={\begin{pmatrix}y^{1}\\y^{2}\end{pmatrix}}}$ sont deux vecteurs exprimés dans la base canonique, ce produit scalaire est donné par ${\displaystyle ({\vec {x}},{\vec {y}})_{g}=x^{1}y^{1}+x^{2}y^{2}}$. Soit alors la forme linéaire ${\displaystyle \ell }$ donnée par ${\displaystyle \ell ({\vec {x}})=\ell _{1}x^{1}+\ell _{2}x^{2}}$. On représente la forme linéaire ${\displaystyle \ell }$ par la matrice ligne ${\displaystyle [\ell ]={\begin{pmatrix}\ell _{1}&\ell _{2}\end{pmatrix}}}$, et le résultat

est donné par le produit matriciel usuel.

On a également ${\displaystyle \ell ({\vec {x}})=({\vec {\ell }}_{g},{\vec {x}})_{g}}$, où le vecteur de représentation ${\displaystyle {\vec {\ell }}_{g}}$ est, comme tout vecteur, représenté par une matrice colonne ${\displaystyle [{\vec {\ell }}_{g}]={\begin{pmatrix}\ell ^{1}\\\ell ^{2}\end{pmatrix}}}$. Et trivialement, pour le produit scalaire euclidien, on a ${\displaystyle \ell ^{i}=\ell _{i}}$. Ici l'utilisation du produit scalaire euclidien dans la base euclidienne rend les calculs immédiats avec :

Représentation graphique : le vecteur ${\displaystyle {\vec {\ell }}}$ est orthogonal (relativement au produit scalaire euclidien) à la droite d'équation ${\displaystyle \ell _{1}x^{1}+\ell _{2}x^{2}=0=({\vec {\ell }},{\vec {x}})_{g}=\ell ({\vec {x}})}$. Autrement dit le noyau ${\displaystyle Ker(\ell )=\{{\vec {x}}:\ell ({\vec {x}})=0\}=\{{\vec {x}}:{\vec {x}}\perp {\vec {\ell }}\}}$ de la forme linéaire est l'ensemble des vecteurs orthogonaux à ${\displaystyle {\vec {\ell }}}$.

Noter l'incohérence de la position des indices et exposants (voir la convention d'Einstein plus loin). La cohérence est retrouvée en appliquant la formule ${\displaystyle ({\vec {\ell }}_{g},{\vec {x}})_{g}=\sum _{i,j}\ell ^{i}g_{ij}x^{j}}$ sachant qu'ici ${\displaystyle g_{ij}=\delta _{ij}}$.

Exemple bis : soit ${\displaystyle E=\mathbb {R} ^{2}}$ mais qu'on munit du produit scalaire de matrice ${\displaystyle [g]={\begin{pmatrix}1&0\\0&2\end{pmatrix}}}$ relativement à la base canonique : c'est typiquement le cas lors de la résolution d'un problème matriciel par la méthode du gradient conjugué, ou encore de l'analyse d'image (exemple : un cercle est dessiné au sol, mais vu de loin vu d'un avion il ressemble à une ellipse de petit axe ici deux fois plus petit que le grand axe). Dans ce cas, si ${\displaystyle [\ell ]={\begin{pmatrix}\ell _{1}&\ell _{2}\end{pmatrix}}}$ alors ${\displaystyle [{\vec {\ell }}_{g}]={\begin{pmatrix}\ell ^{1}=\ell _{1}\\\ell ^{2}={1 \over 2}\ell _{2}\end{pmatrix}}}$.

Soit ${\displaystyle f:E\rightarrow \mathbb {R} }$ une application ${\displaystyle C^{1}}$ au voisinage d'un point ${\displaystyle {\vec {x}}_{0}\in E}$. La différentielle de ${\displaystyle f}$ en ce point est la forme linéaire ${\displaystyle \ell }$ vérifiant (développement limité au premier ordre), dans un voisinage de ${\displaystyle h=0}$, pour tout vecteur ${\displaystyle {\vec {v}}\in E}$ :

et on note généralement ${\displaystyle \ell =df({\vec {x}}_{0})\in E^{*}}$. Si on dispose, en plus, d'un produit scalaire ${\displaystyle (\cdot ,\cdot )_{g}}$ sur ${\displaystyle E}$, on définit alors le vecteur gradient ${\displaystyle {\vec {\nabla }}f({\vec {x}}_{0})}$ de ${\displaystyle f}$ en ${\displaystyle {\vec {x}}_{0}}$ comme étant le vecteur de représentation de la différentielle ${\displaystyle df({\vec {x}}_{0})}$ relativement au produit scalaire. Donc par définition, pour tout vecteur ${\displaystyle {\vec {v}}\in E}$ :

Exemple : le gradient d'une fonction ${\displaystyle f:{\vec {x}}\in \mathbb {R} ^{2}\rightarrow f({\vec {x}})\in \mathbb {R} }$ en un point est le vecteur de représentation relativement au produit scalaire euclidien donné en coordonnées polaires par : ${\displaystyle {\vec {\nabla }}f({\vec {x}})={\begin{pmatrix}{\partial f \over \partial \rho }({\vec {x}})\\{1 \over \rho }\,{\partial f \over \partial \theta }({\vec {x}})\end{pmatrix}}}$.