Pseudo-vecteur (mathématiques)

Dans un espace vectoriel de Modèle:Nobr, un pseudo-vecteur est un objet mathématique qui peut être représenté par une forme bilinéaire alternée ou par un tenseur antisymétrique d'Modèle:Nobr ou, dans une base donnée, par une matrice antisymétrique. Il porte aussi le nom de bivecteur car il peut s'écrire comme le produit extérieur de deux formes linéaires. Si l'espace est euclidien et orienté, on lui fait correspondre un vecteur de l'espace appelé vecteur dual. On peut généraliser cela à toute dimension supérieure à 3.

Par exemple, la vitesse d'un point quelconque d'un solide en rotation dans l'espace est déterminée à l'aide d'un tenseur antisymétrique c'est-à-dire un pseudo-vecteur. Cependant, il est plus pratique d'utiliser son vecteur dual car celui-ci indique (entre autres) la direction de l'axe de rotation.

Notations

Les notions évoquées ci-dessus (et détaillées ci-dessous) s'organisent suivant le schéma suivant : Modèle:Centrer

On désigne par $E$ un espace vectoriel de dimension $n⩾3$. Afin de distinguer le produit extérieur et le produit vectoriel, on utilisera de façon exclusive la notation Modèle:Nobr pour le produit extérieur (notation universelle donc incontournable) et la notation Modèle:Nobr pour le produit vectoriel (notation extrêmement répandue, même si elle n'est pas encore utilisée partout et en particulier en France).

Espace dual

On note $E^{*}$ l'espace dual de $E$ c'est-à-dire l'espace vectoriel des formes linéaires sur $E$ ; ses éléments sont appelés des covecteurs. Cet espace vectoriel est aussi de Modèle:Nobr

Base duale

On note $e^i$ la forme linéaire définie par $e^i(e_j)=1$ si $i=j$ et $e^i(e_j)=0$ si $i\ne j$ c'est-à-dire $e^i(e_j)={\delta }_j^i$ où ${\delta }_j^i$ est le tenseur de Kronecker. La base $B^{*}=(e^1,\cdots ,e^n)$ de l'espace dual $E^{*}$ est appelée base duale de $B$. Tout changement de base dans $E$ induit automatiquement le changement de sa base duale.

La position des indices dans la base $B^{*}$ n'est qu'une convention d'écriture parmi d'autres pour distinguer les vecteurs des deux bases. On aurait pu écrire $B^{*}=(e_1^{*},\cdots ,e_n^{*})$ ou $B^{*}=({\epsilon }_1,\cdots ,{\epsilon }_n)$ par exemple. La convention choisie est celle qui est adaptée à l'écriture tensorielle et à la convention de sommation d'Einstein que l'on utilisera systématiquement.

Covariance et contravariance

En cohérence avec la dénomination tensorielle, un vecteur est un tenseur de type (1,0) et est dit contravariant ; de même un covecteur est un tenseur de type (0,1) et est dit covariant. C'est une définition intrinsèque (qui ne fait pas appel aux bases) et, comme toute définition, elle ne nécessite aucune justification.

• La base $B$, constituée de vecteurs contravariants, est dite contravariante. Soit $u$ un vecteur ; ses coordonnées $u^i$ dans la base contravariante $B$ sont définies par $u=u^i{e}_i$ et sont appelées les coordonnées contravariantes de $u$. Dans $u^i$, l'indice $i$ est dite en position contravariante (position haute) car il se réfère à des coordonnées contravariantes. On vérifie que $u^i=e^i(u)$.

• La base $B^{*}$, constituée de vecteurs covariants, est dite covariante. Soit $u$ un covecteur ; ses coordonnées $u_i$ dans la base covariante $B^{*}$ sont définies par $u=u_i{e}^i$ et sont appelées les coordonnées covariantes de $u$. Dans $u_i$, l'indice $i$ est dite en position covariante (position basse) car il se réfère à des coordonnées covariantes. On vérifie que $u_i=u(e_i)$.

Remarque : La position covariante ou contravariante d'un indice ne concerne que les coordonnées. En effet le vecteur $e_i$ est contravariant bien que l'indice $i$ soit en position basse. De même le covecteur $e^i$ est covariant bien que l'indice soit en position haute. Cela est simplement dû à la position des indices dans la convention d'Einstein.

Cas euclidien

Isomorphismes musicaux

Dans le cas où $E$ est un espace vectoriel euclidien, à tout vecteur $u\in E$ on fait correspondre la forme linéaire $u^{\mathrm{♭}}\in E^{*}$ définie par $x\mapsto u\cdot x$ (où Modèle:Nobr est le produit scalaire). L'application linéaire $u\mapsto u^{\mathrm{♭}}$ est un isomorphisme de $E$ sur $E^{*}$. On note $\mathrm{♯}$ son isomorphisme réciproque et on définit sur $E^{*}$ un produit scalaire (que l'on note encore « $\cdot$ »), appelé produit scalaire dual, par $(u,v)\mapsto u^{\mathrm{♯}}\cdot v^{\mathrm{♯}}$. Muni de ce produit scalaire, $E^{*}$ est un espace vectoriel euclidien et ces isomorphismes sont des isométries qui permettent d'identifier les espaces euclidiens $E$ et $E^{*}$. Dans ce cas, quand on parle d'un vecteur (sans préciser davantage) on parle indifféremment d'un élément de $E$ ou d'un élément de $E^{*}$ ; on ne fait donc plus la distinction entre vecteurs et covecteurs.

