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)

On Some Well Known Fixed Point Theorems in b-Metric Spaces

Mehmet Kir*, Hükmi Kiziltunc

Department of Mathematics, Faculty of Science, Ataturk University, Erzurum-Turkey

Abstract: In this paper, our purpose is to show that Kannan Type and Chatterjea type contractive mappings have unique fixed point in b-metric spaces. Also, we see surprisingly a way that contrary to the known (usual) metric spaces, any contraction mapping is not need to be a weak conraction mapping in b-metric spaces.

Keywords: fixed point, b-metric spaces, contraction mappings

Received September 14, 2013; Revised September 21, 2013; Accepted September 23, 2013

Citation: Mehmet Kir, Hükmi Kiziltunc, On Some Well Known Fixed Point Theorems in b-Metric Spaces. Turkish Journal of Analysis and Number Theory, 1 (1). 13-16. January 2013. doi:10.12691/tjant-1-1-4

1. Introduction and Prelimnaries

Fixed point theory is one of the most important topic in development of nonlinear analysis. Also, fixed point theory has been used effectively in many other branch of science, such as chemistry, biology, economics, computer science, engineering, and many others.

It is well known that Banach’s contraction mapping theorem is one of the pivotal results of functional analysis. A mapping where (X, d) is a metric space, is said to be a contraction if there exists such that for all ;

[picture] | (1.1)

If the metric space (X, d) is complete then the mapping satisfying (1.1) has a unique fixed point. Inequalty (1.1) implies continuity of T. A natural question is that whether we can find contractive conditions which will imply existence of fixed point in a complete metric space but will not imply continuity.

Kannan in [2] established the following result in which the above question has been answered in the affirmative.

If where (X, d) is a complete metric space, satisfies the inequlity

[picture] | (1.2)

where and then T has a unique fixed point. The mappings satisfying (1.2) are called Kannan type mappings.

A similar contractive condition has been introduced by Chatterjea [3] as following.

If where (X, d) is a complete metric space, satisfies the inequality

[picture] | (1.3)

where and then T has a unique fixed point. The mappings satisfying (1.3) are called Chatterjea type mappings.

Some problems, particularly the problem of the convergence of measurable functions with respect to a measure, lead to a generalization of notation of metric. Using this idea, Czerwik in [4] and [5] presented a generalization of the well known Banach’s fixed point theorem in so called b-metric spaces.

Our purpose is to show that some well-known fixed point theorems are valid in b-metric spaces. It is interesting that we see some properties in (usual) metric space is not valid in b-metric space.

Definition 1. [7] Let X be a nonempty set and let s ≥ 1 be a given real number. A function is called a b-metric provided that, for all ,

1. if and only if ,

2. ,

3. ,

A pair (X, d) is called a b-metric space.

It is clear that the definiton of b-metric space is a extension of usual metric space. Also, if we consider s = 1 in Definition 1, then we obtain definition of usual metric space. By this reason, our results are more general than the same results in (usual) metric space.

We can give some example of b-metric space as following:

Example 1. [6] The space ,

together with the function

where is a b-metric space. By an elementary calculation we obtain that

Example 2. [6] The space of all real functions such that

is b-metric space if we take

for each ,

Remark 1. Note that a (usual) metric space is evidently a b-metric space. However, Czerwik [4,5] has shown that a b-metric on X need not be a metric on X.

Now, we illüstrate Remark 1 as follows:

Example 3. [7] Let X = {0, 1, 2}and d (2, 0) = d (0 ; 2) = m ≥ 2, d (0 1) = d (1, 2) = d (0, 1) = d (2, 1) = 1 and d (0, 0) = d (1, 1) = d (2, 2) = 0. Then,

for all . If m > 2, the ordinary triangle inequality does not hold.

We continue by presenting definition of Cauchy sequence, convergent sequence and complete b-metric space.

Definition 2. [6] Let (X, d) be a b-metric space. Then a sequence (xn) in X is called Cauchy sequence if and only if for all there exists such that for each we have .

Definition 3. [6] Let (X, d) be a b-metric space. Then a sequence (xn) in X is called convergent sequence if and only if there exists such that for all there exists such that for all we have . In this case we write .

Definition 4. [6] The b-metric space is complete if every Cauchy sequence convergent.

Definition 5. [8] Let E be a nonempty set and a selfmap. We say that is a fixed point of T if T (x) = x and denote by FT or Fix (T) the set of all fixed points of T.

Let E be any set and a selfmap. For any given , we define Tn (x) inductively by T⁰ (x) = x and ; we recall Tn(x) the nth iterative of x under T.

For any , the sequence given by

[picture] | (1.4)

is called the sequence of successive approximations with the initial value x₀. It is also known as the Picard iteration starting at x₀.

Definition 6. [8] Let (X, d) be a metric space. A mapping is called weak contraction if there exists a constant and some such that

[picture] | (1.5)

fall all .

Remark 2. [8] Due to the symmetry of the distance, the weak contractive condition (1.5) implicitly includes the following dual one

[picture] | (1.6)

fall all .

Consequently, in order to check the weak contractiveness of T; it is necessary to check both (1.5) and (1.6).

Remark 3. It is clear that any contraction mapping is also weak contraction mapping in a (usual) metric space.

2. Main Results

