Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.