Zum Inhalt springen

Überlagerung/Diskret/Definition

Aus Wikiversity
Überlagerung

Es seien und topologische Räume. Eine stetige Abbildung

heißt Überlagerung, wenn es eine offene Überdeckung und eine Familie diskreter topologischer Räume , , derart gibt, dass homöomorph zu (versehen mit der Produkttopologie) ist, wobei die Homöomorphien mit den Abbildungen nach verträglich sind.