Sequential homology

The notion of exterior space consists of a topological space together with a certain nonempty family of open subsets that is thought of as a ‘system of open neighborhoods at infinity’. An exterior map is a continuous map which is ‘continuous at infinity’. A strongly locally finite CW-complex X, whose skeletons are provided with the family of the complements of compact subsets, can be considered as an exterior space X. Associated with a compact metric space we also consider the open fundamental complex OFC(X) introduced by Lefschetz. s paper we use sequences of cycles converging to infinity to introduce ‘ordinary’ sequential homology and cohomology theories in the category of exterior spaces. One of the interesting differences with respect to the ordinary theories of topological spaces is that the role of a point is played by the exterior space N of natural numbers with the discrete topology and the cofinite externology. strongly locally finite CW-complex X, we see that the singular homology of X is isomorphic to H•seq(X;⊕0∞Z), the locally finite homology is isomorphic to H•seq(X;∏0∞Z) and the end homology is isomorphic to H•seq(X;∏0∞Z/⊕0∞Z). For cohomology one has that the compact support cohomology is isomorphic to H•seq(X;⊕0∞Z), the singular cohomology is isomorphic to H•seq(X;∏0∞Z) and the end cohomology is isomorphic to H•seq(X;∏0∞Z/⊕0∞Z). espect to the Lefschetz fundamental complex, one has that the Čech homology of a compact metric space can be found as a subgroup of H•seq(OFC(X);R), the Steenrod homology is isomorphic to H•+1seq(OFC(X);∏0∞Z/⊕0∞Z) and the Čech cohomology of X is isomorphic to H•seq(OFC(X);∏0∞Z/⊕0∞Z). y, one also has a Poincaré isomorphism Hqseq(M)≅Hn−qseq(M), where M is a triangulable, second countable, orientable, n-manifold. We remark that in both sides of the isomorphism we are using sequential theories.