Abstract:We introduce the notion of isometric envelope of a subspace in a Banach space, establishing its connections with several key elements: (a) we explore its relation to the mean ergodic projection on fixed points within a semigroup of contractions, (b) we draw parallels with Korovkin sets from the 1970s, (c) we investigate its impact on the extension properties of linear isometric embeddings. We use this concept to address the recent conjecture that the Gurarij space and the spaces , are the only separable approximately ultrahomogeneous Banach spaces (a certain multidimensional transitivity of the action of the linear isometry group). The similar conjecture for Fraïssé Banach spaces (a strengthening of the approximately homogeneous property) is also considered. We characterize the Hilbert space as the only separable reflexive space in which any closed subspace coincides with its envelope; and we show that the Gurarij space satisfies the same property. We compute some envelopes in the case of Lebesgue spaces, showing that the reflexive -spaces are the only reflexive rearrangement invariant spaces on [0, 1] for which all 1-complemented subspaces are envelopes. We also identify the isometrically unique "full" quotient space of by a Hilbertian subspace, for appropriate values of p , as well as the associated topological group embedding of the unitary group into the isometry group of .

Enriched purity and presentability in Banach spaces

Notions of enriched purity

On the expansiveness of coarse maps between Banach spaces and geometry preservation

Uniqueness of Hahn-Banach extension and related norm-$1$ projections in dual spaces

A Note on Ideal Spaces of Banach Algebras

Univalent Enriched Categories and the Enriched Rezk Completion

Introductory notes on real-enriched categories

An Equivalence Between Two Models of -Categories of Enriched Presheaves

Finite presentation, the local lifting property, and local approximation properties of operator modules

Dualizable presentable $\infty$-categories

$Σ$-pure-injectives in homotopy categories for gentle algebras

Almost isometric ideals in Banach spaces

Matricial Banach spaces

Small Banach bundles and modules

Valuations on Banach lattices

Presentable categories internal to an $\infty$-topos

Free Banach lattices over pre-ordered Banach spaces

Envelopes in Banach spaces

On Lipschitz and D.C. surfaces of finite codimension in a Banach space

Enveloping norms of regularly P-operators in Banach lattices

Kan injectivity in order-enriched categories