In this section, we give some fixed point theorems arising from b-metric spaces. Also, we find an intersting comparison between (usual) metric spaces and b-metric spaces. Our first theorem about Banach’s contraction princible in b-metric spaces.

Theorem 1. Let (X, d) be a complete b-metric space with constant s ≥ 1 and define the sequence by the recursion (1.4). Let be a contraction with the restrictions and . Then, there exists such that and is unique fixed point of T.

Proof. Let and be a sequence in X defined as following

Since T is a contraction with constant then, we obtain

Continuing this process, we easily arrive at

[picture] | (2.1)

Now, we show that is a Cauchy sequence in X. Let m, n > 0 with m > n,

[picture] | (2.2)

[picture] | (2.3)

When we take in (2.3), we arrive at

Hence, is a Cauchy sequence in X. In view of completeness of X; we consider that convergent to .

Now, we show that is the unique fixed point of T. Indeed

Therefore, is a fixed point of T. To is complete the proof finaly, we have to show that the fixed point is unique. Assume that is an other fixed point of T. Then, .

[picture] | (2.4)

The (2.4) implies that ; but this case is a contradiction to . So the fixed point is unique. This completes the proof.

Our next theorem about Kannan type fixed point theorem in b-metric spaces.

Theorem 2. Let (X, d) be a complete b-metric space with constant and define the sequence by the recursion (1.4). Let be a mapping for which there exists such that

[picture] | (2.5)

for all .

Then, there exists such that and is unique fixed point of T.

Proof. Let and be a sequence in X defined as , . By using (2.5) and (1.4) we obtain that

and we obtain

[picture] | (2.6)

Similarly, we have

[picture] | (2.7)

Note that then . Thus, T is a contraction mapping. We deduce, in similar manner to that in the proof of Theorem 1 that is a Cauchy sequence and hence, a convergent sequence, too. We consider that convergent to then we have

and we arrive at

[picture] | (2.8)

Also, thanks to (2.7), we obtain that

[picture] | (2.9)

Letting in (2.9),

Therefore, and implies that is a fixed point of T. It is easy to see the fixed point is unique.

Remark 4. In proof of Theorem 2, it is clear that we have not heard of any restriction to actualize the Kannan’s fixed point theorem in b-metric spaces.

Proposition 1. Contrary to the known (usual) metric spaces, any mapping satisfying the contractive condition (2.5) need not be a weak contraction in a b-metric spaces unless under the terms .

Proof. Let be a mapping satisfying (2.5), we have

and we obtain

[picture] | (2.10)

According to the inequalty (2.10), T is not a weak contraction unless the terms

Remark 5. In Theorem 2, we see that a mapping satisfying the contractive condition (2.5) is also a contraction mapping in b-metric space. Also, in Proposition 1, we see that a mapping satisfying the contractive condition (2.5) is not need to be a weak conraction. Consequently, it is interesting that contrary to the known (usual) metric spaces, any contraction mapping is not need to be a weak conraction mapping in b-metric spaces.

Our next theorem is about Chatterjea type fixed point theorem in b-metric spaces.

Theorem 3. (X, d) be a complete b-metric space and define the sequence by the Recursion (1.4). Let be a mapping under the terms such that

[picture] | (2.11)

fall all .

Then, there exists such that and is unique fixed point of T.

Proof. Let and be a sequence in X defined as , . By using (2.11) and (1.4) we obtain that

[picture] | (2.12)

[picture] | (2.13)

thus, we have

[picture] | (2.14)

Note that then.Thus, T is a contraction mapping. By using similar method in the proof of Theorem 1 and Theorem 2, we see that is a Cauchy sequence and hence a convergent sequence, too. we consider that convergent to .

Now, we show that is a fixed point of T. We have

[picture] | (2.15)

Thus, we obtain that

[picture] | (2.16)

Letting in (2.16),

[picture] | (2.17)

The inequalty (2.17) is false unless . Thus, we arrive at .

Now, we show that is the unique fixed point of T. Assume that is an other fixed point of T. Then, we have .. and

[picture] | (2.18)

From (2.18), we obtain . This implies that . This completes the proof.

Remark 6. The headlights from Theorem 2, we needed a restriction to valid Chatterjea’s fixed point theorem in b-metric space.

References

[1]   | Choudhury, B. S., Unique fixed point theorem for weakly c-contractive mappings, Kathmandu Univ. J. Sci, Eng and Tech, 5 (1),2009, 6-13.
[2]   | Kannan, R, Some results on fixed points, Bull. Calcutta Math. Soc., 60, 1968, 71-76.
[3]   | Chatterjea, S. K, Fixed point theorems, C.R. Acad. Bulgare Sci. 25, 1972, 727-730.
[4]   | Czerwik, S., Contraction mappings in b-metric spaces, Acta Math inf Univ Ostraviensis. 1 (1993), 5-11.
[5]   | Czerwik, S., Nonlinear set-valued contration mappings in b-metric spaces, Atti Sem Math Fis Univ Modena. 46(2), (1998), 263-276.
[6]   | Boriceanu, M., Fixed point theory for multivalued generalized contraction on a set with two b-metrics, Studia Univ Babes-Bolyai Math. LIV (3), (2009),1-14.
[7]   | Aydi et al., A fixed point theorem for set valued quasi-contractions in b-metric spaces, Fixed Point Theory and Applications, 2012 2012:88.
[8]   | Berinde, V., Iterative Approximation of Fixed Points, Springer, (2006).