Objectif Déterminer pour divers ensembles simples s'ils sont dénombrables ou continus Démontrer que et ne sont pas équipotents

DÉNOMBRABLE OU CONTINU ? Objectif Déterminer, pour divers ensembles simples, s'ils sont dénombrables ou continus. Démontrer que et \ ne sont pas équipotents. Outils Réciproque d'une bijection. Bijection composée de deux bijections. Le propos de cette séquence est d'examiner, pour divers ensembles, s'ils sont dénombrables ou s'ils ont la puissance du continu. Les résultats sont parfois surprenants Les mathématiciens, suivant les idées de Georg Cantor (1845-1918), distinguent plusieurs sortes d'ensembles infinis. Ils ont adopté les définitions suivantes : Définitions : 1. Un ensemble E est dit « dénombrable » s'il existe une bijection de sur E. 2. Un ensemble E a « la puissance du continu » s'il existe une bijection de \ sur E. 3. Un ensemble A est équipotent à un ensemble B lorsqu'il existe au moins une bijection de A sur B. Un ensemble est donc dénombrable si et seulement si il est équipotent à ; un ensemble a la puissance du continu si et seulement si il est équipotent à \. Résultats préliminaires Soit A, B et C trois ensembles. Démontrer que : n 0 1 2 3 4 5 6 1. Si A est équipotent à B, alors B est équipotent à A. f (n) 0 1 –1 2 –2 3 –3 2.

• unique développement décimal


• démontrer


• puissance du continu


• bijection


• entier naturel


• coordonnées entières