We prove that the unit sphere of every infinite-dimensional Banach space X contains an α-separated sequence, for every $0<\alpha <1+\delta {̅}_X\left(1\right)$, where $\delta {̅}_X$ denotes the modulus of asymptotic uniform convexity of X.

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

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.

Let T be a linear operator on a Banach space X with $supₙ\left|\right|Tⁿ/n^w\left|\right|<\infty$ for some 0 ≤ w < 1. We show that the following conditions are equivalent: (i) $n^{-1}{\sum }_{k=0}^{n-1}{T}^k$ converges uniformly; (ii) $cl(I-T)X=z\in X:li{m}_n{\sum }_{k=1}^n{T}^{k}z/kexists$.

We study solutions of first order partial differential relations $Du\in K$, where $u:\Omega \subset {ℝ}^n\to {ℝ}^m$ is a Lipschitz map and $K$ is a bounded set in $m\times n$ matrices, and extend Gromov’s theory of convex integration in two ways. First, we allow for additional constraints on the minors of $Du$ and second we replace Gromov’s $P$−convex hull by the (functional) rank-one convex hull. The latter can be much larger than the former and this has important consequences for the existence of ‘wild’ solutions to elliptic systems. Our...

If X is a Banach space and C ⊂ X a convex subset, for x** ∈ X** and A ⊂ X** let d(x**,C) = inf||x**-x||: x ∈ C be the distance from x** to C and d̂(A,C) = supd(a,C): a ∈ A. Among other things, we prove that if X is an order-continuous Banach lattice and K is a w*-compact subset of X** we have: (i) $d̂({\overline{co}}^{w*}\left(K\right),X)\le 2d̂(K,X)$ and, if K ∩ X is w*-dense in K, then $d̂({\overline{co}}^{w*}\left(K\right),X)=d̂(K,X)$; (ii) if X fails to have a copy of ℓ₁(ℵ₁), then $d̂({\overline{co}}^{w*}\left(K\right),X)=d̂(K,X)$; (iii) if X has a 1-symmetric basis, then $d̂({\overline{co}}^{w*}\left(K\right),X)=d̂(K,X)$.

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.

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

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.

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.

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

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

Let (X,||·||) be a separable real Banach space. Let f be a real-valued strongly α(·)-paraconvex function defined on an open convex subset Ω ⊂ X, i.e. such that $f(tx+(1-t\left)y\right)\le tf\left(x\right)+(1-t)f\left(y\right)+min[t,(1-t\left)\right]\alpha \left(\right||x-y|\left|\right)$. Then there is a dense $G_{\delta }$-set $A_G\subset \Omega$ such that f is Gateaux differentiable at every point of $A_G$.

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.

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.

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

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.

An investigation is launched into the fundamental characteristics of operations on and between sets, with a focus on compact convex sets and star sets (compact sets star-shaped with respect to the origin) in $n$-dimensional Euclidean space ${ℝ}^n$. It is proved that if $n\ge 2$, with three trivial exceptions, an operation between origin-symmetric compact convex sets is continuous in the Hausdorff metric, $GL\left(n\right)$ covariant, and associative if and only if it is $L_p$ addition for some $1\le p\le \infty$. It is also demonstrated...

The paper deals with logarithmic capacities, an important tool in pluripotential theory. We show that a class of capacities, which contains the L-capacity, has the following product property: $C_{\nu }\left(E₁\times E₂\right)=min(C_{\nu ₁}\left(E₁\right),C_{\nu ₂}\left(E₂\right))$, where $E_j$ and ${\nu }_j$ are respectively a compact set and a norm in ${ℂ}^{N_j}$ (j = 1,2), and ν is a norm in ${ℂ}^{N₁+N₂}$, ν = ν₁⊕ₚ ν₂ with some 1 ≤ p ≤ ∞. For a convex subset E of ${ℂ}^N$, denote by C(E) the standard L-capacity and by ${\omega }_E$ the minimal width of E, that is, the minimal Euclidean distance between two supporting hyperplanes...

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.

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.

