Vertex scheme of an abstract simplicial complex

From Maths
Jump to: navigation, search
Stub grade: E
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:
Not important as I wont be examined but I think it is very important to the subject! See Abstract simplicial complex as it has the same note and is why this page was created

Definition

Let [ilmath]K[/ilmath] be a simplicial complex and let [ilmath]V_K[/ilmath] be the vertex set of [ilmath]K[/ilmath] (not to be confused with the vertex set of an abstract simplicial complex), then we may define [ilmath]\mathcal{K} [/ilmath] - an abstract simplicial complex - as follows[1]:

  • [math]\mathcal{K}:\eq\left\{\{a_0,\ldots,a_n\}\in \mathcal{P}(V_K)\ \big\vert\ \text{Span}(a_0,\ldots,a_n)\in K\right\} [/math]Warning:[Note 1] - that is to say [ilmath]\mathcal{K} [/ilmath] is the set containing all collections of vertices such that the vertices span a simplex in [ilmath]K[/ilmath]

See next

Notes

  1. [ilmath]n\in\mathbb{N}_0[/ilmath] here so [ilmath]n[/ilmath] may be zero, we are expressing our interest in only those finite members of [ilmath]\mathcal{P}(V_K)[/ilmath] here, and that are non-empty.
    • TODO: This needs to be rewritten!

References

  1. Elements of Algebraic Topology - James R. Munkres