Théorème de Cantor

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

Vous avez de nouveaux messages (diff^?).

Le théorème de Cantor est un théorème mathématique, dans le domaine de la théorie des ensembles, qui doit son nom au mathématicien Georg Cantor.

Cantor démontre que, pour tout ensemble E, le cardinal de E est toujours strictement inférieur au cardinal de $\mathfrak P(E)$ ensemble des parties de E.

Lorsque E est un ensemble fini, le résultat est évident car le cardinal de E est le nombre d'éléments dans E et, si E contient n éléments, on démontre que l'ensemble des parties de E contient $2 n$ éléments. Il est alors aisé de vérifier que, pour tout entier n, $n < 2 n$ .

Lorsque E est un ensemble infini, il faut repartir sur la comparaison des cardinaux.

$\mathrm{card} (A) \leq \mathrm{card}(B)$ si et seulement si, il existe une injection de A vers B.

Cantor démontre que $\mathrm{card}(E) < \mathrm{card} (\mathfrak P(E))$ par un raisonnement par l'absurde : il suppose que $\mathrm{card}(E) \geq \mathrm{card} (\mathfrak P(E))$ , donc qu'il existe une injection de $\mathfrak P(E)$ vers E et arrive à une contradiction.

On appelle f cette injection. On construit alors un sous-ensemble B de E de la manière suivante:

soit x un élément de E,

si x n'a pas d'antécédent par f alors x n'est pas dans B
si x possède un antécédent par f, il est unique car f est injective. On note cet antécédent $A x$ . Si x appartient à $A x$ alors x n'est pas dans B, si x n'appartient pas à $A x$ alors x est dans B.

B est une partie de E, et possède donc une image par f, que l'on nomme y. La question qui se pose est : « y est-il ou non un élement de B? ». y a pour antécédent B.

si y est dans B alors, par construction de B , y n'appartient pas à son antécédent donc y n'appartient pas à ... B

si y n'est pas dans B, toujours d'après la construction de B, y doit appartenir à son antécédent, donc y appartient à ... B

Les deux hypothèses mènent à une contradiction donc il ne peut pas exister d'injection de $\mathfrak P(E)$ vers E

Ce même type de raisonnement a conduit Cantor à relever le paradoxe de l'ensemble des ensembles qui ne s'appartiennent pas.

Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques.

Récupérée de « http://fr.wikipedia.org../../../t/h/%C3%A9/Th%C3%A9or%C3%A8me_de_Cantor_66bb.html »

Catégories : Théorie des ensembles • Théorème de mathématiques • Georg Cantor

Théorème de Cantor

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

Views

Navigation

Contribuer

Recherche

Autres langues