Skip to main content

V-Fuzzy metric space and related fixed point theorems

Abstract

The paper concerns our sustained efforts for introduction of V-fuzzy metric spaces and to study their basic topological properties. As an application of this concept, we prove coupled common fixed point theorems for mixed weakly monotone maps in partially ordered V-fuzzy metric spaces. An example quoted in this paper also corroborates fully the main result. Also, here we introduce the concept of a symmetric V-fuzzy metric space. Under the influence of symmetry property of V-fuzzy metric spaces, its conversion materializes to the main result from V-fuzzy metric spaces to fuzzy metric spaces.

1 Introduction and preliminaries

A metric space is just a nonempty set X associated with a function d of two variables enabling us to measure the distance between points. In advanced mathematics, we need to find the distance not only between numbers and vectors, but also between more complicated objects like sequences, sets, and functions. In order to find an appropriate concept of a metric space, numerous approaches exist in this sphere. Thus, new notions of distance lead to new notions of convergence and continuity. A number of generalizations of a metric space have been discussed by many eminent mathematicians. Mustafa and Sims [1] introduced the notion of a G-metric space and suggested an important generalization of a metric space as follows.

Definition 1.1

[1]

Let X be a nonempty set, and let \(G:X^{3} \rightarrow[0, + \infty)\) be a function satisfying the following conditions for all \(x,y,z,a \in X\):

  1. (G-1)

    \(G(x,y,z) = 0\) if \(x=y=z\),

  2. (G-2)

    \(0 \leq G(x,y,z)\) with \(x \neq y\),

  3. (G-3)

    \(G(x,x,y) \leq G(x,y,z)\) with \(y \neq z\),

  4. (G-4)

    \(G(x,y,z)=G(x,z,y)=G(y,x,z)=G(z,x,y)=G(y,z,x)=G(z,y,x)\),

  5. (G-5)

    \(G(x,y,z) \leq G(x,a,a) + G(a,y,z)\).

The function G is called a generalized metric on X, and the pair \((X, G)\) is called a G-metric space.

Example 1.1

[1]

Let \((X,d)\) be a metric space. Define \(G:X \times X \times X \rightarrow R^{+}\) by

$$ G(x,y,z) = \frac{d(x,y)+d(y,z)+d(z,x)}{3} . $$

Then \((X,G)\) is a G-metric space.

Recently, some authors studied some important fixed point theorems with application in G-metric spaces [2–4]. In 2012, Sedghi et al. [5] introduced a new generalized metric space called an S-metric space.

Definition 1.2

[5]

Let X be a nonempty set. Suppose that a function \(S:X^{3} \rightarrow [0, + \infty)\) satisfies the following conditions:

  1. (S-1)

    \(S(x,y,z) \geq0\),

  2. (S-2)

    \(S(x,y,z) = 0\) if and only if \(x=y=z=0\),

  3. (S-3)

    \(S(x,y,z)\leq S(x,x,a) + S(y,y,a) + S(z,z,a)\) for any \(x,y,z,a \in X\).

Then the ordered pair \((X,S)\) is called an S-metric space.

Example 1.2

[5]

Let ℜ be the real line. Then \(S(x,y,z)=\vert x-y\vert +\vert y-z\vert \) for all \(x,y,z \in\Re \) is an S-metric on ℜ. This S-metric is called the usual S-metric on ℜ.

Abbas et al. [6] established the notion of A-metric spaces, a generalization of S-metric spaces.

Definition 1.3

[6]

Let X be a nonempty set. A function \(A:X^{n} \rightarrow[0, + \infty )\) is called an A-metric on X if for any \(x_{i}\), \(a\in X\), \(i=1,2,3,\ldots, n\), the following conditions hold:

  1. (A-1)

    \(A(x_{1}, x_{2}, x_{3}, \ldots, x_{n}) \geq0\),

  2. (A-2)

    \(A(x_{1}, x_{2}, x_{3}, \ldots, x_{n}) = 0\) if and only if \(x_{1}= x_{2}= x_{3}= \cdots= x_{n} = 0\),

  3. (A-3)

    \(A(x_{1}, x_{2}, x_{3}, \ldots, x_{n}) \leq A(x_{1}, x_{1}, x_{1}, \ldots, (x_{1})_{n-1}, a) + A(x_{2}, x_{2}, x_{2}, \ldots, (x_{2})_{n-1}, a)+ \cdots+A(x_{n}, x_{n}, x_{n}, \ldots, (x_{n})_{n-1}, a)\).

The pair \((X,A)\) is called an A-metric space.

Example 1.3

[6]

Let \(X=\Re\). Define the function \(A:X^{n} \rightarrow[0, + \infty)\) by

$$ A(x_{1}, x_{2}, x_{3}, \ldots, x_{n})= \sum_{i=1}^{n}\sum _{i< j}\vert x_{i}-y_{j}\vert . $$

Then \((X,A)\) is called the usual A-metric space.

Fixed point theorems have been studied in many contexts, one of which is the fuzzy setting. The concept of fuzzy sets was initially introduced by Zadeh [7] in 1965. To use this concept in topology and analysis, the theory of fuzzy sets and its applications have been developed by many eminent authors. It is well known that a fuzzy metric space is an important generalization of a metric space.

Many authors have introduced fuzzy metric spaces in different ways. For instance, George and Veeramani [8] modified the concept of a fuzzy metric space introduced by Kramosil and Michalek [9] and defined the Hausdorff topology of a fuzzy metric space.

Definition 1.4

[10]

A binary operation \(\ast: [0,1] \times[0,1] \rightarrow[0,1]\) is called a continuous t-norm if ∗ satisfies following conditions:

  1. (i)

    ∗ is commutative and associative,

  2. (ii)

    ∗ is continuous,

  3. (iii)

    \(a \ast1 = a\), ∀ \(a \in[0,1]\),

  4. (iv)

    \(a\ast b \leq c \ast d\) whenever \(a \leq c\) and \(b \leq d\) for all \(a,b,c,d\in[0,1]\).

Definition 1.5

[9]

The triplet \((X, M, \ast)\) is called a fuzzy metric space (shortly, FM-space) if X is an arbitrary set, ∗ is a continuous t-norm, and M is a fuzzy set in \(X \times X \times[0, \infty)\) satisfying the following conditions for all \(x,y,z \in X\) and \(s,t > 0\):

  1. (FM-1)

    \(M(x, y , 0) = 0\),

  2. (FM-2)

    \(M(x, y ,t) = 1\) if and only if \(x = y\),

  3. (FM-3)

    \(M(x, y ,t) = M(y, x, t)\),

  4. (FM-4)

    \(M(x, y ,t) \ast M(y, z, s) \leq M(x, z ,t+s)\),

  5. (FM-5)

    \(M(x, y, \cdot) : [0 ,\infty) \rightarrow[0, 1]\) is left continuous.

Note that \(M(x, y ,t)\) can be thought of as a degree of nearness between x and y with respect to t.

Example 1.4

[8]

Let \((X,d)\) be a metric space. Define the t-norm \(a\ast b = ab\) or \(a \ast b = \min \{a,b \}\). For all \(x,y \in X\), \(t>0\), let

$$ M(x,y,t) = \frac{t}{t + d(x,y)}. $$

Then \((X,M,\ast)\) is a fuzzy metric space.

Lemma 1.1

[11]

Let \((X,M,\ast)\) be a fuzzy metric space. If there exists \(k \in(0,1)\) such that, for all \(x,y \in X\) and \(t > 0\),

$$ M(x,y,kt) \geq M(x,y,t) $$

