Votre navigateur n'accepte pas le Javascript.La navigation sur ce site risque de ne pas fonctionner correctement.

392. Le théorème de Kuratowski (2/3)

Ce contenu est le prolongement de celui rédigé dans l'article 391. Les mêmes notations y sont reprises.

Première partie, intérieur, adhérence et complémentaire de $\overline{\mathring{K}}$

Vous avez :

\overline{\mathring{K}} = [0,2].

La frontière de $\overline{\mathring{K}}$ est :

\partial \overline{\mathring{K}} = \{0\}\cup \{2\}.

L’intérieur de $\overline{\mathring{K}}$ est égal à :

\mathring{\overline{\mathring{K}}} = \overline{\mathring{K}} \setminus \partial \overline{\mathring{K}} = ]0,2[.

L’adhérence de $\overline{\mathring{K}}$ est égale à:

\overline{\overline{\mathring{K}}} = \overline{\mathring{K}} \cup \partial \overline{\mathring{K}} = [0,2] =  \overline{\mathring{K}} .

Le complémentaire de $\overline{\mathring{K}}$ est égal à :

\left(\overline{\mathring{K}}\right)^c = ]-\infty,0[\cup ]2, +\infty[.

Deux nouveaux ensembles apparaissent dans la schématisation.

Deuxième partie, intérieur, adhérence et complémentaire de $(\mathring{K})^c$

La frontière de $(\mathring{K})^c$ est:

\partial (\mathring{K})^c = \{0\}\cup\{1\}\cup\{2\}.

L’intérieur de $(\mathring{K})^c$ est égal à:

\mathring{\widehat{(\mathring{K})^c}} = ]-\infty, 0[\cup]2,+\infty[ = \left(\overline{\mathring{K}}\right)^c.

L’adhérence de $(\mathring{K})^c$ est égale à:

\overline{(\mathring{K})^c} = ]-\infty, 0[\cup\{1\}\cup [2, +\infty[ = (\mathring{K})^c.

Le complémentaire de $(\mathring{K})^c$ est égal à:

((\mathring{K})^c)^c =]0,1[\cup]1,2[= \mathring{K}.

Aucun nouvel ensemble n’apparaît.

Troisième partie, intérieur, adhérence et complémentaire de $(\overline{K})^c$

La frontière de $(\overline{K})^c$ est:

\partial (\overline{K})^c = \{0\}\cup \{2\} \cup\{3\}\cup\{4\}\cup\{5\}.

L’intérieur de $(\overline{K})^c$ est égal à:

\mathring{\widehat{(\overline{K})^c}} = ]-\infty, 0[ \cup ]2, 3[\cup ]3, 4[\cup ]5, +\infty[ = (\overline{K})^c.

L’adhérence de $(\overline{K})^c$ est égale à:

\overline{(\overline{K})^c} = ]-\infty, 0]\cup [2, 4]\cup [5, +\infty[.

Le complémentaire de $(\overline{K})^c$ est égal à $\overline{K}.$

Un nouvel ensemble apparaît.

Quatrième partie, intérieur, adhérence et complémentaire de $\mathring{\overline{K}}$

La frontière de $\mathring{\overline{K}}$ est:

\partial \mathring{\overline{K}} = \{0\}\cup \{2\}\cup \{4\}\cup \{5\}.

L’intérieur de $\mathring{\overline{K}}$ est égal à:

\mathring{\widehat{\mathring{\overline{K}}}} = ]0,2[\cup ]4,5[ = \mathring{\overline{K}}.

L’adhérence de $\mathring{\overline{K}}$ est égale à:

\overline{\mathring{\overline{K}}} = [0,2]\cup [4,5].

Le complémentaire de $\mathring{\overline{K}}$ est égal à :

\left(\mathring{\overline{K}}\right)^c = ]-\infty, 0]\cup [2,4]\cup [5, +\infty[ = \overline{(\overline{K})^c}.

Un nouvel ensemble apparaît.

Prolongement

Vous constatez qu’avec les notions d’intérieur, d’adhérence et de complémentaire, il a été possible de construire en tout douze ensembles.

Dans le contenu rédigé dans l'article 393 vous verrez ce qu’il advient si on poursuit ce processus.

Partagez maintenant !

Aidez vos amis à découvrir cet article et à mieux comprendre le sujet.

Aidez-moi sur Facebook !

Vous appréciez cet article et souhaitez témoigner du temps que j'y ai passé pour le mettre en œuvre. C'est rapide à faire pour vous et c'est important pour moi, déposez un j'aime sur ma page Facebook. Je vous en remercie par avance.

Lisez d'autres articles !

Parcourez tous les articles qui ont été rédigés. Vous en trouverez sûrement un qui vous plaira !