--- title: Quasi-Banach Space Extensions url: https://www.emergentmind.com/topics/quasi-banach-space-extensions type: topic --- # Quasi-Banach Space Extensions 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 $x,y \in X$. By the **Aoki–Rolewicz theorem**, every quasi-norm is equivalent to a $p$-norm for some $0 < p \leq 1$, i.e., $\|x+y\|^p \leq \|x\|^p + \|y\|^p$. A **$p$-Banach space** is a complete $p$-normed space. When $p = 1$, these are Banach spaces; for $p < 1$, spaces are non-locally convex (and sometimes called "quasi-Banach spaces"). Lipschitz (or more generally, $\epsilon$-isometric) maps and operator extension concepts are generalized to this context. For $X,Y$ quasi-Banach, an **$\epsilon$-isometry** $f: X\to Y$ satisfies $(1-\epsilon)\|x\|_X \le \|f(x)\|_Y \le (1+\epsilon)\|x\|_X$ for all $x$ [1309.7649]. ## 2. Almost Universal Disposition and Injectivity Phenomena A separable $p$-Banach space $U$ is of **almost universal disposition** for finite-dimensional $p$-Banach spaces if, given $\epsilon>0$, every isometric embedding $g:X\to Y$ ($Y$ finite-dimensional, $X\subset U$) admits an $\epsilon$-isometric extension $f:Y\to U$ such that $f \circ g = \operatorname{id}_X$. This property is equivalent to **local $1^+$-injectivity**: every (bounded) operator from a finite-dimensional subspace into $U$ extends within arbitrarily small multiplicative increase in norm. **Separable 1-injectivity** generalizes further, allowing all separable domains [1309.7649]. The construction of such a space $\mathbb G_p$ 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 $p$-Banach space, and, in the nonseparable case, achieves strict 1-injectivity for all separable spaces—a property not previously known for $p<1$. Ultrapowers and projections enforce further extension and operator universality. | Property | Construction/Result | Reference | |-----------------------------|-------------------------------------------------------|----------------| | Separable $p$-space, a.u.d. | Push-out/limit, unique up to isometry | [1309.7649] | | Nonseparable, universal | Amalgamation along $\omega_1$, density $2^{\aleph_0}$ | [1309.7649] | | Separably 1-injective | Immediate for above nonseparable universal space | [1309.7649] | ## 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 $\mathcal N\subseteq\mathcal M$, the smallest constant $\mathfrak t_p (\mathcal N,\mathcal M)$ for extending Lipschitz maps into arbitrary $p$-Banach spaces scales as \[ \mathfrak t_p (\mathcal N,\mathcal M) \lesssim_p \gamma\,(d+1)^{1/p-1}\log(d+2) \] when $\mathcal N$ has Nagata dimension at most $d$ with constant $\gamma$. This is derived via the construction of Whitney-type covers and explicit Lipschitz partitions of unity adopted for the $p$-Banach context, where the quasi-triangle inequality introduces the $o^{1/p-1}$ factor for overlaps of size $o$ [2402.03189, 2603.28193]. For inclusions of $p$-metric spaces, **canonical embeddings at the level of Lipschitz-free $p$-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 [2603.28193]. ## 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 $0 < a < b \le 1$. The quasi-norm \[ \|f\|_{G(\psi)} = \sup_{p\in(a,b)} \frac{\|f\|_{L^p}}{\psi(p)} \] induces a complete quasi-normed space, but not Banach when $b \le 1$. Extensions of operators are governed by operator bounds on $L^p$ spaces, and familiar interpolation/structural transformations persist with quasi-norm control; the dual is always trivial for $b \le 1$, showing non-local convexity [2008.02297]. - **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 [2511.05096]. The interpolation identity \[ E = F(L_{p_0, q_0}, L_{p_1, q_1}) \] 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 $p$-Spaces:** The canonical maps $F_p(N)\to F_p(M)$ corresponding to $N\subset M$ are always isomorphic embeddings for $0