Metrics and Dot products: Difference between pages

From Rigid Geometric Algebra
(Difference between pages)
Jump to navigation Jump to search
No edit summary
 
No edit summary
 
Line 1: Line 1:
The ''metric'' used in the 4D rigid geometric algebra over 3D Euclidean space is the $$4 \times 4$$ matrix $$\mathfrak g$$ given by
The ''dot product'' is the inner product in geometric algebra. The dot product and its antiproduct are important for the calculation of angles and [[Geometric norm | norms]].


:$$\mathfrak g = \begin{bmatrix}
== Dot Product ==
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & 1 & 0 \\
0 & 0 & 0 & 0 \\\end{bmatrix}$$ .


The ''metric exomorphism matrix'' $$\mathbf G$$, often just called the "metric" itself, corresponding to the metric $$\mathfrak g$$ is the $$16 \times 16$$ matrix shown below.
The dot product between two elements $$\mathbf a$$ and $$\mathbf b$$ is written $$\mathbf a \mathbin{\unicode{x25CF}} \mathbf b$$ and read "$$\mathbf a$$ dot $$\mathbf b$$". The dot product is defined as


[[Image:metric-rga-3d.svg|420px]]
:$$\mathbf a \mathbin{\unicode{x25CF}} \mathbf b = \mathbf a^{\mathrm T}\mathbf G \mathbf b$$ ,


The ''metric antiexomorphism matrix'' $$\mathbb G$$, often called the "antimetric", corresponding to the metric $$\mathfrak g$$ is the $$16 \times 16$$ matrix shown below.
where $$\mathbf a$$ and $$\mathbf b$$ are treated as generic vectors over the 16 basis elements of the algebra, $$\mathbf G$$ is the $$16 \times 16$$ [[metric exomorphism matrix]], and we are using ordinary matrix multiplication.


[[Image:antimetric-rga-3d.svg|420px]]
The dot product between two elements $$\mathbf a$$ and $$\mathbf b$$ is nonzero only if they have the same grade.


The product of the metric exomorphism matrix $$\mathbf G$$ and metric antiexomorphism matrix $$\mathbb G$$ for any metric $$\mathfrak g$$ is always equal to the $$16 \times 16$$ identity matrix times the determinant of $$\mathfrak g$$. That is, $$\mathbf G \mathbb G = \det(\mathfrak g) \mathbf I$$.
== Antidot Product ==
 
The antidot product between elements $$\mathbf a$$ and $$\mathbf b$$ is written $$\mathbf a \mathbin{\unicode{x25CB}} \mathbf b$$ and is read as "$$\mathbf a$$ antidot $$\mathbf b$$". The antidot product is defined as
 
:$$\mathbf a \mathbin{\unicode{x25CB}} \mathbf b = \mathbf a^{\mathrm T}\mathbb G \mathbf b$$ ,
 
where, again, $$\mathbf a$$ and $$\mathbf b$$ are treated as generic vectors over the 16 basis elements of the algebra, but now $$\mathbb G$$ is the $$16 \times 16$$ [[metric antiexomorphism matrix]].
 
The antidot product can also be derived from the dot product using the De Morgan relationship
 
:$$\mathbf a \mathbin{\unicode{x25CB}} \mathbf b = \overline{\underline{\mathbf a} \mathbin{\unicode{x25CF}} \underline{\mathbf b}}$$ .
 
== Table ==
 
The following table shows the dot product and antidot product of each basis element $$\mathbf u$$ in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$ with itself. All other dot products and antidot products are zero.
 
 
[[Image:Dots.svg|720px]]


The metric and antimetric determine [[bulk and weight]], [[duals]], [[dot products]], and [[geometric products]].


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


* [[Bulk and weight]]
* [[Geometric products]]
* [[Duals]]
* [[Wedge products]]
* [[Dot products]]

Revision as of 01:53, 13 April 2024

The dot product is the inner product in geometric algebra. The dot product and its antiproduct are important for the calculation of angles and norms.

Dot Product

The dot product between two elements $$\mathbf a$$ and $$\mathbf b$$ is written $$\mathbf a \mathbin{\unicode{x25CF}} \mathbf b$$ and read "$$\mathbf a$$ dot $$\mathbf b$$". The dot product is defined as

$$\mathbf a \mathbin{\unicode{x25CF}} \mathbf b = \mathbf a^{\mathrm T}\mathbf G \mathbf b$$ ,

where $$\mathbf a$$ and $$\mathbf b$$ are treated as generic vectors over the 16 basis elements of the algebra, $$\mathbf G$$ is the $$16 \times 16$$ metric exomorphism matrix, and we are using ordinary matrix multiplication.

The dot product between two elements $$\mathbf a$$ and $$\mathbf b$$ is nonzero only if they have the same grade.

Antidot Product

The antidot product between elements $$\mathbf a$$ and $$\mathbf b$$ is written $$\mathbf a \mathbin{\unicode{x25CB}} \mathbf b$$ and is read as "$$\mathbf a$$ antidot $$\mathbf b$$". The antidot product is defined as

$$\mathbf a \mathbin{\unicode{x25CB}} \mathbf b = \mathbf a^{\mathrm T}\mathbb G \mathbf b$$ ,

where, again, $$\mathbf a$$ and $$\mathbf b$$ are treated as generic vectors over the 16 basis elements of the algebra, but now $$\mathbb G$$ is the $$16 \times 16$$ metric antiexomorphism matrix.

The antidot product can also be derived from the dot product using the De Morgan relationship

$$\mathbf a \mathbin{\unicode{x25CB}} \mathbf b = \overline{\underline{\mathbf a} \mathbin{\unicode{x25CF}} \underline{\mathbf b}}$$ .

Table

The following table shows the dot product and antidot product of each basis element $$\mathbf u$$ in the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$ with itself. All other dot products and antidot products are zero.



See Also