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 of Bisection Lines of Polygons

Applications of Envelopes

Envelopes created by pseudo-circle families in the Minkowski plane

The envelope of lines meeting a fixed line that are tangent to two spheres

Envelope of intermediate lines of a plane curve

Bijections between colored compositions, Dyck paths, and polygon partitions

Envelopes of straight line families in the plane

Boundary Evaluation for Interval Bézier Curve

Envelopes in Banach spaces

Algebraic intersections on Bouw-Möller surfaces, and more general convex polygons

Geometries on Polygons in the unit disc

Bisector fields and projective duality

Envelopes created by circle families in the plane

Intersection norms on surfaces and Birkhoff cross sections

On envelopes of circle families in the plane

Characterizing closed curves on Riemann surfaces via homology groups of coverings

Envelopes of Horospheres and Weingarten Surfaces in Hyperbolic 3-Space

Veering branched surfaces, surgeries, and geodesic flows

Boundary metric of Epstein-Penner convex hull and discrete conformality

Noncommutative Geometry of Random Surfaces

Bisector fields and pencils of conics