Generalized \(F\)-iterated function systems on product of metric spaces (Q889915)

Let \(F:(0,\infty)\to\mathbb{R}\) be a strictly increasing map such that \(\inf F=-\infty\) and \(\lim_{t\searrow0}t^\lambda F(t)=0\) for some \(\lambda\in(0,1)\). A map \(f:X\to X\) on a metric space is said to be an \(F\)-contraction if there is a \(\tau>0\) such that \(\tau+F(d(f(x),f(y))\leq F(d(x,y))\) for all \(x,y\in X\) with \(f(x)\not=f(y)\). Let \(I\) be an at most countable set. By abuse of notation the author denotes the space \(\ell^\infty(X)\) by \(X^I\) and he calls a map \(\omega:X^I\to X\) a generalized \(F\)-contraction if there is a \(\tau>0\) such that \(\displaystyle\tau+F(d(\omega(x),\omega(y))\leq F(\sup_{i\in I}d(x_i,y_i))\) for all \(x,y \in X^I\) with \(\omega(x)\not=\omega(y)\). We have an embedding \(t\mapsto\tilde{t}\) of \(X\) into \(X^I\) which maps \(t\) to the constant sequence with term \(t\). A map \(f:X^I\to X\) then defines a map \(\tilde{f}:X\to X\) by \(\tilde{f}(t):=f(\tilde{t})\). Assume that \(X\) is complete and \(\omega\) is a generalized \(F\)-contraction. The author shows that there is a unique fixed point of \(\tilde{\omega}\). Finally, the author discusses sequences of generalized \(F\)-contractions.