A general concept of multiple fixed point for mappings defined on spaces with a distance

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) be a distance space, m \in \mathbb N, F: X^m \rightarrow X be an operator, \lambda=\{\lambda _i: \{1, 2, ..., m\} \longrightarrow \{1, 2, ..., m\}: 1\leq i \leq m\} be a collection of mappings, k \geq 0, a = (a_1,....,a_m) \in X^m, b = (b_1,....,b_m) \in X^m such that

for each 1\leq i \leq m. Then d^m(\lambda F(a), \lambda F(b)) \leq k d^m(a,b).

Let (X, d) be a distance space m \in \mathbb N and F: X^m \rightarrow X be an operator. If F is a \lambda-contraction, then \lambda F is a contraction on the distance space (X^m, d^m).

Let (X, d) be a distance space, m \in \mathbb N and F: X^m \rightarrow X be an operator, \{\lambda _i: \{1, 2, ..., m\} \longrightarrow \{1, 2, ..., m\}: 1\leq i \leq m\} be a collection of mappings, k \geq 0, a = (a_1,....,a_m) \in X^m, b = (b_1,....,b_m) \in X^m such that

for each i \in \{1, 2, ..., m\}. If the mapping \lambda _i is a surjection or, more generally, if |\cup \{\lambda _i^{-1}(j): j \leq m\}| = m for each i \in \{1, 2, ..., m\}, then

Let (X, d) be a distance space, m \in \mathbb N and F: X^m \rightarrow X be an operator. If F is a \bar{\lambda }-contraction and for any i \in \{1, 2, ..., m\} the mapping \lambda _i is a surjection or, more generally, |\cup \{\lambda _i^{-1}(j): j \leq m\}| = m for each i \in \{1, 2, ..., m\}, then \lambda F is a contraction on the distance space (X^m, \bar{d}^m).

Let (X, d) be a C-distance space. Then:

1. d(x,y) = 0 if and only if x= y.

2. If, for a \in X^m, the Picard sequence O(F,\lambda ,a) = \{a(n): n \in \mathbb N\} is a convergent Cauchy sequence and lim_{n\rightarrow \infty }a_n = b = (b_1, ..., b_m), then b is a multidimensional fixed point of the operator F with respect to the mappings \lambda, i.e.,

Let (X, d) be a complete C-distance space, \rho \in \{d^m, \bar{d}^m\}, k > 0 and F : X^m \longrightarrow X be an operator with the following properties:

1. there exists k > 0 such that d(F(x), F(y)) < k \rho (x,y) for all distinct points x, y \in X^m;

2. if x \in X^m, then the Picard sequence \{x_n \in X: n \in \mathbb N\}, of F at the point x, is a Cauchy sequence.

Then:

1. The operators F and \lambda F are continuous.

2. The set Fix (F) of the multidimensional fixed points of F is closed in X^m and non-empty.

3. If k \leq 1, then F has a unique multidimensional fixed point.

Let (X, d) be a (F,\lambda )-bounded complete C-distance space and F : X^m \longrightarrow X be an operator.

1. If F is a \lambda-contraction, then any Picard sequence of the operator \lambda F is a convergent Cauchy sequence and F has a unique multidimensional fixed point.

2. If F is a \bar{\lambda }-contraction and for any i \in \{1, 2, ..., m\} the mapping \lambda _i is a surjection or, more generally, |\cup \{\lambda _i^{-1}(j): j \leq n\}| = m for each i \in \{1, 2, ..., m\}, then any Picard sequence of the operator \lambda F is a convergent Cauchy sequence and F has a unique multidimensional fixed point.

Let (X, d) be an N-symmetric space and F : X^m \longrightarrow X be an operator.

1. If F is a \lambda-contractive operator and for each point x \in X^m the Picard sequence O(F,\lambda , x) = \{x_n : n \in \mathbb N\} has an accumulation point and \lim\limits_{n\rightarrow \infty }d^m(x_n,x_{n+1}) = 0, then any Picard sequence of the operator \lambda F is a convergent Cauchy sequence and F has a unique multidimensional fixed point.

2. If F is a \bar{\lambda }-contractive operator and, for any i \in \{1, 2, ..., m\}, the mapping \lambda _i is a surjection or, more generally, |\cup \{\lambda _i^{-1}(j): j \leq m\}| = m for each i \in \{1, 2, ..., m\} and for each point x \in X^m the Picard sequence O(F,\lambda , x) = \{x_n: n \in \mathbb N\} has an accumulation point and \lim\limits_{n\rightarrow \infty }\bar{d^m}(x_n,x_{n+1}) = 0, then any Picard sequence of the operator \lambda F is a convergent Cauchy sequence and F has a unique multidimensional fixed point.

3. d is an H-distance and any Picard sequence has a unique accumulation point.

Let (X, d) be an N-symmetric compact space and F : X^m \longrightarrow X be an operator.

1. If F is a \lambda-contraction, then any Picard sequence of the operator \lambda F is a convergent Cauchy sequence and F has a unique multidimensional fixed point.

2. If F is a \bar{\lambda }-contraction and for any i \leq m the mapping \lambda _i is a surjection or, more generally, |\cup \{\lambda _i^{-1}(j): j \leq m\}| = m, for each i \leq m, then any Picard sequence of the operator \lambda F is a convergent Cauchy sequence and F has a unique multidimensional fixed point.

Let (X, d) be a complete s-distance symmetric space and F : X^m \longrightarrow X be an operator.

1. If F is a \lambda-contraction, then any Picard sequence of the operator \lambda F is a convergent Cauchy sequence and F has a unique multidimensional fixed point.

2. If F is a \bar{\lambda }-contraction and, for any i \leq m, the mapping \lambda _i is a surjection or, more generally, |\cup \{\lambda _i^{-1}(j): j \leq m\}| = m, for each i \leq m, then any Picard sequence of the operator \lambda F is a convergent Cauchy sequence and F has a unique multidimensional fixed point.