Interior products: Difference between revisions
Jump to navigation
Jump to search
Eric Lengyel (talk | contribs) (Created page with "The left and right ''interior products'' are special products in geometric algebra that are useful for performing projections. These products cancel common factors in their operands and thus reduce grade. Depending on the choice of dualization function, there are several possible interior products. We define the interior products in terms of the left and right complements. Interior products are also known as contraction products. == Left and Right Interior Prod...") |
Eric Lengyel (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
The | The ''interior products'' are special products in geometric algebra that are useful for a number of operations including [[projections]]. They are defined as the [[wedge product]] or [[antiwedge product]] between one object and either the [[bulk dual]] or [[weight dual]] of another object. | ||
== Contractions == | |||
The ''bulk contraction'' between elements $$\mathbf a$$ and $$\mathbf b$$ is defined as | |||
:$$\mathrm{bulk\ contraction}(\mathbf a, \mathbf b) = \mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2605}$$ . | |||
The ''weight contraction'' between elements $$\mathbf a$$ and $$\mathbf b$$ is defined as | |||
:$$\mathrm{weight\ contraction}(\mathbf a, \mathbf b) = \mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2606}$$ . | |||
The contractions have the effect of subtracting grades so that | |||
:$$\operatorname{gr}(\mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2605}) = \operatorname{gr}(\mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2606}) = \operatorname{gr}(\mathbf a) - \operatorname{gr}(\mathbf b)$$ . | |||
In the case that the grades of $$\mathbf a$$ and $$\mathbf b$$ are the same, the bulk and weight contractions are equal to dot products written as | |||
:$$\mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2605} = \mathbf a \mathbin{\unicode{x25CF}} \mathbf b$$ | |||
and | |||
[ | :$$\mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2606} = (\mathbf a \mathbin{\unicode{x25CB}} \mathbf b) \vee \mathbf 1$$ . | ||
The following Cayley table shows the bulk and weight contraction products between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$. The values of the bulk contraction are highlighted in green, and the values of the weight contraction are highlighted in purple. The darker green cells along the diagonal correspond to the nonzero entries of the metric $$\mathbf G$$. | |||
: | [[Image:Constractions.svg|720px]] | ||
== Expansions == | |||
The | The ''bulk expansion'' between elements $$\mathbf a$$ and $$\mathbf b$$ is defined as | ||
:$$\ | :$$\mathrm{bulk\ expansion}(\mathbf a, \mathbf b) = \mathbf a \wedge \mathbf b^\unicode["segoe ui symbol"]{x2605}$$ . | ||
The ''weight expansion'' between elements $$\mathbf a$$ and $$\mathbf b$$ is defined as | |||
:$$\mathrm{weight\ expansion}(\mathbf a, \mathbf b) = \mathbf a \wedge \mathbf b^\unicode["segoe ui symbol"]{x2606}$$ . | |||
The expansions have the effect of subtracting antigrades so that | |||
[[Image: | :$$\operatorname{ag}(\mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2605}) = \operatorname{ag}(\mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2606}) = \operatorname{ag}(\mathbf a) - \operatorname{gr}(\mathbf b)$$ . | ||
In the case that the grades (and thus antigrades) of $$\mathbf a$$ and $$\mathbf b$$ are the same, the bulk and weight expansions are equal to dot products written as | |||
:$$\mathbf a \wedge \mathbf b^\unicode["segoe ui symbol"]{x2606} = \mathbf a \mathbin{\unicode{x25CB}} \mathbf b$$ | |||
and | |||
:$$\mathbf a \wedge \mathbf b^\unicode["segoe ui symbol"]{x2605} = (\mathbf a \mathbin{\unicode{x25CF}} \mathbf b) \wedge \mathbf {\large\unicode{x1D7D9}}$$ . | |||
The following Cayley table shows the bulk and weight expansion products between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$. The values of the bulk expansion are highlighted in green, and the values of the weight expansion are highlighted in purple. The darker purple cells along the diagonal correspond to the nonzero entries of the antimetric $$\mathbb G$$. | |||
[[Image:Expansions.svg|720px]] | |||
== See Also == | == See Also == | ||
* [[Projections]] | * [[Projections]] | ||
Revision as of 07:56, 22 January 2024
The interior products are special products in geometric algebra that are useful for a number of operations including projections. They are defined as the wedge product or antiwedge product between one object and either the bulk dual or weight dual of another object.
Contractions
The bulk contraction between elements $$\mathbf a$$ and $$\mathbf b$$ is defined as
- $$\mathrm{bulk\ contraction}(\mathbf a, \mathbf b) = \mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2605}$$ .
The weight contraction between elements $$\mathbf a$$ and $$\mathbf b$$ is defined as
- $$\mathrm{weight\ contraction}(\mathbf a, \mathbf b) = \mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2606}$$ .
The contractions have the effect of subtracting grades so that
- $$\operatorname{gr}(\mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2605}) = \operatorname{gr}(\mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2606}) = \operatorname{gr}(\mathbf a) - \operatorname{gr}(\mathbf b)$$ .
In the case that the grades of $$\mathbf a$$ and $$\mathbf b$$ are the same, the bulk and weight contractions are equal to dot products written as
- $$\mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2605} = \mathbf a \mathbin{\unicode{x25CF}} \mathbf b$$
and
- $$\mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2606} = (\mathbf a \mathbin{\unicode{x25CB}} \mathbf b) \vee \mathbf 1$$ .
The following Cayley table shows the bulk and weight contraction products between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$. The values of the bulk contraction are highlighted in green, and the values of the weight contraction are highlighted in purple. The darker green cells along the diagonal correspond to the nonzero entries of the metric $$\mathbf G$$.
Expansions
The bulk expansion between elements $$\mathbf a$$ and $$\mathbf b$$ is defined as
- $$\mathrm{bulk\ expansion}(\mathbf a, \mathbf b) = \mathbf a \wedge \mathbf b^\unicode["segoe ui symbol"]{x2605}$$ .
The weight expansion between elements $$\mathbf a$$ and $$\mathbf b$$ is defined as
- $$\mathrm{weight\ expansion}(\mathbf a, \mathbf b) = \mathbf a \wedge \mathbf b^\unicode["segoe ui symbol"]{x2606}$$ .
The expansions have the effect of subtracting antigrades so that
- $$\operatorname{ag}(\mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2605}) = \operatorname{ag}(\mathbf a \vee \mathbf b^\unicode["segoe ui symbol"]{x2606}) = \operatorname{ag}(\mathbf a) - \operatorname{gr}(\mathbf b)$$ .
In the case that the grades (and thus antigrades) of $$\mathbf a$$ and $$\mathbf b$$ are the same, the bulk and weight expansions are equal to dot products written as
- $$\mathbf a \wedge \mathbf b^\unicode["segoe ui symbol"]{x2606} = \mathbf a \mathbin{\unicode{x25CB}} \mathbf b$$
and
- $$\mathbf a \wedge \mathbf b^\unicode["segoe ui symbol"]{x2605} = (\mathbf a \mathbin{\unicode{x25CF}} \mathbf b) \wedge \mathbf {\large\unicode{x1D7D9}}$$ .
The following Cayley table shows the bulk and weight expansion products between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$. The values of the bulk expansion are highlighted in green, and the values of the weight expansion are highlighted in purple. The darker purple cells along the diagonal correspond to the nonzero entries of the antimetric $$\mathbb G$$.
