For p ≥ 1, a subset K of a Banach space X is said to be relatively p-compact if $K\subset {\sum }_{n=1}^{\infty }\alpha ₙxₙ:\alpha ₙ\in Ball\left(l_{p^{\text{'}}}\right)$, where p’ = p/(p-1) and $xₙ\in l_p^s\left(X\right)$. An operator T ∈ B(X,Y) is said to be p-compact if T(Ball(X)) is relatively p-compact in Y. Similarly, weak p-compactness may be defined by considering $xₙ\in l_p^w\left(X\right)$. It is proved that T is (weakly) p-compact if and only if T* factors through a subspace of $l_p$ in a particular manner. The normed operator ideals $(K_p,{\kappa }_p)$ of p-compact operators and $(W_p,{\omega }_p)$ of weakly p-compact operators, arising from these factorizations,...

The main result is as follows. Let X be a Banach space and let Y be a closed subspace of X. Assume that the pair $(X*,Y^{\perp })$ has the λ-bounded approximation property. Then there exists a net $\left(S_{\alpha }\right)$ of finite-rank operators on X such that $S_{\alpha }\left(Y\right)\subset Y$ and $\left|\right|S_{\alpha }\left|\right|\le \lambda$ for all α, and $\left(S_{\alpha }\right)$ and $\left(S{*}_{\alpha }\right)$ converge pointwise to the identity operators on X and X*, respectively. This means that the pair (X,Y) has the λ-bounded duality approximation property.

Bessaga and Pełczyński showed that if c₀ embeds in the dual X* of a Banach space X, then ℓ¹ embeds complementably in X, and ${\ell }^{\infty }$ embeds as a subspace of X*. In this note the Diestel-Faires theorem and techniques of Kalton are used to show that if X is an infinite-dimensional Banach space, Y is an arbitrary Banach space, and c₀ embeds in L(X,Y), then ${\ell }^{\infty }$ embeds in L(X,Y), and ℓ¹ embeds complementably in $X{\otimes }_{\gamma }Y*$. Applications to embeddings of c₀ in various spaces of operators are given.

Let E be an ideal of L⁰ over a σ-finite measure space (Ω,Σ,μ). For a real Banach space $(X,|\left|·\right|{|}_X)$ let E(X) be a subspace of the space L⁰(X) of μ-equivalence classes of strongly Σ-measurable functions f: Ω → X and consisting of all those f ∈ L⁰(X) for which the scalar function ${\left|\right|f\left(·\right)\left|\right|}_X$ belongs to E. Let E(X)˜ stand for the order dual of E(X). For u ∈ E⁺ let $D_u(={f\in E\left(X\right):\left|\right|f\left(·\right)\left|\right|}_X\le u)$ stand for the order interval in E(X). For a real Banach space $(Y,|\left|·\right|{|}_Y)$ a linear operator T: E(X) → Y is said to be order-bounded whenever for each u ∈...

The paper contains some applications of the notion of $Ł$ sets to several classes of operators on Banach lattices. In particular, we introduce and study the class of order $\left(\mathrm{L}\right)$-Dunford-Pettis operators, that is, operators from a Banach space into a Banach lattice whose adjoint maps order bounded subsets to an $\left(\mathrm{L}\right)$ sets. As a sequence characterization of such operators, we see that an operator $T:X\to E$ from a Banach space into a Banach lattice is order $Ł$-Dunford-Pettis, if and only if $\left|T\right(x_n\left)\right|\to 0$ for $\sigma (E,E^{\text{'}})$ for every...

This paper deals with homeomorphisms F: X → Y, between Banach spaces X and Y, which are of the form $F\left(x\right):=F̃x^{(2n+1)}$ where $F̃:X^{2n+1}\to Y$ is a continuous (2n+1)-linear operator.

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. A function $f:{[0,1]}^m\to X$ is separately increasing if it is increasing in each variable separately. We show that if X is a Banach space that does not contain any isomorphic copy of c₀ or such that X* is separable, then for every separately increasing function $f:{[0,1]}^m\to X$ with respect to any norming subset there exists a separately increasing function $g:{[0,1]}^m\to ℝ$ such that the sets of...

A Banach space X is reflexive if and only if every bounded sequence xₙ in X contains a norm attaining subsequence. This means that it contains a subsequence $x_{n_k}$ for which $su{p}_{f\in S_{X*}}limsu{p}_{k\to \infty }f\left(x_{n_k}\right)$ is attained at some f in the dual unit sphere $S_{X*}$. A Banach space X is not reflexive if and only if it contains a normalized sequence xₙ with the property that for every $f\in S_{X*}$, there exists $g\in S_{X*}$ such that $limsu{p}_{n\to \infty }f\left(xₙ\right)<limin{f}_{n\to \infty }g\left(xₙ\right)$. Combining this with a result of Shafrir, we conclude that every infinite-dimensional Banach space contains an unbounded...

We construct, under Axiom ♢, a family ${\left(C\left(K_{\xi }\right)\right)}_{\xi <2^{\left(2^{\omega }\right)}}$ of indecomposable Banach spaces with few operators such that every operator from $C\left(K_{\xi }\right)$ into $C\left(K_{\eta }\right)$ is weakly compact, for all ξ ≠ η. In particular, these spaces are pairwise essentially incomparable. Assuming no additional set-theoretic axiom, we obtain this result with size $2^{\omega }$ instead of $2^{\left(2^{\omega }\right)}$.

We consider real Banach spaces X for which the quotient algebra (X)/ℐn(X) is finite-dimensional, where ℐn(X) stands for the ideal of inessential operators on X. We show that these spaces admit a decomposition as a finite direct sum of indecomposable subspaces $X_i$ for which $\left(X_i\right)/ℐn\left(X_i\right)$ is isomorphic as a real algebra to either the real numbers ℝ, the complex numbers ℂ, or the quaternion numbers ℍ. Moreover, the set of subspaces $X_i$ can be divided into subsets in such a way that if $X_i$ and $X_j$ are in different...

For the integral equation (1) below we prove the existence on an interval $J=[0,a]$ of a solution $x$ with values in a Banach space $E$, belonging to the class $L^p(J,E)$, $p>1$. Further, the set of solutions is shown to be a compact one in the sense of Aronszajn.

A Banach space X is asymptotically symmetric (a.s.) if for some C < ∞, for all m ∈ ℕ, for all bounded sequences ${\left(x_j^i\right)}_{j=1}^{\infty }\subseteq X$, 1 ≤ i ≤ m, for all permutations σ of 1,...,m and all ultrafilters ₁,...,ₘ on ℕ, $li{m}_{n₁,₁}...li{m}_{nₘ,ₘ}\left|\right|{\sum }_{i=1}^m{x}_{n_i}^i\left|\right|\le Cli{m}_{n_{\sigma \left(1\right)}{,}_{\sigma \left(1\right)}}...li{m}_{n_{\sigma \left(m\right)}{,}_{\sigma \left(m\right)}}\left|\right|{\sum }_{i=1}^m{x}_{n_i}^i\left|\right|$. We investigate a.s. Banach spaces and several natural variations. X is weakly a.s. (w.a.s.) if the defining condition holds when restricted to weakly convergent sequences ${\left(x_j^i\right)}_{j=1}^{\infty }$. Moreover, X is w.n.a.s. if we restrict the condition further to normalized weakly null sequences. If X is a.s. then...

We give a full solution of the following problems concerning the spaces $M_{\phi }\left(X⃗\right)$: (i) to what extent two functions φ and ψ should be different in order to ensure that $M_{\phi }\left(X⃗\right)\ne M_{\psi }\left(X⃗\right)$ for any nontrivial Banach couple X⃗; (ii) when an embedding $M_{\phi }\left(X⃗\right)⊊M_{\psi }\left(X⃗\right)$ can (or cannot) be dense; (iii) which Banach space can be regarded as an $M_{\phi }\left(X⃗\right)$-space for some (unknown beforehand) Banach couple X⃗.

Given a Banach space X, for n ∈ ℕ and p ∈ (1,∞) we investigate the smallest constant ∈ (0,∞) for which every n-tuple of functions f₁,...,fₙ: -1,1ⁿ → X satisfies ${\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\partial }_j{f}_j{\left(\epsilon \right)\left|\right|}^{p}d\mu \left(\epsilon \right){\le }^p{\int }_{-1,1ⁿ}{\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\delta }_j\Delta f_j\left(\epsilon \right){\left|\right|}^{p}d\mu \left(\epsilon \right)d\mu \left(\delta \right)$, where μ is the uniform probability measure on the discrete hypercube -1,1ⁿ, and ${{\partial }_j}_{j=1}^n$ and $\Delta ={\sum }_{j=1}^n{\partial }_j$ are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by ${ⁿ}_p\left(X\right)$, we show that ${ⁿ}_p\left(X\right)\le {\sum }_{k=1}^{n}1/k$ for every Banach space (X,||·||). This extends the classical Pisier inequality, which corresponds to the special...

Let A be a unital Banach function algebra with character space ${\Phi }_A$. For $x\in {\Phi }_A$, let $M_x$ and $J_x$ be the ideals of functions vanishing at x and in a neighbourhood of x, respectively. It is shown that the hull of $J_x$ is connected, and that if x does not belong to the Shilov boundary of A then the set $y\in {\Phi }_A:M_x\supseteq J_y$ has an infinite connected subset. Various related results are given.

For the integral equation (1) below we prove the existence on an interval $J=[0,a]$ of a solution $x$ with values in a Banach space $E$, belonging to the class $L^p(J,E)$, $p>1$. Further, the set of solutions is shown to be a compact one in the sense of Aronszajn.

Let 1 ≤ p < ∞, $={\left(Xₙ\right)}_{n\in \mathbb{N}}$ be a sequence of Banach spaces and $l_p\left(\right)$ the coresponding vector valued sequence space. Let $={\left(Xₙ\right)}_{n\in \mathbb{N}}$, $={\left(Yₙ\right)}_{n\in \mathbb{N}}$ be two sequences of Banach spaces, $={\left(Vₙ\right)}_{n\in \mathbb{N}}$, Vₙ: Xₙ → Yₙ, a sequence of bounded linear operators and 1 ≤ p,q < ∞. We define the multiplication operator $M_{}:l_p\left(\right)\to l_q\left(\right)$ by $M_{}\left({\left(xₙ\right)}_{n\in \mathbb{N}}\right):={\left(Vₙ\left(xₙ\right)\right)}_{n\in \mathbb{N}}$. We give necessary and sufficient conditions for $M_{}$ to be 2-summing when (p,q) is one of the couples (1,2), (2,1), (2,2), (1,1), (p,1), (p,2), (2,p), (1,p), (p,q); in the last case 1 < p < 2, 1 < q < ∞. ...

Let X,Y be Banach spaces, f: X → Y be an isometry with f(0) = 0, and $T:\overline{span}\left(f\left(X\right)\right)\to X$ be the Figiel operator with $T\circ f=I{d}_X$ and ||T|| = 1. We present a sufficient and necessary condition for the Figiel operator T to admit a linear isometric right inverse. We also prove that such a right inverse exists when $\overline{span}\left(f\left(X\right)\right)$ is weakly nearly strictly convex.

A topological space (T,τ) is said to be fragmented by a metric d on T if each non-empty subset of T has non-empty relatively open subsets of arbitrarily small d-diameter. The basic theorem of the present paper is the following. Let (M,ϱ) be a metric space with ϱ bounded and let D be an arbitrary index set. Then for a compact subset K of the product space $M^D$ the following four conditions are equivalent: (i) K is fragmented by $d_D$, where, for each S ⊂ D, $d_S(x,y)=sup\varrho \left(x\right(t),y(t\left)\right):t\in S$. (ii) For each countable subset...

In this paper, we define the direct sum ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ of Banach spaces X₁,X₂,..., and Xₙ and consider it equipped with the Cesàro p-norm when 1 ≤ p < ∞. We show that ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the H-property if and only if each $X_i$ has the H-property, and ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the Schur property if and only if each $X_i$ has the Schur property. Moreover, we also show that ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ is rotund if and only if each $X_i$ is rotund.

A separable Banach space X contains ${\ell }_1$ isomorphically if and only if X has a bounded fundamental total $w{c}_0*$-stable biorthogonal system. The dual of a separable Banach space X fails the Schur property if and only if X has a bounded fundamental total $w{c}_0*$-biorthogonal system.

Denote by any set of cardinality continuum. It is proved that a Banach algebra A with the property that for every collection $a_{\alpha }:\alpha \in \subset A$ there exist α ≠ β ∈ such that $a_{\alpha }\in a_{\beta }{A}^{}$ is isomorphic to ${⨁}_{i=1}^r(ℂ\left[X\right]/X^{d_i}ℂ\left[X\right])\oplus E$, where $d₁,...,d_r\in \mathbb{N}$, and E is either $Xℂ\left[X\right]/X^{d₀}ℂ\left[X\right]$ for some d₀ ∈ ℕ or a 1-dimensional ${⨁}_{i=1}^rℂ\left[X\right]/X^{d_i}ℂ\left[X\right]$-bimodule with trivial right module action. In particular, ℂ is the unique non-zero prime Banach algebra satisfying the above condition.

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. We show that if f: [0,1] → X is an increasing function with respect to a norming subset E of X* with uncountably many points of discontinuity and Q is a countable dense subset of [0,1], then (1) $\overline{linf\left(\right[0,1\left]\right)}$ contains an order isomorphic copy of D(0,1), (2) $\overline{linf\left(Q\right)}$ contains an isomorphic copy of C([0,1]), (3) $\overline{linf\left(\right[0,1\left]\right)}/\overline{linf\left(Q\right)}$ contains an isomorphic copy of c₀(Γ) for some uncountable...

We give a characterization of compact spaces K such that the Banach space C(K) is isomorphic to the space c₀(Γ) for some set Γ. As an application we show that there exists an Eberlein compact space K of weight ${\omega }_{\omega }$ and with the third derived set $K^{\left(3\right)}$ empty such that the space C(K) is not isomorphic to any c₀(Γ). For this compactum K, the spaces C(K) and $c₀\left({\omega }_{\omega }\right)$ are examples of weakly compactly generated (WCG) Banach spaces which are Lipschitz isomorphic but not isomorphic.

Let be a Banach operator ideal. Based on the notion of -compactness in a Banach space due to Carl and Stephani, we deal with the notion of measure of non–compactness of an operator. We consider a map ${\chi }_{}$ (respectively, $n_{}$) acting on the operators of the surjective (respectively, injective) hull of such that ${\chi }_{}\left(T\right)=0$ (respectively, $n_{}\left(T\right)=0$) if and only if the operator T is -compact (respectively, injectively -compact). Under certain conditions on the ideal , we prove an equivalence inequality involving...

A Banach space $X$ has the reciprocal Dunford-Pettis property ($RDPP$) if every completely continuous operator $T$ from $X$ to any Banach space $Y$ is weakly compact. A Banach space $X$ has the $RDPP$ (resp. property $\left(wL\right)$) if every $L$-subset of $X^{*}$ is relatively weakly compact (resp. weakly precompact). We prove that the projective tensor product $X\otimes {}_{\pi }Y$ has property $\left(wL\right)$ when $X$ has the $RDPP$, $Y$ has property $\left(wL\right)$, and $L(X,Y^{*})=K(X,Y^{*})$.

A stronger version of the notion of frame in Banach space called Strong Retro Banach frame (SRBF) is defined and studied. It has been proved that if $𝒳$ is a Banach space such that ${𝒳}^{*}$ has a SRBF, then $𝒳$ has a Bi-Banach frame with some geometric property. Also, it has been proved that if a Banach space $𝒳$ has an approximative Schauder frame, then ${𝒳}^{*}$ has a SRBF. Finally, the existence of a non-linear SRBF in the conjugate of a separable Banach space has been proved.

This paper is concerned with the isomorphic structure of the Banach space ${\ell }_{\infty }/c₀$ and how it depends on combinatorial tools whose existence is consistent with but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that ${\ell }_{\infty }/c₀$ does not have an orthogonal ${\ell }_{\infty }$-decomposition, that is, it is not of the form ${\ell }_{\infty }\left(X\right)$ for any Banach space X. The main local result is that it is consistent that ${\ell }_{\infty }\left(c₀\left(\right)\right)$ does not embed isomorphically into ${\ell }_{\infty }/c₀$, where is the cardinality of the continuum,...

We give sufficient conditions for subsets of compact operators to be weakly precompact. Let $L_{w*}(E*,F)$ (resp. $K_{w*}(E*,F)$) denote the set of all w* - w continuous (resp. w* - w continuous compact) operators from E* to F. We prove that if H is a subset of $K_{w*}(E*,F)$ such that H(x*) is relatively weakly compact for each x* ∈ E* and H*(y*) is weakly precompact for each y* ∈ F*, then H is weakly precompact. We also prove the following results: If E has property (wV*) and F has property (V*), then $K_{w*}(E*,F)$ has property (wV*). Suppose...

The work is dedicated to investigating a limiting procedure for extending “local” integral operator equalities to “global” ones in the sense explained below, and to applying it to obtaining generalizations of the Newton-Leibniz formula for operator-valued functions for a wide class of unbounded operators. The integral equalities considered have the form $g\left(R_F\right)\int f_x\left(R_F\right)d\mu \left(x\right)=h\left(R_F\right)$. (1) They involve functions of the kind $X\ni x\mapsto f_x\left(R_F\right)\in B\left(F\right)$, where X is a general locally compact space, F runs over a suitable class of Banach subspaces...

Let G be a locally compact group. We use the canonical operator space structure on the spaces $L^p\left(G\right)$ for p ∈ [1,∞] introduced by G. Pisier to define operator space analogues $O{A}_p\left(G\right)$ of the classical Figà-Talamanca-Herz algebras $A_p\left(G\right)$. If p ∈ (1,∞) is arbitrary, then $A_p\left(G\right)\subset O{A}_p\left(G\right)$ and the inclusion is a contraction; if p = 2, then OA₂(G) ≅ A(G) as Banach spaces, but not necessarily as operator spaces. We show that $O{A}_p\left(G\right)$ is a completely contractive Banach algebra for each p ∈ (1,∞), and that $O{A}_q\left(G\right)\subset O{A}_p\left(G\right)$ completely contractively...

For Banach spaces $X$ and $Y$, let $K_{w^{*}}(X^{*},Y)$ denote the space of all $w^{*}-w$ continuous compact operators from $X^{*}$ to $Y$ endowed with the operator norm. A Banach space $X$ has the $wGP$ property if every Grothendieck subset of $X$ is relatively weakly compact. In this paper we study Banach spaces with property $wGP$. We investigate whether the spaces $K_{w^{*}}(X^{*},Y)$ and $X{\otimes }_{ϵ}Y$ have the $wGP$ property, when $X$ and $Y$ have the $wGP$ property.

Let ${\beta \left(n\right)}_{n=0}^{\infty }$ be a sequence of positive numbers and 1 ≤ p < ∞. We consider the space ${\ell }^p\left(\beta \right)$ of all power series $f\left(z\right)={\sum }_{n=0}^{\infty }f̂\left(n\right)zⁿ$ such that ${\sum }_{n=0}^{\infty }{\left|f̂\left(n\right)\right|}^p{\left|\beta \left(n\right)\right|}^p<\infty$. We give some sufficient conditions for the multiplication operator, $M_z$, to be unicellular on the Banach space ${\ell }^p\left(\beta \right)$. This generalizes the main results obtained by Lu Fang [1].

Let X, Y be Banach spaces and let (X,Y) be the space of bounded linear operators from X to Y. We develop the theory of double operator integrals on (X,Y) and apply this theory to obtain commutator estimates of the form $\left|\right|f\left(B\right)S-{Sf\left(A\right)\left|\right|}_{(X,Y)}\le const\left|\right|BS-{SA\left|\right|}_{(X,Y)}$ for a large class of functions f, where A ∈ (X), B ∈ (Y) are scalar type operators and S ∈ (X,Y). In particular, we establish this estimate for f(t): = |t| and for diagonalizable operators on $X={\ell }_p$ and $Y={\ell }_q$ for p < q. We also study the estimate above in the setting of Banach...

It is shown that there is a subspace $Z_q$ of ${\ell }_q$ for $1<q<2$ which is isomorphic to ${\ell }_q$ such that ${\ell }_q/Z_q$ does not have the approximation property. On the other hand, for $2<p<\infty$ there is a subspace $Y_p$ of ${\ell }_p$ such that $Y_p$ does not have the approximation property (AP) but the quotient space ${\ell }_p/Y_p$ is isomorphic to ${\ell }_p$. The result is obtained by defining random “Enflo-Davie spaces” $Y_p$ which with full probability fail AP for all $2<p\le \infty$ and have AP for all $1\le p\le 2$. For $1<p\le 2$, $Y_p$ are isomorphic to ${\ell }_p$.