Property \(S_n\). (Q2594986)

Verf. definiert: Eine Menge \(M\) eines metrischen Raumes hat die Eigenschaft \(S_n\), wenn für jedes \(\varepsilon>0\) zwei Summendarstellungen \(M=\sum\limits_{i=1}^k U_i\) und \(M= \sum\limits_{i=1}^k V_i\) von \(M\) mit \(U_i\supset V_i\) und \(\delta(U_i)< \varepsilon\) existieren derart, daß gilt: Für jedes Indexsystem \(i_1,\,\ldots,\, i_k\) gibt es in \(V_{i1} +\cdots+ V_{ik}\) höchstens endlich viele \(n\)-Zyklen (im Sinne von Vietoris), die linear unabhängig sind bezüglich Berandung in \(U_{i1}+ \cdots+ U_{ik}\). (Unterwirft man die \(n\)-Zyklen der Einschränkung, daß sie in einer speziellen Gruppe \(G\) enthalten sein sollen, so erhält man den Begriff der Eigenschaft \(S_n\) bezüglich der Gruppe \(G\).) Die Eigenschaft \(S_0\) ist äquivalent mit der bekannten Eigenschaft \(S\) (Darstellbarkeit als Summe endlich vieler zusammenhängender Mengen \(< \varepsilon\)). Die Eigenschaft \(S_n\) ist stärker als der lokale \(n\)-Zusammenhang; bei \(n>0\) sogar für kompaktes \(M\). Jedoch gilt: Damit ein kompakter, metrischer Raum lokal \(n\)-zusammenhängend ist für \(0 \leqq n \leqq m\), ist notwendig und hinreichend, daß er die Eigenschaft \(S_n\) habe für \(0 \leqq n \leqq m\) (für \(m = 0\) Satz von R. L. Moore). Das Gebiet \(D\) des euklidischen \(E_m\) sei einfach \((m - 1)\)-zusammenhängend (d. h. \(p^{m-1}(D) = 0\)) und habe die Eigenschaft \(S_n\) für \(0\leqq n\leqq m -2\); dann ist die Begrenzung \(B\) von \(D\) ein Peanokontinuum (für \(m = 0\) auch umgekehrt; Satz von R. L. Moore). Damit ein Kontinuum \(K\) der euklidischen \(n\)-Sphäre \(H_n\) ein Peanokontinuum sei, ist notwendig und hinreichend, daß \(H_n - K\) die Eigenschaft \(S_{n-2}\) bezüglich der Gruppe \(B^{n-2}\) der in \(H_n - K\) berandenden \((n - 2)\)-Zyklen besitze. Verf. betrachtet weiter Beziehungen von \(S\)-Eigenschaften einer Menge \(\subset E_m\) (oder \(\subset H_m\)) bzw. ihres Komplements zum lokalen \(n\)-Zusammenhang, gleichmäßig lokalen Zusammenhang, Vermeidbarkeitseigenschaften von \(M\).