### Special Relativity with Geometric Algebra - Geometric Algebra Review

#### Ordinary 3D Geometric Algebra

Let's review a couple of properties of ordinary 3D Geometric Algebra. If you are not yet familiar with it there are a few excellent videos on YouTube as well as a couple of books going into GA in more detail. A few were mentioned in the previous section.

_{Figure 1 - Blue: Orthonormal basis vectors. Red: Position vectors$a,b$. Yellow: difference vector$v$from$a$to$b$.}

We have three ${e}_{i}\cdot {e}_{j}={\delta}_{j}^{i}$ , which says that the inner product of two same basis vectors is$1$ , and the inner product of two different basis vectors is$0$ . For example we have${e}_{x}\cdot {e}_{x}=1$ and${e}_{x}\cdot {e}_{y}=0$ .

__orthonormal basis vectors__${e}_{x},{e}_{y},{e}_{z}$ . Written using the Kronecker delta we haveThe

__position vectors__$a$ and$b$ from figure 1 can be written terms of the basis vectors as followsWe can form the $a$ to$b$ by subtracting$a$ from$b$ to get

__difference vector__$v$ fromTo get the length squared$||v|{|}^{2}$ we have to square$v$ , which yields the same result as the Pythagorean theorem

#### Active and Passive Transformations

You might not have heard the terms active and passive transformations before, but it is often a useful distinction to make. We will review these two types of transformations now too.

##### Active Transformations

_{Figure 2 - Blue: Orthonormal basis vectors. Yellow: Original vector. Teal: Active transformation rotor. Purple: Original vector transformed using rotor.}

Active transformations change objects. The active transformations we are interested in here are those with rotors. In ordinary 3D GA we have three basis blades${e}_{xy},{e}_{yz},{e}_{xz}$ which can be used to rotate in the planes denoted by their subscripts. For example, as in figure 2, a $\phi $ in the XY plane is formed like this

__rotor__that rotates by an angleThe rotor is then applied to an object, such as our

__vector__$v$ , with a two-sided product often called the sandwich productThe $v$ , so this is an active transformation as the object did actually change.

__resulting vector__${v}^{\prime}$ will in general be different fromRotating a vector does not change its length (verify this as an excercise if you wish by squaring the rotated vector), so applying rotors preserves distances.

##### Passive Transformations

_{Figure 3 - Coordinate system using original orthonormal basis vectors. Blue: Original orthonormal basis vectors. Yellow: Passive transformation rotor. Green: Original orthonormal basis vectors transformed with rotor. Teal: Vector.}

Passive transformations act on the coordinate basis vectors. They do not actually change the objects, only the perspective on them. They are also called change of basis. We are interested in passive transformations performed by rotors.

Let's say our first set of

__basis vectors__${e}_{x},{e}_{y}$ belonged to one person. We have another person with__basis vectors__${e}_{x}^{\prime},{e}_{y}^{\prime}$ who is looking in another direction from the first person such as in figure 3. The rotation between the first and second set of basis vectors can be performed by a__rotor__$R$ _{Figure 4 - Coordinate system using transformed orthonormal basis vectors. Blue: Original orthonormal basis vectors. Yellow: Passive transformation rotor. Green: Original orthonormal basis vectors transformed with rotor. Teal: Vector.}

We can now see how the second person views the world by drawing the coordinate system using their basis vectors. The $v$ expressed in the old and the new basis is

__vector__$v$ *appears*to rotate in the opposite direction. It is very important to note though that the vector does not actually change. It is merely viwed in a different basis but it is fundamentally the same vector. The vectorAs the vector did not actually change, its length when expressed in the new basis is still be the same as before too.

Another important property of passive transformations with rotors is that they keep the basis vectors orthonormal.

Important note: In this series we will only be dealing with orthonormal bases to simplify things. This excludes coordinate system such as spherical coordinates. In order to deal with more general bases a concept called reciprocal frames is required. Overall this is not a big change to make however, and it would be easy to adjust all our upcoming results to use them.

#### Conclusion

We shortly reviewed position and difference vectors. We looked at active transformations which change objects, in particular active transformations with rotors which perserve lengths. We also looked at passive transformations which only affect coordinate basis vectors but do not actually affect any objects. For these we also noticed that the length of vectors can obtained using the coefficients of the vector in the transformed basis. Furthermore passive transformations with rotors keep orthonormal bases orthonormal.

#### Formulas

- Orthonormal basis for ordinary GA:
${e}_{i}\cdot {e}_{j}={\delta}_{j}^{i}$ - Vector expressed in basis:
$v={v}_{x}{e}_{x}+{v}_{y}{e}_{y}$ - Vector length squared:
$||v|{|}^{2}={v}^{2}={v}_{x}^{2}+{v}_{y}^{2}$ - Active transformation with rotor:
${v}^{\prime}=Rv\stackrel{~}{R},||{v}^{\prime}|{|}^{2}=||v|{|}^{2}$ - Passive transformation with rotor:
${e}_{i}^{\prime}=R{e}_{i}\stackrel{~}{R},{e}_{i}\cdot {e}_{j}={\delta}_{j}^{i}{\textstyle \phantom{\rule{0.278em}{0ex}}}\u27fa{\textstyle \phantom{\rule{0.278em}{0ex}}}{e}_{i}^{\prime}\cdot {e}_{j}^{\prime}={\delta}_{j}^{i}$

#### Up next

Next we will look at how we can describe Spacetime with Geometric Algebra motivated by a thought experiment.