for all \(x,y \in X\), \(t > 0\), then \(x=y\).

In the process of generalization of fuzzy metric spaces, Sun and Yang [12] coined the notion of G-fuzzy metric spaces and established common fixed-point theorems for four mappings.

Definition 1.6

[12]

A triplet \((X, V, \ast)\) is said to be a G-fuzzy metric space (shortly, GF-space) if X is an arbitrary nonempty set, ∗ is a continuous t-norm, and G is a fuzzy set on \(X \times X \times X \times[0, \infty)\) satisfying the following conditions for all \(x,y,z \in X\) and \(s,t > 0\):

  1. (GF-1)

    \(G(x,x,y,t) > 0\) with \(x \neq y\),

  2. (GF-2)

    \(G(x,x,y,t) \geq G(x,y,z,t)\) with \(y \neq z\),

  3. (GF-3)

    \(G(x,y,z,t) = 1 \) if and only if \(x=y=z\),

  4. (GF-4)

    \(G(x,y,z,t)= G(x,z,y,t) =G(y,x,z,t)= G(z,x,y,t)= G(y,z,x,t)=G(z,y,x,t)\),

  5. (GF-5)

    \(G(x,y,z,t+s) \geq G(x,a,a,t) \ast G(a,y,z,s)\),

  6. (GF-6)

    \(G(x,y,z,\cdot): [0 ,\infty) \rightarrow[0, 1]\) is left continuous.

Example 1.5

[12]

Let G be a G-metric on a nonempty set X. Define the t-norm \(a \ast b = \min \{a,b \}\). For all \(x,y \in X\) and \(t>0\), denote

$$ G(x,y,z,t) = \frac{t}{t + G(x,y,z)}. $$

Then \((X,G,\ast)\) is a GF-space.

Lemma 1.2

[12]

Let \((X,G, \ast)\) be a GF-space. Then \(G(x,y,z,t)\) is nondecreasing with respect to t for all \(x,y,z \in X\).

On the other hand, the concepts of coupled fixed points and mixed monotone property of a fuzzy metric space are established by Bhaskar and Lakshmikantham [13]. Lakshmikantham and Ciric [14] discussed the mixed monotone mappings and gave some coupled fixed point theorems, which can be used to discuss the existence and uniqueness of a solution for a periodic boundary value problem.

Definition 1.7

[14]

An element \((x,y) \in X \times X\) is called a coupled fixed point of a mapping \(P:X \times X \rightarrow X\) if \(P(x,y) =x\) and \(P(y,x) =y\).

Definition 1.8

[14]

An element \((x,y) \in X \times X\) is called a coupled coincidence point of the mappings \(P:X \times X \rightarrow X\) and \(Q:X \rightarrow X\) if \(P(x,y) =Q(x)\) and \(P(y,x) =Q(y)\).

Definition 1.9

[14]

An element \((x,y) \in X \times X\) is called a common coupled fixed point of the mappings \(P:X \times X \rightarrow X\) and \(Q:X \rightarrow X\) if \(x= P(x,y) =Q(x)\) and \(y= P(y,x) =Q(y)\).

Example 1.6

Let \(X=[0,1]\). Define \(P:X \times X \rightarrow X\) and \(Q:X \rightarrow X\) as

$$ P(x,y) =\biggl\vert \frac{x-y}{2}+\frac{1}{4}\biggr\vert ,\qquad Q(x) =x. $$

For \(x=0\) and \(y=\frac{1}{2}\), we have

$$ P(x,y) =\biggl\vert \frac{0-\frac{1}{2}}{2}+\frac{1}{4}\biggr\vert =0, \qquad Q(0)=0 $$

and

$$ P(y,x) =\biggl\vert \frac{\frac{1}{2}-0}{2}+\frac{1}{4}\biggr\vert = \frac{1}{2}, \qquad Q\biggl(\frac{1}{2}\biggr)=\frac{1}{2}. $$

So, \((x,y)=(0,\frac{1}{2})\) is a common coupled fixed point of the mappings \(P:X \times X \rightarrow X\) and \(Q:X \rightarrow X\).

Definition 1.10

[14]

An element \(x \in X \) is called a common fixed point of the mappings \(P:X \times X \rightarrow X\) and \(Q:X \rightarrow X\) if \(x= P(x,x) =Q(x)\).

Example 1.7

Define \(P:X \times X \rightarrow X\) and \(Q:X \rightarrow X\) where \(X=[0,1]\) as

$$ P(x,y) =x-\frac{y}{2}+\frac{xy}{2},\qquad Q(x) =x. $$

Then we have

$$ P(x,x) =\frac{x+x^{2}}{2},\qquad Q(x) =x. $$

For \(x=1\), we get \(P(1,1) =1= Q(1)\). So, \((x,y)=(1,1)\) is a common fixed point of the pair \((P,Q)\).

Definition 1.11

[13]

Let \((X,\preceq)\) be a partially ordered set. The mapping \((x,y)\) is said to have the mixed monotone property if P is monotone nondecreasing in its first argument and is monotone nonincreasing in its second argument; that is, for any \(x,y \in X\),

$$ x_{1},x_{2} \in X, \quad x_{1} \preceq x_{2}\quad \implies\quad P(x_{1},y) \preceq P(x_{2},y) $$

and

$$ y_{1},y_{2} \in X, \quad y_{1} \preceq y_{2} \quad \implies\quad P(x,y_{1}) \succeq P(x,y_{2}). $$

Example 1.8

Let \(P:X \times X \rightarrow X\) where \(X=[0,1]\) be defined by

$$P(x,y) = \textstyle\begin{cases} {x-y} & \mbox{if } x \succeq y, \\ 0 & \mbox{if } x \prec y. \end{cases} $$

For \(x_{1},x_{2}\in X\), \(x_{1} \preceq x_{2}\), we have

$$ x_{1}-y\preceq x_{2}-y \quad \Longrightarrow \quad P(x_{1},y)\preceq P(x_{2},y)\quad \mbox{and}\quad P(x,y_{1})\succeq P(x,y_{2}). $$

Therefore, the mapping P has the mixed monotone property.

Definition 1.12

[13]

Let \((X,\preceq)\) be a partially ordered set, and \(P:X \times X \rightarrow X\) and \(Q:X \rightarrow X\). We say that P has the mixed Q-monotone property if P is monotone Q-nondecreasing in its first argument and is monotone Q-nonincreasing in its second argument, that is, for any \(x,y \in X\),

$$ x_{1},x_{2} \in X, \quad Q(x_{1}) \preceq Q(x_{2})\quad \implies\quad P(x_{1},y) \preceq P(x_{2},y) $$

and

$$ y_{1},y_{2} \in X, \quad Q(y_{1}) \preceq Q(y_{2}) \quad \implies \quad P(x,y_{1}) \succeq P(x,y_{2}). $$

Example 1.9

Let \(P:X \times X \rightarrow X\) and \(Q:X \rightarrow X\) where \(X=[-1,1]\) be two functions given by

$$ P(x,y) =x-y^{2},\qquad Q(x) =x^{4}. $$

Therefore, the map P has the mixed Q-monotone property.

Definition 1.13

[15]

The mappings \(P:X \times X \rightarrow X\) and \(Q:X \rightarrow X\) are said to be W-compatible if

$$ Q\bigl(P(x,y)\bigr) = P(Qx,Qy) $$

and

$$ Q\bigl(P(y,x)\bigr) = P(Qy,Qx) $$

whenever \(P(x,y) = Q(x)\) and \(P(y,x) = Q(y)\) for some \((x,y) \in X \times X\).

