# Some Nonunique Common Fixed Point Theorems in Symmetric Spaces throughCLR(S,T) Property

Authors: E. Karapınar; D. K. Patel; M. Imdad; D. Gopal
Journal: International Journal of Mathematics and Mathematical Sciences
 (2013)

---

## Abstract

We introduce a new class of mappings satisfying the “common limit range property” in symmetric spaces and utilize the same to establish common fixed point theorems for such mappings in symmetric spaces. Our results generalize and improve some recent results contained in the literature of metric fixed point theory. Some illustrative examples to highlight the realized improvements are also furnished.


---

## Body

## 1. Introduction

In 1986, Jungck [1] generalized the idea of weakly commuting pair of mappings due to Sessa [2] by introducing the notion of compatible pair of mappings and also showed that compatible pair of mappings commute on the set of coincidence points of the involved mappings. Recall that a point x∈X is called a coincidence point of the pair of self-mappings (f,g) defined on X if fx=gx(=w) while the point w is then called a point of coincidence for the pair (f,g). In the recent past and even now, the concept of compatible mappings is frequently used to prove results on the existence of common fixed points. The study of common fixed points of noncompatible pairs is also equally natural and fascinating. Pant [3] initiated the study of noncompatible pairs employing the idea of pointwise R-weakly commuting pairs. Pant [4] proved an interesting fixed point theorem for maps satisfying Lipschitz type conditions. In recent years, the result of Pant [4] was generalized and improved by Sastry and Murthy [5] (see also [6]) by introducing the idea of tangential maps (or the property (E.A)) and g-continuity. In continuation of this, Imdad and Soliman [7] and Soliman et al. [8] extended the results of Sastry and Murthy [5] as well as Pant [4] to symmetric space utilizing the idea of weakly compatible pair together with common property (E.A) (a notion due to Liu et al. [9]). For more references on the recent development of common fixed point theory in symmetric spaces, we refer readers to [10–14]. Most recently, Gopal et al. [15] improved these results by utilizing the idea of absorbing pair which is essentially due to Gopal et al. [16].In this paper, we introduce a new notion called  the common limit range property and show that this new notion buys a typically required condition up to a pair of mappings along with the notion of absorbing property in proving common fixed point theorems for Lipschitz type mappings in symmetric spaces. Consequently, the relevant recent fixed point theorems due to Soliman et al. [8] and Gopal et al. [15] are generalized and improved.


## 2. Preliminaries

