Fixed point theorems for contractions in fuzzy normed spaces and intuitionistic fuzzy normed spaces

Abstract

In this paper, we prove that some coupled fixed point theorems and coupled coincidence point theorems for contractions in fuzzy normed spaces and intuitionistic fuzzy normed spaces can be directly deduced from fixed point theorems for contractions in fuzzy normed spaces. We also prove that these results are equivalent.

MSC:47H10, 54A40, 54E50, 54H25.

1 Introduction

The well-known Banach contraction mapping principle [1] is a powerful tool in nonlinear analysis; many mathematicians have much contributed to the improvement and generalization of this principle in many ways. Especially, some recent meaningful results have been obtained in [2–18].

In this paper, we first prove a simple fixed point theorem for an increasing mapping defined on fuzzy normed spaces, and by using this result, we can easily prove some coupled fixed point theorems and coupled coincidence point theorems in fuzzy normed spaces and intuitionistic fuzzy normed spaces. Also, we prove that these results are essentially equivalent. Finally, we give an example to show that our contractive conditions is a real improvement over the contractive conditions used in [13] and [17]. Our results are also an improvement over the results in [13] and [17].

For the reader’s convenience, we restate some definitions and results that will be used in this paper.

Definition 1.1 ([13])

A binary operation $\ast :[0,1]\times [0,1]\to [0,1]$ is a continuous t-norm if ∗ satisfies the following conditions:

• (i) ∗ is commutative and associative;

• (ii) ∗ is continuous;

• (iii) $a\ast 1=a$, $\mathrm{\forall }a\in [0,1]$;

• (iv) $a\ast b\le c\ast d$, whenever $a\le c$ and $b\le d$ for all $a,b,c,d\in [0,1]$.

Definition 1.2 (cf. [14, 18])

A t-norm ∗ is said to be of H-type if the sequence of functions ${\{{\ast }^{n}a\}}_{n=1}^{\mathrm{\infty }}$ is equicontinuous at $a=1$.

The t-norm ${\ast }_m$ defined by $a{\ast }_{m}b=min\{a,b\}$ is an example of an H-type t-norm ∗.

Definition 1.3 ([13])

A binary operation $\star :[0,1]\times [0,1]\to [0,1]$ is a continuous t-conorm if ⋆ satisfies the following conditions:

• (i) ⋆ is commutative and associative;

• (ii) ⋆ is continuous;

• (iii) $a\star 0=a$, $\mathrm{\forall }a\in [0,1]$;

• (iv) $a\star b\le c\star d$, whenever $a\le c$ and $b\le d$ for all $a,b,c,d\in [0,1]$.

Definition 1.4 ([23])

A fuzzy normed space (briefly, FNS) is a triple $(X,\mu ,\ast )$, where X is a vector space, ∗ is a continuous t-norm and $\mu :X\times (0,\mathrm{\infty })\to [0,1]$ is a fuzzy set such that, for all $x,y\in X$ and $t,s>0$,

• (i) $\mu (x,t)>0$;

• (ii) $\mu (x,t)=1$ if and only if $x=\theta$;

• (iii) $\mu (cx,t)=\mu (x,\frac{t}{|c|})$ for all $c\ne 0$;

• (iv) $\mu (x,s)\ast \mu (y,t)\le \mu (x+y,s+t)$;

• (v) $\mu (x,\cdot )$ is a continuous function of ${\mathbb{R}}^{+}$ and

  $$\underset{t\to \mathrm{\infty }}{lim}\mu (x,t)=1,\underset{t\to 0}{lim}\mu (x,t)=0.$$

By the results in George and Veeramani [19], we can know that every fuzzy norm $(\mu ,\ast )$ on X generates a Hausdorff first countable topology ${\tau }_{\mu }$ on X which has as a base the family of open sets of the form

$$\{B(x,r,t):x\in X,r\in (0,1),t>0\},$$

