<< ώρπ. 7(βώεψν 13)―ΈΡ≈–ΤάΆ»≈ >>

12. MATRIX REPRESENTATION AND HYPERBOLIC NUMBERS

All the associative algebras with neutral elements for the addition and product
can be represented with matrices. The representations can have different dimensions,
but the most interesting is the minimal representation which is an isomorphism.

Rotations and the representation of complex numbers

We have seen that a rotation of a vector v over an angle Έ± is written in geometric
algebra as:

v' = v ( cos Έ± + e12 sin Έ± )

Separating the components:

v1' = v1 cos Έ± βà’ v2 sin Έ±

v2' = v1 sin Έ± + v2 cos Έ±

and writing them in matrix form, we have:

οΘ« cos Έ± sinΈ± οΘΕ
(v1' v 2' ) = (v1 v2 ) οΘ¬ οΘ·
οΘ¬ βà’ sinΈ± cos Έ± οΘ·
οΘ≠ οΘΗ

Identifying this equation with the first one:

οΘ« cos Έ± sinΈ± οΘΕ
cos Έ± + e12 sinΈ± = οΘ¬ οΘ·
οΘ¬ βà’ sinΈ± cos Έ± οΘ·
οΘ≠ οΘΗ

we obtain the matrix representation for the complex numbers:

οΘ«1 0οΘΕ οΘ« 0 1οΘΕ οΘ« a bοΘΕ
1= οΘ¬ e12 = οΘ¬ z = a + b e12 = οΘ¬
οΘ¬0 1οΘ· οΘ¬ βà’ 1 0οΘ· οΘ¬βà’ b aοΘ·
οΘ· οΘ· οΘ·
οΘ≠ οΘΗ οΘ≠ οΘΗ οΘ≠ οΘΗ

Now we wish to obtain also the matrix representation for vectors. Note that the
matrix form of the rotation of a vector gives us the first row of the vector representation,
which may be completed with a suitable second row:
140 RAMON GONZALEZ CALVET

v 2 οΘΕ οΘ« cos Έ± sinΈ± οΘΕ
οΘ« v1' v 2' οΘΕ οΘ« v1
οΘ¬ οΘ·=οΘ¬ οΘ·οΘ¬ οΘ·
βà’ v1 οΘ· οΘ¬ βà’ sinΈ± cos Έ± οΘ·
οΘ¬v ' βà’ v1' οΘ· οΘ¬ v 2 οΘΗοΘ≠ οΘΗ
οΘ≠2 οΘΗοΘ≠

from where we arrive to the matrix representation for vectors:

οΘ«v v2 οΘΕ
οΘ«1 0 οΘΕ οΘ«0 1οΘΕ
v = v1 e1 + v 2 e 2 = οΘ¬ 1
e1 = οΘ¬ e2 = οΘ¬ οΘ·
οΘ¬ 0 βà’ 1οΘ· οΘ¬1 0οΘ·
οΘ· οΘ· οΘ¬v βà’ v1 οΘ·
οΘ≠ οΘΗ οΘ≠ οΘΗ οΘ≠2 οΘΗ

These four matrices are a basis of the real matrix space M2Ο—2(R) and therefore the
geometric algebra of the vectorial plane V2 is isomorphic to this matrix space:

Cl (V 2 ) βâΓ Cl 2,0 = M 2Ο—2 (R )

The moduli of a complex number and a vector are related with the determinant of the
matrix:

οΘ«v v2 οΘΕ
οΘ« a bοΘΕ
2 2 2 2
= v1 + v 2 = βà’ det οΘ¬ 1
= a 2 + b 2 = det οΘ¬ οΘ·
οΘ¬βà’ b aοΘ·
z v
οΘ· οΘ¬v βà’ v1 οΘ·
οΘ≠ οΘΗ οΘ≠2 οΘΗ

Let us think about a heterogeneous element being a sum of a complex and a
vector. Its geometric meaning is unknown for us but we can write it with a matrix:

οΘ« a + v1 b + v2 οΘΕ
z + v = a + b e12 + v1 e1 + v 2 e 2 = οΘ¬ οΘ·
οΘ¬βà’ b + v a βà’ v1 οΘ·
οΘ≠ οΘΗ
2

The determinant of this matrix

det (z + v ) = a 2 + b 2 βà’ v1 βà’ v 2
2 2

reminds us the Pythagorean theorem in a pseudo Euclidean plane.

The subalgebra of the hyperbolic numbers

In the matrix representation of the geometric algebra, we can see that the
diagonal matrices are a subalgebra:

οΘ«a + b 0οΘΕ
a + b e1 = οΘ¬ οΘ·
οΘ¬0 a βà’ bοΘ·
οΘ≠ οΘΗ

The product of elements of this kind is commutative (and also associative). Because of
this, we may talk about ¬«numbers¬»:

( a + b e1 ) ( c + d e1 ) = a c + b d + ( a d + b c ) e1
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 141

Using the Hamilton's notation of pairs of real numbers, we write:

( a, b ) ( c, d ) = ( a c + b d , a d + b c )

From the determinant we may define their pseudo Euclidean modulus οΘ¦zοΘ¦:

det (a + b e1 ) = a 2 βà’ b 2 = a + b e1
2

The numbers having constant modulus lie on a hyperbola. Because of this, they are
called hyperbolic numbers. Due to the fact that e1 cannot be a privileged direction on the
plane, any other set of elements having the form:

a+ku

with a and k real, and u being a fixed unitary vector, is also a set of hyperbolic numbers.
By defining the conjugate of a hyperbolic number as that number with the
opposite vector component:

( a + b e1 )* = a βà’ b e1

we see that the square of the modulus of a hyperbolic number is equal to the product of
this number by its conjugate:

οΘ¦zοΘ¦2 = z z*

Hence the inverse of a hyperbolic number follows:

z*
z βà’1 = 2
z

Since the modulus is the square root of the determinant, and the determinant of a matrix
product is equal to the product of determinants, it follows that the modulus of a product
of hyperbolic numbers is equal to the product of moduli:

zt = z t

The elements (1 + e1 ) / 2 and (1 βà’ e1 ) / 2 , which are idempotents, and their multiples have
a null modulus and no inverse. They form two ideals, that is, the product of any
hyperbolic number by a multiple of an idempotent (or any other multiple) yields also a
multiple of the idempotent.

