You are on page 1of 11

International Journal on Recent and Innovation Trends in Computing and Communication ISSN: 2321-8169

Volume: 5 Issue: 5 241 251


_______________________________________________________________________________________________

Some Theorem for Common Fixed Point for S-Contraction


Mappings in Complete Cone Metric Spaces

Hamid Shojaei
Department of Mathematics, Payame Noor University
Teheran, Iran
hshojaei2000@gmail.com

Abstract:- In this paper we introduced complete cone metric spaces and we proved some common fixed point
theorems of s- contraction mappings, by using coincidence point and weakly compatible condition two mappings on
complete cone metric spaces.

Keywords: Common fixed point; Coincidence point; Contraction; Complete cone metric space; Normal cone.

2000 MSC No: 47H10, 54H25


_________________________________________________*****__________________________________________________

1. Introduction and preliminaries

Huang and Zhang [5] recently have introduced the concept of cone metric space, where the set of real
numbers is replaced by an ordered Banach space, and they have established some fixed point theorems
for contractive type mappings in a normal cone metric space.

Subsequently, some other authors [1, 9] have generalized the results of Huang and Zhang [5] and have
studied the existence of common fixed points of a pair of self-mappings satisfying a contractive type
condition in the framework of normal cone metric spaces.

Vetro [9] extends the results of Abbas and Jungck [1] and obtains common fixed point of two mappings
satisfying a more general contractive type condition. In [3] Bari and Vetro obtain results on points of
coincidence and common fixed points in non-normal cone metric spaces. In this paper, we obtain points of
coincidence and common fixed points for - Contraction mappings satisfying generalized contractive type
conditions in a complete cone metric space.

Throughout this paper, we denote by the set of positive integers and by the set of real numbers.

Definition1.1 Let be a Real Banach space and a subset of . Then is called a Cone if and only if :

(i) be nonempty, closed and satisfies 0 ,

(ii) If ,
, , 0, and , , then + ,

241
IJRITCC | May 2017, Available @ http://www.ijritcc.org
_______________________________________________________________________________________
International Journal on Recent and Innovation Trends in Computing and Communication ISSN: 2321-8169
Volume: 5 Issue: 5 241 251
_______________________________________________________________________________________________
(iii) If and , then = 0.

For a Cone , we defined a partial ordering with respect to by if and only if .


We shall write < iff and , and we defined if where is the interior
of .

From now on, it is assumed that .

The Cone is called normal if there is some positive integer 1, such that, for 0 implies
, for all , . (The norm . is in Real Banach space )

Here, the least positive integer satisfying this equation is called the normal constant of .

is said to be regular if every increasing sequence which is bounded from above is convergent, that is,
if 1 is a sequence such that 1 2 for some , then there is such that lim
=0.

Equivalently, the Cone is regular iff every decreasing sequence which is bounded from below is
convergent.

Lemma 1.2 Let be a Real Banach space with a Cone . Then;

(a) If and 0 , then ,


(b) If and , then + + ,
(c) If for all
, and lim = , lim = then .

Lemma 1.3 If is a Cone. Let , and.If , for 0 < 1, then = 0.

Proof. If then = 1 . Since , 0 < 1, we have, from definition 1 (ii), 1


. It follows from definition 1 (iii) that = 0.

Lemma 1.4 (see [4], [6])

(i) Every regular Cone is normal


(j) For each > 1, there is a normal Cone with normal constant > .
(k) The Cone is regular if every decreasing sequence which is bounded from below is convergent.

Definition 1.5 Let be a non-empty set. Suppose that the mapping


: satisfies:

(a) (, ) for all , ,


0
(b) , = 0 if and only if = ,
(c) , , + , , for all , ,
(d) (, ) for all , ,
, =
242
IJRITCC | May 2017, Available @ http://www.ijritcc.org
_______________________________________________________________________________________
International Journal on Recent and Innovation Trends in Computing and Communication ISSN: 2321-8169
Volume: 5 Issue: 5 241 251
_______________________________________________________________________________________________
Then is called a Cone metric on , and the pair (, ) is a Cone metric space (CMS).
It is quite natural to consider Cone normed space (CNS).

Definition 1.6 Let be a vector space over


. The mapping : is called a Cone norm on , if
satisfies the following properties:
(a) 0 for all ,
(b) = 0 if and only if = 0,
(c) + + , for all , ,
(d) = for all
.
The pair (, ) is called Cone -normed spaces. (For simply CNS)

