Figure 7 2. Consider a circle S' and the group G=(1, -1)=2Z, (i.e., group with two elements) with the following action on S':+1= identity map, —1= antipodal map. The ac- tion of G is free. M =S1/G =P' =one-dimensional pro- jective space (i.e., space of diameters). .7 (point of S) =diameter through that point. We have to check the local triviality. Given an element in P’, that is, a di- rection in R? through the origin 0, there always exists an open cone U (in R?) containing that direction, and a3(U) =U x{+1, —1} (see Fig. 7). Hence S’ is the total space of a principal fiber bundle with group G and base space P'. We shall denote this bundle by S'(P", Z,). Actually, we can identify this circle (together with the action of Z,) with B’ (with the action defined above), since they are homotopically equivalent. C. More definitions