Hyperbolic trigonometry

Let us consider the locus of the points (hyperbolic numbers) located at a constant
distance r from the origin (hyperbolic numbers with constant determinant equal to r2),
which lie on the hyperbola x2 βà’ y2 = r2 (figure 12.1). I shall call r the hyperbolic radius
142 RAMON GONZALEZ CALVET

following the analogy with the circle. The extreme of the radius is a point on the
hyperbola with coordinates (x, y). The arc between the positive X half axis and this point
(x, y) has an oriented length s. On the other hand, the radius, the hyperbola and the X-axis
delimit a sector with an oriented area A. The hyperbolic angle (or argument) œà is defined
as the quotient of the arc length divided by the radius1:

s Figure 12.1
œà=
r

It follows from this definition that
the oriented area A is2:

œà r2 2A
œà=
A= β΅’
r2
2

The hyperbolic sine, cosine and
tangent are defined as the
following quotients:

y
sinh œà =
r
x y
coshœà = tghœà =
r x

These definitions yield the three fundamental identities of the hyperbolic trigonometry:

sinh œà 1
tghœà βâΓ cosh 2 œà βà’ sinh 2œà βâΓ 1 1 βà’ tgh 2 œà βâΓ
coshœà cosh 2 œà

Now we search an explicit expression of the hyperbolic functions in terms of elemental
functions such as polynomials, exponential, logarithm, etc. The differential of the arc
length (being real) is related with the differentials of the coordinates by the pseudo
Pythagorean theorem:

οΘ« d (sinh œà ) οΘΕ οΘ« d (coshœà ) οΘΕ
2 2

ds 2 = dy 2 βà’ dx 2 β΅’ 1= οΘ¬ οΘ· βà’οΘ¬ οΘ·
οΘ¬ dœà οΘ· οΘ¬ οΘ·
dœà
οΘ≠ οΘΗ οΘ≠ οΘΗ

That is, we have the following system with one differential equation:

1
Note that x2 βà’ y2 = r2 > 0 while s2 < 0. However I overcome this trouble taking in these
definitions r and s and also the area A as real numbers but being oriented, that is, with sign.
2
The formula of the sector area is obtained by an analogous argument from Archimedes: the
total area is the addition of areas of the infinitesimal triangles with altitude equal to r and base
equal to ds . r being constant, the area of the hyperbola sector is A = r s / 2 . Obviously the
radius is orthogonal to each infinitesimal piece of arc of the hyperbola. This question and the
concept and calculus of areas are studied with more detail in the following chapter.
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 143

οΘ± 1 = cosh 2 œà βà’ sinh 2œà
οΘ≤
οΘ≥1 = (sinh' œà ) βà’ (cosh 'œà )
2 2

whose solution, according to the initial conditions given by the geometric definition
(sinh 0 = 0 and cosh 0 = 1), is:

expœà βà’ exp(βà’ œà ) expœà + exp(βà’ œà )
sinh œà = coshœà =
2 2

Hyperbolic exponential and logarithm

Within the hyperbolic numbers one can define and study functions and develop a
hyperbolic analysis, with the aid of matrix functions. In the matrix algebra, the
exponential function of a matrix A is defined as:

βàû
An
exp( A) = βà‘
n =0 n!

The matrices which represent the hyperbolic numbers (e1 direction) are diagonal. Then
their exponential matrix has the exponential of each element in the diagonal:

οΘΕ οΘ« exp( x + y )
οΘ«x + y οΘΕ
0 0
exp( x + y e1 ) = expοΘ¬ οΘ·=οΘ¬ οΘ·
οΘ¬0 yοΘ· οΘ¬ exp( x βà’ y )οΘ·
xβà’ 0
οΘ≠ οΘΗοΘ≠ οΘΗ

By extracting the common factor and introducing the hyperbolic functions we arrive at:

οΘ« cosh y + sinh y οΘΕ
0
exp( x + y e1 ) = exp( x ) οΘ¬ οΘ·
οΘ¬ cosh y βà’ sinh y οΘ·
0
οΘ≠ οΘΗ

which is the analogous of the Euler's identity:

exp( x + y e1 ) = exp( x )(cosh y + e1 sinh y )

From this exponential identity, we can find the logarithm function:

οΘ«x+ yοΘΕ
log( x 2 βà’ y 2 ) + e1 arg tghοΘ¬ οΘ· = log( x 2 βà’ y 2 ) + 1 logοΘ¬
e
οΘ« yοΘΕ 1
1
log( x + y e1 ) = οΘ·
οΘ¬xβà’ yοΘ·
2 οΘ≠xοΘΗ 2 2 οΘ≠ οΘΗ

for βÄ“x < y < x . This condition is the set of hyperbolic numbers with positive
determinant, which is called a sector3. The two ideals generated by the idempotents
(1 + e1 ) / 2 and (1 βà’ e1 ) / 2 separate two sectors of hyperbolic numbers, one with

3
According to the relativity theory, the region of the space-time accessible to our knowledge
must fulfil the inequality c2 t2 βà’ x2 βâΞ 0, being x the space coordinate, t the time and c the light
celerity.
144 RAMON GONZALEZ CALVET

positive determinant and real modulus and another with negative determinant and
imaginary modulus.
The characteristic property of the exponential function is:

exp( z + t ) = exp( z ) exp( t )

z, t being hyperbolic numbers. Taking exponentials with unity determinant:

exp((œà + œ΅ ) e1 ) βâΓ exp(œà e1 ) exp(œ΅ e1 )

and splitting the real and vectorial parts, we obtain the addition identities:

cosh(œà + œ΅ ) βâΓ coshœà cosh œ΅ + sinh œà sinh œ΅

sinh (œà + œ΅ ) βâΓ sinh œà cosh œ΅ + coshœà sinh œ΅

Also through the equality:

exp(nœà e1 ) βâΓ ( exp(œà e1 ) )
n

the analogous of MoivreβÄ™s identity is found:

cosh(nœà ) + e1 sinh (nœà ) βâΓ (coshœà + e1 sinh œà )
n

For example, for n = 3 it becomes:

cosh 3œà = cosh 3 œà + 3 coshœà sinh 2 œà

