Daniel Alibert - Cours Et Exercices Corrigés, Volume 1

Daniel ALIBERT cours et exercices corrigs
volume 1
1

Daniel ALIBERT
Ensembles, applications. Relations d'quivalence.
Lois de composition (groupes). Logique lmentaire.

Objectifs :

Dmontrer que deux ensembles sont gaux, matriser les oprations
lmentaires ensemblistes (union, intersection, complmentaire), utiliser
les applications (dfinition, image d'une partie, image rciproque),
caractriser et utiliser l'injectivit, la surjectivit, la bijectivit.
Utiliser les relations d'quivalence, classes d'quivalence,
compatibilit de structures avec une relation, passage au quotient.
Utiliser la structure de groupe.
Dans un nonc mathmatique, identifier les connecteurs 'ou' et 'et', les
quantificateurs, savoir crire une rciproque, la ngation d'une
proposition, une contrapose, savoir ce qu'est un contre-exemple, quel est
son rle.

volume 1
2

volume 1
3

Organisation, mode d'emploi

Cet ouvrage, comme tous ceux de la srie, a t conu, dans son format
comme dans son contenu, en vue d'un usage pratique simple.

Il s'agit d'un livre d'exercices corrigs, avec rappels de cours.
Il ne se substitue en aucune faon un cours de mathmatiques complet,
il doit au contraire l'accompagner en fournissant des exemples illustratifs,
et des exercices pour aider l'assimilation du cours.
Ce livre a t crit pour des tudiants de premire et seconde annes des
Licences de sciences, dans les parcours o les mathmatiques tiennent
une place importante.

Il est le fruit de nombreuses annes d'enseignement auprs de ces
tudiants, et de l'observation des difficults qu'ils rencontrent dans
l'abord des mathmatiques au niveau du premier cycle des universits :

- difficult valoriser les nombreuses connaissances mathmatiques dont
ils disposent lorsqu'ils quittent le lyce,
- difficult pour comprendre un nonc, une dfinition, ds lors qu'ils
mettent en jeu des objets abstraits, alors que c'est la nature mme des
mathmatiques de le faire,
- difficult de conception et de rdaction de raisonnements mme
simples,
- manque de mthodes de base de rsolution des problmes.

volume 1
4

L'ambition de cet ouvrage est de contribuer la rsolution de ces
difficults aux cts des enseignants.
Ce livre comporte quatre parties.

La premire, intitule "A Savoir", rassemble les dfinitions et rsultats
qui sont utiliss dans les exercices qui suivent. Elle ne contient ni
dmonstration, ni exemple.

La seconde est intitule "Pour Voir" : son rle est de prsenter des
exemples de toutes les dfinitions, et de tous les rsultats de la partie
prcdente, en ne faisant rfrence qu'aux connaissances qu'un tudiant
abordant le chapitre considr a ncessairement dj rencontr (souvent
des objets et rsultats abords avant le baccalaurat). La moiti environ
de ces exemples sont dvelopps compltement, pour clairer la
dfinition ou l'nonc correspondant. L'autre moiti est form d'noncs
intituls "exemple traiter" : il s'agit de questions permettant au lecteur
de rflchir de manire active d'autres exemples trs proches des
prcdents. Ils sont suivis immdiatement d'explications dtailles.

La troisime partie est intitule "Pour Comprendre et Utiliser" : des
noncs d'exercices y sont rassembls, en rfrence des objectifs. Ces
noncs comportent des renvois de trois sortes :
() pour obtenir des indications pour rsoudre la question,
() lorsqu'une mthode plus gnrale est dcrite,
() renvoie une entre du lexique.
Tous les exercices sont corrigs de manire trs dtaille dans la partie
3 - 2. Au cours de la rdaction, on a souvent propos au lecteur qui
volume 1
5

souhaiterait approfondir, ou largir, sa rflexion, des questions
complmentaires (QC), galement corriges de faon dtaille.

La quatrime partie, "Pour Chercher", rassemble les indications, les
mthodes, et le lexique.

Certains livres d'exercices comportent un grand nombre d'exercices assez
voisins, privilgiant un aspect "entranement" dans le travail de l'tudiant
en mathmatiques. Ce n'est pas le choix qui a t fait ici : les exemples
traiter, les exercices et les questions complmentaires proposs abordent
des aspects varis d'une question du niveau du L1 L2 de sciences pour
l'clairer de diverses manires et ainsi aider sa comprhension.
Le lecteur est invit, propos de chacun d'entre eux, s'interroger sur ce
qu'il a de gnral (on l'y aide par quelques commentaires).

volume 1
6

Table des matires

1 A Savoir ........................................................................ 9
1-1 Ensembles ..................................................... 9
1-2 Applications ................................................ 11
1-3 Relations d'quivalence ............................... 12
1-4 Lois de composition - structures ................. 14
1-5 Logique lmentaire .................................... 17
2 Pour Voir .................................................................... 25
2-1 Ensembles ................................................... 25
2-2 Applications ................................................ 31
2-3 Relations d'quivalence ............................... 41
2-4 Lois de composition - structures ................. 48
2-5 Logique lmentaire .................................... 58
3 Pour Comprendre et Utiliser ...................................... 61
3-1 noncs des exercices ................................. 61
3-2 Corrigs des exercices ................................. 81
3-3 Corrigs des questions complmentaires .. 127
4 Pour Chercher ........................................................... 141
4-1 Indications pour les exercices ................... 141
4-2 Mthodes ................................................... 147
4-3 Lexique ...................................................... 153

volume 1
7

volume 1
8

1 A Savoir
Dans cette partie, on rappelle rapidement les principales dfinitions et les
principaux noncs utiliss. Vous devrez vous rfrer votre cours pour
les dmonstrations. Seule la partie 1-5 (logique lmentaire), qui n'est
pas toujours expose dans les cours, a t un peu dveloppe, avec un
objectif utilitaire cependant.
Vous trouverez des exemples dans la partie 2 * Pour Voir.
1-1 Ensembles
Dfinition
Un ensemble est dfini en extension quand on donne la liste des
lments :
H = {1, 2, , 12}.
Dfinitions
Un ensemble est dfini en comprhension quand on donne une proprit
caractrisant les lments : par exemple
A = {x Q | il existe un rel tel que
2
= x}

A partir de deux ensembles, E et F, on peut dfinir un autre ensemble :
volume 1
9

Le produit cartsien de E et F, not E F est l'ensemble des couples
(x,y) forms d'un lment x de E et d'un lment y de F.
Attention, un couple est ordonn : le couple (x, y) n'est pas le couple
(y, x) (sauf si x = y).
On dfinit plus gnralement le produit cartsien d'une famille
d'ensembles : E F G H, par exemple, est le produit des 4 ensembles
E, F, G, H.

galit de deux ensembles : soient A et B des ensembles. Ils sont gaux
s'ils ont les mmes lments.
Inclusion d'un ensemble dans un autre : A B si tout lment de A est
lment de B.
Si A B et B A, alors A = B.
Les oprations les plus courantes entre deux ensembles sont :
L'intersection :
A B a pour lments les lments qui appartiennent A et B
La runion :
A B a pour lments les lments qui appartiennent A ou B
Le passage au complmentaire :
si E est un ensemble et si A E, les lments de C
E
(A) sont les lments
de E qui ne sont pas lments de A

Les sous-ensembles d'un ensemble E sont les lments d'un nouvel
ensemble, not P(E), qui est l'ensemble des "parties de E".
volume 1
10

Dfinition
Une relation d'un ensemble E dans un ensemble F est une proprit des
lments de E F.
Si la proprit est vraie pour le couple (x, y), on dit que "x est en relation
avec y", et l'on crit souvent "x R y".
Dans le cas contraire, on dit que "x n'est pas en relation avec y".
La lettre R dsigne alors la relation et symbolise la phrase "est en relation
avec" (une autre lettre que R peut videmment tre utilise).
Le sous-ensemble de E F form des couples (x, y) vrifiant x R y est le
graphe de la relation R.
1-2 Applications
Les applications sont des relations particulires, celles qui vrifient :
"pour tout x de E il existe un unique y de F tel que
x est en relation avec y"
Cet lment y de F est appel l'image de x par l'application. Si f dsigne
cette application, on crit :
y = f(x).
L'application identique de E, note Id
E
, est l'application de E dans E qui
associe tout x de E l'lment x lui-mme.
Si y = f(x), l'lment x est appel un antcdent de y. Si f est une
application de E dans F, et g une application de F dans G, on dfinit une
application compose de f et g, note gof, par :
gof (x) = g(f(x)).
volume 1
11

Dfinition
Soit f une application de E dans F, et A une partie de E, A' une partie de
F. On appelle image directe de A par f et l'on note f
*
(A) (ou f(A)) le
sous-ensemble de F dfini par :
f
*
(A) = {y F | il existe x A tel que f(x) = y}.
On appelle image rciproque de A' par f, et l'on note f
*
(A') (ou
f
-1
(A')) le sous-ensemble de E dfini par :
f
*
(A') = {x E | f(x) A'}.
Dfinition
Soit f : E --. F une application. On dit que f est injective si pour tout x et
tout y de E on a l'implication :
f(x) = f(y) x = y.
On dit que f est surjective si pour tout x' de F, il existe au moins un x de
E tel que :
f(x) = x'.
On dit qu'une application f est bijective si elle est la fois injective et
surjective.
Si f est bijective, il existe une application rciproque de f, c'est--dire une
application :
g : F --. E
telle que gof = Id
E
, et fog = Id
F
.
L'application rciproque de f est gnralement note f
-1
.
volume 1
12

1-3 Relations d'quivalence
Dfinition
Soit R une relation de E dans lui-mme.
1- R est rflexive si pour tout x de E, x R x est vrai.
2- R est symtrique si pour tout x et tout y de E on a l'implication
x R y y R x.
3- R est antisymtrique si pour tout x et tout y de E on a l'implication
(x R y et y R x) x = y.
4- R est transitive si pour tout x, tout y, tout z de E on a l'implication
(x R y et y R z) x R z.
Une relation rflexive, symtrique et transitive est appele une relation
d'quivalence.
Dfinition
Soit E un ensemble, muni d'une relation d'quivalence R.
Pour tout lment x de E, on appelle classe d'quivalence de x et l'on
note C(x) le sous-ensemble de E form des lments y tels que x R y soit
vrai.
Ces lments y sont dits quivalents x.
Proprit
Si x et y sont quivalents, alors C(x) = C(y), et la rciproque est vraie.
volume 1
13

Proprit
Les sous-ensembles C(x) forment une partition de E, ce qui signifie que :
a. C(x) C(y) est soit vide soit gal C(x) et C(y).
b. La runion des sous-ensembles C(x) est E.
c. Aucune des parties C(x) n'est vide.
Rciproquement, la donne d'une partition de E dfinit une relation
d'quivalence sur E.
Dfinition
L'ensemble des classes d'quivalence, sous-ensemble de l'ensemble P(E)
des parties de E, est appel l'ensemble quotient de E par la relation R.
Il est souvent not E/R.
L'application de E dans E/R, qui un lment x associe sa classe
d'quivalence, est l'application canonique de passage au quotient.
Cette application est surjective.
Si est une classe d'quivalence, tout lment de E dont la classe est
est appel un reprsentant de .
1-4 Lois de composition - structures
Parmi les applications, on distingue les lois de composition, ou
oprations.
Dfinition
Soient E et F des ensembles, une loi de composition est une application :
F E . E.
volume 1
14

Si E F, on dit que c'est une loi externe, ou encore que F opre sur E.
Sinon on parle de loi interne.
Pour des raisons de commodit dans les calculs, on note ce type
d'application de la manire suivante :
(x, y) . x T y, ou x y
par analogie avec x + y par exemple.
Dfinitions
Soit E un ensemble et T une loi de composition interne dans E.
On dit que T est associative si pour tout x, tout y, tout z de E on a
l'galit :
(x T y) T z = x T (y T z).
On dit que T est commutative si pour tout x et tout y de E on a l'galit :
x T y = y T x.
Un lment neutre pour T est un lment, soit e, tel que pour tout x de E
on a l'galit :
e T x = x T e = x.
Proprit
Il ne peut y avoir qu'un lment neutre au plus pour une opration
donne. On l'appelle encore lment unit, ou zro, selon la loi T.
Dfinition
Si T admet un lment neutre e, on dit qu'un lment x de E admet x'
pour symtrique pour T si l'galit suivante est vraie :
x T x' = x' T x = e.
volume 1
15

Cet lment est alors unique, on le note souvent sym(x).
Dfinition
Si E admet une autre loi de composition interne, soit , on dit que la
loi est distributive sur la loi T (ou par rapport la loi T) si pour tout x,
tout y E on a les galits :
x (y T z) = (x y) T (x z), et (y T z) x = (y x) T (z x).
Dfinition
Soit (E, T) un ensemble muni d'une loi de composition interne. On dit
que (E, T) est un groupe si :
1- T est associative,
2- T admet un lment neutre,
3- tout lment de E a un symtrique pour T.
Si de plus T est commutative, on dit que (E, T) est un groupe
commutatif, ou ablien. Soit (G, T) un groupe et H une partie de G.
On dit que H est stable par T si pour tout couple (x, y) d'lments de H, x
T y est un lment de H.
Si H est stable par T, on dit que H est un sous-groupe de (G, T) si (H, T)
est lui-mme un groupe.
Proprit
Soit (G, T) un groupe, et H une partie de G. Pour que H soit un sous-
groupe de (G, T), il faut et il suffit que les proprits suivantes soient
vrifies :
1) H est non vide.
2) Pour tout x et tout y de H l'lment x T sym(y) appartient H.
volume 1
16

Dfinition
Soient (G, T), et (H, ) des ensembles, munis de lois internes.
On appelle homomorphisme de G vers H une application :
f : G . H
telle que pour tout x et tout y de G on ait :
f(x T y) = f(x) f(y).
On parlera en particulier d'homomorphisme de groupes.
Dfinition
Soit E un ensemble sur lequel sont dfinies la foi une loi interne et
une relation d'quivalence R.
On dit que R et sont compatibles si pour tous les couples (x, y), (z, t) de
E, la proprit suivante est vraie :
si x R y, et z R t, alors x z R y t.
Proprit
Dans la situation prcdente, on peut dfinir une loi interne sur
l'ensemble quotient E/R en posant pour des classes C(x), C(z) :
C(x) T C(z) = C(x z).
Si est associative (resp. commutative) on vrifie facilement que T l'est
galement. Si (E, ) est un groupe, (E/R, T) l'est galement.
1-5 Logique lmentaire
La connaissance de quelques rgles de base de logique aide viter les
erreurs de raisonnement les plus grossires. Elle permet galement
volume 1
17

souvent de commencer la recherche d'une solution en tant capable
d'attaquer un problme sous diffrents angles.
Le premier point consiste savoir lire avec prcision un nonc
mathmatique pour bien comprendre comment s'articulent les diffrentes
hypothses, conditions etc.

1-5-1 nonc universel, nonc existentiel

Un modle frquent d'nonc est le suivant :
si "A", alors "B"
schmatis par une implication :
A B.
Dans ce modle, A reprsente une ou plusieurs conditions, ou
hypothses, ventuellement relies par des connecteurs logiques (et, ou),
B reprsente une ou plusieurs conclusions galement relies par des
connecteurs.
Par ailleurs, ces conditions portent sur des objets mathmatiques
(nombres, fonctions) et dcrivent des proprits que ces objets peuvent
satisfaire (ou non).
L'nonc :
si "A", alors "B"
est alors vrai si pour tout objet x vrifiant l'hypothse A, la conclusion B
est galement vrifie : autrement dit, si on passe en revue les diffrents
cas possibles (A(x) vrai ou faux, B(x) vrai ou faux) l'nonc est vrai si et
seulement si il n'y a pas de cas x o A(x) est vrai et B(x) faux.
volume 1
18

Dfinition
S'il existe un cas x o A(x) est vrai et B(x) faux, on dit que x est un
contre-exemple l'nonc :
si "A", alors "B".
On appellera exemple de cet nonc un cas x o A(x) est vrai et B(x)
vrai, et non-exemple un cas o A(x) est faux, quelle que soit la valeur de
B(x).
Un nonc vrai peut avoir des exemples ou des non-exemples mais pas
de contre-exemple.

L'nonc :
si "A", alors "B"
contient donc (souvent de manire implicite) une condition sur les cas
possibles : dans tous les cas o A(x) est vrai, alors B(x) doit tre vrai
galement.
On dit que cet nonc contient un quantificateur universel (tous les cas).
On note ce quantificateur ("pour tout", ou "quel que soit").
On crira par exemple :
x, A(x) B(x).
On lira "pour tout x, si A(x) est vrai alors B(x) est vrai" ou "quel que soit
x, A(x) implique B(x)".

tant donne une proprit P, on peut galement vouloir exprimer qu'il y
a au moins un cas o cette proprit est vraie (par exemple une quation
a une solution au moins, une fonction est drivable en un point au
moins).

volume 1
19

Cette affirmation utilise un quantificateur existentiel, not , "il existe" :
x, P(x).
On lira "il existe au moins un x tel que P(x) est vrai".

Il est indispensable, la lecture d'un nonc, d'identifier clairement s'il
s'agit d'un nonc universel, ou d'un nonc existentiel.
Les techniques utiliser pour dmontrer cet nonc seront diffrentes.

1-5-2 Connecteurs. Ngation. Tables de vrit

Les conditions composes de plusieurs affirmations doivent tre
analyses pour savoir, en fonction de la vrit ou de la fausset des
diffrentes affirmations, dans quel cas elles sont vraies ou fausses.

Un moyen simple est d'utiliser les tables de vrit :

Pour "A ou B" :

A ou B A = V A = F
B = V V V
B = F V F

qui se lit : si A est vrai et B vrai, "A ou B" est vrai, si A est vrai et B est
faux, "A ou B" est vrai etc.
volume 1
20

Pour "A et B" :

A et B A = V A = F
B = V V F
B = F F F

Il est frquent d'avoir utiliser la ngation d'un nonc P :
"P est faux", souvent crit "non(P)" :

P = V P = F
non(P) F V

Si la condition P est compose, il faut savoir crire non(A et B), et
non(A ou B).
"non(A ou B)" :

non(A ou B) A = V A = F
B = V F V
B = F V V

On voit que cette table correspond non(A) et non(B).
Les conditions non(A ou B) et "non(A) et non(B)" sont donc vraies, ou
fausses, dans les mmes cas. On dit qu'elles sont quivalentes.

De la mme faon, on vrifie que "non(A et B)" et "non(A) ou non(B)"
sont quivalentes.
volume 1
21

La ngation d'un nonc universel :
pour tout x, P(x) , ou encore x, P(x)
est un nonc existentiel :
il existe x tel que non(P(x)), ou encore x, non(P(x)).

Inversement, si l'nonc est existentiel :
il existe x tel que P(x) ou encore x, P(x)
on crira sa ngation :
pour tout x, non(P(x)), ou encore x, non(P(x)).

Un cas rencontr frquemment est celui de "pour tout x, A(x) implique
B(x)".
On crira que cet nonc est faux en crivant qu'il admet un contre-
exemple :
il existe un x tel que A(x) et non(B(x)).

Enfin pour un nonc o plusieurs propositions sont "enchsses" les
unes dans les autres, on procdera par paliers :
Par exemple :
pour tout x, il existe y tel que P(x,y).
On note Q(x) la proprit pour x : "il existe y tel que P(x, y)", et on crit
dans un premier temps la ngation de "pour tout x, Q(x)", soit "il existe x
tel que non(Q(x))".
La ngation de Q(x) est "pour tout y, non(P(x,y))". On obtient alors :
volume 1
22

Il existe x tel que pour tout y, non(P(x, y)).

On verra des applications dans le volume consacr aux limites par
exemple, ou sur les fonctions continues

1-5-3 transformation de propositions

A partir d'un nonc "si A alors B", on peut crire d'autres propositions :

La rciproque de cet nonc est "si B alors A". Sa vrit est
indpendante de celle de "si A alors B".
Les tables des exemples de ces noncs sont :

A B A = V A = F
B = V E n-E
B = F c-E n-E

B A A = V A = F
B = V E c-E
B = F n-E n-E
On voit bien que l'existence d'un contre-exemple pour l'un de ces
noncs n'entrane rien de tel pour l'autre (change n-E c-E).
La contrapose de "si A alors B" est "si non(B) alors non(A)".
Ces noncs sont quivalents :
A B A = V A = F
B = V E n-E
volume 1
23

B = F c-E n-E

non(B) non(A) A = V A = F
B = V n-E n-E
B = F c-E E
Les contre-exemples correspondent aux mmes cas pour ces deux
noncs (A vrai et B faux). Ils sont donc vrais, ou faux, simultanment,
donc quivalents.
On observera que bien des rsultats se dmontrent en passant par une
dmonstration de la contrapose.
Du point de vue des tables de vrit :

