TD 2 Corrigeee
TD 2 Corrigeee
TD 2 Corrigeee
Annee 2011/12
Ensembles et fonctions
1. On suppose que lensemble de tous les ensembles qui ne sont pas elements deux-memes existe, et on lappelle
X ; autrement dit, X = {x|x 6 x}.
(a) A-t-on X X ? A-t-on X 6 X ?
Solution : Non aux deux questions. Si X X alors X 6 X par la definition de X. Si X
/ X alors X X
par la definition de X.
(b) Quel est le lien avec le paradoxe de Russel ?
Solution : Russel, version le Barbier vu en cours : meme paradoxe, appele auto-referentiel
2. On rappelle que les elements de B sont 0 et 1.
(a) A-t-on B B ?
Solution : Non car B = {0, 1}
(b) Quels sont les elements de P(B) ?
Solution : P(B) = {, {0}, {1}, {0, 1}
(c) Quels sont les elements de P(P(B)) ?
Solution : P(P(B)) = {, {}, {{0}}, {{1}}, {{0, 1}},
{, {0}}, {, {1}}, {, {0, 1}}, {{0}, {1}}, {{0}, {0, 1}}, {{1}, {0, 1}},
{, {0}, {1}}, {, {0}, {0, 1}}, {, {1}, {0, 1}}, {{0}, {1}, {0, 1}}, {, {0}, {1}, {0, 1}}
3. Dans chacun des cas suivants, determiner si les ensembles A et B sont egaux :
(a) A = {x R|x > 0}
B = {x R|x |x|}
Solution : Non car 0
/ A et 0 B
(b) A = {x R|x > 0}
B = {x R|x < |x|}
Solution : Non car 6
/ A et 6 B
(c) A = Z
B = {x Z|x2 x pair }
2
Solution : Oui car x x = x(x 1) est toujours pair (x ou x-1 est pair)
(d) A = {x N20 |x impair et non divisible par 3} B = {x N20 |24 divise x2 1}
Solution : Oui par enumeration. A = B = {1, 5, 7, 11, 13, 17, 19}
4. Definir les ensembles suivants en comprehension :
(a) A = {1, 2, 4, 8, 16, 32, 64}
` 64, {x N|n N6 t.q. x = 2n }
Solution : les puissances de 2 inferieures ou egales a
(b) B = {1, 2, 7, 14}
Solution : Les diviseurs de 14, {x N|n N t.q. x = 14/n}
(c) C = {4, 6, 8, 9, 10, 12, 14, 15, 16, 18, 20}
` 20 qui ont au moins trois diviseurs
Solution : Les entiers inferieurs ou egaux a
5. Definir les ensembles suivants en extension :
(a) A = {x R|x(x + 5) = 14}
Solution : A = {2, 7}
(b) B = {x N|x(2x + 3) = 14}
Solution : B = {2}
(c) C = {x N10 |x4 1 divisible par 5}
Solution : C = {1, 2, 3, 4, 6, 7, 8, 9}
6. Interpreter chacune des situations suivantes au moyen dune fonction. Pour cela, on definira deux ensembles A
et B et une fonction f : A B.
(a) Le resultat dune course de tierce
` la place
Solution : A = N3 , B = lensemble des chevaux ayant couru, f qui associe le cheval correspond a
du podium
1
(c) Si f et g sont bijectives, montrer que g f est bijective. Quelle est son application reciproque ?
Solution : (g f )1 = f 1 g 1
(d) On suppose g f bijective. Que peut-on dire de f et de g ? Sont-elles bijectives ?
Solution : On sait seulement que f est injective et g surjective...
Construction densembles
1. Dans chacun des cas suivants, faire la reunion des ensembles A et B
(a) A = {x N|x impair } et B = {x N|x non divisible par 3}
Solution : A B = {x N|x non divisible par 6}
(b) A = {x R|0 x 3} et B = {x R| 2 < x 1}
Solution : A B = {x R| 2 < x 3}
(c) A = {(x, y) R2 |x + y 2} et B = {(x, y) R2 |2 < 3x y}
` dessiner
Solution : Union de deux demi-plans a
2. Quel est lensemble qui est lintersection de tous les rectangles et de tous les losanges ?
Solution : Les carres
` deux ?
3. On se donne trois ensembles A, B et C tels que A B C = . Sont-ils obligatoirement disjoints deux a
Donner des exemples.
Solution : Non, par exemple A = {0, 1}, B = {1, 2}, C = {0, 2}
4. A tout nombre reel a on associe lensemble Ea = {x R|(1 a2 ) x (1 + a2 )}, ce qui donne une famille
densembles indexee par R. Determiner la S
reunion et lintersection
des ensembles de la famille.
T
Solution : Union=R et intersection={1}. aR (Ea ) = R et aR (Ea ) = {1}.
5. Dans chacun des cas suivants, indiquer sil existe une injection dun ensemble dans lautre :
(a) A = P(E F ) et B = P(E) P(F )
Solution : f : B A (`
a un couple de parties (U, V ) avec U E et V F , on associe la partie de E F
formee des couples (u, v) avec u U et v V ).
(b) A = P(E F ) et B = P(E) P(F )
Solution : f : B A (un element de P(E) P(F ), cest-`
a-dire une partie de E ou une partie de F , peut
etre vu comme une partie de E F ).
(c) A = P(E F ) et B = P(E) P(F )
` E et F et
Solution : A = B (une partie de E qui est aussi une partie de F est une partie commune a
reciproquement).
Cardinal densembles
` vendre. Les tableaux etaient
1. Dans sa derni`ere exposition, Caroline D. a presente 120 tableaux dont 64 etaient a
` 120 dans un ordre voulu par lartiste. Allez savoir pourquoi, elle ne voulait pas que deux
numerotes de 1 a
tableaux vendables portent des numeros dont la difference est 7. Pourquoi ce desir ne fut-il pas satisfait ?
Solution : Numeros possibles, modulo bijection de N120 dans lui-meme : [1; 7], [15; 21], [29; 35], [43; 49], [57; 63],
[71; 77],[85; 91], [99; 105], [113; 119]. On a donc 7 9 = 63 numeros possibles.
2. Demontrer que si x et y sont deux entiers naturels, il en est de meme de
(x + y)(x + y + 1)
2
Solution : n(n + 1) est pair car un des deux multiplieurs lest
Soit A lensemble des points du plan dont les deux coordonnees x et y sont des entiers naturels. Demontrer que
lapplication f : A N ci-apr`es est bijective :
f (x, y) = x +
(x + y)(x + y + 1)
2
n
2
cordes
9. Lobjectif est de comprendre nos chances dans certains jeux de hasard et dargent...
(a) Combien y-a-til de combinaisons possibles au Loto, sachant quun resultat est un ensemble de six nombres
pris entre 1 et 49 ?
Solution : Nombre de facon de choisir 6 numeros parmi 49 = 49
6
` lEuromillion, sachant quun resultat est un ensemble de cinq
(b) Combien y-a-til de combinaisons possibles a
nombres pris entre
1
et
50
et
un
ensemble
de
deux chiffres entre 1 et 9 ?
9
Solution : 50
5
2
4
(c) Soit n le nombre de joueurs au loto, un vendredi 13 donne. Pour quelle valeur de n peut-on etre certain
quau moins deux joueurs auront propos
e la meme grille ?
Solution : Principe des tiroirs : 49
+1
6
10. Demontrer le theor`eme vu en cours : un ensemble qui poss`ede n elements poss`ede 2n parties.
Solution : Il suffit de prendre x = y = 1 dans la formule du bin
ome vue en cours, et en etablissant que
le nombre de parties possedant p elements dun ensemble de cardinal n
n
p
est
n
n
n
=
Sm,1 +
Sm,2 + +
Sm,n
1
2
n
6
36
150
540
1806
5796
24
240
1560
8400
40824
120
1800
16800
126000
720
15120
191520
5040
141120
40320