sinh 3œà = 3 cosh 2 œà sinhœà + sinh 3 œà

Polar form, powers and roots of hyperbolic numbers

The exponential allows us to write any hyperbolic number in polar form. For
example:

13 3
arg z = arg tgh = log
z = 13 + 5 e1 z = 13 2 βà’ 5 2 = 12
5 2

οΘ« 3 οΘΕοΘΕ
οΘ« 3οΘΕ οΘ« 3οΘΕ οΘ«
z = 12 expοΘ¬ e1 log οΘ· = 12 οΘ¬ coshοΘ¬ log οΘ· + e1 sinh οΘ¬ log οΘ· οΘ· = 12 3
2οΘΗ 2οΘΗ 2 οΘΗοΘΗ
οΘ≠ οΘ≠ οΘ≠
οΘ≠ log
2

The product of hyperbolic numbers, like that of complex numbers, is found by the
multiplication of the moduli and the addition of the arguments, while the division is
obtained as the quotient of moduli and difference of arguments. The division is not
possible when the denominator is a multiple of an idempotent (modulus zero).
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 145

The power of a hyperbolic number has modulus equal to the power of the
modulus, and argument the addition of arguments. Here the periodicity is absent, and
distinct arguments always correspond to distinct numbers. The roots must be viewed
with more detail. For example, there are four square roots of 13 + 12 e1:

13 + 12 e1 = (3 + 2 e1 ) = (2 + 3 e1 ) = (βà’ 3 βà’ 2 e1 ) = (βà’ 2 βà’ 3 e1 )
2 2 2 2

that is, the equation of second degree z2 βà’13 βà’12 e1 = 0 has four solutions. Recently G.
Casanova4 has proved that n2 is the maximum number of hyperbolic solutions
(including real values) of an algebraic equation of nth degree. In the case of the equation
of second degree we can use the classical formula whenever we know to solve the
square roots. For example, let us consider the equation:

z 2 βà’ 5 z + 5 + e1 = 0

whose solutions, according to the second degree formula, are:

5 ¬± 25 βà’ 4 β΄… 1 β΄… (5 + e1 ) 5 ¬± 5 βà’ 4 e1
z= =
2 β΄…1 2

Now, we must calculate all the square roots of the number 5 βà’ 4 e1 . In order to find
them we obtain its modulus and argument:

βà’4
arg( 5 βà’ 4 e1 ) = arg tgh
5 βà’ 4 e1 = 5 2 βà’ (βà’ 4 ) = 3
2
= βà’ log 3
5

The square root has half argument and the square root of the modulus:

[( )]
) (
5 βà’ 4 e1 = 3 βà’ log 3 = 3 cosh βà’ log 3 + e1 sinh βà’ log 3 = 2 βà’ e1
2

There are four square roots of this number:

2 βà’ e1 , βà’ 2 + e1 , 1 βà’ 2 e1 , βà’ 1 + 2 e1

and so four solutions of the initial equation:

5 + 2 βà’ e1 7 βà’ e1 5 βà’ 2 + e1 3 + e1
z1 = = z2 = =
2 2 2 2
5 + 1 βà’ 2 e1 5 βà’ 1 + 2 e1
z3 = = 3 βà’ e1 z4 = = 2 + e1
2 2

Let us study the second degree equation with real coefficients using the matrix
representation:

4
Gaston Casanova, Advances in Applied Clifford Algebras 9, 2 (1999) 215-219.
146 RAMON GONZALEZ CALVET

a z2 + b z + c = 0 a, b and c real and z = x + e1 y

Dividing the second degree equation by a we obtain the equivalent equation:

b c
z2 + z+ =0
a a

which is fulfilled by the number z, but also by its matrix representation. So, according to
the Hamilton-Cayley theorem, it is the characteristic polynomial of the matrix of z,
whose eigenvalues are the elements on the diagonal x + y, x βà’ y (whenever they are
distinct, that is, z is not real). Since b is the opposite of the sum of eigenvalues, and c is
their product, we have:

z 2 βà’ 2x z + x 2 βà’ y 2 = 0

which gives the equalities:

b2 βà’ 4 a c
b c
x=βà’ = x2 βà’ y2 β΅’ y=2

4 a2
2a a

and the solutions:

βà’ b ¬± e1 b 2 βà’ 4 a c
z=
2a

The two real solutions must be added to these values, obtaining the four expected.
Anyway, the equation has only solutions if the discriminant is positive. Let us see an
example:

z2 + 3 z + 2 = 0

βà’ 3 +e1 βà’ 3 βà’ e1
βà’ 3+1 βà’ 3βà’1
z1 = = βà’1 z2 = = βà’2 z3 = z4 =
2 2 2 2

On the other hand, we may calculate for instance the cubic root of 14βà’13 e1. The
modulus and argument of this number are:

οΘ« 13 οΘΕ
arg (14 βà’ 13 e1 ) = arg tghοΘ¬ βà’ οΘ· = βà’ log 27
14 βà’ 13 e1 = 14 2 βà’ 13 2 = 27
οΘ≠ 14 οΘΗ

From where it follows that the unique cubic root is:

14 βà’ 13 e1 = 3 βà’ log = 3 βà’ log = 2 βà’ e1
3 27
3
3

In order to study with more generality the number of roots, let us consider again
the matrix representation of a hyperbolic number:
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 147

οΘ«a + b 0οΘΕ
a + b e1 = οΘ¬ οΘ·
οΘ¬0 a βà’ bοΘ·
οΘ≠ οΘΗ

Now, it is obvious that there is only a unique root with odd index, which always exists
for every hyperbolic number:

οΘ«n a + b οΘΕ
0
a + b e1 = οΘ¬ οΘ· n odd
n
οΘ¬0 a βà’bοΘ·
n
οΘ≠ οΘΗ

On the other hand, if a + b > 0 and a βà’ b > 0 (first half-sector) there are four roots with
even index, one on each half-sector (I follow the anticlockwise order as usually):

n even

οΘ«n a + b οΘΕ οΘ«n a + b οΘΕ nd
0 0
οΘ¬ οΘ· οΘ¬ οΘ· βàà2 half-sector
st
βàà1 half-sector
οΘ¬0 a βà’bοΘ· οΘ¬0 βà’ a βà’bοΘ·
n n
οΘ≠ οΘΗ οΘ≠ οΘΗ

οΘ«βà’ n a + b οΘΕ rd οΘ«βà’ n a + b οΘΕ th
0 0
οΘ¬ οΘ· βàà3 half-sector οΘ¬ οΘ· βàà4 half-sector
οΘ¬ βà’ a βà’bοΘ· οΘ¬ a βà’bοΘ·
n n
0 0
οΘ≠ οΘΗ οΘ≠ οΘΗ

If the number belongs to a half-sector different from the first, some of the elements on
the diagonal is negative and there is not any even root. This shows a panorama of the
hyperbolic algebra far from that of the complex numbers.

Hyperbolic analytic functions

Which conditions must fulfil a hyperbolic function f(z) of a hyperbolic variable z
to be analytic? We wish that the derivative be well defined:

f (z + βàÜz ) βà’ f (z )
f' (z ) = lim
βàÜz
βàÜz βÜ’ 0

that is, this limit must be independent of the direction of βàÜz. If f(z) = a + b e1 and the
variable z = x + y e1 , then the derivative calculated in the direction βàÜz = βàÜx is:

βà‚a βà‚b
f' (z ) = + e1
βà‚x βà‚x

while the derivative calculated in the direction βàÜz = e1 βàÜy becomes:

βà‚a βà‚b
f' (z ) = e1 +
βà‚y βà‚y
148 RAMON GONZALEZ CALVET

Both expressions must be equal, which results in the conditions of hyperbolic
analyticity:

βà‚a βà‚b βà‚a βà‚b
= =
and
βà‚x βà‚y βà‚y βà‚x

Note that the exponential and logarithm fulfil these conditions and therefore they are
hyperbolic analytic functions. More exactly, the exponential is analytic in all the plane
while the logarithm is analytic for the sector of hyperbolic numbers with positive
determinant.
By derivation of both identities one finds that the analytic functions satisfy the
hyperbolic partial differential equation (also called wave equation):

βà‚ 2a βà‚ 2a βà‚ 2b βà‚ 2b
βà’ = βà’ =0
βà‚x 2 βà‚y 2 βà‚x 2 βà‚y 2

Now, we must state the main integral theorem for hyperbolic analytic functions:
if a hyperbolic function is analytic in a certain domain on the hyperbolic plane, then its
integral following a closed way C within this domain is zero. If the hyperbolic function
is f (z ) = a + b e1 then the integral is:

βà« f (z ) dz = βà« (a + be )(dx + dy e ) = βà« (a dx + b dy ) + e βà« (a dy + b dx )
1 1 1
C C C C

Since C is a closed path, we may apply the Green theorem to write:

οΘ« βà‚b βà‚a οΘΕ οΘ« βà‚a βà‚b οΘΕ
= βà«βà« οΘ¬ βà’ οΘ· dx βà§ dy + e1 βà«βà« οΘ¬
οΘ¬ βà‚x βà’ βà‚y οΘ· dx βà§ dy = 0
οΘ¬ βà‚x βà‚y οΘ· οΘ·
DοΘ≠ οΘΗ DοΘ≠ οΘΗ

where D is the region bounded by the closed way C. Since f(z) fulfils the analyticity
conditions everywhere within D, the integral vanishes.
From here other theorems follow like for the complex analysis, e. g.: if f(z) is a
hyperbolic analytic function in a domain D simply connected and z1 and z2 are two
points on D then the definite integral:

βà« f (z ) dz
z1

z2

between these points has a unique value independently of the integration path.
Let us see an example. Consider the function f(z) = 1 / ( z βà’ 1 ). The function is
only defined if the inverse of z βà’ 1 exists, which implies οΘ¦z βà’ 1οΘ¦βâ†0. Of course, this
function is not analytic at z = 1, but neither for the points:

οΘ¦z βà’ 1οΘ¦2 = 0 β΅” ( x βà’ 1)2 βà’ y2 = 0 β΅” ( x + y βà’ 1) ( x βà’ y βà’ 1) = 0

The lines x + y = 1 and x βà’ y = 1 break the analyticity domain into two sectors. Let us
calculate the integral:
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 149

( 5, 3 )
dz
βà« z βà’1
( 5 , βà’3 )

through two different trajectories within a sector. The first one is a straight path given
by the parametric equation z = 5 + t e1 (figure 12.2):

(4 βà’ t e1 ) dt
( 5, 3 ) 3 3
dz dt
βà«βà’3) z βà’ 1 βà’3 4 + t e1 βà’3 16 βà’ t 2 e1
=βà« e1 = βà«
( 5,

Ought to symmetry the integral of the odd
function is zero:

3
3
4+t οΘΙ
οΘ®e
4 dt
=βà« e1 = οΘ· 1 log = e1 log 7
4 βà’ t οΘΚ βà’3
16 βà’ t 2
2
οΘ° οΘ»
βà’3

The second path (figure 12.2) is the hyperbola
going from the point (5, βà’3) to (5, 3): Figure 12.2

(z * βà’1) dz (z * βà’1) dz
( 5, 3 ) ( 5, 3 ) ( 5, 3 )
dz
βà« z βà’ 1 (5,βà’3) (z βà’ 1) (z * βà’1) (5,βà’3) det (z ) βà’ 2 Re (z ) + 1
=βà« =βà«
( 5, βà’3)

Introducing the parametric equation of this path, z = 4 ( cosh t + e1 sinh t) we have:

(4 cosh t βà’ 4e1 sinh t βà’ 1) (4sinht + 4 e1 sinh t ) e1 (4 βà’ cosh t ) βà’ 4 sinh t
log 2 log 2

βà« βà«2
= dt = 4 dt
16 βà’ 8 cosh t + 1 17 βà’ 8 cosh t
βà’ log 2 βà’ log

Due to symmetry, the integral of the hyperbolic sine (an odd function) divided by the
denominator (an even function) is zero. Then we split the integral in two integrals and
find its value:

βà’ 8 exp(t ) + 2 οΘΙ
log 2
log 2 log 2
dt e1 οΘ®
15 dt
= e1 βà« + e1 βà« = οΘ·log + e1 log 2 = e1 log 7
βà’ 8 exp(t ) + 32 οΘΚ βà’ log 2
2 βà’ log 2 17 βà’ 8 cosh t 2 2οΘ° οΘ»
βà’ log 2

Now we see that the integral following both paths gives the same result, as indicated by
the theorem. In fact, the analytical functions can be integrated directly by using the
indefinite integral:

( 5, 3 )

( )
( 5, 3 )
οΘ®1 οΘ« y οΘΕοΘΙ
dz
= [ log(z βà’ 1) ] ( 5, βà’3) = οΘ· log ( x βà’ 1) βà’ y 2 + e1 arg tghοΘ¬
βà«βà’3) z βà’ 1
( 5, 3 ) 2
οΘ·οΘΚ
οΘ≠ x βà’ 1 οΘΗοΘ» ( 5, βà’3)
2
οΘ°
( 5,

( 5, 3 )
οΘ®e x βà’1+ y οΘΙ
= οΘ· 1 log = e1 log 7
οΘΚ
x βà’ 1 βà’ y οΘ» ( 5, βà’3)
2
οΘ°
150 RAMON GONZALEZ CALVET

Analyticity and square of convergence of the power series

A matrix function f(A) can be developed as a Taylor series of powers of the
matrix A:

οΘ«x + y οΘΕ
0
βàû
f ( A) = βà‘ a n A n A = x + y e1 = οΘ¬ οΘ·
οΘ¬0 yοΘ·
xβà’
οΘ≠ οΘΗ
n =0

The series is convergent when all the eigenvalues of the matrix A are located within the
radius r of convergence of the complex series:

βàû

βà‘a zn < βàû for |z|<r
n
n =0

which leads us to the following conditions:

|xβà’y|<r
|x+y|<r and

Therefore, the region of convergence of a Taylor series of hyperbolic variable is a
square centred at the origin of coordinates with vertices (r, 0)-(0, r)-(βà’r, 0)-(0, βà’r). Note
that from both conditions we obtain:

det ( x + y e1 ) = x 2 βà’ y 2 < r 2 .

which is a condition similar to that for complex numbers, that is, the modulus must be
lower than the radius of convergence. However this condition is not enough to ensure
the convergence of the series. Let us see, for example, the function f(z) = 1/(1 βà’ z):

βàû
1
f (z ) = = βà‘ zn
1 βà’ z n =0

The radius of convergence of the complex series is r = 1, so that the square of the
convergence of the hyperbolic series is (1, 0)-(0, 1)-(βà’1,0)-(0,βà’1). Otherwise, we have
formerly seen that 1/(z βà’1) (and hence f(z) ) is not analytic at the lines x + y βà’1 = 0 and x
βà’ y βà’ 1= 0 belonging to the boundary of the square of convergence. Now we find a
phenomenon which also happens within the complex numbers: at some point on the
boundary of the region of convergence of the Taylor series, the function is not analytic.
Another example is the RiemannβÄ™s function:

βàû βàû
1
ΈΕ (z ) = βà‘ z = βà‘ e βà’ z log n
n =1 n n =1

Now, we take z instead of real being a hyperbolic number:

βàû
ΈΕ ( x + y e1 ) = βà‘ e βà’ x log n (cosh( y log n ) βà’ e1 sinh( y log n ))
n =1
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 151

οΘ« n y + n βà’ y n y βà’ n βà’ y οΘΕ βàû οΘ« βà’ x + y 1 βà’ e1 1 + e1 οΘΕ
βàû
= βà‘n οΘ¬ e1 οΘ· = βà‘ οΘ¬ n
βà’x
+ n βà’xβà’ y
βà’ οΘ·
οΘ¬ οΘ·
2 2 2 2οΘΗ
οΘΗ n =1 οΘ≠
οΘ≠
n =1

The series is convergent only if βà’x +y < βà’1 and βà’x βà’y < βà’1 or:

1βà’x<y<xβà’1

which is the positive half-sector beginning at (x, y) = (1, 0). You can see that it is an
analytic function within this domain. We can rewrite the RiemannβÄ™s function in the
form:
1 + e1 1 βà’ e1
ΈΕ ( x + y e1 ) = ΈΕ (x + y ) + ΈΕ (x βà’ y )
2 2

and then define the RiemannβÄ™s zeta function extended to the other sector taking into
account the complex analytic continuation when needed for ΈΕ(x + y) or ΈΕ(x βà’ y):

βàû
t z βà’1
œÄz
2 1
ΈΕ (1 βà’ z ) = ΈΕ (z ) Έ“(z ) cos and ΈΕ (z ) = 0 < Re(z ) < 1
Έ“(z ) βà« e t βà’ 1
dt
(2 œÄ ) z
2 0

Now a very interesting theorem arises: every analytic function f(z) can be always
written in the following form:

1 + e1 1 βà’ e1
f ( x + y e1 ) = f (x + y ) + f (x βà’ y )
2 2

Let us prove this statement calculating the partial derivatives of each part a and b of the
analytic function:

βà‚a 1 οΘ® df ( x + y ) df ( x βà’ y )οΘΙ βà‚b 1 οΘ® df ( x + y ) df ( x βà’ y )οΘΙ
= + = βà’
βà‚x 2 οΘ· d ( x + y ) d (x βà’ y ) οΘΚ βà‚x 2 οΘ· d ( x + y ) d ( x βà’ y ) οΘΚ
οΘ° οΘ» οΘ° οΘ»

βà‚b 1 οΘ® df ( x + y ) df ( x βà’ y ) οΘΙ
βà‚a 1 οΘ® df ( x + y ) df ( x βà’ y )οΘΙ
= βà’ = +
βà‚y 2 οΘ· d ( x + y ) d ( x βà’ y ) οΘΚ βà‚y 2 οΘ· d ( x + y ) d (x βà’ y ) οΘΚ
οΘ° οΘ» οΘ° οΘ»

These derivatives fulfil the analyticity condition provided that the derivatives of the real
function at x + y and x βà’ y exist. On the other hand, this expression is a method to get
the analytical continuation of any real function. For example, let us construct the
analytical continuation of f(x) = cos x :

1 + e1 1 βà’ e1
cos( x + y e 1 ) = cos( x + y ) + cos( x βà’ y )
2 2
e
1
= [ cos( x + y ) + cos( x βà’ y ) ] + 1 [ cos( x + y ) βà’ cos( x βà’ y ) ]
2 2

= cos x cos y βà’ e1 sin x sin y
152 RAMON GONZALEZ CALVET

The other consequence of this way of analytic continuation is the fact that if f(z)
loses analyticity for the real value x0 then it is neither analytic at the lines with slope 1
and βà’1 passing through (x0, 0). Since we have supposed that the function is analytic
except for a certain real value, the former equality holds although the analyticity is lost
at this point. But then the function cannot be analytic at (x0 + t, βà’ t ) nor (x0 βà’ t, t )
because:

1 + e1 1 βà’ e1
f ( x 0 + t βà’ t e1 ) = f (x 0 + 2 t ) + f (x 0 )
2 2

1 + e1 1 βà’ e1
f ( x 0 βà’ t + t e1 ) = f (x 0 ) + f (x 0 βà’ 2 t )
2 2

For example, look at the function f(z) = 1/z, which is not analytic for the real value x =
0. Then it will not be analytic at the lines y = x and y = βà’x. We can see it through the
decomposition of the function:

x βà’ y e1 1 + e1 1 1 βà’ e1 1
1 1
= =2 = +
z x + y e1 x βà’ y 2 2 x+ y 2 xβà’y

Now we may return to the question of the convergence of the Taylor series. A
function can be only developed in a power series in the neighbourhood of a point where
it is analytic. The series is convergent till where the function breaks the analyticity, so
that the lines y = x βà’ x0 and y = βà’x + x0 (being x0 the real value for which f(x) is not
analytic) are boundaries of the convergence domain. On the other hand, due to the
symmetry of the powers of z, the convergence domain forms a square around the centre
of development. This implies that there are not multiply connected domains. The
GruyΟ®re cheese picture of a complex domain is not possible within the hyperbolic
numbers, because if the function is not analytic at a certain point, then it is not analytic
for all the points lying on a cross which passes through this point. The hyperbolic
domains are multiply separated, in other words, formed by disjoined rectangular regions
without holes.

About the isomorphism of Clifford algebras

Until now, I have only used the geometric algebra generated by the Euclidean
plane vectors (usually noted as Cl2,0(R)). This algebra already contains the hyperbolic
numbers and hyperbolic vectors. However an isomorphic algebra Cl1,1(R) generated by
hyperbolic vectors (time-space) is more used in relativity:

(e0 e1 )2 = 1
2
2
e1 = βà’1
e0 = 1 e0 e1 = βà’ e1 e0

The isomorphism is:
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 153

Cl2,0(R) βÜ” Cl1,1(R)

βÜ”
1 1
βÜ”
e1 e01
βÜ”
e2 e0
βà’e12 βÜ” e1

A hyperbolic number has the expression z = x + y e01 and a hyperbolic vector v = v0 e0 +
v1 e1.
This description perhaps could be satisfactory for a mathematician or a physicist,
but not for me. I think that in fact both algebras only differ in the notation but not in
their nature, so that they are the same algebra. Moreover, they are equal to the matrix
algebra, which is the expected algebra for a space of multiple quantities (usually said
vectors). The plane geometric algebra is the algebra of the 2Ο—2 real matrices5.

Cl2,0(R) = Cl1,1(R) = M2Ο—2(R)

This distinct notation only expresses the fact that the plane geometric algebra is equally
generated (in the GrassmannβÄ™s sense) by Euclidean vectors or hyperbolic vectors. The
vector plane (Euclidean or hyperbolic) is the quotient space of the geometric algebra
divided by an even subalgebra (complex or hyperbolic numbers). Just this is the matter
of the next chapter.

Exercises

12.1 Calculate the square roots of 5 + 4 e1.

2 z 2 + 3 z βà’ 17 + 3 e1 = 0
12.2 Solve the following equation:

z2 βà’ 6 z + 5 = 0
12.3 Solve directly the equation:

12.4 Find the analytical continuation of the function f(x) = sin x .

12.5 Find cosh 4œà and sinh 4œà as functions of coshœà and sinhœà.

12.6 Construct the analytical continuation of the real logarithm and see that it is
identical to the logarithm found from the hyperbolic exponential function.
e1

βà«z dz following a straight path z = t e1 and a circular path z
2
12.7 Calculate the integral
βà’ e1

= cos t + e1 sin t, and see that the result is identical to the integration via the primitive.

12.8 Prove that if f(z) is a hyperbolic analytic function and does not vanish then it is a
hyperbolic conformal mapping.

5
In comparison, the 2Ο—2 complex matrices (Pauli matrices) are a representation of the algebra
of the tridimensional space.
154 RAMON GONZALEZ CALVET

13. THE HYPERBOLIC OR PSEUDO-EUCLIDEAN PLANE

Hyperbolic vectors

The elements not belonging to the subalgebra of the hyperbolic numbers form a
quotient space1, but not an algebra:

v 2 βà’ v 21 οΘΕ
οΘ«0
v = v 2 e 2 + v 21 e 21 = οΘ¬ οΘ·
οΘ¬v + v 0οΘ·
οΘ≠2 οΘΗ
21

In other words, their linear combinations are in the space, but the products are
hyperbolic numbers. These elements play the same role as the Euclidean vectors with
respect to the complex numbers. Because of this, they are called hyperbolic vectors.
Like the hyperbolic numbers, the hyperbolic vectors have also a pseudo-Euclidean
determinant:

det (v 2 e 2 + v 21 e 21 ) = v 21 βà’ v 2
2 2

Following the analogy with Euclidean vectors:

det (w1 e1 + w2 e 2 ) = βà’(w1 e1 + w2 e 2 ) = βà’ w
2
2

the determinant of the hyperbolic vectors is also equal to its square with opposite sign:

det (v 2 e 2 + v 21 e 21 ) = βà’(v 2 e 2 + v 21 e 21 ) = βà’ v
2
2

whence the modulus of a hyperbolic vector can be defined:

v = v 2 βà’ v 21
2 2

Like for Euclidean vectors, the inverse of a hyperbolic vector is equal to this vector
divided by its square (or square of the modulus):

v 2 e 2 + v 21 e 21
(v 2 e2 + v 21 e21 )βà’1 = 2 2
v 2 βà’ v 21

As before, there is not any privileged direction in the plane. Then every subspace
whose elements have the form:

1
Every Euclidean vector is obtained from e1 through a rotation and dilation given by the
complex number with the same components: v1 e1 + v2 e2 = e1 (v1 + v2 e12 ) so that the complex
and vector planes are equivalent. This statement also holds in hyperbolic geometry: every
hyperbolic vector is obtained from e2 through a rotation and dilation given by the hyperbolic
number with the same components: v2 e2 + v21 e21 = e2 (v2 + v21 e1 ) or in relativistic notation: v0
e0 + v1 e1 = e0 (v0 + v1 e01 ) so that both hyperbolic planes are equivalent. That reader accustomed
to the relativistic notation should remember the isomorphism: e0 βÜ” e2 , e1 βÜ” e21 , e01 βÜ” e1 .
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 155

vw w + v21 e21

where w is a unitary Euclidean vector perpendicular to the unitary Euclidean vector u, is
also a subspace of hyperbolic vectors complementary of the hyperbolic numbers with
the direction of u.
The hyperbolic vectors have the following properties, which you may prove:
1) The product of two hyperbolic vectors is always a hyperbolic number. This
fact is shown by the following table, where the products of all the elements
of the geometric algebra are summarised:

