Topologie/Überlagerungen/Semi-lokal einfach-zusammenhängend/Definition

Aus Wikiversity
Semi-lokal einfach-zusammenhängend

Ein topologischer Raum ist semilokal einfach-zusammenhängend, wenn er lokal wegzusammenhängend ist und jeder Punkt eine wegzusammenhängende Umgebung besitzt, so dass der durch die Inklusion induzierte Gruppenhomomorphismus

trivial ist. Eine solche Umgebung heißt Spezialumgebung.