Pour la relativité, voirPrincipe de covariance générale.

Pour les probabilités, voirVariance etCovariance.

Pour l’informatique, voiren:Covariance and contravariance (computer science).

Pour la théorie des catégories, voirFoncteur.

Dans le langage courant, on utilise l’adjectifcovariant lorsque deux phénomènes varient dans le même sens^[1] etcontravariant lorsque les deux phénomènes varient en sens contraires. Enalgèbre linéaire ces adjectifs correspondent à des définitions abstraites, le lien avec le sens courant n’étant découvert qu’ultérieurement.

Soit${\displaystyle E}$ unespace vectoriel. On note${\displaystyle E^{\ast }}$ sonespace vectoriel dual ; ses élémentssont appelés des covecteurs (quand on parle d’un vecteur, sans précision, il s’agit d’un vecteur de${\displaystyle E}$).

Les vecteurs de${\displaystyle E}$ sont aussi appelésvecteurs contravariants et ceux de${\displaystyle E^{\ast }}$vecteurs covariants. Ces définitions^[2] sont intrinsèques (elles ne dépendent pas d’éléments extérieurs comme les bases par exemple) et, comme toute définition, elles n’ont pas besoin d’être justifiées.

Si l’espace est muni d’unproduit scalaire (ou l’équivalent), ce qui est toujours le cas en physique, la distinction covariant / contravariant disparaît^[3]. Il est donc difficile de comprendre ces notions si on se placedès le départ dans un espace où on ne les distingue pas.

À toute base${\displaystyle B}$ de${\displaystyle E}$ on fait correspondre de manièrecanonique une base${\displaystyle B^{\ast }}$ de${\displaystyle E^{\ast }}$ appelée sabase duale. L’usage d’une base de${\displaystyle E}$ impliquenécessairement l’usage de sa base duale comme base de${\displaystyle E^{\ast }}$. On appellecoordonnées contravariantes les coordonnées d’un vecteur contravariant (donc d’un vecteur de${\displaystyle E}$) dans une base${\displaystyle B}$ etcoordonnées covariantes les coordonnées d’un vecteur covariant (donc d’un covecteur de${\displaystyle E^{\ast }}$) dans la base${\displaystyle B^{\ast }}$.

Cette distinction est particulièrement importante lorsque${\displaystyle E}$ est muni d’un produit scalaire car, bien que l’on ne distingue plus les vecteurs, il y a deux bases distinctes (en général^[4]) et donc deux systèmes de coordonnées. Dans ce cas, un vecteur${\displaystyle x}$ est déterminé aussi bien par ses coordonnées contravariantes${\displaystyle x^i}$ (coordonnées usuelles) que par ses coordonnées covariantes${\displaystyle x_i=x\cdot e_i}$ (produit scalaire)^[5].

La manipulation des coordonnées covariantes et contravariantes est grandement facilitée par laconvention de sommation d'Einstein ; elle est systématiquement utilisée dans les articles détaillés données en référence.

Expliquer le choix du vocabulaire mathématique sort du cadre mathématique mais n'est pas dénué d'intérêt pour autant. Pour comprendre le lien avec le sens courant, on considère deux bases de${\displaystyle E}$ notées${\displaystyle B=(e_1,\cdots ,e_n)}$ et${\displaystyle B^{\prime }=(e_1^{\prime },\cdots ,e_n^{\prime })}$ avec${\displaystyle e_i^{\prime }=\lambda e_i}$ (${\displaystyle \lambda \ne 0}$). Si${\displaystyle u}$ est un vecteur de${\displaystyle E}$, on peut l’écrire sous la forme${\displaystyle u=u^i{e}_i}$ (on utilise la convention d'Einstein) ou encore${\displaystyle u=(1/\lambda )u^i{e}_i^{\prime }}$, D’où${\displaystyle u^{\prime i}=(1/\lambda )u^i}$ : les coordonnées usuelles du vecteur varient donc dans lesens contraire de la base. Une étude plus complète (incluant les covecteurs) et plus générale est donnée dans les articles détaillés indiqués en référence.

Ces notions s’étendent de manière canonique auxtenseurs ainsi qu’auxchamps de tenseurs définis sur unevariété différentielle^[6].

Ces adjectifs sont accolés aux bases de façons opposées selon le point de vue des auteurs et il ne semble pas y avoir de définition mathématique qui pourrait les départager. Cela n’a pas grande importance car les calculs sont identiques.

D’un point de vue théorique, la base${\displaystyle B=(e_1,\cdots ,e_n)}$ étant constituée de vecteurs contravariants et permettant de calculer les coordonnées contravariantes d’un vecteur contravariant, il peut sembler naturel de l’appeler base contravariante. Pour les mêmes raisons, la base duale${\displaystyle B^{\ast }}$ est alors nommée base covariante.

D’un autre point de vue, la base${\displaystyle B=(e_1,\cdots ,e_n)}$ est constituée des vecteurs${\displaystyle e_i}$ où${\displaystyle i}$ est en a position "basse"; or, dans la convention d’Einstein, cette position est appelée "position covariante"^[7]. Il peut alors sembler naturel de l’appeler base covariante et d'effectuer les calculs avec ces vecteurs de la même manière qu’avec leurs coordonnées. Dans ce cas la base duale${\displaystyle B^{\ast }}$ est nommée base contravariante.

En pratique la convention d’Einstein est très utile et répandue, même si d'un point de vue théorique elle n’est pas nécessaire^[8]. C’est donc l'importance que l’on porte à cette convention qui détermine la nomenclature employée.

Il est courant de désigner un vecteur (et plus généralement un tenseur) par ses coordonnées dans une base (non nécessairement précisée). On dira, par exemple «  le vecteur covariant${\displaystyle x_i}$ » au lieu de « le vecteur${\displaystyle x}$ dont les coordonnées covariantes sont${\displaystyle x_i}$ ». C’est bien sûr unabus de langage (il n’y a pas d’ambiguïté car${\displaystyle x_i}$ est un réel et non un vecteur) et on remarque que l’adjectif covariant est affecté au vecteur (ce qui, par exemple, en physique n’a plus lieu d’être) au lieu de ses coordonnées.

Dans le même esprit on peut parler de « la base${\displaystyle e_i}$ » et même, si on adopte le second point de vue, de « la base covariante${\displaystyle e_i}$ » ; là encore il n’y pas d’ambiguïté car${\displaystyle e_i}$ est un vecteur et non une base.

On devrait cependant s’interdire de parler « du vecteur covariant${\displaystyle e_i}$ » car c’est faux dans le cas général et au mieux non pertinent.

• Marcel Berger, Paul Gauduchon et Edmond Mazet,Le spectre d'une variété riemannienne, Berlin · Heidelberg, Springer-Verlag,coll. « Lecture Notes in Mathematics »,1971

• Jean Barbotte,Le calcul tensoriel, Paris, Bordas,coll. « Bibliothèque de la science moderne »,1948

• (en) RW Ogden,Nonlinear Elastic Deformations, Courier Corporation,2013

• Pseudo-vecteur
• Tenseur
• Vecteur contravariant, covariant et covecteur

• Portail des mathématiques
• Portail de la physique

• Espace vectoriel
• Calcul tensoriel

• Portail:Mathématiques/Articles liés
• Portail:Sciences/Articles liés
• Projet:Mathématiques/Articles
• Portail:Physique/Articles liés