Rotor (mathematics) · Lablypedia

Related on Lably

Through Rotation (mathematics), Group (mathematics) and Rotation

Lab · Class 8–9Areas of Parallelograms and Triangles Lab · Class 2Skip Counting Lab · Class 1–6Patterns Lab · Class 1Numbers 1 to 20

Definition

In mathematics, a rotor in the geometric algebra of a vector space V is the same thing as an element of the spin group Spin(V). We define this group below.

Let V be a vector space equipped with a positive definite quadratic form q, and let Cl(V) be the geometric algebra associated to V. The algebra Cl(V) is the quotient of the tensor algebra of V by the relations $v \cdot v = q (v)$ for all $v \in V$ . (The tensor product in Cl(V) is what is called the geometric product in geometric algebra and in this article is denoted by $\cdot$ .) The Z-grading on the tensor algebra of V descends to a Z/2Z-grading on Cl(V), which we denote by $Cl (V) = {Cl}^{even} (V) \oplus {Cl}^{odd} (V) .$ Here, Cl^even(V) is generated by even-degree blades and Cl^odd(V) is generated by odd-degree blades.

There is a unique antiautomorphism of Cl(V) which restricts to the identity on V: this is called the transpose, and the transpose of any multivector a is denoted by $\tilde{a}$ . On a blade (i.e., a simple tensor), it simply reverses the order of the factors. The spin group Spin(V) is defined to be the subgroup of Cl^even(V) consisting of multivectors R such that $R \tilde{R} = 1.$ That is, it consists of multivectors that can be written as a product of an even number of unit vectors.

2 more chapters are free with a Lably account.

Action as rotation on the vector space

Reflections along a vector in geometric algebra may be represented as (minus) sandwiching a multivector M between a non-null vector v perpendicular to the hyperplane of reflection and that vector's inverse v⁻¹:

- v M v^{- 1}

and are of even grade. Under a rotation generated by the rotor R, a general multivector M will transform double-sidedly as

R M R^{- 1} .

This action gives a surjective homomorphism $Spin (V) \to SO (V)$ presenting Spin(V) as a double cover of SO(V). (See Spin group for more details.)

Restricted alternative formulation

For a Euclidean space, it may be convenient to consider an alternative formulation, and some authors define the operation of reflection as (minus) the sandwiching of a unit (i.e. normalized) multivector:

- v M v, v^{2} = 1,

forming rotors that are automatically normalised:

R \tilde{R} = \tilde{R} R = 1.

The derived rotor action is then expressed as a sandwich product with the reverse:

R M \tilde{R}

For a reflection for which the associated vector squares to a negative scalar, as may be the case with a pseudo-Euclidean space, such a vector can only be normalized up to the sign of its square, and additional bookkeeping of the sign of the application the rotor becomes necessary. The formulation in terms of the sandwich product with the inverse as above suffers no such shortcoming.

Rotations of multivectors and spinors

However, though as multivectors also transform double-sidedly, rotors can be combined and form a group, and so multiple rotors compose single-sidedly. The alternative formulation above is not self-normalizing and motivates the definition of spinor in geometric algebra as an object that transforms single-sidedly – i.e., spinors may be regarded as non-normalised rotors in which the reverse rather than the inverse is used in the sandwich product.

Homogeneous representation algebras

In homogeneous representation algebras such as conformal geometric algebra, a rotor in the representation space corresponds to a rotation about an arbitrary point, a translation or possibly another transformation in the base space.

More in Calculus and analysis

Continuous functionMathematical function with no sudden changes Differential equationType of functional equation (mathematics)DerivativeInstantaneous rate of change (mathematics)IntegralOperation in calculus Partial differential equationType of differential equation Taylor seriesMathematical approximation of a function