On biorthogonal systems whose functionals are finitely supported

Abstract: We show that for each natural

n > 1

it is consistent that there is a compact Hausdorff space

K_{2 n}

such that in

C (K_{2 n})

there is no uncountable (semi)biorthogonal sequence

(f_{x} i, m u_{x} i)_{x i i n o m e g a_{1}}

where

m u_{x} i

's are atomic measures with supports consisting of at most

2 n - 1

points of

K_{2 n}

, but there are biorthogonal systems

(f_{x} i, m u_{x} i)_{x i i n o m e g a_{1}}

where

m u_{x} i

's are atomic measures with supports consisting of

2 n

points. This complements a result of Todorcevic that it is consistent that each nonseparable Banach space

C (K)

has an uncountable biorthogonal system where the functionals are measures of the form

d e l t a_{x_{x} i} - d e l t a_{y_{x} i}

for

x i < o m e g a_{1}

and

x_{x} i, y_{x} i i n K

. It also follows that it is consistent that the irredundance of the Boolean algebra

C l o p (K)

or the Banach algebra

C (K)

for

K

totally disconnected 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_{2 n}^{k}

is countable up to

k = n

and it is uncountable (even the spread is uncountable) for

k > n

.

Recommendations

Cited in

(9)

This page was built for publication: On biorthogonal systems whose functionals are finitely supported