> REPLACE THIS LINE WITH YOUR PAPER IDENTIFICATION NUMBER (DOUBLE-CLICK HERE TO EDIT) < 1

Fixed Point Theorem in M-Fuzzy Metric Spaces With property (E)

Anil Rajput*, P. C. Jatav** and Namrata Tirpathi***

lim x n = x, lim y n = y, lim z n = z , and

Abstract— Our main aim of this paper is to improve the results n →∞ n →∞ n →∞
of S. Sedghi and N. Shobe [14] using the inequalities of A. Rajput
[15], In this paper we used the concept of M-fuzzy metric spaces,
lim M ( x, y , y, t n ) = M(x, y, z, t)
n →∞
D- Metric space, Continuous and Compatibility and prove a new Definition 1.4: Let A and B be two self-mappings of a M-fuzzy
fixed point theorems for property (E). metric space(X, M, *) We say A and B that and satisfy the property
(E), if there exists a sequence{xn} such that
AMS: Subject Classification: 54E40, 54E35, 54H25.
lim M ( Ax n , u , u , t ) =
n →∞
Index Terms— M-Fuzzy contractive mapping, t-conorm,
D- Metric, Complete M-fuzzy metric space, Compatibility of lim M ( Bx n , u , u , t ) = 1
n →∞
mappings,.
∈
for some u X and t> 0.
INTRODUCTION The concept of fuzzy sets was used many Mathematicians Definition 1.5: Two self maps f and g are said to be weakly
last 45 years and developed various theory in topology and analysis. Zadeh compatible if they commute at coincidence points
[17] in 1965, George and Veeramani [6] and Kramosil and Michalek [8] El Definition 1.6: Let A and S be mappings from an M- fuzzy metric
Naschie [2–5, 16] and others [7, 10, 11, 13] have proved fixed point theorem space (X, M, *) in to itself. The mappings A and S are said to be
in fuzzy metric spaces. D-metric space initiated by Dhage [1] in 1992. He compatible if
proved some results on fixed points for a self-map satisfying a contraction for
complete and bounded D-metric spaces. Rhoades [9] generalized Dhage’s lim M ( ASx n , SAx n , SAx n t ) = 1
contractive condition by increasing the number of factors and proved the n →∞
existence of unique fixed point of a self-map in D-metric space. Recently, for all t > 0, whenever {xn} is a sequence in X such that
motivated by the concept of compatibility for metric space, Singh and Sharma
[12] introduced the concept of D-compatibility of maps in D-metric space and
proved some fixed point theorems using a contractive condition.
lim Ax n = lim Sx n = x
n →∞ n →∞
for some x ∈ X.
A class of implicit relation
I. PRELIMINARIES Let Φ denotes a family of mappings such that φ ∈Φ each φ:[0,
Definition 1.1: A binary operation ◊: [0, 1] × [0, 1] →
[0, 1]
1]2→[0, 1] and φ is continuous and increasing in each co-ordinate variable.
is a continuous t-conorm if it satisfies the following conditions :
(1) ◊ is associative and commutative, Also φ(s, s,…, s) for every s ∈ [0, 1] .
(2) ◊is continuous, Example 2. 1: Let φ:[0, 1]2→[0, 1] is define by φ(x , 1 x2,

(3) a ◊0 = a for all a ∈ [0, 1],

…,x12)=(min{xi})h for some 0 < h< 1.

(4) a ◊ b ≤ c ◊d whenever a ≤ c and b ≤ d, for each a, b,

c, d ∈ [0, 1]. II. THE MAIN RESULTS
Definition 1.2: A 3-tuple (X, M,*) is called a Μ -fuzzy metric Theorem 2. 2: Let (X,M, *) be a complete M fuzzy metric space and let A,B,
S and T be self mappings of X such that the following conditions are
space if X is an arbitrary (non-empty) set, * is a continuous t-norm,
∞
satisfied:
and M is a fuzzy sets on X3×(0, ), satisfying the following (i) AX ⊆ TX, BX ⊆ SX,
conditions : for each x, y, z ,a ∈X and t, s > 0, (ii) S and T are continuous,
(b) M(x, y, z, t) > 0, (iii) the pairs [A, S] and [B, T] are compatible,

(c) M(x, y, z, t) = 1 if and only if x = y = z,

