Small subdivisions of simplicial complexes with the metric topology (Q719080)

Soit \(K\) un complexe simplicial, et soit \(|K|_m\) la réalisation géométrique de \(K\), munie de la topologie métrique. Une subdivision simpliciale \(K'\) de \(K\) est dite admissible si \(|K'|_m=|K|_m\). Soit \(K^{(0)}\) l'ensemble des sommets de \(K\). Pour \(v\in K^{(0)}\), soit \(St(v,K)\) l'étoile ouverte de \(v\) dans \(K\). L'auteur montre que, pour tout recouvrement ouvert \(\mathcal U\) de \(|K|_m\), il existe une subdivision admissible \(K'\) de \(K\) telle que le recouvrement de \(|K|_m\) formé par les ensembles \(|St(v,K')|\), \(v\in K'{}^{(0)}\), soit plus fin que \(\mathcal U\).