A B A = V A = F
B = V V V
B = F F V

B A A = V A = F
B = V V F
B = F V V

non(B) non(A) A = V A = F
B = V V V
B = F F V

On se gardera bien de confondre "implication" et "causalit".
volume 1
24

Terminons par un mot sur le raisonnement par l'absurde : pour dmontrer
une proposition, on suppose que la conclusion est fausse.
Si la conjonction de l'hypothse et de la ngation de la conclusion
conduit un rsultat contradictoire avec certaines hypothses, ou avec
des faits mathmatiques connus, on conclut que l'hypothse auxiliaire
niant la conclusion est fausse.

volume 1
25

volume 1
26

2 Pour Voir
Dans cette partie, on prsente des exemples simples des notions ou
rsultats abords dans la partie prcdente. Ils sont suivis de questions
trs lmentaires pour vrifier votre comprhension. La correction de ces
questions est donne immdiatement.
2-1 Ensembles
"A partir de deux ensembles, E et F, on peut dfinir un autre ensemble, le produit
cartsien de E et F, not E F. C'est l'ensemble des couples (x,y) forms d'un lment
x de E et d'un lment y de F."
exemple 1
Soient a, b, c, d, , des nombres distincts, E = {1, 2, 3}, F = {a, b, c},
E F = {(1, a), (1, b), (1, c), (2, a), (2, b), (2, c), (3, a), (3, b), (3, c)}.
Les lments de E F, dans {0, 1, 2, 3, 4} {a, b, c, d, }, sont nots
"X".
a b c d
0
1 X X X
2 X X X
3 X X X
4
volume 1
27

exemple 2
( traiter)
Soient a, b, c, d, e, des nombres distincts, et :
A = {a, b, d, e}, B = {b, c, d}.
Les ensembles suivant sont-ils des sous-ensembles de A B.
P1 = {(a, b), (b, a), (a, c), (b, c)}, P2 = {(a, c), (b, c), (c, c)}
P3 = {(d, b), (e, b), (d, d), (e, d)}.
# rponse
Voici des graphiques pour mieux voir : l'ensemble A B est repr par
des "X" (en gras) , les lments de P1, P2, P3, sont des "X" (souligns).
Les lments communs sont la fois en gras et souligns "X".
P1 a b c d e
a X X X
b X X X X
c
d X X X
e X X X
P1 n'est pas une partie de A B : (b, a) n'est pas dans A B.

P2 a b c d e
a X X X
b X X X
c X
d X X X
volume 1
28

e X X X
P2 n'est pas une partie de A B : (c, c) n'est pas dans A B.
P3 a b c d e
a X X X
b X X X
c
d X X X
e X X X
P3 est une partie de A B.
exemple 3
Soient x, y, z, t, u des nombres distincts, et E = {x, y, z, t, u}.
Soit F = {x, z, u}.
On voit facilement que F F est une partie de E E.
x y z t u
x X X X X X
y X X X X X
z X X X X X
t X X X X X
u X X X X X

Soit A = {x, t}, B = {y, t, u}. A B est une partie de E E.
volume 1
29

x y z t u
x X X X X X
y X X X X X
z X X X X X
t X X X X X
u X X X X X

exemple 4
( traiter)
{(x,x), (x,y), (x,u), (t,x), (t,y), (t,u), (x, z), (u, t)}= G.
L'ensemble G est -il une partie de E E ? Est-il le produit cartsien de
deux sous-ensembles de E ?
# rponse
L'ensemble G est bien une partie de E E. Pour savoir si G est un
produit cartsien, il faut "projeter" G sur E par les deux projections (de
E E dans E) :
(a, b) a
(a, b) b
ou encore considrer l'ensemble des "premires coordonnes", soit P et
l'ensemble des "secondes coordonnes", soit S, et voir si G = P S.

x y z t u
x X X X X X
y X X X X X
volume 1
30

z X X X X X
t X X X X X
u X X X X X

P = {x, t, u}, et S = E. Si G est un produit cartsien, G = P S.
Ce n'est pas le cas, donc G n'est pas le produit cartsien de parties de E.
"Les sous-ensembles d'un ensemble E sont les lments d'un nouvel ensemble, not
P(E), qui est l'ensemble des parties de E."
exemple 5
E = {1, 2, 3}.
P(E) = {, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}.
Ne pas oublier la partie vide, ni la partie pleine. L'ensemble E a trois
lments, l'ensemble P(E), 8 lments.
exemple 6
( traiter)
Soient a, b, c, d des lments distincts. Ecrire P({a, b, c, d}). Combien
y a-t-il d'lments ? Essayer de deviner une formule donnant le nombre
de parties d'un ensemble qui a n lments.
# rponse
Dans P({a, b, c, d}), on a :
une partie zro lments, ,
quatre parties un lment, {a}, {b}, {c}, {d},
volume 1
31

quatre parties trois lments,
six parties deux lments,
une partie quatre lments.

Nombre de parties : 1 + 4 + 4 + 6 + 1 = 16.
Un ensemble n lments a 2
n
parties : on le vrifie par rcurrence.

"Une relation d'un ensemble E dans un ensemble F est une proprit des lments de
E F."
exemple 7
A = {1, 2, 3, 4, 5, 6, 7, 8, 9} ; R est la relation de A dans A dfinie par
x R y si x + y est divisible par 3. Le graphe de R dans A A est donn
par le tableau (par convention, le premier terme figure dans la colonne de
gauche, le second dans la ligne du haut).
Par exemple 2R1 puisque 2 + 1 = 3, on a mis une X dans la ligne de 2,
colonne de 1.
x
O
y

1 2 3 4 5 6 7 8 9
1 X X X
2 X X X
3 X X X
4 X X X
5 X X X
volume 1
32

6 X X X
7 X X X
8 X X X
9 X X X
exemple 8
( traiter)
Q = P({1, 2, 3}). Ecrire le graphe de la relation R dans Q dfinie par :
A R B si A B = .
# rponse
A
O
B

{1} {2} {3} {1,2} {2,3} {1,3} {1,2,3}
X X X X X X X X
{1} X X X X
{2} X X X X
{3} X X X X
{1,2} X X
{1,3} X X
{2,3} X X
{1,2,3} X

volume 1
33

2-2 Applications
"Les applications sont des relations particulires, celles qui vrifient : pour tout x de E,
il existe un unique y de F tel que x soit en relation avec y."
exemple 9
Les relations prsentes ci-dessus ne sont pas des applications. Avec
les conventions utilises dans ces tableaux, il faut vrifier que dans
chaque ligne il y a un et un seul lment.

E = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}.
La relation de E dans E qui s'crit x R y si :
x y est divisible par 3 et y < 3
se reprsente dans le tableau suivant (x repre la ligne, y la colonne) :
x
O
y

0 1 2 3 4 5 6 7 8 9
0 X
1 X
2 X
3 X
4 X
5 X
6 X
7 X
8 X
9 X

volume 1
34

Il y a bien un et un seul terme dans chaque ligne. C'est une application de
E dans E.
On voit bien qu'il ne faut pas confondre "application" et "formule".
exemple 10
( traiter)
F = { 3, 2, 1, 0, 1, 2, 3, 4, 5, 6}. On utilise la mme relation que
ci-dessus :
x y est divisible par 3 et y < 3.
Reprsenter le graphe de cette relation. Est-ce une application ?
# rponse
Le graphe est reprsent ci-contre.
x
O
y

3 2 1 0 1 2 3 4 5 6
3 X X
2 X X
1 X X
0 X X
1 X X
2 X X
3 X X
4 X X
5 X X
6 X X

Ce n'est donc pas une application : il y a deux termes dans chaque ligne.
volume 1
35

"Soit f une application de E dans F, et A une partie de E, A' une partie de F. On appelle
image directe de A par f et on note f
*
(A) le sous-ensemble de F dfini par f
*
(A) = { y
F | il existe x A tel que f(x) = y }. On appelle image rciproque de A' par f, et on note
f*(A') (ou f -1(A')) le sous-ensemble de E dfini par :
f*(A') = { x E | f(x) A' }."
exemple 11
Sur le dessin suivant on figure l'image d'une partie de E, et l'image
rciproque d'une partie de F. L'application de E dans F consiste projeter
orthogonalement.
L'image rciproque de B est forme de tous les points "au-dessus de B".
L'image de A est forme des points "au-dessous de A".

volume 1
36

exemple 12
( traiter)
Reprsenter sur un dessin analogue f
*
(f
*
(A)) et f
*
(f
*
(B)).
# rponse

Les points de f
*
(f
*
(B)) sont les points de B "au-dessous" de points de
f
*
(B). Les points de f
*
(f
*
(A)) sont les points "au-dessus" d'un point de F
image d'un point de A. On voit clairement sur cet exemple un cas o
B f
*
(f
*
(B)) et A f
*
(f
*
(A)).
volume 1
37

