Nombre dual

En mathématiques et en algèbre abstraite, les nombres duaux sont une algèbre associative unitaire commutative à deux dimensions sur les nombres réels, apparaissant à partir des réels par adjonction d'un nouvel élément ε avec la propriété ε² = 0 (ε est un élément nilpotent). Ils ont été introduits par William Clifford en 1873.

Ils sont notamment utiles pour fournir un outil de dérivation automatique. Ils ont également des applications en physique.

Définition

Tout nombre dual s'écrit de façon unique sous la forme z = a + bε avec a et b réels. Le plan de tous les nombres duaux est un « plan complexe alternatif » qui complète le plan complexe ordinaire $\mathbb {C}$ et le plan des nombres complexes déployés. Le « cercle unité » des nombres duaux est constitué des nombres de la forme z = a + bε avec a = ±1 puisque ceux-ci satisfont z z* = 1 où z* = a – bε.

Cependant, exp(bε) = 1 + bε, donc l'image de l'axe des ε par l'application exponentielle est seulement la moitié du « cercle ».

Généralisation

Représentation polynomiale

Cette construction peut être étendue plus généralement : pour un anneau commutatif R, on peut définir les nombres duaux sur R comme le quotient de l'anneau de polynômes R[X] par l'idéal (X²) : l'image de X est alors de carré nul et correspond à l'élément ε ci-dessus. Cet anneau et ses généralisations jouent un rôle important dans la théorie algébrique des dérivations et des différentielles de Kähler (formes différentielles purement algébriques).

Propriétés algébriques

