The open star in a simplicial complex of a vertex is the union of the relative interiors of the simplices containing . In barycentric coordinates it is
Let be the subcomplex consisting of all simplices not containing . The complement of the star is exactly : the positive-coordinate support of a point misses precisely when it is a simplex of . By the allowed closed-subcomplex theorem, is closed in . Hence the star is open.
This is the open-star convention required by the question. The closed star, which also includes the opposite faces, is a different subset and need not be open.

Articles by others on the same topic (0)

There are currently no matching articles.