(iv) there exists q∈ ∈
(0, 1) such that for every x, y X and t > 0,
M(Ax, By, Bz, t)2 ≥ Φ
(d) M(x, y, z, t) = M(p{x, y, z},t);(symmetry) where p is a
permutation function [ M ( Sx, Ty, Tz, kt) * M (Ty, Ax, Bz, kt)],[ M ( Sx, Ty, Tz, kt) *

(e) M(x, y, a, t) *M(a, z, z, s) ≤ M(x, y, z, t + s), [ M ( Sx, Ax, Bz, , kt) * M (Ty, By, Bz, kt)],[ M ( Sx, By, Tz, kt
(f ) M(x, y, z, .) : (0, ∞) → [0, 1] is continuous.
Then A, B, S and T and have a unique common fixed point in X .
Proof: Let the pair[B, T] satisfy in property (E), hence there exist a
Definition 1.3: Let (X, M, *) be a M-fuzzy metric space. M is said sequence{xn} such that,
to be continuous function onX3×(0,∞) if lim M ( Bx n , u , u , t ) = lim M (Tx n , u , u , t )
lim M ( x n , y n , z n , t n ) = M(x, =1
n →∞ n →∞
n →∞
y, z, t) for some u ∈ X and every t> 0. As BX ⊆
SX, there exist a sequence {xn}
Whenever a sequence {( x n , y n , z n , t n )} = in X3×(0,∞) such that, Bxn = Syn, hence we prove that

converges to a point lim M ( Ay n , u , u , t ) = 1 . Since

∈
n →∞
(x, y, z, t) X3×(0,∞) .

> REPLACE THIS LINE WITH YOUR PAPER IDENTIFICATION NUMBER (DOUBLE-CLICK HERE TO EDIT) < 2

M(Ayn,Bxn,Bxn+1,t)2≥ Φ [4] MS, El Naschie, 2005, On a fuzzy Kahler-like Manifold which is

consistent with two-slit experiment. Int J of Nonlinear Science and Numerical
[ M ( Sy , Tx , Tx , kt) * M (Tx , Ay , Bx , kt)],[ M ( Sy , Tx , Tx , kt) * M (Tx , Bx , Bx , kt)], 
n n n +1 n n n +1
Simulation, 6,pp. 95–8.
[5] MS, n Eln Naschie, n +1 2006, The idealized
n n
quantum two-slit gedanken
 
experiment revisited-Criticism and reinterpretation. Chaos, Solitons and
[ M ( Sy , Ay , Bx , , kt) * M (Tx , Bx , Bx , kt)],[ M ( Sy , Bx , Tx , kt) * M (Tx , Ay , Bx , kt)]
n n n +1 n n n +1
Fractals, 27, pp. 9–13.
n
[6] A. George, n +1
n P. Veeramani,
and n +1metric space.
n resultn in fuzzy
1994, On some
On making n→∞ the above inequality, we get FuzzySets Syst, 64, pp. 395–9.
lim M ( Ay n , Bx n , Bx n +1 , t ) ≥ Φ( M (u , u , u , kt ), M ([7] u ,V.
u ,Gregori
u , kt and A. Sapena, 2002, On fixed-point theorem in fuzzy metric
),........ ...., M (u , u , u , kt ) =1
spaces.Fuzzy Sets and Sys, 125, pp. 245–52.
n →∞
[8] I. Kramosil and J. Michalek, 1975, Fuzzy metric and statistical metric
spaces.Kybernetica, 11, pp. 326–34.
[9] B. E. Rhoades, 1996, A fixed point theorem for generalized metric spaces,
Therefore, lim M ( Ay n , u , u , t ) = 1 , hence Int. J.Math. Math. Sci., 19(1), pp. 145–153.
n →∞
[10] T D.Mihe, 2004, A Banach contraction theorem in fuzzy metric spaces.
Let S(X) be complete M-fuzzy metric space, then there exist x ∈ X such that Fuzzy Sets Sys, 144, pp. 431–9.
[11] R. Saadati and J. H. Park, 2006, On the intuitionistic fuzzy topological
Sx = u. If Ax ≠ u then we have
spaces. Chaos, Solitons and Fractals, 27, pp. 331–44.
M(Ax,Bxn,Bxn+1,t) ≥2
Φ [12] B. Singh and R.K. Sharma, 2002, Common fixed points via compatible
maps in D-metric spaces, Rad. Mat., 11(1), pp. 145–153.
[ M ( Sx, Tx , Tx , kt) * M (Tx , Ax, Bx , kt)],[ M ( Sx, Tx , Tx , kt) * M (Tx , Bx , Bx , kt)], 
n n +1 n n +1 [13] B. Schweizer,
n n +1 H. Sherwood, and nR M. Tardiff,
n 1988, Contractions on
 
PM-space examples and counterexamples. Stochastica, 1, pp. 5–17.

[ M ( Sx, Ax, Bx , , kt ) * M
n +1 (Tx , Bx , Bx , kt )],[
n M ( Sx,nBx , Tx ,
n +1kt ) * M (Tx , Ax, Bx ,nkt )]
[14 ] S., Sedghi, and N. Shobe,: Fixed Point Theorem in M-Fuzzy Metric

Spaces with property +1 Advances in Fuzzy
n(E), n Mathematics, n +Vol.
1 1 No. 1
On making n→∞ we get M(Ax, u, u, t)=1 , hence Ax = u = Sx. By (A, S) be (2006), pp. 55–65
weakly compatible, we have ASx = SAx , so [15] Rajput, A.: Some new results on fixed point theory, Thesis, BU, Bhopal,
AAx = ASx = SAx = SSx. As AX ⊂ ∈
TX there exist v X such that Ax =
1992.
[16] Y. Tanaka, Y. Mizno, and T. Kado, 2005, Chaotic dynamics in
Tv. We prove that If Tv ≠ Bv, then Friedmann equation.Chaos, Solitons and Fractals, 24, pp. 407–22.
M(Ax, Bv, Bv, t)2 ≥ Φ [17] L A. Zadeh, 1965, Fuzzy sets. Inform and Control, 8, pp. 338–5

[ M ( Sx, Tv, Tv, kt) * M (Tv, Ax, Bv, kt)],[ M ( Sx, Tv, Tv, kt) * M (Tv, Bv, Bv, kt)], 
 
[ M ( Sx, Ax, Bv, , kt) * M (Tv, Bv, Bv, kt)],[ M ( Sx, Bv, Tv, kt) * M (Tv, Ax, Bv, kt)]
If Bv ≠u then
M(Ax, Bv, Bv, t) > M(Ax, Bv, Bv, kt)
is a contradiction. Thus Tv = Bv = u. By B and T be weakly compatible, we
get TTv = TBv = BTv = BBv, so Tu = Bu.
We prove Au = u , for
M(Au, u, u, t)2 = M(Au, Bv, Bv, t)2 ≥ Φ Dr. Anil Rajput, Ph.D., M. Sc., MCA, M. Phil, Principal,
[ M ( Su, Tv, Tv, kt) * M (Tv, Au, Bv, kt)],[ M ( Su, Tv, Tv experience. M was
(Tvan, Bv , Bv, kt)],
Ex-Chairman, Boardof study Computer Science and
Bhabha Engineering Research Institute – MCA, has 22 yrs of teaching
, kt) * He
 IT and member/ subject expert/ D underinhisother
visiting professor universities and
[ M ( Su, Au , Bv , , kt ) * M (Tv, Bv, Bv, kt )],[ M ( Su, Bv, Tv , kt
institutes. ) * M
Twelve (Tv ,
scholars Au
are ,awarded
Bv
numbers of Ph. D scholars are registered
, kt )]
Ph.
 and six M. Phil candidates
guidance and same
If Au ≠ u, then completed thesis. He is an author of two books and published more than 65
M(Au, u, u, t)> M(Au, u, u, kt) research papers in national and international journals. He has attended/
is a contradiction. Thus Au = Su = u. Now, we prove Bu=u. For published research papers/ resource persons in 70 national and international
M(u, Bu, Bu, t)2 = M(Au, Bu, Bu, t)2 ≥ Φ conferences/ seminars/ workshops. He has successfully completed 4 Major/
Minor research project funded by UGC and DST. His areas of research are
[ M ( Su, Tu, Tu, kt) * M (Tu, Au, Bu, kt)],[ M ( Su, Tu, Tu, kt) * M (Tu, Bu, Bu, kt)], 
fixed point theory, game theory, neural network, AI and data mining. He is
 
editor of Mathematics and Computer journals. SERC Visiting Fellowship
award – 2002 received from, DST New Delhi and Post Doctoral Research
[ M ( Su, Au, Bu, , kt) * M (Tu, Bu, Bu, kt)],[ M ( Su, Bu, Tu, kt) * M (Tu, Au, Bu, kt)]
award 2004 – 2007 from UGC, New Delhi. {drar1234@yahoo.com
If Bu ≠ u then
M(u, Bu, Bu, t)> M(u, Bu, Bu, kt) P. C. Jatav, Assistant Professor in Mathematics Department, V. R. Govt.
is a contradiction. Thus Au = Bu = Su = Tu = u. So, A, B, S and T and have a Girls PG College, Morar, Gwalior (M.P.) – India. He has 12 years teaching
fixed common point u.
Now to prove uniqueness, if possible v ≠ u be another common fixed point of experience.
A, B, S and T. Then
M(v, u, u, t)2 = M(Av, Bu, Bu, t)2 ≥Φ Namrata Tirpathi , Assistant Professor in Mathematics Department,

[ M ( Sv, Tu, Tu, kt) * M (Tu, Av, Bu, kt)],[ M ( Sv, Tu, Tu , kt)College
TRUBA * M (ofTu , Bu, BuBhopal
Engineering,  – India.
, kt)],(M.P.)
 She has three years teaching experience. 
[ M ( Sv, Av, Bu, , kt) * M (Tu, Bu, Bu, kt)],[ M ( Sv, Bu, Tu, kt) * M (Tu, Av, Bu, kt)]
>M(v, u, u, kt) is contradiction.

REFERENCES
[1] B. C. Dhage: 1992, Generalised metric spaces and mappings with fixed
point, Bull.Calcutta Math. Soc., 84(4), pp. 329–336.
[2] MS, El Naschie, 1998, On the uncertainty of Cantorian geometry and two-
slit experiment. Chaos, Solitons and Fractals, 9, pp. 517–29.
[3] MS, El Naschie, 2004, A review of E-infinity theory and the mass
spectrum of high energy particle physics. Chaos, Solitons and Fractals, 19, pp.
209–36.