Fixed Point Theory for Digital k -Surfaces and Some Remarks on the Euler Characteristics of Digital Closed Surfaces

: The present paper studies the ﬁxed point property ( FPP ) for closed k -surfaces. We also intensively study Euler characteristics of a closed k -surface and a connected sum of closed k -surfaces. Furthermore, we explore some relationships between the FPP and Euler characteristics of closed k -surfaces. After explaining how to deﬁne the Euler characteristic of a closed k -surface more precisely, we conﬁrm a certain consistency of the Euler characteristic of a closed k -surface and a continuous analog of it. In proceeding with this work, for a simple closed k -surface in Z 3 , say S k , we can see that both the minimal 26-adjacency neighborhood of a point x ∈ S k , denoted by M k ( x ) , and the geometric realization of it in R 3 , denoted by D k ( x ) , play important roles in both digital surface theory and ﬁxed point theory. Moreover, we prove that the simple closed 18-surfaces MSS 18 and MSS (cid:48) 18 do not have the almost ﬁxed point property ( AFPP ). Consequently, we conclude that the triviality or the non-triviality of the Euler characteristics of simple closed k -surfaces have no relationships with the FPP in digital topology. Using this fact, we correct many errors in many papers written by L. Boxer et al.


Introduction
In Z 3 , the concept of closed k-surface was established in References [1,2] and its digital topological characterizations were also studied [3][4][5][6][7]. Many explorations of various properties of closed k-surfaces have been proceeded from the viewpoints of digital topology and digital geometry [1][2][3][4][5][6][7][8][9]. Based on the studies of the earlier works [3][4][5]10,11], given (digital) closed k-surfaces and connected sums of closed k-surfaces, we will investigate the fixed point property (FPP) or the almost fixed point property (AFPP) of them. Moreover, after explaining the Euler characteristic of a closed k-surface in Reference [5] more precisely, we confirm strong relationships between the Euler characteristic of a closed k-surface and that of the continuous analog (or geometric realization) of a closed k-surface.
Indeed, there are several kinds of approaches to establish a digital k-surface [3][4][5][6]12,13]. In digital surface theory, we need to consider a binary digital image structure. To be precise, in the case of X ⊂ Z 3 , we often assume a digital image X in the digital picture P, P ∈ {(Z 3 , 26, 6, X), (Z 3 , 18, 6, X), (Z 3 , 6, 26, X)}. (1) Thus, we can study a (digital) closed k-surface with one of the above picture P. Moreover, for a digital image (X, k), the notion of the Euler characteristic of (X, k) was proposed in several ways [3][4][5][14][15][16][17][18][19]. The concept of digital connected sum of closed k-surfaces in Z n was firstly introduced in Reference [3] by using several types of simple closed k-curves in Z 2 , k ∈ {4, 8}.
Hereafter, we denote a simple closed k-surface in Z 3 (for more details, see Definition 6) with S k . Indeed, given an S k , the studies of its Euler characteristic, an efficient formulation of a continuous analog of it, and the FPP for S k play important roles in digital geometry. Thus, we have the following queries: (Q1) How to establish a geometric realization of an S k ? (Q2) Does the geometric realization transform an S k into a certain spherical (or a sphere-like) polyhedron in R 3 ? (Q3) How to define the Euler characteristic of an S k ? (Q4) Are there certain relationships between the Euler characteristic of an S k and that of a geometric realization of an S k ? (Q5) What about the FPP or the AFPP for an S k ?
To address these issues, Reference [5] introduced the Euler characteristic of an S k , which can facilitate the studies of both digital and typical surface theories. This paper continues a series of studies of Euler characteristics of digital surfaces [5]. In order to prevent a certain misunderstanding or wrong interpretation of the Euler characteristic of an S k , after referring to several essential notions associated with the Euler characteristic of an S k , the present paper corrects some assertions in Reference [14] involving the Euler characteristics of an S k and a connected sum of closed k-surfaces. To be precise, we will more precisely explain how to define the Euler characteristics of an S k already introduced in Reference [5] and a digital connected sum introduced in Reference [3]. Indeed, the Euler characteristic of an S k suggested in Reference [5] is proved to be consistent with the typical Euler characteristic of a closed surface from the viewpoints of algebraic topology and polyhedral geometry.
The rest of the paper is organized as follows: Section 2 refers to some notions involving a digital k-surface and a connected sum of two digital k-surfaces. Moreover, it confirms the pointed 18-contractibility of MSS 18 which will be used in the paper. Section 3 establishes the sets M k (x) and D k (x) (see Definitions 8 and 9) to develop a 2-dimensional simplicial complex as a geometric realization of a simple closed k-surface S k . Section 4 studies the Euler characteristics of a closed k-surface and a connected sum of two closed k-surfaces proposed in Reference [5]. In particular, given an S k , using the set {D k (x) | x ∈ S k }, we can characterize the Euler characteristic of an S k . Section 5 studies the FPP or the AFPP for several kinds of simple closed k-surfaces in Z 3 , MSS 18 , MSS 18 , MSS 6 , and so on. Finally, we prove that the simple closed 18-surfaces MSS 18 and MSS 18 do not have the AFPP. Hence, we conclude that, in digital topology, the triviality or the non-triviality of the Euler characteristics of simple closed k-surfaces are irrelevant to the FPP or the AFPP. Furthermore, we corrects many errors in the paper written by Boxer et al. in Reference [14] (see Remarks 11 and 12) and some mistakes in Reference [3,4] (see Remark 10). Section 6 concludes the paper with some remarks.

