Abstract:We consider a closed convex set $C$ in a separable, infinite-dimensional Hilbert space and endow the set $\mathcal{N}(C)$ of nonexpansive self-mappings on $C$ 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 $f\in\mathcal{N}(C)$, in the sense of Baire categories. Namely, if $C$ is somewhat bounded, the generic nonexpansive mapping on $C$ admits a fixed point, whereas if $C$ is not somewhat bounded, the generic nonexpansive mapping on $C$ does not have any fixed points. This results in a topological 0-1 law: the set of all $f\in\mathcal{N}(C)$ with a fixed point is either meager or residual. We further prove that, generically, there are no fixed points in the interior of $C$ and, under additional geometric assumptions, we show the uniqueness of such fixed points for the generic $f\in\mathcal{N}(C)$ and the convergence of the iterates of $f$ to its fixed point.

Hausdorff And Packing Measure Of Sets Of Generic Points: A Zero-Infinity Law

Some Properties of Packing Measure with Doubling Gauge

Note on packing and weak-packing measures with Hausdorff functions

Random zero sets with local growth guarantees

On the coincidence of the Hausdorff and box dimensions for some affine-invariant sets

On the topology of Gaussian random zero sets

On the Hausdorff dimension of the residual set of a packing by smooth curves

Box-Counting Measure Of Metric Spaces

Some Remarks on the Hausdorff Measure of the Cantor Set

Hausdorff dimension, its properties, and its surprises

New fractal dimensions of measures and decompositions of singularly continuous measures

Hausdorff dimension for the set of points connected with the generalized Jarník-Besicovitch set

Hausdorff Measure of Hairs Without Endpoints in the Exponential Family

On a class of Hausdorff measure of cartesian product sets

On the Hausdorff dimension of geodesics that diverge on average

A generalization of the Cai--Galloway splitting theorem to smooth metric measure spaces

Generic nonexpansive Hilbert space mappings

Relations among Gauge Functions, Metrics and Hausdorff Measures*

A note on the relationship of pointwise dimensions of an invariant measure and its natural extension

The Metric Entropy of Random Dynamical Systems in A Hilbert Space: Characterization of Invariant Measures Satisfying Pesin'S Entropy Formula

Pure point diffraction and entropy beyond the Euclidean space