Discuter:Produit vectoriel

Un article de Wikipédia, l'encyclopédie libre.

	Produit vectoriel fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
Bon début	Cet article a été classé comme d'Avancement BD selon le Tableau d'évaluation du projet. (Voir les statistiques)
Élevée	Cet article a été classé comme d'Importance élevée selon le Tableau d'évaluation du projet.

Le produit "vectoriel" n'a été créé par aucun mathématicien, contrairement au produit scalaire, dont on sait l'auteur : Hermann Grassmann.

Il s'est mis à flotter incréé dans l'air du temps dans les années 1870-1880, par habituation à partir des quaternions de Hamilton. On rencontre les mots "vector product" dans un cours de W.K. Clifford, consacré aux quaternions : il s'agit du produit de deux quaternions réduits à leur partie imaginaire, sans partie réelle.

Comme je l'ai montré à l'adresse http://lavaujac.club.fr/SYNTAXE2_.htm#_Toc47951986 ou à http://lavaujac.club.fr/SYNTAXE2_.pdf, page 12, § 5.2., le produit vectoriel n'est pas associatif, alors que l'associativité est préservée en quaternions : (i x j) x j = - i (même résultat qu'en quaternions), mais i x (j x j) = 0.

Cette perte de l'associativité contredit directement l'intention sémantique initiale : Tout ça c'est tout des vecteurs, ils se valent tous. Et leur ordre m'importe peu, il me suffit de changer le signe du résultat, quand je permute le multiplicateur et le multiplicande'. La non-associativité prouve la contradiction interne.

L'origine du drame est que cette école d'algébristes anglais du 19e siècle

- ne s'occupait que des coordonnées, d'ailleurs confondues avec les composantes,

- acceptait simultanément deux cahiers des charges incompatibles :

- Le cahier des charges sémantique, qui ne pouvait conduire qu'aux algèbres linéaires, en particulier à l'algèbre tensorielle,

- Le cahier des charges algébrique, celui qui avait conduit des réels aux complexes, puis aux quaternions de Hamilton, puis aux octaves de Cayley : on peut additionner et multiplier entre eux tous les nombres. Or comme les grandeurs physiques sont confondues avec les nombres, etc...

- s'est fort peu préoccupée d'architecture générale des concepts. Alors que cette réflexion architecturale est indispensable à une mathématisation rationnelle de la physique. Là, on a beaucoup à apprendre du génie logiciel, où s'est développée une riche doctrine du développement par classes (dans leur jargon, ils disent "orienté objet", il faut traduire). Sans que les mathématiciens s'en soient aperçus, là s'est développé une mathématique féconde, et dont la fécondité serait avantageusement transplantée dans d'autres disciplines.

De plus, le produit "vectoriel" conduit à des erreurs de symétrie systématiques, et à de graves incohérences en analyse dimensionnelle - dans le style de l'histoire farfelue "Je suis mon propre grand-père...". Il est dramatique de voir les physiciens arrêter leurs analyses dimensionelles, comme frappés de stupeur, dès que le sujet devient géométrique : c'est cette bombe à retardement léguée par le 19e siècle, ce produit "vectoriel", qui a encore fait des siennes dans leur entendement.

La seule solution est l'algèbre tensorielle, une fois rétablie dans la plénitude d'une analyse dimensionnelle physique, donc dans une architecture générale des concepts de la physique, avec explicitation des niveaux d'abstraction successifs. Explicitation contractuelle : il n'existe de qualité qu'à ce prix.

Lavau

Sommaire

1 Et comment prouvez-vous ?
- 1.1 Et comment prouvez-vous que Gibbs connaissait l'Ausdehnungslehre, de Grassmann ?
2 vandalisme : vecteurs parallèles ou colinéaires
3 Utilité de ces définitions et commentaires
4 définition mathématique?
5 Notation japonaise
6 Pseudo-vecteur
7 "définition" en composantes
8 organisation des infos de cette page
9 Produit vectoriel à recycler
10 notation du produit vectoriel
11 Produits vectoriels en dimension plus grande

[modifier] Et comment prouvez-vous ?

[modifier] Et comment prouvez-vous que Gibbs connaissait l'Ausdehnungslehre, de Grassmann ?

Version actuelle

Le produit vectoriel est le résultat d'une multiplication vectorielle dans l'espace euclidien orienté de dimension trois. Cette notion a été théorisée dans les années 1880 par Josiah Willard Gibbs à partir des travaux de Hermann Günther Grassmann.

Fin de citation.

