Hacker News new | ask | show | jobs
by gugagore 1 day ago
https://math.ucr.edu/home/baez/torsors.html

The distinction is whether zero is meaningful independent of a choice of origin. Zero displacement is meaningful. Zero position is arbitrary.

Are you thinking of displacement as an operation? Because it is just as well a vector. I don't see the connection to section I highlighted from the article.

1 comments

I think of displacement vectors and position vectors as having different "types". Position vectors are geometric objects whose meaning comes from whatever physical system you're studying (this way of thinking is generally useful even if you're not doing physics; for instance if you're talking about a manifold you would think of that as the physical system independent of the coordinates you put on it).

In the same way I think of "vectors as operators" (rotations/scaling) as a displacement vector / torsor, but of a different type than their sense as translations. As far as I can tell, the geometric product between two displacement vectors is not so meaningful, whereas the geometric product between two "operator" vectors is (because it composes them as operators, in some sense). But in practice you're often rapidly switching between these representations so it's hard to tell which object you're actually talking about. For this reason I find it useful to distinguish their types explicitly.