Subdivision of Simplicial Complex

Abstract.

This paper provides a self-contained exploration of subdivisions of simplicial complexes, with emphasis on barycentric subdivision. We present formal definitions of subdivisions, show how the realization of a complex is preserved under subdivision, and illustrate these concepts with explicit examples and detailed diagrams. The paper develops the general method of constructing subdivisions by starring from interior points, leading to the standard barycentric and derived subdivisions. We give precise statements and proofs demonstrating that repeated barycentric subdivision reduces the mesh below any prescribed scale, ensuring compatibility with given metrics and enabling applications such as simplicial approximation and homological analysis. Examples and TikZ illustrations clarify the structure of iterated subdivisions for finite complexes, highlighting their geometric and topological properties.

1. Introduction

Subdivision of simplicial complexes is a fundamental tool in topology, geometry, and combinatorics. By breaking down a given complex into finer complexes, subdivisions allow for greater flexibility in geometric and algebraic arguments, and they are essential in applications such as simplicial approximation, mesh refinement, and computational topology.

A central role is played by barycentric subdivision, which systematically splits each simplex of a complex into a collection of smaller simplices according to the combinatorics of its faces. This process preserves the geometric realization of the original complex while refining its simplicial structure. Iterated barycentric subdivision generates arbitrarily fine meshes compatible with any chosen metric, making it a cornerstone of both theoretical and computational approaches.

This paper develops the detailed theory of subdivisions—formal definitions, their topological properties, explicit construction procedures (including starring from interior points), and the pivotal fact that repeated subdivision makes all simplices uniformly small. Through explicit examples, diagrams, and rigorous statements, we show how barycentric subdivision is constructed, how it interacts with the geometry and topology of the original complex, and why it underlies major theorems such as simplicial approximation. The aim is to provide a thorough and concrete exposition, suitable for both learners new to subdivisions as well as researchers who need algorithmic and theoretical insight into the process.

For convenience, throughout this paper we use the term “complex” in place of “simplicial complex” and adopt the following notational conventions. The Euclidean space is denoted by $\mathbb{R}^{J}$. The generalized Euclidean space, $\mathbb{E}^{J}$, is defined as the subset of $\mathbb{R}^{J}$ consisting of all points $(x_{\alpha})_{\alpha\in J}$ such that $x_{\alpha}=0$ for all but finitely many values of $\alpha$; it is a vector space called the generalized Euclidean space and is endowed with the metric $|x-y|=\max\{|x_{\alpha}-y_{\alpha}|\}_{\alpha\in J}$. A complex is denoted by $\mathcal{K}$, and its geometric realization is written as $|\mathcal{K}|$. The notation $\operatorname{Sd}(\mathcal{K})$ stands for a subdivision of the complex $\mathcal{K}$, while $\operatorname{Bsd}(\mathcal{K})$ refers specifically to its barycentric subdivision. The barycenter of a simplex $\sigma$ is denoted by $b_{\sigma}$.

2. Subdivision of complex

Subdivision of a simplicial complex is a process in which the complex is refined into smaller simplices while preserving its geometric realization. This technique allows for breaking down simplices of the original complex into collections of finer simplices that cover the same underlying space.

Definition 2.1 (Subdivision of complex).

Let $\mathcal{K}$ be geometric complex in $\mathbb{E}^{J}$. A complex $\operatorname{Sd}(\mathcal{K})$ is called subdivision of $\mathcal{K}$ if:

1. For every simplex $\sigma^{\prime}\in\operatorname{Sd}(\mathcal{K})$ there exists a $\sigma\in\mathcal{K}$ with $\sigma^{\prime}\subset\sigma$.

2. For every simplex $\sigma\in\mathcal{K}$ there exist finitely many simplices $\sigma_{1}^{\prime},\ldots,\sigma_{n}^{\prime}\in\operatorname{Sd}(\mathcal{K})$ such that $\sigma=\cup_{i=1}^{n}\sigma_{i}^{\prime}$.

The second condition, together with the first condition of the above definition, leads to the following standard result, which describes how the realization of a complex is preserved under subdivision.

Theorem 2.2 (Realization preserved under subdivision).

Let $\mathcal{K}$ be a geometric simplicial complex in an ambient Euclidean space and let $\mathcal{L}=\operatorname{Sd}(\mathcal{K})$ be a subdivision of $\mathcal{K}$. Then

$$\cup_{\sigma^{\prime}\in\mathcal{L}}\sigma^{\prime}\;=\;\cup_{\sigma\in\mathcal{K}}\sigma.$$

In particular, their geometric realizations determine the same subset of the ambient space, so

$$|\mathcal{L}|=|\mathcal{K}|$$

as topological spaces with the subspace topology; more generally, there is a canonical homeomorphism

$$|\mathcal{L}|\cong|\mathcal{K}|.$$

Proof.

We prove the equality of unions by showing both inclusions, using only the defining properties of a subdivision.

Inclusion $\displaystyle\cup_{\sigma^{\prime}\in\mathcal{L}}\sigma^{\prime}\subseteq\cup_{\sigma\in\mathcal{K}}\sigma$. Let $x\in\cup_{\sigma^{\prime}\in\mathcal{L}}\sigma^{\prime}$. Then $x\in\sigma^{\prime}_{0}$ for some simplex $\sigma^{\prime}_{0}\in\mathcal{L}$. By the refinement condition of a subdivision, there exists $\sigma_{0}\in\mathcal{K}$ such that $\sigma^{\prime}_{0}\subseteq\sigma_{0}$. Hence $x\in\sigma_{0}\subseteq\cup_{\sigma\in\mathcal{K}}\sigma$, proving the first inclusion.

Inclusion $\displaystyle\cup_{\sigma\in\mathcal{K}}\sigma\subseteq\cup_{\sigma^{\prime}\in\mathcal{L}}\sigma^{\prime}$. Let $x\in\cup_{\sigma\in\mathcal{K}}\sigma$. Then $x\in\sigma_{0}$ for some simplex $\sigma_{0}\in\mathcal{K}$. By the subdivision covering condition, there exist finitely many simplices $\sigma^{\prime}_{1},\dots,\sigma^{\prime}_{n}\in\mathcal{L}$ such that

$$\sigma_{0}\;=\;\cup_{i=1}^{n}\sigma^{\prime}_{i}.$$

Therefore $x\in\sigma^{\prime}_{i}$ for some $i$, and hence $x\in\cup_{\sigma^{\prime}\in\mathcal{L}}\sigma^{\prime}$, proving the second inclusion.

Combining the two inclusions yields

$$\cup_{\sigma^{\prime}\in\mathcal{L}}\sigma^{\prime}\;=\;\cup_{\sigma\in\mathcal{K}}\sigma.$$

