SlideShare a Scribd company logo
@ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 350
ISSN No: 2456 - 6470 | www.ijtsrd.com | Volume - 1 | Issue – 5
International Journal of Trend in Scientific
Research and Development (IJTSRD)
UGC Approved International Open Access Journal
An Altering Distance Function in Fuzzy Metric
Fixed Point Theorems
Dr C Vijender
Dept of Mathematics,
Sreenidhi Institute of Sciece and Technology,
Hyderabad, India
ABSTRACT
The aim of this paper is to improve conditions
proposed in recently published fixed point results for
complete and compact fuzzy metric spaces. For this
purpose, the altering distance functions are used.
Moreover, in some of the results presented the class
of t-norms is extended by using the theory of
countable extensions of t-norms.
Keywords: Fixed point, Cauchy sequence, t-norm,
altering distance, fuzzy metric space
1. Introduction and Preliminaries:
In the fixed point theory in metric space an important
place occupies the Banach contraction principle [1].
The mentioned theorem is generalized in metric
spaces as well as in its various generalizations. In
particular, the Banach contraction principle is
observed in fuzzy metric spaces. There are several
definitions of the fuzzy metric space [2–4]. George
and Veeramani introduced the notion of a fuzzy
metric space based on the theory of fuzzy sets,
earlier introduced by Zadeh [5], and they obtained a
Hausdorff topology for this type of fuzzy metric
spaces [2, 3].
Recently, Shen et al. [6] introduced the notion of
altering distance in fuzzy metric space (X,M,T) and
by using the contraction condition
φ(M(fx, fy, t))≤k(t)⋅φ(M(x, y, t)), x, y∈X, x≠y, t>0,
(1)
Obtained fixed point results for f: X→X. Using the
same altering distance in this paper several fixed
point results are proved in complete and compact
fuzzy metric spaces introducing stronger contraction
conditions than (1). Likewise, the contraction
condition given in [7] is improved by using the
altering distance, as well as by extending the class
of t-norms.
First, the basic definitions and facts are reviewed.
Definition 1.1
A mapping T:[0,1]×[0,1]→[0,1] is called a triangular norm (t-norm) if the following conditions are satisfied:
1. (T1) T(a,1)=a, a∈[0,1],
International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470
@ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 351
2. (T2) T(a, b)=T(b, a), a, b∈[0,1],
3. (T3) a≥b, c≥d⇒T(a, c)≥T(b, d), a, b, c, d∈[0,1],
4. (T4)T(a,T(b,c))=T(T(a,b),c), a,b,c∈[0,1].
Basic examples are TP(x, y)=x⋅y, TM(x, y)=min{x, y}, TL(x, y)=max{x+y−1,0}, and
TD(x, y) ={min(x, y),0,max(x, y)=1}, otherwise.TD(x,
y) =