"Soit f : E --. F une application, On dit que f est injective si pour tout x et tout y de E on
a l'implication f(x) = f(y) x = y."
exemple 13
L'application schmatise l'exemple prcdent n'est, bien sr, pas
injective. La notion d'application injective est en troite liaison avec la
question de l'unicit des solutions d'une quation.
Ainsi soit A = [1000 , 2000] un intervalle de N. On associe un lment
x de A un lment y de N : y est le reste de la division de x par 1234.
Cette application de A dans N est injective : supposons que x et x' aient
le mme reste dans la division par 1234 :
x = 1234 q + y
x' = 1234 q' + y
donc x x' = 1234 (q q'), et a fortiori | x x' | = 1234 | q q' |.
Or | x x' | est au plus gal 1000, donc | q q' | est un entier positif ou
nul infrieur 1, c'est--dire 0, donc x = x'.
exemple 14
( traiter)
Soit b un rel strictement positif. On dfinit une application f de
[0 , +[ dans R, par :
f(x) = x
2
+ bx 1.
Cette application est-elle injective ?
# rponse
On cherche si, tant donn un rel y, l'quation en x :
x
2
+ bx 1 = y
volume 1
38

a une seule solution, ou aucune. Si x et x' sont des solutions :
x'
2
+ bx' 1 = y
x
2
+ bx 1 = y
soit :
x'
2
x
2
+ b(x' x) = 0.
Si x x', on peut simplifier par x x', d'o :
x + x' + b = 0.
Or x et x' sont positifs ou nuls, et b est strictement positif, donc cette
galit est fausse. Il n'est donc pas possible que x et x' soient distincts.
L'application est injective.
(NB : exemple de raisonnement par l'absurde.)
"On dit que f est surjective si pour tout x' de F il existe au moins un x de E tel que f(x) =
x'."
exemple 15
L'application de l'exemple 11 n'est pas surjective : certains points de F
ne sont "au-dessous" d'aucun point de E.
L'application de l'exemple 13 n'est pas surjective, puisque y est
ncessairement infrieur 1234.
Il est clair que la surjectivit dpend du choix de l'ensemble o
l'application prend ses valeurs.
La surjectivit est troitement lie l'existence de solutions des
quations : pour l'application f de l'exemple 14, il faut chercher pour
quelles valeurs de y relles l'quation en x :
x
2
+ bx 1 = y
a des solutions positives.
volume 1
39

Le discriminant est b
2
+ 4 + 4y. Il y a au moins une solution relle si :
y 1
b
2
4
.
La somme des racines tant b, donc ngative, il n'y a de solution
positive ou nulle que si le produit est ngatif ou nul (racines de signes
opposs) soit si 1 + y 0.
En rsum, il y a une solution positive ou nulle si et seulement si y 1.
On dira donc que si l'ensemble d'arrive de l'application est [ 1 , + [
l'application est surjective. Si cet ensemble est R, elle n'est pas surjective.
"Soit R une relation de E dans lui-mme ; R est rflexive si pour tout x de E, x R x est
vrai ; R est symtrique si pour tout x et tout y de E on a l'implication x R y y R x ; R
est antisymtrique si pour tout x et tout y de E on a l'implication (x R y et y R x) x =
y ; la relation R est transitive si pour tout x, tout y, tout z de E on a l'implication (x R y
et y R z) x R z ."
exemple 16
E = {a, b, c, d, e}. On tudie la relation dont le graphe est :

a b c d e
a X X
b X X
c X X X
d X X
e X X
Elle n'est pas rflexive : (c, c) n'est pas dans le graphe.
volume 1
40

Elle n'est pas symtrique : (c, b) est dans le graphe mais pas (b, c).
Enfin elle n'est pas transitive : (a, c) est dans le graphe, (c, e) aussi, mais
pas (a, e).
Si on veut complter le graphe pour obtenir celui d'une relation rflexive,
il faut adjoindre (c, c) (toute la diagonale de E E, c'est--dire les
lments (z, z), z quelconque dans E, doit tre contenue dans le graphe
d'une relation pour qu'elle soit rflexive.
On obtiendrait le tableau suivant (X pour le nouveau point) :

a b c d e
a X X
b X X
c X X X X
d X X
e X X

Cette nouvelle relation n'est pas symtrique : (c, b) figure mais pas (b, c).
Pour la complter, il faut s'assurer que pour tout point figurant dans le
graphe, le point symtrique par rapport la diagonale figure galement.
On ajoute le point (X) au tableau :

a b c d e
a X X
b X X X
c X X X X
d X X
volume 1
41

e X X

Cette nouvelle relation n'est toujours pas transitive : (a, c) et (c, e) mais
pas (a, e). Si on veut la complter pour obtenir une relation
d'quivalence, il faut remplir toutes les cases : (a, c), (c, b), (c, e), sont
dans le graphe donc (a, b), (a, e) aussi. Comme (b, d) est dans le graphe,
(a, d) aussi.
On raisonne de mme pour b, c, puis d, et e.
exemple 17
( traiter)
La relation tudie plus haut (exemple 10) :
F = {3, 2, 1, 0, 1, 2, 3, 4, 5, 6}, et x R y si x y est divisible par 3 et
y < 3 est-elle une relation symtrique, rflexive, transitive ?
Examiner aussi la "mme" relation, sur G = {3, 2, 1, 0, 1, 2} : x R y
si x y est divisible par 3.
# rponse
Le graphe de R sur F est :

x
O
y

3 2 1 0 1 2 3 4 5 6
3 X X
2 X X
1 X X
0 X X
1 X X
volume 1
42

2 X X
3 X X
4 X X
5 X X
6 X X
Elle n'est pas rflexive : 3 R 3 n'est pas vrai, par exemple.
Elle n'est pas symtrique : 3 R ( 3) par exemple, mais pas ( 3) R 3.
Elle est transitive ; on peut le vrifier sur le graphe (mais c'est long) ou
par un raisonnement.
Si x y est divisible par 3 et y est infrieur 3,
et si y z est divisible par 3 et z infrieur 3, alors
x z = (x y) + (y z) est divisible par 3 et z infrieur 3.
En restriction G, on obtient le graphe en effaant les quatre dernires
lignes et colonnes :

x
O
y

3 2 1 0 1 2
3 X X
2 X X
1 X X
0 X X
1 X X
2 X X

Cette relation est rflexive, et symtrique.
Le raisonnement prcdent subsiste, donc la relation est galement
transitive sur G.
volume 1
43

C'est une relation d'quivalence sur G.

2-3 Relations d'quivalence
"Soit E un ensemble, muni d'une relation d'quivalence R. Pour tout lment x de E, on
appelle classe d'quivalence de x et on note C(x) le sous-ensemble de E form des
lments y tels que xRy soit vrai."
exemple 18
Construction de l'ensemble Z des entiers relatifs partir de l'ensemble
N des entiers naturels (voir plus loin, exemple 20).
On utilise la relation suivante sur N N :
(m, n) R (m', n') si m + n' = n + m'.
C'est une relation d'quivalence ; elle est :
rflexive : (m, n) R (m, n) car m + n = n + m.
symtrique : si (m, n) R (m', n') alors m + n' = n + m' donc
m' + n = n' + m ;
donc (m', n') R (m, n).
transitive : si (m, n) R (m', n') et (m', n') R (m", n")
m + n' = n + m'
m' + n" = n' + m" soit, par addition,
volume 1
44

m + n' + m' + n" = n + m' + n' + m" et, par simplification,
m + n" = n + m" ;
donc (m, n) R (m", n").
La classe d'quivalence de (0, 0) est forme de tous les couples (m, m).
Plus gnralement, la classe de (a, b), avec a > b, est forme des couples
(m, n) vrifiant :
a + n = b + m, donc
m = a b + n ;
C((a,b))= {(a b + n, n), n N}.
De mme si a < b :
C((a, b)) = {(m, b a + m), m N}.

exemple 19
( traiter)
Sur le produit Z Z
*
, form des couples d'entiers relatifs (p, q) avec
q 0, on dfinit de manire analogue une relation R en posant :
(p, q) R (p', q') si pq' = p'q.
Vrifier que c'est une relation d'quivalence.
Expliciter quelques classes d'quivalences : par exemple C((0, 1)),
C((1, 3)), C((2, 1)).

# rponse
Vrification :
volume 1
45

rflexivit : (a, b) R (a, b) puisque ab = ab ;
symtrie : si (a, b) R (c, d) alors ad = bc, donc cb = da, et :
(c, d) R (a, b) ;
transitivit : si (a, b) R (c, d) et (c, d) R (e, f) alors :
ad = bc
cf = de, donc, par multiplication,
adcf = bcde.
Comme d n'est pas nul, on peut simplifier :
acf = bce.
(1) Si c = 0, alors a = 0 puisque ad = bc et d 0 ; de mme e = 0 donc :
af = be (= 0).
(2) Si c 0, on simplifie acf = bce par c d'o af = be.
Dans tous les cas la transitivit est vrifie.
On a bien dfini une relation d'quivalence.
C((0, 1)) : (a, b) R (0, 1) quand a = 0, b tant quelconque, non nul.
C((0, 1)) = {(0, b), b Z
*
}
C((1, 3)) : (a, b) R (1, 3) quand b = 3a, a tant quelconque, non nul.
C((1, 3)) = {(a, 3a), a Z
*
}
C((2, 1)) : (a, b) R (2, 1) quand a = 2b, b tant quelconque, non nul.
C((2, 1)) = {(2b, b), b Z
*
}

volume 1
46

"L'ensemble des classes d'quivalence, sous-ensemble de l'ensemble P(E) des parties de
E, est appel l'ensemble quotient de E par la relation R, souvent not E/R."
exemple 20
Nous reprenons les deux exemples ci-dessus, pour reconnatre les
ensembles quotients. En fait, nous allons reconnatre qu'il y a une
bijection naturelle de ces ensembles quotients avec des ensembles
connus. (NB : On peut adopter un autre point de vue et considrer que la
dfinition des ensembles "connus" que nous allons mettre en vidence est
justement d'tre ces ensembles quotients : c'est ce que l'on fait lorsqu'on
construit Z partir de N, et Q partir de Z.)
Pour la relation (m, n) R (m', n') si m + n' = m' + n, on voit qu'il n'y a
dans chaque classe qu'un point tel que m = 0.

Ces points sont les entiers naturels n m pour les classes C((m, n)), avec
m < n, ce sont les entiers ngatifs n m pour les classes C((m, n)), si
m > n. On obtient de cette manire une bijection entre l'ensemble des
classes d'quivalence (ensemble quotient) et l'ensemble des entiers
relatifs Z :
N N/R. Z
C((m, n)) n m.
On voit que N se ralise comme une partie de Z en identifiant n avec
C((0,n)).
NB : on aurait pu choisir de prendre l'intersection des classes, prolonges
en droites, avec l'axe des abscisses. Cela correspondrait
C((m, n)) (m n). C'est souvent ce choix qui est fait ; dans ce cas, on
identifie n avec C((n, 0)).
volume 1
47

exemple 21
( traiter)
De manire analogue, tablissez une bijection entre l'ensemble
quotient de la deuxime relation et l'ensemble des rationnels.
# rponse
Pour Z Z
*
, et la relation (p, q) R (p', q') si pq' = p'q, on peut chercher
dans une classe donne s'il y a un reprsentant de la forme (x, 1) :
(p, q) R (x, 1) si qx = p.
Donc si q divise p, x est le quotient. Sinon, x n'existe pas.
Par extension, mme si q ne divise pas p, on fera correspondre la classe
de (p, q) le rationnel
p
q
. C'est bien une application puisque quel que soit
le reprsentant d'une classe, le rationnel
p
q
est le mme. Elle est bien
bijective. Graphiquement, on peut faire correspondre une classe (points
aligns avec (0, 0)) l'intersection de la droite avec la droite d'quation
y = 1. Lorsque la classe correspond un entier relatif, l'intersection a une
abscisse entire, sinon, ce n'est pas un entier mais un rationnel non entier.

2-4 Lois de composition - structures
"Soit E un ensemble et T une loi de composition interne dans E. On dit que T est
associative si pour tout x, tout y, tout z de E on a l'galit (x T y) T z = x T (y T z)."
exemple 22
Certaines oprations lmentaires ne sont pas associatives.
volume 1
48

Elles demandent des prcautions particulires dans l'utilisation des
parenthses, pour viter les erreurs.
Ainsi l'exponentiation (lvation une puissance), dans N par exemple :
si n T m = n
m
,
2 T (3 T 4) = 2
81

(2 T 3) T 4 = 2
12
.
exemple 23
( traiter)
Examiner de ce point de vue les oprations suivantes :
soustraction dans Z,
division dans R
*
.
# rponse
Ces deux oprations ne sont pas associatives. On trouve facilement des
contre-exemples :
(1 2) 3 = 4, et 1 (2 3) = 2,
1
2
3
=
3
2
, et
1
2
3
=
1
6
.
volume 1
49

"Soit (E,T) un ensemble muni d'une loi de composition interne. On dit que (E,T) est un
groupe si 1- T est associative, 2- T admet un lment neutre, 3- Tout lment de E a un
symtrique pour T."
exemple 24
Vous avez dj rencontr de nombreux groupes : (Z, +), (Q, +),
(R, +), Penser qu'il y a d'autres exemples que les ensembles de
nombres : soit E l'ensemble des rotations de centre O (centre du
pentagone) qui "conservent" le pentagone rgulier, c'est--dire le
transforment (globalement) en lui-mme.
Si T dsigne la composition des applications, il est clair que (E, T) est un
groupe : la compose de deux rotations conservant le pentagone le
conserve, donc la loi est bien interne, la composition est associative,
l'application identique conserve le pentagone, si une rotation conserve le
pentagone, la rotation d'angle oppos le conserve galement.
Remarquer qu'il n'a pas t ncessaire de connatre les rotations qui
appartiennent E pour tablir ce rsultat.
exemple 25
( traiter)
Soit A = {1, 2, 3}. On appelle S
3
l'ensemble des bijections de A dans
A. On reprsente une telle bijection en crivant (a, b, c) si a est l'image
de 1, b l'image de 2 et c l'image de 3 ({a, b, c} = {1, 2, 3} bien entendu).
Ecrire l'ensemble des lments de S
3
, et vrifier que cet ensemble est
bien un groupe pour la composition des applications.
volume 1
50

# rponse
On tablit la liste des lments sans difficult : la mthode employe est
d'crire d'abord l'application identique (3 lments fixes), puis les
bijections avec exactement 1 lment fixe (il n'y en a pas avec
exactement 2 lments fixes, bien entendu), puis celles sans lment fixe.
Pour plus de facilit dans l'criture de la table de composition, on leur
donne des noms.
I = (1, 2, 3)
t1 = (1, 3, 2)
t2 = (3, 2, 1)
t3 = (2, 1, 3)
s = (2, 3, 1)
u = (3, 1, 2)
Il n'y en a pas d'autre puisque 1 donne 1, 2, ou 3. S'il donne 1, alors 2
donne 2 (I) ou 3 (t1) ; s'il donne 2, alors 2 donne 1 (t3) ou 3 (s), s'il donne
3, alors 2 donne 2 (t2) ou 1 (u).
On peut faire le mme raisonnement que ci-dessus pour le pentagone.
On peut aussi crire une table de composition, analogue une table de
multiplication : dans la ligne correspondant la bijection f, et dans la
colonne correspondant la bijection g, on figure la compose fog
(attention : l'ordre compte).

I t1 t2 t3 s u
I I t1 t2 t3 s u
t1 t1 I s u t2 t3
t2 t2 u I s t3 t1
t3 t3 s u I t1 t2
volume 1
51

s s t3 t1 t2 u I
u u t2 t3 t1 I s

Pour remplir ce tableau, on applique successivement deux bijections : par
exemple t1ou (d'abord u, puis t1) est gal t3.
(1, 2, 3) (3, 1, 2) (2, 1, 3)
Sur cette table on vrifie que la loi est interne, qu'il y a un lment neutre
(I), et que chaque lment a un symtrique (lui-mme pour t1, t2, t3, u
pour s et inversement). Pour l'associativit, il est bien prfrable de
revenir un raisonnement gnral sur l'associativit de la composition.
exemple 26
( traiter)
La mme table peut tre obtenue partir d'un groupe de
transformations gomtriques : chercher quelles sont les transformations
(isomtries) qui conservent un triangle quilatral, et voir qu'elles
forment un groupe ayant la mme table que S
3
(on dit que ces groupes
sont isomorphes). Identifier quelles transformations correspondent t1,
t2, t3, s, u.
# rponse
Les transformations du plan qui conservent ce triangle sont l'application
identique (Id), les symtries par rapport aux trois hauteurs (s1, s2, s3), la
rotation R d'angle
2
3
, et la rotation R
2
d'angle
4
3
.
On vrifie que, pour la composition des isomtries du plan, cet ensemble
de transformations a bien la mme table que S
3
; on peut identifier les
volume 1
52

symtries s1, s2, s3 aux bijections t1, t2, t3 (dans n'importe quel ordre),
puis R s (ou u) et R
2
u (ou s) selon le premier choix : par exemple si
s1 correspond t1, s2 t2, s3 t3, et si s2os1 = R, on identifiera R u,
R
2
s.
Une mthode facile consiste nommer 1, 2, 3 les sommets du triangle et
observer comment chaque transformation gomtrique permute
l'ensemble {1, 2, 3}.
exemple 27
( traiter)
Un mme ensemble peut tre un groupe pour des oprations
diffrentes. Par exemple, vrifier que Z est un groupe pour l'opration
& :
p & q = p + q si p est pair, et p & q = p q sinon.
Est-ce un groupe commutatif ?
# rponse
associativit : p & (q & r) = p + (q & r) si p est pair,
p & (q & r) = p + (q + r) si p et q sont pairs,
dans ce cas, (p & q) & r = (p + q) & r = (p + q) + r puisque p + q est pair,
p & (q & r) = p + (q r) si p est pair et q impair,
dans ce cas, (p & q) & r = (p + q) r puisque p + q est impair,
p & (q & r) = p (q & r) si p est impair,
p & (q & r) = p (q + r) si p est impair et q pair,
dans ce cas, (p & q) & r = (p q) r puisque p q est impair.
p & (q & r) = p (q r) si p et q sont impairs,
dans ce cas, (p & q) & r = (p q) + r puisque p q est pair.
volume 1
53

Dans tous les cas, l'associativit est vrifie.
lement neutre : p & 0 = p et 0 & p = p (0 est pair).
symtrique : si p est pair, p & ( p) = 0 donc ( p) est le symtrique ;
si p est impair, p & p = 0, donc p est le symtrique.
Pour la commutativit, on trouve facilement un contre-exemple :
2 & 3 = 2 + 3,
3 & 2 = 3 2.
"Soit (G,T) un groupe et H une partie de G. On dit que (H,T) est un sous-groupe de
(G,T) si (H,T) est lui-mme un groupe."
exemple 28
Les exemples vus ci-dessus sont des sous-groupes de quelques groupes
gnraux qu'il faut bien reconnatre car, dans de nombreux cas, les
groupes utiliss sont des sous-groupes.
exemple 24 : les groupes de nombres sont en gnral des sous-groupes de
(C, +), ou (C
*
, ).
exemple 24, 25, 26 : l'ensemble des bijections d'un ensemble E dans lui-
mme est un groupe pour la composition. Les bijections qui "conservent"
une partie A de l'ensemble E forment un sous-groupe (qu'on appelle le
stabilisateur de A).
Par contre, il existe des proprits qui se conservent par composition
(continuit, drivabilit) mais pas ncessairement par rciproque
(drivabilit). Un sous-ensemble form de bijections ayant une telle
proprit ne formera pas ncessairement un sous-groupe : on y reviendra.
volume 1
54

exemple 29
( traiter)
Reprendre l'exemple du groupe S
3
(exemple 25). Chercher tous ses
sous-groupes. Indication : un sous-groupe doit contenir au moins
l'lment neutre, et s'il contient un autre lment, il contient son
symtrique. Distinguer les cas en fonction du nombre d'lments.
# rponse
Reproduisons la table du groupe.

I t1 t2 t3 s u
I I t1 t2 t3 s u
t1 t1 I s u t2 t3
t2 t2 u I s t3 t1
t3 t3 s u I t1 t2
s s t3 t1 t2 u I
u u t2 t3 t1 I s

Sous-groupe un lment : ce ne peut-tre que {I}.
Sous-groupe deux lments : I, et f gal son symtrique {I, t1},
{I, t2}, {I, t3}.
Sous-groupe trois lments : I, f et son symtrique, les composs de f
doivent tre galement dans le sous-groupe ; {I, s, u} est un exemple.
Si un sous-groupe contient deux lments distincts de {t1, t2, t3}, il
contient ncessairement u et s. Il n'y a donc pas d'autre possibilit.
volume 1
55

Sous-groupe quatre lments : I, et trois parmi les cinq autres. Compte
tenu de la table, s'il y a t1 et s ou u, il y a tous les lments. Ce cas est
impossible, de mme pour cinq lments.
Sous-groupe six lments : S
3
lui-mme.
Ce groupe a donc six sous-groupes :
{I}, {I, t1}, {I, t2}, {I, t3}, {I, s, u}, {I, t1, t2, t3, s, u}.

NB : la thorie montre que le nombre d'lments d'un sous-groupe est un
diviseur du nombre d'lments du groupe. Il ne pouvait donc pas y avoir
de sous-groupes quatre ou cinq lments.
"Soit (G, T) un groupe, et H une partie de G. Pour que (H, T) soit un sous-groupe de
(G, T), il faut et il suffit que les proprits suivantes soient vrifies :1) H est non vide,
2) Pour tout x et tout y de H l'lment x T sym(y) appartient H."
exemple 30
Soit H le sous-ensemble de (Z, +) form de tous les multiples de 11 :
0 est dans H donc H n'est pas vide ;
si x et y sont des multiples de 11, x y aussi.
Conclusion : H est un sous-groupe de Z.
exemple 31
( traiter)
Soit a un rel et F
a
le sous-ensemble de (R
3
, +) dfini par :
F
a
= {(x, y, z) | 2x y + z = a }.
Pour quelles valeurs de a ce sous-ensemble est-il un sous-groupe ?
volume 1
56

# rponse
Pour tout a, F
a
est non vide.
Si (x, y, z) est un point de ce plan, et (x', y', z') un autre point :
2x y + z = a
2x' y' + z' = a
d'o par soustraction :
2(x x') (y y') + (z z') = 0.
Il en rsulte que la seule valeur qui

convienne est a = 0.
On pouvait le voir galement en vrifiant que l'lment neutre (0, 0, 0)
est un lment de Fa.
"Soient (G, T), et (H,) des groupes. On appelle homomorphisme de groupes de G vers
H une application f : G --. H telle que pour tout x et tout y de G on ait f(x T y) = f(x)
f(y)."
exemple 32
Les fonctions usuelles exponentielle et logarithme sont des
homomorphismes de groupes, rciproques l'un de l'autre.
exp : (R, +) --. (R
+*
, x)
exp(t1+t2) = exp(t1) x exp(t2)
Log : (R
+*
, x) --. (R, +)
Log(a x b) = Log(a) + Log(b).
exemple 33
( traiter)
Soit f : (Z, +) --. (Z, +) un homomorphisme de groupe.
volume 1
57

On pose m = f(1).
Calculer f(2), f(1) ; dmontrer que f est compltement dfini par la
donne de f(1).
Ecrire la forme gnrale des endomorphismes de (Z, +).

# rponse
f(2) = f(1+1) = f(1) + f(1),
f(2) = 2m.
On sait que l'image par un homomorphisme de groupes du symtrique
d'un lment est le symtrique de l'image de cet lment.
f( 1) = f(1)
f( 1) = m.
On vrifie par rcurrence que pour tout n entier relatif, f(n) = nm :
n 0 d'abord ;
f(0) = 0 = 0 m.
si on suppose vrai que f(n) = nm,
f(n + 1) = f(n) + f(1)
f(n + 1) = nm + m
f(n + 1) = (n + 1)m.
Pour n < 0, on utilise la remarque faite ci-dessus sur l'image du
symtrique. La forme gnrale des endomorphismes de (Z, +) est donc
f(x) = ax, a tant un entier relatif quelconque.
volume 1
58

2-5 Logique lmentaire
"nonc universel, nonc existentiel."
exemple 34
Considrons l'nonc :
"Il n'y a pas de plus grand lment dans N"
C'est une proprit des entiers naturels, valable pour tous les entiers,
donc un nonc universel :
"Pour tout lment de N, il y a un lment plus grand que cet lment"
L'nonc s'analyse donc comme un nonc existentiel enchss dans un
nonc universel.
En criture symbolique :
n, n N, p, p N, p > n.
exemple 35
( traiter)
Ecrire symboliquement, en reconnaissant nonc existentiel et nonc
universel, la proprit :
"L'ensemble des nombres premiers a un plus petit lment"
# rponse
C'est d'abord un nonc existentiel puisqu'il affirme l'existence d'un
objet. Cet objet est caractris par une proprit en rfrence un
ensemble, donc valable pour tous les lments de l'ensemble, c'est--dire
une proprit universelle. On crira (P dsigne l'ensemble des nombres
premiers) :
volume 1
59

m, m P, x, x P, m x.
"Ngation d'un nonc universel, ou existentiel."
exemple 36
"Tout rationnel est un nombre dcimal"
Symboliquement, on crit :
x, x Q x D.
La ngation s'crit :
x, x Q et x D, soit
x, x Q et y, y D, y x.
De manire plus dtaille, le premier nonc s'crit :
(p, q), (p, q) Z Z
*
, (m, n), (m, n) Z N,
p
q
=
m
10
n
.
Sa ngation :
(p, q), (p, q) Z Z
*
, (m, n), (m, n) Z N,
p
q
m
10
n
.
C'est, bien entendu, la ngation qui est vraie : par exemple 1/3 n'est pas
un dcimal, puisque 3 n'est pas un diviseur de 10.
exemple 37
( traiter)
Ecrire la ngation de l'nonc :
"Les rels positifs ou nuls ont deux racines carres relles distinctes"
volume 1
60

# rponse
L'nonc s'crit :
x, x R
+
, (a, b), (a, b) R R, a b, x = a
2
et x = b
2
.
Sa ngation :
x, x R
+
, (a, b), (a, b) R R, a b, x a
2
ou x b
2
.
"Certains rels positifs ou nuls n'ont pas deux racines carres relles
distinctes". (cet nonc est vrai, penser x = 0).

volume 1
61

indications pour rsoudre - mthode - lexique
3 Pour Comprendre
et Utiliser
3-1 noncs des exercices
Dmontrer que deux ensembles sont gaux, matriser les
oprations lmentaires ensemblistes (union, intersection,
complmentaire), utiliser les applications (dfinition,
image d'une partie, image rciproque), caractriser et
utiliser l'injectivit, la surjectivit, la bijectivit.
exercice 1
Soit E un ensemble. A toute partie A de E, on associe une application,
note 1
A
, de E dans {0, 1} :
si x A, 1
A
(x) = 1, sinon, 1
A
(x) = 0.
Cette application est la "fonction caractristique" de A. Elle permet,
inversement, de retrouver A :
A = 1
A
*
({1}).
1) Soient A et B des parties de E. Etablir les noncs suivants : ()
si A B, alors 1
A
1
B
;
si C = A B, alors 1
C
= 1
A
1
B
;
si D = C
E
(A), alors 1
D
= 1 1
A
.
volume 1
62

2) La rciproque () du premier nonc est-elle vraie ? ()

3) Ecrire une relation entre la fonction caractristique de l'union A B et
les fonctions caractristiques de A et de B. ( )

4) A l'aide des fonctions caractristiques, dmontrer les galits :
C
E
(A B) = C
E
(A) C
E
(B).
( C) = (A B) (A C).
Examiner par cette mthode d'autres relations semblables.

5) La fonction (1
A
1
B
) est-elle la fonction caractristique d'une partie
de E ? Si oui, laquelle ? Mmes questions pour |1
A
1
B
|.
exercice 2
Soit E un ensemble. A tout couple (A, B) de parties de E vrifiant A B,
on associe une application
A,B
de E dans {0, 1, 2} par :
A,B
(x) = 0 si x B
A,B
(x) = 1 si x B et x A
A,B
(x) = 2 si x A.

1) Soit C une partie de E. On suppose que A C et B C.
Etablir la relation () :
A,B
.
A,C
= (
A,BC
)
2

2) Avec les mmes hypothses, calculer
A,BC
. ()
volume 1
63


3) Exprimer
C(B),C(A)
en fonction de
A,B
(C(X) dsigne ici le
complmentaire de X dans E).

4) Dduire de ce qui prcde des expressions de
AA',B
et
AA',B
, si A
et A' sont des parties de B ().
exercice 3
Soient E et F des ensembles et f une application de E dans F.
(Cf. exercice 1 pour les notations.)
1) Soient B et B' des parties de F. Exprimer 1
f*(B)
l'aide de 1
B
et de
f ().
Quelle relation pouvez-vous en dduire entre f
*
(B B') et
f
*
(B) f
*
(B') ?

2) Soit A une partie de E, dmontrer () :
1
f(A)
o f 1
A

3) Soit A une partie de E. On tudie quelle condition sur A il existe une
partie B de F telle que :
1
B
o f = 1
A
.
Exemple : si E = Z, A = 2N, F = N, et f est dfinie par f(n) = n
2
. La partie
B existe-t-elle () ?

volume 1
64

Dmontrer que si B existe, alors B f
*
(A). Cette partie B est-elle
unique ?
Dmontrer que si B existe, alors A f
*
(f
*
(A)), et rciproquement.
Pour conclure, dmontrer que B existe si et seulement si A = f
*
(f
*
(A)).
exercice 4
Soit E un ensemble, P(E) l'ensemble des parties de E.
1) Si A est une partie de E, non vide, et distincte de E. Les applications
suivantes de P(E) dans lui-mme sont-elles injectives, surjectives () ?
()
u : X A X,
i : X A X.

2) Soit f une application de E dans un ensemble F, on note :
P(f) : P(E) . P(F),
X f
*
(X)
et
Q(f) : P(F) . P(E)
Y f
*
(Y)
les applications "image directe" et "image rciproque".
Examiner quelles conditions ces applications sont injectives,
surjectives ().
volume 1
65

exercice 5
Dans cet nonc, on tudie une application f de l'ensemble N des entiers
naturels, dans lui-mme : l'application f associe un entier p l'entier
p
2
+ p.
1) Si B
1
est le sous-ensemble de N form des entiers impairs, f
*
(B
1
) est
l'ensemble vide.
Pourquoi () ?
2) Si B
2
est le sous-ensemble form des entiers pairs, f
*
(B
2
) est
l'ensemble N.
Pourquoi () ?
3) crire en extension ()() :
a- f
*
({1, 2, 3, 5, 7, 11}) ()
b- f
*
({2, 4, 6, 8, 10, 12, 14}) ()
c- f
*
(f
*
({1, 2, 3, 5, 7, 11})
d- f
*
(f
*
({2, 4, 6, 8, 10, 12, 14}))
exercice 6
Dans cet exercice, on tudie une application f de l'ensemble R des
nombres rels dans le segment [1 , 1] ; l'application f associe un rel x
le nombre sin(x).

1) Vrifier les noncs suivants ()() :
Si A
1
= [0 , ], alors f
*
(A
1
) = [0 , 1].
Si A
2
= [0 ,
3
4
[, alors f
*
(A
2
) = [0 , 1].
volume 1
66


2) Y a-t-il des sous-ensembles de R ayant une infinit d'lments dont
l'image directe par f est un sous-ensemble ayant un seul lment ? ()
3) Y-a-t-il des sous-ensembles de [1 , 1] ayant une infinit d'lments
dont l'image rciproque par f est un sous-ensemble ayant un seul
lment ?
exercice 7
1) A l'aide des exemples et exercices que vous avez tudis (), discuter
les conjectures () suivantes portant sur une application f : E . F.
a) Pour tout sous-ensemble A de E, f
*
(f
*
(A)) = A.
b) Pour tout sous-ensemble B de F, f
*
(f
*
(B)) = B.

2) Ces galits correspondent deux inclusions ().
Dans chaque cas, prouver l'une des deux inclusions.
Donner un contre-exemple montrant que l'autre inclusion n'est pas
toujours vrifie.

3) Parmi les applications figurant dans les exemples proposs, citer une
application injective.
Vrifier que pour ce cas l'nonc a) est vrai.
Dmontrer, de faon gnrale, que la conjecture a) est vraie pour toute
application injective ().

