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

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.

Equivalent conditions for digital covering maps

It is known that every digital covering map p:(E,k) ? (B,?) has the unique path lifting property. In this paper, we show that its inverse is true when the continuous surjective map p has no conciliator point. Also, we prove that a digital (k,?)-continuous surjection p:(E,k)? (B,?) is a digital covering map if and only if it is a local isomorphism, when all digital spaces are connected. Moreover, we find out a loop criterion for a digital covering map to be a radius n covering map.

Non-ultra regular digital covering spaces with nontrivial automorphism groups

The study of digital covering transformation groups (or automorphism groups, discrete deck transformation groups) plays an important role in the classification of digital spaces (or digital images). In particular, the research into transitive or nontransitive actions of automorphism groups of digital covering spaces is one of the most important issues in digital covering and digital homotopy theory. The paper deals with the problem: Is there a digital covering space which is not ultra regular and has an automorphism group which is not trivial? To solve the problem, let us consider a digital wedge of two simple closed ki-curves with a compatible adjacency, i ?{1,2}, denoted by (X, k). Since the digital wedge (X, k) has both infinite or finite fold digital covering spaces, in the present paper some of these infinite fold digital covering spaces were found not to be ultra regular and further, their automorphism groups are not trivial, which answers the problem posed above. These findings can be substantially used in classifying digital covering spaces and digital images so that the paper improves on the research in Section 4 of [3] (compare Figure 2 of the present paper with Figure 2 of [3]), which corrects an error that appears in the Boxer and Karaca's paper [3] (see the points (0,0), (0,8), (6, -1) and (6,7) in Figure 2 of [3]).

Unique pseudolifting property in digital topology

The generalized universal lifting property plays an important role in classical topology. In digital topology we also have its digital version [5, 6, 14]. More precisely, the paper [6] established the concept of a digital covering (see also [11, 17]). It has substantially contributed to the calculation of digital fundamental groups of some digital spaces, the classification of digital spaces and so forth. The paper [6] also established the unique lifting property of a digital covering which plays an important role in studying both digital covering and digital homotopy theory. Motivated by the unique lifting property, the paper develops a pseudocovering which is weaker than a digital covering and investigates its various properties. Furthermore, the paper proves that a pseudocovering with some hypothesis has the unique pseudolifting property which is weaker than the unique lifting property in digital covering theory.

Ultra regular covering space and its automorphism group

Ultra regular covering space and its automorphism groupIn order to classify digital spaces in terms of digital-homotopic theoretical tools, a recent paper by Han (2006b) (see also the works of Boxer and Karaca (2008) as well as Han (2007b)) established the notion of regular covering space from the viewpoint of digital covering theory and studied an automorphism group (or Deck's discrete transformation group) of a digital covering. By using these tools, we can calculate digital fundamental groups of some digital spaces and classify digital covering spaces satisfying a radius 2 local isomorphism (Boxer and Karaca, 2008; Han, 2006b; 2008b; 2008d; 2009b). However, for a digital covering which does not satisfy a radius 2 local isomorphism, the study of a digital fundamental group of a digital space and its automorphism group remains open. In order to examine this problem, the present paper establishes the notion of an ultra regular covering space, studies its various properties and calculates an automorphism group of the ultra regular covering space. In particular, the paper develops the notion of compatible adjacency of a digital wedge. By comparing an ultra regular covering space with a regular covering space, we can propose strong merits of the former.