Opération topologique (souvent appliquée à un fermé d'un espace polonais) consistant à enlever itérativement les points isolés pour obtenir l'ensemble dérivé ; l'itération transfine fournit le noyau parfait et définit le rang de Cantor-Bendixson.

Principe

On supprime tous les points isolés à chaque étape, puis on prend les limites/transfins aux ordinaux limites ; le procédé se stabilise sur un ensemble parfait (sans points isolés) et un reste épars dont l'ordre d'enlèvement définit un rang.

Démonstration

Considérer un fermé formé d'une suite dénombrable avec ses points d'accumulation : les dérivées successives retirent les points isolés de la suite jusqu'à ne laisser que les points limites ; l'ordinal où les points disparaissent est leur rang de Cantor-Bendixson.

Mauvaise application

Appliquer la dérivée sans distinction dans des contextes non T1 ou en attendre des conclusions mesurables ; le procédé de Cantor-Bendixson est une décomposition purement topologique et ne contrôle pas directement les mesures ou invariants de cardinalité hors de son cadre topologique.

Conséquence

Tout fermé dans un espace polonais se décompose de façon unique en un ensemble parfait (noyau parfait) et une partie éparse dénombrable ; la suite des dérivées et les rangs classent la complexité de la partie éparse.

Inversion

L'inverse est un ensemble épars : un fermé dont la dérivée devient finalement vide, de sorte qu'aucun noyau parfait ne subsiste ; l'éparsité est le comportement opposé à la présence d'un noyau parfait non trivial.

Limite

S'applique naturellement aux fermés d'espaces T1 ou polonais où les points isolés et les ensembles parfaits sont bien définis ; hors des contextes métriques séparables et complets, les rangs ordinaux peuvent être définis mais perdent beaucoup de conséquences structurelles.

Tension sémantique

Tension entre le noyau parfait de Cantor-Bendixson (ensemble fermé, sans points isolés) et d'autres notions de grandeur (mesure, catégorie) : un ensemble peut être parfait topologiquement mais de mesure nulle ou maigre.

Synthèse

La dérivée de Cantor-Bendixson est la procédure transfinie qui dépouille un fermé de ses points isolés pour révéler son noyau parfait ; elle fournit une décomposition topologique canonique et un rang mesurant le degré d'« éparsité » de la partie non parfaite.