where $B(x,r,t)=\{y\in X:\mu (x,y,t)>1-r\}$ for all $x\in X$, $r\in (0,1)$ and $t>0$.

Definition 1.5 (cf. [13, 21])

The 5-tuple $(X,\mu ,\nu ,\ast ,\star )$ is said to be an intuitionistic fuzzy normed space (for short, IFNS) if X is a linear space, ∗ is a continuous t-norm, ⋆ is a continuous t-conorm and μ, ν are fuzzy sets on $X\times (0,\mathrm{\infty })$ satisfying the following conditions:

• (i) $\mu (x,t)+\nu (x,t)\le 1$, $\mathrm{\forall }(x,t)\in X\times (0,\mathrm{\infty })$;

• (ii) $\mu (x,t)>0$;

• (iii) $\mu (x,t)=1$ if and only if $x=\theta$;

• (iv) $\mu (cx,t)=\mu (x,\frac{t}{|c|})$ for all $c\ne 0$;

• (v) $\mu (x,s)\ast \mu (y,t)\le \mu (x+y,s+t)$;

• (vi) $\mu (x,\cdot )$ is a continuous function of ${\mathbb{R}}^{+}$ and

  $$\underset{t\to \mathrm{\infty }}{lim}\mu (x,t)=1,\underset{t\to 0}{lim}\mu (x,t)=0;$$

• (vii) $\nu (x,t)<1$;

• (viii) $\nu (x,t)=0$ if and only if $x=\theta$;

• (ix) $\nu (cx,t)=\nu (x,\frac{t}{|c|})$ for all $c\ne 0$;

• (x) $\nu (x,s)\star \nu (y,t)\ge \nu (x+y,s+t)$;

• (xi) $\nu (x,\cdot )$ is a continuous function of ${\mathbb{R}}^{+}$ and

  $$\underset{t\to \mathrm{\infty }}{lim}\nu (x,t)=0,\underset{t\to 0}{lim}\nu (x,t)=1.$$

Park proved in [22], among other results, that each intuitionistic fuzzy norm $(\mu ,\nu )$ on X generates a Hausdorff first countable topology ${\tau }_{(\mu ,\nu )}$ on X which has as a base the family of open sets of the form $\{B(x,r,t):x\in X,r\in (0,1),t>0\}$, where $B(x,r,t)=\{y\in X:\mu (x,y,t)>1-r,\upsilon (x,y,t)<r\}$ for all $x\in X$, $r\in (0,1)$ and $t>0$. According to this topology, Park [22] gave the following definitions.

Definition 1.6 A sequence $\{x_n\}$ in an intuitionistic fuzzy normed linear space $(X,\mu ,\nu ,\ast ,\star )$ is said to converge to $x\in X$ with respect to the intuitionistic fuzzy norm $(\mu ,\nu )$ if, for any $\epsilon >0$, $t>0$, $0<\epsilon <1$, there exists an integer $n_0\in \mathbb{N}$ such that

$$\mu (x_n-x,t)>1-\epsilon \text{and}\nu (x_n-x,t)<\epsilon \text{for all }n\ge n_0.$$

Definition 1.7 A sequence $\{x_n\}$ in an intuitionistic fuzzy normed linear space $(X,\mu ,\nu ,\ast ,\star )$ is said to be a Cauchy sequence with respect to the intuitionistic fuzzy norm $(\mu ,\nu )$ if, for any $\epsilon >0$, $t>0$, $0<\epsilon <1$, there exists an integer $n_0\in \mathbb{N}$ such that

$$\mu (x_m-x_n,t)>1-\epsilon \text{and}\nu (x_m-x_n,t)<\epsilon \text{for all }m,n\ge n_0.$$

Definition 1.8 Let $(X,\mu ,\nu ,\ast ,\star )$ be an IFNS. Then $(X,\mu ,\nu ,\ast ,\star )$ is said to be complete if every Cauchy sequence in $(X,\mu ,\nu ,\ast ,\star )$ is convergent.

