Abstract
We study the generic behavior of the method of successive approximations for set-valued mappings in separable Banach spaces. We consider the case of nonexpansive mappings with convex and compact point images and show that for the typical such mapping and typical points of its domain the sequence of successive approximations is unique and converges to a fixed point of the mapping.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Brouwer’s fixed point theorem implies that every continuous self-mapping of a bounded, closed and convex subset of a Euclidean space has a fixed point. Unfortunately, this is no longer true in infinite dimensions. There are even nonexpansive self-mappings of bounded closed and convex subsets of a Banach space which do not have a fixed point. This motivates the question of whether this is at least true for typical nonexpansive mappings. In [7] F. S. de Blasi and J. Myjak gave a positive answer to this question. More precisely, given a Banach space X and a bounded, closed and convex subset \(C\subset X\), they show that the set of nonexpansive self-mappings of C having a unique fixed point is the complement of a meagre set in the space of all nonexpansive self-mappings equipped with the metric of uniform convergence. In addition, they also showed that this fixed point of the nonexpansive mapping f can be reached by starting with an arbitrary point \(x_0\) and then iteratively setting \(x_{k+1}=f(x_k)\) for \(k=1,2,\ldots \).
This motivates the question of whether the typical nonexpansive mapping actually has Lipschitz constant smaller than one. In the case of Hilbert spaces, F. S. de Blasi and J. Myjak already answered this question negatively in [7] by showing that to the contrary the typical nonexpansive mapping has the maximal possible Lipschitz constant one. This result was later generalised to Banach spaces in [2] and more general settings in [3].
In [18], S. Reich and A. Zaslavski gave an explanation of de Blasi and Myjak’s result by showing that the typical nonexpansive mapping satisfies the assumptions of Rakotch’s fixed point theorem [17].
The results on generic existence of fixed points of nonexpansive mappings have been generalised to set-valued mappings in [8] and [15]. Recall that a fixed point of a set-valued mapping
is an element \(x\in C\) satisfying \(x\in F(x)\). The proofs of these results use iterations of a mapping defined on suitable hyperspaces, i.e. spaces of sets equipped with the Hausdorff distance. More precisely, let \(\mathcal {B}(C)\) be a hyperspace of certain nonempty and closed subsets of C, and let \(F:C\rightarrow \mathcal {B}(C)\) be a nonexpansive mapping. Then the mapping
is considered. In some sense this means that the problem is transferred to a question on a self-mapping defined on a metric space of sets.
In [16] the problem is approached from a different angle. In the case of rather simple set-valued mappings which are defined by pairs of nonexpansive mappings the following iterative procedure is considered:
Under the assumption that C is a bounded, closed and convex subset of a Hilbert space, G. Pianigiani showed that, given a point \(x_0\) the set of nonexpansive mappings for which the above sequence is uniquely defined and converges to a fixed point is the complement of a meagre set. In [4], using different methods, these results have been generalised to the setting of Banach spaces.
More generally, in [14] compact-valued nonexpansive mappings on bounded, closed and convex subsets of Banach spaces are considered. The main results of this article establish that the typical compact-valued nonexpansive mapping has a unique sequence of successive approximations for typical initial points in its domain. Moreover this sequence converges to a fixed point of this mapping.
The current article is considered with the same question but for mappings whose point-images are compact and convex. A crucial step in the proof in [14] is to perturb a given nonexpansive mapping F by adding an additional point to F(x) for some x. This point z is required to have positive distance to F(x) rendering \(F(x)\cup \{z\}\) non-convex. For this reason a different approach is needed for the case of compact and convex sets.
In order to see that this is not a particular case of the situation considered in [14] we show in Proposition 2.1 that the set of convex compact sets is a porous and hence small subset of the hyperspace of compact sets.
One of the main methods of the current construction is based on V. Klee’s proof that the typical convex body is smooth and rotund, see [11]. A strengthening of this result for convex bodies in Euclidean spaces was later obtained by T. Zamfirescu in [22]. A survey on typical properties of convex bodies can be found in [10].
2 Preliminaries and notation
In this section we clarify most of the main notions and notation used throughout this paper. Some definitions, essential to other sections, are introduced where they are needed. We consider mostly Banach spaces and hyperspaces constructed of their subsets. Given a Banach space X, we denote the open ball with centre \(a\in X\) and radius \(r>0\) by \(B_X(a,r),\) and the corresponding closed ball by \(\overline{B}_X(a,r).\) If there is no confusion, we omit the subscript and write e.g. B(a, r). Given \(x\in X\) and \(A\subset X\) we write \(d(x,A)=\inf _{y\in A}\Vert x-y\Vert \) and \({{\,\textrm{diam}\,}}A=\sup _{x,y\in A}\Vert x-y\Vert \) for the distance of the point x from the set A and the diameter of the set A, respectively.
Next up we construct a suitable hyperspace for our purposes. Let \(C\subset X\) be a nonempty closed and bounded set. Consider the set \(\mathcal{C}\mathcal{K}(C)\) of all nonempty convex compact subsets of C. It is well-known that \((\mathcal{C}\mathcal{K}(C),h)\) is a complete metric space, where h stands for the Hausdorff distance defined in the following way:
Note that there is an analogue to the triangle inequality that combines the distance to a point and the Hausdorff distance, i.e.:
Note that in an analogous way one can define the hyperspace \(\mathcal {K}(C)\) of nonempty compact subsets of C with respect to Hausdorff metric. In this paper we are concerned with typical properties, i.e. properties for which the set of elements enjoying it is the complement of a small set. The size of a set can be regarded in many ways, e.g. in the sense of Baire category, meagre sets, i.e. countable unions of nowhere dense sets, are considered to be small. We also use the notion of porous sets that are in the same scale even smaller. More precisely, for an arbitrary metric space M we say that a subset \(A\subset M\) is porous at point \(x\in A\) if there are constants \(\alpha >0\) and \(\varepsilon _0>0\) that satisfy the following condition: for all \(\varepsilon \in (0,\varepsilon _0)\) there exists \(y\in B(x,\varepsilon )\) such that \(B(y,\alpha \varepsilon )\cap A=\emptyset \). We say the set A is porous provided it is porous at all of its points. A is called \(\sigma \)-porous if it is a countable union of porous sets.
Recall that in [14] similar results to the main results of the current paper were obtained. There the author handles the case of compact-valued nonexpansive mappings, whereas in this paper we regard nonexpansive mappings with values that are compact and convex. Despite the seeming overlapping, the small size of the set of convex compact subsets implies that the formally narrower approach is meaningful on its own.
Proposition 2.1
Let X be a Banach space and \(C\subset X\) a bounded closed and convex subset. The set of convex compact subsets of C is a porous subset of the hyperspace \(\mathcal {K}(C)\) of compact subsets of C.
Proof
Fix an arbitrary convex and compact \(K\in \mathcal {K}(C)\) . If \(K\ne C\) we set
Observe that \(\varepsilon _0\) is positive. Given \(\varepsilon \in (0,\varepsilon _0)\) we now pick \(z\in C\) with \(d(z,K)=\frac{3}{4}\varepsilon \) and set \(K' = K\cup \{z\}\) which is a compact set with \(h(K,K')<\varepsilon \). Now observe that no compact set L with \(h(K',L)<\alpha \varepsilon \) can be convex. In the case of \(K=C\), which of course can only happen if C is compact itself, we only change the value of \(\varepsilon _0\) to \(\varepsilon _0={{\,\textrm{diam}\,}}C/3\) . Then for \(\varepsilon \in (0,\varepsilon _0)\) we set \(K'=(K\setminus B(z,\varepsilon ))\cup \{z\}\) for some arbitrary \(z\in C\) and confirm that again no compact set L with \(h(K',L)<\alpha \varepsilon \) can be convex. Since K was chosen arbitrarily, the result follows. \(\square \)
As mentioned, the core results of this paper are for certain set-valued nonexpansive mappings. We call a mapping \(F:C\rightarrow \mathcal{C}\mathcal{K}(C)\) nonexpansive if for all \(x,y\in C\)
We denote the set of all such nonexpansive mappings by \(\mathcal {M}\). It is well-known that when equipped with the metric of uniform convergence, i.e. for all \(F,G\in \mathcal {M}\)
\((\mathcal {M},d_\infty )\) is a complete metric space. Similarly to the vector-valued case, we may regard Lipschitz mappings among set-valued mappings. Note that if \(F\in \mathcal {M}\), i.e. F is a nonexpansive mapping, then its Lipschitz constant satisfies \({{\,\textrm{Lip}\,}}F\le 1\), in the case of \({{\,\textrm{Lip}\,}}F<1\) we say that \(F\in \mathcal {M}\) is a strict contraction. In Sect. 3 (see Proposition 3.8) we see that all such strict contractions form a dense subset of \(\mathcal {M}\).
The following fact regarding Lipschitz mappings on geodesic spaces is well known, nonetheless we give it with proof for the convenience of the reader.
Lemma 2.2
Let \((Y,\rho )\) be a geodesic space and \(C\subset Y\) a convex subset. For a continuous function \(f:Y\rightarrow Y\) to be Lipschitz it is necessary and sufficient that the restrictions \(f|_C\) and \(f|_{Y\backslash C}\) are both Lipschitz. Moreover, the Lipschitz constant of f has the following bound
Proof
Necessity is obvious. To show the sufficiency and the claimed bound to the Lipschitz constant it is enough to show the result for fixed \(x\in C\) and \(y\in Y\backslash C\), since the other cases are trivial. Now, we may fix a metric segment [x, y] and due to the fact that C is convex, there exists a unique point z in the intersection of [x, y] with the closures of C and \(Y\backslash C\), therefore \(\rho (x,y)=\rho (x,z)+\rho (z,y)\) and furthermore
which completes the proof. \(\square \)
3 Hyperspaces of convex sets
The main aim of this section is to establish the following theorem on the hyperspace of bounded closed and convex subset of a given closed and convex subset of a Banach space.
Theorem 3.1
Let X be a Banach space and let \(D\subset X\) be a closed convex set. The hyperspace \(\mathcal{C}\mathcal{B}(D)\) of bounded closed and convex subsets of D equipped with the Hausdorff distance is a complete hyperbolic metric space.
The following immediate consequence of this theorem states the same for the hyperspace \(\mathcal{C}\mathcal{K}(D)\).
Corollary 3.2
Let X be a Banach space and let \(D\subset X\) be a closed convex set. The hyperspace \(\mathcal{C}\mathcal{K}(D)\) of convex compact subsets of D equipped with the Hausdorff distance is a complete hyperbolic metric space.
We start by introducing a few notions regarding geodesic metric spaces. We say that a metric space \((Y,\rho )\) is geodesic if for every \(x,y\in Y\) there exists an isometric embedding \(c:[0,\rho (x,y)]\rightarrow Y\) such that \(c(0)=x\) and \(c(\rho (x,y))=y\). The image of such embedding is called a metric segment in Y with endpoints x and y. Metric segments between two points need not be unique. If there is a unique metric segment with endpoints x and y, then we denote it by [x, y].
For example in a closed convex subset \(C_{\ell _1}\subset \ell _1\) that has at least three non-colinear points, it is easy to imagine different metric segments between a pair of points. However, thanks to the underlying vector space structure, we may select a family of metric segments by choosing for each pair \(x,y\in C_{\ell _1}\) as the unique segment the metric segment of the form
In the following we assume that we have a geodesic metric space together with a family \(\mathcal {S}\) of metric segments containing a unique one for each pair of points. Given a unique metric segment [x, y] in \((Y,\rho )\) and \(\lambda \in [0,1]\) we denote by \((1-\lambda )x\oplus \lambda y\) the unique point \(z\in [x,y]\) which satisfies both \(\rho (z,x)=\lambda \rho (x,y)\) and \(\rho (z,y)=(1-\lambda )\rho (x,y)\).
Definition 3.3
Let \((Y,\rho )\) be a metric space and \(\mathcal {S}\) a family of metric segments in Y. We call the triple \((Y,\rho ,\mathcal {S})\) hyperbolic if the following conditions are satisfied:
- (i):
-
For each pair \(x,y\in Y\), there exists a unique metric segment \([x,y]\in \mathcal {S}\) joining x and y.
- (ii):
-
For all \(x,y,z,w\in Y\) and all \(t\in [0,1]\),
$$\begin{aligned}\rho ((1-t)x\oplus t y,(1-t)w\oplus tz)\le (1-t)\rho (x,w)+t\rho (y,z).\end{aligned}$$ - (iii):
-
The collection \(\mathcal {S}\) is closed with respect to subsegments. More precisely, for all \(x,y\in X\) and \(u,v\in [x,y]\) we have \([u,v]\subset [x,y].\)
In the literature there is a number of different definitions of hyperbolic spaces. In this paper we use the same approach as the authors of [3] (for more information on different notions of hyperbolicity see e.g. Remark 2.13 in [13]).
We can almost start gathering the tools to prove the main result of this section, but firstly, we would like to point out that Example 4.7 in [20] and also in Remark 5.2 in [3] show that in the statement of Theorem 3.1 the assumption that the sets are convex is necessary. The first example mentioned above shows that the hyperspace of bounded and closed subsets even in a Banach space cannot be hyperbolic. For the convenience of the reader we repeat the second example here again.
Example 3.4
Consider the metric space \(D=[-1,1]^2\) with \(\Vert \cdot \Vert \) the Euclidean norm.
Set \(A=\{(-1,-1), (-1,1)\}\) and \(B=\{(1,-1),(1,1)\}\). Then \(h(A,B) = 2\) and
Therefore
which shows that taking convex combinations of sets does not result in geodesics in the hyperspace of compact subsets of D.
We consider a Banach space X and bounded, closed and convex sets \(A,B \subset X\). Note that it is enough to consider this case since the following constructions preserve being subset of a given closed and convex subset. Given \(\lambda \in [0,1]\) we set
and observe that this set is obviously bounded, convex and closed. Also note that if X is reflexive or one of the sets is compact, we do not need to take the closure in the definition of the above set. Next we present three lemmas that basically build the proof for Theorem 3.1, the latter proof can be found right after these lemmas. Although some of the following lemmas are well-known we include their proofs for the convenience of the reader.
In the proofs of the following lemmas we use that the Hausdorff distance between two sets is the same as the Hausdorff distance between their closures.
Lemma 3.5
The set \(\lambda A + (1-\lambda ) B\) satisfies
for every \(\lambda \in [0,1]\).
Proof
We prove the first equality, the second can be shown similarly. For every \(x\in A\) we have
for all \(y\in B\) and hence \(d(x,\lambda A + (1-\lambda ) B) \le (1-\lambda ) d(x,A) \le (1-\lambda ) h(A,B)\). On the other hand, for \(\lambda x+ (1-\lambda )y \in \lambda A + (1-\lambda )B\) we have
Summing up, this shows that
The converse inequality is obtained by triangle inequality. Indeed,
\(\square \)
Lemma 3.6
For \(\lambda ,\mu \in [0,1]\) we have
and
Proof
First note that for \(x\in A\) and \(y\in B\) we have
and hence \((\lambda + (1-\lambda )\mu ) A + (1-\lambda )(1-\mu ) B \subset \lambda A + (1-\lambda ) (\mu A + (1-\mu )B)\). In order to see the converse inclusion let \(x_1,x_2\in A\) and \(y\in B\). We have
since A is convex.
For the proof of the second equality, we may assume without loss of generality that \(\lambda \ge \mu \) and observe that
and hence
by Lemma 3.5. \(\square \)
Lemma 3.7
Given bounded, closed and convex sets A, B, C and \(\lambda \in [0,1]\) the inequality
holds.
Proof
For \(\lambda x + (1-\lambda )y \in \lambda A + (1-\lambda ) B\) we have
for all \(z\in C\). Therefore, \(d(\lambda x + (1-\lambda )y, \lambda A + (1-\lambda ) C) \le (1-\lambda ) d(y,C)\). Similarly, we may conclude that \(d(\lambda x + (1-\lambda )z, \lambda A + (1-\lambda ) B) \le (1-\lambda ) d(z,B)\). Combining these inequalities, we obtain
as claimed. \(\square \)
Proof of Theorem 3.1
We consider the hyperspace \(\mathcal{C}\mathcal{B}(D)\) of bounded, closed and convex subsets of D with the Hausdorff distance. We pick for each pair \(A,B\subset D\) the unique metric segment of the form
and consider \(\mathcal {S}\) to be the collection of such metric segments. The fact that each [A, B] is a metric segment, follows from Lemmas 3.5 and 3.6. Due to the construction, these metric segments also contain all of their subsegments. To finish the proof, note that the condition (ii) of Definition 3.3 follows from Lemma 3.7. \(\square \)
Another useful consequence that can be derived from Lemma 3.7 is that in our setting set-valued strict contractions are dense in the set of set-valued nonexpansive mappings.
Proposition 3.8
The set of strict contractions of the form \(F:C\rightarrow \mathcal{C}\mathcal{K}(C)\) is dense in the set of all nonexpansive mappings \(G:C\rightarrow \mathcal{C}\mathcal{K}(C)\).
Proof
Fix an arbitrary nonexpansive mapping \(G:C\rightarrow \mathcal{C}\mathcal{K}(C)\), \(\delta >0\), and \(\gamma >0\) such that \(\gamma {{\,\textrm{diam}\,}}(C)<\delta \). Choose some bounded closed and convex \(A\subset C\) and define for G a mapping \(F:C\rightarrow \mathcal{C}\mathcal{K}(C)\) by setting \(F(x):=(1-\gamma )G(x)+\gamma A\) for every \(x\in C\). Note that by Lemma 3.7F is a strict contraction and by Lemma 3.5 we get for every \(x\in C\) that
because for any \(A,B\subset C\) we have \(h(A,B)\le {{\,\textrm{diam}\,}}(C)\). This concludes the result. \(\square \)
We end this section with the following result that later on allows us to perturb a set-valued mapping without losing control over its Lipschitz constant.
Proposition 3.9
Let X be a Banach space, \(C\subset X\) a closed convex subset, \(A\subset C\) a bounded, closed and convex set and \(F:C\rightarrow \mathcal{C}\mathcal{K}(C)\) a nonexpansive mapping. For a Lipschitz mapping \(\lambda :C\rightarrow [0,1]\) the inequality
is satisfied.
Proof
Using the triangle inequality together with Lemmas 3.6 and 3.7 we obtain
which is the required inequality. \(\square \)
Remark 3.10
We have stated Propositions 3.8 and 3.9 according to the needs of this paper. Note that the proofs of these statements actually do not use compactness, therefore these results also hold for the more general case of the hyperspace \(\mathcal{C}\mathcal{B}(C)\) instead of \(\mathcal{C}\mathcal{K}(C)\).
4 Continuity properties of metric projections
We are interested in convex sets with the property that each point has a unique projection onto this set. For this reason we use the following notion of rotundity which is a slight modification of \(X^*\)-rotundity introduced by V. Klee in [11].
Given a Banach space X, a nonzero functional \(x^*\in X^*\) , and \(r\in \mathbb {R}\) we say a hyperplane \(H=\{x\in X:\langle x^*,x\rangle =r\}\) is supporting \(C\subset X\) at a point \(z\in C\) if \(\langle x^*,z\rangle =r\) and either \(\sup _{x\in C}\langle x^*,x\rangle \le r\) or \(\inf _{x\in C}\langle x^*,x\rangle \ge r\). Note that in Klee’s work, it is demanded here also that the set C is not contained in H, this is where our concept diverges a little from that of Klee’s. Hence, our definition of rotundity is more restrictive since in contrast to Klee we formally have more supporting hyperplanes for any point.
Definition 4.1
Let X be a Banach space and \(C\subset X\) be a convex set. We call C rotund if for every \(z\in C\) and every hyperplane H supporting C in z we have that \(H\cap C = \{z\}\). A point \(z\in C\) is called a support point if there is a hyperplane supporting C in z, and a non-support point otherwise.
The following characterisation of support points will come in handy and shows that points that reduce the distance to a point outside a convex set in a certain geometrical sense behave like the topological boundary of this set. This characterisation is a direct consequence of the characterisation of the (set-valued) metric projection via a variational inequality. Since the following direct proof is rather short, we include it nevertheless for the convenience of the reader.
Proposition 4.2
Let X be a Banach space and \(C\subset X\) a closed convex set. A point \(z\in C\) is a support point if and only if there is a point \(x\not \in C\) with \(\Vert x-z\Vert =d(x,C)\).
Proof
Assume that there is \(x\in X\setminus C\) with \(\Vert x-z\Vert =d(x,C)\). Then the open ball \(B(x,\Vert x-z\Vert )\) and C are disjoint convex sets which by the Hahn-Banach Theorem can be separated by a closed hyperplane which necessarily has to contain the point z. This hyperplane is the required supporting hyperplane.
If on the other hand there is a functional \(x^*\in X^*\) and \(a\in \mathbb {R}\) with \(\langle x^*,z \rangle = a \ge \langle x^*,y\rangle \) for all \(y\in C\), we denote by H the hyperplane defined by \(x^*\) and a and pick \(\tilde{x}\) with \(\langle x^*, \tilde{x}\rangle <a\) and a point \(\tilde{z}\) with \(\Vert \tilde{x}-\tilde{z}\Vert =d(\tilde{x},H)\). Setting \(x = \tilde{x} + z-\tilde{z}\) we observe that
Since C and x are on different sides of H, we conclude that \(\Vert x-z\Vert =d(x,C)\). \(\square \)
The following proposition shows that rotundity is indeed the property we need to additionally consider in order to guarantee the uniqueness of projections, since then for whatever point we choose in the space, there is a unique element in that rotund set that realises its distance to the same set.
Proposition 4.3
Let X be a Banach space and \(C\subset X\) be a rotund weakly compact set. For every \(x\in X\) there is a unique \(z\in C\) with \(\Vert x-z\Vert =d(x,C)\), i.e. a unique point minimising the distance to C.
Proof
First note that since C is weakly compact, the set of points in C minimising the distance to x is nonempty. Assume we have \(z_1,z_2\in C\) with
Since the norm is a convex function we may conclude that also \(\frac{1}{2}(z_1+z_2)\) minimises the distance to x. We pick a supporting hyperplane H in \(\frac{1}{2}(z_1+z_2)\) defined by \(x^*\in X^*\) and \(a\in \mathbb {R}\), i.e. \(H=\{x\in X:\langle x^*,x\rangle = a\}\). We observe that
which by rotundity implies that \(z_1=z_2\). \(\square \)
Definition 4.4
Let X be a Banach space, \(C\subset X\) a rotund weakly compact set and \(x\in X\). The unique element of C minimising the distance to X is denoted by \(P_Cx\). The mapping
is called the metric projection onto C.
The following result regarding the continuity of the metric projection is a particular case of Theorem 3 in [21] but since the proof is rather short, we include it for the convenience of the reader.
Proposition 4.5
Let X be a Banach space and \(C\subset X\) a rotund compact set. The metric projection
is continuous.
The following proof is basically the one given for Proposition 3.6 in [1] where the result is stated for rotund compact sets with nonempty interior.
Proof
Let \(x\in X\) and \((x_k)_{k\in \mathbb {N}}\) be a sequence converging to x. We denote \(z_k:=P_{C}x_k\). Since \((z_k)_{k\in \mathbb {N}}\) sits in the compact set C it has a convergent subsequence \((z_{k_m})_{m\in \mathbb {N}},\) i.e. there is \(z\in C\) such that \(z_{k_m}\rightarrow z.\) Observe that
Consequently, since C is rotund, \(z=P_Cx\) by Proposition 4.3 and \(P_Cx\) is the only accumulation point of the sequence \((z_k)_{k\in \mathbb {N}}\). Since it is contained in a compact set, this means that \(z_k\rightarrow P_Cx\) as claimed (see e.g. the Corollary to Theorem 1 in [6, p. 85]). \(\square \)
In order to obtain continuity also with respect to compact sets, we need the following technical lemma.
Lemma 4.6
Let \((C_k)_{k\in \mathbb {N}}\) be a sequence of compact sets converging to a compact set C in Hausdorff distance. The set
is compact.
Proof
We show that this set is complete and totally bounded. Given \(\varepsilon > 0\) we choose \(N\in \mathbb {N}\) with \(h(C_n,C)<\varepsilon /2\) for all \(n\ge N\). Since C is compact, we may find finitely many points \(z_1,\ldots ,z_K\in C\) with \(C \subset \bigcup _{k=1}^{K} B(z_k,\varepsilon /2)\). Now, we have
since for every \(y\in C_n\) if \(n\ge N\) we may pick a \(z\in C\) with \(\Vert y-z\Vert <\varepsilon /2\) and a \(z_k\) with \(\Vert z-z_k\Vert <\varepsilon /2\). As a finite union of compact sets \(\bigcup _{n=1}^{N-1} C_{n}\) is compact and hence we can add finitely many balls of radius \(\varepsilon \) to extend the above to a finite cover of the whole set. In order to show that the set is closed, let \((x_k)_{k\in \mathbb {N}}\) be a sequence in D converging to some \(x\in X\). If the sequence remains in finitely many of the \(C_n\), it is clear that also x has to belong to one of these. In the other case, we may pick a subsequence \((x_{k_m})_{m\in \mathbb {N}}\) with \(k_{m}>k_{m-1}\) and \(x_{k_m}\in C_{k_m}\). Since
we conclude that \(d(x,C)=0\) and hence \(x\in C\subset D\), as required. \(\square \)
Proposition 4.7
Let \((C_k)_{k\in \mathbb {N}}\) be a sequence of compact rotund sets converging to a compact rotund set C. Then,
for every \(x_k\rightarrow x\) in X. More generally, if the \(C_k\) are convex compact sets (not necessarily rotund) and \(z_k\in C_k\) with \(\Vert x_k-z_k\Vert =d(x_k,C_k)\), we have \(z_k\rightarrow P_Cx\).
Proof
We use the notation
and note that the sequence \((z_k)_{k\in \mathbb {N}}\) is contained in \(C \cup \bigcup _{k=1}^{\infty } C_k\) and the latter set is compact by Lemma 4.6. Hence, there is a convergent subsequence \(z_{k_m}\rightarrow z\). Note that by definition \(z_{k_m}\in C_{k_m}\) and therefore
and consequently \(z\in C\). Moreover,
where the last inequality follows from \(d(x,C)\le d(x,C_{k_m}) + h(C_{k_m},C)\) and the corresponding inequality where the roles of C and \(C_{k_m}\) are exchanged. Since C is rotund, we may now use Proposition 4.3 to conclude that \(z=P_Cx\). We have shown that \(P_Cx\) is the only accumulation point of the sequence \(z_k\) and hence the sequence, as it is contained in a compact set, converges to \(P_Cx\) (see e.g. the Corollary to Theorem 1 in [6, p. 85]). \(\square \)
Remark 4.8
Given a sequence \((C_k)_{k\in \mathbb {N}}\) of convex compact sets converging to a rotund compact set C and sequence \(x_k \rightarrow x\), using the notation
the proof of the above proposition, shows that \(h(\tilde{P}_{C_k}x_k, P_Cx) \rightarrow 0\) for \(k\rightarrow \infty \).
The rest of the section is dedicated to showing that the typical compact convex subset of a separable C in the hyperspace \(\mathcal{C}\mathcal{K}(C)\) is actually rotund. In order to do so, we follow in general the ideas of V. Klee from [11], where he showed that a similar result holds for the case of \(X^*\)-rotundity. For clarity, we state many of the results with proofs, modifying them according to our purposes.
Proposition 4.9
(Part of 1.5 Theorem in [11]) Let X be a separable Banach space and \(C\subset X\) a bounded closed and convex set with at least one non-support point. For every \(\varepsilon \in (0,1)\) there is a bounded rotund and convex set K with \((1-\varepsilon ) C \subset K \subset C\).
The following proof is basically a more detailed version of the one of Lemma 1.4 in [11] and (1.2) of IV in [12]. Since this part is not proved in [11] we include it for the convenience of the reader.
Proof
Without loss of generality, we assume that \(0\in C\) and that it is a non-support point. Since X is separable, by Theorem 1.6 in [11] there is an equivalent strictly convex norm \(\Vert \cdot \Vert _{sc}\) on X. We set
and define the mappings
Note that \(g(t)\le 1\) and
for \(r,s\ge 0\) and \(t\in [0,1]\). We set \(K:=T(C)\) and observe that \(T(C)\subset C\) since Tz is a convex combination of 0 and z. Note that for \(u \in C\) and \(\lambda \in [0,1]\) we have \(T(\lambda u) = \lambda g(\lambda \Vert u\Vert _{sc}) u\) and hence \([0,Tu]\subset K\). Given \(u,v\in C\) we set \(\alpha := g(\Vert u\Vert _{sc})\), \(\beta := g(\Vert v\Vert _{sc})\) and let \(z\in [Tu,Tv]=[\alpha u, \beta v]\), in other words, there is \(s\in [0,1]\) with
We pick a \(t\in [0,1]\), set
Since
we have \(z = \gamma y \in [0, Ty) \subset K\). In particular K is a convex set. Note that 0 is a non-support point of C and hence for every hyperplane H containing 0 there are \(y_1,y_2\in C\) which are on different sides of H. By construction, K contains a positive multiple of both of these points and hence 0 is a non-support point of K. Since a point which is strictly between two points in K can only be a support point if the endpoints of this segment are support points and 0 is a non-support point, we conclude that z is a non-support point.
In other words, we have shown that no non-trivial convex combination of points in K can be a support point. Since for every supporting hyperplane H the set \(H\cap K\) is a convex set of support points of K it has to be a singleton, i.e. K is rotund.
Since for \(w\in C\) we have
we obtain
and hence \((1-\varepsilon ) C \subset K \subset C\) as claimed. \(\square \)
Proposition 4.10
Let X be a separable Banach space and \(C\subset X\) a bounded closed and convex set. For every \(\varepsilon \in (0,1)\) there is a rotund set K with \(h(K,C)<\varepsilon \). If C is compact, so is K.
The following proof is based on a modification of an argument by V. Klee used in the proof of Theorem 1.5 in [11, p. 56].
Proof
We pick a dense sequence \((w_k)_{k\in \mathbb {N}}\) in the unit sphere of X and consider the linear mapping
whose restriction to the closed unit ball \(B_{\ell _2}\) is weak-to-norm continuous. Hence, the set \(\frac{\varepsilon }{2}T(B_{\ell _2})\) is a compact subset of X. We set \(\tilde{K}:= C + \frac{\varepsilon }{2}T(B_{\ell _2})\) and observe that as the sum of two closed convex sets, one of them compact, it is a closed convex set and since \(0\in T(B_{\ell _2})\), it contains C. Note that if C is compact, so is \(\tilde{K}\). By construction we also have \(h(\tilde{K},C)<\frac{\varepsilon }{2}\). Since 0 is a non-support point of \(T(B_{\ell _2})\), every point of C is a non-support point of \(\tilde{K}\). Now the claim follows from Proposition 4.9. \(\square \)
Corollary 4.11
Let X be a separable Banach space and \(C\subset X\) a closed and convex subset. The set of rotund compact sets is a dense subset of the hyperspace of compact convex sets.
Remark 4.12
In [11], V. Klee shows that the set of convex compact sets which are \(X^*\)-rotund and \(X^*\)-smooth is the complement of a meagre set. Let us mention a few differences between these results.
-
1.
Note that our result slightly differs from Klee’s result, since our definition of rotundity is more restrictive than Klee’s since we do require the intersection of every supporting hyperplane with the convex set to be a singleton and do not allow the case where this intersection is the whole set. In the latter case uniqueness of the metric projection is no longer guaranteed.
-
2.
The difference between our definition of rotund sets and V. Klee’s definition of \(X^*\)-rotund sets also explains why we need X to be separable and Klee does not:
-
a)
Every compact set is separable and so is its closed linear span. For this reason if X is non-separable, every compact set C is contained in a hyperplane and hence also in one of its supporting hyperplanes. This implies that the only rotund compact subsets of a non-separable Banach space are the singletons. For this reason Corollary 4.11 fails in the non-separable space. Since, in the language of this paper, \(X^*\)-rotund sets may be subsets of supporting hyperplanes, the corresponding result by V. Klee also holds in this case.
-
b)
Every non-separable Banach space X which is not rotund, contains a compact subset K which is rotund in an infinite-dimensional subspace in which it is contained but fails to have unique metric projections: Since X is not rotund, we may pick \(x,y\in S_X\) with \([x,y]\subset S_X\). Using the Hahn-Banach Theorem we obtain a functional \(x^*\in B_{X^*}\) with \(\langle x^*, \frac{1}{2}(x+y)\rangle = 1\). A direct computation shows that this functional satisfies \(\langle x^*,x\rangle = \langle x^*,y\rangle =1\). We now choose a separable infinite dimensional subspace Y of \(\ker x^*\) which contains \(y-x\). Using the construction in the proof of Proposition 4.10, we obtain an infinite dimensional compact convex set \(\tilde{K}\subset Y\) containing \([0,y-x]\) which, as a subset of Y, is rotund. We finally set \(K:=x+\tilde{K}\), \(H:=\{z\in X^*:\langle x^*,z\rangle = 1\}\)and observe that \(K\subset H\). Since \(\Vert z\Vert \ge \langle x^*, z\rangle =1 \) for all \(z\in H\) and hence in particular for all \(z\in K\), we observe that both x and y are points in K minimising the distance to the origin. Hence, K fails to have unique projections.
-
a)
Another direct consequence of Proposition 4.10 is the following useful variant where we require a fixed element of C to be contained in the rotund set nearby.
Corollary 4.13
Let C be a convex compact set, \(\varepsilon >0\) and \(z\in C\). There is a rotund compact set K with \(z\in K\) and \(h(C,K)<\varepsilon \).
Lemma 4.14
Let X be a separable Banach space and \(C\subset X\) a closed and convex set. For each \(n\in \mathbb {N}\) the set \(\mathcal {L}_n\) of compact convex subsets \(K\subset C\) with the property, that there are points \(x_n,y_n\in K\) with \(\Vert x_n-y_n\Vert \ge 1/n\) and a norm one functional attaining its maximum both in \(x_n\) and \(y_n\), is closed and nowhere dense.
Proof
This can be shown by repeating the proof of Theorem 2.2 in [11]. \(\square \)
Remark 4.15
Note that given \(K\not \in \mathcal {L}_n\) and \(x\in X\) the diameter of the set
is at most 1/n since otherwise we may pick \(y,z\in K\) with \(d(x,K)=\Vert x-y\Vert =\Vert x-z\Vert \) and \(\Vert y-z\Vert > 1/n\). By Proposition 4.2 there is a functional \(x^*\in B_{X^*}\) with
for all \(w\in C\). A direct computation shows that \(\langle x^*,y\rangle = \langle x^*,z\rangle = \langle x^*, (y+z)/2\rangle \) which contradicts \(K\not \in \mathcal {L}_n\).
As a conclusion, combining Proposition 4.10 and Lemma 4.14, we have proved the following theorem, which plays a key role in the proof of the main result as it allows in our setting to always pass on to a rotund set which consequently ensures the projections to be unique.
Theorem 4.16
Let X be a separable Banach space and \(C\subset X\) a closed and convex set. The set of rotund compact subsets of C is a residual subset of the hyperspace \(\mathcal{C}\mathcal{K}(C)\). In particular, the set of convex compact sets having a continuous (single-valued) metric projection is a residual subset of the hyperspace \(\mathcal{C}\mathcal{K}(C)\).
In addition, we obtain as a direct consequence of Lemma 4.14 and Proposition 4.7 the following corollary that we frequently use in the last section.
Corollary 4.17
Let \(C\subset X\) be a rotund compact set and \(x\in X\). For every \(\varepsilon >0\) and every \(n\in \mathbb {N}\) there is \(\delta >0\) such that for every compact convex set K with \(h(K,C)<\delta \) and every \(y\in X\) with \(\Vert x-y\Vert <\delta \) we have
and the diameter of the set \(\{z\in K:\Vert y-z\Vert =d(y,K)\}\) is at most 1/n.
5 Perturbation of compact-convex-valued mappings
The aim of this section is to show that we are able to change the value of a set-valued mapping at a given point to a set nearby without increasing the Lipschitz constant too much. For this aim we need the following lemma from [9, Lemma 3.1] or [5, Lemma 5.3], cf. also Lemma 4.2 in [14].
Lemma 5.1
Let X be a Banach space, \(C\subset X\) a convex set containing the origin and \(0<r<R\). There is a mapping \(\Phi :C\rightarrow C\) such that
-
1.
\(\Phi (x)=0\) for all \(x\in C\cap \overline{B}(0,r)\).
-
2.
\(\Phi (x)=x\) for all \(x\in C \setminus B(0,R)\).
-
3.
\({{\,\textrm{Lip}\,}}\Phi \le 1 + \frac{r}{R-r}\).
-
4.
\(\Vert \Phi (x)-x\Vert \le r\) for all \(x\in C\).
Together with Proposition 3.9 this lemma allows us to replace the value of a set-valued mapping at some point to compact and convex set close to the original value while having enough control over the Lipschitz constant of the resulting map.
Lemma 5.2
Let \(F\in \mathcal {M}\), \(C\subset X\) a closed convex set with \(\xi \in C\), \(0<\rho<r<R\) and K a compact convex set satisfying \(h(K,F(\xi ))<\rho \). There is a mapping \(G:C\rightarrow C\) with the following properties:
-
1.
\(G(\xi ) = K\).
-
2.
\(G(x)=F(x)\) for \(x\in C\setminus B(\xi ,R)\).
-
3.
\({{\,\textrm{Lip}\,}}G \le \max \{\frac{R}{R-r}{{\,\textrm{Lip}\,}}F, {{\,\textrm{Lip}\,}}F + \frac{\rho }{r}\}\).
-
4.
\(h(F(x),G(x))\le 2r\) for all \(x\in C\).
Proof
We start by defining a Lipschitz mapping
and choosing the mapping \(\Phi \) from Lemma 5.1 corresponding to r and R. Using these two mappings we define \(G:C\rightarrow C\) by
In the rest of the proof we show that G satisfies the conditions 1.-4. Obviously 1. holds. Furthermore, observe that \(G(x)=F(x)\) for \(x\in C\setminus B(\xi ,R)\) since in this case we have \(\lambda (x)=0\) and \(\xi +\Phi (x-\xi )=x\), hence 2. holds.
For \(x,y\in B(\xi ,r)\) we conclude from Proposition 3.9 that
For \(x,y\in C\setminus B(\xi ,r)\) we have
by Lemma 5.1. Bearing in mind Lemma 2.2 we see that taking the maximum of these bounds implies the claimed bound on the Lipschitz constant of G, i.e. we have shown 3.
As a last step we prove 4. By Lemma 3.5 we obtain
for all \(x\in C\cap B(\xi ,r)\). For \(x\in C\setminus B(\xi ,r)\) Lemma 5.1 implies that
which finishes the proof. \(\square \)
6 Successive approximations for compact convex valued mappings
The goal of the last section is to prove the main result of this paper, more precisely, to show that for the typical nonexpansive mapping with convex and compact point images and typical points of its domain the sequence of successive approximations is unique and converges to a fixed point of the mapping.
Let us first fix a few necessary notions. For a compact set M we denote by
the set-valued metric projection onto M.
Definition 6.1
Let X be a Banach space, \(C\subset X\) a closed and bounded subset, \(F:C\rightarrow \mathcal {K}(C)\) and \(N\in \mathbb {N}\). A trajectory with respect to F or a sequence of successive approximations with respect to F is a sequence \((x_i)_{i=1}^N \) in C with
Definition 6.2
An infinite sequence of successive approximations or trajectory \((x_n)_{n=0}^\infty \) is called regular, if \(P_{F(x_n)} x_n\) is a singleton for all n.
Theorem 6.3
Let X be a separable Banach space, \(C\subset X\) a bounded closed and convex set, and let \(x_0\in C\). There is a set \(\mathcal {A}(x_0)\subset \mathcal {M}\) with meagre complement with the property that for every \(F\in \mathcal {A}(x_0)\) the sequence \(x_{n+1} :=P_{F(x_n)} x_n\) is well defined, i.e. unique, and converges to a fixed point of F.
We start with preliminary work, and combine the preliminary steps into the proof of the theorem later. Let C be a bounded closed and convex subset of a separable Banach space X and \(x_0\in C\). (We fix X, C and \(x_0\) for the whole section.) Define
Our initial aim is to show that each \(\mathcal {M}\setminus \mathcal {A}_n(x_0)\) is a nowhere dense set. In order to do so, we follow the upcoming scheme:
-
I
First induction (moving forward) to obtain the sequence \((y_n)\subset C\).
-
II
Second induction (moving backwards) to obtain sequences \((z_n)\subset C\) and \((G_n)\subset \mathcal {M}.\)
-
III
Proof that \(\mathcal {M}\setminus \mathcal {A}_n(x_0)\) is nowhere dense.
6.1 I Induction: moving forward
6.1.1 I Induction base
Let \(F:C\rightarrow \mathcal{C}\mathcal{K}(C)\) be a nonexpansive mapping and \(\varepsilon >0\). Since by Proposition 3.8 the set of strict contractions is a dense subset of \(\mathcal {M}\), we may assume without loss of generality that \({{\,\textrm{Lip}\,}}F < 1\). More precisely, we may choose a strict contraction whose distance to F is smaller than \(\varepsilon /2\) and then proceed with \(\varepsilon /2\) instead of \(\varepsilon \).
We now define a mapping \(\tilde{F}\) which is close to F and a sequence \((y_n)_{n\in \mathbb {N}}\) in C with \(y_{n+1}\in \tilde{P}_{\tilde{F}(y_n)} y_n\). We start by setting \(y_0 := x_0\) and need to do an additional step. The importance of this step will become clear at the end of the construction and serves the purpose of anchoring the sequence of \((z_k)_{k=1}^{n}\) which will be constructed later. If \(F(x_0)\) is rotund, we set \(\tilde{F}=F\). Otherwise, we deduce from Theorem 4.16 that there is a compact rotund set \(K_0\) with \(h(F(x_0), K_0)<\rho _0\) where \(\rho _0\in (0, \frac{\varepsilon }{4}(1-{{\,\textrm{Lip}\,}}F))\). If \(x_0\in F(x_0)\), by Corollary 4.13 we may assume that \(x_0\in K_0\). These considerations allow us to choose a large enough \(R_0>0\) to apply Lemma 5.2 and obtain a nonexpansive mapping \(\tilde{F}\) with \(\tilde{F}(x_0)=K_0\), \({{\,\textrm{Lip}\,}}\tilde{F}<1\) and \(d_\infty (F,\tilde{F})<\frac{\varepsilon }{2}\). We set \(y_1 := P_{\tilde{F}(y_0)} y_0\) and proceed inductively.
6.1.2 I Induction step
Assume that all elements up to \(y_n\) have been defined already. If \(y_n\in \tilde{F}(y_n)\), we set \(y_{n+1}=y_n\). Otherwise we observe that again by Theorem 4.16 there is a sequence of compact rotund sets \((K_k^n)_{k\in \mathbb {N}}\) with \(K_k^n\rightarrow \tilde{F}(y_n)\) for \(k\rightarrow \infty \) with respect to the Hausdorff distance. Since the sequence \(P_{K_k^n} y_n\) is contained in a compact set we may, by passing to subsequences if necessary, assume without loss of generality, that the limit
exists.
6.2 II Induction: moving backwards
6.2.1 II Induction base
Using this sequence, for fixed \(n\in \mathbb {N}\) we construct a mapping \(G\in \mathcal {A}_n(x_0)\) with distance to \(\tilde{F}\) at most \(\varepsilon \). Observe that since
and \({{\,\textrm{Lip}\,}}\tilde{F} < 1\), all \(y_k\) are different as long as none of them is a fixed point, see also Lemma 4.1 in [14]. If we hit a fixed point, the sequence remains constant after that. Hence
We pick \(0< \rho _n< r_n< R_n < \frac{c}{2}\) with
We choose k large enough so that \(h(K_k^{n},\tilde{F}(y_{n})) < \rho _n\) and denote by \(G_n\) the mapping we obtain from Lemma 5.2 using the above parameters. Note that the above assumptions imply that \(G_n\) is a strict contraction and \(G_n(y_n)\) is rotund. Moreover, we did not change the values on previous points of the sequence, i.e. \(G_n(y_k)=\tilde{F}(y_k)\) for all \(0\le k < n\).
Now Corollary 4.17 allows us to choose \(\delta _n>0\) such that \({{\,\textrm{diam}\,}}\tilde{P}_{K} x \le \frac{1}{n}\) for every convex compact set K with \(h(K,G_n(y_n))<\delta _n\) and every \(x\in C\cap B(y_n,\delta _n)\).
We set \(z_n:=y_n\), pick an arbitrary \(z_{n+1}\in G_n(z_n)\) and set \(\delta _{n+1}:=\frac{1}{n}\). The only role of the parameters \(z_{n+1}\) and \(\delta _{n+1}\) is to facilitate the phrasing of Lemma 6.4 and they do not have a meaning beyond that. Now we are able to proceed inductively.
6.2.2 II Induction step
Lemma 6.4
Let \(1 < k \le n\), \(z_{k},\ldots ,z_n\in C\), \(G_k\in \mathcal {M}\) and \(\delta _n> \ldots> \delta _k>0\) with the following properties be given.
-
(i)
\({{\,\textrm{Lip}\,}}G_k < 1\).
-
(ii)
\(d_\infty (\tilde{F},G_k)<\frac{\varepsilon (n+1-k)}{4n}\).
-
(iii)
\(\Vert y_k-z_k\Vert < \delta _k/4\).
-
(iv)
For \(k\le m\le n\) and for every compact convex set K with \(h(K,G_k(z_m))<\delta _m\) and every \(x\in C\cap B(z_m,\delta _m)\), we have \({{\,\textrm{diam}\,}}\tilde{P}_{K} x \le \frac{1}{n}\) and \(\tilde{P}_{K} x \subset C\cap B(z_{m+1},\frac{\delta _{m+1}}{2})\).
-
(v)
\(G_k(x)=\tilde{F}(x)\) for all \(x\in C\setminus \bigcup _{m=k}^{n} B(y_m,c/2)\).
Then there is a mapping \(G_{k-1}\), a point \(z_{k-1}\) and \(\delta _{k-1}>0\) such that
-
(1)
\({{\,\textrm{Lip}\,}}G_{k-1} < 1\).
-
(2)
\(d_\infty (\tilde{F},G_{k-1})<\frac{\varepsilon (n+1-(k-1))}{4n}\).
-
(3)
\(\Vert y_{k-1}-z_{k-1}\Vert < \delta _{k-1}/4\).
-
(4)
For \(k-1\le m\le n\) every compact convex set K with \(h(K,G_{k-1}(z_m))<\delta _{m}\) and every \(x\in C\cap B(z_m,\delta _{m})\) satisfy \({{\,\textrm{diam}\,}}\tilde{P}_{K} x \le \frac{1}{n}\) and \(\tilde{P}_{K} x \subset B(z_{m+1},\frac{\delta _{m+1}}{2})\).
-
(5)
\(G_{k-1}(x)=\tilde{F}(x)\) for all \(x\in C\setminus \bigcup _{m=k-1}^{n} B(y_m,c/2)\).
Proof
Let \(1< k \le n\), \(z_{k},\ldots ,z_n\in C\), \(G_k\in \mathcal {M}\) and \(\delta _n> \ldots> \delta _k>0\) satisfy the conditions (i)-(v). We show that (1)-(5) hold. For that aim pick
with
By definition of the sequence \((y_m)_{m\in \mathbb {N}}\) there is a \(j\in \mathbb {N}\) with
By Corollary 4.17 there is \(s \in (0,\min \{\rho _{k-1},\delta _k\})\) such that
for all \(y\in B(y_{k-1}, s)\) and all compact convex sets K with \(h(K,K_{j}^{k-1})<s\). We pick a point \(z_{k-1} \in B(y_{k-1},s/8)\), set \(\delta _{k-1}:=s/2\) and note that \(\Vert y_{k-1}-z_{k-1}\Vert < \delta _{k-1}/4\) which means that (3) is satisfied and in particular implies
for \(m\ge k\) and hence \(G_{k}(z_{k-1})=\tilde{F}(z_{k-1})\). Moreover, we have
and
Due to our choice of the parameters \(\rho _{k-1},r_{k-1}, R_{k-1}, z_{k-1},\) and \(K_j^{k-1}\) and inequality (b), we obtain a strict contraction \(G_{k-1}\) from Lemma 5.2 which satisfies \(G_{k-1}(z_{k-1})=K_{j}^{k-1}\), \(G_{k-1}(x)=G_k(x)\) for all \(x\in C\setminus B(z_{k-1},R_{k-1})\), \({{\,\textrm{Lip}\,}}G_{k-1}<1\), and
Note that conditions (1) and (2) are now also satisfied. To see (5), note that since \(G_k(x)=\tilde{F}(x)\) for an even larger set by (v), we also have this identity for all \(x\in C\setminus \bigcup _{m=k-1}^{n} B(y_m,c/2).\)
To end the proof, we confirm (4). Given a compact convex set K with \(h(K,G_{k-1}(z_{k-1}))<\delta _{k-1}\) and a point \(x\in C \cap B(z_{k-1}, \delta _{k-1})\) we have \(\Vert x-y_{k-1}\Vert < \Vert x-z_{k-1}\Vert + \frac{\delta _{k-1}}{4} \le 2 \delta _{k-1} = s\) and hence, as \(G_{k-1}(z_{k-1})=K_{j}^{k-1}\) the choice of s above ensures (a) and (c), therefore (4) is satisfied for \(m=k-1\). Since \(G_{k-1}(z_{m})=G_{k}(z_{m})\), (4) is also satisfied for \(m\ge k\) since in that range (iv) holds. This completes the proof. \(\square \)
6.2.3 III \(\mathcal {M}\setminus \mathcal {A}_n(x_0)\) is nowhere dense
Relying on the previous construction established in I and II, we now show the following.
Proposition 6.5
Given \(F\in \mathcal {M}\), \(x_0\in C,\) and \(\varepsilon >0\) there is a strict contraction \(G\in \mathcal {M}\), \(r>0\) and \(\delta >0\) with the following properties.
-
1.
\(d_\infty (F,G)<\varepsilon \)
-
2.
\({{\,\textrm{diam}\,}}\tilde{P}_{H(v_k)} v_k\le \frac{1}{n}\) for all \(v_0,\ldots ,v_n\) with \(v_0\in B(x_0,r)\), \(v_{k+1}\in \tilde{P}_{H(v_k)} v_k\) and every \(H\in \mathcal {M}\) with \(h(H,G)<\delta \).
In particular, \(B_{\mathcal {M}}(G,\delta ) \subset \mathcal {A}_{n}(x_0) \cap B_\mathcal {M}(F,\varepsilon )\), i.e. \(\mathcal {M}\setminus \mathcal {A}_n(x_0)\) is nowhere dense.
Proof
Using the construction established with I and II, we obtain a mapping \(G_1\) with
numbers \(0<\delta _1<\ldots <\delta _n\) and a sequence of points \(z_1,\ldots , z_n\) with \(\Vert y_k-z_k\Vert < \frac{\delta _k}{4}\) and for every \(1\le m\le n\) and every compact convex set K with \(h(K,G_{1}(z_m))<\delta _{m}\) and every \(x\in C\cap B(z_m,\delta _{m})\) we have \({{\,\textrm{diam}\,}}\tilde{P}_{K} x \le \frac{1}{n}\) and \(\tilde{P}_{K} x \subset B(z_{m+1},\delta _{m+1}/2)\). We set \(z_0:=x_0\) and \(G:=G_1\). Note that G satisfies condition 1. The rest of the proof is dedicated to showing that 2. holds.
By Corollary 4.17 there is a \(\delta _0\in (0,\delta _1/2)\) such that \(\tilde{P}_K x \subset C\cap B(z_1,\delta _1/2)\) for every \(x\in B(z_0,\delta _0)\) and every compact convex set K with \(h(K,G(z_1))<\delta _0\). We set \(r:=\delta _0/2\) and \(\delta :=\min \{r,\frac{\varepsilon }{4}\}\).
Let \(H\in B_\mathcal {M}(G,\delta )\) and \(v_0\in B(z_0,r)\). Since H is nonexpansive, we have
which by the choice of these constants implies that \(\tilde{P}_{H(v_0)} v_0 \subset C\cap B(z_1,\delta _1/2)\) and \({{\,\textrm{diam}\,}}\tilde{P}_{H(v_0)} v_0\le 1/n\). We continue by induction and use the properties established in Lemma 6.4. Assume we have
then we get
and hence \({{\,\textrm{diam}\,}}\tilde{P}_{H(v_k)} v_k\le 1/n\) and \(\tilde{P}_{H(v_{k+1})} v_{k+1} \subset C\cap B(z_{k+1},\delta _{k+1}/2)\). As long as \(k+1\le n\). Even though, in the last step, we only obtain that \({{\,\textrm{diam}\,}}\tilde{P}_{H(v_n)} v_n \le 1/n\) but no additional information on the location of this set, it is enough to show that \(B_{\mathcal {M}}(G,\delta ) \subset \mathcal {A}_{n}(x_0) \cap B_\mathcal {M}(F,\varepsilon )\) and hence that \(\mathcal {M}\setminus \mathcal {A}_n(x_0)\) is nowhere dense. \(\square \)
We have now completed the preliminary work, and can move on to proving the main theorem.
Proof of Theorem 6.3
We set
and observe that it is the complement of a meagre set. Moreover for \(F\in \mathcal {A}(x_0)\) and a sequence \((x_k)_{k\in \mathbb {N}}\) starting with \(x_0\) and satisfying \(x_{k+1}\in \tilde{P}_{F(x_k)} x_k\) we have \({{\,\textrm{diam}\,}}\tilde{P}_{F(x_k)} x_k \le 1/n\) for every \(n\in \mathbb {N}\) with \(n\ge k\) and hence \(\tilde{P}_{F(x_k)} x_k\) is a singleton. Convergence to a fixed point follows from Theorems 4.2, 4.3 and 4.4 in [19]. \(\square \)
Lastly, we formalise the following consequence of the main theorem and its proof.
Corollary 6.6
Let X be a separable Banach space. Then there is a residual set \(\mathcal {F}\subset \mathcal {M}\) such that for every \(F\in \mathcal {F}\) there is a residual subset \(\mathcal {U}\subset C\) with the property that for every \(x_0\in \mathcal {U}\) the mapping F admits a regular trajectory starting at \(x_0\).
Proof
Let D be a countable and dense subset of C. For every \(n\in \mathbb N\) define the sets
Observe that since D is countable the set \(\mathcal A_n\) is residual and hence also the set \(\mathcal {F}\) is residual in \(\mathcal {M}\). For \(F\in \mathcal {F}\) and \(n\in \mathbb N\) we have in particular \(F\in \mathcal A_n(y)\) for every \(y\in D\). Hence there is an \(r_{n,y}>0\) such that \({{\,\textrm{diam}\,}}\tilde{P}_{F(v_k)}v_k \le \frac{1}{n}\) for all \(v_0,\ldots ,v_n\) with \(v_0\in B(y,r_{n,y})\) and \(v_{k+1}\in \tilde{P}_{F(v_k)} v_k\). Then for every \(n\in \mathbb N\) the sets
are dense in C, since D itself is dense in C. Hence
is residual in C and every \(x_0\in \mathcal U\) has a regular trajectory with respect to F. \(\square \)
Data availibility statement
Data sharing not applicable to this article as no datasets were generated or analysed.
References
Balestro, V., Martini, H., Teixeira, R.: Convex analysis in normed spaces and metric projections onto convex bodies. J. Convex Anal. 28(4), 1223–1248 (2021)
Bargetz, C., Dymond, M.: \(\sigma \)-porosity of the set of strict contractions in a space of non-expansive mappings. Israel J. Math. 214(1), 235–244 (2016)
Bargetz, C., Dymond, M., Reich, S.: Porosity results for sets of strict contractions on geodesic metric spaces. Topol. Methods Nonlinear Anal. 50(1), 89–124 (2017)
Bargetz, C., Reich, S.: Generic convergence of sequences of successive approximations in Banach spaces. Pure Appl. Funct. Anal. 4(3), 477–493 (2019)
Bargetz, C, Reich, S, Thimm, D: Generic properties of nonexpansive mappings on unbounded domains. Preprint (arXiv:2204.10279), (2022)
Bourbaki, N: General topology. Chapters 1–4. Elements of Mathematics (Berlin). Springer-Verlag, Berlin, (1998)
de Blasi, F.S., Myjak, J.: Sur la convergence des approximations successives pour les contractions non linaires dans un espace de Banach. CR. Acad. Sci. Paris 283(4), 185–187 (1976)
de Blasi, F.S., Myjak, J., Reich, S., Zaslavski, A.J.: Generic existence and approximation of fixed points for nonexpansive set-valued maps. Set-Valued Var. Anal. 17(1), 97–112 (2009)
Dymond, M: Porosity phenomena of non-expansive Banach space mappings. Preprint (arXiv:2110.13722), to appear in Israel J Math, (2021)
Gruber, P.M.: Results of Baire category type in convexity in discrete geometry and convexity (New York, 1982). Ann. New York Acad. Sci. 440, 163–169 (1985)
Klee, V.: Some new results on smoothness and rotundity in normed linear spaces. Math. Ann. 139(51–63), 1959 (1959)
Klee, V.L., Jr.: Convex bodies and periodic homeomorphisms in Hilbert space. Trans. Amer. Math. Soc. 74, 10–43 (1953)
Kohlenbach, U.: Some logical metatheorems with applications in functional analysis. Trans. Amer. Math. Soc. 357(1), 89–128 (2005)
Medjic, E: On successive approximations for compact-valued nonexpansive mappings. Preprint (arXiv:2203.03470), (2022)
Peng, L.H., Luo, X.F.: Contractive set-valued maps in hyperbolic spaces. J. Nonlinear Convex Anal. 16(7), 1415–1424 (2015)
Pianigiani, G.: Generic properties of successive approximations in Hilbert spaces. J. Nonlinear Convex Anal. 16(6), 1097–1111 (2015)
Rakotch, E.: A note on contractive mappings. Proc. Amer. Math. Soc. 13, 459–465 (1962)
Reich, S., Zaslavski, A.J.: The set of noncontractive mappings is \(\sigma \)-porous in the space of all nonexpansive mappings. CR. Acad. Sci. Paris. I Math. 333(6), 539–544 (2001)
Reich, S.: Zaslavski, A.J.: Convergence of iterates of nonexpansive set-valued mappings. In: Set valued mappings with applications in nonlinear analysis. of Ser Math Anal Appl, pp. 411–420. Taylor & Francis, London (2002)
Strobin, F.: \(\sigma \)-porous sets of generalized nonexpansive mappings. Fixed Point Theory 15(1), 217–232 (2014)
Wulbert, D.E.: Continuity of metric projections. Trans. Amer. Math. Soc. 134, 335–341 (1968)
Zamfirescu, T.: Nearly all convex bodies are smooth and strictly convex. Monatsh. Math. 103(1), 57–62 (1987)
Acknowledgements
This research has been supported by the Austrian Science Fund (FWF): P 32523-N.
Funding
Open access funding provided by Austrian Science Fund (FWF).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Michael Kunzinger.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bargetz, C., Medjic, E. & Pirk, K. On generic convergence of successive approximations of mappings with convex and compact point images. Monatsh Math 202, 659–683 (2023). https://doi.org/10.1007/s00605-022-01813-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-022-01813-y