4) Parmi les applications figurant dans les exemples proposs, citer une
application surjective.
volume 1
67

Vrifier que pour cet exemple l'nonc b) est vrai.
Dmontrer, de faon gnrale, que la conjecture b) est vraie pour toute
application surjective ().
volume 1
68

Reconnatre un groupe. Caractriser un sous-groupe,
utiliser un homomorphisme de groupes. Calculs dans un
anneau, un corps.
exercice 8
Quelques proprits lmentaires des groupes () :
1) Dans un groupe, il existe un unique lment neutre (), et pour un
lment donn, un unique symtrique (). Rappeler la dmonstration
de ces deux rsultats lmentaires ().

2) Dans un groupe, on peut simplifier membre membre par un facteur
commun. Pourquoi () ?

3) Dans un groupe (G, T), expliquer trs prcisment comment on peut
rsoudre une quation du premier degr (a et b sont donns, x est
l'inconnue) :
a T x = b.

4) Rciproquement, soit G un ensemble dans lequel on a dfini une loi
interne associative () note T. On suppose que pour tout couple (a, b)
de G, les quations en x :
a T x = b, et x T a = b
ont une solution unique.
Dmontrer que (G, T) est un groupe ().
volume 1
69

exercice 9
Soit (G, T) un groupe, dont l'lment neutre est not e.
On dfinit la puissance d'un lment du groupe par rcurrence :
si g G, alors g
0
= e,
g
(n+1)
= g
n
T g pour n 0, et
g
n
= sym(g
-n
) pour n < 0.
Attention, malgr la notation, il n'est pas sous-entendu que la loi T soit
commutative.

1) Soit n un naturel. L'application g g
n
est-elle un homomorphisme
() de groupes () ?
Donner un exemple, et le cas chant un contre-exemple ().

2) On dit qu'un lment g de G est d'ordre fini s'il existe un naturel n
strictement positif tel que g
n
= e. Si un lment n'est pas d'ordre fini, on
dit qu'il est d'ordre infini.
Si g est d'ordre fini, montrer qu'il existe une infinit d'exposants m tels
que g
m
= e.
On appelle alors "ordre de g" le plus petit naturel strictement positif p tel
que g
p
= e.

3) Exemple 1 : G = {z C | |z| = 1}, la loi tant la multiplication.
Chercher des lments de G d'ordre 2, 3, 5.
Dans chaque cas, quels sont les autres exposants m correspondant
g
m
= 1 () ?

volume 1
70

4) On veut dmontrer que si p est l'ordre de g, alors g
m
= e si et
seulement si m est un multiple de p.
Pour un tel exposant, soit m, m p, effectuer la division de m par p :
m = pq + r.
Calculer g
r
. En dduire que r = 0 ().

5) Exemple 2 : Dans le plan on choisit une direction de droites.
L'ensemble D est l'ensemble form de l'application identique, des
symtries par rapport une droite de la direction choisie, et des
translations perpendiculaires cette direction. L'opration est la
composition des applications. Vrifier qu'on a bien affaire un groupe.
Les lments de ce groupe sont-ils d'ordre fini ?
Si deux lments sont d'ordre fini, leur compos est-il toujours d'ordre
fini () ?

6) Exemple 3 : Soit l'ensemble des complexes z pour lesquels il existe
un entier n non nul vrifiant z
n
= 1. (Ensemble des racines de l'unit.)
Montrer que (M, ) est un groupe.

7) On suppose que G est un ensemble fini ; soit n le nombre de ses
lments. On dit que n est l'ordre de G.
Dmontrer que, dans G, tout lment est d'ordre infrieur ou gal n
().

8) Rciproquement, si dans un groupe tout lment est d'ordre fini, le
groupe est-il d'ordre fini ?
volume 1
71

exercice 10
Soit un groupe (G, T).
Voici quelques exemples "standard" de sous-groupes de (G, T).
1) Soit H un sous-ensemble non vide, fini, stable (c'est--dire que si
a H et b H, alors a T b H.)
Dmontrer que H est un sous-groupe de G. ()()

2) Soit a G et C(a) = {a
n
| n Z}.
Dmontrer que C(a) est un sous-groupe de G.

3) Soit Z(G) = {g G | h G, g T h = h T g}.
Dmontrer que Z(G) est un sous-groupe de G.

4) Soit g G et S(g) = {h G | g T h = h T g}.
Dmontrer que S(g) est un sous-groupe de G.
exercice 11
Quelques proprits lmentaires des homomorphismes ().

1) Soit f : (G, T) . (H, ) un homomorphisme de groupes. Vrifier que
l'image de l'lment neutre () de G est l'lment neutre de H ().
Soit a un lment de G, vrifier que l'image du symtrique de a par f est
le symtrique de f(a).

2) Soit h : (G, T) . (H, ) un homomorphisme de groupes, bijectif.
volume 1
72

Dmontrer que h est un isomorphisme, c'est--dire que l'application
rciproque g de h est galement un homomorphisme ().

3) Soit (G, T) un groupe, et (H, ) un ensemble non vide muni d'une loi
de composition interne ().
On suppose qu'il existe une application u surjective () u : G. H, telle
que u(a T b) = u(a) u(b), quels que soient a et b dans G.
Dmontrer que (H, ) est un groupe ().
exercice 12
Sur la notion de noyau () d'un homomorphisme.

Soit h : A . B un homomorphisme de groupes.
On note e la fois l'lment neutre de A et celui de B, et par un point
(".") l'opration de A et celle de B.
On appelle H l'ensemble :
H = {a A | h(a) = e}.
1) Dmontrer que H est un sous-groupe de A ().
On l'appelle le "noyau" de h.

2) Soit u H, vrifier que si g A, alors g.u.g
-1
H.

3) Dmontrer que h est injectif si et seulement si son noyau ne contient
que l'lment neutre ().

4) Soit b un lment de B. On suppose que l'quation :
volume 1
73

h(x) = b
a au moins une solution, soit a. Dcrire l'ensemble des solutions l'aide
de a et de H.

5) Exemple : A est l'ensemble des fonctions d'une variable relle deux
fois drivables, drives continues, muni de l'addition usuelle ; B est
l'ensemble des fonctions continues, galement muni de l'addition ; enfin,
h est l'application qui une fonction u associe la fonction u" u' u (ici,
u' dsigne la drive premire et u" la drive seconde).
Vrifier que h est un homomorphisme de groupes, et chercher son noyau,
puis chercher les solutions de h(u) = 2.exp (fonction exponentielle).
Retrouver ainsi une rgle connue ().

volume 1
74

Reconnatre une relation d'quivalence. Utiliser
l'ensemble quotient.
exercice 13
Dans un groupe (G, ), soit H un sous-ensemble.
On dfinit une relation sur G par :
x R y si x y
-1
H.

1) Dmontrer que R est une relation d'quivalence () si et seulement si
H est un sous-groupe de G.()
Cette relation est-elle compatible () avec () ?

On suppose maintenant que R est une relation d'quivalence.
On note G/H l'ensemble quotient de G par la relation R.

2) Soit g G. On pose :
H g = {h g | h H}.
Dmontrer que H g est la classe d'quivalence () de g pour la
relation R ().

3) Soient g
1
et g
2
des lments de G.
Vrifier que l'application u de G dans G :
x x g
1
-1
g
2

est une bijection ()(), et que l'image de la classe de g
1
par u est la
classe de g
2
.
volume 1
75


4) On suppose de plus que G est un groupe fini.
Dduire de ce qui prcde que le nombre d'lments d'un sous-groupe
quelconque de G est un diviseur du nombre d'lments de G ().
exercice 14
Soit (G, ) un groupe, et H un sous-groupe de G.
On suppose que H vrifie la proprit :
g G, h H, g
-1
h g H.

1) Dmontrer que la relation d'quivalence dfinie dans l'exercice 13 est
compatible avec la loi ().

2) Soit c : G . G/H l'application qui associe g sa classe d'quivalence.
Dmontrer que c est un homomorphisme de groupes (), et que H est le
noyau de c (cf. 12-1).
exercice 15
On considre la relation suivante, dfinie sur R :
a R b si il existe un entier relatif k vrifiant a b = 2k.

1) Dmontrer que R est une relation d'quivalence.

2) Montrer qu'il y a un seul reprsentant de chaque classe dans [0 , 2[,
puis tablir une bijection () entre l'ensemble quotient et l'ensemble :
volume 1
76

{z C | |z| = 1}, ensemble qu'on notera S
1
.
On notera p l'application qui en rsulte entre R et S
1
par composition
avec l'application canonique de passage au quotient ().
3) Vrifier que les applications sin et cos se factorisent par p, c'est--dire
qu'il existe des applications S et C de S
1
dans R telles que :
sin = Sop,
cos = Cop.
Dmontrer que p est surjective.
Les applications S et C sont-elles injectives ?
exercice 16
Soit E un ensemble. On appelle "prordre" sur E une relation sur E
transitive et rflexive. On note un prordre sur E.
1) Soit R la relation sur E dfinie par :
x R y si (x y et y x).
Dmontrer que R est une relation d'quivalence.
2) Soient c(x) et c(y) des classes d'quivalence. Vrifier qu'on dfinit
bien une relation sur E/R () en posant :
c(x) << c(y) si x y. ()
Dmontrer que << est une relation rflexive, symtrique, et transitive
(relation d'ordre ()).
3) Exemple 1 : Dans Z
*
= Z {0}, la relation p | q si q est un multiple
entier de p est une relation de prordre (le vrifier).
On lui associe comme ci-dessus une relation d'quivalence.
Soit p un relatif. Ecrire les lments de la classe d'quivalence c(p).
volume 1
77

Etablir une bijection () entre l'ensemble quotient () et un ensemble
connu ().
4) Exemple 2 : Dans C
*
= C {0}, la relation z t si ||z|| ||t|| est une
relation de prordre. Soit z un complexe. Quels sont les complexes
quivalents z pour la relation associe au prordre ?
Etablir une bijection entre l'ensemble quotient et un ensemble connu ().

volume 1
78

volume 1
79

Dans un nonc mathmatique, identifier les connecteurs,
les quantificateurs. Transformer un nonc : contrapose,
rciproque. Ngation d'un nonc. Raisonnement par
l'absurde.
exercice 17
Ecrire la ngation () des noncs suivants : P, Q, R dsignent des
propositions mathmatiques quelconques.
Ecrire les rponses l'aide de P, non(P), Q, non(Q), , et, ou .
On pourra d'abord transformer les noncs proposs. ()

1) Si non(P) alors non(Q).
2) Si P alors non(Q).
3) Si (P et Q) alors (R et S).
4) Si l'intersection de deux ensembles est vide, l'un des deux au moins est
vide ().
5) (m, n) Z Z, (u, v) Z Z, mu + nv = 1. ()
exercice 18
Soient P et Q des propositions dpendant d'un objet x.
Dans chaque cas, vrifier si les noncs proposs sont quivalents ()
().

1) () x, [P(x) ou Q(x)].
() [ x, P(x)] ou [ x, Q(x)].
volume 1
80


2) () x tel que [P(x) ou Q(x)].
() [ x tel que P(x)] ou [ x tel que Q(x)].

3) () x, non[P(x) ou Q(x)].
() [ x, non P(x)] ou [ x, non Q(x)].

4) () x tel que non[P(x) ou Q(x)].
() [ x tel que non P(x)] ou [ x tel que non Q(x)].
exercice 19
Une relation transitive et symtrique est rflexive.
Voici un raisonnement prouvant cet nonc (faux !).
Ecrire ce raisonnement en explicitant compltement les quantificateurs et
trouver l'erreur de raisonnement ().

Soit E un ensemble, et R une relation transitive et symtrique.
Pour un x de E, on a :
x R y y R x (par symtrie) ;
on a donc :
x R y et y R x d'o x R x (par transitivit).
exercice 20
Utiliser la contrapose : prouver les noncs suivants, en les remplaant
par leur contrapose ().
volume 1
81


1) Proprit d'un rationnel a :
[ h Q
*
, | a | h] [a = 0].
2) Proprit d'un couple de rationnels (a, b) :
[ n N
*
, a
1
n
b ] [a b].
3) Proprit d'un rationnel a.
Si a > 0, alors, pour tout rationnel b > 0,
il existe un entier n tel que n x a > b.
exercice 21
Soit :
f : { 1, 2, 3 } { 1, 2, 4, 5 }. N
dfinie par :
f(x, y) = xy.
Examiner les noncs suivants.
Pour chaque nonc de la forme "si A, alors B", on classera ()
l'ensemble des couples (x, y) de {1, 2, 3} {1, 2, 4, 5} en "exemple",
"contre-exemple", "non-exemple". Ensuite, on dcidera s'il est vrai ou
faux () .

1) Si x + y = 4 , alors f(x,y) = 4 .
2) Si f(x, y) = 1 , alors x = y .
3) Si f(x,y) = 8 , alors x = 2 .
4) Ngation de (3) (prciser cet nonc).
5) Contrapose de (2) (prciser cet nonc).
volume 1
82

6) Si f(x, y) = 4 et x > 1 , alors y = 2 .
7) Si f(x, y) = 1 et x 2 , alors y = 1 .
8) Ngation de (7) (prciser cet nonc).
9) Contrapose de (7) (prciser cet nonc).
10) Si f(x, y) = 9, alors x + y = 2.
11) Si f(x, y) = 9, alors x + y = 20.

3-2 Corrigs des exercices
exercice 1-C
1) Les relations sont toutes simples dmontrer. Il s'agit de comparer des
applications ().
Dmontrons compltement la premire : Soit x dans E.
Si x A, 1
A
(x) = 1. Comme A B, x B donc 1
B
(x) = 1.
Si x A, et x B, 1
A
(x) = 0, et 1
B
(x) = 1.
Enfin, si x B, alors x A donc 1
A
(x) = 1
B
(x) = 0.
Dans tous les cas, 1
A
(x) 1
B
(x)
.

2) La rciproque s'crit :
si 1
A
1
B
, alors A B.
L'hypothse signifie que pour tout x, 1
A
(x) 1
B
(x).
Soit en particulier x A. Il en rsulte que 1
A
(x) = 1, et comme une
fonction caractristique ne prend que les valeurs 1 ou 0, on a galement
1
B
(x) = 1, donc x B. La rciproque est bien vraie.
volume 1
83


(QC-1) Examiner galement les rciproques des autres noncs.

3) Si A et B sont disjoints (), il est clair qu'on obtient une fonction
gale 0 en dehors de A et B, et 1 dans A ou B, avec 1
A
+ 1
B.
Par contre si A et B ne sont pas disjoints, on voit que 1
A
+ 1
B
prend la
valeur 2 dans A B. Il faut donc retrancher 1
A B
. On trouve donc :
1
A B
= 1
A
+ 1
B
1
A
. 1
B
.

volume 1
84


4) Pour la relation :
C
E
(A B) = C
E
(A) C
E
(B),
les fonctions caractristiques des deux membres s'crivent :
1
C(A B)
= 1 1
A B
= 1 1
A
.1
B
,
1
C(A) C(B)
= 1
C(A)
+ 1
C(B)
1
C(A)
.1
C(B),

= 1 1
A
+ 1 1
B
(1 1
A
)(1 1
B
),
= 2 1
A
1
B
(1 1
A
1
B
+ 1
A
.1
B
),
volume 1
85

= 1 1
A
.1
B
.
Elles sont bien gales.
On procde de mme pour l'autre relation.
On pourra faire de mme pour les relations suivantes :
C
E
(A B) = C
E
(A) C
E
(B),
A (B C) = (A ) (A C).
5) La fonction f = 1
A
1
B
prend les valeurs suivantes :
si x A et x B, f(x) = 1 ;
si x B et x A, f(x) = 1 ;
si x A B, f(x) = 0 ;
si x A B, f(x) = 0.
Bien entendu, certains de ces cas peuvent ne pas exister, selon les
ensembles A et B.
On voit que pour que f soit une fonction caractristique, il faut que le
deuxime cas n'existe pas, c'est--dire que B soit une partie de A.
Si B A, l'application 1
A
1
B
est la fonction caractristique du
complmentaire de B dans A : considrer l'ensemble des points x pour
lesquels la valeur est 1.

Pour |1
A
1
B
|, il n'y a pas de difficult : les valeurs prises sont 1 et 0.
Il s'agit bien de la fonction caractristique d'une partie de E :
C = { x E | |1
A
1
B
|(x) = 1 }.
On voit qu'il s'agit de l'ensemble des lments de E qui appartiennent A
mais pas B, ou B mais pas A.
On appelle cette partie de E la "diffrence symtrique de A et B", elle
s'crit A B ; on voit que :
volume 1
86

A B = C
A B
(A B).
(QC-2) Plus gnralement, si F et G sont des parties de E, vrifiant
F G, crire la fonction caractristique de C
G
(F).
En remarquant qu'une fonction caractristique est gale son carr,
retrouver le rsultat prcdent.
(QC-3) Dans la situation o E est un ensemble fini, on peut compter les
parties de E en comptant les applications de E dans {0, 1}. Retrouver
ainsi le rsultat connu (cf. exemple 6).
exercice 2-C
1) Les hypothses impliquent que A B C.
Si x A alors
A,B
(x) = 2 et
A,C
(x) = 2 et
A,BC
(x) = 2.
Si x A et x B C alors chaque valeur est 1.
Si x A, x B et x C alors
A,B
(x) = 1,
A,C
(x) = 0,
A,BC
(x) = 0.
Si x A, x B et x C alors
A,B
(x) = 0,
A,C
(x) = 1,
A,BC
(x) = 0.
Si x B C alors
A,B
(x) = 0,
A,C
(x) = 0,
A,BC
(x) = 0.
La relation est vrifie pour chaque lment de E.

2) En reprsentant les valeurs correspondant (A, B), (A, C), (A, B
C), on observe que la somme
A,B
+
A,C
concide avec
A,BC
sauf
dans B C.
La diffrence vaut 2 dans A et 1 dans B C. On en dduit la formule
A,BC
=
A,B
+
A,C

A,BC
.

3) Par dfinition :
volume 1
87


C(B),C(A)
(x) = 0 si x C(A), c'est--dire si x A,

C(B),C(A)
(x) = 1 si x C(B) et x C(A),
c'est--dire si x B et x A,

C(B),C(A)
(x) = 2 si x C(B) soit x B.
On voit immdiatement que
C(B),C(A)
(x) = 2
A,B
(x).
4) Calcul de
AA',B
.
Par "passage au complmentaire", il suffit de connatre :

