On biorthogonal systems whose functionals are finitely supported
Volume 213 / 2011
Abstract
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(K_{2n})$ has no uncountable (semi)biorthogonal sequence $(f_\xi,\mu_\xi)_{\xi\in \omega_1}$ 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_1}$ 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 consistent that for any nonmetrizable compact Hausdorff totally disconnected space $K$, the Banach space $C(K)$ has an uncountable biorthogonal system where the functionals are measures of the form $\delta_{x_\xi}-\delta_{y_\xi}$ for $\xi<\omega_1$ and $x_\xi,y_\xi\in K$. It also follows from our results that it is consistent that the irredundance of the Boolean algebra ${\rm Clop}(K)$ for a totally disconnected $K$ or of the Banach algebra $C(K)$ can be strictly smaller than the sizes of biorthogonal systems in $C(K)$. The compact spaces exhibit an interesting behaviour with respect to known cardinal functions: the hereditary density of the powers $K_{2n}^k$ is countable up to $k=n$ and it is uncountable (even the spread is uncountable) for $k>n$.