Equality/homeomorphism of realizations. When $|\mathcal{K}|$ and $|\mathcal{L}|$ are both regarded as subsets of the same ambient Euclidean space with the subspace topology, the preceding equality of unions shows that $|\mathcal{K}|=|\mathcal{L}|$ as topological subspaces. If, instead, one treats realizations abstractly (not as the identical subset), the identity on the common underlying subset induces a canonical bijection $|\mathcal{L}|\to|\mathcal{K}|$ which is a homeomorphism since both carry the subspace topology from the same ambient space. Thus there is a canonical homeomorphism

$$|\mathcal{L}|\;\cong\;|\mathcal{K}|.$$

∎

For better understanding let us look at an example that shows how the realization is preserved during the subdivision of the complex.

Example 2.1.

Let $\mathcal{K}$ be the geometric simplicial complex in $\mathbb{R}^{2}$ consisting of a single 2–simplex $\triangle ABC$ together with all its faces as

$$\mathcal{K}=\{A,B,C,[AB],[BC],[CA],[ABC]\}$$

Choose a mid point $D$ on the edge $[A,B]$. Define $\mathcal{L}$ to be the simplicial complex whose 2–simplices are $\triangle ADC$ and $\triangle BDC$, together with all their faces as

$$\mathcal{L}=\{A,B,C,D,[AD],[DB],[BC],[CA],[ADC],[BDC]\}$$

(a) Complex $\mathcal{K}$

(b) Including mid point $D$ of edge $[AB]$ for sub-division complex $\mathcal{L}$ of the complex $\mathcal{K}$

Figure 1. Sub-division of complex $\mathcal{K}$ into the complex $\mathcal{L}$

See in the figure (1). Let us examine how this realization is preserved during the subdivision of the complex.

We claim $\cup_{\sigma^{\prime}\in\mathcal{L}}\sigma^{\prime}\;=\;\cup_{\sigma\in\mathcal{K}}\sigma\;=\;\triangle ABC$. First, every simplex of $\mathcal{L}$ lies in a simplex of $\mathcal{K}$: indeed, $\triangle ADC\subset\triangle ABC$, $\triangle BDC\subset\triangle ABC$, and each edge/vertex of $\mathcal{L}$ is contained in an edge/vertex of $\mathcal{K}$. Hence

$$\cup_{\sigma^{\prime}\in\mathcal{L}}\sigma^{\prime}\;\subseteq\;\cup_{\sigma\in\mathcal{K}}\sigma\;=\;\triangle ABC.$$

Conversely, $\triangle ABC$ decomposes as the union of the two triangles $\triangle ADC$ and $\triangle BDC$, whose interiors are disjoint and which meet along the segment $[D,C]$. Thus

$$\triangle ABC\;=\;\triangle ADC\,\cup\,\triangle BDC\;\subseteq\;\cup_{\sigma^{\prime}\in\mathcal{L}}\sigma^{\prime},$$

so $\cup_{\sigma\in\mathcal{K}}\sigma\subseteq\cup_{\sigma^{\prime}\in\mathcal{L}}\sigma^{\prime}$. Therefore the unions coincide $\cup_{\sigma^{\prime}\in\mathcal{L}}\sigma^{\prime}\;=\;\cup_{\sigma\in\mathcal{K}}\sigma\;=\;\triangle ABC$.

Consequence for realizations. Viewing both $|\mathcal{K}|$ and $|\mathcal{L}|$ as subspaces of $\mathbb{R}^{2}$ with the subspace topology, the above equality of unions implies $|\mathcal{L}|\;=\;|\mathcal{K}|$. Equivalently, there is a canonical homeomorphism $|\mathcal{L}|\cong|\mathcal{K}|$ induced by the identity on $\triangle ABC$.

Theorem 2.3 (Transitivity of subdivision).

If $\mathcal{K}^{\prime\prime}$ is a sub-division of $\mathcal{K}^{\prime}$ and if $\mathcal{K}^{\prime}$ is a sub-division of $\mathcal{K}$, then $\mathcal{K}^{\prime\prime}$ is a sub-division of $\mathcal{K}$.

Proof.

If $\mathcal{K}^{\prime\prime}$ is a sub-division of $\mathcal{K}^{\prime}$ and if $\mathcal{K}^{\prime}$ is a sub-division of $\mathcal{K}$, then $\mathcal{K}^{\prime\prime}$ is a sub-division of $\mathcal{K}$ can be by directly by the definition (2.1).

Let $\tau^{\prime\prime}\in\mathcal{K}^{\prime\prime}$. Since $\mathcal{K}^{\prime\prime}$ is a subdivision of $\mathcal{K}^{\prime}$, there exists $\tau^{\prime}\in\mathcal{K}^{\prime}$ with $\tau^{\prime\prime}\subseteq\tau^{\prime}$. Since $\mathcal{K}^{\prime}$ is a subdivision of $\mathcal{K}$, there exists $\sigma\in\mathcal{K}$ with $\tau^{\prime}\subseteq\sigma$. Thus $\tau^{\prime\prime}\subseteq\sigma$, establishing first condition for $\mathcal{K}^{\prime\prime}$ relative to $\mathcal{K}$.

Let $\sigma\in\mathcal{K}$. Because $\mathcal{K}^{\prime}$ is a subdivision of $\mathcal{K}$, there exist finitely many simplices $\tau^{\prime}_{1},\dots,\tau^{\prime}_{r}\in\mathcal{K}^{\prime}$ such that

$$\sigma\;=\;\bigcup_{j=1}^{r}\tau^{\prime}_{j}.$$

For each $j$, since $\mathcal{K}^{\prime\prime}$ is a subdivision of $\mathcal{K}^{\prime}$, there exist finitely many simplices $\tau^{\prime\prime}_{j,1},\dots,\tau^{\prime\prime}_{j,s_{j}}\in\mathcal{K}^{\prime\prime}$ with

$$\tau^{\prime}_{j}\;=\;\bigcup_{i=1}^{s_{j}}\tau^{\prime\prime}_{j,i}.$$

Therefore

$$\sigma\;=\;\bigcup_{j=1}^{r}\tau^{\prime}_{j}\;=\;\bigcup_{j=1}^{r}\ \bigcup_{i=1}^{s_{j}}\tau^{\prime\prime}_{j,i},$$

a finite union of simplices in $\mathcal{K}^{\prime\prime}$. Hence second condition holds for $\mathcal{K}^{\prime\prime}$ relative to $\mathcal{K}$.

Since both conditions are satisfied, therefore $\mathcal{K}^{\prime\prime}$ is a subdivision of $\mathcal{K}$. ∎

Definition 2.4 (Induced sub-division of a sub-complex).

