Processing math: 100%

classification of covering spaces


Let X be a connectedPlanetmathPlanetmath, locally path connected and semilocally simply connected space. Assume furthermore that X has a basepoint *.

A covering p:EX is called based if E is endowed with a basepoint e and p(e)=*. Two based coverings pi:EiX, i=1,2 are called equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath if there is a basepoint preserving equivalence T:E1E2 that covers the identityPlanetmathPlanetmath, i.e. T is a homeomorphism and the following diagram commutes