Orientable Double Cover
A closely related notion uses the idea of covering space. For a connected manifold M take M*, the set of pairs (x, o) where x is a point of M and o is an orientation at x; here we assume M is either smooth so we can choose an orientation on the tangent space at a point or we use singular homology to define orientation. Then for every open, oriented subset of M we consider the corresponding set of pairs and define that to be an open set of M*. This gives M* a topology and the projection sending (x, o) to x is then a 2-1 covering map. This covering space is called the orientable double cover, as it is orientable. M* is connected if and only if M is not orientable.
Another way to construct this cover is to divide the loops based at a basepoint into either orientation-preserving or orientation-reversing loops. The orientation preserving loops generate a subgroup of the fundamental group which is either the whole group or of index two. In the latter case (which means there is an orientation-reversing path), the subgroup corresponds to a connected double covering; this cover is orientable by construction. In the former case, one can simply take two copies of M, each of which corresponds to a different orientation.
Read more about this topic: Orientability
Famous quotes containing the words double and/or cover:
“You spotted snakes with double tongue,
Thorny hedgehogs, be not seen.
Newts and blindworms, do no wrong,
Come not near our Fairy Queen.”
—William Shakespeare (15641616)
“See, there is a place by me where you shall stand on the rock; and while my glory passes by I will put you in a cleft of the rock, and I will cover you with my hand until I have passed by;
then I will take away my hand, and you shall see my back; but my face shall not be seen.”
—Bible: Hebrew, Exodus 33:21-23.