Definition 1.9 Let X and Y be two intuitionistic fuzzy normed spaces. A mapping $f:X\to Y$ is said to be continuous at $x_0\in X$ if, for any sequence $\{x_n\}$ in X converging to $x_0$, the sequence $\{f(x_n)\}$ in Y converges to $f(x_0)\in Y$. If $f:X\to Y$ is continuous at each $x\in X$, then f is said to be continuous on X.

For the topology ${\tau }_{(\mu ,\nu )}$, Gregori et al. [20] proved the following result.

Lemma 1.1 Let $(X,\mu ,\nu ,\ast ,\star )$ be an intuitionistic fuzzy metric space. Then the topologies ${\tau }_{(\mu ,\nu )}$ and ${\tau }_{\mu }$ coincide on X.

The following lemma was proved by Haghi et al. [15].

Lemma 1.2 Let X be a nonempty set, and let $g:X\to X$ be a mapping. Then there exists a subset $E\subset X$ such that $g(E)=g(X)$ and $g:E\to X$ is one-to-one.

Definition 1.10 ([16])

A point $(x,y)\in X\times X$ is called a coupled coincidence point of the mappings $F:X\times X\to X$ and $g:X\to X$ if

$$F(x,y)=gx,F(y,x)=gy.$$

Definition 1.11 ([16])

Let $(X,⊑)$ be a partially ordered set, and let $F:X\times X\to X$, $g:X\to X$ be two mappings. Then F is said to have the mixed g-monotone property if F is monotone g-non-decreasing in the first argument and is monotone g-non-increasing in the second argument, that is, for any $x,y\in X$,

$$x_1,x_2\in X,g(x_1)⊑g(x_2)⟹F(x_1,y)⊑F(x_2,y),$$

and

$$y_1,y_2\in X,g(y_1)⊑g(y_2)⟹F(x,y_1)⊒F(x,y_2).$$

If $g:X\to X$ is an identity mapping, we say that F has the mixed monotone property.

2 Main results

Theorem 2.1 Let $(X,⊑)$ be a partially ordered set, and let $(X,\mu ,\ast )$ be a complete FNS such that the t-norm ∗ is of H-type. Let $F:X\to X$ be a mapping such that F is non-decreasing and

$$\mu (F(x)-F(u),kt)\ge {\ast }^2\mu (x-u,t),$$

(2.1)

for which $x⊑u$ and $t>0$, where $0<k<1$. Suppose either

• (a) F is continuous, or

• (b) if $\{x_n\}$ is a non-decreasing sequence and ${lim}_{n\to \mathrm{\infty }}{x}_n=x$, then $x_n⊑x$ for all $n\in \mathbb{N}$.

If there exists $x_0\in X$ such that

$$x_0⊑F(x_0),$$

then F has a fixed point in X.

Proof Let $x_0\in X$ such that $x_0⊑F(x_0)$, and let $x_n=F(x_{n-1})$, $n=1,2,\dots$ , then we have that

$$x_0⊑x_1⊑x_2⊑\cdots ⊑x_n⊑x_{n+1}⊑\cdots .$$

Now, put

$${\delta }_n(t):=\mu (x_n-x_{n+1},t).$$

Then, by using (2.1), we have

$$\mu (x_n-x_{n+1},kt)=\mu (F(x_{n-1})-F(x_n),kt)\ge {\ast }^2\mu (x_{n-1}-x_n,t)={\ast }^2{\delta }_{n-1}(t).$$

Thus, it follows that ${\delta }_n(kt)\ge {\ast }^2{\delta }_{n-1}(t)$, and so

$${\delta }_n(t)\ge {\ast }^2{\delta }_{n-1}\left(\frac{t}{k}\right)\ge {\ast }^{2^n}{\delta }_0\left(\frac{t}{k^n}\right).$$

