Topologie/Normale Überlagerung/Definition

Normale Überlagerung

Eine Überlagerung

$p\colon Y\longrightarrow X$

heißt normal, wenn es zu jedem Punkt ${}x\in X$ und jedem Punktepaar ${}y_{1},y_{2}\in p^{-1}(x)$ eine Decktransformation

$\varphi \colon Y\longrightarrow Y$

mit ${}\varphi (y_{1})=y_{2}$ gibt.