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.