Difference between revisions of "Point"

From Rigid Geometric Algebra
Jump to navigation Jump to search
Line 12: Line 12:
A [[translation]] operator $$\mathbf T$$ that moves a point $$\mathbf p$$ to the origin is given by
A [[translation]] operator $$\mathbf T$$ that moves a point $$\mathbf p$$ to the origin is given by


:$$\mathbf T = \underline{\mathbf p} \vee \dfrac{\mathbf e_{321}}{2} + \underline{\mathbf p} \wedge \mathbf e_4 = -\dfrac{p_{x\vphantom{y}}}{2} \mathbf e_{23} - \dfrac{p_y}{2} \mathbf e_{31} - \dfrac{p_{z\vphantom{y}}}{2} \mathbf e_{12} + p_w {\large\unicode{x1D7D9}}$$ .
:$$\mathbf T = \dfrac{1}{2}\underline{\mathbf p} \vee \mathbf e_{321} + \underline{\mathbf p} \wedge \mathbf e_4 = -\dfrac{p_{x\vphantom{y}}}{2} \mathbf e_{23} - \dfrac{p_y}{2} \mathbf e_{31} - \dfrac{p_{z\vphantom{y}}}{2} \mathbf e_{12} + p_w {\large\unicode{x1D7D9}}$$ .


== Points at Infinity ==
== Points at Infinity ==

Revision as of 07:08, 17 June 2022

Figure 1. A point is the intersection of a 4D vector with the 3D subspace where $$w = 1$$.

In the 4D rigid geometric algebra $$\mathcal G_{3,0,1}$$, a point $$\mathbf p$$ is a vector having the general form

$$\mathbf p = p_x \mathbf e_1 + p_y \mathbf e_2 + p_z \mathbf e_3 + p_w \mathbf e_4$$ .

All points possess the geometric property.

The bulk of a point is given by its $$x$$, $$y$$, and $$z$$ coordinates, and the weight of a point is given by its $$w$$ coordinate. A point is unitized when $$p_w^2 = 1$$.

When used as an operator in a sandwich with the geometric antiproduct, a point is a specific kind of flector that performs an inversion through itself.

A translation operator $$\mathbf T$$ that moves a point $$\mathbf p$$ to the origin is given by

$$\mathbf T = \dfrac{1}{2}\underline{\mathbf p} \vee \mathbf e_{321} + \underline{\mathbf p} \wedge \mathbf e_4 = -\dfrac{p_{x\vphantom{y}}}{2} \mathbf e_{23} - \dfrac{p_y}{2} \mathbf e_{31} - \dfrac{p_{z\vphantom{y}}}{2} \mathbf e_{12} + p_w {\large\unicode{x1D7D9}}$$ .

Points at Infinity

If the weight of a point is zero (i.e., its $$w$$ coordinate is zero), then the point is contained in the horizon infinitely far away in the direction $$(x, y, z)$$, and it cannot be unitized. A point with zero weight can also be interpreted as a direction vector, and it is normalized to unit length by dividing by its bulk norm.


See Also