Comme les formes linéaires $e^i$ sont identifiées à des vecteurs de $E$, on a $e^i(e_j)=e^i\cdot e_j={\delta }_j^i$. Par exemple en Modèle:Nobr on a $e^3\cdot e_1=e^3\cdot e_2=0$ et $e^3\cdot e_3=1$. Par conséquent $e^3=e{\text{'}}_3/\Vert e{\text{'}}_3{\Vert }^2$ où $e{\text{'}}_3$ est le projeté orthogonal de $e_3$ sur la droite orthogonale au plan engendré par les vecteurs $e_1$ et $e_2$.

On ne fait plus la distinction entre vecteur et covecteur c'est-à-dire que l'on ne fait plus la distinction entre vecteur contravariant et vecteur covariant. Par contre, comme la base $B^{*}$ est aussi une base de $E$, les coordonnées d'un vecteur peuvent être calculées aussi bien dans la base $B$ que dans la base $B^{*}$. Il faut donc toujours faire la distinction entre coordonnées covariantes et coordonnées contravariantes.

• Dans la base $B$ on a $u=u^i{e}_i$ et ses coordonnées contravariantes vérifient $u^i=e^i\cdot u$.
• Dans la base $B^{*}$ on a $u=u_i{e}^i$ et ses coordonnées covariantes vérifient $u_i=e_i\cdot u$.

Tenseur métrique

Le produit scalaire défini sur $E$ est un cas particulier de métrique. Son tenseur associé est un tenseur covariantModèle:Sfn appelé tenseur métrique. De même le produit scalaire dual, définit sur $E^{*}$, est la métrique duale. Son tenseur associé est un tenseur contravariant appelé tenseur métrique dual.

On note $g_{ij}$ les coordonnées dans la base $B$ du tenseur métrique et $g^{ij}$ les coordonnées dans la base $B^{*}$ du tenseur métrique dual. Par définition des produits scalaires, on a les relations $g_{ij}=e_i\cdot e_j$ et $g^{ij}=e^i\cdot e^j$. Ces tenseurs sont symétriques et on vérifie que $e^i=g^{ij}{e}_j$, $e_i=g_{ij}{e}^j$ et $g_{ij}{g}^{jk}={\delta }_i^k$. De plus, pour tout vecteur $u$ on a $u_i=g_{ij}{u}^j$ et $u^i=g^{ij}{u}_j$. Ces formules montrent que la matrice $[g^{ij}]$ est la matrice de changement de base de $B$ vers $B^{*}$ et que sa matrice inverse est $[g_{ij}]$.

Si $u\in E$ et $v\in E$ alors $u\cdot v=u^i{e}_i\cdot v^j{e}_j=g_{ij}{u}^i{v}^j=u_j{v}^j=u^i{v}_i$. Il est très inhabituel d'utiliser de cette manière les coordonnées issues de deux bases différentes, mais $B$ et $B^{*}$ ne sont pas indépendantes.

Par la suite il n'y a pas d'inconvénient à supposer que l'espace vectoriel est euclidien, le contexte permettant de savoir si la notion est utile ou non.

Algèbre extérieure

Formes extérieures

Soit $E$ un espace vectoriel. Pour $2\le p\le n$ on note $A^p(E)$ l'espace vectoriel des p-formes alternées définies sur $E$. On complète ces notations en posant $A^0(E)=ℝ$, $A^1(E)=E^{*}$ et $A^p(E)=\{0\}$ pour $p>n$. La dimension de l'espace vectoriel $A^p(E)$ est $(\genfrac{}{}{0ex}{}{n}{p})$ avec la convention $(\genfrac{}{}{0ex}{}{n}{p})=0$ si $p>n$. Les espaces vectoriels $A^p(E)$ et $A^{n-p}(E)$ ont donc la même dimension.

On note $A(E)$ la somme directe de ces espaces vectoriels, c'est-à-dire Modèle:Centrer Les éléments de $A(E)$ sont appelés des formes extérieures et ceux de $A^p(E)$ des p-formes extérieures ou des p-vecteurs.

Produit extérieur

Le produit extérieur des covecteurs $u$ et $v$ est noté $u\wedge v$ et est défini pour tout $x\in E$ et tout $y\in E$ par Modèle:Centrer C'est une forme bilinéaire car elle est linéaire en $x$ et linéaire en $y$. Elle est de plus alternée car $u\wedge v(x,x)=0$ pour tout $x\in E$ et donc antisymétrique, c'est-à-dire que $u\wedge v(y,x)=-u\wedge v(x,y)$

On peut définir le produit extérieur $\wedge$ sur $A(E)$. Comme la définition formelle du produit extérieur est assez complexeModèle:Sfn, on se contentera d'en donner ses principales propriétés.

• le produit extérieur $\wedge$ est une application bilinéaire de $A(E)\times A(E)$ dans $A(E)$
• si $\alpha \in A^p(E)$ et $\beta \in A^q(E)$ alors $\alpha \wedge \beta \in A^{p+q}(E)$
• si $\alpha \in A^p(E)$ et $\beta \in A^q(E)$ alors $\beta \wedge \alpha =(-1{)}^{pq}\alpha \wedge \beta$
• le produit extérieur est associatif c'est-à-dire que $\alpha \wedge (\beta \wedge \gamma )=(\alpha \wedge \beta )\wedge \gamma$ que l'on note alors plus simplement $\alpha \wedge \beta \wedge \gamma$

Muni de cette loi, $A(E)$ est une algèbre extérieure.

Pseudo-vecteur

Les éléments de $A^2(E)$ sont appelés des bivecteurs. D'autre part $A^{n-1}(E)$ est, tout comme $E$, de Modèle:Nobr. Les éléments de $A^{n-1}(E)$ sont pour cela appelés des pseudo-vecteurs. Le préfixe pseudo signale seulement que ces vecteurs, bien qu'appartenant à un espace vectoriel de même dimension que $E$, ne sont pas des éléments de $E$. Dans le cas $n=3$, les pseudo-vecteurs sont donc des bivecteurs ; cette coïncidence n'a lieu que pour $n=3$.

Soit $u$ et $v$ deux covecteurs. Comme $u\in A^1(E)$ et $v\in A^1(E)$ alors $u\wedge v\in A^2(E)$. Avec le vocabulaire ci-dessus, $u\wedge v$ est donc un bivecteur. Dans le cas $n=3$ c'est aussi un pseudo-vecteur et tout pseudo-vecteur peut s'écrire comme le produit extérieur de deux covecteurs.

Bases des p-vecteurs

Étant donnée $B=(e_1,\cdots ,e_n)$ une base de $E$, on a défini la base duale $B^{*}$ qui est donc la base canonique de $A^1(E)=E^{*}$ associée à $B$. Pour $p>1$, on peut aussi définir une base de $A^p(E)$ de façon naturelle (canonique) ; cependant, on ne peut définir aucun ordre naturel sur cette base.

Soit $1<p⩽n$. Pour tout p-uplet ordonné $I=(i_1,\cdots ,i_p)$ vérifiant $1⩽i_1<\cdots <i_p⩽n$ on pose $e^I=e^{i_1\cdots i_p}=e^{i_1}\wedge \cdots \wedge e^{i_p}$. Puisque $e^i\in A^1(E)$ alors $e^I\in A^p(E)$. Par exemple, $e^5\wedge e^1\wedge e^2=e^1\wedge e^2\wedge e^5=e^{125}$ et $e^5\wedge e^2\wedge e^1=-e^1\wedge e^2\wedge e^5=-e^{125}$. L'ensemble des p-vecteurs $e^I$ où $I$ est un p-uplet ordonné est une base de $A^p(E)$ notée $\{e^I{\}}_{|I|=p}$. C'est la base covariante associée à la base $B$ et tout changement de base dans $E$ induit automatiquement un changement de base dans $A^p(E)$. Par abus de langage, les coordonnées d'un p-vecteur $\alpha$ dans cette base sont appelées les coordonnées covariantes de $\alpha$ dans $B$ (il est clair que c'est un abus de langage car $\alpha \notin E$).

Pour $n=3$, la base covariante de $A^2(E)$ est $\{e^{12},e^{13},e^{23}\}$. Tout bivecteur $\alpha \in A^2(E)$ peut s'écrire (de manière unique) sous la forme $\alpha ={\alpha }_{ij}{e}^{ij}$ ce qui donne Modèle:Centrer car on doit sommer sur l'ensemble des couples $(i,j)$ possibles vérifiant $i<j$ (convention d'Einstein généralisée).

Dans le cas où $E$ est un espace euclidien, les vecteurs $e_i$ sont identifiés à des covecteurs. De la même manière, on peut alors poser $e_I=e_{i_1\cdots i_p}=e_{i_1}\wedge \cdots \wedge e_{i_p}$. La base constituée de ces p-vecteurs, notée $\{e_I{\}}_{|I|=p}$, est la base contravariante associée à $B$. Par abus de langage, les coordonnées d'un p-vecteur $\alpha$ dans cette base sont appelées les coordonnées contravariantes de $\alpha$ dans $B$.

Pour $n=3$, la base contravariante de $A^2(E)$ est $\{e_{12},e_{13},e_{23}\}$. Tout bivecteur $\alpha \in A^2(E)$ peut s'écrire (de manière unique) sous la forme $\alpha ={\alpha }^{ij}{e}_{ij}$ ce qui donne Modèle:Centrer

Remarque : Il existe un isomorphisme canonique (c'est-à-dire indépendant des bases) entre les bivecteurs et les tenseurs antisymétrique d'Modèle:Nobr. En général on distingue ces tenseurs suivant qu'ils sont covariants, contravariants ou mixtes. Dans le cas d'un espace euclidien, ces distinctions sont sans objet car on identifie $E$ et $E^{*}$. Cependant, même dans ce cas, il faut toujours faire la distinction entre les coordonnées contravariantes et covariantes car cela revient à indiquer dans quelle base ($B$ ou $B^{*}$) les coordonnées sont calculées.

Espace orienté

Définition

L'espace vectoriel $A^n(E)$ est, tout comme $A^0(E)=ℝ$, de Modèle:Nobr. Ses éléments sont pour cela appelés des pseudo-scalaires. Là encore, le préfixe pseudo signale simplement que les éléments de $A^n(E)$ ne sont pas des éléments de $ℝ$.

Une forme volume sur $E$ est un élément non nul de $A^n(E)$. Comme cet espace est de Modèle:Nobr, la relation d’équivalence définie sur $A^n(E)\setminus \{0\}$ par Modèle:Centrer

permet de définir deux classes d’équivalence appelées orientations de $E$. L'espace vectoriel $E$ muni de l'orientation $X$ est noté $E_X$ et appelé espace vectoriel orienté. Même si le plus souvent, en l'absence d'ambiguïté, on note encore $E$ l'espace vectoriel orienté, il est mathématiquement important de distinguer l'espace vectoriel $E$ de l'espace vectoriel orienté $E_X$ .

Bases directes

Soit $B$ une base de $E_X$ et $\omega \in X$ une forme volume. On dit que $B$ est directe (ou orientée positivement) si $\omega (B)>0$ et indirecte (ou rétrograde ou orientée négativement) si $\omega (B)<0$. Cela est indépendant de $\omega \in X$.

On peut remarquer que la définition mathématique ci-dessus de l'orientation est intrinsèque. Elle ne fait pas intervenir les bases qui, de ce point de vue, sont des éléments étrangers à la notion. Il existe cependant une propriété concernant les bases qui sert parfois de définition alternative. Soit $B$ une base de $E$ (espace non orienté). L'ensemble des formes volumes $\omega$ telles que $\omega (B)>0$ est une orientation. Cette orientation est appelée « orientation définie par $B$ ». Si on la note $X$ alors (par définition) $B$ est une base directe de l'espace orienté $E_X$.

En physique, on peut ainsi définir une orientation telle que les bases directes soient des bases orientées à droite. Pour cela on choisit une base orientée à droite (par la règle de la main droite, par exemple). D'après ce qui précède, cela détermine une orientation pour laquelle la base est directe. Cette orientation est identique à celle déterminée par le tire-bouchon de Maxwell.

Tenseur de Levi-Civita

Dans le cas d'un espace euclidien, on dit que $\omega \in A^n(E)$ est un vecteur unitaire si et seulement s'il existe une base orthonormale de $E$ notée $B$ telle que $|\omega (B)|=1$. Les propriétés du déterminant montrent alors que cette égalité est vérifiée pour toute base orthonormale. Il n'existe que deux vecteurs unitaires, chacun appartenant à une orientation. Soit $\eta$ un vecteur unitaire ; l'ensemble des formes volumes $\omega$ telles que $\omega \sim \eta$ est une orientation et on note $E_{\eta }$ l'espace vectoriel euclidien orienté par cette orientation. Cette définition de $\eta$ coïncide avec celle du tenseur de Levi-Civita qui peut donc aussi être appelé forme volume unité ou unité pseudo-scalaire.

Le tenseur de Levi-Civita permet de définir une bijection (canonique au signe près) appelée loi étoile de Hodge qui met en dualité les espaces vectoriels $A^p(E)$ et $A^{n-p}(E)$. Ces espaces sont dits duaux l'un de l'autre, le contexte permettant de ne pas confondre avec l'espace dual $E^{*}$.

Soit $(x_1,\cdots ,x_n)$ $n$ vecteurs de $E_{\eta }$. L'expression $\eta (x_1,\cdots ,x_n)$ est parfois notée $[x_1,\cdots ,x_n]$ et porte alors le nom de produit mixte. En Modèle:Nobr on a, d'après la définition du produit vectoriel, la relation Modèle:Centrer Cette formule est à l'origine de l'appellation « produit mixte ». Les propriétés d'antisymétrie de $\eta$ donnent des relations analogues par permutation circulaire sur les indices.

Si les vecteurs sont coplanaires le résultat est nul. Sinon sa valeur absolue est égale au volume du parallélépipède construit sur ces trois vecteurs. Cela explique a posteriori le nom de « forme volume » donnée aux éléments de $A^n(E)$.

Espace euclidien orienté en Modèle:Nobr

Exemple

Vecteur instantané de rotation

Soit $𝒮$ un solide mobile indéformable et $B=(e_1,e_2,e_3)$ une base quelconque de $E$ liée à $𝒮.$ Les vecteurs $e_i$ dépendent du temps mais les coordonnées du tenseur métrique dans cette base restent constantes. On note $B^{*}=(e^1,e^2,e^3)$ sa base duale. Comme $\frac{d}{dt}(e_i\cdot e_j)=\frac{d}{dt}(g_{ij})=0$ alors $\frac{d{e}_i}{dt}{e}_j+e_i\frac{d{e}_j}{dt}=0$. On note ${\alpha }_{ij}=\frac{d{e}_i}{dt}\cdot e_j$. D'où ${\alpha }_{ij}+{\alpha }_{ji}=0$ et $\frac{d{e}_i}{dt}={\alpha }_{ij}{e}^j$ car les ${\alpha }_{ij}$ sont les coordonnées covariantes de $\frac{d{e}_i}{dt}$ dans la base $B^{*}$.

Si $r$ est un vecteur lié à $𝒮$ alors $r=r^i{e}_i$ où les $r^i$ ne dépendent pas du temps. D'où $v=\frac{dr}{dt}=r^i\frac{d{e}_i}{dt}=r^i{\alpha }_{ij}{e}^j$. Finalement Modèle:Centrer Il existe une forme bilinéaire alternée unique notée $\alpha$ telle que $\alpha (e_i,e_j)={\alpha }_{ij}$ (puisque les ${\alpha }_{ij}$ sont les coordonnées d'un tenseur, $\alpha$ ne dépend pas de la base $B$). Par conséquent $\alpha \in A^2(E)$, c'est-à-dire que $\alpha$ est un bivecteur et aussi un pseudo-vecteur puisque la dimension de $E$ est égale à 3.

D'un point de vue théorique, le pseudo-vecteur $\alpha$ est l'outil adapté au problème mais il présente un double inconvénient. Tout d'abord, on ne travaille pas avec les objets eux-mêmes mais avec leurs coordonnées. Ensuite, il n'est pas facile de visualiser l'action d'un tel tenseur sur un schéma.

Le vecteur vitesse angulaire décrit la vitesse de rotation et l'axe de rotation instantanée. La direction du vecteur vitesse angulaire est celle de l'axe de rotation ; dans ce cas (sens antihoraire) le vecteur pointe vers le haut.

On cherche un outil ne présentant pas ces inconvénients ; pour cela on a besoin que l'espace soit orienté (on n'en avait pas besoin jusque là). Le dual de Hodge de $\alpha$ est un vecteur et on pose $\omega =\star \alpha$ (où $\star$ est la loi étoile de Hodge). Les coordonnées de $\omega$ dans la base $B$ sont ${\omega }^k=\frac{1}{2}{\eta }^{ijk}{\alpha }_{ij}$ où $\eta$ est le tenseur de Levi-Civita. On obtient ${\alpha }_{ij}={\eta }_{ijk}{\omega }^k$ et $v_j={\alpha }_{ij}{r}^i={\eta }_{ijk}{\omega }^k{r}^i=(\omega \times r{)}_j$. D'où Modèle:Centrer

L'avantage est immédiat. On travaille avec un vecteur, qui est un objet plus simple qu'un tenseur (ici un bivecteur) et la formule n'utilise pas les coordonnées. Mais il faut être conscient que l'on a introduit artificiellement l'orientation de l'espace dans un problème qui, au départ, n'en dépend pas. Une première fois pour définir le vecteur $\omega$, une seconde fois pour l'utiliser à l'aide du produit vectoriel. Le vecteur dual $\omega$ peut donc être considéré comme un simple intermédiaire de calcul qui a l'avantage de pouvoir être représenté graphiquement mais qui possède l'inconvénient de mal supporter les transformations, contrairement au pseudo-vecteur $\alpha$ (voir ci-dessous).

Éléments correspondants

On reprend les notations précédentes. Soit $h$ une isométrie de $E$ indépendante du temps. Pour chaque élément défini sur $𝒮$ on note avec un « ' » l'élément correspondant sur ${𝒮}^{\prime }=h(𝒮)$. Le plus souvent les éléments se correspondent à l'aide de l'isométrie, mais pas toujours.

On a $r^{\prime }=h(r)$. Si $B=(e_1,e_2,e_3)$ alors $B^{\prime }=(e{\text{'}}_1,e{\text{'}}_2,e{\text{'}}_3)$ est la base image de $B$ car $e{\text{'}}_i=h(e_i)$. De même $B^{*}\text{'}=(e{\text{'}}^1,e{\text{'}}^2,e{\text{'}}^3)$ est la base image de $B^{*}$ car $e{\text{'}}^i=h(e^i)$. On a aussi $v^{\prime }=h(v)$ et ${\alpha }^{\prime }=h(\alpha )$. Mais pour $\omega$ on a ${\omega }^{\prime }=h(\omega )$ si $h$ est directe et ${\omega }^{\prime }=-h(\omega )$ si $h$ est indirecte.

Modèle:Démonstration Si l'isométrie est indirecte, le correspondant du vecteur dual $\omega$ est l'opposé de son image. En physique, on retrouve cette correspondance avec les vecteurs axiaux.

Cas général

Dualité vecteur / pseudo-vecteur

En Modèle:Nobr, les espaces vectoriels $A^2(E)$ et $A^1(E)=E^{*}=E$ sont duaux c'est-à-dire que chaque pseudo-vecteur est associé par la loi étoile de Hodge à un vecteur et réciproquement. Si $\alpha$ est un pseudo-vecteur, on note $\star \alpha$ son vecteur dual. De même si $u$ et un vecteur on note $\star u$ son bivecteur dual. Les relations tensorielles entre les coordonnées sont Modèle:Centrer où $\eta$ est le tenseur de Levi-Civita. On a donc $\star (\star u)=u$ et $\star (\star \alpha )=\alpha$.

En Modèle:Nobr, tout pseudo-vecteur peut s'écrire comme le produit extérieur de deux vecteurs. Le cas général se réduit donc à ce qui pourrait passer pour un cas particulier. Avec $\alpha =u\wedge v$ on obtient Modèle:Centrer c'est-à-dire que le produit vectoriel est le vecteur dual du produit extérieur.

Transformation isométrique

Soit $h$ une isométrie de $E$. On note $\det (h)$ son déterminant. On a $\det (h)=\pm 1$ suivant que l'isométrie est directe ou indirecte.

• Pour le produit extérieur : $h(u\wedge v)=hu\wedge hv$Modèle:Sfn
• Pour le produit vectoriel : $h(u\times v)=\det (h)hu\times hv$

En rouge, est représenté le produit vectoriel des deux vecteurs en noir. Sous une inversion d'espace chaque vecteur est changé en son opposé. En gris sont représentés les opposés des vecteurs en noir ; leur produit vectoriel est aussi égal au vecteur en rouge et non égal à son opposé.

On a donc le schéma suivant :

Lorsque l'on transforme un bivecteur et son vecteur dual par une isométrie indirecte, le dual de l'image et l'image du dual sont des vecteurs opposés. Ce schéma ne fait que mettre en évidence la correspondance entre les deux vecteurs duaux ; il ne modifie pas l'image de $u\times v$ qui est toujours $h(u\times v)$ et non $h(u)\times h(v)$.

En particulier si $h$ est l'inversion de l'espace, alors $\det (h)=-1$ et l'opposé du produit n'est pas le produit des opposés. Cette relation n'a rien d'extraordinaire et ne reflète pas un caractère "spécial" du produit vectoriel. Elle est, par exemple, vérifiée dans les réels : $3\times 5=15$ mais $(-3)\times (-5)\ne -15$.

Représentation matricielle

Modèle:Article détaillé Dans l'espace vectoriel des matrices carrées $(n,n)$, on peut définir deux produits.

• le premier, noté " $*$ " ou (le plus souvent) par une absence de signe, correspond au produit matriciel usuel : $X*Y$ ou $XY$
• le second, noté $[,]$, est le crochet de Lie : $[X,Y]=XY-YX$

Il est à remarquer que le sous-espace vectoriel des matrices antisymétriques n'est pas stable pour le produit usuel mais qu'il est stable pour le crochet de Lie. C'est-à-dire que si $X$ et $Y$ sont antisymétriques alors $[X,Y]$ est aussi antisymétrique.

Soit $E$ un espace euclidien et $B=(e_1,e_2,e_3)$ une base orthonormale directe de $E$. Comme $B^{*}=B$, on ne fait plus la distinction entre covariant et contravariant et la position des indices n'a plus aucune importance. On note $(e_{23},e_{13},e_{12})$ la base canonique de $A^2(E)$, c'est-à-dire de l'espace vectoriel des pseudo-vecteurs (ou bien ici des bivecteurs). Par rapport à leurs bases respectives, un pseudo-vecteur et son vecteur dual peuvent être représentés par des matrices : une matrice (3,1) pour le vecteur et une matrice (3,3) antisymétrique pour le pseudo-vecteur.

Par rapport à leurs bases respectives, un pseudo-vecteur et son vecteur dual ont presque les mêmes coordonnées et les matrices se correspondent de façon simple. Par exemple si $x=x_1{e}_1+x_2{e}_2+x_3{e}_3$ alors $\star x=x_1{e}_{23}-x_2{e}_{13}+x_3{e}_{12}$ et donc $\star x_{23}=x_1,\star x_{13}=-x_2,\star x_{12}=x_3$. Les matrices correspondantes sont donc
$[x]=\left[\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right]$ et $[\star x]=\left[\begin{array}{ccc}0& x_3& -x_2\\ -x_3& 0& x_1\\ x_2& -x_1& 0\end{array}\right]$
Pour des raisons pratiques (cf les formules ci-dessous) on considère aussi la matrice transposée $Q_x=[\star x{]}^T=-[\star x]$ appelée la représentation antisymétrique de $x$. Ces deux représentations sont utilisées ; par exemple, elles sont présentes comme sous-matrices du tenseur de Maxwell selon la signature de la métrique.

On peut vérifier que

• $[u\times v]=Q_u[v]$ : matrice $*$ vecteur colonne = vecteur colonne
• $[u\wedge v]=[[\star u],[\star v]]=[Q_u,Q_v]$ : $[$matrice antisymétrique, matrice antisymétrique$]$ = matrice antisymétrique
• $\exp (Q_u)=I+(\sin \parallel u\parallel )\frac{Q_u}{\parallel u\parallel }+(1-\cos \parallel u\parallel ){\left(\frac{Q_u}{\parallel u\parallel }\right)}^2$ (cf. Exponentielle d'une matrice). C'est donc une matrice de rotation. Plus précisément, l'axe de rotation est de direction $u$ et l'angle de rotation (en radians) est égal à $\parallel u\parallel$.

Remarque : Si la base n'est pas orthonormale ou même seulement indirecte, alors les coordonnées ne sont plus les mêmes et la correspondance ci-dessus n'est plus valable. Par exemple, rien de changé dans l'expression du produit extérieur (pseudo-vecteur) mais pour le produit vectoriel (vecteur dual) l'expression n'est plus aussi simple. La représentation matricielle n'a alors plus aucun intérêt.

Généralisation

Modèle:Article détaillé Ce qui précède peut se généraliser aux Variétés différentiables. On parle alors de champ : champ de vecteurs, champ de covecteurs, champ de bivecteurs, etc.

Si $(x^1,\cdots ,x^n)$ est un système de coordonnées locales, alors la base associée des champs de vecteurs est $({\partial }_1,\cdots ,{\partial }_n)$ où ${\partial }_k=\partial /\partial x^k$ et la base duale (celle des covecteurs) est $(d{x}^1,\cdots ,d{x}^n)$. On retrouve la position des indices.

La dérivée extérieure $𝐝$ joue un rôle essentiel dans ce contexte. Exemple en Modèle:Nobr : si $𝑨$ est un champ de covecteurs alors $𝑭=𝐝𝑨$ est un champ de pseudo-vecteurs et $𝑩=\star 𝑭$ est son champ de vecteurs duaux. Les relations correspondantes utilisant les coordonnées sont $F_{ij}={\partial }_i{A}_j-{\partial }_{j}Ai$ et $B^k=\frac{1}{2}{\eta }^{ijk}{F}_{ij}$.

De même, l'intégration des champs de p-vecteurs (qui portent alors le nom de p-formes différentielles) est un outil puissant ayant de nombreuses applications aussi bien en mathématiques qu'en physique (voir les articles détaillés).

Voir aussi

Bibliographie

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage

Articles connexes

• Pseudovecteur ou vecteur axial
• Produit vectoriel
• Tenseur
• Analyse vectorielle
• Orientation