Dear Label_Name,

Greetings! I hope you are well.

I am writing on behalf of an international publishing house, Science and Education Publishing, USA (http://www.sciepub.com).

Science and Education Publishing (SciEP) is a multidisciplinary open access publisher of Journals covering the fields of Science, Technology and Medicine. All SciEP publications are subject to high-quality peer review, editorial and production processes and are freely available online.

Welcome to the April, 2013 edition of SciEP newsletter, providing monthly summaries of articles on science & education related topics of interest to scientist and professionals. The mission of our journals is to provide an open access forum for publishing new findings on issues pertinent to scientific and academic field. We also invite you to submit original research papers, review articles, short reports, or case studies are considered for publication in our Multidisciplinary Journals.

American Journal of Public Health Research
DOI: 10.12691/ajphr-1-1-3

The Implementation of a Tele-Homecare System with Service Oriented Architecture and HL7 Message Transmission Standard
Ching-Sung Wang

American Journal of Medical and Biological Research
DOI: 10.12691/ajmbr-1-1-2

The Influence of Ethanol on Pyruvate Kinases Activity in Vivo, in Vitro, in Silico
Lelevich Sergey Vladimirovich, Khrustalev Vladislav Victorovich, Barkovsky Eugene Victorovich, Shedogubova Tatyana Aleksandrovna

American Journal of Medical Sciences and Medicine
DOI: 10.12691/ajmsm-1-1-1

Clinical and Histological Features in Wegener Granulomatosis
Li Cavoli Gioacchino, Passantino Rita, Bono Luisa, Tortorici Calogera, Ferrantelli Angelo, Giammarresi Carlo, Rotolo Ugo

American Journal of Infectious Diseases and Microbiology
DOI: 10.12691/ajidm-1-1-2

The Curse of Lymphatic Filariasis: Would the Continual Use of Diethylcarbamazine Eliminate this Scourge in Papua New Guinea?
Anne Lanham, Lillian Mwanri

We have released issues of some journals on February 2013.
American Journal of Public Health Research
American Journal of Medical Sciences and Medicine
American Journal of Medical and Biological Research
American Journal of Pharmacological Sciences
American Journal of Clinical Medicine Research
American Journal of Nursing Research
American Journal of Cancer Prevention
American Journal of Medicine Studies
American Journal of Infectious Diseases and Microbiology
American Journal of Cardiovascular Disease Research
American Journal of Biomedical Research
American Journal of Mechanical Engineering
American Journal of Microbiological Research
Journal of Preventive Medicine
American Journal of Food and Nutrition
American Journal of Hypertension Research
American Journal of Sports Science and Medicine
Journal of Cancer Research and Treatment
American Journal of Zoological Research
Journal of Biomedical Engineering and Technology
American Journal of Microbiological Research
Biomedical Science and Engineering

We are pleased to announce that submissions are now being accepted for peer review for all the journals across all our subject areas in SciEP.

Please submit your manuscript via our online submission system:
http://www.sciepub.com/author/signin

To unsubscribe from our mailing list, please click on the following link: unsubscribe

I am looking forward to hearing from you.

Kind regards,

David Rain
Email:join@sciepub.com
Science and Education Publishing (http://www.sciepub.com)

Banach and Edelstein Fixed Point Theorems for Digital Images

Akram Hossain*, Razina Ferdausi, Samiran Mondal, Harun Rashid

Department of Mathematics, Jessore University of Science & Technology, Jessore, Bangladesh

Abstract: The current paper generalizes the Edelstein fixed point theorem for digital (ε,k)-chainable metric spaces. In order to generalize Edelstein fixed point theorem, we study the digital topological properties of digital images. Further, we establish the Banach fixed point theorem for digital images. We give the notion of digital (ε,λ,k)-uniformly locally contraction mapping on digital (ε,k) -chainable metric spaces Finally, we generalize the Banach fixed point theorem to digital (ε,k)-chainable metric spaces which is known as the Edelstein fixed point theorem for digital images on digital (ε,k)-chainable metric spaces.

Keywords: digital image, digital continuity, digital metric space, digital (ε,λ,k)-uniformly locally contraction, digital (ε,k)-chainable metric space, Banach fixed point theorem, Edelstein fixed point theorem

Citation: Akram Hossain, Razina Ferdausi, Samiran Mondal, Harun Rashid, Banach and Edelstein Fixed Point Theorems for Digital Images. Journal of Mathematical Sciences and Applications, 5 (2). 36-39. January 2017. doi:10.12691/jmsa-5-2-2

1. Introduction

Fixed point theory plays an essential role in various branches of mathematics. The knowledge of the existence of fixed points has relevant applications in many branches of analysis and topology. Besides, it has application to some areas of computer sciences such as computer graphics, image processing, mathematical morphology and so forth. It is very useful to find out a solution if an equation has any solution. Many mathematical problems, originating from various branches of mathematics can be equivalently formulated as fixed point problems meaning that one has to find a fixed point of some functions. In metric spaces, this theory begins with the Banach fixed point theorem (also known as the Banach contraction mapping principle) by Stefan Banach in 1922 [2]. It is an important tool for solution of some problems in mathematics and engineering. Up to now, there are many generalizations of Banach fixed point theorem have been established [12]. In 1961, Michael Edelstein generalized that theorem on -chainable metric spaces [10,12].

Digital topology deals with the digital topological properties of digital images. It was first introduced by Resenfeld in 1979 [17]. To be specific, he developed the notion of digital continuity for studying and digital images in 1986 [16]. In 1994, Boxer [3,4] expanded the digital versions of several notions such as digital continuous functions including homeomorphisms retractions and homotopies. Few years ago, the concept of digital continuity was extended into the study of digital images [13].

The fixed point properties and fixed point theory for digital images were first given by Ege and Karaca [6] named as Lefschetz fixed point theorem. They developed some applications of the Lefschetz ﬁxed point theorem and Nielsen fixed point theorem in digital images to count fixed points [7,9]. They also got some new results associating digital homotopy and fixed point theory [8]. In 2015, they studied the Banach fixed point theorem for digital images [5]. Han [12] refined and improved several notions of that paper such as digital versions of both Cauchy sequence and limit of a sequence in a digital metric spaces. Recently, approximate fixed points and the approximate fixed point property (AFPP) of digitally continuous functions are introduced [4].

This paper is organized as follows. In the first part, we give the required background about the digital images and digital topology. After that, we study the property of the completeness of digital metric spaces. In the next part, we state and prove the Banach fixed point theorem for digital images. Finally, we give the notion of digital -chainable metric spaces and then state and prove the Edelstein fixed point theorem for digital images. Lastly, we give the conclusion.

2. Preliminaries

To study the Banach fixed point theorem and Edelstein fixed point theorem from the viewpoint of digital topology, we discuss some basic notions from digital topology:

Let and represent the sets of natural numbers and integer numbers respectively. Let where be the sets of lattice points in the -dimensional Euclidean space. It is useful to distinguish between a digital picture and a digital image. We say is a digital picture [17]. A digital image is a subset of with the adjacency relation of the members of that image.

Definition 1.1: We say that two distinct points are -(or ) adjacent for digital images if they satisfy the followings [13]:

Figure 1. Configuration of the digital -connectivity of [12,17]

For a natural number two distinct points

are or -adjacent if at most of their co-ordinates differ by and all other points coincide.

Using above fact, we can obtain the -adjacency relations of as follows [13]:

[picture] | (2.1)

where

Mathematically, a set with the above adjacency relation is called a digital image and denoted by

Definition 1.2 [16]: Let and be digital images. Let be a function. Then is digitally continuous at if and only if for every there is a such that and implies

Definition 1.3 [15]: Let with , then the set

with 2-adjacency is called a digital interval.

Using the -adjacency relations of of (2.1), we define that a digital neighborhood of in is the set [16] is adjacent to .

Furthermore, we often use the notation [15]

Definition 1.4 [11]: A digital image is -connected if and only if every pair of different points there is a sequence of points of a digital image such that and with and are -neighbors. Now we can say that there is a simple -path with elements whose length is the number denoted by

For a digital image as a generalization of the digital -neighborhood of with radius is defined in to be the following subset [13] of

where is the length of a shortest simple -path from to and Concretely, for we obtain

Proposition 2.1 [13]: Let and be digital images in and respectively. A function is digitally -continuous if and only if for every

According to Proposition 2.1, we see that the points is mapped into the points which implies that for the points which are -adjacent a -continuous map has the property

Definition 2.1 [3,12]: Let and be digital images in and respectively. Then a map is called a -isomorphism if is a digital -continuous, bijective and further is -continuous which can be denoted by

3. Completeness of the Digital Metric Spaces

Definition 3.1 [5]: Let denote a digital metric space with -adjacency relation, where is the standard Euclidean function on

In relation to the study of Banach fixed point theorem and Edelstein fixed point theorem, we recall the following:

Definition 3.2 [5]: A sequence of points of a digital metric space is a Cauchy sequence if for all there exists such that for all then

Since the sequence is defined in the digital metric space Han [12] observed that the Euclidean distance between any two distinct points is greater than or equal to 1 as follows:

Proposition 3.1 [12]: In a digital metric space consider two points in a sequence of such that they are -adjacent or and Then they have the Euclidean distance

Proof: Since the Definition 2.1 implies that any two distinct points in the digital metric space has at most of their co-ordinates which differs by and all other coincide. Thus the Euclidean distance depending on the position of that two points. For instance, in Figure 1 (a), the Euclidean distance of any two points 2-adjacent in is 1. In Figure 1 (b), the Euclidean distance of any two points 4-adjacent in is 1. In Figure 1 (c), the Euclidean distance of any two points 8-adjacent in is either 1 or depending on the position of the given two points. For instance, consider two 8-adjacent points of in are and Now the Euclidean distance of these two points are and . Similarly, in three dimensional case, we have Euclidean distances depending on the positions of the two points.

Thus by using the above Proposition 3.1, we obtain the following:

Proposition 3.2 [12]: A sequence of points of a digital metric space is a Cauchy sequence if and only if there is such that for all we have

for all

By using the Proposition 3.1, we can define the convergency of a sequence of a digital metric space as follows:

Definition 3.2 [12]: A sequence of points of a digital metric space converges to a limit if there is such that for all we have

Definition 3.3 [12]: A digital metric space is a complete digital metric space if any Cauchy sequence of points of converges to a point

4. Banach Fixed Point Theorem for Digital Contraction Mapping

Definition 4.1 [5]: Let be a digital metric space and be a self-mapping. If there exists such that for all , we have then is called a digital contraction mapping.

Proposition 4.1: Every digital contraction mapping is digitally continuous.

Proof: Let be a digital metric space and be a digital contraction mapping. Let and by the Proposition 3.1, we have

where for all Then is a digitally -continuous.

Motivated by the paper [5], here we give the Banach fixed point theorem in the following way:

Theorem 4.1 (Banach contraction principle for digital images): Let be a complete digital metric space with Euclidean metric on Let be a digital contraction mapping. Then has a unique fixed point.

Proof: For notational purposes, we define and inductively by and To show existence, we select We first show that is a Cauchy sequence.

Notice for that

Thus for we have

By Proposition 3.1, we have which implies . This shows that is a Cauchy sequence and since is complete, so there exists such that

Moreover, the continuity of yields

Therefore, is a fixed point of

For uniqueness, suppose that is a another fixed point of such that and then

But so Therefore, and our proof is completed.

5. Edelstein Fixed Point Theorem for Digital (ε,k) Chainable Metric Spaces

An extension of Banach fixed point theorem was given by Edelstein to a class of mappings on - chainable metric spaces [10]. Based on that we discuss Edelstein fixed point theorem for digital chainable metric spaces from the viewpoint of digital topology. In this regard, we discuss digital -chain, -uniformly locally contractive mapping and -chainable metric spaces for digital topology.

Definition 5.1: Let be a sequence of points of a digital metric space and suppose Then the sequence is said to be chain joining and if and are neighbors,

Definition 5.2: The digital metric space is said to be digitally -chainable metric space if each pair of its points, there exists an -chain joining and

Definition 5.3: A mapping is called digitally -uniformly locally contractive if there exists and such that which implies for each

Theorem 5.1 (Edelstein fixed point theorem for digital images): Let be a complete digital -chainable metric space and be a digital - uniformly locally contractive mapping. Then has a unique fixed point in

Proof: Given is a complete digital -chainable metric space. Now we define a new metric by

where infimum is taken over all chains joining and . Then the metric on satisfies

(i)

(ii) for

Then the metric is complete whenever is complete. With given and any -chains joining and we have

where for .

Now we can write

Hence, by the Definition 5.3, we have

So is an -chain joining and

Then

Now being an arbitrary -chain, we have

Since has a unique fixed point given by for any [By Banach fixed point theorem].

But by we have Therefore, our proof is completed.

6. Conclusion

We have reviewed some notions of digital topology for image processing technique. Further, we have studied the Banach fixed point theorem for digital images. At last, we have discussed the digital version of Edelstein fixed point theorem for digital images which is the generalization of Banach fixed point theorem in metric spaces. We hope that all results in this paper help us to understand better structure of digital images.

In future, we will study the other fixed point theorem for digital images in digital topology.

Conflicts of Interest

The authors declare that there is no conflicts of interest regarding the publication of this paper.

References

[1]   | R. P. Agarwall, M. Meehan, D. O’Regan, Fixed Point Theory and Applications, Cambridge University Press, 2001.
[2]   | S. Banach, Sur less opérations dans les ensembles abstraits et leur applications aux equations integrates, Fund. Math. 3(1922), 133-181.
[3]   | L. Boxer, Digitally Continuous Function, Pattern Recognition Letter, 15(1994), 833-839.
[4]   | L. Boxer, O. Ege, I. Karaca, J. Lopez and J. Louwsma, Digital fixed points, approximate fixed points, and universal functions, Applied General Topology, 17(2), 159-172 (2016).
[5]   | O. Ege, I. Karaca, Banach fixed point theorem for digital images, J. Nonlinear. Sci. Appl., 8(2015), 237-245.
[6]   | O. Ege, I. Karaca, Lefschetz fixed point theorem for digital images, Fixed Point Theory and Applications, 2013, 2013:253.
[7]   | O. Ege and I. Karaca, Applications of the Lefschetz number to digital images, Bulletin of the Belgian Mathematical Society - Simon Stevin, 21(5), 823-839 (2014).
[8]   | O. Ege and I. Karaca, Digital homotopy fixed point theory, Comptes Rendus Mathematique, 353(11), 1029-1033 (2015).
[9]   | O. Ege and I. Karaca, Nielsen fixed point theory for digital images, Journal of Computational Analysis and Applications, 22(5), 874-880 (2017).
[10]   | M. Edelstein, An Extention of Banach’s Contraction Principle, Amer. Math. Soc., 12(1961), 7-10.
[11]   | G.T. Herman, Oriented surfaces in digital spaces, CVGIP: Graphical Models and Image Processing, 55(1993).
[12]   | S. E. Han, Banach fixed point theorem from the viewpoint of digital topology, J. Nonlinear. Sci. Appl. 9(2016), 895-905.
[13]   | S. E. Han, Non-product property of the digital fundamental group, Inform. Sci., 171(2005), 73-91.
[14]   | M. C. Joshi, R.K. Bose, Some Topics in Non-linear Functional Analysis, Wiley Eastern Limited, New Delhi 110 002, 1985.
[15]   | T. Y. Kong, A. Rosenfeld, Topological Algorithms for the Digital Image Processing, Elsevier Science, Amsterdam, 1996.
[16]   | A. Rosenfeld, Continuous functions on digital pictures, Pattern Recognition Letter, 4(1986), 177-184.
[17]   | A. Rosenfeld, Digital topology, Amer. Math. Soc., 86(1979), 621-630.