English

On biorthogonal systems whose functionals are finitely supported

Functional Analysis 2010-05-20 v1

Abstract

We show that for each natural n>1n>1 it is consistent that there is a compact Hausdorff space K2nK_{2n} such that in C(K2n)C(K_{2n}) there is no uncountable (semi)biorthogonal sequence (fξ,μξ)ξω1(f_\xi,\mu_\xi)_{\xi\in \omega_1} where μξ\mu_\xi's are atomic measures with supports consisting of at most 2n12n-1 points of K2nK_{2n}, but there are biorthogonal systems (fξ,μξ)ξω1(f_\xi,\mu_\xi)_{\xi\in \omega_1} where μξ\mu_\xi's are atomic measures with supports consisting of 2n2n points. This complements a result of Todorcevic that it is consistent that each nonseparable Banach space C(K)C(K) has an uncountable biorthogonal system where the functionals are measures of the form δxξδyξ\delta_{x_\xi}-\delta_{y_\xi} for ξ<ω1\xi<\omega_1 and xξ,yξKx_\xi,y_\xi\in K. It also follows that it is consistent that the irredundance of the Boolean algebra Clop(K)Clop(K) or the Banach algebra C(K)C(K) for KK totally disconnected can be strictly smaller than the sizes of biorthogonal systems in C(K)C(K). The compact spaces exhibit an interesting behaviour with respect to known cardinal functions: the hereditary density of the powers K2nkK_{2n}^k is countable up to k=nk=n and it is uncountable (even the spread is uncountable) for k>nk>n.

Keywords

Cite

@article{arxiv.1005.3532,
  title  = {On biorthogonal systems whose functionals are finitely supported},
  author = {Christina Brech and Piotr Koszmider},
  journal= {arXiv preprint arXiv:1005.3532},
  year   = {2010}
}
R2 v1 2026-06-21T15:25:13.423Z