Note that each CNS is a CMS. Indeed, we consider , = .

Definition 1.7 Let (,


) be a Cone metric space. A sequence in is called :

(a) A convergent sequence if for every with 0 , there is such that for all ,
( , )
for some fixed in . We denote this by lim = or ,
.
(b) A Cauchy sequence if for every with 0 , there is such that for all , ,
( , ) .
A cone metric space (,
) is called to be complete if every Cauchy sequence is convergent i .

Lemma 1.8 Let (,


) be a Cone metric space. If is a convergent sequence in , then the limit of
is unique.

The proof of the following lemma is straight forward, and is omitted.

Lemma 1.9 Let , be a cone metric space and a sequence in .

If converges to and is any subsequence of , then converges to .

Lemma 1.10 Every regular Cone is normal.

Proof. Let a regular Cone which is not normal. For all 1, choose , such that and

2 < . For each 1 , put = and = . Then, , , , are all in and, = 1

1
and 2 < , for all 1 . Since the series
=1 2 is convergent and is closed, there is an
1
element such that
=1 2 = . Since,

1 1 1
0 1 1 + 2 1 + 2 + 3 .
22 22 32

1
Thus,
=1 2 is convergent because is regular. Hence, lim = 0 Which is a contradiction.
2

243
IJRITCC | May 2017, Available @ http://www.ijritcc.org
_______________________________________________________________________________________
International Journal on Recent and Innovation Trends in Computing and Communication ISSN: 2321-8169
Volume: 5 Issue: 5 241 251
_______________________________________________________________________________________________
2. Main Results

). A point is called a coincidence point of ,