A symmetricd on a nonempty set X is a function d:X×X→[0,∞) which satisfies d(x,y)=d(y,x) and d(x,y)=0⇔x=y (for all x,y∈X). If d is a symmetric on a set X, then for x∈X and ϵ>0, we write B(x,ϵ)={y∈X:d(x,y)<ϵ}. A topology τ(d) on X is given by the sets U (along with empty set) in which for each x∈U, one can find some ϵ>0 such that B(x,ϵ)⊂U. A set S⊂X is a neighbourhood of x∈X if and only if there is a U containing x such that x∈U⊂S. A symmetric d is said to be a semimetric if for each x∈X and for each ϵ>0,B(x,ϵ) is a neighbourhood of x in the topology τ(d). Thus a symmetric (resp. a semimetric) space X is a topological space whose topology τ(d) on X is induced by a symmetric (resp. a semimetric) d. Notice that limn→∞d(xn,x)=0 if and only if xn→x in the topology τ(d). The distinction between a symmetric and a semimetric is apparent as one can easily construct a semimetric d such that B(x,ϵ) need not be a neighbourhood of x in τ(d).Since symmetric spaces are not necessarily Hausdorff and the symmetricd is not generally continuous, in the course of proving fixed point theorems, some additional axioms are required. The following axioms are relevant to this note which are available in the papers of Aliouche [17], Galvin and Shore [18], Hicks and Rhoades [19], and Wilson [20].(W3) [20] Given {xn},x and y in X with d(xn,x)→0 and d(xn,y)→0 imply x=y.(W4) [20] Given {xn},{yn} and an x in X with d(xn,x)→0 and d(xn,yn)→0 imply d(yn,x)→0.(HE) [17] Given {xn},{yn} and an x in X with d(xn,x)→0 and d(yn,x)→0 imply d(xn,yn)→0.(1C) [18] A symmetric d is said to be 1-continuous if limn→∞d(xn,x)=0 implies limn→∞d(xn,y)=d(x,y).(CC) [18] A symmetric d is said to be continuous if limn→∞d(xn,x)=0 and limn→∞d(yn,y)=0 imply limn→∞d(xn,yn)=d(x,y) where xn,yn are sequences in X and x,y∈X.Clearly,(CC) implies (1C) but not conversely. Also (W4) implies (W3) and (1C) implies (W3) but converse implications are not true. All other possible implications amongst (W3),(1C), and (HE) are not true in general. A nice illustration via demonstrative examples is given by Cho et al. [21]. However, (CC) implies all the remaining four conditions namely: (W3),(W4),(HE), and (1C).Recall that a sequence{xn} in a semimetric space (X,d) is said to be d-Cauchy if it satisfies the usual metric condition. Here, one needs to notice that in a semimetric space, Cauchy convergence criterion is not a necessary condition for the convergence of a sequence but this criterion becomes a necessary condition if semimetric is suitably restricted (see Wilson [20]). In [22], Burke furnished an illustrative example to show that a convergent sequence in semimetric spaces need not admit a Cauchy subsequence. He was able to formulate an equivalent condition under which every convergent sequence in semimetric space admits a Cauchy subsequence. There are several concept of completeness in semimetric space for example, S-completeness, d-Cauchy completeness, strong and weak completeness (see Wilson [20]). We omit the details of these notions which are not relevant to this paper.Let(f,g) be a pair of self-mappings defined on a nonempty set X equipped with a symmetric (semimetric) d. Then for the pair (f,g), we recall some relevant concepts as follows.A pair(f,g) of self-mappings is said to be(i)
compatible (cf. [1]) if limn→∞d(fgxn,gfxn)=0 whenever {xn} is a sequence such that limn→∞fxn=limn→∞gxn=t for some t in X,(ii)
noncompatible (cf. [4, 23]) if there exists at least one sequence {xn} such that limn→∞fxn = limn→∞gxn = t for some t in X but limn→∞(fgxn,gfxn) is either nonzero or nonexistent,(iii)
tangential (or satisfying the property (E.A)) (cf. [5, 24]) if there exists a sequence {xn} in X such that limn→∞fxn=limn→∞gxn=t for some t∈X.LetY be an arbitrary set and X be a nonempty set equipped with symmetric (semimetric) d. Then the pairs (f,S) and (g,T) of mappings from Y into X are said to have(iv)
(cf. [9]) the common property (E.A) if there exist two sequences {xn} and {yn} in Y such that
(1)limn→∞fxn=limn→∞Sxn=limn→∞gyn=limn→∞Tyn=tforsomet∈X,
while the pair (g,T) is said to have(v)
the common limit range property with respect to the mapg (denoted by (CLRg) (cf. [25–29]) if there exists a sequence {xn} in X such that limn→∞Txn=limn→∞gxn=gu for some u∈X,(vi)
letY be an arbitrary set and X be a nonempty set equipped with symmetric (semimetric) d. Then f is said to be g-continuous (cf. [5]) if gxn→gx⇒fxn→fx whenever {xn} is a sequence in Y and x∈Y.(vii)
a pair(f,g) of self-mappings defined on a set X is said to be weakly compatible (or partially commuting or coincidentally commuting (cf. [5, 30])) if the pair commutes on the set of coincidence points that is, fx=gx (for x∈X) implies that fgx=gfx,(viii)
letf and g(f≠g) be two self-mappings defined on a symmetric (or semimetric) space (X,d), then f is called g-absorbing if there exists some real number R>0 such that d(gx,gfx)≤Rd(fx,gx) for all x in X. Analogously, g will be called f-absorbing (cf. [16]) if there exists some real number R>0 such that d(fx,fgx)≤Rd(fx,gx) for all x in X. The pair of self maps (f,g) will be called absorbing if it is both g-absorbing as well as f-absorbing,(ix)
letf and g(f≠g) be two self-mappings defined on a symmetric (or semimetric) space (X,d), then f is called pointwise g-absorbing if for given x in X, there exists some R>0 such that d(gx,gfx)≤Rd(fx,gx).On similar lines, we can define pointwisef-absorbing map. If we take g=I, the identity map on X, then f is trivially I-absorbing. Similarly, I is f-absorbing in respect of any f. It has been shown in [16] that a pair of compatible or R-weakly commuting pair need not be g-absorbing or f-absorbing. Also absorbing pairs are neither a subclass of compatible pairs nor a subclass of noncompatible pairs as the absorbing pairs need not commute at their coincidence points. For other properties and related results for absorbing pair of maps, one can consult [16].For the sake of completeness, we state below some theorems contained in Soliman et al. [8] and Gopal et al. [15].Theorem 1 (see cf. [8]).
LetY be an arbitrary nonempty set while X be another nonempty set equipped with a symmetric (semimetric) d which enjoys (W3) (Hausdorffness of τ(d)) and (HE). Let f,g,S,T:Y→X be four mappings which satisfy the following conditions:  (i)
f is S-continuous and g is T-continuous,(ii)
the pairs(f,S) and (g,T) share the common property (E.A),(iii)
SX and TX are d-closed (τ(d)-closed) subset of X (resp., fX⊂TX and gX⊂SX).
Then there existu,w∈X such that fu=Su=Tw=gw.
Moreover, ifY=X along with  (iv)
the pairs(f,S) and (g,T) are weakly compatible and(v)
(fx,gfx)≠max{d(Sx,Tfx),d(gfx,Tfx),  d(fx,Tfx),d(fx,Sx),d(gfx,Sx)}, whenever the right hand side is nonzero. Then, f,g,S, and T have a common fixed point in X.Theorem 2 (see cf. [15]).
LetY be an arbitrary nonempty set while X be another nonempty set equipped with a symmetric (semimetric) d which enjoys (W3)  (Hausdorffness of τ(d)) and (HE). Let f,g,S,T:Y→X be four mappings which satisfy the following conditions:  (i)
f is S-continuous and g is T-continuous,(ii)
the pairs(f,S) and (g,T) share the common property (E.A),(iii)
TY is a d-closed (τ(d)-closed) subset of X and gY⊂SY (resp., SY is a d-closed (τ(d)-closed) subset of X and fY⊂TY). Then, there exist u,w∈Y such that fu=Su=Tw=gw.
Moreover, ifY=X, then f,g,S and T have a common fixed point provided the pairs (f,S) and (g,T) are pointwise absorbing.Theorem 3 (see cf. [15]).
LetY be an arbitrary set while (X,d) be a symmetric (semimetric) space equipped with a symmetric (semimetric) d which enjoys (W3)  (Hausdorffness of τ(d))  and (HE). Let f,g,S,T:Y→X be four mappings which satisfy the following conditions:  (i)
the pair(g,T) satisfies the property (E.A) (resp., (f,S) satisfies the property (E.A)),(ii)
TY is a d-closed (τ(d)-closed) subset of X and gY⊂SY (resp., SY is a d-closed (τ(d)-closed) subset of X and fY⊂TY) and(iii)
d(fx,gy)≤km(x,y) for any x,y∈X where k≥0 and m(x,y)=max{d(Sx,Ty), min{d(fx,Sx),d(gy,Ty)}, min{d(fx,Ty),d(gy,Sx)}}. Then, there exist u,w∈Y such that fu=Su=Tw=gw.
Moreover, ifY=X, then f,g,S and T have a common fixed point provided the pairs (f,S) and (g,T) are pointwise absorbing.In this paper, we provide a unified approach to certain theorems in symmetric (semimetric) spaces using a blend of common limit range property along with absorbing pair property and obtain generalizations of various results due to Gopal et al. [15], Soliman et al. [8], Pant [31], Sastry and Murthy [5], Imdad et al. [7], Cho et al. [21], and some others.


## 3.   Main Results

We start to section with the following definition.Definition 4.
Letf,g,S, and T be four self-mappings defined on a symmetric space (X,d). Then the pairs (f,S) and (g,T) are said to have the common limit range property (with respect to S and T), often denoted by CLR(S,T), if there exist two sequences {xn} and {yn} in X such that
(2)limn→∞fxn=limn→∞Sxn=limn→∞gyn=limn→∞Tyn=t
with t=Su=Tw, for some t,u,w∈X.Iff=g and S=T, then the above definition implies (CLRg) property due to Sintunavarat and Kumam [28]. Also notice that the preceeding definition implies the common property (E.A) but the converse implication is not true in general. The following example substantiates this fact.Example 5.
ConsiderX=[2,20] equipped with the symmetric defined by d(x,y)=(x-y)2 for all x,y∈X which satisfies (W3) and (HE). Define self mappings f,g,S and T on X as
(3)fx={2ifx=2,7if2<x≤5,2x+53ifx>5,Sx={3ifx=2,2if2<x≤5,x+52ifx>5,gx={4ifx=2,4x+73if2<x≤5,3ifx>5,Tx={6ifx=2,3x+42if2<x≤5,4ifx>5.For sequencesxn=5+(1/n) and yn=2+(1/n), we have
(4)limn→∞fxn=limn→∞Sxn=limn→∞gyn=limn→∞Tyn=5(=t),
which shows that the pairs (f,S) and (g,T) share the common property (E.A). However, there does not exist points u and w in X for which t=Su=Tw.In view of the preceeding example, the following proposition is predictable.Proposition 6.
If the pairs(f,S) and (g,T) share the common property (E.A) and S(X) as well as T(X) are closed subsets of X, then the pairs also share the  CLR(S,T) property.We now prove our first result employingS-continuity of f and T-continuity of g instead of utilizing some Lipschitz or contractive type condition.Theorem 7.
LetY be an arbitrary nonempty set while X be a nonempty set equipped with a symmetric (semimetric) d which enjoys (W3) (Hausdorffness of τ(d)) and (HE). If f,g,S,T:Y→X are four mappings which satisfy the following conditions:  (i)
f is S-continuous and g is T-continuous,(ii)
the pairs(f,S) and (g,T) satisfy the CLR(S,T) property, then, (f,S) and (g,T) have a coincidence point. Moreover, if Y=X, then f,g,S, and T have a common fixed point provided the pairs (f,S) and (g,T) are pointwise absorbing.Proof.
Since the pairs(f,S) and (g,T) satisfy the CLR(S,T) property, therefore there exist two sequences {xn} and {yn} in X such that
(5)limn→∞fxn=limn→∞Sxn=limn→∞gyn=limn→∞Tyn=t
with t=Su=Tw, for some t,u,w∈X.
On usingS-continuity of f along with the condition (W3), we get fu=Su which shows that u is a coincidence point of the mappings f and S. Similarly, using the T-continuity of g along with the condition (W3), we obtain gw=Tw which shows that w is a coincidence point of g and T. Owing to CLR(S,T) property, we have fu=Su=gw=Tw=t.
As the pairs(f,S) and (g,T) are pointwise absorbing, we can write
(6)fu=fSu,Su=Sfu,gw=gTw,Tw=Tgw⇒fu=Sfu,fu=ffu,gw=Tgw,gw=ggw,
which show that fu(fu=gw) is a common fixed point of f,g,S and T. This concludes the proof.With a view to demonstrate the utility of Theorem7 over Theorem 1 and Theorem 2, we adopt the following example.Example 8.
ConsiderX=Y=(-1,1]∪{2,3,4} equipped with the symmetric defined by d(x,y)=(x-y)2 for all x,y∈X which satisfies (W3) and (HE). Define self mappings f,g,S, and T on X as
(7)fx={35if-1<x≤-12,x4if-12<x<12,35if12≤x<1,3ifx=1,4,2ifx=2,3,gx={35if-1<x≤-12,-x4if-12<x<12,35if12≤x<1,3ifx=1,4,2ifx=2,3,Sx={34if-1<x≤-12x2if-12<x<12,-34if12≤x<1,2ifx=1,2,3,4,(8)Tx={-34if-1<x≤-12,-x2if-12<x<12,34if12≤x<1,2ifx=1,2,3,4.Consider sequences{xn}={1/(n+2)} and {yn}={-1/(n+2)} in X. Clearly,
(9)limn→∞fxn=limn→∞Sxn=limn→∞gyn=limn→∞Tyn=0
with 0=S(0)=T(0), and
(10)limn→∞Sxn=0=S(0)⇒limn→∞fxn=0=f(0),limn→∞Tyn=0=T(0)⇒limn→∞gyn=0=g(0),
which show that the pairs (f,S) and (g,T) share the CLR(S,T) property while the map f is S-continuous and the map g is T-continuous. Further f(X)  =  (-1/8,1/8)  ∪  {3/5,2,3}  ⊈  T(X)  =  (-1/4,1/4)∪{-3/4,3/4,2} and g(X)  =  (-1/8,1/8)  ∪  {3/5,2,3}  ⊈  S(X)  =  (-1/4,1/4)∪{-3/4,3/4,2} and evidently none of the involved subspaces are closed. Also, by a routine calculation, one can easily verify that the pairs (f,S) and (g,T) are pointwise absorbing. Thus, the involved pairs of maps (f,S) and (g,T) satisfy all the conditions of Theorem 7 and have two common fixed points namely: x=0 and x=2.Notice that atx=1, the involved maps do not satisfy the condition
(11)d(fx,gfx)≠max{d(Sx,Tfx),d(gfx,Tfx),d(fx,Tfx),d(fx,Sx),d(gfx,Sx)},
whenever the right hand side is nonzero. Moreover, it can also be verified that at points x=1 and y=2, the involved maps do not satisfy the Lipschitz type condition employed in [4]. Thus, this example substantiates the fact that Theorem 7 is genuine extension of Theorems 1 and 2.By restrictingf, g, S, and T suitably, one can derive corollaries involving two as well as three mappings. Here, it may be pointed out that any result involving three maps is itself a new result. For the sake of brevity, we opt to mention just one such corollary by restricting Theorem 7 to three mappings f,S, and T which is still new and presents yet another sharpened form of a relevant theorem contained in [15] besides admitting a nonself setting upto coincidence points.Corollary 9.
LetY be an arbitrary set while (X,d) be a symmetric (semimetric) space equipped with a symmetric (semimetric) d which enjoys (W3) (Hausdorffness of τ(d)) and (HE). If f,S,T:Y→X are three mappings which satisfy the following conditions:  (i)
f is S-continuous and f is T-continuous,(ii)
the pairs(f,S) and (f,T) satisfy the CLR(S,T) property, then, there exist u,w∈Y such that fu=Su=Tw. Moreover, if Y=X, then f,S and T have a common fixed point provided the pairs (f,S) and (f,T) are pointwise absorbing.The following example illustrates the preceding corollary involving a pair of two self-mappings.Example 10.
ConsiderX=Y=[2,23) equipped with the symmetric defined by d(x,y)=e|x-y|-1, for all x,y∈X which satisfies (W3) and (HE). Define self mappings f,S:X→X as
(12)fx={2ifx∈{2}∪(5,7)∪(7,10)∪(10,11)∪(11,12)∪(12,13)∪(13,21)∪(21,23),x+52if2<x≤5,7ifx=7,12ifx=10,11ifx=11,13,11.5ifx=12,10ifx=21,Sx={2ifx∈{2}∪[7,10)∪(10,11)∪(11,12)∪(12,13)∪(13,21)∪(21,22)∪(22,23),6if2<x≤5,x+13ifx∈(5,7),11ifx=10,11,13,22,11.6ifx=12,10ifx=21.By routine calculations, one can easily verify that the maps in the pair(f,S) satisfies all the conditions of Corollary 9 and have two common fixed points, namely: 2 and 11. Also, the present example does not satisfy the Lipschitz type condition utilized in [4]. To view this claim, consider x=13 and y=22, then we have e9-1≤k0=0, which is a contradiction. Also, observe that at x=21, the involved maps do not satisfy the condition:
(13)d(fx,ffx)≠max{d(Sx,Sfx),d(ffx,Sfx),d(fx,Sfx),d(fx,Sx),d(ffx,Sx)},
whenever the right hand side is nonzero. Here, it is worth noting that none of the earlier relevant theorems for example, Imdad and Soliman [7], Soliman et al. [8] and Gopal et al. [15] can be used in the context of this example as Corollary 9 does not require conditions on containment and closedness amongst the ranges of the involved mappings.Our next theorem is essentially inspired by Theorem3 due to Gopal et al. [15].Theorem 11.
LetY be an arbitrary set while (X,d) be a symmetric (semimetric) space equipped with a symmetric (semimetric) d which enjoys (W3) (or Hausdorffness of τ(d)) and (HE). If f,g,S,T:Y→X are four mappings which satisfy the following conditions:  (i)
the pairs(f,S) and (g,T) satisfy the CLR(S,T) property,(ii)
d(fx,gy)≤km(x,y),  for any x,y∈X, where k≥0 and m(x,y)=max{d(Sx,Ty), min{d(fx,Sx),d(gy,Ty)}, min{d(fx,Ty),d(gy,Sx)}}, then, there exist u,w∈Y such that fu=Su=Tw=gw. Moreover, if Y=X, then f,g,S, and T have a common fixed point provided the pairs (f,S) and (g,T) are pointwise absorbing.Proof.
Since the pairs(f,S) and (g,T) share the CLR(S,T) property, therefore there exist two sequences {xn} and {yn} in X such that
(14)limn→∞fxn=limn→∞Sxn=limn→∞gyn=limn→∞Tyn=t
with t=Su=Tw, for some t,u,w∈X.
On using condition (ii), we have(15)d(fu,gyn)≤kmax{d(Su,Tyn),min{d(fu,Su),d(gyn,Tyn)},min{d(fu,Tyn),d(gyn,Su)}}
which on letting n→∞, gives rise limn→∞d(fu,gyn)=0. Now appealing to (W3), we get fu=Su so that fu=Su=Tw.
Next, we show thatTw=gw. To accomplish this, using (ii), we have
(16)d(fu,gw)≤kmax{d(Su,Tw),min{d(fu,Su),d(gw,Tw)},min{d(fu,Tw),d(gw,Su)}}=kmax{d(Tw,Tw),min{d(fu,fu),d(gw,Tw)},min{d(fu,fu),d(gw,gw)}}=0
so that fu=gw and hence in all fu=Su=gw=Tw which shows that both the pairs have a point of coincidence.
On using pointwise absorbing property of the pairs(f,S) and (g,T), we have
(17)fu=fSu,Su=Sfu,gw=gTw,Tw=Tgw,⇒fu=Sfu,fu=ffu,gw=Tgw,gw=ggw,
which show that fu(fu=gw) is a common fixed point of f,g,S, and T.The following example demonstrates Theorem11.Example 12.
ConsiderX=Y=[0,20) equipped with the symmetric d(x,y)=(x-y)2 for all x,y∈X which satisfies (W3) and (HE). Set f=g and S=T. Define f,S:X→X as follows:
(18)fx={2if0≤x≤2,x≥112,6if2<x≤5,x+34if5<x<112,10ifx=10,Sx={2if0≤x≤2,x≥112,4if2<x≤5,x+13if5<x<112,10ifx=10.Then, by a routine calculation, it can be easily verified thatf and S satisfy condition (ii) (of Theorem 11) for k=4.271. Also, the mappings f and S satisfies the CLR(S,T) property with the sequence xn=5+1/n. The verification of the pointwise absorbing property of the pair (f,S) is straight forward. Thus f and S satisfy all the conditions of Theorem 11 and have two common fixed points, namely: x=2 and x=10.Observe thatf(X)=[2,17/8)∪{6,10}  ⊈  S(X)=[2,13/6)∪{4,10} and none of f(X) and S(X) is closed. Further, it is also worth noting that for all x with 2<x≤5 and with f=g and S=T, the involved pair (f,S) does not satisfy the condition
(19)d(fx,gfx)≠max{d(Sx,Tfx),d(gfx,Tfx),d(fx,Tfx),d(fx,Sx),d(gfx,Sx)},
whenever the right hand side is nonzero. Thus, this example also establishes the utility of Theorem 11 over corresponding results proved in Soliman et al. [8] and Gopal et al. [15].Remark 13.
Choosingk=1 in Theorem 11, we can derive a slightly sharpened form of a theorem due to Cho et al. [21] as conditions on the ranges of involved mappings are completely relaxed.By restrictingf, g, S, and T suitably, one can derive corollaries for two as well as three mappings. For the sake of brevity, we derive just one corollary by restricting Theorem 11 to three mappings which is yet another sharpened and unified form of a theorem due to Gopal et al. [15] in symmetric spaces and also remains relevant to some results in Pant [4] and Pant [31].Corollary 14.
Suppose that (in the setting of Theorem11) d satisfies (W3) and (HE). If f,S,T:Y→X are three mappings which satisfy the following conditions:  (i)
the pairs(f,S) and (f,T) satisfy the CLR(S,T) property,(ii)
d(fx,fy)≤km2(x,y),  for any  x,y∈X, where k≥0 and m2(x,y)=max{d(Sx,Ty), min{d(fx,Sx),d(fy,Ty)}, min{d(fx,Ty),d(fy,Sx)}},then, there exist u,w∈Y such that fu=Su=Tw. Moreover, if Y=X, then f,S, and T have a common fixed point provided the pair (f,S) is pointwise S-absorbing while the pair (f,T) is pointwise T-absorbing.Corollary 15.
Let(X,d) be symmetric (semimetric) space wherein d satisfies (W3) (Hausdoffness of τ(d)) and (HE). If f,g,S,T:X→X are four self mappings of X which satisfy the following conditions:  (i)
the pairs(f,S) and (g,T) satisfy the CLR(S,T) property,(ii)
d(fx,gy)<m(x,y), where m(x,y)=max{d(Sx,Ty), min{d(fx,Sx),d(gy,Ty)}, min{d(fx,Ty),d(gy,Sx)}}then there exist u,w∈X such that fu=Su=Tw=gw.
Moreover, ifY=X, then f,g,S, and T have a unique common fixed point provided the pair (f,S) is pointwise S-absorbing whereas the pair (g,T) is pointwise T-absorbing.Proof.
Proof follows from Theorem11 by setting k=1.Our next theorem is essentially inspired by a Lipschitzian condition utilized by Cho et al. [21] as well as Gopal et al. [15].Theorem 16.
Theorem11 remains true if (W3) is replaced by (1C) while condition (ii) (of Theorem 11) is replaced by the following condition (ii′) besides retaining rest of the hypotheses:  (ii′)
d(fx,gy)≤km1(x,y),  for any x,y∈X, where k≥0 together with kα<1, and wherein m1(x,y)=max{d(Sx,Ty),α[d(fx,Sx)+d(gy,Ty)],α[d(fx,Ty)+d(gy,Sx)]}.Proof.
The proof can be completed on the lines of proof of Theorem11, hence details are not included.By restrictingf,g,S, and T suitably, one can derive corollaries for two as well as three mappings. For the sake of brevity, we derive just one corollary by restricting Theorem 16 to three mappings which is yet another sharpened form of a theorem contained in [15] which also remains relevant to some results in Pant [4] and Pant [31].Corollary 17.
Suppose that (in the setting of Theorem16) d satisfies (IC) and (HE). If f,S,T:Y→X are three mappings which satisfy the following conditions:  (i)
the pairs(f,S) and (f,T) satisfy the CLR(S,T) property,(ii)
d(fx,fy)≤km3(x,y),  for any x,y∈X, where k≥0 together with kα<1, and m3(x,y) = max{d(Sx,Ty),α[d(fx,Sx)+d(fy,Ty)],α[d(fx,Ty)+d(fy,Sx)]}then, there exist u,w∈Y such that fu=Su=Tw. Moreover, if Y=X, then f,S, and T have a common fixed point provided the pair (f,S) is pointwise S-absorbing while the pair (f,T) is pointwise T-absorbing.Corollary 18.
Let(X,d) be symmetric (semimetric) space wherein d satisfies (IC) and (HE). If f,g,S, and T are four self mappings of X which satisfy the following conditions:  (i)
the mappings satisfy theCLR(S,T) property,(ii)
d(fx,gy)<m1(x,y),   where m1(x,y)=max{d(Sx,Ty),α[d(fx,Sx)+d(gy,Ty)],α[d(fx,Ty)+d(gy,Sx)]} with 0<α<1, then, there exist u,w∈X such that fu=Su=Tw=gw. Moreover, if  Y=X, then f,g,S, and T have a unique common fixed point provided the pair (f,S) is pointwise S-absorbing while the pair (f,T) is pointwise T-absorbing.Proof.
The proof can be completed on the lines of proof of Theorem11.



---

*Source: 753965-2013-02-14.xml*