(2.2)

On the other hand, we have

$$t(1-k)(1+k+\cdots +k^{m-n-1})<t,\mathrm{\forall }m>n,0<k<1.$$

By Definition 1.4, we get that

$$\begin{array}{rcl}\mu (x_n-x_m,t)& \ge & \mu (x_n-x_m,t(1-k)(1+k+\cdots +k^{m-n-1}))\\ \ge & \mu (x_n-x_{n+1},t(1-k))\ast \mu (x_{n+1}-x_m,t(1-k)(k+\cdots +k^{m-n-1}))\\ \ge & \mu (x_n-x_{n+1},t(1-k))\ast \mu (x_{n+1}-x_{n+2},t(1-k)k)\\ \ast \cdots \ast \mu (x_{m-1}-x_m,t(1-k)k^{m-n-1}).\end{array}$$

(2.3)

It follows from (2.2) and (2.3) that

$$\begin{array}{rcl}\mu (x_n-x_m,t)& \ge & \mu (x_n-x_{n+1},t(1-k))\ast \mu (x_{n+1}-x_{n+2},t(1-k)k)\\ \ast \cdots \ast \mu (x_{m-1}-x_m,t(1-k)k^{m-n-1})\\ \ge & \left[{\ast }^{2^n}{\delta }_0\left(\frac{t(1-k)}{k^n}\right)\right]\ast \cdots \ast \left[{\ast }^{2^{m-1}}{\delta }_0\left(\frac{t(1-k)}{k^n}\right)\right]\\ =& {\ast }^{2^m-2^n}{\delta }_0\left(\frac{t(1-k)}{k^n}\right).\end{array}$$

(2.4)

By the hypothesis, the t-norm ∗ is of H-type; for all $\epsilon \in (0,1)$, there exists $\eta >0$ such that

$${\ast }^p(s)>1-\epsilon ,$$

for all $s\in (1-\eta ,1]$ and for all p. Note that

$$\underset{n\to \mathrm{\infty }}{lim}{\delta }_0\left(\frac{t(1-k)}{k^n}\right)=1$$

for all $t>0$ and $0<k<1$, we have that there exists $n_0$ such that

$$\mu (x_n-x_m,t)>1-\epsilon ,$$

for all $m>n>n_0$. Thus, $\{x_n\}$ is a Cauchy sequence. Since X is complete, there exists $x\in X$ such that

$$\underset{n\to \mathrm{\infty }}{lim}{x}_n=x.$$

If the assumption (a) holds, then by the continuity of F, we get that

$$x=\underset{n\to \mathrm{\infty }}{lim}{x}_{n+1}=\underset{n\to \mathrm{\infty }}{lim}F(x_n)=F(x).$$

If the assumption (b) holds, then we have that $x_n⊑x$ for all $n\in \mathbb{N}$. It follows from (2.1) that

$$\underset{n\to \mathrm{\infty }}{lim}\mu (x_{n+1}-F(x),kt)=\underset{n\to \mathrm{\infty }}{lim}\mu (F(x_n)-F(x),kt)\ge \underset{n\to \mathrm{\infty }}{lim}{\ast }^2\mu (x_n-x,t)=1.$$

Thus, $\mu (x-F(x),kt)=1$, that is, $x=F(x)$. Therefore, x is a fixed point of F. The proof is completed. □

Theorem 2.2 Let $(X,⊑)$ be a partially ordered set, and let $(X,\mu ,\ast )$ be a complete FNS such that the t-norm ∗ is of H-type and $a\ast b>0$ for any $a,b\in (0,1]$. Let $F:X\times X\to X$ be a mapping such that F has the mixed monotone property and

$$\mu (F(x,y)-F(u,v),kt)\ge \mu (x-u,t)\ast \mu (y-v,t),$$

(2.5)

for which $x⊑u,y⊒v$ and $t>0$, where $0<k<1$. Suppose either

