SlideShare a Scribd company logo
1 of 9
Download to read offline
@ 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

What's hot

B043007014
B043007014B043007014
B043007014inventy
 
Fixed Point Theorem in Fuzzy Metric Space
Fixed Point Theorem in Fuzzy Metric SpaceFixed Point Theorem in Fuzzy Metric Space
Fixed Point Theorem in Fuzzy Metric SpaceIJERA Editor
 
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...
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...mathsjournal
 
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...
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...mathsjournal
 
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...
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...mathsjournal
 
On Some Notable Properties of Zero Divisors in the Ring of Integers Modulo m ...
On Some Notable Properties of Zero Divisors in the Ring of Integers Modulo m ...On Some Notable Properties of Zero Divisors in the Ring of Integers Modulo m ...
On Some Notable Properties of Zero Divisors in the Ring of Integers Modulo m ...inventionjournals
 
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 propertyAlexander Decker
 
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...Alexander Decker
 
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 contractionAlexander Decker
 
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 spaceAlexander Decker
 
Common fixed points of weakly reciprocally continuous maps using a gauge func...
Common fixed points of weakly reciprocally continuous maps using a gauge func...Common fixed points of weakly reciprocally continuous maps using a gauge func...
Common fixed points of weakly reciprocally continuous maps using a gauge func...Alexander Decker
 
Generalized fixed point theorems for compatible mapping in fuzzy 3 metric spa...
Generalized fixed point theorems for compatible mapping in fuzzy 3 metric spa...Generalized fixed point theorems for compatible mapping in fuzzy 3 metric spa...
Generalized fixed point theorems for compatible mapping in fuzzy 3 metric spa...Alexander Decker
 
11.common fixed points of weakly reciprocally continuous maps using a gauge f...
11.common fixed points of weakly reciprocally continuous maps using a gauge f...11.common fixed points of weakly reciprocally continuous maps using a gauge f...
11.common fixed points of weakly reciprocally continuous maps using a gauge f...Alexander Decker
 
Nonlinear Filtering and Path Integral Method (Paper Review)
Nonlinear Filtering and Path Integral Method (Paper Review)Nonlinear Filtering and Path Integral Method (Paper Review)
Nonlinear Filtering and Path Integral Method (Paper Review)Kohta Ishikawa
 
Stereographic Circular Normal Moment Distribution
Stereographic Circular Normal Moment DistributionStereographic Circular Normal Moment Distribution
Stereographic Circular Normal Moment Distributionmathsjournal
 

What's hot (16)

B043007014
B043007014B043007014
B043007014
 
Fixed Point Theorem in Fuzzy Metric Space
Fixed Point Theorem in Fuzzy Metric SpaceFixed Point Theorem in Fuzzy Metric Space
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...
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...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...
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 ...
On Some Notable Properties of Zero Divisors in the Ring of Integers Modulo m ...On Some Notable Properties of Zero Divisors in the Ring of Integers Modulo m ...
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
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
 
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...
 
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
 
41-50
41-5041-50
41-50
 
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
 
Common fixed points of weakly reciprocally continuous maps using a gauge func...
Common fixed points of weakly reciprocally continuous maps using a gauge func...Common fixed points of weakly reciprocally continuous maps using a gauge func...
Common fixed points of weakly reciprocally continuous maps using a gauge func...
 
Generalized fixed point theorems for compatible mapping in fuzzy 3 metric spa...
Generalized fixed point theorems for compatible mapping in fuzzy 3 metric spa...Generalized fixed point theorems for compatible mapping in fuzzy 3 metric spa...
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...
11.common fixed points of weakly reciprocally continuous maps using a gauge f...11.common fixed points of weakly reciprocally continuous maps using a gauge f...
11.common fixed points of weakly reciprocally continuous maps using a gauge f...
 
Nonlinear Filtering and Path Integral Method (Paper Review)
Nonlinear Filtering and Path Integral Method (Paper Review)Nonlinear Filtering and Path Integral Method (Paper Review)
Nonlinear Filtering and Path Integral Method (Paper Review)
 
Stereographic Circular Normal Moment Distribution
Stereographic Circular Normal Moment DistributionStereographic Circular Normal Moment Distribution
Stereographic Circular Normal Moment Distribution
 

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

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 theoremsAlexander Decker
 
research paper publication
research paper publicationresearch paper publication
research paper publicationsamuu45sam
 
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 spacesAlexander Decker
 
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 spacesAlexander Decker
 
