 Research
 Open Access
 Published:
Lefschetz fixed point theorem for digital images
Fixed Point Theory and Applications volume 2013, Article number: 253 (2013)
Abstract
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 spherelike digital images have the fixed point property.
MSC:55N35, 68R10, 68U05, 68U10.
1 Introduction
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 ndimensional holes, connected components of a geometric object. For example, the torus contains one 0dimensional hole, two 1dimensional holes and one 2dimensional 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. [1] introduced the simplicial homology groups of ndimensional digital images from algebraic topology. They also computed simplicial homology groups of MS{S}_{18}. Boxer et al. [2] 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 [3] computed the simplicial homology groups of some digital surfaces such as MS{S}_{18}\mathrm{\u266f}MS{S}_{18}, MS{S}_{6} and MS{S}_{6}\mathrm{\u266f}MS{S}_{6}.
Karaca and Ege [4] studied some results related to the simplicial homology groups of 2D digital images. They showed that if a bounded digital image X\subset \mathbb{Z} 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 [5] gave characteristic properties of the simplicial homology groups of digital images and then investigated the EilenbergSteenrod 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.
2 Preliminaries
Let ℤ be the set of integers. A (binary) digital image is a pair (X,\kappa ), where X\subset {\mathbb{Z}}^{n} 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, 1\le l\le n and two distinct points p=({p}_{1},{p}_{2},\dots ,{p}_{n}), q=({q}_{1},{q}_{2},\dots ,{q}_{n}) in {\mathbb{Z}}^{n}, p and q are {k}_{l}adjacent [6] if there are at most l distinct coordinates j, for which {p}_{j}{q}_{j}=1 and for all other coordinates j, {p}_{j}={q}_{j}. The number of points q\in {\mathbb{Z}}^{n} that are adjacent to a given point p\in {\mathbb{Z}}^{n} is represented by a {k}_{l}adjacency relation. From this viewpoint, the {k}_{1}adjacency on ℤ is denoted by the number 2 and {k}_{1}adjacent points are called 2adjacent. In a similar way, we call 4adjacent and 8adjacent for {k}_{1} and {k}_{2}adjacent points of {\mathbb{Z}}^{2}; and in {\mathbb{Z}}^{3}, 6adjacent, 18adjacent and 26adjacent for {k}_{1}, {k}_{2} and {k}_{3}adjacent points, respectively.
A κneighbor of p\in {\mathbb{Z}}^{n} is a point of {\mathbb{Z}}^{n} which is κadjacent to p, where κ is an adjacency relation defined on {\mathbb{Z}}^{n}. A digital image X\subset {\mathbb{Z}}^{n} is κconnected [7] if and only if for every pair of different points x,y\in X, there is a set \{{x}_{0},{x}_{1},\dots ,{x}_{r}\} of points of a digital image X such that x={x}_{0}, y={x}_{r} and {x}_{i} and {x}_{i+1} are κneighbors where i=0,1,\dots ,r1. A maximal κconnected subset of a digital image X is called a κcomponent of X. A set of the form
is said to be a digital interval [8], where a,b\in \mathbb{Z} with a<b.
Let (X,{\kappa}_{0})\subset {\mathbb{Z}}^{{n}_{0}} and (Y,{\kappa}_{1})\subset {\mathbb{Z}}^{{n}_{1}} be digital images. A function f:X\u27f6Y is called ({\kappa}_{0},{\kappa}_{1})continuous [9] if for every {\kappa}_{0}connected subset U of X, f(U) is a {\kappa}_{1}connected subset of Y.
In a digital image X, if there is a (2,\kappa )continuous function f:{[0,m]}_{\mathbb{Z}}\u27f6X such that f(0)=x and f(m)=y, then we say that there exists a digital κpath [10] from x to y. If f(0)=f(m), then f is called digital κloop and the point f(0) 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 m\ge 4 points in a digital image X is a sequence \{f(0),f(1),\dots ,f(m1)\} of images of the κpath f:{[0,m1]}_{\mathbb{Z}}\u27f6X such that f(i) and f(j) are κadjacent if and only if j=i\pm modm.
Definition 2.1 Let (X,{\kappa}_{0})\subset {\mathbb{Z}}^{{n}_{0}} and (Y,{\kappa}_{1})\subset {\mathbb{Z}}^{{n}_{1}} be digital images. A function f:X\u27f6Y is a ({\kappa}_{0},{\kappa}_{1})isomorphism [1] if f is ({\kappa}_{0},{\kappa}_{1})continuous and bijective and {f}^{1}:Y\u27f6X is ({\kappa}_{1},{\kappa}_{0})continuous and it is denoted by X{\approx}_{({\kappa}_{0},{\kappa}_{1})}Y.
For a digital image (X,\kappa ) and its subset (A,\kappa ), we call (X,A) a digital image pair with κadjacency. If A is a singleton set \{{x}_{0}\}, then (X,{x}_{0}) is called a pointed digital image.
Definition 2.2 [9]
Let (X,{\kappa}_{0})\subset {\mathbb{Z}}^{{n}_{0}} and (Y,{\kappa}_{1})\subset {\mathbb{Z}}^{{n}_{1}} be digital images. Two ({\kappa}_{0},{\kappa}_{1})continuous functions f,g:X\u27f6Y are said to be digitally ({\kappa}_{0},{\kappa}_{1})homotopic in Y if there is a positive integer m and a function H:X\times {[0,m]}_{\mathbb{Z}}\u27f6Y such that

