 Dual number

For dual grammatical number found in some languages, see Dual (grammatical number).
In linear algebra, the dual numbers extend the real numbers by adjoining one new element ε with the property ε^{2} = 0 (ε is nilpotent). The collection of dual numbers forms a particular twodimensional commutative unital associative algebra over the real numbers. Every dual number has the form z = a + bε with a and b uniquely determined real numbers. The plane of all dual numbers is an "alternative complex plane" that complements the ordinary complex number plane C and the plane of splitcomplex numbers.
Contents
Linear representation
Using matrices, dual numbers can be represented as
 .
The sum and product of dual numbers are then calculated with ordinary matrix addition and matrix multiplication; both operations are commutative and associative.
This procedure is analogous to matrix representation of complex numbers. Furthermore, the concept of the dual number is necessary when reading a matrix.
Geometry
The "unit circle" of dual numbers consists of those with a = 1 or −1 since these satisfy z z * = 1 where z * = a − bε. However, note that
 ,
so the exponential function applied to the εaxis covers only half the "circle".
If a ≠ 0 and m = b /a , then z = a(1 + m ε) is the polar decomposition of the dual number z, and the slope m is its angular part. The concept of a rotation in the dual number plane is equivalent to a vertical shear mapping since (1 + p ε)(1 + q ε) = 1 + (p+q) ε.
The dual number plane is used to represent the naive spacetime of Galileo in a study called Galilean invariance since the classical event transformation with velocity v looks like:
 , that is .
Cycles
Given two dual numbers p, and q, they determine the set of z such that the Galilean angle between the lines from z to p and q is constant. This set is a cycle in the dual number plane; since the equation setting the difference in slopes of the lines to a constant is a quadratic equation in the real part of z, a cycle is a parabola. In the Inversive ring geometry of dual numbers one encounters "cyclic rotation" as a projectivity on the projective line over dual numbers. According to Yaglom (pp. 92,3), the cycle Z = {z : y = α x^{2}} is invariant under the composition of the shear
 with the translation
 .
This composition is a cyclic rotation; the concept has been further developed by V. V. Kisil.
Algebraic properties
In abstract algebra terms, the dual numbers can be described as the quotient of the polynomial ring R[X] by the ideal generated by the polynomial X^{2},
 R[X]/<X^{2}>.
The image of X in the quotient is the "imaginary" unit ε. With this description, it is clear that the dual numbers form a commutative ring with characteristic 0. Moreover the inherited multiplication gives the dual numbers the structure of a commutative and associative algebra over the reals of dimension two. The algebra is not a division algebra or field since the imaginary elements are not invertible. In fact, all of the nonzero imaginary elements are zero divisors (also see the section "Division"). The algebra of dual numbers is isomorphic to the exterior algebra of .
Generalization
This construction can be carried out more generally: for a commutative ring R one can define the dual numbers over R as the quotient of the polynomial ring R[X] by the ideal (X^{2}): the image of X then has square equal to zero and corresponds to the element ε from above.
This ring and its generalisations play an important part in the algebraic theory of derivations and Kähler differentials (purely algebraic differential forms).
Over any ring R, the dual number a + bε is a unit (i.e. multiplicatively invertible) if and only if a is a unit in R. In this case, the inverse of a + bε is a^{−1} − ba^{−2}ε. As a consequence, we see that the dual numbers over any field (or any commutative local ring) form a local ring, its maximal ideal being the principal ideal generated by ε.
Differentiation
One application of dual numbers is automatic differentiation. Consider the real dual numbers above. Given any real polynomial P(x) = p_{0}+p_{1}x+p_{2}x^{2}+...+p_{n}x^{n}, it is straightforward to extend the domain of this polynomial from the reals to the dual numbers. Then we have this result:
 where is the derivative of P.
By computing over the dual numbers, rather than over the reals, we can use this to compute derivatives of polynomials. More generally we may define division of dual numbers and then go on to define transcendental functions of dual numbers by defining f(a+bε) = f(a)+bf ′(a)ε. By computing compositions of these functions over the dual numbers and examining the coefficient of ε in the result we find we have automatically computed the derivative of the composition.
This effect can be explained from the nonstandard analysis viewpoint. The imaginary unit ε of dual numbers is a close relative to infinitesimal used in nonstandard calculus: indeed the square (or any higher power) of ε is exactly zero and the square of an infinitesimal is almost zero at this infinitesimal's scale (is an infinitesimal of a higher order more precisely).
Superspace
Dual numbers find applications in physics, where they constitute one of the simplest nontrivial examples of a superspace. The direction along ε is termed the "fermionic" direction, and the real component is termed the "bosonic" direction. The fermionic direction earns this name from the fact that fermions obey the Pauli exclusion principle: under the exchange of coordinates, the quantum mechanical wave function changes sign, and thus vanishes if two coordinates are brought together; this physical idea is captured by the algebraic relation ε^{2} = 0.
Division
Division of dual numbers is defined when the real part of the denominator is nonzero. The division process is analogous to complex division in that the denominator is multiplied by its conjugate in order to cancel the nonreal parts.
Therefore, to divide an equation of the form:
We multiply the top and bottom by the conjugate of the denominator:
Which is defined when c is nonzero.
If, on the other hand, c is zero while d is not, then the equation a + bε = (x + yε)dε = xdε + 0
 has no solution if a is nonzero
 is otherwise solved by any dual number of the form
 .
This means that the nonreal part of the "quotient" is arbitrary and division is therefore not defined for purely nonreal dual numbers. Indeed, they are (trivially) zero divisors and clearly form an ideal of the associative algebra (and thus ring) of the dual numbers.
See also
References
 Eduard Study (1903) Geometrie der Dynamen, page 196, from Cornell Historical Mathematical Monographs.
 Josef Grunwald (1906) "Über duale Zahlen und ihre Anwendung in der Geometrie", Monatshefte fur Mathematik17, 81–136.
 Isaak Yaglom (1968) Complex Numbers in Geometry
 V.V. Kisil (2007) "Inventing a Wheel, the Parabolic One" arXiv:0707.4024
 William Kingdon Clifford (1873) Preliminary Sketch of Biquaternions, Proceedings of the London Mathematical Society 4:381–95
 Bencivenga, Uldrico (1946) "Sulla rappresentazione geometrica della algebra doppie dotate di modulo", Atti della real accademia della scienze e bellelettre di Napoli, Ser (3) v.2 No7. See MR0021123.
 E.Pennestr, R.Stefanelli. Linear Algebra and Numerical Algorithms Using Dual Numbers
Number systems Countable sets Real numbers and
their extensionsOther number systems Infinitesimals History Adequality · Infinitesimal calculus · Leibniz's notation · Integral sign · Criticism of nonstandard analysis · The Analyst · The Method of Mechanical Theorems · Cavalieri's principleRelated branches of mathematics Formalizations of infinitesimal quantities Individual concepts Standard part function · Transfer principle · Hyperinteger · Increment theorem · Monad · Internal set · LeviCivita field · Hyperfinite set · Law of Continuity · OverspillScientists Infinitesimals in physics and engineering Textbooks Analyse des Infiniment Petits · Elementary CalculusCategories:
Wikimedia Foundation. 2010.
Look at other dictionaries:
dual number — n. a grammatical number category referring to exactly two persons or things: distinguished by inflection, in such languages as classical Greek and Old English, from singular and plural * * * … Universalium
dual number — n. a grammatical number category referring to exactly two persons or things: distinguished by inflection, in such languages as classical Greek and Old English, from singular and plural … English World dictionary
dual number — number having two integers … English contemporary dictionary
Dual (grammatical number) — Dual (abbreviated du) is a grammatical number that some languages use in addition to singular and plural. When a noun or pronoun appears in dual form, it is interpreted as referring to precisely two of the entities (objects or persons) identified … Wikipedia
dual — [do͞o′əl, dyo͞o′əl] adj. [L dualis < duo, TWO] 1. of two 2. having or composed of two parts or kinds, like or unlike; double; twofold [a dual nature] n. Linguis. 1. DUAL NUMBER 2. a word having d … English World dictionary
Dual — Du al, a. [L. dualis, fr. duo two. See {Two}.] Expressing, or consisting of, the number two; belonging to two; as, the dual number of nouns, etc., in Greek. [1913 Webster] Here you have one half of our dual truth. Tyndall. [1913 Webster] … The Collaborative International Dictionary of English
number — or [num′bər] n. [ME nombre < OE < L numerus: see NOMY] 1. a symbol or word, or a group of either of these, showing how many or which one in a series: 1, 2, 10, 101 (one, two, ten, one hundred and one) are called cardinal numbers; 1st, 2d,… … English World dictionary
Dual quaternion — The set of dual quaternions is an algebra that can be used to represent spatial rigid body displacements.[1] A dual quaternion is an ordered pair of quaternions Â = (A, B) and therefore is constructed from eight real parameters. Because rigid… … Wikipedia
dual — dually, adv. /dooh euhl, dyooh /, adj. 1. of, pertaining to, or noting two. 2. composed or consisting of two people, items, parts, etc., together; twofold; double: dual ownership; dual controls on a plane. 3. having a twofold, or double,… … Universalium
dual — /ˈdjuəl / (say dyoohuhl) adjective 1. of or relating to two. 2. composed or consisting of two parts; twofold; double: dual ownership; dual controls on a plane. 3. Grammar (in some languages) designating a number category which implies two persons … Australian English dictionary