C(B),C(AA')
=
C(B),C(A)C(A')
.
(
C(B),C(A)C(A')
)
2
=
C(B),C(A)
.
C(B),C(A')
= (2
A,B
).(2
A',B
)
Donc, selon la relation de la premire question,

AA',B
= 2 (2
A, B
).(2
A' , B
).
Calcul de
AA',B
.
On procde de la mme manire. Par passage au complmentaire :

C(B),C(AA')
=
C(B),C(A)C(A')

=
C(B),C(A)
+
C(B),C(A')

C(B),C(A) C(A')
= 2
A,B
+ 2
A',B
(2
A,B
).(2
A' , B
).
Donc :
AA', B
=
A,B
+
A',B
+ (2
A,B
).(2
A' , B
). 2.

volume 1
88

(QC-1) Si E est un ensemble fini, on peut donc compter les couples de
parties (A, B) telles que A B, en comptant les applications de E dans
{0, 1, 2}. Quel est le rsultat ?
(QC-2) La fonction
A,B
s'exprime l'aide de 1
A
et 1
B
(voir exercice
prcdent). Trouver cette formule, et dmontrer les relations proposes
partir de celles de l'exercice prcdent ().
exercice 3-C
1) Soit x dans E. Si x f
*
(B), c'est--dire f(x) B, alors 1
f*(B)
(x) = 1 ;
si f(x) B, alors 1
f*(B)
(x) = 0. Il en rsulte que 1
f*(B)
(x) = 1
B
(f(x)) quel
que soit x dans E. D'o la relation :
1
f*(B)
= 1
B
o f .
D'aprs l'exercice 1, et ce qui prcde :
1
f*(B)f*(B')
= 1
f*(B)
. 1
f*(B')
,
= (1
B
o f) . (1
B'
o f),
= (1
B
. 1
B'
) o f,
= 1
BB'
o f,
= 1
f*(BB').
D'o l'galit :
f
*
(B) f
*
(B') = f
*
(B B').
2) Il suffit de calculer :
Si x A, f(x) f(A) donc 1
f(A)
(f(x)) = 1, et 1
f(A)
o f (x) = 1
A
(x).
Si x A, 1
A
(x) = 0, donc l'ingalit est vraie.
(QC-1) Compte tenu de (exercice 1, 1-2)), (re)trouver une relation
d'inclusion.

volume 1
89

3) Pour l'exemple propos, on voit que 1
A
(2) = 1 puisque 2 est un
lment de A.
Par contre 1
A
( 2) = 0. Pourtant, comme f(2) = f(2), si B existait, on
aurait l'galit :
1
B
(f(2)) = 1
B
(f( 2)).
Pour cet exemple, B n'existe pas.
Supposons que B existe, et soit y dans f
*
(A). Soit x dans A tel que
y = f(x). On a donc :
1
B
(y) = 1
B
(f(x)) = 1
A
(x) = 1
donc y est dans B, d'o l'inclusion.
La relation ne caractrise pas B de faon unique, puisqu'elle ne porte que
sur la valeur de 1
B
(y) pour y dans f
*
(A).
Supposons que B existe, et soit x' dans f
*
(f
*
(A)). Alors f(x') est dans
f
*
(A), donc dans B :
1
B
(f(x')) = 1
1
A
(x') = 1
donc x' est dans A, d'o l'inclusion.
Rciproquement, les mmes calculs montrent que si f
*
(f
*
(A)) A, alors
B existe, puisqu'il suffit de prendre B = f
*
(A) :
si x A, f(x) f
*
(A), si x A, x f
*
(f
*
(A)) donc f(x) f
*
(A).
Comme on a toujours l'inclusion A f
*
(f
*
(A)), on voit que B existe si et
seulement si A = f
*
(f
*
(A)).
volume 1
90

exercice 4-C
1) Pour l'application u :
injectivit : Soit X et Y des parties de E, supposons :
u(X) = u(Y), c'est--dire que A X = A Y.
Est-ce que cela entrane l'galit de X et Y () ?
Etudions, par exemple, l'inclusion de X dans Y. Soit x un lment de X,
il en rsulte que x est un lment de A X, donc de A Y, donc
On voit qu'on ne peut pas ncessairement conclure que x est un lment
de Y, s'il est un lment de A.
Ceci peut guider pour un contre-exemple :
E = N, A = 2N (nombres pairs), X = {2, 4, 7}, Y = {2, 6, 7}
Vrifier que ce cas montre que u n'est pas injective.

(QC-1) Trouver une proprit des parties de E qui permet de conclure
que si u(X) = u(Y) alors X = Y, pour X et Y ayant cette proprit ().

surjectivit :
Soit Y une partie de E. Existe-t-il une partie X telle que Y = u(X). On
voit que ce sera vrai si et seulement si Y contient A.
Conclusion : u n'est pas surjective.

Pour l'application i :
injectivit :
On procde de mme.
Supposons que i(X) = i(Y), c'est--dire que A X = A Y ;
ceci ne permet pas de conclure que X = Y, bien entendu.
volume 1
91

Un contre-exemple :
E = N, A = 2N (nombres pairs), X = {2, 4, 7}, Y = {2, 4, 5}.
L'application i n'est pas injective.

(QC-2) Trouver une proprit des parties de E qui permet de conclure
que si i(X) = i(Y) alors X = Y, pour X et Y ayant cette proprit ().

surjectivit : Soit Y une partie de E. Peut-on trouver une partie X telle
que i(X) = Y, soit A X = Y ? Il est clair que cela exige que Y soit une
partie de A.
Puisque A E, l'quation i(X) = Y n'a pas toujours une solution, donc i
n'est pas surjective.

2) Pour l'application P(f).
injectivit :
Soient A et B des parties de E. On suppose f
*
(A) = f
*
(B).
Est-ce que cela implique A = B ?
On teste sur l'application de l'exemple 11. Il est vident sur que A peut
tre diffrent de B.
Un contre-exemple numrique : E = N, F = N, f(n) est le reste de la
division de n par 3.
A = {1, 2, 3, 4}, B = {0, 1, 5}, f
*
(A) = {1, 2, 0} = f
*
(B).

(QC-3) Quelle proprit de f permet de conclure l'injectivit de P(f) ?

surjectivit :
volume 1
92

Soit Y une partie de F.
Existe-t-il une partie X de E telle que f
*
(X) = Y ?
Comme f
*
(X) f
*
(E), on voit qu'une condition ncessaire () est que
Y soit une partie de f
*
(E).
Ceci n'est pas toujours vrifi, donc P(f) n'est pas surjective, en gnral.

(QC-4) A partir de cette remarque, donner une proprit de f qui
entrane que P(f) est surjective.

Pour l'application Q(f),
injectivit :
Soient X et Y des parties de F telles que f
*
(X) = f
*
(Y).
Peut-on en conclure que X = Y ?
Le mme exemple montre que non.
Pour un contre-exemple numrique :
E = N, F = N, f(n) est le reste de la division de n par 3, X = {1, 3, 4, 5},
Y = {1, 6, 7}, et f
*
(X) = f
*
(Y) = {3m + 1 | m N }.
NB : 3, 4, 5, 6, 7 ne sont pas des restes de division par 3. Ils
n'appartiennent pas f
*
(N). L'application Q(f) n'est pas injective en
gnral (voir aussi l'exercice 7).
surjectivit :
Soit A une partie de E. Peut-on trouver une partie X de F vrifiant
l'galit :
f
*
(X) = A.
volume 1
93

Sur l'exemple 12, on voit bien que les parties 'images rciproques" ont un
"aspect" particulier. On peut donc penser que l'quation ci-dessus n'a pas
de solution quel que soit A.
Un contre-exemple numrique :
E = N, F = N, f(n) est le reste de la division de n par 3, A = {1}.
Si A = f
*
(X), A = {t N | f(t) X},
en particulier, f(1) = 1 est un lment de X, donc 4, 7, , 3n+1, pour tout
n sont des lments de f
*
(X), qui n'est donc pas gal A.
L'application Q(f) n'est pas surjective.

(QC-5) On peut, comme pour P(f), rflchir des proprits de f qui
impliquent que Q(f) est injective, ou surjective.
exercice 5-C
1) Cela signifie que les quations f(x) = b n'ont pas de solution si b est
impair.
Il est quivalent de dmontrer que l'application f ne prend que des
valeurs paires.
Or f(x) = x(x + 1) et si x est pair x(x + 1) est pair, si x est impair, x + 1
est pair donc x(x + 1) est pair.

2) Cela signifie que tout entier n est solution d'une quation f(x) = b, o b
est un entier pair.
Plus prcisment, un entier n est solution de l'quation f(n) = b, pour
b = n
2
+ n.

volume 1
94

(QC-1) A-t-on dmontr dans cette question que f est une bijection ()
de N sur l'ensemble des entiers pairs ?
(QC-2) Plus gnralement, pour une application f : E F, si B
1
et B
2

forment une partition () de F, alors f
*
(B
1
) et f
*
(B
2
) forment une
partition de E. Pourquoi ?

3) f
*
({1, 2, 3, 5, 7, 11}) = {f(1), f(2), f(3), f(5), f(7), f(11)}
= {2, 6, 12, 30, 56, 132}.

f
*
({2, 4, 6, 8, 10, 12, 14}) : Rsoudre x
2
+ x = b, b prenant les valeurs 2,
4, 6, 8, 10, 12, 14, et x tant entier positif ; on note que x et x+1 sont des
diviseurs de b, l'un pair, l'autre impair, conscutifs.
b = 2, x = 1 ;
b = 4, pas de solution (pas de diviseur impair) ;
b = 6, x = 2 ;
b = 8, pas de solution ;
b = 10, diviseurs 1, 2, 5, et 10 donc pas de solution ;
b = 12, diviseurs 1, 2, 3, 4, 6, 12, x = 3 ;
b = 14, diviseurs 1, 2, 7, 14 donc pas de solution.
f
*
({2, 4, 6, 8, 10, 12, 14}) = {1, 2, 3}.

f
*
(f
*
({1, 2, 3, 5, 7, 11}) : Rsoudre x
2
+ x = b, b prenant les valeurs 2, 6,
12, 30, 56, 132, et x tant entier positif ; on sait qu'il y a toujours au
moins une solution (ce sont des valeurs de f, voir ci-dessus) :

b = 2, x = 1 ;
volume 1
95

b = 6, x = 2 ;
b = 12, x = 3 ;
b = 30, x = 5 ;
b = 56, x = 7 ;
b = 132, x = 11.
f
*
(f
*
({1, 2, 3, 5, 7, 11}) = {1, 2, 3, 5, 7, 11}.

(QC-3) Dans tous ces cas, on a constat que l'quation x
2
+ x = b a une
seule solution.
Quelle proprit de f peut-on conjecturer partir de ces cas ?
Est-elle vraie () ?

f
*
(f
*
({2, 4, 6, 8, 10, 12, 14})) = f
*
({1, 2, 3}) = {f(1), f(2), f(3)}
f
*
(f
*
({2, 4, 6, 8, 10, 12, 14})) = {2, 6, 12}.
exercice 6-C
1) Par dfinition :
f
*
([0 , ]) = {sin(t) | t [0 , ] }
f
*
([0 , ]) = [0 , 1]
NB : ce rsultat, bien connu, utilise la continuit de sin (thorme des
valeurs intermdiaires).
De mme, puisque [0 ,
2
] [0 ,
3
4
], f
*
([0 ,
3
4
]) = [0 , 1].
2) Oui car, en raison de la priodicit de sin, on a par exemple :
sin
*
({2k | k Z}) = {0}.
volume 1
96


3) Mme pour un seul lment, l'image rciproque est infinie, toujours en
raison de la priodicit : si a [1 , 1], soit un rel tel que sin() = a :
sin
*
({a}) = { + 2k | k Z} { + 2k | k Z}.
La rponse cette question est donc ngative.
exercice 7-C
1) On examine ces conjectures l'aide des applications vues dans
l'exemple 11, dans l'exercice 5, et l'exercice 6.
Dans l'exemple 11, les deux noncs sont faux.
Cela suffit, bien sr, mais les autres cas peuvent suggrer des hypothses
supplmentaires portant sur f qui rendraient les noncs vrais.
Exercice 5 : on a vu un exemple o l'nonc b est faux, et un exemple
o l'nonc a est vrifi. On sait que dans cet exercice l'application est
injective.
Exercice 6 : comme A
1
A
2
et f
*
(A
1
) = f
*
(A
2
), il est clair que a) est
faux. On a vu que l'image rciproque d'un ensemble {a} est de la forme :
{ + 2k | k Z} { + 2k | k Z}
ensemble dont l'image directe est {a}. L'nonc b) est donc vrai pour
cette application. Notons qu'elle est surjective.
Conjecture a).
Soit a A. Alors f(a) f
*
(A), donc a f
*
(f
*
(A)).
D'o l'inclusion :
A f
*
(f
*
(A)).
Dans ce raisonnement, on applique directement les dfinitions de l'image
directe et de l'image rciproque ().
volume 1
97

Rciproquement, si a' f
*
(f
*
(A)), alors f(a') f
*
(A), donc il existe
a" A tel que f(a') = f(a"). Sans hypothse sur f, on ne peut poursuivre
ce raisonnement. On ne peut donc pas dmontrer que f
*
(f
*
(A)) A.
Contre-exemple, exercice 6 :
sin
*
(sin
*
([0 , ])) [0 , ]
Conjecture b).
Soit b B. Pour qu'il appartienne f
*
(f
*
(B)), il faut qu'il appartienne
f
*
(E), ce qui n'est pas toujours vrai (contre-exemple = exercice 5).
Dans l'autre sens, soit b' f
*
(f
*
(B)). Il existe donc au moins un
antcdent de b' dans f
*
(B). Soit a' un tel antcdent :
f(a') = b', et f(a') B,
donc b' B. On a donc tabli l'inclusion :
f
*
(f
*
(B)) B.
3) On a dj vu le cas de l'exercice 5.
De faon gnrale, supposons f injective. Soit a' f
*
(f
*
(A)).
L'image f(a') est un lment de f
*
(A), donc il existe a" dans A tel que
f(a") = f(a') ; soit a" un tel lment, comme f est injective, cela implique
que a" = a'. En particulier a' est un lment de A.
Dans le cas non injectif, on voit que pour passer de A f
*
(f
*
(A)) il faut
"saturer" E en considrant tous les points ayant mme image qu'un point
de A.
4) On a vu un exemple d'application surjective, exercice 6.
De faon gnrale, si f est surjective, soit b B. Comme f est surjective,
il existe au moins un antcdent de b ; soit c un tel antcdent.
volume 1
98

L'image () de c est dans B, donc c f
*
(B). Il en rsulte que
f(c) f
*
(f
*
(B)). Comme b = f(c), on voit que b f
*
(f
*
(B)).

exercice 8-C
1) Soit (G, ) un groupe, e et e' des lments neutres. On calcule e e' :
e e' = e' (e est lment neutre),
e e' = e (e' est lment neutre) ;
donc e' = e.
Soit x G, x' et x" des symtriques. On calcule x' x x" :
x' x x" = e x" = x",
x' x x" = x' e = x' ;
donc x" = x'.
2) Si on a une galit dans le groupe (G, ) :
a x = a y,
on peut composer gauche par le symtrique a' de a :
a' (a x) = a' (a y),
(a' a) x = (a' a) y,
e x = e y,
x = y.
3) On compose gauche par le symtrique a' de a :
a' T (a T x) = a' T b.
- Par associativit, on regroupe a' et a :
(a' T a) T x = a' T b.
- On remplace a' T a par l'lment neutre :
e T x = a' T b.
volume 1
99

- e est lment neutre, d'o :
x = a' T b.
Remarquons qu'on a utilis exactement toutes les proprits dfinissant
un groupe : associativit, existence d'un lment neutre et d'un
symtrique.
4) Elment neutre : Soit a un lment de G (il existe bien, puisque
G ).
On appelle e(a) l'unique solution de a T x = a, et e'(a) l'unique solution de
x T a = a.
On a les galits :
a T (e'(a) T a) = a T a
(a T e'(a)) T a = a T a
Posons v = a T a. Il existe un unique lment x tel que x T a = v, or on en
connat deux, (a T e'(a)) et a, donc a T e'(a) = a ; donc e'(a) = e(a) par
unicit de la solution de a T x = a.
Il faut maintenant tablir que e(a) est indpendant de a.
Soit b G :
(b T e(a)) T a = b T (e(a) T a), donc
(b T e(a)) T a = b T a,
donc par unicit de la solution de x T a = c :
b T e(a) = b,
donc e(a) = e(b) pour tout b. On note dsormais e cet lment, qui est
lment neutre.
Soit a dans G. Les solutions des quations :
x T a = e, et a T x = e
donnent un symtrique gauche, soit a', et un symtrique droite, soit a"
pour a. Le raisonnement de 1) s'applique ici (en effet, ce raisonnement
volume 1
100

n'utilise pas le fait que a' est symtrique de a gauche et droite, de
mme pour a"). Donc a' = a" est le symtrique de a.
exercice 9-C
1) Il s'agit de voir si pour tout g et tout g' d'un groupe, (gg')
n
= g
n
g'
n
.
Le premier membre est gg'gg'gg', le second ggggg'g'g'g'. Il est
donc clair que la difficult est dans la non-commutativit ventuelle
de G.
Si G est commutatif, l'application est bien un homomorphisme de
groupes.
Donnons un contre-exemple si G n'est pas commutatif. On

peut utiliser le
groupe S
3
de l'exemple 25. On voit par exemple :
t
1
2
= I,
t
2
2
= I,
t
1
t
2
= s ,
s
2
= u,
donc
t
1
2
t
2
2
(t
1
t
2
)
2
.
2) Comme e
p
= e pour tout entier p, on voit que si g
n
= e, alors pour tout
p entier, g
np
= e.
3) Il s'agit de trouver, dans C, les racines carres, cubiques, cinquimes,
de 1.
Les rsultats sont connus :
z
2
= 1 si z = 1, ou z = 1
z
3
= 1 si z = 1, z = j =
1
2
+ i
3
2
, ou z = j
2

volume 1
101

z
5
= 1 si
} { . 1 , , , ,
5 / 8 5 / 6 5 / 4 5 / 2 i i i i
e e e e z

Les exposants sont respectivement :
si z = 1, tous les entiers,
si z 1, les ensembles
{2n | n Z}, {3n | n Z}, et {5n | n Z}.
Traitons le cas de 3 par exemple : si z = j, et j
m
= 1, l'argument de j
m
est
m.
2
3
, et cet argument est de la forme 2k, soit :
m.
2
3
= 2k, ou encore m = 3k.
4) Dans G, soit g d'ordre p et m tel que g
m
= e, m p. Si l'galit de la
division s'crit :
m = pq + r , avec 0 r < p,
alors on peut calculer g
r
:
g
r
= g
mpq
= g
m
(g
p
)
q

g
r
= e (e)
q
= e.
Or p est le plus petit entier strictement positif tel que g
p
= e, donc r ne
peut pas tre strictement positif ; donc r = 0 et m = pq.
5) On vrifie que D est bien un groupe. L'application identique est dans
D par hypothse, la compose de deux symtries par rapport des droites
parallles est une translation perpendiculaire ces droites ; la compose
d'une translation et d'une symtrie dans ces conditions est une symtrie ;
la compose de deux translations de D est une translation de D. Enfin ces
applications sont bijectives et leurs rciproques sont encore des symtries
ou des translations de D.
L'application identique est d'ordre 1, les symtries sont d'ordre 2, par
contre les translations ne sont pas d'ordre fini.
volume 1
102

La compose de deux symtries distinctes est une translation, donc en
composant des lments d'ordre fini, on trouve dans ce cas un lment
d'ordre infini.
(QC-1) Soit l'ensemble form des rotations du plan autour de l'origine
et des symtries par rapport une droite passant par l'origine. Vrifier
que est un groupe pour la composition, puis rpondre aux mmes
questions.
6) Soit H l'ensemble des complexes racines de l'unit. Il faut vrifier que
le produit de deux tels complexes (z
1
et z
2
) est encore une racine de 1.
Ces nombres s'crivent :
z
1
= e
2ik/n
et z
2
= e
2it/m
, donc z
1
z
2
= e
2i(k/n+t/m)
.
Or
k
n
+
t
m
est, videmment, un rationnel, soit
a
b
, d'o :
z
1
z
2
= e
2ai//b
,
donc z
1
z
2
est bien une racine de 1.

7) Soit g un lment de G. Soit B = {e, g, g
2
, ,g
n
}. Comme G est un
groupe et B est une partie de G, cette partie a au plus n lments. Parmi
ces (n+1) lments de G, deux au moins sont gaux ; soit p et q tels que :
g
p
= g
q
;
et si p > q par exemple :
g
p q
= e.
L'ordre de g est au plus p q, qui est au plus gal n.

8) L'exemple 3 est un contre-exemple cette proprit : tout lment de
M est d'ordre fini, mais M est infini d'aprs la question prcdente,
puisqu'il contient des nombres d'ordre arbitrairement grand.
volume 1
103

exercice 10-C
1) Compte-tenu de l'hypothse de stabilit, il faut montrer que si un
lment a est dans H, son symtrique est galement dans H. Soit n le
nombre d'lments de H. Les puissances a, a
2
, , a
n
, a
(n+1)
sont
galement dans H. Ces (n+1) lments ne sont donc pas distincts : il
existe des entiers p, q tels que 1 p < q n + 1, et :
a
p
= a
q
,
donc :
a
(qp)
= e (lment neutre de T)
d'o :
a
(qp1)
T a = e.
Si q p 1 = 0, alors a = e, donc e H, son symtrique est e.
Si q p 1 > 0, alors :
a
T(qp1)
H et cet lment est le symtrique de a.
NB : comme q et p sont des entiers, avec q > p, on a bien q p 1.
On a donc montr que pour tout lment a de H, le symtrique est un
lment de H.
Donc H est un sous-groupe de G.

(QC-1) Gnraliser au cas d'un sous-ensemble non vide, stable, dont
tous les lments sont d'ordre fini.

2) C(a) est non vide, le compos de deux lments de C(a), soient a
n
et
a
m
est a
(m+n)
, c'est donc bien un lment de C(a). Enfin le symtrique de
a
n
est a
(n)
, c'est encore un lment de C(a).
Ce sous-groupe s'appelle le sous-groupe cyclique engendr par a.
volume 1
104


(QC-2) Si a n'est pas d'ordre fini, trouver un isomorphisme () de
groupes entre C(a) et Z. Si a est d'ordre p, trouver un isomorphisme de
C(a) avec Z/pZ ().