Avec cette description, il est clair que les nombres duaux sur R forment une R-algèbre associative et commutative de dimension 2, donc un anneau commutatif de même caractéristique que R (c'est-à-dire de caractéristique 0 dans le cas usuel où R est le corps des réels).

Le nombre dual z = a + bε est une unité (c'est-à-dire un élément inversible) si et seulement si a est une unité dans R. Dans ce cas, l'inverse de z est z*/a². Par conséquent, les nombres duaux sur un corps commutatif quelconque (ou même un anneau local commutatif) forment un anneau local.

L'anneau R[ε] n'est pas un corps (puisque les éléments de la forme 0 + bε ne sont pas inversibles), ni même un anneau intègre (puisque tous les éléments de cette forme sont des diviseurs de zéro).

Représentation matricielle

Comme dans le cas des nombres complexes, on peut facilement représenter les nombres duaux sur R par des matrices. Le nombre dual z = a + bε peut être représenté par la matrice ${\begin{pmatrix}a&b\\0&a\end{pmatrix}}$ , l'unité réelle 1 par ${\begin{pmatrix}1&0\\0&1\end{pmatrix}}$ et l'« unité complexe » ε par ${\begin{pmatrix}0&1\\0&0\end{pmatrix}}$ .

L'addition et la multiplication des nombres duaux sont alors données par l'addition et la multiplication matricielle. Le produit de z par son « conjugué » z* := a – bε est égal au déterminant a² de la matrice correspondante.

Différentiation

Une application des nombres duaux est la dérivation automatique. Considérons les nombres duaux ci-dessus. Étant donné un polynôme réel quelconque $P(X)=p_{0}+p_{1}X+p_{2}X^{2}+\ldots +p_{n}X^{n}$ , on peut étendre directement le domaine de ce polynôme des réels vers les nombres duaux. Ainsi, nous avons ce résultat : $P(a+b\varepsilon )=P(a)+bP'(a)\varepsilon$ , où $P'$ est la dérivée de $P$ . En calculant sur les nombres duaux, plutôt que sur les réels, nous pouvons utiliser ceci pour calculer les dérivées des polynômes. Plus généralement, nous pouvons définir la division sur les nombres duaux et ainsi, avoir accès à la définition des fonctions transcendantes des nombres duaux, en définissant

f(a+b\varepsilon )=f(a)+bf'(a)\varepsilon

.

En calculant les compositions de ces fonctions sur les nombres duaux et en examinant les coefficients de $\varepsilon$ dans le résultat, nous voyons que nous avons automatiquement calculé la dérivée de la composition.

Applications en physique

Les nombres duaux trouvent des applications en physique, où ils constituent un des plus simples exemples non triviaux d'un superespace (en). La direction le long de ε s'appelle la direction « fermionique », et le composant réel est appelé la direction « bosonique ». La direction fermionique a gagné son nom à partir du fait que les fermions obéissent au principe d'exclusion de Pauli : avec un échange de coordonnées, la fonction d'onde de mécanique quantique change de signe, et ainsi disparaît si deux coordonnées sont mises ensemble ; cette idée physique est contenue dans la relation algébrique ε² = 0.

Applications en cinématique

Les nombres duaux trouvent des applications en mécanique, plus précisément en cinématique, en permettant de combiner des rotations et des translations. Par exemple, les nombres duaux permettent de transformer les équations d'entrée/sortie d'un mécanisme sphérique à quatre barres, qui ne comportent que des liaisons rotoïdes, en un mécanisme spatial à quatre barres (rotoïde, rotoïde, rotoïde, cylindrique). Les angles dualisés deviennent ainsi des assemblages d'une partie primitive, les angles, et d'une partie duale, qui possède des unités de longueur^[1].

Voir aussi

Articles connexes

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Dual number » (voir la liste des auteurs).

↑ (en) Jorge Angeles, « The Application of Dual Algebra to Kinematic Analysis », dans Computational Methods in Mechanical Systems: Mechanism Analysis, Synthesis, and Optimization, Springer Berlin Heidelberg, coll. « NATO ASI Series », 1998 (ISBN 9783662037294, DOI 10.1007/978-3-662-03729-4_1, lire en ligne), p. 3–32

Portail des mathématiques

[1] (en) Jorge Angeles, « The Application of Dual Algebra to Kinematic Analysis », dans Computational Methods in Mechanical Systems: Mechanism Analysis, Synthesis, and Optimization, Springer Berlin Heidelberg, coll. « NATO ASI Series », 1998 (ISBN 9783662037294, DOI 10.1007/978-3-662-03729-4_1, lire en ligne), p. 3–32

[1]

v · m Notion de nombre
Ensembles usuels	Entier naturel ( $\scriptstyle \mathbb {N}$ ) Entier relatif ( $\scriptstyle \mathbb {Z}$ ) Nombre décimal ( $\scriptstyle \mathbb {D}$ ) Nombre rationnel ( $\scriptstyle \mathbb {Q}$ ) Nombre réel ( $\scriptstyle \mathbb {R}$ ) Nombre complexe ( $\scriptstyle \mathbb {C}$ )
Extensions	Quaternion ( $\scriptstyle \mathbb {H}$ ) Octonion ( $\scriptstyle \mathbb {O}$ ) Sédénion ( $\scriptstyle \mathbb {S}$ ) Nombre complexe déployé Tessarine Nombre bicomplexe ( $\scriptstyle \mathbb {C} _{2}$ ) Nombre multicomplexe ( $\scriptstyle \mathbb {C} _{n}$ $\scriptstyle {\mathcal {M}}\mathbb {C} _{n}$ ) Biquaternion Coquaternion Quaternion hyperbolique Octonion déployé Nombre hypercomplexe Nombre p-adique ( $\scriptstyle \mathbb {Q} _{p}$ ) Nombre hyperréel Nombre superréel Nombre dual Droite réelle achevée Nombre cardinal Nombre ordinal Nombre surréel Nombre pseudo-réel
Propriétés particulières	Parité Nombre premier Nombre composé Nombre figuré Nombre parfait Nombre positif Nombre négatif Fraction dyadique Nombre irrationnel Nombre algébrique Nombre transcendant Nombre imaginaire pur Nombre de Liouville Période Nombre normal Nombre univers Nombre constructible Nombre réel calculable Nombre transfini Infiniment petit
Exemples	Pi ( $π$ ) Racine carrée de deux ( $\scriptstyle {\sqrt {2}}$ ) Nombre d’or (φ) Zéro (0) Unité imaginaire ( $i$ ) Constante de Neper ( $e$ ) Aleph-zéro (ℵ₀) Table de constantes mathématiques
Articles liés	Chiffre Numération Fraction Opération Calcul Algèbre Arithmétique Suite d'entiers Infini ( $\infty$ ) Chiffre significatif