Et comment prouvez-vous que Gibbs connaissait l'Ausdehnungslehre, de Grassmann ? Hamilton lui-même ne la connut qu'à la fin de sa vie, vers 1852, mais ne s'est préoccupé de que faire des calembours sur son nom, et de vérifier s'il n'était pas antériorisé.

Avant d'écrire votre version de l'histoire des sciences, ça vous arrive de vérifier dans des documents originaux ? Les ragots ordinaires vous suffisent ?

Complètement contradictoire avec les travaux de Grassmann, la construction de Gibbs est parfaitement conforme en revanche à la restriction aux imaginaires purs, des quaternions de Hamilton. Grassmann est tout à fait innocent de ce produit vectoriel dont vous l'accusez de façon si calomnieuse.

Il n'y a pas trente historiens en France qui soient spécialistes de cette question, et qui aient publié. Je suis l'un d'entre eux. Mais je serai vaporisé de Wikipédia d'ici, peu, car mes compétences font de l'ombrage aux petits ayatollahs.

Lavau 5 jul 2004 à 16:30 (CEST)

Références historiques à : http://lavaujac.club.fr/Mystification_.htm qui est lui-même extrait du livre : "Le nombre, une hydre à n visages ; entre nombres complexes et vecteurs", Editions de la Maison des Sciences de l'Homme. Paris, décembre 1997.

[modifier] vandalisme : vecteurs parallèles ou colinéaires

Vu que cette ip n'a fait que des vandalismes, j'ai révoqué sa modif, mais je ne suis pas sûr de n'avoir pas fait une erreur. Quelqu'un pour con- ou in-firmer ? Merci d'avance Alvaro 21 novembre 2005 à 14:15 (CET)

Je répéte ma question, vu qu'une autre ip vient de remettre collinéaires... dans le doute, je ne reverte plus Alvaro 23 novembre 2005 à 14:26 (CET)

C'est effectivement correct, « parallèle » est la notion plutôt géométrique, alors que « colinéaire » est plus formelle (à mon sens), mais représente la même chose. ~ Seb35 [^_^] 8 juin 2006 à 01:01 (CEST)

Le préfixe co- indique quelque chose en commun ou partagé: collaborateur, colocataire, coaxial, copain, etc. Colinéaire veut dire qu'ils partagent la même ligne (droite je suppose). C'est donc beaucoup plus restrictif que parallèle. Dans le cas des vecteurs je crois que le terme est parallèle et non colinéaire. LP 5 août 2006 à 16:56 (CEST)

Non, c'est colinéaire le bon terme. R 5 août 2006 à 17:35 (CEST)

je me permets de détailler la réponse laconique -- et correcte -- de R. Il y a confusion parce qu'en physique on désigne parfois par "vecteur" des "vecteurs attachés", avec un point d'application. Mais en maths un vecteur admet plusieurs représentants. Deux vecteurs colinéaires sont deux vecteurs qui peuvent être représentés sur une même droite. Ce qui veut dire u et v sont colinéaires si et seulement si u est multiple de v par un réel ou v un multiple de u par un réelPeps 5 août 2006 à 18:08 (CEST)

Grand bien vous fasse. LP 7 août 2006 à 08:31 (CEST)

[modifier] Utilité de ces définitions et commentaires

Je suis toujours effaré par les définitions et commentaires donnés ici. A croire que les auteurs se font un plaisir d'expliquer un concept par d'autres plus compliqués encore ? qu'ils ecrivent pour montrer "qu'ils savent" en en rajoutant dans le jargon. Vous passez une thèse ou vous ecrivez un article afin de définir et faire comprendre une notion ? Et encore, si montrer que l'on sait, c'est manipuler des formalismes et un jargon - peut-être tout à fait juste - mais sans aucune valeur explicative, je veux bien.

Mais à mon sens, si on maitrise réellement un concept, on est capable d'en faire comprendre les origines, tenants et aboutissants. Si on ne maitrise pas la chose, on peut se contenter d'en manipuler les formalismes. C'est ce que je trouve ici.

A chaque fois que j'ai chercher à mieux appréhender un concept que je sais manipuler mais dont je ne maitrise pas bien le fond, ce n'est pas sur Wiki que j'ai trouvé. Je ne suis qu'un modeste parent d'élève, qui se permet d'expliquer simplement à ses enfants diverses notions de Lycée(en math, physique, chimie) quand ils reviennent en disant "on a commencé un nouveau chapitre et je n'ai rien compris". Sachant que les manuels scolaires ne sont d'aucun secours (!), je puise dans mes souvenir, ma réflexion et internet de quoi expliquer des choses qui devraient être simples, intéressantes, stimulantes (vecteurs, trigo, complexes, moles en chimie !...)

