Quasi-Banach Space Extensions

• Quasi-Banach spaces are complete quasi-normed spaces where quasi-norms satisfy a relaxed triangle inequality, generalizing Banach spaces for 0 < p < 1.
• Almost universal disposition in separable p-Banach spaces enables ε-isometric operator extensions via push-out diagrams and direct limits, ensuring local 1-injectivity.
• Extension theories for Lipschitz and linear maps in these spaces provide explicit bounds and canonical embeddings, impacting function space and interpolation frameworks.

A quasi-Banach space extension refers to results and constructions concerning the extension of structures, operators, and metrics from subspaces or special objects to larger quasi-Banach spaces, including $p$-Banach spaces for $0 < p < 1$. These phenomena are strictly more intricate than their Banach analogs, due to the lack of local convexity, the subtleties of quasi-norms, and specific structural obstructions. Key areas include spaces of almost universal disposition, function space extensions, interpolation identities, operator extension bounds, and the canonical embeddings of Lipschitz-free quasi-Banach spaces, with central contributions addressing both separable and nonseparable settings.

1. Quasi-Banach and $p$-Banach Spaces: Definitions and Quasi-Norm Properties

A quasi-normed space $(X,\|\cdot\|)$ is a vector space equipped with a function $\|\cdot\|: X \to [0,\infty)$ satisfying:

• $\|x\| = 0 \iff x = 0$,
• $\|\lambda x\| = |\lambda|\,\|x\|$ for all scalars $\lambda$,
• $\|x+y\| \leq C(\|x\|+\|y\|)$ for some $C \geq 1$ and all $0 < p < 1$0.

By the Aoki–Rolewicz theorem, every quasi-norm is equivalent to a $0 < p < 1$1-norm for some $0 < p < 1$2, i.e., $0 < p < 1$3. A $0 < p < 1$4-Banach space is a complete $0 < p < 1$5-normed space. When $0 < p < 1$6, these are Banach spaces; for $0 < p < 1$7, spaces are non-locally convex (and sometimes called "quasi-Banach spaces").

Lipschitz (or more generally, $0 < p < 1$8-isometric) maps and operator extension concepts are generalized to this context. For $0 < p < 1$9 quasi-Banach, an $p$0-isometry $p$1 satisfies $p$2 for all $p$3 (Sánchez et al., 2013).

2. Almost Universal Disposition and Injectivity Phenomena

A separable $p$4-Banach space $p$5 is of almost universal disposition for finite-dimensional $p$6-Banach spaces if, given $p$7, every isometric embedding $p$8 ($p$9 finite-dimensional, $(X,\|\cdot\|)$0) admits an $(X,\|\cdot\|)$1-isometric extension $(X,\|\cdot\|)$2 such that $(X,\|\cdot\|)$3. This property is equivalent to local $(X,\|\cdot\|)$4-injectivity: every (bounded) operator from a finite-dimensional subspace into $(X,\|\cdot\|)$5 extends within arbitrarily small multiplicative increase in norm. Separable 1-injectivity generalizes further, allowing all separable domains (Sánchez et al., 2013).

The construction of such a space $(X,\|\cdot\|)$6 uses push-out diagrams and direct limits over countable systems of finite-dimensional embeddings. The resulting space is unique up to isometry, includes isometric copies of every separable $(X,\|\cdot\|)$7-Banach space, and, in the nonseparable case, achieves strict 1-injectivity for all separable spaces—a property not previously known for $(X,\|\cdot\|)$8. Ultrapowers and projections enforce further extension and operator universality.

Property	Construction/Result	Reference
Separable $(X,\|\cdot\|)$9-space, a.u.d.	Push-out/limit, unique up to isometry	(Sánchez et al., 2013)
Nonseparable, universal	Amalgamation along $\|\cdot\|: X \to [0,\infty)$0, density $\|\cdot\|: X \to [0,\infty)$1	(Sánchez et al., 2013)
Separably 1-injective	Immediate for above nonseparable universal space	(Sánchez et al., 2013)

3. Extending Functions and Operators: Lipschitz and Linear Extensions

The extension of Lipschitz and linear maps to quasi-Banach contexts exhibits new phenomena compared to Banach spaces. For instance, given metric spaces $\|\cdot\|: X \to [0,\infty)$2, the smallest constant $\|\cdot\|: X \to [0,\infty)$3 for extending Lipschitz maps into arbitrary $\|\cdot\|: X \to [0,\infty)$4-Banach spaces scales as

$\|\cdot\|: X \to [0,\infty)$5

