Lefschetz fixed point theorem for digital images
© Ege and Karaca; licensee Springer. 2013
Received: 5 July 2013
Accepted: 30 September 2013
Published: 7 November 2013
In this article we study the fixed point properties of digital images. Moreover, we prove the Lefschetz fixed point theorem for a digital image. We then give some examples about the fixed point property. We conclude that sphere-like digital images have the fixed point property.
MSC:55N35, 68R10, 68U05, 68U10.
Keywordsdigital image Lefschetz fixed point theorem Euler characteristic
Digital topology is important for computer vision, image processing and computer graphics. In this area many researchers, such as Rosenfeld, Kong, Kopperman, Kovalevsky, Boxer, Karaca, Han and others, have characterized the properties of digital images with tools from topology, especially algebraic topology.
The homology theory is the major subject of algebraic topology. It is used in the classification problems of topological spaces. The simplicial homology is one of the homology theories. Homology groups are topological invariants which are related to the different n-dimensional holes, connected components of a geometric object. For example, the torus contains one 0-dimensional hole, two 1-dimensional holes and one 2-dimensional hole.
The Lefschetz fixed point theorem is a formula that counts fixed points of a continuous mapping from a compact topological space X to itself by means of traces of the induced mappings on the homology groups of X. In 1926, Lefschetz introduced the Lefschetz number of a map and proved that if the number is nonzero, then the map has a fixed point. Since the Lefschetz number is defined in terms of the homology homomorphism induced by the map, it is a homotopy invariant. As a result, a nonzero Lefschetz number implies that each of the maps in the given homotopy class has at least one fixed point. The Lefschetz fixed point theorem generalizes a collection of fixed point theorems for different topological spaces. We will work entirely with digital images that are digital simplicial complexes or retracts of digital simplicial complexes.
Arslan et al.  introduced the simplicial homology groups of n-dimensional digital images from algebraic topology. They also computed simplicial homology groups of . Boxer et al.  expanded the knowledge of simplicial homology groups of digital images. They studied the simplicial homology groups of certain minimal simple closed surfaces, extended an earlier definition of the Euler characteristics of a digital image, and computed the Euler characteristic of several digital surfaces. Demir and Karaca  computed the simplicial homology groups of some digital surfaces such as , and .
Karaca and Ege  studied some results related to the simplicial homology groups of 2D digital images. They showed that if a bounded digital image is nonempty and κ-connected, then its homology groups at the first dimension are a trivial group. They also proved that the homology groups of the operands of a wedge of digital images need not be additive. Ege and Karaca  gave characteristic properties of the simplicial homology groups of digital images and then investigated the Eilenberg-Steenrod axioms for the simplicial homology groups of digital images.
This paper is organized as follows. The second section provides the general notions of digital images with κ-adjacency relations, digital homotopy groups and digital homology groups. In Section 3 we present the Lefschetz fixed point theorem for digital images and provide some of its important applications. In the last section we make some conclusions about this topic.
Let ℤ be the set of integers. A (binary) digital image is a pair , where for some positive integer n and κ represents certain adjacency relation for the members of X. A variety of adjacency relations are used in the study of digital images. We give one of them. Let l, n be positive integers, and two distinct points , in , p and q are -adjacent  if there are at most l distinct coordinates j, for which and for all other coordinates j, . The number of points that are adjacent to a given point is represented by a -adjacency relation. From this viewpoint, the -adjacency on ℤ is denoted by the number 2 and -adjacent points are called 2-adjacent. In a similar way, we call 4-adjacent and 8-adjacent for and -adjacent points of ; and in , 6-adjacent, 18-adjacent and 26-adjacent for , and -adjacent points, respectively.
is said to be a digital interval , where with .
Let and be digital images. A function is called -continuous  if for every -connected subset U of X, is a -connected subset of Y.
In a digital image X, if there is a -continuous function such that and , then we say that there exists a digital κ-path  from x to y. If , then f is called digital κ-loop and the point is the base point of the loop f. When a digital loop f is a constant function, it is said to be a trivial loop. A simple closed κ-curve of points in a digital image X is a sequence of images of the κ-path such that and are κ-adjacent if and only if .
Definition 2.1 Let and be digital images. A function is a -isomorphism  if f is -continuous and bijective and is -continuous and it is denoted by .
For a digital image and its subset , we call a digital image pair with κ-adjacency. If A is a singleton set , then is called a pointed digital image.
Definition 2.2 
Let and be digital images. Two -continuous functions are said to be digitally -homotopic in Y if there is a positive integer m and a function such that
for all , and ;
for all , the induced function defined by
is -continuous; and
for all , the induced function defined by
The function H is called a digital -homotopy between f and g. If these functions are digitally -homotopic, this is denoted by . The digital -homotopy relation  is equivalence among digitally continuous functions .
A digital image is said to be κ-contractible if its identity map is -homotopic to a constant function for some , where the constant function is defined by for all .
Let be a digital image pair with κ-adjacency. Let be the inclusion function. A is called a κ-retract of X if and only if there is a κ-continuous function such that for all . Then the function r is called a κ-retraction of X onto A.
A digital homotopy is a deformation retract  if the induced map is the identity map and the induced map is retraction of X onto . The set is called a deformation retract of X.
Definition 2.4 
If p and q are distinct points of , then p and q are κ-adjacent.
If and , then .
An m-simplex is a simplex S such that .
Let P be a digital m-simplex. If is a nonempty proper subset of P, then is called a face of P. We write to denote the vertex set of P, namely the set of all digital 0-simplexes in P. A digital subcomplex A of a digital simplicial complex X with κ-adjacency is a digital simplicial complex  contained in X with .
If P belongs to X, then every face of P also belongs to X.
If , then is either empty or a common face of P and Q.
The dimension of a digital simplicial complex X is the largest integer m such that X has an m-simplex. is a free abelian group  with basis of all digital -simplexes in X.
Corollary 2.6 
Let be a digital simplicial complex of dimension m. Then, for all , is a trivial group.
Definition 2.7 
is called the group of digital simplicial q-cycles.
is called the group of digital simplicial q-boundaries.
is called the q th digital simplicial homology group.
We recall some important examples about digital homology groups of certain digital images.
Theorem 2.13 
is a finitely generated abelian group for every .
is a trivial group for all .
is a free abelian group, possible zero.
In , it is proven that for each , is a covariant functor from the category of digital simplicial complexes and simplicial maps to the category of abelian groups.
Definition 2.14 
Let be a function between two digital images. If for every digital -simplex P determined by in X, is a -simplex in Y for some , then f is called a digital simplicial map.
where , respectively.
Definition 2.15 
Let X and Y be digital images in , using the same adjacency notion, denoted by κ, such that , where is the only point of X adjacent to any point of Y and is the only point of Y adjacent to any point of X. Then the wedge of X and Y, denoted by , is the image , with κ-adjacency.
3 The Lefschetz fixed point theorem for digital images
A digital image is said to have the fixed point property if for any -continuous function , there exists such that . The fixed point property is a topological invariant, i.e., is preserved by any digital isomorphism. The fixed point property is also preserved by any retraction. The Lefschetz fixed point theorem determines when there exist fixed points of a map on a finite digital simplicial complex using a characteristic of the map known as the Lefschetz number.
Theorem 3.2 Let G be a free abelian group, and let be the identity homomorphism. Then , where is the trace of .
Proof Since G is a free abelian group, the rank of G is 1; i.e., we have . Moreover, the trace of is 1 because is the identity map and has an identity -matrix . So, we have . □
Theorem 3.3 If is a finite digital simplicial complex, or the retract of some finite digital simplicial complex, and is a map with , then f has a fixed point.
Theorem 3.4 (One-dimensional Brouwer fixed point theorem)
Every -continuous function has a fixed point.
Proof Let be -continuous. Since and , f has a fixed point. □
Theorem 3.5 (Two-dimensional Brouwer fixed point theorem)
Let be a digital image with 4-adjacency. Every -continuous function has a fixed point.
Since , Theorem 3.3 implies that f has a fixed point. As a result, two-dimensional Brouwer fixed point theorem holds for digital images. □
We conclude now by showing that the fixed point property is a topological property; i.e., two topological spaces which are topologically equivalent to each other either both have or both lack the fixed point property. Because one of the main goals of topology is to discover what properties are maintained when moving between topologically equivalent spaces, this is an incredibly important proposition to make.
Theorem 3.6 Let and be digital images such that . If has the fixed point property, then has the fixed point property.
Proof Since , there exists a bijective function such that f is -continuous and that its inverse is -continuous. Also, X has the fixed point property; i.e., every -continuous function has a fixed point. Now, let be -continuous. Then and, consequently, are certainly -continuous and -continuous, respectively. However, since X has the fixed point property, for some . It follows that , which implies that , proving that h has a fixed point, namely . □
Corollary 3.7 The fixed point property is a topological invariant for digital images.
Theorem 3.8 Let be any digital image, and let be any -continuous map. If X is κ-contractible, then f has a fixed point.
By Theorem 3.3, we have that f has a fixed point. □
which is simply the identity function and thus has a nonzero trace. From Theorem 3.3, every map on a digital image has at least one fixed point.
Corollary 3.10 Any digital image with the same digital homology groups as a single point image always has a fixed point.
Theorem 3.11 Let be a digital image and be a digital κ-retract of . If has the fixed point property, then has the fixed point property.
Hence there is a point such that , where . As a result, has the fixed point property. □
Proposition 3.12 Let A, B be digital images with κ-adjacency. The has the fixed point property if and only if both A and B have the fixed point property.
contrary to the assumption that . So, f has the fixed point. Necessary condition follows from Theorem 3.11. □
Converse of the Lefschetz fixed point theorem need not be true for digital images. Let us see this.
since are the identity functions. Thus , but ϕ has the fixed point. As a consequence, we have the following corollary.
Corollary 3.14 Converse of the Lefschetz fixed point theorem need not be true for digital images.
Now we compute the Lefschetz number of . We define and sketch it.
since is the identity function and . As a result, f has a fixed point.
Proposition 3.16 Let be a digital image. If a map is homotopic to the identity, then .
By Theorem 3.3, f has a fixed point. The Euler characteristic of is .
where . It is clear that this map is a 6-deformation retract of . So, is 6-contractible image. As a result, has the same digital homology groups as a single point image. By Theorem 3.8, we have the following.
Corollary 3.18 Every -continuous map has a fixed point.
The main goal of this study is to determine fixed point properties for a digital image. Moreover, we study the relations between the Euler characteristic and the Lefschetz number. At the end of this work, we give a digital version of the real projective plane and calculate its homology groups and the Lefschetz number. We expect that these properties will be useful for image processing.
The authors thank the editor and the referees for their valuable suggestions to improve the quality of this paper.
- Arslan, H, Karaca, I, Oztel, A: Homology groups of n-dimensional digital images XXI. Turkish National Mathematics Symposium, B1–13 (2008)Google Scholar
- Boxer L, Karaca I, Oztel A: Topological invariants in digital images. J. Math. Sci. Adv. Appl. 2011, 11(2):109–140.MathSciNetGoogle Scholar
- Demir, E, Karaca, I: Simplicial Homology Groups of Certain Digital Surfaces. Preprint (2012)Google Scholar
- Karaca I, Ege O: Some results on simplicial homology groups of 2D digital images. Int. J. Inf. Comput. Sci. 2012, 1(8):198–203.Google Scholar
- Ege O, Karaca I: Fundamental properties of simplicial homology groups for digital images. Am. J. Comput. Technol. Appl. 2013, 1(2):25–42.Google Scholar
- Boxer L: Homotopy properties of sphere-like digital images. J. Math. Imaging Vis. 2006, 24: 167–175. 10.1007/s10851-005-3619-xMathSciNetView ArticleGoogle Scholar
- Herman GT: Oriented surfaces in digital spaces. CVGIP, Graph. Models Image Process. 1993, 55: 381–396. 10.1006/cgip.1993.1029View ArticleGoogle Scholar
- Boxer L: Digitally continuous functions. Pattern Recognit. Lett. 1994, 15: 833–839. 10.1016/0167-8655(94)90012-4View ArticleGoogle Scholar
- Boxer L: A classical construction for the digital fundamental group. J. Math. Imaging Vis. 1999, 10: 51–62. 10.1023/A:1008370600456MathSciNetView ArticleGoogle Scholar
- Boxer L: Digital products, wedges and covering spaces. J. Math. Imaging Vis. 2006, 25: 169–171.MathSciNetView ArticleGoogle Scholar
- Boxer L: Properties of digital homotopy. J. Math. Imaging Vis. 2005, 22: 19–26. 10.1007/s10851-005-4780-yMathSciNetView ArticleGoogle Scholar
- Spanier E: Algebraic Topology. McGraw-Hill, New York; 1966.MATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.