covering map

In der Mathematik ist die Überlagerung eines topologischen Raumes  ein anderer topologischer Raum zusammen mit einer Überlagerungsabbildung mit der folgenden Eigenschaft:Zu jedem Punkt in gibt es eine offene Umgebung um , so dass das Urbild von in aus einer Vereinigung paarweise disjunkter offener Mengen besteht, die jeweils via p homöomorph auf abgebildet werden. Anschaulich kann man sich eine Überlagung so vorstellen, dass man auf abrollt bzw. mit einwickelt.
Mehr unter Wikipedia.org...