Let $\mathcal{K}^{\prime}$ be a subdivision of a geometric simplicial complex $\mathcal{K}$, and let $\mathcal{K}_{0}$ be a subcomplex of $\mathcal{K}$. The complex

$$\mathcal{K}^{\prime}\big|_{\mathcal{K}_{0}}\;=\;\bigl\{\;\sigma^{\prime}\in\mathcal{K}^{\prime}\;:\;\sigma^{\prime}\subseteq\,|\mathcal{K}_{0}|\;\bigr\}.$$

is a sub-division of $\mathcal{K}_{0}$, called the sub-division of $\mathcal{K}_{0}$ induced by $\mathcal{K}^{\prime}$.

Example 2.2 (Induced sub-division on a sub-complex).

Let $\mathcal{K}$ be the geometric simplicial complex in $\mathbb{R}^{2}$ consisting of a single triangle $\triangle ABC$ together with all its faces.

$$\mathcal{K}=\{A,B,C,[AB],[BC],[CA],[ABC]\}$$

Form a subdivision $\mathcal{K}^{\prime}$ by choosing a point $D$ on the edge $[A,B]$ and replacing the facet $\triangle ABC$ by the two triangles $\triangle ADC$ and $\triangle BDC$, including all their faces.

$$\mathcal{K}^{\prime}=\{A,B,C,D,[AD],[DB],[BC],[CA],[ADC],[BDC]\}$$

Let $\mathcal{K}_{0}\subset\mathcal{K}$ be the edge subcomplex generated by $[A,B]$, i.e., $\mathcal{K}_{0}=\{A,B,[AB]\}$.

The induced subdivision of $\mathcal{K}_{0}$ from $\mathcal{K}^{\prime}$ is

$$\mathcal{K}^{\prime}\big|_{\mathcal{K}_{0}}\;=\;\bigl\{\,\sigma^{\prime}\in\mathcal{K}^{\prime}\;:\;\sigma^{\prime}\subseteq|\mathcal{K}_{0}|\,\bigr\}.$$

Since $|\mathcal{K}_{0}|=[AB]$, the simplices of $\mathcal{K}^{\prime}$ lying in $[AB]$ are precisely the edges $[AD]$, $[DB]$ and the vertices $A,B,D$. Hence

$$\mathcal{K}^{\prime}\big|_{\mathcal{K}_{0}}\;=\;\bigl\{A,B,D,[AD],[BD]\bigr\},$$

which is a subdivision of the edge $[AB]$ obtained by inserting the vertex $D$. This induced complex refines $\mathcal{K}_{0}$ simplexwise, and each simplex of $\mathcal{K}_{0}$ is a finite union of simplices from $\mathcal{K}^{\prime}\big|_{\mathcal{K}_{0}}$ (notably, $[AB]=[AD]\cup[DB]$), so $\mathcal{K}^{\prime}\big|_{\mathcal{K}_{0}}$ is a subdivision of $\mathcal{K}_{0}$. See the figure (2).

(a) Complex $\mathcal{K}$

(b) Sub-complex $\mathcal{K}_{0}\subset{\mathcal{K}}$

(c) Sub-division $\mathcal{K}^{\prime}$ of $\mathcal{K}$

(d) Sub-division $\mathcal{K}^{\prime}\big|_{\mathcal{K}_{0}}$ of $\mathcal{K}_{0}$ induced by $\mathcal{K}^{\prime}$

Figure 2. Induced sub-division $\mathcal{K}^{\prime}\big|_{\mathcal{K}_{0}}$ of sub-complex $\mathcal{K}_{0}$ of complex $\mathcal{K}$ induced by sub-division $\mathcal{K}^{\prime}$ of $\mathcal{K}$

The next lemma captures a local containment property of stars under subdivision: every new vertex in a subdivided complex has its open star contained in the open star of a suitable original vertex, namely any vertex of the simplex that “carries” the new vertex. Moreover, if $\sigma$ is the simplex of $\mathcal{K}$ with $w\in\operatorname{Int}\sigma$ (the carrier of $w$), then this inclusion holds precisely for those $v$ that are vertices of $\sigma$.

Definition 2.5 (Open star of a vertex of complex).

Let $\mathcal{K}$ be a geometric simplicial complex and let $v$ be a vertex of $\mathcal{K}$. The open star of $v$ in $\mathcal{K}$ is

$$\operatorname{St}(v,\mathcal{K})\;=\;\bigcup\bigl\{\,\operatorname{Int}(\sigma)\;:\;\sigma\in\mathcal{K},\ v\in\sigma\,\bigr\},$$

i.e., the union of the relative interiors of all simplices of $\mathcal{K}$ that contain $v$.

Example 2.3 (Open star in a triangle).

Let $\mathcal{K}$ be the geometric simplicial complex in $\mathbb{R}^{2}$ consisting of the triangle $[ABC]$ together with all its faces:

$$\mathcal{K}=\bigl\{[ABC],\ [AB],\ [BC],\ [CA],\ A,\ B,\ C\bigr\}.$$

For the vertex $A$, the open star $\operatorname{St}(A,\mathcal{K})$ is the union of the relative interiors of all simplices of $\mathcal{K}$ that contain $A$, namely

$$\operatorname{St}(A,\mathcal{K})\;=\;\operatorname{Int}[ABC]\ \cup\ \operatorname{Int}[AB]\ \cup\ \operatorname{Int}[AC]\ \cup\ \{A\}.$$

Similarly,

$$\operatorname{St}(B,\mathcal{K})=\operatorname{Int}[ABC]\cup\operatorname{Int}[AB]\cup\operatorname{Int}[BC]\cup\{B\},$$

$$\operatorname{St}(C,\mathcal{K})=\operatorname{Int}[ABC]\cup\operatorname{Int}[BC]\cup\operatorname{Int}[CA]\cup\{C\}.$$

In words, the open star of a vertex in a single 2–simplex is the interior of the triangle together with the interiors of the two edges incident to that vertex and the vertex itself. See the figure (3).

(a) $\operatorname{St}(A,\mathcal{K})$

(b) $\operatorname{St}(B,\mathcal{K})$

(c) $\operatorname{St}(C,\mathcal{K})$

Figure 3. Open stars for vertices in the triangle complex $\mathcal{K}$

Lemma 2.6 (Star inclusion under subdivision).

Let $\mathcal{K}^{\prime}$ be subdivision of $\mathcal{K}$. Then for each vertex $w$ of $\mathcal{K}^{\prime}$, there is a vertex $v$ of $\mathcal{K}$ such that $\operatorname{St}(w,\mathcal{K}^{\prime})\subset\operatorname{St}(v,\mathcal{K})$. Indeed, if $\sigma$ is the simplex of $\mathcal{K}$ such that $w\in\operatorname{Int}\sigma$, then this inclusion holds precisely when $v$ is a vertex of $\sigma$.