Ο— hyp. numbers hyp. vectors
hyp. numbers hyp. numbers hyp. vectors
hyp. vectors hyp. vectors hyp. numbers

2) The conjugate of a product of two hyperbolic vectors x and y is equal to the
product with these vectors exchanged:

( x y )* = y x

3) The product of three hyperbolic vectors x, y and z fulfils the permutative
property:

xyz=zyx

When a hyperbolic number n and a hyperbolic vector x are exchanged, the
hyperbolic number becomes conjugated according to the permutative
property:
n x = x n*

4) The modulus of a product of hyperbolic vectors is equal to the product of
moduli:

vw = v w

This property follows immediately from the fact that the determinant of a
product of matrices is equal to the product of determinants of each matrix.

Inner and outer products of hyperbolic vectors

For any two hyperbolic vectors r and s such as:

r = r2 e 2 + r21 e 21 s = s 2 e 2 + s 21 e 21

their inner and outer products are defined by means of the geometric (or matrix) product
in the following way:

rs + sr
r¬·s= = r2 s 2 βà’ r21 s 21
2
156 RAMON GONZALEZ CALVET

rs βà’ sr
rβà§s= = ( r2 s 21 βà’ r21 s 2 ) e1
2

Then the product of two vectors can be written as the addition of both products:

