Produit extérieur

De Quantique, rétrosymétrie, Transactions
Aller à : navigation, rechercher

Définition et propriétés de base

Soient deux tenseurs u et v, le produit extérieur est défini comme u ^ v = LaTeX: u \otimes v - v \otimes u où ^ note le produit extérieur et LaTeX: \otimes le produit tensoriel. Oralement, on lit ces deux opérateurs : "U extérieur V", et "U tensoriel V", respectivement.

Ainsi, le produit extérieur est construit à partir du produit tensoriel, antisymétrisé, c'est à dire que tout échange de deux indices de même variance dans une coordonnée en change le signe : si A = (aij), alors aij = − aji    pour tout i et j (ce qui implique que aii = 0 pour tout i).

Le produit extérieur n'est pas commutatif mais anticommutatif. Il est associatif.

Algèbre extérieure

L'algèbre extérieure est une partie (une restriction) de l'algèbre tensorielle. On a aussi dit « Algèbre des multivecteurs ». L'algèbre extérieure a été inventée par Hermann Grassmann (1809-1877) : lineale Ausdehnungslehre, 1844.

D'une manière générale, l'algèbre tensorielle est le langage naturel de toute la physique macroscopique, géométrisable dans notre espace-temps, à nous humains, êtres macroscopiques. Aux échelles modestes de l'être humain, ces algèbres tensorielles sont sur des espaces euclidiens de dimension 2 ou 3 pour la mécanique, pseudo-euclidien de dimension 4 pour l'électromagnétisme relativiste, autrement dit sur des variétés plates, à courbure nulle, ou faible. Ceci a la validité de notre "espace" macroscopique : ni trop grand ni trop petit par rapport à la main humaine. Il est valide jusqu'à l'échelle d'une maille cristalline, et pas plus petit : plus petit, il n'existe plus de validité de notre "espace", c'est là une notion irrémédiablement macroscopique.

En astrophysique, près d'astres très massifs, voire de trous noirs, il faut travailler sur des variétés non euclidiennes, avec courbure notable. La métrique est alors plus difficile.

Exemple physique élémentaire

Nous travaillerons d'abord directement avec les êtres géométriques indispensables au physicien. Nous verrons ultérieurement la traduction en coordonnées selon les bases vectorielles choisies.

Le produit extérieur LaTeX:  \vec {OA} \wedge \vec  {OB} de deux vecteurs du genre longueur orientée, dont les bipoints représentants sont respectivement LaTeX:  \vec {[OA]} et LaTeX:  \vec {[OB]} , est l'aire orientée du parallélogramme OACB, tel que le bipoint LaTeX:  \vec {[OC]} = \vec {[OA]} + \vec {[AC]} représente la somme vectorielle LaTeX:  \vec  {OA} + \vec {OB} .

Exterieur AB BC.gif

[[1]]

aire d'un parallélogramme

C'est une aire orientée en rotation, selon l'angle orienté, de mesure comprise entre – π et + π , dans le sens qui amène LaTeX: \vec {OA} vers LaTeX: \vec  {OB} , en respectant son sens, mais sans s'occuper de leur modules. Vous pouvez montrer ce sens de rotation avec les mains.

Un vecteur a une direction de droite. Donc le produit extérieur de deux vecteurs a une direction de plan : celle qui contient les deux directions de droite.

Unité : le produit extérieur de deux vecteurs du genre longueur, en mètres, est du genre aire, et son unité est le mètre carré.

Quel est son module ? Multiplier le module de LaTeX:  \vec {OA} par le module de LaTeX:  \vec {OB} , et par le sinus de l'angle LaTeX:  (\vec {OA}, \vec {OB} )

Confirmation en physique : Couplage magnétisme - Relativité restreinte.

