Computational approximations of compact metric spaces

Abstract

Given a compact metric space X, we associate to it an inverse sequence of finite T0 topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of X that is a strong deformation retract of the inverse limit. We provide a method to approximate the homology groups of X and other algebraic invariants. Finally, we study computational aspects and the implementation of this method.