Čech closure spaces: a unified framework for discrete and continuous homotopy

Abstract: Motivated by constructions in topological data analysis and algebraic combinatorics, we study homotopy theory on the category of Cech closure spaces

m a t h b f C l

, the category whose objects are sets endowed with a Cech closure operator and whose morphisms are the continuous maps between them. We introduce new classes of Cech closure structures on metric spaces, graphs, and simplicial complexes, and we show how each of these cases gives rise to an interesting homotopy theory. In particular, we show that there exists a natural family of Cech closure structures on metric spaces which produces a non-trivial homotopy theory for finite metric spaces, i.e. point clouds, the spaces of interest in topological data analysis. We then give a Cech closure structure to graphs and simplicial complexes which may be used to construct a new combinatorial (as opposed to topological) homotopy theory for each skeleton of those spaces. We further show that there is a Seifert-van Kampen theorem for closure spaces, a well-defined notion of persistent homotopy, and an associated interleaving distance. As an illustration of the difference with the topological setting, we calculate the fundamental group for the circle, `circular graphs', and the wedge of circles endowed with different closure structures. Finally, we produce a continuous map from the topological circle to `circular graphs' which, given the appropriate closure structures, induces an isomorphism on the fundamental groups.

Review text

Recall that a closure (or pretopological) space \(X\) is a set with a Čech closure operator: a map \(c\) on the subsets of \(X\) such that (i) \(c(\emptyset)=\emptyset\), (ii) \(A\subseteq c(A)\), and (iii) \(c(A\cup B)=c(A)\cup c(B)\). \(X\) is a topological space only if \(c^2=c\). The author shows that homotopy and the fundamental group can be defined, and a version of the Seifert-Van Kampen theorem is established, for the more general case of closure spaces. Now if \(X\) is a metric space, then for any \(r\geq 0\), a closure operator \(c_r\) is constructed by taking \(c_r(A)\) to be the set of all points in \(X\) whose distance to \(A\) is at most \(r\). The fundamental group of the unit circle \(S^1\) with closure operator \(c_r\) is computed: \(\pi_1(S^1,c_r)\) is isomorphic to \(\mathbb{Z}\) for \(r\leq\tfrac{1}{3}\), but is the trivial group if \(r\geq\tfrac{1}{2}\). It is also shown that \(\pi_1(\mathbb{Z}_n,c_r)\cong\mathbb{Z}\) for \(1\leq r<\tfrac{n}{3}\), and is trivial for \(r\geq\lfloor\tfrac{n}{2}\rfloor\). Possible applications of the constructions presented in the article to computational topology are briefly discussed.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Čech closure spaces: a unified framework for discrete and continuous homotopy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2029610)