On the Fixed Point Extension Results in the Differential Systems of Ordinary ...
On the Fixed Point Extension Results in the Differential Systems of Ordinary ...On the Fixed Point Extension Results in the Differential Systems of Ordinary ...
On the Fixed Point Extension Results in the Differential Systems of Ordinary ...BRNSS Publication Hub
 
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 typeAlexander Decker
 
somenath_fixedpoint_dasguptaIMF17-20-2013
somenath_fixedpoint_dasguptaIMF17-20-2013somenath_fixedpoint_dasguptaIMF17-20-2013
somenath_fixedpoint_dasguptaIMF17-20-2013Somenath Bandyopadhyay
 
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) Propertyinventionjournals
 
B043007014
B043007014B043007014
B043007014inventy
 
B043007014
B043007014B043007014
B043007014inventy
 
The existence of common fixed point theorems of generalized contractive mappi...
The existence of common fixed point theorems of generalized contractive mappi...The existence of common fixed point theorems of generalized contractive mappi...
The existence of common fixed point theorems of generalized contractive mappi...Alexander Decker
 
On estimating the integrated co volatility using
On estimating the integrated co volatility usingOn estimating the integrated co volatility using
On estimating the integrated co volatility usingkkislas
 
NONLINEAR DIFFERENCE EQUATIONS WITH SMALL PARAMETERS OF MULTIPLE SCALES
NONLINEAR DIFFERENCE EQUATIONS WITH SMALL PARAMETERS OF MULTIPLE SCALESNONLINEAR DIFFERENCE EQUATIONS WITH SMALL PARAMETERS OF MULTIPLE SCALES
NONLINEAR DIFFERENCE EQUATIONS WITH SMALL PARAMETERS OF MULTIPLE SCALESTahia ZERIZER
 
Some New Fixed Point Theorems on S Metric Spaces
Some New Fixed Point Theorems on S Metric SpacesSome New Fixed Point Theorems on S Metric Spaces
Some New Fixed Point Theorems on S Metric Spacesijtsrd
 
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...eSAT Publishing House
 
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...eSAT Journals
 
Fixed point theorems for four mappings in fuzzy metric space using implicit r...
Fixed point theorems for four mappings in fuzzy metric space using implicit r...Fixed point theorems for four mappings in fuzzy metric space using implicit r...
Fixed point theorems for four mappings in fuzzy metric space using implicit r...Alexander Decker
 

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

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
 
research paper publication
research paper publicationresearch paper publication
research paper publication
 
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
 
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 Fixed Point Extension Results in the Differential Systems of Ordinary ...
On the Fixed Point Extension Results in the Differential Systems of Ordinary ...On the Fixed Point Extension Results in the Differential Systems of Ordinary ...
On the Fixed Point Extension Results in the Differential Systems of Ordinary ...
 
01_AJMS_185_19_RA.pdf
01_AJMS_185_19_RA.pdf01_AJMS_185_19_RA.pdf
01_AJMS_185_19_RA.pdf
 
01_AJMS_185_19_RA.pdf
01_AJMS_185_19_RA.pdf01_AJMS_185_19_RA.pdf
01_AJMS_185_19_RA.pdf
 
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
 
AJMS_403_22.pdf
AJMS_403_22.pdfAJMS_403_22.pdf
AJMS_403_22.pdf
 
somenath_fixedpoint_dasguptaIMF17-20-2013
somenath_fixedpoint_dasguptaIMF17-20-2013somenath_fixedpoint_dasguptaIMF17-20-2013
somenath_fixedpoint_dasguptaIMF17-20-2013
 
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
 
B043007014
B043007014B043007014
B043007014
 
B043007014
B043007014B043007014
B043007014
 
The existence of common fixed point theorems of generalized contractive mappi...
The existence of common fixed point theorems of generalized contractive mappi...The existence of common fixed point theorems of generalized contractive mappi...
The existence of common fixed point theorems of generalized contractive mappi...
 
On estimating the integrated co volatility using
On estimating the integrated co volatility usingOn estimating the integrated co volatility using
On estimating the integrated co volatility using
 
NONLINEAR DIFFERENCE EQUATIONS WITH SMALL PARAMETERS OF MULTIPLE SCALES
NONLINEAR DIFFERENCE EQUATIONS WITH SMALL PARAMETERS OF MULTIPLE SCALESNONLINEAR DIFFERENCE EQUATIONS WITH SMALL PARAMETERS OF MULTIPLE SCALES
NONLINEAR DIFFERENCE EQUATIONS WITH SMALL PARAMETERS OF MULTIPLE SCALES
 
