Über eine Klasse von lokal zusammenhängenden Räumen (Q567061): Difference between revisions

Die betrachteten Räume, \(\mathfrak R\)-Mengen genannt, sind die ``absoluten Umgebungsretrakte'', d. h. die Kompakten \(R\) mit folgender Eigenschaft: In jedem metrischen Raum, der \(R\) enthält, ist \(R\) Retrakt (\textit{Borsuk}, 1931; F. d. M. \(57_{\text{I}}\), 729) einer offenen Menge. Zu den \(\mathfrak R\)-Mengen gehören die Polyeder, und manche der Eigenschaften, welche die Polyeder im Vergleich mit beliebigen Kompakten so einfach erscheinen lassen, kommen allen \(\mathfrak R\)-Mengen zu. Die \(\mathfrak R\)-Mengen sind ``lokal zusammenziehbar'' (das ist eine Verschärfung von ``lokal zusammenhängend''): In jeder Umgebung \(U(p)\) eines Punktes \(p\) gibt es eine Umgebung \(U'(p)\), die sich innerhalb \(U(p)\) stetig auf einen Punkt zusammenziehen läßt. Für endlich-dimensionale Kompakten ist diese Eigenschaft sogar äquivalent mit der Eigenschaft, \(\mathfrak R\)-Menge zu sein, und ebenso mit dem ``\textit{Lefschetz}schen'' Zusammenhang im kleinen, der auf der lokalen Zusammenziehbarkeit stetiger Sphären beruht (\textit{Lefschetz}, Topology (1930; F. d. M. \(56_{\text{I}}\), 491-497), S. 91). Jede \(\mathfrak R\)-Menge \(A\) im euklidischen \(R^n\) besitzt eine lokal zusammenhängende Begrenzung; jeder Punkt der Begrenzung einer Komponente von \(R^n\) - \(A\) ist von dieser Komponente aus erreichbar. Ein ebenes Kompaktum ist dann und nur dann \(\mathfrak R\)-Menge, wenn es lokal zusammenhängend ist und die Ebene in höchstens endlich viele Gebiete zerlegt.