Proof.

Given a geometric simplicial complex $\mathcal{K}$ and a subdivision $\mathcal{K}^{\prime}$ of $\mathcal{K}$, together with an arbitrary vertex $w$ of $\mathcal{K}^{\prime}$ and its carrier simplex $\sigma$ in $\mathcal{K}$ characterized by $w\in\operatorname{Int}\sigma$. To prove, there exists a vertex $v$ of $\mathcal{K}$ such that $\operatorname{St}(w,\mathcal{K}^{\prime})\subset\operatorname{St}(v,\mathcal{K})$; moreover, the full set of such vertices is $\mathrm{Vert}(\sigma)$, i.e., the inclusion holds precisely for those $v$ that are vertices of the carrier simplex $\sigma$.

Let $\mathcal{K}^{\prime}$ be a subdivision of $\mathcal{K}$ and let $w$ be a vertex of $\mathcal{K}^{\prime}$. By the defining property of a subdivision, there exists a unique simplex $\sigma\in\mathcal{K}$ such that $w\in\operatorname{Int}\sigma$; this $\sigma$ is called the carrier of $w$ in $\mathcal{K}$. Write $\sigma=[v_{0},\dots,v_{m}]$ with vertices $v_{i}\in\mathrm{Vert}(\mathcal{K})$.

Step 1: Star containment for any vertex of the carrier:

Fix a vertex $v$ of $\sigma$. We claim $\operatorname{St}(w,\mathcal{K}^{\prime})\subset\operatorname{St}(v,\mathcal{K})$. Let $x\in\operatorname{St}(w,\mathcal{K}^{\prime})$. By definition of open star, there exists a simplex $\tau^{\prime}\in\mathcal{K}^{\prime}$ with $w\in\operatorname{Int}\tau^{\prime}$ and $x\in\operatorname{Int}\tau^{\prime}$. Since $\mathcal{K}^{\prime}$ subdivides $\mathcal{K}$, there exists $\tau\in\mathcal{K}$ such that $\tau^{\prime}\subseteq\tau$. Moreover, $w\in\operatorname{Int}\tau^{\prime}\subseteq\tau$ implies $w\in\operatorname{Int}\tau$ because interiors are preserved under refinement at interior points. By uniqueness of the carrier simplex, $\tau=\sigma$. Hence $\tau^{\prime}\subseteq\sigma$. Because $v$ is a vertex of $\sigma$, every point of $\operatorname{Int}\tau^{\prime}$ lies in a simplex of $\mathcal{K}$ that contains $v$ (indeed, $\sigma$ itself contains both $v$ and $\tau^{\prime}$). Thus $x\in\operatorname{Int}\tau^{\prime}\subseteq\sigma\subset\operatorname{St}(v,\mathcal{K})$. Since $x$ was arbitrary, $\operatorname{St}(w,\mathcal{K}^{\prime})\subset\operatorname{St}(v,\mathcal{K})$.

Step 2: Characterization of all such vertices:

Suppose $v\in\mathrm{Vert}(\mathcal{K})$ satisfies $\operatorname{St}(w,\mathcal{K}^{\prime})\subset\operatorname{St}(v,\mathcal{K})$. We show that $v$ must be a vertex of the carrier $\sigma$. Pick a point $x\in\operatorname{Int}\sigma$ sufficiently close to $w$ so that $x\in\operatorname{St}(w,\mathcal{K}^{\prime})$ (this is possible because $w\in\operatorname{Int}\sigma$ and $\sigma$ is the unique carrier). By the assumed inclusion, $x\in\operatorname{St}(v,\mathcal{K})$. Hence there exists a simplex $\rho\in\mathcal{K}$ containing $v$ with $x\in\operatorname{Int}\rho$. But $x\in\operatorname{Int}\sigma\cap\operatorname{Int}\rho$ implies $\rho=\sigma$ by uniqueness of the simplex whose interior contains $x$. Therefore $v$ is a vertex of $\sigma$.

Combining Steps 1 and 2, we conclude: for every vertex $w$ of $\mathcal{K}^{\prime}$ with carrier $\sigma\in\mathcal{K}$, the inclusion $\operatorname{St}(w,\mathcal{K}^{\prime})\subset\operatorname{St}(v,\mathcal{K})$ holds for each vertex $v$ of $\sigma$, and it holds only for those $v$. This proves the lemma. ∎

Example 2.4 (Star containment under a triangle subdivision).

Let $\mathcal{K}$ be the geometric simplicial complex in $\mathbb{R}^{2}$ consisting of a single 2-simplex together with all its faces,

$$\mathcal{K}=\{A,B,C,\ [AB],[BC],[CA],\ [ABC]\}.$$

Let $\sigma=[ABC]$. Form a subdivision $\mathcal{K}^{\prime}$ (See in figure (4)) by choosing a point $D\in\operatorname{Int}\sigma$ (e.g., the barycenter) and coning to the vertices:

$$\mathcal{K}^{\prime}=\Bigl\{A,B,C,D,\ [AB],[BC],[CA],[AD],[BD],[CD],\ [DAB],[DBC],[DCA]\Bigr\}.$$

(a) Original complex $\mathcal{K}$.

(b) Subdivision $\mathcal{K}^{\prime}$ of $\mathcal{K}$.

Figure 4. Complex $\mathcal{K}$ and its sub-division $\mathcal{K}^{\prime}$.

Open stars in $\mathcal{K}^{\prime}$.

$$\operatorname{St}(A,\mathcal{K}^{\prime}) =\operatorname{Int}[DAB]\ \cup\ \operatorname{Int}[DCA]\ \cup\ \operatorname{Int}[AB]\ \cup\ \operatorname{Int}[AC]\ \cup\ \operatorname{Int}[AD]\ \cup\ \{A\},$$

$$\operatorname{St}(B,\mathcal{K}^{\prime}) =\operatorname{Int}[DAB]\ \cup\ \operatorname{Int}[DBC]\ \cup\ \operatorname{Int}[AB]\ \cup\ \operatorname{Int}[BC]\ \cup\ \operatorname{Int}[BD]\ \cup\ \{B\},$$

$$\operatorname{St}(C,\mathcal{K}^{\prime}) =\operatorname{Int}[DCA]\ \cup\ \operatorname{Int}[DBC]\ \cup\ \operatorname{Int}[AC]\ \cup\ \operatorname{Int}[BC]\ \cup\ \operatorname{Int}[CD]\ \cup\ \{C\},$$

$$\operatorname{St}(D,\mathcal{K}^{\prime}) =\operatorname{Int}[DAB]\ \cup\ \operatorname{Int}[DBC]\ \cup\ \operatorname{Int}[DCA]\ \cup\ \operatorname{Int}[AD]\ \cup\ \operatorname{Int}[BD]\ \cup\ \operatorname{Int}[CD]\ \cup\ \{D\}.$$

