Quasi-triangular spaces, Pompeiu-Hausdorff quasi-distances, and periodic and fixed point theorems of Banach and Nadler types (Q1668904)

Summary: Let \(C=\{C_\alpha\}_{\alpha\in\mathcal A}\in[1;\infty)^{\mathcal A},\mathcal A\)-index set. A quasi-triangular space \( (X,\mathcal P_{C;\mathcal A})\) is a set \(X\) with family \[ \mathcal P_{C;\mathcal A}=\{p_\alpha: X^2\to[0,\infty), \ \alpha\in\mathcal A\}\] satisfying \[ \forall_{\alpha\in\mathcal A}\forall_{u,v,w\in X} \{p_\alpha(u,w)\leq C_\alpha[p_\alpha(u,v)+p_\alpha(v,w)]\}. \] For any \(\mathcal P_{C;\mathcal A}\), a left (right) family \(\mathcal J_{C;\mathcal A}\) generated by \(\mathcal P_{C;\mathcal A}\) is defined to be \(\mathcal J_{C;\mathcal A}=\{J_\alpha: X^2\to[0,\infty)\), \(\alpha\in\mathcal A\}\), where \[ \forall_{\alpha\in\mathcal A}\forall_{u,v,w\in X}\{J_\alpha(u, w)\leq C_\alpha[J_\alpha(u,v)+J_\alpha(v,w)]\}\] and furthermore the property \[ \forall_{\alpha\in\mathcal A} \{\lim_{m\to\infty}p_\alpha(w_m,u_m)=0\}\quad(\forall_{\alpha\in\mathcal A} \{\lim_{m\to\infty}p_\alpha(u_m,w_m)=0\})\] holds whenever two sequences \((u_m: m\in\mathbb N)\) and \((w_m: m\in\mathbb N)\) in \(X\) satisfy \[ \forall_{\alpha\in\mathcal A} \{\lim_{m\to\infty}\sup_{n>m}J_\alpha(u_m,u_n)=0\text{ and } \lim_{m\to\infty}J_\alpha(w_m,u_m)=0\}\] \((\forall_{\alpha\in\mathcal A} \{\lim_{m\to\infty}\sup_{n>m}J_\alpha(u_n,u_m)=0\) and \(\lim_{m\to \infty}J_\alpha(u_m,w_m)=0\})\). In \((X,\mathcal P_{C;\mathcal A})\), using the left (right) families \(\mathcal J_{C;\mathcal A}\) generated by \(\mathcal P_{C;\mathcal A}\) \((\mathcal P_{C;\mathcal A}\) is a special case of \(\mathcal J_{C;\mathcal A}\)), we construct three types of Pompeiu-Hausdorff left (right) quasi-distances on \(2^X\); for each type we construct of left (right) set-valued quasi-contraction \(T: X\to2^X\), and we prove the convergence, existence, and periodic point theorem for such quasi-contractions. We also construct two types of left (right) single-valued quasi-contractions \(T: X \to X\) and we prove the convergence, existence, approximation, uniqueness, periodic point, and fixed point theorem for such quasi-contractions. \((X,\mathcal P_{C;\mathcal A})\) generalize ultra quasi-triangular and partiall quasi-triangular spaces (in particular, generalize metric, ultra metric, quasi-metric, ultra quasi-metric, \(b\)-metric, partial metric, partial \(b\)-metric, pseudometric, quasi-pseudometric, ultra quasi-pseudometric, partial quasi-pseudometric, topological, uniform, quasi-uniform, gauge, ultra gauge, partial gauge, quasi-gauge, ultra quasi-gauge, and partial quasi-gauge spaces).