otherwise0,
1,=y)max(x,y),min(x,
Definition 1.2
A t-norm T is said to be positive if T(a, b)>0 whenever a, b∈(0,1].
Definition 1.3
[2, 3] The 3-tuple (X, M, T) is said to be a fuzzy metric space if X is an arbitrary set, T is a continuous t-
norm, and M is a fuzzy set on X2
×(0,∞) such that the following conditions are satisfied:
(FM1) M(x, y, t)>0, x, y∈X, t>0,
(FM2) M(x, y, t)=1, t>0⇔x=y,
(FM3 )M(x, y, t)=M(y, x, t), x, y∈X, tt>0,
(FM4) T(M(x, y, t),M(y, z, s))≤M(x, z, t+s), x, y, z∈X, t, s>0,
(FM5 )M(x, y,⋅):(0,∞)→[0,1] is continuous for every x, y∈X.
If (FM4) is replaced by condition
(FM4′)T(M(x, y, t),M(y, z, t))≤M(x, z, t), x, y, z∈X, t>0,
then (X, M, T) is called a strong fuzzy metric space.
Moreover, if (X,M,T) is a fuzzy metric space, then M is a continuous function on X×X×(0,∞) and M(x,y,⋅) is
non-decreasing for all x, y∈X.
If (X,M,T) is a fuzzy metric space, then M generates the Hausdorff topology on X (see [2, 3]) with a base of
open sets {U(x, r, t):x∈X, r∈(0,1),t>0, where U(x, r, t)={y:y∈X,M(x, y, t)>1−r}.
Definition 1.4
[2, 3]Let (X, M, T) be a fuzzy metric space.
1. (a) A sequence {xn}n∈N is a Cauchy sequence in (X, M, T) if for each ε∈(0,1) and each t>0 there exist
n0=n0(ε, t)∈N such that M(xn, xm, t)>1−ε, for all n, m≥n0.
2. (b) A sequence {xn}n∈N converges to x in (X, M, T) if for each ε∈(0,1) and each t>0there
exists n0=n0(ε,t)∈N such that M(xn, x, t)>1−ε for all n≥n0. Then we say that {xn}n∈N is convergent.
3. (c) A fuzzy metric space (X, M, T) is complete if every Cauchy sequence in (X, M, T) is convergent.
International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470
@ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 352
4. (d) A fuzzy metric space is compact if every sequence in X has a convergent subsequence.
It is well known [2] that in a fuzzy metric space every compact set is closed and bounded.
Definition 1.5
[8] Let T be a t-norm and Tn:[0,1]→[0,1], n∈N, be defined in the following way:
T1(x)=T(x, x),Tn+1(x)=T(Tn(x), x), n∈N, x∈[0,1].
We say that the t-norm T is of H-type if the family {Tn(x)}n∈N is equi-continuous at x=1.
Each t-norm T can be extended in a unique way to an n-ary operation taking for (x1,…,xn)∈[0,1]n
the values
ii xT 0
1 =1, i
n
i xT 1 =T( i
n
i xT 1
1

 , xn).
A t-norm T can be extended to a countable infinite operation taking for any sequence (xn)n∈N from [0, 1] the
value
ii xT 
1 =limn→∞ i
n
i xT 1 .
The sequence ( i
n
i xT 1 )n∈N is non-increasing and bounded from below, hence the limit ii xT 
1 exists.
In the fixed point theoryit is of interest to investigate the classes of t-norms T and sequences (xn) from the
interval [0, 1] such that limn→∞xn=1 and
limn→∞ ini xT 
 =limn→∞ inni xT 

 . (2)
It is obvious that
limn→∞ ini xT 
 =1⇔ 



1
)1(
i
ix <∞ (3)
for T=TL and T=TP. (4)
For T≥TL we have the following implication:
limn→∞ ini xT 
 =1⇔ 



1
)1(
i
ix <∞. (5)
Proposition 1.7
Let(xn)n∈N be a sequence of numbers from [0, 1] such that limn→∞xn=1and the t-norm T is of H-type. Then
limn→∞
ini xT 
 =limn→∞
inni xT 

 = 1.
Theorem 1.8
Let(X, M, T) be a fuzzy metric space, such that limt→∞M(x, y, t)=1. Then if for some σ0∈(0, 1)and somex0,
y0∈X the following hold:
limn→∞ )
1
,,(
0
00 ini yxMT


 =1,
then imn→∞
)
1
,,( 00 ini yxMT



=1, for every σ∈(0,1).
International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470
@ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 353
2. Main results:
A function φ:[0,1]→[0,1] is called an altering distance function if it satisfies the following properties:
1. (AD1) φ is strictly decreasing and continuous;
2. (AD2) φ(λ)=0 if and only if λ=1.
It is obvious that limλ→1
−
φ(λ)=φ(1)=0.
Theorem 2.1
Let(X, M, T)be a complete fuzzy metric space, Tbe a triangular norm and f:X→X. If there exist k1,
k2:(0,∞)→(0,1), and an altering distance functionφsuch that the following condition:
The following condition
φ(M(fx, fy, t)) ≤ k1(t)⋅min{φ(M(x, y, t)), φ(M(x, fx, t)), φ(M(x, fy, 2t)), φ(M(y, fy, t))} +k2(t)⋅φ(M(fx, y, 2t), x,
y∈X, x≠y, t>0, (6)
is satisfied, then f has a unique fixed point.
Proof
We observe a sequence {xn},where x0∈X and xn+1=fxn, n∈N∪{0}. Note that, if there exists n0∈N∪{0} such
that 0nx = 10 nx =f 0nx , then 0nx is a fixed point of f. Further, we assume that xn≠xn+1, n∈N0. Then
0<M(xn, xn+1, t)<1, t>0, n∈N0. (7)
If the pair x=xn−1, y=xn satisfy condition (6) then
φ(M(xn,xn+1,t))≤k1(t)⋅min{φ(M(xn−1,xn,t)),φ(M(xn−1,xn,t)),φ(M(xn−1,xn+1,2t)),φ(M(xn,xn+1,t))}
+k2(t)⋅φ(M(xn,xn,2t))
= k1(t)⋅min{φ(M(xn−1,xn,t)),φ(M(xn−1,xn+1,2t)),φ(M(xn,xn+1,t))},n∈N,t>0. (8)
By (FM4) and (AD1) we have
φ(M(xn−1,xn+1,2t))≤φ(T(M(xn−1,xn,t),M(xn,xn+1,t))), n∈N, t>0,
and further
φ(M(xn,xn+1,t))≤k1(t)⋅min{φ(M(xn−1,xn,t)),φ(T(M(xn−1,xn,t),M(xn,xn+1,t))),φ(M(xn,xn+1,t))}, n∈N, t>0.
(9)
Note that, by (T1), (T2), and (T3), it follows that
a=T(a,1)≥T(a, b) and b=T(b,1)≥T(a, b)
and
min{φ(a), φ(b), φ(T(a, b))}=min{φ(a), φ(b)}, a, b∈[0, 1].
Then by (9) we have
φ(M(xn,xn+1,t))≤k1(t)⋅min{φ(M(xn−1,xn,t)),φ(M(xn,xn+1,t))}, n∈N, t>0. (10)
If we suppose that
min{φ(M(xn−1,xn,t)),φ(M(xn,xn+1,t))}=φ(M(xn,xn+1,t)), n∈N, t>0,
then
φ(M(xn,xn+1,t))≤k1(t)⋅φ(M(xn,xn+1,t))<φ(M(xn,xn+1,t)), n∈N, t>0.
So, by contradiction it follows that
min{φ(M(xn−1,xn,t)),φ(M(xn,xn+1,t))}=φ(M(xn−1,xn,t)), n∈N, t>0,
and by (10) we get
International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470
@ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 354
φ(M(xn,xn+1,t))≤k1(t)⋅φ(M(xn−1,xn,t))<φ(M(xn−1,xn,t)), n∈N, t>0. (11)
By (AD1) and it follows that the sequence {M(xn,xn+1,t)} is strictly increasing with respect to n, for every t>0.
This fact, together with (7), implies that
limn→∞M(xn,xn+1,t)=a(t), a:(0,∞)→[0,1]. (12)
But if we suppose that a(t)≠1, for some t>0, and let n→∞ in (11) we get a contradiction:
φ(a(t))≤k1(t)⋅φ(a(t))<φ(a(t)). (13)
So, a≡1 in (12). Now we will show that the sequence {xn} is a Cauchy sequence. Suppose the
contrary, i.e. that there exist 0<ε<10<ε<1, t>0, and two sequences of
integers {p(n)}, {q(n)}, p(n)>q(n)>n, n∈N∪{0}, such that
M(xp(n),xq(n),t)≤1−ε and M(xp(n)−1,xq(n),t)>1−ε. (14)
By (12) for every ε1, 0<ε1<ε0, it is possible to find a positive integer n1, such that for all n>n1,
M(xp(n),xp(n)−1,t)≥1−ε1andM(xq(n),xq(n)−1,t)≥1−ε1. (15)
Then we have
M(xp(n)−1,xq(n)−1,t)≥T(M(xp(n)−1,xq(n),
2
t
),M(xq(n),xq(n)−1,
2
t
)), n∈N. (16)
Now using (14), (15), (16), and (T3) we have
M(xp(n)−1,xq(n)−1,t)≥T(1−ε,1−ε1), n>n1. (17)
Since ε1is arbitrary and T is continuous we have
M(xp(n)−1,xq(n)−1,t)≥T(1−ε,1)=1−ε, n>n1. (18)
Similarly, by (15) and (18)
M(xp(n),xq(n)−1,t)≥1−ε and M(xp(n),xq(n),t)≥1−ε, n>n1. (19)
By (14) and (19) it follows that
limn→∞M(xp(n),xq(n),t)=1−ε. (20)
If the pair x=xp(n)−1, y=xq(n)−1 satisfy condition (6) then
φ(M(xp(n),xq(n),t))≤k1(t)⋅min{φ(M(xp(n)−1,xq(n)−1,t)),φ(M(xp(n)−1,xp(n),t)),φ(M(xp(n)−1,xq(n),2t)),φ(M(xq(n)−1,xq(n),t))} +
k2(t)⋅φ(M(xp(n),xq(n)−1,2t)). (21)
Letting n→∞, by (12), (14), (19), and (20), we have
φ(1−ε)≤k1(t)⋅min{φ(1−ε),φ(1),φ(1−ε),φ(1)}+k2(t)⋅φ(1−ε)<φ(1−ε). (22)
This is a contradiction. So {xn} is a Cauchy sequence.
Since (X, M, T) is a complete fuzzy metric space there exists x∈X such that limn→∞xn=x. Let us prove, by
contradiction, that x is fixed point for f. Suppose that x≠fx.
If the pair x=x, y=xn−1satisfy condition (6) then
φ(M(fx,xn,t))≤k1(t)⋅min{φ(M(x,xn−1,t)),φ(M(x,fx,t)),φ(M(x,xn,2t)),φ(M(xn−1,xn,t))}+k2(t)⋅φ(M(fx,xn−1,2t)), n∈N,
t>0. (23)
Letting n→∞ in (23) we have
φ(M(fx,x,t))≤k1(t)⋅min{φ(M(x,x,t)),φ(M(x,fx,t)),φ(M(x,x,2t))} +k2(t)⋅φ(M(fx,x,2t))<φ(M(fx,x,2t)) <
φ(M(fx,x,t)), t>0.
So, by contradiction we conclude that x=fx.
International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470
@ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 355
Assume now that there exists another fixed point v, v≠x. Then applying (6) we have
φ(M(x,v,t))≤k1(t)⋅min{φ(M(x,v,t)),φ(M(x,x,t)),φ(M(x,v,2t)),φ(M(v,v,t))}
+k2(t)⋅φ(M(x,v,2t))<φ(M(x,v,2t))<φ(M(x,v,t)),t>0. (24)
So, we get a contradiction, and x is a unique fixed point of the function f.
Theorem 2.2
Let (X, M, T) be a complete fuzzy metric space and f:X→X. If there exist
k1,k2:(0,∞)→[0,1), k3:(0,∞)→(0,1), 
3
1
)(
i
i tk <1, and an altering distance functionφsuch that the following
condition is satisfied:
φ(M(fx,fy,t))≤k1(t)⋅φ(M(x,fx,t))+k2(t)⋅φ(M(y,fy,t))+k3(t)⋅φ(M(x,y,t)) (25)
for all x, y∈X, x≠y, and t>0, then f has a unique fixed point.
Proof
Let x0∈X and xn+1=fxn. Suppose that xn≠xn+1, n∈N0, i.e.
0<M(xn,xn+1,t)<1, n∈N0, t>0. (26)
By (25), with x=xn−1, y=xn, we have
φ(M(xn,xn+1,t))≤k1(t)⋅φ(M(xn−1,xn,t))+k2(t)⋅φ(M(xn,xn+1,t))+k3(t)⋅φ(M(xn−1,xn,t)), n∈N0, t>0,
(27)
i.e.
φ(M(xn,xn+1,t))≤
(t)k-1
(t)k+(t)k
2
31
φ(M(xn−1,xn,t)), n∈N0, t>0. (28)
Since φ is strictly decreasing, the sequence {M(xn, xn+1, t)} is strictly increasing sequence, with respect to n,
for every t>0. Hence, by (26) and a similar method to Theorem 2.1 it could be shown that
limn→∞M(xn, xn+1, t)=1, t>0, (29)
and {xn} is a Cauchy sequence. So, there exists x∈X such that limn→∞xn=x. Now, by (25) with x=xn−1, y=x we
have
φ(M(xn,fx,t))≤k1(t)⋅φ(M(xn−1,xn,t))+k2(t)⋅φ(M(x,fx,t))+k3(t)⋅φ(M(xn−1,x,t)), (30)
n∈N, t>0. Letting n→∞ in (30) we have
φ(M(x,fx,t))≤k1(t)⋅φ(1)+k2(t)⋅φ(M(x,fx,t))+k3(t)⋅φ(1)
=k2(t)⋅φ(M(x,fx,t)),t>0, (31)
i.e.
(1−k2(t))φ(M(x,fx,t))≤0, t>0. (32)
It follows that φ(M(x, fx, t))=0 and x=fx.
Assume now that there exists a fixed point v, v≠x. Then by (25) we have
φ(M(fx,fv,t))≤k1(t)⋅φ(M(x,fx,t))+k2(t)⋅φ(M(v,fv,t))+k3(t)⋅φ(M(x,v,t))<φ(M(x,v,t)),t>0, (33)
which is a contradiction. So, x is a unique fixed point of f.
Remark 2.3
If in (25) we take k1(t)=k2(t)=0, t>0, we get condition (1), and Theorem 2.2. is a generalization of the result
given in [24].
International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470
@ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 356
In the following theorems conditions (34) and (47) proposed in [32] are used to obtain fixed point results in
complete and compact strong fuzzy metric spaces.
Theorem 2.4
Let (X, M, T)be a complete strong fuzzy metric space with positive t-norm T and let f:X→X. If there exists an
altering distance function φ and ai=ai(t), i=1,2,…,5, ai>0, a1+a2+2a3+2a4+a5<1, such that
φ(T(r,s))≤φ(r)+φ(s),r,s∈{M(x,fx,t):x∈X,t>0} (34)
and
φ(M(fx,fy,t))≤a1φ(M(fx,x,t))+a2φ(M(fy,y,t))+a3φ(M(fx,y,t))+a4φ(M(x,fy,t))+a5φ(M(x,y,t)), x, y∈X, t>0,
(35)
then f has a unique fixed point.
Proof
Let x0∈X be arbitrary. Define a sequence (xn)n∈N such that xn=fxn−1=fn
x0. By (35) with x=xn−1 and y=xn we
have
φ(M(xn,xn+1,t))≤a1φ(M(xn,xn−1,t))+a2φ(M(xn+1,xn,t))+a3φ(M(xn,xn,t))+a4φ(M(xn−1,xn+1,t))+ a5φ(M(xn−1,xn,t)),
n∈N, t>0. (36)
Since (X, M, T) is a strong fuzzy metric space we have
M(xn−1,xn+1,t)≥T(M(xn−1,xn,t),M(xn,xn+1,t)), n∈N, t>0,
using (34) we obtained
φ(M(xn−1,xn+1,t))≤φ(T(M(xn−1,xn,t),M(xn,xn+1,t)))
≤φ(M(xn−1,xn,t))+φ(M(xn,xn+1,t)), n∈N, t>0.
By (36) it follows that
φ(M(xn,xn+1,t))≤
42
541
a-a-1
a+a+a
φ(M(xn−1,xn,t))
<φ(M(xn−1,xn,t)), n∈N, t>0,
i.e.
M(xn,xn+1,t)>M(xn−1,xn,t), n∈N, t>0.
So, the sequence {M(xn,xn+1,t)} is increasing and bounded and there exists
limn→∞M(xn,xn+1,t)=p(t), p:(0,∞)→[0,1].
Suppose that p(t)≠1, for some t>0. Then, if we take n→∞ in (36)
φ(p(t))≤(a1+a2+2a4+a5)φ(p(t))<φ(p(t)),
and we get a contradiction, i.e.
limn→∞M(xn,xn+1,t)=1, t>0.
It remains to prove that {xn}n∈N is a Cauchy sequence. Suppose the contrary, i.e. that there exist ε>0, t>0,
such that for every s∈N there exist m(s)>n(s)≥s, and
M(xm(s),xn(s),t)<1−ε. (37)
Let m(s) be the least integer exceeding n(s) satisfying the above property, i.e.
International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470
@ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 357
M(xm(s)−1,xn(s),t)≥1−ε, s∈N, t>0. (38)
Then by (35) with x=xm(s)−1 and y=xn(s)−1, for each s∈N and t>0 we have
φ(M(xm(s),xn(s),t))≤a1φ(M(xm(s),xm(s)−1,t))+a2φ(M(xn(s),xn(s)−1,t))+a3φ(M(xm(s),xn(s)−1,t))+
a4φ(M(xm(s)−1,xn(s),t))+a5φ(M(xm(s)−1,xn(s)−1,t)). (39)
By (FM4′), (34), and (AD1) it follows that
φ(M(xm(s),xn(s)−1,t))≤φ(M(xm(s),xn(s),t))+φ(M(xn(s),xn(s)−1,t)) (40)
and
φ(M(xm(s)−1,xn(s)−1,t))≤φ(M(xm(s)−1,xm(s),t))+φ(M(xm(s),xn(s)−1,t)).
Combining the previous inequalities we get
φ(M(xm(s)−1,xn(s)−1,t))≤φ(M(xm(s)−1,xm(s),t))+φ(M(xm(s),xn(s),t))+φ(M(xn(s),xn(s)−1,t)). (41)
Also, by (38) and (AD1) we have
φ(M(xm(s)−1,xn(s),t))≤φ(1−ε). (42)
Inserting (40), (41), and (42) in (39) we obtain
φ(M(xm(s),xn(s),t))≤a1φ(M(xm(s),xm(s)−1,t))+a2φ(M(xn(s),xn(s)−1,t))+a3φ(M(xm(s),xn(s),t))+a3φ(M(xn(s),xn(s)−1,t))+a4φ(1−
ε)+a5φ(M(xm(s),xm(s)−1,t))+a5φ(M(xm(s),xn(s),t))+a5φ(M(xn(s),xn(s)−1,t)),
i.e.
(1−a3−a5)φ(M(xm(s),xn(s),t))≤(a1+a5)φ(M(xm(s),xm(s)−1,t))+(a2+a3+a5)φ(M(xn(s),xn(s)−1,t))+a4φ(1−ε).
(43)
By (37) it follows that
φ(M(xm(s),xn(s),t))>φ(1−ε), (44)
and (43) and (44) imply
(1−a3−a5)φ(1−ε)<(a1+a5)φ(M(xm(s),xm(s)−1,t))+(a2+a3+a5)φ(M(xn(s),xn(s)−1,t))+a4φ(1−ε). (45)
Letting s→∞ in (45) we have
(1−a3−a5)φ(1−ε)≤a4φ(1−ε),
i.e.
(1−a3−a4−a5)φ(1−ε)≤0,
which implies that ε=0 and we get a contradiction.
So, {xn}n∈N is a Cauchy sequence and there exist z∈X such that limn→∞xn=z. Now, by (35)
with x=xn−1 and y=z, we have
φ(M(xn,fz,t))≤a1φ(M(xn,xn−1,t))+a2φ(M(fz,z,t))+a3φ(M(xn,z,t))+a4φ(M(xn−1,fz,t))+ a5φ(M(xn−1,z,t)), n∈N, t>0.
(46)
Letting n→∞ in (46) we have
(1−a2−a4)φ(M(z,fz,t))≤0, t>0.
Therefore, M(z, fz, t)=1, t>0, and z=fz.
Suppose now that there exists another fixed point w=fw. By (35) with x=z and y=w we get
(1−a3−a4−a5)φ(M(z,w,t))≤0, t>0,
i.e.z=w.
3. Conclusion:
International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470
@ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 358
In this paper several fixed point theorems in complete and compact fuzzy metric spaces are proved. For this
purpose new contraction types of mappings with altering distances are proposed.
References:
1) Banach, S: Sur les opérationsdans les ensembles abstraitsetleur application aux équationsintégrales.
Fundam. Math. 3, 133-181 (1922)
2) George, A, Veeramani, P: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 64, 395-399 (1994)
3) George, A, Veeramani, P: On some results of analysis for fuzzy metric spaces. Fuzzy Sets Syst. 90, 365-368
(1997)
4) Kramosil, I, Michalek, J: Fuzzy metric and statistical metric spaces. Kybernetika 11, 336-344 (1975)
5) Zadeh, LA: Fuzzy sets. Inf. Control 8, 338-353 (1965)
6) Shen, Y, Qiu, D, Chen, W: Fixed point theorems in fuzzy metric spaces. Appl. Math. Lett. 25, 138-141
(2012)
7) Ćirić, L: Some new results for Banach contractions and Edelstein contractive mappings on fuzzy metric
spaces. Chaos Solitons Fractals 42, 146-154 (2009)
8) Altun, I, Mihet, D: Ordered non-Archimedean fuzzy metric spaces and some fixed point results. Fixed Point
Theory Appl. 2010, 782680 (2010)

