You are on page 1of 2

Planche no 4. Logique. Ensembles. Applications.

Rcurrences
* trs facile ** facile *** difficult moyenne **** difficile ***** trs difficile
I : Incontournable T : pour travailler et mmoriser le cours

no 1 (**IT) Exprimer laide de quantificateurs les phrases suivantes puis donner leur ngation.
1) (f tant une application du plan dans lui-mme)
a) f est lidentit du plan.
b) f a au moins un point invariant (on dit aussi point fixe).
2) (f tant une application de R dans R)
a) f est lapplication nulle.
b) Lquation f(x) = 0 a une solution.
c) Lquation f(x) = 0 a exactement une solution.
3) ((un )nN tant une suite relle)
a) La suite (un )nN est borne.
b) La suite (un )nN est croissante.
c) La suite (un )nN est monotone.

no 2 (*IT) Donner la ngation des phrases suivantes


1) x 3
2) 0 < x 2.

no 3 (**IT) Les phrases suivantes sont-elles quivalentes ?


1) x R, (f(x) = 0 et g(x) = 0) et (x R, f(x) = 0) et (x R, g(x) = 0) .
2) x R, (f(x) = 0 ou g(x) = 0) et (x R, f(x) = 0) ou (x R, g(x) = 0) .
Donner un exemple de fonctions f et g de R dans R, toutes deux non nulles et dont le produit est nul.

no 4 (**IT) Dans chacun des cas suivants, dterminer f(I) puis vrifier que f ralise une bijection de I sur J = f(I) puis
prciser f1 :
1) f(x) = x2 4x + 3, I =] , 2].
2x 1
2) f(x) = , I =] 2, +[.
x+2

 
3
3) f(x) = 2x + 3 1, I = , + .
2
x
4) f(x) = , I = R.
1 + |x|
z+i
no 5 (**IT) Pour z 6= i, on pose f(z) = . Montrer que f ralise une bijection de D = {z C/ |z| < 1} sur
zi
P = {z C/ Re(z) < 0}. Prciser f1 .
n
X
1 n(n + 3)
n 6 (**T) Montrer par rcurrence que, pour tout n N ,
o
= . Trouver une dmons-
k(k + 1)(k + 2) 4(n + 1)(n + 2)
k=1
tration directe.

no 7 (***I)
n
X n(n + 1)
1) Montrer par rcurrence que, pour tout naturel non nul n, k= . En calculant la diffrence (k + 1)2 k2 ,
2
k=1
trouver une dmonstration directe de ce rsultat.
Xn n
X n
X
2) Calculer de mme les sommes k2 , k3 et k4 (et mmoriser les rsultats).
k=1 k=1 k=1
n
X
3) On pose Sp = kp . Dterminer une relation de rcurrence permettant de calculer les Sp de proche en proche.
k=1

n 8 (*IT) Montrer que : (g f injective f injective) et (g f surjective g surjective).


o

c Jean-Louis Rouget, 2008. Tous droits rservs.


1 http ://www.maths-france.fr
no 9 (**T) Parmi f g h, g h f et h f g deux sont injectives et une est surjective. Montrer que f, g et h sont
bijectives.
no 10 (**T) A et B sont des parties dun ensemble E. Montrer que :
1) (AB = A B) (A = B = ).
2) (A B) (B C) (C A) = (A B) (B C) (C A).
3) AB = BA.
4) (AB)C = A(BC).
5) AB = A = B.
6) AC = BC A = B.

no 11 (***IT) Soient (Ai )iI une famille de parties dun ensemble E indxe par un ensemble I et (Bi )iI une famille
de parties dun ensemble F indxe par un ensemble I. Soit f une application de E vers F. Comparer du point de vue de
linclusion les parties suivantes :
S S
1) f(TiI Ai ) et TiI f(Ai ) (recommencer par f(A B) si on na pas les ides claires).
2) f( iI Ai ) et iI f(Ai ).
3) f(E \TAi ) et F \ f(A
T i ).
4) f1 ( iI Bi ) et iI f1 (Bi ).
S S
5) f1 ( iI Bi ) et iI f1 (Bi ).
6) f1 (F \ Bi ) et E \ f1 (Bi).

no 12 (***IT) Montrer que les assertions suivantes sont quivalentes (f est une application dun ensemble E dans lui-
mme) :
1) f est injective.
2) X P(E), f1 (f(X)) = X.
3) (X, Y) P(E)2 , f(X Y) = f(X) f(Y).
4) (X, Y) P(E)2 , X Y = f(X) f(Y) = .
5) (X, Y) P(E)2 , Y X f(X \ Y) = f(X) \ f(Y).
Xn
1
n 13 (*****) Pour n 1, on pose Hn =
o
. Montrer que, pour n 2, Hn nest jamais un entier (indication : montrer
k
k=1
par rcurrence que Hn est le quotient dun entier impair par un entier pair en distingant les cas o n est pair et n est
impair).

no 14 (***I) Thorme de Cantor :


1) Montrer quil existe une injection de E dans P(E).
2) En considrant la partie A = {x E/ x / f(x)}, montrer quil nexiste pas de bijection f de E sur P(E).

no 15 (****) (Une bijection entre N2 et N)


Soit f : N2 N . Montrer que f est une bijection. Prciser, pour n N donn, le couple
(x + y)(x + y + 1)
(x, y) 7 y +
2
(x, y) dont il est limage.

c Jean-Louis Rouget, 2008. Tous droits rservs.


2 http ://www.maths-france.fr

You might also like