Related papers: The separable Jung constant in Banach spaces
We answer a question of Aharoni by showing that every separable metric space can be Lipschitz 2-embedded into $c_0$ and this result is sharp; this improves earlier estimates of Aharoni, Assouad and Pelant. We use our methods to examine the…
In a companion paper (Studia Math., 2023), we proved for every $\lambda\in(1,2]$ the existence of a $(\lambda^+)$-injective renorming of $\ell_\infty$ that is not $\lambda$-injective, thereby establishing a~forgotten theorem of…
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…
The main aim of this work is to study important local Banach space constants for Boolean cube function spaces. Specifically, we focus on $\mathcal{B}_{\mathcal{S}}^N$, the finite-dimensional Banach space of all real-valued functions defined…
The existence of a Banach limit as a translation invariant positive continuous linear functional on the space of bounded scalar sequences which is equal to 1 at the constant sequence (1,1,...,1,...) is proved in a first course on functional…
Mazur's separable quotient problem, open since 1932, asks whether every infinite-dimensional Banach space admits an infinite-dimensional separable quotient. We prove that any $\mathscr{L}_\infty$-space $Y$ containing a subspace $X$ such…
For any non-trivial convex and bounded subset $C$ of a Banach space, we show that outside of a $\sigma$-porous subset of the space of non-expansive mappings $C\to C$, all mappings have the maximal Lipschitz constant one witnessed locally at…
We show that for real Banach spaces that are either separable or dual spaces, the Lipschitz numerical index coincides with the classical (linear) numerical index. This result provides partial evidence toward the question posed by Wang,…
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…
The category $Ban$ of Banach spaces and linear maps of norm $\leq 1$ is locally $\aleph_1$-presentable but not locally finitely presentable. We prove, however, that $Ban$ is locally finitely presentable in the enriched sense over complete…
We study the stationary Stokes system with variable coefficients in the whole space, a half space, and on bounded Lipschitz domains. In the whole and half spaces, we obtain a priori $\dot W^1_q$-estimates for any $q\in [2,\infty)$ when the…
Assuming the generalized continuum hypothesis we construct arbitrarily big indecomposable Banach spaces. i.e., such that whenever they are decomposed as $X\oplus Y$, then one of the closed subspaces $X$ or $Y$ must be finite dimensional. It…
We study the complexity of Banach space valued integration in the randomized setting. We are concerned with $r$-times continuously differentiable functions on the $d$-dimensional unit cube $Q$, with values in a Banach space $X$, and…
A Banach space is said to have the Lebesgue property if every Riemann-integrable function $f:[0,1]\to X$ is Lebesgue almost everywhere continuous. We give a characterization of the Lebesgue property in terms of a new sequential asymptotic…
We show that for every separable Banach space $X$, either $\spw(X)$ (the set of all spreading models of $X$ generated by weakly-null sequences in $X$, modulo equivalence) is countable, or $\spw(X)$ contains an antichain of the size of the…
We study Banach spaces $C(K)$ of real-valued continuous functions from the finite product of compact lines. It turns out that the topological character of these compact lines can be used to distinguish whether two spaces of continuous…
We provide sufficient conditions for the existence of a strong derivable map and calculate its derivative by employing a result in our previous work on strong derivability of maps arising by functional calculus of an unbounded scalar type…
Our basic element is a $C^1$ mapping $f:X\to Y$, with $X,Y$ Banach spaces, and with derivative everywhere invertible. So $f$ is a local diffeomorphism at every point. The aim of this paper is to find a sufficient condition for $f$ to be…
Let $A$ and $B$ be complex unital Banach algebras, and let $\varphi, \psi: A \to B$ be surjective mappings. If $A$ is semisimple with an essential socle and $\varphi$ and $\psi$ preserves the invertibility of linear pencils in both…
Using the technique of Fra\"iss\'e theory, for every constant $K\ge 1$ we consruct a universal object in the class of Banach spaces with normalized $K$-suppression unconditional Schauder bases.