The natural pseudo-distance as a quotient pseudo-metric, and applications

The natural pseudo-distance is a similarity measure conceived for the purpose of comparing shapes. In this paper we revisit this pseudo-distance from the point of view of quotients. In particular, we show that the natural pseudo-distance coincides with the quotient pseudo-metric on the space of continuous functions on a compact manifold, endowed with the uniform convergence metric, modulo self-homeomorphisms of the manifold. As applications of this result, the natural pseudo-distance is shown to be actually a metric on a number of function subspaces such as the space of topological embeddings, of isometries, and of simple Morse functions on surfaces.

[1]  C. J. Himmelberg.  Pseudo-metrizability of quotient spaces , 1968 .

[2]  Shôshichi Kobayashi.  Transformation groups in differential geometry , 1972 .

[3]  G. Prodi,et al.  METODI PERTURBATIVI NELLA TEORIA DI MORSE , 1975 .

[4]  P. Michor.  Manifolds of differentiable mappings , 1980 .

[5]  P. Frosini,et al.  Size homotopy groups for computation of natural size distances , 1999 .

[6]  D. Burago,et al.  A Course in Metric Geometry , 2001 .

[7]  Pietro Donatini,et al.  Natural pseudodistances between closed manifolds , 2004 .

[8]  Pietro Donatini,et al.  Natural pseudodistances between closed surfaces , 2007 .

[9]  Alexander M. Bronstein,et al.  Topology-Invariant Similarity of Nonrigid Shapes , 2009, International Journal of Computer Vision.

[10]  Daniela Giorgi,et al.  Describing shapes by geometrical-topological properties of real functions , 2008, CSUR.

[11]  E. Kudryavtseva.  Uniform Morse lemma and isotopy criterion for Morse functions on surfaces , 2009 .

[12]  Leonidas J. Guibas,et al.  Gromov‐Hausdorff Stable Signatures for Shapes using Persistence , 2009, Comput. Graph. Forum.

[13]  Pietro Donatini,et al.  Natural pseudo-distances between closed curves , 2009 .

[14]  Patrizio Frosini,et al.  No embedding of the automorphisms of a topological space into a compact metric space endows them with a composition that passes to the limit , 2011, Appl. Math. Lett..

[15]  Claudia Landi,et al.  Reeb graphs of curves are stable under function perturbations , 2012 .

[16]  A. Cerri,et al.  On certain optimal diffeomorphisms between closed curves , 2014 .