Let V be the subspace of "vectors" in Hamilton's sense, that is, quat ernions with zero real part...
Let V be the subspace of "vectors" in Hamilton's sense, that is, quat ernions with zero real part. Given a nonzero quaternion q, show that the mapping T V V defined by T(v) is an orthogonal mapping. This means that T(v). T(w) = u·w for all vectors u, w E V (again, V = the purely imaginary quat ernions) What is the mapping when q is an imaginary unit? Give its matrix for the basis i,j,k. For any nonzero quaternion q, the map has an eigenvalue 1. What is the associated eigenvector? Explain how you could use this information to start identifying T as a rotaticon The distributive property and associativity for scalar multiplicains actully all that's required here. That is just another way of saying multiplication is bilinear. We can define a bilinear map on a basis, and this is what's being done. But then we should prove it's actually associative for all products, not just scalar times quaternion Spoiler alert: it is