[Clause de non-responsabilité: je ne fournis pas d'argument où la distinction serait utile . Je propose un argument selon lequel les pseudovecteurs et les vecteurs décrivent des concepts géométriques intrinsèquement différents, et ne devraient, pour clarifier l'argument, ne jamais être confondus simplement parce qu'ils se ressemblent tellement]
Le fait est que les pseudovecteurs, de par leur nature même, ne sont pas les mêmes objets que les vecteurs:
Un vecteur , tel que communément compris en physique, est un élément de l'espace vectoriel $ \ mathbb {R} ^ n $ couvert par la base standard $ e_i $. Il pointe dans une direction , et est géométriquement connecté à une ligne , c'est-à-dire un sous-espace unidimensionnel de $ \ mathbb {R} ^ n $.
Un pseudovecteur , comme presque personne ne vous le dira jamais explicitement, est un élément du sous-haut degré de l ' algèbre extérieure $ \ Lambda ^ {n-1 } \ mathbb {R} ^ n $, l'espace couvert par $ e_ {i_1} \ wedge \ dots \ wedge e_ {i_ {n-1}} $. Ceci ne pointe pas directement dans une direction, mais est géométriquement l'hyperplan $ n-1 $ -dimensionnel couvert par les vecteurs $ e_ {i_1}, \ dots, e_ {i_ {n-1}} $, et peut alors être interprété comme pointant dans la direction perpendiculaire à cet hyperplan. Formellement, cette traduction d'hyperplans en vecteurs normaux est le Hodge dual mapping $ \ Lambda ^ k \ mathbb {R} ^ n $ en $ \ Lambda ^ {nk} \ mathbb {R} ^ n $ .
Et là vous voyez pourquoi les pseudovecteurs sont géométriquement différents des vecteurs sous réflexion: Dans $ \ mathbb {R} ^ 3 $, c'est-à-dire notre monde ordinaire, les plans sont enjambés par deux vecteurs - si les deux changent de signe, le pseudovecteur décrit par eux ne le sera pas (puisque le coin $ \ wedge $ est linéaire et anticommutatif).
Une importance de ces considérations est lorsque vous souhaitez passer de $ \ mathbb {R} ^ 3 $ à des dimensions supérieures. Vous perdez le produit croisé (qui n'est en réalité que la concaténation du coin et du Hodge), et vos anciens pseudovecteurs ne sont plus du tout des vecteurs au sens ordinaire du terme , puisque $ \ Lambda ^ 2 \ mathbb {R} ^ n $ ("l'espace des plans") ne correspond pas à des vecteurs normaux uniques par le double de Hodge dans des dimensions qui ne sont pas trois. Maintenant, vous devez vraiment distinguer vos anciens pseudovecteurs et vecteurs, car ils ont maintenant un nombre différent d'entrées de coordonnées indépendantes.