Abstract
In this paper, we discuss the unique common fixed point of two pairs of weak commutative mappings on a complete multiplicative metric space. They satisfy the following inequality: , where A and S are weak commutative, B and T also are weak commutative. Our results substantially generalize and extend the results of Özavsar and Cevikel (Fixed point of multiplicative contraction mappings on multiplicative metric space).
MSC:46B20, 47A12.
Similar content being viewed by others
1 Introduction
The study of fixed points of mappings satisfying certain contraction conditions has many applications and has been at the center of various research activities. Özavsar gave the concept of multiplicative contraction mappings and proved some fixed point theorems of such mappings on a complete multiplicative metric space in [1]. Gu proved the common fixed point theorems of weak commutative mappings on a complete metric space in [2]. A common fixed point theorem for different mappings was obtained on a 2-metric space in [3, 4]. Agarwal proved some fixed point results for monotone operators in a metric space endowed with a partial order using a weak generalized contraction-type mapping in [5]. Dhage proved fixed point theorems for a pair of coincidentally commuting mappings in a D-metric space in [6]. Mustafa discussed several fixed point theorems for a class of mappings on a complete G-metric space. In this paper, we discuss the common fixed points of two pairs of weak commutative mappings on a complete multiplicative metric space.
2 Some basic properties
Definition 2.1 [7]
Let X be a nonempty set. A multiplicative metric is a mapping satisfying the following conditions:
-
(i)
for all and if and only if ;
-
(ii)
for all ;
-
(iii)
for all (multiplicative triangle inequality).
Example 2.2 [1]
Let be the collection of all n-tuples of positive real numbers. Let be defined as follows:
where and is defined as follows:
Then it is obvious that all conditions of a multiplicative metric are satisfied.
Definition 2.3 [1]
Let be a multiplicative metric space, be a sequence in X and . If for every multiplicative open ball , , there exists a natural number N such that , then . The sequence is said to be multiplicative converging to x, denoted by ().
Definition 2.4 [1]
Let be a multiplicative metric space and be a sequence in X. The sequence is called a multiplicative Cauchy sequence if it holds that for all , there exists such that for all .
Definition 2.5 [1]
We call a multiplicative metric space complete if every multiplicative Cauchy sequence in it is multiplicative convergence to .
Definition 2.6 [2]
Suppose that S, T are two self-mappings of a multiplicative metric space ; S, T are called commutative mappings if it holds that for all , .
Definition 2.7 [2]
Suppose that S, T are two self-mappings of a multiplicative metric space ; S, T are called weak commutative mappings if it holds that for all , .
Remark Commutative mappings must be weak commutative mappings, but the converse is not true.
Definition 2.8 [1]
Let be a multiplicative metric space. A mapping is called a multiplicative contraction if there exists a real constant such that for all .
Theorem 2.9 [1]
Let be a multiplicative metric space, and let be a multiplicative contraction. If is complete, then f has a unique fixed point.
In reference [1], the authors proved that the mapping f had a unique fixed point when f was a multiplicative contraction. In the main section of this paper, we extend the only mapping to two pairs of weak commutative mappings and obtain the fixed point under certain contractive conditions.
3 Main results
Theorem 3.1 Let S, T, A and B be self-mappings of a complete multiplicative metric space X; they satisfy the following conditions:
-
(i)
, ;
-
(ii)
A and S are weak commutative, B and T also are weak commutative;
-
(iii)
One of S, T, A and B is continuous;
-
(iv)
, , .
Then S, T, A and B have a unique common fixed point.
Proof Since , consider a point , such that ;
Now we can define a sequence in X, we obtain
This implies that .
Let , then
We also obtain
From (1) and (2), we know , . Let such that , then we get
This implies that (). Hence is a multiplicative Cauchy. By the completeness of X, there exists such that ().
Moreover, because
and
are subsequences of , so we obtain
Case 1. Suppose that A is continuous, then . Since A and S are weak commutative mappings, then
Let , we get , i.e., ,
Let , we can obtain
This implies , i.e., ,
Let , we can obtain
which implies , i.e., .
, so such that ,
which implies , i.e., . Since B and T are weak commutative, then
so ,
which implies , i.e., .
Case 2. Suppose that B is continuous, we can obtain the same result by the way of Case 1.
Case 3. Suppose that S is continuous, then .
Since A and S are weak commutative, then .
Let , we get , i.e., ,
Let , we can obtain
This implies , i.e., .
Since , so such that ,
Let , we can obtain
which implies , i.e., .
Since T and B are weak commutative, then
so ,
Let , we can obtain
This implies , i.e., .
, so such that ,
This implies , i.e., .
Since S and A are weak commutative, then
so .
We obtain , so z is a common fixed point of S, T, A and B.
Case 4. Suppose that T is continuous, we can obtain the same result by the way of Case 3.
In addition, we prove that S, T, A and B have a unique common fixed point. Suppose that is also a common fixed point of S, T, A and B, then
This implies , i.e., .
This is a contradiction. So S, T, A and B have a unique common fixed point. □
Theorem 3.2 Let S, T, A and B be self-mappings of a complete multiplicative metric space satisfying the following conditions:
-
(i)
, ;
-
(ii)
A and S are commutative mappings, B and T also are commutative mappings;
-
(iii)
One of S, T, A and B is continuous;
-
(iv)
, , , .
Then S, T, A and B have a unique common fixed point.
Proof Since
Since A and S are commutative mappings, so
Since B and T are commutative mappings, so
That is to say, , .
Since a commutative mapping must be a weak commutative mapping, so , A and , B are weak commutative mappings.
From Theorem 3.1, we can obtain that , A, and B have a unique common fixed point z.
In addition, we prove that S, T, A and B have a unique common fixed point,
This implies , i.e., ,
which implies , i.e., .
We obtain , so z is a common fixed point of S, T, A and B.
In addition, we prove that S, T, A and B have a unique common fixed point. Suppose that is also a common fixed point of S, T, A and B, then
This implies , i.e., .
This is a contradiction. So S, T, A and B have a unique common fixed point. □
Example 3.3 Let be a usual metric space. Define the mapping by for all . Clearly, is a complete multiplicative metric space. Consider the following mappings: , , , for all .
-
(i)
, so , ;
-
(ii)
A and S, B and T are all commutative mappings, according to Remark, they must be weak commutative mappings;
-
(iii)
S, T, A and B are all continuous mappings;
-
(iv)
Let , according to the inequality of Theorem 3.1: and the conditions of Example 3.3, we can know
(3)
Because is an increasing mapping, so
There are three situations: (1) or ; (2) or ; (3) , or , .
No matter what kind of situation, inequality (3) is true. So the inequality of Theorem 3.1 is also true. Therefore, all the conditions of Theorem 3.1 are satisfied, then we can obtain , so 0 is a common fixed point of S, T, A and B. In fact, 0 is the unique common fixed point of S, T, A and B.
References
Özavsar, M, Cevikel, AC: Fixed point of multiplicative contraction mappings on multiplicative metric space. arXiv:1205.5131v1 [matn.GN] (2012). e-printatarXiv.org
Gu F, Cui L-m, Wu Y-h: Some fixed point theorems for new contractive type mappings. J. Qiqihar Univ. 2003, 19: 85–89.
Singxi SL, Tiwari BML, Gupta VK: Common fixed points of commuting mappings in 2-metric spaces and an application. Math. Nachr. 1980, 96: 293–297. 10.1002/mana.19800960122
Sastry KPR, Naidu GA, Sharma KKM, Laxmi Gayatri I: Common fixed point for compatible mappings on 2-metric spaces. Glob. J. Math. Sci., Theory Pract. 2010, 2(3):173–179.
Agarwal RP, El-Gebily MA, O’Regan D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 2008, 87: 109–116. 10.1080/00036810701556151
Dhage BC: On common fixed points of pairs of coincidentally commuting mappings in D -metric spaces. Indian J. Pure Appl. Math. 1999, 30(4):395–406.
Bashirov AE, Kurplnara EM, Ozyaplcl A: Multiplicative calculus and its applications. J. Math. Anal. Appl. 2008, 337: 36–48. 10.1016/j.jmaa.2007.03.081
Acknowledgements
This work was supported by Science and Technology Foundation of Educational Committee of Tianjin (11026177).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The author XH mainly conceived and wrote the entire article. The author MS guided the thinking of the article, and some details of which were corrected. The author DC provided some references. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
He, X., Song, M. & Chen, D. Common fixed points for weak commutative mappings on a multiplicative metric space. Fixed Point Theory Appl 2014, 48 (2014). https://doi.org/10.1186/1687-1812-2014-48
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2014-48