Claim.

For the new vertex $w:=D\in\mathrm{Vert}(\mathcal{K}^{\prime})$,

$$\operatorname{St}(D,\mathcal{K}^{\prime})\subset\operatorname{St}(A,\mathcal{K}),\qquad\operatorname{St}(D,\mathcal{K}^{\prime})\subset\operatorname{St}(B,\mathcal{K}),\qquad\operatorname{St}(D,\mathcal{K}^{\prime})\subset\operatorname{St}(C,\mathcal{K}),$$

and these are exactly the vertices $v$ of $\mathcal{K}$ for which the inclusion holds (namely $v\in\{A,B,C\}$, the vertices of the carrier simplex $\sigma$).

Verification.

Since $D\in\operatorname{Int}\sigma$ and $\sigma=[ABC]$ is the unique simplex of $\mathcal{K}$ whose interior contains $D$, the carrier of $D$ is $\sigma$. In $\mathcal{K}^{\prime}$, the open star $\operatorname{St}(D,\mathcal{K}^{\prime})$ is the union of the interiors of the three triangles $[DAB]$, $[DBC]$, $[DCA]$ and their incident open faces, each lying inside $\sigma$. Because $A$ is a vertex of $\sigma$, $\operatorname{St}(A,\mathcal{K})$ is the union of the interiors of all simplices of $\mathcal{K}$ containing $A$, namely the interior of $\sigma$, the edges $[AB]$, $[AC]$, and the vertex $A$. Thus $\operatorname{St}(D,\mathcal{K}^{\prime})\subset\operatorname{St}(A,\mathcal{K})$, and by symmetry the same holds for $B$ and $C$. Conversely, if $v$ is a vertex of $\mathcal{K}$ with $\operatorname{St}(D,\mathcal{K}^{\prime})\subset\operatorname{St}(v,\mathcal{K})$, then any point $x\in\operatorname{Int}\sigma$ sufficiently close to $D$ lies in $\operatorname{St}(D,\mathcal{K}^{\prime})$ and hence in $\operatorname{St}(v,\mathcal{K})$. Therefore $x\in\operatorname{Int}\rho$ for some simplex $\rho\in\mathcal{K}$ containing $v$; since $x\in\operatorname{Int}\sigma$, uniqueness of the containing simplex with nonempty interior gives $\rho=\sigma$, so $v$ is a vertex of $\sigma$.

The above lemma and example tell us a method to construct a subdivision of a complex by “staring at the complex from an interior point”. To this end, we are going to generalize this method to subdivision of complexes.

Lemma 2.7.

If $\mathcal{K}$ is a complex, then intersection of any collection of sub-complexes of $\mathcal{K}$ is a sub-complex of $\mathcal{K}$. Conversely, if $\{\mathcal{K}_{\alpha}\}$ is a collection of complxes in $\mathbb{E}^{J}$, and if the intersection of every pair $|\mathcal{K}_{\alpha}|\cap|\mathcal{K}_{\beta}|$ is the polytype of a complex that is a sub-complex of both $\mathcal{K}_{\alpha}$ and $\mathcal{K}_{\beta}$, then the union $\cup\mathcal{K}_{\alpha}$ is a complex.

Algorithm 1 (General method for subdivision of a complex by starring interior points, built skeleton-by-skeleton).

Our objective is to construct a subdivision of a complex $\mathcal{K}$ inductively over skeleta by first subdividing the $p$-skeleton and then extending into each $(p+1)$-simplex by starring from an interior point. Follow these steps:

Step 1: Data and notation:

Let $\mathcal{K}$ be a simplicial complex. For $p\geq 0$, denote by $\mathcal{K}^{(p)}$ the $p$-skeleton of $\mathcal{K}$, i.e., the subcomplex consisting of all simplices of dimension $\leq p$. Suppose $\mathcal{L}_{p}$ is a subdivision of $\mathcal{K}^{(p)}$ (same underlying space, refined simplices).

Step 2: Boundary restriction on a $(p+1)$-simplex:

Let $\sigma$ be a $(p+1)$-simplex of $\mathcal{K}$. Its boundary $\operatorname{Bd}(\sigma)$ is the union of all $p$-faces of $\sigma$, hence a subcomplex of $\mathcal{K}^{(p)}$. Since $\mathcal{L}_{p}$ subdivides $\mathcal{K}^{(p)}$, the boundary sphere $|\operatorname{Bd}(\sigma)|$ is also the underlying space of a subcomplex of $\mathcal{L}_{p}$. Define

$$\mathcal{L}_{\sigma}\;:=\;\{\,\tau\in\mathcal{L}_{p}\;:\;|\tau|\subset|\operatorname{Bd}(\sigma)|\,\}.$$

Intuitively, $\mathcal{L}_{\sigma}$ is the restriction of the $p$-skeleton subdivision to the boundary of $\sigma$.

Step 3: Choose an interior apex and cone:

Pick a point $w_{\sigma}\in\operatorname{Int}(\sigma)$ (e.g., the barycenter). Form the cone

$$w_{\sigma}\ast\mathcal{L}_{\sigma}\;:=\;\bigl\{\,[w_{\sigma}\cup\tau]\text{ and all faces }:\tau\in\mathcal{L}_{\sigma}\,\bigr\}.$$

Geometrically, this fills $\sigma$ by joining each face of the boundary subdivision to the interior apex $w_{\sigma}$, so that the underlying space of $w_{\sigma}\ast\mathcal{L}_{\sigma}$ is exactly $|\sigma|$.

Step 4: Extend from the $p$-skeleton to the $(p+1)$-skeleton:

Define

$$\mathcal{L}_{p+1}\;:=\;\mathcal{L}_{p}\;\cup\;\bigcup_{\begin{subarray}{c}\sigma\in\mathcal{K}\\ \dim\sigma=p+1\end{subarray}}\bigl(w_{\sigma}\ast\mathcal{L}_{\sigma}\bigr).$$

Thus $\mathcal{L}_{p+1}$ agrees with $\mathcal{L}_{p}$ on $\mathcal{K}^{(p)}$ and, for each $(p+1)$-simplex $\sigma$, replaces the interior of $\sigma$ by the coned subdivision $w_{\sigma}\ast\mathcal{L}_{\sigma}$.

Step 5: Why $\mathcal{L}_{p+1}$ is a simplicial complex:

1. Closure under faces: If $\Delta\in w_{\sigma}\ast\mathcal{L}_{\sigma}$, then any face of $\Delta$ is either a face of $\mathcal{L}_{\sigma}\subset\mathcal{L}_{p}$ or another cone face with apex $w_{\sigma}$; in both cases it lies in $\mathcal{L}_{p+1}$.

