A bounded subset $M$ of a Banach space $X$ is said to be $\varepsilon$-weakly precompact, for a given $\varepsilon\geq 0$, if every sequence $(x_n)_{n\in \mathbb{N}}$ in $M$ admits a subsequence $(x_{n_k})_{k\in \mathbb{N}}$ such that $$ \limsup_{k\to \infty}x^*(x_{n_k})-\liminf_{k\to\infty}x^*(x_{n_k}) \leq \varepsilon $$ for all $x^*\in B_{X^*}$. In this paper we discuss several aspects of $\varepsilon$-weakly precompact sets. On the one hand, we give quantitative versions of the following known results: (a) the absolutely convex hull of a weakly precompact set is weakly precompact (Stegall), and (b) for any probability measure $μ$, the set of all Bochner $μ$-integrable functions taking values in a weakly precompact subset of $X$ is weakly precompact in $L_1(μ,X)$ (Bourgain, Maurey, Pisier). On the other hand, we introduce a relative of a Banach space property considered by Kampoukos and Mercourakis when studying subspaces of strongly weakly compactly generated spaces. We say that a Banach space $X$ has property $\mathfrak{KM}_w$ if there is a family $\{M_{n,p}:n,p\in \mathbb{N}\}$ of subsets of $X$ such that: (i) $M_{n,p}$ is $\frac{1}{p}$-weakly precompact for all $n,p\in \mathbb{N}$, and (ii) for each weakly precompact set $C \subseteq X$ and for each $p\in \mathbb{N}$ there is $n\in \mathbb{N}$ such that $C \subseteq M_{n,p}$. All subspaces of strongly weakly precompactly generated spaces have property $\mathfrak{KM}_w$. Among other things, we study the three-space problem and the stability under unconditional sums of property $\mathfrak{KM}_w$.
We show that the solid hull of every weakly precompact set of a Banach lattice $E$ is weakly precompact if and only if every order interval in $E$ is weakly precompact, or equivalently, if and only if every disjoint weakly compact set is weakly precompact. Some results on the domination property for weakly precompact positive operators are obtained. Among other things, we show that, for a pair of Banach lattices $E$ and $F$ with $E$ $σ$-Dedekind complete, every positive operator from $E$ to $F$ dominated by a weakly precompact operator is weakly precompact if and only if either the norm of $E^…
There are two main aims of the paper. The first one is to extend the criterion for the precompactness of sets in Banach function spaces to the setting of quasi-Banach function spaces. The second one is to extend the criterion for the precompactness of sets in the Lebesgue spaces $L_p(\mathbb R^n)$, $1 \leq p < \infty$, to the so-called power quasi-Banach function spaces. These criteria are applied to establish compact embeddings of abstract Besov spaces into quasi-Banach function spaces. The results are illustrated on embeddings of Besov spaces $B^s_{p,q}(\mathbb R^n)$, $0<s<1$, $0<p,q\leq \in…
For $0\leqslant ξ\leqslant ω_1$, we define the notion of $ξ$-weakly precompact and $ξ$-weakly compact sets in Banach spaces and prove that a set is $ξ$-weakly precompact if and only if its weak closure is $ξ$-weakly compact. We prove a quantified version of Grothendieck's compactness principle and the characterization of Schur spaces obtained by Dowling et al. For $0\leqslant ξ\leqslant ω_1$, we prove that a Banach space $X$ has the $ξ$-Schur property if and only if every $ξ$-weakly compact set is contained in the closed, convex hull of a weakly null (equivalently, norm null) sequence.
Let $A$ be a Banach algebra. For $f\in A^{\ast}$, we inspect the weak sequential properties of the well-known map $T_f:A\to A^{\ast}$, $T_f(a) = fa$, where $fa\in A^{\ast}$ is defined by $fa(x) = f(ax)$ for all $x\in A$. We provide equivalent conditions for when $T_f$ is completely continuous for every $f\in A^{\ast}$, and for when $T_f$ maps weakly precompact sets onto L-sets for every $f\in A^{\ast}$. Our results have applications to the algebra of compact operators $K(X)$ on a Banach space $X$.
The present paper contributes to the ongoing programme of quantification of isomorphic Banach space theory focusing on Pełczyński's classical work on dual Banach spaces containing $L_{1}$ ($=L_{1}[0,1]$) and the Hagler--Stegall characterisation of dual spaces containing complemented copies of $L_{1}$. We prove the following quantitative version of the Hagler--Stegall theorem asserting that for a Banach space $X$ the following statements are equivalent: $\bullet$ $X$ contains almost isometric copies of $(\bigoplus_{n=1}^{\infty} \ell_{\infty}^{n})_{\ell_1}$, $\bullet$ for all $\varepsilon>0$, $…
Let $X$ be a Banach space with separable dual. It is proved that for every $\varepsilon\in (0,1)$, $X$ embeds isometrically into a Banach space $W$ with a shrinking basis $(w_n)$ which is $(1+ \varepsilon)$-monotone. Moreover, if $X$ has further an FDD $(E_n)$ whose strong bimonotonicity projection constant is not larger than $\mathcal{D}$, then $(w_n)$ has strong bimonotonicity projection constant not exceeding $\mathcal{D}(1 +\varepsilon)$. Further, if $(E_n)$ is $\mathcal{C}$-unconditional then $(w_n)$ is $\mathcal{C}(1 + \varepsilon)$-unconditional. The proof uses renorming and skipped blo…
It is proved that a commutative algebra $A$ of operators in a reflexive real Banach space has an invariant subspace if each operator $T\in A$ satisfies the condition $$\|1- \varepsilon T^2\|_e \le 1 + o(\varepsilon) \text{ when } \varepsilon\searrow 0,$$ where $\|\cdot\|_e$ is the essential norm. This implies the existence of an invariant subspace for every commutative family of essentially selfadjoint operators in a real Hilbert space.
It is proved that a commutative algebra $A$ of operators on a reflexive real Banach space has an invariant subspace if each operator $T\in A$ satisfies the condition $$\|1- \varepsilon T^2\|_e \le 1 + o(\varepsilon) \text{ when } \varepsilon\searrow 0,$$ where $\|\cdot\|_e$ is the essential norm. This implies the existence of an invariant subspace for every commutative family of essentially selfadjoint operators on a real Hilbert space.
Answering one problem that has its origins in quantum mechanics, we prove that for any sequence $(A_n)_{n\in\mathbb N}$ of convex nowhere dense sets in a Banach space $X$ and any sequence $(\varepsilon_n)_{n=1}^\infty$ of positive real numbers with $\lim_{n\to\infty}\varepsilon_n=0$, the set $A=\{x\in X:\forall n\in\mathbb N\;\exists a\in A_n\;\;\|x-a\|< \varepsilon_n\}$ is nowhere dense in $X$.
We continue the investigation of the behaviour of octahedral norms in tensor products of Banach spaces. Firstly, we will prove the existence of a Banach space $Y$ such that the injective tensor products $l_1\widehat{\otimes}_\varepsilon Y$ and $L_1\widehat{\otimes}_\varepsilon Y$ both fail to have an octahedral norm, which solves two open problems from the literature. Secondly, we will show that in the presence of the metric approximation property octahedrality is preserved from a non-reflexive $L$-embedded Banach space taking projective tensor products with an arbitrary Banach space.
Let $X$ be Banach space which is not super-reflexive. Then, for each $n\ge1$ and $\varepsilon>0$, we exhibit metric embeddings of the Laakso graph $\mathcal{L}_n$ into $X$ with distortion less than $2+\varepsilon$ and into $L_1[0,1]$ with distortion $4/3$. The distortion of an embedding of $\mathcal{L}_2$ (respectively, the diamond graph $D_2$) into $L_1[0,1]$ is at least $9/8$ (respectively, $5/4$).
We prove the symmetric version of Kottman's theorem, that is to say, we demonstrate that the unit sphere of an infinite-dimensional Banach space contains an infinite subset $A$ with the property that $\|x\pm y\| > 1$ for distinct elements $x,y\in A$, thereby answering a question of J. M. F. Castillo. In the case where $X$ contains an infinite-dimensional separable dual space or an unconditional basic sequence, the set $A$ may be chosen in a way that $\|x\pm y\| \geqslant 1+\varepsilon$ for some $\varepsilon > 0$ and distinct $x,y\in A$. Under additional structural properties of $X$, such as no…
We study the interplay between Banach space theory and theory of analytic P-ideals. Applying the observation that, up to isomorphism, all Banach spaces with unconditional bases can be constructed in a way very similar to the construction of analytic P-ideals from submeasures, we point out numerous symmetries between the two theories. Also, we investigate a special case, the interactions between combinatorics of families of finite sets, topological properties of the "Schreier type" Banach spaces associated to these families, and the complexity of ideals generated by the canonical bases in these…
We consider uncountable almost disjoint families of subsets of $\mathbb N$, the Johnson-Lindenstrauss Banach spaces $(\mathcal X_{\mathcal A}, \|\ \|_\infty)$ induced by them, and their natural equivalent renormings $(\mathcal X_{\mathcal A}, \|\ \|_{\infty, 2})$. We introduce a partial order $\mathbb P_{\mathcal A}$ and characterize some geometric properties of the spheres of $(\mathcal X_{\mathcal A}, \|\ \|_{\infty})$ and of $(\mathcal X_{\mathcal A}, \|\ \|_{\infty, 2})$ in terms of combinatorial properties of $\mathbb P_{\mathcal A}$. Exploiting the extreme behavior of some known and some…
We prove some results on weakly almost square Banach spaces and their relatives. On the one hand, we discuss weak almost squareness in the setting of Banach function spaces. More precisely, let $(Ω,Σ)$ be a measurable space, let $E$ be a Banach lattice and let $ν:Σ\to E^+$ be a non-atomic countably additive measure having relatively norm compact range. Then the space $L_1(ν)$ is weakly almost square. This result applies to some abstract Cesàro function spaces. Similar arguments show that the Lebesgue-Bochner space $L_1(μ,Y)$ is weakly almost square for any Banach space~$Y$ and for any non-atom…
In 1947, M. S. Macphail constructed a series in $\ell_{1}$ that converges unconditionally but does not converge absolutely. According to the literature, this result helped Dvoretzky and Rogers to finally answer a long standing problem of Banach Space Theory, by showing that in all infinite-dimensional Banach spaces, there exists an unconditionally summable sequence that fails to be absolutely summable. More precisely, the Dvoretzky--Rogers Theorem asserts that in every infinite-dimensional Banach space $E$ there exists an unconditionally convergent series ${\textstyle\sum}x^{(j)}$ such that ${…
We characterize non-reflexive Banach spaces by a low-distortion (resp. isometric) embeddability of a certain metric graph up to a renorming. Also we study non-linear sufficient conditions for $\ell_1^n$ being $(1+\varepsilon)$-isomorphic to a subspace of a Banach space $X$.
Let $U_{FNA}$ be the class of all non-archimedean finite-dimensional Banach spaces. A non-archimedean Gurarii Banach space $G$ over a non-archimedean valued field $K$ is constructed, i.e. a non-archimedean Banach space $G$ of countable type which is of almost universal disposition for the class $U_{FNA}$. This means: for every isometry $g : X \to Y$ , where $Y \in U_{FNA}$ and $X$ is a subspace of $G$, and every $\varepsilon \in (0,1)$ there exists an $\varepsilon$-isometry $f : Y \to G$ such that $f(g(x)) = x$ for all $x \in X$. We show that all non-archimedean Banach spaces of almost univers…
Let $E$ be an infinite-dimensional separable Hilbert space. We show that for every $C^1$ function $f:E\to\mathbb{R}^d$, every open set $U$ with $C_f:=\{x\in E:\,Df(x)\; \text{is not surjective}\}\subset U$ and every continuous function $\varepsilon:E\to (0,\infty)$ there exists a $C^1$ mapping $φ:E\to\mathbb{R}^d$ such that $||f(x)-φ(x)||\leq \varepsilon(x)$ for every $x\in E$, $f=φ$ outside $U$ and $φ$ has no critical points ($C_φ=\emptyset$). This result can be generalized to the case where $E=c_0$ or $E=l_p$, $1<p<\infty$. In the case $E=c_0$ it is also possible to get that $||Df(x)-Dφ(x)||…
A result of G. Godefroy asserts that a Banach space $X$ contains an isomorphic copy of $\ell_1$ if and only if there is an equivalent norm $|||\cdot|||$ such that, for every finite-dimensional subspace $Y$ of $X$ and every $\varepsilon>0$, there exists $x\in S_X$ so that $|||y+r x|||\geq (1-\varepsilon)(|||y|||+\vert r\vert)$ for every $y\in Y$ and every $r\in\mathbb R$. In this paper we generalize this result to larger cardinals, showing that if $κ$ is an uncountable cardinal then a Banach space $X$ contains a copy of $\ell_1(κ)$ if and only if there is an equivalent norm $|||\cdot|||$ on $X$…
We construct a Banach space $\mathcal X_\varepsilon$ with an uncountable $\varepsilon$-biorthogonal system but no uncountable $τ$-biorthogonal system for $τ<\varepsilon$. In particular the space have no uncountable biorthogonal system. We also construct a Banach space $\mathcal X_K$ with an uncountable $K$-basic sequence but no uncountable $K'$-basic sequence, for $1\leq K'<K$. A common feature of these examples is that they are both constructed by recursive amalgamations using a single construction scheme.
Motivated from two decades old famous Feichtinger conjectures for frames, $R_\varepsilon$-conjecture and Weaver's conjecture for Hilbert spaces (and their solution by Marcus, Spielman, and Srivastava), we formulate Feichtinger conjectures for p-approximate Schauder frames, $R_\varepsilon$-conjecture, Weaver's conjectures and Akemann-Weaver conjectures for Banach spaces. We also formulate conjectures on p-approximate Schauder frames based on the results of Casazza for frames for Hilbert spaces. We state conjectures and problems for p-approximate Schauder frames based on fundamental inequality f…
We provide a criterion for $\varepsilon$-hypercyclicity. Also, we extend the ideas of Badea, Grivaux, Müller and Bayart to construct $\varepsilon$-hypercyclic operators which are not hypercyclic in a wider class of separable Banach spaces, including several classical Banach spaces. For instance, our result can be applied to separable infinite dimensional $L^p$ spaces and $C(K)$ spaces.
We prove a general principle satisfied by weakly precompact sets of Lipschitz-free spaces. By this principle, certain infinite dimensional phenomena in Lipschitz-free spaces over general metric spaces may be reduced to the same phenomena in free spaces over their compact subsets. As easy consequences we derive several new and some known results. The main new results are: $\mathcal F(X)$ is weakly sequentially complete for every superreflexive Banach space $X$, and $\mathcal F(M)$ has the Schur property and the approximation property for every scattered complete metric space $M$.
For a constant $K\geq 1$ let $\mathfrak{B}_K$ be the class of pairs $(X,(\mathbf e_n)_{n\inω})$ consisting of a Banach space $X$ and an unconditional Schauder basis $(\mathbf e_n)_{n\inω}$ for $X$, having the unconditional basic constant $K_u\leq K$. Such pairs are called $K$-based Banach spaces. A based Banach space $X$ is rational if the unit ball of any finite-dimensional subspace spanned by finitely many basic vectors is a polyhedron whose vertices have rational coordinates in the Schauder basis of $X$. Using the technique of Fraïssé theory, we construct a rational $K$-based Banach space $…
We study the stability of band preserving operators on Banach lattices. To this end the notion of $\varepsilon$-band preserving mapping is introduced. It is shown that, under quite general assumptions, a $\varepsilon$-band preserving operator is in fact a small perturbation of a band preserving one. However, a counterexample can be produced in some circumstances. Some results on automatic continuity of $\varepsilon$-band preserving maps are also obtained.
We study Hilbert generated versions of nonseparable Banach spaces $\mathcal X$ considered by Shelah, Steprāns and Wark where the behavior of the norm on nonseparable subsets is so irregular that it does not allow any linear bounded operator on $\mathcal X$ other than a diagonal operator (or a scalar multiple of the identity) plus a separable range operator. We address the questions if these spaces admit uncountable equilateral sets and if their unit spheres admit uncountable $(1+)$-separated or $(1+\varepsilon)$-separated sets. We resolve some of the above questions for two types of these spac…
We investigate the following property for Banach spaces. A Banach space $X$ satisfies the Uniform Approximation on Large Subspaces (UALS) if there exists $C>0$ with the following property: for any $A\in\mathcal{L}(X)$ and convex compact subset $W$ of $\mathcal{L}(X)$ for which there exists $\varepsilon>0$ such that for every $x\in X$ there exists $B\in W$ with $\|A(x)-B(x)\|\le\varepsilon\|x\|$, there exists a subspace $Y$ of $X$ of finite codimension and a $B\in W$ with $\|(A-B)|_Y\|_{\mathcal{L}(Y,X)}\leq C\varepsilon$. We prove that a class of separable Banach spaces including $\ell_p$, for…
In the main result of the paper we extend Rosenthal's characterization of Banach spaces with the Schur property by showing that for a quasi-complete locally convex space $E$ whose separable bounded sets are metrizable the following conditions are equivalent: (1) $E$ has the Schur property, (2) $E$ and $E_w$ have the same sequentially compact sets, where $E_w$ is the space $E$ with the weak topology, (3) $E$ and $E_w$ have the same compact sets, (4) $E$ and $E_w$ have the same countably compact sets, (5) $E$ and $E_w$ have the same pseudocompact sets, (6) $E$ and $E_w$ have the same functionall…
Generalized geometric constants related to Birkhoff orthogonality in Banach spaces
School of Mathematics and Statistics, Anqing Normal University（安庆师范大学数学与统计学院）；Department of Mathematics, Sun Yat-sen University（中山大学数学系）；College of Computer and Information Sciences, Fujian Agriculture and Forestry University（福建农林大学计算机与信息科学学院）
The Gurari\uı space is the unique separable Banach space $\mathbb{G}$ which is of almost universal disposition for finite-dimensional Banach spaces, which means that for every $\varepsilon>0$, for all finite-dimensional normed spaces $E \subseteq F$, for every isometric embedding ${e}\colon{E}\to{\mathbb{G}}$ there exists an $\varepsilon$-isometric embedding ${f}\colon{F}\to{\mathbb{G}}$ such that $f \restriction E = e$. We show that $\mathbb{G}^{\mathbb{N}}$ with a special sequence of semi-norms is of almost universal disposition for finite-dimensional graded Fréchet spaces. The construction …
We remark that if $X$ is an infinite dimensional Banach space then every seminormalized weakly null sequence in $X$ has an asymptotic monotone basic subsequence. We also observe that if $X$ contains an isomorphic copy of $\ell_1$, then for every $\varepsilon>0$ there exist a $(1 +\varepsilon)$-equivalent norm $\vertiii{\cdot}$ on $X$ such that the unit sphere $(S_{(X, \vertiii{\cdot})})$ contains a normalized bimonotone basic sequences which is symmetrically $2$-separated.
Let $E$, $F$ be separable Hilbert spaces, and assume that $E$ is infinite-dimensional. We show that for every continuous mapping $f:E\to F$ and every continuous function $\varepsilon: E\to (0, \infty)$ there exists a $C^{\infty}$ mapping $g:E\to F$ such that $\|f(x)-g(x)\|\leq\varepsilon(x)$ and $Dg(x):E\to F$ is a surjective linear operator for every $x\in E$. We also provide a version of this result where $E$ can be replaced with a Banach space from a large class (including all the classical spaces with smooth norms, such as $c_0$, $\ell_p$ or $L^{p}$, $1<p<\infty$), and $F$ can be taken to …
