Abstract
We propose an extension of simple homotopy by considering homotopic pairs. Intuitively, a homotopic pair is a couple of objects (X,Y) such that X is included in Y and (X,Y) may be transformed to a trivial couple by simple homotopic deformations that keep X inside Y. Thus, these objects are linked by a “relative homotopy relation”.
We formalize these notions by means of completions, which are inductive properties expressed in a declarative way. In a previous work, through the notion of a dyad, we showed that completions were able to handle couples of objects that are linked by a certain “relative homology relation”.
The main result of the paper is a theorem that makes clear the link between homotopic pairs and dyads. Thus, we prove that, in the unified framework of completions, it is possible to handle notions relative to both homotopy and homology.
This work has been partially supported by the “ANR-2010-BLAN-0205 KIDICO” project.
Chapter PDF
Similar content being viewed by others
References
Whitehead, J.H.C.: Simplicial spaces, nuclei, and m-groups. Proc. London Math. Soc. (2) 45, 243–327 (1939)
Björner, A.: Topological methods. In: Graham, R., Grötschel, M., Lovász, L. (eds.) Handbook of Combinatorics, pp. 1819–1872. North-Holland, Amsterdam (1995)
Hachimori, M.: Nonconstructible simplicial balls and a way of testing constructibility. Discrete Comp. Geom. 22, 223–230 (1999)
Kahn, J., Saks, M., Sturtevant, D.: A topological approach to evasiveness. Combinatorica 4, 297–306 (1984)
Welker, V.: Constructions preserving evasiveness and collapsibility. Discrete Math. 207, 243–255 (1999)
Jonsson, J.: Simplicial Complexes of Graphs. Springer (2008)
Kalai, G.: Enumeration of Q-acyclic simplicial complexes. Israel Journal of Mathematics 45(4), 337–351 (1983)
Kong, T.Y.: Topology-preserving deletion of 1’s from 2-, 3- and 4-dimensional binary images. In: Ahronovitz, E., Fiorio, C. (eds.) DGCI 1997. LNCS, vol. 1347, pp. 3–18. Springer, Heidelberg (1997)
Couprie, M., Bertrand, G.: New characterizations of simple points in 2D, 3D and 4D discrete spaces. IEEE Transactions on Pattern Analysis and Machine Intelligence 31(4), 637–648 (2009)
Bertrand, G.: On critical kernels. Comptes Rendus de l’Académie des Sciences, Série Math. (345), 363–367 (2007)
Rosenfeld, A.: Digital topology. Amer. Math. Monthly, 621–630 (1979)
Kovalevsky, V.: Finite topology as applied to image analysis. Comp. Vision Graphics, and Im. Proc. 46, 141–161 (1989)
Kong, T.Y., Rosenfeld, A.: Digital topology: introduction and survey. Comp. Vision, Graphics and Image Proc. 48, 357–393 (1989)
Bertrand, G.: Completions and simplicial complexes, HAL-00761162 (2012)
Bertrand, G.: New structures based on completions. In: Gonzalez-Diaz, R., Jimenez, M.-J., Medrano, B. (eds.) DGCI 2013. LNCS, vol. 7749, pp. 83–94. Springer, Heidelberg (2013)
Giblin, P.: Graphs, surfaces and homology. Chapman and Hall (1981)
Bing, R.H.: Some aspects of the topology of 3-manifolds related to the Poincaré Conjecture. Lectures on Modern Mathematics II, pp. 93–128. Wiley (1964)
Zeeman, E.C.: On the dunce hat. Topology 2, 341–358 (1964)
Hatcher, A.: Algebraic topology. Cambridge University Press (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Bertrand, G. (2014). Completions and Simple Homotopy. In: Barcucci, E., Frosini, A., Rinaldi, S. (eds) Discrete Geometry for Computer Imagery. DGCI 2014. Lecture Notes in Computer Science, vol 8668. Springer, Cham. https://doi.org/10.1007/978-3-319-09955-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-09955-2_6
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09954-5
Online ISBN: 978-3-319-09955-2
eBook Packages: Computer ScienceComputer Science (R0)