×

On the simplicial complex stemmed from a digital graph. (English) Zbl 1168.57300

Summary: We give a digital graph-theoretical approach of the study of digital images with relation to a simplicial complex. Thus, a digital graph \(G_{k}\)-with some \(k\)-adjacency in \(\mathbb{Z}^n\) can be recognized by the simplicial complex spanned by \(G_k\). Moreover, we demonstrate that a graphically \((k_0 k_1)\)-continuous map \(f: {sl G}_{k_0} \subset \mathbb{Z}^{n_0} \to G_{k_1} \subset \mathbb{Z}^{n_1}\) can be converted into the simplicial map \(S(f) : S(G_{k_0}) \to S(G_{k_1})\) with relation to combinatorial topology. Finally, if \(G_{k_0}\) is not \((k_0,3^{n_0}- 1)\)-homotopy equivalent to \(SC^{n_0,4}_{3^{n_0}-1}\), a graphically \((k_0, k_1)\)-continuous map (respectively a graphically \((k_0,k_1)\)-isomorphism) \(f: G_{k_0} \subset \mathbb{Z}^{n_0} \to G_{k_1} \subset \mathbb{Z}^{n_1}\) induces the group homomorphism (respectively the group isomorphism) \(S(f)_* : \pi_1(S(G_{k_0}),u_0) \to pi_1(S(G_{k_1}),f(u_0))\) in algebraic topology.

MSC:

57M10 Covering spaces and low-dimensional topology
05C10 Planar graphs; geometric and topological aspects of graph theory
51N05 Descriptive geometry
55R10 Fiber bundles in algebraic topology
68U05 Computer graphics; computational geometry (digital and algorithmic aspects)