Example 1.10

Define \(P:X \times X \rightarrow X\) and \(Q:X \rightarrow X\) where \(X=[-1,1]\) as \(P(x,y) =\frac{x^{2}+y^{2}}{2}\), \(Q(x) =x\), which satisfies \(Q (P(x,y) ) =P ((Q x,Q y) )\) and \(Q (P(y,x) ) =P ((Q y,Q x) )\). For \(x=1\) and \(y=1\), we get \(P(x,y)= Q(x)\) and \(P(y,x)= Q(y)\). This implies that the mappings \(P:X \times X \rightarrow X\) and \(Q:X \rightarrow X\) are W-compatible mappings.

Many others eminent authors proved significant results which contributed in the arena of fixed point theory (see [16–21]).

2 V-Fuzzy metric space

After the exhaustive review of the previous literature, we introduce V-fuzzy metric spaces and discuss their properties given below.

Definition 2.1

Let X be a nonempty set. A triple \((X, V, \ast)\) is said to be a V-fuzzy metric space (denoted by VF-space), where ∗ is a continuous t-norm, and V is a fuzzy set on \(X^{n} \times(0, \infty )\) satisfying the following conditions for all \(t, s > 0\):

  1. (VF-1)

    \(V(x, x, x,\ldots, x, y, t) > 0\) for all \(x, y \in X\) with \(x \neq y\);

  2. (VF-2)

    \(V(x_{1}, x_{1}, x_{1}, \ldots, x_{1}, x_{2}, t) \geq V(x_{1}, x_{2}, x_{3}, \ldots, x_{n}, t)\) for all \(x_{1}, x_{2}, x_{3}, \ldots, x_{n} \in X\) with \(x_{2} \neq x_{3} \neq \cdots\neq x_{n}\);

  3. (VF-3)

    \(V(x_{1}, x_{2}, x_{3}, \ldots, x_{n}, t) = 1\) if and only if \(x_{1} = x_{2} = x_{3} = \cdots= x_{n}\);

  4. (VF-4)

    \(V(x_{1}, x_{2}, x_{3}, \ldots, x_{n}, t) = V(p(x_{1}, x_{2}, x_{3}, \ldots, x_{n}), t)\), where p is a permutation function;

  5. (VF-5)

    \(V(x_{1}, x_{2}, x_{3},\ldots, x_{n-1}, t+s) \geq V(x_{1}, x_{2}, x_{3}, \ldots,x_{n-1}, l, t) \ast V(l,l,l, \ldots, l,x_{n}, s)\);

  6. (VF-6)

    \(\lim_{t \rightarrow\infty}V(x_{1}, x_{2}, x_{3}, \ldots , x_{n}, t) = 1\);

  7. (VF-7)

    \(V(x_{1}, x_{2}, x_{3}, \ldots, x_{n}, \cdot): (0, \infty) \rightarrow[0, 1]\) is continuous.

Example 2.1

Let \((X, A)\) be an A-metric space. Define the t-norm \(a \ast b = ab\) or \(a \ast b = \min \{a, b \}\). For all \(x_{1}, x_{2}, x_{3}, \ldots, x_{n} \in X\), \(t > 0\), denote

$$ V(x_{1}, x_{2}, x_{3}, \ldots, x_{n}, t) = \frac{t}{t + A(x_{1}, x_{2}, x_{3}, \ldots, x_{n})}. $$

Then \((X, V, \ast)\) is a V-fuzzy metric space.

Lemma 2.1

Let \((X, V, \ast)\) be a V-fuzzy metric space. Then \(V(x_{1}, x_{2}, x_{3}, \ldots, x_{n}, t)\) is nondecreasing with respect to t.

Proof

Since \(t > 0\) and \(t + s > t\) for \(s > 0\), by letting \(l = x_{n}\) in condition (VF-5) of a V-fuzzy metric space, we get

$$ V(x_{1}, x_{2}, x_{3}, \ldots, x_{n-1}, x_{n}, t+s) \geq V(x_{1}, x_{2}, x_{3}, \ldots, x_{n-1}, x_{n}, t) \ast V(x_{n}, x_{n}, x_{n}, \ldots, x_{n}, x_{n}, s). $$

This implies that \(V(x_{1}, x_{2}, x_{3}, \ldots, x_{n-1}, x_{n}, t+s) \geq V(x_{1}, x_{2}, x_{3}, \ldots, x_{n-1}, x_{n}, t)\).

So, \(V(x_{1}, x_{2}, x_{3}, \ldots, x_{n-1}, x_{n}, t)\) is nondecreasing with respect to t. □

Lemma 2.2

Let \((X, V, \ast)\) be a V-fuzzy metric space such that

$$ V(x_{1}, x_{2}, x_{3}, \ldots, x_{n}, kt) \geq V(x_{1}, x_{2}, x_{3}, \ldots, x_{n}, t) $$

with \(k \in(0, 1)\). Then \(x_{1} = x_{2} = x_{3} = \cdots= x_{n}\).

Proof

By assumption

$$ V(x_{1}, x_{2}, x_{3}, \ldots, x_{n}, kt) \geq V(x_{1}, x_{2}, x_{3}, \ldots, x_{n}, t) $$
(1)

for \(t > 0\). Since \(kt < t\), by Lemma 2.1 we have

$$ V(x_{1}, x_{2}, x_{3}, \ldots, x_{n}, kt) \leq V(x_{1}, x_{2}, x_{3}, \ldots, x_{n}, t). $$
(2)

From (1), (2), and the definition of a V-fuzzy metric space we get \(x_{1} = x_{2} = x_{3} = \cdots= x_{n}\). □

Definition 2.2

Let \((X, V, \ast)\) be a V-fuzzy metric space. A sequence \(\{ x_{r} \}\) is said to converge to a point \(x \in X\) if \(V(x_{r}, x_{r}, x_{r}, \ldots, x_{r}, x, t) \rightarrow1\) as \(r \rightarrow\infty\) for all \(t > 0\), that is, for each \(\epsilon> 0\), there exists \(n \in N\) such that for all \(r \geq N\), we have \(V(x_{r}, x_{r}, x_{r}, \ldots,x_{r}, x, t) > 1 - \epsilon\), and we write \(\lim_{r \rightarrow\infty}x_{r} = x\).

Definition 2.3

Let \((X, V, \ast)\) be a V-fuzzy metric space. A sequence \(\{ x_{r} \}\) is said to be a Cauchy sequence if \(V(x_{r}, x_{r}, x_{r}, \ldots, x_{r}, x_{q}, t) \rightarrow1\) as \(r, q \rightarrow\infty\) for all \(t > 0\), that is, for each \(\epsilon> 0\), there exists \(n_{0} \in N\) such that for all \(r, q \geq n_{0}\), we have \(V(x_{r}, x_{r}, x_{r}, \ldots,x_{r}, x_{q}, t) > 1 - \epsilon\).

Definition 2.4

The V-fuzzy metric space \((X, V, \ast)\) is said to be complete if every Cauchy sequence in X is convergent.

Definition 2.5

The mappings \(P: X \times X \rightarrow X\) and \(Q: X \rightarrow X\) are said to be compatible on V-fuzzy metric spaces if

$$ \lim_{r \rightarrow\infty} V\bigl(QP(x_{r}, y_{r}), QP(x_{r}, y_{r}), \ldots, QP(x_{r}, y_{r}), P(Qx_{r}, Qy_{r}),t\bigr) = 1 $$

and