when $\|\cdot\|: X \to [0,\infty)$6 has Nagata dimension at most $\|\cdot\|: X \to [0,\infty)$7 with constant $\|\cdot\|: X \to [0,\infty)$8. This is derived via the construction of Whitney-type covers and explicit Lipschitz partitions of unity adopted for the $\|\cdot\|: X \to [0,\infty)$9-Banach context, where the quasi-triangle inequality introduces the $\|x\| = 0 \iff x = 0$0 factor for overlaps of size $\|x\| = 0 \iff x = 0$1 (Bíma, 2024, Albiac et al., 30 Mar 2026).

For inclusions of $\|x\| = 0 \iff x = 0$2-metric spaces, canonical embeddings at the level of Lipschitz-free $\|x\| = 0 \iff x = 0$3-spaces are always isomorphic embeddings with explicit, uniform operator norm control. These extension theorems rely on geometric cover constructions and linearization principles; extensions respect both subspace structure and envelopes (Albiac et al., 30 Mar 2026).

4. Quasi-Banach Extensions in Function Space and Interpolation Theory

Quasi-Banach function space constructions provide prototypical examples of quasi-Banach space extensions:

• Quasi Grand Lebesgue Spaces (QGLS): Generalize classical Grand Lebesgue spaces for $\|x\| = 0 \iff x = 0$4. The quasi-norm

$\|x\| = 0 \iff x = 0$5

induces a complete quasi-normed space, but not Banach when $\|x\| = 0 \iff x = 0$6. Extensions of operators are governed by operator bounds on $\|x\| = 0 \iff x = 0$7 spaces, and familiar interpolation/structural transformations persist with quasi-norm control; the dual is always trivial for $\|x\| = 0 \iff x = 0$8, showing non-local convexity (Formica et al., 2020).

• Interpolation Structure: Every rearrangement-invariant quasi-Banach function space over a suitable measure space is an exact interpolation space between two Lorentz spaces, with the functor specified by the original space and parameterized by Boyd indices (Doktorski, 7 Nov 2025). The interpolation identity

$\|x\| = 0 \iff x = 0$9

holds with explicit parameter selection via the lower and upper Boyd indices. This encodes that every such extension inside quasi-Banach symmetry can be embedded in families of Lorentz (and, via real interpolation, Orlicz) spaces.

5. Isomorphic and Canonical Extensions: Rigidity and Envelopes

The extension/operator rigidity for quasi-Banach spaces manifests at several levels:

• Lipschitz-Free $\|\lambda x\| = |\lambda|\,\|x\|$0-Spaces: The canonical maps $\|\lambda x\| = |\lambda|\,\|x\|$1 corresponding to $\|\lambda x\| = |\lambda|\,\|x\|$2 are always isomorphic embeddings for $\|\lambda x\| = |\lambda|\,\|x\|$3. There is also injectivity of the envelope homomorphisms $\|\lambda x\| = |\lambda|\,\|x\|$4 for $\|\lambda x\| = |\lambda|\,\|x\|$5, recovering hereditary and envelope stability as for $\|\lambda x\| = |\lambda|\,\|x\|$6 (Albiac et al., 30 Mar 2026).
• Universal Projections and Ultrapowers: Spaces of (almost) universal disposition admit nonexpansive projections whose image and kernel are isometric to the whole space, and ultrapowers preserve universality and isotropy for separable $\|\lambda x\| = |\lambda|\,\|x\|$7-spaces (Sánchez et al., 2013).

These findings supply categorical and functorial stability results for quasi-Banach spaces, paralleling classical Banach theory but requiring deeper technical machinery.

6. Structural Consequences and Open Problems

Current quasi-Banach extension theory leaves several open questions:

• The isomorphic type of quotients and complemented subspaces for the universal disposition spaces $\|\lambda x\| = |\lambda|\,\|x\|$8 remains unresolved for $\|\lambda x\| = |\lambda|\,\|x\|$9 (known for $\lambda$0 from the Kalton–Roberts K-space theorem).
• Mazur’s rotations problem: while $\lambda$1 is almost isotropic for $\lambda$2, full isotropy status is unknown.
• The precise dependence of Lipschitz extension constants $\lambda$3 and absolute extendabilities $\lambda$4 on geometric and combinatorial parameters (e.g., domain size, doubling, Nagata dimension) remains only partially sharp.
• Potential set-theoretic dependencies (e.g., independence from ZFC for uniqueness in the nonseparable case) suggest further connections with set theory and logic.

These ongoing questions emphasize the foundational complexity introduced by the lack of local convexity and convex functional analysis tools in the quasi-Banach regime, as well as the peculiarity of extension properties for $\lambda$5-Banach spaces and their functional-analytic invariants (Sánchez et al., 2013, Bíma, 2024, Albiac et al., 30 Mar 2026).