Messieurs les auteurs, un peu de modestie, ou plus de compétence, au choix.

[modifier] définition mathématique?

J'ai vu en cour une définition du produit vectoriel à partir du produit mixte d'un espace euclidien et du théorème de Riesz, je me demande si cette modification serait approprié vu le coté physique de la définition actuelle. Qu'en pensez-vous? La généralisation du produit vectorielle n'est pas trés éclairante pour étudier les propriétés de ce produit.

La définition générale du produit vectoriel à partir du produit mixte se trouve sur Produit mixte, c'est vrai que ça pourrait compléter l'article actuel, parallèlement à l'approche tensorielle (enfin, je ne connais pas encore trop tout ça). ~ Seb35 [^_^] 8 juin 2006 à 00:56 (CEST)

[modifier] Notation japonaise

Je ne sais pas quelles sont les références de Flo pour affirmer que la notation au Japon est $\scriptstyle{\vec A\_\vec B}$ . Il suffit de cliquer sur le lien 日本語 du même article dans le wikipedia en japonais (pas besoin de lire le japonais, car ils utilisent des caractères latins pour les formules). On constate que les wikipedians japonais actuels utilisent la même notation que les pais anglophones, hispanophones, etc.: $\scriptstyle{\vec A\times \vec B}$ . Est ce que Flo peut nous expliquer cela? LP 5 novembre 2006 à 13:51 (CET)

Je n'ai fait que TeXiser l'ajout de 82.232.75.122 ce matin à 0032. Je me suis dit que cette contribution était pertinente, et que peut-être les Japonais avaient deux notations en concurrence (comme par ici). Mais c'est vrai que si l'article japonais n'y fait pas référence, mieux vaut révoquer. Si ça continue, l'aricle deviendra un catalogue à notations. — Florian, le 5 novembre 2006 à 14:04 (CET)

[modifier] Pseudo-vecteur

L'article partait un peu dans toutes les directions, avec des approximations et des erreurs, plus des commentaires qui viennent d'être rajoutés et qui étaient un peu cryptiques quoique en général bien inspirés. Je viens de réaliser qu'il y a eu bataille ici jadis.

J'ai essayé de faire avec le matériau déjà présent même si je ne suis pas très chaud pour le travail en composantes tensorielles. La problématique du "pseudo-vecteur" doit être signalée en termes simples en début d'article, et re mentionnée (avec la question des symétries des équations de la physique) dans une phase de conclusion, qui ouvre sur la dualité de Hodge qui est le bon moyen de dénouer tous ces problèmes. Y'a-t-il des suggestions pour un remaniement plus en profondeur ? Peps 30 janvier 2007 à 14:16 (CET)

[modifier] "définition" en composantes

J'ai bien comrpis la démarche :

on définit produit vectoriel par des formules sur R^3
on utilise une identification par choix de BOND pour étendre à une eve de dim 3 orienté
on vérifie que ça ne dépend pas de l'identif, c'est à dire du choix de base.

Formellement c'est possible de procéder ainsi. Mais, tant qu'on emploie la déf précédente pour prouver le point 3, c'est assez bizarre de prétendre qu'il s'agit d'une définition autonome, non ?

