Computational approximations of compact metric spaces (Q2670242)

In this study, the authors reconstruct properties of topological spaces from finite samples. They provide a method that uses finite topological spaces (finite samples) to compute or approximate the algebraic invariants of compact metric spaces. The construction can be applied to compact metric spaces and reconstructs the homotopy type; also underlined are the computational aspects and the implementation of the method. Two examples are included for which the method is applied for the approximation of the homology groups. The highlights of the paper are: the finite approximative sequences with opposite order, the computational aspects of a FASO for a compact metric space and its implementation, the properties of an inverse limit of a FASO for a compact metric space, and the uniqueness of the FASO constructed for a compact metric space and its relation to other constructions.