next up previous contents
suivant : B.2.6 Définition remonter : B.2.5 Parties précédent : B.2.5.3 Exercice

B.2.5.4 Autre exercice

Soit $f$ la fonction qui a un ensemble d'ensembles $F$ et un élément $x$ associe $f(F, x) = \{e \cup \{x\} \vert e \in F\}$. Montrer que $\mathcal{P}(E) = f(\mathcal{P}(E - \{x\}), x) \cup \mathcal{P}(E -
\{x\})$. En déduire un algorithme récursif calculant $\mathcal{P}(E)$.



Alexandre
2009-07-20