You are on page 1of 23

1.

Cardinalite
Les ensembles N et Q ont-ils le meme nombre delements ?
Une approche possible, pour repondre ` a cette question, serait de repondre ` a trois
questions : (1) quel est le nombre delements de N ? (2) quel est le nombre delements
de Q ? (3) ces deux nombres sont-ils egaux ? Cependant cette approche nous forcerait
` a developper une theorie des nombres inniment grands ; cest possible, mais cest un
peu complique.
Cest une autre approche que nous allons developper, une approche plus simple basee
sur lidee de bijection. Nous allons repondre ` a la premi`ere question (N et Q ont-ils le
meme nombre delements ?) sans jamais parler du nombre delements de ces ensembles.
En fait, nous nous interdirons de parler du nombre delements dun ensemble inni.
1.1. Denition.

Etant donnes des ensembles A et B, on utilisera labbreviation suiv-
ante:
A B signie: il existe au moins une bijection de A vers B.
1.2. Exemple. Si A = 1, 2, 3 et B = 1, 2, 3, 4 alors il nexiste aucune bijection de
A vers B donc A , B (cest la negation de A B). Si C = 7, 8, 9 alors il existe au
moins une bijection de A vers C donc A C.
Remarque. Si A, B sont des ensembles nis, alors lenonce A B est vrai si et
seulement si A et B ont le meme nombre delements.
1.3. Exemple. Considerons le sous-ensemble P = 0, 2, 4, 6, 8, . . . (les nombres pairs)
de N = 0, 1, 2, 3, 4, . . . . Soit f : N P denie par f(x) = 2x. Alors f est bijective,
ce qui demontre que N P.
1.4. Proposition. Quels que soient les ensembles A, B, C, on a:
(1) A A
(2) A B = B A
(3) A B et B C = A C.
1.5. Denition. Des ensembles A, B qui satisfont A B sont dits equipotents (on dit
parfois que A et B ont la meme cardinalite).
1.6. Proposition. Si A N et A est inni, alors N A.
Demonstration. On peut enumerer les elements de A en ordre croissant : soit a
0
le
plus petit element de A, soit a
1
le plus petit element de A a
0
, soit a
2
le plus petit
element de A a
0
, a
1
, etc. Ainsi, les elements de A sont :
a
0
< a
1
< a
2
< a
3
<
Soit f : N A denie par f(n) = a
n
. Ceci est une bijection, donc N A.
1.7. Exemple. Soit A = 2, 3, 5, 7, 11, 13, 17, . . . lensemble des nombres premiers.
Montrer que A N.
1
2
Solution : On a A N, et on sait que A est un ensemble inni. En vertu de 1.6, on
a N A. Alors 1.4 implique A N.
1.8. Proposition. Z N
Demonstration. On denit f : N Z par f(n) =
_
n/2, si n est pair,
(n + 1)/2, si n est impair.
Vous pouvez verier que f est bijective, donc N Z.
1.9. Proposition. N N N
Remarque. En classe je demontrerai la proposition ` a laide dun dessin. Ci-dessous
je donne une autre demonstration, mais plusieurs details sont omis et cest ` a vous de
completer le travail.
Demonstration. Pour chaque k N, on denit T
k
=
k(k+1)
2
N. Vous pouvez verier
que 0 = T
0
< T
1
< T
2
< , donc lassertion suivante est vraie :
Pour chaque n N, il existe exactement un k N tel que T
k
n < T
k+1
.
Donc une fonction : N N est denie par la r`egle suivante :
(n) = lunique k N qui satisfait T
k
n < T
k+1
.
Par exemple, pour calculer (8), on calcule quelques valeurs de T
k
et on constate que
T
3
8 < T
4
; alors la denition de donne (8) = 3. Il est clair que
pour chaque n N, T
(n)
n < T
(n)+1
,
donc
pour chaque n N,
_
T
(n)+1
n 1, n T
(n)
_
N
2
.
On peut donc denir une fonction g : N N
2
par g(n) =
_
T
(n)+1
n 1, n T
(n)
_
.
On denit aussi f : N
2
N par f(x, y) = y + T
x+y
. Vous pouvez verier que f g
et g f sont les fonctions identites sur N et sur N
2
respectivement. Donc f : N
2
N
est une bijection.
1.10. Proposition. Quels que soient les ensembles A, A

, B, B

, on a:
A A

et B B

= AB A

.
Demonstration. Supposons que A A

et B B

. On choisit deux bijections


f : A A

et g : B B

, et on denit une fonction h : A B A

par
h(a, b) =
_
f(a), g(b)
_
. Veriez que h est bijective. Donc AB A

.
1.11. Corollaire. Z
n
N, pour tout n 1.
Demonstration. Par induction sur n. Le cas n = 1 est vrai, en vertu de 1.8. Supposons
que n 1 est un entier pour lequel Z
n
N est vrai, et montrons que Z
n+1
N.
En vertu de 1.10, Z
n
N et Z N impliquent Z
n
Z N N, donc
Z
n+1
Z
n
Z N N N,
3
donc Z
n+1
N.
1.12. Denition.