Basic Notions Related to Digital k-Surfaces and a Connected Sum for k-Surfaces
In order to make the paper self-contained, let us now recall some terminology from digital curve and digital surface theories. Let N and Z represent the sets of natural numbers and integers, respectively.
Rosenfeld [20] called a set X(⊂ Z n ) with a k-adjacency a digital image, denoted by (X, k). In particular, in digital surface theory, let us consider a binary digital image (X, k) with a k-adjacency in a digital picture (Z n , k,k, X) [17,20], where n ∈ N. Then, we call the pair (X, k) a digital image with a k-adjacency (for short, digital image). In order to study (X, k) in Z n , n ≥ 1, we need k-adjacency relations of Z n which are generalizations of the commonly used 4-and 8-adjacency of Z 2 , and 6-, 18-, and 26-adjacency of Z 3 . To be precise, we will say that distinct points p, q ∈ Z n are k-(or k(t, n)-)adjacent if they satisfy the following property [10] (for more details, see also Reference [21] as an advanced representation of the k-adjacency relations of Z n in Reference [10]): For a natural number t, 1 ≤ t ≤ n, we say that distinct points p = (p 1 , p 2 , · · · , p n ) and q = (q 1 , q 2 , · · · , q n ) ∈ Z n (2) are k(t, n)-(k-, for short)adjacent if at most t of their coordinates differs by ±1 and all others coincide. Concretely, these k(t, n)-adjacency relations of Z n are determined according to the number t ∈ N [10] (see also Reference [21]). In the present paper, we will use the symbol " :=" to introduce new notions without proving the fact.
Using the operator of Equation (2), the k-adjacency relations of Z n are obtained [10] (see also References [21,22]), as follows A digital image (X, k) in Z n can indeed be considered to be a set X(⊂ Z n ) with the k-adjacency relation of Equation (3). Using the k-adjacency relations of Z n of Equation (3), we say that a digital k-neighborhood of p in Z n is the set [20] Furthermore, we often use the notation [17] For a, b ∈ Z with a b, the set [a, b] Z = {n ∈ Z | a ≤ n ≤ b} with 2-adjacency is called a digital interval [17].
Let us now recall some terminology and notions which are used in this paper.
• We say that two subsets (A, k) and (B, k) of (X, k) are k-adjacent if A ∩ B = ∅ and that there are points a ∈ A and b ∈ B such that a and b are k-adjacent [17]. In particular, in case B is a singleton, say B = {x}, we say that A is k-adjacent to x. • For a k-adjacency relation of Z n , a k-path with l + 1 elements in Z n is assumed to be a finite For a digital image (X, k), the k-component of x ∈ X is defined to be the largest k-connected subset of (X, k) containing the point x.

•
We say that a simple k-path is a finite set (x i ) i∈[0,m] Z ⊂ Z n such that x i and x j are k-adjacent if and only if | i − j | = 1 [17]. In the cases x 0 = x and x m = y, we denote the length of the simple k-path with l k (x, y) := m. • A simple closed k-curve (or simple k-cycle) with l elements in Z n [10], denoted by SC n,l k , l ≥ 4, l ∈ N 0 \ {2}, N 0 is the set of even natural numbers [10,17] and is the finite set (x i ) i∈[0,l−1] Z such that x i and x j are k-adjacent if and only if | i − j | = ±1(mod l) [10].
• For a digital image (X, k), a digital k-neighborhood of x 0 ∈ X with radius ε is defined in X as the following subset [10] of X: where l k (x 0 , x) is the length of a shortest simple k-path from x 0 to x and ε ∈ N. For instance, for X ⊂ Z n , we obtain [10] • Rosenfeld [20] defined the notion of digital continuity of a map f : (X, k 0 ) → (Y, k 1 ) by saying that f maps every k 0 -connected subset of (X, k 0 ) into a k 1 -connected subset of (Y, k 1 ).
Motivated by the digital continuity proposed by Rosenfeld, in terms of the digital k-neighborhood of a point with radius 1 (see Equation (5)), the digital continuity of a map between digital images was represented, as follows: Proposition 1 ( [10,11]). Let (X, k 0 ) and (Y, k 1 ) be digital images in Z n 0 and Z n 1 , respectively. A function f : In Proposition 1 in case n 0 = n 1 and k 0 = k 1 := k, the map f is called a 'k-continuous map. Since an n-dimensional digital image (X, k) is considered to be a set X in Z n with one of the k-adjacency relations of Equation (3) (or a digital k-graph [23]), regarding a classification of n-dimensional digital images, we use the term a (k 0 , k 1 )-isomorphism (or k-isomorphism) as in Reference [23] (see also Reference [11]) rather than a (k 0 , k 1 )-homeomorphism (or k-homeomorphism) as in Reference [24]. Definition 1 ([23] (see also a (k 0 , k 1 )-homeomorphism in Reference [24])). Consider two digital images (X, k 0 ) and (Y, k 1 ) in Z n 0 and Z n 1 , respectively. Then, a map h : X → Y is called a (k 0 , k 1 )-isomorphism if h is a (k 0 , k 1 )-continuous bijection, and further, h −1 : Y → X is (k 1 , k 0 )-continuous. Then, we use the notation X ≈ (k 0 ,k 1 ) Y. Moreover, in the case k 0 = k 1 := k, we use the notation X ≈ k Y.
In References [23,25,26], we developed many notions from the viewpoint of digital graph theory, such as graph (k 0 , k 1 )-homomorphism, graph (k 0 , k 1 )-isomorphism, and graph (k 0 , k 1 )-homotopy which are, respectively, digital graphical versions of the (k 0 , k 1 )-continuity, (k 0 , k 1 )-homeomorphism, and (k 0 , k 1 )-homotopy in digital topology. Since a digital image (X, k) can be recognized as a digital k-graph [5,23], we mainly use the digital k-graphical method to study Euler characteristics of a closed k-surface in this paper.
The following notion of interior is often used in establishing the notion of digital connected sum.

Definition 2 ([3]
). Let c * := (x 0 , x 1 , · · · , x n ) be a closed k-curve in (Z 2 , k,k, c * ). A point x ofc * , the complement of c * in Z 2 , is said to be interior to c * if it belongs to the boundedk-connected component ofc * .
The following digital images MSC * 8 , MSC * 4 , and MSC * 8 [3,4,10] play important roles in establishing a connected sum and in studying the digital fundamental group of a digital connected sum of closed k-surfaces. Thus, we will recall them.  [27] (see also Reference [24]), the following notion of k-homotopy relative to a subset A ⊂ X is often used in studying k-homotopic properties of digital images (X, k) in Z n . For a digital image (X, k) and A ⊂ X, we often call ((X, A), k) a digital image pair. [3])). Let ((X, A), k 0 ) and (Y, k 1 ) be a digital image pair and a digital image, respectively. Let f , g : X → Y be (k 0 , k 1 )-continuous functions. Suppose there exist m ∈ N and a function H :

Definition 3 ([10] (see also
Then, we say that H is a (k 0 , k 1 )-homotopy between f and g [24]. • Furthermore, for all t ∈ [0, m] Z , assume that the induced map H t on A is a constant which follows the prescribed function from A to Y. To be precise, for all x ∈ A and for all t ∈ [0, m] Z . Then, we call H a (k 0 , k 1 )-homotopy relative to A between f and g and we say that f and g are In Definition 3, if A = {x 0 } ⊂ X, then we say that F is a pointed (k 0 , k 1 )-homotopy at {x 0 } [24]. When f and g are pointed (k 0 , k 1 )-homotopic in Y, we use the notation f (k 0 ,k 1 ) g. In the cases k 0 = k 1 := k and n 0 = n 1 , f and g are said to be pointed k-homotopic in Y and we use the notations f k g and f ∈ [g], which denote the k-homotopy class of g. If, for some x 0 ∈ X, 1 X is k-homotopic to the constant map in the space x 0 relative to {x 0 }, then we say that (X, x 0 ) is pointed k-contractible [24]. The notion of digital homotopy equivalence was firstly introduced in Reference [25] (see also Reference [26]), as follows: 25] (see also Reference [26])). For two digital images (X, k) and (Y, k) in Z n , if there are k-continuous maps h : X → Y and l : Y → X such that the composite l • h is k-homotopic to 1 X and the composite h • l is k-homotopic to 1 Y , then the map h : X → Y is called a k-homotopy equivalence and is denoted by X k·h·e Y. Moreover, we say that (X, k) is k-homotopy equivalent to (Y, k).
Using the concept of digital k-homotopy equivalence, we can classify digital images [25]. Now, we recall the notion of k-contractibility to be used later in this paper.
Definition 5 ([10,24,27]). For a digital image (X, k), if the identity map 1 X is k-homotopic relative to {x 0 } in X to a constant map with image consisting of some point x 0 ∈ X, then (X, x 0 ) is said to be pointed k-contractible.
Owing to the digital (k 0 , k 1 )-covering theory in References [10,11], the k-fundamental groups of SC n,l k were proven such that π k (SC n,l k ) is an infinite cyclic group [10,11]. • Motivated by the calculation of the digital k-fundamental group of SC 2,l k , i.e., π k (SC 2,l k ), k ∈ {4, 8} in References [10,11], it turns out that SC n,l k is not k-contractible if l ≥ 6.
In particular, both the non-8-contractibility of MSC 8 and the non-4-contractibility of MSC 4 play important roles in formulating a connected sum of two closed k-surfaces.
In order to study a closed k-surface in Z n , let us recall some terminology, such as a k-corner, a generalized simple closed k-curve, and so on. A point x ∈ (X, k) is called a k-corner if x is k-adjacent to two and only two points y and z ∈ X such that y and z are k-adjacent to each other [2]. The k-corner x is called simple if y and z are not k-corners and if x is the only point k-adjacent to both y and z. (X, k) is called a generalized simple closed k-curve if what is obtained by removing all simple k-corners of X is a simple closed k-curve [2,6]. For a k-connected digital image (X, k) in X ⊂ Z 3 , we recall where N * 26 (x) := {x | x and x are 26-adjacent} [1,2]. In general, for a k-connected digital image (X, k) in Z n , n ≥ 3, we can state [5] where Hereafter, for a k-surface in Z n , n ∈ N \ {1, 2, 3} [3,4], we call the set |X| x of Equation (7) the minimal (3 n − 1)-adjacency neighborhood of x in X.
Reference [5] introduced the notion of a closed k-surface in Z n , n ≥ 3. However, in the present paper, we will stress the study of closed k-surfaces in Z 3 with the following approach in References [6,7].
Then, X is called a closed k-surface if it satisfies the following: (a) for each point x ∈ X, |X| x has exactly one k-component k-adjacent to x; (b) |X| x has exactly twok-componentsk-adjacent to x; we denote by C x x and D x x these two components; and (c) for any point y ∈ Furthermore, if a closed k-surface X does not have a simple k-point, then X is called simple.
(2) In case (k,k) = (18, 6), is a simple closed k-curve, then the closed k-surface X is called simple.
From now on, we denote a closed k-surface in Z 3 with S k , k ∈ {6, 18, 26}, which will be used in this paper. Namely, we will consider only simple closed k-surface in Z 3 in the picture as referred to in Equation (1) ). In Z 3 , let S k 0 (resp. S k 1 ) be a closed k 0 -(resp. a closed k 1 -)surface, where k 0 = k 1 ∈ {6, 18, 26}.
Owing to Definition 7, S k 0 S k 1 is obtained in Z 3 . Moreover, the digital topological type of S k 0 S k 1 absolutely depends on the choice of the subset A k 0 ⊂ S k 0 [5]. Furthermore, the k-adjacency of S k 0 S k 1 is required as follows: are assumed to be disjoint and are not k-adjacent, where k 0 = k 1 := k. Then, the digital image (S k 0 S k 1 , k) is called a (digital) connected sum of S k 0 and S k 1 .
Let us now recall two types of simple closed 18-surfaces which are pointed 18-contractible, e.g., MSS 18 and MSS 18 , as follows: Then, Reference [3,4] stated that MSS 18 is 18-contractible and that it is the minimal simple closed 18-surface (see Figure 1b), i.e., we obtain (MSS 18 , 18, 6, Z 3 ). Here, the term "minimal" comes from the minimal cardinality of the given digital image as a closed 18-surface.
In order to use the pointed 18-contractibility of MSS 18 in this paper, we prove it more precisely, as follows: Owing to properties (1)-(4), we prove that MSS 18 is 18-homotopy equivalent to {e 5 } and we complete the proof.
In view of the proof of Lemma 1, although we proved the 18-contractibility of MSS 18 relative to the set {e 5 }, we find that MSS 18 is indeed 18-homotopy equivalent to any singleton {x} ⊂ MSS 18 .
Then, we obtain the following: (1) the digital image (T, 6) is not a closed 6-surface.

Proof.
(1) For any point t ∈ T, the set | T | t does not satisfy the properties Definition 6(1) (b) and (c).
(2) Using a method similar to the homotopy of Equation (8), we observe that there is a 6-homotopy relative to any singleton {t} ⊂ T between the identity map 1 T and the constant map C {t} . Thus, we can conclude that (T, 6) is pointed 6-contractible relative to any singleton {t} ⊂ T.

A Geometric Realization of a Simple Closed k-Surface
In order to address questions (Q1) and (Q2) in Section 1, given an S k and for each point x ∈ S k , we need to establish a special kind neighborhood of x matching an open neighborhood of a certain point of a typical surface (or a 2-dimensional topological manifold). Indeed, given a digital image (X, k) in Z 3 , for each point x ∈ X, the set | X| x (see Equation (6)) plays an important role in examining if (X, k) is a simple closed k-surface in Z 3 (see Definition 6). This approach is quite different from one examining if a topological space becomes a typical surface from the viewpoint of manifold theory. However, motivations of the two approaches are similar to each other. Roughly saying, each point x of a 2-dimensional topological manifold (or a surface) (X, T X ) has an open neighborhood in (X, T X ) which is homeomorphic to an open disc in the 2-dimensional Euclidian topological space (R 2 , U). In digital surface theory, we also follow this kind of approach under a certain digital situation.
In order to study the Euler characteristics of a simple closed k-surface and a connected sum of two simple closed k-surfaces (see Reference [5]), let us now recall a geometric realization of a digital image (X, k). For a digital image (X, k) and each point x(∈ X), owing to the set | X| x ∪ {x}, a special kind of geometric realization can be considered. However, in digital surface theory, we have some difficulties in establishing the so-called 'digital k-neighborhood of a point' in (X, k) matching an open neighborhood of a point in a typical surface. Thus, motivated by the fact that, for an S k and x ∈ S k , we observe that | S k | x is an essentially important set guaranteeing the closed k-surface structure of the S k (see also Remarks 5 and 6). Motivated by this observation, let us now treat this issue with a special kind of idea overcoming the difficulties. Roughly saying in advance, given a simple closed k-surface S k in Z 3 , consider it as a digital k-graph, denoted by G k . First of all, let us take all minimal k-cycles in denoted by M k (x) (see Definition 8). Hereafter, we need to remind that the set of Equation (10) is the set N 26 (x, 1) in S k . Next, we formulate a certain 2-dimensional simplicial complex in the 3-dimensional real space, R 3 , say D k (x), inherited from M k (x) (see Definition 9). More precisely, each 2-dimensional simplex in D k (x) is a polygon in R 3 formulated by the corresponding minimal k-cycle in M k (x) (see Definitions 8 and 9). Consequently, we have a geometric realization of S k , denoted by | S k |, which is the union of all D k (x), x ∈ S k (see Definition 10). Then, we can observe that | S k | is indeed a closed 2-dimensional simplicial complex, i.e., a sphere-like polygon in R 3 (see Proposition 2). Since the present paper focuses on the study of several types of connected sums of the simple closed k-surfaces MSS 6 , MSS 18 , and MSS 18 , hereafter, we only deal with simple closed k-surfaces in Z 3 , denoted by S k . As mentioned above, given an S k , let us now propose the sets M k (x) (see Definition 8) and D k (x) (see Definition 9) derived by the set | S k | x , x ∈ S k . Definition 8. Given a simple closed k-surface S k in Z 3 , for x ∈ S k , let The set M k (x) has its own features, as follows: (1) Each of the minimal k-cycles in M k (x), say C k , associated with Equation (11) need not be a simple closed k-cycle in S k (see the 18-curve consisting of c 0 , c 1 , c 9 of MSS 18 in Figure 3)a.
(2) The term "minimal" comes from the 'minimal k-cycles' in S k taken from the only one of the eight digital cubes The element C k in M k (x) need not contain the point x (see Example 1 (3)).
(4) Not every k-cycle C k in M k (x) is SC 3,l k , l ≥ 4 (see Example 1). (5) M k (x) may contain several k-cycles with different types depending on the situation (see Example 1).    Indeed, using each minimal k-cycle in M k (x), we can produce a certain polygon (a solid triangle or a solid rectangle) in R 3 . For instance, in Example 1(a)(1), the given 18-cycle (c 0 , c 1 , c 9 ) produces a solid triangle, say < c 0 , c 1 , c 9 >:= (c 0 , c 1 , c 9 ), and further, the 18-cycle (c 1 , c 2 , c 8 , c 9 ) leads to a solid rectangle, say < c 1 , c 2 , c 8 , c 9 >:= (c 1 , c 2 , c 8 , c 9 ) in R 3 . Motivated by this approach, we can define the following: Definition 9. Given a simple closed k-surface S k in Z 3 , for a point x ∈ S k , let

Example 1. (1) In MSS
where C k means the polygon formulated by the minimal k-cycle C k ∈ M k (x). Indeed, D k (x) is the set as the union of polygons (solid triangles or solid rectangles) formulated by the minimal k-cycles in M k (x). Then, we say that D k (x) is a geometric realization of M k (x).
In Definition 9, we observe that each minimal k-cycle C k in M k (x) produces only a polygon as a subset of D k (x) in R 3 . Thus, it turns out that D k (x) is a simplicial complex inherited from M k (x) (see Example 2).
Owing to the definition of M k (x), for an S k , x ∈ S k in Z 3 , it is obvious that the set D k (x) consists of triangles or rectangles with boundary in the subspace (D k (x), U D k (x) ), where U D k (x) is the subspace topology induced by the 3-dimensional Euclidean topological space (R 3 , U). For instance, based on the set M k (x) in Figure 3, we obtain the following:  (1) and (2), based on MSS 6 , we observe that D 6 (d 0 ) is the set as the union of twelve polygons (or regular rectangles) formulated by the twelve 6-cycles in M 6 (d 0 ).
Given an S k , using D k (x), x ∈ S k , let us now establish a geometric realization of S k , as follows: Definition 10. Given a simple closed k-surface S k in Z 3 , let Then, we call the set | S k | the geometric realization of S k .

Proposition 2.
Given a simple closed k-surface S k in Z 3 , the geometric realization | S k | is uniquely determined as a connected 2-dimensional simplicial complex (or a sphere-like polyhedron) in R 3 .
Proof. Given a simple closed k-surface S k in Z 3 , for each point x ∈ S k , it is obvious that the set D k (x)(⊂ R 3 ) is a simplicial complex consisting of triangles or rectangles with boundaries. For two k-adjacent points x 1 and x 2 in S k , D k (x 1 ) and D k (x 2 ) have a non-empty intersection, i.e., which implies that | S k | is connected. To be precise, the intersection D k (x 1 ) ∩ D k (x 2 ) of Equation (13) is the union of the 2-dimensional simplexes (or polygons) derived from the minimal k-cycles in Namely, we observe the identity Thus, D k (x 1 ) ∩ D k (x 2 ) has some 2-dimensional simplexes (or polygons) in common from each of them. Since S k is k-connected, for any two k-adjacent points in S k , using the property of Equation (13), we can formulate a connected 2-dimensional simplicial complex because D k (x) is a 2-dimensional simplicial complex (see Definition 9), as follows | S k | := x∈S k D k (x) as in (12) from the given S k according to Definition 9. To be precise, | S k | has 0-dimensional simplexes derived from each of all elements in S k . The 1-dimensional simplexes of | S k | are all line segments formulated by all two k-adjacent points in S k . Finally, the 2-dimensional simplexes of | S k | come from the polygons in D k (x), x ∈ S k . Obviously, owing to the definition of S k and the notion of | X | x (see Definition 6), there is no n-dimensional simplex in | S k |, n ≥ 3.
According to Proposition 2, we obtain the following: Remark 4. Given a simple closed k-surface S k in Z 3 , k ∈ {6, 18, 26}, the geometric realization | S k | is a sphere-like polyhedron in R 3 .
Eventually, given an S k , | S k | is obtained in terms of the following process.

Remark 5.
In view of Definitions 9 and 10, we observe that, given an S k and a point x ∈ S k , the set Int(D k (x))(⊂ R 3 ) can be considered a open neighborhood of x in | S k | , where the term as "Int" means the interior operator in the subspace (| S k |, U | S k | ), where U | S k | is the subspace topology on | S k | induced by the 3-dimensional Euclidean topological space (R 3 , U). This approach can facilitate the study of some objects in digital surface theory.
Remark 6 (Importance of the sets M k (x) and D k (x) with respect to a geometric realization of an S k ). Unlike a typical surface (or a 2-dimensional topological manifold) in the Euclidean topological space (R 3 , U), we observe that, given an S k and x ∈ S k motivated by the set, | S k | x , the sets M k (x) and D k (x), x ∈ S k play important roles in establishing a geometric realization of the given S k .
Owing to Proposition 2 and the process of Equation (14), given an S k in Z 3 , we obtain | S k | (see Equation (13)) as a typical polyhedron without boundary in the subspace (| S k |, U | S k | ) (see Remark 4). 18 in Figure 1a, we see that | MSS 18 | seems like to be a small rugby ball.

Euler Characteristics for Digital k-Surfaces and Connected Sums of Closed k-Surfaces
In order to address questions (Q3) and (Q4) in Section 1 and, further, to exactly understand the notion of Euler characteristic of a simple closed k-surface S k in Z 3 (see Reference [5]), we now stress that the geometric realization of S k , | S k |, is a sphere-like 2-dimensional simplicial complex generated by the set {D k (x) | x ∈ S k } (see Proposition 2).
Given an S k in Z 3 , a '2-dimensional digital k-simplex' in Z 3 is obviously defined as the set {x 0 , x 1 , x 2 } contained in N k (x i , 1) ⊂ S k , i ∈ {0, 1, 2} (see Equation (5)) such that each of two elements of {x 0 , x 1 , x 2 } are k-adjacent (see Reference [23]). Moreover, a '2-dimensional k-simplex' in R 3 is said to be a solid triangle formulated by a "2-dimensional digital k-simplex". Then, we can recognize some differences between a 2-dimensional digital k-simplex (resp. a 2-dimensional k-simplex) and an element of M k (x) (resp. D k (x)), as follows:  Thus, the simplicial complex generated by the eight 2-dimensional 18-simplex is quite different from the geometric realization | MSS 18 | of [5] (or the current geometric realization | MSS 18 |).
Remark 8 (Limitations of the approach of an Euler characteristic in Reference [14]). Given an S k referred to in Example 4, Reference [14] considered only the simplicial complexes formulated by only 2-dimensional digital k-simplexes on S k . Then, given an S k in Z 3 , it is obvious that it need not produce a polyhedron in R 3 . To be precise, according to the approach of Reference [14], since each of the sets Then, the union of all polygons inherited from these eight 18-cycles is not a polyhedron in R 3 . This implies that, given an S k , the geometric approximation referred to in Reference [14] does not support a transformation from S k to a certain sphere-like polyhedron in R 3 . Hence, comparing Definition 10, the approach of Reference [14] is very restrictive.
Hence, the current notions of M k (x) and D k (x) in Definitions 8 and 9 are substantially required in digital surface theory.
Using both the digital k-graph theoretical method in References [4,10] and the notions of D k (x) and M k (x), x ∈ S k , inherited from G k (see Definitions 8 and 10 of the present paper), we can define the Euler characteristic of an S k . Owing to Definition 10 and Proposition 2, we can make the definition for Euler characteristic of S k in Reference [5] clear in the following way. Definition 11 ([5]). For an S k , the Euler characteristic of S k is defined by where E (|S k |) = V − E + F and V means the number of the vertexes of |S k |, E is the number of the k-edges of |S k |, and F is the number of the polygons in |S k | = x∈S k Proof. Owing to Theorem 1, the proofs of Equations (1) and (2) are completed.
In view of Corollary 1, it turns out that the calculations of the Euler characteristics of connected sums of simple closed k-surfaces suggested in Reference [5] obviously hold, as follows: In digital surface theory, Reference [5] already proved that MSS 18 MSS 18 is simply 18-connected. However, we now need to correct some errors in Reference [5] relating to the calculations of the digital 6-fundamental groups of MSS 6 and MSS 6 MSS 6 in Reference [4]. Indeed, using trivial extensions in Reference [24], the calculations should be proceeded, as follows: (1) The 18-fundamental group of MSS 6 should be calculated as a trivial group as in Reference [14] instead of the free group generated by two cyclic groups (correction of Lemma 3.3(3) of Reference [5]).
(2) The 6-fundamental group of MSS 6 MSS 6 should be calculated as a trivial group as in Reference [14] instead of the free group generated by two cyclic groups (correction of Theorem 3.4(1) of Reference [5]).

The (Almost) Fixed Point Property for Digital k-Surfaces and Connected Sums of Closed k-Surfaces
In order to address the query (Q5) in Section 1, let us now recall the fixed point property and the almost fixed point property from the viewpoint of digital topology.

•
We say that a digital image (X, k) in Z n has the fixed point property (FPP) [30] if, for every k-continuous map f : We say that a digital image (X, k) in Z n has the almost fixed point property (AFPP) [30,31] if, for every k-continuous self-map f of (X, k), there is a point x ∈ X such that f (x) = x or f (x) is k-adjacent to x. In general, we observe that the AFPP is a more generalized concept than the FPP. Proof. (1) Let us consider the self-bijection f of MSS 18 using the composite of the three different types of reflections F 1 , F 2 , and F 3 of MSS 18 , as follows (see Figure 4a): where the notation "p ↔ q" in Equation (17) means a mapping from p to q and vice versa by using the given maps, F 1 , F 2 , and F 3 , where p, q ∈ MSS 18 .
Then, we observe that the maps F 1 , F 2 , and F 3 are special kinds of reflections which are 18-continuous self-bijections of MSS 18 . Then, we obtain the composite which is also an 18-continuous self-bijection of MSS 18 (see Figure 4a). However, the map f does not support the AFPP for MSS 18 . To be precise, we observe that there is no point x ∈ MSS 18 such that f (x) = x or f (x) is 18-adjacent to x.
Then, we observe that the map g is an 18-continuous bijection on MSS 18 . However, we find that the map g does not support the AFPP for MSS 18 . To be specific, we observe that there is no point x ∈ MSS 18 such that g(x) = x or g(x) is 18-adjacent to x. It is obvious that MSS 6 does not have the FPP. However, owing to Proposition 2 and Definition 11, we obtain E (MSS 6 ) = 2. Thus, owing to Proposition 3, Theorem 2 and Examples 5 and 6, we have the following: Corollary 2. For an S k , the non-triviality of the Euler characteristic of an S k implies neither the FPP nor the AFPP of the given S k .
As stated above, in view of the feature of the Euler characteristics of digital k-surfaces, we can stress that the study of fixed point theory using the current Euler characteristic is quite different from the approach of the typical fixed point theory. Moreover, based on Remarks 5 and 6, we can also point out the following: Remark 11. (1) The authors of Reference [14] studied a certain Euler characteristic of a digital image (X, k) using digital homology groups of (X, k) (see Section 6 of Reference [14]). Moreover, they urged to establish some connection between the Euler characteristic of a k-surface in Reference [5] (or the current version of Definition 11 in the present paper) and their Euler characteristic using the digital homology referred to in Reference [14]. However, it turns out that they are totally different. Thus, in view of Theorem 2 and Corollary 2, their assertions in Reference [14] involving the Euler characteristic of S k of Reference [5] are too far from the approach of Reference [5] (or the current one). Indeed, we find that their approach in Reference [14] is irrelevant to the current Euler characteristic in Reference [5] (or the current one).
(2) In view of Remarks 8 and 9, Definition 11, and Theorem 2, the current Euler characteristic of S k facilitates the study of digital surfaces of from the viewpoints of digital surface and typical surface theories.

Remark 12.
(1) The digital homology in Reference [14] is indeed quite different from the typical homology group in algebraic topology (for more details, see Section 1 of Reference [32]). Furthermore, the digital homology referred to in Reference [14] is also different from the simplicia homology in algebraic topology. Moreover, in view of this situation, the comment in Reference [14] involving his approach to the Euler characteristic of an S k with the Euler characteristic in Reference [5] (or the current approach) can be incorrect.

Conclusions and a Further Work
The present paper intensively explained the process of a geometric realization of an S k in Z 3 . Using this frame, we showed that the current Euler characteristic of a simple closed k-surface is consistent with that of the typical surface in algebraic topology. Indeed, we also confirmed that the set Int(D k (x)) (see Definition 9) plays important role in establishing | S k | (see Remark 5). Moreover, we also have proved that the simple closed 18-surfaces MSS 18 and MSS 18 do not have the AFPP. Finally, it turns out that the non-triviality of the Euler characteristics of simple closed k-surfaces, MSS 6 , MSS 18 , and MSS 18 , implies neither the FPP nor the AFPP (see Theorem 2).
The recent paper [33] established many kinds of digital topological structures on Z n which are not homeomorphic to the n-dimensional Khalimsky topological space. Moreover, References [34,35] developed the notion of digital rough approximations using Khalimsky and Marcus-Wyse topological structure. As a further work, using the methods in References [33,36], we can further study the following: • a development of a new type digital surface associated with a Khalimsky manifold. • fixed point theory for many kinds of digital topological structures on Z n in [33]. • given a typical surface X in pure topology and geometry, after developing a new type of LF-topological structure on X, T(X), we can explore some connections related to Euler characteristics between X and T(X). • after improving the earlier digital homology groups [14] for digital images, we can propose some relationships between the current Euler characteristic and a certain invariant involving new homology groups for digital closed k-surfaces.