Extending a result of Mashreghi and Ransford, we prove that every complex separable infinite dimensional Fréchet space with a continuous norm is isomorphic to a space continuously included in a space of holomorphic functions on the unit disc or the complex plane, which contains the polynomials as a dense subspace. As a consequence examples of nuclear Fréchet spaces of holomorphic functions without the bounded approximation exist.
Recent developments in Banach space theory provided unexpected examples of unital Banach algebras that are isomorphic to Calkin algebras of Banach spaces, however no example of a unital Banach algebra that cannot be realised as a~Calkin algebra has been found so far. This naturally led to the question of possible limitations of such assignments. In the present note we provide examples of unital Banach algebras meeting the necessary density condition for being the Calkin algebra of a separable Banach space that are not isomorphic to Calkin algebras of such spaces, nonetheless. The examples may …
In the first part of our note we prove that every Weakly Lindelöf Determined (WLD) (in particular, every reflexive) non-separable Banach $X$ space contains two dense linear subspaces $Y$ and $Z$ that are not densely isomorphic. This means that there are no further dense linear subspaces $Y_0$ and $Z_0$ of $Y$ and $Z$ which are linearly isomorphic. Our main result (Theorem B) concerns the existence of biorthogonal systems in normed spaces. In particular, we prove under the Continuum Hypothesis (CH) that there exists a dense linear subspace of $\ell_2(ω_1)$ (or more generally every WLD space of …
We show that there exist $\mathcal L_\infty$-subspaces of separable isomorphically polyhedral Lindenstrauss spaces that cannot be renormed to be a Lindenstrauss space.
A Banach space is polyhedral if the unit ball of each of its finite dimensional subspaces is a polyhedron. It is known that a polyhedral Banach space has a separable dual and is $c_0$-saturated, i.e., each closed infinite dimensional subspace contains an isomorph of $c_0$. In this paper, we show that the Orlicz sequence space $h_M$ is isomorphic to a polyhedral Banach space if $\lim_{t\to 0}M(Kt)/M(t) = \infty$ for some $K < \infty$. We also construct an Orlicz sequence space $h_M$ which is $c_0$-saturated, but which is not isomorphic to any polyhedral Banach space. This shows that being $c_0$…
We show that the classes of separable reflexive Banach spaces and of spaces with separable dual are strongly bounded. This gives a new proof of a recent result of E. Odell and Th. Schlumprecht, asserting that there exists a separable reflexive Banach space containing isomorphic copies of every separable uniformly convex Banach spaces.
Based on a construction method introduced by J. Bourgain and F. Delbaen, we give a general definition of a Bourgain-Delbaen space and prove that every infinite dimensional separable $\mathcal{L}_\infty$-space is isomorphic to such a space. Furthermore, we provide an example of a $\mathcal{L}_\infty$ and asymptotic $c_0$ space not containing $c_0$.
Let $X$ be a Banach space with a separable dual. We prove that $X$ embeds isomorphically into a $\cL_\infty$ space $Z$ whose dual is isomorphic to $\ell_1$. If, moreover, $U$ is a space so that $U$ and $X$ are totally incomparable, then we construct such a $Z$, so that $Z$ and $U$ are totally incomparable. If $X$ is separable and reflexive, we show that $Z$ can be made to be somewhat reflexive.
It is proved that there exists a separable reflexive Banach space W that contains an isomorphic image of every separable superreflexive Banach space. This gives the affirmative answer on one J. Bourgain's question
It is shown that every separable reflexive Banach space is a quotient of a reflexive Hereditarily Indecomposable space, which yields that every separable reflexive Banach is isomorphic to a subspace of a reflexive Indecomposable space. Furthermore, every separable reflexive Banach space is a quotient of a reflexive complementably $\ell_p$ saturated space with $1<p<\infty$ and of a $c_0$ saturated space.
We construct a continuum of mutually non-isomorphic separable Banach spaces which are complemented in each other. Consequently, the Schroeder-Bernstein Index of any of these spaces is $2^{\aleph_0}$. Our construction is based on a Banach space introduced by W. T. Gowers and B. Maurey in 1997. We also use classical descriptive set theory methods, as in some work of V. Ferenczi and C. Rosendal, to improve some results of P. G. Casazza and of N. J. Kalton on the Schroeder-Bernstein Property for spaces with an unconditional finite-dimensional Schauder decomposition.
A separable Banach space X contains $\ell_1$ isomorphically if and only if X has a bounded wc_0^*-stable biorthogonal system. The dual of a separable Banach space X fails the Schur property if and only if X has a bounded wc_0^*-biorthogonal system.
We show that there exists a separable reflexive Banach space into which every separable uniformly convex Banach space isomorphically embeds. This solves a problem of J. Bourgain. We also give intrinsic characterizations of separable reflexive Banach spaces which embed into a reflexive space with a block $q$-Hilbertian and/or a block $p$-Besselian finite dimensional decomposition.
We show that if $X$ and $Y$ are Banach spaces, where $Y$ is separable and polyhedral, and if $T:X \to Y$ is a bounded linear operator such that $T^*(Y^*)$ contains a boundary $B$ of $X$, then $X$ is separable and isomorphic to a polyhedral space. Some corollaries of this result are presented.
Employing a construction of Tsirelson-like spaces due to Argyros and Deliyanni, we show that the class of all Banach spaces which are isomorphic to a subspace of $c_{0}$ is a complete analytic set with respect to the Effros Borel structure of separable Banach spaces. Moreover, the classes of all separable spaces with the Schur property and of all separable spaces with the Dunford-Pettis property are $\mathbfΠ^{1}_{2}$-complete.
In article is constructed a wide couple of pairwice non-isomorphic separable superreflexive Banach spaces E that are subspace homogeneous. Their conjugates are quotient homogeneous. None of this couple neither isomorphic to its Cartesian square nor has the approximation property. At the same time, any such E is isomorphic to E+ E+ W for some Banach space W and, hence, solves the Schroeder - Bernstein problem.
We find characterizations of Vašák spaces and weakly $\mathcal{K}$-analytic spaces using the notions of separable projectional resolution of the identity (SPRI) and of projectional skeleton. This in particular addresses a recent challenge suggested by M. Fabian and V. Montesinos in \cite{FM18}. Our method of proof also gives similar characterizations of WCG spaces and their subspaces (some aspects of which were known, some are new). Moreover we show that for countably many projectional skeletons $\{\mathfrak{s}_n: n \in ω\}$ on a Banach space inducing the same set, there exists a projectional …
An example of an infinite dimensional and separable Banach space is given, that is not isomorphic to a subspace of l1 with no infinite equilateral sets.
Given a natural number $k \geq 2$, we construct a hereditarily indecomposable, $\mathscr{L}_{\infty}$ space, $X_k$ with dual isomorphic to $\ell_1$. We exhibit a non-compact, strictly singular operator $S$ on $X_k$, with the property that $S^k = 0$ and $S^j (0 \leq j \leq k-1)$ is not a compact perturbation of any linear combination of $S^l, l \neq j$. Moreover, every bounded linear operator on this space has the form $\sum_{i=0}^{k-1} λ_i S^i +K$ where the $λ_i$ are scalars and $K$ is compact. In particular, this construction answers a question of Argyros and Haydon ("A hereditarily indecompo…
Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z) \ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of $\ell_\infty$.
The present paper contributes to the ongoing programme of quantification of isomorphic Banach space theory focusing on Pełczyński's classical work on dual Banach spaces containing $L_{1}$ ($=L_{1}[0,1]$) and the Hagler--Stegall characterisation of dual spaces containing complemented copies of $L_{1}$. We prove the following quantitative version of the Hagler--Stegall theorem asserting that for a Banach space $X$ the following statements are equivalent: $\bullet$ $X$ contains almost isometric copies of $(\bigoplus_{n=1}^{\infty} \ell_{\infty}^{n})_{\ell_1}$, $\bullet$ for all $\varepsilon>0$, $…
Is shown that any separable superreflexive Banach space X may be isometrically embedded in a separable superreflexive Banach space Z=Z(X) (which, in addition, is of the same type and cotype as X) such that its conjugate admits a continuous surjection on each its subspace. This gives an affirmative answer on S. Banach problem: Whether there exists a Banach space X, non isomorphic to a Hilbert space, which admits a continuous linear surjection on each its subspace and is essentially different from l_1?
It was proved by Argyros and Dodos that, for many classes $ C $ of separable Banach spaces which share some property $ P $, there exists an isomorphically universal space that satisfies $ P $ as well. We introduce a variant of their amalgamation technique which provides an isometrically universal space in the case that $ C $ consists of spaces with a monotone Schauder basis. For example, we prove that if $ C $ is a set of separable Banach spaces which is analytic with respect to the Effros-Borel structure and every $ X \in C $ is reflexive and has a monotone Schauder basis, then there exists a…
Let $X$, $Y$ be two real Banach spaces and $\varepsilon>0$. A standard $\varepsilon$-isometry $f:X\rightarrow Y$ is said to be $(α,γ)$-stable (with respect to $T:L(f)\equiv\overline{\rm span}f(X)\rightarrow X$ for some $α, γ>0$) if $T$ is a linear operator with $\|T\|\leqα$ so that $Tf-Id$ is uniformly bounded by $γ\varepsilon$ on $X$. The pair $(X,Y)$ is said to be stable if every standard $\varepsilon$-isometry $f:X\rightarrow Y$ is $(α,γ)$-stable for some $α,γ>0$. $X (Y)$ is said to be universally left (right)-stable, if $(X,Y)$ is always stable for every $Y (X)$. In this paper, we show tha…
For $Ω$ bounded and open subset of $\mathbb{R}^{d_{0}}$ and $X$ a reflexive Banach space with 1-symmetric basis, the function space $JF_{X}(Ω)$ is defined. This class of spaces includes the classical James function space. Every member of this class is separable and has non-separable dual. We provide a proof of topological nature that $JF_{X}(Ω)$ does not contain an isomorphic copy of $\ell_{1}$. We also investigate the structure of these spaces and their duals.
We prove that a WLD subspace of the space $\ell_\infty^c(Γ)$ consisting of all bounded, countably supported functions on a set $Γ$ embeds isomorphically into $\ell_\infty$ if and only if it does not contain isometric copies of $c_0(ω_1)$. Moreover, a subspace of $\ell_\infty^c(ω_1)$ is constructed that has an unconditional basis, does not embed into $\ell_\infty$, and whose every weakly compact subset is separable (in particular, it cannot contain any isomorphic copies of $c_0(ω_1)$).
Let $X$ and $Y$ be separable Banach spaces. Suppose $Y$ either has a shrinking basis or $Y$ is isomorphic to $C(2^\mathbb{N})$ and $A$ is a subset of weakly compact operators from $X$ to $Y$ which is analytic in the strong operator topology. We prove that there is a reflexive space with a basis $Z$ such that every $T \in A$ factors through $Z$. Likewise, we prove that if $A \subset L(X, C(2^\mathbb{N}))$ is a set of operators whose adjoints have separable range and is analytic in the strong operator topology then there is a Banach space $Z$ with separable dual such that every $T \in A$ factors…
Isomorphic classification of symmetric spaces is an important problem related to the study of symmetric structures in arbitrary Banach spaces. This research was initiated in the seminal work of Johnson, Maurey, Schechtman and Tzafriri (JMST, 1979). Somewhat later it was extended by Kalton to lattice structures (1993). In particular, in JMST (see also Lindenstrauss-Tzafriri book [1979, Section 2.f]) it was shown that the space $L_2 \cap L_p$ for $2 \leq p < \infty$ (resp. $L_2+L_p$ for $1 < p \leq 2$) is isomorphic to $L_p$. A detailed investigation of various properties of separable sums and i…
A problem of Banach asks whether every infinite-dimensional Banach space which is isomorphic to all its infinite-dimensional subspaces must be isomorphic to a separable Hilbert space. In this paper we prove a result of a Ramsey-theoretic nature which implies an interesting dichotomy for subspaces of Banach spaces. Combined with a result of Komorowski and Tomczak-Jaegermann, this gives a positive answer to Banach's problem. We then generalize the Ramsey-theoretic result and deduce a further dichotomy for Banach spaces with an unconditional basis.
We introduce and study multivariate generalizations of the classical BV spaces of Jordan, F. Riesz and Wiener. The family of the introduced spaces contains or is intimately related to a considerable class of function spaces of modern analysis including BMO, BV, Morrey spaces and those of Sobolev of arbitrary smoothness, Besov and Triebel-Lizorkin spaces. We prove under mild restrictions that the BV spaces of this family are dual and present constructive characterizations of their preduals via atomic decompositions. Moreover, we show that under additional restrictions such a predual space is is…
We show that the class of all Banach spaces which are isomorphic to $ c_{0} $ is a complete analytic set with respect to the Effros Borel structure of separable Banach spaces. The proof employs a recent Bourgain-Delbaen construction by Argyros, Gasparis and Motakis.
If Z is a quotient of a subspace of a separable Banach space X, and V is any separable Banach space, then there is a Banach couple (A_0,A_1) such that A_0 and A_1 are isometric to $X\oplus V$, and any intermediate space obtained using the real or complex interpolation method contains a complemented subspace isomorphic to Z. Thus many properties of Banach spaces, including having non-trivial cotype, having the Radon-Nikodym property, and having the analytic unconditional martingale difference sequence property, do not pass to intermediate spaces.
We study those Banach spaces $X$ for which $S_X$ does not admit a finite $\eps$-net consisting of elements of $S_X$ for any $\eps < 2$. We give characterisations of this class of spaces in terms of $\ell_1$-type sequences and in terms of the almost Daugavet property. The main result of the paper is: a separable Banach space $X$ is isomorphic to a space from this class if and only if $X$ contains an isomorphic copy of $\ell_1$.
A Banach space $X$ is reflexive if the Mackey topology $τ(X^*,X)$ on $X^*$ agrees with the norm topology on $X^*$. Borwein [B] calls a Banach space $X$ {\it sequentially reflexive\/} provided that every $τ(X^*,X)$ convergent {\it sequence\/} in $X^*$ is norm convergent. The main result in [B] is that $X$ is sequentially reflexive if every separable subspace of $X$ has separable dual, and Borwein asks for a characterization of sequentially reflexive spaces. Here we answer that question by proving \proclaim Theorem. {\sl A Banach space $X$ is sequentially reflexive if and only if $\ell_1$ is not…
We prove a commutative Gelfand--Naimark type theorem, by showing that the set $C_s(X)$ of continuous bounded (real or complex valued) functions with separable support on a locally separable metrizable space $X$ (provided with the supremum norm) is a Banach algebra, isometrically isomorphic to $C_0(Y)$, for some unique (up to homeomorphism) locally compact Hausdorff space $Y$. The space $Y$, which we explicitly construct as a subspace of the Stone--Čech compactification of $X$, is countably compact, and if $X$ is non-separable, is moreover non-normal; in addition $C_0(Y)=C_{00}(Y)$. When the un…
We prove that if X is a separable infinite dimensional Banach space then its isomorphism class has infinite diameter with respect to the Banach-Mazur distance. One step in the proof is to show that if X is elastic then X contains an isomorph of c_0. We call X elastic if for some K < infinity for every Banach space Y which embeds into X, the space Y is K-isomorphic to a subspace of X. We also prove that if X is a separable Banach space such that for some K < infinity every isomorph of X is K-elastic then X is finite dimensional.
Chaotic linear dynamics deals primarily with various topological ergodic properties of semigroups of continuous linear operators acting on a topological vector space. We treat questions of characterizing which of the spaces from a given class support a semigroup of prescribed shape satisfying a given topological ergodic property. In particular, we characterize countable inductive limits of separable Banach spaces that admit a hypercyclic operator, show that there is a non-mixing hypercyclic operator on a separable infinite dimensional complex Fréchet space $X$ if and only if $X$ is non-isomorp…
The spectral theory for weakly stationary processes valued in a separable Hilbert space has known renewed interest in the past decade. Here we follow earlier approaches which fully exploit the normal Hilbert module property of the time domain. The key point is to build the Gramian-Cramér representation as an isomorphic mapping from the modular spectral domain to the modular time domain. We also discuss the general Bochner theorem and provide useful results on the composition and inversion of lag-invariant linear filters. Finally, we derive the Cramér-Karhunen-Loève decomposition and harmonic f…
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…
Let SB be the standard coding for separable Banach spaces as subspaces of $C(Δ)$. In these notes, we show that if $\mathbb{B} \subset \text{SB}$ is a Borel subset of spaces with separable dual, then the assignment $X \mapsto X^*$ can be realized by a Borel function $\mathbb{B}\to \text{SB}$. Moreover, this assignment can be done in such a way that the functional evaluation is still well defined (Theorem $1$). Also, we prove a Borel parametrized version of Zippin's theorem, i.e., we prove that there exists $Z \in \text{SB}$ and a Borel function that assigns for each $X \in \mathbb{B}$ an isomor…
We prove a structural property of the class of unconditionally saturated separable Banach spaces. We show, in particular, that for every analytic set $\aaa$, in the Effros-Borel space of subspaces of $C[0,1]$, of unconditionally saturated separable Banach spaces, there exists an unconditionally saturated Banach space $Y$, with a Schauder basis, that contains isomorphic copies of every space $X$ in the class $\aaa$.
Mathematical Institute, University of Wrocław（弗罗茨瓦夫大学数学研究所）；Faculty of Mathematics, Informatics and Mechanics, University of Warsaw（华沙大学数学、信息学和力学学院）；Institute of Mathematics, Polish Academy of Sciences（波兰科学院数学研究所）
We construct a compact linearly ordered space $K$ of weight aleph one, such that the space $C(K)$ is not isomorphic to a Banach space with a projectional resolution of the identity, while on the other hand, $K$ is a continuous image of a Valdivia compact and every separable subspace of $C(K)$ is contained in a 1-complemented separable subspace. This answers two questions due to O. Kalenda and V. Montesinos.
We prove that the Lipschitz-free space over a separable ultrametric space has a monotone Schauder basis and is isomorphic to $\ell_1$. This extends results of A. Dalet using an alternative approach.
We consider a countably generated and uniformly closed algebra of bounded functions. We assume that there is a lower semicontinuous, with respect to the supremum norm, quadratic form and that normal contractions operate in a certain sense. Then we prove that a subspace of the effective domain of the quadratic form is naturally isomorphic to a core of a regular Dirichlet form on a locally compact separable metric space. We also show that any Dirichlet form on a countably generated measure space can be approximated by essentially discrete Dirichlet forms, i.e. energy forms on finite weighted gra…
Let $X$ and $Y$ be Banach spaces, and $T:X^*\to Y$ be an operator. We prove that if $X$ is Asplund and $Y$ has the approximation property, then for each Radon probability $μ$ on $(B_{X^*},w^*)$ there is a sequence of $w^*$-to-norm continuous operators $T_n:X^*\to Y$ such that $\|T_n(x^*)-T(x^*)\| \to 0$ for $μ$-a.e. $x^*\in B_{X^*}$; if $Y$ has the $λ$-bounded approximation property for some $λ\geq 1$, then the sequence can be chosen in such a way that $\|T_n\|\leq λ\|T\|$ for all $n\in \mathbb{N}$. The same conclusions hold if $X$ contains no subspace isomorphic to $\ell_1$, $Y$ has the appro…
Let $E$ be a $(\mathrm{IV})$-polyhedral Banach space. We show that, for each $ε>0$, $E$ admits an $ε$-equivalent $\mathrm{(V)}$-polyhedral norm such that the corresponding closed unit ball is the closed convex hull of its extreme points. In particular, we obtain that every separable isomorphically polyhedral Banach space, for each $ε>0$, admits an $ε$-equivalent $(\mathrm{V})$-polyhedral norm such that the corresponding closed unit ball is the closed convex hull of its extreme points.
Let $X$ be a separable nonquasireflexive Banach space. Let $Y$ be a Banach space isomorphic to a subspace of $X^*$. The paper is devoted to the following questions: 1. Under what conditions does there exist an isomorphic embedding $T:Y\to X^*$ such that subspace $T(Y)\subset X^*$ is total? 2. If such embeddings exist, what are the possible orders of $T(Y)$? Here we need to recall some definitions. For a subset $M\subset X^*$ we denote the set of all limits of weak$^*$ convergent sequences in $M$ by $M_{(1)}$. Inductively, for ordinal number $α$ we let $$M_{(α)}=\cup_{β<α}(M_{(β)})_{(1)}.$$ The…
