From samples to shape: a finite approach to topological invariants

Abstract

Given a metric space $Y$ and a compact subspace $X$, we present a method for constructing an inverse sequence of finite topological spaces by sampling points from neighborhoods of $X$ in $Y$. We show that these inverse sequences can be employed to define shape theory and to approximate shape invariants, such as Čech homology groups.