Manish Kumar Mishra et al.

/ (IJAEST) INTERNATIONAL JOURNAL OF ADVANCED ENGINEERING SCIENCES AND TECHNOLOGIES

Vol No. 2, Issue No. 1, 104 - 107

Related Fixed Points Theorems on Three Metric

Spaces ( FPTTMS)
Manish Kumar Mishra and Deo Brat Ojha
mkm2781@rediffmail.com, deobratojha@rediffmail.com

Department of Mathematics
R.K.G.Institute of Technology
Ghaziabad,U.P.,INDIA

Rw = u. The next theorem was proved in [3].

Abstract— We obtained related fixed point theorem on three metric
spaces satisfying integral type inequality.
Mathematics Subject Classification: 54H25
Keywords- Three metric space, fixed point, integral type inequality.
T
Theorem 1.3 : Let ( X , d ) , (Y ,  ) and ( Z ,  ) be complete metric
spaces and suppose T is a continuous mapping of X into Y, S is a
continuous mapping of Y into Z and R is a continuous mapping of
Z into X satisfying the inequalities:

.
ES d ( x, x '), d ( x, RSTx),



d ( RSTx, RSTx ')  c max d ( x ', RSTx '),  (Tx, Tx '), 
I. INTRODUCTION  STx, STx ' 
The following fixed point theorem was proved by Fisher [1].
   
  ( y, y '),  ( y, TRSy ), 
Theorem 1.1: Let ( X , d ) and ( Z ,  ) be complete metric spaces.  
 (TRSy, TRSy ')  c max   ( y ', TRSy '),  ( Sy, Sy '), 
If S is a continuous mapping of X into Z, and R is a d RSy, RSy ' 
   
continuous mapping of Z into X satisfying the inequalities:
 ( z , z '),  ( z, STRz ), 
d ( x, x '), d ( x, RSx),   
A
d ( RSx, RSx ')  c max    ( STRz , STRz ')  c max  ( z ', STRz '), d  Rz , Rz '  , 
d ( x ' RSx '), d ( Sx, Sx ')    (TRz , TRz ') 
 
 ( z, z '),  ( z, SRz ), 
 ( SRz , SRz ')  c max   for all x, x
 ( z ' SRz '),  ( Rz, Rz ') 
Then RST has a unique fixed point u in X, TRS has a unique fixed
for all x, x' in X, and z, z' in Z, where 0≤ c < 1, then RS has a
point v in Y and STR has a unique fixed point w in Z. Further, Tu
IJ

unique fixed point u in X and RS has a unique fixed point w in Z.

= v, Sv = w and Rw = u. In recently Ansari , Sharma[6] generate
Further Su = w and Rw = u. The next theorem was proved in [2].
Related Fixed Points Theorems on Three Metric Spaces. Now We
obtained related fixed point theorem on three metric spaces
Theorem 1.2: Let ( X , d ) , (Y ,  ) and ( Z ,  ) be complete metric
satisfying integral type inequality.
spaces and suppose T is a continuous mapping of X into Y, S is a (X,d ) be a complete metric space,  [0,1], f : X  X
Let a
continuous mapping of Y into Z and R is a continuous mapping of
Z into X satisfying the inequalities: mapping such that for each x ,
y X ,
d ( RSTx, RSy )  c max{d ( x, RSy ), d ( x, RSTx),  ( y, Tx),  ( Sy, STx)} d ( fx , fy ) d ( x, y )

 (TRSy, STz )  c max{ ( y, TRz ),  ( x, TRSy),  ( z, Sy), d ( Rz, RSy)} 

0
 (t )dt     (t )dt ,
0  ; R   R is a
 ( STRz, STx)  c max{ ( z, STx),  ( z, STRz ), d ( x, Rz ),  (Tx, TRz )} Where
lebesgue integrable mapping which is summable, nonnegative and
for all x in X, y in Y and z in Z, where 0≤ c < 1. Then RST has a 

unique fixed point u in X, TRS has a unique fixed point v in Y and such that, for each   0,   (t )dt  0 . Then f has a unique
0
STR has a unique fixed point w in Z. Further Tu = v, Sv = w and

ISSN: 2230-7818 @ 2011 http://www.ijaest.iserp.org. All rights Reserved. Page 104

Manish Kumar Mishra et al. / (IJAEST) INTERNATIONAL JOURNAL OF ADVANCED ENGINEERING SCIENCES AND TECHNOLOGIES
Vol No. 2, Issue No. 1, 104 - 107

lim f n x  z. xn  , yn   zn  ,
common fixed z  X such that for each x  X , n 

Rhoades(2003)[4], extended this result by replacing the above xn   RST  x0 , yn  Txn 1 , zn  Syn for n  1, 2........... .
n

condition by the following

Applying inequality (1) we have
d 2 ( RSTxn1 , RSTxn ) d 2 ( xn , xn1 )
d ( fx , fy ) 1
max{d ( x , y ), d ( x , fx ), d ( y , fy ), [ d ( x , fy )  d ( y , fx )]    t  dt     t  dt
  (t )dt   
0 0
2
 (t )dt c max{d ( xn , RSTxn )  ( yn1 , yn ), d ( xn1 , RSTxn1 ) d ( xn , RSTxn ),
0
0  d  xn , RSTxn   zn1 , zn , d  xn1 , xn  d  xn , RSTxn1 }
  t  dt.
0
Ojha (2010) [5] Let ( X , d ) be a metric space and let
c max{d ( xn , xn1 )  ( yn1 , yn ),
d ( xn1 , xn ) d ( xn , xn1 ),
f : X  X , F : X  CB( X ) be a single and a multi- d 2 ( xn , xn1 )
d  xn , xn1   zn1 , zn  ,

   t  dt   d  xn1 , xn  d  xn , xn }
  t  dt.
0 0
valued map respectively, suppose that f and F are occasionally
c max{  ( yn1 , yn ),
d ( xn , xn1 )
weakly commutative (OWC) and satisfy the inequality    t  dt     zn1 , zn , d  xn1 , xn }
  t  dt........  4 
0 0

A Applying inequality (2) we have

ad ( fx , fy ) d P 1 ( fx , Fx ), 

ad ( fx , fy ) d P 1 ( fy , Fy ),   2 (TRSyn1 ,TRSyn )  2 ( yn , yn1 )

T
max  P 1

    t  dt     t  dt
J P ( Fx , Fy ) ad P(fx , Fx ) d ( fy , Fy ),  0 0

 


1
( , ) ( , ) 

 (t ) dt   (t ) dt c max{  ( yn ,TRSyn ) ( zn1 , zn ),
cd fx Fy d fy Fx
 ( yn1 ,TRSyn1 )  (TRSyn1 ,TRSyn ),
0 0 d  xn1 , xn   ( yn ,TRSyn ),

for all x , y in X ,where p  2 is an integer a  0 and

  ( yn ,TRSyn1 )  ( yn1 , yn )}
  t  dt
0

c max{  ( yn , yn1 ) ( zn1 , zn ),

0  c  1 then f and F have unique common fixed point in  ( yn1 , yn )  ( yn , yn1 ),

X.
ES 0
 2 ( yn , yn1 )

 ( yn , yn1 )
  t  dt  

  t  dt  
d  xn1 , xn   ( yn , yn1 ),
 ( yn , yn )  ( yn1 , yn )}
0
  t  dt
c max ( zn1 , zn ), d  xn1 , xn ,  ( yn1 , yn )
  t  dt......  5
y
for all x , in X ,where
p  2 is an integer a  0 and 0  c  1 0 0

f and F have unique common fixed point in X . Now, applying inequality (3) we have
then
 2 ( STRzn1 , STRzn )  2 ( zn , zn1 )
   t  dt     t  dt
0 0
II. MAIN RESULTS
c max{ ( zn , STRzn ) d  xn1 , xn  , ( zn , STRzn )  ( zn1 , STRzn1 ),
  ( zn , STRzn )   yn1 , yn   zn , STRzn1  ( zn1 , zn )}
  t  dt
0
We now prove the following related fixed point theorem.
A
c max{ ( zn , zn1 ) d  xn1 , xn , ( zn , zn1 )  ( zn1 , zn ),
( X , d ) , (Y ,  ) and ( Z ,  ) be complete metric  2 ( zn , zn1 )
  t  dt    ( z   t  dt
Theorem 1.4 : Let 0 0
n , zn1 )   yn1 , yn   zn , zn  ( zn1 , zn )}

spaces and suppose T is a continuous mapping of X into Y, S is a

 ( zn , zn1 ) c max{d  xn1 , xn ,   yn1 , yn  ( zn1 , zn )}
continuous mapping of Y into Z and R is a continuous mapping of Z    t  dt     t  dt.........  6 
0 0 It
into X satisfying the inequalities: follows easily by induction on using inequalities (4), (5) and (6) that
c max{d ( x , RSTx ')  ( y , y '),
IJ

d ( x , RSTx ) d ( RSTx , RSTx '),

d  x ', RSTx '  z , z ' , d ( xn , xn1 ) cn1 max{  ( yn1 , yn ),  zn1 , zn , d  xn1 , xn }
d 2 ( RSTx , RSTx ')
  t  dt   d  x , x '  d  x ', RSTx }
  t  dt.......... 1    t  dt     t  dt
0 0
0 0

c max{  ( y ,TRSy ') ( z , z '),

2
 (TRSy ,TRSy ')
   t  dt  
0 0
 2 ( STRz , STRz ')
 ( y ,TRSy )  (TRSy ,TRSy '),  ( yn , yn1 ) cn1 max{ ( zn1 , zn ), d  xn1 , xn ,  ( yn1 , yn )}
d  x , x '  ( y ',TRSy '),
   t  dt     t  dt
 ( y ',TRSy )  ( y , y ')}
  t  dt.........  2  0 0
c max{ ( z ', STRz ') d  x , x ' ,  ( zn , zn1 ) c n1 max{d  xn1 , xn ,   yn1 , yn  ( zn1 , zn )}
 ( z ', STRz ') ( z , STRz ),
 ( z ', STRz ')   y , y '  ,    t  dt     t  dt
0 0

   t  dt     z ', STRz  ( z , z ')}

  t  dt..........  3
0 0

Since c < 1, it follows that

xn  , yn   zn  are Cauchy
for all x, x ' in X, y, y ' in Y and z, z ' in Z where 0  c  1 . Then
sequences with limits u, v and w in X, Y and Z respectively. Since T
RST has a unique fixed point u in X, TRS has a unique fixed point v
and S are continuous, we have
in Y and STR has a unique fixed point w in Z. Further, Tu = v, Sv =
lim yn  lim Txn  Tu  v, lim zn  lim Syn  Sv  w.
w and Rw = u. n  n  n  n 
Using inequality (1) again we have
Proof : Let x0 be an arbitrary point in X. Define the sequence

ISSN: 2230-7818 @ 2011 http://www.ijaest.iserp.org. All rights Reserved. Page 105

Manish Kumar Mishra et al. / (IJAEST) INTERNATIONAL JOURNAL OF ADVANCED ENGINEERING SCIENCES AND TECHNOLOGIES
Vol No. 2, Issue No. 1, 104 - 107

d 2 ( RSTu , RSTxn1 ) d 2 ( RSTu , xn ) w and Rw = u.

   t  dt     t  dt
0 0
c max{d ( xn1 , RSTxn1 )  ( yn1 , v ), d ( u , RSTu ) d ( RSTu , RSTxn1 ),
Proof : Let x0 be an arbitrary point in X. Define the sequence
  d  xn1 , RSTxn1   w, zn1 , d u , xn1  d  xn1 , RSTu }   t  dt.
0 xn  , yn   zn  X, Y and Z respectively
d 2 ( RSTu , xn )
   t  dt
xn   RST  x0 , yn  Txn 1 , zn  Syn
0 n

c max{d ( xn1 , xn )  ( yn1 , v ), d ( u , RSTu ) d ( RSTu , xn ), by for

n  1, 2........... .
 d  xn1 , xn   w , zn1  , d  u , xn1  d  xn1 , RSTu }
  t  dt.
0 Applying inequality (7) we have
Since T and S are continuous, it follows on letting n tend to infinity d ( RSTxn1 , RSTxn ) max{ d ( xn , xn1 ), d ( xn , RSTxn1 )}
   t  dt
that 0
c ( STxn1 , STxn ) max{ ( zn , STRzn ), d ( xn , RSTxn )
d 2 ( RSTu , u ) cd 2 ( RSTu , u )    t  dt
   t  dt     t  dt 0
0 0
d ( xn , xn1 ) max{ d ( xn , xn1 ), d ( xn , xn )}


d ( RSTu , u )
  t  dt  
cd ( RSTu , u )
  t  dt    t  dt
0
0 0
c ( zn , zn1 ) max{ ( zn , zn1 ), d ( xn , xn1 )}
   t  dt
Thus RSTu = u, as c  1, c  1 and so u is a fixed point of RST. 0 and so either

Now, we have TRSv  TRSTu  Tu  v d 2 ( xn , xn1 ) c ( zn , zn1 ) d ( xn , xn1 )

   t  dt     t  dt

T
0 0
And so STRw  STRSv  Sv  w
which implies that
Hence v and w are fixed points of TRS and STR respectively.
d ( xn , xn1 ) c ( zn , zn1 )
We now prove the uniqueness of the fixed point u. Suppose    t  dt     t  dt
0 0

that RST has a second fixed point u', and then using
or
inequality (1), we have

 0
d 2 ( u , u ')
  t  dt  
2
d 2 ( RSTu , RSTu ')

0
  t  dt
ES 
d 2 ( xn , xn1 )

0
which implies that
  t  dt  
c 2 ( zn , zn1 )

0
  t  dt

c max{d ( u ', RSTu ')  (Tu ,Tu '), d ( u , RSTu ) d ( RSTu , RSTu '),
 d  u ', RSTu '  STu , STu ' , d  u ,u ' d  u ', RSTu }
  t  dt d ( xn , xn1 )
  t  dt  
b ( zn , zn1 )
  t  dt
0  0 0
d 2 ( u , u ') 
c d 2 ( u ,u ')
i.e.    t  dt     t  dt
0 0 where b  c  c  1 .
d ( u , u ') c d ( u ,u ')
   t  dt     t  dt Thus either case implies
0 0
d ( xn , xn1 ) b ( zn , zn1 )
as c  1, c  1, hence u  u '.    t  dt     t  dt..........................(10)
A
that 0 0

This shows that u is a unique fixed point of RST.

Applying inequality (9) we have
Similarly, it can be proved that v is a unique fixed point of TRS
 ( zn , zn1 ) max{ ( zn , zn1 ), ( zn , zn )} c  ( yn , yn1 ) max{ ( zn , zn1 ),  ( yn , yn1 )}
and w is a unique fixed point of STR.    t  dt     t  dt
0 0

Rw  RSTRw  RST Rwand so Rw is a fixed point of RST. Since and so either

u is a unique fixed point of RST, it follows that Rw = u. We now  2 ( zn , zn1 ) c  ( yn , yn1 ) ( zn , zn1 )
  t  dt     t  dt
IJ

prove the following another theorem.

 0 0

which implies that

Theorem 1.5 : Let
( X , d ) , (Y ,  ) and ( Z ,  ) be complete  ( zn , zn1 ) c  ( yn , yn1 )

metric spaces and suppose T is a continuous mapping of X into Y, S    t  dt     t  dt

0 0

is a continuous mapping of Y into Z and R is a continuous mapping or

of Z into X satisfying the 2inequalities:
2  2 ( zn , zn1 ) c  2 ( yn , yn1 )
d ( RSTx , RSTx ') c ( STx , STx ')    t  dt     t  dt
0 0

max{ d ( x , RSTx '), d ( x ', RSTx )}
  t  dt   max{ ( z ', STRz '), d ( x ', RSTx ')
  t  dt......  7 
0 0
it follows as above that
 (TRSy ,TRSy ') cd ( RSy , RSy ')


max{  ( y ',TRSy ),  ( y ',TRSy ')}
  t  dt   max{ d ( x , RSTx ),  ( y ',TRSy ')}
  t  dt.....  8   ( zn , zn1 )
  t  dt  
b ( yn , yn1 )
  t  dt.........................(11)
0
 ( STRz , STRz ')
0
c  (TRz ,TRz ')
 0 0


max{ ( z ', STRz '), ( z ', STRz ')}
  t  dt   max{ ( z ', STRz '),  ( y ',TRSy ')}
  t  dt.....  9  applying inequality (8) we have
0 0

for all x, x ' in X, y, y ' in Y and z, z ' in Z where 0  c  1 . Then  ( yn , yn1 ) max{  ( yn , yn1 ),  ( yn , yn )}
  t  dt
 0
RST has a unique fixed point u in X, TRS has a unique fixed point v cd ( xn1 , xn ) max{d ( xn1 , xn ),  ( yn , yn1 )}
   t  dt
in Y and STR has a unique fixed point w in Z. Further, Tu = v, Sv = 0

ISSN: 2230-7818 @ 2011 http://www.ijaest.iserp.org. All rights Reserved. Page 106

Manish Kumar Mishra et al. / (IJAEST) INTERNATIONAL JOURNAL OF ADVANCED ENGINEERING SCIENCES AND TECHNOLOGIES
Vol No. 2, Issue No. 1, 104 - 107

and it follows as above that We finally prove that we also have Rw = u. To do this note that Rw 
 ( yn , yn1 ) bd ( xn1 , xn )
   t  dt     t  dt.........(12) RSTRw  RST Rw and so Rw is a fixed point of RST. Since u is a
0 0
uniquefixed point of RST, it follows that Rw = u.
This completes the proof.
It now follows from inequalities (10), (11) and (12) that
 ( xn , xn1 ) b ( zn , zn1 )
   t  dt     t  dt
0 0
b2  ( yn , yn1 ) REFERENCES
   t  dt 
0
b3 n d ( x0 , x1 ) [1] B. Fisher: Related fixed points on two metric spaces,
...............     t  dt Math.Sem.Notes,Kobe Univ., 10(1982), 17-26.
0
[2] N.P. Nung: A fixed point theorem in three
0  b  1, it follows that
xn  , yn   zn  metric spaces, Math.Sem.Notes,Kobe Univ., 11(1983),
77-79.
sequences with limits u, v and w in X, Y and Z respectively. Since T [3] .K. Jain, H.K. Sahu and B. Fisher: Related fixed point
and S are continuous, we have theorem for three metric spaces, NOVI SAD J.Math.VOL.26,
No.1, (1996), 11-17.
lim yn  lim Txn  Tu  v,..................................... 13 [4] Deo Brat Ojha, Manish Kumar Mishra and Udayana Katoch,A

T
n  n 
Common Fixed Point Theorem Satisfying Integral Type for
lim zn  lim Syn  Sw  w...................................... 14 
n  n  Occasionally Weakly Compatible Maps, Research Journal of
Applied Sciences, Engineering and Technology 2(3): 239-244,
inequality (7) again we have 2010.
d ( RSTu , xn ) max{ d ( xn1 , xn ), d ( xn1 , RSTu )} [5] Rhoades, B.E.,Two fixed point theorem for mapping satisfying a
   t  dt general contractiv condition of integral type. Int. J. Math. Sci., 3:
0


0
c ( STu , xn ) max{ ( zn1 , zn ), d ( xn 1 , xn )

Since T and S are continuous, it follows on letting n tend to infinity

  t  dt
ES [6]
2003 4007-4013.
K. Ansari , Manish Sharma and Arun Garg, “ Related Fixed
Points Theorems on Three Metric Spaces” , Int. J. Contemp.
Math. Sciences, Vol. 5, 2010, no. 42, 2059 – 2064.
that
d 2 ( RSTu ,u )
   t  dt  0
0
Thus RSTu = u, and so u is a fixed point of RST.
It now follows from equalities (13), (14)

TRSv  TRSTu  T(RSTu)  Tu  v

A
And so
STRw  STRSv  S (TRSv)  Sv  w

Hence v and w are fixed points of TRS and STR respectively

IJ

We now prove the uniqueness of the fixed point u. Suppose

that RST has a second fixed point u', and then using
inequality (7), we have
d ( RSTu , RSTu ') max{d ( u ', RSTu '), d ( u ', RSTu )}
   t  dt
0
c ( STu , STu ') max{ ( STu ', STRu '), d ( u ', RSTu ')}
   t  dt
0

which implies that

d 2 ( u ,u ')
   t  dt  0
0

hence u  u ' '

This shows that u is a unique fixed point of RST.
Similarly, it can be proved that v is a unique fixed point of TRS and
w is a unique fixed point of STR.it can be proved that v is a unique
fixed point of TRS and w is a unique fixed point of STR.

ISSN: 2230-7818 @ 2011 http://www.ijaest.iserp.org. All rights Reserved. Page 107