Strong homology of inverse systems. III (Q1063897): Difference between revisions

[For parts I and II see ibid. 19, 29-43; 45-64 (1985; Zbl 0559.55008).] In Fortsetzung ihrer Untersuchungen über starke Homologie werden starke Homologiegruppen von inversen Systemen von Paaren (\b{X},\b{A}) eingeführt. Dabei stellt sich heraus, daß 1) es zu jedem Paar (\b{X},\b{A}) eine exakte Homologiesequenz gibt (hergeleitet aus einer exakten Folge \(0\to C_*(\underline A)\to C_*(\underline X)\to C_*(\underline X,\underline A)\to 0)\) 2) induzierte Abbildungen \b{f}\({}_*: H_*(\underline X,\underline A;G)\to H_*(\underline Y,\underline B;G)\) zu einem \b{f}: (\b{X},\b{A})\(\to (\underline Y,\underline B)\) existieren, die einem Homotopieaxiom genügen, und daß 3) diese Homologie folgendem Ausschneidungsaxiom genügt: Sei (\b{X};\b{A},\b{A}') ein inverses System von Triaden, für die \(X_{\lambda}=Int A_{\lambda}\cup Int A'\!_{\lambda}\) (\(\lambda\in\) Indexmenge der Triade) gilt, so induziert die Inklusion \b{i}: (\b{A}',\b{A}\(\cap \underline A')\to (\underline X,\underline A)\) einen Isomorphismus der starken Homologiegruppen. Benutzt man einen Satz über die Existenz von ANR-Auflösungen von Triaden des zweiten Verf. [Tsukuba J. Math. 8, 353-365 (1984)], so erhält man einen entsprechenden Ausschneidungssatz für starke Homologie von topologischen Räumen.