Etant donnes des ensembles A et B, on utilisera labbreviation suiv-
ante:
A _ B signie: il existe au moins une injection de A vers B.
Par exemple, les assertions 1, 2 _ 6, 7, 8 et 1, 2 _ 6, 7 sont vraies mais
6, 7, 8 _ 1, 2 est fausse. Le symbole _ a quelques proprietes evidentes:
1.13. Proposition. Quels que soient les ensembles A, B, C, on a:
(1) A _ A
(2) A _ B et B _ C = A _ C
(3) A B = A _ B
(4) A B = A _ B et B _ A.
Remarquez que la proposition ci-dessus ne repond pas aux questions suivantes :
Limplication
A _ B et B _ A = A B
est-elle vraie ?
Est-il vrai que, quels que soient les ensembles A et B, au moins une des condi-
tions
A _ B, B _ A
doit etre satisfaite ?
Ces questions sont diciles et nous remettons ` a plus tard leur solution (nous verrons
que la reponse est oui dans les deux cas). Remarquez que la premi`ere question
demande si la reciproque de 1.13(4) est vraie. Concernant cette question, considerez
lexemple suivant.
1.14. Exemple. Soient les intervalles A = (0, 1) =
_
x R [ 0 < x < 1
_
et B =
[0, 1] =
_
x R [ 0 x 1
_
.
Puisque A B, il est clair que A _ B.
Si x B alors (x + 1)/3 [
1
3
,
2
3
], donc (x + 1)/3 A. Ainsi, une fonction
g : B A est denie par g(x) = (x + 1)/3. Cette fonction est strictement
croissante, donc injective, donc B _ A.
On a montre que (0, 1) _ [0, 1] et [0, 1] _ (0, 1). Sensuit-il que (0, 1) [0, 1] ?
Autrement dit, existe-t-il une bijection de (0, 1) vers [0, 1] ? Nous verrons plus tard
un theor`eme qui repond oui ` a cette question, mais si vous essayez de denir une
bijection de (0, 1) vers [0, 1] vous verrez que cest loin detre evident.
Voici une autre propriete de _ quil vaut la peine de souligner :
1.15. Proposition.

Etant donnes des ensembles A et B non vides, les conditions
suivantes sont equivalentes :
4
(1) Il existe au moins une injection de A vers B (autrement dit, A _ B)
(2) Il existe au moins une surjection de B vers A.
Demonstration. (1 2) Supposons quil existe une injection f : A B. Remarquons
que si y f(A) alors f
1
(y) est un element bien deni de A, car f est injective.
Puisque A ,= par hypoth`ese, on peut choisir un element a
0
A et denir une
fonction g : B A par
g(y) =
_
f
1
(y), si y f(A),
a
0
, si y B f(A).
On a alors g
_
f(x)
_
= x pour tout x A, donc g : B A est surjective, donc (2) est
satisfaite.
(2 1) Supposons quil existe une surjection g : B A. Alors pour chaque x A
on peut choisir un element b
x
B qui satisfait g(b
x
) = x. En vertu de laxiome du choix,
x b
x
denit une fonction f : A B, f(x) = b
x
. On a alors g
_
f(x)
_
= g(b
x
) = x
pour tout x A, donc f : A B est injective, donc (1) est satisfaite.
1.16. Exercice. Considerez les intervalles I = [0, 1] et J = (0, 1). On a vu en 1.14
quil existe une injection I J, donc en vertu de 1.15 il existe une surjection J I.
Donnez un exemple concret dune telle surjection. (Suggestion: imitez la demonstration
de 1.15.)
2. Les ensembles denombrables
2.1. Denition. Un ensemble A est denombrable sil satisfait A _ N.
Par exemple, tout ensemble ni est denombrable. Le Corollaire 1.11 implique que Z
n
est denombrable (quel que soit n). Notons aussi que tout sous-ensemble dun ensemble
denombrable est denombrable.
2.2. Proposition. Si A est denombrable et inni alors A N.
Demonstration. Supposons que A est denombrable et inni. Puisque A _ N, il existe
une injection f : A N. Soit B = f(A), alors A B. Puisque B est une partie
innie de N, on a B N en vertu de 1.6. Donc A N.
Voici une autre fa con denoncer 2.2 :
Un ensemble est denombrable si et seulement si il est ni ou equipotent ` a N.
2.3. Theor`eme. Q N
Demonstration. Il sut de montrer que Q _ Z
2
. En eet, si ceci est vrai alors
Q _ Z
2
et Z
2
N = Q _ Z
2
et Z
2
_ N = Q _ N,
donc Q est denombrable et inni, donc Q N en vertu de 2.2.
5
Il reste ` a montrer que Q _ Z
2
. Il est bien connu que tout nombre rationnel x Q
peut secrire comme une fraction a/b o` u a, b Z, b > 0 et a, b sont relativement
premiers. De mani`ere precise, on peut enoncer :
Pour chaque x Q, il existe une et une seule paire (a, b) Z
2
satis-
faisant les conditions
(i) b > 0 (ii) a, b sont relativement premiers (iii) x =
a
b
.
Ceci signie que nous pouvons denir une fonction f : Q Z
2
par la r`egle suivante :
f(x) = lunique (a, b) Z
2
satisfaisant les conditions (i,ii,iii) ci-dessus.
Remarquons en particulier que si f(x) = (a, b) alors x = a/b, puisque (a, b) satisfait
(iii). On en deduit que f est injective (si x
1
, x
2
Q sont tels que f(x
1
) = (a, b) = f(x
2
),
alors x
1
= a/b = x
2
, ce qui prouve que f est injective).
On a montre que Q _ Z
2
, donc la demonstration est terminee.
2.4. Corollaire. Q
n
N pour tout n 1.
Demonstration. Imiter la demonstration de 1.11.
2.5. Proposition. Quels que soient les ensembles A, A

, B, B

, on a:
A _ A

et B _ B

= AB _ A

.
Demonstration. Imiter la demonstration de 1.10, en rempla cant par _, bijec-
tion par injection, etc.
2.6. Corollaire. Si A, B sont des ensembles denombrables, alors AB est denombrable.
Demonstration. En vertu de 2.5, A _ N et B _ N = A B _ N N. Puisque
N N N, on obtient A B _ N.
2.7. Proposition. Soit A =

iI
A
i
o` u I est denombrable et chacun des A
i
est
denombrable. Alors A est denombrable.
Demonstration. Pour chaque x A, on peut choisir un element j(x) de I tel que
x A
j(x)
. Donc, en vertu de laxiome du choix, il existe une fonction j : A I,
x j(x), qui satisfait :
Pour tout x A, x A
j(x)
.
Dautre part, pour chaque i I il existe une injection f
i
: A
i
N. On denit une
fonction F : A I N par
F(x) =
_
j(x), f
j(x)
(x)
_
pour chaque x A.
Veriez que F est injective ; donc A _ I N. Puisque 2.6 donne I N _ N, et puisque
_ est transitive, A _ N.
6
2.8. Exemple. Montrer que lensemble S =
_
x R [ sin(x) Q
_
est denombrable.
Solution. Si c est un nombre reel quelconque, alors on denit
S
c
=
_
x R [ sin(x) = c
_
.
En utilisant les proprietes connues de sin, on peut voir que S
c
est denombrable (pour
chaque valeur xee de c R). On remarque aussi que
S =
_
cQ
S
c
.
Puisque Q est denombrable et chacun des S
c
est denombrable, 2.7 implique que S est
denombrable.
2.9. Exercice. Supposons que f : A B est une fonction satisfaisant : pour chaque
b B, lensemble
_
x A [ f(x) = b
_
est denombrable. Montrez que si B est
denombrable alors A lest aussi.
Existe-t-il des ensembles non-denombrables ? En 1873 Cantor montra que lensemble
R nest pas denombrable. Avant de voir sa preuve, discutons un peu de la representation
decimale des nombres reels.
Considerons lintervalle I = [0, 1).
Chaque x I a au moins une representation decimale x = 0.c
1
c
2
c
3
. . . . Remar-
quez que la notation x = 0.c
1
c
2
c
3
. . . signie que (c
1
, c
2
, c
3
, . . . ) est une suite innie
delements de 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 satisfaisant legalite x =

n=1
cn
10
n
.
Chaque x I a au plus deux representations decimales. Si x a deux representations,
alors lune delles a une queue de 0 et lautre a une queue de 9. Par exemple,
1
4
= 0.250000 = 0.249999 . . . .
Convention : Nous rejetons les representations qui ont une queue de 9.
Cette convention nous permet decrire :
Chaque x I a une et une seule representation decimale.
Ceci nous permet de parler de la representation decimale dun nombre x I. Par
exemple, la representation decimale de
1
4
est 0.25000 . . . .
2.10. Lemme. Il nexiste aucune fonction surjective N I.
Demonstration. Il revient au meme de montrer quil nexiste aucune fonction surjective
A I, o` u A = 1, 2, 3, 4, . . . = N 0. Soit f : A I une fonction quelconque.
Montrons que f nest pas surjective.
7
Pour chaque n A, on consid`ere la representation decimale (unique, en vertu de la
convention) du nombre f(n) I,
f(1) = 0.c
11
c
12
c
13
c
14
. . .
f(2) = 0.c
21
c
22
c
23
c
24
. . .
.
.
.
f(n) = 0.c
n1
c
n2
c
n3
c
n4
. . .
.
.
.
On denit une suite innie (c
1
, c
2
, c
3
, . . . ) par la r`egle c
n
=
_
2 si c
nn
,= 2
3 si c
nn
= 2.
Alors :
(i) (c
1
, c
2
, c
3
, . . . ) est une suite delements de 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 qui na pas
une queue de 9
(ii) c
n
,= c
nn
pour tout n 1.
En vertu de (i), il existe un nombre y I dont la representation decimale est y =
0.c
1
c
2
c
3
. . . . Montrons que y , f(A).
Supposons quil existe n A tel que y = f(n). Alors y = 0.c
1
c
2
c
3
. . . et y =
0.c
n1
c
n2
c
n3
. . . . Puisque y a une seule representation decimale, il sensuit que c
1
= c
n1
,
c
2
= c
n2
, etc., et en particulier c
n
= c
nn
. Ceci contredit la denition de la suite
(c
1
, c
2
, . . . ), et cette contradiction montre quil nexiste aucun n A tel que f(n) = y.
Donc f nest pas surjective.
Remarque. Dans la preuve ci-dessus, la denition de la suite (c
1
, c
2
, . . . ) utilise une
idee de Cantor quon appelle largument de la diagonale.
2.11. Theor`eme (Cantor, 1873). R nest pas denombrable.
Demonstration. Si R est denombrable alors I lest aussi, donc I N en vertu de 2.2.
En particulier il existe une fonction surjective N I, ce qui contredit 2.10.
3. Le theor`eme de Schr oder-Bernstein
3.1. Theor`eme (Schr oder-Bernstein). Quels que soient les ensembles A et B,
A _ B et B _ A = A B.
Demonstration. Il y a deux parties ` a la demonstration :
(i) Montrer que si le theor`eme est vrai dans le cas particulier o` u AB = , alors
il est vrai en general.
(ii) Montrer que le theor`eme est vrai dans le cas particulier o` u A B = .
On commence par (i). Supposons que le theor`eme est vrai dans le cas particulier o` u
A B = . Considerons des ensembles A, B satisfaisant A _ B et B _ A. On doit
montrer que A B, sans supposer que A, B sont disjoints. Denissons des ensembles
8
A

et B

par A

= 0 A et B

= 1 B. Alors A

= . On a aussi A

A et
B

B, donc:
A

A et A _ B et B B

= A

_ B

B et B _ A et A A

= B

_ A

.
On a donc A

_ B

, B

_ A

et A

= . Puisque le theor`eme est suppose vrai


dans le cas particulier des ensembles disjoints, on deduit que A

. Mais alors
A A

et A

et B

B = A B,
donc on a montre que A B, et la preuve de la partie (i) est terminee.
Pour la partie (ii), on suppose que les ensembles A, B satisfont
A _ B, B _ A et A B =
et on doit montrer que A B. Puisque A _ B et B _ A, il existe une injection
f : A B et il existe une injection g : B A. Remarquez que ces fonctions ne sont
pas necessairement surjectives (voir lexemple 1.14).
Soit x
0
A ; sil existe x
1
B tel que g(x
1
) = x
0
, alors x
1
est unique (puisque g est
injective) et nous dirons que x
1
est le parent de x
0
. Notez que si x
0
, g(B), alors x
0
na aucun parent.
Soit x
0
B ; sil existe x
1
A tel que f(x
1
) = x
0
, alors x
1
est unique et est appele
le parent de x
0
. Comme dans le premier cas, il se peut que x
0
nait aucun parent.
Ainsi, chaque element x
0
de AB a au plus un parent (car AB = ). Si x
0
a un
parent, designons-le par x
1
A B ; si x
1
a un parent, designons-le par x
2
A B ;
etc. Ainsi, chaque element x
0
de AB determine une suite (x
0
, x
1
, x
2
, . . . ) delements
de A B telle que chaque terme x
i+1
de la suite est le parent du terme precedent x
i
.
Cette suite peut etre nie ou innie, et on la designera par le symbole (x
0
). Par
exemple, supposons que x
0
A B a un parent x
1
, que x
1
a un parent x
2
, et que x
2
na aucun parent ; alors (x
0
) = (x
0
, x
1
, x
2
). Autre exemple : si x
0
AB na aucun
parent alors (x
0
) = (x
0
). Lorsque (x
0
) est une suite nie, (x
0
) = (x
0
, x
1
, . . . , x
n
),
alors x
n
na aucun parent. Lorsque la suite est innie, (x
0
) = (x
0
, x
1
, x
2
, . . . ), alors
chaque x
i
a un parent.
On denit ensuite le type de chaque element x
0
de A B (il y a trois types
possibles). On dira que x
0
est de type si (x
0
) est une suite innie ; que x
0
est de
type A si (x
0
) = (x
0
, . . . , x
n
) et x
n
A ; et que x
0
est de type B si (x
0
) = (x
0
, . . . , x
n
)
et x
n
B. Remarquez que nous avons eu besoin du fait que AB = pour denir le
type de x
0
. En eet, si (x
0
) = (x
0
, . . . , x
n
) alors x
n
appartient soit ` a A soit ` a B, mais
ne peut pas appartenir aux deux ensembles, donc le type de x
0
est bien deni. Enn,
on denit
A

=
_
x A [ x est de type
_
B

=
_
x B [ x est de type
_
A
A
=
_
x A [ x est de type A
_
B
A
=
_
x B [ x est de type A
_
A
B
=
_
x A [ x est de type B
_
B
B
=
_
x B [ x est de type B
_
9
et on note que ces six ensembles sont deux ` a deux disjoints. Veriez les armations
suivantes :
f
_
A

_
= B

, f
_
A
A
_
= B
A
, g
_
B
B
_
= A
B
.
Donc les trois fonctions suivantes sont bien denies et bijectives :
A

x f(x)
A
A
B
A
x f(x)
B
B
A
B
x g(x)
Puisque A est la reunion disjointe A = A

A
A
A
B
et que B est la reunion disjointe
B = B

B
A
B
B
, on conclut que la fonction suivante est bien denie et est bijective :
h : A B, h(x) =
_

_
f(x), si x A

f(x) si x A
A
g
1
(x) si x A
B
.
Donc A B.
3.2. Exercice. Apr`es avoir lu la preuve ci-dessus, considerez lexemple suivant. Soient
A = (, 0) =
_
x R [ x < 0
_
et B = [0, ) =
_
x R [ x 0
_
. Veriez que
f : A B
x x
g : B A
x x 1
sont des fonctions bien denies et sont injectives. Remarquez que A _ B, B _ A et
A B = . Suivez pas ` a pas la partie (ii) de la demonstration de 3.1 en utilisant
A, B, f, g que nous venons de denir. En particulier, veriez :
A

= B

=
A
A
=
_
nN
(n 1, n) B
A
=
_
nN
(n, n + 1)
A
B
= 1, 2, 3, 4, . . . B
B
= N
et decrivez la bijection h : A B donnee par la preuve.
Nous ecrirons TSB pour abreger Theor`eme de Schr oder-Bernstein. Remarquons
que en combinant 1.13 et TSB on obtient
A B A _ B et B _ A.
Applications du theor`eme de Schr oder-Bernstein
3.3. Corollaire. Supposons que E est un sous-ensemble de R satisfaisant :
Il existe des nombres reels a < b tels que (a, b) E.
Alors E R.
10
Demonstration. La fonction arctan : R (

2
,

2
) est strictement croissante, donc
injective. En fait cest une bijection, car pour tout y (

2
,

2
) on a arctan(tany) = y.
Donc R (

2
,

2
). On voit facilement que (

2
,

2
) (a, b), donc R (a, b). Puisque
(a, b) E on a (a, b) _ E, donc R _ E. On a aussi E _ R (car E R), donc TSB
implique que E R.
3.4. Lemme. Soit S un ensemble tel que S N. Alors il existe des sous-ensembles
S
0
, S
1
de S satisfaisant
S = S
0
S
1
, S
0
S
1
= , S
0
N S
1
.
Demonstration. Soient P = 0, 2, 4, 6, . . . et I = 1, 3, 5, 7, . . . . On choisit une
bijection f : N S, alors les ensembles S
0
= f(P) et S
1
= f(I) satisfont la condition
du lemme.
3.5. Proposition. Soit A un ensemble inni. Alors pour tout ensemble denombrable
D on a D A A.
Demonstration. Puisque A est inni, il existe
1
une injection f : N A. On denit
S = f(N) et (voir 3.4) on choisit des sous-ensembles S
0
, S
1
de S satisfaisant S = S
0
S
1
,
S
0
S
1
= et S
0
N S
1
. Alors D A _ D _ N _ S
0
, donc il existe une injection
g
0
: D A S
0
. Dautre part, S N S
1
implique quil existe une bijection
g
1
: S S
1
. On denit g : D A A par
g(x) =
_

_
g
0
(x), si x D A,
g
1
(x), si x S,
x, si x A S,
Puisque g est injective, on a D A _ A ; puisque A D A, on a A _ D A ; alors
TSB implique D A A.
3.6. Corollaire. Soit A un ensemble non denombrable et soit D une partie denombrable
de A. Alors A D A.
3.7. Exemple. Si D est une partie denombrable de R, alors R D R.
En particulier, R Q R.
Demonstration de 3.6. On ecrit A comme union de deux ensembles :
A = D (A D).
Puisque D est denombrable mais D(A D) ne lest pas, 2.7 implique que A D nest
pas denombrable ; en particulier, AD est inni. Puisque D est denombrable et AD
est inni, 3.5 implique que D (A D) A D. Autrement dit, A A D.
1
Lexistence de cette injection est evidente du point de vue intuitif, mais nous donnerons une
demonstration plus tard, voir 5.2.
11
4. Les nombres transcendants
Un polyn ome ` a coecients dans Q est une somme nie a
0
+a
1
x +a
2
x
2
+ +a
n
x
n
o` u x est une variable et a
0
, . . . , a
n
Q. Le symbole Q[x] designe lensemble de tous
les polyn omes ` a coecients dans Q. Par exemple,
1
2
3x + 5x
2
Q[x]. Le polyn ome
0 +0x+0x
2
+ dont tous les coecients sont nuls est appele le polyn ome nul. Donc
un polyn ome a
0
+a
1
x +a
2
x
2
+ +a
n
x
n
est non nul si au moins un coecient a
i
est
non nul.
Chaque polyn ome determine une fonction de R vers R. Par exemple,
1
2
3x+5x
2

Q[x] determine la fonction f : R R, f(r) =


1
2
3r + 5r
2
.
4.1. Denition. Un nombre reel r est algebrique sil existe un polyn ome non nul
f(x) Q[x] satisfaisant f(r) = 0. Un nombre reel qui nest pas algebrique est appele
un nombre transcendant.
4.2. Exemple. Chaque nombre rationnel est algebrique. En eet, si r Q alors
f(x) = x r est un element de Q[x], est non nul, et satisfait f(r) = 0.
4.3. Exemple. Le nombre irrationnel r =
5

3 est algebrique. En eet, f(x) = x


5
3
est un element de Q[x], est non nul, et satisfait f(r) = 0.
4.4. Exemple. Montrons que le nombre r =

2 +

3 est algebrique.
r =

2 +

3
r

2 =

3
(r

2)
2
= 3
r
2
(2

2)r + 2 = 3
r
2
1 = (2

2)r
(r
2
1)
2
= 8r
2
r
4
2r
2
+ 1 = 8r
2
r
4
10r
2
+ 1 = 0.
Donc si on denit f(x) = x
4
10x
2
+1 alors f(x) est un element de Q[x], est non nul,
et satisfait f(r) = 0.
Vers lan 1800, aucun nombre transcendant netait connu et les mathematiciens se
demandaient si tous les nombres reels etaient algebriques. Un peu dhistoire :
1806: Legendre conjecture que est transcendant.
`
A ce moment, on ne sait
meme pas sil existe des nombres transcendants.
1844: Liouville demontre quil existe des nombres transcendants et donne quelques
exemples, par exemple : 10
1!
+ 10
2!
+ 10
3!
+ 10
4!
+ .
1873: Hermite demontre que e est transcendant.
1874: Cantor demontre que lensemble des nombres algebriques est denombrable
(donc lensemble des nombres transcendants est non denombrable).
12
1882: Lindemann demontre que est transcendant.
Soit A lensemble des nombres algebriques, A =
_
r R [ r est algebrique
_
. Nous
allons demontrer (comme Cantor) que A est denombrable. La premi`ere etape de la
preuve est :
4.5. Lemme. Q[x] est denombrable.
Demonstration. Pour chaque n N, soit P
n
=
_
f(x) Q[x] [ deg(f) n
_
. Alors
Q
n+1
P
n
, (a
0
, . . . , a
n
) a
0
+a
1
x + a
2
x
2
+ +a
n
x
n
est une bijection, donc P
n
Q
n+1
N. Ainsi, chaque P
n
est denombrable. Dautre
part,
Q[x] =
_
nN
P
n
Le fait que Q[x] est denombrable est donc une consequence de 2.7.
4.6. Theor`eme (Cantor, 1874). Lensemble A est denombrable.
Demonstration. Soit F = Q[x] 0 (lensemble des polyn omes non nuls ` a coecients
dans Q). En vertu de 4.5, F est denombrable. Pour chaque f F on consid`ere
lensemble des zeros de f,
Z(f) =
_
r R [ f(r) = 0
_
,
qui est un ensemble ni car un polyn ome non nul de degre d a au plus d racines. En
particulier, Z(f) est denombrable pour chaque f F. Par denition de A on a
A =
_
fF
Z(f).
Puisque F est denombrable et chaque Z(f) est denombrable, 2.7 implique que A est
denombrable.
Le Theor`eme 4.6 a la consequence suivante pour lensemble R A des nombres
transcendants :
4.7. Corollaire. R A R
Demonstration. Consequence immediate de 4.6 et 3.6.
13
5. Le principe de trichotomie
5.1. Theor`eme. Toute paire densembles A, B satisfait A _ B ou B _ A.
Demonstration. Soient A, B des ensembles. Soit lensemble de toutes les fonctions f
qui satisfont :
domf A codomf = B f est injective.
Si f, g satisfont
domf domg et
xdomf
(f(x) = g(x))
alors on dit que f est une restriction de g et on ecrit f g. Alors (, ) est un
ensemble partiellement ordonne. Verions que (, ) satisfait les deux hypoth`eses du
Lemme de Zorn.
La premi`ere hypoth`ese est que ,= . Ceci est vrai, car lunique fonction de vers
B est un element de .
Pour verier la deuxi`eme hypoth`ese on consid`ere un sous-ensemble C qui sat-
isfait C ,= et
f,gC
(f g g f) ; on doit montrer quil existe h tel que

fC
(f h). Soit U =
_
fC
domf et soit h : U B la fonction denie par :

Etant donne x U, on denit h(x) = f(x) o` u f est nimporte quel


element de C satisfaisant x domf.
Pour sassurer que h : U B est une fonction bien denie, on doit verier que pour
chaque x U les deux conditions suivantes sont satisfaites :
(i) il existe au moins un f C satisfaisant x domf
(ii) si f
1
, f
2
C satisfont x domf
1
et x domf
2
, alors f
1
(x) = f
2
(x).
La condition (i) est satisfaite, en vertu de la denition de U. Pour la condition (ii) on
remarque dabord que f
1
, f
2
C implique f
1
f
2
ou f
2
f
1
, donc la denition de
implique f
1
(x) = f
2
(x), donc (ii) est satisfaite. Ainsi, h : U B est une fonction bien
denie.
Montrons que h est injective. Supposons que x
1
, x
2
U satisfont h(x
1
) = h(x
2
).
Pour chaque i = 1, 2, il existe f
i
C telle que x
i
domf
i
. On a alors f
1
f
2
ou
f
2
f
1
, donc domf
1
domf
2
ou domf
2
domf
1
. Donc on a x
1
, x
2
domf
j
pour
un choix approprie de j 1, 2. Mais alors la denition de h nous permet decrire
h(x
1
) = f
j
(x
1
) et h(x
2
) = f
j
(x
2
), do` u
f
j
(x
1
) = h(x
1
) = h(x
2
) = f
j
(x
2
).
Puisque f
j
C est une fonction injective, on obtient x
1
= x
2
. Donc h est injective
et il sensuit que h . On a donc prouve lexistence dun element h qui satisfait

fC
(f h).
14
On conclut que (, ) satisfait les deux hypoth`eses du Lemme de Zorn. Consequem-
ment, il existe un element maximal F . Il y a deux possibilites : dom(F) est, ou
nest pas egal ` a A.
i) Si dom(F) = A alors F est une injection de A vers B, donc A _ B.
ii) Supposons que dom(F) ,= A et ecrivons A
0
= dom(F). Alors F : A
0
B doit
etre surjective. En eet, si F nest pas surjective alors on peut choisir a A A
0
et
b B F(A
0
), et denir une fonction G : A
0
a B par
G(x) =
_
F(x) si x A
0
b si x = a.
Alors G : A
0
a B est injective, donc G et F < G, contredisant la maximalite
de F. Ainsi, F : A
0
B doit etre surjective, donc bijective, donc B A
0
_ A.
On a montre que si dom(F) = Aalors A _ B, et que si dom(F) ,= A alors B _ A.
5.2. Corollaire. Si A est un ensemble inni alors N _ A.
Demonstration. En vertu de 5.1, on a N _ A ou A _ N. Si A _ N alors A est inni et
denombrable, donc 2.2 implique A N, donc N _ A.
5.3. Denition.

Etant donnes des ensembles A et B,
A B signie: A _ B et A , B.
Autrement dit, A B signie quil existe au moins une injection A B, mais
aucune bijection. Par exemple, les assertions 1, 2 1, 2, 3 sont vraies, et si
F est un ensemble ni alors F N. Autre exemple :
5.4. Proposition. N R
Demonstration. N R implique N _ R et 2.11 implique N , R.
Attention : lassertion N Z est fausse, puisquil existe une bijection N Z.
On va montrer que est transitive (voir partie (1) de 5.5). On pourrait penser
que cest evident, mais en fait cest assez delicat puisquon a besoin de TSB pour le
demontrer.
5.5. Proposition. Quels que soient les ensembles A, B, C,
(1) A B et B C = A C (transitivite de )
(2) A B et B _ C = A C
(3) A _ B et B C = A C
Demonstration. Demontrons limplication (3). On proc`ede par contradiction : sup-
posons que A _ B et B C et (A C).
15
On a A _ B et B C = A _ B et B _ C = A _ C, donc on obtient
A _ C et (A C), donc A C (par denition de ). En particulier, la condition
suivante est satisfaite : A _ B et B _ C et C _ A. On deduit :
B _ C et (C _ A et A _ B) = B _ C et C _ B
TSB
= B C,
qui contredit lhypoth`ese B C. Donc limplication (3) est vraie. Puisque
A B et B C = A _ B et B C
(3)
= A C,
limplication (1) est egalement vraie. La preuve de limplication (2) est presquidentique
` a celle de (3).
Voici maintenant un corollaire du Theor`eme 5.1.
5.6. Principe de Trichotomie. Toute paire densembles A, B satisfait exactement
une des conditions suivantes :
A B, A B, B A.
Demonstration. En vertu de 5.1, au moins une des trois conditions est satisfaite. Par
denition de , il nest pas possible que (A B et A B) soit vraie ou que (A B
et B A) soit vraie. Si (A B et B A) est vraie alors par transitivite on obtient
A A, donc A , A, qui est absurde.
6. Les cardinalites infinies
On a vu que N R. Si un ensemble A satisfait A N, on dit que A est inni
denombrable; si A R, on dit que A a la puissance du continu. Est-ce que tout
ensemble inni est dun de ces deux types ?
Le principe de trichotomie a la consequence suivante :
6.1. Proposition. Supposons que A est un ensemble inni qui ne satisfait ni A N
ni A R. Alors N A R ou R A.
Demonstration. Puisque A est inni, on a N _ A ; puisque N , A, on a donc
(1) N A.
Dautre part, le principe de trichotomie applique ` a A et R implique
(2) A R ou R A
(puisque A , R par hypoth`ese). Enn, (1) et (2) impliquent que A satisfait N A R
ou R A.
La question posee au debut de la section se subdivise donc en deux :
(i) Existe-t-il un ensemble A tel que N A R ?
(ii) Existe-t-il un ensemble A tel que R A ?
16
On reviendra plus tard ` a la question (i) ; pour linstant considerons (ii). Pendant
un certain temps Cantor a essaye de montrer que R R
2
, mais il a ni par demontrer
le contraire !
6.2. Theor`eme (Cantor). R
2
R
Demonstration. On consid`ere la representation decimale des elements de I = [0, 1) (voir
2.10). On denit une fonction f : I I I de la mani`ere suivante. Si (x, y) I I,
et si x = 0.x
1
x
2
x
3
. . . et y = 0.y
1
y
2
y
3
. . . sont les representations decimales de x et y,
alors on denit
f(x, y) = 0.x
1
y
1
x
2
y
2
x
3
y
3
. . . .
Puisque lexpression 0.x
1
y
1
x
2
y
2
x
3
y
3
. . . determine la paire (x, y) de mani`ere unique, f
est injective. Ainsi, I
2
_ I. La fonction g : I I
2
, g(x) = (x, 0), est injective, donc
I _ I
2
; alors TSB implique I
2
I. On a R I en vertu de 3.3, donc on a aussi
R
2
I
2
(voir 1.10). On conclut que R
2
I
2
I R.
6.3. Corollaire. R
n
R pour tout n 1.
Donc, si on cherche un ensemble A tel que R A, on doit chercher ailleurs que
parmi les R
n
. Cest encore Cantor qui a resolu ce probl`eme, et la solution est dune
simplicite deconcertante :
6.4. Theor`eme (Cantor). Quel que soit lensemble A, on a A

A.
Demonstration. Soit A un ensemble. La fonction A

A, a a, est injective,
donc A _

A. Pour montrer que A

A, il sut de montrer quil nexiste aucune
fonction surjective A

A (car alors A ,

A).
Soit f : A

A une fonction quelconque ; montrons que f nest pas surjective. On


denit un element Y de

A par
Y =
_
a A [ a , f(a)
_
.
Montrons que Y , f(A). Par contradiction : supposons que Y f(A). Donc il existe
a
0
A tel que f(a
0
) = Y . Il y a deux cas : soit a
0
Y , soit a
0
, Y . On montre que
dans chaque cas on obtient une contradiction.
Si a
0
Y = f(a
0
) alors a
0
f(a
0
) donc a
0
,
_
a A [ a , f(a)
_
= Y , donc
a
0
Y et a
0
, Y , contradiction.
Si a
0
, Y = f(a
0
) alors a
0
, f(a
0
) donc a
0

_
a A [ a , f(a)
_
= Y , donc
a
0
Y et a
0
, Y , contradiction.
Ceci montre que Y , f(A), donc f nest pas surjective.
6.5. Corollaire. R

R . . .
Ceci repond ` a la question (ii). Voyons maintenant la question (i), qui demande si
lenonce suivant est vrai ou faux :
(HC) Il nexiste aucun ensemble A satisfaisant N A R.
17
Lenonce (HC) est appele lhypoth`ese du continu. La question de savoir si il est vrai
ou faux est tr`es dicile et subtile. Cantor y a consacre une bonne partie de sa vie (et
de sa sante mentale) sans parvenir ` a y repondre. La raison de lechec de Cantor a ete
comprise au vingti`eme si`ecle :
6.6. Theor`eme (G odel, 1938). Si ZFC est non contradictoire, alors ZFC+(HC) est
non contradictoire.
6.7. Theor`eme (Cohen, 1963). Si ZFC est non contradictoire, alors ZFC +(HC)
est non contradictoire.
Ceci signie que, ` a partir des axiomes de ZFC, il est impossible de prouver (HC) et
il est impossible de prouver (HC). On dit que lassertion (HC) est indecidable.
7. Les parties de N
Le principe de trichotomie implique quexactement une des conditions

(N) R,

(N) R, R

(N)
est vraie, et nous aimerions savoir laquelle. Le but de cette section est de demontrer :
7.1. Theor`eme.

(N) R
Considerons lintervalle
J = [0, 2)
et rappelons que R J, donc il sut de montrer que J

(N).
Chaque x J a au moins une representation binaire x = x
0
.x
1
x
2
x
3
. . . . Ici, on a
x
n
0, 1 pour tout n N et on a x =

n=0
xn
2
n
.
Chaque x J a au plus deux representations binaires. Si x a deux representations,
alors lune delles a une queue de 0 et lautre a une queue de 1. Par exemple,
11
8
=
1
2
0
+
0
2
1
+
1
2
2
+
1
2
3
= 1.0110000 . . .
11
8
=
1
2
0
+
0
2
1
+
1
2
2
+
0
2
3
+

i=4
1
2
n
= 1.01011111 . . .
Remarquez quune representation a une queue de 1 si et seulement si elle contient un
nombre ni de 0. Nous declarons que les representations qui ont une queue de 1 sont
illegales. Autrement dit,
une representation binaire est legale si et seulement si elle contient une
innite de 0.
On peut alors armer :
18
7.2. Lemme. Soit J = [0, 2).
(1) Chaque element de J poss`ede une et une seule representation binaire legale.
(2) Si x
0
.x
1
x
2
x
3
. . . est la representation binaire legale dun element de J alors
(x
0
, x
1
, x
2
, . . . ) est une suite innie delements de 0, 1 contenant une innite
de zeros.
(3) Si (x
0
, x
1
, x
2
, . . . ) est une suite innie delements de 0, 1 contenant une in-
nite de zeros, alors il existe un et un seul x J dont la representation binaire
legale est x = x
0
.x
1
x
2
x
3
. . . .
Chaque element x J determine un ensemble A
x
deni comme suit :
A
x
=
_
n N [ x
n
= 1
_
, o` u x = x
0
.x
1
x
2
x
3
. . . est la representation
binaire legale de x.
Puisque la suite (x
0
, x
1
, x
2
, . . . ) contient une innite de zeros, il sensuit que A
c
x
= NA
x
est un ensemble inni. Donc on a deni une fonction
f : J
_
A

(N) [ A
c
est inni
_
x A
x
Par exemple, soit x = 1/3 J. Alors x = x
0
.x
1
x
2
x
3
. . . = 0.0101010101 . . . (periodique),
donc x
n
= 1 lorsque n 2, 4, 6, 8, . . . , donc f(
1
3
) = A
1/3
= 2, 4, 6, 8, . . . est
lensemble des nombres pairs positifs.
De plus, la partie (3) de 7.2 implique que pour chaque element A de
_
A

(N) [
A
c
est inni
_
, il existe exactement un x J tel que f(x) = A. Autrement dit, f est
bijective. Donc :
R J W
def
=
_
A

(N) [ A
c
est inni
_
.
Remarquez que W

(N). Il ne reste plus qu` a montrer que :


(3)

(N) W est denombrable
En eet, si (3) est vrai alors 3.5 implique que W (

(N) W) W, donc

(N) =
W (

(N) W) W R. Demontrons (3). Remarquons dabord que


(4)

(N) W =
_
A

(N) [ A
c
est ni
_
.
Soit

n
(N) lensemble des parties nies de N. Les deux fonctions
C
1
:
_
A

(N) [ A
c
est ni
_


n
(N)
A A
c
et
C
2
:

n
(N)
_
A

(N) [ A
c
est ni
_
A A
c
satisfont C
1
C
2
= id et C
2
C
1
= id, donc ces fonctions sont bijectives et consequemment

(N) W =
_
A

(N) [ A
c
est ni
_


n
(N).
19
On a aussi

n
(N) =
_
nN

0, 1, 2, . . . , n,
donc

n
(N) est une reunion denombrable densembles nis, donc

n
(N) N en vertu
de 2.7. On a donc

(N) W

n
(N) N, ce qui demontre (3).
Ceci compl`ete la demonstration du Theor`eme 7.1.
Remarque. Puisque

(N) R, lHypoth`ese du Continu peut etre reformulee comme
suit :
(HC) Il nexiste aucun ensemble A satisfaisant N A

(N).
Il existe aussi une Hypoth`ese du Continu Generalisee, qui senonce ainsi :
(HCG) Si E est un ensemble inni alors il nexiste aucun ensemble A satis-
faisant E A

(E).
8. Reunions et produits densembles infinis
Dans cette section nous montrons que plusieurs resultats que nous avons demontres
pour les ensembles denombrables ou pour R sont en fait valables pour tous les ensembles
innis. Par exemple on sait que N
2
N et que R
2
R ; on va montrer dans cette
section que A
2
A est vrai pour tout ensemble inni A.
8.1. Lemme. Si A est un ensemble inni alors A0, 1 A.
Demonstration. Soit lensemble des fonctions f satisfaisant

XA
f est une injection de X 0, 1 vers X.
Si f, g satisfont domf domg et
xdomf
[f(x) = g(x)], on ecrit f g. Alors
(, ) est un ensemble partiellement ordonne et le lecteur peut verier que (, )
satisfait les hypoth`eses du Lemme de Zorn (cest essentiellement la meme preuve que
dans la demonstration de 5.1). Donc il existe un element maximal f . Alors
f : X 0, 1 X est une injection et X A.
Supposons que AX est inni. Alors il existe une partie Y de AX telle que Y N.
On a alors Y 0, 1 _ Y Y Y , donc il existe une injection g : Y 0, 1 Y .
On peut alors denir une fonction h : (X Y ) 0, 1 (X Y ) par
h(z) =
_
f(z), si z X 0, 1
g(z), si z Y 0, 1.
Il est clair que h est injective, que h et que f < h, ce qui contredit la maximalite
de f. Cette contradiction montre que A X est ni.
Puisque A est inni et A X est ni,
X est inni et A X est denombrable
3.5
= (A X) X X,
20
donc X A. Puisque f : X0, 1 X est une injection on a X0, 1 _ X, donc
A 0, 1 X 0, 1 _ X A. Puisque A _ A 0, 1 est evident, TSB donne
A 0, 1 A.
8.2. Corollaire. Si A B est un ensemble inni et A _ B, alors A B B.
Demonstration. Notons que B est inni (sinon A et B sont tous les deux nis, ce qui
est impossible). Puisque A _ B, on peut choisir une injection f : A B. Alors on
denit une fonctin g : A B B 0, 1 par
g(x) =
_
(f(x), 0), si x A
(x, 1), si x B A.
Il est clair que g est injective, donc A B _ B 0, 1. Puisque B est inni, 8.1
implique que B 0, 1 B, donc A B _ B. Il est evident que B _ A B, donc
TSB implique A B B.
8.3. Corollaire. Si A B et B est inni, alors B A B.
Demonstration. Notons que A (B A) = A B est inni.
Si BA _ A alors 8.2 implique que (BA) A A, donc AB A B _ AB,
ce qui est impossible (voir 5.5).
Puisque BA _ A est impossible, le principe de trichotomie implique que A BA.
Alors 8.2 implique que A (B A) B A, donc A B B A. Mais 8.2 implique
aussi que A B B, donc B A B.
8.4. Theor`eme. Si A est un ensemble inni alors A
2
A.
Demonstration. Soit lensemble des fonctions f satisfaisant

XA
f est une injection de X
2
vers X.
Alors (, ) est un ensemble partiellement ordonne, o` u est denie comme dans
les demonstrations de 5.1 et de 8.1. Le lecteur peut verier que (, ) satisfait les
hypoth`eses du Lemme de Zorn (voir la demonstration de 5.1). Donc il existe un element
maximal f . Alors f : X
2
X est une injection et X A. Remarquons que
X
2
X en vertu de TSB (on a X
2
_ X, et X _ X
2
est evident). Montrons que
(5) A X _ X.
Par contradiction, supposons que lassertion (5) est fausse. Alors le Principe de Tri-
chotomie implique que X A X. Consequemment, il existe un sous-ensemble
Y A X tel que X Y . On a alors Y
2
X
2
X Y . Puisque X Y = , les
quatre ensembles
X X, X Y, Y X, Y Y
sont deux ` a deux disjoints et, clairement, la reunion de ces ensembles est (X Y )
2
. Si
on denit W = (X Y ) (Y X) (Y Y ) alors
(6) (X Y )
2
= X
2
W et X
2
W = .
21
De plus, on a
X Y Y et Y X Y et Y Y Y,
donc 8.2 implique W Y . On choisit une bijection g : W Y . Lenonce (6) et
les injections f : X
2
X et g : W Y nous permettent de denir une fonction
h : (X Y )
2
X Y par
h(z) =
_
f(z), si z X
2
g(z), si z W.
Il est clair que h est injective, donc h et f < h, ce qui contredit la maximalite de
f. Cette contradiction montre que (5) est vraie.
Puisque (AX) X = A est inni et AX _ X, 8.2 implique que (AX) X X,
donc A X. On conclut que A
2
X
2
X A.
8.5. Corollaire. Si A est un ensemble inni alors A
n
A pour tout entier n 1.
8.6. Exercice. Montrez que si V ,= 0 est un espace vectoriel de dimension nie sur le
corps Q, alors V N (indice : on a un isomorphisme despaces vectoriels V

= Q
n
o` u n
est un entier positif). Plus generalement, montrez que si V ,= 0 est un espace vectoriel
de dimension nie sur un corps inni K, alors V K.
8.7. Theor`eme. Soit
_
A
i

iI
une famille densembles. Si M est un ensemble inni
tel que I _ M et
iI
(A
i
_ M), alors

iI
A
i
_ M.
Demonstration. Exactement comme dans la demonstration de 2.7, laxiome du choix
nous permet de montrer lexistence dune injection

iI
A
i
I M. Alors
_
iI
A
i
_ I M _ M M M
en vertu de 2.5 et 8.4.
Avant daller plus loin, rappelons un fait quon a dej` a vu :
8.8. Lemme. Sil existe une surjection X Y , alors Y _ X.
Demonstration. Soit f : X Y une surjection. En vertu de laxiome du choix, il existe
une fonction g : Y X telle que f g = id
Y
(voir la section sur laxiome du choix
dans les notes sur ZFC). Alors f g est injective, donc g est injective, donc Y _ X.
8.9. Notation.

Etant donne un ensemble A,

n
(A) designe lensemble des parties
nies de A et

n
(A) designe lensemble des parties de A qui contiennent au plus n
elements. On a donc

n
(A) =

nN

n
(A).
8.10. Proposition. Si A est un ensemble inni, alors

n
(A) A.
22
Demonstration. Soit n N, n 1. La fonction f : A
n


n
(A) denie par
f(a
1
, . . . , a
n
) = a
1
, . . . , a
n
est surjective, donc

n
(A) _ A
n
(voir 8.8). En vertu
de 8.5 on a A
n
A, donc

n
(A) _ A. On a donc

nN

n
(A) _ A.
On a aussi N _ A, puisque A est inni. Donc 8.7 implique

nN

n
(A) _ A.
Puisque

n
(A) =

nN

n
(A), on obtient

n
(A) _ A. Il est clair que A _

n
(A),
donc TSB implique

n
(A) A.
8.11. Corollaire. Soit V un espace vectoriel de dimension innie sur un corps K, et
soit B une base de V .
(a) si K _ B alors V B
(b) si B _ K alors V K
(c) si K V alors V B.
Demonstration. Si F est une partie nie de B alors F) designe le sous-espace de V
engendre par F. Si v V alors v est une combinaison lineaire (nie) des vecteurs de
B, donc il existe F

n
(B) tel que v F). Ceci implique que
(7) V =
_
F

n
(B)
F).
Puisque V est de dimension innie, B est un ensemble inni et 8.10 implique que

n
(B) B. Dautre part, si F

n
(B) et F contient n vecteurs alors on a un
isomorphisme despaces vectoriels F)

= K
n
, donc F) K
n
.
Si K _ B alors pour chaque entier n > 0 on a K
n
_ B
n
B, donc F) _ B pour
tout F

n
(B). Comme on a aussi

n
(B) B, on obtient V _ B de (7) et 8.7.
Puisque B V on a aussi B _ V , donc TSB implique V B et (a) est demontre.
Si B _ K alors K est inni, donc K
n
K pour tout n, donc F) K pour tout
F

n
(B). On a aussi

n
(B) B _ K, on obtient V _ K de (7) et 8.7. Il est clair
que K _ V , donc TSB implique V K et (b) est demontre.
Lassertion (c) est une consequence de (a) et (b) : supposons que K V . Alors (b)
implique (B _ K), donc le principe de trichotomie implique que K B et on obtient
V B de (a).
8.12. Exercice. Considerez lespace vectoriel R sur le corps Q.
(1) Montrez que cet espace vectoriel est de dimension innie (voir 8.6).
(2) On sait que tout espace vectoriel poss`ede une base. Montrez que si B R est
une base de lespace vectoriel R sur Q, alors B R.
8.13. Exercice. Soit K un corps inni (par exemple Q ou R) et soit V ,= 0 un espace
vectoriel de dimension nie sur K. Soit S lensemble des sous-espaces de V ,
S =
_
U

(V ) [ U est un sous-espace de V
_
.
23
Montrez que S _ K (indice : pouvez-vous denir une surjection

n
(V ) S ?)
Remarquez que si dimV = 1 alors S contient seulement deux elements. Montrez que
si dimV > 1 alors S K.
8.14. Exercice. Montrez que si A est un ensemble inni alors lensemble des parties
innies de A est equipotent ` a

(A). Autrement dit, montrez :

(A)

n
(A)

(A).
9. 2
U
Soit U un ensemble.
On sinteresse ` a lensemble 0, 1
U
de toutes les fonctions de U vers 0, 1. Remar-
quez quon peut ecrire 2
U
au lieu de 0, 1
U
, car 2 = 0, 1.
Pour chaque sous-ensemble A de U, on denit la fonction
A
: U 0, 1 par

A
(x) =
_
1 si x A
0 si x / A
pour chaque x U.
On dit que
A
: U 0, 1 est la fonction caracteristique de A. Puisque
A
est un
element de lensemble 0, 1
U
, une fonction F :

(U) 0, 1
U
est denie par :
F(A) =
A
, pour chaque A

(U).
Reciproquement, si f 0, 1
U
alors lensemble
f
1
(1) =
_
x U [ f(x) = 1
_
est un element de

(U). Donc une fonction G : 0, 1
U

(U) est denie par :


G(f) = f
1
(1), pour chaque f 0, 1
U
.
9.1. Exercice. Veriez que G F est la fonction identite de

(U) et que F G est la
fonction identite de 0, 1
U
.
Cet exercice implique que F :

(U) 0, 1
U
est bijective, ce qui demontre :
9.2. Proposition. Quel que soit lensemble U, on a

(U) 2
U
.

You might also like