Some New Fixed Point Theorems on S Metric Spaces
Some New Fixed Point Theorems on S Metric SpacesSome New Fixed Point Theorems on S Metric Spaces
Some New Fixed Point Theorems on S Metric Spaces
 
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...
 
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...
 
Fixed point theorems for four mappings in fuzzy metric space using implicit r...
Fixed point theorems for four mappings in fuzzy metric space using implicit r...Fixed point theorems for four mappings in fuzzy metric space using implicit r...
Fixed point theorems for four mappings in fuzzy metric space using implicit r...
 

More from ijtsrd

‘Six Sigma Technique’ A Journey Through its Implementation
‘Six Sigma Technique’ A Journey Through its Implementation‘Six Sigma Technique’ A Journey Through its Implementation
‘Six Sigma Technique’ A Journey Through its Implementationijtsrd
 
Edge Computing in Space Enhancing Data Processing and Communication for Space...
Edge Computing in Space Enhancing Data Processing and Communication for Space...Edge Computing in Space Enhancing Data Processing and Communication for Space...
Edge Computing in Space Enhancing Data Processing and Communication for Space...ijtsrd
 
Dynamics of Communal Politics in 21st Century India Challenges and Prospects
Dynamics of Communal Politics in 21st Century India Challenges and ProspectsDynamics of Communal Politics in 21st Century India Challenges and Prospects
Dynamics of Communal Politics in 21st Century India Challenges and Prospectsijtsrd
 
Assess Perspective and Knowledge of Healthcare Providers Towards Elehealth in...
Assess Perspective and Knowledge of Healthcare Providers Towards Elehealth in...Assess Perspective and Knowledge of Healthcare Providers Towards Elehealth in...
Assess Perspective and Knowledge of Healthcare Providers Towards Elehealth in...ijtsrd
 
The Impact of Digital Media on the Decentralization of Power and the Erosion ...
The Impact of Digital Media on the Decentralization of Power and the Erosion ...The Impact of Digital Media on the Decentralization of Power and the Erosion ...
The Impact of Digital Media on the Decentralization of Power and the Erosion ...ijtsrd
 
Online Voices, Offline Impact Ambedkars Ideals and Socio Political Inclusion ...
Online Voices, Offline Impact Ambedkars Ideals and Socio Political Inclusion ...Online Voices, Offline Impact Ambedkars Ideals and Socio Political Inclusion ...
Online Voices, Offline Impact Ambedkars Ideals and Socio Political Inclusion ...ijtsrd
 
Problems and Challenges of Agro Entreprenurship A Study
Problems and Challenges of Agro Entreprenurship A StudyProblems and Challenges of Agro Entreprenurship A Study
Problems and Challenges of Agro Entreprenurship A Studyijtsrd
 
Comparative Analysis of Total Corporate Disclosure of Selected IT Companies o...
Comparative Analysis of Total Corporate Disclosure of Selected IT Companies o...Comparative Analysis of Total Corporate Disclosure of Selected IT Companies o...
Comparative Analysis of Total Corporate Disclosure of Selected IT Companies o...ijtsrd
 
The Impact of Educational Background and Professional Training on Human Right...
The Impact of Educational Background and Professional Training on Human Right...The Impact of Educational Background and Professional Training on Human Right...
The Impact of Educational Background and Professional Training on Human Right...ijtsrd
 
A Study on the Effective Teaching Learning Process in English Curriculum at t...
A Study on the Effective Teaching Learning Process in English Curriculum at t...A Study on the Effective Teaching Learning Process in English Curriculum at t...
A Study on the Effective Teaching Learning Process in English Curriculum at t...ijtsrd
 
The Role of Mentoring and Its Influence on the Effectiveness of the Teaching ...
The Role of Mentoring and Its Influence on the Effectiveness of the Teaching ...The Role of Mentoring and Its Influence on the Effectiveness of the Teaching ...
The Role of Mentoring and Its Influence on the Effectiveness of the Teaching ...ijtsrd
 
Design Simulation and Hardware Construction of an Arduino Microcontroller Bas...
Design Simulation and Hardware Construction of an Arduino Microcontroller Bas...Design Simulation and Hardware Construction of an Arduino Microcontroller Bas...
Design Simulation and Hardware Construction of an Arduino Microcontroller Bas...ijtsrd
 
