Available online at http://scik.org Adv. Inequal. Appl. 204, 204:38 ISSN: 2050-746 COMMON FIXED POINT THEOREMS FOR CYCLIC WEAK, ψ-contractions IN MENGER SPACES S.M. ROOSEVELT,, K.S. DERSANAMBIKA 2 Department of Mathematics, Mar Thoma College, Tiruvalla, Kottayam, Kerala 2 Department of Mathematics, Fatima Mata National College, Kollam, Kerala Copyright c 204 Roosevelt and Dersanambika. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract. Cyclic weak, ψ-contraction mappings are extended to Menger spaces and fixed point theorem for such mappings are studied in Menger spaces. Keywords: Menger space; weak compatible mappings; cyclic weak,ψ-contraction. 200 AMS Subject Classification: 47H0, 54H25.. Introduction In 969, Boyd and Wong introduced the notion of -contraction in metric space. Alber and Guerre-Delabriere, gave the definition of weak -contraction for Hilbert space and proved the existence of fixed points in Hilbert space in 997. The existence application potential of fixed point theory in various fields resulted in several generalizations of the metric spaces. One such generalization is Menger space initiated by Menger. It was observed by many authors that contraction condition in metric space could be extended to Menger space. V. M. Sehgal and A. T. Bharucha-Reid first introduced the contraction mapping principle in probabilistic metric spaces which is a milestone for the development Corresponding author Received February 2, 204
2 S.M. ROOSEVELT AND K.S. DERSANAMBIKA of fixed point theory in Menger space. Sunny Chauhan proved common fixed point theorem for weakly compatible mappings in Menger space satisfying -contractive conditions. Recently, Rhoades proved interesting fixed point theorems for ψ- weak contraction in complete metric space. The significance of this kind of contraction can also be derived from the fact that they are strictly relative to famous Banach s fixed point theorem and to some other significant results. Also, motivated by the results of Rhoades and on the lines of Khan et. al. employing the idea of altering distances, Vetro et. al. extended the notion of,ψ- weak contraction to fuzzy metric space and proved common fixed point theorem for weakly compatible maps in fuzzy metric space. Thus an altering distance function is a control function which alter the metric distances between two points enabling one to deal with relatively new classes of fixed point problems. But, the uniqueness of control function creates difficulties in proving the existence of fixed point under contractive conditions. The main objective of this paper is to study cyclic weak,ψ-contraction in Menger s- pace.we obtained unique common fixed point theorem for the sequence of self mappings in Menger space using weak contractive condition by altering distances between points. 2. Preliminary Notes Before giving our main results, we recall some of the basic concepts and results in Menger space Definition 2.. A mapping F : R R + is called a distribution if it is non-decreasing left continuous with in f {Ft : t R} = 0 and sup{ft : t R} =. We shall denote by L the set of all distribution functions while H will always denote the specific distribution function defined by 0, t 0 Ht =, t > 0
COMMON FIXED POINT THEOREMS 3 Definition 2.2. A probabilistic metric space PM-space is an ordered pair X, F where X is an arbitrary set of elements and F : X X L is defined by p,q F p,q, where L is the set of all distribution functions, that is, L = {F p,q : p,q X},where the functions F p,q satisfy: i F p,q x = for all x > 0, if and only if p = q; ii F p,q 0 = 0; iii F p,q = F q,p ; iv If F p,q x = and F q,r y = then F p,r x + y =. Definition 2.3. A mapping t : [0,] [0,] [0,] is called a t norm if i ta, = a, t0,0 = 0; ii ta,b = tb,a; iii tc,d ta,b for c a, d b; iv tta,b,c = ta,tb,c. Definition 2.4. A Menger space is a triplet X,F,t, where X,F is a PM-space and t is a t norm such that for all p,q,r X and for all x,y 0 F p,r x + y t F p,q x,f q,r y. Example 2.5. If X,d is a metric space then the metric d induces a mapping X X L, defined by F p,q x = Hx dp,q, p,q X and x R. Further, if the t norm t : [0,] [0,] [0,] is defined by ta,b = min{a,b}, then X,F,t is a Menger space. The space X,F,t so obtained is called the induced Menger space. Example 2.6. Let X,d be a metric space. We define the t norm by a b = ab for all a,b [0,] and F x,y t = t t+dx,y for all x,y Xand t > 0. Then X,F, is a Menger space. Definition 2.7. Let X,F, is a Menger space. Then i a sequence {x n } in X is said a G-Cauchy sequence if and only if for any p > 0 and t > 0. lim F x n + n+,x n t =
4 S.M. ROOSEVELT AND K.S. DERSANAMBIKA ii The Menger space X,F, is called G - complete if every G - Cauchy sequence is convergent. Definition 2.8. Self maps A and S of a Menger space X,F,t are said to be weakly compatible or coincidentally commuting if they commute at their coincidence points, that is, if Ap = Sp for some p X then ASp = SAp. Definition 2.9. Let X be a non-empty set, m a positive integer and f : X X an operator. X = m i= X i is a cyclic representation of X with respect to f if i X i, i =,2, m are non empty sets. ii f X X 2,, f X m X m, f X m X. Definition 2.0. Let X,F, be a Menger space, A,A 2,,A m be closed subsets of X and Y = m A i. An operator f : X X is called a cyclic weak,ψ contraction if i= i Y = m i= A i is a cyclic representation of Y with respect to f. ii for the function ψ : [0, [0, with ψr > 0 for r > 0, ψ0 = 0 and an altering distance function such that for i >, the relation F f x, f y t F x,y t F x,y t holds for every x,y X and each t > 0. If {A i }, i =,2,, S and T are self maps on a Menger space X,F,, we shall denote Fi x,y t = min { F A x,sx t,f Ai y,ty t,f Sx,Ty t,f A x,ty t,f Sx,Ai y t } for all x,y X and all t > 0. 3. Results and Discussion In this section, we prove the main result related to common fixed point theorem for,ψ - weak contraction in Menger space. that Theorem 3.. Let {A i }, i =,2,, S and T be self maps on a Menger space X,F, such
i A X T X, A i X SX for i > and COMMON FIXED POINT THEOREMS 5 ii for the function ψ : [0, [0, with ψr > 0 for r > 0, ψ0 = 0 and an altering distance function such that for i >, the relation F A x,a i y t Fi x,y t holds for every x,y X and each t > 0. Fi x,y t If one of A i X,SX and T X is a G- complete subspace of X and the pairs A,S, A i,t for i > are weakly compatible, then all the mappings A i,s and T have a unique common fixed point in X. Proof. Since A X T X, for any x 0 X, there exists x X such that A x 0 = T x. Since A i X SX, for this point x, we can choose x 2 X such that A i x = Sx 2 for some i >. Inductively we can construct sequences {x n } and {y n } in X such that y 2n = A x 2n = T x 2n+ ; y 2n+ = A k x 2n+ = Sx 2n+2 for some k >. Next we prove {y n } is a G- Cauchy sequence. If y 2n = y 2n+ for some n. Then using condition ii, we get y 2n+ = y 2n+2 and so y m = y 2n for each m > 2n. Thus {y n } is G- Cauchy. If y n y n+ for all n, then, for some k >, setting x = x 2n and y = x 2n in condition ii, we get F A x 2n,A k x 2n t Fk x2n,x 2n t Fk x2n,x 2n t That is, F y2n,y 2n t Fk x2n,x 2n t Fk x2n,x 2n t Since ψr > 0 for r > 0,the above inequality becomes F y2n,y 2n t < Fk x2n,x 2n t Since is non decreasing, we get Therefore, F yn,y n t > F yn,y n 2 t for all n. F y2n,y 2n t > Fk x2n,x 2n t > F y2n,y 2n 2 t Hence the sequence {F yn,y n t} is an increasing sequence of positive real numbers in 0,].
6 S.M. ROOSEVELT AND K.S. DERSANAMBIKA Let St = lim n F yn,y n t Now we show that St = for all t > 0. If not, there exists some t > 0 such that St <. Then, on making n in, we obtain St St St, which is a contradiction. ThereforeF yn,y n t as n So that for each positive integer p, we have F yn,y n+p t F yn,y t n+ /p F yn+,y t / n+2 p F yn+p,y t / n+p p It follows that lim n F yn,y n+p t =. So that {y n } is a G- Cauchy sequence. Now assume that SX is G- complete. Then by definition, there exists z SX such that y n z as n. So that, A x 2n = T x 2n+ = y 2n z and A k x 2n+ = Sx 2n+2 = y 2n+ z for some k > Let v X be such that Sv = z. Then we show that A v = z. Suppose that A v Sv. For some k > and for all t > 0, setting x = v and y = x 2n+ in condition ii we get F A v,a k x 2n+ t Fk v,x2n+ t Fk v,x2n+ t That is, F A v,y 2n+ t Fk v,x2n+ t Fk v,x2n+ t where Fk v,x2n+ t = min { F A v,sv t,f Ak x 2n+,T x 2n+ t,f Sv,T x2n+ t, F A v,t x 2n+ t,f Sv,Ak x 2n+ t } As n, F A v,z t F A v,z t F A v,z t < F A v,z t,a contradiction
COMMON FIXED POINT THEOREMS 7 Thus A v = z = Sv. Since the pair A,S is weakly compatible, Sz = SA v = A S = A z. Next we prove A z = z. If not, then for some k > and for all t > 0, setting x = z and y = x 2n+, Fk z,x2n+ t = min { F A z,sz t,f Ak x 2n+,T x 2n+ t,f Sz,T x2n+ t, F A z,t x 2n+ t,f Sz,Ak x 2n+ t } and F A z,a k x 2n+ t Fk z,x2n+ t Fk z,x2n+ t which on taking n, reduces to F A z,zt < F A z,zt, a contradiction. Therefore, we have A z = z. Again, since A X T X, there exists some u X such that A z = Tu. Therefore we have z = A v = Sv = Tu. We claim that A k u = z for some k >. If not, then for some k > and for all t > 0, setting x = z and y = u, in condition ii,we get F A z,a k ut Fk z,u t Fk z,u t Fk z,u t = min { F A z,sz t,f Ak u,tu t,f Sz,Tu t, F A z,tu t,f Sz,Ak u t } Therefore the above inequality reduces to F z,ak zt < F, z,ak zt a contradiction. Therefore, we have A k u = z. Thus we have z = A v = Sv = Tu = A k u. Since the pair A k,t is weakly compatible, for some k >, we have A k z = A k Tu = TA k u = T z. Similarly, using condition ii and for all t > 0, we can prove that A k z = z. Thus we have z = A z = Sz = A k z = T z for some k > 0 and so z is a common fixed point of all mappings A i,s and T in X.
8 S.M. ROOSEVELT AND K.S. DERSANAMBIKA In order to prove the uniqueness of fixed point, let w be another fixed point for mappings A i,s and T. Setting x = z and y = w in condition ii, we get Fk z,w t = min { F A z,sz t,f Ak w,tw t,f Sz,Tw t, and so, F A z,a k wt Fk z,w t ψ F z,w t, a contradiction. Hence z = w. F A z,tw t,f Sz,Ak w t } Fk z,w t which reduces to F z,w t < Similarly, instead of SX, if one of A i X or T X is assumed to be G- complete subspace of X, one can prove that all mappings A i,s and T have a unique common fixed point in X. Example 3.2. Let X = [2,20], F x,y t = t t+ x y, for all x,y X, t > 0 and the t-norm is defined as a b = ab. Then X,F, is a Menger space. Define A i,s and T from X to X as follows A x = 2 for each x; Sx = x if x 8, Sx = 8 if, 8 < x < 4, Sx = x+0 3 if, 4 x 7 and Sx = x+7 3 if x > 7; T x = 2 if x = 2,or x > 6, T x = x + 2 if, 2 < x < 4, T x = x+9 3 if, 4 x 5 and T x = 8 if 5 x 6; A 2 x = 2 if x < 4 or x > 6, A 2 x = x + 3 if,4 x 5, A 2 x = x + 2 if, 5 x 6; and for each i > 2, A i x = 2 if, x = 2 or x 4, A i x = x+30 4 if 2 < x < 4. Also we define F A x,a k y t = t t+ x y. Define t = t for all t > 0 and ψ t = 2 t. Then all the self mappings satisfies all the conditions of the above theorem with a unique common fixed point x = 2. Conflict of Interests The authors declare that there is no conflict of interests. REFERENCES [] D.H. Ackley, G.E. Hinton and T.J. Sejnowski, A learning algorithm for Boltzmann machine, Cognitive Science, 9 985, 47-69. [2] S. Bijendra, J. Shishir, A fixed point theorem in Menger through weak compatibility, J. Math. Anal. Appl., 30 2005, 439-448.
COMMON FIXED POINT THEOREMS 9 [3] B.C. Dhage, On common fixed point of coincidentally commuting mappings in D-metric spaces, Indian J. Pure Appl. Math., 30 999, 395-406. [4] G. Jungck, Compatible mappings and common fixed points, Int. J. Math. Math. Sci., 9 986, 77-779. [5] G. Jungck, B.E. Rhoades, Fixed points for set valued functions without continuity, Indian J. Pure Appl. Math., 29 998, 227-238. [6] M.S. Khan, M. Swaleh, S. Sessa, Fixed point theorems by altering distances between the points, Bull. Austral. Math. Soc., 30 984, -9. [7] K. Menger, Statistical metrics, Proc. Nat. Acad. Sci. USA, 28 942, 535-537. [8] S.N. Mishra, Common fixed points of compatible mappings in PM-spaces, Math. Japon, 36 99, 283-289. [9] B.E. Rhoades, Some theorems on weakly contractive maps, Nonlinear Anal., 47 200, 2683-2693. [0] S. Sessa, On a weak commutative condition in fixed point consideration, Publ. Inst. Math., Beograd, 32 982, 46-53. [] B. Schweizer, A. Sklar, Statistical metric spaces, Pacific J. Math., 0 960, 33-334. [2] V.M.Sehgal, A.T.Bharucha-Reid, Fixed points of contraction mappings in PM-spaces, Math. System Theory, 6 972, 97-02. [3] S. Sushil, Common fixed point theorems in fuzzy metric spaces, Fuzzy Sets and Systems, 27 2002, 345-352. [4] C. Vetro, D. Gopal, M. Imdad, Common fixed point theorems for,ψ- weak contractions in Fuzzy metric spaces, Indian J. Math., 52 200, 573-590.