3) Z(G) est l'ensemble des lments de G qui "commutent" avec tout
lment de G. On l'appelle le centre de G.
Ce sous ensemble n'est pas vide puisque l'lment neutre, soit e, est dans
Z(G).
Si h et k sont dans Z(G), soit g G, :
g T (h T k) = (g T h) T k,
= (h T g) T k,
= h T (g T k),
= h T (k T g),
= (h T k) T g,
donc h T k est un lment de Z(G).
Enfin, si h est dans le centre, pour tout g G :
h T g = g T h, donc :
sym(h) T h T g = sym(h) T g T h,
g = sym(h) T g T h,
g T sym(h) = sym(h) T g T h T sym(h),
g T sym(h) = sym(h) T g,
donc sym(h) est dans Z(G), qui est bien un sous-groupe de G.

(QC-3) Dans S
3
, quel est le centre ? Et dans un groupe cyclique ?

volume 1
105

4) La mme dmonstration s'applique. Le sous-groupe S(g) est un
exemple d'une catgorie trs importante de sous-groupes, les sous-
groupes "stabilisateurs" dans une opration.
(faire le lien avec l'exemple 24, sous-groupe stabilisant le pentagone).

(QC-4) Quelle relation voyez-vous entre Z(G) et les sous-groupes S(g) ?
crire les sous-groupes S(g) pour tous les lments g de S
3
.
exercice 11-C
1) Ces vrifications sont lmentaires : soit e
G
(resp. e
H
) l'lment neutre
de G (resp. de H). Soit a un lment quelconque de G.
f(e
G
T a) = f(e
G
) f(a)
f(e
G
T a) = f(a), d'o
f(a) = f(e
G
) f(a), et par simplification dans H :
e
H
= f(e
G
).
Pour le symtrique :
f(a T sym(a)) = f(a) f(sym(a)),
f(a T sym(a)) = f(e
G
), donc :
e
H
= f(a) f(sym(a)),
f(a) sym(f(a)) = f(a) f(sym(a)), et par simplification :
sym(f(a)) = f(sym(a)).

2) On note T l'opration de G, et celle de H. Soit g la bijection
rciproque de h :
g : H . G.
Il faut dmontrer que pour tout x et tout y de H :
volume 1
106

g(x y) = g(x) T g(y).
Comme h est injective (), il suffit de montrer que les images par h des
deux membres sont gales ; or :
h(g(x y)) = x y, et
h(g(x) T g(y)) = h(g(x)) h(g(y))
= x y .

(QC-1) Dans la dmonstration ci-dessus, on utilise les proprits
suivantes :
h est un homomorphisme injectif,
hog = Id
H
La conclusion est que g est un homomorphisme.
Cet nonc est-il plus gnral que celui de l'exercice (h bijectif,
g = h
-1
)?

(QC-2) Trouver pour dmontrer que g est un homomorphisme de
groupes, une autre dmonstration utilisant les proprits suivantes :
h est un homomorphisme surjectif,
goh = Id
G
.
Question analogue sur la gnralit.

3) Soit (x, y, z) un triplet d'lments de H, et x', y', z' des antcdents de
ces trois lments par u.
(x y) z = (u(x') u(y')) u(z'),
(x y) z = u(x' T y') u(z'),
(x y) z = u((x' T y') T z'), soit :
volume 1
107

(x y) z = u(x' T (y' T z')),
= u(x') u(y' T z'),
= u(x') (u(y') u(z')),
(x y) z = x (y z)
L'opration dans H est donc associative.
Si e' est l'lment neutre de G, soit e = u(e'). Soit a un lment de H, a' un
antcdent de a.
a e = u(a') u(e')
= u(a' T e')
= u(a') u(e')
= a e.
De plus a' T e' = a' donc :
a e = e a = a.
L'lment e est neutre.
Enfin, si a = u(a'), on vrifie que u(sym(a')) est symtrique de a.
exercice 12-C
1) H est un sous-groupe. Il suffit de vrifier () :
a H et b H a.b
-1
H
e H.
Pour la premire vrification :
h(a.b
-1
) = h(a).h(b)
-1
= e.e
-1
= e.
Pour la seconde :
h(e) = e.
2) Soit u H, et g A :
h(g.u.g
-1
) = h(g).h(u).h(g)
-1
= h(g).e.h(g)
-1
= e.
volume 1
108

Donc g.u.g
-1
H.

On dit qu'un sous-groupe K est un sous-groupe "distingu" si pour tout u
dans K et tout v dans A, v.u.v
1
est dans K. Le sous-groupe H est
distingu.
3) Si h est injectif, alors soit a H :
h(a) = e = h(e), donc :
a = e, donc :
H = {e}.
Rciproquement si H = {e}, soit a, b des lments de A vrifiant :
h(a) = h(b), d'o :
h(a).h(b)
-1
= e,
h(a.b
-1
) = e,
a.b
-1
H, donc :
a.b
-1
= e,
a = b.

4) Soit c une solution quelconque de cette quation :
h(c) = b,
h(a) = b,
donc par un calcul analogue au prcdent, on conclut que :
c.a
-1
H, donc :
l'ensemble des solutions est :
H.a = {t.a | t H }.
volume 1
109

5) On vrifie facilement que h est un homomorphisme de groupes.
Le noyau de h est l'ensemble des solutions de l'quation diffrentielle
linaire :
u" u' 2u = 0.
En passant par l'quation caractristique :
r
2
r 2 = 0,
on trouve les deux exponentielles :

x ae
2x
et x ae
x
.
comme solutions particulires, et le noyau est form des fonctions de la
forme :

x ae
2x
+ e
x

avec et des rels quelconques.
Une solution de h(u) = 2.exp est la fonction exponentielle elle-mme.
La loi du groupe est l'addition d'o l'ensemble des solutions :

x a2e
x
+ e
2x
+ e
x
.
On ajoute une solution particulire de l'quation avec second membre
la solution gnrale de l'quation sans second membre, selon la rgle
usuelle.
exercice 13-C
1) Supposons d'abord que R est une relation d'quivalence.
R est rflexive donc e R e, donc :
e e
-1
H, autrement dit, e H.
Un lment appartient H si, et seulement si, il est en relation avec e.
Soit x, y appartenant H :
x R e et y R e, donc, R tant symtrique :
volume 1
110

x R e et e R y , donc, R tant transitive :
x R y, soit :
x y
-1
H.
Il en rsulte que H est un sous-groupe de G.
Rciproquement, supposons que H est un sous-groupe de G.
Pour tout x de G :
x x
-1
= e H, donc :
x R x ; la relation R est rflexive.
Soit x, y tels que x R y, c'est--dire tels que :
x y
-1
H.
L'inverse de cet lment de H est un lment de H, c'est :
y x
-1
, donc :
y R x ; la relation est symtrique.
Soit x, y, z tels que x R y et y R z, soit :
x y
-1
H
y z
-1
H.
Le sous-groupe est stable pour , donc :
(x y
-1
) (y z
-1
) H,
x z
-1
H,
x R z.
La relation est bien transitive.
Compatibilit avec :
Soit x, y, z, t de G tels que x R y et z R t.
Est-il vrai que x z R y t ?
x z (y t)
-1
= x z t
-1
y
-1
.
On sait que z t
-1
H mais cela n'implique pas que x z t
-1
y
-1
H.
volume 1
111

On ne peut donc pas conclure ici.
(QC-1) Etudier cette question dans S
3
(exemples 25, 29).

(QC-2) Trouver une proprit simple de qui entrane que, pour tout
sous-groupe H, la relation R associe est compatible avec . (NB : c'est
une proprit que l'opration de S
3
n'a pas, videmment.)

2) Soit c(g) la classe d'quivalence d'un lment g de G. C'est l'ensemble
des lments h de G tels que g R h.
On montre que c(g) = H g par double inclusion ().
Soit u quivalent g :
u R g donc u g
-1
H.
Soit h H tel que u g
-1
= h :
u = h g, d'o :
u H g.
Soit u H g :
Il existe un h de H tel que u = h g, donc :
u g
-1
= h,
u g
-1
H, donc :
u R g, d'o :
u c(g).
3) L'application :
u : x x g
1
-1
g
2

est bijective, et a pour application rciproque l'application :
v : x x g
2
-1
g
1

comme on le vrifie facilement.
volume 1
112

Soit x H g
1
; soit h dans H tel que x = h g
1
:
u(x) = h g
1
g
1
-1
g
2
,
u(x) = h g
2
, donc :
u(x) H g
2
.
Rciproquement si y H g
2
, v(y) H g
1
.

4) Soit n le nombre d'lments de G, et m celui de H.
La relation d'quivalence R dfinit une partition () de G en classes
d'quivalence ayant toutes le mme nombre d'lments, d'aprs la
question prcdente, il en rsulte que n est un multiple de m.
En utilisant la notation #A pour dsigner le nombre d'lments d'un
ensemble fini A, on a la relation :
#G = #H x #(G/H).
(Revenir l'exemple 29.)
exercice 14-C
1) On reprend le calcul de l'exercice 13.
Soit x, y, z, t de G tels que x R y et z R t.
Est-il vrai que x z R y t ?
x z (y t)
-1
= x z t
-1
y
-1
.
D'aprs la proprit vrifie par H, comme z t
-1
H,
y z t
-1
y
-1
H, soit h cet lment.
y z t
-1
y
-1
= h,
z t
-1
y
-1
= y
-1
h,
x z t
-1
y
-1
= x y
-1
h.
Rappelons que x y
-1
est un lment de H. Il en rsulte que :
volume 1
113

x z (y t)
-1
= (x y
-1
) h
est un lment de H, donc x z R y t.
L'ensemble quotient G/H est donc un groupe, pour la loi quotient :
c(g) c(h) = c(g h).

2) Par dfinition, c est un homomorphisme de groupes.
Son noyau est l'ensemble des lments de G quivalents l'lment
neutre, soit H comme on l'a dj vu.
(Voir exercice 12, o l'on a vu qu'inversement un noyau est un sous-
groupe distingu.)

(QC-1) Dmontrer que, dans un groupe, le centre () est un sous-
groupe distingu.

(QC-2) Faire la liste des sous-groupes distingus de S
3
(voir exemple
29).

(QC-3) Que peut-on en dduire sur les homomorphismes de groupes de
S
3
dans un groupe quelconque () ?
exercice 15-C
1) La vrification ne pose aucun problme.
2) Soit R/R le quotient, et c(a) la classe d'un rel a. Il existe un et un seul
reprsentant de cette classe () dans l'intervalle [0 , 2[.
Existence d'un reprsentant : les lments de la classe sont tous les
rels de la forme a + 2k, k Z. Pour k ngatif de valeur absolue assez
grande, le nombre a + 2k est strictement ngatif. Soit a + 2k
0
le plus
volume 1
114

grand de ces nombres. Il est clair que a + 2k
0
+ 2 est positif, et
infrieur 2.
0 2
a + 2k0 a + 2k0 + 2 a + 2k0 + 4

Unicit du reprsentant : deux lments distincts de la classe de a
diffrent, en valeur absolue, au moins de 2, donc il n'y a qu'un
reprsentant dans chaque intervalle de la forme [ , + 2[.
On associe c(a) le complexe z de module 1 et dont l'argument est
l'unique reprsentant de c(a) dans [0 , 2[.
Cette correspondance est bien indpendante de a, et ne dpend que de la
classe de a : l'argument de z est l'unique rel de l'intersection
c(a) [0 , 2[.
On note A cette application :
A : R/R S
1
.
L'application est injective : un complexe de module 1 a un unique
argument entre 0 et 2.
L'application est surjective : tout complexe de module 1 a un argument
dtermin dans [0 , 2[.
On peut, par l'intermdiaire de cette bijection, identifier R/R et S
1
.
Reprsentation graphique (Voir page suivante) : Imaginons R "enroul"
sur une hlice de pas 2, on reprsente l'application de passage au
quotient par une "projection". L'application p associe un rel le point du
volume 1
115

cercle trigonomtrique correspondant la classe de ce rel. Cette
application est, par construction, surjective.

volume 1
116


3) Soit :
sin : R --. R
et :
p : R --. S
1
.
On dit que sin se factorise par p s'il existe une application S telle que
Sop = sin.
Cette application se dfinit par :
S(z) = sin(a),
o a vrifie p(a) = z.
Cet lment a n'est pas dfini de manire unique, mais un autre lment b
vrifiant p(b) = z est, par dfinition, quivalent a, donc il existe un
relatif k tel que b = a + 2k, d'o sin(b) = sin(a).
La dfinition de S(z) ne dpend pas du choix de a.
Bien entendu, on peut procder de mme pour cos, et pour toute
application priodique de priode 2.
L'application p est surjective par dfinition, comme on l'a dj remarqu.
Vrifions si S, par exemple, est injective : si S(z) = S(z'), cela signifie
que pour a (resp a') vrifiant p(a) = z (resp p(a') = z'), on a sin(a) = sin(a').
Deux cas sont possibles :
il existe un relatif k tel que a = a' + 2k,
il existe un relatif k tel que a = a' + 2k.
Dans le premier cas, p(a) = p(a'), soit z = z'.
volume 1
117

Dans le second cas, p(a) p(a'), sauf si a est de la forme
2
+ r. , o
r Z.
L'application S n'est pas injective. On montrerait de mme que C n'est
pas injective.

(QC-1) Soit f : E --. F une application quelconque entre des ensembles
non vides. On dfinit une relation R sur E par :
x R y si f(x) = f(y).
Vrifier que R est bien une relation d'quivalence.
Dduire que f se factorise par le quotient E/R, et qu'elle est la compose
d'une application injective et d'une application surjective.
Comparer ce cas celui de f = sin, ci-dessus.
exercice 16-C
1) Pour la rflexivit : quel que soit x dans E :
x x est vrai car est rflexive.
Pour la transitivit : si x, y, z sont dans E :
si x y, et y z, alors x z, et
si y x, et z y, alors z x
car est transitive.
Pour la symtrie : si x et y sont dans E :
si (x y et y x) alors (y x et x y) (!).
La relation R est bien une relation d'quivalence.
2) Lorsqu'on "pose" c(x) << c(y) si x y, la question est de savoir si cela
est bien indpendant du choix de x et y.
volume 1
118

De manire plus explicite, il faudrait crire plutt :

Proprit :
"Soient c
1
et c
2
des lments de E/R. La relation x y est soit vraie quels
que soient les reprsentants x de c
1
et y de c
2
, soit fausse quels que soient
ces reprsentants."

Si cette proprit est vraie, on peut dfinir une relation << sur E/R par :
c
1
<< c
2

si pour un reprsentant x de c
1
et un reprsentant y de c
2
, on a x y.
Il faut maintenant prouver la proprit : soient x et x' des reprsentants de
c
1
, et y et y' des reprsentants de c
2
.
Supposons que x y, et prouvons que x' y'.
x y et (x x' et x' x) d'o x' y.
De plus, (y y' et y' y) d'o x' y'.
On montre de mme que si x' y', alors x y.
La relation << tant bien dfinie, il faut prouver que c'est une relation
d'ordre ().
Rflexivit :
x x donc c(x) << c(x).
Antisymtrie :
si c(x) << c(y), alors x y,
si c(y) << c(x), alors y x.
Donc si (c(x) << c(y) et c(y) << c(x)) alors (x y et y x) donc x R y.
Il en rsulte que c(x) = c(y).
Transitivit :
volume 1
119

si c(x) << c(y) et c(y) << c(z), alors :
x y et y z donc x z, d'o :
c(x) << c(z).
3) Rflexivit et transitivit sont faciles tablir pour la relation de
divisibilit.
Soit p, q des relatifs non nuls. Ils sont quivalents si p|q et q|p, donc s'il
existe des relatifs m et n vrifiant :
p = mq, q = np, donc :
p = mn p,
1 = mn, d'o :
m = n = 1, ou m = n = 1.
La classe de p est donc {p , p}.
On peut dfinir une application entre Z
*
/R et N
*
:
f : Z
*
/R --. N
*

c(p) |p|.
Si c(p) << c(p'), et si on prend les reprsentants positifs, alors p | p', donc
cette application est croissante, si le quotient est muni de la relation << et
N
*
de la relation de divisibilit.
Si |p| = |p'| , alors p = p' ou p = p', donc c(p) = c(p'), donc l'application
est injective, et strictement croissante.
Enfin pour tout entier non nul positif, n, f(c(n)) = n, donc f est surjective.
On a bien dfini une bijection croissante entre les deux ensembles.
NB : la bijection rciproque est, videmment, n c(n).

4) La relation est rlexive : ||z|| ||z||, et transitive : si ||z|| ||t|| et
||t|| ||u|| alors ||z|| ||u||. C'est bien un prordre.
volume 1
120

Deux complexes non nuls t et u sont quivalents si ||t|| ||u|| et ||u|| ||t||
donc ||t|| = ||u||.
Ce qui caractrise une classe est donc un rel strictement positif, qui est
le module de n'importe quel reprsentant de la classe.
Cette remarque incite dfinir une application :
f : C
*
/R --. R
*+

c(t) ||t||.
On vrifie comme la question prcdente que c'est bien une bijection
croissante.
exercice 17-C
1) Cet nonc est quivalent :
non(Q) ou non(non(P)),
soit encore non(Q) ou P.
La ngation est quivalente :
non([non(Q) ou P]),
non(non(Q)) et non(P),
Q et non(P).

non(Q) ou non(P),
Sa ngation est donc quivalente :
P et Q.

(R et S) ou non(P et Q),
volume 1
121

soit encore (R et S) ou (non(P) ou non(Q)).
La ngation est quivalente :
non(R et S) et non(non(P) ou non(Q))
(non(R) ou non(S)) et P et Q.

4) Il y a deux quantificateurs "cachs" dans cet nonc, qui porte sur tout
couple d'ensembles :
A , B, A B = (A = ou B = ).
La ngation s'crit en affirmant qu'il existe un contre-exemple :
A, B, A B = et A et B .

5) On crit cet nonc :
(m, n) Z Z, P(m, n),
avec P(m, n) = ( (u, v) Z Z , mu + nv = 1).
La ngation s'crit d'abord :
(m, n) Z Z, non(P(m, n)).
La ngation de P(m, n) s'crit :
(u, v) Z Z, mu + nv 1.
On obtient donc pour la ngation de l'nonc :
(m, n) Z Z, (u, v) Z Z, mu + nv 1.
exercice 18-C
1) Raisonnons partir des ngations des noncs :
()
1
est faux s'il existe un cas x o [P(x) ou Q(x)] est faux c'est--dire o
non(P(x)) et non(Q(x)).
volume 1
122

()
1
est faux si les deux noncs sont faux : x tel que non(P(x)) et x
tel que non(Q(x)). Mais, cela ne signifie pas qu'il existe un mme x tel
que P(x) et Q(x) soient faux tous les deux.
Pour plus de clart, on dira x
1
tel que non(P(x
1
)) et x
2
tel que
non(P(x
2
)).
On voit que Non()
1
Non()
1
mais la rciproque est en gnral
fausse.
Donc ()
1
()
1
mais la rciproque est en gnral fausse.

(QC-1) A l'aide de proprits que vous connaissez, portant sur x rel par
exemple, donner un exemple o ()
1
()
1
est faux, et un exemple o
()
1
()
1
est vrai.

2) Supposons ()
2
vraie. Soit x
1
tel que [P(x
1
) ou Q(x
1
)] soit vraie.

Si P(x
1
) est vraie, alors il existe un x tel que P(x) est vraie donc ()
2
est
vrai.
Si Q(x
1
) est vraie, alors il existe un x tel que Q(x) est vraie donc ()
2

est vrai.
En rsum, ()
2
()
2
.

Rciproquement, si ()
2
est vrai :
x
1
, P(x
1
) est vraie, ou x
2
, Q(x
2
) est vraie.
Si, par exemple, x
1
, P(x
1
) est vraie, a fortiori x, [P(x) ou Q(x)] est
vraie. Il en est de mme si x
2
, Q(x
2
).
volume 1
123


En rsum, ()
2
()
2
.
Les deux noncs sont quivalents.

3) non()
3
est quivalente :
x, [P(x) ou Q(x)]
c'est--dire l'affirmation ()
2
.

non()
3
est quivalente :
x
1
tel que P(x
1
) et x
2
tel que Q(x
2
).
Cette affirmation implique ()
2
, qui est :
x
1
tel que P(x
1
) ou x
2
tel que Q(x
2
).
Elle ne lui est pas quivalente en gnral.

(QC-2) Donner un exemple o ()
2
non()
3
est fausse.
On a les implications et quivalences :
non()
3
()
2
()
2
non()
3
, donc
()
3
()
3

mais la rciproque est en gnral fausse.
3
()
3
est faux.
4) non()
4
est quivalente ()
1
:
x [P(x) ou Q(x)].
non()
4
est quivalent :
[ x, P(x)] et [ x, Q(x)].
volume 1
124

Il est clair que ces deux noncs ne sont pas quivalents en gnral.
On a l'implication :
non()
4
non()
4
, soit :
()
4
()
4
.