rs=r¬·s+rβà§s

If the outer product of two hyperbolic vectors vanishes, they are proportional:

r2 r12
rβà§s=0 β΅” = β΅” r || s
s 2 s12

Two hyperbolic vectors are said to be orthogonal if their inner product vanishes:

r2 s 21
rβäΞs β΅” β΅” r2 s 2 βà’ r21 s 21 = 0 β΅” =
r¬·s=0
r21 s 2

When the last condition is fulfilled, we see both vectors being symmetric with respect to
any quadrant bisector. When the ratio of components is equal to ¬±1 (directions of
quadrant bisectors), the vectors have null modulus and are self-orthogonal. For ratios
differing from ¬±1, one vector has negative determinant and the other positive
determinant, so that they belong to different sectors. That is, there is not any pair of
orthogonal vectors within the same sector.

Angles between hyperbolic vectors

The oriented angle Έ± between two Euclidean vectors u and v (of the form x e1 +
y e2) is obtained from the complex exponential function:

οΘ± u¬·v
cos Έ± =
οΘ¥ u βà§ v e 21
οΘ¥ uv
uv
exp(Έ± e12 ) = + (œÄ e12 )
β΅” Έ± = arctg
β΅”οΘ≤
u βà§ v e 21
uv u¬· v
οΘ¥sinΈ± =
οΘ¥ uv
οΘ≥

