What is an imaginary number?

by Eckhard Hitzer

Department of Physical Engineering, University of Fukui, Japan

December 2004

The previous Japanese emperor is said to have asked this question. Today many students and scientists still ask it, but the traditional canon of mathematics at school and university needs to be widened for the answer. We find it in the works of Hamilton, Grassmann and Clifford. Hamilton introduced quaternions i,j,k, with

i2= j2= k2= ijk = - 1

and

ij = - ji = k,   jk = - kj = i,   ki = - ik = j

for 3D rotations. Grassmann invented the outer product of oriented line segments (vectors) a,b to give the directed oriented area of the enclosed parallelogram:

aΘb = - bΘa.

Clifford unified their work with the geometric product

ab = aEb + aΘb,

In two dimensions we have orthogonal, unit vectors e1,e2 as vector space basis with

e12= e22= 1,   e1Ee2 = 0.

The associative geometric multiplication of the oriented directed unit square

i = e1e2

gives:

ii = e1e2e1e2 = e1(e2e1)e2 = e1(e2Ee1+e2Θe1)e2 =

= e1(0- e1Θe2)e2 = - e1e1e2e2 = - 1.

NB: We only used

e2Ee1 = e1Ee2 = 0   and   e2e1 = e2Θe1 = - e1Θe2 = - e1e2.

So the square of the oriented unit area i is - 1. Enough to satisfy the emperorfs curiosity!

But todayfs politicians ask for an application. As an answer we calculate:

i e1 = e1e2e1 = - e1e1e2 = - e2

and

i e2 = e1e2e2 = e1,

which is a clockwise 90rotation. We can also calculate (NB: the order!)

e1i = e1e1e2 = e1

and

e2i = e2e1e2 = - e1e2e2 = - e1,

which is an anticlockwise (mathematically positiv) 90rotation. For a general rotation in two dimensions, we simply add trigonometric coefficients:

a ( cos(alpha) + i sin(alpha) )

rotates the real vector a by alpha degrees. Now even a politician can rotate vectors without using (or even knowing) matrices.

Of what use may the geometric product be for some new advanced technology venture business? As an application to laser beam optics let us imagine a laser beam with direction vector a hitting a mirror surface element approximated with unit normal vector n (n2=1). We can write a in components parallel and perpendicular to n:

a = a|| + aΫ.

Now

a||Θn = 0,

because parallel vectors span no parallelogram, and

aΫEn = 0,

because of perpendicularity. So we must have

a||n = a||En + 0 = nEa|| + 0 = na||

and

aΫn = 0 + aΫΘn = 0 - nΘaΫ = - naΫ.

Reflection only changes the sign of a||. Therefore

af = - a||+aΫ = - nn(a|| - aΫ)= - n(na||- naΫ) =

= - n(a||n+aΫn)= - n(a||+aΫ)n = - nan

is the reflected vector. In a cavity we may want to trace many reflections at a sequence of surface elements with normal vectors n1, n2, ... ns which simply results in

af=(- 1)s ns ... n2n1an1n2 ... ns.

Nanoscience is a modern buzz word. On this scale mechanics meets quantum mechanics. Geometric algebra provides complete tools for both. From elementary geometry we know that two reflections at planes with normal vectors n,m enclosing the angle theta/2 result in a rotation by angle theta:

af= mn a nm.

The general rotation operator (rotor) is

R = nm = nEm + nΘm = cos(theta/2) + i sin(theta/2) = exp(i theta/2)

with unit area element i in the n,m rotation plane. Two rotations are given by the geometric product of two rotors RRf. A second thetaf= 360= 2pi rotation poduces

RRf = R exp(2pi i /2) = R exp(pi i) = R (cos(pi)+i sin(pi))= R(- 1+i0)= - R.

The rotor R itself behaves therefore like the first known quantum particle, i.e. the electron described by a Pauli spinor

y= rho1/2 R.

Geometric algebra answers fundamental questions, which the traditional canon of mathematics taught at schools and universities canft. It further provides great methodological simplifications and geometric insight in applications to physics, molecular geometry, image processing, computer graphics, robotics, quantum computing, etc. Geometric algebra is an excellent candidate to restructure mathematical syllabi on all (from school to post graduate) levels. I propose therefore to establish a research institute, dedicated to further develop geometric calculus (with geometric algebra as mathematical grammar) as a general tool for teaching, research and application.

# Website bibliography

Geometric Calculus - Research & Development

Cambridge University Geometric Algebra Research Group

Geometric Calculus in Fukui (Japan)

Geometric Calculus International

EMS Hitzer is not responsible for the content of external internet sites.