Computational approximations of compact metric spaces

Pedro J. Chocano, Manuel A. Morón, Francisco R. Ruiz del Portal

Given a compact metric space $X$, we associate to it an inverse sequence of finite $T_0$ topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy…