scholarly journals The Most Refined Axiom for a Digital Covering Space and Its Utilities

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

This paper is devoted to establishing the most refined axiom for a digital covering space which remains open. The crucial step in making our approach is to simplify the notions of several types of earlier versions of local (k0,k1)-isomorphisms and use the most simplified local (k0,k1)-isomorphism. This approach is indeed a key step to make the axioms for a digital covering space very refined. In this paper, the most refined local (k0,k1)-isomorphism is proved to be a (k0,k1)-covering map, which implies that the earlier axioms for a digital covering space are significantly simplified with one axiom. This finding facilitates the calculations of digital fundamental groups of digital images using the unique lifting property and the homotopy lifting theorem. In addition, consider a simple closed k:=k(t,n)-curve with five elements in Zn, denoted by SCkn,5. After introducing the notion of digital topological imbedding, we investigate some properties of SCkn,5, where k:=k(t,n),3≤t≤n. Since SCkn,5 is the minimal and simple closed k-curve with odd elements in Zn which is not k-contractible, we strongly study some properties of it associated with generalized digital wedges from the viewpoint of fixed point theory. Finally, after introducing the notion of generalized digital wedge, we further address some issues which remain open. The present paper only deals with k-connected digital images.

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>


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

The present paper investigates digital topological properties of an alignment of fixed point sets which can play an important role in fixed point theory from the viewpoints of computational or digital topology. In digital topology-based fixed point theory, for a digital image ( X , k ) , let F ( X ) be the set of cardinalities of the fixed point sets of all k-continuous self-maps of ( X , k ) (see Definition 4). In this paper we call it an alignment of fixed point sets of ( X , k ) . Then we have the following unsolved problem. How many components are there in F ( X ) up to 2-connectedness? In particular, let C k n , l be a simple closed k-curve with l elements in Z n and X : = C k n , l 1 ∨ C k n , l 2 be a digital wedge of C k n , l 1 and C k n , l 2 in Z n . Then we need to explore both the number of components of F ( X ) up to digital 2-connectivity (see Definition 4) and perfectness of F ( X ) (see Definition 5). The present paper addresses these issues and, furthermore, solves several problems related to the main issues. Indeed, it turns out that the three models C 2 n n , 4 , C 3 n − 1 n , 4 , and C k n , 6 play important roles in studying these topics because the digital fundamental groups of them have strong relationships with alignments of fixed point sets of them. Moreover, we correct some errors stated by Boxer et al. in their recent work and improve them (see Remark 3). This approach can facilitate the studies of pure and applied topologies, digital geometry, mathematical morphology, and image processing and image classification in computer science. The present paper only deals with k-connected spaces in DTC. Moreover, we will mainly deal with a set X such that X ♯ ≥ 2 .


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.


2019 ◽  
Vol 14 (3) ◽  
pp. 311 ◽  
Author(s):  
Muhammad Altaf Khan ◽  
Zakia Hammouch ◽  
Dumitru Baleanu

A virus that causes hepatitis E is known as (HEV) and regarded on of the reason for lever inflammation. In mathematical aspects a very low attention has been paid to HEV dynamics. Therefore, the present work explores the HEV dynamics in fractional derivative. The Caputo–Fabriizo derivative is used to study the dynamics of HEV. First, the essential properties of the model will be presented and then describe the HEV model with CF derivative. Application of fixed point theory is used to obtain the existence and uniqueness results associated to the model. By using Adams–Bashfirth numerical scheme the solution is obtained. Some numerical results and tables for arbitrary order derivative are presented.


1960 ◽  
Vol 34 (1) ◽  
pp. 1-16 ◽  
Author(s):  
Richard G. Swan

2007 ◽  
Vol 16 (4) ◽  
pp. 375-398 ◽  
Author(s):  
Władysław Kulpa ◽  
Andrzej Szymanski

2013 ◽  
Vol 2013 ◽  
pp. 1-1 ◽  
Author(s):  
Wei-Shih Du ◽  
Erdal Karapınar ◽  
Lai-Jiu Lin ◽  
Gue Myung Lee ◽  
Tamaki Tanaka

2013 ◽  
Vol 2013 ◽  
pp. 1-9 ◽  
Author(s):  
Ruofeng Rao ◽  
Zhilin Pu

By formulating a contraction mapping and the matrix exponential function, the authors apply linear matrix inequality (LMI) technique to investigate and obtain the LMI-based stability criterion of a class of time-delay Takagi-Sugeno (T-S) fuzzy differential equations. To the best of our knowledge, it is the first time to obtain the LMI-based stability criterion derived by a fixed point theory. It is worth mentioning that LMI methods have high efficiency and other advantages in largescale engineering calculations. And the feasibility of LMI-based stability criterion can efficiently be computed and confirmed by computer Matlab LMI toolbox. At the end of this paper, a numerical example is presented to illustrate the effectiveness of the proposed methods.


Sign in / Sign up

Export Citation Format

Share Document