1. Alexandrov's definition

2. The Čech nerve

3. See also

4. Notes

5. References

In topology, the nerve of an open covering is a construction of an abstract simplicial complex from an open covering of a topological space X that captures many of the interesting topological properties in an algorithmic or combinatorial way. It was introduced by Pavel Alexandrov^[1] and now has many variants and generalisations, among them the Čech nerve of a cover, which in turn is generalised by hypercoverings.

Alexandrov's definition

Given an index set I, and open sets U_i contained in X, the nerve N is the set of finite subsets of I defined as follows:

• a finite set J ⊆ I belongs to N if and only if the intersection of the U_i whose subindices are in J is non-empty,

If J belongs to N, then any of its subsets is also in N. Therefore N is an abstract simplicial complex.

In general, the complex N need not reflect the topology of X accurately. For example we can cover any n-sphere with two contractible sets U and V, in such a way that N is an abstract 1-simplex. However, if we also insist that the open sets corresponding to every intersection indexed by a set in N are also contractible, the situation changes. In particular, the nerve lemma states that if is a good cover, in that for each , the set is contractible if it is nonempty, then the nerve is homotopy equivalent to . ^[2]

This means for instance that a circle covered by three open arcs, intersecting in pairs in one arc, is modelled by a homeomorphic complex, the geometrical realization of N.

The Čech nerve

Given an open cover of a topological space , or more generally a cover in a site, we can regard the pairwise fibre products , which in the case of a topological space is precisely the intersection . The collection of all such intersections can be referred to as and the triple intersections as . By considering the natural maps and , we can construct a simplicial object defined by , n-fold fibre product. This is the Čech nerve, and by taking connected components we get a simplicial set, which we can realise topologically: . If the covering and the space are sufficiently nice, for instance if is compact and all intersections of sets in the cover are contractible or empty, then this space is weakly equivalent to . This is known as the nerve theorem.

See also

• Hypercovering

Notes

References

• {{cite book|last=Artin|first=Michael|title=Etale homotopy|year=1969|publisher=Springer|author2=Mazur, Barry}}
• {{nlab|id=nerve+theorem|title=Nerve theorem}}
• Samuel Eilenberg and Norman Steenrod: Foundations of Algebraic Topology, Princeton University Press, 1952, p. 234.

• HM Most Loyal Opposition
• HM Naval Base, Immingham
• HMN (disambiguation)
• HMNZS Aotearoa (A12)
• HMNZS Manawanui (2019)
• HMNZS Taranaki (F148)
• HMO Airport
• H-mode
• Hmong American
• Hmong diaspora
• Hmong folk religion
• Hmong genocide
• Hmong Genocide
• Hmong in California
• Hmong orthography
• Hmong Today (television program)
• H. Monroe Browne
• H. Morrey Cross
• H. Moser & Cie
• H:MOVE
• HM Overseas Civil Service
• Hmp19 protein
• HMP Berwyn
• HMP Bullingon
• HMP Dodds