Ideas from Zariski Topology in the Study of Cubical Homology

Kaczynski, Tomasz ; Mrozek, Marian ; Trahan, Anik

Canadian journal of mathematics, Tome 59 (2007) no. 5, pp. 1008-1028

Résumé

Cubical sets and their homology have been used in dynamical systems as well as in digital imaging. We take a fresh look at this topic, following Zariski ideas from algebraic geometry. The cubical topology is defined to be a topology in ${{\mathbb{R}}^{d}}$ in which a set is closed if and only if it is cubical. This concept is a convenient frame for describing a variety of important features of cubical sets. Separation axioms which, in general, are not satisfied here, characterize exactly those pairs of points which we want to distinguish. The noetherian property guarantees the correctness of the algorithms. Moreover, maps between cubical sets which are continuous and closed with respect to the cubical topology are precisely those for whom the homology map can be defined and computed without grid subdivisions. A combinatorial version of the Vietoris–Begle theorem is derived. This theorem plays the central role in an algorithm computing homology of maps which are continuous with respect to the Euclidean topology.

Détail

DOI : 10.4153/CJM-2007-043-3

Mots-clés : 55–04, 52B05, 54C60, 68W05, 68W30, 68U10

Bibliographie

[1] [1] Allili, M. and Kaczynski, T., An algorithmic approach to the construction of homomorphisms induced by maps in homology. Trans. Amer. Math. Soc. 352(2000), no. 5, 2261–2281. Google Scholar

[2] [2] Allili, M., Mischaikow, K., and Tannenbaum, A., Cubical homology and the topological classification of 2D and 3D imagery. ICIP-01, 2(2001), 173–176. Google Scholar

[3] [3] Allili, M. and Ziou, D., Topological feature extraction in binary images. In: Proc. 6th Intl. Symposium on Signal Processing and its Appl., Vol. 2, IEEE 2001, 651–654. Google Scholar

[4] [4] Dieudonné, J. A., Cours de géométrie algébrique, Collection SUP, Le mathématicien, 10-11, Paris 1974. Google Scholar

[5] [5] Dieudonné, J. A., History of Algebraic and Differential Topology, Springer, 1989. Google Scholar

[6] [6] Ehrenborg, R. and Hetyei, G., Generalizations of Baxter's theorem and cubical homology. J. Combin. Theory, Ser. A 69(1995), no. 2, 233–287. Google Scholar

[7] [7] Górniewicz, L., Homological Methods in Fixed Point Theory of Multi-Valued Maps. Dissertationes Math. 129, PWN, Warsaw, 1976. Google Scholar

[8] [8] Jacobson, N., Basic Algebra. II. W. H. Freedman, San Francisco, 1974, Google Scholar

[9] [9] Kaczynski, T., Mischaikow, K., and Mrozek, M., Computational Homology. Applied Mathematical Sciences 157, Springer-Verlag, New York, 2004. Google Scholar

[10] [10] Massey, W. S., A Basic Course in Algebraic Topology. Graduate Texts in Mathematics 127, Springer-Verlag, New York, 1991. Google Scholar

[11] [11] Mischaikow, K., Mrozek, M., and Pilarczyk, P., Graph approach to the computation of the homology of continuous maps. Found. Comput. Math. 5(2005), no. 2, 199–229. Google Scholar

[12] [12] Moore, R. E., Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966. Google Scholar

[13] [13] Mrozek, M., An algorithm approach to the Conley index theory. J. Dynam. Differential Equations 11(1999), no. 4, 711–734. Google Scholar

[14] [14] Mrozek, M., Topological invariants, multivalued maps and computer assisted proofs in dynamics. Comput. Math. Appl. 32(1996), no. 4, 83–104. Google Scholar

[15] [15] Mrozek, M. and Zgliczyński, P., Set arithmetic and the enclosing problem in dynamics, Ann. Polon. Math. 74(2000), 237–259. Google Scholar

[16] [16] Szymczak, A., A combinatorial procedure for finding isolating neighbourhoods and index pairs. Proc. Roy. Soc. Edinburgh Sect. A 127(1997), no. 5, 1075–1088. Google Scholar

[17] [17] Szymczak, A., Index Pairs: From Dynamics to Combinatorics and Back. Ph.D. thesis, Georgia Institute of Technology, Atlanta, 1999. Google Scholar

[18] [18] Trahan, A., Ensembles cubiques: Topologie et algorithmes de correction d’homologie. M.Sc. dissertation, Université de Sherbrooke, Sherbrooke, QC, 2004. Google Scholar