Sustainable Energy by Paul A. Adekunte | Matthew N. O. Sadiku | Janet O. Sadiku
Sustainable Energy by Paul A. Adekunte | Matthew N. O. Sadiku | Janet O. SadikuSustainable Energy by Paul A. Adekunte | Matthew N. O. Sadiku | Janet O. Sadiku
Sustainable Energy by Paul A. Adekunte | Matthew N. O. Sadiku | Janet O. Sadikuijtsrd
 
Concepts for Sudan Survey Act Implementations Executive Regulations and Stand...
Concepts for Sudan Survey Act Implementations Executive Regulations and Stand...Concepts for Sudan Survey Act Implementations Executive Regulations and Stand...
Concepts for Sudan Survey Act Implementations Executive Regulations and Stand...ijtsrd
 
Towards the Implementation of the Sudan Interpolated Geoid Model Khartoum Sta...
Towards the Implementation of the Sudan Interpolated Geoid Model Khartoum Sta...Towards the Implementation of the Sudan Interpolated Geoid Model Khartoum Sta...
Towards the Implementation of the Sudan Interpolated Geoid Model Khartoum Sta...ijtsrd
 
Activating Geospatial Information for Sudans Sustainable Investment Map
Activating Geospatial Information for Sudans Sustainable Investment MapActivating Geospatial Information for Sudans Sustainable Investment Map
Activating Geospatial Information for Sudans Sustainable Investment Mapijtsrd
 
Educational Unity Embracing Diversity for a Stronger Society
Educational Unity Embracing Diversity for a Stronger SocietyEducational Unity Embracing Diversity for a Stronger Society
Educational Unity Embracing Diversity for a Stronger Societyijtsrd
 
Integration of Indian Indigenous Knowledge System in Management Prospects and...
Integration of Indian Indigenous Knowledge System in Management Prospects and...Integration of Indian Indigenous Knowledge System in Management Prospects and...
Integration of Indian Indigenous Knowledge System in Management Prospects and...ijtsrd
 
DeepMask Transforming Face Mask Identification for Better Pandemic Control in...
DeepMask Transforming Face Mask Identification for Better Pandemic Control in...DeepMask Transforming Face Mask Identification for Better Pandemic Control in...
DeepMask Transforming Face Mask Identification for Better Pandemic Control in...ijtsrd
 
Streamlining Data Collection eCRF Design and Machine Learning
Streamlining Data Collection eCRF Design and Machine LearningStreamlining Data Collection eCRF Design and Machine Learning
Streamlining Data Collection eCRF Design and Machine Learningijtsrd
 

More from ijtsrd (20)

‘Six Sigma Technique’ A Journey Through its Implementation
‘Six Sigma Technique’ A Journey Through its Implementation‘Six Sigma Technique’ A Journey Through its Implementation
‘Six Sigma Technique’ A Journey Through its Implementation
 
Edge Computing in Space Enhancing Data Processing and Communication for Space...
Edge Computing in Space Enhancing Data Processing and Communication for Space...Edge Computing in Space Enhancing Data Processing and Communication for Space...
Edge Computing in Space Enhancing Data Processing and Communication for Space...
 
Dynamics of Communal Politics in 21st Century India Challenges and Prospects
Dynamics of Communal Politics in 21st Century India Challenges and ProspectsDynamics of Communal Politics in 21st Century India Challenges and Prospects
Dynamics of Communal Politics in 21st Century India Challenges and Prospects
 
Assess Perspective and Knowledge of Healthcare Providers Towards Elehealth in...
Assess Perspective and Knowledge of Healthcare Providers Towards Elehealth in...Assess Perspective and Knowledge of Healthcare Providers Towards Elehealth in...
Assess Perspective and Knowledge of Healthcare Providers Towards Elehealth in...
 
The Impact of Digital Media on the Decentralization of Power and the Erosion ...
The Impact of Digital Media on the Decentralization of Power and the Erosion ...The Impact of Digital Media on the Decentralization of Power and the Erosion ...
The Impact of Digital Media on the Decentralization of Power and the Erosion ...
 
Online Voices, Offline Impact Ambedkars Ideals and Socio Political Inclusion ...
Online Voices, Offline Impact Ambedkars Ideals and Socio Political Inclusion ...Online Voices, Offline Impact Ambedkars Ideals and Socio Political Inclusion ...
Online Voices, Offline Impact Ambedkars Ideals and Socio Political Inclusion ...
 
Problems and Challenges of Agro Entreprenurship A Study
Problems and Challenges of Agro Entreprenurship A StudyProblems and Challenges of Agro Entreprenurship A Study
Problems and Challenges of Agro Entreprenurship A Study
 