The slicing problem can be reduced to the study of isotropic convex bodies K with $diam\left(K\right)\le c\surd n{L}_K$, where $L_K$ is the isotropic constant. We study the ψ₂-behaviour of linear functionals on this class of bodies. It is proved that ${\left|\right|⟨·,\theta ⟩\left|\right|}_{\psi ₂}\le C{L}_K$ for all θ in a subset U of $S^{n-1}$ with measure σ(U) ≥ 1 - exp(-c√n). However, there exist isotropic convex bodies K with uniformly bounded geometric distance from the Euclidean ball, such that $ma{x}_{\theta \in S^{n-1}}{\left|\right|⟨·,\theta ⟩\left|\right|}_{\psi ₂}\ge c∜n{L}_K$. In a different direction, we show that good average ψ₂-behaviour of linear functionals...

Let $Con{v}_F\left(ℝⁿ\right)$ be the space of all non-empty closed convex sets in Euclidean space ℝ ⁿ endowed with the Fell topology. We prove that $Con{v}_F\left(ℝⁿ\right)\approx ℝⁿ\times Q$ for every n > 1 whereas $Con{v}_F\left(ℝ\right)\approx ℝ\times$.

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

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

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.

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.

Let ν be a positive measure on a σ-algebra Σ of subsets of some set and let X be a Banach space. Denote by ca(Σ,X) the Banach space of X-valued measures on Σ, equipped with the uniform norm, and by ca(Σ,ν,X) its closed subspace consisting of those measures which vanish at every ν-null set. We are concerned with the subsets ${}_{\nu }\left(X\right)$ and ${}_{\nu }\left(X\right)$ of ca(Σ,X) defined by the conditions |φ| = ν and |φ| ≥ ν, respectively, where |φ| stands for the variation of φ ∈ ca(Σ,X). We establish necessary and sufficient...

We introduce higher order spreading models associated to a Banach space X. Their definition is based on ℱ-sequences ${\left(x_s\right)}_{s\in ℱ}$ with ℱ a regular thin family and on plegma families. We show that the higher order spreading models of a Banach space X form an increasing transfinite hierarchy ${\left({ℳ}_{\xi }\left(X\right)\right)}_{\xi <\omega ₁}$. Each ${ℳ}_{\xi }\left(X\right)$ contains all spreading models generated by ℱ-sequences ${\left(x_s\right)}_{s\in ℱ}$ with order of ℱ equal to ξ. We also study the fundamental properties of this hierarchy.

We study order convexity and concavity of quasi-Banach Lorentz spaces ${\Lambda }_{p,w}$, where 0 < p < ∞ and w is a locally integrable positive weight function. We show first that ${\Lambda }_{p,w}$ contains an order isomorphic copy of $l^p$. We then present complete criteria for lattice convexity and concavity as well as for upper and lower estimates for ${\Lambda }_{p,w}$. We conclude with a characterization of the type and cotype of ${\Lambda }_{p,w}$ in the case when ${\Lambda }_{p,w}$ is a normable space.

Let K be a closed convex cone with nonempty interior in a real Banach space and let cc(K) denote the family of all nonempty convex compact subsets of K. A family $F^t:t\ge 0$ of continuous linear set-valued functions $F^t:K\to cc\left(K\right)$ is a differentiable iteration semigroup with F⁰(x) = x for x ∈ K if and only if the set-valued function $\Phi (t,x)=F^t\left(x\right)$ is a solution of the problem $D_t\Phi (t,x)=\Phi (t,G\left(x\right)):=\bigcup \Phi (t,y):y\in G\left(x\right)$, Φ(0,x) = x, for x ∈ K and t ≥ 0, where $D_t\Phi (t,x)$ denotes the Hukuhara derivative of Φ(t,x) with respect to t and $G\left(x\right):=li{m}_{s\to 0+}(F^s\left(x\right)-x)/s$ for x ∈ K.

Suppose that A and B are unital Banach algebras with units $1_A$ and $1_B$, respectively, M is a unital Banach A,B-module, $=\left[\begin{array}{cc}A& M\\ 0& B\end{array}\right]$ is the triangular Banach algebra, X is a unital -bimodule, $X_{AA}=1_{A}X{1}_A$, $X_{BB}=1_{B}X{1}_B$, $X_{AB}=1_{A}X{1}_B$ and $X_{BA}=1_{B}X{1}_A$. Applying two nice long exact sequences related to A, B, , X, $X_{AA}$, $X_{BB}$, $X_{AB}$ and $X_{BA}$ we establish some results on (co)homology of triangular Banach algebras.

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)}$.