scholarly journals Discrete Group Actions on Digital Objects and Fixed Point Sets by Isok(·)-Actions

Mathematics ◽  
2021 ◽  
Vol 9 (3) ◽  
pp. 290
Author(s):  
Sang-Eon Han

Given a digital image (or digital object) (X,k),X⊂Zn, this paper initially establishes a group structure of the set of self-k-isomorphisms of (X,k) with the function composition, denoted by Isok(X) or Autk(X). In particular, let Ckn,l be a simple closed k-curve with l elements in Zn. Then, the group Isok(Ckn,l) is proved to be isomorphic to the standard dihedral group Dl with order l. The calculation of this quantity Isok(Ckn,l) is a key step for obtaining many new results. Indeed, it is essential for exploring many features of Isok(X). Furthermore, this quantity is proved to be a digital topological invariant. After proceeding with an Isok(X)-action on (X,k), we investigate some properties of fixed point sets by this action. Finally, we explore various features of fixed point sets by this action from the viewpoint of digital k-curve theory. This paper only deals with k-connected digital images (X,k) whose cardinality is equal to or greater than 2. Besides, we discuss some errors that have appeared in the lilterature.

Mathematics ◽  
2020 ◽  
Vol 8 (11) ◽  
pp. 1896
Author(s):  
Sang-Eon Han

Given a digital image (or digital object) (X,k), we address some unsolved problems related to the study of fixed point sets of k-continuous self-maps of (X,k) from the viewpoints of digital curve and digital surface theory. Consider two simple closed k-curves with li elements in Zn, i∈{1,2},l1⪈l2≥4. After initially formulating an alignment of fixed point sets of a digital wedge of these curves, we prove that perfectness of it depends on the numbers li,i∈{1,2}, instead of the k-adjacency. Furthermore, given digital k-surfaces, we also study an alignment of fixed point sets of digital k-surfaces and digital wedges of them. Finally, given a digital image which is not perfect, we explore a certain condition that makes it perfect. In this paper, each digital image (X,k) is assumed to be k-connected and X♯≥2 unless stated otherwise.


Mathematics ◽  
2020 ◽  
Vol 8 (9) ◽  
pp. 1617 ◽  
Author(s):  
Sang-Eon Han

Let Ckn,l be a simple closed k-curves with l elements in Zn and W:=Ckn,l∨⋯∨Ckn,l︷m-times be an m-iterated digital wedges of Ckn,l, and F(Conk(W)) be an alignment of fixed point sets of W. Then, the aim of the paper is devoted to investigating various properties of F(Conk(W)). Furthermore, when proceeding with this work, this paper addresses several unsolved problems. To be specific, we firstly formulate an alignment of fixed point sets of Ckn,l, denoted by F(Conk(Ckn,l)), where l(≥7) is an odd natural number and k≠2n. Secondly, given a digital image (X,k) with X♯=n, we find a certain condition that supports n−1,n−2∈F(Conk(X)). Thirdly, after finding some features of F(Conk(W)), we develop a method of making F(Conk(W)) perfect according to the (even or odd) number l of Ckn,l. Finally, we prove that the perfectness of F(Conk(W)) is equivalent to that of F(Conk(Ckn,l)). This can play an important role in studying fixed point theory and digital curve theory. This paper only deals with k-connected digital images (X,k) such that X♯≥2.


2000 ◽  
Vol 76 (1-2) ◽  
pp. 131-152 ◽  
Author(s):  
Dana M. Bedivan ◽  
Donal O′Regan

2020 ◽  
Vol 21 (1) ◽  
pp. 87 ◽  
Author(s):  
Laurence Boxer ◽  
P. Christopher Staecker

<p>In this paper, we examine some properties of the fixed point set of a digitally continuous function. The digital setting requires new methods that are not analogous to those of classical topological fixed point theory, and we obtain results that often differ greatly from standard results in classical topology.</p><p>We introduce several measures related to fixed points for continuous self-maps on digital images, and study their properties. Perhaps the most important of these is the fixed point spectrum F(X) of a digital image: that is, the set of all numbers that can appear as the number of fixed points for some continuous self-map. We give a complete computation of F(C<sub>n</sub>) where C<sub>n</sub> is the digital cycle of n points. For other digital images, we show that, if X has at least 4 points, then F(X) always contains the numbers 0, 1, 2, 3, and the cardinality of X. We give several examples, including C<sub>n</sub>, in which F(X) does not equal {0, 1, . . . , #X}.</p><p>We examine how fixed point sets are affected by rigidity, retraction, deformation retraction, and the formation of wedges and Cartesian products. We also study how fixed point sets in digital images can be arranged; e.g., for some digital images the fixed point set is always connected.</p>


1971 ◽  
Vol 23 (3) ◽  
pp. 461-467 ◽  
Author(s):  
Helga Schirmer

It was proved almost forty years ago that every mapping of a tree into itself has at least one fixed point, but not much is known so far about the structure of the possible fixed point sets. One topic related to this question, the study of homeomorphisms and monotone mappings of trees which leave an end point fixed, was first considered by G. E. Schweigert [6] and continued by L. E. Ward, Jr. [8] and others. One result by Schweigert and Ward is the following: any monotone mapping of a tree onto itself which leaves an end point fixed, also leaves at least one other point fixed.It is further known that not only single-valued mappings, but also upper semi-continuous (use) and connected-valued multifunctions of trees have a fixed point [7], and that two use and biconnected multifunctions from one tree onto another have a coincidence [5].


2020 ◽  
Vol 22 (6) ◽  
pp. 1971-2046
Author(s):  
François Béguin ◽  
Sylvain Crovisier ◽  
Frédéric Le Roux

Sign in / Sign up

Export Citation Format

Share Document