Math 2.0

Algebraic topology Definition

Nerve of a cover

Builds on Simplicial complexOpen coverTopological space

Definition

Let XX be a topological space and let ๐’ฐ=(Ui)iโˆˆI\mathcal{U} = (U_i)_{i \in I} be a family of subsets of XX, usually an open cover. The nerve N(๐’ฐ)N(\mathcal{U}) is the abstract simplicial complex with vertex set {iโˆˆI:Uiโ‰ โˆ…}\set{i \in I : U_i \ne \emptyset} whose faces are the finite nonempty subsets JโІIJ \subseteq I such that โ‹‚jโˆˆJUjโ‰ โˆ….\bigcap_{j \in J} U_j \ne \emptyset.

Remarks

If JJ is a face and Jโ€ฒโІJJ' \subseteq J is nonempty, then โ‹‚jโˆˆJโ€ฒUjโЇโ‹‚jโˆˆJUjโ‰ โˆ…\bigcap_{j \in J'} U_j \supseteq \bigcap_{j \in J} U_j \ne \emptyset, so Jโ€ฒJ' is a face; this is why N(๐’ฐ)N(\mathcal{U}) is a simplicial complex.

Example: cover the circle S1S^1 by three open arcs U0U_0, U1U_1, U2U_2, each a bit longer than one third of the circle. Choose them so that consecutive arcs overlap and no point lies in all three. Each pair {i,j}\set{i, j} is a face, and {0,1,2}\set{0, 1, 2} is not, so N(๐’ฐ)N(\mathcal{U}) is the boundary of a triangle.

Non-example: the complex with vertices 0,1,20, 1, 2 and all subsets as faces is not the nerve of this cover, since it contains {0,1,2}\set{0, 1, 2} although U0โˆฉU1โˆฉU2=โˆ…U_0 \cap U_1 \cap U_2 = \emptyset.

The same definition applies to any family of sets; the nerve of a closed cover or of a family of convex sets is often used in combinatorics.

Reading path

To understand this page from the ground up, read these 19 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Element definition
  2. Open cover concept
  3. Proposition concept
  4. Simplicial complex concept
  5. Set definition
  6. Conjunction definition
  7. Disjunction definition
  8. Implication definition
  9. Predicate definition
  10. Empty set object
  11. Family of sets definition
  12. Intersection definition
  13. Union definition
  14. Existential quantifier definition
  15. Universal quantifier definition
  16. Subset definition
  17. Union of a family of sets definition
  18. Topological space definition
  19. Nerve of a cover definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Nerve_complex
About this page
TagP2F66BS71T
URIm2://P2F66BS71T
Kinddefinition
WritingW0 stub
MSC55U10, 55N05
DefinesNerve of a cover
UsesSimplicial complex, Open cover, Topological space
Changed2 November 2026

Markdown ยท JSON ยท Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.