Champ équiprojectif

Dans un espace affine euclidien $E$ , un champ de vecteurs $({\overrightarrow {V_{P}}})_{P\in E}$ est équiprojectif^[1] si :

\forall P\in E,\forall Q\in E,({\overrightarrow {V_{P}}}|{\overrightarrow {PQ}})=({\overrightarrow {V_{Q}}}|{\overrightarrow {PQ}})

où $(\cdot |\cdot )$ désigne le produit scalaire.

Il existe alors un endomorphisme antisymétrique $u$ tel que :

\forall P\in E,\forall Q\in E,{\overrightarrow {V_{Q}}}={\overrightarrow {V_{P}}}+u({\overrightarrow {PQ)}}

.

Cette notion est utilisée en physique, voir Équiprojectivité en physique.

Démonstration de l'existence de l'endomorphisme[modifier | modifier le code]

Antisymétrie[modifier | modifier le code]

Soit $O$ un point arbitraire de $E$ . Pour tout vecteur ${\overrightarrow {x}}$ , il existe un unique point $P$ tel que ${\overrightarrow {x}}={\overrightarrow {OP}}$ et on définit $u$ par $u({\overrightarrow {x}})={\overrightarrow {V_{P}}}-{\overrightarrow {V_{O}}}$ .

Montrons que, pour tous vecteurs ${\overrightarrow {x}}={\overrightarrow {OP}}$ et ${\overrightarrow {y}}={\overrightarrow {OQ}}$ , on a :

(u({\overrightarrow {x}})|{\overrightarrow {y}})=-({\overrightarrow {x}}|u({\overrightarrow {y}}))

ce qui prouve l'antisymétrie de $u$ ^[2].

On a en effet :

(u({\overrightarrow {x}})|{\overrightarrow {y}})=({\overrightarrow {V_{P}}}-{\overrightarrow {V_{O}}}|{\overrightarrow {OQ}})=({\overrightarrow {V_{P}}}|{\overrightarrow {OQ}})-({\overrightarrow {V_{O}}}|{\overrightarrow {OQ}})

=({\overrightarrow {V_{P}}}|{\overrightarrow {OQ}})-({\overrightarrow {V_{Q}}}|{\overrightarrow {OQ}})

en utilisant l'équiprojectivité du champ

V

=({\overrightarrow {V_{P}}}|{\overrightarrow {OP}}+{\overrightarrow {PQ}})-({\overrightarrow {V_{Q}}}|{\overrightarrow {OQ}})

=({\overrightarrow {V_{P}}}|{\overrightarrow {OP}})+({\overrightarrow {V_{P}}}|{\overrightarrow {PQ}})-({\overrightarrow {V_{Q}}}|{\overrightarrow {OQ}})

=({\overrightarrow {V_{P}}}|{\overrightarrow {OP}})+({\overrightarrow {V_{Q}}}|{\overrightarrow {PQ}})-({\overrightarrow {V_{Q}}}|{\overrightarrow {OQ}})

en utilisant de nouveau l'équiprojectivité.

Si on échange les rôles de ${\overrightarrow {x}}$ et ${\overrightarrow {y}}$ , on obtiendra :

({\overrightarrow {x}}|u({\overrightarrow {y}}))=(u({\overrightarrow {y}})|{\overrightarrow {x}})=({\overrightarrow {V_{Q}}}|{\overrightarrow {OQ}})+({\overrightarrow {V_{P}}}|{\overrightarrow {QP}})-({\overrightarrow {V_{P}}}|{\overrightarrow {OP}})

On obtient bien :

(u({\overrightarrow {x}})|{\overrightarrow {y}})=-({\overrightarrow {x}}|u({\overrightarrow {y}}))

Linéarité[modifier | modifier le code]

On déduit de l'antisymétrie que $u$ est linéaire. En effet, pour tout ${\overrightarrow {x}}$ , ${\overrightarrow {y}}$ , $\lambda$ , on a :

