International Journal of Mathematics and

Computer Applications Research (IJMCAR)

SEMI WEAKLY COMPATIBILITY OF MAPS IN FUZZY METRIC SPACE

ANKITA TIWARI
Faculty, National Institute of Technology, Warangal, India
ABSTRACT

The aim of this paper to derive a new result for fuzzy metric space under the notion of semi compatible
mappings.

KEYWORDS: Weakly Compatible, Semi Compatible Maps , Fixed Point, Implicit Relations and Fuzzy Metric Space

Received: Dec 06, 2016; Accepted: Dec 26, 2016; Published: Jan 12, 2017; Paper Id.: IJMCARFEB20174

INTRODUCTION

The study of common fixed point of mappings in a fuzzy metric space satisfying certain contractive
conditions has been at the center of vigorous research activity. With the concept of fuzzy sets, the fuzzy metric
space was introduced by Kramosil and Michalek[2]. In 1993, Jungck and Cho [3] introduced the concept of

Original Article
compatible mappings of type (A) by generalizing the definition of weakly uniformly contraction maps. Pathak and
Khan [5] introduced the concept of compatible maps of type (A) and S-compatible by splitting the definition of
compatible mapping of type(A). Jungck and Rhoades [4]termed a pair of self maps defined on a metric space to be
coincidentally commuting or equivalently weakly compatible if they commute at their coincidence points. The aim
of this paper to introduce a new concept of semi weakly compatible maps with a new class of functions implicit
relations.

2. PRELIMINARY FOR SAKE OF CONVENIENCE WE RECALL SOME DEFINITIONS

Definition 2.1 A binary operation *: [0, 1] [0, 1] [0, 1] is called a continuous t-norm if it satisfies the
following conditions:

*is associative and commutative.

*is continuous.

a * 1 = a , for all a [0,1].

a * b c * d whenever a c and b d,

for all a, b, c, d in [0, 1].

Definition 2.2 [38] A 3-tuple (X,M,*) is called a fuzzy metric space if X is an arbitrary (non-empty) set, *
is continuous t-norm, and M is a Fuzzy set on X2 (0,) satisfying the following conditions :

M( u,v, t ) > 0.

M(u, v, t ) = 1 if and only if x = y.

[Link] editor@[Link]
36 Ankita Tiwari

M(v, u, t ) = M(v, u, t ).

M(u, v, t)* M(v, w, s) M(u, w, t + s)

M(u, v, .) : (0,)[0,1] is continuous

limn M(u,v,t) = 1.

Note that it can be considered as the degree of nearness between x and y with respect to t. we identify u = v with
M(u, v, t)= 1,for all t > [Link] all u, v, w X and s, t > 0.

Example 2.3. Let (X, d) be a metric space. Define a * b = ab (or a * b = min{a ,b}) for all x, y X and t > 0,
M(x ,y ,t) = t /(t+ d(x, y)).

Then (X, M, *) is a fuzzy metric space and the fuzzy metric M induced by the metric d is often referred to as the
standard fuzzy metric.

Lemma 2.4 Let (X, M, *) be a fuzzy metric space. Then for all x, y in X,M (x, y, *) is non-decreasing.

Lemma 2.5. Let (X, M, *) be a fuzzy metric space. If there exists q (0, 1) such that M(x, y, qt) M(x, y, t) for all
x ,y X and t >0,then x = y.

Definition 2.6. A sequence {xn} in a fuzzy metric space (X, M, *) is called Cauchy sequence if limn
M(xn+p, xn,t) = 1 for each t >0 and for each p > 0.

A fuzzy metric space in which every Cauchy sequence is convergent is said to be complete.

[Link] {xn} be a sequence in fuzzy metric space

(X, M, *)with condition lim n M(x ,y ,t)= 1 .if there exists a number k (0,1) Such that

M ( xn+1 , xn+2 , kt) M ( xn , xn+1 , t), t > 0.

Then {xn} is a Cauchy sequence.

Proposition 2.8: In a fuzzy metric space (X,M,*) the limit of a sequence is unique

Definition 2.9: Two self mapping P and Q of a fuzzy metric space (X,M,*) are said to be compatible, if limn
M( PQxn ,,QPxn ,t) = 1 whenever {xn} is a sequence such that limn Pxn = limn Qxn = x , for some x in X.

Definition 2.10: Let P and Q be maps from an FM-space(X,M, *) into itself. Then, the maps P and Q are said to
be weakly compatible if they commute at their coincidence points, that is,

Px = Qx implies that PQx = QPx.

