MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\omega_1$ be smallest uncountable ordinal. I am trying to understand the possible "large" subspaces of $C[0,\omega_1]$, namely those which are isomorphic to the whole space. Therefore I have the following question:

Does every subspace of $C[0,\omega_1]$ isomorphic to $C[0,\omega_1]$ contain a complemented copy isomorphic to itself? The only (complemented) examples that I can "construct by hand", excluding the finite-codimensional ones, are of the form

$\mbox{cl lin}(\mathbf{1}_{[0,\gamma_{\sigma}]}\colon \sigma\leq \omega_1)$

where $(\gamma_\sigma)_{\sigma<\omega_1}$ is increasing long sequence of limit ordinals and $\sigma_{\omega_1} = \omega_1$ (note that the family $(\{\mathbf{1}_{[0,\alpha]}\colon \alpha \leq \omega_1\})$ forms the long Schauder basis for $C[0,\omega_1]$).

Thank you, T.

share|cite|improve this question

Have you searched the literature? There are a large number of papers about uncomplemented and complemented embeddings of $C(K)$ into $C(K)$. In particular, you should look at papers of Bessaga and Pelczynski from the 1960s (especially their fourth one on spaces of continuous functions), papers of Dan Amir from the late 1960s and 1970s, and Alspach and Benyamini from the 1970s. For an overview of part of the material, read Rosenthal's article in volume 2 of the Handbook of the Geometry of Banach Spaces. In particular, in Section 3C of that article you will find that there is an isomorphic copy of $C[0,\omega^\omega]$ in itself that is not complemented; from that it is very easy to prove that there is an isomorphic copy of $C[0,\omega_1]$ in itself that is not complemented.

share|cite|improve this answer
Please read what I wrote. From the uncomplementation result for $C[0,\omega^\omega]$ you immediately get the answer to your first question, so I do not understand why you asked the first question. (Just observe that $C[0,\omega_1]$ is isomorphic to $C[0,\omega_1]\oplus C[0,\omega^\omega]$.) – Bill Johnson May 17 '11 at 18:08
BTW: For deep results on non separable $C(K)$ spaces, some of which rely on special set theoretic axioms, look at recent papers by Koszmider. (Probably you know this, but I mention it just in case.) – Bill Johnson May 17 '11 at 20:04
up vote 3 down vote accepted

Yes, it can deduced from Lemma 1.2 combined with Proposition 2 of

D. Alspach and Y. Benyamini, Primariness of spaces of continuous functions on ordinals. Israel J. Math. 27 (1977), 64–92.

Another proof can be found here (Cor. 1.12).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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