# Difference between revisions of "Derived set"

(Importing text file) |
(better) |
||

(3 intermediate revisions by the same user not shown) | |||

Line 1: | Line 1: | ||

− | The collection | + | The collection $M'$ of all limit points of a set $M$ in a topological space (cf. [[Limit point of a set]]). A set $M$ that is contained in its derived set is called [[dense-in-itself set|dense-in-itself]]; if in addition $M$ is closed, it is termed a [[perfect set]]. |

Line 6: | Line 6: | ||

This process can be iterated. | This process can be iterated. | ||

− | In general one defines, for an [[Ordinal number|ordinal number]] | + | In general one defines, for an [[Ordinal number|ordinal number]] $\alpha$, the $\alpha$-th derived set of $X$, $X^{(\alpha)}$, as follows: $X^{(0)} = X$, $X^{(\alpha+1)}$ is the derived set of $X^{(\alpha)}$, and if $\lambda$ is a limit ordinal then $X^{(\lambda)} = \bigcap_{\alpha < \lambda} X^{(\alpha)}$. |

− | One then shows that there is a first ordinal number | + | One then shows that there is a first ordinal number $\alpha = \alpha_X$ such that $X^{(\alpha+1)} = X^{(\alpha)}$. If $X^{(\alpha)} = \emptyset$, then $X$ is called scattered; if $X^{(\alpha)} \neq \emptyset$, then $X^{(\alpha)}$ is called the perfect kernel of $X$. |

− | In this way one can prove the Cantor–Bendixson theorem: If | + | In this way one can prove the Cantor–Bendixson theorem: If $X$ is a subspace of the real line, then $X = C \cup P$, with $C$ a countable set, $P$ a perfect set and $C \cap P = \emptyset$. |

− | For this reason | + | For this reason $\alpha_X$ is sometimes called the Cantor–Bendixson height of $X$. |

## Latest revision as of 20:29, 13 December 2017

The collection $M'$ of all limit points of a set $M$ in a topological space (cf. Limit point of a set). A set $M$ that is contained in its derived set is called dense-in-itself; if in addition $M$ is closed, it is termed a perfect set.

#### Comments

This process can be iterated.

In general one defines, for an ordinal number $\alpha$, the $\alpha$-th derived set of $X$, $X^{(\alpha)}$, as follows: $X^{(0)} = X$, $X^{(\alpha+1)}$ is the derived set of $X^{(\alpha)}$, and if $\lambda$ is a limit ordinal then $X^{(\lambda)} = \bigcap_{\alpha < \lambda} X^{(\alpha)}$.

One then shows that there is a first ordinal number $\alpha = \alpha_X$ such that $X^{(\alpha+1)} = X^{(\alpha)}$. If $X^{(\alpha)} = \emptyset$, then $X$ is called scattered; if $X^{(\alpha)} \neq \emptyset$, then $X^{(\alpha)}$ is called the perfect kernel of $X$.

In this way one can prove the Cantor–Bendixson theorem: If $X$ is a subspace of the real line, then $X = C \cup P$, with $C$ a countable set, $P$ a perfect set and $C \cap P = \emptyset$.

For this reason $\alpha_X$ is sometimes called the Cantor–Bendixson height of $X$.

**How to Cite This Entry:**

Derived set.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Derived_set&oldid=11226