Académique Documents
Professionnel Documents
Culture Documents
Exercice 1
Soient E un ensemble et A, B, C trois parties de E. Montrer :
1) pA C q X pB C q pA X B q C.
2) p"A C q Y pB C q pA Y B q C.
AXB AXC
3)
B C.
AYB AYC
4) pA Y B q X pB Y C q X pC Y Aq pA X B q Y pB X C q Y pC X Aq.
5) pA C q pB C q pA B q C A pB Y C q
AB
6) A B
Exercice 2
Dans C on definit la relation R par : zRz |z | |z |
1) Montrer que R est une relation dequivalence.
2) Determiner la classe dequivalence de chaque z de C.
1
Exercice 3
On definit sur R la relation R par : xRy x2 y 2 x y.
1) Montrer que R est une relation dequivalence.
2) Calculer la classe dequivalence dun element x de R. Combien y-a-t-il delements dans cette classe ?
Exercice 4
Soit pE, q un ensemble ordonne. On definit sur P pE q- O la relation
, y P Y x y).
Verifier que est une relation dordre.
par :X Y (X Y
ou x P X
Exercice 5
Soient E,F et G trois ensembles, f : E F et g : F G deux applications ; on consid`ere lapplication
h : E F G definie par : x P E : hpxq pf pxq, g pxqq.
1) Montrer que si f et g sont injectives, alors h lest aussi.
2) On suppose que f et g sont surjectives, h est-elle necessairement surjective ?
Exercice 6
Soient E un ensemble et f : E E une application telle que : f
Montrer que f est injective si et seulement si f est surjective.
f of of .
Exercice 7
Soient E un ensemble et p : E E une application telle que : p pop.
Montrer que si p est injective ou surjective, alors p IdE .
Exercice 8
Soient E, F deux ensembles, f : E F et g : F
et f ogof og est injective.
Montrer que f et g sont bijectives.
Exercice 9
Fiche issue de http://www.ilemaths.net
Soit X un ensemble. Montrer quil nexiste pas de surjection de X sur lensemble de ses parties P pX q.
On pourra raisonner par labsurde et considerer pour f : X P pX q lensemble A x P X {x R f pxq
Exercice 10
Soient X, Y deux ensembles et f : X Y une application.
1) Montrer que f est injective si et seulement si, pour tout g : Z
f og f oh g h .
2) Montrer que f est surjective si et seulement si, pour tout g : Y
gof hof g h .
X et tout h : Z
X , on a
Z et tout h : Y
Z , on a