The aim of this note is to study some geometrical properties like diameter two properties, octahedrality and almost squareness in the setting of (symmetric) tensor product spaces. In particular, we show that the injective tensor product of two octahedral Banach spaces is always octahedral, the injective tensor product of an almost square Banach space with any Banach space is almost square, and the injective symmetric tensor product of an octahedral Banach space is octahedral.
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.
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.
We characterise those Banach spaces $X$ which satisfy that $L(Y,X)$ is octahedral for every non-zero Banach space $Y$. They are those satisfying that, for every finite dimensional subspace $Z$, $\ell_\infty$ can be finitely-representable in a part of $X$ kind of $\ell_1$-orthogonal to $Z$. We also prove that $L(Y,X)$ is octahedral for every $Y$ if, and only if, $L(\ell_p^n,X)$ is octahedral for every $n\in\mathbb N$ and $1<p<\infty$. Finally, we find examples of Banach spaces satisfying the above conditions like $\Lip(M)$ spaces with octahedral norms or $L_1$-preduals with the Daugavet propert…
We study the relation between octahedral norms, Daugavet property and the size of convex combinations of slices in Banach spaces. We prove that the norm of an arbitrary Banach space is octahedral if, and only if, every convex combination of $w^*$-slices in the dual unit ball has diameter 2, which answer an open question. As a consequence we get that the Banach spaces with the Daugavet property and its dual spaces have octahedral norms. Also, we show that for every separable Banach space containing $\ell_1$ and for every $\varepsilon >0$ there is an equivalent norm so that every convex combinat…
In this paper, we study octahedral norms in free Banach lattices $FBL[E]$ generated by a Banach space $E$. We prove that if $E$ is an $L_1(μ)$-space, a predual of von Neumann algebra, a predual of a JBW$^*$-triple, the dual of an $M$-embedded Banach space, the disc algebra or the projective tensor product under some hypothesis, then the norm of $FBL[E]$ is octahedral. We get the analogous result when the topological dual $E^*$ of $E$ is almost square. We finish the paper by proving that the norm of the free Banach lattice generated by a Banach space of dimension $ \geq 2$ is nowhere Fréchet di…
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.
We prove that, if Banach spaces $X$ and $Y$ are $δ$-average rough, then their direct sum with respect to an absolute norm $N$ is $δ/N(1,1)$-average rough. In particular, for octahedral $X$ and $Y$ and for $p$ in $(1,\infty)$ the space $X\oplus_p Y$ is $2^{1-1/p}$-average rough, which is in general optimal. Another consequence is that for any $δ$ in $(1,2]$ there is a Banach space which is exactly $δ$-average rough. We give a complete characterization when an absolute sum of two Banach spaces is octahedral or has the strong diameter 2 property. However, among all of the absolute sums, the diame…
We study octahedral norms in the space of bounded linear operators between Banach spaces. In fact, we prove that $L(X,Y)$ has octahedral norm whenever $X^*$ and $Y$ have octahedral norm. As a consequence the space of operators $L(\ell_1 ,X)$ has octahedral norm if, and only if, $X$ has octahedral norm. These results also allows us to get the stability of strong diameter 2 property for projective tensor products of Banach spaces, which is an improvement of the known results about the size of nonempty relatively weakly open subsets in the unit ball of the projective tensor product of Banach spac…
We prove that every separable Banach space containing $\ell_1$ can be equivalently renormed so that its bidual space is octahedral, which answers, in the separable case, a question by Godefroy in 1989. As a direct consequence, we obtain that every dual Banach space, with a separable predual, failing to be strongly regular (that is, without convex combinations of slices with diameter arbitrarily small for some closed, convex and bounded subset) can be equivalently renormed with a dual norm to satisfy the strong diameter two property (that is, such that every convex combination of slices in its …
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…
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 show that every Müntz space can be written as a direct sum of Banach spaces X and Y , where Y is almost isometric to a subspace of c and X is finite dimensional. We apply this to show that no Müntz space is locally octahedral or almost square.
We study when diameter two properties pass down to subspaces. We obtain that the slice two property (respectively diameter two property, strong diameter two property) passes down from a Banach space $X$ to a subspace $Y$ whenever $Y$ is complemented by a norm one projection with finite-dimensional kernel (respectively the quotient $X/Y$ is finite dimensional, $X/Y$ is strongly regular). Also we study the same problem for dual properties of the above ones, as having octahedral, weakly octahedral or 2-rough norm.
We consider a certain type of geometric properties of Banach spaces, which includes for instance octahedrality, almost squareness, lushness and the Daugavet property. For this type of properties, we obtain a general reduction theorem, which, roughly speaking, states the following: if the property in question is stable under certain finite absolute sums (for example finite $\ell^p$-sums), then it is also stable under the formation of corresponding Köthe-Bochner spaces (for example $L^p$-Bochner spaces). From this general theorem, we obtain as corollaries a number of new results as well as some …
We continue with the study of octahedral norms in the context of spaces of Lipschitz functions and in their duals. First, we prove that the norm of $\mathcal F(M)^{**}$ is octahedral as soon as $M$ is unbounded or is not uniformly discrete. Further, we prove that a concrete sequence of uniformly discrete and bounded metric spaces $(K_m)$ satisfies that the norm of $\mathcal F(K_m)^{**}$ is octahedral for every $m$. Finally, we prove that if $X$ is an arbitrary Banach space and the norm of $\operatorname{Lip}_0(M)$ is octahedral, then the norm of $\operatorname{Lip}_0(M,X^\ast)$ is octahedral. …
It is known that a Banach space contains an isomorphic copy of $c_0$ if, and only if, it can be equivalently renormed to be almost square. We introduce and study transfinite versions of almost square Banach spaces with the purpose to relate them to the containment of isomorphic copies of $c_0(κ)$, where $κ$ is some uncountable cardinal. We also provide several examples and stability results of the above properties by taking direct sums, tensor products and ultraproducts. By connecting the above properties with transfinite analogues of the strong diameter two property and octahedral norms, we o…
It is known that a Banach space has the strong diameter 2 property (i.e. every convex combination of slices of the unit ball has diameter 2) if and only if the norm on its dual space is octahedral (a notion introduced by Godefroy and Maurey). We introduce two more versions of octahedrality, which turn out to be dual properties to the diameter 2 property and its local version (i.e., respectively, every relatively weakly open subset and every slice of the unit ball has diameter 2). We study stability properties of different types of octahedrality, which, by duality, provide easier proofs of many…
We study the diameter two properties in the spaces $JH$, $JT_\infty$ and $JH_\infty$. We show that the topological dual space of the previous Banach spaces fails every diameter two property. However, we prove that $JH$ and $JH_{\infty}$ satisfy the strong diameter two property, and so the dual norm of these spaces is octahedral. Also we find a closed hyperplane $M$ of $JH_\infty$ whose topological dual space enjoys the $w^*$-strong diameter two property and also $M$ and $M^*$ have an octahedral norm.
We single out and study a natural class of Banach spaces -- almost square Banach spaces. In an almost square space we can find, given a finite set $x_1,x_2,\ldots,x_N$ in the unit sphere, a unit vector $y$ such that $\|x_i-y\|$ is almost one. These spaces have duals that are octahedral and finite convex combinations of slices of the unit ball of an almost square space have diameter 2. We provide several examples and characterizations of almost square spaces. We prove that non-reflexive spaces which are M-ideals in their biduals are almost square. We show that every separable space containing a…
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.
Several characterizations of EP and normal Moore-Penrose invertible Banach algebra elements will be considered. The Banach space operator case will be also studied. The results of the present article will extend well known facts obtained in the frames of matrices and Hilbert space operators.
We show that if $\mathfrak{A}$ is a commutative complex non-unital Banach Algebra with norm $\|\cdot\|$, then $\|\cdot\|$ is regular on $\mathfrak{A}$ if and only if $\|\cdot\|_{op}$ is a norm on $\mathfrak{A}\oplus \mathbb{C}$ and $\mathfrak{A}\oplus\mathbb{C}$ is a commutative complex Banach Algebra with respect to $\|\cdot\|_{op}$.
We investigate sufficient and necessary conditions for the space of bounded linear operators between two Banach spaces to be rough or average rough. Our main result is that $\mathcal L(X,Y)$ is $δ$-average rough whenever $X^\ast$ is $δ$-average rough and $Y$ is alternatively octahedral. This allows us to give a unified improvement of two theorems by Becerra Guerrero, López-Pérez, and Rueda Zoca [J. Math. Anal. Appl. 427 (2015)].
Heinrich, Mankiewicz, Sims, and Yost proved that every separable subspace of a Banach space $Y$ is contained in a separable ideal in $Y$. We improve this result by replacing the term "ideal" with the term "almost isometric ideal". As a consequence of this we obtain, in terms of subspaces, characterizations of diameter 2 properties, the Daugavet property along with the properties of being an almost square space and an octahedral space.
We introduce and study the enveloping norms of regularly P-operators between Banach lattices E and F, where P is a subspace of the space L(E,F) of continuous operators from E to F. We prove that if P is closed in L(E,F) in the operator norm then the regularly P-operators forms a Banach space under the enveloping norm. Conditions providing that regularly P-operators forms a Banach lattice under the enveloping norm are given.
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.
In this paper, we study the connections between the normality, regularity, full regularity, and chain-complete property in partially ordered Banach spaces. Then, by applying these properties, we prove some fixed point theorems on partially ordered Banach spaces. As applications of these fixed point theorems, we prove the existence of solutions of some integral equations, such as Hammerstein integral equations, in Banach spaces.
In this paper we collect results concerning the {operator-norm} convergent {Trotter} product formula for two semigroups $\{\e^{- t A}\}_{t\geq 0}$, $\{\e^{- t B}\}_{t\geq 0}$, with densely defined generators $A$ and $B$ in a {Banach} space. Although the {strong} convergence in Banach space for contraction semigroups is known since the seminal paper by Trotter (1959), which after more than three decades was extended to convergence in the {operator-norm} topology in {Hilbert} spaces by Rogava (1993), the {operator-norm} convergence in a {Banach} space was established only in (2001).
Spaces of homogeneous polynomials on a Banach space are frequently equipped with quasinorms instead of norms. In this paper we develop a technique to replace the original quasi-norm by a norm in a dual preserving way, in the sense that the dual of the space with the new norm coincides with the dual of the space with the original quasi-norm. Applications to problems on the existence and approximation of solutions of convolution equations and on hypercyclic convolution operators on spaces of entire functions are provided.
The main result: the dual of separable Banach space $X$ contains a total subspace which is not norming over any infinite dimensional subspace of $X$ if and only if $X$ has a nonquasireflexive quotient space with the strictly singular quotient mapping.
Given a finite measure space $(Ω,Σ,μ)$, we show that any Banach space $X(μ)$ consisting of (equivalence classes of) real measurable functions defined on $Ω$ such that $f χ_A \in X(μ) $ and $ \|f χ_A \| \leq \|f\|, \, f \in X(μ), \ A \in Σ$, and having the subsequence property, is in fact an ideal of measurable functions and has an equivalent norm under which it is a Banach function space. As an application we characterize norms that are equivalent to a Banach function space norm.
We study the smoothness and the norm attainment of bounded bilinear operators between Banach spaces, using the concepts of Birkhoff-James orthogonality and semi-inner-products. In the finite-dimensional case, we characterize Birkhoff-James orthogonality of bilinear operators in terms of the norm attainment set. This yields a nice characterization of smoothness of bilinear operators between Banach spaces, in the finite-dimensional case. Without any restriction on the dimension of the space, we obtain a complete characterization of the norm attainment set of a bounded bilinear operator using sem…
For a new class of topological vector spaces, namely $κ$-normed spaces, and associated quasisemilinear topological preordered space is defined and investigated. This structure arise naturally from the consideration of a $κ$-norm, that is a distance function between a point and a $G_δ$-subset. For it, analogs of the Hahn-Banach theorem are proved.
In this paper we introduce the notion of D-valued 2-norm on hy- perbolic or D-valued modules. Further, we define D-linear 2-functional on these modules and consider some of their properties. We also establish the Hahn- Banach type extension theorem for D-linear 2-functionals.
We show that every dominated linear operator from an Banach-Kantorovich space over atomless Dedekind complete vector lattice to a sequence Banach lattice $l_p(Γ)$ or $c_0(Γ)$ is narrow. As a conse- quence, we obtain that an atomless Banach lattice cannot have a finite dimensional decomposition of a certain kind. Finally we show that if a linear dominated operator T from lattice-normed space V to Banach- Kantorovich space W is order narrow then the same is its exact dominant $\ls T\rs$.
In order to measure qualitative properties we introduce a notion of a type for arbitrary normed spaces which measures the worst possible growth of partial sums of sequences weakly converging to zero. The ideas can be traced back to Banach and Mazur who used this type to compare the so-called linear dimension of classical Banach spaces. As an application we compare the linear dimension and investigate isomorphy of some classical Banach spaces.
The purpose of this article is to study the problem of finding sharp lower bounds for the norm of the product of polynomials in the ultraproducts of Banach spaces $(X_i)_{\mathfrak U}$. We show that, under certain hypotheses, there is a strong relation between this problem and the same problem for the spaces $X_i$.
Let G be a locally compact abelian group and let μbe a complex valued regular Borel measure on G. In this paper we consider a generalisation of a class of Banach lattices introduced in [6]. We use Laplace transform methods to show that the norm of a convolution operator with symbol μon such a space is bounded below by the L_\infty norm of the Fourier-Stieltjes transform of μ. We also show that for any Banach lattice of locally integrable functions on G with a shift-invariant norm, the norm of a convolution operator with symbol μis bounded above by the total variation of μ.
A banach space X is a normed vector space, which is complete with respect to the metric induced by the norm. Given a bounded linear operator T acting on a banach space X, T is said to attain its norm if there is a unit vector z in X, such that the norm of Tz equals the norm of T. The existence of an infinite dimensional banach space X, in which each bounded linear operator acting on X attains its norm, is still undetermined. This question was posed by M.I. Ostrovskii at St. John's University. In this paper we show that if an infinite dimensional banach space is considered over GF(2), then it i…
In this paper, we introduce and study a new classes of operators, named AM-unbounded norm compact operators. We study the the basic properties of the new operator and we investigate the lattice-order and topology property of the operator space of AM-unbounded norm compact operator.
In this paper, we present the generalization of B-contraction and C-contraction due to Sehgal and Hicks respectively. We also study some properties of C-contraction in probabilistic metric space.
We show that, if $X$ is a closed subspace of a Banach space $E$ and $Z$ is a closed subspace of $E^*$ such that $Z$ is norming for $X$ and $X$ is total over $Z$ (as well as $X$ is norming for $Z$ and $Z$ is total over $X$), then $X$ and the pre-annihilator of $Z$ are complemented in $E$ whenever $Z$ is $w^*$-closed or $X$ is reflexive.
We show that norms on certain Banach spaces $X$ can be approximated uniformly, and with arbitrary precision, on bounded subsets of $X$ by $C^{\infty}$ smooth norms and polyhedral norms. In particular, we show that this holds for any equivalent norm on $c_0(Γ)$, where $Γ$ is an arbitrary set. We also give a necessary condition for the existence of a polyhedral norm on a weakly compactly generated Banach space, which extends a well-known result of Fonf.
In this paper, we will see that the Cartesian product of two 2-Banach spaces is also 2-Banach space and discuss some properties of closed linear operator in linear 2-normed space. We also describe the concept of different types of continuity of b-linear functional and derive the Uniform Boundedness Principle and Hahn-Banach extension theorem for b-linear functionals in the case of linear 2-normed spaces. We also introduce the notion of weak*convergence for the sequence of bounded b-linear functionals relative to linear 2-normed space.
We give a review of results on the operator-norm convergence of the Trotter product formula on Hilbert and Banach spaces, which is focused on the problem of its convergence rates. Some recent results concerning evolution semigroups are presented in details.
Henstock-type integrals are considered, for functions defined in a Radon measure space and taking values in a Banach lattice X considering the norm and the order structure of the space. A number of results are obtained, highlighting the differences between them, specially in the case of L-space-valued functions.
