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

(Note: I asked this question at MSE a week ago and received no answer, so I am now reposting it here.)

Let $K$ be a (Hausdorff) scattered topological space and for each ordinal $\alpha$ denote by $K^{(\alpha)}$ the $\alpha$th derivative of $K$ by the Cantor-Bendixson derivation (i.e., define transfinitely: $K^{(0)} = K$; for each ordinal $\alpha$, let $K^{(\alpha+1)}$ be the set of nonisolated points in $K^{(\alpha)}$ when $K^{(\alpha)}$ is equipped with the subspace topology); for $\alpha$ a limit ordinal, set $K^{(\alpha)}= \bigcap_{\beta<\alpha}K^{(\beta)}$).

We shall say here that $K$ has the property (P) if whenever $K^{(\alpha)}\neq \emptyset$ there is a family $\mathcal{F}$ of pairwise-disjoint clopen subsets of $K$ such that $\bigcup \mathcal{F} = K\setminus K^{(\alpha+1)}$ and $\vert U\cap K^{(\alpha)}\vert =1$ for every $U\in \mathcal{F}$.

It is easy to see, for example, that every ordinal has the property (P) when equipped with its natural order topology.

My question is: does the property (P) have an established name in the literature? Or similarly, is it equivalent to some other previously studied property or family of properties taken together? What if $K$ is compact? (I am actually only interested in the compact case).

share|cite|improve this question

Your Answer


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

Browse other questions tagged or ask your own question.