Given a topological space and a set let be the set of accumulation points of i.e., those points of such that any open neighborhood of meets in an infinite set.

Suppose that is closed. Then Define for closed compact by recursion: and for limit. Note that this is a decreasing sequence, so that if we set there must be an such that for all

[The sets are the Cantor-Bendixson derivatives of In general, a derivative operation is a way of associating to sets some kind of “boundary.”]

For concreteness, suppose that is compact. Then is either empty or perfect (i.e., every point of is an accumulation point of ). It is easy to see that every perfect subset of has the same size as For example, define by recursion on as follows:

is an arbitrary open (in the relative topology) nonempty subset of of diameter at most

Given let be distinct points of (these exist since inductively is open nonempty in and has no isolated points). Let and be disjoint open neighborhoods of and respectively, whose closures are contained in and have diameter at most

Then, for each the set is a singleton, say Moreover, the map given by is injective (and continuous).

[By the way, the above is an example of a Cantor scheme.]

It follows that if is countable, then is necessarily empty. Let be least such that and call the Cantor-bendixon rank of (Note that the first such that cannot be a limit ordinal.) Note that is necessarily countable.

It is a nice exercise to show that for all there is a countable compact subset of of rank precisely

In a sense, set theory began with the study of these derivatives. Cantor used them to prove (by induction on the rank) that any countable compact subset of is a set of uniqueness for trigonometric series. See for example the introduction by Philip Jourdain to the English version of Cantor’s Contributions to the founding of the theory of Transfinite numbers, or Alekos Kechris‘s nice article Set theory and uniqueness for trigonometric series.

Typeset using LaTeX2WP. Here is a printable version of this post.

This entry was posted on Sunday, November 8th, 2009 at 4:08 pm and is filed under 502: Logic and set theory. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

[…] topics: The study of closed sets of reals naturally leads to the Cantor-Bendixson derivative, and the Cantor-Baire stationary principle. A nice reference is Alekos Kechris‘s […]

I am not sure whether this qualifies as "well-known". Anyway, in set theory, in the study of the partition calculus (transfinite generalizations of Ramsey's theorem), effort centered for a while in studying relations of the form $$ \omega^m\to(\omega^n,k)^2 $$ for $m,n,k$ positive integers. Here, exponentiation is in the ordinal sense. This re […]

This is Theorem 39 in the paper (see Theorem 4.(i) for a user-friendly preview). But the fact that $(2^\kappa)^+\to(\kappa^+)^2_\kappa$ is older (1946) and due to Erdős, see here: Paul Erdős. Some set-theoretical properties of graphs, Univ. Nac. Tucumán. Revista A. 3 (1942), 363-367 MR0009444 (5,151d). (Anyway, it is probably easier to read a more modern pre […]

One of the best places to track these things down is The mathematical coloring book, by Alexander Soifer, Springer 2009. Chapter 35 is on "Monochromatic arithmetic progressions", and section 35.4, "Paul Erdős’s Favorite Conjecture", is on the problem you ask about. As far as I can tell, the question is sometimes called the Erdős-Turán con […]

Throughout the question, we only consider primes of the form $3k+1$. A reference for cubic reciprocity is Ireland & Rosen's A Classical Introduction to Modern Number Theory. How can I count the relative density of those $p$ (of the form $3k+1$) such that the equation $2=3x^3$ has no solutions modulo $p$? Really, even pointers on how to say anything […]

This question is partly motivated by Timothy Chow's recent question on the division paradox. Say that a set $X$ admits a paradoxical partition if and only if there is an equivalence relation $\sim$ on $X$ such that $|X|

In Ralph P. Boas's A primer of real functions, page 118, this is discussed in the following way: The derivative of infinite order of $f$ is defined on an interval $I$ iff the sequence $(f^{(n)})$ converges uniformly on $I$ (it is enough to require uniform convergence on compact subsets of $I$). Call $L$ the limit of this sequence, so $L$ is continuous a […]

Recall that the beth ($\beth$) numbers are defined by transfinite recursion as $\beth_0=0$, $\beth_{\alpha+1}=2^{\beth_\alpha}$ and $\beth_\lambda=\sup_{\alpha

The point here is that two functions are close iff they agree on an initial segment, that is, $d(f,g)\le 1/(n+1)$ iff $f(0)=g(0),f(1)=g(1),\dots,f(n-1)=g(n-1)$. Now, if $(f_n)_n$ is a Cauchy sequence, then, for each $n$, there is $N_n$ such that for all $m,k>N_n$ we have $d(f_m,f_k)\le1/(n+1)$. That is, all functions $f_m$ with $m>N_n$ agree on their f […]

No, this is not possible. Dave L. Renfro wrote an excellent historical Essay on nowhere analytic $C^\infty$ functions in two parts (with numerous references). See here: 1 (dated May 9, 2002 6:18 PM), and 2 (dated May 19, 2002 8:29 PM). As indicated in part 1, in Zygmunt Zahorski. Sur l'ensemble des points singuliers d'une fonction d'une variab […]

This is a difficult question in general. Ideally, to show that $f$ is analytic at the origin, you show that in a suitable neighborhood of $0$, the error of the $n$-th Taylor polynomial approaches $0$ as $n\to\infty$. For example, for $f(x)=\sin(x)$, any derivative of $f(x)$ is one of $\sin(x)$, $\cos(x)$, $-\sin(x)$, or $-\cos(x)$, and the error given by the […]

Do you mind loading a pdf version of this, so I can save a digital copy?

Done.

[…] topics: The study of closed sets of reals naturally leads to the Cantor-Bendixson derivative, and the Cantor-Baire stationary principle. A nice reference is Alekos Kechris‘s […]