for all x\in X, H(x,0)=f(x) and H(x,m)=g(x);

for all x\in X, the induced function {H}_{x}:{[0,m]}_{\mathbb{Z}}\u27f6Y defined by
{H}_{x}(t)=H(x,t)\phantom{\rule{1em}{0ex}}\text{for all}t\in {[0,m]}_{\mathbb{Z}}
is (2,{\kappa}_{1})continuous; and

for all t\in {[0,m]}_{\mathbb{Z}}, the induced function {H}_{t}:X\u27f6Y defined by
{H}_{t}(x)=H(x,t)\phantom{\rule{1em}{0ex}}\text{for all}x\in X
is ({\kappa}_{0},{\kappa}_{1})continuous.
The function H is called a digital ({\kappa}_{0},{\kappa}_{1})homotopy between f and g. If these functions are digitally ({\kappa}_{0},{\kappa}_{1})homotopic, this is denoted by f{\simeq}_{{\kappa}_{0},{\kappa}_{1}}g. The digital ({\kappa}_{0},{\kappa}_{1})homotopy relation [9] is equivalence among digitally continuous functions f:(X,{\kappa}_{0})\u27f6(Y,{\kappa}_{1}).
Definition 2.3 [9]

(i)
A digital image (X,\kappa ) is said to be κcontractible if its identity map is (\kappa ,\kappa )homotopic to a constant function \overline{c} for some c\in X, where the constant function \overline{c}:X\u27f6X is defined by \overline{c}(x)=c for all x\in X.

(ii)
Let (X,A) be a digital image pair with κadjacency. Let i:A\u27f6X be the inclusion function. A is called a κretract of X if and only if there is a κcontinuous function r:X\u27f6A such that r(a)=a for all a\in A. Then the function r is called a κretraction of X onto A.

(iii)
A digital homotopy H:X\times {[0,m]}_{\mathbb{Z}}\u27f6X is a deformation retract [11] if the induced map H(,0) is the identity map {1}_{X} and the induced map H(,m) is retraction of X onto H(X\times \{m\})\subset X. The set H(X\times \{m\}) is called a deformation retract of X.
Definition 2.4 [12]
Let S be a set of nonempty subsets of a digital image (X,\kappa ). Then the members of S are called simplexes of (X,\kappa ) if the following hold:

(a)
If p and q are distinct points of s\in S, then p and q are κadjacent.

(b)
If s\in S and \mathrm{\varnothing}\ne t\subset s, then t\in S.
An msimplex is a simplex S such that S=m+1.
Let P be a digital msimplex. If {P}^{\prime} is a nonempty proper subset of P, then {P}^{\prime} is called a face of P. We write Vert(P) to denote the vertex set of P, namely the set of all digital 0simplexes in P. A digital subcomplex A of a digital simplicial complex X with κadjacency is a digital simplicial complex [12] contained in X with Vert(A)\subset Vert(X).
Definition 2.5 Let (X,\kappa ) be a finite collection of digital msimplexes, 0\le m\le d for some nonnegative integer d. If the following statements hold, then (X,\kappa ) is called [1] a finite digital simplicial complex:

(1)
If P belongs to X, then every face of P also belongs to X.

(2)
If P,Q\in X, then P\cap Q 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 msimplex. {C}_{q}^{\kappa}(X) is a free abelian group [1] with basis of all digital (\kappa ,q)simplexes in X.
Corollary 2.6 [1]
Let (X,\kappa )\subset {\mathbb{Z}}^{n} be a digital simplicial complex of dimension m. Then, for all q>m, {C}_{q}^{\kappa}(X) is a trivial group.
Let (X,\kappa )\subset {\mathbb{Z}}^{n} be a digital simplicial complex of dimension m. The homomorphism {\partial}_{q}:{C}_{q}^{\kappa}(X)\u27f6{C}_{q1}^{\kappa}(X) defined (see [1]) by
is called a boundary homomorphism, where \stackrel{\u02c6}{{p}_{i}} means delete the point {p}_{i}. In [1], it is shown that for all 1\le q\le m,
Definition 2.7 [2]
Let (X,\kappa ) be a digital simplicial complex.

(1)
{Z}_{q}^{\kappa}(X)=Ker{\partial}_{q} is called the group of digital simplicial qcycles.

(2)
{B}_{q}^{\kappa}(X)=Im{\partial}_{q+1} is called the group of digital simplicial qboundaries.

(3)
{H}_{q}^{\kappa}(X)={Z}_{q}^{\kappa}(X)/{B}_{q}^{\kappa}(X) is called the q th digital simplicial homology group.
We recall some important examples about digital homology groups of certain digital images.
Example 2.8 Let X=\{(0,0),(1,0),(0,1),(1,1)\}\subset {\mathbb{Z}}^{2} be a digital image with 4adjacency. In [1], it is shown that digital homology groups of X are:
Example 2.9 Let X=\{(0,1),(0,0),(1,1)\}\subset {\mathbb{Z}}^{2} be a digital image with 8adjacency. Havana et al. [1] showed that digital homology groups of (X,8) are
Example 2.10 MS{C}_{4}=\{(1,0),(1,1),(1,1),(0,1),(0,1),(1,1),(1,0),(1,1)\} is a digital image with 4adjacency in {\mathbb{Z}}^{2} (see Figure 1). The following result is given in [1].
Example 2.11 MS{S}_{6} is a digital image with 6adjacency in {\mathbb{Z}}^{3} (see Figure 2). In [3] Demir and Karaca showed that the digital homology groups of MS{S}_{6} are as follows:
Example 2.12 Let MS{S}_{6}^{\prime} = {{c}_{0}=(0,0,0), {c}_{1}=(1,0,0), {c}_{2}=(1,1,0), {c}_{3}=(0,1,0), {c}_{4}=(0,0,1), {c}_{5}=(1,0,1), {c}_{6}=(1,1,1), {c}_{7}=(0,1,1)} be a digital image with 6adjacency (see Figure 3). In [10], it is shown that
Theorem 2.13 [2]
Let (X,\kappa ) be a directed digital simplicial complex of dimension m.

(1)
{H}_{q}^{\kappa}(X) is a finitely generated abelian group for every q\ge 0.

(2)
{H}_{q}^{\kappa}(X) is a trivial group for all q>m.

