Abstract
The aim of this paper is to improve conditions proposed in recently published fixed point results for complete and compact fuzzy metric spaces (Ćirić in Chaos Solitons Fractals 42:146-154, 2009; Shen et al. in Appl. Math. Lett. 25:138-141, 2012). 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. The mentioned generalizations are illustrated by examples.
Similar content being viewed by others
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]. For more information as regards the fuzzy metric and probabilistic metric spaces and fixed point theory in these spaces, we recommend [6–15].
The theory of fuzzy sets has broad applications in a variety of sciences including medicine, science of neural networks, control theory, engineering sciences, soil sciences, modeling some physical phenomena, etc. (see for example [16–20]). Moreover, there are many possibilities for improvement in the theory of fixed points in a fuzzy context.
Khan et al. [21] improved the Banach fixed point theorem in metric spaces by introducing a control function, called an altering distance function. As altering distance is used a monotone, increasing, and continuous function \(\varphi: [0,\infty) \rightarrow[0, \infty) \) such that \(\varphi(t) = 0 \) if and only if \(t = 0\). In [21] the Banach contraction principle in a complete metric space \((X, d) \) is generalized by condition
for all \(x, y \in X\) and some \(0 < a < 1\), where \(f : X \rightarrow X\). This result was a motivation for further studies in metric spaces, as well as in the probabilistic metric space [22, 23]. Recently, Shen et al. [24] introduced the notion of altering distance in fuzzy metric space \((X,M,T)\) and by using the contraction condition
obtained fixed point results for \(f : X \to 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 [25] is improved by using the altering distance, as well as by extending the class of t-norms. Moreover, appropriate examples are presented.
First, the basic definitions and facts are reviewed.
Definition 1.1
A mapping \(T : [0,1] \times[0,1] \rightarrow[0,1] \) is called a triangular norm (t-norm) if the following conditions are satisfied:
-
(T1)
\(T(a, 1) = a\), \(a \in[0, 1]\),
-
(T2)
\(T(a, b) = T(b, a)\), \(a, b \in[0, 1]\),
-
(T3)
\(a \geq b\), \(c \geq d \Rightarrow T(a, c) \geq T(b, d)\), \(a, b, c, d \in[0,1]\),
-
(T4)
\(T(a, T(b, c)) = T(T(a, b), c)\), \(a, b, c \in[0,1]\).
Basic examples are \(T_{P}(x, y) = x \cdot y\), \(T_{M}(x, y) = \min \{x, y\}\), \(T_{L}(x, y) = \max\{x + y - 1, 0\}\), and
Definition 1.2
[26]
A t-norm T is said to be positive if \(T(a,b)>0\) whenever \(a,b \in(0,1]\).
Definition 1.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 \(X^{2}\times(0, \infty)\) such that the following conditions are satisfied:
- (FM1):
-
\(M(x, y, t) > 0\), \(x, y \in X\), \(t > 0\),
- (FM2):
-
\(M(x, y, t) = 1\), \(t > 0 \Leftrightarrow x = y\),
- (FM3):
-
\(M(x, y, t) = M(y, x, t)\), \(x, y \in X\), \(t>0\),
- (FM4):
-
\(T(M(x, y, t), M(y, z, s)) \leq M(x, z, t + s)\), \(x, y, z \in X\), \(t, s > 0\),
- (FM5):
-
\(M(x, y, \cdot) : (0, \infty) \rightarrow[0, 1] \) is continuous for every \(x, y \in X\).
If (FM4) is replaced by condition
- (FM4′):
-
\(T(M(x, y, t), M(y, z, t)) \leq M(x, z, t )\), \(x, y, z \in X\), \(t > 0\),
then \((X, M, T) \) is called a strong fuzzy metric space [27].
Moreover, if \((X, M, T) \) is a fuzzy metric space, then M is a continuous function on \(X \times X \times(0, \infty) \) [28] and \(M(x, y, \cdot) \) is non-decreasing for all \(x, y \in X \) [29].
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 \in X, r \in(0, 1), t>0\}\), where \(U(x, r, t)=\{y: y \in X, M(x, y, t)>1-r\}\).
Definition 1.4
Let \((X, M, T) \) be a fuzzy metric space.
-
(a)
A sequence \(\{x_{n}\}_{n \in\mathbb{N}} \) is a Cauchy sequence in \((X, M, T) \) if for each \(\varepsilon\in(0, 1) \) and each \(t > 0 \) there exists \(n_{0} = n_{0} (\varepsilon, t) \in\mathbb{N} \) such that \(M(x_{n}, x_{m}, t) > 1 - \varepsilon\), for all \(n, m \geq n_{0}\).
-
(b)
A sequence \(\{x_{n}\}_{n \in\mathbb{N}} \) converges to x in \((X, M, T) \) if for each \(\varepsilon \in(0, 1) \) and each \(t > 0 \) there exists \(n_{0}= n_{0} (\varepsilon,t) \in\mathbb{N} \) such that \(M(x_{n}, x, t) > 1 - \varepsilon\) for all \(n \geq n_{0}\). Then we say that \(\{x_{n}\}_{n \in\mathbb{N}} \) is convergent.
-
(c)
A fuzzy metric space \((X, M, T) \) is complete if every Cauchy sequence in \((X, M, T) \) is convergent.
-
(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 \(T_{n} : [0, 1] \rightarrow[0, 1]\), \(n \in\mathbb{N}\), be defined in the following way:
We say that the t-norm T is of H-type if the family \(\{T_{n}(x)\}_{n \in\mathbb{N}} \) is equi-continuous at \(x = 1\).
Each t-norm T can be extended (see [26]) (by associativity) in a unique way to an n-ary operation taking for \((x_{1}, \ldots, x_{n}) \in[0,1]^{n}\) the values
A t-norm T can be extended to a countable infinite operation taking for any sequence \((x_{n})_{n \in{\mathbb{N}}}\) from \([0, 1]\) the value
The sequence \((\mathbf{T}_{i=1}^{n}x_{i})_{n \in {\mathbb{N}}}\) is non-increasing and bounded from below, hence the limit \(\mathbf{T}_{i=1}^{\infty}x_{i}\) exists.
In the fixed point theory (see [10, 30]) it is of interest to investigate the classes of t-norms T and sequences \((x_{n})\) from the interval \([0, 1]\) such that \(\lim_{n \rightarrow\infty}x_{n}=1\) and
It is obvious that
for \(T=T_{L}\) and \(T=T_{P}\).
For \(T\geq T_{L}\) we have the following implication:
Example 1.6
Some of the important classes of t-norms are the following.
-
(i)
The Dombi family of t-norms \((T_{\lambda}^{\mathrm{D}})_{\lambda\in [0, \infty]}\) is defined by
$$T_{\lambda}^{\mathrm{D}}(x, y)= \left \{ \begin{array}{l@{\quad}l} T_{D}(x, y), & \lambda=0, \\ T_{M}(x, y), & \lambda= \infty, \\ {\frac{1}{1+ ( (\frac{1-x}{x} )^{\lambda} + (\frac{1-y}{y} )^{\lambda} )^{1/ \lambda}}}, & \lambda\in (0, \infty). \end{array} \right . $$ -
(ii)
The Aczél-Alsina family of t-norms \((T_{\lambda}^{{\mathrm{AA}}})_{\lambda\in[0, \infty]} \) is defined by
$$T_{\lambda}^{{\mathrm{AA}}}(x, y)= \left \{ \begin{array}{l@{\quad}l} T_{D}(x, y), & \lambda=0, \\ T_{M}(x, y), & \lambda= \infty, \\ e^{-((-\log x)^{\lambda}+(-\log y)^{\lambda})^{1/ \lambda}}, & \lambda \in(0, \infty). \end{array} \right . $$ -
(iii)
The family \((T_{\lambda}^{{\mathrm{SW}}})_{\lambda\in[-1, \infty]}\) of Sugeno-Weber t-norms is given by
$$T_{\lambda}^{{\mathrm{SW}}}(x, y)= \left \{ \begin{array}{l@{\quad}l} T_{D}(x, y), & \lambda=-1, \\ T_{P}(x, y), & \lambda= \infty, \\ \max(0, \frac{x+y-1+\lambda xy}{1+ \lambda}), & \lambda\in(-1, \infty). \end{array} \right . $$ -
(iv)
The Schweizer-Sklar family of t-norms \((T_{\lambda}^{{\mathrm{SS}}})_{\lambda\in[- \infty, \infty]} \) is defined by
$$T_{\lambda}^{{\mathrm{SS}}}(x, y)= \left \{ \begin{array}{l@{\quad}l} T_{M}(x, y), & \lambda=- \infty, \\ T_{P}(x, y), & \lambda=0, \\ (\max(x^{\lambda}+y^{\lambda}-1, 0))^{1/ \lambda}, & \lambda\in (-\infty, 0)\cup(0, \infty), \\ T_{D}(x, y), & \lambda= \infty. \end{array} \right . $$
The condition \(T\geq T_{L}\) is fulfilled by the families \((T_{\lambda}^{{\mathrm{SS}}})_{\lambda\in(-\infty, 1)}\), \((T_{\lambda}^{{\mathrm{SW}}})_{\lambda\in[0, \infty]}\).
On the other side, there exists a member of the family \((T_{\lambda}^{\mathrm{D}})_{\lambda\in(0, \infty)}\) which is incomparable with \(T_{L}\), and there exists a member of the family \((T_{\lambda}^{{\mathrm{AA}}})_{\lambda\in(0, \infty)}\) which is incomparable with \(T_{L}\).
In [10] the following results are obtained.
-
(a)
If \((T_{\lambda}^{\mathrm{D}})_{\lambda\in(0, \infty)}\) is the Dombi family of t-norms and \((x_{n})_{n \in{\mathbb{N}}}\) a sequence of elements from \((0, 1]\) such that \(\lim_{n \rightarrow \infty}x_{n}=1\), then we have the following equivalence:
$$ \sum_{n=1}^{\infty}(1-x_{n})^{\lambda}< \infty \quad \Leftrightarrow\quad \lim_{n \rightarrow\infty} \bigl(T_{\lambda}^{\mathrm{D}}\bigr)_{i=n}^{\infty}x_{i}=1. $$(3) -
(b)
If \((T_{\lambda}^{{\mathrm{SW}}})_{\lambda\in(-1, \infty]}\) is the Sugeno-Weber family of t-norms and \((x_{n})_{n \in{\mathbb{N}}}\) a sequence of elements from \((0, 1]\) such that \(\lim_{n \rightarrow\infty}x_{n}=1\), then we have the following equivalence:
$$ \sum_{n=1}^{\infty}(1-x_{n})< \infty \quad \Leftrightarrow\quad \lim_{n \rightarrow\infty} \bigl(T_{\lambda}^{{\mathrm{SW}}}\bigr)_{i=n}^{\infty}x_{i}=1. $$(4) -
(c)
The equivalence (2) holds also for the family \((T_{\lambda}^{{\mathrm{AA}}})_{\lambda\in(0, \infty)}\), i.e.
$$ \sum_{n=1}^{\infty}(1-x_{n})^{\lambda}< \infty \quad \Leftrightarrow\quad \lim_{n \rightarrow\infty} \bigl(T_{\lambda}^{{\mathrm{AA}}}\bigr)_{i=n}^{\infty}x_{i}=1. $$(5)
In [10] the following proposition is obtained.
Proposition 1.7
Let \((x_{n})_{n \in\mathbb{N}}\) be a sequence of numbers from \([0, 1]\) such that \(\lim_{n \rightarrow\infty}x_{n}=1\) and the t-norm T is of H-type. Then \(\lim_{n \rightarrow \infty}\mathbf{T}_{i=n}^{\infty}x_{i}=\lim_{n \rightarrow\infty}\mathbf{T}_{i=1}^{\infty}x_{n+i}=1\).
Theorem 1.8
[31]
Let \((X,M,T)\) be a fuzzy metric space, such that \(\lim_{t \to\infty}M(x,y,t)=1\). Then if for some \(\sigma_{0}\in(0,1)\) and some \(x_{0}, y_{0} \in X\) the following hold:
then
for every \(\sigma\in(0,1)\).
2 Main results
A function \(\varphi: [0,1] \rightarrow[0,1] \) is called an altering distance function [23, 24] if it satisfies the following properties:
-
(AD1)
φ is strictly decreasing and continuous;
-
(AD2)
\(\varphi(\lambda)=0\) if and only if \(\lambda=1\).
It is obvious that \(\lim_{\lambda\rightarrow 1^{-}}\varphi(\lambda)=\varphi(1)=0\).
Theorem 2.1
Let \((X, M, T) \) be a complete fuzzy metric space, T be a triangular norm and \(f : X \rightarrow X\). If there exist \(k_{1}, k_{2} : (0,\infty) \rightarrow(0,1) \), and an altering distance function φ such that the following condition:
is satisfied, then f has a unique fixed point.
Proof
We observe a sequence \(\{x_{n}\}\), where \(x_{0} \in X \) and \(x_{n+1} = fx_{n}\), \(n \in\mathbb{N} \cup\{0\}\). Note that, if there exists \(n_{0} \in\mathbb{N} \cup\{0\} \) such that \(x_{n_{0}} = x_{n_{0} + 1} = fx_{n_{0}}\), then \(x_{n_{0}} \) is a fixed point of f. Further, we assume that \(x_{n} \neq x_{n+1}\), \(n \in \mathbb{N}_{0}\). Then
If the pair \(x = x_{n-1}\), \(y = x_{n} \) satisfy condition (6) then
By (FM4) and (AD1) we have
and further
Note that, by (T1), (T2), and (T3), it follows that
and
Then by (9) we have
If we suppose that
then
So, by contradiction it follows that
and by (10) we get
By (AD1) and (11) it follows that the sequence \(\{M(x_{n}, x_{n+1}, t)\} \) is strictly increasing with respect to n, for every \(t > 0\). This fact, together with (7), implies that
But if we suppose that \(a(t) \neq1\), for some \(t > 0\), and let \(n \to\infty\) in (11) we get a contradiction:
So, \(a \equiv1 \) in (12). Now we will show that the sequence \(\{x_{n}\} \) is a Cauchy sequence. Suppose the contrary, i.e. that there exist \(0 < \varepsilon< 1\), \(t > 0 \), and two sequences of integers \(\{p(n)\}\), \(\{q(n)\}\), \(p(n) > q(n) > n\), \(n \in\mathbb{N}\cup\{0\}\), such that
By (12) for every \(\varepsilon_{1}\), \(0 < \varepsilon_{1} < \varepsilon\), it is possible to find a positive integer \(n_{1}\), such that for all \(n > n_{1} \),
Then we have
Now using (14), (15), (16), and (T3) we have
Since \(\varepsilon_{1} \) is arbitrary and T is continuous we have
By (14) and (19) it follows that
If the pair \(x = x_{p(n)-1}\), \(y = x_{q(n)-1} \) satisfy condition (6) then
Letting \(n \rightarrow\infty\), by (12), (14), (19), and (20), we have
This is a contradiction. So \(\{x_{n}\} \) is a Cauchy sequence.
Since \((X, M, T) \) is a complete fuzzy metric space there exists \(x \in X \) such that \(\lim_{n \rightarrow\infty} x_{n} = x\). Let us prove, by contradiction, that x is fixed point for f. Suppose that \(x \neq fx\).
If the pair \(x = x\), \(y = x_{n - 1} \) satisfy condition (6) then
Letting \(n \rightarrow\infty\) in (23) we have
So, by contradiction we conclude that \(x = fx\).
Assume now that there exists another fixed point v, \(v \neq x\). Then applying (6) we have
So, we get a contradiction, and x is a unique fixed point of the function f. □
Example 2.2
Let \(X = \{A, B, C, D\} \) be subset of \(\mathbb{R}^{2}\), where \(A(0, 0)\), \(B(1, 0)\), \(C(1, 4)\). Let D be an arbitrary point on circle of radius 1 with center in C. Let \(f: X \to X \) be defined by
Let \(\varphi(\tau) = 1 - \tau\), \(\tau\in[0, 1] \), and \(M(x, y, t) = \frac{t}{t + d(x, y)}\), \(t > 0\), where by \(d(x, y) \) is denoted the Euclidean distance in \(\mathbb{R}^{2}\). Note that by \((X, M, T) \) is defined a complete fuzzy metric space with respect to the triangular norm \(T(a, b) = \min\{a, b\} \) and φ satisfies conditions (AD1) and (AD2). The functions \(k_{1}, k_{2} : (0, \infty) \to(0, 1) \) are defined by
Now, every pair of points \(x, y \in X\), \(x \neq y\), satisfy condition (6) and by Theorem 2.1 it follows that f has a unique fixed point. On the other side, for \(x = C \) and \(y = D \) condition (1) given in [24] as a classical generalization of the Banach principle of contraction is not satisfied. Nevertheless, the condition (6) is not a full generalization of condition (1).
Theorem 2.3
Let \((X, M, T) \) be a complete fuzzy metric space and \(f : X \rightarrow X\). If there exist \(k_{1}, k_{2} : (0, \infty) \rightarrow[0, 1)\), \(k_{3} : (0, \infty) \rightarrow(0, 1)\), \(\sum_{i = 1}^{3} k_{i}(t) < 1\), and an altering distance function φ such that the following condition is satisfied:
for all \(x, y \in X\), \(x \neq y \), and \(t > 0\), then f has a unique fixed point.
Proof
Let \(x_{0} \in X \) and \(x_{n+1} = fx_{n}\). Suppose that \(x_{n} \neq x_{n + 1}\), \(n \in\mathbb{N}_{0}\), i.e.
By (25), with \(x = x_{n-1}\), \(y = x_{n}\), we have
i.e.
Since φ is strictly decreasing, the sequence \(\{M(x_{n},x_{n+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
and \(\{x_{n}\} \) is a Cauchy sequence. So, there exists \(x \in X \) such that \(\lim_{n \rightarrow\infty} x_{n} = x\). Now, by (25) with \(x = x_{n - 1}\), \(y = x \) we have
\(n \in\mathbb{N}\), \(t > 0\). Letting \(n \rightarrow\infty\) in (30) we have
i.e.
It follows that \(\varphi(M(x, fx, t)) = 0 \) and \(x = fx\).
Assume now that there exists a fixed point v, \(v \neq x\). Then by (25) we have
which is a contradiction. So, x is a unique fixed point of f. □
Remark 2.4
If in (25) we take \(k_{1}(t) = k_{2}(t) = 0\), \(t > 0\), we get condition (1), and Theorem 2.3. is a generalization of the result given in [24].
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.5
Let \((X, M, T) \) be a complete strong fuzzy metric space with positive t-norm T and let \(f : X \to X\). If there exists an altering distance function φ and \(a_{i} = a_{i} (t)\), \(i = 1, 2, \ldots, 5\), \(a_{i} > 0\), \(a_{1} + a_{2} + 2a_{3} + 2a_{4} + a_{5} < 1\), such that
and
then f has a unique fixed point.
Proof
Let \(x_{0} \in X\) be arbitrary. Define a sequence \((x_{n})_{n \in \mathbb{N}}\) such that \(x_{n}=fx_{n-1}=f^{n}x_{0}\). By (35) with \(x=x_{n-1}\) and \(y=x_{n}\) we have
Since \((X, M, T) \) is a strong fuzzy metric space we have
using (34) we obtained
By (36) it follows that
i.e.
So, the sequence \(\{M(x_{n},x_{n+1},t)\} \) is increasing and bounded and there exists
Suppose that \(p(t) \neq1\), for some \(t > 0\). Then, if we take \(n \to\infty\) in (36)
and we get a contradiction, i.e.
It remains to prove that \(\{x_{n}\}_{n \in\mathbb{N}}\) is a Cauchy sequence. Suppose the contrary, i.e. that there exist \(\varepsilon >0\), \(t>0\), such that for every \(s \in\mathbb{N} \) there exist \(m(s) > n(s) \geq s\), and
Let \(m(s)\) be the least integer exceeding \(n(s)\) satisfying the above property, i.e.
Then by (35) with \(x = x_{m(s) - 1} \) and \(y = x_{n(s) - 1}\), for each \(s \in\mathbb{N} \) and \(t > 0 \) we have
By (FM4′), (34), and (AD1) it follows that
and
Combining the previous inequalities we get
Also, by (38) and (AD1) we have
Inserting (40), (41), and (42) in (39) we obtain
i.e.
By (37) it follows that
Letting \(s \to\infty\) in (45) we have
i.e.
which implies that \(\varepsilon= 0 \) and we get a contradiction.
So, \(\{x_{n}\}_{n \in\mathbb{N}}\) is a Cauchy sequence and there exist \(z \in X \) such that \(\lim_{n \to\infty} x_{n} = z\). Now, by (35) with \(x = x_{n-1} \) and \(y = z \), we have
Letting \(n \to\infty\) in (46) we have
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
i.e. \(z = w\). □
Example 2.6
Let \(X = \{A, B, C, D\} \) be subset of \(\mathbb{R}^{2}\), where \(A(0, 0)\), \(B(1, 0)\), \(C(1, 4) \), and \(D(0, 4)\). Let \(f: X \to X \) be defined by
Let \(\varphi(\tau) = 1 - \tau\), \(\tau\in[0, 1] \), and \(M(x, y, t) = \frac{t}{t + |x - y|}\), \(t > 0\). Note that by \((X, M, T) \) is defined a strong complete fuzzy metric space with respect to the triangular norm \(T(a, b) = a \cdot b \) and φ satisfies conditions (AD1) and (AD2). The functions \(a_{i} (t)\), \(i \in \{1, 2, \ldots, 5\} \) are defined by
Now, every pair of points \(x, y \in X\), \(x \neq y\), satisfy condition (35) and by Theorem 2.5 it follows that f has a unique fixed point. Note that, for \(x = C \) and \(y = D \), condition (1) is not satisfied.
Theorem 2.7
Let \((X, M, T) \) be a compact strong fuzzy metric space and let \(\varphi: [0,1] \rightarrow[0,1] \) satisfying conditions (AD1) and (AD2) such that
If the continuous mapping \(f : X \rightarrow X \) satisfies the following condition:
for \(a_{i} = a_{i} (x, y, t) > 0\), \(i = 1, 2, \ldots, 5\), \(a_{1} + a_{2} + 2a_{3} + 2a_{4} + a_{5} < 1\), then f has a unique fixed point in X.
Proof
Let \(x_{0} \in X\). We define the sequence \(x_{n + 1} = f x_{n}\), \(n \in\mathbb{N}_{0} \) and suppose that \(x_{n + 1} \neq x_{n}\), \(n \in\mathbb{N}_{0}\). Since \((X, M, T) \) is compact, the sequence \(\{x_{n}\}_{n \in\mathbb{N}_{0}} \) has a subsequence \(\{x_{k(n)}\}_{n \in\mathbb{N}_{0}} \) such that \(\lim_{n \to\infty} x_{k(n)} = x\), \(x \in X\). Then there is a sequence of natural numbers \(\{p_{n}\}_{n \in\mathbb{N}_{0}} \) such that \(x_{k(n) + p_{n}} = x_{k(n + 1)}\), \(n \in\mathbb{N}_{0}\). We have the following relations:
Suppose that \(fx \neq x\). By (48), for \(x = x_{k(n + 1) - 1}\), \(y = x_{k(n + 1)} \),
Since \((X, M, T) \) is a strong fuzzy metric space and by (47) it follows that
Now
i.e.
Repeating the above procedure \(p_{n} - 2 \) times we get
If we take \(n \to\infty\) in (49) and apply (48) we get
and obtain a contradiction,
Suppose that there exist two different fixed points \(u, v \in X\). But, by (48),
we get a contradiction. Therefore, x is a unique fixed point for f. □
Example 2.8
Let \((X, M, T) \) be a compact strong fuzzy metric space, \(X = [-2, 1]\), \(T(x, y) = x \cdot y\), \(M(x, y, t) = \frac{t}{t + |x - y|}\), \(x, y \in X\), \(t > 0\). The altering distance function is defined by \(\varphi(\tau) = 1 - \tau\), \(\tau\in[0, 1]\). We observe the continuous function
Then
and
So, if we take
and \(a_{2} (x, y, t) = a_{3} (x, y, t) = a_{4} (x, y, t) = a_{5} (x, y, t) = \frac{1 - a_{1} (x, y, t)}{5} \) for \((x, y) \) in the aforementioned areas,
and \(a_{1} (x, y, t) = a_{3} (x, y, t) = a_{4} (x, y, t) = a_{5} (x, y, t) = \frac{1 - a_{2} (x, y, t)}{5} \) for \((x, y) \) in the aforementioned areas,
and \(a_{1} (x, y, t) = a_{2} (x, y, t) = a_{3} (x, y, t) = a_{4} (x, y, t) = \frac{1 - a_{5} (x, y, t)}{5} \) for \((x, y) \) in the aforementioned areas, condition (47) is satisfied and by Theorem 2.7 it follows that f has a unique fixed point.
Note that the function f does not satisfy the condition of the fuzzy Edelstein contraction theorem [29], i.e.
Using the same altering distance, it is possible to improve the following result.
Theorem 2.9
[25]
Let \((X, M, T) \) be a fuzzy metric space such that \(M(x,y,t) \to 1 \) as \(t \to\infty\). Let \(f, g :X \rightarrow X \) be two self-mappings of X such that there exist \(k \in(0, 1) \) and \(q = q(x,y,t) \geq0 \) such that
for each \(x, y \in X \) and all \(t > 0\). If the family of t-norms \(\{T^{(p)}(x)\}_{p \in\mathbb{N}} \) is equi-continuous at the point \(x = 1 \) and X is complete, then f and g have a common fixed point. If in (50)
then the common fixed point is unique.
Remark 2.10
A generalization of Theorem 2.9 is obtained if instead of condition (50) the following conditions hold:
for some \(x_{0} \in X\), \(\mu\in(k, 1) \) and some altering distance function φ. With \(\varphi(t) = 1 - t \) and the t-norm T being of H-type (see Proposition 1.7) we obtain a result from [25]. If we take \(\varphi(t) = (1 - t)^{\alpha}\), \(\alpha > 1 \) we have a stronger result than in [25]. Moreover, if instead of the condition (53) the following conditions hold:
and
then we obtain the same result for \(T = T^{\mathrm{D}}_{\lambda} (T = T^{{\mathrm{AA}}}_{\lambda})\), \(\lambda> 0\), and \(T = T^{{\mathrm{SW}}}_{\lambda}\), \(\lambda> -1\), respectively.
The proof is similar to the one of Theorem 2.9 except for the part where it is shown that \(\{x_{n}\} \) is a Cauchy sequence. In order to prove that the sequence is Cauchy let \(\sigma=\frac{k}{\mu}\). Since \(0<\sigma<1\) the series \(\sum_{i=1}^{\infty}\sigma^{i}\) is convergent and there exists \(m_{0} \in\mathbb{N}\) such that \(\sum_{i=m_{0}}^{\infty}\sigma^{i}<1\). Hence for every \(m>m_{0}\) and every \(s \in\mathbb{N}\),
which implies that
By Theorem 1.8, \(\lim_{n \to\infty}\mathbf{T}_{i = m}^{\infty} M(x_{0}, x_{1}, \frac{1}{\mu^{i}}) = 1 \) implies that \(\lim_{n \to\infty}\mathbf{T}_{i = m}^{\infty} M(x_{0}, x_{1}, \frac{t}{\mu^{i}}) = 1\), \(t > 0\). Hence, for every \(\varepsilon\in(0, 1) \) there exists \(m_{1} \in\mathbb{N} \) such that
i.e. \(\{x_{n}\}_{n \in\mathbb{N}} \) is a Cauchy sequence.
Theorem 2.11
Let \((X, M, T) \) and \((X, \widetilde{M}, T) \) be fuzzy metric spaces such that \(\lim_{t \to\infty} \widetilde{M} (x, y, t) = 1 \) and \(M(x, y, t) \geq\widetilde{M}(x, y, t)\), \(x, y \in X\), \(t > 0\). Let \(f : X \to X \) be a continuous function such that for some \(x_{0} \in X \) the sequence \(\{ f^{n} x_{0} \} \) has a convergent subsequence in \((X, M, T)\). If there exist \(k \in (0, 1)\), \(\mu\in(k, 1)\), \(q = q(x,y,t) \geq0\), and an altering distance function φ such that the following conditions are satisfied:
and
then f has a fixed point. If, in addition, the following is satisfied:
then f has a unique fixed point.
Proof
We define the sequence \(x_{n} = fx_{n-1} = f^{n} x_{0}\), \(n \in\mathbb{N}\). By (56) with \(x = x_{n-1} \) and \(y = x_{n} \) we get
The proof that \(\{x_{n}\} \) is a Cauchy sequence in \((X, \widetilde{M}, T) \) is the same as in Remark 2.10. Then \(\{x_{n}\} \) is a Cauchy sequence in \((X, M, T)\), too. Since, by assumption, the Cauchy sequence \(\{ x_{n} \} \) has a convergent subsequence in \((X, M, T)\), there exists \(p \in X \) such that \(\lim_{n \to\infty} x_{n} = p\).
Since the function f is continuous we have
and f has a fixed point. Let us prove that the fixed point is unique. Suppose that p and w are two different fixed points. Then, by (56) with \(x = p \) and \(y = w\), we have
Using (57), it follows that \(\widetilde{M}(p,w,kt)\geq \widetilde{M}(p,w,t)\), \(t > 0\), i.e. \(p = w \). So, the fixed point is unique. □
3 Conclusion
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. The theorems presented with appropriate examples improve some recently published results.
The following question can be asked:
Is it possible to omit the assumption that the t-norm is non-nilpotent in Theorem 2.5?
References
Banach, S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133-181 (1922)
George, A, Veeramani, P: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 64, 395-399 (1994)
George, A, Veeramani, P: On some results of analysis for fuzzy metric spaces. Fuzzy Sets Syst. 90, 365-368 (1997)
Kramosil, I, Michalek, J: Fuzzy metric and statistical metric spaces. Kybernetika 11, 336-344 (1975)
Zadeh, LA: Fuzzy sets. Inf. Control 8, 338-353 (1965)
Altun, I, Mihet, D: Ordered non-Archimedean fuzzy metric spaces and some fixed point results. Fixed Point Theory Appl. 2010, 782680 (2010)
Choudhury, BS, Das, K, Dutta, PN: A fixed point result in Menger spaces using a real function. Acta Math. Hung. 122, 203-216 (2009)
Hadžić, O: A fixed point theorem in Menger spaces. Publ. Inst. Math. (Belgr.) 20, 107-112 (1979)
Hadžić, O: Fixed Point Theory in Probabilistic Metric Spaces. Serbian Academy of Sciences and Arts, Branch in Novi Sad, University of Novi Sad, Institute of Mathematics, Novi Sad (1995)
Hadžić, O, Pap, E: Fixed Point Theory in Probabilistic Metric Spaces. Kluwer Academic, Dordrecht (2001)
Hong, S: Fixed points for modified fuzzy ψ-contractive set-valued mappings in fuzzy metric spaces. Fixed Point Theory Appl. 2014, 12 (2014)
Mihet, D: A Banach contraction theorem in fuzzy metric spaces. Fuzzy Sets Syst. 144, 431-439 (2004)
Saadati, R, Kumam, P, Jang, S: On the tripled fixed point and tripled coincidence point theorems in fuzzy normed spaces. Fixed Point Theory Appl. 2014, 136 (2014)
Shen, Y, Chen, W, Wang, S: Comment on ‘Common fixed point theorems for commutating mappings in fuzzy metric spaces’. Abstr. Appl. Anal. (2012). doi:10.1155/2012/142858
Wang, S, Alsulami, SM, Ćirić, L: Common fixed point theorems for nonlinear contractive mappings in fuzzy metric spaces. Fixed Point Theory Appl. 2013, 191 (2013)
Fuller, R: Neural fuzzy systems. Abo Akademis tryckeri, Abo, ESF Series A:443 (1995)
McBratney, A, Odeh, IOA: Application of fuzzy sets in soil science: fuzzy logic, fuzzy measurements and fuzzy decisions. Geoderma 77, 85-113 (1997)
El Naschie, MS: The two-slit experiment as the foundation of E-infinity of high energy physics. Chaos Solitons Fractals 25, 509-514 (2005)
Romaguera, S, Sapena, A, Tirado, P: The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words. Topol. Appl. 154, 2196-2203 (2007)
Steimann, F: On the use and usefulness of fuzzy sets in medical AI. Artif. Intell. Med. 21, 131-137 (2001)
Khan, MS, Swaleh, M, Sessa, S: Fixed point theorems by altering distances between the points. Bull. Aust. Math. Soc. 30, 1-9 (1984)
Choudhury, BS, Das, K: A new contraction principle in Menger spaces. Acta Math. Sin. 24, 1379-1386 (2008)
Mihet, D: Altering distances in probabilistic Menger spaces. Nonlinear Anal. 71, 2734-2738 (2009)
Shen, Y, Qiu, D, Chen, W: Fixed point theorems in fuzzy metric spaces. Appl. Math. Lett. 25, 138-141 (2012)
Ćirić, L: Some new results for Banach contractions and Edelstein contractive mappings on fuzzy metric spaces. Chaos Solitons Fractals 42, 146-154 (2009)
Klement, EP, Mesiar, R, Pap, E: Triangular Norms. Trends in Logic, vol. 8. Kluwer Academic, Dordrecht (2000)
Gregori, V, Morillas, S, Sapena, A: On a class of compatible fuzzy metric spaces. Fuzzy Sets Syst. 161, 2193-2205 (2010)
Rodriguez-Lopez, J, Romaguera, S: The Hausdorff fuzzy metric on compact sets. Fuzzy Sets Syst. 147, 273-283 (2004)
Grabiec, M: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 27, 385-389 (1988)
Hadžić, O, Pap, E, Budinčević, M: Countable extension of triangular norms and their applications to the fixed point theory in probabilistic metric spaces. Uncertainty modelling, 2001 (Bratislava). Kybernetika 38(3), 363-382 (2002)
Žikić, T: On fixed point theorems of Gregori and Sapena. Fuzzy Sets Syst. 144, 421-429 (2004)
Wardowski, D: Fuzzy contractive mappings and fixed points in fuzzy metric space. Fuzzy Sets Syst. 222, 108-114 (2013)
Acknowledgements
The authors thank the editor-in-chief and the referee(s) for their valuable comments and suggestions, which were very useful in improving the presentation of the paper. Tatjana Došenović, Dušan Rakić wish to thank the projects MNTRRS-174009, III44006, and PSNTR Project No. 114-451-2167 that enabled this research, and Dhananjay Gopal is grateful for the support of CSIR, Govt. of India, Grant No.-25(0215)/13/EMR-II. Moreover, Poom Kumam was supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission (NRU2558).
Author information
Authors and Affiliations
Corresponding authors
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wairojjana, N., Došenović, T., Rakić, D. et al. An altering distance function in fuzzy metric fixed point theorems. Fixed Point Theory Appl 2015, 69 (2015). https://doi.org/10.1186/s13663-015-0318-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0318-1