Académique Documents
Professionnel Documents
Culture Documents
dénombrable.
1. Théorème de Cantor
Énoncé Soit E un ensemble.
Il n’existe pas de surjection de E vers P (E).
Preuve
Soit E un ensemble.
Soit f : E → P (E).
D = {x ∈ E : x 6∈ f (x)}
Donc f ne peut pas être surjective, c’est pourquoi il n’existe pas de surjection d’un
ensemble E vers P (E).
On note ∆ l’ensemble des nombres réels dans [0; 1[ de la forme k2−n avec k, n ∈ N.
Les nombres de ∆ admettent chacun deux P+∞ développements dyadiques (un fini, et un
3 1 1 1 1
infini) : par exemple 8 = 4 + 8 = 4 + k=3 2k+1 . Le développement fini est appelé
développement propre et le développement infini est appelé développement impropre.
1
On note Ax l’ensemble des puissances k de 2 correspondant au développement dya-
dique d’un nombre x ∈ [0; 1[\∆.
Par exemple, A 1 = {1; 3; 5; 7; 9; · · · } car 13 = +∞
P 1
P+∞ 1
3 k=0 2(2k+1)+1 = k=0 4k+1 .