2. Compatible overlaps: If $\sigma,\sigma^{\prime}$ are distinct $(p+1)$-simplices sharing a $p$-face $F$, then $\mathcal{L}_{\sigma}$ and $\mathcal{L}_{\sigma^{\prime}}$ coincide on $F$ because both are restrictions of $\mathcal{L}_{p}$. Consequently, the coned pieces $w_{\sigma}\ast\mathcal{L}_{\sigma}$ and $w_{\sigma^{\prime}}\ast\mathcal{L}_{\sigma^{\prime}}$ match along $F$, yielding no gaps or overlaps.

Step 6: Underlying space and subdivision property:

1. On $\mathcal{K}^{(p)}$, the underlying space is unchanged and equals $|\mathcal{K}^{(p)}|$ (already subdivided by $\mathcal{L}_{p}$).

2. Each $(p+1)$-simplex $\sigma$ is exactly filled by $w_{\sigma}\ast\mathcal{L}_{\sigma}$ with underlying space $|\sigma|$.

3. Therefore $|\mathcal{L}_{p+1}|=|\mathcal{K}^{(p+1)}|$, and $\mathcal{L}_{p+1}$ refines $\mathcal{K}^{(p+1)}$ simplexwise; hence $\mathcal{L}_{p+1}$ is a subdivision of $\mathcal{K}^{(p+1)}$.

Step 7: Iteration (full sub-division of $\mathcal{K}$):

Starting from $\mathcal{L}_{0}=\mathcal{K}^{(0)}$ (trivial subdivision on vertices) or from any chosen $\mathcal{L}_{p}$, repeat Steps 1–5 for $p=0,1,\dots,\dim\mathcal{K}-1$. The result is a subdivision of $\mathcal{K}$ obtained by starring interior points in increasing dimension. Special choices of $w_{\sigma}$ recover familiar constructions (e.g., barycentric subdivision when $w_{\sigma}$ is the barycenter of $\sigma$ for every $\sigma$).

3. Barycentric subdivision of complex

Among various subdivision methods, barycentric subdivision is particularly important due to its systematic construction by using barycenters of faces and generating a refined simplicial complex. Subdivisions play a vital role in topology and computational geometry by enabling finer approximations, facilitating simplicial approximations of continuous maps, and supporting algorithms that require mesh refinement.

Definition 3.1 (Barycenter of a simplex).

Let $\sigma=[v_{0}v_{1}\dots v_{p}]$ be an $n$-simplex in an affine (or Euclidean) space with vertices $v_{0},\dots,v_{p}$. The barycenter (or centroid) of $\sigma$ is the point

$$b_{\sigma}=\frac{1}{p+1}\,\sum_{i=0}^{p}v_{i},$$

equivalently, the unique point whose barycentric coordinates relative to $\{v_{i}\}$ are all equal to $\tfrac{1}{p+1}$.

Example 3.1 (Barycenter of a 1-simplex).

Let $\sigma=[v_{0}v_{1}]$ be a $1$-simplex in $\mathbb{R}^{n}$ with endpoints (vertices) $v_{0}$ and $v_{1}$. The barycenter $\sigma=[v_{0}v_{1}]$ is the midpoint

$$b_{\sigma}=\frac{v_{0}+v_{1}}{2}.$$

Equivalently, in barycentric coordinates relative to the vertices $\{v_{0},v_{1}\}$, the barycenter is the unique point with weights

$$\lambda_{v_{0}}=\lambda_{v_{1}}=\tfrac{1}{2},\qquad b_{\sigma}=\lambda_{v_{0}}v_{0}+\lambda_{v_{1}}v_{1}.$$

If $v_{0}=(a_{1},\dots,a_{n})$ and $v_{0}=(b_{1},\dots,b_{n})$, then

$$b_{\sigma}=\Big(\tfrac{a_{1}+b_{1}}{2},\ \dots,\ \tfrac{a_{n}+b_{n}}{2}\Big).$$

Figure 5. Barycenter of a 1-simplex

Example 3.2 (Barycenter of a 2-simplex).

Let $\sigma=[v_{0}v_{1}v_{2}]$ be a $2$-simplex (triangle) in an affine/Euclidean space with vertices $\sigma=[v_{0}v_{1}v_{2}]$. The barycenter (centroid) of $[v_{0}v_{1}v_{2}]$ is

$$b_{\sigma}=\frac{v_{0}+v_{1}+v_{2}}{3}.$$

Equivalently, in barycentric coordinates relative to the vertices $\{v_{0},v_{1},v_{2}\}$,

$$\lambda_{v_{0}}=\lambda_{v_{1}}=\lambda_{v_{2}}=\tfrac{1}{3},\qquad b_{\sigma}=\tfrac{1}{3}v_{0}+\tfrac{1}{3}v_{1}+\tfrac{1}{3}v_{2}.$$

If $v_{0}=(x_{0},y_{0}),\ v_{1}=(x_{1},y_{1}),\ v_{2}=(x_{2},y_{2})\in\mathbb{R}^{2}$, then

$$b_{\sigma}=\Big(\tfrac{x_{0}+x_{1}+x_{2}}{3},\ \tfrac{y_{0}+y_{1}+y_{2}}{3}\Big).$$

Figure 6. Barycenter of a 2-simplex

We now describe the general method for constructing complex sub-divisions in term of barycentric division.

Definition 3.2 ($n$th barycentric subdivision of a complex).

Let $\mathcal{K}$ be a simplicial complex. Define a sequence $\{\mathcal{L}_{p}\}_{p\geq 0}$ of subdivisions of the skeleta of $\mathcal{K}$ inductively as follows. Set $\mathcal{L}_{0}:=\mathcal{K}^{(0)}$, the $0$-skeleton of $\mathcal{K}$. Assume $\mathcal{L}_{p}$ is a subdivision of the $p$-skeleton $\mathcal{K}^{(p)}$. For each $(p+1)$-simplex $\sigma\in\mathcal{K}$, let $b_{\sigma}$ be the barycenter of $\sigma$, and let $\mathcal{L}_{\sigma}$ denote the restriction of $\mathcal{L}_{p}$ to $\operatorname{Bd}(\sigma)$. Define

$$\mathcal{L}_{p+1}\;:=\;\mathcal{L}_{p}\;\cup\;\bigcup_{\begin{subarray}{c}\sigma\in\mathcal{K}\\ \dim\sigma=p+1\end{subarray}}\bigl(b_{\sigma}\ast\mathcal{L}_{\sigma}\bigr),$$

