Solution

ID: past-exam-of-the-topology-course-of-the-university-of-oxford/2015/3/a/i/solution

The standard simplex of dimension is
It is the convex hull of the coordinate vectors, and its faces of a simplex arise by setting selected coordinates to zero.
An abstract simplicial complex is a pair where is the vertex set and consists of finite nonempty subsets of , contains every singleton, and contains every nonempty subset of each member. A member with vertices is an -simplex.
Its geometric realization is obtained by gluing one standard simplex for each member along the faces specified by common vertex subsets. Equivalently, its points have barycentric coordinates with finite support, nonnegative entries summing to one, and support a simplex of . Use the topology induced by this gluing, equivalently the weak topology of a simplicial realization.

New to topics? Read the docs here!