Il est beaucoup plus raisonnable, et beaucoup plus clair d'y voir une application qu'une définition (quel bouquin prendra ça pour une déf d'ailleurs ?)

Ou alors variante moins affreuse : on prend une BOND, on pose les ei vect ej pour les vecteurs de base et on étend par bilinéarité. Il reste alors à signaler que ces formules fondamentales sont invariantes par changement de BOND. Mais on revient toujours au même point : qui justifie cette déf ? elle semble parfaitement arbitraire, en opposition complète aux autres (déf par la géom euclidienne, l'algèbre multilin, les gpes de Lie, et lien avec la déf historique par les quaternions qui en est un avatar). Peps 3 février 2007 à 18:29 (CET)

Je donne juste les équivalences entre les définitions. Une implication suffit du fait qu'il y a existence et unicité dans chaque cas !

La définition avec les coordonnées est utile en pratique pour les calculs explicites, et on peut la poser comme définition. Comme tu l'as mentionné, son inconvénient majeur est de faire dépendre en apparence du choix d'une bond. Mais dans R³ la question ne se pose pas !

D'un autre côté, tu as raison ; cette approche n'est pas la plus importante ! Mais je trouve seulement incohérent de créer un sous-sous-paragraphe unique. Cela rend l'article inhomogène.

Ekto - Plastor 3 février 2007 à 19:59 (CET)

[modifier] organisation des infos de cette page

En relisant la page j'avoue une réticence face au mode d'organisation choisi : d'abord plein de déf équivalentes, mais de niveau de difficulté fortement plus avancé que les déf "intuitive" et "correcte par le produit mixte". Du coup les "propriétés zélémentaires" arrivent bien tard.

Ne pourrait on en venir plus vite au fait, en mettant un ordre comme celui-ci

Définition
1. déf géométrique
2. déf par le produit mixte
3. notations (après la déf c'est plus logique)
Histoire
propriétés
applications
définitions alternatives

-> avec pour chacune extension (ou non) à la dimension > 3 et invariance par isométrie directe.

je précise que je ne parle que de l'organisation du plan, le contenu est tout à fait bien dans les "déf alternatives". Peps 20 février 2007 à 15:29 (CET)

Pour à 100%, mais il serait bien de voir que certaines définitions alternatives permettent de réinterpréter certaines propriétés élémentaires. Exemple : l'identité de Jacobi et l'invariance par isométries reflètent par exemple la définition du produit vectoriel obtenu comme transport de structure à partir de l'algèbre de Lie de SO(3). Ekto - Plastor 20 février 2007 à 18:46 (CET)

Pour également. Juste fais-le :) jd ❂ 3 mars 2007 à 19:22 (CET)

ben à l'heure présente je l'ai déjà

Peps 4 mars 2007 à 14:29 (CET)

Et c'est ça qui est très fort. jd ❂ 4 mars 2007 à 14:30 (CET)

[modifier] Produit vectoriel à recycler

La section sur la preuve par tenseur est marquée à recycler, qu'en est-il ? jd ❂ 4 mars 2007 à 14:31 (CET)

[modifier] notation du produit vectoriel

Je suis un peu étonnée de la notation $\wedge$ pour le produit vectoriel. Je l'ai appris avec la notation $\times$ , et il est utile de disposer de deux notations distinctes pour le produit vectoriel et le produit extérieur. En effet, si on prend deux formes linéaires $λ$ et $μ$ sur $\R^3$ , on peut définir leur produit extérieur $\lambda \wedge \mu$ par la formule classique

$(\lambda\wedge\mu)(x,y)=\lambda(x)\mu(y)-\lambda(y)\mu(x)$ ,

et on obtient comme ça une forme bilinéaire alternée. Associons à $λ$ le vecteur dont les composantes sont $λ(e j)$ , en prenant comme e_j lrs vecteurs d'une base orthonormale directe, et de même pour $μ$ . Associons au produit extérieur ses composantes sur la base formée de $e_2\wedge e_3, e_3\wedge e_1, e_1\wedge e_2$ :

$\lambda\wedge\mu=\omega_1 e_2\wedge e_3+\omega_2 e_3\wedge e_1+\omega_3 e_1\wedge e_2,$ .

On retrouve le produit vectoriel, et on peut écrire

$\begin{pmatrix}\omega_1\\ \omega_2\\ \omega_3\end{pmatrix} =\begin{pmatrix}\lambda_1\\ \lambda_2\\ \lambda_3 \end{pmatrix}\times \begin{pmatrix}\mu_1\\ \mu_2\\ \mu_3\end{pmatrix}.$

Il me semble que pour expliquer cela, on a besoin de deux notations différentes. Qu'en pensez-vous? --Sylvie Martin (d) 11 mars 2008 à 21:42 (CET)

Personnellement, je ne suis pas étonné de la notation wedge, puisque c'est celle qu'on m'a enseignée et que j'utilise. Par ailleurs, vu que le produit vectoriel définit précisément l'isomorphisme canonique entre l'espace euclidien de dimension 3 et sa deuxième puissance extérieure, la confusion des deux symboles n'est pas anodine ni dommageable. Maintenant, l'article lui-même rappelle que le symbole wedge est la notation française, suivant une convention différente de celle des pays anglo-saxons. En attendant qu'une instance française décide d'aligner la notation du produit vectoriel sur la notation produit, il nous faut respecter l'usage majoritaire des pays de langue française. Ambi graphe, le 12 mars 2008 à 22:14 (CET)

[modifier] Produits vectoriels en dimension plus grande

Il faudrait dire un mot en dimension 7...--Globu (d) 3 avril 2008 à 11:12 (CEST)