$$ \lim_{r \rightarrow\infty} V\bigl(QP(y_{r}, x_{r}), QP(y_{r}, x_{r}), \ldots, QP(y_{r}, x_{r}), P(Qy_{r}, Qx_{r}),t\bigr) = 1 $$

whenever \(\{x_{r} \}\) and \(\{y_{r} \}\) are sequences in X such that \(\lim_{r \rightarrow\infty}Q(x_{r}) = \lim_{r \rightarrow\infty}P(x_{r}, y_{r}) = x\) and \(\lim_{r \rightarrow \infty}Q(y_{r}) = \lim_{r \rightarrow\infty}P(y_{r}, x_{r}) = y\) for all \(x, y \in X\) and \(t >0\).

3 Main results

In this section, we explicitly prove fixed point theorems for coupled maps on partially ordered V-fuzzy metric spaces.

Theorem 3.1

Let \((X, V, \ast)\) be a complete V-fuzzy metric space, and \((X,\preceq )\) be a partially ordered set. Let \(P: X \times X \rightarrow X\) and \(Q : X \times X \rightarrow X\) be two mappings such that

  1. (T1)

    \(P(X \times X) \subseteq Q(X)\);

  2. (T2)

    P has the mixed Q-monotone property;

  3. (T3)

    there exists \(k \in(0, 1)\) such that

    $$\begin{aligned}& V\bigl(P(x, y), P(x, y),\ldots,P(x, y), P(u, v), kt\bigr) \\& \quad \geq V(Qx, Qx, \ldots, Qx, Qu, t) \\& \qquad {}\ast V\bigl(Qx, Qx,\ldots, Qx, P(x, y), t\bigr) \\& \qquad {} \ast V\bigl(Qu, Qu,\ldots, Qu, P(u,v), t\bigr) \end{aligned}$$

    for all \(x, y, u, v \in X\) and \(t > 0\) for which \(Q(x) \leq Q(u)\) and \(Q(y) \geq Q(v)\) or \(Q(x) \geq Q(u)\) and \(Q(y) \leq Q(v)\);

  4. (T4)

    Q is continuous, and P and Q are compatible.

    Also suppose that

    1. (a)

      P is continuous or

    2. (b)

      X has the following properties:

      1. (i)

        if \(\{x_{r} \}\) is a nondecreasing sequence such that \(x_{r}\rightarrow x\), then \(x_{r} \leq x\) for all \(r \in N\);

      2. (ii)

        if \(\{y_{r} \}\) is a nonincreasing sequence \(y_{r}\rightarrow y\), then \(y_{r} \geq y\) for all \(r \in N\).

If there exist \(x_{0}, y_{0} \in X\) such that \(Q(x_{0}) \leq P(x_{0},y_{0})\) and \(Q(y_{0}) \geq P(y_{0},x_{0})\), then P and Q have a coupled coincidence point in X.

Proof

Let \((x_{0}, y_{0})\) be a given point in \(X \times X\) such that \(Q(x_{0}) \leq P(x_{0}, y_{0})\) and \(Q(y_{0}) \geq P(y_{0}, x_{0})\). Using (T1), choose \(x_{1}\), \(y_{1}\) such that

$$ P(x_{0}, y_{0}) = Q(x_{1}) \quad \mbox{and} \quad P(y_{0}, x_{0}) = Q(y_{1}). $$
(3)

Construct two sequences \(\{x_{r} \}\) and \(\{y_{r} \} \) in X such that \(P(x_{r}, y_{r}) = Q(x_{r+1})\) and

$$ P(y_{r}, x_{r}) = Q(y_{r+1}) \quad \mbox{for all } r \geq0. $$
(4)

Now we shall prove that

$$ Q(x_{r}) \leq Q(x_{r+1})\quad \mbox{and} \quad Q(y_{r}) \geq Q(y_{r+1}). $$
(5)

We use mathematical induction.

Step 1. Let \(r = 0\). Since \(Q(x_{0}) \leq P(x_{0}, y_{0})\) and \(Q(y_{0}) \geq P(y_{0}, x_{0})\), using condition (3), we have

$$ Q(x_{0}) \leq Q(x_{1}) \quad \mbox{and} \quad Q(y_{0}) \geq Q(y_{1}). $$

So inequalities (5) hold for \(r = 0\).

Step 2. Now suppose that (5) hold for some fixed \(s \geq0\). So we get

$$ Q(x_{s}) \leq Q(x_{s+1}) \quad \mbox{and}\quad Q(y_{s}) \geq Q(y_{s+1}). $$

Step 3. Since P has the mixed Q-monotone property, using (4), we have

$$ Q(x_{r+1}) = P(x_{r}, y_{r})\leq P(x_{r+1}, y_{r}) $$

and

$$ Q(y_{r+1}) = P(y_{r}, x_{r})\geq P(y_{r+1}, x_{r}). $$
(6)

Also, \(Q(x_{r+2}) = P(x_{r+1}, y_{r+1})\geq P(x_{r+1}, y_{r})\) and

$$ Q(y_{r+2}) = P(y_{r+1}, x_{r+1})\leq P(y_{r+1}, x_{r}). $$
(7)

From (6) and (7) we get

$$ Q(x_{r}) \leq Q(x_{r+1})\quad \mbox{and}\quad Q(y_{r})\geq Q(y_{r+1}). $$
(8)

From (T3) and (4) we get

$$\begin{aligned}& V\bigl(P(x_{r-1}, y_{r-1}),P(x_{r-1}, y_{r-1}), \ldots, P(x_{r-1}, y_{r-1}), P(x_{r}, y_{r}), kt\bigr) \\& \quad \geq V(Qx_{r-1},Qx_{r-1},\ldots ,Qx_{r-1},Qx_{r},t) \\& \qquad {}\ast V\bigl(Qx_{r-1},Qx_{r-1},\ldots ,Qx_{r-1},P(x_{r-1},y_{r-1}),t\bigr) \\& \qquad {}\ast V\bigl(Qx_{r},Qx_{r},\ldots, Qx_{r}, P(x_{r}, y_{r}),t\bigr), \\& V(Qx_{r},Qx_{r},\ldots, Qx_{r}, Qx_{r+1}, kt) \\& \quad \geq V(Qx_{r-1},Qx_{r-1},\ldots,Qx_{r-1}, Qx_{r},t) \\& \qquad {}\ast V(Qx_{r},Qx_{r},\ldots, Qx_{r}, Qx_{r+1}, t). \end{aligned}$$

Now, two cases arise.

Case 1. If \(V(Qx_{r-1},Qx_{r-1},\ldots,Qx_{r-1}, Qx_{r},t) < V(Qx_{r},Qx_{r},\ldots, Qx_{r}, Qx_{r+1}, t)\), then

$$\begin{aligned} V (Qx_{r},Qx_{r},\ldots, Qx_{r}, Qx_{r+1}, kt ) \geq& V (Qx_{r-1},Qx_{r-1}, \ldots,Qx_{r-1}, Qx_{r},t ) \\ \geq& V \biggl(Qx_{r-2},Qx_{r-2},\ldots,Qx_{r-2}, Qx_{r-1},\frac {t}{k} \biggr) \\ \geq& V \biggl(Qx_{r-2},Qx_{r-2},\ldots,Qx_{r-2}, Qx_{r-1},\frac {t}{k^{2}} \biggr) \\ & \cdots \\ \geq& V \biggl(Qx_{0},Qx_{0},\ldots,Qx_{0}, Qx_{1},\frac {t}{k^{r-1}} \biggr). \end{aligned}$$

Then by simple induction we have that, for all \(t > 0\) and \(r = 1,2, \ldots,\infty\),

$$ V (Qx_{r},Qx_{r},\ldots, Qx_{r}, Qx_{r+1}, t ) \geq V \biggl(Qx_{0},Qx_{0},\ldots, Qx_{0}, Qx_{1}, \frac{t}{k^{r-1}} \biggr). $$

Thus, by condition (VF-5) of the definition of a V-fuzzy metric space, for any positive integer p and real number \(t > 0\), we have

$$\begin{aligned} V (Qx_{r},Qx_{r},\ldots, Qx_{r}, Qx_{r+p}, t ) \geq& V \biggl(Qx_{r},Qx_{r}, \ldots, Qx_{r}, Qx_{r+1}, \frac{t}{p} \biggr) \\ &{}\ast V \biggl(Qx_{r+1},Qx_{r+1},\ldots, Qx_{r+1}, Qx_{r+2}, \frac{t}{p} \biggr) \\ &{} \ast\cdots p \mbox{ times} \cdots \\ &{} \ast V \biggl(Qx_{r+p-1},Qx_{r+p-1},\ldots, Qx_{r+p-1}, Qx_{r+p}, \frac {t}{p} \biggr) \\ \geq& V \biggl(Qx_{0},Qx_{0},\ldots, Qx_{0}, Qx_{1}, \frac{t}{pk^{r-1}} \biggr) \\ &{} \ast\cdots p \mbox{ times} \cdots \\ &{} \ast V \biggl(Qx_{0},Qx_{0},\ldots, Qx_{0}, Qx_{1}, \frac {t}{pk^{r+p-2}} \biggr). \end{aligned}$$

Therefore, taking \(r \rightarrow\infty\), by definition (VF-6) we get

$$ V(Qx_{r}, Qx_{r}, \ldots, Qx_{r}, Qx_{r+p}, t) \geq1 \ast\cdots p \mbox{ times} \cdots\ast1, $$

which implies that \(\{Qx_{n} \}\) is a Cauchy sequence in X.

Case 2. If \(V(Qx_{r-1},Qx_{r-1},\ldots,Qx_{r-1}, Qx_{r},t) > V(Qx_{r},Qx_{r},\ldots, Qx_{r}, Qx_{r+1}, t)\), then

$$ V (Qx_{r},Qx_{r},\ldots, Qx_{r}, Qx_{r+1}, kt ) \geq V (Qx_{r},Qx_{r}, \ldots,Qx_{r}, Qx_{r+1},t ). $$

By Lemma 2.2 we get \(Qx_{r} = Qx_{r+1}\).

Thus, there exists a positive integer m such that \(r \geq m\) implies \(Qx_{r} = Qx_{m}\), ∀r, which shows that \(\{Qx_{n} \} \) is a convergent sequence and so a Cauchy sequence in X.

Taking \(x = y_{r}\), \(y = x_{r}\), \(u = y_{r-1}\), \(v = x_{r-1}\) in (T3), we get

$$\begin{aligned}& V\bigl(P(y_{r}, x_{r}), P(y_{r}, x_{r}), \ldots, P(y_{r}, x_{r}), P(y_{r-1}, x_{r-1}), kt\bigr) \\& \quad \geq V(Qy_{r}, Qy_{r}, \ldots, Qy_{r}, Qu, t) \\& \qquad {}\ast V\bigl(Qy_{r}, Qy_{r}, \ldots, Qy_{r}, P(y_{r}, x_{r}), t\bigr) \\& \qquad {}\ast V\bigl(Qy_{r-1}, Qy_{r-1}, \ldots, Qy_{r-1}, P(y_{r-1}, x_{r-1}), t\bigr). \end{aligned}$$

So, from equation (4) we have

$$\begin{aligned} V(Qy_{r},Qy_{r}, \ldots, Qy_{r}, Qy_{r+1},kt) \geq& V(Qy_{r-1},Qy_{r-1}, \ldots, Qy_{r-1}, Qy_{r},t) \\ &{}\ast V(Qy_{r},Qy_{r}, \ldots, Qy_{r}, Qy_{r+1},t). \end{aligned}$$

In the same way (discussed before), \(\{Qy_{n} \}\) is a Cauchy sequence in X.

Since X is a complete space, there exist \(x,y \in X\) such that

$$ \lim_{r \rightarrow\infty} P(x_{r}, y_{r}) = \lim _{r \rightarrow\infty } Q(x_{r}) = x,\qquad \lim_{r \rightarrow\infty} P(y_{r}, x_{r}) = \lim_{r \rightarrow\infty} Q(y_{r}) = y. $$
(9)

By considering condition (T4) and \(r \rightarrow\infty\) we have

$$ V\bigl(Q\bigl(P(x_{r}, y_{r})\bigr),Q\bigl(P(x_{r}, y_{r})\bigr), \ldots, Q\bigl(P(x_{r}, y_{r}) \bigr), P\bigl(Q(x_{r}), Q(y_{r}),t\bigr)\bigr)\rightarrow 1 $$

and

$$ V\bigl(Q\bigl(P(y_{r}, x_{r})\bigr),Q \bigl(P(y_{r}, x_{r})\bigr), \ldots,Q\bigl(P(y_{r}, x_{r})\bigr), P\bigl(Q(y_{r}), Q(x_{r}),t\bigr) \bigr)\rightarrow 1 $$
(10)

as \(r \rightarrow\infty\).

By conditions (T4) and (a), since P and Q are continuous, from (10) we have

$$ V\bigl(Q(x), Q(x), \ldots, Q(x), P(x, y), t\bigr) = 1 $$

and

$$ V\bigl(Q(y), Q(y), \ldots, Q(y), P(y, x), t\bigr) = 1. $$

This implies that \(P(x, y) = Q(x)\) and \(P(y, x) = Q(y)\), and thus, we have proved that P and Q have a coupled coincidence point in X.

Now, suppose that conditions (T4) and (b) hold. Since Q is continuous and P, Q are compatible mappings, we have

$$ \lim_{r \rightarrow\infty} P\bigl(Q(x_{r}),Q(y_{r}) \bigr) = \lim_{r \rightarrow \infty} Q\bigl(P(x_{r},y_{r}) \bigr) = \lim_{r \rightarrow\infty} Q(Qx_{r}) = Q(x) $$

and

$$ \lim_{r \rightarrow\infty} P\bigl(Q(y_{r}),Q(x_{r}) \bigr) = \lim_{r \rightarrow \infty} Q\bigl(P(y_{r},x_{r}) \bigr) = \lim_{r \rightarrow\infty} Q(Qy_{r}) = Q(y). $$
(11)

By condition (VF-5) of a V-fuzzy metric space, as \(r \rightarrow \infty\), we get

$$\begin{aligned} V\bigl(Qx, Qx, \ldots, Qx, P(x, y),t\bigr) \geq& V\bigl(Qx, Qx, \ldots, Qx, Q(Qx_{r+1}), t - kt\bigr) \\ &{} \ast V\bigl(Q(Qx_{r+1}), Q(Qx_{r+1}), \ldots,Q(Qx_{r+1}), P(x, y), kt\bigr) \\ =& V\bigl(Qx, Qx, \ldots,Qx, Q\bigl(P(x_{r}, y_{r}) \bigr), t - kt\bigr) \\ &{} \ast V\bigl(Q\bigl(P(x_{r}, y_{r})\bigr), Q \bigl(P(x_{r}, y_{r})\bigr), \ldots, \\ & Q\bigl(P(x_{r}, y_{r})\bigr), P(x, y), kt\bigr) \\ \geq& V\bigl(Q\bigl(P(x_{r}, y_{r})\bigr), Q \bigl(P(x_{r}, y_{r})\bigr), \ldots, \\ & Q\bigl(P(x_{r}, y_{r})\bigr), P(x, y), kt\bigr). \end{aligned}$$

We get

$$\begin{aligned} V\bigl(Qx, Qx, \ldots,Qx, P(x, y),t\bigr) \geq& V \bigl(P(Qx_{r}, Qy_{r}),P(Qx_{r}, Qy_{r}),\ldots, \\ &{} P(Qx_{r}, Qy_{r}), P(x, y), kt\bigr). \end{aligned}$$
(12)

Using condition (T3) and equations (11)-(12), we get

$$\begin{aligned} V\bigl(Qx, Qx, \ldots,Qx, P(x, y),t\bigr) \geq& V\bigl(Q(Qx_{r}), Q(Qx_{r}),\ldots, Q(Qx_{r}), Qx, t\bigr) \\ &{} \ast V\bigl(Q(Qx_{r}), Q(Qx_{r}),\ldots, P(Qx_{r}, Qy_{r}), t\bigr) \\ &{} \ast V\bigl(Qx, Qx,\ldots, Qx, P(x,y), t\bigr) \\ \geq& V\bigl(Qx, Qx,\ldots, Qx, P(x,y), t\bigr). \end{aligned}$$

By Lemma 2.2 we have \(P(x, y) = Q(x)\). Similarly, we get \(P(y, x) = Q(y)\). Hence, we proved that P and Q have a coupled coincidence point in X. □

Theorem 3.2

Assume that X is a totally ordered set in addition to the hypotheses of Theorem  3.1. Then P and Q have a unique common coupled fixed point.

Proof

Suppose that \((x, y)\) and \((l, m)\) are a coupled coincidence point of P and Q, that is,

$$ P(x, y) = Q(x), P(y, x) = Q(y) $$

and

$$ P(l,m) = Q(l), P(m, l) = Q(m). $$

Let us show that \(Q(x) = Q(l)\), \(Q(y) = Q(m)\).

If X is a totally ordered set, then for all \((x,y), (l,m) \in X \times X\), there exists \((\alpha, \beta) \in X \times X\) such that \((P(\alpha, \beta), P(\beta, \alpha))\) is comparable with \((P(x,y),P(y,x))\), \((P(l,m),P(m,l))\).

The sequences \(\{Q(\alpha_{r}) \}\), \(\{Q(\beta_{r}) \} \) and their limits are defined similarly as in Theorem 3.1, so that

$$ P(\alpha_{r},\beta_{r}) = Q(\alpha_{r+1}),\qquad P(\beta_{r},\alpha_{r}) = Q(\beta_{r+1}). $$

By condition (T3) we have

$$\begin{aligned} V(Qx, Qx, \ldots,Qx, Q\alpha_{r+1},kt) =& V\bigl(Qx,Qx, \ldots, Qx, P(\alpha _{r},\beta_{r}), t\bigr) \\ \geq& V(Qx, Qx, \ldots, Qx, Q\alpha_{r}, t) \ast V\bigl(Qx,Qx, \ldots, Qx, P(x, y), t\bigr) \\ &{} \ast V\bigl(Q\alpha_{r}, Q\alpha_{r},\ldots, Q \alpha_{r}, P(\alpha _{r},\beta_{r}), t\bigr) \\ \geq& V(Qx, Qx,\ldots, Qx, Q\alpha_{r}, t) \\ &{} \ast V\bigl(Q\alpha_{r}, Q\alpha_{r}, \ldots,Q \alpha_{r}, P(\alpha _{r},\beta_{r}), t\bigr). \end{aligned}$$

We obtained that

$$ Q(x) = Q(\alpha) \quad \mbox{as } r\rightarrow\infty. $$
(13)

Again by (T3),

$$\begin{aligned} V(Qy, Qy, \ldots,Qy, Q\beta_{r+1},kt) =& V\bigl(Qy,Qy, \ldots, Qy, P( \beta _{r}, \alpha_{r}), t\bigr) \\ \geq& V(Qy, Qy, \ldots, Qy, Q\beta_{r}, t) \\ &{} \ast V\bigl(Qy,Qy, \ldots, Qy, P(y, x), t\bigr) \\ &{} \ast V\bigl(Q\beta_{r}, Q\beta_{r},\ldots, Q \beta_{r}, P(\beta_{r}, \alpha _{r}), t\bigr) \\ \geq& V(Qy, Qy,\ldots, Qy, Q\alpha_{r}, t) \\ &{} \ast V\bigl(Q\alpha_{r}, Q\alpha_{r}, \ldots,Q \alpha_{r}, P(\beta_{r}, \alpha_{r}), t\bigr). \end{aligned}$$

Letting \(r \rightarrow\infty\), we have

$$ \lim_{r \rightarrow\infty}Q(\beta_{r}) = Q(y). $$
(14)

Following the above steps with the help of condition (T3), we obtain

$$ \lim_{r \rightarrow\infty} Q(\alpha_{r}) = Q(l), \qquad \lim_{r \rightarrow \infty} Q(\beta_{r}) = Q(m). $$
(15)

From (13), (14), (15), and the definition of a V-fuzzy metric space we have

$$\begin{aligned} V(Qx,Qx, \ldots, Qx, Ql, t) \geq& V \biggl(Qx,Qx, \ldots, Qx, Q\alpha _{r+1}, \frac{t}{2} \biggr) \\ &{}\ast V \biggl(Q\alpha_{r+1},Q\alpha_{r+1}, \ldots, Q \alpha_{r+1}, Ql, \frac{t}{2} \biggr) \rightarrow1 \quad \mbox{as } r \rightarrow\infty. \end{aligned}$$

This implies that

$$ Q(x) = Q(l). $$
(16)

Now, we can easily prove that

$$ Q(y) = Q(m). $$
(17)

So, we have \(P(x, y) = Q(x)\), \(P(y, x) = Q(y)\), and the compatibility of P and Q implies the w-compatibility of P and Q given by

$$ \begin{aligned} &Q\bigl(Q(x)\bigr) = Q\bigl(P(x,y)\bigr) = P \bigl(Q(x), Q(y)\bigr), \\ &Q\bigl(Q(y)\bigr) = Q\bigl(P(y,x)\bigr) = P\bigl(Q(y), Q(x)\bigr). \end{aligned} $$
(18)

This implies that \((Q(x),Q(y))\) is a coupled coincidence point.

Assuming that \(l = Q(x)\), \(m = Q(y)\), by (16)-(17) we have

$$ Q\bigl(Q(x)\bigr) = Q(x),\qquad Q\bigl(Q(y)\bigr) = Q(y). $$
(19)

From (18)-(19) we obtain

$$ Q(x) = Q\bigl(Q(x)\bigr) = P\bigl(Q(x), Q(y)\bigr) $$

and

$$ Q(y) = Q\bigl(Q(y)\bigr) = P\bigl(Q(y), Q(x)\bigr). $$

So, \((Q(x), Q(y))\) is a common coupled fixed point of P and Q.

We can easily prove the uniqueness of common coupled fixed point under the assumption that \((x^{\ast}, y^{\ast})\) is another common coupled fixed point of P and Q.

From (16)-(19) we can show that

$$ x^{\ast} = Q\bigl(x^{\ast}\bigr) = Q\bigl(Q(x)\bigr)= Q(x) $$

and

$$ y^{\ast} = Q\bigl(y^{\ast}\bigr) = Q\bigl(Q(y)\bigr)= Q(y). $$

