Generic nonexpansive Hilbert space mappings
Abstract
We consider a closed convex set in a separable, infinite-dimensional Hilbert space and endow the set of nonexpansive self-mappings on with the topology of pointwise convergence. We introduce the notion of a somewhat bounded set and establish a strong connection between this property and the existence of fixed points for the generic , in the sense of Baire categories. Namely, if is somewhat bounded, the generic nonexpansive mapping on admits a fixed point, whereas if is not somewhat bounded, the generic nonexpansive mapping on does not have any fixed points. This results in a topological 0-1 law: the set of all with a fixed point is either meager or residual. We further prove that, generically, there are no fixed points in the interior of and, under additional geometric assumptions, we show the uniqueness of such fixed points for the generic and the convergence of the iterates of to its fixed point.
Cite
@article{arxiv.2407.03881,
title = {Generic nonexpansive Hilbert space mappings},
author = {Davide Ravasini and Daylen K. Thimm},
journal= {arXiv preprint arXiv:2407.03881},
year = {2025}
}
Comments
18 pages, 2 figures v2: accepted for publication