4
$\begingroup$

Recall that a biorthogonal system $\{(x_i, x^*_i)\colon i\in I\}$ in a Banach space $E$ is a M-basis if $\{x_i\}_{i\in I}$ is linearly dense in $E$ and $\{x_i^*\}_{i\in I}$ separates points. Let me restrict my attention to $C(K)$-spaces only, where $K$ is a compact, scattered space.

(Naive) Question 1: Does every such a space admits a M-basis? (Note that W.B. Johnson observed that $\ell^\infty=C(\beta\omega)$ has no M-basis but $\beta\omega$ is not scattered).

I believe it's not true but I think I cannot produce any counter-example. Of course, when $\alpha$ is an ordinal, then $C([0,\alpha])$ admits a transfinite Schauder basis which one may use to extract a M-basis.

In fact, I am interested in special kinds of M-bases:

Question 2. Suppose that the space $C(K)$ admits a M-basis. Can we extract a M-basis which looks like the canonical Schauder basis in $C([0,\sigma])$ (that is $\{\mathbf{1}_{[0,\alpha]}\colon \alpha\leq \sigma\}$)?

More precisely, can we construct a new M-basis $\{(f_i, \mu_i)\colon i\in I\}$ indexed by some linearly ordered set $(I, <)$ with the property that if $i\leq j $ then $f_j(x) = f_i(x)$ for $x\in \mbox{supp}(f_i )$?

Any references to the papers studying the condition introduced above will be appreciated as well.

$\endgroup$

1 Answer 1

4
$\begingroup$

I suggest that you read Zizler's article "Nonseparable Banach spaces" in volume 2 of the Handbook of the Geometry of Banach Spaces. Therein he describes the space he calls $JL_0$, constructed by Lindenstrauss and me in "Some remarks on weakly compactly generated spaces," Israel J. Math. 17 (1974), 219-230. $JL_0$ as well as its nonseparable subspaces do not have $M$ bases but $JL_0$ is a $C(K)$ space for some scattered $K$; in fact, $JL_0$ is a twisted sum of $c_0(\Gamma)$ with $c_0$ with $\Gamma$ uncountable.

If I understand Question 2, $c(\aleph)$ (that is, the closed span in $\ell_\infty(\aleph)$ of $c_0(\aleph)$ and the constant functions) seems to be a counterexample as long as $\aleph$ is large enough so that every linear order of $\aleph$ has a well ordered (or reverse well ordered) subset of order type $\omega_2$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.