i.e., $\mathcal{L}_{p+1}$ is obtained from $\mathcal{L}_{p}$ by starring $\mathcal{L}_{p}$ from the barycenters of all $(p+1)$-simplices of $\mathcal{K}$. By Lemma (2.7), $\mathcal{L}_{p+1}$ is a complex and a subdivision of $\mathcal{K}^{(p+1)}$.

The first barycentric subdivision of $\mathcal{K}$ is the union

$$\operatorname{Bsd}(\mathcal{K})\;:=\;\bigcup_{p\geq 0}\mathcal{L}_{p},$$

which is a subdivision of $\mathcal{K}$.

Iterates are defined by

$$\operatorname{Bsd}^{1}(\mathcal{K}):=\operatorname{Bsd}(\mathcal{K}),\quad\operatorname{Bsd}^{2}(\mathcal{K}):=\operatorname{Bsd}(\operatorname{Bsd}(\mathcal{K})),\quad\operatorname{Bsd}^{\,n}(\mathcal{K}):=\operatorname{Bsd}\bigl(\operatorname{Bsd}^{\,n-1}(\mathcal{K})\bigr)\quad(n\geq 2),$$

and are called the $n$th barycentric subdivisions of $\mathcal{K}$.

Example 3.3 (Barycentric subdivisions of a simple complex).

Let $\mathcal{K}$ be the simplicial complex obtained by taking a triangle and attaching a line segment at one of its vertices. Concretely, let the triangle be $[v_{0}v_{1}v_{2}]$ with all faces, and attach the edge $[v_{0}w]$ at the vertex $v_{0}$. Thus

$$\mathcal{K}\,=\,\bigl\{v_{0},v_{1},v_{2},w;\ [v_{0}v_{1}],[v_{1}v_{2}],[v_{2}v_{0}],[v_{0}w];\ [v_{0}v_{1}v_{2}]\bigr\}.$$

Step 1: The $0$-skeleton and $\mathcal{L}_{0}$:

By definition, $\mathcal{L}_{0}=\mathcal{K}^{(0)}=\{v_{0},v_{1},v_{2},w\}$.

Step 2: The $1$-skeleton and $\mathcal{L}_{1}$ (first barycentric subdivision on $\mathcal{K}^{(1)}$):

We subdivide each $1$-simplex in $\mathcal{K}^{(1)}$ by starring from its barycenter. Introduce midpoints (barycenters of edges):

$$m_{01}:=\tfrac{v_{0}+v_{1}}{2},\quad m_{12}:=\tfrac{v_{1}+v_{2}}{2},\quad m_{20}:=\tfrac{v_{2}+v_{0}}{2},\quad m_{0w}:=\tfrac{v_{0}+w}{2}.$$

Each original edge $[ab]$ is replaced by the two edges $[a\,m_{ab}]$ and $[m_{ab}\,b]$. Therefore the $1$-skeleton subdivision is

$$\mathcal{L}_{1}^{(1)}\,=\,\bigl\{[v_{0}m_{01}],[m_{01}v_{1}],\ [v_{1}m_{12}],[m_{12}v_{2}],\ [v_{2}m_{20}],[m_{20}v_{0}],\ [v_{0}m_{0w}],[m_{0w}w]\bigr\},$$

with vertex set $\{v_{0},v_{1},v_{2},w,m_{01},m_{12},m_{20},m_{0w}\}$. As there are no $2$-simplices yet used in this step, we set

$$\mathcal{L}_{1}\;=\;\mathcal{L}_{0}\cup\mathcal{L}_{1}^{(1)}.$$

Step 3: The $2$-skeleton and $\mathcal{L}_{2}$ (complete first barycentric subdivision of $\mathcal{K}$):

Now subdivide the unique $2$-simplex $[v_{0}v_{1}v_{2}]$ by starring from its barycenter

$$b:=\tfrac{v_{0}+v_{1}+v_{2}}{3}.$$

Let $\mathcal{L}_{[v_{0}v_{1}v_{2}]}$ be the restriction of $\mathcal{L}_{1}$ to $\operatorname{Bd}[v_{0}v_{1}v_{2}]=[v_{0}v_{1}]\cup[v_{1}v_{2}]\cup[v_{2}v_{0}]$. On each boundary edge, $\mathcal{L}_{1}$ has already introduced the midpoint; coning from $b$ therefore yields the six $2$-simplices

$$[b\,v_{0}\,m_{01}],\ [b\,m_{01}\,v_{1}],\ [b\,v_{1}\,m_{12}],\ [b\,m_{12}\,v_{2}],\ [b\,v_{2}\,m_{20}],\ [b\,m_{20}\,v_{0}].$$

Collecting faces, the first barycentric subdivision is

$$\operatorname{Bsd}(\mathcal{K})\;=\;\mathcal{L}_{2}\;=\;\mathcal{L}_{1}\;\cup\;\bigl(b\ast\mathcal{L}_{[v_{0}v_{1}v_{2}]}\bigr).$$

In particular, the edge $[v_{0}w]$ remains subdivided only at $m_{0w}$, while the triangle is subdivided into six smaller triangles meeting at $b$.

Step 4: The second barycentric subdivision $\operatorname{Bsd}^{2}(\mathcal{K})$:

Apply the same procedure to $\operatorname{Bsd}(\mathcal{K})$: - On each edge of $\operatorname{Bsd}(\mathcal{K})$, insert its midpoint to subdivide it into two edges. - On each $2$-simplex of $\operatorname{Bsd}(\mathcal{K})$ (there are six from the triangle region; the edge $[v_{0}w]$ contributes no $2$-simplices), take its barycenter and cone from it over the subdivided boundary of that $2$-simplex.

Concretely, if $[xyz]$ is one of the six $2$-simplices in $\operatorname{Bsd}(\mathcal{K})$ with edge midpoints $m_{xy},m_{yz},m_{zx}$ and barycenter $b_{xyz}:=\tfrac{x+y+z}{3}$, then $[xyz]$ is replaced by the six triangles

$$[b_{xyz}\,x\,m_{xy}],\ [b_{xyz}\,m_{xy}\,y],\ [b_{xyz}\,y\,m_{yz}],\ [b_{xyz}\,m_{yz}\,z],\ [b_{xyz}\,z\,m_{zx}],\ [b_{xyz}\,m_{zx}\,x],$$

together with all their faces; doing this for all six triangles yields the triangular region partitioned into $36$ small triangles. Along the “tail” edge $[v_{0}w]$, each of its two first-subdivision edges $[v_{0}m_{0w}]$ and $[m_{0w}w]$ is further subdivided at its midpoint, giving four edges in total on that segment. Thus, $\operatorname{Bsd}^{2}(\mathcal{K})\;=\;\operatorname{Bsd}\bigl(\operatorname{Bsd}(\mathcal{K})\bigr)$ is obtained by inserting midpoints on all edges of $\operatorname{Bsd}(\mathcal{K})$ and then coning from the barycenter of each $2$-simplex of $\operatorname{Bsd}(\mathcal{K})$ over its (already) subdivided boundary.