• (a) F is continuous, or

• (b) X has the following property:

• (i) if $\{x_n\}$ is a non-decreasing sequence and ${lim}_{n\to \mathrm{\infty }}{x}_n=x$, then $x_n⊑x$ for all $n\in \mathbb{N}$,

• (ii) if $\{y_n\}$ is a non-increasing sequence and ${lim}_{n\to \mathrm{\infty }}{y}_n=y$, then $y_n⊒y$ for all $n\in \mathbb{N}$.

If there exist $x_0,y_0\in X$ such that

$$x_0⊑F(x_0,y_0),y_0⊒F(y_0,x_0),$$

then F has a coupled fixed point $x,y\in X$, that is,

$$x=F(x,y),y=F(y,x).$$

Proof First, we define a partial order ≼ on $X\times X$ as follows: $(x,y)\preccurlyeq (u,v)$ if and only if $x⊑u$ and $y⊒v$. Second, we define a fuzzy set on $X\times X$ as follows: $\tilde{\mu }((x,y),t)=\mu (x,t)\ast \mu (y,t)$ for any $(x,y)\in X\times X$ and any $t>0$. Since $(X,\mu ,\ast )$ is a complete FNS, we can easily prove that $(X\times X,\tilde{\mu },\ast )$ is a complete FNS. Lastly, we define a mapping $\tilde{F}:X\times X\to X\times X$ by

$$\tilde{F}(x,y)=(F(x,y),F(y,x)),\mathrm{\forall }(x,y)\in X\times X.$$

Since F has the mixed monotone property, if $(x,y)\preccurlyeq (u,v)$, we have that

that is, $\tilde{F}(x,y)\preccurlyeq \tilde{F}(u,v)$. Therefore, $\tilde{F}:X\times X\to X\times X$ is a non-decreasing mapping. Since $x_0,y_0\in X$ and

$$x_0⊑F(x_0,y_0),y_0⊒F(y_0,x_0),$$

we have that $(x_0,y_0)\preccurlyeq (F(x_0,y_0),F(y_0,x_0))=\tilde{F}(x_0,y_0)$. If $(x,y)\preccurlyeq (u,v)$, by (2.5) we have that

$$\begin{array}{rcl}\tilde{\mu }(\tilde{F}(x,y)-\tilde{F}(u,v),kt)& =& \tilde{\mu }((F(x,y)-F(u,v),F(v,u)-F(y,x)),kt)\\ =& \mu (F(x,y)-F(u,v),kt)\ast \mu (F(v,u)-F(y,x),kt)\\ \ge & (\mu (x-u,t)\ast \mu (y-v,t))\ast (\mu (x-u,t)\ast \mu (y-v,t))\\ =& {\ast }^2\tilde{\mu }((x,y)-(u,v),t).\end{array}$$

Thus, all the assumptions of Theorem 2.1 hold for $\tilde{F}$ and $(X\times X,\tilde{\mu },\ast )$. By Theorem 2.1 we get that $\tilde{F}$ has a fixed point $(x,y)\in X\times X$, that is, $(x,y)=(F(x,y),F(y,x))$. This implies that $x=F(x,y)$, $y=F(y,x)$, that is, $(x,y)$ is a coupled fixed point of F. The proof is completed. □

By using Theorem 2.2, we can prove the following coupled fixed point theorem in intuitionistic fuzzy normed spaces.

Theorem 2.3 Let $(X,⊑)$ be a partially ordered set, and let $(X,\mu ,\nu ,\ast ,\star )$ be a complete IFNS such that the t-norm ∗ is of H-type and $a\ast b>0$ for any $a,b\in (0,1]$. Let $F:X\times X\to X$ be a mapping such that F has the mixed monotone property and

$$\mu (F(x,y)-F(u,v),kt)\ge \mu (x-u,t)\ast \mu (y-v,t),$$

(2.6)

