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 .

Envelopes in the class of Banach algebras of polynomial growth and $C^\infty$-functions of a finite number of free variables

Finitely $C^\infty$-generated associative and Hopf algebras

Envelopes in Banach spaces

On the C*-envelope of approximately finite-dimensional operator algebras

Envelopes for Algebraic Patterns

Topologies related to (I)-envelopes

On Associative Conformal Algebras of Linear Growth

Realizing enveloping algebras via moduli stacks

Tensor algebras of C-correspondences and their C-envelopes

The Jordan lattice completion and a note on injective envelopes and von Neumann algebras

Enveloping algebras of derivations of commutative and noncommutative algebras

On monomial algebras with representation-finite enveloping algebras

Enveloping norms of regularly P-operators in Banach lattices

Projective freeness and Hermiteness of complex function algebras

Differential embeddings into algebras of topological stable rank 1

Non-linear classification of finite-dimensional simple $C^*$-algebras

On Existence and Uniqueness of Universal Enveloping Locally C*-Algebra for a Locally JB-Algebra

An open subset of the variety of $n$- dimensional algebras, classification and automorphisms

Enveloping operads and applications

Non-Archimedean Fréchet Algebras and the Loop Space of a Hypersurface Complement

Q A ] 2 N ov 2 01 5 Realizing Enveloping Algebras via Moduli Stacks