>>95
そもそも単体複体とは単体Dからの連続写像の形式線形結合で単体Dはコンパクト空間なのでその像もコンパクト、その有限合併もコンパクトです。