for which $x⊑u,y⊒v$ and $t>0$, where $0<k<1$. Suppose either

• (a) F is continuous, or

• (b) X has the following property:

• (i) if $\{x_n\}$ is a non-decreasing sequence and ${lim}_{n\to \mathrm{\infty }}{x}_n=x$, then $x_n⊑x$ for all $n\in \mathbb{N}$,

• (ii) if $\{y_n\}$ is a non-increasing sequence and ${lim}_{n\to \mathrm{\infty }}{y}_n=y$, then $y_n⊒y$ for all $n\in \mathbb{N}$.

If there exist $x_0,y_0\in X$ such that

$$x_0⊑F(x_0,y_0),y_0⊒F(y_0,x_0),$$

then F has a coupled fixed point $x,y\in X$, that is,

$$x=F(x,y),y=F(y,x).$$

Proof Assume that $\{x_n\}$ is a sequence in $(X,\mu ,\nu ,\ast ,\star )$. Let $t>0$, $0<\epsilon <1$. If $\mu (x_m-x_n,t)>1-\epsilon$, then by Definition 1.5(i) we can deduce that $\nu (x_m-x_n,t)<\epsilon$. Thus, a sequence $\{x_n\}$ in $(X,\mu ,\nu ,\ast ,\star )$ is Cauchy if and only if $\{x_n\}$ is Cauchy in $(X,\mu ,\ast )$. By Lemma 1.1, we know that the topology of $(X,\mu ,\nu ,\ast ,\star )$ is the same as the topology of $(X,\mu ,\ast )$. This implies that $(X,\mu ,\nu ,\ast ,\star )$ is a complete IFNS if and only if $(X,\mu ,\ast )$ is a complete FNS. Therefore, by using Theorem 2.2 to $(X,\mu ,\ast )$ and F, we get that F has a coupled fixed point $x,y\in X$. The proof is completed. □

Theorem 2.4 Let $(X,⊑)$ be a partially ordered set, and let $(X,\mu ,\nu ,\ast ,\star )$ be a complete IFNS such that the t-norm ∗ is of H-type and $a\ast b>0$ for any $a,b\in (0,1]$. Let $F:X\times X\to X$, $g:X\to X$ be two mappings such that F has the mixed g- monotone property and

$$\mu (F(x,y)-F(u,v),kt)\ge \mu (gx-gu,t)\ast \mu (gy-gv,t),$$

(2.7)

for which $g(x)⊑g(u)$ , $g(y)⊒g(v)$ and $t>0$, where $0<k<1$, $F(X\times X)\subseteq g(X)$ and g is continuous. Suppose either

• (a) F is continuous, or

• (b) X has the following property:

• (i) if $\{x_n\}$ is a non-decreasing sequence and ${lim}_{n\to \mathrm{\infty }}{x}_n=x$, then $g{x}_n⊑gx$ for all $n\in \mathbb{N}$,

• (ii) if $\{y_n\}$ is a non-increasing sequence and ${lim}_{n\to \mathrm{\infty }}{y}_n=y$, then $g{y}_n⊒gy$ for all $n\in \mathbb{N}$.

If there exist $x_0,y_0\in X$ such that

$$g(x_0)⊑F(x_0,y_0),g(y_0)⊒F(y_0,x_0),$$

then there exist $x,y\in X$ such that

$$g(x)=F(x,y),g(y)=F(y,x),$$

that is, F and g have a coupled coincidence point in X.

Proof The conclusion of Theorem 2.4 can be proved by using Lemma 1.2 and Theorem 2.3. Since the proof is similar to the proof of Theorem 3.2 in [17], we delete the details of the proof. The proof is completed. □

Remark 2.1 It follows from the proof of the above theorems that the following implications hold: Theorem 2.1 ⟹ Theorem 2.2 ⟹Theorem 2.3 ⟹ Theorem 2.4. Conversely, it is clear that the following implications hold: Theorem 2.4 ⟹ Theorem 2.3 ⟹ Theorem 2.2. Thus, we have the following conclusion.

