Operación en espacios topológicos (típicamente sobre subconjuntos cerrados de un espacio polaco) que elimina de forma iterada los puntos aislados para obtener la derivada; la iteración transfinitas produce el núcleo perfecto y define el rango de Cantor-Bendixson.

Principio

Eliminar todos los puntos aislados en cada paso y tomar las etapas límite en ordinales límite; el proceso se estabiliza en un conjunto perfecto (sin puntos aislados) y una parte dispersa cuyo orden de eliminación determina un rango ordinal.

Demostración

Tomar un cerrado formado por una sucesión numerable y sus puntos límite: las derivadas sucesivas quitan los elementos aislados de la sucesión hasta dejar solo los puntos límite; el ordinal en que desaparecen los puntos es su rango de Cantor-Bendixson.

Aplicación incorrecta

Aplicar la derivada sin distinción en contextos no T1 o esperar conclusiones medidas; el proceso de Cantor-Bendixson es una descomposición puramente topológica y no controla directamente medidas ni invariantes de cardinalidad fuera de su ámbito topológico.

Consecuencia

Todo cerrado en un espacio polaco se descompone de forma única en un conjunto perfecto (núcleo perfecto) y una parte dispersa numerable; la sucesión de derivadas y los rangos clasifican la complejidad de la parte dispersa.

Inversión

La inversión es un conjunto disperso: un cerrado cuya derivada llega eventualmente a ser vacío, de modo que no queda núcleo perfecto; la dispersión es el comportamiento opuesto a tener un núcleo perfecto no trivial.

Límite

Se aplica naturalmente a cerrados de espacios T1 o polacos donde los puntos aislados y los conjuntos perfectos están bien definidos; fuera de contextos métricos separables y completos, los rangos ordinales pueden definirse pero pierden muchas consecuencias estructurales.

Tensión semántica

Tensión entre el núcleo perfecto de Cantor-Bendixson (conjunto cerrado y sin puntos aislados) y otras nociones de 'tamaño' (medida, categoría): un conjunto puede ser perfecto topológicamente pero nulo para la medida o magro.

Síntesis

La derivada de Cantor-Bendixson es el procedimiento transfínito que despoja a un cerrado de sus puntos aislados para revelar su núcleo perfecto; aporta una descomposición topológica canónica y un rango que mide qué tan dispersa es la parte no perfecta.