Using the technique of Fraïssé theory, for every constant $K\ge 1$, we construct a universal object ${𝕌}_K$ in the class of Banach spaces possessing a normalized $K$-suppression unconditional Schauder basis.

We prove that the quasi-Banach spaces ${\ell }_p\left(c₀\right)$ and ${\ell }_p\left(\ell ₂\right)$ (0 < p < 1) have a unique unconditional basis up to permutation. Bourgain, Casazza, Lindenstrauss and Tzafriri have previously proved that the same is true for the respective Banach envelopes $\ell ₁\left(c₀\right)$ and ℓ₁(ℓ₂). They used duality techniques which are not available in the non-locally convex case.

Let ${Rₙ}_{n=1}^{\infty }$ be a commuting approximating sequence of the Banach space X leaving the closed subspace A ⊂ X invariant. Then we prove three-space results of the following kind: If the operators Rₙ induce basis projections on X/A, and X or A is an ${ℒ}_p$-space, then both X and A have bases. We apply these results to show that the spaces $C_{\Lambda }=\overline{span}{z}^k:k\in \Lambda \subset C\left(\right)$ and $L_{\Lambda }=\overline{span}{z}^k:k\in \Lambda \subset L₁\left(\right)$ have bases whenever Λ ⊂ ℤ and ℤ∖Λ is a Sidon set.

It is well known that if φ(t) ≡ t, then the system ${\phi ⁿ\left(t\right)}_{n=0}^{\infty }$ is not a Schauder basis in L₂[0,1]. It is natural to ask whether there is a function φ for which the power system ${\phi ⁿ\left(t\right)}_{n=0}^{\infty }$ is a basis in some Lebesgue space $L_p$. The aim of this short note is to show that the answer to this question is negative.

There exists a universal control sequence ${p̅\left(m\right)}_{m=1}^{\infty }$ of increasing positive integers such that: Every infinite-dimensional separable Banach space X has a biorthogonal system xₙ,xₙ* with ||xₙ|| = 1 and ||xₙ*|| < K for each n such that, for each x ∈ X, $x={\sum }_{n=1}^{\infty }{x}_{\pi \left(n\right)}*\left(x\right)x_{\pi \left(n\right)}$ where π(n) is a permutation of n which depends on x but is uniformly controlled by ${p̅\left(m\right)}_{m=1}^{\infty }$, that is, $n_{n=1}^m\subseteq \pi {\left(n\right)}_{n=1}^{p̅\left(m\right)}\subseteq n_{n=1}^{p̅(m+1)}$ for each m.

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...

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.

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 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...

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...

A necessary condition for Kostyuchenko type systems and system of powers to be a basis in $L_p$ (1 ≤ p < +∞) spaces is obtained. In particular, we find a necessary condition for a Kostyuchenko system to be a basis in $L_p$ (1 ≤ p < +∞).

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...

We introduce and study two new classes of Banach spaces, the so-called sequentially Right Banach spaces of order $p$, and those defined by the dual property, the sequentially Right${}^{*}$ Banach spaces of order $p$ for $1\le p\le \infty$. These classes of Banach spaces are characterized by the notions of $L_p$-limited sets in the corresponding dual space and $R_p^{*}$ subsets of the involved Banach space, respectively. In particular, we investigate whether the injective tensor product of a Banach space $X$ and a reflexive Banach...

A Banach space $X$ has Pełczyński’s property (V) if for every Banach space $Y$ every unconditionally converging operator $T:X\to Y$ is weakly compact. H. Pfitzner proved that $C^{*}$-algebras have Pełczyński’s property (V). In the preprint (Krulišová, (2015)) the author explores possible quantifications of the property (V) and shows that $C\left(K\right)$ spaces for a compact Hausdorff space $K$ enjoy a quantitative version of the property (V). In this paper we generalize this result by quantifying Pfitzner’s theorem. Moreover,...

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.

If $E=e_i$ and $F=f_i$ are two 1-unconditional basic sequences in L₁ with E r-concave and F p-convex, for some 1 ≤ r < p ≤ 2, then the space of matrices $a_{i,j}$ with norm $\left|\right|a_{i,j}{\left|\right|}_{E\left(F\right)}=\left|\right|{\sum }_k\left|\right|{\sum }_l{a}_{k,l}{f}_l\left|\right|e_k\left|\right|$ embeds into L₁. This generalizes a recent result of Prochno and Schütt.

