Transformation groups: Difference between revisions

From Rigid Geometric Algebra
Jump to navigation Jump to search
No edit summary
No edit summary
 
(No difference)

Latest revision as of 00:34, 26 August 2023

In the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$, every Euclidean isometry of 3D space can be represented by a motor $$\mathbf Q$$ of the form

$$\mathbf Q = Q_{vx} \mathbf e_{41} + Q_{vy} \mathbf e_{42} + Q_{vz} \mathbf e_{43} + Q_{vw} {\large\unicode{x1d7d9}} + Q_{mx} \mathbf e_{23} + Q_{my} \mathbf e_{31} + Q_{mz} \mathbf e_{12} + Q_{mw} \mathbf 1$$

or by a flector $$\mathbf F$$ of the form

$$\mathbf F = F_{px} \mathbf e_1 + F_{py} \mathbf e_2 + F_{pz} \mathbf e_3 + F_{pw} \mathbf e_4 + F_{gx} \mathbf e_{423} + F_{gy} \mathbf e_{431} + F_{gz} \mathbf e_{412} + F_{gw} \mathbf e_{321}$$ .

Under the geometric antiproduct $$\unicode{x27C7}$$, arbitrary products of these operators form the Euclidean group E(3) with $${\large\unicode{x1D7D9}}$$ as the identity, and they covariantly transform any object $$\mathbf x$$ in the algebra through the sandwich products $$\mathbf x' = \mathbf Q \mathbin{\unicode{x27C7}} \mathbf x \mathbin{\unicode{x27C7}} \smash{\mathbf{\underset{\Large\unicode{x7E}}{Q}}}$$ and $$\mathbf x' = -\mathbf F \mathbin{\unicode{x27C7}} \mathbf x \mathbin{\unicode{x27C7}} \smash{\mathbf{\underset{\Large\unicode{x7E}}{F}}}$$.

Symmetrically, every reciprocal Euclidean isometry of 3D space can be represented by a reciprocal motor $$\mathbf Q$$ of the form

$$\mathbf Q = Q_{vx} \mathbf e_{23} + Q_{vy} \mathbf e_{31} + Q_{vz} \mathbf e_{12} - Q_{vw} {\large\unicode{x1d7d9}} + Q_{mx} \mathbf e_{41} + Q_{my} \mathbf e_{42} + Q_{mz} \mathbf e_{43} - Q_{mw} \mathbf 1$$

or by a reciprocal flector $$\mathbf F$$ of the form

$$\mathbf F = F_{px} \mathbf e_{423} + F_{py} \mathbf e_{431} + F_{pz} \mathbf e_{412} + F_{pw} \mathbf e_{321} - F_{gx} \mathbf e_1 - F_{gy} \mathbf e_2 - F_{gz} \mathbf e_3 - F_{gw} \mathbf e_4$$ .

Under the geometric product $$\unicode{x27D1}$$, arbitrary products of these operators form the reciprocal Euclidean group RE(3) with $$\mathbf 1$$ as the identity, and they covariantly transform any object $$\mathbf x$$ in the algebra through the sandwich products $$\mathbf x' = \mathbf Q \mathbin{\unicode{x27D1}} \mathbf x \mathbin{\unicode{x27D1}} \mathbf{\tilde Q}$$ and $$\mathbf x' = -\mathbf F \mathbin{\unicode{x27D1}} \mathbf x \mathbin{\unicode{x27D1}} \mathbf{\tilde F}$$.

The geometric product corresponds to transform composition in the group RE(3), and the geometric antiproduct corresponds to transform composition in the group E(3). Reflections across planes are represented by antivectors (having antigrade one), and they meet at lower-dimensional invariants under the geometric antiproduct. Symmetrically, reciprocal reflections across points are represented by vectors (having grade one), and they join at higher-dimensional invariants under the geometric product. A sandwich product $$\mathbf Q \mathbin{\unicode{x27D1}} \mathbf x \mathbin{\unicode{x27D1}} \mathbf{\tilde Q}$$ transforms the space of $$\mathbf x$$ with an element of RE(3), and it transforms the antispace of $$\mathbf x$$ with the complementary element of E(3). Symmetrically, a sandwich product $$\mathbf Q \mathbin{\unicode{x27C7}} \mathbf x \mathbin{\unicode{x27C7}} \smash{\mathbf{\underset{\Large\unicode{x7E}}{Q}}}$$ transforms the space of $$\mathbf x$$ with an element of E(3), and it transforms the antispace of $$\mathbf x$$ with the complementary element of RE(3).

The groups E(n) and RE(n) are isomorphic, and they each contain the orthogonal group O(n) as a common subgroup. The complement operation provides a two-way mapping between transforms associated with members of E(n) and RE(n). The groups E(n) and RE(n) have a number of subgroups, and the hierarchical relationships among them are shown in the figure below. In particular, the Euclidean group E(n) contains the special Euclidean subgroup SE(n) consisting of all combinations of ordinary rotations and translations, which are covered by the elements of $$\mathcal G_{n,0,1}$$ having even antigrade. Correspondingly, the reciprocal Euclidean group RE(n) contains the reciprocal special Euclidean subgroup RSE(n) consisting of all combinations of reciprocal rotations and reciprocal translations, which are covered by the elements of $$\mathcal G_{n,0,1}$$ having even grade. The subgroups SE(n) and RSE(n) further contain translation subgroups T(n) and RT(n), respectively.

Transforms about invariants containing the origin are the same in both E(n) and RE(n), and they constitute the common subgroup O(n). Every member of O(n) has a representation that transforms elements with the geometric product and a complementary representation that transforms elements with the geometric antiproduct. For example, conventional quaternions $$\mathbf q$$ have two representations, one that transforms any object $$\mathbf x$$ through the sandwich product $$\mathbf x' = \mathbf q \mathbin{\unicode{x27D1}} \mathbf x \mathbin{\unicode{x27D1}} \mathbf{\tilde q}$$ and another that transforms any object $$\mathbf x$$ through the sandwich product $$\mathbf x' = \mathbf q \mathbin{\unicode{x27C7}} \mathbf x \mathbin{\unicode{x27C7}} \smash{\mathbf{\underset{\Large\unicode{x7E}}{q}}}$$.

In terms of matrix multiplication, a general element of the group E(n) transforms a point by multiplying on the left by an $$(n + 1) \times (n + 1)$$ matrix of the form

$$\begin{bmatrix} \mathbf M_{n \times n} & \boldsymbol \tau_{n \times 1} \\ \mathbf 0_{1 \times n} & 1 \end{bmatrix}$$ ,

where the $$n \times n$$ submatrix $$\mathbf M$$ is orthogonal. A general element of the corresponding group RE(n) transforms points with matrices of the form

$$\begin{bmatrix} \mathbf M_{n \times n} & \mathbf 0_{n \times 1} \\ \boldsymbol \tau_{1 \times n} & 1 \end{bmatrix}$$ .

In the special subgroups SE(n) and RSE(n), the submatrix $$\mathbf M$$ has a determinant of +1. In the translation subgroups T(n) and RT(n), $$\mathbf M$$ is the identity matrix. Finally, when $$\boldsymbol \tau = \mathbf 0$$, the two matrices above have the same form and belong to O(n).

The isomorphic mapping between E(n) and RE(n) is given by the inverse transpose operation on the matrix representatives. That is, if $$\mathbf M$$ is an $$(n + 1) \times (n + 1)$$ matrix representing an element of E(n), then the corresponding element of RE(n) is given by $$(\mathbf M^{-1})^{\text T}$$. Of course, this operation is an involution, and the mapping works both ways.

See Also