On spherical cycles. (Q2584299)

Ist \(Y\) ein separabler metrischer Raum, dann heißt eine Homologieklasse desselben sphärisch, wenn in ihr eine Sphäre vorkommt. Ein Zykel heißt sphärisch, wenn er in \(Y\) mit einer Sphäre homolog ist. Es gilt: Ist \(Y\) bogenweise zusammenhängend, dann bilden die sphärischen Homologieklassen eine Gruppe. \(M^r\) sei eine \(r\)-dimensionale (endliche oder unendliche) Mannigfaltigkeit, \(P^{r-n-1}\) (\(n>0\)) ein höchstens \((r - n - 1)\)-dimensionales Polyeder in \(M^r\). Dann gilt: Jeder in \(M^r\) berandende in \(M^r - P^{r-n-1}\) liegende \(n\)-Zykel ist sphärisch (bezüglich \(M^r - P^{r-n-1}\)). Ist \(\gamma^n\) ein in \(M^r\) liegender sphärischer Zykel und \(r > 2n\), dann kann eine \(S^n\) durch eine simpliziale Homöomorphie so in die \(M^r\) abgebildet werden, daß das Bild \(\gamma^n_1\) mit \(\gamma^n\) homolog in \(M^r\) ist. Liegt \(\gamma^n\) überdies in \(M^r - P^{r-n-1}\), dann gibt es dieses \(\gamma^n_1\) so, daß \(\gamma^n \sim \gamma^n_1\) in \(M^r - P^{r-n-1}\) ist. Ist \(Q^n\) ein \(n\)-dimensionales Polyeder und \(r > 2n\), dann kann jede stetige Abbildung von \(Q^n\) in die \(M^r\) durch homöomorphe simpliziale Abbildungen von \(Q^n\) in die \(M^r\) approximiert werden.