A Common Fixed Point Theorem in Complex
Valued Metric Space for Four Mappings
Tanmoy Mitra
Assistant Teacher, Akabpur High School, Akabpur, Nadanghat, Burdwan, West Bengal, India
ABSTRACT: In this paper we prove a common fixed point theorem for four mappings in a complex valued metric space.
KEYWORDS: Complex valued metric space, Property (E.A), weakly compatible mappings, Property (CLRπ).AMS Subject Classification (2010): 47H10, 54H25.
I. INTRODUCTION
In 2011, A. Azam, B. Fisher and M. Khan [2] introduced the notion of complex valued metric space and established some sufficient conditions for existence of common fixed points of a pair of mappings satisfying a contractive condition. S. Bhatt, S. Chaukiyal and R.C. Dimri [3] have proved a theorem on common fixed point for weakly compatible mappings in a complex valued metric space. R.K. Verma and H.K. Pathak [8] introduced the concept of the property (E.A) in complex valued metric space to prove some common fixed point results for two pairs of weakly compatible mappings. The aim of this paper is to obtain a common fixed point theorem under a contractive condition of two pairs of weakly compatible self-maps with CLRπ property in complex valued metric spaces.
II. PRILIMINARIES
Let β be the set of all complex numbers and π§1, π§2β β . Define a partial order relation βΎ on β as follows:
π§1βΎ π§2 if and only if π π π§1 β€ π π π§2 and πΌπ π§1 β€ πΌπ π§2 .
Thus π§1βΎ π§2 if one of the followings holds:
(1) π π π§1 = π π π§2 and πΌπ π§1 = πΌπ π§2 ,
(2) π π π§1 < π π π§2 and πΌπ π§1 = πΌπ π§2 ,
(3) π π π§1 = π π π§2 and πΌπ π§1 < πΌπ π§2 and
(4) π π π§1 < π π π§2 and πΌπ π§1 < πΌπ π§2 .
We write π§1β¨ π§2if π§1βΎ π§2 and π§1β π§2 i.e., one of (2), (3) and (4) is satisfied and we will write π§1βΊ π§2 if only
(4) is satisfied.
Remark 1: We can easily check the followings:
(i) π, π β β, π β€ π β ππ§ βΎ ππ§ β π§ β β.
(ii) 0 βΎ π§1β¨ π§2β π§1 < π§2 .
(iii) π§1βΎ π§2 and π§2βΊ π§3 β π§1βΊ π§3.
Azam et al. [2] defined the complex valued metric space in the following way:
Definition 1 ([2]): Let π be a nonempty set. Suppose that the mapping π βΆ π Γ π β β satisfies the following conditions:
(C1) 0 βΎ π π₯, π¦ , for all π₯, π¦ β π and π π₯, π¦ = 0 if and only if π₯ = π¦;
(C2) π π₯, π¦ = π π¦, π₯ for all π₯, π¦ β π;
Then π is called a complex valued metric on π and (π, π) is called a complex valued metric space.
Example 1: Let π = β . Define the mapping π βΆ π Γ π β β by π π§1, π§2 = π π§1β π§2 β π§1, π§2β β.
One can easily verify that (π, π) is a complex valued metric space.
Definition 2 ([2]): Let (π, π) be a complex valued metric space. Then
(i) A point π₯ β π is called an interior point of a set π΄ β π if there exists 0 βΊ π β β such that π΅ π₯, π = {π¦ β π: π(π₯, π¦) βΊ π} β π΄.
A subset π΄ β π is called open if each element of π΄ is an interior point of π΄. (ii) A point π₯ β π is called a limit point of π΄ β π if for every 0 βΊ π β β,
π΅(π₯, π)β(π΄ β {π₯}) β π.
A subset π΄ β π is called closed if each element of π β π΄ is not a limit point of π΄. (iii) The family
πΉ = {π΅ π₯, π : π₯ β π, 0 βΊ π}
is a sub-basis for a Hausdorff topology π on π.
Definition 3 ([2]): Let (π, π) be a complex valued metric space. Then
(i) A sequence {π₯π} in π is said to converge to π₯ β π if for every 0 βΊ π β β there exists π β β such that π π₯π , π₯ βΊ π, β π > π. We denote this by lim
πββπ₯π = π₯ or π₯π β π₯ as π β β.
(ii) If for every 0 βΊ π β β there exists π β β such that π(π₯π , π₯π+π) βΊ π for all π > π, π β β, then {π₯π} is
called a Cauchy sequence in (π, π).
(iii) If every Cauchy sequence in π is convergent in π then (π, π) is called a complete complex valued metric space.
Jungck introduced the concepts of commuting mappings in [4], compatible mappings in [5] and weakly compatible mappings in [6]. In a like manner we may define these concepts in complex valued metric spaces as follows:
Definition 4 ([4]): Let (π, π) be a complex valued metric space. The self-maps π and π are said to be commuting
if πππ₯ = πππ₯ for all π₯ β π.
Definition 5 ([5]): Let (π, π) be a complex valued metric space. The self-maps π and π are said to be compatible if
lim
πββπ πππ₯π , πππ₯π = 0 whenever {π₯π} is a sequence in π such that πββlimππ₯π = limπββππ₯π = π‘ for some π‘ β π.
Definition 6 ([6]): Let (π, π) be a complex valued metric space. The self-maps π and π are said to be weakly compatible if πππ₯ = πππ₯ whenever ππ₯ = ππ₯, i.e., they commute at their coincidence points.
Definition 7 ([8]): Let (π, π) be a complex valued metric space. The self-maps π and π are said to satisfy the property (E.A) if there exists a sequence {π₯π} in π such that
lim
πββππ₯π = limπββππ₯π = π‘ for some π‘ β π.
Definition 8 ([10]): Let (π, π) be a metric space. The self-maps π and π are said to satisfy the CLRπ property if there exists a sequence {π₯π} in π such that limπββππ₯π= limπββππ₯π = ππ’, for some π’ β π.
III. LEMMAS
In this section we present some lemmas which will be needed in the sequel.
Lemma 1 ([2]): Let (π, π) be a complex valued metric space and {π₯π} be a sequence in π. Then {π₯π} converges to π₯ β π if and only if π(π₯π, π₯) β 0 as π β β.
Lemma 2 ([2]): Let (π, π) be a complex valued metric space and {π₯π} be a sequence in π. Then π₯π is a Cauchy
sequence if and only if π π₯π, π₯π+π β 0 as π β β where π β β.
Lemma 3([9]): Let (π, π) be a complex valued metric space and {π₯π} be a sequence in π such that lim
πββπ₯π = π₯.
Then for any π β π, lim
πββπ π₯π, π = π π₯, π .
IV. MAIN RESULT
In this section we present the main result of this paper.
Theorem: Let (π, π) be a complex valued metric space. Suppose that π, π, π and π be self-maps of X satisfying the following conditions:
(i) The pairs {π, π} and {π, π} are weakly compatible,
(ii) ππ β ππ and ππ β ππ,
(iii) Either the pair {π, π} satisfy CLRf property or the pair {π, π} satisfy CLRπ property and
(iv) π ππ₯, ππ¦ βΎ ππ ππ₯, ππ¦ +ππ ππ₯ ,ππ₯ π(ππ¦ ,ππ¦ )
1+π(ππ₯ ,ππ¦ ) , β π₯, π¦ β π, where π, π are non-negative reals satisfy π + π < 1.
Then π, π, π and π have a unique common fixed point.
Proof: Suppose that the pair π, π satisfy CLRf property.
So there exists a sequence {π₯π} in π such that
limπββππ₯π = limπββππ₯π= ππ’, for some π’ β π.
Since ππ β ππ, so there exists a sequence {π¦π} in π, such that ππ₯π = ππ¦π.
Thus limπββππ¦π= ππ’.
Now by condition (iv),
π ππ₯π, ππ¦π βΎ ππ ππ₯π, ππ¦π +
ππ ππ₯π,ππ₯π π(ππ¦π,ππ¦π) 1+π (ππ₯π,ππ¦π)
Now letting π β β, we get π(ππ’, ππ¦π) βΎ 0.
Thus π ππ’, ππ¦π = 0 and hence limπββππ¦π = ππ’.
We now show that ππ’ = ππ’.
By condition (iv),
π ππ’, ππ¦π βΎ ππ ππ’, ππ¦π +
ππ ππ’ ,ππ’ π (ππ¦π,ππ¦π) 1+π(ππ’ ,ππ¦π)
Letting π β β, we get π ππ’, ππ’ βΎ 0
Therefore π ππ’, ππ’ = 0 and hence ππ’ = ππ’.
Since π, π are weakly compatible,
πππ’ = πππ’ = πππ’ = πππ’.
Again ππ β ππ.
Thus there exists π£ β π, such that ππ’ = ππ£.
We now show that ππ£ = ππ£.
By the condition (iv),
π ππ’, ππ£ βΎ ππ ππ’, ππ£ +ππ ππ’ ,ππ’ π ππ£ ,ππ£ 1+π ππ’ ,ππ£
βΎ 0 [β΅ ππ’ = ππ’ = ππ£]
Therefore π ππ’, ππ£ = 0.
Thus ππ’ = ππ£ = ππ£.
Since π, π are weakly compatible,
πππ£ = πππ£ = πππ£ = πππ£.
Now we have,
ππ’ = ππ’ = ππ£ = ππ£ = π‘ (say), for some π‘ β π.
We now show that π‘ is a common fixed point of π, π, π and π.
By condition (iv),
π π‘, π = π ππ’, ππ‘
βΎ ππ ππ’, ππ‘ +ππ ππ’ ,ππ’ π ππ‘ ,ππ‘ 1+π ππ’ ,ππ‘
= ππ π‘, ππ‘ β΅ ππ‘ = πππ£ = πππ£ = ππ‘
β΄ 1 β π π π‘, ππ‘ β€ 0
β΅ 0 β€ π + π < 1, π π‘, ππ‘ = 0 and hence π‘ = ππ‘.
Now ππ‘ = ππ‘ = π‘.
Again π ππ‘, π‘ = π ππ‘, ππ£
βΎ ππ ππ‘, ππ£ +ππ ππ‘ ,ππ‘ π(ππ£ ,ππ£) 1+π(ππ‘ ,ππ£ )
= ππ ππ‘, π‘ β΅ ππ‘ = πππ’ = πππ’ = ππ‘
β΄ 1 β π π ππ‘, π‘ β€ 0
Therefore π ππ‘, π‘ = 0. i.e. ππ‘ = π‘.
Thus ππ‘ = ππ‘ = π‘.
Therefore ππ‘ = ππ‘ = ππ‘ = ππ‘ = π‘.
Thus π‘ is a common fixed point of π, π, π and π.
For uniqueness, let π€ β π, such that
ππ€ = ππ€ = ππ€ = ππ€ = π€.
Now π π€, π‘ = π ππ€, ππ‘
βΎ ππ ππ€, ππ‘ +ππ ππ€ ,ππ€ π ππ‘ ,ππ‘ 1+π ππ€ ,ππ‘
= ππ π€, π‘
β΄ 1 β π π π€, π‘ β€ 0.
β΄ π π€, π‘ = 0 and hence π‘ = π€.
Thus π‘ is the unique common fixed point of π, π, π and π.
If the pair {π, π} satisfy CLRπ property, smilarly we can prove the theorem.
Corollary 1: Let (π, π) be a complex valued metric space. Suppose that π, π and π be self-maps of π satisfying the following conditions:
(i) The pairs {π, π} and {π, π} are weakly compatible,
(ii) ππ β ππ and ππ β ππ,
(iv) π ππ₯, ππ¦ βΎ ππ ππ₯, ππ¦ +ππ ππ₯ ,ππ₯ π(ππ¦ ,ππ¦ )
1+π(ππ₯ ,ππ¦ ) , β π₯, π¦ β π, where π, π are non-negative reals satisfy π + π < 1.
Then π, π and π have a unique common fixed point.
Proof: Setting π = π in the above theorem, we get the result.
Corollary 2: Let (π, π) be a complex valued metric space. Suppose that π, π be two weakly compatible self-maps of π, such that
(i) π, π satisfy CLRv property and
(ii) π ππ₯, ππ¦ βΎ ππ ππ₯, ππ¦ +ππ ππ₯ ,ππ₯ π (ππ¦ ,ππ¦ )
1+π(ππ₯ ,ππ¦ ) , β π₯, π¦ β π, where π, π are non-negative reals with π + π < 1.
Then π and π have unique common fixed point in π.
Proof: If we take π = π = π and π = π = π in the above theorem we get the result.
Now we show an example in support of the theorem.
Example: Let π = 0,5 .
Let π: π Γ π β β, defined as π π₯, π¦ = π π₯ β π¦ , β π₯, π¦ β π.
We define π π₯ = 1
5, ππ π₯ β 0,1 1, ππ π₯ β 1,5
π π₯ = 1
4, ππ π₯ β (0,1)
1, ππ π₯ β [1,5]
π π₯ = 1
5, ππ π₯ β (0,1)
π₯+1
2 , ππ π₯ β [1,5]
π π₯ = 1
4, ππ π₯ β (0,1) 1, ππ π₯ = 1
π₯ β1
2 ,ππ π₯β 1,5 β{3} 3, ππ π₯=3
(i) Here the pairs π, π and {π, π} are weakly compatible
(ii) ππ = 1
4 ,1 β 0,2 β 3 = ππ
and ππ = 1 5 ,1 β
1
5 β 1,3 = ππ.
(iii) Now for sequence π₯π = 3 β
1
ππ₯π = 3β1πβ1
2 = 1 β
1
2π , β π β β.
Thus limπββππ₯π = limπββππ₯π = 1 = π(1)
Therefore the pair {π, π} satisfy CLRf property.
Also for sequence π¦π = 1 +
1
π, ππ¦π = 1, β π β β and
ππ¦π = 1+1
π+1
2 = 1 +
1
2π , β π β β.
Thus limπββππ¦π = limπββππ¦π = 1 = π(1).
Therefore the pair {π, π} satisfy CLRπ property.
(iv) Clearly for every π₯, π¦ β π,
π ππ₯, ππ¦ βΎ ππ ππ₯, ππ¦ +ππ ππ₯ ,ππ₯ π ππ¦ ,ππ¦
1+π ππ₯ ,ππ¦ , where π, π are non-negative reals with π + π < 1.
Thus the mappings π, π, π and π satisfy all the conditions of the theorem.
Here 1 is the unique common fixed point of π, π, π and π.
V. CONCLUSON
In the above theorem if we replace the condition (iii) with the condition, β Either the pair {π,π} satisfy E.A. property and ππ is closed in π or the pair {π,π} satisfy the E.A. property and ππ is closed in πβ , then we can also show that π,π,π and π have unique common fixed point.
REFERENCES
[1] M. Amri and D.EI Moutawakil: Some new common fixed point theorems under strict contractive conditions, J. Math. Anal. Appl., Vol. 270(2002), pp. 181-188.
[2] A. Azam, F. Brain and M. Khan: Common fixed point theorems in complex valued metric spaces, Numer. Funct. Anal. Optim., Vol. 32, No. 3(2011), pp. 243-253.
[3] S. Bhatt, S. Chaukiyal and R. C. Dimri: A common fixed point theorem for weakly compatible maps in complex valued metric space, Int. J. Math. Sci. Appl., Vol. 1, No. 3(September 2011), pp. 1385-1389.
[4] S.K. Datta and S.Ali: A common fixed point theorem under contractive condition in complex valued metric spaces, Internationa Jounal of Advanced Scientific and Technical Research, Issue 2 volume 6, 2012, ISSN 2249 β 9954.
[5] G. Jungck: Commuting maps and fixed points, Amer. Math. Monthly, Vol. 83(1976), pp. 261-263.
[6] G. Jungck: Compatible mappings and common fixed points, Int. J. Math. & Math. Sci., Vol. 9, No. 4(1986), pp. 771-779.
[7] G. Jungck: Common fixed points for non-continuous non-self mappings on non-metric spaces, Far East J. Math. Sc., Vol. 4, No. 2(1996), pp. 199-212.
[8] R.P. Pant and V. Pant: Common fixed points under strict contractive conditions, J. Math. Anal. Appl., Vol. 248(2000), pp. 327-332.
[9] W.Sintunavarat, P.Kumam: Common fixed point theorem for a pair of weakly compatible mappings in fuzzy metric spaces, J. Appl. Math. 2011, 2011:14. Article ID 637958.