[http://mp.cpgedupuydelome.fr] édité le 3 juillet 2012 Enoncés 1
Ensembles et applications
Eléments de logique
Exercice 1 [ 01481 ] [correction]
Décrire les parties de Rdans lesquelles évoluent xpour que les assertions
suivantes soient vraies :
a) (x > 0et x < 1) ou x= 0 b) x > 3et x < 5et x6= 4
c) (x60et x > 1) ou x= 4 d) x>0x>2.
Exercice 2 [ 01482 ] [correction]
Etant donné P,Qet Rtrois assertions, vérifier en dressant la table de vérité :
a) Pou (Qet R)(Pou Q)et (Pou R)
b) non(PQ)Pet non(Q).
Exercice 3 [ 01483 ] [correction]
On dispose de neuf billes visuellement identiques, huit d’entre elles ont même
masse mais la neuvième est plus lourde. Comment, en deux pesées sur une
balance à deux plateaux, peut-on démasquer l’intrus ?
Exercice 4 [ 01484 ] [correction]
On dispose de neuf billes visuellement identiques, elles ont toutes la même masse
sauf une.
Comment, à l’aide d’une balance à deux plateaux, démasquer l’intrus en trois
pesées ?
Quantificateurs
Exercice 5 [ 01485 ] [correction]
Soient Iun intervalle de Ret f:IRune fonction définie sur Ià valeurs réelles.
Exprimer verbalement la signification des assertions suivantes :
a) CR,xI, f(x) = C
b) xI, f(x)=0x= 0
c) yR,xI, f(x) = y
d) x, y I, x 6yf(x)6f(y)
e) x, y I, f(x) = f(y)x=y.
Exercice 6 [ 01486 ] [correction]
Soient Iun intervalle de Ret f:IRune fonction définie sur Ià valeurs réelles.
Exprimer à l’aide de quantificateurs les assertions suivantes :
a) la fonction fs’annule
b) la fonction fest la fonction nulle
c) fn’est pas une fonction constante
d) fne prend jamais deux fois la même valeur
e) la fonction fprésente un minimum
f) fprend des valeurs arbitrairement grandes
g) fne peut s’annuler qu’une seule fois.
Exercice 7 [ 01487 ] [correction]
Soient Iun intervalle de Rnon vide et f:IRune fonction à valeurs réelles
définie sur I.
Exprimer les négations des assertions suivantes :
a) xI, f(x)6= 0
b) yR,xI, f(x) = y
c) MR,xI, |f(x)|6M
d) x, y I, x 6yf(x)6f(y)
e) x, y I, f(x) = f(y)x=y
f) xI, f(x)>0x60.
Exercice 8 [ 01488 ] [correction]
Soit f:RR. Quelle différence de sens ont les deux assertions proposées :
a) xR,yR, y =f(x)et yR,xR, y =f(x).
b) yR,xR, y =f(x)et xR,yR, y =f(x).
c) xR,MR, f(x)6Met MR,xR, f(x)6M?
Exercice 9 [ 01489 ] [correction]
Soit f:RRune fonction continue.
On considère les assertions suivantes :
P: « xR, f(x)=0», Q: « xR, f(x)=0»et
R: « (xR, f(x)>0) ou (xR, f(x)<0) ».
Parmi les implications suivantes lesquelles sont exactes :
a) PQb) QPc) QR
d) non(R)Qe) non(Q)non(P)f) non(P)non(R)?
Diffusion autorisée à titre entièrement gratuit uniquement - dD
[http://mp.cpgedupuydelome.fr] édité le 3 juillet 2012 Enoncés 2
Exercice 10 [ 01490 ] [correction]
Soit aR.
a) Montrer que (ε>0,|a|6ε)a= 0.
b) Montrer que (ε > 0,|a|6ε)a= 0.
Ensembles
Exercice 11 [ 01491 ] [correction]
Soit E={a, b, c}un ensemble. Peut-on écrire :
a) aEb) aEc) {a} ⊂ E
d) ∅ ∈ Ee) ∅ ⊂ Ef) {∅} ⊂ E?
Exercice 12 [ 01492 ] [correction]
Un ensemble est dit décrit en compréhension lorsqu’il réunit les éléments d’un
ensemble vérifiant une propriété. Un ensemble est dit décrit en extension lorsqu’on
cite ses éléments. Par exemple, {nZ/kZ, n = 2k}et {2k/k Z}sont des
descriptions respectivement en compréhension et en extension de l’ensemble des
entiers pairs.
a) Décrire en compréhension et en extension l’ensemble {1,3,5,7, . . .}.
b) Décrire en compréhension et en extension l’ensemble {1,10,100,1000, . . .}.
c) Décrire en extension l’ensemble des nombres rationnels.
d) Décrire en compréhension l’ensemble ]0,1].
e) Décrire en compréhension et en extension l’ensemble des valeurs prises par une
fonction f:RR.
f) Décrire en compréhension l’ensemble des antécédents d’un réel ypar une
fonction f:RR.
Exercice 13 [ 01493 ] [correction]
Décrire P(P({a})) adésigne un élément.
Exercice 14 [ 01494 ] [correction]
Soient A, B, C ∈ P(E). Etablir A\(BC)=(A\B)(A\C)
Exercice 15 [ 01495 ] [correction]
Etant donné Aet Bdeux parties de E, justifier CEA\CEB=B\A.
Exercice 16 [ 01496 ] [correction]
Etant donné A,Bet Ctrois parties de E, justifier les équivalences suivantes :
a) ABAB=B.
b) A=BAB=AB.
c) AB=ACBAC
d) (AB=AC
AB=ACB=C
Exercice 17 [ 01497 ] [correction]
Soient Aet Bdeux parties de E, on appelle différence symétrique de Aet B,
l’ensemble
AB= (A\B)(B\A)
Montrer
AB= (AB)\(AB)
Exercice 18 [ 01498 ] [correction]
Etant donné A,Bet Ctrois parties d’un ensemble E, montrer que :
a) AB=ACB=C
b) A\B=AB\A=B
c) AB=ABA=B=.
Exercice 19 [ 01499 ] [correction]
Soient A, B deux parties de E.
Discuter et résoudre l’équation AX=Bd’inconnue X∈ P(E).
Exercice 20 [ 01500 ] [correction]
Soient A, B deux parties de E.
Discuter et résoudre l’équation AX=Bd’inconnue X∈ P(E).
Injectivité, surjectivité et bijectivité
Exercice 21 [ 01501 ] [correction]
Soient f:NNet g:NNles applications définies par :
kN, f(k)=2ket g(k) = k/2si kest pair
(k1) /2si kest impair
Diffusion autorisée à titre entièrement gratuit uniquement - dD
[http://mp.cpgedupuydelome.fr] édité le 3 juillet 2012 Enoncés 3
a) Etudier l’injectivité, la surjectivité et la bijectivité de fet g.
b) Préciser les applications gfet fg.
Etudier leur injectivité, surjectivité et bijectivité.
Exercice 22 [ 01502 ] [correction]
Soient a,bet ctrois réels tels que c6= 0 et a2+bc 6= 0.
On considère la fonction f:R\ {a/c} → R\ {a/c}définie par f(x) = ax+b
cxa.
Justifier que l’application fest bien définie.
Calculer ff, en déduire que fest une permutation dont on déterminera
l’application réciproque.
Exercice 23 [ 01503 ] [correction]
Soit f:NZdéfinie par
f(n) = n/2si nest pair
n+1
2sinon
Montrer que fest bien définie et bijective.
Exercice 24 [ 01504 ] [correction]
Soient f:EFet g:FG. Etablir les implications suivantes :
a) gfinjective finjective.
b) gfsurjective gsurjective
c) gfinjective et fsurjective ginjective.
d) gfsurjective et ginjective fsurjective.
Exercice 25 [ 01505 ] [correction]
Soient E, F, G trois ensembles, f:EF,g:FGet h:GE
Etablir que si hgfest injective et que gfhet fhgsont surjectives
alors f, g et hsont bijectives.
Exercice 26 [ 01506 ] [correction]
Soient Eun ensemble et f:EEtelle que fff=f.
Montrer que fest injective si, et seulement si, fest surjective.
Exercice 27 [ 01507 ] [correction]
Soient f:EFet g:FEdeux applications telles que fgfsoit bijective.
Montrer que fet gsont bijectives
Exercice 28 [ 01508 ] [correction]
Soient E, F, G trois ensembles, f1, f2:EFet g:FG.
On suppose gf1=gf2et ginjective. Montrer que f1=f2.
Exercice 29 [ 01509 ] [correction]
Soient E, F, G trois ensembles, f:EFet g1, g2:FG.
On suppose fsurjective et g1f=g2f. Montrer que g1=g2.
Exercice 30 [ 01510 ] [correction]
Soit f:EIune application surjective. On pose, pour tout iI,
Ai=f1({i}).
Montrer que les Aisont non vides, deux à deux disjoints, de réunion égale à E.
Exercice 31 [ 01511 ] [correction]
Soient Aet Bdeux parties d’un ensemble Eet
f:(P(E) P (A)× P (B)
X7→ (XA, X B)
Montrer que :
a) fest injective si, et seulement si, AB=E
b) fest surjective si, et seulement si, AB=.
Image directe et image réciproque d’une partie
Exercice 32 [ 01512 ] [correction]
Décrire l’image directe de Rpar la fonction exponentielle.
Déterminer l’image réciproque de l’intervalle [1,4] par la fonction f:x7→ x2
définie sur R.
Diffusion autorisée à titre entièrement gratuit uniquement - dD
[http://mp.cpgedupuydelome.fr] édité le 3 juillet 2012 Enoncés 4
Exercice 33 [ 01513 ] [correction]
Soit f:EFune application.
a) Montrer
A, A0∈ P(E), f(AA0) = f(A)f(A0)et f(AA0)f(A)f(A0)
b) Montrer
B, B0∈ P(F), f1(BB0) = f1(B)f1(B0)et f1(BB0) = f1(B)f1(B0)
Exercice 34 [ 01514 ] [correction]
Soit f:EFune application.
Etabli
A∈ P(E), A f1(f(A)) et B∈ P(F), f(f1(B)) B
Exercice 35 [ 01515 ] [correction]
Soient Eet Fdeux ensembles et f:EF.
Montrer que fest injective si, et seulement si,
A, A0(E), f(AA0) = f(A)f(A0)
Exercice 36 [ 01516 ] [correction]
Soit f:EFune application. Montrer que :
a) fest injective ⇔ ∀A(E), A =f1(f(A)).
b) fest surjective ⇔ ∀B(F), f(f1(B)) = B.
Exercice 37 [ 01517 ] [correction]
Soit f:EFune application. Montrer que :
fest bijective si, et seulement si,
A(E), f(CEA) = CFf(A)
Ensembles ordonnés
Exercice 38 [ 01518 ] [correction]
On définit une relation binaire 4sur R+?par :
x4y⇔ ∃nN, y =xn
Montrer que 4est une relation d’ordre. Cet ordre est-il total ?
Exercice 39 [ 01519 ] [correction]
Soit 4la relation définie sur E=(x, y)R2/x 6ypar
(x, y)4(x0, y0)(x, y)=(x0, y0)ou y6x0
Montrer que 4est une relation d’ordre sur E.
Exercice 40 [ 01520 ] [correction]
On définit une relation binaire 4sur {zC/Im(z)>0}par :
z4z0⇔ |z|<|z0|ou ( |z|=|z0|et Re(z)6Re(z0))
Montrer qu’il s’agit d’une relation d’ordre total.
Exercice 41 [ 01521 ] [correction]
Soit El’ensemble des couples (I, f)formé d’un intervalle Iet d’une fonction réelle
définie sur I.
On définit une relation 4sur Epar : (I, f)4(J, g)IJet gI=f.
Montrer que 4est une relation d’ordre sur E.
Exercice 42 [ 01522 ] [correction]
Soient Eun ensemble et f:ERune application injective.
On définit sur Eune relation binaire 4par
x4yf(x)6f(y)
Montrer que 4est une relation d’ordre sur E.
Exercice 43 [ 01523 ] [correction]
Soient A, B deux parties d’un ensemble Eordonné par 4.
On suppose que Aet Bont chacun un plus grand élément.
Qu’en est-il de ABlorsque l’ordre est total ? lorsqu’il ne l’est pas ?
Que dire de AB?
Exercice 44 [ 01524 ] [correction]
Soit (E, 4)un ensemble ordonné tel que toute partie non vide admet un plus
petit élément et un plus grand élément.
Montrer que Eest fini.
Diffusion autorisée à titre entièrement gratuit uniquement - dD
[http://mp.cpgedupuydelome.fr] édité le 3 juillet 2012 Enoncés 5
Exercice 45 [ 01525 ] [correction]
Soit Eun ensemble ordonné par une relation 6.
Un tableau à nlignes et pcolonnes est formé d’éléments ai,j Eavec iindice de
ligne (16i6n) et jindice de colonne (16j6p).
On note le plus petit élément de chaque colonne et l’on prend le plus grand de ces
plus petits :
max
16j6pmin
16i6nai,j
On note aussi le plus grand élément de chaque ligne et l’on prend le plus petit de
ces plus grands :
min
16i6nmax
16j6pai,j
a) Comparer ces deux nombres.
b) Donner un exemple de non égalité.
Les ensembles finis
Exercice 46 [ 01526 ] [correction]
Soient Eun ensemble fini, Fun ensemble quelconque et f:EFune
application.
Montrer
fest injective si, et seulement si, Card(f(E)) = Card(E)
Exercice 47 [ 01527 ] [correction]
Soient A,Bet Ctrois parties d’un ensemble finie E. Exprimer Card(ABC)
en fonctions des cardinaux de A, B, C, A B, B C, C Aet ABC.
Exercice 48 [ 01528 ] [correction]
Soient Aet Bdeux parties de Eet F.
Etant donnée une application f:EF, est-il vrai que :
a) Si Aest une partie finie de Ealors f(A)est une partie finie de F.
b) Si f(A)est une partie finie de Falors Aest une partie finie de E.
c) Si Best une partie finie de Falors f1(B)est une partie finie de E.
d) Si f1(B)est une partie finie de Ealors Best une partie finie de F?
Exercice 49 X MP [ 03044 ] [correction]
Soit Eun ensemble. Montrer que Eest infini si, et seulement si, pour toute
fonction f:EE, il existe AEavec A6=et A6=Etelle que f(A)A.
Dénombrement
Exercice 50 [ 01529 ] [correction]
Soient Eet Fdeux ensembles finis de cardinaux respectifs net p.
Combien y a-t-il d’injections de Edans F?
Exercice 51 [ 01530 ] [correction]
Soient E={1, . . . , n}et F={1, . . . , p}avec n6pN.
Combien y a-t-il d’applications strictement croissantes de Evers F?
Exercice 52 [ 01531 ] [correction]
Combien existe-t-il de relation d’ordre total sur un ensemble Eànéléments ?
Exercice 53 [ 01532 ] [correction]
On trace dans un plan ndroites en position générale (i.e. deux d’entre elles ne
sont jamais parallèles ni trois d’entre elles concourantes). Combien forme-t-on
ainsi de triangles ?
Exercice 54 [ 01533 ] [correction]
Soient p, q Net n[[0, p +q]]. Proposer une démonstration par dénombrement
de l’égalité p+q
n!=
n
P
k=0 p
k! q
nk!.
Exercice 55 [ 01534 ] [correction]
Soient Eet Fdeux ensembles finis non vides de cardinaux respectifs net p.
On note Sp
nle nombre de surjections de Esur F.
a) Calculer S1
n,Sn
net Sp
npour p>n.
b) On suppose p6net on considère aun élément de E.
On observant qu’une surjection de Esur Fréalise, ou ne réalise pas, une
surjection de E\ {a}sur F, établir Sp
n=p(Sp1
n1+Sp
n1).
c) En déduire que Sp
n=
p
P
k=0
(1)pk p
k!kn.
Diffusion autorisée à titre entièrement gratuit uniquement - dD
1 / 14 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !