The Fixed Point Property of the Inﬁnite M -Sphere

: The present paper is concerned with the Alexandroff one point compactiﬁcation of the Marcus-Wyse ( M -, for brevity) topological space ( Z 2 , γ ) . This compactiﬁcation is called the inﬁnite M -topological sphere and denoted by (( Z 2 ) ∗ , γ ∗ ) , where ( Z 2 ) ∗ : = Z 2 ∪ {∗} , ∗ / ∈ Z 2 and γ ∗ is the topology for ( Z 2 ) ∗ induced by the topology γ on Z 2 . With the topological space (( Z 2 ) ∗ , γ ∗ ) , since any open set containing the point “ ∗ " has the cardinality ℵ 0 , we call (( Z 2 ) ∗ , γ ∗ ) the inﬁnite M -topological sphere. Indeed, in the ﬁelds of digital or computational topology or applied analysis, there is an unsolved problem as follows: Under what category does (( Z 2 ) ∗ , γ ∗ ) have the ﬁxed point property ( FPP , for short)? The present paper proves that (( Z 2 ) ∗ , γ ∗ ) has the FPP in the category Mop ( γ ∗ ) whose object is the only (( Z 2 ) ∗ , γ ∗ ) and morphisms are all continuous self-maps g of (( Z 2 ) ∗ , γ ∗ ) such that | g (( Z 2 ) ∗ ) | = ℵ 0 with ∗ ∈ g (( Z 2 ) ∗ ) or g (( Z 2 ) ∗ ) is a singleton. Since (( Z 2 ) ∗ , γ ∗ ) can be a model for a digital sphere derived from the M -topological space ( Z 2 , γ ) , it can play a crucial role in topology, digital geometry and applied sciences.


Introduction
A paper [1] (resp. [2]) explored some features of ((Z 2 ) * , γ * ) (resp. Khalimsky line) and newly proposed two topologies derived from quotient spaces of the one point compactification of (Z 2 , γ) (resp. Khalimsky line). Based on the work, the present paper continues the study of ((Z 2 ) * , γ * ) from the viewpoint of fixed point theory and finally addresses a certain unsolved problem already mentioned in abstract.
From now on the term "Marcus-Wyse" will be often replaced with "M-" for brevity. We shall also use the symbol " :=" to define new terminology. In a category C, let us recall that an object X(∈ Ob(C)) has the fixed point property (FPP) if for every self-morphism f (∈ Mor(C)) of X, there is an element x ∈ X such that f (x) = x. After establishing a certain category relating to the Alexandroff compactification of the M-topological plane, we address the unsolved problem: Under what category does ((Z 2 ) * , γ * ) have the fixed point property (FPP, for short) ? Regarding this work, we need some new ideas and tools.
Let us now recall some terminology which will be used later in the paper. We usually denote by (Z 2 , γ) the M-topological plane (see Section 2), where γ is the topological structure of Z 2 generated by a special kind of set as a base (see (1) and (2) for the details). As usual, we often denote by ℵ 0 the first infinite cardinal number. Besides, | · | means the cardinality of a given set, and we denote by N the set of natural numbers. As usual, a topological space (X, T) is called locally compact [3] if for each point x ∈ X there is a compact neighborhood containing the point x. It is obvious that the M-topological space (Z 2 , γ) is neither a Hausdorff nor a compact space but it is a locally compact space (see later in Section 2 for the details). Hence we can establish the Alexandroff one point compactification of (Z 2 , γ) and further, we call it the infinite M-topological sphere [3]. Hereafter, we denote by ((Z 2 ) * , γ * ) the one point compactification of (Z 2 , γ) [1].
To study the FPP of ((Z 2 ) * , γ * ), we need to define the following category.

Definition 1.
We denote by Mop(γ * ) the category whose object is the only ((Z 2 ) * , γ * ) and morphisms are all continuous self-maps g of (( The present paper disproves the FPP of the infinite M-topological sphere in Con((Z 2 ) * , γ * )) which denotes the set of all continuous self-maps of the infinite M-topological sphere (see Theorem 2). Hence we need to establish a suitable subcategory of it having the FPP. Although, in general, a continuous bijection need not imply a homeomorphism, we wonder if a continuous self-bijection of ((Z 2 ) * , γ * ) is a homeomorphism. Thus we may raise the following queries.
The present paper suggests some affirmative solutions to the queries (1-2), (1-3), and (1-4) and answers to the query of (1-1) negatively. In view of these facts, comparing with the non-FPP of the Hausdorff compactifications of the 2-dimensional usual topological space, we can recognize the study of the FPP of ((Z 2 ) * , γ * ) has its own feature.
The remainder of the paper is organized as follows: Section 2 deals with some notions related to the M-topology and the Alexandroff compactification. Section 3 investigates various properties of continuous self-maps (or surjections or bijections) of ((Z 2 ) * , γ * ). Section 4 proves that every morphism g of Mop(γ * ) has some point x ∈ (Z 2 ) * such that g(x) = x. Section 5 concludes the paper with some remarks and further work.

Preliminaries
A topological space (X, T) is called an Alexandroff space if each point x ∈ X has the smallest open set in (X, T) [4]. Indeed, it is obvious that the usual topological space (R n , U) is not an Alexandroff space. As an Alexandroff topological space [4,5], the M-topological space was proposed [6] and the study of various properties of it includes the papers [1,[6][7][8][9][10][11][12][13]. Regarding digital spaces [14] in Z 2 , we will follow the concept of a digital k-neighborhood of a point p ∈ Z 2 .
The M-topology "γ" on Z 2 is derived from the set {U(p) | p = (x, y) ∈ Z 2 } in (1) as a base [6]. Then we use the notation (Z 2 , γ) for the topological space. To further state a point in Z 2 , we call a point p = (x 1 , x 2 ) double even if x 1 + x 2 is an even number such that each x i is even, i ∈ {1, 2}; even if x 1 + x 2 is an even number such that each x i is odd, i ∈ {1, 2}; and odd if x 1 + x 2 is an odd number [6].
In a subspace of (Z 2 , γ), an odd point (resp. a double even point or even point) is denoted by a black large dot (resp. the symbol ♦). According to (1), under (Z 2 , γ), it appears that the singleton being composed of "♦" is a closed set and the singleton consisting of a black large dots is an open set. Besides, we will denote by (Z 2 ) O (resp. (Z 2 ) E ) the set of all odd points (resp. double even or even points) in (Z 2 , γ). In addition, for a set X ⊂ Z 2 , we denote by (X, γ X ), called an M-topological space, the subspace induced by (Z 2 , γ). Owing to (1), it is obvious that (Z 2 , γ) is an Alexandroff space.
Under (Z 2 , γ), the smallest (open) neighborhood of the point p := (p 1 , p 2 ) of Z 2 , denoted by SN M (p) ⊂ Z 2 , is determined according to the given point p, as follows: From now on, for a point p in (X, γ X ), we follow the notation SN X (p) := SN M (p) ∩ X or V(p) [7]. Owing to (2), (X, γ X ) is obviously a locally finite topological space. According to the property (2), the following properties are obtained in (Z 2 , γ): By Lemma 1 and the property (2), under (Z 2 , γ), we obtain the following: For the point q ∈ (Z 2 ) O , Cl({q}) can be represented as follows: where "Cl" means the closure operator.
Next, we now check the non-compactness of (Z 2 , γ). Let Though C is an open covering for (Z 2 , γ) with C = ℵ 0 , a deletion of at least one element from C does not support a covering of Z 2 , which implies that (Z 2 , γ) is not compact. Finally, since any point p ∈ (Z 2 , γ) has an smallest open set which is compact, it turns out that (Z 2 , γ) is locally compact. Thus we can proceed with the Alexandroff compactification of (Z 2 , γ) [3], denoted by ((Z 2 ) * , γ * ). To be specific, take a certain object outside X, denoted by the symbol * (or ∞) / ∈ X, and add it to X, creating the set X * := X ∪ { * } [4]. Topologize X * using the following sets as open sets 'O' in X * .
where O c is a closed and compact subset of (X, T), and O c means the complement of the set O in X * .
This topological space is called the Alexandroff one-point compactification of (X, T) and denoted by (X * , T * ).
, we obtain the following: , which proves the assertion.
In view of Proposition 1(2), we obtain the following: , it is not compact in (Z 2 , γ), which completes the proof.
For two spaces X := (X, γ X ) and Y := (Y, γ Y ), a map g : X → Y is said to be M-continuous at a point x ∈ X if g is continuous at the point x from the viewpoint of M-topology. Furthermore, we say that a map g : X → Y is M-continuous if it is M-continuous at every point x ∈ X. Indeed, since (Z 2 , γ) is an Alexandroff space (see the property (1)), we can represent the M-continuity of g at a point x ∈ X [7], as follows: In addition, for two spaces (X, γ X ) and (Y, γ Y ), a map h : X → Y is called an M-homeomorphism if h is an M-continuous bijection and further, h −1 : Y → X is M-continuous.
At the moment, we need to mention that the open set O M (g * ( * )) (resp. O M ( * )) is not a minimal open set of the corresponding point g * ( * ) (resp. * ) because both the points * and g( * ) do not have their smallest open neighborhoods in ((Z 2 ) * , γ * ) (for the details, see the proof of Lemma 3 and Corollary 4 in the present paper).
(2) Using a method similar to the proof of (1), we complete the proof.

Proof.
Assume a continuous self-map g of ((Z 2 ) * , γ * ) such that g( * ) = p ∈ Z 2 . Take the smallest open neighborhood of the point p, i.e., SN M (p). Since the set it has an infinite cardinality because which implies that the set (Z 2 ) * \ g −1 (SN M (p)) of (7) should be finite (see the property (4)). Hence we should have |g −1 (SN M (p))| = ℵ 0 . Thus the map g should not be injective because SN M (p) is finite for any point p ∈ (Z 2 , γ).
At the moment, we need to mention that the open neighborhood of g( * ) (resp. * ) such as O M (g( * )) (resp. O M ( * )) is not minimal open sets of the corresponding points because the points * and g( * ) do not have their minimal open neighborhoods in ((Z 2 ) * , γ * ). Thus the inverse of the given continuous self-bijection g of ((Z 2 ) * , γ * ) also has the property where q ∈ Z 2 . Thus, the given map g should be a homeomorphism.
In view of Lemma 2 and Theorem 1, we obtain the following:

The Fixed Point Property of ((Z 2 ) * , γ * ) in the Category Mop(γ * )
In view of Theorem 1 and Corollary 2, we may wonder if every continuous self-map g of the space ((Z 2 ) * , γ * ) has some point x ∈ (Z 2 ) * such that g(x) = x. A recent paper [1] proved that ((Z 2 ) * , γ * ) has the FPP in the category of continuous self-bijections of the space. In view of this result, this section proves that ((Z 2 ) * , γ * ) does not have the FPP (see Theorem 1 below), which answers to the query (1-1). It also addresses the queries (1-3) and (1-4) previously posed in Section 1. Let Con((Z 2 ) * , γ * ) be the category whose object is the singleton consisting of (Z 2 ) * , γ * ) and morphisms is the set of all continuous self-maps of ((Z 2 ) * , γ * ). Namely, after firstly proving the non-FPP of ((Z 2 ) * , γ * ), we secondly find a certain subcategory of the category of Con((Z 2 ) * , γ * ) which admits the FPP in the category. This section mainly focuses on establishing a category in which the FPP of ((Z 2 ) * , γ * ) holds. Eventually, we prove that every morphism g of ((Z 2 ) * , γ * ) in the category Mop(γ * ) has a point x ∈ (Z 2 ) * such that g(x) = x (see Theorem 3). This is a positive answer to the question in [1] such as "Under what condition does ((Z 2 ) * , γ * ) have the FPP ?". Let us now address the query (1-1) in Section 1.
To address the queries (1-3) and (1)(2)(3)(4) in Section 1, we need the following lemmas: Owing to Lemma 3, we have the following: Owing to Remark 1 and the definition of ((Z 2 ) * , γ * ), we have the following: There is no continuous self-map g of ((Z 2 ) * , γ * ) such that Proof. Suppose a continuous self-map g of the ((Z 2 ) * , γ * ) satisfying the property (10). Then we have the following properties of g: is not an open set in ((Z 2 ) * , γ * ), and (c) g((Z 2 ) * ) does not include any non-trivial open set in γ.
To be precise, owing to Remark 1 and the continuity of g, we obtain the property (a). Owing to the hypothesis of (10), the complement of g((Z 2 ) * ) in (Z 2 ) * is denumerable. Thus g((Z 2 ) * ) is not open in ((Z 2 ) * , γ * ). Hence we have the property (b) because (Z 2 ) * \ g((Z 2 ) * ) is not compact in (Z 2 , γ). Using a method similar to the proof of (b), we obviously have the property (c). Finally, according to the property (11), we conclude that g((Z 2 ) * ) should be an empty set, which invokes a contradiction of being a map of g.
According to Lemma 4, it turns out that the map g satisfying the hypothesis of (10) is not a continuous self-map of ((Z 2 ) * , γ * ). Besides, the case was already referred to in (9) by saying that any continuous self-map satisfying the property (12) does not support the FPP of ((Z 2 ) * , γ * ). Hence we may consider the following: There is no continuous self-map g of ((Z 2 ) * , γ * ) such that Proof. Suppose a continuous self-map g of ((Z 2 ) * , γ * ) satisfying the property (13). Namely, assume a point p ∈ Z 2 such that g( * ) = p ∈ Z 2 . For convenience, put X := g((Z 2 ) * ). Then there is an open set SN X (p) := SN M (p) ∩ X (see the just above of Lemma 1) such that * ∈ g −1 (SN X (p)) and Meanwhile, we have | X \ SN X (p) | = ℵ 0 . Thus the map g should map the finite set (Z 2 ) * \ g −1 (SN X (p)) onto the infinite set X \ SN X (p), which invokes a contradiction.
In view of Corollary 3, and Lemmas 4 and 5, and the property (12), we need to prove the following: Proof. (Case 1) With the hypothesis, in case g is a constant map, the proof is completed. (Case 2) Assume an arbitrary morphism g of Mop(γ * ) which is not a constant map. Then we prove that there is a point x ∈ (Z 2 ) * such that g(x) = x. For each morphism g : ((Z 2 ) * , γ * ) → ((Z 2 ) * , γ * ) of Mop(γ * ), we need to check the following cases.
(Case 2-2) Let us now suppose the morphism g having the property g( * ) = * . Namely, assume the case g( * ) = p ∈ Z 2 so that we may consider the following two cases.

Example 2.
(1) Example 4.1(1) of [11] is written as follows: Let us consider the space X ∈ MAC in Figure 2a,b. Then each of the two processes presented by the dotted arrows on the space X ∈ MAC as in Figure 2(1)(a) and (b) represents an MA-homotopy of X relative to X .
However, there are misprinted figures (a) and (b) for X as shown in Figure 2(1)a,b in the present paper. The corrected one is the following as stated in Figure 2(2)a in the present paper. Using the arrows in Figure 2(2)a in the present paper, we can see an MA-homotopy of X relative to X .
(2) The picture in Figure 2 of [8] is also misprinted with respect to the dotted arrows. The authors correct it with Figure 2(4) instead of Figure 2(3) (check only the dotted arrows).
In addition, in the configuration of Figure 4(c) of [16], the word "A K-retractible space" should be written by "A non-K-retractible".

Concluding Remarks
After finding the category Mop(γ * ), we have addressed the unsolved problem: Under what category does ((Z 2 ) * , γ * ) have the FPP? Owing to this approach, we conclude that Mop(γ * ) is the maximal category which allows for the FPP of the ((Z 2 ) * , γ * ) (see the query (1-5)). Since ((Z 2 ) * , γ * ) is one of the digital models for the typical sphere in traditional geometry, this study of ((Z 2 ) * , γ * ) facilitate the studies of pure and applied mathematics.
As a further work, based on the tools used in this paper, we can expand the obtained results in this paper to the study of newly-established topology such as the topology on Z 2 introduce in the paper [17]. Besides, we can further study the FPP problem for a non-compact, non-Hausdorff, and locally compact Alexandroff plane. In addition, we can adapt this approach into the study of combinatorial topological structures involving digital images [18][19][20]. Motivated by a certain cone metric on a digital image [21][22][23], we can establish a metric space derived from an M-topological space.