**Previous section: ****Defining and Interpreting the Geometric Product****.**

__Next section__**: **Vector Identities and Plane Trigonometry with GA**.**

Let **i **denote the ** unit bivector for the plane**. As you were asked to prove in the previous section,

**i**

^{2}= −1, so

**i**has the properties of the unit imaginary in the complex number system (although it has extra properties, too, since, for example, you also proved that

**i**anticommutes with vectors in its plane). However, by relating it multiplicatively to vectors, GA endows

**i**with two new

**geometric interpretations**:

• **Operator interpretation: **Multiplication by **i **rotates vectors in its plane through a right angle. We can ** assign an orientation** to

**i**so that

**by**

*left multiplication***i**rotates vectors in its plane through a CCW (counterclockwise) right angle. Thus, any vector

**a**is rotated into a vector

**b**given by the equation

**ia**=

**–ai**=

**b**, with the

**of**

*action***i**depicted by the

**in the diagram (Alternatively, we could just as well assign the**

*directed arc***orientation to**

*opposite***i**, so that

**multiplication by**

*right***i**still rotates

**a**into

**b**in the diagram.):

• **Object interpretation: **Bivector **i **represents a unit plane segment, as expressed by the following depictions and equations (for **a** and **b** perpendicular unit vectors):

If we'd like **i** to behave as in the previous paragraph (Operator interpretation), choose **i** = **i**_{L}, so that:

** ia** (counterclockwise rotation) = **i**_{L}**a = baa** = **b** = **aab** = **a****i**_{R} = - **a****i**

** Note:** most GA authors think of the green bivector

**i**

_{L }as having a CW (clockwise) orientation and the pink bivector

**i**

_{R}as having a CCW orientation. That is independent of how we wish to view their behavior as right angle rotators for vectors in their plane. Since bivectors anticommute with vectors in their plane, multiplying vectors in the plane on the right or the left will produce opposite rotations. As we see here, multiplying a vector in the plane on the right by a CCW bivector will result in a CCW rotation (and hence most authors favor this, feeling comforted by the operation resulting in the same orientation as the bivector used for the operation). However, here we chose to multiply on the left by a CW bivector to produce a CCW rotation. We did it this way (this time) to point out the equally reasonable possibility and because you are probably more accustomed to seeing operators "attack" from the left.

The * operator interpretation *of

**i**generalizes to the concept of

**rotor**

*U*

_{θ}, the entity produced by the product

**ba**of unit vectors with relative direction θ.

**Rotor ***U*_{θ }= **ba **is * depicted *as a

*on the unit circle.*

**directed arc****Reverse**

*U*

_{θ}

^{†}=

**ab**.

**Defining sine and cosine functions **from products of unit vectors:

** a**^{2 }= **b**^{2} = 1, **i**^{2} = −1 **b****∙****a ≡** cos *θ* **b****∧****a ****≡** **i **sin *θ*

**Rotor: ***U*_{θ} = **ba **= **b****∙****a **+ **b****∧****a **= cos *θ* + **i **sin *θ* **≡** *e*^{iθ}

* Rotor equivalence of directed arcs *is like vector equivalence of directed line segments:

**Product of coplanar rotors **is equivalent to addition of angles:

*U*

_{θ}

*U*

_{φ}=

*U*

_{θ+φ}=

*U*

_{φ}

*U*

_{θ}or

*e*

^{iθ}

*e*

^{iφ}=

^{ }

*e*

^{i(θ+φ)}:

**Rotor-vector product **= vector: *U*_{θ} **v **= *e*^{iθ} **v **= **u **:

**Thus rotor algebra represents the algebra of 2d rotations!**

The concept of rotor generalizes to the concept of **complex number **** interpreted as a directed arc**:

* z *= λ*U *= λ*e*^{i}^{θ} = **ba **(for some two vectors in the plane, of as yet unspecified lengths, separated by *θ*)

**Reversion **= complex conjugation:

*z*

^{†}= λ

*U*

^{†}= λ

*e*

^{−i}

^{θ}=

**ab**

* zz*^{†} = λ^{2} = (**ba**)(**ab**) = **a**^{2}**b**^{2} = |*z|*^{2}

** Modulus: **|*z| *= λ = |**a**| |**b**|

Relation to standard complex number notation: *z *= Re(*z) *+ **i **Im(*z) *= **ba **

with Re(*z) *= ½ (*z *+ *z*^{†}) = **b****∙****a**** ****i **Im(*z) *= ½ (*z *− *z*^{†}) = **b****∧****a**

(** This representation of complex numbers in a real GA is a special case of spinors for 3d.**)

Note the new GA Roots of unity:

__Previous section__**: ****Defining and Interpreting the Geometric Product****.**

**Next section: **Vector Identities and Plane Trigonometry with GA**.**