Exterior products - Revision history

Eric Lengyel: /* See Also */

2025-05-20T19:55:46Z

Eric Lengyel at 23:24, 13 April 2024

2024-04-13T23:24:03Z

← Older revision		Revision as of 23:24, 13 April 2024
Line 39:		Line 39:
	== De Morgan Laws ==		== De Morgan Laws ==

	~~There are many possible exterior products and antiproducts. The signs of the results they produce differ in grade-dependent ways, but are otherwise equivalent.~~ The relationship between the product and antiproduct is ~~fixed by a specific choice~~ of ~~dualization function that exchanges~~ full and empty dimensions~~. We choose the left and right [[complements]] as the dualization function and its inverse~~. We can then express each product in terms of the other through an analog of De Morgan's laws as follows.		The relationship between the product and antiproduct is based on an exchange of full and empty dimensions. We can then express each product in terms of the other through an analog of De Morgan's laws as follows.

	:$$\overline{\mathbf a \wedge \mathbf b} = \overline{\mathbf{a\vphantom{b}}} \vee \overline{\mathbf b}$$		:$$\overline{\mathbf a \wedge \mathbf b} = \overline{\mathbf{a\vphantom{b}}} \vee \overline{\mathbf b}$$
Line 92:		Line 92:
	\| style="padding: 12px;" \| Antiwedge product of [[antiscalars]] $$s$$ and $$t$$.		\| style="padding: 12px;" \| Antiwedge product of [[antiscalars]] $$s$$ and $$t$$.
	\|}		\|}

			== In the Book ==

			* The exterior (wedge) product is introduced in Section 2.1.1.
			* The exterior antiproduct is discussed in Section 2.3.

	== See Also ==		== See Also ==

Eric Lengyel at 02:10, 23 January 2024

2024-01-23T02:10:22Z

← Older revision		Revision as of 02:10, 23 January 2024
Line 21:		Line 21:
	The following Cayley table shows the exterior products between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$.		The following Cayley table shows the exterior products between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$.

	~~<span style="font-size: 150%;">Wedge Product $$\mathbf a \wedge \mathbf b$$</span>~~

	[[Image:WedgeProduct.svg\|720px]]		[[Image:WedgeProduct.svg\|720px]]
Line 35:		Line 34:
	The following Cayley table shows the exterior antiproducts between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$.		The following Cayley table shows the exterior antiproducts between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$.

	~~<span style="font-size: 150%;">Antiwedge Product $$\mathbf a \vee \mathbf b$$</span>~~

	[[Image:AntiwedgeProduct.svg\|720px]]		[[Image:AntiwedgeProduct.svg\|720px]]

Eric Lengyel at 21:51, 21 January 2024

2024-01-21T21:51:04Z

← Older revision		Revision as of 21:51, 21 January 2024
Line 21:		Line 21:
	The following Cayley table shows the exterior products between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$.		The following Cayley table shows the exterior products between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$.

			<span style="font-size: 150%;">Wedge Product $$\mathbf a \wedge \mathbf b$$</span>

	[[Image:WedgeProduct.svg\|720px]]		[[Image:WedgeProduct.svg\|720px]]
Line 34:		Line 35:
	The following Cayley table shows the exterior antiproducts between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$.		The following Cayley table shows the exterior antiproducts between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$.

			<span style="font-size: 150%;">Antiwedge Product $$\mathbf a \vee \mathbf b$$</span>

	[[Image:AntiwedgeProduct.svg\|720px]]		[[Image:AntiwedgeProduct.svg\|720px]]

Eric Lengyel: Created page with "The ''exterior product'' is the fundamental product of Grassmann Algebra, and it forms part of the geometric product in geometric algebra. There are two products with symmetric properties called the exterior product and exterior antiproduct. The exterior product between two elements $$\mathbf a$$ and $$\mathbf b$$ generally combines their spatial extents, and the magnitude of the result indicates how close they are to being orthogonal. If the spatial extents of $$\m..."

2023-07-15T06:28:35Z