More Related Content

PDF
optimal control principle slided
PDF
Fixed point theorem of discontinuity and weak compatibility in non complete n...
PDF
11.fixed point theorem of discontinuity and weak compatibility in non complet...
PDF
Common Fixed Point Theorems For Occasionally Weakely Compatible Mappings
PDF
A Note on “   Geraghty contraction type mappings”
PDF
PaperNo23-habibiIJCMS5-8-2014-IJCMS
PDF
Fixed points of contractive and Geraghty contraction mappings under the influ...
PDF
Extension of Some Common Fixed Point Theorems using Compatible Mappings in Fu...
optimal control principle slided
Fixed point theorem of discontinuity and weak compatibility in non complete n...
11.fixed point theorem of discontinuity and weak compatibility in non complet...
Common Fixed Point Theorems For Occasionally Weakely Compatible Mappings
A Note on “   Geraghty contraction type mappings”
PaperNo23-habibiIJCMS5-8-2014-IJCMS
Fixed points of contractive and Geraghty contraction mappings under the influ...
Extension of Some Common Fixed Point Theorems using Compatible Mappings in Fu...

What's hot (16)

PDF
B043007014
PDF
Fixed Point Theorem in Fuzzy Metric Space
PDF
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...
PDF
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...
PDF
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...
PDF
On Some Notable Properties of Zero Divisors in the Ring of Integers Modulo m ...
PDF
Fixed point theorem in fuzzy metric space with e.a property
PDF
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...
PDF
Coincidence points for mappings under generalized contraction
PDF
PDF
On common fixed point theorem in fuzzy metric space
PDF
Common fixed points of weakly reciprocally continuous maps using a gauge func...
PDF
Generalized fixed point theorems for compatible mapping in fuzzy 3 metric spa...
PDF
11.common fixed points of weakly reciprocally continuous maps using a gauge f...
PDF
Nonlinear Filtering and Path Integral Method (Paper Review)
PDF
Stereographic Circular Normal Moment Distribution
B043007014
Fixed Point Theorem in Fuzzy Metric Space
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...
On Some Notable Properties of Zero Divisors in the Ring of Integers Modulo m ...
Fixed point theorem in fuzzy metric space with e.a property
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...
Coincidence points for mappings under generalized contraction
On common fixed point theorem in fuzzy metric space
Common fixed points of weakly reciprocally continuous maps using a gauge func...
Generalized fixed point theorems for compatible mapping in fuzzy 3 metric spa...
11.common fixed points of weakly reciprocally continuous maps using a gauge f...
Nonlinear Filtering and Path Integral Method (Paper Review)
Stereographic Circular Normal Moment Distribution
Ad

