is constructed from as follows. First, one can in a room by the weak homotopy type of embedding by successively all homotopy groups of dimensions by adhesion of cells of dimensions "kills". Then one defines the space of all paths in which start in a base point and end in.
The "endpoint" projection is a fiber whose fiber is the loop space . This one has the weak homotopy type .
If there is a CW complex , then the fiber is a CW complex and in particular according to Whitehead's theorem one . If, in addition, the higher homotopy groups are finitely generated , then the homotopyu-equivalent to a topological Abelian group and the construction can be carried out in such a way that principal bundles with an Abelian structural group are for the fibers .
H. Cartan, J.-P. Serre: Espaces fibers et groupes d'homotopie. I. Constructions generales. CR Acad. Sci. Paris 234, (1952).
GW Whitehead: Fiber spaces and the Eilenberg homology groups. Proc. Nat. Acad. Sci. USA 38, (1952). 426-430. PMC 1063578 (free full text)
R. Bott, L. Tu: Differential forms in algebraic topology. Graduate Texts in Mathematics, 82nd Springer-Verlag, New York-Berlin, 1982. ISBN 0-387-90613-4 .