SlideShare a Scribd company logo
1 of 7
Download to read offline
Mathematical Theory and Modeling www.iiste.org
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications
148
On Fixed Point Theorem in Fuzzy Metric Spaces
Pankaj Tiwari1
, Rajesh Shrivastava1
, Rajendra Kumar Dubey2
1
Govt. Science & Comm. College Benjeer, Bhopal M.P., India
2
Govt. Science P.G. College, Rewa M.P., India
Abstract: - The Purpose of this paper, we prove common fixed point theorem using new continuity condition in
fuzzy metric spaces.
Keywords: - Compatible maps, R-weakly commuting maps, reciprocal continuity.
Mathematics subject classification: - 47H10, 54H25.
1 INTRODUCTION
The concept of fuzzy sets first introduced by Prof. Lofty Zadeh [20] in 1965 at University of California and
developed a basic frame work to treat mathematically the fuzzy phenomena or systems which due to in trinsic
indefiniteness, cannot themselves be characterized precisely. Fuzzy metric spaces have been introduced by
Kramosil and Michalek [7] and George and Veersamani [3] modified the notion of fuzzy metric with help of
continuous t-norms. Recently many have proved fixed point theorems involving fuzzy sets [1, 2, 4-6, 8-10, 14,
16-19]. Vasuki [19] investigated same fixed point theorems in fuzzy metric spaces for R-weakly commuting
mappings and part [12] introduced the notion of reciprocal continuity of mappings in metric spaces.
Balasubramaniam et al. and S. Muralishankar, R.P. Pant [1] proved the open problem of Rhoades [15] on the
existence of a contractive definition which generals a fixed point but does not force the mapping to be
continuous at the fixed point possesses an affirmative answer.
The purpose of this paper is to prove fixed point theorem in fuzzy metric spaces for using new continuity
condition in fuzzy metric spaces.
2 PRELIMINARIES
Before starting the main result we need some basic definitions and basic results
Definition 2.1: A fuzzy set A in x is a function with domain X and values in [0, 1]
Definition 2.2: A binary operation *: [0.1] → [0.1] is called a continuous t-norm of ([0.1], *) is an abelian
topological monoid with the unit 1 such that a * b ≤ C * d whenever a ≤ c and b ≤ d for all a, b, c, d ∈ [0, 1].
Example: Two typical examples of continuous t-norm are
(a) ∗ = ,
(b) ∗ = ( , )
Definition 2.3: A 3-tuple (x, M, *) is called a fuzzy metric space if x is an arbitrary (non-empty) set, * is a
continuous t-norm and M is a fuzzy set on
x2
×[0,∞) satisfying the following conditions for each x, y, z ∈ x and t, s > 0
( 1) ( , , 0) > 0;
( 2) ( , , ) = 1, ∀ > 0, = ;
( 3) ( , , ) = ( , , );
( 4) ( , , ) ∗ ( , , ) ≤ ( , , + );
( 5) ( , , . ): (0, ∞) → %0,1& ' ( ) )
( 6)
( ) xyxtyxM
t
∈∀=
∞→
,1,,lim
Then M is called a fuzzy metric on X. A function M(x, y, t) denote the degree of nearness between x and y with
respect to t.
Example: (Induced Fuzzy metric) [3] every metric space indices a fuzzy metric space. Let (x, d) be a metric
space
Define a * b = ab
And
( )
( )yxmdkt
kt
tyxM n
n
,
,,
+
=
K, m, n, t∈R+
. Then (x, M, *) is a fuzzy metric space if we put k = m – n = 1.
We get
( )
( )yxdt
t
tyxM
,
,,
+
=
The fuzzy metric induced by a metric d is referred to as a standard fuzzy metric.
Proposition 2.4 [21] in a fuzzy metric space (X, m, *), if a * a ≥ for all
Mathematical Theory and Modeling www.iiste.org
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications
149
a ∈[0, 1]. Then a * b = min {a, b} for all a, b ∈[0, 1].
Definition 2.5 ([2]): Two self mappings F and S of a fuzzy metric space (x, M, *) are called compatible if ∞→t
lim
M (FSxn, SFxn, t) = 1 when ever { *} is a sequence in x such that
xSxFx n
t
n
t
==
∞→∞→
limlim
for some x in X.
Definition 2.6 ([19]): Two self mappings A and S of a fuzzy metric space (x, M, *) are called weakly
commuting if M (Fsx, SFx, t) ≥ M (Fx, Sx, t) ∀ x in x and t > 0.
Definition 2.7 ([19]): Two self mappings A and S of a fuzzy metric space (x, M, *) are called point wise R-
weakly commuting if there exist R > 0 such that
M (Fsx, SFx, t) ≥ M (Fx, sx, t/R) for all x in X and t > 0.
Remark 1: Clearly, point R-weakly commutativity implies weak commutativity only when R ≤ 1.
Definition 2.8 ([1]): Two self maps F and S of a fuzzy metric space (x, M, *) are called reciprocally continuous
on x if
FxFsxn
t
=
∞→
lim
and
SxFxn
t
=
∞→
lim
when ever { *} is a sequences in x such that
xSxFx n
t
n
t
==
∞→∞→
limlim
for some x in X.
Lemma 2.9 ([16]): Let (X, M, *) be a fuzzy metric space. If there exists k∈(0, 1) such that M(x, y, kt) > M(x, y,
t) Then x = y.
Lemma-2.10 ([2]): Let {yn} be a sequence in a fuzzy metric space (X, M, *) with the condition (6). If there
exists, k∈ (0, 1) such that
M (Yn, yn+1, kt) ≥ M (yn-1, yn, t)
For all t > 0 and n∈N, Then {yn} is a Cauchy sequence in X.
The following theorems are basic theorems for our result
Theorem 2.11[1]: Let (A, S) and (B, T) be point wise R-weakly commuting pairs of self mappings of complete
fuzzy metric space (X, M, *) such that
1. AX ⊂TX, BX ⊂SX
2. M (Ax, By, t) ≥ M(x, y, ht), 0 < h < 1, x, y ∈x and t > 0.
Suppose that (A, S) and (B, T) is compatible pair of reciprocally continuous mappings X. Then A, B, S and T
have a unique common fixed point.
Theorem 2.12[14]: Let (A, S) and (B, T) be point wise R-weakly commuting pairs of self mappings of complete
fuzzy metric space (X, M, *) such that
1. AX ⊂TX, BX ⊂SX
2. M (Ax, By, t) ≥ M(x, y, ht), 0 < h < 1, x, y, ∈x and t > 0.
Let (A, S) and (B, T) is compatible mappings. If any of the mappings in compatible pairs (A, S) and (B, T) is
continuous then A, B, S and T have a unique common fixed point.
Remark 2: In [14], Pant and Jha proved that the theorem 2.12 is an analogue of the theorem 2.11 by obtaining
connection between continuity and reciprocal continuity in fuzzy metric space.
Lemma 2.13 [21]: Let (X, M,*) be a complete fuzzy metric space with a*a ≥ a for all aε[0,1] and the
condition(fm6). Let (A, S) and (B, T) be point wise R-weakly commuting pairs of self mappings of X such that
(a) AX ⊂TX, BX ⊂SX
There exists k ε (0, 1) such M (Ax, By, kt) ≥ N (x, y, t) for all x, y ε X, a ε (0,2) and t >0
Then the continuity of one of the mappings in compatible pair (A, S) or (B, T) on (X, M,*) implies their
reciprocal continuity.
3 MAIN RESULTS
Theorem 3.1: Let (x, M,*) be a complete fuzzy metric space a*a ≥ a, for all a ϵ [0, 1] and the condition
definition (3). Let (L, ST) and f (M, AB) be point wise R-weakly commuting pairs of self mappings of
x such that
3.1(a). L(x) ⊆ ST(x), M(x) ⊆ AB(x)
3.2(b). There exists k∈(0,1) such that
( )( ) ( )( ) ( )( )[ ]
( )( ) ( )( )[ ] ( )( )ktMyABxFtSTyABxqFtLxABxpF
ktMySTyFktABx,LxFktMyLxF
2,,,,
,,*,2
+≥
For all x, y∈X and t > 0 where 0 <q, q < 1 such that p + q = 1.
Then A, B, S, T, L and M have a unique common fixed point in X.
Proof. Suppose x0 ∈ X. From condition (3.1.1) ∃ x1, x2 ∈ X such that
Lx0 = STx1 and Mx1 = ABx2.
Inductively, we can construct sequences {xn} and {yn} in X such that
Mathematical Theory and Modeling www.iiste.org
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications
150
y2n = Lx2n = STx2n+1 and y2n+1 = Mx2n+1 = ABx2n+2 for n = 0, 1, 2, ……
Step 1. Taking x = x2n and y = x2n+1 in (3.1.5), we have
( )( ) ( )( ) ( )( ) ( )( )[ ]
( )( ) ( )( )[ ] ( )( )ktMxABxFtSTxABxqFtLxABxpF
ktMxSTxFktMxSTxFktLxABxFkt,MxLxF
nnnnnn
nnnnnnnn
2,.,,
,.,,,*
12212222
1212121222122
2
++
+++++
+≥
( )( ) ( )( ) ( )( ) ( )( )[ ]
( )( ) ( )( )[ ] ( )( )ktyyFtyyqFtyypF
ktyyFktyyFktyyFktyyF
nnnnnn
nnnnnnnn
2,.,,
,.,.,*,
122212122
122212212122
2
+−−
+−−+
+≥
( )( ) ( )( ) ( )( )[ ] ( ) ( )( ) ( )( )ktyyFtyyFqpktyyFktyyFktyyF nnnnnnnnnn 2,.,.,*,, 1212122122212122 +−−+−+ +≥
( )( ) ( )( ) ( )( ) ( )( )ktynFytynFyktyyFktyyF nnnnnn 2,12.,122,, 1221212122 ++−+ −−≥
Hence, we have
( )( ) ( )( )tyyFktyyF nnnn 212122 ,, −+ ≥
Similarly, we also have
( )( ) ( )( )tyyFktyyF nnnn 1222212 ,, +++ ≥
In general, for all n even or odd, we have
( )( ) ( )( )tyyFktyyF nnnn ,, 11 −+ ≥
for all x, y ∈X and t > 0. Thus by lemma 2.1 {yn} is a Cauchy sequence in X. Since (X, F, ) is complete, it
converges to a point z in X. Also its subsequences converge as follows :
{Lx2n} → z, {ABx2n} → z, {Mx2n+1} → z and {STx2n+1} → z.
Step 1. Suppose AB is continuous.
As AB is continuous and (L, AB) is semi-compatible, we get
LABx2n+2 → LZ and LABx2n+2 → ABz.
Since the limit in Memnger space is unique, we get
Lz = ABz.
Step 2. By taking x = ABx2n and y = x2n+1 in (3.1.5), we have
( )( ) ( )( ) ( )( )[ ]
( )( ) ( )( )[ ] ( )( )ktMxABABxFtSTxABABxqFtLABxABABxpF
ktMxSTxFktLABxABABxFktMxLABxF
nnnnnn
nnnnnn
2,.,,
,.,*,
12212222
121222122
2
++
+++
+≥
Taking limit n → ∞
( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )
( )( )[ ] ( )( )ktABzzFtABzzqFp
ktABzzFtABzzqFtABzABzpFktzzFktABzABzFktABzzF
,,
2,,,,.,*,2
+≥
+≥
( )( ) ( )( ) ( )( )ktABzzqFpktABZzqFpktABzzF ,,, +≥+≥
( )( ) 1
1
, =
−
≥
q
p
ktABzzF
For k∈(0,1) and all t > 0. Thus we have
Z = ABz.
Step 3. By taking x = z and y = x2n+1 in (3.1.5), we have
( )( ) ( )( ) ( )( )[ ]
( )( ) ( )( )[ ] ( )( )ktMxABzFtSTxABzqFtLzABzpF
ktMxSTxFktLzABzFktMxLzF
nn
nnn
2,.,,
,.,*,
1212
121212
2
++
+++
+≥
Taking limit n → ∞
( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktzzFtzzqFtLzzpFktzzFktLzzFktLzzF 2,.,,,.,*,2
+≥
( )( ) ( )( ) ( )( ) qtLzzpFktLzzFktLzzF +≥ ,,*,2
Noting that ( )( ) 1,2
<ktLzzF and using (c) in definition 2.2, we have
( )( ) ( )( ) qtLzzpFktLzzF +≥ ,,
( )( ) qtLzzpF +≥ ,
( )( ) 1
1
, =
−
≥
p
q
ktLzzF
Mathematical Theory and Modeling www.iiste.org
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications
151
For k ∈(0,10 and all t > 0. Thus, we have z = Lz = ABz.
Step 4. By taking z = Bz and y = x2n+1 in (3.1.5), we have
( )( ) ( )( ) ( )( )[ ]
( )( ) ( )( )[ ] ( )( )ktMxABBzFtSTxABBzqFtLBzABBzpF
ktMxSTxFktLBzABBzFktMxLBzF
nn
nnn
2,.,,
,.,*,
1212
121212
2
++
+++
+≥
Since AB = BA and BL = LB, we have
L(Bz) = B(Lz) = Bz and
AB(Bz) = B(ABz) = Bz.
Taking limit n → ∞, we have
( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktBzzFtBzzqFtBzBzpFktzzFktBzBzFktBzzF 2,.,,,.,*,2
+≥
( )( ) ( )( )[ ] ( )( )ktBzzFtBzzqFpktBzzF 2,,,2
+≥
( )( )[ ] ( )( )ktBzzFtBzzqFp ,,+≥
( )( ) ( )( )tBzzqFpktBzzF ,, +≥
( )( )ktBzzqFp ,+≥
( )( ) 1
1
, =
−
≥
q
p
ktBzzF
For k∈(0,1) and all t > 0.
Thus, we have z = Bz.
Since z = ABz, we also have
Z = Az.
Therefore, z = Az = Bz = Lz.
Step 5. Since L(X) ⊆ST(X) there exists v ∈X such that z = Lz = STv.
By taking x = x2n and y = v in (3.1.5), we get
( )( ) ( )( ) ( )( )[ ]
( )( ) ( )( )[ ] ( )( )ktMvABxFtSTvABxqFtLxABxpF
ktMvSTvFktLxABxFktMvLxF
nnnn
nnn
2,.,,
,.,*,
2222
222
2
+≥
Taking limit as n → ∞, we have
( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktMvzFtzzqFtzzpFktMvzFktzzFktMvzF 2,.,,,.,*,2
+≥
( )( ) ( )( ) ( ) ( )( )ktMvzFqpktMvzFktMvzF 2,,*,2
+≥
Noting that ( )( ) 1,2
≤ktMvzF and using (c) in Definition 2.2, we have
( )( ) ( )( )
( )( )tMvzF
ktMvzFktMvzF
,
2,,
≥
≥
Thus we have
Z = Mv and so z = Mv = sTv.
Since (M, ST) is weakly compatible, we have
STMv = MSTv
Thus, STz = Mz.
Step 6. By taking x = x2n, y = z in (3.1.5) and using step 5, we have
( )( ) ( )( ) ( )( )[ ]
( )( ) ( )( )[ ] ( )( )ktMvABxFtSTzABxqFtLxABxpF
ktMzSTzFktLxABxFktMzLxF
nnnn
nnn
2,.,,
,.,*,
2222
222
2
+≥
Which implies that, as n → ∞
( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktMzzFtMzzqFtzzpFktMzMzFktzzFktMzzF 2,.,,,.,*,2
+≥
( )( ) ( )( )[ ] ( )( )ktMzzFtMzzqFpktMzzF 2,,,2
+≥
( )( )[ ] ( )( )ktMzzFtMzzqFp ,,+≥
( )( ) ( )( )tMzzqFpktMzzF ,, +≥
( )( )ktMzzqFP ,+≥
Mathematical Theory and Modeling www.iiste.org
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications
152
( )( ) 1
1
, =
−
≥
q
p
ktMzzF
Thus, we have z = Mz and therefore z = Az = Bz = Lz = Mz = STz.
Step 7. By taking x = x2n, y = Tz in (3.1.5), we have
( )( ) ( )( ) ( )( )[ ]
( )( ) ( )( )[ ] ( )( )ktMTzABxFtSTTzABxqFtLxABxpF
ktMTzSTTzFktLxABxFktMTzLxF
nnnn
nnn
2,.,,
,.,*,
2222
222
2
+≥
Since MT = TM and ST = TS, we have
MTz = TMz = Tz and ST(Tz) = T(STz) = Tz.
Letting n → ∞, we have
( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktTzzFtTzzqFtzzpFktTzTzFktzzFktTzzF 2,.,,,.,*,2
+≥
( )( ) ( )( )tTzzqFpktTzzF ,, +≥
( )( )ktTzzqFp ,+≥
( )( ) 1
1
, =
−
≥
q
p
ktTzzF
Thus, we have z = Tz. Since Tz = STz, we also have z = Sz.
Therefore, z = Az = Bz = Lz = Mz = Sz = Tz, that is, z is the common fixed point of the six maps.
Case II. L is continuous.
Since L is continuous, LLx2n → Lz and L(AB)x2n → Lz.
Step 8. By taking x = LLx2n, y = x2n+1 in (3.1.5), we have
( )( ) ( )( ) ( )( )[ ]
( )( ) ( )( )[ ] ( )( )ktMxABLxFtSTxABLXqFtLLxABLxpF
ktMxSTxFktLLxABLxFktMxLLxF
nnnnnn
nnnnnn
2,.,,
,.,*,
12212222
121222122
2
++
+++
+≥
Letting n → ∞, we have
( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktLzzFtLzzqFtLzLzpFktzzFktLzLzFktLzzF 2,.,,,.,*,2
+≥
( )( ) ( )( )[ ] ( )( )ktLzzFtLzzqFpktLzzF 2,,,2
+≥
( )( )[ ] ( )( )ktLzzFtLzzqFp ,,+≥
( )( ) ( )( )tLzzqFpktLzzF ,, +≥
( )( )ktLzzqFp ,+≥ ,
( )( ) 1
1
, =
−
≥
q
p
ktLzzF
Thus, we have z = Lz and using steps 5-7, we have
Z = Lz = Mz = Sz = Tz.
Step 9. Since L is continuous,
LLx2n →Lz and LABx2n →Lz
Since(L, AB) is semi-compatible,
L(AB)x2n → ABz.
Since limit in Menger space is unique, so
Lz = ABz and using Step 4, we also have z = Bz.
Therefore, z = Az = Bz = Sz = Tz = Lz = Mz, that is, z is the common fixed point of the six maps in this case
also.
Step 10. For uniqueness, let w(w ≠ z)be another common fixed point of A, B, S, T, L and M.
Taking x = z, y = w in (3.1.5), we have
F2
(Lz,Mw)(kt)*
[F(ABz,Lz)(kt).F(STw,Mw)(kt)]
≥ [Pf(ABz,Lz)(t)+qF(ABz,STw)(t)].F(ABz,Mw)(2kt)
Which implies that
F2
(z,w)(kt) ≥ [p +qF(z,w)(t)]F(z,w)(2kt)
≥ [p + qF(z,w)(t)]F(z,w)(kt),
F(z,w)(kt) ≥ p + qF(z,w)(t)
Mathematical Theory and Modeling www.iiste.org
ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)
Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications
153
( )( ) 1
1
, =
−
≥
q
p
ktwzF
Thus, we have z = w.
This completes the proof of the theorem.
If we take B = T = IX (the identity map on X) in theorem 3.1, we have the following:
References:
[1] P. Balasubramaniam, S. Muralisankar, R.P. Pant, "Common fixed' points of four mappings in a fuzzy
metric space". J. Fuzzy Math. 10(2) (2002), 379-384.
[2] Y.J. Cho, H.K. Pathak, S.M. Kang. J.S. Jung, "Common fixed points of compatible maps of type (A)
on fuzzy metric spates," Fuzzy Sets and Systems 93 (1998), 99-111.
[3] A. George, P. Veeramani, "On some results in fuzzy metric spaces" Fuzzy Sets and Systems, 64 (1994),
395-399.
[4] M. Grabiec, "Fixed points in fuzzy metric specs, Fuzzy Sets and Systems" 27 (1988), 385-389.
[5] O. Hadzic, "Common fixed point theorems for families of mapping in complete metric space," Math.
Japon. 29 (1984). 127-134.
[6] G. Jungck, “Compatible mappings and common fixed points (2)”, Internat. J. Math. Math. Sci. (1988).
285-288.
[7] O. Kramosil and J. Michalek, "Fuzzy metric and statistical metric spaces," Kybernetika 11 (1975). 326-
334.
[8] S. Kutukcu, "A fixed point theorem in Menger spaces," Int. Math. F. 1(32) (2006), 1543-1554.
[9] S. Kutukcu, C. Yildiz, A.Tuna, “On common fixed points in Menger probabilistic metric spaces," Int. J.
Contemp. Math. Sci. 2(8) (2007), 383-391.
[10] S. Kutukcu, "A fixed point theorem for contraction type mappings in Menger spaces," Am. J. Appl. Sci.
4(6) (2007). 371-373.
[11] S .N. Mishra, "Common fixed points of compatible mappings in PM-spaces," Math. Japon. 36 (1991),
283289.
[12] R.P. Pant, "Common fixed points of four mappings," Bull. Cal. Math. Soe. 90 (1998), 281-286.
[13] R.P. Pant, “Common fixed point theorems for contractive maps," J. Math. Anal. Appl. 226 (1998). 251-
258.
[14] R.P. Pant, K. Jha, "A remark on common fixed points of four mappings in a, fuzzy metric space," J.
Fuzzy Math. 12(2) (2004), 433-437.
[15] B.E. Rhoades, "Contractive definitions and continuity," Contemporary Math. 72 (1988), 233-245.
[16] S. Sharma, "Common fixed point theorems in fuzzy metric spaces", Fuzzy Sets and Systems 127 (2002).
345-352.
[17] S. Sharma, B. Deshpande, “Discontinuity and weak compatibility in fixed point consideration on non-
complete fuzzy metric spaces," J. Fuzzy Math. 11(2) (2003), 671-686.
[18] S. Sharma, B. Deshpande, "Compatible multivalued mappings satisfying an implicit relation," Southeast
Asian Bull. Math. 30 (2006), 585-540.
[19] R. Vasuki, "Common fixed points for R-weakly commuting maps in fuzzy metric spaces," Indian J.
Pure Appl. Math. 30 (1999), 419-423.
[20] L.A. Zadeh, "Fuzzy sets” Inform and Control, 8 (1965), 338-353.
[21] S. Kutukcu, S. Sharma, S. H Tokgoz "A fixed point theorem in fuzzy metric spaces" Int . Journal of
Math. Analysis vol 1, (2007), 861-872
This academic article was published by The International Institute for Science,
Technology and Education (IISTE). The IISTE is a pioneer in the Open Access
Publishing service based in the U.S. and Europe. The aim of the institute is
Accelerating Global Knowledge Sharing.
More information about the publisher can be found in the IISTE’s homepage:
http://www.iiste.org
CALL FOR PAPERS
The IISTE is currently hosting more than 30 peer-reviewed academic journals and
collaborating with academic institutions around the world. There’s no deadline for
submission. Prospective authors of IISTE journals can find the submission
instruction on the following page: http://www.iiste.org/Journals/
The IISTE editorial team promises to the review and publish all the qualified
submissions in a fast manner. All the journals articles are available online to the
readers all over the world without financial, legal, or technical barriers other than
those inseparable from gaining access to the internet itself. Printed version of the
journals is also available upon request of readers and authors.
IISTE Knowledge Sharing Partners
EBSCO, Index Copernicus, Ulrich's Periodicals Directory, JournalTOCS, PKP Open
Archives Harvester, Bielefeld Academic Search Engine, Elektronische
Zeitschriftenbibliothek EZB, Open J-Gate, OCLC WorldCat, Universe Digtial
Library , NewJour, Google Scholar

More Related Content

What's hot

Electromagnetic Scattering from Objects with Thin Coatings.2016.05.04.02
Electromagnetic Scattering from Objects with Thin Coatings.2016.05.04.02Electromagnetic Scattering from Objects with Thin Coatings.2016.05.04.02
Electromagnetic Scattering from Objects with Thin Coatings.2016.05.04.02
Luke Underwood
 

What's hot (18)

Fixed point theorem in fuzzy metric space with e.a property
Fixed point theorem in fuzzy metric space with e.a propertyFixed point theorem in fuzzy metric space with e.a property
Fixed point theorem in fuzzy metric space with e.a property
 
Hbam2011 09
Hbam2011 09Hbam2011 09
Hbam2011 09
 
Fixed Point Theorem of Compatible of Type (R) Using Implicit Relation in Fuzz...
Fixed Point Theorem of Compatible of Type (R) Using Implicit Relation in Fuzz...Fixed Point Theorem of Compatible of Type (R) Using Implicit Relation in Fuzz...
Fixed Point Theorem of Compatible of Type (R) Using Implicit Relation in Fuzz...
 
International Journal of Mathematics and Statistics Invention (IJMSI)
International Journal of Mathematics and Statistics Invention (IJMSI) International Journal of Mathematics and Statistics Invention (IJMSI)
International Journal of Mathematics and Statistics Invention (IJMSI)
 
Some fixed point theorems in fuzzy mappings
Some fixed point theorems in fuzzy mappingsSome fixed point theorems in fuzzy mappings
Some fixed point theorems in fuzzy mappings
 
Common fixed point theorems with continuously subcompatible mappings in fuzz...
 Common fixed point theorems with continuously subcompatible mappings in fuzz... Common fixed point theorems with continuously subcompatible mappings in fuzz...
Common fixed point theorems with continuously subcompatible mappings in fuzz...
 
Extension of Some Common Fixed Point Theorems using Compatible Mappings in Fu...
Extension of Some Common Fixed Point Theorems using Compatible Mappings in Fu...Extension of Some Common Fixed Point Theorems using Compatible Mappings in Fu...
Extension of Some Common Fixed Point Theorems using Compatible Mappings in Fu...
 
A common fixed point theorem in cone metric spaces
A common fixed point theorem in cone metric spacesA common fixed point theorem in cone metric spaces
A common fixed point theorem in cone metric spaces
 
On the Zeros of Complex Polynomials
On the Zeros of Complex PolynomialsOn the Zeros of Complex Polynomials
On the Zeros of Complex Polynomials
 
A Common Fixed Point Theorem on Fuzzy Metric Space Using Weakly Compatible an...
A Common Fixed Point Theorem on Fuzzy Metric Space Using Weakly Compatible an...A Common Fixed Point Theorem on Fuzzy Metric Space Using Weakly Compatible an...
A Common Fixed Point Theorem on Fuzzy Metric Space Using Weakly Compatible an...
 
Some fixed point and common fixed point theorems of integral
Some fixed point and common fixed point theorems of integralSome fixed point and common fixed point theorems of integral
Some fixed point and common fixed point theorems of integral
 
Cluster
ClusterCluster
Cluster
 
B043007014
B043007014B043007014
B043007014
 
On common fixed point theorem in fuzzy metric space
On common fixed point theorem in fuzzy metric spaceOn common fixed point theorem in fuzzy metric space
On common fixed point theorem in fuzzy metric space
 
Bc4301300308
Bc4301300308Bc4301300308
Bc4301300308
 
On fixed point theorems in fuzzy 2 metric spaces and fuzzy 3-metric spaces
On fixed point theorems in fuzzy 2 metric spaces and fuzzy 3-metric spacesOn fixed point theorems in fuzzy 2 metric spaces and fuzzy 3-metric spaces
On fixed point theorems in fuzzy 2 metric spaces and fuzzy 3-metric spaces
 
Fixed points theorem on a pair of random generalized non linear contractions
Fixed points theorem on a pair of random generalized non linear contractionsFixed points theorem on a pair of random generalized non linear contractions
Fixed points theorem on a pair of random generalized non linear contractions
 
Electromagnetic Scattering from Objects with Thin Coatings.2016.05.04.02
Electromagnetic Scattering from Objects with Thin Coatings.2016.05.04.02Electromagnetic Scattering from Objects with Thin Coatings.2016.05.04.02
Electromagnetic Scattering from Objects with Thin Coatings.2016.05.04.02
 

Similar to On fixed point theorem in fuzzy metric spaces

PaperNo8-HabibiSafari-IJAM-CHAOTICITY OF A PAIR OF OPERATORS
PaperNo8-HabibiSafari-IJAM-CHAOTICITY OF A PAIR OF OPERATORSPaperNo8-HabibiSafari-IJAM-CHAOTICITY OF A PAIR OF OPERATORS
PaperNo8-HabibiSafari-IJAM-CHAOTICITY OF A PAIR OF OPERATORS
Mezban Habibi
 

Similar to On fixed point theorem in fuzzy metric spaces (20)

Fixed Point Theorem in Fuzzy Metric Space Using (CLRg) Property
Fixed Point Theorem in Fuzzy Metric Space Using (CLRg) PropertyFixed Point Theorem in Fuzzy Metric Space Using (CLRg) Property
Fixed Point Theorem in Fuzzy Metric Space Using (CLRg) Property
 
Complete l fuzzy metric spaces and common fixed point theorems
Complete l fuzzy metric spaces and  common fixed point theoremsComplete l fuzzy metric spaces and  common fixed point theorems
Complete l fuzzy metric spaces and common fixed point theorems
 
Common fixed point and weak commuting mappings
Common fixed point and weak commuting mappingsCommon fixed point and weak commuting mappings
Common fixed point and weak commuting mappings
 
Semicompatibility and fixed point theorem in fuzzy metric space using implici...
Semicompatibility and fixed point theorem in fuzzy metric space using implici...Semicompatibility and fixed point theorem in fuzzy metric space using implici...
Semicompatibility and fixed point theorem in fuzzy metric space using implici...
 
8 fixed point theorem in complete fuzzy metric space 8 megha shrivastava
8 fixed point theorem in complete fuzzy metric space 8 megha shrivastava8 fixed point theorem in complete fuzzy metric space 8 megha shrivastava
8 fixed point theorem in complete fuzzy metric space 8 megha shrivastava
 
02_AJMS_186_19_RA.pdf
02_AJMS_186_19_RA.pdf02_AJMS_186_19_RA.pdf
02_AJMS_186_19_RA.pdf
 
02_AJMS_186_19_RA.pdf
02_AJMS_186_19_RA.pdf02_AJMS_186_19_RA.pdf
02_AJMS_186_19_RA.pdf
 
Common Fixed Point Theorems For Occasionally Weakely Compatible Mappings
Common Fixed Point Theorems For Occasionally Weakely Compatible MappingsCommon Fixed Point Theorems For Occasionally Weakely Compatible Mappings
Common Fixed Point Theorems For Occasionally Weakely Compatible Mappings
 
On Application of the Fixed-Point Theorem to the Solution of Ordinary Differe...
On Application of the Fixed-Point Theorem to the Solution of Ordinary Differe...On Application of the Fixed-Point Theorem to the Solution of Ordinary Differe...
On Application of the Fixed-Point Theorem to the Solution of Ordinary Differe...
 
A common random fixed point theorem for rational inequality in hilbert space
A common random fixed point theorem for rational inequality in hilbert spaceA common random fixed point theorem for rational inequality in hilbert space
A common random fixed point theorem for rational inequality in hilbert space
 
Hk3114251433
Hk3114251433Hk3114251433
Hk3114251433
 
B043007014
B043007014B043007014
B043007014
 
B043007014
B043007014B043007014
B043007014
 
Coincidence points for mappings under generalized contraction
Coincidence points for mappings under generalized contractionCoincidence points for mappings under generalized contraction
Coincidence points for mappings under generalized contraction
 
On fixed point theorems in fuzzy metric spaces in integral type
On fixed point theorems in fuzzy metric spaces in integral typeOn fixed point theorems in fuzzy metric spaces in integral type
On fixed point theorems in fuzzy metric spaces in integral type
 
Las funciones L en teoría de números
Las funciones L en teoría de númerosLas funciones L en teoría de números
Las funciones L en teoría de números
 
The Multivariate Gaussian Probability Distribution
The Multivariate Gaussian Probability DistributionThe Multivariate Gaussian Probability Distribution
The Multivariate Gaussian Probability Distribution
 
Fixed point result in probabilistic metric space
Fixed point result in probabilistic metric spaceFixed point result in probabilistic metric space
Fixed point result in probabilistic metric space
 
Some Common Fixed Point Theorems for Multivalued Mappings in Two Metric Spaces
Some Common Fixed Point Theorems for Multivalued Mappings in Two Metric SpacesSome Common Fixed Point Theorems for Multivalued Mappings in Two Metric Spaces
Some Common Fixed Point Theorems for Multivalued Mappings in Two Metric Spaces
 
PaperNo8-HabibiSafari-IJAM-CHAOTICITY OF A PAIR OF OPERATORS
PaperNo8-HabibiSafari-IJAM-CHAOTICITY OF A PAIR OF OPERATORSPaperNo8-HabibiSafari-IJAM-CHAOTICITY OF A PAIR OF OPERATORS
PaperNo8-HabibiSafari-IJAM-CHAOTICITY OF A PAIR OF OPERATORS
 

More from Alexander Decker

Abnormalities of hormones and inflammatory cytokines in women affected with p...
Abnormalities of hormones and inflammatory cytokines in women affected with p...Abnormalities of hormones and inflammatory cytokines in women affected with p...
Abnormalities of hormones and inflammatory cytokines in women affected with p...
Alexander Decker
 
A usability evaluation framework for b2 c e commerce websites
A usability evaluation framework for b2 c e commerce websitesA usability evaluation framework for b2 c e commerce websites
A usability evaluation framework for b2 c e commerce websites
Alexander Decker
 
A universal model for managing the marketing executives in nigerian banks
A universal model for managing the marketing executives in nigerian banksA universal model for managing the marketing executives in nigerian banks
A universal model for managing the marketing executives in nigerian banks
Alexander Decker
 
A unique common fixed point theorems in generalized d
A unique common fixed point theorems in generalized dA unique common fixed point theorems in generalized d
A unique common fixed point theorems in generalized d
Alexander Decker
 
A trends of salmonella and antibiotic resistance
A trends of salmonella and antibiotic resistanceA trends of salmonella and antibiotic resistance
A trends of salmonella and antibiotic resistance
Alexander Decker
 
A transformational generative approach towards understanding al-istifham
A transformational  generative approach towards understanding al-istifhamA transformational  generative approach towards understanding al-istifham
A transformational generative approach towards understanding al-istifham
Alexander Decker
 
A time series analysis of the determinants of savings in namibia
A time series analysis of the determinants of savings in namibiaA time series analysis of the determinants of savings in namibia
A time series analysis of the determinants of savings in namibia
Alexander Decker
 
A therapy for physical and mental fitness of school children
A therapy for physical and mental fitness of school childrenA therapy for physical and mental fitness of school children
A therapy for physical and mental fitness of school children
Alexander Decker
 
A theory of efficiency for managing the marketing executives in nigerian banks
A theory of efficiency for managing the marketing executives in nigerian banksA theory of efficiency for managing the marketing executives in nigerian banks
A theory of efficiency for managing the marketing executives in nigerian banks
Alexander Decker
 
A systematic evaluation of link budget for
A systematic evaluation of link budget forA systematic evaluation of link budget for
A systematic evaluation of link budget for
Alexander Decker
 
A synthetic review of contraceptive supplies in punjab
A synthetic review of contraceptive supplies in punjabA synthetic review of contraceptive supplies in punjab
A synthetic review of contraceptive supplies in punjab
Alexander Decker
 
A synthesis of taylor’s and fayol’s management approaches for managing market...
A synthesis of taylor’s and fayol’s management approaches for managing market...A synthesis of taylor’s and fayol’s management approaches for managing market...
A synthesis of taylor’s and fayol’s management approaches for managing market...
Alexander Decker
 
A survey paper on sequence pattern mining with incremental
A survey paper on sequence pattern mining with incrementalA survey paper on sequence pattern mining with incremental
A survey paper on sequence pattern mining with incremental
Alexander Decker
 
A survey on live virtual machine migrations and its techniques
A survey on live virtual machine migrations and its techniquesA survey on live virtual machine migrations and its techniques
A survey on live virtual machine migrations and its techniques
Alexander Decker
 
A survey on data mining and analysis in hadoop and mongo db
A survey on data mining and analysis in hadoop and mongo dbA survey on data mining and analysis in hadoop and mongo db
A survey on data mining and analysis in hadoop and mongo db
Alexander Decker
 
A survey on challenges to the media cloud
A survey on challenges to the media cloudA survey on challenges to the media cloud
A survey on challenges to the media cloud
Alexander Decker
 
A survey of provenance leveraged
A survey of provenance leveragedA survey of provenance leveraged
A survey of provenance leveraged
Alexander Decker
 
A survey of private equity investments in kenya
A survey of private equity investments in kenyaA survey of private equity investments in kenya
A survey of private equity investments in kenya
Alexander Decker
 
A study to measures the financial health of
A study to measures the financial health ofA study to measures the financial health of
A study to measures the financial health of
Alexander Decker
 

More from Alexander Decker (20)

Abnormalities of hormones and inflammatory cytokines in women affected with p...
Abnormalities of hormones and inflammatory cytokines in women affected with p...Abnormalities of hormones and inflammatory cytokines in women affected with p...
Abnormalities of hormones and inflammatory cytokines in women affected with p...
 
A validation of the adverse childhood experiences scale in
A validation of the adverse childhood experiences scale inA validation of the adverse childhood experiences scale in
A validation of the adverse childhood experiences scale in
 
A usability evaluation framework for b2 c e commerce websites
A usability evaluation framework for b2 c e commerce websitesA usability evaluation framework for b2 c e commerce websites
A usability evaluation framework for b2 c e commerce websites
 
A universal model for managing the marketing executives in nigerian banks
A universal model for managing the marketing executives in nigerian banksA universal model for managing the marketing executives in nigerian banks
A universal model for managing the marketing executives in nigerian banks
 
A unique common fixed point theorems in generalized d
A unique common fixed point theorems in generalized dA unique common fixed point theorems in generalized d
A unique common fixed point theorems in generalized d
 
A trends of salmonella and antibiotic resistance
A trends of salmonella and antibiotic resistanceA trends of salmonella and antibiotic resistance
A trends of salmonella and antibiotic resistance
 
A transformational generative approach towards understanding al-istifham
A transformational  generative approach towards understanding al-istifhamA transformational  generative approach towards understanding al-istifham
A transformational generative approach towards understanding al-istifham
 
A time series analysis of the determinants of savings in namibia
A time series analysis of the determinants of savings in namibiaA time series analysis of the determinants of savings in namibia
A time series analysis of the determinants of savings in namibia
 
A therapy for physical and mental fitness of school children
A therapy for physical and mental fitness of school childrenA therapy for physical and mental fitness of school children
A therapy for physical and mental fitness of school children
 
A theory of efficiency for managing the marketing executives in nigerian banks
A theory of efficiency for managing the marketing executives in nigerian banksA theory of efficiency for managing the marketing executives in nigerian banks
A theory of efficiency for managing the marketing executives in nigerian banks
 
A systematic evaluation of link budget for
A systematic evaluation of link budget forA systematic evaluation of link budget for
A systematic evaluation of link budget for
 
A synthetic review of contraceptive supplies in punjab
A synthetic review of contraceptive supplies in punjabA synthetic review of contraceptive supplies in punjab
A synthetic review of contraceptive supplies in punjab
 
A synthesis of taylor’s and fayol’s management approaches for managing market...
A synthesis of taylor’s and fayol’s management approaches for managing market...A synthesis of taylor’s and fayol’s management approaches for managing market...
A synthesis of taylor’s and fayol’s management approaches for managing market...
 
A survey paper on sequence pattern mining with incremental
A survey paper on sequence pattern mining with incrementalA survey paper on sequence pattern mining with incremental
A survey paper on sequence pattern mining with incremental
 
A survey on live virtual machine migrations and its techniques
A survey on live virtual machine migrations and its techniquesA survey on live virtual machine migrations and its techniques
A survey on live virtual machine migrations and its techniques
 
A survey on data mining and analysis in hadoop and mongo db
A survey on data mining and analysis in hadoop and mongo dbA survey on data mining and analysis in hadoop and mongo db
A survey on data mining and analysis in hadoop and mongo db
 
A survey on challenges to the media cloud
A survey on challenges to the media cloudA survey on challenges to the media cloud
A survey on challenges to the media cloud
 
A survey of provenance leveraged
A survey of provenance leveragedA survey of provenance leveraged
A survey of provenance leveraged
 
A survey of private equity investments in kenya
A survey of private equity investments in kenyaA survey of private equity investments in kenya
A survey of private equity investments in kenya
 
A study to measures the financial health of
A study to measures the financial health ofA study to measures the financial health of
A study to measures the financial health of
 

Recently uploaded

Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
Joaquim Jorge
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
Enterprise Knowledge
 

Recently uploaded (20)

Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...
 
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
 
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
 
Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
 
GenAI Risks & Security Meetup 01052024.pdf
GenAI Risks & Security Meetup 01052024.pdfGenAI Risks & Security Meetup 01052024.pdf
GenAI Risks & Security Meetup 01052024.pdf
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreter
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
 
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps ScriptAutomating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Script
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
 
🐬 The future of MySQL is Postgres 🐘
🐬  The future of MySQL is Postgres   🐘🐬  The future of MySQL is Postgres   🐘
🐬 The future of MySQL is Postgres 🐘
 
[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf
 
Strategies for Landing an Oracle DBA Job as a Fresher
Strategies for Landing an Oracle DBA Job as a FresherStrategies for Landing an Oracle DBA Job as a Fresher
Strategies for Landing an Oracle DBA Job as a Fresher
 
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century education
 
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone ProcessorsExploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processors
 
Tech Trends Report 2024 Future Today Institute.pdf
Tech Trends Report 2024 Future Today Institute.pdfTech Trends Report 2024 Future Today Institute.pdf
Tech Trends Report 2024 Future Today Institute.pdf
 
Boost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivityBoost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivity
 

On fixed point theorem in fuzzy metric spaces

  • 1. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications 148 On Fixed Point Theorem in Fuzzy Metric Spaces Pankaj Tiwari1 , Rajesh Shrivastava1 , Rajendra Kumar Dubey2 1 Govt. Science & Comm. College Benjeer, Bhopal M.P., India 2 Govt. Science P.G. College, Rewa M.P., India Abstract: - The Purpose of this paper, we prove common fixed point theorem using new continuity condition in fuzzy metric spaces. Keywords: - Compatible maps, R-weakly commuting maps, reciprocal continuity. Mathematics subject classification: - 47H10, 54H25. 1 INTRODUCTION The concept of fuzzy sets first introduced by Prof. Lofty Zadeh [20] in 1965 at University of California and developed a basic frame work to treat mathematically the fuzzy phenomena or systems which due to in trinsic indefiniteness, cannot themselves be characterized precisely. Fuzzy metric spaces have been introduced by Kramosil and Michalek [7] and George and Veersamani [3] modified the notion of fuzzy metric with help of continuous t-norms. Recently many have proved fixed point theorems involving fuzzy sets [1, 2, 4-6, 8-10, 14, 16-19]. Vasuki [19] investigated same fixed point theorems in fuzzy metric spaces for R-weakly commuting mappings and part [12] introduced the notion of reciprocal continuity of mappings in metric spaces. Balasubramaniam et al. and S. Muralishankar, R.P. Pant [1] proved the open problem of Rhoades [15] on the existence of a contractive definition which generals a fixed point but does not force the mapping to be continuous at the fixed point possesses an affirmative answer. The purpose of this paper is to prove fixed point theorem in fuzzy metric spaces for using new continuity condition in fuzzy metric spaces. 2 PRELIMINARIES Before starting the main result we need some basic definitions and basic results Definition 2.1: A fuzzy set A in x is a function with domain X and values in [0, 1] Definition 2.2: A binary operation *: [0.1] → [0.1] is called a continuous t-norm of ([0.1], *) is an abelian topological monoid with the unit 1 such that a * b ≤ C * d whenever a ≤ c and b ≤ d for all a, b, c, d ∈ [0, 1]. Example: Two typical examples of continuous t-norm are (a) ∗ = , (b) ∗ = ( , ) Definition 2.3: A 3-tuple (x, M, *) is called a fuzzy metric space if x is an arbitrary (non-empty) set, * is a continuous t-norm and M is a fuzzy set on x2 ×[0,∞) satisfying the following conditions for each x, y, z ∈ x and t, s > 0 ( 1) ( , , 0) > 0; ( 2) ( , , ) = 1, ∀ > 0, = ; ( 3) ( , , ) = ( , , ); ( 4) ( , , ) ∗ ( , , ) ≤ ( , , + ); ( 5) ( , , . ): (0, ∞) → %0,1& ' ( ) ) ( 6) ( ) xyxtyxM t ∈∀= ∞→ ,1,,lim Then M is called a fuzzy metric on X. A function M(x, y, t) denote the degree of nearness between x and y with respect to t. Example: (Induced Fuzzy metric) [3] every metric space indices a fuzzy metric space. Let (x, d) be a metric space Define a * b = ab And ( ) ( )yxmdkt kt tyxM n n , ,, + = K, m, n, t∈R+ . Then (x, M, *) is a fuzzy metric space if we put k = m – n = 1. We get ( ) ( )yxdt t tyxM , ,, + = The fuzzy metric induced by a metric d is referred to as a standard fuzzy metric. Proposition 2.4 [21] in a fuzzy metric space (X, m, *), if a * a ≥ for all
  • 2. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications 149 a ∈[0, 1]. Then a * b = min {a, b} for all a, b ∈[0, 1]. Definition 2.5 ([2]): Two self mappings F and S of a fuzzy metric space (x, M, *) are called compatible if ∞→t lim M (FSxn, SFxn, t) = 1 when ever { *} is a sequence in x such that xSxFx n t n t == ∞→∞→ limlim for some x in X. Definition 2.6 ([19]): Two self mappings A and S of a fuzzy metric space (x, M, *) are called weakly commuting if M (Fsx, SFx, t) ≥ M (Fx, Sx, t) ∀ x in x and t > 0. Definition 2.7 ([19]): Two self mappings A and S of a fuzzy metric space (x, M, *) are called point wise R- weakly commuting if there exist R > 0 such that M (Fsx, SFx, t) ≥ M (Fx, sx, t/R) for all x in X and t > 0. Remark 1: Clearly, point R-weakly commutativity implies weak commutativity only when R ≤ 1. Definition 2.8 ([1]): Two self maps F and S of a fuzzy metric space (x, M, *) are called reciprocally continuous on x if FxFsxn t = ∞→ lim and SxFxn t = ∞→ lim when ever { *} is a sequences in x such that xSxFx n t n t == ∞→∞→ limlim for some x in X. Lemma 2.9 ([16]): Let (X, M, *) be a fuzzy metric space. If there exists k∈(0, 1) such that M(x, y, kt) > M(x, y, t) Then x = y. Lemma-2.10 ([2]): Let {yn} be a sequence in a fuzzy metric space (X, M, *) with the condition (6). If there exists, k∈ (0, 1) such that M (Yn, yn+1, kt) ≥ M (yn-1, yn, t) For all t > 0 and n∈N, Then {yn} is a Cauchy sequence in X. The following theorems are basic theorems for our result Theorem 2.11[1]: Let (A, S) and (B, T) be point wise R-weakly commuting pairs of self mappings of complete fuzzy metric space (X, M, *) such that 1. AX ⊂TX, BX ⊂SX 2. M (Ax, By, t) ≥ M(x, y, ht), 0 < h < 1, x, y ∈x and t > 0. Suppose that (A, S) and (B, T) is compatible pair of reciprocally continuous mappings X. Then A, B, S and T have a unique common fixed point. Theorem 2.12[14]: Let (A, S) and (B, T) be point wise R-weakly commuting pairs of self mappings of complete fuzzy metric space (X, M, *) such that 1. AX ⊂TX, BX ⊂SX 2. M (Ax, By, t) ≥ M(x, y, ht), 0 < h < 1, x, y, ∈x and t > 0. Let (A, S) and (B, T) is compatible mappings. If any of the mappings in compatible pairs (A, S) and (B, T) is continuous then A, B, S and T have a unique common fixed point. Remark 2: In [14], Pant and Jha proved that the theorem 2.12 is an analogue of the theorem 2.11 by obtaining connection between continuity and reciprocal continuity in fuzzy metric space. Lemma 2.13 [21]: Let (X, M,*) be a complete fuzzy metric space with a*a ≥ a for all aε[0,1] and the condition(fm6). Let (A, S) and (B, T) be point wise R-weakly commuting pairs of self mappings of X such that (a) AX ⊂TX, BX ⊂SX There exists k ε (0, 1) such M (Ax, By, kt) ≥ N (x, y, t) for all x, y ε X, a ε (0,2) and t >0 Then the continuity of one of the mappings in compatible pair (A, S) or (B, T) on (X, M,*) implies their reciprocal continuity. 3 MAIN RESULTS Theorem 3.1: Let (x, M,*) be a complete fuzzy metric space a*a ≥ a, for all a ϵ [0, 1] and the condition definition (3). Let (L, ST) and f (M, AB) be point wise R-weakly commuting pairs of self mappings of x such that 3.1(a). L(x) ⊆ ST(x), M(x) ⊆ AB(x) 3.2(b). There exists k∈(0,1) such that ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktMyABxFtSTyABxqFtLxABxpF ktMySTyFktABx,LxFktMyLxF 2,,,, ,,*,2 +≥ For all x, y∈X and t > 0 where 0 <q, q < 1 such that p + q = 1. Then A, B, S, T, L and M have a unique common fixed point in X. Proof. Suppose x0 ∈ X. From condition (3.1.1) ∃ x1, x2 ∈ X such that Lx0 = STx1 and Mx1 = ABx2. Inductively, we can construct sequences {xn} and {yn} in X such that
  • 3. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications 150 y2n = Lx2n = STx2n+1 and y2n+1 = Mx2n+1 = ABx2n+2 for n = 0, 1, 2, …… Step 1. Taking x = x2n and y = x2n+1 in (3.1.5), we have ( )( ) ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktMxABxFtSTxABxqFtLxABxpF ktMxSTxFktMxSTxFktLxABxFkt,MxLxF nnnnnn nnnnnnnn 2,.,, ,.,,,* 12212222 1212121222122 2 ++ +++++ +≥ ( )( ) ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktyyFtyyqFtyypF ktyyFktyyFktyyFktyyF nnnnnn nnnnnnnn 2,.,, ,.,.,*, 122212122 122212212122 2 +−− +−−+ +≥ ( )( ) ( )( ) ( )( )[ ] ( ) ( )( ) ( )( )ktyyFtyyFqpktyyFktyyFktyyF nnnnnnnnnn 2,.,.,*,, 1212122122212122 +−−+−+ +≥ ( )( ) ( )( ) ( )( ) ( )( )ktynFytynFyktyyFktyyF nnnnnn 2,12.,122,, 1221212122 ++−+ −−≥ Hence, we have ( )( ) ( )( )tyyFktyyF nnnn 212122 ,, −+ ≥ Similarly, we also have ( )( ) ( )( )tyyFktyyF nnnn 1222212 ,, +++ ≥ In general, for all n even or odd, we have ( )( ) ( )( )tyyFktyyF nnnn ,, 11 −+ ≥ for all x, y ∈X and t > 0. Thus by lemma 2.1 {yn} is a Cauchy sequence in X. Since (X, F, ) is complete, it converges to a point z in X. Also its subsequences converge as follows : {Lx2n} → z, {ABx2n} → z, {Mx2n+1} → z and {STx2n+1} → z. Step 1. Suppose AB is continuous. As AB is continuous and (L, AB) is semi-compatible, we get LABx2n+2 → LZ and LABx2n+2 → ABz. Since the limit in Memnger space is unique, we get Lz = ABz. Step 2. By taking x = ABx2n and y = x2n+1 in (3.1.5), we have ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktMxABABxFtSTxABABxqFtLABxABABxpF ktMxSTxFktLABxABABxFktMxLABxF nnnnnn nnnnnn 2,.,, ,.,*, 12212222 121222122 2 ++ +++ +≥ Taking limit n → ∞ ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktABzzFtABzzqFp ktABzzFtABzzqFtABzABzpFktzzFktABzABzFktABzzF ,, 2,,,,.,*,2 +≥ +≥ ( )( ) ( )( ) ( )( )ktABzzqFpktABZzqFpktABzzF ,,, +≥+≥ ( )( ) 1 1 , = − ≥ q p ktABzzF For k∈(0,1) and all t > 0. Thus we have Z = ABz. Step 3. By taking x = z and y = x2n+1 in (3.1.5), we have ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktMxABzFtSTxABzqFtLzABzpF ktMxSTxFktLzABzFktMxLzF nn nnn 2,.,, ,.,*, 1212 121212 2 ++ +++ +≥ Taking limit n → ∞ ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktzzFtzzqFtLzzpFktzzFktLzzFktLzzF 2,.,,,.,*,2 +≥ ( )( ) ( )( ) ( )( ) qtLzzpFktLzzFktLzzF +≥ ,,*,2 Noting that ( )( ) 1,2 <ktLzzF and using (c) in definition 2.2, we have ( )( ) ( )( ) qtLzzpFktLzzF +≥ ,, ( )( ) qtLzzpF +≥ , ( )( ) 1 1 , = − ≥ p q ktLzzF
  • 4. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications 151 For k ∈(0,10 and all t > 0. Thus, we have z = Lz = ABz. Step 4. By taking z = Bz and y = x2n+1 in (3.1.5), we have ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktMxABBzFtSTxABBzqFtLBzABBzpF ktMxSTxFktLBzABBzFktMxLBzF nn nnn 2,.,, ,.,*, 1212 121212 2 ++ +++ +≥ Since AB = BA and BL = LB, we have L(Bz) = B(Lz) = Bz and AB(Bz) = B(ABz) = Bz. Taking limit n → ∞, we have ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktBzzFtBzzqFtBzBzpFktzzFktBzBzFktBzzF 2,.,,,.,*,2 +≥ ( )( ) ( )( )[ ] ( )( )ktBzzFtBzzqFpktBzzF 2,,,2 +≥ ( )( )[ ] ( )( )ktBzzFtBzzqFp ,,+≥ ( )( ) ( )( )tBzzqFpktBzzF ,, +≥ ( )( )ktBzzqFp ,+≥ ( )( ) 1 1 , = − ≥ q p ktBzzF For k∈(0,1) and all t > 0. Thus, we have z = Bz. Since z = ABz, we also have Z = Az. Therefore, z = Az = Bz = Lz. Step 5. Since L(X) ⊆ST(X) there exists v ∈X such that z = Lz = STv. By taking x = x2n and y = v in (3.1.5), we get ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktMvABxFtSTvABxqFtLxABxpF ktMvSTvFktLxABxFktMvLxF nnnn nnn 2,.,, ,.,*, 2222 222 2 +≥ Taking limit as n → ∞, we have ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktMvzFtzzqFtzzpFktMvzFktzzFktMvzF 2,.,,,.,*,2 +≥ ( )( ) ( )( ) ( ) ( )( )ktMvzFqpktMvzFktMvzF 2,,*,2 +≥ Noting that ( )( ) 1,2 ≤ktMvzF and using (c) in Definition 2.2, we have ( )( ) ( )( ) ( )( )tMvzF ktMvzFktMvzF , 2,, ≥ ≥ Thus we have Z = Mv and so z = Mv = sTv. Since (M, ST) is weakly compatible, we have STMv = MSTv Thus, STz = Mz. Step 6. By taking x = x2n, y = z in (3.1.5) and using step 5, we have ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktMvABxFtSTzABxqFtLxABxpF ktMzSTzFktLxABxFktMzLxF nnnn nnn 2,.,, ,.,*, 2222 222 2 +≥ Which implies that, as n → ∞ ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktMzzFtMzzqFtzzpFktMzMzFktzzFktMzzF 2,.,,,.,*,2 +≥ ( )( ) ( )( )[ ] ( )( )ktMzzFtMzzqFpktMzzF 2,,,2 +≥ ( )( )[ ] ( )( )ktMzzFtMzzqFp ,,+≥ ( )( ) ( )( )tMzzqFpktMzzF ,, +≥ ( )( )ktMzzqFP ,+≥
  • 5. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications 152 ( )( ) 1 1 , = − ≥ q p ktMzzF Thus, we have z = Mz and therefore z = Az = Bz = Lz = Mz = STz. Step 7. By taking x = x2n, y = Tz in (3.1.5), we have ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktMTzABxFtSTTzABxqFtLxABxpF ktMTzSTTzFktLxABxFktMTzLxF nnnn nnn 2,.,, ,.,*, 2222 222 2 +≥ Since MT = TM and ST = TS, we have MTz = TMz = Tz and ST(Tz) = T(STz) = Tz. Letting n → ∞, we have ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktTzzFtTzzqFtzzpFktTzTzFktzzFktTzzF 2,.,,,.,*,2 +≥ ( )( ) ( )( )tTzzqFpktTzzF ,, +≥ ( )( )ktTzzqFp ,+≥ ( )( ) 1 1 , = − ≥ q p ktTzzF Thus, we have z = Tz. Since Tz = STz, we also have z = Sz. Therefore, z = Az = Bz = Lz = Mz = Sz = Tz, that is, z is the common fixed point of the six maps. Case II. L is continuous. Since L is continuous, LLx2n → Lz and L(AB)x2n → Lz. Step 8. By taking x = LLx2n, y = x2n+1 in (3.1.5), we have ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktMxABLxFtSTxABLXqFtLLxABLxpF ktMxSTxFktLLxABLxFktMxLLxF nnnnnn nnnnnn 2,.,, ,.,*, 12212222 121222122 2 ++ +++ +≥ Letting n → ∞, we have ( )( ) ( )( ) ( )( )[ ] ( )( ) ( )( )[ ] ( )( )ktLzzFtLzzqFtLzLzpFktzzFktLzLzFktLzzF 2,.,,,.,*,2 +≥ ( )( ) ( )( )[ ] ( )( )ktLzzFtLzzqFpktLzzF 2,,,2 +≥ ( )( )[ ] ( )( )ktLzzFtLzzqFp ,,+≥ ( )( ) ( )( )tLzzqFpktLzzF ,, +≥ ( )( )ktLzzqFp ,+≥ , ( )( ) 1 1 , = − ≥ q p ktLzzF Thus, we have z = Lz and using steps 5-7, we have Z = Lz = Mz = Sz = Tz. Step 9. Since L is continuous, LLx2n →Lz and LABx2n →Lz Since(L, AB) is semi-compatible, L(AB)x2n → ABz. Since limit in Menger space is unique, so Lz = ABz and using Step 4, we also have z = Bz. Therefore, z = Az = Bz = Sz = Tz = Lz = Mz, that is, z is the common fixed point of the six maps in this case also. Step 10. For uniqueness, let w(w ≠ z)be another common fixed point of A, B, S, T, L and M. Taking x = z, y = w in (3.1.5), we have F2 (Lz,Mw)(kt)* [F(ABz,Lz)(kt).F(STw,Mw)(kt)] ≥ [Pf(ABz,Lz)(t)+qF(ABz,STw)(t)].F(ABz,Mw)(2kt) Which implies that F2 (z,w)(kt) ≥ [p +qF(z,w)(t)]F(z,w)(2kt) ≥ [p + qF(z,w)(t)]F(z,w)(kt), F(z,w)(kt) ≥ p + qF(z,w)(t)
  • 6. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.3, No.6, 2013-Selected from International Conference on Recent Trends in Applied Sciences with Engineering Applications 153 ( )( ) 1 1 , = − ≥ q p ktwzF Thus, we have z = w. This completes the proof of the theorem. If we take B = T = IX (the identity map on X) in theorem 3.1, we have the following: References: [1] P. Balasubramaniam, S. Muralisankar, R.P. Pant, "Common fixed' points of four mappings in a fuzzy metric space". J. Fuzzy Math. 10(2) (2002), 379-384. [2] Y.J. Cho, H.K. Pathak, S.M. Kang. J.S. Jung, "Common fixed points of compatible maps of type (A) on fuzzy metric spates," Fuzzy Sets and Systems 93 (1998), 99-111. [3] A. George, P. Veeramani, "On some results in fuzzy metric spaces" Fuzzy Sets and Systems, 64 (1994), 395-399. [4] M. Grabiec, "Fixed points in fuzzy metric specs, Fuzzy Sets and Systems" 27 (1988), 385-389. [5] O. Hadzic, "Common fixed point theorems for families of mapping in complete metric space," Math. Japon. 29 (1984). 127-134. [6] G. Jungck, “Compatible mappings and common fixed points (2)”, Internat. J. Math. Math. Sci. (1988). 285-288. [7] O. Kramosil and J. Michalek, "Fuzzy metric and statistical metric spaces," Kybernetika 11 (1975). 326- 334. [8] S. Kutukcu, "A fixed point theorem in Menger spaces," Int. Math. F. 1(32) (2006), 1543-1554. [9] S. Kutukcu, C. Yildiz, A.Tuna, “On common fixed points in Menger probabilistic metric spaces," Int. J. Contemp. Math. Sci. 2(8) (2007), 383-391. [10] S. Kutukcu, "A fixed point theorem for contraction type mappings in Menger spaces," Am. J. Appl. Sci. 4(6) (2007). 371-373. [11] S .N. Mishra, "Common fixed points of compatible mappings in PM-spaces," Math. Japon. 36 (1991), 283289. [12] R.P. Pant, "Common fixed points of four mappings," Bull. Cal. Math. Soe. 90 (1998), 281-286. [13] R.P. Pant, “Common fixed point theorems for contractive maps," J. Math. Anal. Appl. 226 (1998). 251- 258. [14] R.P. Pant, K. Jha, "A remark on common fixed points of four mappings in a, fuzzy metric space," J. Fuzzy Math. 12(2) (2004), 433-437. [15] B.E. Rhoades, "Contractive definitions and continuity," Contemporary Math. 72 (1988), 233-245. [16] S. Sharma, "Common fixed point theorems in fuzzy metric spaces", Fuzzy Sets and Systems 127 (2002). 345-352. [17] S. Sharma, B. Deshpande, “Discontinuity and weak compatibility in fixed point consideration on non- complete fuzzy metric spaces," J. Fuzzy Math. 11(2) (2003), 671-686. [18] S. Sharma, B. Deshpande, "Compatible multivalued mappings satisfying an implicit relation," Southeast Asian Bull. Math. 30 (2006), 585-540. [19] R. Vasuki, "Common fixed points for R-weakly commuting maps in fuzzy metric spaces," Indian J. Pure Appl. Math. 30 (1999), 419-423. [20] L.A. Zadeh, "Fuzzy sets” Inform and Control, 8 (1965), 338-353. [21] S. Kutukcu, S. Sharma, S. H Tokgoz "A fixed point theorem in fuzzy metric spaces" Int . Journal of Math. Analysis vol 1, (2007), 861-872
  • 7. This academic article was published by The International Institute for Science, Technology and Education (IISTE). The IISTE is a pioneer in the Open Access Publishing service based in the U.S. and Europe. The aim of the institute is Accelerating Global Knowledge Sharing. More information about the publisher can be found in the IISTE’s homepage: http://www.iiste.org CALL FOR PAPERS The IISTE is currently hosting more than 30 peer-reviewed academic journals and collaborating with academic institutions around the world. There’s no deadline for submission. Prospective authors of IISTE journals can find the submission instruction on the following page: http://www.iiste.org/Journals/ The IISTE editorial team promises to the review and publish all the qualified submissions in a fast manner. All the journals articles are available online to the readers all over the world without financial, legal, or technical barriers other than those inseparable from gaining access to the internet itself. Printed version of the journals is also available upon request of readers and authors. IISTE Knowledge Sharing Partners EBSCO, Index Copernicus, Ulrich's Periodicals Directory, JournalTOCS, PKP Open Archives Harvester, Bielefeld Academic Search Engine, Elektronische Zeitschriftenbibliothek EZB, Open J-Gate, OCLC WorldCat, Universe Digtial Library , NewJour, Google Scholar