An equivalent condition for a pseudo (k0 , k 1 )-covering space


Sang-Eon Han




The paper aims at developing the most simplified axiom for a pseudo (k 0 , k 1)-covering space. To make this a success, we need to strongly investigate some properties of a weakly local (WL-, for short) (k 0 , k 1)-isomorphism. More precisely, we initially prove that a digital-topological imbedding w.r.t. a (k 0 , k 1)-isomorphism implies a WL-(k 0 , k 1)-isomorphism. Besides, while a WL-(k 0 , k 1)-isomorphism is proved to be a (k 0 , k 1)-continuous map, it need not be a surjection. However, the converse does not hold. Taking this approach, we prove that a WL-(k 0 , k 1)-isomorphic surjection is equivalent to a pseudo-(k 0 , k 1)-covering map, which simplifies the earlier axiom for a pseudo (k 0 , k 1)-covering space by using one condition. Finally, we further explore some properties of a pseudo (k 0 , k 1)-covering space regarding lifting properties. The present paper only deals with k-connected digital images.