Recall that elements of all take the form with . Therefore is topologically , the 3-dimensional hypersphere. (This is enough to show that is simply connected.) Because the kernel is (verify!), antipodal points are identified on mapping into , so is homeomorphic to real projective 3-space.

This can be seen another way. A rotation can be specified by a vector along the axis of the rotation, with magnitude giving the angle of the rotation. This serves to identify elements of with points inside or on a ball of radius . However, antipodal points on the surface of the ball represent the same rotation. The resulting space (a three-dimensional ball with antipodal points on the surface identified) is well-known to be homeomorphic to real projective 3-space. (If you think about this argument for a bit, you should see an implicit use of the exponential mapping from into .)

A loop in the topological space can be visualized as a continous ``trajectory'' of rotations: we take a rigid object and turn it around in some fashion, finally restoring it to its original orientation. The following fact can be deduced from this: if a solid object is connected by threads to a surrounding room, and the object is turned through , then the threads can be untangled without turning the object any more. However, if the object is turned through , then the threads cannot be untangled. (The two-thread version of this is known as ``Dirac's string trick''.) In this sense, a continuous turn through is not the same as no turn at all (but a turn is.)

© 2001 Michael Weiss