Simplicial complex

From Maths
Jump to: navigation, search
Stub grade: A
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Early page, needs more references

Definition

A simplicial complex, [ilmath]K[/ilmath], in [ilmath]\mathbb{R}^N[/ilmath] is a collection of simplices, [ilmath]K[/ilmath], such that[1]:

  1. [ilmath]\forall \sigma\in K\forall\tau\in[/ilmath][ilmath]\text{Faces}(\sigma)[/ilmath][ilmath][\tau\in K][/ilmath]
  2. [ilmath]\forall \sigma,\tau\in K[\sigma\cap\tau\neq\emptyset\implies(\sigma\cap\tau\in\text{Faces}(\sigma)\wedge\sigma\cap\tau\in\text{Faces}(\tau))][/ilmath]
    • TODO: "The intersection of any two simplices is a face in each of them" is what he says, [ilmath]\emptyset[/ilmath] being a face would tidy this up slightly but I still think it is not a face!

Underlying set & topology

We use [ilmath]\vert K\vert [/ilmath] to denote the "underlying set" of [ilmath]K[/ilmath]:

  • [ilmath]\vert K\vert:\eq\bigcup_{\sigma\in K}\sigma[/ilmath] - as expected

To make [ilmath]\vert K\vert[/ilmath] into a topological space we require a topology, say [ilmath]\mathcal{J} [/ilmath] (so [ilmath](\vert K\vert,\mathcal{ J })[/ilmath] is a topological space)

  • [ilmath]\mathcal{J}:\eq\left\{U\in\mathcal{P}(\vert K\vert)\ \vert\ \forall\sigma\in K[\sigma\cap U\text{ open in }\sigma]\right\} [/ilmath] - recall [ilmath]\mathcal{J} [/ilmath] is the set of open sets of the topological space.
    • Equivalently: [ilmath]\mathcal{J}:\eq\left\{U\in\mathcal{P}(\vert K\vert)\ \vert\ \forall\sigma\in K\exists V\in\mathcal{K}[\sigma\cap U\eq \sigma\cap V]\right\} [/ilmath] where [ilmath]\mathcal{K} [/ilmath] is the topology of [ilmath]\mathbb{R}^N[/ilmath] - the usual topology from the Euclidean metric
  • We can also work with closed sets:
    • [ilmath]A\in\mathcal{P}(\vert K\vert)[/ilmath] is closed if and only if [ilmath]\forall\sigma\in K[\sigma\cap A\text{ is closed in }\sigma][/ilmath]

Terminology

  • The underlying set, [ilmath]\vert K\vert[/ilmath] is sometimes called the polytope of [ilmath]K[/ilmath]
    • A space that is the polytope of a simplicial complex may be called a polyhedron - but some topologists reserve this for the polytope of a finite simplicial complex
TODO: We are undecided on this

Comments

  • The topology of [ilmath]\vert K\vert[/ilmath] may be finer than the topology [ilmath]\vert K\vert[/ilmath] would inherit as a subspace of [ilmath]\mathbb{R}^N[/ilmath]. We form the following claim:
Grade: A*
This page requires some work to be carried out
Some aspect of this page is incomplete and work is required to finish it
The message provided is:
The claim Munkres makes is:
  • Suppose [ilmath]A[/ilmath] is closed in [ilmath]\vert K\vert[/ilmath] considered as a topological subspace of [ilmath]\mathbb{R}^N[/ilmath] then [ilmath]A[/ilmath] is closed in in [ilmath]\vert K\vert[/ilmath] with its topology as defined above.
    • i.e. [ilmath]\text{closed in subspace}\implies\text{closed in space} [/ilmath]
What does this mean for open sets?

Equivalent definitions

Properties

TODO: There's more and clean up!

See also

Notes

References

  1. Elements of Algebraic Topology - James R. Munkres