×

Towards computing homology from finite approximations. (English) Zbl 1026.55009

Summary: We consider the problem of extrapolating the homology of a compact metric space from a finite point-set approximation. Our approach is based on inverse systems of \(\varepsilon\)-neighborhoods and inclusion maps. We show that the inclusion maps are necessary to identify topological features in an \(\varepsilon\)-neighborhood that persist in the limit as \(\varepsilon\to 0\). We outline a possible algorithm for computer implementation. As test examples, we present data for some iterated function system relatives of the Sierpinski triangle.

MSC:

55N99 Homology and cohomology theories in algebraic topology
37C70 Attractors and repellers of smooth dynamical systems and their topological structure
55-04 Software, source code, etc. for problems pertaining to algebraic topology
28A80 Fractals

Software:

Chom