Two examples of asymptotic $\ell_{1}$ Banach spaces are given. The first, $X_{u}$, has an unconditional basis and is arbitrarily distortable. The second, $X$, does not contain any unconditional basic sequence. Both are spaces of the type of Tsirelson. We thus answer a question raised by W.T.Gowers.
For $1<p\le \infty$, we show the existence of a Banach space which is both injectively and surjectively universal for the class of all separable Banach spaces with an equivalent $p$-asymptotically uniformly smooth norm. We prove that this class is analytic complete in the class of separable Banach spaces. These results extend previous works by Kalton, Werner and Kurka in the case $p=\infty$.
These notes concern the nonlinear geometry of Banach spaces, asymptotic uniform smoothness and several Banach-Saks-like properties. We study the existence of certain concentration inequalities in asymptotically uniformly smooth Banach spaces as well as weakly sequentially continuous coarse (Lipschitz) embeddings into those spaces. Some results concerning the descriptive set theoretical complexity of those properties are also obtained. We finish the paper with a list of open problem.
In this work, a new concept of nonself total asymptotically nonexpansive mapping is introduced and an iterative process is considered for two nonself totally asymptotically nonexpansive mappings. Weak and strong convergence theorems for computing common fixed points of two nonself total asymptotically nonexpansive mappings are established in the framework of Banach spaces. Finally, we give an example which show that our theorems are applicable.
In this paper, a strong convergence theorem for asymptotically nonexpansive mappings in a uniformly convex and smooth Banach space is proved by using metric projections. This theorem extends and improves the recent strong convergence theorem due to Matsushita and Takahashi [ Appl. Math. Comput. 196 (2008) 422-425] which was established for nonexpansive mappings.
We provide a short characterization of $p$-asymptotic uniform smoothability and asymptotic uniform flatenability of operators and of Banach spaces. We use these characterizations to show that many asymptotic uniform smoothness properties pass to injective tensor products of operators and of Banach spaces. In particular, we prove that the injective tensor product of two asymptotically uniformly smooth Banach spaces is asymptotically uniformly smooth. We prove that for $1<p<\infty$, the class of $p$-asymptotically uniformly smoothable operators can be endowed with an ideal norm making this class…
We introduce the notion of an asymptotically equicontinuous sequence of linear operators, and use it to prove the following result. If $X,Y$ are topological vector spaces, if $T_n,T:X\to Y$ are continuous linear maps, and if $D$ is a dense subset of $X$, then the following statements are equivalent: (i) $T_nx\to Tx$ for all $x\in X$, and (ii) $T_n x\to Tx$ for all $x\in D$ and the sequence $(T_n)$ is asymptotically equicontinuous.
In this note, we extend to the setting of quasi-reflexive spaces a classical result of N. Kalton and L. Randrianarivony on the coarse Lipschitz structure of reflexive and asymptotically uniformly smooth Banach spaces. As an application, we show for instance, that for $1\le q<p$, a $q$-asymptotically uniformly convex Banach space does not coarse Lipschitz embed into a $p$-asymptotically uniformly smooth quasi-reflexive Banach space. This extends a recent result of B.M. Braga.
Several new characterizations of Banach spaces containing a subspace isomorphic to $\ell^1$, are obtained. These are applied to the question of when $\ell^1$ embeds in the injective tensor product of two Banach spaces.
A well known argument of James yields that if a Banach space $X$ contains $\ell_1^n$'s uniformly then $X$ contains $\ell_1^n$'s almost isometrically. In the first half of the paper we extend this idea to the ordinal $\ell_1$-indices of Bourgain. In the second half we use our results to calculate the $\ell_1$-index of certain Banach spaces. Furthermore we show that the $\ell_1$-index of a separable Banach space not containing $\ell_1$ must be of the form $ω^α$ for some countable ordinal $α$.
A Hereditarily Indecomposable asymptotic $\ell_2$ Banach space is constructed. The existence of such a space answers a question of B. Maurey and verifies a conjecture of W.T. Gowers.
The class of countably intersected families of sets is defined. For any such family we define a Banach space not containing $\ell^{1}(\NN )$. Thus we obtain counterexamples to certain questions related to the heredity problem for W.C.G. Banach spaces. Among them we give a subspace of a W.C.G. Banach space not containing $\ell^{1}(\NN )$ and not being itself a W.C.G. space.
We introduce and investigate a class of non-separable tree-like Banach spaces. As a consequence, we prove that we can not achieve a satisfactory extension of Rosenthal's $\ell_1$-theorem to spaces of the type $\ell_1(κ)$, for $κ$ an uncountable cardinal.
The main purpose of this paper is to introduce the notion of an asymptotically almost periodic ultradistribution and asymptotically almost automorphic ultradistribution with values in a Banach space, as well as to further analyze the classes of asymptotically almost periodic and asymptotically almost automorphic distributions with values in a Banach space. We provide some applications of the introduced concepts in the analysis of systems of ordinary differential equations.
Nonatomic bounded sequences in $\ell_1$, that is, those giving rise to nonatomic submeasures on $\mathbb N$ are introduced and shown to form a closed subspace nonat$(\ell_1)$ of $\ell_\infty(\ell_1)$, and some spaces of relevant operators in $\ell_1$ are considered.
We prove that, when $2<p<\infty$, in the free Banach lattice generated by $\ell_p$ (respectively by $c_0$), the absolute values of the canonical basis form an $\ell_r$-sequence, where $\frac{1}{r} = \frac{1}{2} + \frac{1}{p}$ (respectively an $\ell_2$-sequence). In particular, in any Banach lattice, the absolute values of any $\ell_p$ sequence always have an upper $\ell_r$-estimate. Quite surprisingly, this implies that the free Banach lattices generated by the nonseparable $\ell_p(Γ)$ for $2<p<\infty$, as well as $c_0(Γ)$, are weakly compactly generated whereas this is not the case for $1\leq…
We have derived that on certain Banach spaces having a graph structure $G$, the iterations for asymptotically $G$-nonexpansive map will converge weakly towards a fixed point. This result unifies and extends several theorems on fixed points proved by various authors for class of nonexpansive and asymptotically nonexpansive maps. As an application of this result, we derive that for maps satisfying the nonexpansive condition locally on special Banach spaces, the successive approximations converge weakly towards a fixed point.
We present condition on higher order asymptotic behaviour of basic sequences in a Banach space ensuring the existence of bounded non-compact strictly singular operator on a subspace. We apply it in asymptotic $\ell_p$ spaces, $1\leq p<\infty$, in particular in convexified mixed Tsirelson spaces and related asymptotic $\ell_p$ HI spaces.
In this note we study Banach spaces of traces of real polynomials on $\mathbb R^n$ to compact subsets equipped with supremum norms from the point of view of Geometric Functional Analysis.
See title. (A Banach space is said to be L-embedded if it is complemented in its bidual such that the norm between the two complementary subspaces is additive.)
For each ordinal $ξ$ and each $1<p<\infty$, we offer a natural, ismorphic characterization of those spaces and operators which admit an equivalent $ξ$-$p$-asymptotically uniformly smooth norm. We also introduce the notion of $ξ$-asymptotically uniformly flat norms and provide an isomorphic characterization of those spaces and operators which admit an equivalent $ξ$-asymptotically uniformly flat norm. Given a compact, Hausdorff space $K$, we prove an optimal renormong theorem regarding the $ξ$-asymptotic smoothness of $C(K)$ in terms of the Cantor-Bendixson index of $K$. We also prove that for …
We give sufficient conditions on a Banach space $X$ which ensure that $\ell_{\infty}$ embeds in $\mathcal{L}(X)$, the space of all operators on $X$. We say that a basic sequence $(e_n)$ is quasisubsymmetric if for any two increasing sequences $(k_n)$ and $(\ell_n)$ of positive integers with $k_n \leq \ell_n$ for all $n$, we have that $(e_{k_n})$ dominates $(e_{\ell_n})$. We prove that if a Banach space $X$ has a seminormalized quasisubsymmetric basis then $\ell_{\infty}$ embeds in $\mathcal{L}(X)$.
The main aim of this paper is to consider the classes of quasi-asymptotically almost periodic functions and Stepanov quasi-asymptotically almost periodic functions in Banach spaces. These classes extend the well known classes of asymptotically almost periodic functions, Stepanov asymptotically almost periodic functions and S-asymptotically $ω$-periodic functions with values in Banach spaces. We investigate the invariance of introduced properties under the action of finite and inifinite convolution products, providing also an illustrative application to abstract nonautonomous differential equat…
The main purpose of this paper is to study some geometric and topological properties on $ c_0$ sum of the finite dimensional Banach lattice $\ell_2^n$, its dual and its bidual. Among other results, we show that the Banach lattices $c_0(\ell_2^n)$ has the strong Gelfand-Philips property, but does not have the positive Grothendieck property. We also prove that the closed unit ball of $l_{\infty}(\ell_2^n)$ is an almost limited set.
Extending recent results by Cascales, Kadets, Orihuela and Wingler (2016), Kadets and Zavarzina (2017), and Zavarzina (2017) we demonstrate that for every Banach space $X$ and every collection $Z_i, i\in I$ of strictly convex Banach spaces every non-expansive bijection from the unit ball of $X$ to the unit ball of sum of $Z_i$ by $\ell_1$ is an isometry.
In this paper we first show that if $X$ is a Banach space and $α$ is a left invariant crossnorm on $\ell_\infty\otimes X$, then there is a Banach lattice $L$ and an isometric embedding $J$ of $X$ into $L$, so that $I\otimes J$ becomes an isometry of $\ell_\infty\otimes_αX$ onto $\ell_\infty\otimes_m J(X)$. Here $I$ denotes the identity operator on $\ell_\infty$ and $\ell_\infty\otimes_m J(X)$ the canonical lattice tensor product. This result is originally due to G. Pisier (unpublished), but our proof is different. We then use this to characterize the Gordon-Lewis property $\GL$ in terms of emb…
We study the Bishop-Phelps-Bollobás property for operators from $\ell_\infty ^4 $ to a Banach space. For this reason we introduce an appropiate geometric property, namely the AHSp-$\ell_\infty ^4$. We prove that spaces $Y$satisfying AHSp-$\ell_\infty ^4$ are precisely those spaces $Y$ such that $(\ell_\infty^4,Y)$ has the Bishop-Phelps-Bollobás property. We also provide classes of Banach spaces satisfying this condition. For instance, finite-dimensional spaces, uniformly convex spaces, $C_0(L)$ and $L_1 (μ)$ satisfy AHSp-$\ell_\infty ^4 $.
We construct a class of minimal trees and use these trees to establish a number of coloring theorems on general trees. Among the applications of these trees and coloring theorems are quantification of the Bourgain $\ell_p$ and $c_0$ indices, dualization of the Bourgain $c_0$ index, establishing sharp positive and negative results for constant reduction, and estimating the Bourgain $\ell_p$ index of an arbitrary Banach space $X$ in terms of a subspace $Y$ and the quotient $X/Y$.
Using upper $\ell_p$-estimates for normalized weakly null sequence images, we describe a new family of operator ideals $\mathcal{WD}_{\ell_p}^{(\infty,ξ)}$ with parameters $1\leq p\leq\infty$ and $1\leqξ\leqω_1$. These classes contain the completely continuous operators, and are distinct for all choices $1\leq p\leq\infty$ and, when $p\neq 1$, for all choices $ξ\neqω_1$. For the case $ξ=1$, there exists an ideal norm $\|\cdot\|_{(p,1)}$ on the class $\mathcal{WD}_{\ell_p}^{(\infty,1)}$ under which it forms a Banach ideal.
We classify the closed ideals of bounded operators acting on the Banach spaces $\left(\bigoplus_{n \in \mathbb{N}} \ell_2^n\right)_{c_0} \oplus c_0(Γ)$ and $\left(\bigoplus_{n \in \mathbb{N}} \ell_2^n\right)_{\ell_1} \oplus \ell_1(Γ)$ for every uncountable cardinal $Γ$.
We characterize $k-$smoothness of an element on the unit sphere of a finite-dimensional polyhedral Banach space. Then we study $k-$smoothness of an operator $T \in \mathbb{L}(\ell_{\infty}^n,\mathbb{Y}),$ where $\mathbb{Y}$ is a two-dimensional Banach space with the additional condition that $T$ attains norm at each extreme point of $B_{\ell_{\infty}^{n}}.$ We also characterize $k-$smoothness of an operator defined between $\ell_{\infty}^3$ and $\ell_{1}^3.$
We introduce a notion of p-orthogonality in a general Banach space $1 \le p \le \infty$. We use this concept to characterize $\ell_p$-spaces among Banach spaces and also among complete order smooth p-normed spaces. We further introduce a notion of $p$-orthogonal decomposition in order smooth p-normed spaces. We prove that if the $\infty$-orthogonal decomposition holds in an order smooth $\infty$-normed space, then the 1-orthogonal decomposition holds in the dual space. We also give an example to show that the above said decomposition may not be unique.
We give a criterion ensuring that the elementary class of a modular Banach space E (that is, the class of Banach spaces, some ultrapower of which is linearly isometric to an ultrapower of E) consists of all direct sums E\oplus_m H, where H is an arbitrary Hilbert space and \oplus_m denotes the modular direct sum. Also, we give several families of examples in the class of Nakano direct sums of finite dimensional normed spaces that satisfy this criterion. This yields many new examples of uncountably categorical Banach spaces, in the model theory of Banach space structures.
We develop a theory of eventually positive $C_0$-semigroups on Banach lattices, that is, of semigroups for which, for every positive initial value, the solution of the corresponding Cauchy problem becomes positive for large times. We give characterisations of such semigroups by means of spectral and resolvent properties of the corresponding generators, complementing existing results on spaces of continuous functions. This enables us to treat a range of new examples including the square of the Laplacian with Dirichlet boundary conditions, the bi-Laplacian on $L^p$-spaces, the Dirichlet-to-Neuma…
We define and study asymptotically symmetric Banach spaces (a.s.) and its variations: weakly a.s. (w.a.s.) and weakly normalized a.s. (w.n.a.s.). If X is a.s. then all spreading models of X are uniformly symmetric. We show that the converse fails. We also show that w.a.s. and w.n.a.s. are not equivalent properties and that Schlumprecht's space S fails to be w.n.a.s. We show that if X is separable and has the property that every normalized weakly null sequence in X has a subsequence equivalent to the unit vector basis of c_0 then X is w.a.s.. We obtain an analogous result if c_0 is replaced by …
We extend a precise renorming result of Godefroy, Kalton, and Lancien regarding asymptotically uniformly smooth norms of separable Banach spaces with Szlenk index $ω$. For every ordinal $ξ$, we characterize the operators, and therefore the Banach spaces, which admit a $ξ$-asymptotically uniformly smooth norm with power type modulus and compute for those operators the best possible exponent in terms of the values of $Sz_ξ(\cdot, \varepsilon)$. We also introduce the $ξ$-Szlenk power type and investigate ideal and factorization properties of classes associated with the $ξ$-Szlenk power type.
We prove that a non ergodic Banach space must be near Hilbert. In particular, $\ell_p$ ($2<p<\infty$) is ergodic. This reinforces the conjecture that $\ell_2$ is the only non ergodic Banach space. As an application of our criterion for ergodicity, we prove that there is no separable Banach space which is complementably universal for the class of all subspaces of $\ell_p$, for $1\leq p <2$. This solves a question left open by W. B. Johnson and A. Szankowski in 1976.
Let $\mathcal A$, $\mathcal B$ be Banach $\mathfrak A$-modules with compatible actions and $\mathcal M$ be a left Banach $\mathcal A$-$\mathfrak A$-module and a right Banach $\mathcal B$-$\mathfrak A$-module. In the current paper, we study module amenability, $n$-weak module amenability and module Arens regularity of the triangular Banach algebra $\mathcal T=[ {cc} \mathcal A & \mathcal M & \mathcal B ]$ (as an $\mathfrak T:=\Big{[ {cc} α& & α ] | α\in\mathfrak A\Big}$-module). We employ these results to prove that for an inverse semigroup $S$ with subsemigroup $E$ of idempotents, the triangul…
We show that the dual of every infinite-dimensional Lipschitz-free Banach space contains an isometric copy of $\ell_\infty$ and that it is often the case that a Lipschitz-free Banach space contains a $1$-complemented subspace isometric to $\ell_1$. Even though we do not know whether the latter is true for every infinite-dimensional Lipschitz-free Banach space, we show that the space is never rotund. Further, in the last section we survey the relations between "isometric embedding of~$\ell_\infty$ into the dual" and "containing as good copy of~$\ell_1$ as possible" in a general Banach space.
We study the 'no-dimension' analogue of Carath{é}odory's theorem in Banach spaces. We prove such a result together with its colorful version for uniformly smooth Banach spaces. It follows that uniform smoothness leads to a greedy de-randomization of Maurey's classical lemma \cite{pisier1980remarques}, which is itself a 'no-dimension' analogue of Carath{é}odory's theorem with a probabilistic proof. We find the asymptotically tight upper bound on the deviation of the convex hull from the $k$-convex hull of a bounded set in $L_p$ with $1 < p \leq 2$ and get asymptotically the same bound as in Mau…
Following Davie's example of a Banach space failing the approximation property [D], we show how to construct a Banach space E which is asymptotically Hilbertian and fails the approximation property. Moreover, the space E is shown to be a subspace of a space with an unconditional basis which is ``almost'' a weak Hilbert space and which can be written as the direct sum of two subspaces all of whose subspaces have the approximation property.
We shall develop two notions of pointwise amenability, namely pointwise Connes amenability and pointwise $w^*$-approximate Connes amenability, for dual Banach algebras which take the $w^*$-topology into account. We shall study these concepts for the Banach sequence algebras $\ell^1(ω)$ and the weighted semigroup algebras $ \ell^{1}(\mathbb{N}_{\wedge},ω)$. For a weight $ω$ on a discrete semigroup $S$, we shall investigate pointwise amenability/Connes amenability of $\ell^1(S,ω)$ in terms of diagonals.
We construct for each $0<p\le 1$ an infinite collection of subspaces of $\ell_p$ that extend the example from [J. Lindenstrauss, On a certain subspace of $\ell_{1}$, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 12 (1964), 539-542] of a subspace of $\ell_{1}$ with no unconditional basis. The structure of this new class of $p$-Banach spaces is analyzed and some applications to the general theory of $\mathcal{L}_{p}$-spaces for $0<p<1$ are provided. The introduction of these spaces serves the purpose to develop the theory of conditional quasi-greedy bases in $p$-Banach spaces for $p<1$…
We prove that the spaces $\ell_p$, $1<p<\infty, p\ne 2$, and all infinite-dimensional subspaces of their quotient spaces do not admit equivalent almost transitive renormings. This is a step towards the solution of the Banach-Mazur rotation problem, which asks whether a separable Banach space with a transitive norm has to be isometric or isomorphic to a Hilbert space. We obtain this as a consequence of a new property of almost transitive spaces with a Schauder basis, namely we prove that in such spaces the unit vector basis of $\ell_2^2$ belongs to the two-dimensional asymptotic structure and w…
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_…
In this paper we define module biprojctivity and module biflatness for a Banach algebra which is a Banach module over another Banach algebra with compatible actions, and find their relation to classical biprojectivity and biflatness. As a typical example, We show that for an inverse semigroup $S$ with an upward directed set of idempotents $E$, the semigroup algebra $ \ell ^{1}(S)$, as an $\ell ^{1}(E)$-module, is module biprojective if and only if an appropriate group homomorphic image of $S$ is finite. Also we show that $\ell ^{1}(S)$ is module biflat if and only if $S$ is amenable.
It is known that Dobrushin's ergodicity coefficient is one of the effective tools in the investigations of limiting behavior of Markov processes. Several interesting properties of the ergodicity coefficient of a positive mapping defined on ordered Banach space with a base have been studied. In this paper, we consider uniformly mean ergodic and asymptotically stable Markov operators on ordered Banach spaces. In terms of the ergodicity coefficient, we prove uniform mean ergodicity criterion in terms of the ergodicity coefficient. Moreover, we develop the perturbation theory for uniformly asympto…
Targeting at sparse multi-task learning, we consider regularization models with an $\ell^1$ penalty on the coefficients of kernel functions. In order to provide a kernel method for this model, we construct a class of vector-valued reproducing kernel Banach spaces with the $\ell^1$ norm. The notion of multi-task admissible kernels is proposed so that the constructed spaces could have desirable properties including the crucial linear representer theorem. Such kernels are related to bounded Lebesgue constants of a kernel interpolation question. We study the Lebesgue constant of multi-task kernels…
In the present paper, the concepts of module (uniform) approximate amenability and contractibility of Banach algebras that are modules over another Banach algebra, are introduced. The general theory is developed and some hereditary properties are given. In analogy with the Banach algebraic approximate amenability, it is shown that module approximate amenability and contractibility are the same properties. It is also shown that module uniform approximate (contractibility) amenability and module (contractibility, respectively) amenability for commutative Banach modules are equivalent. Applying t…
Krivine and Maurey proved in 1981 that every stable Banach space contains almost isometric copies of $\ell_p$, for some $p\in[1,\infty)$. In 1983, Raynaud showed that if a Banach space uniformly embeds into a superstable Banach space, then $X$ must contain an isomorphic copy of $\ell_p$, for some $p\in[1,\infty)$. In these notes, we show that if a Banach space coarsely embeds into a superstable Banach space, then $X$ has a spreading model isomorphic to $\ell_p$, for some $p\in[1,\infty)$. In particular, we obtain that there exist reflexive Banach spaces which do not coarsely embed into any sup…
We introduce the class of slicely countably determined Banach spaces which contains in particular all spaces with the RNP and all spaces without copies of $\ell_1$. We present many examples and several properties of this class. We give some applications to Banach spaces with the Daugavet and the alternative Daugavet properties, lush spaces and Banach spaces with numerical index 1. In particular, we show that the dual of a real infinite-dimensional Banach with the alternative Daugavet property contains $\ell_1$ and that operators which do not fix copies of $\ell_1$ on a space with the alternati…
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 spaces with directionally asymptotically controlled ellipsoids approximating the unit ball in finite-dimensions. These ellipsoids are the unique minimum volume ellipsoids, which contain the unit ball of the corresponding finite-dimensional subspace. The directional control here means that we evaluate the ellipsoids with a given functional of the dual space. The term asymptotical refers to the fact that we take '$\limsup$' over finite-dimensional subspaces. This leads to some isomorphic and isometric characterizations of Hilbert spaces. An application involving Mazur's rotation problem…
We give a simple example of a countable metric space $M$ that does not embed bi-Lipschitz with distortion strictly less than 2 into any Asplund space. Actually, if $M$ embeds with distortion strictly less than 2 to a Banach space $X$, then $X$ contains an isomorphic copy of $\ell_1$. We also show that the space $M$ does not embed with distortion strictly less than $2$ into $\ell_1$ itself but it does embed isometrically into a space that is isomorphic to $\ell_1$.