4
()
4
est faux.
exercice 19-C
La symtrie s'crit :
Pour tout x et tout y de E, si x R y alors y R x.
Un lment x tant choisi, ceci donne :
"Tout y vrifiant x R y vrifie aussi y R x"
ou encore :
"S'il existe y vrifiant x R y alors y vrifie aussi y R x."
Ceci ne sous-entend pas que y existe : il se peut que x ne soit en relation
avec aucun lment de E. Dans ce cas, bien entendu, la relation n'est pas
rflexive.

(QC-1) A partir de ces remarques, donner des conditions ncessaires et
suffisantes pour qu'une relation soit une relation d'quivalence, ne
comportant pas l'hypothse de rflexivit.

(QC-2) Toujours partir du raisonnement ci-dessus, expliquer comment
on peut dfinir une relation d'quivalence par restriction d'une relation
symtrique et transitive un sous-ensemble.
volume 1
125

exercice 20-C
1) La contrapose de :
[ h Q
*
, |a| < h] [a = 0]
est l'nonc :
[a 0] non[ h Q
*
, |a| < h],
[a 0] [ h Q
*
, |a| h].
Cet nonc est facile prouver, on prend h =
a
2
par exemple.
2) La contrapose de :
[ n N{0}, a
1
n
< b] [a b]
s'crit :
[a > b] [ n N{0}, a
1
n
b]
ou encore a b
1
n
, ou (puisque a b > 0) :
n
1
(a b)
.
Il suffit de prendre pour n la partie entire de
1
(a b)
augmente de 1.
3) La contrapose s'crit :
[ b Q
*+
, n Z , n a b] a 0.
Soit b dans Q
*+
tel que, quel que soit n entier, na b. Si a =
m
r
, et
b =
p
q
, avec p, q, r positifs, alors :
volume 1
126

n,
nm
r
p
q
,
n, m
pr
qn
.
Or, si n tend vers l'infini, on sait que
pr
qn
tend vers 0, donc m 0 et a 0.
(QC-1) Essayer de dmontrer ces noncs directement. Rflchir aux
difficults respectives des deux preuves.
exercice 21-C
En prliminaire, on crit le tableau des valeurs de f(x, y) : les valeurs de
x sont dans la premire colonne, celles de y dans la premire ligne.
x
O
y

1 2 4 5
1 1 2 4 5
2 2 4 8 10
3 3 6 12 15
1) Tableau des exemples :
(1) 1 2 4 5
1 ne ne ne ne
2 ne e ne ne
3 ce ne ne ne

Il y a un contre-exemple, l'nonc est faux.
2) Tableau des exemples

volume 1
127

(2) 1 2 4 5
1 e ne ne ne
2 ne ne ne ne
3 ne ne ne ne

Il n'y a pas de contre-exemple, l'nonc est vrai.

(3) 1 2 4 5
1 ne ne ne ne
2 ne ne e ne
3 ne ne ne ne

4) La ngation s'crit en disant "il y a un contre-exemple", soit :
il existe un couple (x, y) tel que f(x, y) = 8 et x 2.
Cet nonc est faux.
5) La contrapose de 2) s'crit : si x y, alors f(x, y) 1.
Tableau des exemples

(5) 1 2 4 5
1 ne e e e
2 e ne e e
3 e e e e

volume 1
128

Il n'y a pas de contre-exemple, l'nonc est vrai. Ce n'est pas surprenant
puisqu'il est quivalent 2) : les contre-exemples sont les mmes.

(6) 1 2 4 5
1 ne ne ne ne
2 ne e ne ne
3 ne ne ne ne


(7) 1 2 4 5
1 e ne ne ne
2 ne ne ne ne
3 ne ne ne ne

8) La ngation de 7) s'crit :
il existe un couple (x, y) tel que f(x, y) = 1, x 2 et y 1.
Cet nonc est faux puisqu'il est la ngation d'un nonc vrai.
9) La contrapose de 7) s'crit :
si y 1, alors non[f(x, y) = 1 et x 2],
si y 1, alors [f(x, y) 1 ou x = 2].
Cet nonc est la contrapose d'un nonc vrai, il est donc vrai ; on peut
le vrifier nouveau sur le tableau des exemples ci-contre.
volume 1
129

(9) 1 2 4 5
1 ne e e e
2 ne e e e
3 ne e e e



(10) 1 2 4 5
1 ne ne ne ne
2 ne ne ne ne
3 ne ne ne ne

Il n'y a pas de contre-exemple. L'nonc est vrai (mme s'il n'a pas
d'exemple.)


(11) 1 2 4 5
1 ne ne ne ne
2 ne ne ne ne
3 ne ne ne ne

Il n'y a pas de contre-exemple. L'nonc est vrai (mme s'il n'a pas
d'exemple, et si la conclusion n'est jamais vrifie.)
volume 1
130

3-3 Corrigs des questions
complmentaires
exercice 1-QC
1) La fonction caractristique "caractrise" la partie considre, donc les
rciproques des autres noncs sont vraies (voir partie 1).
2) On a dj vu que, si F G, la fonction caractristique du
complmentaire de F dans G est 1
G
1
F
.
La fonction caractristique de la diffrence symtrique, C
A B
(A B)
est donc :
1
A B
1
A B
, soit :
1
A
+ 1
B
2 1
A
.1
B
.
Une fonction caractristique est gale son carr, puisqu'elle ne prend
comme valeurs que des entiers gaux leur carr, donc on peut crire la
fonction caractristique de la diffrence symtrique :
1
A
2
+ 1
B
2
2 1
A
.1
B
,
(1
A
1
B
)
2
,
ou, en utilisant nouveau la mme remarque :
| 1
A
1
B
|.
3) Soit n le nombre d'lments de E. Il s'agit de compter le nombre
d'applications d'un ensemble n lments dans un ensemble 2
lments. Il est clair que pour chaque lment de E il y a deux choix pour
la valeur de son image, d'o le rsultat connu : il y a 2
n
applications de E
dans {0, 1}, et donc 2
n
sous-ensembles de E.
volume 1
131

exercice 2-QC
1) On raisonne comme prcdemment : le nombre d'applications d'un
ensemble n lments dans un ensemble 3 lments est 3
n
.
2) Sur un dessin, on voit facilement que lorsque A B,
A,B
= 1
A
+ 1
B
.
On retrouve par exemple la relation 1) partir de cette remarque :

A,B
.
A,C
= (1
A
+ 1
B
)(1
A
+ 1
C
)
= 1
A
2
+ 1
A
.1
C
+ 1
A
.1
B
+ 1
B
.1
C
.
(
A,B C
)
2
= (1
A
+ 1
B
.1
C
)
2

= 1
A
2
+ 1
B
2
.1
C
2
+ 2 1
A
.1
B
.1
C
.
Compte-tenu de la remarque sur le carr d'une fonction caractristique
(exercice 1), il suffit de vrifier que :
1
A
.1
B
+ 1
A
.1
C
= 2 1
A
.1
B
.1
C
.
Ce n'est pas vrai en gnral, mais ici A est une partie de B et de C, donc :
A B = A C = A,
les deux membres sont donc gaux 2.1
A
.
exercice 3-QC
On a vu que les relations A B et 1
A
1
B
sont quivalentes, donc :
1
f(A)
o f 1
A
entrane :
A f
*
(f
*
(A)).
exercice 4-QC
1) Un dessin.

volume 1
132


On voit bien que si X, et Y, sont disjoints de A, alors u(X) = u(Y)
implique X = Y.
Par contre si X coupe A, on trouve toujours un Y diffrent de X, tel que
u(X) = u(Y) : il suffit de prendre Y = C
X
(A X).

volume 1
133

On peut donc conclure que la restriction de u P(C
E
(A)) est injective.

2) On peut galement faire un dessin : si X n'est pas contenu dans A, on
trouve toujours une partie Y diffrente de X telle que X A = Y A :
il suffit de prendre par exemple Y = X A :

volume 1
134


Par contre, si X et Y sont des parties de A, il est vident que si X A est
gal Y A, alors X = Y.
En conclusion, la restriction de i P(A) est injective.
3) Sur le dessin de l'exemple 11, on voit bien que ds qu'il y a plus d'un
point de E au-dessus d'un point de F, on peut trouver des parties de E
ayant mme image directe mais diffrentes : si f(a) = f(b), et a b, alors
f
*
({a}) = f
*
({b}) et {a} {b).
Une condition ncessaire pour que P(f) soit injective est que f soit
injective.
Supposons f injective. Supposons que des parties A et B de E vrifient
f
*
(A) = f
*
(B).
Pour montrer que A = B, on montre que A B, puis B A ().
volume 1
135

Soit x dans A. Alors f(x) f
*
(A), donc f(x) f
*
(B). Il existe alors un
lment x' de B tel que f(x) = f(x') ; soit x' un tel lment.
Comme f est injective, on conclut que x = x', en particulier x B ; donc
A B. On montre de mme que B A.
4) La remarque de la correction incite supposer que toute partie de F est
une partie de f
*
(E), autrement dit F = f
*
(E), c'est--dire f est surjective.
Voir la conjecture 2 de l'exercice 7.
5) Pour la surjectivit de Q(f), on se reportera la conjecture 1 de
l'exercice 7.
Pour l'injectivit, on voit qu'une condition ncessaire est la surjectivit de
f, puisque l'hypothse porte sur f
*
(X) et f
*
(Y), ensembles qui ne
dpendent que de X f
*
(E) et Y f
*
(E).
Si f est surjective, on utilisera le rsultat de l'exercice 7.
exercice 5-QC
1) Non, on a seulement dmontr que f est une surjection () de N sur
l'ensemble des entiers pairs.
2) D'abord un dessin.

volume 1
136


Raisonnement gnral :
1- Il faut dmontrer f
*
(B
1
) f
*
(B
2
) = E et f
*
(B
1
) f
*
(B
2
) = .
2- Pour l'union : soit x dans E. Son image f(x) est dans B
1
ou B
2
, donc x
est dans f
*
(B
1
) ou dans f
*
(B
2
). Donc f
*
(B
1
) f
*
(B
2
) = E.
3- Pour l'intersection : si elle n'est pas vide, soit b un lment de cette
intersection. L'image f(b) devrait tre la fois dans B
1
et dans B
2
, ce qui
contredit B
1
B
2
= .
Donc f
*
(B
1
) f
*
(B
2
) = .
3) On sait que si f est injective, les quations f(x) = b ont au plus une
solution. Est-ce le cas ?
Rsolution algbrique. Supposons que x et y soient des solutions :
x
2
+ x = b,
y
2
+ y = b ;
donc :
x
2
+ x = y
2
+ y,
(x y)(x + y +1) = 0.
Or x + y + 1 est un naturel strictement positif. Donc x = y.
volume 1
137

Rsolution analytique. La fonction f est la restriction d'une fonction
drivable, de R
+
dans R, dont la drive est strictement positive sur R
+
.
Elle est donc strictement croissante sur R
+
, et par suite injective.
exercice 9-QC
Il est vident que . On sait que si l'on compose deux rotations de
mme centre, on obtient une rotation galement, de mme centre que les
deux composes, et d'angle somme.
Si l'on compose deux symtries par rapport des droites concourantes,
on obtient une rotation autour du point d'intersection des droites.
Enfin, en composant dans ces conditions une rotation et une symtrie, on
obtient une symtrie.
Ces applications sont bijectives, et leurs rciproques sont de mme
nature. Il s'agit bien d'un sous-groupe de l'ensemble des bijections du
plan.
Les symtries sont d'ordre 2 ; certaines rotations sont d'ordre fini, mais
pas toutes : il faut et il suffit que l'angle de rotation soit un multiple
rationnel de 2.
Par exemple, une rotation d'angle un radian n'est pas d'ordre fini, puisque
2 n'est pas rationnel.
La compose de deux lments d'ordre fini n'est pas ncessairement
d'ordre fini : ainsi les symtries sont d'ordre 2 mais en composant les
symtries par rapport des droites faisant entre elles un angle de 0,5
radian, on obtient une rotation d'angle un radian, donc d'ordre infini.
volume 1
138

exercice 10-QC
1) L'argument de la question 1) peut tre utilis pour prouver que le
symtrique d'un lment du sous-ensemble est galement dans ce sous-
ensemble.
2) On peut, dans tous les cas, dfinir un homomorphisme de groupes :
Z C(a),
en associant n l'lment a
n
.
Cet homomorphisme est surjectif par dfinition de C(a).
2-1) Si a n'est pas d'ordre fini, l'application est aussi injective :
a
m
= a
n
,

entrane :
a
mn
= e,
donc si a n'est pas d'ordre fini, c'est que m n = 0, donc m = n.
2-2) Supposons maintenant a d'ordre fini p : cela signifie que a
n
= e si et
seulement si n est un multiple de p (exercice 9-4).
Soit c(m) la classe de l'entier m dans Z/pZ.
Quelque soit le reprsentant k de cette classe, la valeur de a
k
est la
mme : si k' est un autre reprsentant, il existe un entier r tel que
k' = k + rp, donc tel que :
a
k'
= a
k + rp
= a
k
a
rp
= a
k
.
On peut donc dfinir un homomorphisme de Z/pZ dans C(a) en associant
c(m) l'lment a
m
(voir aussi l'exercice 6 pour une discussion
analogue).
Cet homomorphisme est surjectif, comme on a vu plus haut.
Il est injectif galement :
si a
m
= a
n
, alors a
mn
= e donc
volume 1
139

il existe un entier q tel que m n = qp, donc c(m) = c(n).
Ces homomorphismes sont donc bijectifs.
On se reportera l'exercice suivant qui prouve que dans ce cas ce sont
des isomorphismes.
Il y a donc deux types standards de sous-groupes cycliques : infini, et
alors isomorphe Z, ou fini, et alors isomorphe un quotient Z/pZ, o p
est l'ordre du gnrateur a.
3) Centre de S
3
: il suffit d'utiliser la table de l'exemple 25.
Un lment est dans le centre si la ligne et la colonne correspondant cet
lment sont identiques : c'est le cas pour I seulement. Le centre est {I}.
Dans un groupe cyclique, dans un groupe G commutatif en gnral, le
centre est G, bien entendu.
4) On voit, d'aprs les dfinitions, que Z(G) est l'intersection des sous-
groupes S(g).
Pour S
3
, on reprend la table :
S(I) = S
3

S(t
1
) = { I, t
1
}
et de mme pour t
2
et t
3
.
S(s) = {I, s, u} = S(u).
exercice 11-QC
1) Non car la seconde hypothse implique que h est surjectif, donc
bijectif. En effet, si t H, alors h(g(t)) = t, donc t a bien un antcdent
par h.
Dans ce cas, en composant l'galit h o g = Id
H
par h
-1
, on trouve que
g = h
-1
.
volume 1
140

2) Sur la gnralit de l'nonc, la rponse est encore ngative, car
l'hypothse g o h = Id
G
implique que h est injectif : si h(a) = h(b), alors
g(h(a)) = g(h(b)) et donc a = b.
L'application h est donc bijective, et g est son application rciproque.
Une dmonstration directe : soit (x, y) un couple de H, et x' = g(x),
y'= g(y) ; on remarque que x' est un antcdent de x par h et de mme
pour y' et y :
g(x y) = g(h(x') h(y')),
= g(h(x' T y')),
= (g o h)(x' T y'),
= x' T y',
= g(x) T g(y).
exercice 13-QC
1) Dans S
3
, choisissons H = {I, t1}.
Pour z = t1 et t = I, z t
-1
= t1 H.
Pour x = s = t1 t2 , et y = t2 , x y
-1
= t1 H.
Mais x z t
-1
y
-1
= t1 t2 t1 t2 = s
2
= u H.
2) Si est une opration commutative :
x z t
-1
y
-1
= x y
-1
z t
-1
H.
exercice 14-QC
1) Les lments du centre Z(G) du groupe commutent avec tout lment
de G, donc si u Z(G), et g G :
g u g
-1
= g g
-1
u = u Z(G).
2) Pour les sous-groupes deux lments : {I, t1} par exemple.
volume 1
141

Soit g S
3
.
g
-1
t1 g est-il gal I ou t1 ?
Ce ne peut tre I, puisque t1 I.
g
-1
t1 g = t1 signifie que g et t1 commutent pour tout g.
C'est faux, bien entendu, comme on le voit dans la table.
Aucun des sous-groupes deux lments n'est distingu.
Pour le sous-groupe trois lments, H = {I, s, u}.
Soit g S
3
: si g H alors g
1
s g H, car H est un sous-groupe.
Si g {t1, t2, t3}alors g
1
s g = u.
On voit que g
1
s g est dans H pour tout g de G. On fait facilement la
mme constatation pour u et I.
Le sous-groupe trois lments est donc distingu.
Le quotient S
3
/H a deux lments, {J, t}, t tant la classe de t
1
, t
2
, t
3
, et J
la classe de I, s, u. On a les relations : t
2
= J
2
= J, t.J = J.t = t.
Les sous-groupes {I} et S
3
sont videmment distingus.
3) Soit S
3
(G, ) un homomorphisme de groupe. Son noyau K est un
sous-groupe distingu : trois cas seulement sont possibles.
K = {I}, si l'homomorphisme est injectif.
K = S
3
, si l'homomorphisme est trivial (l'image de tout lment est
l'lment neutre).
K = H, si l'homomorphisme n'est ni injectif, ni trivial.
exercice 15-QC
On vrifie sans difficult que R est une relation d'quivalence.
On appelle les classes d'quivalence les "fibres" de f.

volume 1
142

On note c : E E/R l'application (surjective) qui associe un lment de
E sa classe d'quivalence (la fibre qui contient cet lment).
On dfinit une application :
g : E/R F
en associant la classe de a, soit c(a), l'lment f(a) de F. Cette
application g est bien dfinie, puisque, pour un autre reprsentant de c(a),
soit b :
f(b) = f(a) par dfinition de R.
Bien entendu, par construction on a :
f = g o c.
Il reste vrifier que g est injective : si g(c(a)) = g(c(b)), alors f(a) = f(b),
donc a R b, et c(a) = c(b).
exercice 18-QC
1) Pour x rel, soit P(x) la proprit x > 0, et Q(x) la proprit x 0.
()
1
Pour tout x rel [x > 0 ou x 0]. Cette proprit est vraie.
()
1
[Pour tout x rel, x > 0] et [Pour tout x rel, x 0] sont des
proprits fausses, donc ()
1
est fausse.
Il en rsulte que ()
1
n'implique en gnral pas ()
1
.
Retenir :
"quel que soit" n'est pas "distributif" par rapport "ou"
Pour que ()
1
()
1
soit vraie, il suffit que ()
1
soit fausse (par
exemple on prendra pour P et Q les proprits suivantes d'un rel x,
x
2
= 1, x
2
= 2.
2) Par exemple considrer P et Q dfinies par : pour x rel, P(x) si x = 0,
et Q(x) si x
2
= 1.
volume 1
143

3) Notons P(x) la proprit x
2
< 0, et Q(x) la proprit x
2
0.
()
3
[ x , x
2
< 0 est faux] ou [ x, x
2
0 est faux].
Cet nonc est vrai puisque [ x , x
2
< 0 est faux] est une proprit vraie.
()
3
x, [x
2
< 0 ou x
2
0] est faux.
Cet nonc est faux puisque [x
2
< 0 ou x
2
0] est vrai.
Donc ()
3
n'implique pas ()
3
en gnral.
4) Notons pour un rel x, P(x) la proprit x 1, et Q(x) la proprit
x >1.
()
4
La proprit x, x > 1 (c'est--dire x, non(P(x))) est vraie donc
[ x, non(P(x))] ou [ x, non(Q(x))] est vraie.
()
4
x, non[x 1 ou x > 1] est videmment faux.
exercice 19-QC
1) Si R est une relation symtrique et transitive sur un ensemble E, telle
que tout lment de E est en relation avec au moins un lment, alors R
est une relation d'quivalence.
La rciproque est vraie, bien entendu.
On dmontre cet nonc par le raisonnement expos dans l'exercice, qui
est maintenant justifi : soit x dans E ; soit y dans E tel que x R y ; il
existe au moins un tel y par hypothse. Par symtrie, on a alors y R x
donc par transitivit x R x.
2) Soit R une relation symtrique et transitive sur un ensemble E.
Posons E' = {x E | y E , x R y}.
Par restriction de R E' on obtient une relation d'quivalence.
volume 1
144

exercice 20-QC
1) Soit a =
p
q
, avec q > 0. Prenons h =
1
q
, on trouve :
| p | < 1, donc p = 0.
2) Posons a =
p
q
, b =
m
r
, avec q et r positifs. L'hypothse s'crit :
n,
1
n
<
mq pr
qr
;
en particulier pour n = qr :
1 < mq pr , 0 mq pr, et 0 b a.
3) Soit a =
p
q
, avec p et q strictement positifs. Soit b =
m
r
, avec m et r
strictement positifs. Prenons n = qm, on obtient :
n a = pm m
m
r
= b.

