Ensemble parfait

Dans un espace topologique, un ensemble parfait est une partie fermée sans point isolé, ou de façon équivalente, une partie égale à son ensemble dérivé, c'est-à-dire à l'ensemble de ses « points limites », ou « points d'accumulation ».

Exemples

L'ensemble vide est parfait dans tout espace.

Dans ℝ, un segment [a, b] est un exemple trivial d'ensemble parfait.

Un exemple moins évident est constitué par l'ensemble de Cantor. Cet ensemble est totalement discontinu et homéomorphe à l'espace de Cantor $\{0,1\}^{\mathbb {N} }$. Plus généralement, l'espace produit $\{0,1\}^{I}$ est parfait lorsque I est un ensemble infini. Un exemple d'ensemble parfait dans le plan, homéomorphe également à l'ensemble de Cantor, est donné par l'ensemble $\{\sum _{n\in E}a_{n},E\subset \mathbb {N} \}$ où $\sum a_{n}$ est une série absolument convergente de complexes telle que, pour tout N, $\sum _{n>N}|a_{n}|<|a_{N}|$.

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

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

Propriétés

Un ensemble parfait non vide de ℝ n'est pas dénombrable.

Toute partie fermée de ℝ (ou plus généralement : d'un espace polonais) est, de façon unique, réunion disjointe d'une partie dénombrable et d'un ensemble parfait : voir Théorème de Cantor-BendixsonThéorème de Cantor-Bendixson.

Article connexe

Espace parfait (en)