Remark 2.11: Every pair of compatible maps is weakly compatible but converse is not always true.

Definition 2.12: [100] Two self mapping P and Q of a fuzzy metric space (X,M,*) are said to be semi compatible
,limn M( PQxn,, QPx,t) = 1 whenever {xn}is a sequence such that

limn Pxn = limn Qxn = p , for some p in X.

It follows that if (P, Q) is semi-compatible and Py = Qy, then QPy = QPy (on taking xn = y for all n). Thus if the
pair (P, Q) is semi-compatible, then it is weakly compatible, but the converse is not true always.

Impact Factor (JCC): 4.8729 NAAS Rating: 3.76

Proposition 2.13: [14,15]. Let P and Q be self-maps on a fuzzy metric space (X, M, *). If Q is continuous, then
the pair (P,Q) is semi-compatible if and only if (P,Q) is compatible.

Proposition 2.14: Let P and Q be compatible and continuous self-maps on a fuzzy metric space (X,M,*). If there
exists a sequence {xn} in X such that limn Pxn = limn Qxn = x, x X, where x is fixed point of either P or Q. Then P
and Q are semi weakly compatible maps.

Definition 2.15: A class of implicit Relation. : (R+)4 R, non-decreasing in the first argument and satisfying
the following conditions:

(1) for u, v 0, (u, v, u, v) 0 or (u, v, v, u) 0 implies that u v.

(2) (u, u, 1, 1) 0 implies that u 1.

Example 2.16: Define (t1,t2,t3,t4) = at1 + bt2 + ct3+ dt4, where a, b ,c, d are real constants. If a> max {b, d}and
a+c =b+d > 0, then .

MAIN RESULTS

Theorem 3.1: Let A, B, S, T, P and Q be self-mappings of a complete fuzzy metric space (X, M,*)satisfying:

(3.1.1) A(X) QT(X);B(X) PS(X);

(3.1.2) the pair (A, PS) is semi-compatible and (B, QT) is weakly compatible;

(3.1.3) one of A or PS is continuous;

(3.1.4)for some ,there exists k (0,1) such that for all x, y X, and t > 0

(M(Ax, By, kt),M( PSx ,QTy,t),M(Ax, PSx,t),M( By,QTy,t )) 0.

(3.1.5) the pairs (P, S) and (Q, T) are commuting mappings;

(3.1.6) the pairs (P, A),(S, A),(Q, B) and (T, B) are semi weakly compatible mappings.

Then A, B, S, T, P and Q have unique common fixed point in X.

Proof: Let x0 X be any arbitrary point as A(X) QT(X) and

B(X) PS(X), there exist x1; x2 X such that Ax0 = QTx1, Bx1 = PSx2.

Inductively, we can construct sequences { yn } and { xn } in X such that

y2n+1 = Ax2n = QTx2n+1

y2n+2 = Bx2n+1 = PSx2n+2, for n = 0, 1, 2, . . .

Now using (3.1.4) with x = x2n; y = x2n+1, we get

(M(Ax2n,Bx2n+1, kt),M(PSx2n,QTx2n+1,t), M(Ax2n, PSx2n,t),M(Bx2n+1,QTx2n+1, kt)) 0

that is

(M(y2n+1; y2n+2, kt),M(y2n, y2n+1, t),M(y2n+1, y2n, t),M(y2n+2, y2n+1, kt)) 0,

[Link] editor@[Link]
38 Ankita Tiwari

Using 2.1(i), we get M(y2n+2, y2n+1, kt) M(y2n+1, y2n, t).

Similarly by putting x = x2n+2 and y = x2n+1 in (3.1.5), we have

M(y2n+3, y2n+2, kt) M(y2n+1, y2n+2,t)

(M(y2n+1, y2n+2, kt),M(y2n, y2n+1, t),M(y2n+1, y2n, t),M(y2n+2, y2n+1, kt)) 0

Using 2.1(i), we get M(y2n+2, y2n+1,kt) _M(y2n+1, y2n, t).

Similarly by putting x = x2n+2 and y = x2n+1 in (3.1.5), we have

M(y2n+3, y2n+2, kt) M(y2n+1, y2n+2, t).

Thus for any n and t, we have M(yn, yn+1, kt) M(yn-1,yn, t).

Hence by lemma 2.7, { yn } is a Cauchy sequence in X. By the completeness of

X, { yn } and its all subsequences {Ax2n },{Bx2n+1}, {PSx2n},{QTx2n+1} are

also, converges to some point say u X.

Case I: Suppose PS is Continuous

