Abstract
In this paper we consider, discuss, improve and generalize recent b-(E.A)-property results for mappings in b-metric spaces established by Ozturk and Turkoglu (J Nonlinear Convex Anal 16(10):2059–2066, 2015). Thus, all our results are with much shorter proofs. One example is given to support the result.
Similar content being viewed by others
Introduction and preliminaries
Banach contraction principle (Banach 1922) was proved in 1922. After many generalizations of this principle were introduced in metric spaces. Also, in recent years some important generalizations of usual metric spaces were defined. b-metric space (Bakhtin 1989; Czerwik 1993) or metric type spaces-MTS by some authors (Hussain et al. 2012; Jovanović et al. 2010; Khamsi and Hussain 2010; Stanić et al. 2012) is well known generalizations of (usual) metric. Also several interesting results about the existence and uniqueness of fixed point were proved in b-metric spaces (Aghajani et al. 2014; Amini-Harandi 2014; Bakhtin 1989; Czerwik 1993; Ding et al. 2015a, b; Hussain et al. 2012, 2013; Jovanović et al. 2010; Khamsi and Hussain 2010; Kir and Kiziltunc 2013; Ozturk and Turkoglu 2015; Radenović and Kadelburg 2011; Roshan et al. 2013, 2014).
The following definition is introduced in Bakhtin (1989) and Czerwik (1993).
Definition 1
(Bakhtin 1989; Czerwik 1993) Let X be a (nonempty) set and \(s \ge 1\) be a given real number. A function \(d:X\times X\rightarrow [0,\infty )\) is a b-metric on X if, for all \(x,y,z\in X\), the following conditions hold:
-
(b1)
\(d\left( x,y\right) =0\) if and only if \(x=y,\)
-
(b2)
\(d\left( x,y\right) =d\left( y,x\right) ,\)
-
(b3)
\(d\left( x,z\right) \le s\left[ d\left( x,y\right) +d\left( y,z\right) \right]\) (b-triangular inequality).
In this case, the pair (X, d) is called a b-metric space (metric type space).
It should be noted that, the class of b-metric spaces is effectively larger than that of metric spaces, every metric is a b-metric with \(s=1,\) while the converse is not true.
Example 2
Let (X, d) be a metric space and \(\rho \left( x,y\right) =\left( d\left( x,y\right) \right) ^p\), where \(p>1\) is a real number. Then \(\rho\) is a b-metric with \(s=2^{p-1}.\)
However, if (X, d) is a metric space, then \(\left( X,\rho \right)\) is not necessarily a metric space.
For example, if \(X={\mathbb {R}}\) is the set of real numbers and \(d\left( x,y\right) =\left| x-y\right|\) is usual Euclidean metric, then \(\rho \left( x,y\right) =\left( x-y\right) ^2\) is a b-metric on \({\mathbb {R}}\) with \(s=2.\) But is not a metric on \({\mathbb {R}}.\)
Definition 3
(Jovanović et al. 2010) Let \(\left\{ x_n\right\}\) be a sequence in a b-metric space (X, d).
-
(a)
\(\left\{ x_n\right\}\) is called b-convergent if and only if there is \(x\in X\) such that \(d\left( x_n,x\right) \rightarrow 0\) as \(n\rightarrow \infty .\)
-
(b)
\(\left\{ x_n\right\}\) is a b-Cauchy sequence if and only if \(d\left( x_n,x_m\right) \rightarrow 0\) as \(n,m\rightarrow \infty .\)
A b-metric space is said to be complete if and only if each b-Cauchy sequence in this space is b-convergent.
Proposition 4
(Jovanović et al. 2010) In a b-metric space \(\left( X,d\right) ,\) the following assertions hold:
-
p1.
A b-convergent sequence has a unique limit.
-
p2.
Each b-convergent sequence is b-Cauchy.
-
p3.
In general, a b-metric is not continuous.
Definition 5
(Hussain and Shah 2011) Let (X, d) be a b-metric space. A subset \(Y\subset X\) is called closed if and only if for each sequence \(\left\{ x_n\right\}\) in Y which b-converges to an element x, we have \(x\in Y.\)
On the other hand (E.A)-property was introduced by Aamri and Moutawakil (2002). Later some authors introduced some new fixed point results using this concept (Ali et al. 2010; Babu and Sailaja 2011; Nazir and Abbas 2014; Ozturk and Turkoglu 2015). In this paper, we prove a common fixed point theorem for two pairs of mappings which satisfy the b-(E.A) property in b-metric spaces (Ozturk and Turkoglu 2015).
Definition 6
Let (X, d) be a b-metric space and f and g be selfmappings on X.
-
(i)
f and g are said to compatible if whenever a sequence \(\left\{ x_{n}\right\}\) in X is such that \(\left\{ fx_{n}\right\}\) and \(\left\{ gx_{n}\right\}\) are b-convergent to some \(t\in X,\) then
$$\lim \nolimits _{n\rightarrow \infty }d\left( fgx_{n},gfx_{n}\right) =0.$$ -
(ii)
f and g are said to noncompatible if there exists at least one sequence \(\left\{ x_{n}\right\}\) in X is such that \(\left\{ fx_{n}\right\}\) and \(\left\{ gx_{n}\right\}\) are b-convergent to some \(t\in X,\) but \(\lim \nolimits _{n\rightarrow \infty }d\left( fgx_{n},gfx_{n}\right)\) is either nonzero or does not exist.
-
(iii)
Ozturk and Turkoglu (2015)f and g are said to satisfy the b-(E.A) property if there exists a sequence \(\left\{ x_{n}\right\}\) such that
$$\lim \nolimits _{n\rightarrow \infty }fx_{n}=\lim \nolimits _{n\rightarrow \infty }gx_{n}=t,$$for some \(t\in X.\)
Remark 7
Noncompatibility implies b-(E.A)-property.
Example 8
Ozturk and Turkoglu (2015) Let \(X=\left[ 0,2\right]\) and define \(d:X\times X\rightarrow \left[ 0,\infty \right)\) as follows
Let \(f,g:X\rightarrow X\) be defined by
For a sequence \(\left\{ x_{n}\right\}\) in X such that \(x_{n}=1+\frac{1}{ n+2},\) \(n=0,1,2,\ldots\) and
So f and g are satisfy the b-(E.A) property. \(\lim \nolimits _{n\rightarrow \infty }d\left( fgx_{n},gfx_{n}\right)\) exists and it is not equal to 0. Thus f and g are noncompatible.
Definition 9
(Jungck 1986) f and g be given self-mappings on a set X. The pair \(\left( f,g\right)\) is said to be weakly compatible if f and g commute at their coincidence points (i.e. \(fgx=gfx\) whenever \(fx=gx\)).
Main results
In our first result of this section, we generalize, complement and improve recent results from (Ozturk and Turkoglu 2015, Theorems 2.1, Corollaries 2.2; 2.3 and Example 2.4) for b-metric spaces with much shorter proofs. We begin with our first result.
Theorem 10
Let \(\left( X,d\right)\) be a b-metric space with \(s>1\) and \(f,g,S,T:X\rightarrow X\) be a mappings with \(f\left( X\right) \subseteq T\left( X\right)\) and \(g\left( X\right) \subseteq S\left( X\right)\) such that
where \(\varepsilon >1\) is a constant and
Suppose that one of the pairs \(\left( f,S\right)\) and \(\left( g,T\right)\) satisfy the b-(E.A)-property and that one of the subspaces \(f\left( X\right) ,g\left( X\right) ,S\left( X\right)\) and \(T\left( X\right)\) is b-closed in X. Then the pairs \(\left( f,S\right)\) and \(\left( g,T\right)\) have a point of coincidence in X.Moreover, if the pairs \(\left( f,S\right)\) and \(\left( g,T\right)\) are weakly compatible, then f, g, S and T have a unique common fixed point.
Proof
If the pair \(\left( f,S\right)\) satisfies the b-(E.A)-property, then there exists a sequence \(\left\{ x_{n}\right\}\) in X satisfying
for some \(q\in X\). As \(f\left( X\right) \subseteq T\left( X\right)\) there exists a sequence \(\left\{ y_{n}\right\}\) in X such that \(fx_{n}=Ty_{n}.\) Hence \(\lim \nolimits _{n\rightarrow \infty }Ty_{n}=q.\) Let us show that \(\lim \nolimits _{n\rightarrow \infty }gy_{n}=q.\) By (1),
where
In (2), on taking limit superior, we obtain
because \(d\left( Sx_{n},fx_{n}\right) \rightarrow 0\) as \(n\rightarrow \infty .\) Since \(s^{\,\varepsilon }>s>1,\) we get that
that is \(\mathop{\lim}\limits_{n\rightarrow \infty }d\left( fx_{n},gy_{n}\right) =0.\) Further, we have
as \(n\rightarrow \infty ,\) thus \(gy_{n}\rightarrow q\) as \(n\rightarrow \infty .\)
If \(T\left( X\right)\) is closed subspace of X, then there exists a \(r\in X,\) such that \(Tr=q.\) We shall show that \(gr=q.\) Indeed, we have
where
Letting \(n\rightarrow \infty ,\) we have
Now, (3) implies
from which it follows \(d\left( q,gr\right) =0\) (because \(s^{\,\varepsilon }>s\)). Hence, \(q=gr=Tr,\) that is r is the coincidence point of pair \(\left( g,T\right) .\) As \(g\left( X\right) \subseteq S\left( X\right) ,\) there exists a point \(z\in X\) such that \(q=Sz.\) We claim that \(Sz=fz.\) By (1), we have
where
Thus from (4),
from which it follows that \(d\left( fz,gr\right) =0.\) Therefore \(Sz=fz=q.\) Hence z is the coincidence point of the pair \(\left( f,S\right) .\) Thus \(fz=Sz=gr=Tr=q.\) By the weak compatibility of the pairs \(\left( f,S\right)\) and \(\left( g,T\right) ,\) we btain that \(fq=Sq\) and \(gq=Tq.\)
We will show that q is a common fixed point of f, g, S and T. From (1) we have
where,
By (5)
from which it follows \(fq=Sq=q.\) Similarly, it can be shown \(gq=Tq=q.\)
To prove the uniqueness of fixed point, suppose that p is another fixed point of f, g, S ad T. By (1),
where
Hence, we have
from which again follows that \(d\left( q,p\right) =0.\) So \(q=p.\) \(\square\)
Remark 11
Since the condition (1) from Ozturk and Turkoglu (2015) implies (1) for all altering functions \(\psi\) and \(\varphi\) (Khan et al. 1984; Radenović et al. 2012) and for each \(\varepsilon \in (1,2]\) we get that our Theorem 9 is genuine generalization of the main result from Ozturk and Turkoglu (2015). However, the main result from Ozturk and Turkoglu (2015) holds if \(s=1,\) what is not case for our Theorem 9. Also, the main result from Ozturk and Turkoglu (2015) holds if \(s>1\) and \(\varepsilon \in \left( 1,\infty \right)\) for given altering functions \(\psi\) and \(\varphi .\)
Corollary 12
Let \(\left( X,d\right)\) be a b-metric space and \(f,T:X\rightarrow X\) be mappings such that
where \(\varepsilon >1\) is a constant and
Suppose that the pair \(\left( f,T\right)\) satisfies the b-\((\textit{E.A})\)-property and T(X) is closed in X. Then the pair \(\left( f,T\right)\) has a unique point of coincidence in X. Moreover, if the pair \(\left( f,T\right)\) is weakly compatible, then f and T have a unique common fixed point.
Corollary 13
Let \(\left( X,d\right)\) be a b-metric space and \(f,T:X\rightarrow X\) be mappings such that
where \(\varepsilon >1\) is a constant and
Suppose that the pair \(\left( f,T\right)\) satisfies the b-(E.A)-property and \(T\left( X\right)\) is closed in X. Then the pair \(\left( f,T\right)\) has a unique point of coincidence in X. Moreover, if the pair \(\left( f,T\right)\) is weakly compatible, then f and T have a unique common fixed point.
Example 14
Let \(X=\left[ 0,1\right]\) and define \(d:X\times X\rightarrow \left[ 0,\infty \right)\) as follows
Then \(\left( X,d\right)\) is a b-metric space with \(s=2.\) Let \(f,g,S,T:X\rightarrow X\) be defined by
Clearly, \(g\left( X\right)\) is closed, \(f\left( X\right) \subseteq T\left( X\right)\) and \(g\left( X\right) \subseteq S\left( X\right)\). The sequence \(\left\{ x_{n}\right\} ,\) \(x_{n}=\frac{1}{2}+\frac{1}{n}\), is in X such that \(\lim \nolimits _{n\rightarrow \infty }fx_{n}=\lim \nolimits _{n\rightarrow \infty }Sx_{n}=\frac{1}{8}.\) So that the pair \(\left( f,S\right)\) satisfies the b-(E.A)-property. But the pair \(\left( f,S\right)\) is noncompatible because \(\lim \nolimits _{n\rightarrow \infty }d\left( fSx_{n},Sfx_{n}\right) \ne 0.\) To check the contractive condition (1), for all \(x,y\in X,\) and \(\varepsilon =2,\)
if \(x=0,\) then (1) is satisfied.
If \(x\in \left( 0,\frac{1}{2}\right)\), then
If \(x=\frac{1}{2},\) then
If \(x\in \left( \frac{1}{2},1\right]\), then
Thus (1) is satisfied for all \(x,y\in X.\) The pairs (f; S) and (g; T) are weakly compatible. Hence, all the conditions of Theorem 9 are satisfied. Moreover 0 is the unique common fixed point of f; g; S and T.
The following results are similar to previously and the proofs are omitted.
Theorem 15
Let \(\left( X,d\right)\) be a b-metric space with \(s>1\) and \(f,g,S,T:X\rightarrow X\) be a mappings with \(f\left( X\right) \subseteq T\left( X\right)\) and \(g\left( X\right) \subseteq S\left( X\right)\) such that
where \(\varepsilon >1\) is a constant and
Suppose that one of the pairs \(\left( f,S\right)\) and \(\left( g,T\right)\) satisfy the b-(E.A)-property and that one of the subspaces \(f\left( X\right) ,g\left( X\right) ,S\left( X\right)\) and \(T\left( X\right)\) is b-closed in X. Then the pairs \(\left( f,S\right)\) and \(\left( g,T\right)\) have a point of coincidence in X. Moreover, if the pairs \(\left( f,S\right)\) and \(\left( g,T\right)\) are weakly compatible, then f, g, S and T have a unique common fixed point.
Theorem 16
Let \(\left( X,d\right)\) be a b-metric space with \(s>1\) and \(f,g,S,T:X\rightarrow X\) be a mappings with \(f\left( X\right) \subseteq T\left( X\right)\) and \(g\left( X\right) \subseteq S\left( X\right)\) such that
where \(\varepsilon >1\) is a constant and
Suppose that one of the pairs \(\left( f,S\right)\) and \(\left( g,T\right)\) satisfy the b-(E.A)-property and that one of the subspaces \(f\left( X\right) ,g\left( X\right) ,S\left( X\right)\) and \(T\left( X\right)\) is b-closed in X. Then the pairs \(\left( f,S\right)\) and \(\left( g,T\right)\) have a point of coincidence in X. Moreover, if the pairs \(\left( f,S\right)\) and \(\left( g,T\right)\) are weakly compatible, then f, g, S and T have a unique common fixed point.
Well posedness result
Definition 17
(Boriceanu et al. 2010) Let \(\left( X,d\right)\) be a b-metric space and \(f:X\rightarrow X\) be a mapping. The fixed point problem of f said to be well-posed iff
-
(i)
f has a unique fixed point q in X,
-
(ii)
If \(x_{n}\in X,\) \(n\in {\mathbb {N}}\) and \(d\left( x_{n},Tx_{n}\right) \rightarrow 0\) as \(n\rightarrow \infty ,\) then \(d\left( x_{n},q\right) \rightarrow 0\) as \(n\rightarrow \infty .\)
Theorem 18
Let \(\left( X,d\right)\) be a b-metric space with \(s>1\) and \(f,g,S,T:X\rightarrow X\) be a mappings. Suppose that all hypotheses of Theorem 9 hold. Then the fixed point problem is well posed for mappings f, g, S and T.
Proof
By Theorem 9, The mappings f, g, S and T have a unique common fixed point (say) q in X.Let \(\left\{ x_{n}\right\}\) be a sequence in X such that
Using (1) and triangular inequality, we have
where
Thus we have
By triangular inequality,
So
On taking the limit as \(n\rightarrow \infty\) we obtain
\(\square\)
Conclusion
In this paper, we given new fixed point theorems for mappings satisfying b-(E.A)-property in b-metric spaces. Our results extended b-(E.A)-property results in the literature. Also in last section we proved well-posedness result in b-metric spaces.
References
Aamri M, El Moutawakil D (2002) Some new common fixed point theorems under strict contractive conditions. J Math Anal Appl 270:181–188
Aghajani A, Abbas M, Roshan JR (2014) Common fixed point of generalized weak contractive mappings in partially ordered b-metric spaces. Math Slovaca 4:941–960
Ali J, Imdad M, Bahuguna D (2010) Common fixed point theorems in Menger spaces with common property (E.A). Comput Math Appl 60:3152–3159
Amini-Harandi A (2014) Fixed point theory for quasi-contraction maps in b-metric spaces. Fixed Point Theory 15(2):351–358
Bakhtin IA (1989) The contraction principle in quasimetric spaces. Funct Anal 30:26–37
Banach S (1922) Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam Math 3:133–181
Babu GVR, Sailaja PD (2011) Common fixed points of (\(\psi,\varphi\))-weak quasi-contractions with property (E.A). Int J Math Sci Comput 1:29–37
Boriceanu M, Bota M, Petruşel A (2010) Multivalued fractals in b-metric spaces. Cent Eur J Math 8(2):367–377
Czerwik S (1993) Contraction mappings in b-metric spaces. Acta Math Inform Univ Ostrav 1:5–11
Ding HS, Imdad M, Vujaković J, Radenović S (2015) On some fixed point results in b-metric, rectangular and b-rectangular metric spaces. Arab J Math Sci. doi:10.1016/j.ajmsc.2015.05.003
Ding HS, Ozturk V, Radenović S (2015) On some new fixed point results in \(b\)-rectangular metric spaces. J Nonlinear Sci Appl 8:378–386
Hussain N, Shah MH (2011) KKM mappings in cone b-metric spaces. Comput Math Appl 62:1677–1684
Hussain N, Ðorić D, Kadelburg Z, Radenović S (2012) Suzuki-type fixed point results in metric type spaces. Fixed Point Theory Appl. doi:10.1186/1687-1812-2012-126
Hussain N, Parvaneh V, Roshan JR, Kadelburg Z (2013) Fixed points of cyclic \(\left( \psi,\varphi, L, A, B\right)\)-contractive mappings in ordered b-metric spaces with applications. Fixed Point Theory Appl. doi:10.1186/1687-1812-2013-256
Jovanović M, Kadelburg Z, Radenović S (2010) Common fixed point results in metric-type spaces. Fixed Point Theory Appl 2010:978121
Jungck G (1986) Compatible mappings and common fixed points. Int J Math Sci 9:771–779
Khamsi MA, Hussain N (2010) KKM mappings in metric type spaces. Nonlinear Anal 73:3123–3129
Khan MS, Swaleh M, Sessa S (1984) Fixed point theorems by altering distances between the points. Bull Aust Math Soc 30(1):1–9
Kir M, Kiziltunc H (2013) On some well known fixed point theorems in b-metric spaces. Turk J Anal Number Theory 1(1):13–16
Nazir T, Abbas M (2014) Common fixed points of two pairs of mappings satisfying (E.A)-property in partial metric spaces. J Inequal Appl 2014:237
Ozturk V, Turkoglu D (2015) Common fixed point theorems for mappings satisfying (E.A)-property in b-metric spaces. J Nonlinear Sci Appl 8(1):127–1133
Ozturk V, Turkoglu D (2015) Fixed points for generalized \(\alpha -\psi\)-contractions in b-metric spaces. J Nonlinear Convex Anal 16(10):2059–2066
Radenović S, Kadelburg Z (2011) Quasi-contractions on symmetric and cone symmetric spaces. Banach J Math Anal 5(1):38–50
Radenović S, Kadelburg Z, Jandrlić D, Jandrlić A (2012) Some results on weakly contractive maps. Bull Iran Math Soc 38(3):625–645
Roshan JR, Parvaneh V, Shobkolaei N, Sedghi S, Shatanawi W (2013) Common fixed points of almost generalized \((\psi, \varphi )_{s}\)-contractive mappings in ordered b-metric spaces. Fixed Point Theory Appl. doi:10.1186/1687-1812-2013-159
Roshan JR, Parvaneh V, Kadelburg Z (2014) Common fixed point theorems for weakly isotone increasing mappings in ordered b-metric spaces. J Nonlinear Sci Appl 7:229–245
Stanić MP, Cvetković AS, Simić S, Dimitrijević S (2012) Common fixed point under contractive condition of Ćirić’s type on cone metric type space. Fixed Point Theory Appl. doi:10.1186/1687-1812-2012-35
Authors' contributions
VO and SR have participated and prepared the manuscript. Both authors read and approved the final manuscript.
Acknowledgements
The authors would like to thank the referee for useful comments.
Competing interests
The authors declare that they have no competing interests.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ozturk, V., Radenović, S. Some remarks on b-(E.A)-property in b-metric spaces. SpringerPlus 5, 544 (2016). https://doi.org/10.1186/s40064-016-2163-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40064-016-2163-z