Similar to An Altering Distance Function in Fuzzy Metric Fixed Point Theorems (20)

PDF
Common fixed theorems for weakly compatible mappings via an
PDF
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
PDF
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
PDF
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
PDF
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
PDF
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
PDF
Common Fixed Point Theorems in Compatible Mappings of Type (P*) of Generalize...
PDF
On fixed point theorem in fuzzy metric spaces
PDF
Complete l fuzzy metric spaces and common fixed point theorems
PDF
8 fixed point theorem in complete fuzzy metric space 8 megha shrivastava
PDF
Fixed Point Theorem in Fuzzy Metric Space Using (CLRg) Property
PDF
Fixed point theorems for four mappings in fuzzy metric space using implicit r...
PDF
On fixed point theorems in fuzzy 2 metric spaces and fuzzy 3-metric spaces
PDF
Semicompatibility and fixed point theorem in fuzzy metric space using implici...
PDF
Semicompatibility and fixed point theorem in fuzzy metric space using implici...
PDF
A Common Fixed Point Theorem on Fuzzy Metric Space Using Weakly Compatible an...
PDF
On fixed point theorems in fuzzy metric spaces in integral type
PDF
Fixed point theorems in random fuzzy metric space through
PDF
Some properties of two-fuzzy Nor med spaces
PDF
On fixed point theorems in fuzzy metric spaces
Common fixed theorems for weakly compatible mappings via an
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
Common Fixed Point Theorems in Compatible Mappings of Type (P*) of Generalize...
On fixed point theorem in fuzzy metric spaces
Complete l fuzzy metric spaces and common fixed point theorems
8 fixed point theorem in complete fuzzy metric space 8 megha shrivastava
Fixed Point Theorem in Fuzzy Metric Space Using (CLRg) Property
Fixed point theorems for four mappings in fuzzy metric space using implicit r...
On fixed point theorems in fuzzy 2 metric spaces and fuzzy 3-metric spaces
Semicompatibility and fixed point theorem in fuzzy metric space using implici...
Semicompatibility and fixed point theorem in fuzzy metric space using implici...
A Common Fixed Point Theorem on Fuzzy Metric Space Using Weakly Compatible an...
On fixed point theorems in fuzzy metric spaces in integral type
Fixed point theorems in random fuzzy metric space through
Some properties of two-fuzzy Nor med spaces
On fixed point theorems in fuzzy metric spaces
Ad

More from ijtsrd (20)

