Fixed Point theorems for multiplicative
Contraction mappings on Multiplicative
Cone - b metric spaces
A.Mary Priya Dharsini 1 and Dr.U.Karuppiah 21. Department of Mathematics,
Holy Cross College (Autonomous), Trichy-620 002.
2. Department of Mathematics, St. Joseph's College (Autonomous), Trichy-620 002.
Abstract: The purpose of this work is to use some contraction mappings in the sense of multiplicative Cone - b metric space and prove some fixed point theorems in setting of complete multiplicative cone - b metric space.
Keywords: Multiplicative Cone b - metric space, Fixed point, Multiplicative kannan contraction, Multiplicative Chatterjea - contraction.
Mathematics Subject classification: Primary 47h10, Secondary 54h25.
1. Introduction
Metric Fixed point theory is an essential part of Mathematical Analysis because of its applications in different areas like variational and linear inequalities, improvement and approximation theory. The fixed point theorem in metric spaces plays a significant role to construct methods to solve the problem in Mathematics and Sciences. Although metric fixed point theory is vast field of study and is capable of solving many equations.
In this paper, we proved some fixed point theorems using some contractive conditions in Multiplicative Cone - b metric spaces. The study of fixed point of mappings satisfying certain contraction conditions has many applications and has been at the centre of various research activities.
2. Preliminaries
We recall some definitions Properties for b-metric spaces given by Czerwik [ 14 ] ,multiplicative cone โb metric spaces [16 ] and Consistent with Haung and Zhang[9] and Hussain and shah[10] , will be needed the following definitions in this paper.
Suppose E be a real Banach space and P be a subset of E. Then P is called Cone iff:
(i) P is closed, nonempty and P โ 0 .
(ii) ๐๐ฅ + ๐๐ฆ โ ๐ for all ๐ฅ, ๐ฆ โ ๐ and non - negative real numbers c, d.
(iii) ๐ โฉ โ๐ = 0 .
Definition 2.1[9] Suppose P be a Cone in real Banach space E, define a partial ordering โค with respect to P by ๐ โค ๐ โบ ๐ โ ๐ โ ๐. We can write
๐ < ๐ to show that ๐ โค ๐ and ๐ โ ๐ while ๐ โช ๐ will stand for ๐ โ ๐ โ ๐๐๐ก ๐, where int P denotes interior of P.
Definition 2.2[3] Let X be a non-empty set. Let the mapping ๐: ๐ ร ๐ โถ ๐ satisfies:
(i) 1โค ๐ ๐ฅ, ๐ฆ for all ๐ฅ, ๐ฆ โ ๐ with ๐ฅ โ ๐ฆ; (ii) ๐ ๐ฅ, ๐ฆ = 1 if and only if x = y; (iii) ๐ ๐ฅ, ๐ฆ = ๐ ๐ฆ, ๐ฅ for all ๐ฅ, ๐ฆ โ ๐ฅ;
(iv) ๐ ๐ฅ, ๐ฆ โค ๐ ๐ฅ, ๐ง . ๐(๐ง, ๐ฆ) for all ๐ฅ, ๐ฆ, ๐ง โ ๐. Then the function d is said to be a multiplicative metric on X and (X,d) is called a cone multiplicative metric space.
Definition 2.3[10] Suppose that ๐ be a non-empty set and ๐ โฅ 1 be a given positive real number. A function ๐: ๐ ร ๐ โถ ๐ is said to be cone b- metric if and only if โ ๐ฅ, ๐ฆ, ๐ง โ ๐ , the following conditions are satisfied:
(i) 0โค ๐ ๐ฅ, ๐ฆ for all ๐ฅ, ๐ฆ โ ๐ with ๐ฅ โ ๐ฆ; (ii) ๐ ๐ฅ, ๐ฆ = 0 if and only if x = y; (iii) ๐ ๐ฅ, ๐ฆ = ๐ ๐ฆ, ๐ฅ for all ๐ฅ, ๐ฆ โ ๐;
(iv) ๐ ๐ฅ, ๐ฆ โค ๐ [๐ ๐ฅ, ๐ง + ๐ ๐ง, ๐ฆ ] for all ๐ฅ, ๐ฆ, ๐ง โ
๐.
Then the function d is said to be a cone b- metric on X and (X,d) is called a cone b- metric space.
Definition 2.4 [16]: Let ๐ be a non-empty set and
๐ โฅ 1 be a given positive real number. A mapping
๐: ๐ ร ๐ โถ ๐ satisfies:
(iv) ๐ ๐ฅ, ๐ฆ โค [๐ ๐ฅ, ๐ง . ๐ ๐ง, ๐ฆ ]๐ for all ๐ฅ, ๐ฆ, ๐ง โ
๐.
Then the function d is said to be a multiplicative cone b- metric on X and (X,d) is called a multiplicative cone b- metric space.
Example 2.5[14]: Let ๐ ๐ฅ, ๐ฆ = ๐( โ๐=1 ๐ฅ๐โ๐ฆ๐๐) 1 ๐
for all ๐ฅ, ๐ฆ โ ๐; ๐ > 1.
We show that ๐ ๐ฅ, ๐ฆ is multiplicative cone b - metric space i.e., (๐๐๐, ๐), but not multiplicative cone metric space i.e., (๐๐, ๐)
Definition 2.6[12](Multiplicative Convergence)
Let (X, d) 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 convergent to x, denoted by ๐ฅ๐ โถโ๐ฅ (nโถโ). Lemma 2.7:[12] Let (X, d) be a multiplicative metric space, (๐ฅ๐) be a sequence in X. If the sequence (๐ฅ๐) is multiplicative convergent, then the multiplicative limit point is unique.
Theorem 2.8:[6,7 ] Let (X,d) be a Complete metric spaces and ๐: ๐ โถ ๐ be a Kannan Contraction mapping (ie)
d(Tx, Ty) โค ๐พ[๐ ๐ฅ, ๐๐ฅ + ๐ ๐ฅ, ๐๐ฆ ] for all ๐ฅ, ๐ฆ โ ๐, where Kโ [0,12). Then T has a unique fixed point.
Theorem 2.9 : [6,7] Let (X,d) be a Complete metric spaces and ๐: ๐ โถ ๐ be a Chatterjea- Contraction mapping (ie)
d(Tx, Ty) โค ๐พ[๐ ๐ฅ, ๐๐ฆ + ๐ ๐ฆ, ๐๐ฅ ] for all ๐ฅ, ๐ฆ โ ๐, where Kโ [0,12). Then T has a unique fixed point.
Definition 2.10 :[12] Let (X, d) be a multiplicative metric space. A self mapping f is said to be multiplicative Kannan contraction if
๐ ๐๐ฅ, ๐๐ฆ โค ๐ ๐๐ฅ, ๐ฅ . ๐ ๐๐ฆ, ๐ฆ ๐,
for all ๐ฅ, ๐ฆ โ ๐, where ๐ โ [0,12).
Definition 2.11 [12] Let (X, d) be a multiplicative metric space. A self mapping f is said to be multiplicative Chatterjea contraction if
๐ ๐๐ฅ, ๐๐ฆ โค ๐ ๐๐ฅ, ๐ฆ . ๐ ๐๐ฆ, ๐ฅ ๐,
for all ๐ฅ, ๐ฆ โ ๐, where ๐ โ [0,12).
Lemma 2.12 :[16]Suppose that {gm} be a sequence
in real Banach Space E and P be a cone. If c โ ๐๐๐ก ๐ and gmโ 1 as (m โโ), then there exist
N such that for all m >N , we have gmโช ๐.
Lemma 2.13:[16] Suppose P ba a Cone and gโช ๐ for all c โ ๐๐๐ก ๐ ,then g=1.
Lemma 2.14:[16] Suppose P ba a Cone .If gโ ๐ and g โค ๐๐ for some ๐ โ [0,1), then g=1.
Theorem 2.15:[16] Let (X, d) be a complete multiplicative cone b-metric space with power
๐ โฅ 1. Suppose the mapping ๐: ๐ โ ๐ฅ satisfies the following contractive condition,
๐(๐๐, ๐๐) โค๐(๐, ๐)๐ for all ๐, ๐ โ ๐ where 0 โค ๐ < 1 is a constant. Then T has a unique fixed point in X.
Theorem 2.16:[15] Let X be a Complete metric space with metric ๐ and let ๐: ๐ โ ๐ be a function with the property
๐ ๐ ๐ฅ , ๐ ๐ฆ โค ๐๐ ๐ฅ, ๐ ๐ฅ + ๐๐ ๐ฆ, ๐ ๐ฆ + ๐๐ ๐ฅ, ๐ฆ
for all ๐ฅ, ๐ฆ โ ๐ where a, b, c are non-negative and satisfy a+b+c < 1. Then T has a unique fixed point.
Theorem 2.17:[15] Let X be a Complete b - metric space with metric ๐ and let ๐: ๐ โ ๐ be a function with the following condition
๐ ๐ ๐ฅ , ๐ ๐ฆ โค ๐๐ ๐ฅ, ๐ ๐ฅ + ๐๐ ๐ฆ, ๐ ๐ฆ + ๐๐ ๐ฅ, ๐ฆ
for all ๐ฅ, ๐ฆ โ ๐ where a, b, c are non-negative and satisfy a+s(b+c) < 1 for ๐ โฅ 1. Then T has a unique fixed point.
3. Main Results
In this section, we prove some fixed theorems using Multiplicative Kannan contraction and multiplicative Chatterjea - contraction and one more contractive conditions in multiplicative cone b - metric spaces. Our main result is follow as:
Theorem 3.1 Let (X, d) be a complete multiplicative cone b- metric space with power
๐ โฅ 1. Suppose the mapping ๐: ๐ โ ๐ satisfies the following Kannan contractive condition,
๐ ๐๐ฅ, ๐๐ฆ โค ๐ ๐๐ฅ, ๐ฅ . ๐ ๐๐ฆ, ๐ฆ ๐,
for all ๐ฅ, ๐ฆ โ ๐, where 0 โค ๐ <12 is a constant. Then T has a unique fixed point in X and for any
๐ฅ โ ๐, iterative sequence (๐๐๐ฅ) converges to the fixed point.
Proof. Choose ๐ฅ0โ ๐. We construct the iterative sequence {๐ฅ๐}, where ๐ฅ1= ๐๐ฅ0 , ๐ฅ2= ๐๐ฅ1=
๐2๐ฅ
0,..., ๐ฅ๐= ๐๐ฅ๐โ1, ๐ฅ๐+1 = ๐๐ฅ๐ = ๐๐+1๐ฅ0, ๐ โฅ
1, we have
โค (๐ ๐๐ฅ๐, ๐ฅ๐ . ๐ ๐๐ฅ๐โ1, ๐ฅ๐โ1) ๐
โค โฏ โค (๐ ๐ฅ๐, ๐ฅ๐โ1 ) ๐ 1โ๐ โค ๐(๐ฅ1, ๐ฅ0)๐
for all nโ โ, where h = 1โ๐๐ < 1 .For n > m.
๐ ๐ฅ๐, ๐ฅ๐
โค (๐ ๐ฅ๐, ๐ฅ๐โ1 . ๐ ๐ฅ๐โ1, ๐ฅ๐โ2 โฆ ๐ ๐ฅ๐+1, ๐ฅ๐ )๐ โค
(๐(๐ฅ1, ๐ฅ0)๐
๐ โ1+๐๐ โ2+โฏ+๐๐
)๐ โค (๐(๐ฅ1, ๐ฅ0)
๐ ๐
1โ๐)๐
โค ๐(๐ฅ1, ๐ฅ0) ๐ ๐๐ 1โ๐ ๐
This implies ๐ ๐ฅ๐, ๐ฅ๐ โ 1 ๐, ๐ โโ . (i.e) ๐(๐ฅ1, ๐ฅ0)
๐ ๐ ๐
1โ๐ ๐โ 1 as mโโ for any ๐ โฅ 1.
Hence {๐ฅ๐} is a Cauchy sequence. Since (X,d) is a Complete multiplicative Cone b-metric space, there exist ๐ง ๐๐ ๐ such that ๐ฅ๐ โ ๐ง ๐ โโ . for all n > n0 .
d(Tz,z) โค (๐ ๐๐ง, ๐๐ฅ๐ . ๐ ๐๐ฅ๐, ๐ง )๐
โค ๐ ๐๐ง, ๐๐ฅ๐ ๐ . ๐ ๐๐ฅ๐, ๐ง ๐
โค (๐ ๐๐ง, ๐ง . ๐ ๐ง, ๐๐ฅ๐ )๐ ๐. ๐(๐ฅ๐+1,๐ง)๐
โค (๐ ๐๐ง, ๐ง ๐ ๐ . ๐(๐ฅ
๐+1,๐ง)๐ ๐ +๐ โค๐ ๐ฅ๐+1,๐ง
๐ (๐ +1)
1โ๐ ๐ โช ๐ , for each n > n
0.
we have
By use of lemma 2.12 ,we deduce that ๐ ๐๐ง, ๐ง =
1. This implies Tz = z. So z is a fixed point of T. For proving uniqueness, if there is another fixed point z1, then by the given assertion,
d(z, z1) = d(Tz,Tz1)
โค (๐(๐๐ง , ๐ง). ๐(๐๐ง1, ๐ง1))๐ โค
๐(๐๐ง , ๐ง)๐. ๐(๐๐ง 1, ๐ง1)๐
By lemma 2.12 , z = z1 .This Completes the proof.
Theorem 3.2 Let (X, d) be a complete multiplicative cone b- metric space with power
๐ โฅ 1. Suppose the mapping ๐: ๐ โ ๐ holds the contractive condition,
๐ ๐๐ฅ, ๐๐ฆ โค ๐ ๐๐ฅ, ๐ฆ . ๐ ๐๐ฆ, ๐ฅ ๐,
for all ๐ฅ, ๐ฆ โ ๐, where ๐ โ [0,12) is a constant. Then T has a unique fixed point in X. And for any
๐ฅ โ ๐, iterative sequence (๐๐๐ฅ) converges to the fixed point.
Proof. Choose ๐ฅ0โ ๐. Set ๐ฅ1= ๐๐ฅ0, ๐ฅ2= ๐๐ฅ1=
๐2๐ฅ
0,..., ๐ฅ๐+1= ๐๐ฅ๐= ๐๐+1๐ฅ0,...
we have
๐ ๐ฅ๐+1, ๐ฅ๐ = ๐ ๐๐ฅ๐, ๐๐ฅ๐โ1
โค ๐ ๐๐ฅ๐, ๐ฅ๐โ1 . ๐ ๐๐ฅ๐โ1, ๐ฅ๐ )๐
โค ๐ ๐ฅ๐, ๐ฅ๐โ1 . ๐ ๐ฅ๐, ๐ฅ๐ )๐ โค ๐ ๐ฅ๐, ๐ฅ๐โ1 ๐
... ... โค ๐(๐ฅ1 , ๐ฅ0)๐๐ For n > m,
๐ ๐ฅ๐, ๐ฅ๐
โค (๐ ๐ฅ๐, ๐ฅ๐โ1 . ๐ ๐ฅ๐โ1, ๐ฅ๐โ2 โฆ ๐ ๐ฅ๐ +1, ๐ฅ๐ )๐ โค
(๐(๐ฅ1, ๐ฅ0)๐๐ โ1+๐๐ โ2+โฏ+๐๐)๐ โค (๐(๐ฅ1, ๐ฅ0)
๐ ๐
1โ๐
โค ๐(๐ฅ1, ๐ฅ0) ๐ ๐๐
1โ๐ ๐
This implies ๐ ๐ฅ๐, ๐ฅ๐ โ 1 ๐, ๐ โโ . (i.e) ๐(๐ฅ1, ๐ฅ0)
๐ ๐ ๐
1โ๐ ๐ โ 1 as mโโ for any ๐ โฅ 1.
Hence {๐ฅ๐} is a Cauchy sequence. Since (X,d) is a Complete multiplicative Cone b-metric space, there is ๐ง โ ๐ such that ๐ฅ๐ โ ๐ง ๐ โโ for all n > n0 .
d(Tz,z) โค (๐ ๐๐ง, ๐๐ฅ๐ . ๐ ๐๐ฅ๐, ๐ง )๐
โค
(๐ ๐๐ง, ๐ฅ๐ . ๐ ๐๐ฅ๐, ๐ง )๐ ๐. ๐(๐ฅ๐+1,๐ง)๐
โค
๐ ๐๐ง, ๐ง . ๐ ๐ฅ๐, ๐ง ๐
. ๐ ๐ฅ๐+1, ๐ง ๐ ๐
๐ ๐ฅ๐+1,๐ง ๐
โค ๐(๐ฅ๐, ๐ง)๐ 2๐๐ ๐ฅ๐+1,., ๐ง ๐ ๐
. ๐(๐ฅ๐+1,๐ง)๐ we have, d(Tz,z) โค ๐(๐ฅ๐+1,๐ง)
๐
1โ๐ ๐ โช ๐ , for each
n > n0 , By use of lemma 2.14 ,we deduce that
๐ ๐๐ง, ๐ง = 1. This implies Tz = z. So z is a fixed point of T. For proving uniqueness, if there is another fixed point z1, then by the given assertion,
d(z, z1) = d(Tz,Tz1)
โค (๐(๐๐ง , ๐ง1). ๐(๐๐ง1, ๐ง))๐ โค
๐(๐๐ง , ๐ง1)๐. ๐(๐๐ง1, ๐ง)๐
By lemma 2.14 , z = z1 , This Completes the proof.
Theorem 3.3 Let (X, d) be a complete cone b- metric space with metric d and let ๐: ๐ โ ๐ be a function with the following condition,
for all ๐ฅ, ๐ฆ โ ๐, where p, q, r are non- negative real numbers and satisfy ๐ + (๐ + ๐)๐ < 1 for ๐ โฅ 1. Then T has a unique fixed point.
Proof. Let ๐ฅ0โ ๐ and {๐ฅ๐} be a sequence in X such that ๐ฅ๐= ๐๐ฅ๐โ1= ๐๐๐ฅ0.
Now, ๐ ๐ฅ๐+1, ๐ฅ๐ = ๐ ๐๐ฅ๐, ๐๐ฅ๐โ1
โค ๐(๐ฅ๐, ๐๐ฅ๐)๐. ๐(๐ฅ๐โ1, ๐๐ฅ๐โ1)๐. ๐(๐ฅ๐, ๐๐ฅ๐โ1)๐
โค
(๐(๐ฅ๐, ๐ฅ๐+1). ๐(๐ฅ๐+1, ๐๐ฅ๐))๐ ๐. ๐(๐ฅ๐โ1, ๐๐ฅ๐โ1)๐. ๐(๐ฅ๐, ๐ฅ๐โ1)๐
โค ๐(๐ฅ๐, ๐ฅ๐+1)๐ ๐. ๐(๐ฅ๐โ1, ๐ฅ๐)๐+๐
๐ ๐ฅ๐, ๐ฅ๐+1 1โ๐ ๐ โค ๐(๐ฅ๐โ1, ๐ฅ๐)๐+๐
---โ (1)
secondly,
๐ ๐ฅ๐+1, ๐ฅ๐ = ๐ ๐๐ฅ๐, ๐๐ฅ๐โ1 =
๐ ๐๐ฅ๐ โ1, ๐๐ฅ๐
โค ๐(๐ฅ๐โ1, ๐๐ฅ๐โ1)๐. ๐(๐ฅ๐, ๐๐ฅ๐)๐. ๐(๐ฅ๐โ1, ๐๐ฅ๐)๐
โค
๐(๐ฅ๐โ1, ๐๐ฅ๐โ1)๐[๐ ๐ฅ๐,๐ฅ๐+1 . ๐(๐ฅ๐+1,๐๐ฅ๐)]๐ ๐ ๐(๐ฅ๐โ1, ๐๐ฅ๐)๐
โค ๐(๐ฅ๐โ1, ๐ฅ๐)๐ ๐ ๐ฅ๐,๐ฅ๐+1 ๐ ๐
๐(๐ฅ๐โ1, ๐๐ฅ๐)๐ ๐ ๐ฅ๐+1, ๐ฅ๐ 1โ๐ ๐ โค ๐(๐ฅ๐โ1, ๐ฅ๐)๐+๐
---โ (2)
Multiplying (1) & (2)
๐ ๐ฅ๐, ๐ฅ๐+1 1โ๐ ๐ ๐ ๐ฅ๐, ๐ฅ๐+1 1โ๐ ๐
โค ๐(๐ฅ๐โ1, ๐ฅ๐)๐+๐.๐(๐ฅ๐โ1, ๐ฅ๐)๐+๐
๐ ๐ฅ๐, ๐ฅ๐+1 2โ๐ ๐+๐ โค
๐(๐ฅ๐โ1, ๐ฅ๐)๐+๐ +2๐ ๐(๐ฅ๐, ๐ฅ๐+1) โค ๐(๐ฅ๐โ1, ๐ฅ๐)
๐ +๐+2๐ 2โ๐ (๐ +๐)
Put ๐ =2โ๐ (๐+๐)๐+๐+2๐, it is easy to see that ๐ โ [0,1). Thus,
๐(๐ฅ๐, ๐ฅ๐+1)โค ๐(๐ฅ๐, ๐ฅ๐โ1)๐ . . . โค ๐(๐ฅ1, ๐ฅ0)๐๐
we can follow the same argument that is given in Theorem 3.1 [16 ] , there exist ๐ฅโโ ๐ such that
๐ฅ๐ โ๐ฅโ. Let c >>1 be arbitrary. Since ๐ฅ๐ โ๐ฅโ, there exist N such that
๐(๐ฅ๐,๐ฅโ) โค c
Next we show that ๐ฅโ is fixed point of T, we have
๐ ๐๐ฅโ, ๐ฅโ = [๐ ๐๐ฅโ, ๐๐ฅ
๐ . ๐ ๐๐ฅ๐ , ๐ฅโ ]๐
โค ๐ ๐๐ฅโ, ๐ ๐ฅ๐ ๐ . ๐ ๐ฅ๐+1, ๐ฅโ ๐
โค [๐(๐ฅโ, ๐๐ฅโ)๐. ๐ ๐ฅ
๐, ๐๐ฅ๐ ๐. ๐ ๐ฅโ, ๐ฅ๐ ๐]๐ .
๐(๐ฅ๐+1, ๐ฅโ)๐ โค
๐(๐ฅโ, ๐๐ฅโ)๐ ๐. [๐ ๐ฅ
๐, ๐ฅโ . ๐(๐ฅโ, ๐๐ฅ๐)]๐ 2๐.
๐(๐ฅโ, ๐ฅ
๐)๐ ๐๐(๐ฅ๐+1, ๐ฅโ)๐
โค
๐(๐ฅโ, ๐๐ฅโ)๐ ๐. ๐ ๐ฅ
๐, ๐ฅโ ๐ 2๐. ๐(๐ฅโ, ๐ฅ๐+1)๐ 2๐.
๐(๐ฅโ, ๐ฅ
๐)๐ ๐๐(๐ฅ๐+1, ๐ฅโ)๐ ๐ ๐ฅโ, ๐๐ฅโ . ๐(๐ฅโ, ๐๐ฅโ)โ๐ ๐
= ๐ ๐ฅ๐ ,๐ฅโ ๐ ๐+๐ 2๐
. ๐ ๐ฅโ, ๐ฅ ๐+1 ๐
2๐+๐๐
๐(๐ฅโ, ๐๐ฅโ)1โ๐ ๐ โค
๐ ๐ฅ๐ , ๐ฅโ ๐ ๐+๐
2๐
. ๐ ๐ฅโ, ๐ฅ ๐+1 ๐
2๐+๐ ... (3)
On the Other hand ,
d(๐ฅโ, ๐๐ฅโ) = [d(๐ฅโ , ๐๐ฅ๐) . d(๐๐ฅ๐ , ๐๐ฅโ)] ๐ = d(๐ฅโ , ๐ฅ๐+1)๐ . d(๐๐ฅ๐ , ๐๐ฅโ) ๐
โค ๐(๐ฅโ, ๐ฅ
๐+1)๐ . [๐ ๐ฅ๐, ๐๐ฅ๐ ๐. ๐(๐ฅโ, ๐๐ฅโ)๐. ๐ ๐ฅ๐, ๐ฅโ ๐]๐
โค ๐ ๐ฅโ, ๐ฅ
๐+1 ๐ . [๐ ๐ฅ๐, ๐ฅโ . ๐(๐ฅโ, ๐๐ฅ๐)]๐ 2๐.
๐(๐ฅโ, ๐๐ฅโ)๐ ๐. ๐(๐ฅ ๐, ๐ฅโ)๐๐
โค ๐ ๐ฅโ, ๐ฅ
๐+1 ๐ . ๐ ๐ฅ๐, ๐ฅโ ๐ 2๐. ๐(๐ฅโ, ๐ฅ๐+1)๐ 2๐.
๐(๐ฅโ, ๐๐ฅโ)๐ ๐. ๐(๐ฅ ๐, ๐ฅโ)๐๐
๐ ๐ฅโ, ๐๐ฅโ . ๐(๐ฅโ, ๐๐ฅโ)โ๐ ๐ =
๐ ๐ฅโ, ๐ฅ ๐+1 ๐ +๐
2๐
. ๐ ๐ฅ๐, ๐ฅโ, ๐
2๐+๐๐
๐(๐ฅโ, ๐๐ฅโ)1โ๐ ๐ โค
๐ ๐ฅโ, ๐ฅ ๐+1
๐ +๐ 2๐
. ๐ , ๐ฅ๐ ,๐ฅโ ๐ 2๐+๐๐
...(4)
Multiplying (3) & (4) gives ,
๐(๐ฅโ, ๐๐ฅโ)2โ๐ ๐ โ๐ ๐ โค
๐ ๐ฅโ, ๐ฅ ๐+1 ๐ +๐
2๐+๐ +๐ 2๐
. ๐ , ๐ฅ๐ ,๐ฅโ
๐ 2๐+๐๐ +๐ ๐ +๐ 2๐
โค ๐ ๐ฅโ, ๐ฅ
๐+1 2๐ +๐ 2(๐+๐). ๐ , ๐ฅ๐ ,๐ฅโ
2๐๐ +๐ 2(๐+๐)
d(๐ฅโ , ๐๐ฅโ) โค c
we can see from lemma 2.14, that d(๐ฅโ , ๐๐ฅโ) = 1. (ie) the mapping T has a fixed point ๐ฅโ . At last, for uniqueness, if there is another fixed point ๐ฆโ then d(๐ฅโ, ๐ฆโ) = d(T๐ฅโ,๐๐ฆโ)
โค ๐(๐ฅโ, ๐๐ฅโ)๐
๐(๐ฆโ, ๐๐ฆโ)๐๐(๐ฅโ, ๐ฆโ)๐
โน ๐(๐ฅ, ๐ฆ) โค๐(๐ฅโ, ๐ฆโ)๐.
Owing to 0โค ๐ < 1 , we deduce from lemma 2.14 that ๐ฅโ = ๐ฆโ . This completes the Proof.
4. References
[1] S. Banach, Sur les operations dans les ensembles abstrait
[2] I. A. Bakhtin, The contraction mapping principle in almost metric spaces, Func. Anal., Gos. Ped. Inst. Unianowsk, Vol. 30, 1989, pp. 26โ37.
[3] A. E. Bashirov, E.M. Kurpinar, A.
ยจOzyapici,Multiplicative calculus and its applications, J.
Math.Analy. App., 337, 2008, pp. 36โ48.
[4] S. Cezerwik, Contraction mappings in b-metric spaces,
Acta Mathematica et informatica Universitatis Ost. Vol.1, 1993 pp. 5-11.
[5] K. Deimling, Nonlinerar Functional Analysis, Springer,
1985.
[6] Kannan .R.Some results on fixed points .Bull.Calcutta Math.Soc.60.71-76(1968).
[7] Kannan .R. Some results on fixed points ,II am.Math.Mon 75,405 -408 (1969).
[8] R. George, H. Nabwey, K. P. Reshma, R. Rajagopalan, Generalized cone b-metric spaces and contraction principle, Mathematykn Behhnk, 2015.
[9] L. G. Haung, X. Zhang, Cone metric space and fixed point
theorems of contractive mappings, J. Math. Anal., Apal,
Vol. 332(2), 2007, pp. 1468โ1476.
[10] N. Hussain, M. H. Shah, KKM mappings in cone b-metric
spaces, Comput. Math. Appl., Vol. 62, 2011, pp. 1677โ 1684.
[11] H. Huaping, X. Shaoyuan, Fixed point theorems of
contractive mapping in cone b-metric spaces and applications, Fixed Point Theory Appl., 2013 2013:112.
[12] H. Hxiaoju , M. Song, D. Chen, Common fixed points for
weak commutative mappings on a multiplicative metric space, Fixed Point Theory and Applications 2014, 2014:48.
[13] M. Ozavsar, A. C. Cevikel, Fixed point of multiplicative contraction mappings on multiplicative metric space, arXiv:1205.5131v1 [matn.GN] (2012).
[14] Shyam Lal Singh, Stephen Czerwik and Krzysztof Krol, ' Coincidences and fixed points of hybrid contractions', Tamsui Oxford Journal of Mathematical Sciences 24(2008), no. 4, 401 - 416.
[15] Pankaj Kumar Mishra, Shweta Sachdeva, Banerjee, ' Some
fixed point theorems in b- metruc spaces', Turkish Journal of Analysis and Number theory, 2014, Vol.2, No. 1, 19 - 22.
[16] Akbar Zada, Rahim Shah and Shahid Saifullah, ' Some