Complements: Difference between revisions

From Rigid Geometric Algebra
Jump to navigation Jump to search
No edit summary
Line 14: Line 14:


This shows that the left and right complements of an element $$\mathbf u$$ are always the same if either its [[grade]] $$\operatorname{gr}(\mathbf u)$$ or its [[antigrade]] $$\operatorname{ag}(\mathbf u)$$ is even. If the number of dimensions is odd, then it is always true that one of these is even, so left and right complements are the same for all elements in an odd-dimensional algebra. As shown in the table below, applying the right or left complement twice can negate the operand in even numbers of dimensions. However, the right and left complements are inverse operations, so we always have $$\overline{\underline{\mathbf u}} = \mathbf u$$.
This shows that the left and right complements of an element $$\mathbf u$$ are always the same if either its [[grade]] $$\operatorname{gr}(\mathbf u)$$ or its [[antigrade]] $$\operatorname{ag}(\mathbf u)$$ is even. If the number of dimensions is odd, then it is always true that one of these is even, so left and right complements are the same for all elements in an odd-dimensional algebra. As shown in the table below, applying the right or left complement twice can negate the operand in even numbers of dimensions. However, the right and left complements are inverse operations, so we always have $$\overline{\underline{\mathbf u}} = \mathbf u$$.
Taking the right or left complement twice causes the sign to change according to the formula
:$$\underline{\underline{\mathbf u}} = \overline{\overline{\mathbf u}} = (-1)^{\operatorname{gr}(\mathbf u)\operatorname{ag}(\mathbf u)}\,\mathbf u$$ .


The right and left complements under the [[wedge product]] are also the right and left complements under the [[antiwedge product]], so we can write
The right and left complements under the [[wedge product]] are also the right and left complements under the [[antiwedge product]], so we can write

Revision as of 20:39, 12 April 2024

Complements are unary operations in geometric algebra that perform a specific type of dualization.

Every basis element $$\mathbf u$$ has a right complement, which we denote by $$\overline{\mathbf u}$$, that satisfies the equation

$$\mathbf u \wedge \overline{\mathbf u} = {\large\unicode{x1D7D9}}$$ .

There is also a left complement, which we denote by $$\underline{\mathbf u}$$, that satisfies the equation

$$\underline{\mathbf u} \wedge \mathbf u = {\large\unicode{x1D7D9}}$$ .

Complements exchange full and empty dimensions, and the left and right complements can differ only by sign according to the relationship

$$\underline{\mathbf u} = (-1)^{\operatorname{gr}(\mathbf u)\operatorname{ag}(\mathbf u)}\,\overline{\mathbf u}$$ .

This shows that the left and right complements of an element $$\mathbf u$$ are always the same if either its grade $$\operatorname{gr}(\mathbf u)$$ or its antigrade $$\operatorname{ag}(\mathbf u)$$ is even. If the number of dimensions is odd, then it is always true that one of these is even, so left and right complements are the same for all elements in an odd-dimensional algebra. As shown in the table below, applying the right or left complement twice can negate the operand in even numbers of dimensions. However, the right and left complements are inverse operations, so we always have $$\overline{\underline{\mathbf u}} = \mathbf u$$.

Taking the right or left complement twice causes the sign to change according to the formula

$$\underline{\underline{\mathbf u}} = \overline{\overline{\mathbf u}} = (-1)^{\operatorname{gr}(\mathbf u)\operatorname{ag}(\mathbf u)}\,\mathbf u$$ .

The right and left complements under the wedge product are also the right and left complements under the antiwedge product, so we can write

$$\mathbf u \vee \overline{\mathbf u} = \mathbf 1$$
$$\underline{\mathbf u} \vee\mathbf u = \mathbf 1$$ .

To extend the complements to all elements of an algebra, we simply require that they are linear operations. For any basis elements $$\mathbf x$$ and $$\mathbf y$$, and for any scalars $$a$$ and $$b$$, we must have, for the right complement,

$$\overline{(a\mathbf x + b\mathbf y)} = a\overline{\mathbf x} + b\overline{\mathbf y}$$ ,

and similarly for the left complement.

The following table lists the left and right complements for all of the basis elements in the 4D geometric algebra $$\mathcal G_{3,0,1}$$.

See Also