Univ. u Novom Sadu Review of Research
Zb. Rad. Prirod.—Mat. Fak. Faculty of Science
Ser. Mat. 23, 2 (1993), 23 - 33 Mathematics Series
Bw ,. POINTS FOR THREE MAPPINGS
Jessy Antony, P. V. Subrahmanyam
Department of Mathematics
Indian Institute of Technology,
Madras 600 036, India
Abstract
In this paper we discuss some common fixed point theorems for
three self mappings on a quasi-gauge space which extend the results
for a metric space in [1], [2], {4] and [5].
AMS Mathematics Subject Classification (1991): 54H25
Key words and phrases: fixed point, quasi-gauge space.
1. Introduction
In this paper we discuss some common fixed point theorems for three self
mappings on a quasi-gauge space which extend the results for a metric space
in [1], [2], [4] and [5]. We need the concepts of quasi-gauge space, P-Cauchy
sequence, Sequential completeness as in [6] and [8].
A quasi-pseudometric on a set X is a non-negative real valued function
on X x X such that for any 2, y, zin X .
(2,2) = 0 and p(z,y) < p(z,z) + r(z,y).
A quasi-gauge structure for a topological space (X,T’) is a family P of
quasi-pseudometrics on X such that T has as a subbase family {B(z,p,£) :
aeéX, pe P, € > 0} where B(z,p,e) is the set {y € X : p(z,y) < E}.
2324 J. Antony, P. V. Subrahmanyam
If a topological space has a quasi-gauge structure, it is called a quasi-gauge
space.
The sequence {zp} in a quasi-gauge space is called left (right) P-Cauchy
sequence if for each p € P and each e > 0 there is a point in X and an
integer k such that p(z,2m) < €, (p(2m,2) < €) for all m > k. (a and k
may depend upon ¢ and p.)
A quasi-gauge space is left (right) sequentially complete if every left
(right) P-Cauchy sequence in X converges to some element of X.
We prove the following result.
Theorem 1. Let T and I be commuting mappings and let T and J be com-
muting mappings of a left (right) sequentially complete quasi-gauge To space
satisfying the inequality for each p in P.
Plz, Jy), p(lz,Tz), p(Jy,Ty), }
P(Iz,Ty), p(Jy, Tz)
for all z, y in X whereQ 0 as n — 00
for each p in P, then T, I and J have a unique common fixed point z.
Proof. Let xo be an arbitrary point in X , define a sequence {z,,} inductively
by choosing
Ttn-1 = [ty = Sty, n= 1,2.
Let us now suppose that set of real numbers {p(Tzn,T21),p(T21,T2n)} is
unbounded. Then there exists an integer n such that
(1-C) max{p(T2,,T21),p(T21,T2n)} > Cmax{p(Lx1, 729), p(T20, T21)}
9 P(T2n,T 21), W(Tx,,T 29), p(E20,T2,) }
@) max { p(T21,T2,) $7 ™* O Cmac{ Mee peor toote”) b
We now prove by induction that
P(T2,,T21), k Fa
max { MTer Tay) fOr Ten Ts) 1 S148 St}
for k = 1,2,... Using inequality (1) we have
A(T tn, T 21)
IA
Ian, Jx1), pln, Ttn), p(J21,T 21);
T2y,T 2), WIt1,T En)
Ten1,T20)) P(Ttn-1,Ttn), p(T xo, Tx),
T2n-1,T21), P(T20,T2n)
AT21,Tt,) < Cmax
me{
= oul
{
P(Lz1,Jtn), pL21,T21), P(Jtn, Ten),
p(Ix1,Ttn), PJtn,TEn)
P(Tx0,TIn-1), P(Txo,T 21), P(T2n-1,T tn),
p(Tx0, Tn); Pann, Py)
IA
cane{
These inequalities further reduce to
max{p(T¢n,T21),p(T21,Ttn)} < Cr(Ttn-1,T tn),
on using inequalities (2) and (3). Thus inequality holds for k = 1.
‘Assume that the inequality holds for some k. Then
ay J PMT tn, Tx), rp(T2,,T xs)
imax { wTr,Tt) f ~ CF max L