PDF
A Study of School Dropout in Rural Districts of Darjeeling and Its Causes
PDF
Pre extension Demonstration and Evaluation of Soybean Technologies in Fedis D...
PDF
Pre extension Demonstration and Evaluation of Potato Technologies in Selected...
PDF
Pre extension Demonstration and Evaluation of Animal Drawn Potato Digger in S...
PDF
Pre extension Demonstration and Evaluation of Drought Tolerant and Early Matu...
PDF
Pre extension Demonstration and Evaluation of Double Cropping Practice Legume...
PDF
Pre extension Demonstration and Evaluation of Common Bean Technology in Low L...
PDF
Enhancing Image Quality in Compression and Fading Channels A Wavelet Based Ap...
PDF
Manpower Training and Employee Performance in Mellienium Ltdawka, Anambra State
PDF
A Statistical Analysis on the Growth Rate of Selected Sectors of Nigerian Eco...
PDF
Automatic Accident Detection and Emergency Alert System using IoT
PDF
Corporate Social Responsibility Dimensions and Corporate Image of Selected Up...
PDF
The Role of Media in Tribal Health and Educational Progress of Odisha
PDF
Advancements and Future Trends in Advanced Quantum Algorithms A Prompt Scienc...
PDF
A Study on Seismic Analysis of High Rise Building with Mass Irregularities, T...
PDF
Descriptive Study to Assess the Knowledge of B.Sc. Interns Regarding Biomedic...
PDF
Performance of Grid Connected Solar PV Power Plant at Clear Sky Day
PDF
Vitiligo Treated Homoeopathically A Case Report
PDF
Vitiligo Treated Homoeopathically A Case Report
PDF
Uterine Fibroids Homoeopathic Perspectives
A Study of School Dropout in Rural Districts of Darjeeling and Its Causes
Pre extension Demonstration and Evaluation of Soybean Technologies in Fedis D...
Pre extension Demonstration and Evaluation of Potato Technologies in Selected...
Pre extension Demonstration and Evaluation of Animal Drawn Potato Digger in S...
Pre extension Demonstration and Evaluation of Drought Tolerant and Early Matu...
Pre extension Demonstration and Evaluation of Double Cropping Practice Legume...
Pre extension Demonstration and Evaluation of Common Bean Technology in Low L...
Enhancing Image Quality in Compression and Fading Channels A Wavelet Based Ap...
Manpower Training and Employee Performance in Mellienium Ltdawka, Anambra State
A Statistical Analysis on the Growth Rate of Selected Sectors of Nigerian Eco...
Automatic Accident Detection and Emergency Alert System using IoT
Corporate Social Responsibility Dimensions and Corporate Image of Selected Up...
The Role of Media in Tribal Health and Educational Progress of Odisha
Advancements and Future Trends in Advanced Quantum Algorithms A Prompt Scienc...
A Study on Seismic Analysis of High Rise Building with Mass Irregularities, T...
Descriptive Study to Assess the Knowledge of B.Sc. Interns Regarding Biomedic...
Performance of Grid Connected Solar PV Power Plant at Clear Sky Day
Vitiligo Treated Homoeopathically A Case Report
Vitiligo Treated Homoeopathically A Case Report
Uterine Fibroids Homoeopathic Perspectives

Recently uploaded (20)

