Advanced Search

Using the method of forcing we prove that consistently there is a Banach space (of continuous functions on a totally disconnected compact Hausdorff space) of density κ bigger than the continuum where all operators are multiplications by a continuous function plus a weakly compact operator and which has no infinite-dimensional complemented subspaces of density continuum or smaller. In particular no separable infinite-dimensional subspace has a complemented superspace of density continuum or smaller,...

We construct a totally disconnected compact Hausdorff space K₊ which has clopen subsets K₊” ⊆ K₊’ ⊆ K₊ such that K₊” is homeomorphic to K₊ and hence C(K₊”) is isometric as a Banach space to C(K₊) but C(K₊’) is not isomorphic to C(K₊). This gives two nonisomorphic Banach spaces (necessarily nonseparable) of the form C(K) which are isomorphic to complemented subspaces of each other (even in the above strong isometric sense), providing a solution to the Schroeder-Bernstein problem for Banach spaces...

We construct a consistent example of a normal locally compact metacompact space which is not paracompact, answering a question of A. V. Arkhangel’skiĭ and F. Tall. An interplay between a tower in P(ω)/Fin, an almost disjoint family in ${\left[\omega \right]}^{\omega }$, and a version of an (ω,1)-morass forms the core of the proof. A part of the poset which forces the counterexample can be considered a modification of a poset due to Judah and Shelah for obtaining a Q-set by a countable support iteration.

We show that MA${}_{\sigma -centered}\left({\omega }_1\right)$ implies that normal locally compact metacompact spaces are paracompact, and that MA(${\omega }_1$) implies normal locally compact metalindelöf spaces are paracompact. The latter result answers a question of S. Watson. The first result implies that there is a model of set theory in which all normal locally compact metacompact spaces are paracompact, yet there is a normal locally compact metalindelöf space which is not paracompact.

Given a compact Hausdorff space K we consider the Banach space of real continuous functions C(Kⁿ) or equivalently the n-fold injective tensor product $\otimes {̂}_{\epsilon }^{n}C\left(K\right)$ or the Banach space of vector valued continuous functions C(K,C(K,C(K...,C(K)...). We address the question of the existence of complemented copies of c₀(ω₁) in $\otimes {̂}_{\epsilon }^{n}C\left(K\right)$ under the hypothesis that C(K) contains such a copy. This is related to the results of E. Saab and P. Saab that $X\otimes {̂}_{\epsilon }Y$ contains a complemented copy of c₀ if one of the infinite-dimensional Banach...

We consider the families of all subspaces of size ω₁ of $2^{\omega ₁}$ (or of a compact zero-dimensional space X of weight ω₁ in general) which are normal, have the Lindelöf property or are closed under limits of convergent ω₁-sequences. Various relations among these families modulo the club filter in ${\left[X\right]}^{\omega ₁}$ are shown to be consistently possible. One of the main tools is dealing with a subspace of the form X ∩ M for an elementary submodel M of size ω₁. Various results with this flavor are obtained. Another tool used...

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, while ${\ell }_{\infty }$...

We show that for each natural number n > 1, it is consistent that there is a compact Hausdorff totally disconnected space $K_{2n}$ such that $C\left(K_{2n}\right)$ has no uncountable (semi)biorthogonal sequence ${(f_{\xi },{\mu }_{\xi })}_{\xi \in \omega ₁}$ where ${\mu }_{\xi }$’s are atomic measures with supports consisting of at most 2n-1 points of $K_{2n}$, but has biorthogonal systems ${(f_{\xi },{\mu }_{\xi })}_{\xi \in \omega ₁}$ where ${\mu }_{\xi }$’s are atomic measures with supports consisting of 2n points. This complements a result of Todorcevic which implies that it is consistent that such spaces do not exist: he proves that its is...

We construct algebras of sets which are not MB-representable. The existence of such algebras was previously known under additional set-theoretic assumptions. On the other hand, we prove that every Boolean algebra is isomorphic to an MB-representable algebra of sets.

We investigate Banach space automorphisms $T:{\ell }_{\infty }/c₀\to {\ell }_{\infty }/c₀$ focusing on the possibility of representing their fragments of the form $T_{B,A}:{\ell }_{\infty }\left(A\right)/c₀\left(A\right)\to {\ell }_{\infty }\left(B\right)/c₀\left(B\right)$ for A,B ⊆ ℕ infinite by means of linear operators from ${\ell }_{\infty }\left(A\right)$ into ${\ell }_{\infty }\left(B\right)$, infinite A×B-matrices, continuous maps from B* = βB∖B into A*, or bijections from B to A. This leads to the analysis of general bounded linear operators on ${\ell }_{\infty }/c₀$. We present many examples, introduce and investigate several classes of operators, for some of them we obtain satisfactory representations and for others give...