Difference between revisions of "Vertex set of an abstract simplicial complex/Definition"

From Maths
Jump to: navigation, search
(Added notation and words version of definition, not just copied and pasted the definition to a subpage!)
 
(No difference)

Latest revision as of 11:37, 19 February 2017

Definition

Let [ilmath]\mathcal{S} [/ilmath] be a abstract simplicial complex, we define the vertex set of [ilmath]\mathcal{S} [/ilmath], denoted as just [ilmath]V[/ilmath] or [ilmath]V_\mathcal{S} [/ilmath], as follows[1]:

  • [math]V_\mathcal{S}:\eq\bigcup_{A\in\{B\in\mathcal{S}\ \vert\ \vert B\vert\eq 1 \} } A[/math] - the union of all one-point sets in [ilmath]\mathcal{S} [/ilmath]

Note: we do not usually distinguish between [ilmath]v\in V_\mathcal{S} [/ilmath] and [ilmath]\{v\}\in\mathcal{S} [/ilmath][1], they are notionally identified.

References

  1. 1.0 1.1 Elements of Algebraic Topology - James R. Munkres