@ Appl. Gen. Topol. 20, no. 2 (2019), 349-361 doi:10.4995/agt.2019.11117 c© AGT, UPV, 2019 Remarks on fixed point assertions in digital topology, 3 Laurence Boxer Department of Computer and Information Sciences, Niagara University, NY 14109, USA; and Department of Computer Science and Engineering, State University of New York at Buffalo, USA. (boxer@niagara.edu) Communicated by S. Romaguera Abstract We continue the work of [5] and [3], in which are considered papers in the literature that discuss fixed point assertions in digital topol- ogy. We discuss published assertions that are incorrect or incorrectly proven; that are severely limited or reduce to triviality under “usual” conditions; or that we improve upon. 2010 MSC: 54H25. Keywords: digital topology; fixed point; approximate fixed point; metric space. 1. Introduction The topic of fixed points in digital topology has drawn much attention in recent papers. The quality of discussion among these papers is uneven; while some assertions have been correct and interesting, others have been incorrect, incorrectly proven, or reducible to triviality. In [5] and [3], we have discussed many shortcomings in earlier papers and have offered corrections and improve- ments. We continue this work in the current paper. Received 10 December 2018 – Accepted 12 June 2019 http://dx.doi.org/10.4995/agt.2019.11117 L. Boxer 2. Preliminaries We use N to represent the natural numbers, Z to represent the integers, and R to represent the reals. A digital image is a pair (X,κ), where X ⊂ Zn for some positive integer n, and κ is an adjacency relation on X. Thus, a digital image is a graph. In order to model the “real world,” we usually take X to be finite, although there are several papers that consider infinite digital images. The points of X may be thought of as the “black points” or foreground of a binary, monochrome “digital picture,” and the points of Zn\X as the “white points” or background of the digital picture. 2.1. Adjacencies, connectedness, continuity. In a digital image (X,κ), if x,y ∈ X, we use the notation x ↔κ y to mean x and y are κ-adjacent; we may write x ↔ y when κ can be understood. We write x -κ y, or x - y when κ can be understood, to mean x ↔κ y or x = y. The most commonly used adjacencies in the study of digital images are the cu adjacencies. These are defined as follows. Definition 2.1. Let X ⊂ Zn. Let u ∈ Z, 1 ≤ u ≤ n. Let x = (x1, . . . ,xn), y = (y1, . . . ,yn) ∈ X. Then x ↔cu y if • for at most u distinct indices i, |xi −yi| = 1, and • for all indices j such that |xj −yj| 6= 1 we have xj = yj. Definition 2.2 ([13]). A digital image (X,κ) is κ-connected, or just connected when κ is understood, if given x,y ∈ X there is a set {xi}ni=0 ⊂ X such that x = x0, xi ↔κ xi+1 for 0 ≤ i < n, and xn = y. Definition 2.3 ([13, 1]). Let (X,κ) and (Y,λ) be digital images. A function f : X → Y is (κ,λ)-continuous, or κ-continuous if (X,κ) = (Y,λ), or digitally continuous when κ and λ are understood, if for every κ-connected subset X′ of X, f(X′) is a λ-connected subset of Y . Theorem 2.4 ([1]). A function f : X → Y between digital images (X,κ) and (Y,λ) is (κ,λ)-continuous if and only if for every x,y ∈ X, if x ↔κ y then f(x) -λ f(y). Theorem 2.5 ([1]). Let f : (X,κ) → (Y,λ) and g : (Y,λ) → (Z,µ) be con- tinuous functions between digital images. Then g ◦ f : (X,κ) → (Z,µ) is continuous. 2.2. Fixed, approximate fixed points. A fixed point of a function f : X → X is a point x ∈ X such that f(x) = x. If (X,κ) is a digital image, an almost fixed point [13] or approximate fixed point [4] of f : X → X is a point x ∈ X such that f(x) -κ x. 2.3. Digital metric spaces. A digital metric space [8] is a triple (X,d,κ), where (X,κ) is a digital image and d is a metric on X. We are not convinced that this is a notion worth developing; under conditions in which a digital image c© AGT, UPV, 2019 Appl. Gen. Topol. 20, no. 2 350 Fixed point assertions in digital topology, 3 models a “real world” image, X is finite or d is (usually) an `p metric, so that (X,d,κ) is discrete as a topological space. Typically, assertions in the literature do not make use of both d and κ, so that this notion has an artificial feel. E.g., for a discrete topological space, all self-maps are continuous, although on digital images, self-maps are often not digitally continuous. We say a sequence {xn}∞n=0 is eventually constant if for some m > 0, n > m implies xn = xm. Proposition 2.6 ([10]). Let (X,d,κ) be a digital metric space. If for some a > 0 and all distinct x,y ∈ X we have d(x,y) > a, then any Cauchy sequence in X is eventually constant, and (X,d) is a complete metric space. Note that the hypotheses of Proposition 2.6 are satisfied if X is finite or if d is an `p metric. 3. Universal functions and AFPP A digital image (X,κ) has the approximate fixed point property (AFPP) if every κ-continuous f : X → X has an approximate fixed point. We can paraphrase Theorem 3.3 of [13] as follows. Theorem 3.1. A digital interval ([a,b]Z,c1) has the AFPP. 2 Definition 3.2 ([4]). Let (X,κ) and (Y,λ) be digital images. A (κ,λ)-continuous function f : X → Y is universal for (X,Y ) if given a (κ,λ)-continuous function g : X → Y such that g 6= f, there exists x ∈ X such that f(x) ↔λ g(x). It was shown in [4] that there is a relationship between the AFPP and universal functions. In this section, we show there are advantages in the study of the AFPP to replacing the notion of universal function with a similar notion of a “weakly universal function.” This enables us to make several improvements on results of [4]. The following assertion, one implication of which is incorrect, appears as Proposition 5.5 of [4]. Let (X,κ) be a digital image. Then (X,κ) has the AFPP if and only if the identity function 1X is universal for (X,X). The implication of this assertion that is correct is stated in the following with its proof as given in [4]. Proposition 3.3. Let (X,κ) be a digital image. If the identity function 1X is universal for (X,X), then (X,κ) has the AFPP. Proof. If 1X is universal for (X,X), then for 1X 6= f : X → X, f being κ- continuous, there exists x ∈ X such that f(x) ↔κ 1X(x) = x. Thus X has the AFPP. � However, the converse of Proposition 3.3 is not generally true, as shown be the following. c© AGT, UPV, 2019 Appl. Gen. Topol. 20, no. 2 351 L. Boxer Example 3.4. Let f : ([−1, 1]Z,c1) → ([−1, 1]Z,c1) be the map f(z) = −z. Then f is c1-continuous, and there is no z ∈ [−1, 1]Z such that f(z) ↔c1 z. Hence 1[−1,1]Z is not a universal function for ([−1, 1]Z, [−1, 1]Z). However, by Theorem 3.1, ([−1, 1]Z,c1) has the AFPP. 2 Definition 3.5. Let (X,κ) and (Y,λ) be digital images. Let f : X → Y be (κ,λ)-continuous. Then f is a weakly universal function for (X,Y ) if for every (κ,λ)-continuous g : X → Y such that g 6= f there exists x ∈ X such that f(x) -λ g(x). 2 Notice the difference between Definitions 3.2 and 3.5: the former requires f(x) and g(x) to be adjacent, while the latter requires f(x) and g(x) to be adjacent or equal. Proposition 3.6. A universal function between digital images is weakly uni- versal. Proof. This is immediate from Definitions 3.2 and 3.5. � For a graph G = (V,E) (V is the vertex set; E is the edge set), a subset D of V is called dominating if for every v ∈ V , either v ∈ D or there is a w ∈ D such that {v,w}∈ E [6]. The following generalizes a result of [4]. Proposition 3.7. Let (X,κ) and (Y,λ) be digital images. If f : X → Y is a weakly universal function, then f(X) is λ-dominating in Y . Proof. Let y ∈ Y and let ỹ : X → Y be the constant function with image {y}. Since f is weakly universal, there exists x ∈ X such that f(x) -λ ỹ(x) = y. Since y is an arbitrary member of Y , the assertion follows. � Theorem 3.8. The digital image (X,κ) has the AFPP if and only if 1X is weakly universal for (X,X). 2 Proof. (X,κ) has the AFPP if and only if given a (κ,κ)-continuous f : X → X, for some x ∈ X we have f(x) -κ 1X(x) = x; i.e., if and only if 1X is universal. � The following is suggested by Theorem 5.7 of [4]. Proposition 3.9. Let (W,κ), (X,λ), and (Y,µ) be digital images. Let f : W → X be (κ,λ)-continuous and let g : X → Y be (λ,µ)-continuous. If g ◦f is weakly universal, then g is weakly universal. Proof. Let h : X → Y be (λ,µ)-continuous. Since g ◦ f is weakly universal, there exists w ∈ W such that g ◦f(w) -µ h◦f(w), i.e., for x = f(w) we have g(x) -µ h(x). Since h was arbitrarily chosen, the assertion follows. � The following is suggested by Theorem 5.8 of [4]. Theorem 3.10. Let g : (U,µ) → (X,κ) and h : (Y,λ) → (V,ν) be digital isomorphisms. Let f : X → Y be (κ,λ)-continuous. Then the following are equivalent. c© AGT, UPV, 2019 Appl. Gen. Topol. 20, no. 2 352 Fixed point assertions in digital topology, 3 (1) f is a weakly universal function for (X,Y ). (2) f ◦g is weakly universal. (3) h◦f is weakly universal. Proof. (1 implies 2): Let k : U → Y be (µ,λ)-continuous. Since f is weakly universal, there exists x ∈ X such that (k◦g−1)(x) -λ f(x), i.e., for u = g−1(x) we have k(u) = k(g−1(x)) -λ (f ◦g)(g−1(x)) = (f ◦g)(u). Since k is arbitrary, f ◦g is weakly universal. (2 implies 1): This follows from Proposition 3.9. (1 implies 3): Let m : X → V be (κ,ν)-continuous. Since f is weakly universal, there exists x ∈ X such that (h−1 ◦m)(x) -λ f(x). By continuity, m(x) = h◦ (h−1 ◦m)(x) -ν h◦f(x). Since m is arbitrary, h◦f is weakly universal. (3 implies 1): Let r : X → Y be (κ,λ)-continuous. Since h ◦ f is weakly universal, there exists x ∈ X such that h◦f(x) -ν h◦r(x). Thus, f(x) = h−1 ◦h◦f(x) -λ h−1 ◦h◦r(x) = r(x). Since r is arbitrary, f must be weakly universal. � Corollary 5.9 of [4] claims that an isomorphism f : (X,κ) → (Y,λ) is uni- versal for (X,Y ) if and only if (X,κ) has the AFPP. Example 3.4 above shows that this assertion is incorrect. However, we have the following. Corollary 3.11. Let f : (X,κ) → (Y,λ) be an isomorphism. The following are equivalent. (1) f is weakly universal for (X,Y ). (2) (X,κ) has the AFPP. (3) (Y,λ) has the AFPP. Proof. (1) ⇔ (2): By Theorem 3.10, f is weakly universal if and only if f◦f−1 = 1X is weakly universal, which, by Theorem 3.8 is true if and only if (X,κ) has the AFPP. (1) ⇔ (3): By Theorem 3.10, f is weakly universal if and only if f−1◦f = 1Y is weakly universal, which, by Theorem 3.8 is true if and only if (Y,λ) has the AFPP. � The following generalizes Theorem 5.10 of [4] and corrects its proof (stated in terms of Proposition 5.5 of [4], which, we noted above, is incorrect). Theorem 3.12. Let (Xi,κi) be digital images, 1 ≤ i ≤ v. Let X = Πvi=1Xi. If (X,NPv(κ1, . . . ,κv)) has the AFPP, then each (Xi,κi) has the AFPP. Proof. Let fi : Xi → Xi be (κi,κi)-continuous, 1 ≤ i ≤ v. Then the prod- uct function f = Πvi=1fi : X → X is (NPv(κ1, . . . ,κv),NPv(κ1, . . . ,κv))- continuous [2]. By Theorem 3.8, 1X is weakly universal, so there exists p = (x1, . . . ,xv) ∈ X, xi ∈ Xi, such that p -NPv(κ1,...,κv) f(p) = (f1(x1), . . . ,fv(xv)), c© AGT, UPV, 2019 Appl. Gen. Topol. 20, no. 2 353 L. Boxer hence xi -κi fv(xi) for all i. Since fi was taken arbitrarily, the conclusion follows. � 4. Digital expansions in [12] The paper [12] contains several assertions that are incorrect or incorrectly proven, limited, or can be improved. 4.1. Digital expansive mappings. Definition 4.1 ([12]). Let (X,d,κ) be a complete digital metric space. Let T : X → X. If d(T(x),T(y)) ≥ k d(x,y) for all x,y ∈ X and some k > 1, then T is a digital expansive mapping. Theorem 4.2 ([12]). If T : X → X is a digital expansive mapping on complete digital metric space (X,d,κ) and T is onto, then T has a fixed point. However, in practice, the hypotheses of Theorem 4.2 often cannot be satis- fied, as shown in the following, which combines Theorems 4.8 and 4.9 of [5]. Theorem 4.3. Let (X,d,κ) be a digital metric space of more than one point. If there exist x0,y0 ∈ X such that either • d(x0,y0) = diamX > 0, or • d(x0,y0) = min{d(x,y) |x,y ∈ X,x 6= y}, then there is no self-map T : X → X that is a digital expansive mapping and is onto. In practice, a digital image (X,κ) typically consists of a finite set of more than 1 point; or, should a metric d be used, it is typically an `p metric. Under such circumstances, by Theorem 4.3 a digital metric space (X,d,κ) cannot have a self-map that is both a digital expansive mapping and onto. 4.2. 1st generalization of expansive mappings. Theorem 3.4 of [12] states the following. Theorem 4.4. Let, (X,d,κ) be a complete digital metric space and T : X → X be an onto self map. Let T satisfy d(T(x),T(y)) ≥ k [d(x,T(x)) + d(y,T(y))] where k ≥ 1/2, for all x,y ∈ X. Then T has a fixed point. But Theorem 4.4 reduces to a trivial statement, as we see in the following. Proposition 4.5. A map T as in Theorem 4.4 must be the identity map. Proof. For such a map, we have 0 = d(T(x),T(x)) ≥ k [d(x,T(x)) + d(x,T(x))] = 2k d(x,T(x)), so d(x,T(x)) = 0 for all x ∈ X. � c© AGT, UPV, 2019 Appl. Gen. Topol. 20, no. 2 354 Fixed point assertions in digital topology, 3 4.3. 2nd generalization of expansive mappings. Theorem 3.5 of [12] as- serts the following. Let (X,d,κ) be a complete digital metric space and let T : X → X be onto and continuous. Let d(T(x),T(y)) ≥ kµ(x,y) for all x,y ∈ X, where k > 1 and µ(x,y) ∈ { d(x,y), d(x,T(x)) + d(y,T(y)) 2 , d(x,T(y)) + d(y,T(x)) 2 } . Then T has a fixed point. The argument given as proof for this assertion has flaws, including the use in its proof of an assumption that k < 2, not stated in the hypotheses; and an incorrect application of the triangle inequality (where we need the reverse of the inequality to proceed as the authors have done) in the attempt to reduce Case 3 to Case 2. Thus, the assertion as stated must be regarded as unproven. Also, the argument given for proof clarifies that the continuity assumption is of the ε−δ type, not digital. In the following, we obtain a version of this assertion with no continuity assumption, but with an additional assumption about X or d and with greater restriction on the possible values of µ(x,y). Theorem 4.6. Let (X,d,κ) be a digital metric space, such that X is finite or d is an `p metric. Let T : X → X be onto. Suppose d(T(x),T(y)) ≥ kµ(x,y) for all x,y ∈ X, where 1 < k < 2 and µ(x,y) ∈ { d(x,y), d(x,T(x)) + d(y,T(y)) 2 } . Then T has a fixed point. Proof. A proof can be given via suitable modification of its analog in [12]. However, a simpler argument is as follows. Without loss of generality, |X| > 1. Since X is finite or d is an `p metric, there exist x0,y0 ∈ X such that m = d(x0,y0) = min{d(x,y) |x,y ∈ X,x 6= y} > 0. Since T is onto, there exist x′,y′ ∈ X such that T(x′) = x0 and T(y′) = y0. Suppose T has no fixed point. Then for all x,y ∈ X, d(x,T(x)) ≥ m and d(y,T(y)) ≥ m; hence µ(x,y) ≥ m. Therefore, m = d(x0,y0) = d(T(x ′),T(y′)) ≥ kµ(x′,y′) ≥ km, a contradiction. Therefore, T must have a fixed point. � c© AGT, UPV, 2019 Appl. Gen. Topol. 20, no. 2 355 L. Boxer 4.4. 3rd generalization of expansive mappings. The next assertion of [12] is flawed in ways similar to the assertion discussed in section 4.3. Asserted as Theorem 3.6 of [12] is the following. Let (X,d,κ) be a complete digital metric space. Let T be an onto self-map of X that is continuous. Let k > 1 and suppose T satisfies d(T(x),T(y)) ≥ kµ(x,y) for all x,y ∈ X, where µ(x,y) belongs to{ d(x,y), d(x,T(x)) + d(y,T(y)) 2 ,d(x,T(y)),d(y,T(x)) } . Then T has a fixed point. Observe the following. • As above, the continuity used for the proof of this assertion is of the ε− δ kind, not digital continuity. • As above, the argument given in proof for this assertion requires 1 < k < 2. • As above, the authors attempt to establish a Cauchy sequence, and in doing so, they incorrectly reverse the triangle inequality in order to reduce the 3rd case considered to the 2nd case. Thus, as stated, the assertion presented as Theorem 3.6 of [12] must be regarded as unproven. Note that Theorem 4.6 above is a reasonable correct modification of this assertion. 4.5. Examples of [12]. In Examples 3.8, 3.9, 3.16, and 3.17 of [12], the authors lose track of the standard assumption that a digital image X is a subset of Zn. In each of these examples, they write of an unspecified X using functions that clearly place X in R, but not clearly in Z. 4.6. α − ψ expansive maps. In the following, we let Ψ be the set of func- tions [14] ψ : [0,∞) → [0,∞) such that • ∑∞ n=1 ψ n(t) < ∞ for each t > 0, where ψn is the n-th iterate of ψ ([12] misquotes this requirement as ψn(t) < ∞ for each t > 0), and • ψ is non-decreasing. Definition 4.7 ([12]). Let (X,d,κ) be a digital metric space. Let T : X → X. T is a digital α−ψ expansive mapping if α : X ×X → [0,∞), ψ ∈ Ψ, and for all x,y ∈ X, ψ(d(T(x),T(y))) ≥ α(x,y)d(x,y). Definition 4.8 ([12]). Let T : X → X. Let α : X × X → [0,∞). T is α-admissible if α(x,y) ≥ 1 implies α(T(x),T(y)) ≥ 1 Theorem 4.9 ([12]). Let (X,d,κ) be a complete digital metric space. Let T : X → X be a bijective, digital α−ψ expansion mapping such that • T−1 is α-admissible; c© AGT, UPV, 2019 Appl. Gen. Topol. 20, no. 2 356 Fixed point assertions in digital topology, 3 • There exists x0 ∈ X such that α(x0,T−1(x0)) ≥ 1; and • T is digitally continuous. Then T has a fixed point. Despite the use of “digitally continuous” in the statement of Theorem 4.9, the continuity assumption used in its proof is of the ε− δ variety. In fact, the assumption is unnecessary if we assume additional common conditions, as in the following. Theorem 4.10. Let (X,d,κ) be a digital metric space, where X is finite or d is an `p metric. Let T : X → X be a bijective, digital α−ψ expansion mapping such that • T−1 is α-admissible; and • there exists x0 ∈ X such that α(x0,T−1(x0)) ≥ 1. Then T has a fixed point. Proof. Our argument borrows from its analog in [12]. By hypothesis, there exists x0 ∈ X such that α(x0,T−1(x0)) ≥ 1. By induction, we obtain S = {xn}∞n=0 such that xn+1 = T−1(xn) for n > 0. Since T−1 is α-admissible, by induction we have α(xn,xn+1) = α(T −1(xn−1),T −1(xn)) ≥ 1 for all n. Since T is a digital α−ψ expansive mapping, for all n we have d(xn,xn+1) ≤ α(xn,xn+1)d(xn,xn+1) ≤ ψ(d(T(xn),T(xn+1)) = ψ(d(xn−1,xn)). By induction, it follows that d(xn,xn+1) ≤ ψn(d(x0,x1)). Since ψ ∈ Ψ, it follows that S is a Cauchy sequence. By Theorem 2.6, S is eventually constant, so there exists m such that T(xm+1) = xm = xm+1; thus, xm+1 is a fixed point of T . � 5. Weakly commuting mappings The paper [11] presents a fixed point assertion for “weakly commuting map- pings,” defined as follows. Definition 5.1 ([15]). Let (X,d) be a metric space and let f,g : X → X. Then f and g are weakly commuting if for all x ∈ X, d(f(g(x)),g(f(x))) ≤ d(f(x),g(x)). Presented as Theorem 3(A) of [11] is the following. Let (X,d,κ) be a complete digital metric space, X 6= ∅. Let S,T : X → X such that (3.1) T(X) ⊂ S(X); (3.2) S is κ-continuous; (3.3) For some α such that 0 < α < 1 and all x,y ∈ X, d(T(x),T(y)) ≤ αd(S(x),S(y)). If S and T are weakly commuting, then they have a unique common fixed point. c© AGT, UPV, 2019 Appl. Gen. Topol. 20, no. 2 357 L. Boxer The argument given in proof of this assertion is flawed by the unjustified statement (rephrased slightly), “From (3.2) the κ-continuity of S implies the κ-continuity of T.” This reasoning is incorrect, as shown in the following. Example 5.2. Let X = {p0 = (0, 0, 0),p1 = (1, 1, 1),p2 = (2, 0, 0)} ⊂ Z3. Let S = 1X : X → X and let T : X → X be defined by T(p0) = T(p2) = p2, T(p1) = p0. Let κ be the c3-adjacency. Clearly, (3.1) and (3.2) of the above are satisfied. Let d be the `1 metric. Then (3.3) above is satisfied with α = 2/3. However, T is not c3-continuous, since p0 ↔c3 p1 but f(p0) and f(p1) are not c3-adjacent. Therefore, the assertion stated as Theorem 3(A) of [11] must be regarded as unproven. However, we see below that replacing the assumptions of com- pleteness and (3.2) by assumptions that are commonly realized yields a valid statement. Theorem 5.3. Let (X,d,κ) be a digital metric space, X 6= ∅, with X finite or d an `p metric. Let S,T : X → X such that (1) T(X) ⊂ S(X); (2) For some α such that 0 < α < 1 and all x,y ∈ X, d(T(x),T(y)) ≤ αd(S(x),S(y)). If S and T are weakly commuting, then they have a unique common fixed point. Proof. We use ideas from the analogous argument of [11]. Let x0 ∈ X. By assumption 1, there exists x1 ∈ X such that S(x1) = T(x0). By induction we have a sequence {xn}∞n=0 such that for all n, S(xn+1) = T(xn), and we have d(S(xn),S(xn+1)) = d(T(xn−1),T(xn)) ≤ αd(S(xn−1),S(xn)). By a simple induction, this yields d(S(xn),S(xn+1)) ≤ αnd(S(x0),S(x1)). Thus, {S(xn)}∞n=0 is a Cauchy sequence, hence by Proposition 2.6 is eventually constant, i.e., there exists z ∈ X such that for sufficiently large n, S(xn) = z. By our definition of the sequence {xn}, we also have, for sufficiently large n, T(xn) = z. So for n sufficiently large, and since S and T are weakly commuting, d(S(z),T(z)) = d(S(T(xn)),T(S(xn))) ≤ d(S(xn),T(xn)) = d(z,z) = 0, i.e., S(z) = T(z) and therefore, by the weakly commuting property, d(S(T(z)),T(S(z))) ≤ d(S(z),T(z)) = 0, i.e., S(T(z)) = T(S(z)). So d(T(z),T(T(z))) ≤ αd(S(z),S(T(z))) = αd(T(z),T(S(z))) = αd(T(z),T(T(z))). c© AGT, UPV, 2019 Appl. Gen. Topol. 20, no. 2 358 Fixed point assertions in digital topology, 3 Thus d(T(z),T(T(z))) = 0, i.e., T(z) is a fixed point of T . Further, substituting from the above gives d(S(T(z)),T(z)) = d(T(S(z)),T(z)) ≤ αd(S(S(z)),S(z)) = αd(S(T(z)),T(z)); since α > 0, it follows that d(S(T(z)),T(z)) = 0. Thus, T(z) is a common fixed point of S and T. To show the common fixed point is unique, suppose y and y′ are common fixed points, i.e., S(y) = T(y) = y, S(y′) = T(y′) = y′. Then d(y,y′) = d(T(y),T(y′)) ≤ αd(S(y),S(y′)) = αd(y,y′), so d(y,y′) = 0. Hence y = y′. � Note the following limitation on Theorem 5.3 is applicable if X is finite, or if d is an `p metric. Proposition 5.4. Let (X,d,κ),S,T,α be as in Theorem 5.3, where d0 = min{d(x,x′) |x,x′ ∈ X,x ↔κ x′} > 0, d1 = max{d(x,x′) |x,x′ ∈ X,x ↔κ x′}. If X is κ-connected, S is κ-continuous, and 0 < α < d0/d1, then T is a constant function. Proof. Let x ↔κ x′. Since S is κ-continuous we have S(x) -κ S(x′), and therefore d(S(x),S(x′)) ≤ d1. Thus, d(T(x),T(x′)) ≤ αd(S(x),S(x′)) < d0 d1 d1 = d0. Our choice of d0 implies T(x) = T(x ′). Since X is connected, the assertion follows. � 6. Weakly compatible maps The paper [7] discusses “weakly compatible” or “coincidentally commuting” maps, defined as follows. Definition 6.1. Let S,T : X → X. Then S and T are weakly compatible or coincidentally commuting if, for every x ∈ X such that S(x) = T(x) we have S(T(x)) = T(S(x)). The following assertion is stated as Theorem 3.1 of [7]. Let A,B,S,T : X → X, where (X,d,κ) is a complete digital metric space. Suppose the following are satisfied. • S(X) ⊂ B(X) and T(X) ⊂ A(X). • The pairs (A,S) and (B,T) are coincidentally commuting. • One of S(X),T(X),A(X),B(X) is a complete subspace of X. c© AGT, UPV, 2019 Appl. Gen. Topol. 20, no. 2 359 L. Boxer • For all x,y ∈ X, d(S(x),T(y)) ≤ φ(max{d(A(x),B(y)),d(S(x),A(x)),d(S(x),B(y)),d(B(y),T(y))}) where φ : [0,∞) → [0,∞) is continuous, monotone in- creasing, and satisfies φ(t) < t for all t > 0. Then A,B,S, and T have a unique common fixed point. However, the argument offered as proof of this assertion is flawed as follows. A sequence {yn}∞n=0 is established and it is shown that limn→∞d(y2n,y2n+1) = 0. From this, it is claimed that {yn}∞n=0 is a Cauchy sequence. But such reasoning is incorrect, as shown in the following. Example 6.2. For n ∈ N, let yn = { 0 if (n mod 4) ∈{0, 1}; 1 if (n mod 4) ∈{2, 3}, For all n ∈ N, d(y2n,y2n+1) = 0, yet {yn}∞n=0 is not a Cauchy sequence. Thus, the assertion of [7] stated as Theorem 3.1, and its dependent assertion stated as Theorem 3.2, must be regarded as unproven. 7. Further remarks We have discussed assertions that appeared in [4, 7, 11, 12]. We have dis- cussed errors or corrections for some, shown some to be limited or trivial, and offered improvements for others. References [1] L. Boxer, A classical construction for the digital fundamental group, Journal of Mathe- matical Imaging and Vision 10 (1999), 51–62. [2] L. Boxer, Generalized normal product adjacency in digital topology, Applied General Topology 18, no. 2 (2017), 401–427. [3] L. Boxer, Remarks on fixed point assertions in digital topology, 2, Applied General Topology 20, no. 1 (2019), 155–175. [4] L. Boxer, O. Ege, I. Karaca, J. Lopez and J. Louwsma, Digital fixed points, approximate fixed points and universal functions, Applied General Topology 17, no. 2 (2016), 159– 172. [5] L. Boxer and P. C. Staecker, Remarks on fixed point assertions in digital topology, Applied General Topology 20, no. 1 (2019), 135–153. [6] G. Chartrand and L. Lesniak, Graphs & Digraphs, 2nd ed., Wadsworth, Inc., Belmont, CA, 1986. [7] S. Dalal, Common fixed point results for weakly compatible map in digital metric spaces, Scholars Journal of Physics, Mathematics and Statistics 4, no. 4 (2017), 196–201. [8] O. Ege and I. Karaca, Digital homotopy fixed point theory, Comptes Rendus Mathema- tique 353, no. 11 (2015), 1029–1033. [9] J. Haarmann, M. P. Murphy, C. S. Peters and P. C. Staecker, Homotopy equivalence of finite digital images, Journal of Mathematical Imaging and Vision 53, no. 3 (2015), 288–302. c© AGT, UPV, 2019 Appl. Gen. Topol. 20, no. 2 360 Fixed point assertions in digital topology, 3 [10] S.-E. Han, Banach fixed point theorem from the viewpoint of digital topology, Journal of Nonlinear Science and Applications 9 (2016), 895–905. [11] D. Jain and A.C. Upadhyaya, Weakly commuting mappings in digital metric spaces, International Advanced Research Journal in Science, Engineering and Technology 4, no. 8 (2017), 12–16. [12] K. Jyoti and A. Rani, Digital expansions endowed with fixed point theory, Turkish Journal of Analysis and Number Theory 5, no. 5 (2017), 146–152. [13] A. Rosenfeld, ‘Continuous’ functions on digital pictures, Pattern Recognition Letters 4 (1986), 177–184. [14] B. Samet, C. Vetro,and P. Vetro, Fixed point theorem for α − ψ-contractive type map- pings, Nonlinear Analysis 75 (2012), 2154–2165. [15] S. Sessa, On a weak commutative condition of mappings in fixed point considerations, Publications De l’Institut Mathematique, Nouvelle Serie Tome 32 (1982), 149–153. c© AGT, UPV, 2019 Appl. Gen. Topol. 20, no. 2 361