then, we have PSAx2n PSu, (PS)2x2n PSu. By semi-compatibility of the pair (A, PS) of maps,

we have limn APSx2n =PSu.

Using (3.1.4) with x = PSx2n ,y = x2n+1, we have

(M(APSx2n,Bx2n+1, kt),M((PS)2x2n,QTx2n+1,t)( APSx2n,(PS)2x2n,t),

M(Bx2n+1,QTx2n+1,kt)) 0

Letting n 1, we have (M(PSu , u, kt),M(PSu, u,t),1,1) 0.

As is non decreasing in the first argument, we have

(M(PSu, u, t),M(PSu, u, t), 1,1) 0.

Using 2.1(ii), we get M(PSu, u, t) 1, for all t > 0, which gives PSu = u.

Again by putting x = u,y = x2n+1 in (3.1.4), we obtain

(M(Au,Bx2n+1,kt),M(PSu,QTx2n+1,t),M(Au,PSu,t),M(Bx2n+1,QTx2n+1,kt)) 0

Taking lim n and using 2.1(i), we get u = Au. Hence Au = u =PSu.

Since A(X) QT(X), there exists w X such that Au = PSu = u = QTw.

By putting x = x2n, y = w in (3.1.4), we obtain

(M(Ax2n,Bw, kt),M(PSx2n,QTw, t),M(Ax2n,PSx2n, t),M(Bw,QTw, kt)) 0

Taking lim n and using 2.1(i), we get u = Bw.

Therefore Bw = QTw= u.

Impact Factor (JCC): 4.8729 NAAS Rating: 3.76

Since the pair (B, QT) is weakly compatible mappings, we get QTBw =BQTw,

that is Bu = QTu.

Now by putting x = y = u in (3.1.4) and using 2.1(ii), we have Bu = Au.

Therefore u = Au = PSu = Bu = QTu, that is, u is a common fixed point of the maps A, B, PS and QT.

Similarly it can be proved that if the map A is continuous then u is the common fixed point of the maps A, B, PS
and QT

Uniqueness: Let z be another common fixed point of the maps A, B, PS and QT.

Putting x = u and y = z in (3.1.4) and using 2.1(i), we get

(M(Au,Bz, kt),M(PSu,QTz, t),M(Au, PSu, t),M(Bz,QTz, kt)) 0

that is (M(u, z, kt),M(u, z,t),1, 1) 0, yields that u = z.

Therefore u is the unique common fixed point of the self maps A, B, PS and QT in fuzzy metric space X.

From (3.1.6 and 3.1.7)), we have

Pz = P(PSz) = P(SPz) = (PS)Pz ; Pz = PAz = APz and Sz = S(PSz) =(SP)Sz = (PS)Sz;

Sz = SAz = ASz, implies that Pz and Sz are common fixed points of the maps PS and A.

CONCLUSIONS

Therefore z = Pz = Sz = Az = PSz. Similarly, Qz and Tz are common fixed points of the maps QT and B,
therefore z = Qz = Tz = Bz = QTz. Hence zis the common fixed point of the maps A, B, S, T, P and Q. Further since z is
the unique common fixed point of the maps A, B, PS and QT, consequently it is the unique common fixed point of the
maps A, B, S, T, P and Q.

REFERENCES

1. Y.J. Cho, Fixed points in fuzzy metric spaces, J. Fuzzy Math., 5 (1997),no. 4, 949-962.

2. I. Kramosil and J. Michalek, Fuzzy metric and statistical metric spaces,Kybernetica, 11 (1975), no. 5, 336-344.

3. Jungck, G., Murthy, P.P. and Cho, Y.J., Compatible mappings of type (A) and common fixed points, Math. Japon. 38 (1993),
381-390.

4. Jungck, G. and Rhoades B.E., Fixed point for set valued functions without continuity, Indian J. Pure and Appl. Math.29(3),
(1998), 227-235.

5. Pathak, H.K. and Khan M.S., A comparison of various types of compatible maps and common fixed points, Indian J. Pure
Appl. Math., 28(4), (1997), 477-485.

6. Singh, B. and Jain, S., Semi-compatible and fixed point theorem in fuzzy metric space, Chungcheong Math. Soc. 18(2005), 1-
14.

7. 7. B. Singh and M.S. Chauhan, Common fixed points of compatible maps in fuzzy metric spaces, Fuzzy Sets and Systems, 115
(2000), 471-475.

8. L.A. Zadeh, Fuzzy Sets, Inform. and Control, 8 (1965), 338-353

[Link] editor@[Link]