Identification of two subsets. (Q2592877)

Verf. gibt, an die Darstellung von \textit{Alexandroff-Hopf}, Topologie I (1935; JFM 61.0602.*), Kap. VII, \S\ 2 anknüpfend, folgende Verallgemeinerung der Mayer-Vietorisschen Formeln: \(K\) sei ein \(n\)-dimensionaler Komplex; \(C_1\) und \(C_{2}\) seien zwei zueinander fremde Teilkomplexe von \(K\), die beide einem Komplex \(C\) isomorph sind. Der Komplex \(L\) entsteht aus \(K\) dadurch, daß man entsprechende Simplexe von \(C_{1}\) und \(C_{2}\) miteinander identifiziert. \(L\) ist stetiges Bild seines Überlagerungskomplexes \(K\) vermittels einer Abbildung \(f\). \(T^k(K)\) bezeichne diejenige Untergruppe der \(k\)-ten Bettischen Gruppe \(B^k(K)\), deren Elemente bei \(f\) auf das Nullelement von \(B^k(L)\) abgebildet werden, \(S^k(L)\) die Bildgruppe von \(B^k(K)\) in \(B^k(L)\) (entsprechend den Summenzyklen bei Alexandroff-Hopf) und \(N^k(C)\) die Gruppe derjenigen Elemente von \(B^k(C)\), denen in \(C_{1}\) und \(C_{2}\) Elemente entsprechen, die in \(K\) einander homolog sind (entsprechend den Nahtzyklen bei Alexandroff-Hopf). Dann gelten folgende Isomorphien: \[ B^k(L)-S^k(L)\approx N^{k-1}(C),\;B^k(K)-T^k(K)\approx S^k(L),\;B^k(C)-N^k(C)\approx T^k(K). \] Den Mayer-Vietorisschen Formeln entspricht der Fall, daß \(K\) aus zwei Komponenten besteht, deren jede einen der Teilkomplexe \(C_1\), \(C_{2}\) enthält. Verallgemeinerungen in verschiedenen Richtungen (\(C_1\), \(C_{2}\) nicht zueinander fremd; \(K\) kompakter metrischer Raum; Cohomologiegruppen) werden angedeutet.