Thus, we can conclude that the $\operatorname{Bsd}(\mathcal{K})$ subdivides the attached edge $[v_{0}w]$ at its midpoint and subdivides the triangle into six small triangles meeting at the barycenter $b$. The $\operatorname{Bsd}^{2}(\mathcal{K})$ further subdivides each first-subdivision edge at its midpoint and refines each of the six triangles into six more, yielding $36$ triangles in the triangular region and four edges along the attached segment.

(a) Original complex $\mathcal{K}$

(b) First barycentric subdivision $\operatorname{Bsd}(\mathcal{K})$

(c) Second barycentric subdivision $\operatorname{Bsd}^{2}(\mathcal{K})$

Figure 7. First and second barycentric sub-division of complex $\mathcal{K}$

Lemma 3.3 (Barcentric subdivision via flags of faces).

The complex $\operatorname{Sd}(\mathcal{K})$ equals the collection of all simplices of the form $b_{\sigma_{1}}b_{\sigma_{2}}\cdots b_{\sigma_{2}}$, where $\sigma_{1}>\sigma_{2}\cdots>\sigma_{n}$, and $\sigma_{1}>\sigma_{2}$ implies $\sigma_{2}$ is proper face of $\sigma_{1}$ and $b_{\sigma_{i}}$ is the barycenter of $\sigma=[v_{0}v_{1}\cdots v_{p}]$ is defined by the point

$$b_{\sigma_{i}}=\sum_{i=0}^{p}\dfrac{1}{p+1}v_{i}$$

The objective of next theorem is to guarantee that iterated barycentric subdivision makes every simplex uniformly small in the given metric, so the mesh of the triangulation can be made finer than any prescribed scale $\epsilon$.

Theorem 3.4 (Mesh goes to zero under iterated barycentric subdivision).

Given a finite simplicial complex $\mathcal{K}$, a metric on its realization $|\mathcal{K}|$, and $\epsilon>0$, there exists $N\in\mathbb{N}$ such that every simplex $\tau$ of $\operatorname{Bsd}^{N}(\mathcal{K})$ has diameter $\operatorname{diam}(\tau)<\epsilon$.

Proof.

As given a finite simplicial complex $\mathcal{K}$, a metric $d$ on the geometric realization $|\mathcal{K}|$ and tolerance $\epsilon>0$. We want to find an integer $N$ so that in the $N$-fold barycentric subdivision $\operatorname{Bsd}^{N}(\mathcal{K})$, every simplex has $d$-diameter less than $\epsilon$.

Let $\mathrm{mesh}(\mathcal{L}):=\max\{\operatorname{diam}(\sigma):\sigma\in\mathcal{L}\}$ denote the mesh (maximal simplex diameter) of a geometric simplicial complex $\mathcal{L}$ with respect to the given metric $d$. Because $\mathcal{K}$ is finite, $\mathrm{mesh}(\mathcal{K})<\infty$.

It suffices to prove that there exists a constant $c\in(0,1)$, depending only on the dimension $n:=\dim\mathcal{K}$, such that

$$\mathrm{mesh}\bigl(\operatorname{Bsd}(\Delta)\bigr)\;\leq\;c\,\mathrm{mesh}(\Delta)\quad\text{for every simplex }\Delta\text{ of dimension }\leq n.$$

Granting this, an induction over the simplices of $\mathcal{K}$ yields

$$\mathrm{mesh}\bigl(\operatorname{Bsd}(\mathcal{K})\bigr)\;\leq\;c\,\mathrm{mesh}(\mathcal{K}),$$

and iterating,

$$\mathrm{mesh}\bigl(\operatorname{Bsd}^{m}(\mathcal{K})\bigr)\;\leq\;c^{\,m}\,\mathrm{mesh}(\mathcal{K})\;\xrightarrow[m\to\infty]{}\;0.$$

Given $\epsilon>0$, choose $N$ with $c^{N}\mathrm{mesh}(\mathcal{K})<\epsilon$; then every simplex $\tau$ of $\operatorname{Bsd}^{N}(\mathcal{K})$ satisfies $\operatorname{diam}(\tau)\leq\mathrm{mesh}(\operatorname{Bsd}^{N}(\mathcal{K}))<\epsilon$.

It remains to justify the contraction factor $c\in(0,1)$. For an $n$-simplex $\Delta$ in an affine/Euclidean model, each simplex $\Delta^{\prime}$ appearing in $\operatorname{Bsd}(\Delta)$ is a convex hull of barycenters of a flag of faces of $\Delta$. A standard estimate shows that

$$\operatorname{diam}(\Delta^{\prime})\;\leq\;\frac{n}{n+1}\,\operatorname{diam}(\Delta),$$

since every vertex of $\Delta^{\prime}$ is an average of vertices of $\Delta$ with coefficients summing to $1$, and successive averaging contracts distances by at least the factor $n/(n+1)$. Thus one may take $c=n/(n+1)<1$ uniformly for all $n$-simplices, and the same bound applies to lower-dimensional faces (with even stronger contraction). This proves the claim. ∎

4. Conclusion

In this paper, we have thoroughly explored the theory and methodology of subdivisions of simplicial complexes, focusing particularly on barycentric subdivisions. We have presented clear definitions, detailed examples, and rigorous proofs to demonstrate how iterated barycentric subdivision refines the complex, making all simplices arbitrarily small with respect to any given metric. This property is crucial for applications in topology and geometry such as simplicial approximation and mesh refinement in computational geometry. The illustrative diagrams provided shed light on the stepwise process of subdivision and help visualize the intricate structure of the resulting complexes. Overall, our exposition aims to provide both theoretical insights and practical tools for researchers working with simplicial complexes and their refinements.

For readers interested in exploring the theory and applications of subdivisions of simplicial complexes in greater depth, we recommend consulting foundational texts such as Munkres’ Elements of Algebraic Topology [munkres1984elements] and Spanier’s Algebraic Topology [spanier1981algebraic]. For a modern perspective on subdivisions in the context of polytopes and higher-dimensional complexes, Ziegler’s Lectures on Polytopes [Ziegler2012] is an excellent resource. In 1988, Margaret [margaret1988] characterized simplicial polytopes that are barycentric subdivisions of the regular $CW$ sphere. In 2010, Murai studied face vectors of barycentric subdivisions of simplicial homology manifolds [murai2010]. In 2021, Athanasiadis discussed about the face number of barycentric subdivisions of cubical complexes in [Athanasiadis2021]. These references offer extensive theoretical background, examples, and applications that complement and deepen the material presented in this paper.