Created page with "The ''exterior product'' is the fundamental product of Grassmann Algebra, and it forms part of the geometric product in geometric algebra. There are two products with symmetric properties called the exterior product and exterior antiproduct. The exterior product between two elements $$\mathbf a$$ and $$\mathbf b$$ generally combines their spatial extents, and the magnitude of the result indicates how close they are to being orthogonal. If the spatial extents of $$\m..."

New page

The ''exterior product'' is the fundamental product of Grassmann Algebra, and it forms part of the [[geometric product]] in geometric algebra. There are two products with symmetric properties called the exterior product and exterior antiproduct.

The exterior product between two elements $$\mathbf a$$ and $$\mathbf b$$ generally combines their spatial extents, and the magnitude of the result indicates how close they are to being orthogonal. If the spatial extents of $$\mathbf a$$ and $$\mathbf b$$ are parallel, then their exterior product is zero. (Compare this to the [[dot product]], which is zero whenever $$\mathbf a$$ and $$\mathbf b$$ are orthogonal.)

== Exterior Product ==

The exterior product is widely known as the ''wedge product'' because it is written with an upward pointing wedge. The exterior product between elements $$\mathbf a$$ and $$\mathbf b$$ is written $$\mathbf a \wedge \mathbf b$$ and read "$$\mathbf a$$ wedge $$\mathbf b$$". Grassmann called this the progressive combinatorial product.

The defining characteristic of the wedge product is that multiplying any vector $$\mathbf v$$ by itself produces zero: $$\mathbf v \wedge \mathbf v = 0$$. This implies that the wedge product is anticommutative for vectors, so we always have

:$$\mathbf v \wedge \mathbf w = -\mathbf w \wedge \mathbf v$$

for vectors $$\mathbf v$$ and $$\mathbf w$$. The wedge product is not anticommutative in general, however. For general basis elements $$\mathbf a$$ and $$\mathbf b$$, reversing the order of the operands satisfies the relationship

:$$\mathbf a \wedge \mathbf b = (-1)^{\operatorname{gr}(\mathbf a)\operatorname{gr}(\mathbf b)} \mathbf b \wedge \mathbf a$$ .

The wedge product adds the [[grades]] of its operands, so we have

:$$\operatorname{gr}(\mathbf a \wedge \mathbf b) = \operatorname{gr}(\mathbf a) + \operatorname{gr}(\mathbf b)$$ .

The following Cayley table shows the exterior products between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$.

[[Image:WedgeProduct.svg|720px]]

== Exterior Antiproduct ==

The exterior antiproduct is a dual to the exterior product. It is written with a downward pointing wedge and thus called the ''antiwedge product''. The exterior antiproduct $$\mathbf a \vee \mathbf b$$ is read "$$\mathbf a$$ antiwedge $$\mathbf b$$". Grassmann called this the regressive combinatorial product.

Whereas the wedge product combines the full dimensions of its operands, the antiwedge product combines the empty dimensions of its operands. The antiwedge product adds the [[antigrades]] of its operands, so we have

:$$\operatorname{ag}(\mathbf a \vee \mathbf b) = \operatorname{ag}(\mathbf a) + \operatorname{ag}(\mathbf b)$$ .

The following Cayley table shows the exterior antiproducts between all pairs of basis elements in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$.

[[Image:AntiwedgeProduct.svg|720px]]

== De Morgan Laws ==

There are many possible exterior products and antiproducts. The signs of the results they produce differ in grade-dependent ways, but are otherwise equivalent. The relationship between the product and antiproduct is fixed by a specific choice of dualization function that exchanges full and empty dimensions. We choose the left and right [[complements]] as the dualization function and its inverse. We can then express each product in terms of the other through an analog of De Morgan's laws as follows.

:$$\overline{\mathbf a \wedge \mathbf b} = \overline{\mathbf{a\vphantom{b}}} \vee \overline{\mathbf b}$$

:$$\overline{\mathbf a \vee \mathbf b} = \overline{\mathbf{a\vphantom{b}}} \wedge \overline{\mathbf b}$$

:$$\underline{\mathbf a \wedge \mathbf b} = \underline{\mathbf{a\vphantom{b}}} \vee \underline{\mathbf b}$$