Then, the oriented hyperbolic angle œà between two hyperbolic vectors u and v (of the
form x e2 + y e21) is defined as:
οΘ± u¬·v
coshœà =
οΘ¥
οΘ¥ uv
uv
exp(œà e1 ) = β΅” β΅”
οΘ≤ u βà§ v e1
uv οΘ¥sinhœà =
οΘ¥ uv
οΘ≥

1 οΘ« u ¬· v + u βà§ v e1 οΘΕ
οΘ« u βà§ v e1 οΘΕ
οΘ· + (œÄ e12 ) = logοΘ¬ οΘ· + (œÄ e12 )
œà = arg tghοΘ¬
οΘ¬ u¬·v οΘ· 2 οΘ¬ u ¬· v βà’ u βà§ v e1 οΘ·
οΘ≠ οΘΗ οΘ≠ οΘΗ
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 157

The parenthesis for œÄ e12 indicates that this angle is added to the arctangent or not
depending on the quadrant (Euclidean plane) or half sector (hyperbolic plane).
Let us analyse whether these expressions are suitable. The hyperbolic cosine is
always greater or equal to 1. It cannot describe the angle between two vectors belonging
to opposite half sectors, which have a negative inner product. So we must keep the
complex analytic continuation of the hyperbolic sine and cosine:

sinh( x + e12 y ) βâΓ sinh x cos y + e12 cosh x sin y

cosh( x + e12 y ) βâΓ cosh x cos y + e12 sinh x sin y

to get sinh(œà + e12 œÄ ) βâΓ βà’sinhœà cosh(œà + e12 œÄ ) βâΓ βà’ coshœà with œà real.
and
2
Therefore opposite hyperbolic vectors form a circular angle of œÄ radians .
Let us consider the angle between vectors lying on different sectors. The
modulus of one vector is real while that of the other is imaginary what implies that the
hyperbolic sine and cosine of the angle are imaginary. Using again the complex analytic
continuation of the hyperbolic sine and cosine we find these imaginary values:

οΘ« œÄοΘΕ
sinhοΘ¬œà ¬± e12 οΘ· βâΓ ¬± e12 coshœà œà real
2οΘΗ
οΘ≠

οΘ« œÄοΘΕ
coshοΘ¬œà ¬± e12 οΘ· βâΓ ¬± e12 sinhœà
2οΘΗ
οΘ≠

