So a simplex is the $k$-dimensional convex hull of $k+1$ vertices. The convex hulls of a subset of it's vertices are it's faces. A simplicial complex is a collection of simplices such that each face of the simplices is in the complex, and the intersections of the simplices are faces.
Wikipedia tells me that an abstract simplicial complex is a family $\Delta$ of subsets of some set $S$. The finite sets are the faces of the abstract simplicial complex, and faces are within other faces if they are subsets of the sets. That all seems fine.
However, it goes on the define the vertices of the abstract simplicial complex as $\bigcup \Delta$, the union of all the faces. But isn't the union of the faces simply $\Delta$ itself? It seems to me the "vertices" of some kind of abstraction of the usual notion of simplicial complex should be something like all the pairwise intersections of all the faces.
Obviously I am missing something – can someone clarify?
Best Answer
Let the elements of $S$ be called points. $\Delta$ is a collection of sets of points. $\bigcup \Delta$ is a set of points. A set of points is not a collection of sets of points.