\left(u\left(\lambda {\overrightarrow {x}}\right)|{\overrightarrow {y}}\right)=-(\lambda {\overrightarrow {x}}|u({\overrightarrow {y}}))=-\lambda ({\overrightarrow {x}}|u({\overrightarrow {y}}))=\lambda (u({\overrightarrow {x}})|{\overrightarrow {y}})=(\lambda u({\overrightarrow {x}})|{\overrightarrow {y}})

Cette égalité étant vraie pour tout ${\overrightarrow {y}}$ , on en déduit que :

u\left(\lambda {\overrightarrow {x}}\right)=\lambda u\left({\overrightarrow {x}}\right)

On procède de même pour montrer que :

u({\overrightarrow {x}}+{\overrightarrow {x'}})=u({\overrightarrow {x}})+u({\overrightarrow {x'}})

Cas de la dimension 3, torseur[modifier | modifier le code]

Article détaillé : Torseur.

Dans une base orthonormée directe, $u$ , étant un endomorphisme antisymétrique, possède une matrice antisymétrique^[1]

{\begin{pmatrix}0&-c&b\\c&0&-a\\-b&a&0\\\end{pmatrix}}

Si on nomme ${\overrightarrow {\Omega }}$ le vecteur de composantes ${\begin{pmatrix}a\\b\\c\end{pmatrix}}$ , alors la matrice précédente est celle de l'application ${\overrightarrow {x}}\mapsto {\overrightarrow {\Omega }}\wedge {\overrightarrow {x}}$ .

On a donc $\forall {\overrightarrow {x}},u({\overrightarrow {x}})={\overrightarrow {\Omega }}\wedge {\overrightarrow {x}}$ et donc

{\overrightarrow {V_{Q}}}={\overrightarrow {V_{P}}}+{\overrightarrow {\Omega }}\wedge {\overrightarrow {PQ}}

$({\overrightarrow {V_{P}}})_{P\in E}$ est le champ des moments d'un torseur de résultante ${\overrightarrow {\Omega }}$ .

Exemple[modifier | modifier le code]

L'exemple typique de champ équiprojectif en dimension 3 est le champ des vitesses d'un solide en mouvement. En effet, si $P$ et $Q$ sont deux points du solide, et si on note $d$ la distance entre $P$ et $Q$ , on a :

\|{\overrightarrow {PQ}}\|^{2}=d^{2}=\left({\overrightarrow {PQ}}|{\overrightarrow {PQ}}\right)

et en dérivant par rapport au temps :

\left({\overrightarrow {V_{Q}}}-{\overrightarrow {V_{P}}}|{\overrightarrow {PQ}}\right)=0

où ${\overrightarrow {V}}$ désigne la vitesse en un point.

Le champ des vitesses est donc un torseur. Le vecteur ${\overrightarrow {\Omega }}$ s'appelle vecteur instantané de rotation.

Notes et références[modifier | modifier le code]

↑ ^{a et b} « Champ de vecteurs - Champ de vecteurs équiprojectif », sur jdotec.net (consulté le 1^er octobre 2010)
↑ « Cinématique du solide » [PDF], sur melusine.eu.org (consulté le 1^er octobre 2010)

Voir aussi[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

E. Ramis, C. Deschamps et J. Odoux, Algèbre et applications à la géométrie, Paris/New York/Barcelone/1987, Masson, coll. « Cours de mathématiques spéciales » (n^o 2), 1987, 297 p. (ISBN 2-225-63404-1), chap. 8 (« Les torseurs »), p. 276-294

Articles connexes[modifier | modifier le code]

[Champ_de_vecteurs_équiprojectif.www.jdotec-1] {a et b} « Champ de vecteurs - Champ de vecteurs équiprojectif », sur jdotec.net (consulté le 1^er octobre 2010)

[2] « Cinématique du solide » [PDF], sur melusine.eu.org (consulté le 1^er octobre 2010)

[1]

[2]