Two Generic Convergence Results for Inﬁnite Products of Generalized Nonexpansive Mappings

: In our 2014 work with M. Gabour, we introduced a metric space of generalized nonexpansive self-mappings of bounded and closed subsets of a Banach space and studied, using the Baire category approach, the asymptotic behavior of iterates of a generic operator belonging to this class. In the deﬁnition of a generalized nonexpansive mapping the norm is replaced by a general function which can be symmetric as a particular case. In this paper, we prove the convergence of inﬁnite products of generalized nonexpansive self-mappings to a common ﬁxed point in a generic setting.


Introduction
Nonexpansive mappings (in other words, those Lipschitz mappings the Lipschitz constant of which is equal to one) have been studied intensively in recent decades. See, for example, refs. [1][2][3][4][5][6][7][8][9][10] and the references cited therein. This research activity has its origins in Banach's classical theorem [11] regarding the existence of a unique fixed point for strict contractions (that is, those mappings the Lipschitz constant of which is strictly less than one). It also concerns the asymptotic behavior of both exact and inexact iterates of a nonexpansive mapping, and their possible convergence. These theoretical investigations have found significant and diverse applications in the engineering, medical and natural sciences [9,10,[12][13][14][15]. In this vein, we introduced and studied in [16] a certain class of nonlinear operators, which we now proceed to describe.
Suppose that K ⊂ X is a bounded, closed and convex set in a Banach space (X, · ), and that a continuous function f : X → [0, ∞) satisfies f (0) = 0, sup{| f (z)| : z ∈ K − K} < ∞, and possesses the following properties: (P1) for every > 0, there exists δ > 0 such that if z 1 , Denote by B the collection of all continuous operators A : K → K which satisfy For each pair of operators T, S ∈ B, define d(T, S) := sup{ Tz − Sz : z ∈ K}.
Clearly, (B, d) is a complete metric space. Using the Baire category approach, we showed in [16] that a typical (generic) mapping in the space B has a unique fixed point which attracts all its iterates. It should be mentioned that the classical theorem of De Blasi and Myjak [17] regarding nonexpansive mappings is a special case of this result, where the continuous function f = · . As a matter of fact, the mappings defined above can be considered generalized nonexpansive mappings with respect to f which can be symmetric as a particular case. Such a viewpoint, where in some problems of functional analysis the norm is replaced by a general function, was employed, for instance, in [18,19] in the study of generalized best approximation problems. At this point, it is worth noting that generalized nonexpansive mappings were also studied in [20,21]. In the present paper, we continue our studies of genericity in nonlinear analysis and establish the convergence of infinite products of generalized nonexpansive self-mappings to a common fixed point in a generic setting. In this connection, we remark in passing that infinite products of operators and studies of their convergence properties arise naturally in many areas of mathematics and its applications such as approximation theory, computed tomography, image recovery, optimization theory and population biology.

Main Results
We continue to use the definitions, notations and assumptions introduced in the Introduction. In particular, we suppose that f : X → [0, ∞) is a continuous function for which the equality f (0) = 0 is true and f (K − K) is a bounded set, and which has properties (P1)-(P3).
Denote by A the collection of all continuous operators A : K → K and by M the collection of all sequences {A t } ∞ t=1 ⊂ A. We denote the identity operator by A 0 for every mapping A ∈ A.
The set M is equipped with the metric ρ : It is not difficult to see that (M, ρ) is a complete metric space. We use the topology which is induced in M by ρ.
Denote by M ne the collection of all sequences {A t } ∞ t=1 ∈ M such that for every integer In view of property (P3), M ne is a closed subset of M. In the sequel the topological subspace M ne ⊂ M is equipped with the relative topology.
A collection E of mappings A : K → K is called uniformly equicontinuous (ue, for short) if for every positive number , there is a positive number δ such that Tz 1 − Tz 2 ≤ for every operator T ∈ E and every pair of points z 1 , z 2 ∈ K which satisfies It is clear that M ue is a closed subset of the metric space M. We equip M ue ⊂ M with the relative topology. Properties (P1)-(P3) imply that M ne ⊂ M ue .
Denote by M * ne the collection of and denote byM * ne the closure of M * ne in the complete metric space M ne . We equip the topological subspaceM * ne ⊂ M ne with the relative topology. Denote by M * ue the collection of all sequences of operators {A t } ∞ t=1 ∈ M ue for which there is a point x ∈ K such that for every natural number t, and denote byM * ue its closure in the complete metric space M ue . We equipM * ue ⊂ M ue with the relative topology.
In this paper, we prove the following two generic convergence results. Note that in the case where f = · they are proved in [8].
There is a set F ⊂M * ne , which is a countable intersection of open and everywhere dense subsets of the spaceM * ne , such that for every sequence of operators {B t } ∞ t=1 ∈ F , there is a point x * ∈ K for which the following two assertions are true.
1. B t x * = x * for all positive integers t.
2. For every positive number , there is an open neighborhood U of {B t } ∞ t=1 in the topological spaceM * ne and an integer N ≥ 1 so that for every sequence of mappings {C t } ∞ t=1 ∈ U , every natural number T ≥ N, every mapping r : {1, . . . , T} and every point x ∈ K, we have C r(T) · · · · · C r(1) x − x * ≤ .

Theorem 2.
There is a set F ⊂M * ue , which is a countable intersection of open and everywhere dense subsets of the topological spaceM * ue , such that for every sequence of operators {B t } ∞ t=1 ∈ F , there is a point x * ∈ K for which the following two assertions are true.
1. B t x * = x * for all natural numbers t and

2.
For every positive number , there is an open neighborhood U of the sequence of operators {B t } ∞ t=1 in the topological spaceM * ue and an integer N ≥ 1 so that for every sequence of operators {C t } ∞ t=1 ∈ U , every natural number T ≥ N, every mapping r : {1, . . . , T} and every point x ∈ K, we have C r(T) · · · · · C r(1) x − x * ≤ .
In our study, we will use the next result (Lemma 6.9 of [8]).

Proofs of Theorems
We prove Theorems 1 and 2 simultaneously.
Fix an integer q ≥ 1 such that q −1 < .
By (16) and (17), there exist A = {A t } ∞ t=1 ∈ M * ue (respectively, M * ne ), a positive number γ < 1 and a natural number i ≥ q for which It follows from (15), (18), (19) and property (e) that for every natural number t, every natural number p ≥ n(γ, i) and every point x ∈ K, we have Since is an arbitrary positive number, the inequality above implies that for every point x ∈ K and every natural number t, there exists the limit lim p→∞ B p t x.
When combined with inequality (20), the above relation implies that for each x ∈ K and each natural number t, Since is an arbitrary positive number, the above inequality implies that there exists a point x * ∈ K for which lim and Property (e), (15), (18) and (24) imply that for every point x ∈ K, every sequence of , every natural number T ≥ n(γ, i) and every mapping r : {1, . . . , T} → {1, 2, . . . }, we have Assume now that x ∈ K and that t is a positive integer. Property (a), (4.8) and (4.15) imply that B t x − A tγ x ≤ δ i .
In view of property (a), (24) and (25), When combined with (8), (9), (18), (24) and property (a), the inequality above implies that Since is an arbitrary positive number, we conclude that This completes the proofs of both Theorems 1 and 2.
Author Contributions: Both authors contributed equally to this paper. All authors have read and agreed to the published version of the manuscript.