Theorem 2.5 Theorem  2.2-Theorem  2.4 are equivalent.

Remark 2.2 In [13] and [17], the condition $a\star b\le ab$ for all $a,b\in [0,1]$ is used. But this condition cannot hold in intuitionistic fuzzy normed spaces. In fact, if this condition holds, by using (iii) and (iv) in the definition of IFNS, we can get $1=1\star 0\le 1\cdot 0=0$, which yields a contradiction. Furthermore, the proofs of the results in [13] and [17] have the same errors as noted in [18]. Therefore, our results improve and correct results in [13] and [17].

In the following, we give an example to show that our contractive conditions are a real improvement over the contractive conditions used in [13] and [17].

Example 2.1 Let $X=\mathbb{R}$, $\mu (x,t)=\frac{t}{t+|x|}$, $\nu (x,t)=1-\frac{t}{t+|x|}$ for every $x\in X$, and let $t>0$, $a\ast b=min\{a,b\}$, $a\star b=max\{a,b\}$ for all $a,b\in [0,1]$. Then $(X,\mu ,\nu ,\ast ,\star )$ is a complete intuitionistic fuzzy normed linear space, and the t-norm ∗ and t-conorm ⋆ are of H-type. If X is endowed with the usual order $x⊑y\iff x-y\le 0$, then $(X,⊑)$ is a partially ordered set. Let $0<k<1$, and define $F(x,y)=\frac{x-y}{4}$, $gx=\frac{x}{k}$ for any $x,y\in X$. Then $F:X\times X\to X$ is a mixed g-monotone mapping, $F(X,X)\subseteq g(X)$, and g is continuous. Let $x_0=-1$ and $y_0=1$, then

$$\frac{-1}{k}=g{x}_0⊑F(x_0,y_0)=\frac{-1}{2},\frac{1}{2}=F(y_0,x_0)⊑\frac{1}{k}=g{y}_0.$$

For any $x,y,u,v\in X$, with $gx⊑gu,gv⊑gy$, we have

$$\begin{array}{rcl}\mu (F(x,y)-F(u,v),kt)& =& \frac{kt}{kt+\frac{|u-x+y-v|}{4}}\\ \ge & min\{\frac{kt}{kt+|u-x|},\frac{kt}{kt+|y-v|}\}\\ =& min\{\frac{t}{t+|u-x|/k},\frac{t}{t+|y-v|/k}\}\\ =& min\{\mu (gx-gu,t),\mu (gy-gv,t)\}\\ =& \mu (gx-gu,t)\ast \mu (gy-gv,t).\end{array}$$

Thus, all the conditions of Theorem 2.4 are satisfied. By Theorem 2.4, there is $(x^{\ast },y^{\ast })\in X\times X$ such that $F(x^{\ast },y^{\ast })=g(x^{\ast })$ and $F(y^{\ast },x^{\ast })=g(y^{\ast })$. But υ does not satisfy the contractive conditions in [13] and [17]. In fact, for $u=x+1$, $y=v+1$,

$$\begin{array}{rcl}\nu (F(x,y)-F(u,v),kt)& =& 1-\frac{kt}{kt+\frac{|u-x+y-v|}{4}}=1-\frac{kt}{kt+\frac{1}{2}}\\ >& max\{1-\frac{kt}{kt+|u-x|},1-\frac{kt}{kt+|y-v|}\}\\ =& max\{1-\frac{t}{t+|u-x|/k},1-\frac{t}{t+|y-v|/k}\}\\ =& max\{\nu (gx-gu,t),\nu (gy-gv,t)\}\\ =& \nu (gx-gu,t)\star \nu (gy-gv,t).\end{array}$$

This shows that υ does not satisfy the contractive conditions in [13] and [17].