The SO(3) group is topologically a 3-dimensional ball of radius \pi, if the opposite points on its surface are identified with each other. (the name of it is 3-dimensional projective space). The center of the ball represents the unit element e of the group. An arbitrary point g in the ball represents a rotation with axis g-e and with angle of ||e-g|| (thinking the ball as a part of the 3-dimensional euclidean space).
I am curious to know how looks the natural group left action in this ball. This would be completely described if we knew the curve t -> exp(tv)g for one arbitrarily selected v of so(3) and for each g of SO(3). How look these curves in the ball?
In the case of g=e (i.e. the center of the ball), this curve is a straight line passing from the center to a point of the surface which is identified with the opposite point and from this opposite point back to the origin. But I can't imagine, what curves we get if we take an arbitrary g point in the ball instead of the center.
Doodle Bob
Jun8-08, 09:25 AM
It might help to represent the elements of SO(3) as unit quaternions.
mathwonk
Jun8-08, 07:52 PM
or to read artins algebra book, chapter on group representations.
mma
Jun9-08, 02:26 AM
Thank you both for the hints!
mma
Aug2-08, 04:12 AM
According to Wikipedia (http://en.wikipedia.org/wiki/Quaternions_and_spatial_rotation), the "imaginary part" of the quaternion representation of a rotation is almost the same as what I told in my first post. The only difference is that the length of the representing vectors is the sine of the half angle of the rotation and not the angle itself.
The rotation with axis u unit vector and angle \alpha is represented by the vector u\alpha in the original representation and u\sin{\alpha/2} in the quaternion representation. In quaternion representation, the product of rotations u\sin{\frac{\alpha}{2} and v\sin{\frac{\beta}{2}
is
v\sin{\frac{\beta}{2}\cos{\frac{\alpha}{2} + u\sin{\frac{\alpha}{2}\cos{\frac{\beta}{2} + \sin{\frac{\alpha}{2}\sin{\frac{\beta}{2} u \times v .
For example, if u = (1,0,0) and v = (\cos{\gamma}, \sin{\gamma}, 0),
The left action of it only differs in the sign of z(t).
Giving explicit values to g and b, we can visualize these curves e.g. on the webpage http://cs.jsu.edu/mcis/faculty/leathrum/Mathlets/parapath.html#applettop