PPTX
PPT- ENG7_QUARTER1_LESSON1_WEEK1. IMAGERY -DESCRIPTIONS pptx.pptx
PDF
Supply Chain Operations Speaking Notes -ICLT Program
PDF
O7-L3 Supply Chain Operations - ICLT Program
PPTX
Introduction_to_Human_Anatomy_and_Physiology_for_B.Pharm.pptx
PDF
Insiders guide to clinical Medicine.pdf
PPTX
Microbial diseases, their pathogenesis and prophylaxis
PDF
Black Hat USA 2025 - Micro ICS Summit - ICS/OT Threat Landscape
PPTX
Cell Types and Its function , kingdom of life
PDF
102 student loan defaulters named and shamed – Is someone you know on the list?
PPTX
IMMUNITY IMMUNITY refers to protection against infection, and the immune syst...
PPTX
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
PDF
grade 11-chemistry_fetena_net_5883.pdf teacher guide for all student
PPTX
Cell Structure & Organelles in detailed.
PDF
Complications of Minimal Access Surgery at WLH
PDF
Abdominal Access Techniques with Prof. Dr. R K Mishra
PPTX
1st Inaugural Professorial Lecture held on 19th February 2020 (Governance and...
PPTX
Lesson notes of climatology university.
PDF
2.FourierTransform-ShortQuestionswithAnswers.pdf
PPTX
Pharmacology of Heart Failure /Pharmacotherapy of CHF
PDF
O5-L3 Freight Transport Ops (International) V1.pdf
PPT- ENG7_QUARTER1_LESSON1_WEEK1. IMAGERY -DESCRIPTIONS pptx.pptx
Supply Chain Operations Speaking Notes -ICLT Program
O7-L3 Supply Chain Operations - ICLT Program
Introduction_to_Human_Anatomy_and_Physiology_for_B.Pharm.pptx
Insiders guide to clinical Medicine.pdf
Microbial diseases, their pathogenesis and prophylaxis
Black Hat USA 2025 - Micro ICS Summit - ICS/OT Threat Landscape
Cell Types and Its function , kingdom of life
102 student loan defaulters named and shamed – Is someone you know on the list?
IMMUNITY IMMUNITY refers to protection against infection, and the immune syst...
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
grade 11-chemistry_fetena_net_5883.pdf teacher guide for all student
Cell Structure & Organelles in detailed.
Complications of Minimal Access Surgery at WLH
Abdominal Access Techniques with Prof. Dr. R K Mishra
1st Inaugural Professorial Lecture held on 19th February 2020 (Governance and...
Lesson notes of climatology university.
2.FourierTransform-ShortQuestionswithAnswers.pdf
Pharmacology of Heart Failure /Pharmacotherapy of CHF
O5-L3 Freight Transport Ops (International) V1.pdf

An Altering Distance Function in Fuzzy Metric Fixed Point Theorems

  • 1. @ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 350 ISSN No: 2456 - 6470 | www.ijtsrd.com | Volume - 1 | Issue – 5 International Journal of Trend in Scientific Research and Development (IJTSRD) UGC Approved International Open Access Journal An Altering Distance Function in Fuzzy Metric Fixed Point Theorems Dr C Vijender Dept of Mathematics, Sreenidhi Institute of Sciece and Technology, Hyderabad, India ABSTRACT The aim of this paper is to improve conditions proposed in recently published fixed point results for complete and compact fuzzy metric spaces. For this purpose, the altering distance functions are used. Moreover, in some of the results presented the class of t-norms is extended by using the theory of countable extensions of t-norms. Keywords: Fixed point, Cauchy sequence, t-norm, altering distance, fuzzy metric space 1. Introduction and Preliminaries: In the fixed point theory in metric space an important place occupies the Banach contraction principle [1]. The mentioned theorem is generalized in metric spaces as well as in its various generalizations. In particular, the Banach contraction principle is observed in fuzzy metric spaces. There are several definitions of the fuzzy metric space [2–4]. George and Veeramani introduced the notion of a fuzzy metric space based on the theory of fuzzy sets, earlier introduced by Zadeh [5], and they obtained a Hausdorff topology for this type of fuzzy metric spaces [2, 3]. Recently, Shen et al. [6] introduced the notion of altering distance in fuzzy metric space (X,M,T) and by using the contraction condition φ(M(fx, fy, t))≤k(t)⋅φ(M(x, y, t)), x, y∈X, x≠y, t>0, (1) Obtained fixed point results for f: X→X. Using the same altering distance in this paper several fixed point results are proved in complete and compact fuzzy metric spaces introducing stronger contraction conditions than (1). Likewise, the contraction condition given in [7] is improved by using the altering distance, as well as by extending the class of t-norms. First, the basic definitions and facts are reviewed. Definition 1.1 A mapping T:[0,1]×[0,1]→[0,1] is called a triangular norm (t-norm) if the following conditions are satisfied: 1. (T1) T(a,1)=a, a∈[0,1],
  • 2. International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470 @ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 351 2. (T2) T(a, b)=T(b, a), a, b∈[0,1], 3. (T3) a≥b, c≥d⇒T(a, c)≥T(b, d), a, b, c, d∈[0,1], 4. (T4)T(a,T(b,c))=T(T(a,b),c), a,b,c∈[0,1]. Basic examples are TP(x, y)=x⋅y, TM(x, y)=min{x, y}, TL(x, y)=max{x+y−1,0}, and TD(x, y) ={min(x, y),0,max(x, y)=1}, otherwise.TD(x, y) =    otherwise0, 1,=y)max(x,y),min(x, Definition 1.2 A t-norm T is said to be positive if T(a, b)>0 whenever a, b∈(0,1]. Definition 1.3 [2, 3] The 3-tuple (X, M, T) is said to be a fuzzy metric space if X is an arbitrary set, T is a continuous t- norm, and M is a fuzzy set on X2 ×(0,∞) such that the following conditions are satisfied: (FM1) M(x, y, t)>0, x, y∈X, t>0, (FM2) M(x, y, t)=1, t>0⇔x=y, (FM3 )M(x, y, t)=M(y, x, t), x, y∈X, tt>0, (FM4) T(M(x, y, t),M(y, z, s))≤M(x, z, t+s), x, y, z∈X, t, s>0, (FM5 )M(x, y,⋅):(0,∞)→[0,1] is continuous for every x, y∈X. If (FM4) is replaced by condition (FM4′)T(M(x, y, t),M(y, z, t))≤M(x, z, t), x, y, z∈X, t>0, then (X, M, T) is called a strong fuzzy metric space. Moreover, if (X,M,T) is a fuzzy metric space, then M is a continuous function on X×X×(0,∞) and M(x,y,⋅) is non-decreasing for all x, y∈X. If (X,M,T) is a fuzzy metric space, then M generates the Hausdorff topology on X (see [2, 3]) with a base of open sets {U(x, r, t):x∈X, r∈(0,1),t>0, where U(x, r, t)={y:y∈X,M(x, y, t)>1−r}. Definition 1.4 [2, 3]Let (X, M, T) be a fuzzy metric space. 1. (a) A sequence {xn}n∈N is a Cauchy sequence in (X, M, T) if for each ε∈(0,1) and each t>0 there exist n0=n0(ε, t)∈N such that M(xn, xm, t)>1−ε, for all n, m≥n0. 2. (b) A sequence {xn}n∈N converges to x in (X, M, T) if for each ε∈(0,1) and each t>0there exists n0=n0(ε,t)∈N such that M(xn, x, t)>1−ε for all n≥n0. Then we say that {xn}n∈N is convergent. 3. (c) A fuzzy metric space (X, M, T) is complete if every Cauchy sequence in (X, M, T) is convergent.
  • 3. International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470 @ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 352 4. (d) A fuzzy metric space is compact if every sequence in X has a convergent subsequence. It is well known [2] that in a fuzzy metric space every compact set is closed and bounded. Definition 1.5 [8] Let T be a t-norm and Tn:[0,1]→[0,1], n∈N, be defined in the following way: T1(x)=T(x, x),Tn+1(x)=T(Tn(x), x), n∈N, x∈[0,1]. We say that the t-norm T is of H-type if the family {Tn(x)}n∈N is equi-continuous at x=1. Each t-norm T can be extended in a unique way to an n-ary operation taking for (x1,…,xn)∈[0,1]n the values ii xT 0 1 =1, i n i xT 1 =T( i n i xT 1 1   , xn). A t-norm T can be extended to a countable infinite operation taking for any sequence (xn)n∈N from [0, 1] the value ii xT  1 =limn→∞ i n i xT 1 . The sequence ( i n i xT 1 )n∈N is non-increasing and bounded from below, hence the limit ii xT  1 exists. In the fixed point theoryit is of interest to investigate the classes of t-norms T and sequences (xn) from the interval [0, 1] such that limn→∞xn=1 and limn→∞ ini xT   =limn→∞ inni xT    . (2) It is obvious that limn→∞ ini xT   =1⇔     1 )1( i ix <∞ (3) for T=TL and T=TP. (4) For T≥TL we have the following implication: limn→∞ ini xT   =1⇔     1 )1( i ix <∞. (5) Proposition 1.7 Let(xn)n∈N be a sequence of numbers from [0, 1] such that limn→∞xn=1and the t-norm T is of H-type. Then limn→∞ ini xT   =limn→∞ inni xT    = 1. Theorem 1.8 Let(X, M, T) be a fuzzy metric space, such that limt→∞M(x, y, t)=1. Then if for some σ0∈(0, 1)and somex0, y0∈X the following hold: limn→∞ ) 1 ,,( 0 00 ini yxMT    =1, then imn→∞ ) 1 ,,( 00 ini yxMT    =1, for every σ∈(0,1).
  • 4. International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470 @ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 353 2. Main results: A function φ:[0,1]→[0,1] is called an altering distance function if it satisfies the following properties: 1. (AD1) φ is strictly decreasing and continuous; 2. (AD2) φ(λ)=0 if and only if λ=1. It is obvious that limλ→1 − φ(λ)=φ(1)=0. Theorem 2.1 Let(X, M, T)be a complete fuzzy metric space, Tbe a triangular norm and f:X→X. If there exist k1, k2:(0,∞)→(0,1), and an altering distance functionφsuch that the following condition: The following condition φ(M(fx, fy, t)) ≤ k1(t)⋅min{φ(M(x, y, t)), φ(M(x, fx, t)), φ(M(x, fy, 2t)), φ(M(y, fy, t))} +k2(t)⋅φ(M(fx, y, 2t), x, y∈X, x≠y, t>0, (6) is satisfied, then f has a unique fixed point. Proof We observe a sequence {xn},where x0∈X and xn+1=fxn, n∈N∪{0}. Note that, if there exists n0∈N∪{0} such that 0nx = 10 nx =f 0nx , then 0nx is a fixed point of f. Further, we assume that xn≠xn+1, n∈N0. Then 0<M(xn, xn+1, t)<1, t>0, n∈N0. (7) If the pair x=xn−1, y=xn satisfy condition (6) then φ(M(xn,xn+1,t))≤k1(t)⋅min{φ(M(xn−1,xn,t)),φ(M(xn−1,xn,t)),φ(M(xn−1,xn+1,2t)),φ(M(xn,xn+1,t))} +k2(t)⋅φ(M(xn,xn,2t)) = k1(t)⋅min{φ(M(xn−1,xn,t)),φ(M(xn−1,xn+1,2t)),φ(M(xn,xn+1,t))},n∈N,t>0. (8) By (FM4) and (AD1) we have φ(M(xn−1,xn+1,2t))≤φ(T(M(xn−1,xn,t),M(xn,xn+1,t))), n∈N, t>0, and further φ(M(xn,xn+1,t))≤k1(t)⋅min{φ(M(xn−1,xn,t)),φ(T(M(xn−1,xn,t),M(xn,xn+1,t))),φ(M(xn,xn+1,t))}, n∈N, t>0. (9) Note that, by (T1), (T2), and (T3), it follows that a=T(a,1)≥T(a, b) and b=T(b,1)≥T(a, b) and min{φ(a), φ(b), φ(T(a, b))}=min{φ(a), φ(b)}, a, b∈[0, 1]. Then by (9) we have φ(M(xn,xn+1,t))≤k1(t)⋅min{φ(M(xn−1,xn,t)),φ(M(xn,xn+1,t))}, n∈N, t>0. (10) If we suppose that min{φ(M(xn−1,xn,t)),φ(M(xn,xn+1,t))}=φ(M(xn,xn+1,t)), n∈N, t>0, then φ(M(xn,xn+1,t))≤k1(t)⋅φ(M(xn,xn+1,t))<φ(M(xn,xn+1,t)), n∈N, t>0. So, by contradiction it follows that min{φ(M(xn−1,xn,t)),φ(M(xn,xn+1,t))}=φ(M(xn−1,xn,t)), n∈N, t>0, and by (10) we get
  • 5. International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470 @ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 354 φ(M(xn,xn+1,t))≤k1(t)⋅φ(M(xn−1,xn,t))<φ(M(xn−1,xn,t)), n∈N, t>0. (11) By (AD1) and it follows that the sequence {M(xn,xn+1,t)} is strictly increasing with respect to n, for every t>0. This fact, together with (7), implies that limn→∞M(xn,xn+1,t)=a(t), a:(0,∞)→[0,1]. (12) But if we suppose that a(t)≠1, for some t>0, and let n→∞ in (11) we get a contradiction: φ(a(t))≤k1(t)⋅φ(a(t))<φ(a(t)). (13) So, a≡1 in (12). Now we will show that the sequence {xn} is a Cauchy sequence. Suppose the contrary, i.e. that there exist 0<ε<10<ε<1, t>0, and two sequences of integers {p(n)}, {q(n)}, p(n)>q(n)>n, n∈N∪{0}, such that M(xp(n),xq(n),t)≤1−ε and M(xp(n)−1,xq(n),t)>1−ε. (14) By (12) for every ε1, 0<ε1<ε0, it is possible to find a positive integer n1, such that for all n>n1, M(xp(n),xp(n)−1,t)≥1−ε1andM(xq(n),xq(n)−1,t)≥1−ε1. (15) Then we have M(xp(n)−1,xq(n)−1,t)≥T(M(xp(n)−1,xq(n), 2 t ),M(xq(n),xq(n)−1, 2 t )), n∈N. (16) Now using (14), (15), (16), and (T3) we have M(xp(n)−1,xq(n)−1,t)≥T(1−ε,1−ε1), n>n1. (17) Since ε1is arbitrary and T is continuous we have M(xp(n)−1,xq(n)−1,t)≥T(1−ε,1)=1−ε, n>n1. (18) Similarly, by (15) and (18) M(xp(n),xq(n)−1,t)≥1−ε and M(xp(n),xq(n),t)≥1−ε, n>n1. (19) By (14) and (19) it follows that limn→∞M(xp(n),xq(n),t)=1−ε. (20) If the pair x=xp(n)−1, y=xq(n)−1 satisfy condition (6) then φ(M(xp(n),xq(n),t))≤k1(t)⋅min{φ(M(xp(n)−1,xq(n)−1,t)),φ(M(xp(n)−1,xp(n),t)),φ(M(xp(n)−1,xq(n),2t)),φ(M(xq(n)−1,xq(n),t))} + k2(t)⋅φ(M(xp(n),xq(n)−1,2t)). (21) Letting n→∞, by (12), (14), (19), and (20), we have φ(1−ε)≤k1(t)⋅min{φ(1−ε),φ(1),φ(1−ε),φ(1)}+k2(t)⋅φ(1−ε)<φ(1−ε). (22) This is a contradiction. So {xn} is a Cauchy sequence. Since (X, M, T) is a complete fuzzy metric space there exists x∈X such that limn→∞xn=x. Let us prove, by contradiction, that x is fixed point for f. Suppose that x≠fx. If the pair x=x, y=xn−1satisfy condition (6) then φ(M(fx,xn,t))≤k1(t)⋅min{φ(M(x,xn−1,t)),φ(M(x,fx,t)),φ(M(x,xn,2t)),φ(M(xn−1,xn,t))}+k2(t)⋅φ(M(fx,xn−1,2t)), n∈N, t>0. (23) Letting n→∞ in (23) we have φ(M(fx,x,t))≤k1(t)⋅min{φ(M(x,x,t)),φ(M(x,fx,t)),φ(M(x,x,2t))} +k2(t)⋅φ(M(fx,x,2t))<φ(M(fx,x,2t)) < φ(M(fx,x,t)), t>0. So, by contradiction we conclude that x=fx.
  • 6. International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470 @ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 355 Assume now that there exists another fixed point v, v≠x. Then applying (6) we have φ(M(x,v,t))≤k1(t)⋅min{φ(M(x,v,t)),φ(M(x,x,t)),φ(M(x,v,2t)),φ(M(v,v,t))} +k2(t)⋅φ(M(x,v,2t))<φ(M(x,v,2t))<φ(M(x,v,t)),t>0. (24) So, we get a contradiction, and x is a unique fixed point of the function f. Theorem 2.2 Let (X, M, T) be a complete fuzzy metric space and f:X→X. If there exist k1,k2:(0,∞)→[0,1), k3:(0,∞)→(0,1),  3 1 )( i i tk <1, and an altering distance functionφsuch that the following condition is satisfied: φ(M(fx,fy,t))≤k1(t)⋅φ(M(x,fx,t))+k2(t)⋅φ(M(y,fy,t))+k3(t)⋅φ(M(x,y,t)) (25) for all x, y∈X, x≠y, and t>0, then f has a unique fixed point. Proof Let x0∈X and xn+1=fxn. Suppose that xn≠xn+1, n∈N0, i.e. 0<M(xn,xn+1,t)<1, n∈N0, t>0. (26) By (25), with x=xn−1, y=xn, we have φ(M(xn,xn+1,t))≤k1(t)⋅φ(M(xn−1,xn,t))+k2(t)⋅φ(M(xn,xn+1,t))+k3(t)⋅φ(M(xn−1,xn,t)), n∈N0, t>0, (27) i.e. φ(M(xn,xn+1,t))≤ (t)k-1 (t)k+(t)k 2 31 φ(M(xn−1,xn,t)), n∈N0, t>0. (28) Since φ is strictly decreasing, the sequence {M(xn, xn+1, t)} is strictly increasing sequence, with respect to n, for every t>0. Hence, by (26) and a similar method to Theorem 2.1 it could be shown that limn→∞M(xn, xn+1, t)=1, t>0, (29) and {xn} is a Cauchy sequence. So, there exists x∈X such that limn→∞xn=x. Now, by (25) with x=xn−1, y=x we have φ(M(xn,fx,t))≤k1(t)⋅φ(M(xn−1,xn,t))+k2(t)⋅φ(M(x,fx,t))+k3(t)⋅φ(M(xn−1,x,t)), (30) n∈N, t>0. Letting n→∞ in (30) we have φ(M(x,fx,t))≤k1(t)⋅φ(1)+k2(t)⋅φ(M(x,fx,t))+k3(t)⋅φ(1) =k2(t)⋅φ(M(x,fx,t)),t>0, (31) i.e. (1−k2(t))φ(M(x,fx,t))≤0, t>0. (32) It follows that φ(M(x, fx, t))=0 and x=fx. Assume now that there exists a fixed point v, v≠x. Then by (25) we have φ(M(fx,fv,t))≤k1(t)⋅φ(M(x,fx,t))+k2(t)⋅φ(M(v,fv,t))+k3(t)⋅φ(M(x,v,t))<φ(M(x,v,t)),t>0, (33) which is a contradiction. So, x is a unique fixed point of f. Remark 2.3 If in (25) we take k1(t)=k2(t)=0, t>0, we get condition (1), and Theorem 2.2. is a generalization of the result given in [24].
  • 7. International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470 @ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 356 In the following theorems conditions (34) and (47) proposed in [32] are used to obtain fixed point results in complete and compact strong fuzzy metric spaces. Theorem 2.4 Let (X, M, T)be a complete strong fuzzy metric space with positive t-norm T and let f:X→X. If there exists an altering distance function φ and ai=ai(t), i=1,2,…,5, ai>0, a1+a2+2a3+2a4+a5<1, such that φ(T(r,s))≤φ(r)+φ(s),r,s∈{M(x,fx,t):x∈X,t>0} (34) and φ(M(fx,fy,t))≤a1φ(M(fx,x,t))+a2φ(M(fy,y,t))+a3φ(M(fx,y,t))+a4φ(M(x,fy,t))+a5φ(M(x,y,t)), x, y∈X, t>0, (35) then f has a unique fixed point. Proof Let x0∈X be arbitrary. Define a sequence (xn)n∈N such that xn=fxn−1=fn x0. By (35) with x=xn−1 and y=xn we have φ(M(xn,xn+1,t))≤a1φ(M(xn,xn−1,t))+a2φ(M(xn+1,xn,t))+a3φ(M(xn,xn,t))+a4φ(M(xn−1,xn+1,t))+ a5φ(M(xn−1,xn,t)), n∈N, t>0. (36) Since (X, M, T) is a strong fuzzy metric space we have M(xn−1,xn+1,t)≥T(M(xn−1,xn,t),M(xn,xn+1,t)), n∈N, t>0, using (34) we obtained φ(M(xn−1,xn+1,t))≤φ(T(M(xn−1,xn,t),M(xn,xn+1,t))) ≤φ(M(xn−1,xn,t))+φ(M(xn,xn+1,t)), n∈N, t>0. By (36) it follows that φ(M(xn,xn+1,t))≤ 42 541 a-a-1 a+a+a φ(M(xn−1,xn,t)) <φ(M(xn−1,xn,t)), n∈N, t>0, i.e. M(xn,xn+1,t)>M(xn−1,xn,t), n∈N, t>0. So, the sequence {M(xn,xn+1,t)} is increasing and bounded and there exists limn→∞M(xn,xn+1,t)=p(t), p:(0,∞)→[0,1]. Suppose that p(t)≠1, for some t>0. Then, if we take n→∞ in (36) φ(p(t))≤(a1+a2+2a4+a5)φ(p(t))<φ(p(t)), and we get a contradiction, i.e. limn→∞M(xn,xn+1,t)=1, t>0. It remains to prove that {xn}n∈N is a Cauchy sequence. Suppose the contrary, i.e. that there exist ε>0, t>0, such that for every s∈N there exist m(s)>n(s)≥s, and M(xm(s),xn(s),t)<1−ε. (37) Let m(s) be the least integer exceeding n(s) satisfying the above property, i.e.
  • 8. International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470 @ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 357 M(xm(s)−1,xn(s),t)≥1−ε, s∈N, t>0. (38) Then by (35) with x=xm(s)−1 and y=xn(s)−1, for each s∈N and t>0 we have φ(M(xm(s),xn(s),t))≤a1φ(M(xm(s),xm(s)−1,t))+a2φ(M(xn(s),xn(s)−1,t))+a3φ(M(xm(s),xn(s)−1,t))+ a4φ(M(xm(s)−1,xn(s),t))+a5φ(M(xm(s)−1,xn(s)−1,t)). (39) By (FM4′), (34), and (AD1) it follows that φ(M(xm(s),xn(s)−1,t))≤φ(M(xm(s),xn(s),t))+φ(M(xn(s),xn(s)−1,t)) (40) and φ(M(xm(s)−1,xn(s)−1,t))≤φ(M(xm(s)−1,xm(s),t))+φ(M(xm(s),xn(s)−1,t)). Combining the previous inequalities we get φ(M(xm(s)−1,xn(s)−1,t))≤φ(M(xm(s)−1,xm(s),t))+φ(M(xm(s),xn(s),t))+φ(M(xn(s),xn(s)−1,t)). (41) Also, by (38) and (AD1) we have φ(M(xm(s)−1,xn(s),t))≤φ(1−ε). (42) Inserting (40), (41), and (42) in (39) we obtain φ(M(xm(s),xn(s),t))≤a1φ(M(xm(s),xm(s)−1,t))+a2φ(M(xn(s),xn(s)−1,t))+a3φ(M(xm(s),xn(s),t))+a3φ(M(xn(s),xn(s)−1,t))+a4φ(1− ε)+a5φ(M(xm(s),xm(s)−1,t))+a5φ(M(xm(s),xn(s),t))+a5φ(M(xn(s),xn(s)−1,t)), i.e. (1−a3−a5)φ(M(xm(s),xn(s),t))≤(a1+a5)φ(M(xm(s),xm(s)−1,t))+(a2+a3+a5)φ(M(xn(s),xn(s)−1,t))+a4φ(1−ε). (43) By (37) it follows that φ(M(xm(s),xn(s),t))>φ(1−ε), (44) and (43) and (44) imply (1−a3−a5)φ(1−ε)<(a1+a5)φ(M(xm(s),xm(s)−1,t))+(a2+a3+a5)φ(M(xn(s),xn(s)−1,t))+a4φ(1−ε). (45) Letting s→∞ in (45) we have (1−a3−a5)φ(1−ε)≤a4φ(1−ε), i.e. (1−a3−a4−a5)φ(1−ε)≤0, which implies that ε=0 and we get a contradiction. So, {xn}n∈N is a Cauchy sequence and there exist z∈X such that limn→∞xn=z. Now, by (35) with x=xn−1 and y=z, we have φ(M(xn,fz,t))≤a1φ(M(xn,xn−1,t))+a2φ(M(fz,z,t))+a3φ(M(xn,z,t))+a4φ(M(xn−1,fz,t))+ a5φ(M(xn−1,z,t)), n∈N, t>0. (46) Letting n→∞ in (46) we have (1−a2−a4)φ(M(z,fz,t))≤0, t>0. Therefore, M(z, fz, t)=1, t>0, and z=fz. Suppose now that there exists another fixed point w=fw. By (35) with x=z and y=w we get (1−a3−a4−a5)φ(M(z,w,t))≤0, t>0, i.e.z=w. 3. Conclusion:
  • 9. International Journal of Trend in Scientific Research and Development (IJTSRD) ISSN: 2456-6470 @ IJTSRD | Available Online @ www.ijtsrd.com | Volume – 1 | Issue – 5 | July-Aug 2017 Page: 358 In this paper several fixed point theorems in complete and compact fuzzy metric spaces are proved. For this purpose new contraction types of mappings with altering distances are proposed. References: 1) Banach, S: Sur les opérationsdans les ensembles abstraitsetleur application aux équationsintégrales. Fundam. Math. 3, 133-181 (1922) 2) George, A, Veeramani, P: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 64, 395-399 (1994) 3) George, A, Veeramani, P: On some results of analysis for fuzzy metric spaces. Fuzzy Sets Syst. 90, 365-368 (1997) 4) Kramosil, I, Michalek, J: Fuzzy metric and statistical metric spaces. Kybernetika 11, 336-344 (1975) 5) Zadeh, LA: Fuzzy sets. Inf. Control 8, 338-353 (1965) 6) Shen, Y, Qiu, D, Chen, W: Fixed point theorems in fuzzy metric spaces. Appl. Math. Lett. 25, 138-141 (2012) 7) Ćirić, L: Some new results for Banach contractions and Edelstein contractive mappings on fuzzy metric spaces. Chaos Solitons Fractals 42, 146-154 (2009) 8) Altun, I, Mihet, D: Ordered non-Archimedean fuzzy metric spaces and some fixed point results. Fixed Point Theory Appl. 2010, 782680 (2010)