Filtrations induced by continuous functions

DOI10.1016/J.TOPOL.2013.05.013MaRDI QIDQ390412zbMATH OpenOpenAlexWikidataFDO

Authors Barbara Di Fabio, Patrizio Frosini

Publication date 8 January 2014

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.1268

zbMATH Keywords

multi-dimensional filtering functionpersistent homologypersistent topology

Mathematics Subject Classification ID

Compact (locally compact) metric spaces (54E45) Fiber spaces and bundles in algebraic topology (55R99) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Abstract: In Persistent Homology and Topology, filtrations are usually given by introducing an ordered collection of sets or a continuous function from a topological space to $R^n$. A natural question arises, whether these approaches are equivalent or not. In this paper we study this problem and prove that, while the answer to the previous question is negative in the general case, the approach by continuous functions is not restrictive with respect to the other, provided that some natural stability and completeness assumptions are made. In particular, we show that every compact and stable 1-dimensional filtration of a compact metric space is induced by a continuous function. Moreover, we extend the previous result to the case of multi-dimensional filtrations, requiring that our filtration is also complete. Three examples show that we cannot drop the assumptions about stability and completeness. Consequences of our results on the definition of a distance between filtrations are finally discussed.

Review text

Persistent homology characterizes the way in which the homology classes related to the filtration of a topological space are born and die with the filtration. The filtration of the space can arise in two ways, one is as an ordered collection of subsets of the space and the other is from a continuous function from the space into \({\mathbb R}^{n}\). This paper shows that every compact and stable \(1\)-dimensional filtration on a compact metric space is induced by a continuous function. The notion of stability for a filtration requires that the filtration exhibits certain continuity properties. The authors provide examples to show that the conditions are necessary.

Recommendations

• Hausdorff stability of persistence spaces
• Betti numbers in multidimensional persistent homology are stable functions
• Homology and robustness of level and interlevel sets
• Persistent homology for kernels, images, and cokernels
• The theory of multidimensional persistence

Cites work

• A Mayer-Vietoris formula for persistent homology with an application to shape recognition in the presence of occlusions
• Barcodes: The persistent topology of data
• Betti numbers in multidimensional persistent homology are stable functions
• scientific article; zbMATH DE number 5507818 (Why is no real title available?)
• Natural pseudo-distances between closed curves
• Natural pseudodistances between closed manifolds
• Natural pseudodistances between closed surfaces
• Persistent homology -- a survey
• Reeb graphs of curves are stable under function perturbations
• Size functions from a categorical viewpoint
• Size homotopy groups for computation of natural size distances
• Stability of persistence diagrams
• Topology and data
• Uniqueness of models in persistent homology: the case of curves

Cited in

(5)

• Combining persistent homology and invariance groups for shape comparison
• A Filtration of the Space 𝒥= Q ∩ [0,1]
• Assignments to sheaves of pseudometric spaces
• Necessary conditions for discontinuities of multidimensional persistent Betti numbers
• Rigidity of terminal simplices in persistent homology

This page was built for publication: Filtrations induced by continuous functions

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