By using the concepts of limited $p$-converging operators between two Banach spaces $X$ and $Y$, $L_p$-sets and $L_p$-limited sets in Banach spaces, we obtain some characterizations of these concepts relative to some well-known geometric properties of Banach spaces, such as $*$-Dunford–Pettis property of order $p$ and Pelczyński’s property of order $p$, $1\le p<\infty$.

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...

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⃗.

Geometric structure of Cesàro function spaces $Ce{s}_p\left(I\right)$, where I = [0,1] and [0,∞), is investigated. Among other matters we present a description of their dual spaces, characterize the sets of all q ∈ [1,∞] such that $Ce{s}_p[0,1]$ contains isomorphic and complemented copies of $l_q$-spaces, show that Cesàro function spaces fail the fixed point property, give a description of subspaces generated by Rademacher functions in spaces $Ce{s}_p[0,1]$.

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.

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.

In this note we survey the partial results needed to show the following general theorem: $l_p\left(l_q\right):1\le p,q\le +\infty$ is a family of mutually non isomorphic Banach spaces. We also comment some related facts and open problems.

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].

Applying results of the infinitary Ramsey theory, namely the dichotomy principle of Galvin-Prikry, we show that for every sequence ${\left({\alpha }_j\right)}_{j=1}^{\infty }$ of scalars, there exists a subsequence ${\left({\alpha }_{k_j}\right)}_{j=1}^{\infty }$ such that either every subsequence of ${\left({\alpha }_{k_j}\right)}_{j=1}^{\infty }$ defines a universal series, or no subsequence of ${\left({\alpha }_{k_j}\right)}_{j=1}^{\infty }$ defines a universal series. In particular examples we decide which of the two cases holds.

Let $Q={\left(q_n\right)}_{n=1}^{\infty }$ be a sequence of bases with $q_i\ge 2$. In the case when the $q_i$ are slowly growing and satisfy some additional weak conditions, we provide a construction of a number whose $Q$-Cantor series expansion is both $Q$-normal and $Q$-distribution normal. Moreover, this construction will result in a computable number provided we have some additional conditions on the computability of $Q$, and from this construction we can provide computable constructions of numbers with atypical normality properties. ...

The results of the first part concern the existence of higher order ℓ₁ spreading models in asymptotic ℓ₁ Banach spaces. We sketch the proof of the fact that the mixed Tsirelson space T[(ₙ,θₙ)ₙ], ${\theta }_{n+m}\ge \theta ₙ\theta ₘ$ and $li{m}_n\theta {ₙ}^{1/n}=1$, admits an $\ell {₁}^{\omega }$ spreading model in every block subspace. We also prove that if X is a Banach space with a basis, with the property that there exists a sequence (θₙ)ₙ ⊂ (0,1) with $li{m}_n\theta {ₙ}^{1/n}=1$, such that, for every n ∈ ℕ, $\left|\right|{\sum }_{k=1}^m{x}_k\left|\right|\ge \theta ₙ{\sum }_{k=1}^m\left|\right|x_k\left|\right|$ for every ₙ-admissible block sequence ${\left(x_k\right)}_{k=1}^m$ of vectors in X, then there exists c...

We study weakly precompact sets and operators. We show that an operator is weakly precompact if and only if its adjoint is pseudo weakly compact. We study Banach spaces with the $p$-$L$-limited${}^{*}$ and the $p$-(SR${}^{*}$) properties and characterize these classes of Banach spaces in terms of $p$-$L$-limited${}^{*}$ and $p$-Right${}^{*}$ subsets. The $p$-$L$-limited${}^{*}$ property is studied in some spaces of operators.

Let ${\sigma }_A\left(n\right)=\left|(a,a^{\text{'}})\in A²:a+a^{\text{'}}=n\right|$, where n ∈ N and A is a subset of N. Erdős and Turán conjectured that for any basis A of order 2 of N, ${\sigma }_A\left(n\right)$ is unbounded. In 1990, Imre Z. Ruzsa constructed a basis A of order 2 of N for which ${\sigma }_A\left(n\right)$ is bounded in the square mean. In this paper, we show that there exists a positive integer m₀ such that, for any integer m ≥ m₀, we have a set A ⊂ Zₘ such that A + A = Zₘ and ${\sigma }_A\left(n̅\right)\le 768$ for all n̅ ∈ Zₘ.

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 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...