《一般拓扑学基础》
· 第 141 页 · Example 7.11
If \(K\) is an abstract simplicial complex, its barycentric subdivision \(\operatorname{Sd}K\) has the simplices of \(K\) as vertices and has simplices \(\{\sigma_0,\ldots,\sigma_q\}\) whenever \(\sigma_0<\cdots<\sigma_q\).
