« Fondements des mathématiques/Les expressions formelles, les ensembles et les fonctions » : différence entre les versions
Contenu supprimé Contenu ajouté
. |
m Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUaeéèêiou]) +\1u'\2) |
||
Ligne 162 :
L’idée du nombre des nombres entiers posait cependant des paradoxes. Par exemple l’ensemble des entiers est en un sens plus grand que l’ensemble des entiers pairs puisqu’il contient aussi l’ensemble des entiers impairs. On pourrait même être tenté de dire qu’il est deux fois plus grand. Cependant en un autre sens ces deux ensembles sont également grands puisqu’on peut obtenir l’un à partir de l’autre en remplaçant un à un chacun de ses éléments. Il suffit de remplacer chaque entier par son double pour avoir l’ensemble des entiers pairs à partir de l’ensemble des entiers. Ce paradoxe était connu de Galilée. Cantor a résolu le problème en adoptant la seconde définition et en affirmant sans crainte que le nombre des entiers est égal au nombre des entiers pairs. On appelle ce nombre l’infini dénombrable. Les ensembles infinis dénombrables sont aussi grands que l’ensemble des entiers.
Deux ensembles E et F ont le même nombre d’éléments lorsqu’il existe une relation, ou correspondance, biunivoque entre leurs éléments. On dit aussi une fonction inversible ou une bijection. Une relation binaire R est biunivoque lorqu’elle est une fonction dans les deux directions, lorsque chaque élément de E est relié à un élément et un seul de F et inversement. On dit aussi
Y a-t-il des ensembles infinis (strictement) plus grands que l’ensemble des entiers ? Oui. C’est la grande découverte de Cantor. Le nombre des nombres réels en particulier est un infini plus grand que le nombre des nombres entiers. On peut définir des nombres infinis toujours plus grands. Le grand théorème de Cantor permet de le comprendre : l’ensemble P(E) des sous-ensembles d’un ensemble E est toujours plus grand
L’ensemble P(N) des ensembles de nombres entiers est donc plus grand que l’ensemble N des nombres entiers.
|