What is an imaginary number?
by Eckhard Hitzer
Department of Physical Engineering, University of Fukui, Japan
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
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 = aEb + aΘb,
leading to geometric algebras.
In two dimensions we have orthogonal, unit vectors e1,e2 as vector space basis with
e12= e22= 1, e1Ee2 = 0.
The associative geometric multiplication of the oriented directed unit square
i = e1e2
ii = e1e2e1e2 = e1(e2e1)e2 = e1(e2Ee1+e2Θe1)e2 =
= e1(0- e1Θe2)e2 = - e1e1e2e2 = - 1.
NB: We only used
e2Ee1 = e1Ee2 = 0 and e2e1 = e2Θe1 = - e1Θe2 = - e1e2.
So the square of the oriented unit area i is - 1. Enough to satisfy the emperorfs curiosity!
But todayfs politicians ask for an application. As an answer we calculate:
i e1 = e1e2e1 = - e1e1e2 = - e2
i e2 = e1e2e2 = e1,
which is a clockwise 90rotation. We can also calculate (NB: the order!)
e1i = e1e1e2 = e1
e2i = e2e1e2 = - e1e2e2 = - e1,
which is an anticlockwise (mathematically positiv) 90rotation. 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Ϋ.
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 = nEa|| + 0 = na||
aΫn = 0 + aΫΘn = 0 - nΘaΫ = - naΫ.
Reflection only changes the sign of a||. Therefore
af = - 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
af=(- 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:
af= mn a nm.
The general rotation operator (rotor) is
R = nm = nEm + 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 RRf. A second thetaf= 360= 2pi rotation poduces
RRf = 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 canft. 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.
Geometric Calculus - Research & Development
Cambridge University Geometric Algebra Research Group
Geometric Calculus in Fukui (Japan)
Geometric Calculus International