volume 1
145

4 Pour Chercher
4-1 Indications pour les exercices ()
exercice 1-I
3) Faire un dessin, reprsenter les valeurs des fonctions. Distinguer le cas
o A et B sont disjoints ().
exercice 2-I
2) Reprsenter les valeurs sur un dessin, et comparer avec
A,B
+
A,C
.
4) Passer au complmentaire et utiliser 3).
QC-2) Sur des dessins, reprsenter les valeurs de
A,B
, 1
A
, 1
B
.
exercice 3-I
1) Calculer 1
B
(f(x)) pour x dans E.
3) Penser aux entiers ngatifs.
exercice 4-I
2) Tester sur les applications vues en exemple, en particulier l'exemple
11.
QC-1) & QC-2) Faire un dessin.
volume 1
146

exercice 5-I
1 et 2) les nombres p et p+1 sont des entiers successifs. L'un des deux est
pair.
3) Pour f
*
, il faut calculer les images des diffrents lments. Pour f
*
, il
faut rsoudre des quations.
exercice 6-I
1) Penser au tableau de variations de sinus.
2) Se rappeler que sinus est priodique.
exercice 7-I
1) Voir exemple 11, exercice 5, exercice 6.
3) et 4) Faites des dessins.
exercice 8-I
1) Si e et e' sont des lments neutres, calculer e e'.
Si x' et x" sont des symtriques de x, calculer x' x x".
2) Penser composer par un lment bien choisi.
4) Par exemple, une solution de a T x = a est un "lment neutre pour a,
droite".
Voir que sa valeur est indpendante de a, puis qu'il est aussi lment
neutre gauche.
Procder de manire analogue pour trouver un symtrique gauche ou
droite, puis un seul symtrique.
volume 1
147

exercice 9-I
1) Essayer avec n = 2, puis tester sur des exemples de groupes connus de
vous (par exemple S
3
).
3) Revoir ce que vous savez sur les racines de l'unit dans C.
4) Se rappeler prcisment quelles conditions portent sur le reste de la
division euclidienne.
5) Penser la compose de deux symtries.
7) numrer les puissances d'un lment g. Peuvent-elles tre toutes
diffrentes, dans un ensemble fini ?
exercice 10-I
1) Le problme se pose pour le symtrique d'un lment de H. Utiliser
une mthode analogue celle indique au 7) de l'exercice 9, ci-dessus.
QC-2) tant donn un lment de C(a), il s'crit a
k
. L'exposant k est-il
dfini de manire unique dans Z ?
exercice 11-I
1) Calculer f(e
G
T a). Simplifier.
2) Pour dmontrer l'galit g(x y) = g(x) T g(y), il suffit de composer
par une application injective ().
exercice 12-I
3) Transformer h(a) = h(b) en composant par h(b)
1
.
5) Il s'agit de rsoudre une quation diffrentielle linaire.
volume 1
148

exercice 13-I
1) La loi n'est pas suppose commutative.
3) Trouver une application rciproque de u, du mme type ().
4) S'il existe une bijection entre des ensembles finis, ils ont le mme
nombre d'lments. Par ailleurs les classes d'quivalence forment une
partition.
exercice 14-I
QC-3) Penser qu'un noyau est un sous-groupe distingu, et
rciproquement (cf. exercices prcdents).
exercice 15-I
2) L'application p s'obtient partir de l'application canonique de passage
au quotient.
exercice 16-I
2) Se rappeler que x et y ne sont pas en gnral dfinis de manire unique
partir de c(x) et c(y). Les dfinitions doivent tre indpendantes du
choix d'un reprsentant d'une classe d'quivalence.
3) & 4) Voir ce qui est "permanent" lorsqu'on passe d'un reprsentant
un autre dans la mme classe d'quivalence.
exercice 17-I
1), 2) & 3) Noter que P Q s'crit aussi [Q ou non(P)]. Utiliser la
ngation des noncs standards (A et B, A ou B, non(A)) (partie 1-5).
4) crire cet nonc plus explicitement (avec quantificateurs).
volume 1
149

5) Dcomposer en plusieurs noncs "enchsss" (partie 1-5).
exercice 18-I
Dans certains cas, il est plus facile de raisonner sur la contrapose de
l'implication examiner.
Vous pouvez aussi imaginer des exemples et vous faire une opinion, puis
chercher gnraliser.
exercice 19-I
Ce n'est pas parce que l'on parle d'un lment qu'il existe !
exercice 20-I
Pour prouver qu'un objet existe, le plus direct est d'en donner un
exemple.
Avant de prouver un nonc gnral portant sur un objet (le rationnel a
par exemple dans 1), vous pouvez essayer de le vrifier sur un cas
particulier, puis essayer de gnraliser le raisonnement ou la construction
particulier.
exercice 21-I
Commencer par crire le tableau des valeurs de f(x, y). Procdez au
classement systmatique. Rappelez-vous qu'un nonc de la forme :
x (A(x) B(x))
est vrai s'il n'a pas de contre-exemple (partie 1-5).

volume 1
150

4-2 Mthodes ()
Mode d'emploi de cette partie : vous trouverez d'abord une liste de
mthodes de rsolution des types de questions prsentes dans ce
volume ; par commodit, on a prcis ensuite propos de chaque
exercice o une mthode a t indique par () le (ou les) numro(s)
de la mthode concerne. S'agissant d'un discours sur les
mathmatiques, et non d'un discours mathmatique, on trouvera
naturel qu'il utilise les abus de langage usuels, les raccourcis allusifs,
et de faon gnrale qu'il se rapproche d'un discours oral qui pourrait
tre tenu devant les tudiants.

1- Dmontrer une inclusion : A B. Raisonner plutt sur les lments.
Prendre un lment quelconque de A, et vrifier qu'il est bien dans B.
Gnralement vident lorsque les ensembles sont dfinis en
extension. Sinon (cas le plus frquent) A est caractris par une
proprit P, l'ensemble B par Q. Il faut dmontrer que P Q.

2- Prouver l'galit de deux ensembles : en gnral on prouve l'galit
de deux ensembles en passant par deux inclusions, que l'on prouve
sparment. A = B quivaut [A B et B A]. Cela revient en
gnral dmontrer que deux proprits sont quivalentes, en
prouvant des implications entre ces proprits dans les deux sens.
Une mthode particulire consiste montrer que les fonctions
caractristiques des deux ensembles sont gales.

volume 1
151

3- Comparer des applications : pour comparer des applications, il faut
comparer leurs valeurs pour une valeur quelconque de la variable,
ventuellement en distinguant diffrents sous-ensembles du domaine
de dfinition pour cette variable. On vrifiera auparavant que les
ensembles de dpart et d'arrive des deux applications sont les
mmes.

4- crire l'image directe d'une partie : soit f : E F et A E. Si A est
dfini en extension (), on crira f
*
(A) en extension en numrant
les images des lments de A (cas o A est un ensemble fini). Dans
les autres cas, on peut chercher, partir d'une proprit
caractristique de A, une proprit caractristique de f
*
(A). Enfin, il
ne faut pas ngliger de faire appel aux rsultats connus sur les
fonctions d'une variable relle lorsqu'on est dans ce cas : ainsi l'image
d'un intervalle par une application continue est un intervalle ; s'il
s'agit d'une application monotone, et de l'image d'un segment, on
n'aura besoin de calculer que les images des extrmits.

5- Ecrire l'image rciproque d'une partie : soit f : E F et B F. Il
s'agit d'un problme de rsolution d'quations : x est dans f
*
(B) s'il est
solution d'une quation f(x) = b, o b B. Si B est fini, on cherchera
toutes les solutions de ces quations, et on crira f
*
(B) en extension
(). Sinon, partir de proprits caractrisant B dans F, il faut
trouver des proprits caractrisant f
*
(B) dans E.

6- Prouver qu'une application f est injective. Les mthodes sont
varies :
Utiliser directement la dfinition : supposer f(x) = f(y), montrer
x = y.
volume 1
152

Montrer que l'quation f(x) = b a au plus une solution.
Si f est un homomorphisme () de groupes, calculer son noyau
().
Montrer que f est strictement monotone, en particulier s'il s'agit
d'une fonction drivable, prouver que la drive a un signe constant.
Le point prcdent s'tend au cas o f est la restriction un sous-
ensemble de R ( N par exemple) d'une fonction drivable.

7- Prouver qu'une application f est surjective. Les mthodes sont
varies galement :
Utiliser la dfinition : tout lment de l'ensemble arrive a un
antcdent au moins.
Montrer que quel que soit b, l'quation f(x) = b a au moins une
solution :
Par exemple parce que c'est une quation du second degr dont le
discriminant est positif ou nul, parce que c'est une quation
polynomiale de degr impair qui a donc toujours une solution
Si f est une fonction drivable d'une variable relle, on peut utiliser
le thorme des valeurs intermdiaires (voir le volume sur les
fonctions d'une variable relle) ;
Dans le cas d'ensembles finis, l'injectivit peut entraner la
surjectivit (compter les lments) ;
Cette mthode s'tend en algbre linaire dans le cadre de la
dimension finie (voir le volume sur les espaces vectoriels).

8- Dmontrer qu'un sous-ensemble est un sous-groupe : c'est un
problme qui fait l'objet d'un nonc connatre. Il suffit de montrer
que le sous-ensemble n'est pas vide (en gnral, il est vident que
volume 1
153

l'lment neutre () appartient au sous-ensemble), qu'il est stable
par la loi interne () ainsi que par le passage au symtrique ().
(Stable signifie que le rsultat de l'opration dcrite est dans le sous-
ensemble si les donnes y sont). Dans certains cas, on peut
reconnatre que le sous-ensemble est le noyau () d'un
homomorphisme () de groupes, voire l'image rciproque () d'un
sous-groupe, cela suffit pour conclure que c'est un sous-groupe.

9- Dmontrer qu'un ensemble muni d'une loi est un groupe : lorsque
cet ensemble n'est pas un sous-ensemble d'un groupe dj connu, il
faut vrifier tous les axiomes de la structure de groupe. Ne pas oublier
(dans ce cas) de vrifier que l'on dispose bien d'une loi interne ().

10- Calculer dans un groupe : pour l'essentiel, procder comme on le
ferait pour le groupe multiplicatif des rels, ou des complexes, non
nuls. Une rserve trs importante : la loi interne d'un groupe n'a
aucune raison d'tre commutative, ce qui intervient (par exemple)
dans les calculs de puissances (exercice 9-1), mais galement dans les
calculs d'inverses (a
-1
b
-1
n'est pas en gnral l'inverse de ab).

11- Dfinir une application partir d'un ensemble quotient : en
gnral on devra dfinir une application de E/R dans F en dcrivant
l'image de la classe d'un lment a de E en fonction de a. Autrement
dit, on ne disposera pas d'une autre description de E/R que celle
d'ensemble quotient.
La difficult est que la classe de a ne dfinit pas a de manire unique
(en gnral). Si on procde sans prcaution, il se pourrait que, partant
de c(a), on obtienne diffrentes images selon le reprsentant de cette
volume 1
154

classe utilis. Or c'est la caractristique premire d'une application
d'associer une donne une seule image.
Il est donc indispensable si on utilise une dfinition du type :
"l'image de c(a) dans F est f(a)",
de dmontrer que le rsultat f(a) ne change pas si on remplace a par
un autre reprsentant de la mme classe.

12- Dfinir une relation sur un ensemble quotient : voir le point
prcdent. La difficult est en gnral la mme : indpendance du
choix des reprsentants.
13- crire la contrapose d'un nonc : la difficult est dans l'criture
de la ngation de l'hypothse et de la conclusion, d'o l'intrt du
travail sur la ngation (qui sert galement pour les raisonnements par
l'absurde). Les rgles de base sont :
d'abord crire chaque nonc trs explicitement, trs prcisment ;
en particulier expliciter les ventuels quantificateurs ;
ensuite dcomposer un nonc complexe en sous-noncs,
auxquels on donnera provisoirement un nom, pour aboutir l'un des
modles les plus usuels : "P ou Q", "P et Q", "pour tout x, P(x)", "il
existe un x tel que Q(x)" ;
enfin crire la ngation de proche en proche travers les noncs
contenus les uns l'intrieur des autres.

Les mthodes dans les exercices

Ex 1) n 3 Ex 2) n 3 Ex 3) n 3
Ex 4) n 4, 5, 6, 7 Ex 5) n 4, 5 Ex 6) n 4
volume 1
155

Ex 7) n 1, 2 Ex 8) n 9, 10 Ex 9) n 10
Ex 10) n 8 Ex 11) n 9 Ex 12) n 8
Ex 13) n 8, 10, 2 Ex 14) n 10 Ex 15) n 11
Ex 16) n 12 Ex 17) n 13 Ex 18) n 13
Ex 20) n 13

volume 1
156

4-3 Lexique ()
A
Antcdent : un lment x E est un antcdent de y F par
l'application f de E dans F si y = f(x).
Application : une application d'un ensemble E dans un ensemble F est
une relation de E dans F telle que pour tout x de E il existe un
unique y de F en relation avec x.
Associative (loi) : une loi interne () T, dfinie dans un ensemble E,
est associative si pour tout x, tout y, tout z de E :
(x T y) T z = x T (y T z).
B
Bijection (bijectif, bijective) : une application est une bijection si elle est
injective () et surjective (). On dit qu'elle est bijective.
C
Classe (d'quivalence) : si R est une relation d'quivalence () sur E, la
classe d'quivalence d'un lment a est l'ensemble des lments x
de E tels que a R x.
Centre (d'un groupe) : dans un groupe (G, ), le centre Z est le sous-
ensemble form des lments qui commutent avec tout lment de
G, autrement dit, g Z si et seulement si pour tout h de G,
h g = g h.
Commutatif : on dit qu'un groupe () (E, T) est commutatif si pour
tout x et tout y de E, on a l'galit x T y = y T x.
volume 1
157

Compatible (relation) : une relation () R dfinie sur un ensemble E
est compatible avec une loi interne T () de cet ensemble si pour
tout x, tout y, tout z, tout t de E, on a l'implication :
x R y et z R t implique (x T z) R (y T t).
Comprhension : un ensemble est dfini en comprhension lorsqu'on
donne une proprit caractrisant ses lments.
Condition ncessaire : une proprit P est une condition ncessaire pour
une proprit Q si Q implique P.
Condition suffisante : une proprit P est une condition suffisante pour
une proprit Q si P implique Q.
Conjecture : une conjecture est un nonc mathmatique dont on ignore
s'il est vrai ou faux.
Croissante (application) : soit (E, ) et (F, ) des ensembles ordonns
(). Une application f de E dans F est croissante si pour tout x et
tout y de E,
x y f(x) f(y).
D
Dcroissante (application) : soit (E, ) et (F, ) des ensembles ordonns
(). Une application f de E dans F est dcroissante si pour tout x
et tout y de E :
x y f(x) f(y).
Disjoints : deux sous-ensembles d'un ensemble E sont disjoints si leur
intersection () est vide.
Distributive : soit (E, T, ) un ensemble muni de deux lois internes
(). On dit que est distributive par rapport T si pour tout x,
tout y, tout z de E on a les galits :
(x T y) z = (x z) T (y z), et z (x T y) = (z x) T (z y).
volume 1
158

E
Endomorphisme : c'est un homomorphisme d'un groupe dans lui-mme.
Equivalence : une relation d'un ensemble dans lui-mme est une relation
d'quivalence si elle est rflexive (), symtrique (),
transitive ().
Equivalentes (proprits) : deux proprits P, Q, sont quivalentes si
l'nonc P Q est vrai ainsi que sa rciproque () Q P.
Extension : un ensemble est dfini en extension lorsqu'on numre ses
lments.
F
Fonction caractristique : c'est l'application qui caractrise un sous-
ensemble A d'un ensemble E. Elle prend la valeur 1 dans A et 0
dans E A.
G
Graphe : le graphe C d'une relation () R d'un ensemble E dans un
ensemble F est la partie de E x F qui dfinit R :
C = {(x, y) E x F | x R y}.
Groupe : soit (E, ) un ensemble muni d'une loi interne () . On dit
que c'est un groupe si est associative (), s'il existe un lment
neutre (), et si tout lment de E admet un symtrique ().
H
Homomorphisme : Soient (E, T) et (F, ) des groupes (). Une
application f de E dans F est un homomorphisme de groupes si
pour tout x et tout y de E, f(x T y) = f(x) f(y).
volume 1
159

I
Image (d'un lment) : si f : E F est une application, l'image de a de E
par l'application f est f(a).
Image directe : soit f : E F une application. Soit E' une partie de E.
L'image directe de E' par f est la partie de F dfinie par :
{y F | x E', y = f(x)}.
Image rciproque : soit f : E --. F une application. Soit F' une partie de
F. L'image rciproque de F' par f est la partie de E dfinie par {x
E | f(x) F'}.
Injection (injectif, injective) : une application f est une injection si pour
tout couple d'lments x et y l'galit f(x) = f(y) implique l'galit x
= y. On dit que f est injective.
Intersection : l'intersection d'une famille de sous-ensembles (A
i
)
iI
de
l'ensemble E est le sous-ensemble B caractris par :
x B si et seulement si pour tout i I , x A
i
.
Isomorphisme : Soient (E, T) et (F, ) des groupes ().
Une application f de E dans F est un isomorphisme de groupes si f
est bijective (), est un homomorphisme de groupes () ainsi
que son application rciproque ().
L
Loi (de composition) interne : Soit E un ensemble. Une loi interne dans
E est une application du produit cartsien () E E dans E.
N
Neutre (lment) : Soit (E, ) un ensemble muni d'une loi interne ().
On dit qu'un lment e de E est un lment neutre pour si pour
tout x de E :
x e = e x = x.
volume 1
160

Noyau : si f est un homomorphisme () de groupes, le noyau de f est
l'ensemble des lments dont l'image est gale l'lment neutre
().
O
Ordonn (ensemble) : soit E un ensemble. S'il existe une relation d'ordre
sur E, on dit que E est ordonn.
Ordre : une relation () R d'un ensemble dans lui-mme est une
relation d'ordre si elle est rflexive (), antisymtrique (), et
transitive ().
P
Partition d'un ensemble E : c'est un ensemble de sous-ensembles non
vides de E dont la runion () est gale E, et les intersections
() deux deux vides.
Produit cartsien : si E et F sont des ensembles, le produit cartsien de
E et F est l'ensemble des couples (x, y) forms d'un premier
lment de E, et d'un second lment de F.
On gnralise un nombre quelconque d'ensembles.
Q
Quotient (ensemble) : si R est une relation d'quivalence () dfinie
sur un ensemble E, l'ensemble des classes d'quivalences () de
R dans E est appel ensemble quotient. C'est un sous-ensemble de
l'ensemble des parties de E.
R
Rciproque (application) : si f : E F est une application bijective
(), il existe une unique application g : F E telle que f o g et g
o f soient gale l'application identique (de F et de E
volume 1
161

respectivement). Cette application g est l'application rciproque de
l'application f.
Rciproque (d'un nonc) : la rciproque de l'nonc "si P alors Q" ou
"P implique Q" est l'nonc "si Q alors P" ou "Q implique P".
Rflexive : soit R une relation sur E. Elle est rflexive si pour tout x de
E, x R x.
Relation : soient E et F des ensembles. Une relation de E dans F est
dfinie par une partie C du produit cartsien () E F.
Si (x, y) C, on dit que x est "en relation avec" y.
Runion : la runion d'une famille de sous-ensembles (A
i
)
iI
de
l'ensemble E est le sous-ensemble B caractris par : x B si et
seulement si, il existe i I tel que x A
i
. On parle galement de
l'union de ces sous-ensembles.
S
Surjection (surjectif, surjective) : une application f : E F est une
surjection si tout lment de F a au moins un antcdent () par f.
On dit que f est surjective.
Symtrique (lment) : Dans un ensemble E muni d'une loi interne
(), soit T, pour laquelle existe un lment neutre () e, un
symtrique d'un lment x est un lment x' tel que :
x T x' = x' T x = e.
Symtrique (relation) : une relation R d'un ensemble E dans lui-mme
est symtrique si pour tout x et tout y de E on a l'implication :
x R y y R x.
T
Transitive (relation) : une relation R d'un ensemble E dans lui-mme est
transitive si pour tout x, tout y, tout z de E , on a l'implication :
volume 1
162

x R y et y R z x R z.
U
Union : voir Runion.

Daniel Alibert - Cours Et Exercices Corrigés, Volume 1

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Daniel Alibert - Cours Et Exercices Corrigés, Volume 1

Uploaded by

Copyright:

Available Formats

Daniel ALIBERT cours et exercices corrigs

You might also like