Then, which is the angle between two orthogonal vectors? Since they have a null
inner product while their outer product
equals in real value the product of both
moduli and the hyperbolic cosine is ¬±e12 ,
they form an angle of œÄ e12 /2 or 3œÄ e12 /2,
that is, orthogonal hyperbolic vectors form a
circular right angle:

1 œÄ
œà βäΞ = log(βà’ 1) + (œÄ e12 ) = e12 + (œÄ e12 )
2 2

The analytic continuations of the
hyperbolic trigonometric functions must be
Figure 13.1
consistent with their definitions given in the
page 142. For example, in the lowest half

2
The so called βÄ€antimatterβÄù is not really any special kind of particles, but matter with the
energy-momentum vector (E, p) lying on the negative half sector instead of the positive one
(usual matter). Also we may wonder whether matter having (E, p) on the imaginary sector exists
since, from a geometric point of view, there is not any obstacle. It is known that the particle
dynamics for c<V<βàû is completely symmetric to the dynamics for 0βâ¤V<c, but with an
imaginary mass. In this case, the head of the energy-momentum vector is always located on the
hyperbola having the y-axis (p axis) as principal axis of symmetry. According to EinsteinβÄ™s
formula, for V = βàû we have E = 0 and p = m c, that is, the particle has a null energy! The
technical question is how can a particle trespass the light barrier?
158 RAMON GONZALEZ CALVET

sector, the modulus of the hyperbolic radius is imaginary. The abscissa x and ordinate y
divided by r, the modulus of the radius vector, is also imaginary so the angle is a real
quantity plus a right angle and the hyperbolic sine and cosine are exchanged. The values
of the angles consistent with the analytic continuation are displayed in the figure 13.1.

Congruence of segments and angles

Two segments (vectors) are congruent (have equal length) if their determinants
are equal, in other words, when one segment can be obtained from the other through an
isometry. Segments having equal length always lie on the same sector.
Two hyperbolic angles are said to be congruent (or equal) if they have the same
moduli, that is, if they intercept arcs of hyperbola with the same hyperbolic length.
A triangle is said to be isosceles if it has two congruent sides. In colloquial
language we talk about βÄ€sides with equal lengthβÄù, even βÄ€equal sidesβÄù. Let us see the
isosceles triangle theorem: the angles adjacent to the base of an isosceles triangle are
equal. The proof uses the outer product. The triangle area is the half of the outer product
of any two sides, as proved below in the section on the area. Suppose that the sides a
and b have the same modulus. Then:

sinh Έ≤ = b sinh Έ± Έ≤ =Έ±
β΅’
a c c

Isometries

In the Euclidean plane, an isometry is a geometric transformation that preserves
the modulus of vectors and complex numbers. Now I give a more general definition: a
geometric transformation is an isometry if it preserves the determinant of every element
of the geometric algebra. In fact, the isometries are the inner automorphism of matrices:

A' = B βà’1 A B β΅’ det A' = det A

When B represents a Euclidean vector, the
isometry is a reflection in the direction of B. If
a complex number of argument Έ± is
represented by B, the transformation is a
rotation of angle 2Έ± .
We wish now to obtain the isometries
for hyperbolic vectors. The hyperbolic rotation
of a hyperbolic vector (figure 13.2) is obtained
through the product by an exponential having
unity determinant:
Figure 13.2
v' 2 e 2 + v' 21 e 21 = ( v 2 e 2 + v 21 e 21 )(coshœà + sinhœà e1 )

Writing the components, we have:

οΘ± v' 2 = v 2 coshœà + v 21 sinhœà
οΘ≤
οΘ≥v' 21 = v 2 sinhœà + v 21 coshœà
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 159

which is the Lorentz transformation3 of the relativity. When a vector is turned through a
positive angle œà, its extreme follows the hyperbola in the direction shown by the
arrowheads in the figure 13.2, as is deduced from the components. So, they indicate the
geometric positive sense of hyperbolic angles (a not trivial question). Since the points of
intersections with the axis corresponds to œà = 0 plus multiples of œÄ e12 /2, the signs of
the hyperbolic angles are determined: positive in the first and third quadrant, and
negative in the second and fourth quadrant.
We can also write the hyperbolic rotation as an inner automorphism of matrices
by using the half argument identity for hyperbolic trigonometric functions:

2
œà œàοΘΕ
οΘ«
coshœà + e1 sinhœà βâΓ οΘ¬ cosh + e1 sinh οΘ·
2 2οΘΗ
οΘ≠

and the permutative property:

œà œàοΘΕ œà œàοΘΕ
οΘ« οΘ«
v' 2 e 2 + v' 21 e 21 = οΘ¬ cosh βà’ sinh e1 οΘ· ( v 2 e 2 + v 21 e 21 ) οΘ¬ cosh + sinh e1 οΘ·
2 2οΘΗ 2 2οΘΗ
οΘ≠ οΘ≠

If z = exp(e1œà /2), then the rotation is written as:

v' = z βà’1 v z

Now it is not needed that z be unitary and can have any modulus. Also, we see that the
hyperbolic rotation leaves the hyperbolic numbers invariant.
Analogously to reflections in the Euclidean plane, the hyperbolic reflection of a
hyperbolic vector v with respect to a direction given by the vector u is:

v' = u βà’1 v u = u βà’1 ( v|| + vβäΞ) u = v|| βà’ vβäΞ

because the proportional vectors commute and those which are orthogonal anticommute
(also in the hyperbolic case,
because the inner product is Figure 13.3
zero). Every pair of orthogonal
directions (for example u|| and uβäΞ
in figure 13.3) are always seen
by us as having symmetry with
Since the determinant is
preserved, a vector and its
reflection always belong to the
same sector, the hyperbolic angle
between each vector and the
direction of reflection being
equal with opposite sign.

3
The hyperbolic vector in the space-time is ct e0 + x e1 where x is the space coordinate, t the
time and c the light celerity. The argument of the hyperbolic rotation œà is related with the
relative velocity V of both frames of reference through œà = arg tgh V/c.
160 RAMON GONZALEZ CALVET

Finally, note that the extremes of a vector and its transformed vector under a
hyperbolic reflection (or any isometry) lie on an equilateral hyperbola.