This implies that P and Q have a unique common coupled fixed point. □

Here, we furnish an example to demonstrate the validity of the hypothesis of the above results.

Example 3.1

Let \((X, \leq)\) be a partially ordered set with \(X = [0,1]\), \(a \ast b = \min \{a, b \}\). Let \(P: X \times X \rightarrow X\) and \(Q: X \rightarrow X\) be two mappings defined as

$$P(x,y) = \textstyle\begin{cases} \frac{x-y}{2} &\mbox{if } x \geq y, \\ 0 & \mbox{if } x < y, \end{cases}\displaystyle \qquad Q(x) = x. $$

This implies that P satisfies the definition of the mixed Q-monotone property.

Let

$$ V(x_{1}, x_{2},\ldots, x_{n},t) = \frac{t}{t+A(x_{1}, x_{2},\ldots, x_{n})}, $$

where \(A(x_{1}, x_{2},\ldots, x_{n})\) is the A-metric space defined as

$$ A(x_{1}, x_{2},\ldots,x_{n}) = \vert x_{1} - x_{2}\vert +\vert x_{2} - x_{3}\vert +\cdots+ \vert x_{n-1} - x_{n}\vert $$

for all \(x_{1}, x_{2},\ldots,x_{n} \in X\), \(t > 0\).

Then \((X, V, \ast)\) is a complete V-fuzzy metric space.

We take \(k = \frac{1}{2}\) and consider the sequences \(\{x_{r} \}\), \(\{y_{r} \}\) in X defined by \(x_{r} = \frac{1}{2r}\), \(y_{r} = \frac{1}{3r}\).

Since

$$\begin{aligned}& \lim_{r\rightarrow\infty}P(x_{r}, y_{r}) = \lim _{r \rightarrow\infty }Q(x_{r}) = 0 = w \quad (\mbox{say}), \\& \lim_{r\rightarrow\infty}P(y_{r}, x_{r}) = \lim _{r \rightarrow\infty }Q(y_{r}) = 0 = w'\quad ( \mbox{say}). \end{aligned}$$

Also, \(P: X \times X \rightarrow X\) and \(Q: X \rightarrow X\) are compatible mappings in X. From Theorem 3.1 we have that \(Q(x) \leq Q(u)\) and \(Q(y) \geq Q(v)\). This implies \(x \leq u\), \(y \geq v\). If we consider \(x \geq y\), \(u \geq v\), then we have

$$\begin{aligned}& V \biggl(P(x, y), P(x, y),\ldots,P(x, y), P(u, v)\frac{t}{2} \biggr) \\& \quad = \frac{\frac{t}{2}}{\frac{t}{2}+2\vert \frac{(x-y)-(u-v)}{2} \vert } \geq\frac{t}{t + \vert u+v \vert } \\& \quad = V\bigl(Q(u),Q(u),\ldots, Q(u), P(u,v),t\bigr) \\& \quad \geq V\bigl(Q(x),Q(x),\ldots, Q(x), Q(u),t\bigr) \\& \qquad {} \ast V\bigl(Q(x),Q(x),\ldots, Q(x), P(x,y),t\bigr) \\& \qquad {} \ast V\bigl(Q(u),Q(u),\ldots, Q(u), P(u,v),t\bigr). \end{aligned}$$

If we consider \(x < y\), \(u \geq v\), then we have

$$\begin{aligned}& V \biggl(P(x, y), P(x, y),\ldots,P(x, y), P(u, v)\frac{t}{2} \biggr) \\ & \quad = \frac{\frac{t}{2}}{\frac{t}{2}+2\vert \frac{(u-v)}{2} \vert } \geq \frac{t}{t + 2\vert u - x \vert } \\ & \quad \geq V\bigl(Q(x),Q(x),\ldots, Q(x), Q(u),t\bigr) \\ & \quad \geq V\bigl(Q(x),Q(x),\ldots, Q(x), Q(u),t\bigr) \\ & \qquad {} \ast V\bigl(Q(x),Q(x),\ldots, Q(x), P(x,y),t\bigr) \\ & \qquad {} \ast V\bigl(Q(u),Q(u),\ldots, Q(u), P(u,v),t\bigr). \end{aligned}$$

If we consider \(x < y\), \(u < v\), then we get directly condition (T3) of Theorem 3.1.

