Ensemble parfait

Un article de Wikipédia, l'encyclopédie libre.

Dans un espace topologique, un ensemble parfait est une partie fermée sans point isolé.

Dans \mathbb R, un segment [a,b] est un exemple trivial d'ensemble parfait. Un exemple moins évident est constitué par l'ensemble de Cantor.

On peut engendrer des ensembles parfaits de la façon suivante. Si P0 est une partie bornée de \mathbb R ou de \mathbb R^n, on définit le dérivéP' = P1 de P0 comme l'ensemble des points d'accumulation de P0. Pour tout ordinal α, on pose Pα + 1 = (Pα)', et, si α est un ordinal limite, P^{\alpha} = \cap_{\beta<\alpha} P^{\beta}. Si Ω désigne le premier ordinal non dénombrable, on montre que :

  • Ou bien P^{\Omega} = \varnothing. On dit que P0 est réductible.
  • Ou bien P^{\Omega} \neq \varnothing et dans ce cas, c'est un ensemble parfait. P0 est la réunion de cet ensemble parfait et d'un ensemble dénombrable.