Vertex scheme of an abstract simplicial complex/Definition

Grade: E

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:

There's a lot of work required here. Like what does it mean for "vertices to span a simplex" and so forth? Also the notation for the definition of $\mathcal{K}$ leaves a lot to be desired! It's implied $n$ varies but it is not in the spirit of this site!

Definition

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

• $$\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\}$$ ^Warning: - that is to say $\mathcal{K}$ is the set containing all collections of vertices such that the vertices span a simplex in $K$