Multiple fixed point theorems for contractive and Meir-Keeler type mappings defined on partially ordered spaces with a distance

([ChoB]) Let (X, d) be a distance space. Then:

1. If d is a symmetric, then (X^m, d^m) and (X^m, \bar{d}^m) are symmetric spaces, too.

2. If d is a quasimetric, then (X^m, d^m) and (X^m, \bar{d^m}) are quasimetric spaces, too.

3. If d is a metric, then (X^m, d^m) and (X^m, \bar{d}^m) are metric spaces, too.

4. If d is an F-distance space, then (X^m, d^m) and (X^m, \bar{d}^m) are F-distance spaces, too.

5. If d is an N-distance space, then (X^m, d^m) and (X^m, \bar{d}^m) are N-distance spaces, too.

6. If d is an H-distance space, then (X^m, d^m) and (X^m, \bar{d}^m) are H-distance spaces, too.

7. If (X, d) is a C-distance space, then (X^m, d^m) and (X^m, \bar{d}^m) are C-distance spaces, too.

8. If (X, d) is a complete distance space, then (X^m, d^m) and (X^m, \bar{d}^m) are complete distance spaces, too.

9. If d is an s-distance space, then (X^m, d^m) and (X^m, \bar{d}^m) are s-distance spaces, too.

10. The spaces (X^m, d^m) and (X^m, \bar{d}^m) share the same convergent sequences and the same Cauchy sequences. Moreover, the distances d^m and \bar{d^m} are uniformly equivalent, i.e., for each \varepsilon > 0, there exists \delta = \delta (\varepsilon ) > 0 such that:

- from d^m(x,y) \leq \delta it follows \bar{d^m}(x,y) \leq \varepsilon;

- from \bar{d^m}(x,y) \leq \delta it follows d^m(x,y) \leq \varepsilon.

Let (X, d, \preceq ) be a monotonically complete distance space. Then (X^m, d^m, \preceq _L) and (X^m, \bar{d^m}, \preceq _L) are ordered monotonically complete distance spaces, too.

Let a \in X^m be a multidimensional fixed point of the operator of F: X^m \longrightarrow X. If any of the Conditions \Omega _i, i \in\{1, 2, 3, 4\}, is satisfied, then the operator F has a unique multidimensional fixed point.

Let (X, d) be an H-distance space and let a \in X^m be a multidimensional fixed point of the operator of F: X^m \rightarrow X. Then in any of the Conditions MK_i, i\in \{1, 2\}, the operator F has a unique multidimensional fixed point.

Let (X, d, \preceq ) be an ordered metric space, m \in \mathbb N, F: X^m \rightarrow X be an operator. Suppose that:

a) there exists a function \delta : (0, +\infty ) \longrightarrow (0,+\infty ) such that from r > 0, x, y \in X^m, d^m(x,y) < r + \delta (r) and x \preceq y it follows that d^m(\lambda F(x),\lambda F(y)) < r;

b) for any two points x, y \in X there exists an upper bound and a lower bound.

Suppose also that one of the following sets of conditions is satisfied:

1. (X, d, \preceq ) is monotonically complete; from x, y \in X^m and x \preceq _L y it follows that \lambda F(x) \preceq _L \lambda F(y); there exists a \in X^m such that a \preceq _L \lambda F(a).

2. (X, d, \preceq ) is complete; from x, y \in X^m and x \preceq _L y it follows that \lambda F(y) \preceq L \lambda F(x); there exists a \in X^m such that a \preceq _L \lambda F(a) or F(a) \preceq _L a.

Then there exists a unique multidimensional fixed point of the operator of F.

Let (X, d, \preceq ) be an ordered metric space, m \in \mathbb N, F: X^m \rightarrow X be an operator. Suppose that:

a) there exists a function \delta : (0, +\infty ) \longrightarrow (0,+\infty ) such that from r > 0, x, y \in X^m, \bar{d}^m(x,y) < r + \delta (r) and x \preceq y it follows that \bar{d}^m(\lambda F(x),\lambda F(y)) < r;

b) for any two points x, y \in X, there exist an upper bound and a lower bound; for any i \in \{1,2,\dots,m\}, the mapping \lambda _i is a surjection or, more generally, |\cup \{\lambda _i^{-1}(j): 1\leq j \leq m\}| = m, for each i \in \{1,2,\dots,m\}.

Suppose also that one of the following sets of conditions is satisfied:

1. (X, d, \preceq ) is monotonically complete; from x, y \in X^m and x \preceq _L y it follows that \lambda F(x) \preceq _L \lambda F(y); there exists a \in X^m such that a \preceq _L \lambda F(a).

2. (X, d, \preceq ) is complete; from x, y \in X^m and x \preceq _L y it follows that \lambda F(y) \preceq L \lambda F(x); there exists a \in X^m such that a \preceq _L \lambda F(a) or F(a) \preceq _L a.

Then there exists a unique multidimensional fixed point of the operator of F.