Therefore, all hypotheses of Theorem 3.1 hold. So we conclude that \((w, w')\) is a common coupled fixed point of P and Q.

Theorem 3.3

Let \((X, V, \ast)\) be a complete V-fuzzy metric space, and \((X, \leq )\) be a partially ordered set. Let \(P: X \times X \rightarrow X\) be a mapping such that P has the mixed monotone property and there exists \(k \in(0,1)\) such that

$$\begin{aligned}& V \bigl(P(x, y), P(x, y),\ldots,P(x, y), P(u, v),kt\bigr) \\& \quad \geq V(x,x,\ldots ,x,u,t) \ast V\bigl(x,x,\ldots,x,P(x,y),t\bigr) \\& \qquad {}\ast V\bigl(u, u, \ldots, u,P(u,v),t\bigr) \end{aligned}$$

for all \(x, y, u, v \in X\), \(t > 0\) such that \(x \leq u\) and \(y \geq v\).

Also suppose that

  1. (a)

    P is continuous or

  2. (b)

    X has the following properties:

    1. (i)

      if \(\{x_{n} \}\) is a nondecreasing sequence \(x_{r} \rightarrow x\), then \(x_{r} \leq x\) for all \(r \in N\),

    2. (ii)

      if \(\{y_{n} \}\) is a nondecreasing sequence \(y_{r} \rightarrow y\), then \(y_{r} \geq x\) for all \(r \in N\).

If there exist \(x_{0}, y_{0} \in X\) such that \(x_{0} \leq P(x_{0},y_{0})\) and \(y_{0} \geq P(y_{0},x_{0})\), then P has a coupled fixed point in X.

Proof

By assuming \(Q = I\) (the identity mapping) in Theorem 3.1 we get the result. □

4 Symmetric V-fuzzy metric space

Definition 4.1

A V-fuzzy metric space \((X, V,\ast)\) is said to be symmetric if

$$ V(x, x, x, \ldots, x, y, t) = V(x, y, y,\ldots, y,y ,t) $$

for all \(x, y \in X\), \(t > 0\).

Remark 4.1

If \((X, M, \ast)\) is a fuzzy metric space, then \((X, V, \ast)\) is a V-fuzzy metric space, where

$$ V(x_{1}, x_{2},\ldots, x_{n},t) = \min \bigl\{ M(x_{1}, x_{2},t), M(x_{2}, x_{3},t), \ldots, M(x_{n-1}, x_{n},t), M(x_{n}, x_{1},t) \bigr\} . $$

Now we have

$$\begin{aligned}& V(x_{1}, x_{2},\ldots, x_{n-1},l,t)\ast V(l,l, \ldots, l,x_{n},s) \\& \quad = M(x_{n}, l,s)\ast\min \bigl\{ M(x_{1}, x_{2},t), M(x_{2}, x_{3},t), \ldots, M(x_{n-1}, l,t), M(l, x_{1},t) \bigr\} \\& \quad \leq\min \bigl\{ M(x_{n}, l,s) \ast M(x_{1}, x_{2},t), M(x_{n}, l,s) \ast M(x_{2}, x_{3},t),\ldots, \\& \qquad M(x_{n}, l,s)\ast M(x_{n-1}, l,t), M(x_{n}, l,s) \ast M(l, x_{1}, t) \bigr\} \\& \quad \leq\min \bigl\{ M(x_{1}, x_{2},t),M(x_{2}, x_{2},t), \ldots, M(x_{n}, x_{n-1},t), M(x_{n}, x_{1},t+s) \bigr\} \\& \quad \leq\min \bigl\{ M(x_{1}, x_{2},t+s),M(x_{2}, x_{2},t+s),\ldots, M(x_{n}, x_{n-1},t+s), M(x_{n}, x_{1},t+s) \bigr\} \\& \quad = V(x_{1}, x_{2}, \ldots, x_{n-1}, x_{n}, t+s), \end{aligned}$$

which implies

$$ V(x_{1}, x_{2}, \ldots, x_{n-1}, l,t)\ast V(l,l, \ldots, l,x_{n},s) \leq V(x_{1}, x_{2}, \ldots, x_{n-1}, x_{n},t+s). $$

So, all conditions of a V-fuzzy metric space are satisfied.

Remark 4.2

If \((X,V, \ast)\) is a symmetric V-fuzzy metric space and \(V(x, x, \ldots, y, t) = M(x, y, t)\) (using Remark 4.1), then \((X, M, \ast )\) is a fuzzy metric space.

By this remark we get the following desired result.

Theorem 4.1

Let \((X, M, \ast)\) be a complete fuzzy metric space, and \((X, \preceq)\) be a partially ordered set. Let \(P: X \times X \rightarrow X\) and \(Q:X \rightarrow X\) be two mappings such that

  1. (T1)

    \(P(X \times X) \subseteq Q(X)\);

  2. (T2)

    P has the mixed Q-monotone property;

  3. (T3)

    there exists \(k \in(0, 1)\) such that

    $$ M\bigl(P(x, y), P(u,v),kt\bigr) \geq M(Qx, Qu, t) \ast M\bigl(Qx, P(x, y),t \bigr)\ast M\bigl(Qu, P(u,v), t\bigr) $$

    for all \(x, y, u, v \in X\), \(t > 0\) such that \(Q(x) \leq Q(u)\) and \(Q(y) \geq Q(v)\) or \(Q(x) \geq Q(u)\) and \(Q(y) \leq Q(v)\);

  4. (T4)

    Q is continuous, and P and Q are compatible.

    Also suppose that

    1. (a)

      P is continuous or

    2. (b)

      X has the following properties:

      1. (i)

        if \(\{x_{r} \}\) is a nondecreasing sequence \(x_{r} \rightarrow x\), then \(x_{r} \leq x\) for all \(r \in N\);

      2. (ii)

        if \(\{y_{r} \}\) is a nondecreasing sequence \(y_{r} \rightarrow y\), then \(y_{r} \leq x\) for all \(r \in N\).

If there exist \(x_{0}, y_{0} \in X\) such that \(Q(x_{0}) \leq P(x_{0}, y_{0})\) and \(Q(y_{0}) \geq P(y_{0}, x_{0})\), then P and Q have a coupled coincidence point in X.

References

  1. Mustafa, Z, Sims, B: A new approach to generalized metric spaces. J. Nonlinear Convex Anal. 7(2), 289-297 (2006)

    MathSciNet  MATH  Google Scholar 

  2. Chen, J, Huang, X: Coupled fixed point theorems for compatible mappings in partially ordered G-metric spaces. J. Nonlinear Sci. Appl. 8(2), 130-141 (2015)

    MathSciNet  MATH  Google Scholar 

  3. Chen, J, Huang, X: Quadruple fixed point theorems under \((\varphi,\psi )\)-contractive conditions in partially ordered G-metric spaces with mixed g-monotone property. J. Nonlinear Sci. Appl. 8(4), 285-300 (2015)

    MathSciNet  MATH  Google Scholar 

  4. Tu, Q, Zhu, C, Wu, Z: Common fixed point theorems under strict contractive conditions in Menger probabilistic G-metric spaces. J. Nonlinear Sci. Appl. 8(6), 1176-1189 (2015)

    MathSciNet  MATH  Google Scholar 

  5. Sedghi, S, Shobe, N, Aliouche, A: A generalization of fixed point theorems in S-metric spaces. Mat. Vesn. 64(3), 258-266 (2012)

    MathSciNet  MATH  Google Scholar 

  6. Abbas, M, Ali, B, Suleiman, YI: Generalized coupled common fixed point results in partially ordered A-metric spaces. Fixed Point Theory Appl. 2015, 64 (2015). doi:10.1186/s13663-015-0309-2

    Article  MathSciNet  MATH  Google Scholar 

  7. Zadeh, LA: Fuzzy sets. Inf. Control 8, 338-353 (1965)

    Article  MathSciNet  MATH  Google Scholar 

  8. George, A, Veeramani, P: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 64, 395-399 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  9. Kramosil, I, Michalek, J: Fuzzy metric and statistical metric spaces. Kybernetika 11, 336-344 (1975)

    MathSciNet  MATH  Google Scholar 

  10. Schweizer, B, Sklar, A: Statistical metric spaces. Pac. J. Math. 10, 314-334 (1960)

    MATH  Google Scholar 

  11. Mishra, SN, Sharma, N, Singh, SL: Common fixed points of maps on fuzzy metric spaces. Int. J. Math. Sci. 17, 253-258 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  12. Sun, G, Yang, K: Generalized fuzzy metric spaces with properties. Res. J. Appl. Sci. 2, 673-678 (2010)

    MathSciNet  Google Scholar 

  13. Bhaskar, TG, Lakshmikantham, V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. TMA 65, 1379-1393 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  14. Lakshmikantham, V, Ciric, LB: Coupled fixed point theorems for nonlinear contractions in partially ordered metric space. Nonlinear Anal. TMA 70, 4341-4349 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  15. Choudhurya, BS, Kundu, A: A coupled coincidence point result in partially ordered metric spaces for compatible mappings. Nonlinear Anal. 73, 2524-2531 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  16. Abbas, M, Ali, M, Radenovic, S: Common coupled fixed point theorems in cone metric spaces for w-compatible mappings. Appl. Math. Comput. 217, 195-202 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  17. Ciric, LB, Abbas, M, Damjanovic, B, Saadati, R: Common fuzzy fixed point theorems in ordered metric spaces. Math. Comput. Model. 53, 1737-1741 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  18. Gupta, V, Kanwar, A: Fixed point theorem in fuzzy metric spaces satisfying E.A property. Indian J. Sci. Technol. 5, 3767-3769 (2012)

    Google Scholar 

  19. Gupta, V, Mani, N: Existence and uniqueness of fixed point in fuzzy metric spaces and its applications. In: Proceedings of the Second International Conference on Soft Computing for Problem Solving. Advances in Intelligent Systems and Computing, vol. 236, pp. 217-224. Springer, Berlin (2014)

    Google Scholar 

  20. Gupta, V, Saini, RK, Mani, N, Tripathi, AK: Fixed point theorems using control function in fuzzy metric spaces. Cogent Math. 2, Article ID 1053173 (2015)

    Article  MathSciNet  Google Scholar 

  21. Hu, X, Luo, Q: Coupled coincidence point theorems for contractions in generalized fuzzy metric spaces. Fixed Point Theory Appl. 2012, 196 (2012). doi:10.1186/1687-1812-2012-196

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Vishal Gupta.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Each author contributed equally in the development of this manuscript. Both authors read and approved the final version of this 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Gupta, V., Kanwar, A. V-Fuzzy metric space and related fixed point theorems. Fixed Point Theory Appl 2016, 51 (2016). https://doi.org/10.1186/s13663-016-0536-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-016-0536-1

MSC

Keywords