About the definition of angle, from Geometric Algebra

In GA, bivectors represent  2-dimensional directions. Any simple bivector can be written as
θe1e2
with θR and {ei} unitary and orthogonal vectors. The unitary vectors specify the 2-direction itself, and θ is the size (analogous to the length of a vector, that is a 1-dimensional direction).

Given two vectors a and b (that we take to be unitary, wlog) we say that the simple bivector θe1e2 is the angle formed by them if
ab=eθe1e2
where we take as a definition
eA=1+A+A2/2+=limN(1+AN)N



Real analysis let us assure that this expression is well defined when A is a 2-blade. In fact, since e1e2e1e2=1, we can write
eθe1e2=cos(θ)+e1e2sin(θ)
where cos and sin are defined by their power series.


Oserve that b=aeθe1e2 and then
b=a(cos(θ)+e1e2sin(θ))=acos(θ)+ae1e2sin(θ)
and from here we conclude that a is in the plane generated by e1 and e2, since otherwise we would have a trivector in the right hand side of the above equation. Of course, b is also inside the plane.


The fact that ab=eθe1e2 can be interpreted as follows. We have that
b=aeθe1e2a(1+θe1e2N)N=a+θNa+
whose meaning is that we arrive to b from a by applying a special infinite process. We need such an infinite process because we are  producing a circle with straight lines operations, as you can observe at this gif:






From this starting point we can prove and define all the usual trigonometry. For example, observe that
ab=ab+ab=
=μ+λe1e2
and is satisfied that μ=cos(θ) and λ=sin(θ). Since baab=1 we can show that
cos2(θ)+sin2(θ)=1



In this context, we can define π as the lowest real positive number θR such that
e1e2=eθ2e1e2

Now, natural questions arise: could π be the same for every pair of unitary orthogonal vectors e1,e2? Moreover, is the only one?

We can deal with the unicity question by means of real analysis by studying the pair of equations
cos(θ/2)=0
sin(θ/2)=1
and we will arrive to the usual conclusions.

On the other hand, suppose e1e2 are other unitary and orthogonal vectors. Then
eπ2e1e2=cos(π/2)+e1e2sin(π/2)=e1e2

So π is universal for every 2-direction.

From here we can conclude usual facts like
eπi=1
where we have called i=e1e2 to resemble the famous expression. To see it, take any unitary v spanned by e1,e2. And then, since
v=ve1e2e1e2=veπ2e1e2eπ2e1e2=veπe1e2
and therefore
eπi=1

Observe that we have used that
eAeB=eA+B
but this is true whenever AB=BA.

Comments

  1. You cant define angles using 90° basis, you need to define angle before using angles

    ReplyDelete
  2. There is no problem here, since in a geometric algebra we define orthogonality by means of the scalar product which, indeed, is defined from the geometric product that we assume in it. You could argue than then: why all this stuff? Taking the acos() of the scalar product we have angles anyway...

    But the point here is that in this entry ANGLES ARE NOT NUMBER, but a different kind of objects: bivectors, that give more coherence to the main operations with angles.

    Thanks for your comment.

    ReplyDelete

Post a Comment

Popular posts from this blog

Spherical, hyperbolic and parabolic geometry

4-dimensional spheres, or haunting an ant