:$$\underline{\mathbf a \vee \mathbf b} = \underline{\mathbf{a\vphantom{b}}} \wedge \underline{\mathbf b}$$

== General Properties ==

The following table lists several general properties of the wedge product and antiwedge product.

{| class="wikitable"
! Property !! Description
|-
| style="padding: 12px;" | $$\mathbf a \wedge \mathbf b = -\mathbf b \wedge \mathbf a$$
| style="padding: 12px;" | Anticommutativity of the wedge product for vectors $$\mathbf a$$ and $$\mathbf b$$.
|-
| style="padding: 12px;" | $$\mathbf a \vee \mathbf b = -\mathbf b \vee \mathbf a$$
| style="padding: 12px;" | Anticommutativity of the antiwedge product for antivectors $$\mathbf a$$ and $$\mathbf b$$.
|-
| style="padding: 12px;" | $$(\mathbf a \wedge \mathbf b) \wedge \mathbf c = \mathbf a \wedge (\mathbf b \wedge \mathbf c)$$
| style="padding: 12px;" | Associative law for the wedge product for any elements $$\mathbf a$$, $$\mathbf b$$, and $$\mathbf c$$.
|-
| style="padding: 12px;" | $$(\mathbf a \vee \mathbf b) \vee \mathbf c = \mathbf a \vee (\mathbf b \vee \mathbf c)$$
| style="padding: 12px;" | Associative law for the antiwedge product for any elements $$\mathbf a$$, $$\mathbf b$$, and $$\mathbf c$$.
|-
| style="padding: 12px;" | $$\mathbf a \wedge (\mathbf b + \mathbf c) = \mathbf a \wedge \mathbf b + \mathbf a \wedge \mathbf c$$
| style="padding: 12px;" | Distributive law for the wedge product for any elements $$\mathbf a$$, $$\mathbf b$$, and $$\mathbf c$$.
|-
| style="padding: 12px;" | $$\mathbf a \vee (\mathbf b + \mathbf c) = \mathbf a \vee \mathbf b + \mathbf a \vee \mathbf c$$
| style="padding: 12px;" | Distributive law for the antiwedge product for any elements $$\mathbf a$$, $$\mathbf b$$, and $$\mathbf c$$.
|-
| style="padding: 12px;" | $$(t\mathbf a) \wedge \mathbf b = \mathbf a \wedge (t\mathbf b) = t(\mathbf a \wedge \mathbf b)$$
| style="padding: 12px;" | Scalar factorization of the wedge product.
|-
| style="padding: 12px;" | $$(t\mathbf a) \vee \mathbf b = \mathbf a \vee (t\mathbf b) = t(\mathbf a \vee \mathbf b)$$
| style="padding: 12px;" | Scalar factorization of the antiwedge product.
|-
| style="padding: 12px;" | $$s \wedge \mathbf a = \mathbf a \wedge s = s\mathbf a$$
| style="padding: 12px;" | Wedge product of a [[scalar]] $$s$$ and any basis element $$\mathbf a$$.
|-
| style="padding: 12px;" | $$s \vee \mathbf a = \mathbf a \vee s = s\mathbf a$$
| style="padding: 12px;" | Antiwedge product of an [[antiscalar]] $$s$$ and any basis element $$\mathbf a$$.
|-
| style="padding: 12px;" | $$s \wedge t = st$$
| style="padding: 12px;" | Wedge product of [[scalars]] $$s$$ and $$t$$.
|-
| style="padding: 12px;" | $$s \vee t = st$$
| style="padding: 12px;" | Antiwedge product of [[antiscalars]] $$s$$ and $$t$$.
|}

== See Also ==

* [[Geometric products]]
* [[Dot products]]
* [[Complements]]

← Older revision		Revision as of 19:55, 20 May 2025
Line 100:		Line 100:
	== See Also ==		== See Also ==

			* [[Transwedge products]]
	* [[Geometric products]]		* [[Geometric products]]
	* [[Dot products]]		* [[Dot products]]
	* [[Complements]]		* [[Complements]]