Comparative Analysis of Total Corporate Disclosure of Selected IT Companies o...
Comparative Analysis of Total Corporate Disclosure of Selected IT Companies o...Comparative Analysis of Total Corporate Disclosure of Selected IT Companies o...
Comparative Analysis of Total Corporate Disclosure of Selected IT Companies o...
 
The Impact of Educational Background and Professional Training on Human Right...
The Impact of Educational Background and Professional Training on Human Right...The Impact of Educational Background and Professional Training on Human Right...
The Impact of Educational Background and Professional Training on Human Right...
 
A Study on the Effective Teaching Learning Process in English Curriculum at t...
A Study on the Effective Teaching Learning Process in English Curriculum at t...A Study on the Effective Teaching Learning Process in English Curriculum at t...
A Study on the Effective Teaching Learning Process in English Curriculum at t...
 
The Role of Mentoring and Its Influence on the Effectiveness of the Teaching ...
The Role of Mentoring and Its Influence on the Effectiveness of the Teaching ...The Role of Mentoring and Its Influence on the Effectiveness of the Teaching ...
The Role of Mentoring and Its Influence on the Effectiveness of the Teaching ...
 
Design Simulation and Hardware Construction of an Arduino Microcontroller Bas...
Design Simulation and Hardware Construction of an Arduino Microcontroller Bas...Design Simulation and Hardware Construction of an Arduino Microcontroller Bas...
Design Simulation and Hardware Construction of an Arduino Microcontroller Bas...
 
Sustainable Energy by Paul A. Adekunte | Matthew N. O. Sadiku | Janet O. Sadiku
Sustainable Energy by Paul A. Adekunte | Matthew N. O. Sadiku | Janet O. SadikuSustainable Energy by Paul A. Adekunte | Matthew N. O. Sadiku | Janet O. Sadiku
Sustainable Energy by Paul A. Adekunte | Matthew N. O. Sadiku | Janet O. Sadiku
 
Concepts for Sudan Survey Act Implementations Executive Regulations and Stand...
Concepts for Sudan Survey Act Implementations Executive Regulations and Stand...Concepts for Sudan Survey Act Implementations Executive Regulations and Stand...
Concepts for Sudan Survey Act Implementations Executive Regulations and Stand...
 
Towards the Implementation of the Sudan Interpolated Geoid Model Khartoum Sta...
Towards the Implementation of the Sudan Interpolated Geoid Model Khartoum Sta...Towards the Implementation of the Sudan Interpolated Geoid Model Khartoum Sta...
Towards the Implementation of the Sudan Interpolated Geoid Model Khartoum Sta...
 
Activating Geospatial Information for Sudans Sustainable Investment Map
Activating Geospatial Information for Sudans Sustainable Investment MapActivating Geospatial Information for Sudans Sustainable Investment Map
Activating Geospatial Information for Sudans Sustainable Investment Map
 
Educational Unity Embracing Diversity for a Stronger Society
Educational Unity Embracing Diversity for a Stronger SocietyEducational Unity Embracing Diversity for a Stronger Society
Educational Unity Embracing Diversity for a Stronger Society
 
Integration of Indian Indigenous Knowledge System in Management Prospects and...
Integration of Indian Indigenous Knowledge System in Management Prospects and...Integration of Indian Indigenous Knowledge System in Management Prospects and...
Integration of Indian Indigenous Knowledge System in Management Prospects and...
 
DeepMask Transforming Face Mask Identification for Better Pandemic Control in...
DeepMask Transforming Face Mask Identification for Better Pandemic Control in...DeepMask Transforming Face Mask Identification for Better Pandemic Control in...
DeepMask Transforming Face Mask Identification for Better Pandemic Control in...
 
Streamlining Data Collection eCRF Design and Machine Learning
Streamlining Data Collection eCRF Design and Machine LearningStreamlining Data Collection eCRF Design and Machine Learning
Streamlining Data Collection eCRF Design and Machine Learning
 

Recently uploaded

HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptxHMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptxEsquimalt MFRC
 
Towards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxTowards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxJisc
 
21st_Century_Skills_Framework_Final_Presentation_2.pptx
21st_Century_Skills_Framework_Final_Presentation_2.pptx21st_Century_Skills_Framework_Final_Presentation_2.pptx
21st_Century_Skills_Framework_Final_Presentation_2.pptxJoelynRubio1
 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSCeline George
 
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptx
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptxOn_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptx
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptxPooja Bhuva
 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...Poonam Aher Patil
 
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxHMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxmarlenawright1
 
