Überlagerung/Diskret/Definition

Überlagerung

Es seien ${}X$ und ${}Y$ topologische Räume. Eine stetige Abbildung

$p\colon Y\longrightarrow X$

heißt Überlagerung, wenn es eine offene Überdeckung ${}X=\bigcup _{i\in I}U_{i}$ und eine Familie diskreter topologischer Räume ${}F_{i}$, ${}i\in I$, derart gibt, dass ${}p^{-1}(U_{i})$ homöomorph zu ${}U_{i}\times F_{i}$ (versehen mit der Produkttopologie) ist, wobei die Homöomorphien mit den Abbildungen nach ${}U_{i}$ verträglich sind.