## [Überlagerung](/de/node/60463) Definition Eine stetige surjektive Abbildung p : E -> B, so dass jeder Punkt b in B eine offene Umgebung U besitzt, für die p^{-1}(U) eine disjunkte Vereinigung offener Mengen in E ist, die jeweils homeomorph auf U abgebildet werden; diese homeomorphen Scheiben heißen Blätter und p wird als Überlagerungsprojektion bezeichnet. ## Prinzip Prinzip Die ordnende Idee ist lokale Trivialität mit diskreten Fasern: eine Überlagerung ist eine spezielle lokale Homöomorphie mit diskreten Fasern, gleichmäßig über gleichmäßig überdeckten Umgebungen dargestellt, was das Heben von Wegen und Homotopien ermöglicht und eine Verbindung zur Fundamentalgruppe durch Deck-Transformationen herstellt. ## Demonstration Demonstration Die Exponentialabbildung R -> S^1, t -> e^{2πit}, ist das prototypische Beispiel: Jeder Punkt des Kreises hat eine Bogenumgebung, deren Urbild eine disjunkte Vereinigung von Intervallen in R ist, die jeweils homeomorph abgebildet werden; universelle Überlagerungen liefern einfach zusammenhängende Überlagerungen für wegzusammenhängende, lokal wegzusammenhängende, semi-lokal einfach zusammenhängende Räume. ## Fehlanwendung Fehlanwendung Jede lokale Homöomorphie mit einer Überlagerung gleichzusetzen oder Überlagerungsargumente auf Räume anzuwenden, die keine lokale Wegzusammenhängigkeit oder semi-lokale einfache Zusammenhangseigenschaft besitzen, kann scheitern; ebenso ist die Annahme, jede Überlagerung sei regulär (Galois), ohne Symmetrie der Deck-Transformationen falsch. ## Konsequenz Konsequenz Die korrekte Identifikation einer Überlagerung liefert mächtige Werkzeuge: eindeutiges Wegheben, Klassifikation von Überlagerungen durch Untergruppen der Fundamentalgruppe, Übertragung topologischer Eigenschaften zwischen Basis und Überlagerung sowie Konstruktion universeller Überlagerungen für algebraisch-topologische Rechnungen. ## Umkehrung Umkehrung Das konzeptuelle Gegenteil sind Quotientenabbildungen, die Punkte nicht lokal identifizieren, oder Faserungen mit nicht-diskreten Fasern: statt diskreter gleichmäßig verteilter Blätter führen diese Umkehrungen zur Verklebung oder Kollaps von Struktur und verhindern Hebungen und Deck-Transformationen. ## Abgrenzung Abgrenzung Überlagerungen erfordern topologische Voraussetzungen, die ein gleichmäßiges Überdecken erlauben (häufig lokale Wegzusammenhängigkeit und semi-lokaler einfacher Zusammenhang für die Klassifikation); sie schließen Abbildungen mit nicht-diskreten Fasern oder Verzweigungen (branchierte Überlagerungen) aus. ## Semantische Spannung Semantische Spannung Überlagerung steht semantisch nahe bei Faserung und lokaler Homöomorphie: alle Überlagerungen sind lokale Homöomorphismen und 0-dimensionale Faserbündel, unterscheiden sich jedoch von allgemeinen Bündeln durch Diskretheit der Fasern und von beliebigen lokalen Homöomorphismen durch die globale Blattstruktur und Hebeeigenschaften. ## Synthese Synthese Eine Überlagerung ist eine lokal diskrete Blatt-Trivialisierung eines Raums über einem anderen: Sie liefert gleichmäßig überdeckte Umgebungen, die Weg- und Homotopiehebungen ermöglichen, verbindet sich mit der Fundamentalgruppstruktur über Deck-Transformationen und schließt Verzweigungen sowie nicht-diskrete Fasern aus.