Beyond_Borders_Understanding_Anime_and_Manga_Fandom_A_Comprehensive_Audience_...
Beyond_Borders_Understanding_Anime_and_Manga_Fandom_A_Comprehensive_Audience_...Beyond_Borders_Understanding_Anime_and_Manga_Fandom_A_Comprehensive_Audience_...
Beyond_Borders_Understanding_Anime_and_Manga_Fandom_A_Comprehensive_Audience_...Pooja Bhuva
 
Simple, Complex, and Compound Sentences Exercises.pdf
Simple, Complex, and Compound Sentences Exercises.pdfSimple, Complex, and Compound Sentences Exercises.pdf
Simple, Complex, and Compound Sentences Exercises.pdfstareducators107
 
Wellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxWellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxJisc
 
Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111GangaMaiya1
 
Tatlong Kwento ni Lola basyang-1.pdf arts
Tatlong Kwento ni Lola basyang-1.pdf artsTatlong Kwento ni Lola basyang-1.pdf arts
Tatlong Kwento ni Lola basyang-1.pdf artsNbelano25
 
Philosophy of china and it's charactistics
Philosophy of china and it's charactisticsPhilosophy of china and it's charactistics
Philosophy of china and it's charactisticshameyhk98
 
Food safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfFood safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfSherif Taha
 
Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)Jisc
 
How to Add a Tool Tip to a Field in Odoo 17
How to Add a Tool Tip to a Field in Odoo 17How to Add a Tool Tip to a Field in Odoo 17
How to Add a Tool Tip to a Field in Odoo 17Celine George
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and ModificationsMJDuyan
 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxRamakrishna Reddy Bijjam
 
AIM of Education-Teachers Training-2024.ppt
AIM of Education-Teachers Training-2024.pptAIM of Education-Teachers Training-2024.ppt
AIM of Education-Teachers Training-2024.pptNishitharanjan Rout
 

Recently uploaded (20)

HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptxHMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
 
Call Girls in Uttam Nagar (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in  Uttam Nagar (delhi) call me [🔝9953056974🔝] escort service 24X7Call Girls in  Uttam Nagar (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in Uttam Nagar (delhi) call me [🔝9953056974🔝] escort service 24X7
 
Towards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxTowards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptx
 
21st_Century_Skills_Framework_Final_Presentation_2.pptx
21st_Century_Skills_Framework_Final_Presentation_2.pptx21st_Century_Skills_Framework_Final_Presentation_2.pptx
21st_Century_Skills_Framework_Final_Presentation_2.pptx
 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POS
 
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptx
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptxOn_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptx
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptx
 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...
 
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxHMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
 
Beyond_Borders_Understanding_Anime_and_Manga_Fandom_A_Comprehensive_Audience_...
Beyond_Borders_Understanding_Anime_and_Manga_Fandom_A_Comprehensive_Audience_...Beyond_Borders_Understanding_Anime_and_Manga_Fandom_A_Comprehensive_Audience_...
Beyond_Borders_Understanding_Anime_and_Manga_Fandom_A_Comprehensive_Audience_...
 
Simple, Complex, and Compound Sentences Exercises.pdf
Simple, Complex, and Compound Sentences Exercises.pdfSimple, Complex, and Compound Sentences Exercises.pdf
Simple, Complex, and Compound Sentences Exercises.pdf
 
Wellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxWellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptx
 
Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111
 
Tatlong Kwento ni Lola basyang-1.pdf arts
Tatlong Kwento ni Lola basyang-1.pdf artsTatlong Kwento ni Lola basyang-1.pdf arts
Tatlong Kwento ni Lola basyang-1.pdf arts
 
Philosophy of china and it's charactistics
Philosophy of china and it's charactisticsPhilosophy of china and it's charactistics
Philosophy of china and it's charactistics
 
Food safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdfFood safety_Challenges food safety laboratories_.pdf
Food safety_Challenges food safety laboratories_.pdf
 
Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)
 
How to Add a Tool Tip to a Field in Odoo 17
How to Add a Tool Tip to a Field in Odoo 17How to Add a Tool Tip to a Field in Odoo 17
How to Add a Tool Tip to a Field in Odoo 17
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docx
 
AIM of Education-Teachers Training-2024.ppt
AIM of Education-Teachers Training-2024.pptAIM of Education-Teachers Training-2024.ppt
AIM of Education-Teachers Training-2024.ppt
 

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)