View source for Čech cohomology

''Aleksandrov–Čech cohomology, spectral cohomology''

The direct limit

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211101.png" /></td> </tr></table>

of the cohomology groups with coefficients in an Abelian group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211102.png" /> of the nerves of all open coverings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211103.png" /> of a topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211104.png" />. The cohomology group of a closed subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211105.png" /> can be defined analogously, using the subsystem <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211106.png" /> of all such sets from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211107.png" /> that have non-empty intersection with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211108.png" />. The limit of the groups of the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211109.png" /> defines the cohomology group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111010.png" /> of the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111011.png" />. The cohomology sequence

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111012.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111013.png" /></td> </tr></table>

of the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111014.png" /> is exact, being the limit of the exact cohomology sequences of the pairs of nerves of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111015.png" />.

Aleksandrov–Čech cohomology serves as a substitute for singular cohomology in general categories of topological spaces, and agrees with it whenever the applicability of the latter is not in doubt (specifically, in the case of homologically, locally connected spaces, in particular locally contractible spaces). It satisfies all [[Steenrod–Eilenberg axioms|Steenrod–Eilenberg axioms]], and on the category of paracompact spaces it is uniquely determined by those axioms together with the following conditions: a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111016.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111017.png" />; b) the cohomology group of a discrete union <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111018.png" /> is naturally isomorphic to the direct product of the cohomology groups of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111019.png" />; and c) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111020.png" /> for the system of all neighbourhoods <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111021.png" /> of an arbitrary point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111022.png" />. Aleksandrov–Čech cohomology is isomorphic to Alexander–Spanier cohomology. The latter can be defined with coefficients in a sheaf, and for paracompact spaces it is isomorphic to the cohomology defined in sheaf theory.

The approximability of spaces by polyhedra — by the nerves of closed coverings — was established by P.S. Aleksandrov (cf. [[#References|[1]]]–[[#References|[3]]]). For a particular case he has given the definition of an inverse limit of topological spaces, and, on the basis of the approximation, the definition of the Betti numbers of metrizable compacta. The homology groups of compacta are defined in terms of Vietoris cycles. L.S. Pontryagin [[#References|[4]]] introduced direct and inverse spectra of groups, and applied these notions to the study of the homology groups of compacta. E. Čech began to consider nerves of finite open coverings of non-compact spaces and on this basis initiated the homology theory of arbitrary topological spaces. It turned out later that it is not justifiable to consider only finite open coverings (since this leads to the rather complicated homology of the Stone–Čech compactification). C.H. Dowker [[#References|[5]]] demonstrated that it is fruitful to use arbitrary open coverings in the homology and cohomology theory of non-compact spaces.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.S. Aleksandrov,   ''Math. Ann.'' , '''96'''  (1927)  pp. 489–511</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  P.S. Aleksandrov,   ''C.R. Acad. Sci. Paris'' , '''184'''  (1927)  pp. 317–320</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  P.S. [P.S. Aleksandrov] Aleksandroff,   "Untersuchungen über Gestalt und Lage abgeschlossener Mengen beliebiger Dimension"  ''Ann. of Math. (2)'' , '''30'''  (1929)  pp. 101–187</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  L.S. Pontryagin,   ''Math. Ann.'' , '''105''' :  2  (1931)  pp. 165–205</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  C.H. Dowker,   "Mapping theorems for non-compact spaces"  ''Amer. J. Math.'' , '''69'''  (1947)  pp. 200–242</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  N.E. Steenrod,   S. Eilenberg,   "Foundations of algebraic topology" , Princeton Univ. Press  (1966)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  E.G. Sklyarenko,   "On homology theory associated with the Aleksandrov–Čech cohomology"  ''Russian Math. Surveys'' , '''34''' :  6  (1979)  pp. 103–137  ''Uspekhi Mat. Nauk'' , '''34''' :  6  (1979)  pp. 90–118</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  W.S. Massey,   "Notes on homology and cohomology theory" , Yale Univ. Press  (1964)  pp. Chapt. 1 - 3; 8; Appendix to Chapt. 6</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  E. Čech,   "Théorie générale de l'homologie dans un espace quelconque"  ''Fund. Math.'' , '''19'''  (1932)  pp. 149–183</TD></TR></table>



====Comments====
See also [[Aleksandrov–Čech homology and cohomology|Aleksandrov–Čech homology and cohomology]].