logo back up home forward   further reading more topics »

Maths - Dual Numbers

Prerequisites

If you are not familiar with this subject you may like to look at the following pages first:

Description

Again dual numbers are similar to the form for complex numbers above except that:

w2 = 0

Algebras which have this property are known as grassmann Algebras, in Clifford Algebra terms, this is the outer or exterior product. Vector cross products also have the same property.

It may seem strange that the square root of a non-zero quantity is zero, although it makes some kind of sense, because the square of a very small quantity is a very, very small quantity. However this is a multidimensional value where multiplying various components may produce different components, for example in Clifford Algebra multiplying one vector by another produces a scalar (So the vector component of this product will be zero). Another example is the vector cross product which produces zero when a vector is multiplied with itself.

In this case we will denote w with the symbol 'ε'

As with the other algebras here, addition is defined by adding corresponding terms and the flavor of the algebra comes from the multiplication rules. If we denote the two dimensions by 1 and e then a '1' term is given by multiplying the same types together, a 'ε' term is given by multiplying different terms. There are no sign changes. So we can define the algebra by the following table:

a*b b.1 b.ε
a.1 1 ε
a.ε ε 0

Inverse of dual multiplication

dividing a by b gives:

a.1 + ε a.ε (a.1 + ε a.ε) (b.1 - ε b.ε)
a.1 * b.1
(a.ε * b.1) - (a.1 * b.ε)
-------------- = --------------- * -------------- =
------------ +
ε ----------------------------
b.1 + ε b.ε (b.1 + ε b.ε) (b.1 - ε b.ε)
b.12
b.12

so if b.ε = 0 then we don't need to use this method and we just divide by scalar.

otherwise the real part is: (a.1 * b.1)/b.12

and the dual part is: (a.ε * b.1 - a.1 * b.ε)/b.12

so the inverse is:

(b.1 - ε b.ε)/b.12

Modeling with Pauli Matrix

The number a + b ε

can be represented by:

a b
0 a

Applications

Dual numbers can represent the relationship of two lines in 3 dimensions. This is explained further here.

skew lines

The relationship between the lines is represented by the dual number:

theta + d ε

where:

if theta=0 then the lines are parallel

if d=0 then the lines intersect

Further Reading


metadata block
see also:

 

Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.

cover us uk de jp fr ca Quaternions and Rotation Sequences.

 

Commercial Software Shop

Where I can, I have put links to Amazon for commercial software, not directly related to the software project, but related to the subject being discussed, click on the appropriate country flag to get more details of the software or to buy it from them.

cover us uk de SuSE Linux 11.0. Operating system with a wide range of applications including Open Office. A good distribution for developers as it contains KDevelop. Java, Mono, etc. Can install itself as a dual-boot system with an existing Windows OS if required. For information about installing it see this page.

Can you help?

Please send me any improvements to here. I would appreciate ideas to make the pages more useful including error correction, ideas for new pages, improvements to wording. It helps if you quote the full URL of the page.

 

Terminology and Notation

Specific to this page here:

 

program

I am working on a project which uses these principles, if you would like to help me with this you are welcome to join in, here:

http://sourceforge.net/projects/mjbworld/

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2008 Martin John Baker - All rights reserved - privacy policy.