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 .

Under the Continuum Hypothesis all nonreflexive Banach space ultrapowers are primary

On Subspaces of Indecomposable Banach Spaces

On generic topological embeddings

An Embedding Theorem for Pseudoconvex Domains in Banach Spaces

The Ultrapower Axiom implies GCH above a supercompact cardinal

Envelopes in Banach spaces

The cofinal property of the Reflexive Indecomposable Banach spaces

Weak compactness in Lipschitz-free spaces over superreflexive spaces

On Wilder, Strongly Wilder, Continuumwise Wilder, D, , and Continua

A converse of the Banach contraction principle for partial metric spaces and the continuum hypothesis

An ultraproduct approach to limit space theory

Superreflexive tensor product spaces

Convergent sequences in iterated ultrapowers as p -compact groups

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

On strongly primary monoids, with a focus on Puiseux monoids

On J. Borwein's concept of sequentially reflexive Banach spaces

Continuous model theories for von Neumann algebras

Vortex flow generated by a magnetic stirrer

The inverse problem for primitive ideal spaces

Productively Lindelof spaces may all be D

Dvoretzky-type theorem for locally finite subsets of a Hilbert space