Richard Feynman avait déjà, dans son cours de Caltech de 1964 (paragraphe 13.6, pages 225 à 230 du tome 1 d'Electromagnétisme), démontré que la force de Laplace, couramment enseignée avec un "vecteur champ magnétique" qui fait tout en travers, n'est rien d'autre que la force de Coulomb, force centrale, mais vue à travers un mirage relativiste, la contraction de Lorentz.


Démonstration :

Cas à intensités parallèles :

Prenons deux brins parallèles A et B, parcourus par la même intensité i. On va les dessiner tous deux horizontaux au tableau noir, avec l'intensité vers la gauche. Le réseau d'ions cuivre en A voit le réseau d'ions cuivre en B immobile par rapport à lui. Mais il voit les électrons de conduction en dérive moyenne vers la droite, à la vitesse moyenne de quelques dizaines de micromètres par seconde. Donc la correction de longueur relativiste s'applique à eux, il les "voit" plus denses que les charges plus des ions cuivre. Donc il est attiré par ces charges "-" davantage qu'il n'est repoussé par les charges "+" du réseau cuivre B, et réciproquement, il les attire.

Et tu recommences sur la "vision" des ions cuivre de B par les électrons moyens de A. Au total, par ce mirage relativiste, les conducteurs A et B sont attirés entre eux si les intensités sont de même sens.


Cas à intensités opposées

(on n'échappe plus à calculer) :

Prenons le cas métrologique de principe :
Deux conducteurs indéfinis, dont l'élément mesure un mètre, distants de un mètre, parcourus par une intensité de un ampère.
i.dl = 1 A * 1 m = Q.v
La répartition entre Q et v dépend de la densité de courant et de la section, mais on peut fixer v à une vitesse électrotechnique raisonnable :
10-4 m/s.
D'où Q (par mètre) = 104 C.
La contraction des longueurs, au premier ordre :
1- 1/2 v²/c².


Soit F la force entre tous les ions cuivre de A, et tous les ions cuivre de B, répulsive.

Son calcul :


Entre deux charges ponctuelles Q et Q' à la distance R,
LaTeX: F = \frac 1 {4 \pi \epsilon_0} \frac {Q.Q'} {R2}

Entre deux fils d'épaisseurs négligeables, d'élément de longueur dl, de charge linéique LaTeX: \lambda, soit une charge réelle dQ, à distance R :
LaTeX: dF = \frac 1 {2 \pi \epsilon_0} . \frac {\lambda.dQ} {R}
Intégrée sur un mètre de fil :
LaTeX: F = \frac 1 {2 \pi \epsilon_0} . \frac {\lambda.Q} {R}
LaTeX: F = \frac 1 {2 \pi \epsilon_0} . \frac {Q2} {R.1m}
Et à la distance d'un mètre :
LaTeX: F = \frac 1 {2 \pi \epsilon_0} . \frac {Q2} {1m2}


Entre les ions cuivre de A et les électrons de B :
-F. (1 + 1/2 v²/c²) (attractive)
Entre les électrons de A et les ions cuivre de B :
-F. (1 + 1/2 v²/c²)
Entre les électrons conduction de A et les électrons de conduction de B (vitesse 2v) :
F. (1 + 4/2 v²/c²) (répulsive)
C'est ce terme là, 2 v²/c², qui est nouveau dans le cas de figure avec intensités opposées.

Force électromagnétique finale, toujours au premier ordre :
Fe = F. v²/c².
Alors qu'on avait -F.v²/c² avec intensités de même sens.

On a donc bien les bons signes.
A-t-on la bonne dépendance au degré de l'intensité ?
La force est justement proportionnelle à l'intensité dans un conducteur, et à celle dans l'autre, donc à i² si ces deux intensités sont égales en valeur absolue.


Il ne reste plus qu'à vérifier que la grandeur prédite est aussi correcte, avec le bon coefficient.

|Fe| = F. v²/c² avec LaTeX: F =   \frac 1 {2 \pi \epsilon_0} . \frac {Q2} {1m2}
LaTeX: |Fe| = \frac 1 {2 \pi \epsilon_0.c2} . \frac {(v.Q)2} {1m2}

Or LaTeX: \epsilon_0.c2 = \mu_0
et LaTeX: \vec v.Q = LaTeX: \vec {i.L}

LaTeX: |Fe| = \frac {i2} {2 \pi \mu_0}
Ou dans le cas plus général sur une longueur l de fils, écartés de la distance d.
LaTeX: |Fe| = \frac {i2} {2 \pi \mu_0} . \frac {l} {d}

Et par la définition même de l'ampère,
LaTeX: 4\pi.\mu_0 = 10-7 H.m-1.

Démonstration terminée.

Associativité : ordre deux, trois...

Du produit tensoriel et de l'addition, le produit extérieur hérite l'associativité. L'exemple courant est le produit extérieur de trois vecteurs, qui est le volume (orienté) du parallélipipède construit sur ces trois vecteurs.

Application en cristallographie :

Au signe près, le volume de la maille définie par les trois vecteurs de base (qui peut fort bien être triclinique : tous angles différents d'un droit, trois longueurs de base différentes) LaTeX: \vec a,  \vec b,  \vec c, est le produit extérieur LaTeX: \vec a \wedge \vec b \wedge \vec c .

Ce volume orienté est donc un tenseur antisymétrique du troisième ordre, ou de rang trois, alors que l'aire orientée est du deuxième ordre, ou de rang deux. Les tenseurs du premier ordre sont les vecteurs ordinaires, et leurs inverses.

Autres tenseurs antisymétriques de rang deux

Oui bien sûr, si vous allez dans l'atelier de mécanique, ou dans celui d'électrotechnique, et que vous y lâchez des gros mots comme tenseur antisymétrique de rang deux, vous allez vous faire lyncher... C'est pourquoi, en 1995 J. Lavau a proposé de rebaptiser ces êtres géométriques plus brièvement : "tourneurs". Ce sont en effet des êtres de rotation, alors que les vecteurs vrais sont des êtres de translation. Ce rebaptême est une innovation, et elle est encore loin de faire l'unanimité.

Sont des tourneurs :

Le moment d'une force, ou d'un couple de forces (en newton ^ mètre, ou joule.radian par seconde),

La vitesse angulaire (en radian par seconde),

La vitesse aréolaire (en mètres carrés fois radians par seconde),

Le moment angulaire (en joule.seconde par radian),

Le champ magnétique B (en tesla, ou joule.seconde par mètre carré, et par coulomb, et par radian),

Le flux magnétique Φ, ou circulation du potentiel magnétique LaTeX:  \vec A le long d'une boucle fermée,

Le moment magnétique d'un aimant ou d'une particule.

La densité volumique de moment magnétique, ou champ H' = B/ μ,

A ne pas confondre avec les vecteurs de bonne foi !

Vitesse, accélération, force, champ électrique, potentiel magnétique, restent des vecteurs de bonne foi.


Histoire : De quand datent les cris d'alerte sur une mathématisation incorrecte ?

Tout au long du 19e siècle, et surtout à la suite de Faraday et de ses expériences de spectres de limaille de fer, les physiciens ont longuement hésité et disputé sur la nature géométrique du courant électrique, du champ électrique, du champ magnétique : tourbillons ou vecteurs ? Ou mousses de tourbillons ?

Le premier pionnier à avoir attiré l'attention sur le divorce entre l'outil mathématique dérivé des quaternions de Hamilton, et les symétries des phénomènes magnétiques, fut James Clerk Maxwell, dans son Treatise on Electricity and Magnetism, § 15, de 1873. Qu'il soit de l'époque, ou actuel, l'outil vectoriel trompe : les symétries qu'il prédit pour le champ magnétique sont toutes fausses.

Le second pionnier notable fut Pierre Curie, qui a soutenu sa thèse en 1894 sur la symétrie des phénomènes physiques, symétrie d'un champ électrique et d'un champ magnétique (notamment piézoélectricité et magnétostriction dans les cristaux). Pierre Curie a confirmé avec force que décrire le champ magnétique par un vecteur est un non-sens, car contradictoire avec toutes les symétries. Malheureusement lui non plus n'avait pas sous la main l'outil mathématique adéquat. L'outil tensoriel existait pourtant, publié, mais il n'en a jamais eu connaissance, et est mort en 1906.

Il semble qu'il ait fallu attendre 1921, pour que soient enfin publiées, par Albert Einstein, les coordonnées complètes du champ magnétique comme tenseur antisymétrique du second ordre, dans le texte de la première conférence de Princeton.

Complément de définitions indispensables à la physique élémentaire,

il nous faut encore définir l'inverse d'un vecteur, par la relation scalaire LaTeX:  \vec v . \vec v ^{ -1} = 1 (où 1 est un vrai nombre, le nombre 1 sans unité physique ; donc LaTeX:  \vec v et LaTeX:  \vec v ^{ -1} sont de dimension physique inverse. Par exemple si LaTeX:  \vec v est du genre longueur, en mètres, alors LaTeX:  \vec v ^{ -1} est du genre gradient, en mètres-1). Autrement dit : LaTeX:  \vec v ^{ -1} = \frac{\vec v}{|v|^2}

Prenons l'exemple de la vitesse angulaire, dans le cas d'un mouvement circulaire uniforme. Soit un "point matériel" M en rotation uniforme autour d'un centre O, à la distance R (fixe) de ce centre de rotation O. Le plan de rotation est fixe.

L'opérateur "vitesse angulaire" (qui contient un opérateur "quart de tour") appliqué au rayon vecteur (de l'axe au point M), donne la vitesse périphérique : LaTeX:  \vec v = \omega . \vec R

Mvmt circ.gif [[2]]

Mouvement circulaire

On peut inverser cette relation : LaTeX:  \omega = \vec R^{-1} \wedge \vec v

On peut aisément vérifier avec les mains, que le sens de rotation de ω respecte rigoureusement et les lois de la physique, et votre sens kinesthésique. Dans le mouvement circulaire uniforme, quoique les vecteurs LaTeX:  \vec v et LaTeX: \vec R soient constamment variables, leur quotient ω est constant.

On le dessine aisément :

R-omega-V.gif [[3]]

Omega : connecteur entre R et V

On aura remarqué qu'à phénomène plan, représentation plane, dans le plan stable qui contient le point matériel.

Et cela s'étend à la relation entre la vitesse angulaire, la vitesse périphérique, et l'accélération centripète : Fichier:R-V-gamma.gif [[4]]

LaTeX: \omega : connecteur entre LaTeX: \vec R et LaTeX: \vec V, et entre LaTeX: \vec V et LaTeX: \vec \gamma (LaTeX: \vec \gamma : l'accélération centripète).

Première conclusion pratique, avant mathématisation plus savante : avec un tourneur et des vecteurs, tout peut se mimer avec les mains, tout peut se dessiner en géométrie plane dans un plan, c'est à dire sur la direction de plan propre au tourneur - ou tenseur antisymétrique de rang deux.

Le produit extérieur exprimé en coordonnées.

Prendre brut l'héritage du passé poserait problème : par le passé, les bases choisies étaient toutes tacitement très particulières, orthonormées ; de plus on s'interdisait les changements d'unités, et il ne restait plus qu'à s'occuper des coordonnées dans ce cas particulier. Or, plusieurs des convictions ainsi bien établies sont fausses. Par exemple l'antisymétrie des coordonnées n'est préservée en base quelconque que si ces coordonnées sont toutes contravariantes, ou toutes covariantes, mais pas si ces coordonnées sont mixtes. Pourquoi ? Parce que l'antisymétrisation ne peut porter que sur des indices de même nature : tous covariants, ou tous contravariants.

Or le grand apport de la représentation tensorielle est de rendre les expressions des lois physiques indépendantes de la base, de l'observateur et de son point de vue particulier.

Cas basique, deux vecteurs en coordonnées contravariantes

Dimension de l'espace : 2

Deux variantes

Ici écriture 'math', celle présente dans la Wikipedia. Ça a l'air d'être désormais rendu correctement, par Mimetex.

Dans l'espace vectoriel E, nous nous donnons une base de deux vecteurs : {LaTeX: \vec a, LaTeX: \vec b}, leurs modules respectifs a et b, leur angle γ. Nous exprimons son carré tensoriel symétrisé, ou tenseur métrique : LaTeX: \frac{\vec a \otimes \vec b + \vec b \otimes \vec a}  2 =  \begin{bmatrix} a^2 & a.b.cos \gamma \\ a.b.cos \gamma & b^2\end{bmatrix} = g_{ij}

Autrement dit, en un langage plus généralisable, nous réécrivons cette base comme {ei}, et son tenseur métrique s'écrit :

LaTeX: g_{ij} = \frac{e_i \otimes e_j + e_j \otimes e_i} 2 =  \begin{bmatrix} \vec e _1 . \vec e_1 & \vec e _1 . \vec e_2 \\ \vec e _2 . \vec e_1 & \vec e _2 . \vec e_2 \end{bmatrix}


Ici écriture TEX.

Dans l'espace vectoriel E, nous nous donnons une base de deux vecteurs : {LaTeX: \vec a, LaTeX: \vec b}, leurs modules respectifs a et b, leur angle γ. Nous exprimons son carré tensoriel symétrisé, ou tenseur métrique :

LaTeX: \frac{\vec a \otimes \vec b + \vec b \otimes \vec a}  2 =  \begin{bmatrix} a^2 & a.b.cos \gamma \\ a.b.cos \gamma & b^2\end{bmatrix} = g_{ij}


Autrement dit, en un langage plus généralisable, nous réécrivons cette base comme {ei}, et son tenseur métrique s'écrit :

LaTeX: g_{ij} = \frac{e_i \otimes e_j + e_j \otimes e_i} 2 =  \begin{bmatrix} \vec e _1 . \vec e_1 & \vec e _1 . \vec e_2 \\ \vec e _2 . \vec e_1 & \vec e _2 . \vec e_2 \end{bmatrix}

Ces indices en bas désignent une covariance : par tautologie, la base varie avec elle même.

Les indices en haut désigneront la contravariance : ce qui varie en sens inverse de la base. Par exemple, un prix étant une grandeur physique de la vie courante, et l'unité de compte monétaire étant la base, le nombre qui exprime ce prix en fonction de l'unité monétaire varie en sens contraire : 10 € = 65,5957 F.

Tel que nous l'avons exprimé, le tenseur métrique de cette base est deux fois covariant.

On peut définir le tenseur métrique réciproque, deux fois contravariant, comme le tenseur inverse par le produit biscalaire, ou bicontracté suivant :

LaTeX: g_{ij}.g^{ij} = 1

Soient alors deux vecteurs u et v , de coordonnées u1, u2, v1 et v2, sur la base {LaTeX: \vec a, `\vec b</tex>}.

Leur produit scalaire s'exprime par le tenseur métrique, avec convention d'Einstein par le produit bicontracté : LaTeX:  u.v = g_{ij}u^iv^j

Sur la base de E LaTeX: \otimesE, leur produit extérieur w a pour coordonnées :

LaTeX:   w^{ij} = u^i\wedge v^j = u^i \otimes v^j - v^i \otimes u^j = \begin{bmatrix}0 & (u^1v^2-v^1u^2) \\ (u^2v^1-v^2u^1)  & 0\end{bmatrix} = (u^1v^2-v^1u^2) \begin{bmatrix}0 & 1 \\ -1 & 0 \end{bmatrix}

En dimension 2, ce produit extérieur n'a qu'une seule coordonnée qui soit libre et non nulle, et ses coordonnées tensorielles complètes sont antisymétriques. Ici, elles ont été calculées deux fois contravariantes avec la base.

En dimension quelconque, tout produit extérieur de tout couple de vecteurs appartient à l'espace produit extérieur de chaque direction de droite de ces vecteurs. Il n'a qu'une seule coordonnée libre sur cette direction de plan propre, et il suffit d'un changement de repère pour faire apparaître cette composante libre seule, toutes les autres cooordonnées étant nulles. Pour tout problème, il existe toujours un repère tel qu'on retrouve notre cas basique en dimension 2.

Application : le rotationnel

Anticipant sur les formes différentielles, on définit l'opérateur rotationnel comme la dérivée covariante antisymétrisée, ou encore (en coordonnées cartésiennes) comme le produit extérieur de l'opérateur nabla sur un vecteur, exprimé en coordonnées covariantes (en effet, on ne peut antisymétriser que sur indices de même variance) :

LaTeX: rot \ \vec u = \nabla \wedge \vec u = \begin{bmatrix} 0 &\partial_x u_y  - \partial_y u_x \\ \partial_y u_x  - \partial_x u_y & 0 \end{bmatrix}

Ce que nous avons écrit là en dimension 2 se généralise à une dimension quelconque.

On convertit les coordonnées contravariantes en covariantes, par multiplication contractée avec le tenseur métrique réciproque : LaTeX: g_{ij}.u^i = u_j

Application en cinématique : le rotationnel du champ des vitesses en tout point d'un solide indéformable, est partout identique à la vitesse angulaire de ce solide en rotation. Il a toutes les propriétés algébriques et géométriques d'un tourneur. Que l'on traite un solide plan dans un espace de dimension 2, ou d'un cas général en dimension 3, n'a aucune importance.

L'opérateur rotationnel est utilisé dans le théorème de Stokes, qui se généralise ainsi : la somme d'une forme différentielle sur le bord d'une variété à bords, est égale à la somme de la différentielle de cette forme différentielle sur la totalité de cette variété à bords.


(à suivre...)

Dimension de l'espace supérieure à 2 : 3, 4, ... n...

(à suivre...)

Liens externes

Les tourneurs, approche élémentaire. http://jacques.lavau.deonto-ethique.eu/SYNTAXE2_.pdf

Lemmes pour l'algèbre des tourneurs. http://jacques.lavau.deonto-ethique.eu/syntaxe3.pdf . Contient un cours complet de métrique pour la cristallographie.