We study star-finite coverings of infinite-dimensional normed spaces. A family of sets is called star-finite if each of its members intersects only finitely many other members of the family. It follows by our results that an LUR or a uniformly Fréchet smooth infinite-dimensional Banach space does not admit star-finite coverings by closed balls. On the other hand, we present a quite involved construction proving existence of a star-finite covering of $c_0(Γ)$ by Fréchet smooth centrally symmetric bounded convex bodies. A similar but simpler construction shows that every normed space of countable dimension (and hence incomplete) has a star-finite covering by closed balls.
We study the behaviour of Whitley's thickness constant of a Banach space with respect to $\ell_p$-products and we compute it for classical $L_p$-spaces.
In 1989, G. Godefroy proved that a Banach space contains an isomorphic copy of $\ell_1$ if and only if it can be equivalently renormed to be octahedral. It is known that octahedral norms can be characterized by means of covering the unit sphere by a finite number of balls. This observation allows us to connect the theory of octahedral norms with ball-covering properties of Banach spaces introduced by L. Cheng in 2006. Following this idea, we extend G. Godefroy's result to higher cardinalities. We prove that, for an infinite cardinal $κ$, a Banach space $X$ contains an isomorphic copy of $\ell_…
We discuss the geometry of Banach spaces whose norm is octahedral or, more generally, locally or weakly octahedral. Our main results characterize these spaces in terms of covering of the unit ball.
Given a Banach space we consider the $σ$-ideal of all of its subsets which are covered by countably many hyperplanes and investigate its standard cardinal characteristics as the additivity, the covering number, the uniformity, the cofinality. We determine their values for separable Banach spaces, and approximate them for nonseparable Banach spaces. The remaining questions reduce to deciding if the following can be proved in ZFC for every nonseparable Banach space $X$: (1) $X$ can be covered by $ω_1$-many of its hyperplanes; (2) All subsets of $X$ of cardinalities less than ${\rm cf}([{\rm dens…
We answer in the affirmative the following question raised by H. H. Corson in 1961: "Is it possible to cover every Banach space X by bounded convex sets with nonempty interior in such a way that no point of X belongs to infinitely many of them?" Actually we show the way to produce in every Banach space X a bounded convex tiling of order 2, i.e. a covering of X by bounded convex closed sets with nonempty interior (tiles) such that the interiors are pairwise disjoint and no point of X belongs to more than two tiles.
We provide an elementary proof of a result by V.P.~Fonf and C.~Zanco on point-finite coverings of separable Hilbert spaces. Indeed, by using a variation of the famous argument introduced by J.~Lindenstrauss and R.R.~Phelps \cite{LP} to prove that the unit ball of a reflexive infinite-dimensional Banach space has uncountably many extreme points, we prove the following result: Let $X$ be an infinite-dimensional Hilbert space satisfying $\mathrm{dens}(X)<2^{\aleph_0}$, then $X$ does not admit point-finite coverings by open or closed balls, each of positive radius. In the second part of the paper,…
In this note, we provide a starlike and normal tiling in any separable Banach space. That means, there are positive constants r and R (not depending on the separable Banach space) such that every tile of this tiling is starlike, contains a ball of radius r and is contained in a ball of radius R.
We show some new results about tilings in Banach spaces. A tiling of a Banach space $X$ is a covering by closed sets with non-empty interior so that they have pairwise disjoint interiors. If moreover the tiles have inner radii uniformly bounded from below, and outer radii uniformly bounded from above, we say that the tiling is normal. In 2010 Preiss constructed a convex normal tiling of the separable Hilbert space. For Banach spaces with Schauder basis we will show that Preiss' result is still true with starshaped tiles instead of convex ones. Also, whenever $X$ is uniformly convex we give pre…
In this paper we introduce the quadratic weighted geometric mean for invertible elements x, y in a Hermitian unital Banach star-algebra and provide some inequalities for this mean under various assumptions for the elements involved.
Let $A$ be a unital Banach $\star$-algebra with unity $1$, $X$ be a Banach space and $ϕ: A \times A \to X$ be a continuous bilinear map. We characterize the structure of $ϕ$ where it satisfies any of the following properties: $$a,b \in A, \,\,\, a b^\star = z \, \,(a^\star b=z)\Rightarrow ϕ( a , b^\star ) = ϕ( z, 1 ) \, \, (ϕ( a^\star , b) = ϕ( z, 1 ));$$ $$a,b \in A, \,\,\, a b^\star = z \, \, (a^\star b=z)\Rightarrow ϕ( a , b^\star ) = ϕ( 1, z ) \, \, (ϕ( a^\star , b) = ϕ( 1, z )),$$ where $z\in A$ is fixed.
We prove that, given any covering of any separable infinite-dimensional uniformly rotund and uniformly smooth Banach space $X$ by closed balls each of positive radius, some point exists in $X$ which belongs to infinitely many balls.
A Banach space is said to have the ball-covering property (abbreviated BCP) if its unit sphere can be covered by countably many closed, or equivalently, open balls off the origin. Let $K$ be a locally compact Hausdorff space and $X$ be a Banach space. In this paper, we give a topological characterization of BCP, that is, the continuous function space $C_0(K)$ has the (uniform) BCP if and only if $K$ has a countable $π$-basis. Moreover, we give the stability theorem: the vector-valued continuous function space $C_0(K,X)$ has the (strong or uniform) BCP if and only if $K$ has a countable $π$-bas…
We study the numerical index of absolute sums of Banach spaces, giving general conditions which imply that the numerical index of the sum is less or equal than the infimum of the numerical indices of the summands and we provide some examples where the equality holds covering the already known case of $c_0$-, $\ell_1$- and $\ell_\infty$-sums and giving as a new result the case of $E$-sums where $E$ has the RNP and $n(E)=1$ (in particular for finite-dimensional $E$ with $n(E)=1$). We also show that the numerical index of a Banach space $Z$ which contains a dense increasing union of one-complemen…
Let $H$ be a Hilbert space. Using Ball's solution of the "complex plank problem" we prove that the following properties of a sequence $a_n>0$ are equivalent: (1) There is a sequence $x_n \in H$ with $\|x_n\|=a_n$, having 0 as a weak cluster point; (2) $\sum_1^\infty a_n^{-2}=\infty$. Using this result we show that a natural idea of generalization of Ball's "complex plank" result to cylinders with $k$-dimensional base fails already for $k=3$. We discuss also generalizations of "weak cluster points" result to other Banach spaces and relations with cotype.
A projectional skeleton in a Banach space is a sigma-directed family of projections onto separable subspaces, covering the entire space. The class of Banach spaces with projectional skeletons is strictly larger than the class of Plichko spaces (i.e. Banach spaces with a countably norming Markushevich basis). We show that every space with a projectional skeleton has a projectional resolution of the identity and has a norming space with similar properties to Sigma-spaces. We characterize the existence of a projectional skeleton in terms of elementary substructures, providing simple proofs of kno…
We continue with the study of greedy-type bases in quasi-Banach spaces started in [3]. In this paper, we study partially-greedy bases focusing our attention in two main results: -Characterization of partially-greedy bases in quasi-Banach spaces in terms of quasi-greediness and different conservative-like properties. -Given a $C$-partially-greedy basis in a quasi-Banach space, there exists a "renorming" such that the basis is $1$-partially-greedy.
We extend the (attaining of) strong diameter two property to infinite cardinals. In particular, a Banach space has the 1-norming attaining strong diameter two property with respect to $ω$ (1-ASD2P$_ω$ for short) if every convex series of slices of the unit ball intersects the unit sphere. We characterize $C(K)$ spaces and $L_1(μ)$ spaces having the 1-ASD2P$_ω$. We establish dual implications between the 1-ASD2P$_ω$, $ω$-octahedral norms and Banach spaces failing the $(-1)$-ball-covering property. The stability of these new properties under direct sums and tensor products is also investigated.
The aim of this note is to study octahedrality in vector valued Lipschitz-free Banach spaces on a metric space under topological hypotheses on it. As a consequence, we get that the space of Lipschitz functions on a metric space valued in a dual Banach space satisfies the weak-star strong diameter two property, under natural topological hipothesess on the metric space. Also, we show an example proving that these hypotheses are optimal.
Following a result of Hatori, Miura and Tagaki ([4]) we give here a spectral characterization of an isomorphism from a $C^\star$-algebra onto a Banach algebra. We then use this result to show that a $C^\star$-algebra $A$ is isomorphic to a Banach algebra $B$ if and only if there exists a surjective function $ϕ:A\rightarrow B$ satisfying (i) $σ\left(ϕ(x)ϕ(y)ϕ(z)\right)=σ\left(xyz\right)$ for all $x,y,z\in A$ (where $σ$ denotes the spectrum), and (ii) $ϕ$ is continuous at $\mathbf 1$. A simple example shows that (i) cannot be relaxed to products of two elements, as is the case with commutative B…
A Daugavet-point (resp.~$Δ$-point) of a Banach space is a norm one element $x$ for which every point in the unit ball (resp.~element $x$ itself) is in the closed convex hull of unit ball elements that are almost at distance 2 from $x$. A Banach space has the well-known Daugavet property (resp.~diametral local diameter 2 property) if and only if every norm one element is a Daugavet-point (resp.~$Δ$-point). This paper complements the article "Delta- and Daugavet-points in Banach spaces" by T. A. Abrahamsen, R. Haller, V. Lima, and K. Pirk, where the study of the existence of Daugavet- and $Δ$-po…
Let $A$ be a real commutative Banach algebra with unity. Let $a_0\in A\setminus\{0\}$. Let $\mathbb Z a_0:=\{na_0\}_{n\in \mathbb Z}$. Then, $\mathbb Z a_0$ is a discrete subgroup of $A$. For any $n\in \mathbb Z$, the Frechet derivative of the mapping $$x \, \in \, A \ \ \ \mapsto \ \ \ x+na_0 \, \in \, A$$ is the identity map on $A$ and, especially, an $A$-linear transformation on $A$. So, the quotient group $A/(\mathbb Z a_0)$ is a $1$-dimensional $A$-manifold and the covering projection $$x \, \in \, A \ \ \ \mapsto \ \ \ x+\mathbb Z a_0 \, \in \, A/(\mathbb Z a_0)$$ is an $A$-map. We call …
We study biorthogonal sequences with special properties, such as weak or weak-star convergence to 0, and obtain an extension of the Josefson-Nissenzweig theorem. This result is applied to embed analytic disks in the fiber over 0 of the spectrum of H^infinity (B), the algebra of bounded analytic functions on the unit ball B of an arbitrary infinite dimensional Banach space. Various other embedding theorems are obtained. For instance, if the Banach space is superreflexive, then the unit ball of a Hilbert space of uncountable dimension can be embedded analytically in the fiber over 0 via an embed…
We study convexity and starlikeness of quasihyperbolic and distance ratio metric balls on Banach spaces. In particular, problems related to these metrics on convex domains, and on punctured Banach spaces, are considered.
The concept of a profile decomposition formalizes concentration compactness arguments on the functional-analytic level, providing a powerful refinement of the Banach-Alaoglu weak-star compactness theorem. We prove existence of profile decompositions for general bounded sequences in uniformly convex Banach spaces equipped with a group of bijective isometries, thus generalizing analogous results previously obtained for Sobolev spaces and for Hilbert spaces. Profile decompositions in uniformly convex Banach spaces are based on the notion of $Δ$-convergence by T. C. Lim instead of weak convergence…
In contrast with the separable case, we prove that the existence of almost $L$-orthogonal vectors in a nonseparable Banach space $X$ (octahedrality) does not imply the existence of nonzero vectors in $X^{**}$ being $L$-orthogonal to $X$, which shows that the answer to an environment question in [9] is negative. Furthermore, we prove that the abundance of almost $L$-orthogonal vectors in a Banach space $X$ (almost Daugavet property) whose density character is $ω_1$ implies the abundance of nonzero vectors in $X^{**}$ being $L$-orthogonal to $X$. In fact, we get that a Banach space $X$ whose den…
The following theorem is essentially due to L.~Kantorovich and B. Vulikh and it describes one of the most important classes of Banach lattices between which each continuous operator is regular. {\bf Theorem 1.1.} {\sl Let $E$ be an arbitrary L-space and $F$ be an arbitrary Banach lattice with Levi norm. Then ${\cal L}(E,F)={\cal L}^r(E,F),\ (\star) $ that is, every continuous operator from $E$ to $F$ is regular.} In spite of the importance of this theorem it has not yet been determined to what extent the Levi condition is essential for the validity of equality $(\star)$. Our main aim in this w…
We characterize the weak-star point of continuity property for subspaces of dual spaces with separable predual and we deduce that the weak-star point of continuity property is determined by subspaces with a Schauder basis in the natural setting of dual spaces of separable Banach spaces. As a consequence of the above characterization we get that a dual space satisfies the Radon-Nikodym property if, and only if, every seminormalized topologically weak-star null tree has a boundedly complete branch, which improves some results in \cite{DF} obtained for the separable case. Also, as a consequence o…
Starting from the classic definitions of local resolvent set and spectrum of a linear bounded operator on a Banach space, we introduce the local resolvent set and spectrum, the local space and the single-valued extention property of a family of linear bounded operators on a Banach space. Keeping the analogy with the classic case, we extend some the known results from the case of a linear bouded operator to the case of a family of linear bounded operators on a Banach space.
The paper alluded to in the title contains the following striking result: Let $I$ be the unit interval and $Δ$ the Cantor set. If $X$ is a quasi Banach space containing no copy of $c_0$ which is isomorphic to a closed subspace of a space with a basis and $C(I, X)$ is linearly homeomorphic to $C(Δ, X)$, then $X$ is locally convex, i.e., a Banach space. It is shown that Kalton result is sharp by exhibiting non locally convex quasi Banach spaces X with a basis for which $C(I, X)$ and $C(Δ, X)$ are isomorphic. Our examples are rather specific and actually in all cases X is isomorphic to $C(Δ, X)$ …
$\newcommand{mc}[1]{\mathcal{#1}}$ $\newcommand{D}{\mc{D}(\mc{Q},L^p,\ell_w^q)}$ We present a framework for the construction of structured, possibly compactly supported Banach frames and atomic decompositions for decomposition spaces. Such a space $\D$ is defined using a frequency covering $\mc{Q}=(Q_i)_{i\in I}$: If $(φ_i)_{i}$ is a suitable partition of unity subordinate to $\mc{Q}$, then $\Vert g\Vert_{\D}:=\left\Vert\left(\Vert\mc{F}^{-1}(φ_i\hat{g})\Vert_{L^p}\right)_{i}\right\Vert_{\ell_w^q}$. We assume $\mc{Q}=(T_iQ+b_i)_{i}$, with $T_i\in{\rm GL}(\Bbb{R}^d),b_i\in\Bbb{R}^d$. Given a pr…
Let $R$ be a commutative complex Banach algebra with the involution $\cdot ^\star$ and suppose that $A\in R^{n\times n}$, $B\in R^{n\times m}$, $C\in R^{p\times n}$. The question of when the Riccati equation $$ PBB^\star P-PA-A^\star P-C^\star C=0 $$ has a solution $P\in R^{n\times n}$ is investigated. A counterexample to a previous result in the literature on this subject is given, followed by sufficient conditions on the data guaranteeing the existence of such a $P$. Finally, applications to spatially distributed systems are discussed.
The notions of $p$-convexity and $q$-concavity are mostly known because of their importance as a tool in the study of isomorphic properties of Banach lattices, but they also play a role in several results involving linear maps between Banach spaces and Banach lattices. In this paper we introduce Lipschitz versions of these concepts, dealing with maps between metric spaces and Banach lattices, and start by proving nonlinear versions of two well-known factorization theorems through $L_p$ spaces due to Maurey/Nikishin and Krivine. We also show that a Lipschitz map from a metric space into a Banac…
This paper investigates the concept of harmonic functions of bounded mean oscillation, starting from John-Nirenberg's pioneering studies, under a renewed formalism, suitable for bringing out some fundamental properties inherent in it. In more detail: after a quick introduction, the second Section presents the main theorem, plus complete proof, relating to this function; in the third Section there is a suggestion on the exponential integrability (theorem and sketch of proof), while the fourth Section deals with the duality of Hardy Space $H^1$ and bounded mean oscillation, with some ideas for a…
Having as start point the classic definitions of resolvent set and spectrum of a linear bounded operator on a Banach space, we introduce the resolvent set and spectrum of a family of linear bounded operators on a Banach space. In addition, we present some results which adapt to asymptotic case the classic results.
Consider a separable Banach space $ \mathcal{W}$ supporting a non-trivial Gaussian measure $μ$. The following is an immediate consequence of the theory of Gaussian measure on Banach spaces: there exist (almost surely) successful couplings of two $\mathcal{W}$-valued Brownian motions $ \mathbf{B}$ and $\widetilde{\mathbf{B}}$ begun at starting points $\mathbf{B}(0)$ and $\widetilde{\mathbf{B}}(0)$ if and only if the difference $\mathbf{B}(0)-\widetilde{\mathbf{B}}(0)$ of their initial positions belongs to the Cameron-Martin space $\mathcal{H}_μ $ of $\mathcal{W}$ corresponding to $μ$. For more …