(3)
{H}_{m}^{\kappa}(X) is a free abelian group, possible zero.
In [2], it is proven that for each q\ge 0, {H}_{q}^{\kappa} is a covariant functor from the category of digital simplicial complexes and simplicial maps to the category of abelian groups.
Definition 2.14 [2]
Let f:(X,{\kappa}_{0})\u27f6(Y,{\kappa}_{1}) be a function between two digital images. If for every digital ({\kappa}_{0},m)simplex P determined by {\kappa}_{0} in X, f(P) is a ({\kappa}_{1},n)simplex in Y for some n\le m, then f is called a digital simplicial map.
For a digital simplicial map f:(X,{\kappa}_{0})\u27f6(Y,{\kappa}_{1}) and q\ge 0, two induced homomorphisms {f}_{\mathrm{\#}}:{C}_{q}^{{\kappa}_{0}}(X)\u27f6{C}_{q}^{{\kappa}_{1}}(Y) and {f}_{\ast}:{H}_{q}^{{\kappa}_{0}}(X)\u27f6{H}_{q}^{{\kappa}_{1}}(Y) are defined by (see [2])
where z\in {Z}_{q}^{\kappa}(X), respectively.
Definition 2.15 [10]
Let X and Y be digital images in {\mathbb{Z}}^{n}, using the same adjacency notion, denoted by κ, such that X\cap Y=\{{x}_{0}\}, where {x}_{0} is the only point of X adjacent to any point of Y and {x}_{0} is the only point of Y adjacent to any point of X. Then the wedge of X and Y, denoted by X\wedge Y, is the image X\wedge Y=X\cup Y, with κadjacency.
3 The Lefschetz fixed point theorem for digital images
A digital image (X,\kappa ) is said to have the fixed point property if for any (\kappa ,\kappa )continuous function f:(X,\kappa )\u27f6(X,\kappa ), there exists x\in X such that f(x)=x. 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.
Definition 3.1 For a map f:(X,\kappa )\u27f6(X,\kappa ), where (X,\kappa ) is a digital image whose digital homology groups are finitely generated and vanish above some dimension, the Lefschetz number \lambda (f) is defined as follows:
where {f}_{\ast}:{H}_{i}^{\kappa}(X)\u27f6{H}_{i}^{\kappa}(X).
Theorem 3.2 Let G be a free abelian group, and let {1}_{G}:G\to G be the identity homomorphism. Then tr({1}_{G})=rank(G), where tr({1}_{G}) is the trace of {1}_{G}.
Proof Since G is a free abelian group, the rank of G is 1; i.e., we have rank(G)=1. Moreover, the trace of {1}_{G} is 1 because {1}_{G}:G\u27f6G is the identity map and has an identity 1\times 1matrix [1]. So, we have rank(G)=tr({1}_{G}). □
Theorem 3.3 If (X,\kappa ) is a finite digital simplicial complex, or the retract of some finite digital simplicial complex, and f:(X,\kappa )\u27f6(X,\kappa ) is a map with \lambda (f)\ne 0, then f has a fixed point.
Proof Suppose that f has no fixed points. Then we must show that \lambda (f)=0. The approach would be to show that all tr({f}_{\ast}:{H}_{i}^{\kappa}(X)\u27f6{H}_{i}^{\kappa}(X)) are zero. For this purpose, we need the following which is called the Lefschetz principle:
To compute the digital homology groups of (X,\kappa ), we use digital simplicial chains {C}_{i}^{\kappa}(X). Since f has no fixed points and (X,\kappa ) is compact, f must move points at least a fixed positive distance, say δ. Then we use simplexes which have diameter less than \delta /10, and we approximate f by a digital simplicial map g so that pointwise g is within \delta /2 of f. We may assume that δ is so small that g is homotopic to f, so we may as well assume that g=f. Because f moves points at least δ and our digital simplexes are at most \delta /10 in diameter, it is impossible for f to map any digital simplex to itself, so it is immediate that for all k,
□
Theorem 3.4 (Onedimensional Brouwer fixed point theorem)
Every (2,2)continuous function f:{[0,1]}_{\mathbb{Z}}\u27f6{[0,1]}_{\mathbb{Z}} has a fixed point.
Proof Let f:{[0,1]}_{\mathbb{Z}}\u27f6{[0,1]}_{\mathbb{Z}} be (2,2)continuous. Since f(0)=0 and f(1)=1, f has a fixed point. □
Theorem 3.5 (Twodimensional Brouwer fixed point theorem)
Let X=\{(0,0),(1,0),(0,1),(1,1)\}\subset {\mathbb{Z}}^{2} be a digital image with 4adjacency. Every (4,4)continuous function f:(X,4)\u27f6(X,4) has a fixed point.
Proof We compute the Lefschetz number of X. Let f:(X,4)\u27f6(X,4). Take the induced maps {f}_{\ast}:{H}_{q}^{4}(X)\u27f6{H}_{q}^{4}(X). For q=0, we have {f}_{\ast}:{H}_{0}^{4}(X)\u27f6{H}_{0}^{4}(X); i.e., {f}_{\ast}:\mathbb{Z}\u27f6\mathbb{Z} is identity homomorphism. By Theorem 3.2,
For all q>0, it follows from Example 2.8 that {f}_{\ast} is a zero map. Thus we have
Since \lambda (f)=1\ne 0, Theorem 3.3 implies that f has a fixed point. As a result, twodimensional 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 (X,\kappa ) and (Y,{\kappa}^{\prime}) be digital images such that X{\approx}_{(\kappa ,{\kappa}^{\prime})}Y. If (X,\kappa ) has the fixed point property, then (Y,{\kappa}^{\prime}) has the fixed point property.
Proof Since X{\approx}_{(\kappa ,{\kappa}^{\prime})}Y, there exists a bijective function f:(X,\kappa )\u27f6(Y,{\kappa}^{\prime}) such that f is (\kappa ,{\kappa}^{\prime})continuous and that its inverse {f}^{1} is ({\kappa}^{\prime},\kappa )continuous. Also, X has the fixed point property; i.e., every (\kappa ,\kappa )continuous function g:(X,\kappa )\u27f6(X,\kappa ) has a fixed point. Now, let h:(Y,{\kappa}^{\prime})\u27f6(Y,{\kappa}^{\prime}) be ({\kappa}^{\prime},{\kappa}^{\prime})continuous. Then h\circ f:(X,\kappa )\u27f6(Y,{\kappa}^{\prime}) and, consequently, {f}^{1}\circ h\circ f:(X,\kappa )\u27f6(X,\kappa ) are certainly (\kappa ,{\kappa}^{\prime})continuous and ({\kappa}^{\prime},\kappa )continuous, respectively. However, since X has the fixed point property, {f}^{1}(h(f(x)))=x for some x\in X. It follows that f({f}^{1}(h(f(x))))=f(x), which implies that h(f(x))=f(x), proving that h has a fixed point, namely f(x). □
Corollary 3.7 The fixed point property is a topological invariant for digital images.
Theorem 3.8 Let (X,\kappa ) be any digital image, and let f:(X,\kappa )\u27f6(X,\kappa ) be any (\kappa ,\kappa )continuous map. If X is κcontractible, then f has a fixed point.
Proof If X is κcontractible, then we have f{\simeq}_{\kappa ,\kappa}{1}_{X}. So, X and a single point image have the same digital homology groups. Hence we have
Let f:(X,\kappa )\u27f6(X,\kappa ). If we take the induced homomorphisms {f}_{\ast}:{H}_{q}^{\kappa}(X)\u27f6{H}_{q}^{\kappa}(X), for q=0, we have the identity homomorphism {f}_{\ast}:\mathbb{Z}\u27f6\mathbb{Z}. By Theorem 3.2,
Moreover, for all q>0, it follows from Example 2.8 that {f}_{\ast} is a zero map. So, the Lefschetz number of f is
By Theorem 3.3, we have that f has a fixed point. □
Example 3.9 If X is the digital image in Example 2.9, then for any (8,8)continuous map f:(X,8)\u27f6(X,8), the Lefschetz number \lambda (f) is given by the trace of the induced map on homology
which is simply the identity function and thus has a nonzero trace. From Theorem 3.3, every map on a digital image (X,8) has at least one fixed point.
Corollary 3.10 Any digital image (X,\kappa ) with the same digital homology groups as a single point image always has a fixed point.
Theorem 3.11 Let (X,\kappa ) be a digital image and (A,\kappa ) be a digital κretract of (X,\kappa ). If (X,\kappa ) has the fixed point property, then (A,\kappa ) has the fixed point property.
Proof Let (A,\kappa ) be a digital κretract of (X,\kappa ). Then there exists a digital κretraction map r such that r\circ i={1}_{(A,\kappa )}, where i:(A,\kappa )\u27f6(X,\kappa ) is an inclusion map. Since (X,\kappa ) has the fixed point property, every (\kappa ,\kappa )continuous function f:(X,\kappa )\u27f6(X,\kappa ) has a fixed point, that is, there exists a point x\in X such that f(x)=x. We have
For all x\in (A,\kappa ),
Hence there is a point x\in (A,\kappa ) such that h(x)=x, where h=r\circ f\circ i. As a result, (A,\kappa ) has the fixed point property. □
Proposition 3.12 Let A, B be digital images with κadjacency. The A\wedge B has the fixed point property if and only if both A and B have the fixed point property.
Proof Let u be the common base point. For sufficient condition, suppose f:A\wedge B\u27f6A\wedge B, and let us assume that f(u)\in A and f(u)\ne u. Let g:A\u27f6A be p, the projection of A\wedge B onto A. Then g({a}_{0})={a}_{0} for some {a}_{0}\in A. If f({a}_{0})\in A, then
On the other hand, if f({a}_{0})\in B, then
contrary to the assumption that f(u)\in AB. So, f has the fixed point. Necessary condition follows from Theorem 3.11. □
The boundary Bd({I}^{n+1}) of an (n+1)cube {I}^{n+1} is homeomorphic to nsphere {S}^{n}. This allows us to represent a digital sphere by using the boundary of a digital cube. We use {0}_{n} to denote the origin of {\mathbb{Z}}^{n}. Boxer [10] defines spherelike digital image as follows:
Converse of the Lefschetz fixed point theorem need not be true for digital images. Let us see this.
Example 3.13 {S}_{1}=\{(1,0),(1,1),(1,1),(0,1),(0,1),(1,1),(1,0),(1,1)\} is a digital 1sphere with 4adjacency in {\mathbb{Z}}^{2}. It is the digital 4closed curve MS{C}_{4}. By Example 2.10, we have
Let \varphi :({S}_{1},4)\u27f6({S}_{1},4) be a digital (4,4)continuous map. This map is defined as \varphi (z)=z, where z\in {S}_{1}. The Lefschetz number of ϕ is
since {\varphi}_{0},{\varphi}_{1}:\mathbb{Z}\u27f6\mathbb{Z} are the identity functions. Thus \lambda (\varphi )=0, 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 {S}_{2}. We define and sketch it.
Example 3.15 {S}_{2}={[1,1]}_{\mathbb{Z}}^{3}\setminus \{(0,0,0)\} is a digital 2sphere with 6adjacency in {\mathbb{Z}}^{3}. It is the digital image MS{S}_{6} in Example 2.11. Let f:({S}_{2},6)\u27f6({S}_{2},6) be a digital (6,6)continuous map. Using Theorem 3.2, the Lefschetz number of f is
since {f}_{0}:\mathbb{Z}\u27f6\mathbb{Z} is the identity function and {f}_{1}:{\mathbb{Z}}^{23}\u27f6{\mathbb{Z}}^{23}. As a result, f has a fixed point.
In [10], Boxer et al. defined the Euler characteristic of digital images. Let (X,\kappa ) be a digital image of dimension m, and for each q\ge 0, let {\alpha}_{q} be the number of digital (\kappa ,q)simplexes in X. The Euler characteristic of X, denoted by \chi (X,\kappa ), is defined by
Moreover, they proved that if (X,\kappa ) is a digital image of dimension m, then
Proposition 3.16 Let (X,\kappa ) be a digital image. If a map f:(X,\kappa )\u27f6(X,\kappa ) is homotopic to the identity, then \lambda (f)=\chi (X,\kappa ).
Proof We could equally have defined the Lefschetz number without homology as follows:
where {f}_{\mathrm{\#}}:{C}_{i}^{\kappa}(X)\u27f6{C}_{i}^{\kappa}(X). Since homotopic maps induce the same map on nchains, we can consider {1}_{\mathrm{\#}}:{C}_{i}^{\kappa}(X)\u27f6{C}_{i}^{\kappa}(X). The map {1}_{\mathrm{\#}} is the {\alpha}_{q}(X,\kappa )\times {\alpha}_{q}(X,\kappa ) identity matrix and thus has the trace {\alpha}_{q}(X,\kappa ). As a result,
□
Example 3.17 Let MS{S}_{6}^{\prime} in Example 2.12 be denoted by (X,6), and let f:(X,6)\u27f6(X,6) be any (6,6)continuous map. For q>1, {f}_{q}:{H}_{q}^{6}(X)\u27f6{H}_{q}^{6}(X) is a zero map, so tr({f}_{q})=0. For q=0, tr({f}_{\ast})=1 because {f}_{0} is the identity function on ℤ. On the other hand, for q=1, we get tr({f}_{\ast})=rank({\mathbb{Z}}^{5})=5 in that 5\times 5matrix of {f}_{1}:{\mathbb{Z}}^{5}\u27f6{\mathbb{Z}}^{5} is
We have
By Theorem 3.3, f has a fixed point. The Euler characteristic of MS{S}_{6}^{\prime} is \chi (MS{S}_{6}^{\prime},6)=4.
We define a digital version of the real projective plane \mathbb{R}{P}^{2} via a quotient map from {S}_{2} with antipodal points. Denote the digital projective plane by {P}^{2}. We calculated the Lefschetz number of {S}_{2} in Example 3.15. Let
If we take the quotient map q:{S}_{2}\u27f6{S}_{2}{/}_{x\sim x}, where −x is the antipodal point of x\in {S}_{2}, then we have the digital projective plane {P}^{2} (see Figure 4).
Define a map H:{P}^{2}\times {[0,4]}_{\mathbb{Z}}\u27f6{P}^{2} by the following.
where c\in {P}^{2}. It is clear that this map is a 6deformation retract of {P}^{2}. So, {P}^{2} is 6contractible image. As a result, {P}^{2} has the same digital homology groups as a single point image. By Theorem 3.8, we have the following.
Corollary 3.18 Every (6,6)continuous map f:{P}^{2}\u27f6{P}^{2} has a fixed point.
4 Conclusion
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.
References
Arslan, H, Karaca, I, Oztel, A: Homology groups of ndimensional digital images XXI. Turkish National Mathematics Symposium, B1–13 (2008)
Boxer L, Karaca I, Oztel A: Topological invariants in digital images. J. Math. Sci. Adv. Appl. 2011, 11(2):109–140.
Demir, E, Karaca, I: Simplicial Homology Groups of Certain Digital Surfaces. Preprint (2012)
Karaca I, Ege O: Some results on simplicial homology groups of 2D digital images. Int. J. Inf. Comput. Sci. 2012, 1(8):198–203.
Ege O, Karaca I: Fundamental properties of simplicial homology groups for digital images. Am. J. Comput. Technol. Appl. 2013, 1(2):25–42.
Boxer L: Homotopy properties of spherelike digital images. J. Math. Imaging Vis. 2006, 24: 167–175. 10.1007/s108510053619x
Herman GT: Oriented surfaces in digital spaces. CVGIP, Graph. Models Image Process. 1993, 55: 381–396. 10.1006/cgip.1993.1029
Boxer L: Digitally continuous functions. Pattern Recognit. Lett. 1994, 15: 833–839. 10.1016/01678655(94)900124
Boxer L: A classical construction for the digital fundamental group. J. Math. Imaging Vis. 1999, 10: 51–62. 10.1023/A:1008370600456
Boxer L: Digital products, wedges and covering spaces. J. Math. Imaging Vis. 2006, 25: 169–171.
Boxer L: Properties of digital homotopy. J. Math. Imaging Vis. 2005, 22: 19–26. 10.1007/s108510054780y
Spanier E: Algebraic Topology. McGrawHill, New York; 1966.
Acknowledgements
The authors thank the editor and the referees for their valuable suggestions to improve the quality of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All the authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Ege, O., Karaca, I. Lefschetz fixed point theorem for digital images. Fixed Point Theory Appl 2013, 253 (2013). https://doi.org/10.1186/168718122013253
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122013253
Keywords
 digital image
 Lefschetz fixed point theorem
 Euler characteristic