Definition 2.1 Let s, T be self-mappings on a CMS (,
if = , and it is called a common fixed point of , if = = .

Moreover, a pair of self-mappings (, ) is called weakly compatible on if they commute at their


coincidence points, that is, if , and = , then = .

Definition 2.2 Let be a self-map of a Cone metric space . The self-map is called a contraction if
there is some [0,1) such that, (, ) for all , .
(, )

Definition 2.3 Let be a self-map of Cone metric space . The self-map is called contraction if there
is [0,1) such that, (, ) for all , .
(, )

Theorem 2.4 Let (,


) be a complete Cone metric space and is a normal Cone with a normal constant
, Let , : contraction mappings on , and a contraction that satisfy the following conditions:

(i) ,
(, )
(ii) (, )
(, )

For all , , where [0,1). If and are weakly compatible, then two maps , have a unique
common fixed point and for each sequences 1 , 1 are converges to common fixed point.

Proof: Let 0 . For any 1, defined:

1 = 0 , 2 = 1 = 0 . . . +1 = = (+1) 0 .

From (ii) we have;

+1 , +1 , = , 1
(1 , 0 )

If > , we have;

, 1 + 1 , 2 + 2 , 3 + + 1 ,


1 + 2 + +
(1 , 0 )
(1 , 0 ).
1



( , ) (1 , 0 ) .

1

Hence, when , we have


( , ) 0

Therefore 1 is a Cauchy sequence in (,


), since is a complete Cone metric space, then, there
exists such that . Hence . If there exists such that = .

244
IJRITCC | May 2017, Available @ http://www.ijritcc.org
_______________________________________________________________________________________
International Journal on Recent and Innovation Trends in Computing and Communication ISSN: 2321-8169
Volume: 5 Issue: 5 241 251
_______________________________________________________________________________________________
So;

, , +
( , )

( , ) .
, +

Let ,

(, ) (
( , ) ) 0 .
(, )+

(, ) = 0 .

= = .

Since , are weakly compatible in . Hence = = = .

= .

Therefore we have;

, = , , =
(, )

= = .

So is a common fixed point of , .

Now, let , 0 be two common fixed points of , , we show = 0 . Since = = and 0 = 0 = 0 , by


using (ii) we have;

(, 0 ) , for each, [0,1) .


(, 0 )

therefore;

(, 0 ) ,
, 0 = , 0 , 0 =

Since 0 < 1, hence = 0.

Corollary 2.5 Let (,


) be a complete Cone metric space and is a normal Cone with a normal constant
, such that , : contraction mappings of and a -contraction that satisfy the following condition:

(i) ( , )
( , )

For all , , where [0,1) is a constant, then two maps , have a unique common fixed point in
.

Proof: From theorem 2.4, and have a unique common fixed point .

But = = = = ,
245
IJRITCC | May 2017, Available @ http://www.ijritcc.org
_______________________________________________________________________________________
International Journal on Recent and Innovation Trends in Computing and Communication ISSN: 2321-8169
Volume: 5 Issue: 5 241 251
_______________________________________________________________________________________________
= = = = ,

So , are a common fixed points of and . Hence = = . Therefore is a common fixed


point of and . Since the common fixed point of and , is also common fixed point of and ,
therefore common fixed point of , is unique.

Theorem 2.6 Let (,


) be a complete cone metric space and is a normal cone with a normal constant ,
such that , : satisfy the contractive condition

1
Let [0, ) is a constant,
(, ) (, + , ), for all , . Then s have a common
2

coincidence point. Furthermore, if and are weakly compatible, then , have a unique common fixed
point in .

Proof: Let 0 . For all 1, let 1 = 0 and we define sequence such that = +1 = =
+1 0 . If = +1 for any , then = for all > hence is Cauchy sequence. If +1 for
some then, +1 , = , 1 , + 1 , 1

( +1 , + , 1 )

+1 , 1 , 1 =
( , 1 )

+1 , 1 , 1 =
( , 1 )

Where = 1 . For > we have;

, , 1 + 1 , 2 + +1 ,

(1 , 0 )
1 + 2 + + (1 , 0 ) .
1

( , )
1
(1 , 0 ) .

, , .
( , ) 0

Therefore is a Cauchy sequence in , . is Cauchy in , , Since (,


) is a complete Cone
metric space, there exists such that . is a cantraction and = +1 = , therefore
= for Some . We show that = .

We have;

, , + ,

, + , + ,

, + , 1 ( , ) .
+

( , ) .
1 , , 1 +

246
IJRITCC | May 2017, Available @ http://www.ijritcc.org
_______________________________________________________________________________________
International Journal on Recent and Innovation Trends in Computing and Communication ISSN: 2321-8169
Volume: 5 Issue: 5 241 251
_______________________________________________________________________________________________
, 1 1 , 1 + ( , ) .

.
(, ) 0

Hence , = 0 and = = . Thus is coincidence point of .

Now, let , be weakly compactable, then they commute at a coincidence point. Therefore,

= = . (1)

= .

which implies,

= . (2)

Claim: is common fixed point of , . To show this, we have :

(, ) (, +
(, )

Which is equivalent to (, ) .
(, ) (, +

From (1) and (2):

, , + , = , + , = 0.

Hence , 0, or
(, ) = 0. Therefore = = . Hence is a common fixed point of .

Now, let is another common fixed point of and . Substituting and in the contractive
condition can get,

(, ) (, + , )

Which is equivalent to ,

(, ) (, + , )

(, ) 0

Hence , = 0, therefore = . Hence, the common fixed point of is unique.

Theorem 2.7 Let , be a complete Cone metric space, be a Cone and 0 < < 1. Let mappings
, : and be a contraction such that satisfy the following condition:

, , 1

For all , , where;

, + ,
, , , , , .
2
247
IJRITCC | May 2017, Available @ http://www.ijritcc.org
_______________________________________________________________________________________
International Journal on Recent and Innovation Trends in Computing and Communication ISSN: 2321-8169
Volume: 5 Issue: 5 241 251
_______________________________________________________________________________________________
If and are weakly compatible, then and have a unique common fixed point.

Proof: We shall first show that fixed point of one map is a fixed point of the another. Suppose that
= . Then form 1 ;

, = , , .

We must consider 3 case.

Case I. , = , , then , , = 0 , therefore, = .

Case II. , = , . Then , , = , .

Since 0 < < 1, we have = .

, + ,
Case III. , = , then
2

, + ,
,
2

Which implies , , = , , and hence = .

In a similar manner we can be shown that any fixed point of is also the fixed point of .

Now, let 0 , define;

+1 = , for 1.

Because is Contraction and satisfy the Condition 1 , therefore;

, +1 , +1 = 1 ,

2 1 , 0 , 1 .

Again We must consider 3 case.

Case I. , = , , then

, +1 0 , 1 .

Case II. , = , . Then,

, +1 , +1 = , = , = 1 , 2 1 , 1 = 2 2 , 1

3 2 , 2 0 , 0 = 0 , 1 .

, + ,
Case III. , = , then
2

248
IJRITCC | May 2017, Available @ http://www.ijritcc.org
_______________________________________________________________________________________
International Journal on Recent and Innovation Trends in Computing and Communication ISSN: 2321-8169
Volume: 5 Issue: 5 241 251
_______________________________________________________________________________________________

, +1 +1 , + , +1 =
2

[ +1 , +1 + , +1 ] = , +1 .
2 2

Since 0 < < 1, therefore , +1 = 0.

Now if , in cases I and II we have;


, , 1 + 1 , 2 +

2 , 3 + + 1 ,

, = , 1 , + +1 , +2 +

+2 , +3 + + 1 ,


+ +2 + + 1
(0 , 1 ) (0 , 1 ) .

1



( , )
(0 , 1 )
1

Hence, where , we have ( , ) 0 and in case III clearly


( , ) 0 holds.

Therefore 1 is a Cauchy sequence in (,


), since is a complete , there exists such
that, , hence .

If there exists such that = . We have;

, , +
( , )

, + , = , + ,

= , + , .

Let we have;

(, ) 0 .
(, ) (1 + )

(, ) = 0 .

= = .

In similarly way, we can show that;

, , +
( , )

, + , = , .

(, ) 0 when .
(, )

(, ) = 0

249
IJRITCC | May 2017, Available @ http://www.ijritcc.org
_______________________________________________________________________________________
International Journal on Recent and Innovation Trends in Computing and Communication ISSN: 2321-8169
Volume: 5 Issue: 5 241 251
_______________________________________________________________________________________________
= = .

Since , are weakly compatible in . Hence

= = = = .

Therefore we have;

, = , , =
(, )

= = .

Hence is a common fixed point of , .

Now, let , 0 be two common fixed points of , , we showed that, = 0 . Since = = 0 = 0 =


0 . We consider 3 cases;

, 0 , 0

, 0 ,


, 0 0 , + , 0
2

In case we have;

(, 0 ) ,
, 0 = , 0 , 0 =

In Case II we have;

, 0 = , 0 , =
(, 0 )

In Case III we have;


, 0 = , 0 2 0 , + , 0


, 0 + , 0 =
(, 0 )
2 2

Therefore 1
(, 0 ) 0. Since 0 < 1 hence = 0.

References
[1] M. Abbas and G. Jungck, Common fixed point results for noncommuting mappings without continuity in cone
metric spaces, Journal of Mathematical Analysis and Applications, vol. 341, no. 1, pp. 416420, 2008.
[2] T. Abdeljawad, E. Karapmar and k. Tas. Common Fixed point Theorems in Cone Banach spaces, h. journal of
Math an sta, Volume 40(2) (2011). 211- 217.
[3] C. Di Bari and P. Vetro, -pairs and common fixed points in cone metric spaces, Rendiconti del Circolo
Matematico di Palermo, vol. 57, no. 2, pp. 279285, 2008.
[4] k. Deimling, Nonlinear Functional Analysis (Springer- Verlag, Berlin, Heidelberg, New york, Tokyo, 1985).

250
IJRITCC | May 2017, Available @ http://www.ijritcc.org
_______________________________________________________________________________________
International Journal on Recent and Innovation Trends in Computing and Communication ISSN: 2321-8169
Volume: 5 Issue: 5 241 251
_______________________________________________________________________________________________
[5] L.-G. Huang and X. Zhang, Cone metric spaces and fixed point theorems of contractive mappings, Journal
of Mathematical Analysis and Applications, vol. 332, no. 2, pp. 14681476, 2007.
[6] Sh. Rezapour, R. Hamlbarani. Some note on the paper "Cone metric spaces and fixed point theorems of
contractive mappings", j. Math. Anal. Appl. 347(2008)719- 724
[7] I. Sahin , M.Telci. Fixed points of Contractive Mappings on Complete Cone metric Spaces, H. journal of Math
and Sta, Volume 38(1) (2009), 59- 67
[8] H.Shojaei, R. Mortezaei, J. Math. Computer Sci., 6 (2013), 201- 209.
[9] P. Vetro, Common fixed points in cone metric spaces, Rendiconti del Circolo Matematico di Palermo. Serie
II, vol. 56, no. 3, pp. 464468, 2007.
[10] E. Zeidler, Nonlinear Functional Analysis and its Applications, volume I, Fixed point Theorems (springer-
Verlag, 1993).

251
IJRITCC | May 2017, Available @ http://www.ijritcc.org
_______________________________________________________________________________________