Daniel Alibert - Cours Et Exercices Corrigés - Volume 2

Daniel ALIBERT cours et exercices corrigs volume 2
1

Daniel ALIBERT
Relations d'ordre. Entiers. Anneaux et corps. Nombres
rels.

Objectifs :
-Majorer, minorer, chercher le plus grand lment d'un ensemble
ordonn, la borne suprieure, faire une rcurrence.
- Calculer dans un anneau, un corps.
- Utiliser l'ordre dans un groupe, un anneau, un corps.
- Calculer dans le corps ordonn des rels : chercher une borne
suprieure (ou infrieure), majorer, minorer, utiliser les intervalles.
2

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.

L'ambition de cet ouvrage est de contribuer la rsolution de ces
difficults aux cts des enseignants.
4

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
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.

5

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).

6

Table des matires

1 A Savoir ........................................................................ 9
1-1 Ensembles ordonns ..................................... 9
1-2 Segments, intervalles.................................. 11
1-3 Entiers ........................................................ 13
1-4 Anneaux et corps ........................................ 15
1-5 Les nombres rels ....................................... 17
2 Pour Voir .................................................................... 19
2-1 Ensembles ordonns ................................... 19
2-2 Segments, intervalles.................................. 28
2-3 Entiers ........................................................ 32
2-4 Anneaux et corps ........................................ 40
2-5 Les nombres rels ....................................... 44
3 Pour Comprendre et Utiliser ...................................... 55
3-1 noncs des exercices ................................ 55
3-2 Corrigs des exercices ................................ 73
3-3 Corrigs des questions complmentaires . 129
4 Pour Chercher ........................................................... 139
4-1 Indications pour les exercices .................. 139
4-2 Mthodes .................................................. 147
4-3 Lexique ..................................................... 151

7

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. Vous trouverez des exemples dans la partie 2*Pour
Voir.
1-1 Ensembles ordonns
Dfinition
Une relation rflexive, antisymtrique et transitive est une relation
d'ordre. On la note gnralement , (ou ). Un ensemble muni d'une
relation d'ordre est dit ordonn.
Soient x et y des lments d'un ensemble ordonn, la relation :
x y et x y,
est note :
x < y.
Une relation d'ordre est dite totale si pour tout x et tout y on a x y ou
y x. L'ensemble est alors dit totalement ordonn. Dans le cas contraire,
on dit que l'ordre est partiel.
Dfinitions
Soit E un ensemble ordonn et F une partie de E. On dit que y est un
majorant de F dans E, si y est un lment de E et si pour tout x de F,
y x.
On dfinit de mme les minorants de F dans E par :
y E, et pour tout x de F, y x.
9

L'ensemble des majorants de F dans E est not Major
E
(F), et l'ensemble
des minorants Minor
E
(F). Si F admet un majorant, on dit que c'est une
partie majore de E. On dfinit de mme une partie minore. Si F est la
fois majore et minore, on dit que c'est une partie borne.
Proprit
Un plus grand lment de F est un majorant de F qui appartient F : si F
a un plus grand lment, il est unique, on le note max(F). De mme un
plus petit lment de F, s'il existe, est unique, et not min(F).
Dfinition
Un lment a de E est la borne suprieure de F dans E si a est le plus
petit des majorants de F dans E.
Si F n'est pas major dans E, il n'a donc pas de borne suprieure.
Si a existe, il est unique, on le note sup
E
(F).
Un lment de E est la borne infrieure de F dans E si c'est le plus
grand des minorants de F dans E.
Si cet lment de E existe, il est unique, on le note inf
E
(F).
Proprit
Si max(F) existe, alors sup
E
(F) existe aussi et on a max(F) = sup
E
(F).
Dfinition
Soient E et F des ensembles ordonns, et f : E F une application.
On dit que f est croissante si on a l'implication, pour tout x et tout y
de E:
x y f(x) f(y).
On dfinit de mme les applications dcroissantes.
On dit que f est monotone si elle est croissante ou dcroissante.
10

Enfin, on dit que f est strictement croissante si l'implication suivante est
vraie :
x < y f(x) < f(y).
1-2 Segments, intervalles
Dfinition
Soit (E, ) un ensemble ordonn ; on appelle segment ferm d'extrmits
a et b, avec a b pour fixer les ides, la partie de E dfinie par :
[a , b] = {x E | a x b}.
On dfinit de mme les segments ouverts, semi-ouverts.
On appelle section finissante, ferme, d'origine a, la partie de E dfinie
par :
[a , [ = {x E | a x}.
On dfinit de mme une section commenante, not ] , a], et les
sections ouvertes.
Proprit
Un segment est une partie borne, qui admet une borne suprieure et une
borne infrieure.
Dfinition
Soit (E, ) un ensemble ordonn et I une partie de E. On dit que I est un
intervalle de E si pour tout x et tout y de I tels que x y on a :
Tout lment z de E tel que x z y , est un lment de I.
Proprit
Tout segment est un intervalle.
11

Proprit
Dans un ensemble totalement ordonn, si I est un intervalle, et si
a = inf(I) et b = sup(I) existent, alors I est un segment contenu dans [a , b]
et contenant ]a , b[.
12

1-3 Entiers
Dfinition
Soit E un ensemble totalement ordonn, et x, x' des lments de E. On dit
que x' est le successeur de x, et on note x' = succ(x), si :
x < x' et, ]x , x'[ = .
On dfinit de mme le prdcesseur de x, not pred(x).
Proprit
Un lment x de E a au plus un prdcesseur, et au plus un successeur.
S'ils existent, on a pred(succ(x)) = succ(pred(x)) = x.
Dfinition
a- Soit E un ensemble ordonn. On dit que E est bien ordonn (BO) si
toute partie non vide A de E admet un plus petit lment.
b- Soit E un ensemble bien ordonn. On dit que E est naturellement
bien ordonn (NBO) si tout lment de E, sauf min(E), a un
prdcesseur.
Proprit
Un ensemble bien ordonn est totalement ordonn.
Dfinition
On dfinit N comme un ensemble totalement ordonn, n'ayant pas de
plus grand lment, dans lequel toute partie non vide a un plus petit
lment, et tout lment sauf min(N) a un prdcesseur.
L'ensemble N est donc un ensemble naturellement bien ordonn, sans
lment maximum.
13

Proprit
Si E est un ensemble NBO sans lment maximum, alors il existe une
bijection croissante de N sur E. En ce sens, N est "unique".
Proprit
Dans N, tout lment a un successeur.
Dfinition
Soit P : N {vrai, faux} une proprit. Soit a un lment de N. On dit
que P est rcursive partir de a si pour tout x de N suprieur ou gal a
on a l'implication :
si P(x) = vrai, alors P(succ(x)) = vrai.
Thorme
Soit P une proprit sur N, rcursive partir de a. S'il existe un lment b
de N, plus grand que a, tel que P(b) = vrai, alors P(x) est vrai pour tout x
suprieur b.
Proprit
Dans N,
1) toute partie majore a un plus grand lment.
2) les intervalles sont les segments ferms et les sections finissantes
fermes.
1-4 Anneaux et corps
Dfinition
Soit (E, T, ) un ensemble muni de deux lois de composition interne.
On dit que (E, T, ) est un anneau si :
14

1- (E, T) est un groupe commutatif,
2- est associative et admet un lment neutre diffrent du neutre de T,
3- est distributive par rapport T.

Si de plus est commutative, on dit que l'anneau est commutatif.
Dans la pratique, on note le plus souvent + et les lois d'un anneau, et 0,
et 1 les lments neutres respectifs de ces lois.

NB : on n'inclut pas toujours l'existence d'un lment neutre pour dans
la dfinition d'un anneau. Dans ce cas, la dfinition donne ci-dessus
correspond un "anneau unitaire".
Dfinition
Soit (E, T, ) un ensemble muni de deux lois de composition interne.
On dit que (E, T, ) est un corps si :
1- (E, T, ) est un anneau commutatif,
2- Tout lment de E sauf le neutre de T a un symtrique pour .
Dfinition
Dans un anneau (A, +, ), un lment a est un diviseur de 0 s'il existe un
lment b de A, non gal 0, tel que :
a b = 0.
Un lment a est nilpotent s'il existe un entier naturel n tel que :
a
n
= 0.
Un lment a est inversible s'il existe un lment b de A tel que :
a b = 1.

Un anneau est dit intgre s'il ne possde pas de diviseur de zro diffrent
de 0.
15

1-5 Les nombres rels
Dfinition
On appelle groupe ordonn un groupe (G, T) muni d'une relation d'ordre
compatible avec T, c'est--dire telle que pour tout x, tout y, tout x', tout
y' de G on ait l'implication :
x y et x' y' x T x' y T y'.
(On peut composer des ingalits.)
Dfinitions
On dit qu'un groupe (G, T, ) totalement ordonn, d'lment neutre e est
archimdien, si pour tout x tel que e < x, et tout y de G, il existe un
entier n tel que :
y < x
n
.
Un anneau A est ordonn si le groupe (A, +) est ordonn, et si, de plus,
on a l'implication :
x 0 et y 0 x.y 0.
Si A est un corps, on dit que c'est un corps ordonn s'il est totalement
ordonn.
Proprit
Dans un anneau totalement ordonn, pour tout lment a, le carr a
2
est
suprieur ou gal 0.
Thorme et
dfinition
Il existe un unique corps ordonn (R, +, ) ayant la proprit suivante :
Toute partie non vide majore de R a une borne suprieure dans R.

16

Partie entire d'un rel. Pour tout rel a, il existe un unique entier n tel
que :
n a < n+1,
cet entier est appel la partie entire de a, et note E(a), ou [a].
Dveloppement dcimal d'un rel, l'ordre n. Pour tout rel a, et tout
entier n, il existe un unique rationnel D
n
tel que :
10
n
D
n
est entier, et D
n
a < D
n
+ 10
n
,
ce nombre rationnel est appel le dveloppement dcimal l'ordre n de a.
Proprit
Dans R, les intervalles sont les segments, les sections finissantes ou
commenantes, et R.

17

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.
2-1 Ensembles ordonns
"Une relation rflexive, antisymtrique et transitive est une relation d'ordre."
exemple 1
Sur N
*
= N {0}, outre la relation d'ordre usuelle, on utilise souvent la
relation de divisibilit : a | b s'il existe un entier naturel n tel que :
b = n a.
D'abord, a | a, videmment, quel que soit a.
Si a | b et b | a, il existe p et q entiers naturels tels que a = pb, b = qa,
donc a = pqa, 1 = pq donc p = q = 1 et a = b.
Enfin, si a | b et b | c, il existe p et q tels que b = ap, c = bq d'o c = (pq)a,
et a | c.
Noter toutefois que ces deux relations sont trs diffrentes : la premire
est une relation d'ordre total, la seconde est une relation d'ordre partiel.
Ainsi, si symbolise la relation entre un plus petit et un plus grand, on a
les schmas :
1 2 3 45 6 pour le premier ordre,
et pour le second ordre :

18

exemple 2
( traiter)
D'autres relations d'ordre sont importantes, comme l'inclusion entre
parties d'un ensemble. Dans P({1, 2, 3}), muni de la relation d'inclusion,
faire un schma de relation analogue celui dessin ci-dessus. Cet ordre
est-il total ?
# rponse
Il y a six lments : , {1}, {2}, {3}, {1, 2}, {2, 3}, {1, 3}, {1, 2, 3}.
Le schma ci-dessous montre, l'vidence, que l'ordre n'est pas total.

19

exemple 3
( traiter)
On dfinit galement un ordre sur les ensembles de fonctions valeurs
dans un ensemble ordonn (R par exemple).
Dans l'ensemble F(]0 , 1], R) des applications de ]0 , 1] dans R, on pose :
f g si, pour tout x de ]0 , 1], f(x) g(x).

Vrifier que c'est bien une relation d'ordre. Ordonner l'ensemble des
fonctions "puissance" : x x
n
(n entier naturel).
Cet ordre est-il total ?
# rponse
La vrification ne pose aucune difficult. Soit f, g : ]0 , 1] --. R, on a :
x, f(x) f(x), donc f f.
x, f(x) g(x) et g(x) f(x) entrane f(x) = g(x), donc f = g.
x, f(x) g(x), et g(x) h(x) entrane f(x) h(x).
20

Si m n, pour x dans ]0 , 1], x
m
x
n
, la fonction "puissance m" est donc
suprieure la fonction "puissance n". Le sous-ensemble des fonctions
puissances est totalement ordonn.

Par contre, l'ensemble F(]0 , 1], R) ne l'est pas ; ainsi la fonction dfinie
par :
f(x) = cos( x)
est positive ou nulle pour x dans ]0 , 1/2], et ngative ou nulle dans
[1/2 , 1].
Elle n'est donc ni suprieure, ni infrieure, la fonction constante gale
0.
"Si F admet un majorant, on dit que c'est une partie majore de E. On dfinit de mme
une partie minore."
exemple 4
Ci dessus, dans F(]0 , 1], R) :
E = {x x
n
| n entier naturel}.
Cette partie est majore (par la fonction constante gale 1) et minore
(par la fonction constante gale 0).
exemple 5
( traiter)
La proprit d'tre major, ou minor, pour un ensemble donn,
dpend de l'ensemble de rfrence. Une partie F peut tre majore dans
un ensemble E qui la contient et non majore dans une autre partie E' qui
la contient galement.
Soit F = {{1}, (2}, {3}}. On utilise l'ordre de l'inclusion.
la partie F est-elle majore, minore, dans :
E
1
= {, {1}, {2}, {3}, {1, 2}, {2, 3}, {1, 3}, {1, 2, 3}} ;
21

E
2
= {{1}, {2}, {3}, {1, 2}, {2, 3}, {1, 3}, {1, 2, 3}} ;
E
3
= {, {1}, {2}, {3}, {1, 2}, {2, 3}, {1, 3}}.
# rponse
Pour E
1
, la rponse est oui aux deux questions :
est un minorant, et {1, 2, 3} est un majorant.
Pour E
2
, F n'est pas minore, mais est majore.
Pour E
3
, F est minore et non majore.
Bien noter qu'un ensemble peut tre fini et non born.
"Un plus grand lment de F est un majorant de F qui appartient F : si F a un plus
grand lment, il est unique, on le note max(F)."
exemple 6
Ci-dessus, F n'a pas de plus grand, ni de plus petit, lment.
Dans F(]0 , 1], R), la partie :
{xx
n
| n entier naturel},
a un plus grand lment, obtenu pour n = 0. En effet c'est un majorant qui
est un lment de cette partie.
exemple 7
( traiter)
Dans N
*
, muni de l'ordre de la division, soit A = {p | p 12}.
Cette partie a-t-elle un plus grand lment, un plus petit lment ?
# rponse
Explicitons A :
A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}.
22

Un minorant de A est un diviseur commun tous ses lments : ce ne
peut tre que 1. Or 1 est un lment de A, donc 1 = min(A).
Un majorant de A est un multiple commun tous ses lments, en
particulier 2, 3, 5, donc il vaut au moins 30. Il n'y a pas de plus grand
lment dans A.
"Un lment a E est la borne suprieure de F dans E si a est le plus petit des
majorants de F dans E."
exemple 8
On reprend l'exemple prcdent :
E = P({1, 2, 3}), F = {{1}, (2}, {3}}.
Il y a un seul majorant, {1, 2, 3}, c'est donc la borne suprieure. Il y a un
seul minorant, , c'est donc la borne infrieure.
exemple 9
( traiter)
Dans N
*
, muni de l'ordre de la division, on appelle F la partie :
F = {2, 3, 5, 12, 30}.
Cette partie a-t-elle une borne suprieure, une borne infrieure :
dans N
*
,
dans {2, 3, , 60},
dans {2, 3, 5, 12, 30, 120} ?
# rponse
Une borne suprieure est un multiple commun, le plus petit possible, une
borne infrieure est un diviseur commun, le plus grand possible.
Dans N
*
, inf(F) = 1, sup(F) = 60.
Dans {2, 3, , 60}, inf(F) n'existe pas, sup(F) = 60.
23

Dans {2, 3, 5, 12, 30, 120}, inf(F) n'existe pas, et sup(F) = 120.
Bien noter que l'existence, la valeur des bornes suprieure et infrieure
dpendent de l'ensemble de rfrence, et pas seulement de la partie
tudie.
"Si max(F) existe, alors sup
E
(F) existe aussi et on a :
max(F) = sup
E
(F)."
exemple 10
Ce rsultat est intressant par les noncs qu'on peut en dduire :
- si sup
E
(F) existe et max(F) n'existe pas, on conclura que sup
E
(F) n'est
pas un lment de F.
- si sup
E
(F) existe et n'appartient pas F, max(F) n'existe pas.
exemple 11
( traiter)
Dans l'exemple 9, discuter l'existence de min(F), max(F).
Cette existence dpend-elle de l'ensemble de rfrence ?
Essayer de gnraliser.
# rponse
Dans N
*
, muni de l'ordre de la division, on appelle F la partie :
F = {2, 3, 5, 12, 30}.
Il n'y a ni plus grand lment (un multiple commun est au moins 60) ni
plus petit lment (1 est le seul diviseur commun). Ces rsultats ne
dpendent pas de l'ensemble dans lequel F est plong.
C'est un rsultat gnral : max(F) est un lment de F suprieur aux
autres pour la relation d'ordre restreinte F.
24

"Soient E et F des ensembles ordonns, et f : E --. F une application. On dit que f est
croissante si on a l'implication, pour tout x et tout y de E, x y f(x) f(y)."
exemple 12
On connat de nombreuses applications monotones, au moins sur une
partie de leur domaine de dfinition :
sin : [0 , /2] R,
Ln :]0 , +[ R.
exemple 13
( traiter)
Soit E : R
+
N, l'application qui x associe sa partie entire E(x).
Dessiner le graphe de E sur l'intervalle [0 , 5]. Cette application est-elle
croissante ?
# rponse
Le graphe est reprsent ci-dessous.
Il a t trac l'aide du logiciel MAPLE, on a donn l'instruction
correspondante.
Il est clair que cette application est croissante, non strictement.
25

2-2 Segments, intervalles
"Soit (E, ) un ensemble ordonn, on appelle segment ferm d'extrmits a et b, avec a
< b pour fixer les ides, la partie de E dfinie par [a, b] = {x E / a x b}."
exemple 14
Ainsi, dans N
*
, muni de l'ordre de la division :
[2 , 12] = {2, 4, 6, 12}.
26

Dans Z, avec l'ordre usuel :
[2 , 12] = {2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}.
Noter que certains segments ferms sont aussi des segments ouverts :
Dans Z, [2 , 12] =]1 , 13[.
exemple 15
( traiter)
Dans P({1, 2, 3, 4}), avec l'ordre de l'inclusion, crire le segment
ferm [{1} , {1, 3, 4}], et le segment ouvert ]{2, 3} , {2, 3, 4}[.
# rponse
Le segment [{1}, {1, 3, 4}] est en gras.
Quant au segment ouvert ]{2, 3} , {2, 3, 4}[, on voit qu'il est vide.

27

28

"Soit (E, ) un ensemble ordonn et I une partie de E. On dit que I est un intervalle de E
si pour tout x et tout y de I tels que x y on a : Tout lment z de E tel que x z y,
est un lment de I."
exemple 16
Dans R, la partie dfinie par I = {x | |x| 1} n'est pas un intervalle :

Dans Z
*
, la partie dfinie par I = {x | |x| 1}, est un intervalle. En
effet, il n'y a pas d'lment strictement compris entre 1 et 1 dans Z
*
,
donc l'nonc caractrisant un intervalle n'a pas de contre-exemple.
exemple 17
( traiter)
Dans R, l'ensemble I suivant est-il un intervalle :
I = {x | |x| > 0}.
29

# rponse
Non, puisque, par exemple, 12 et 36 sont dans I alors que 0 n'y est
pas.
"Dans un ensemble totalement ordonn, si I est un intervalle, et si a = inf(I) et b = sup(I)
existent, alors I est un segment contenu dans [a , b] et contenant ]a , b[."
exemple 18
On utilise cet nonc pour identifier tous les intervalles de R ou de N.
La condition "totalement ordonn" est importante : par exemple, pour N
*

muni de l'ordre de la division, on peut utiliser les notions (sur lesquelles
on reviendra) de plus grand diviseur commun (PGCD) et plus petit
multiple commun (PPCM) d'une famille finie d'entiers.
Ainsi, un intervalle fini de cet ensemble ordonn a une borne suprieure
(PPCM) et une borne infrieure (PGCD), pourtant :
{2, 3, 5, 7} est un intervalle car ses lments ne sont pas lis par la
relation d'ordre (aucun n'est divisible par un autre), on voit que :
1 = PGCD(2, 3, 5, 7), et 210 = PPCM(2, 3, 5, 7),
mais {2, 3, 5, 7} ]1 , 210[.
exemple 19
( traiter)
Dans (P({1, 2, 3}), ), vrifier que I = {{1}, {2}, {2, 3}} est un
intervalle. Est-ce un segment ?
# rponse
Les seuls lments comparables sont {2} et {2, 3}. Aucun lment n'est
strictement compris entre les deux. L'ensemble I est bien un intervalle.
30

Le seul majorant de I est {1, 2, 3}, c'est sup(I). Le seul minorant est ,
c'est inf(I). Ces lments n'appartiennent pas I, donc, si I est un
segment, on a :
I = ] , {1, 2, 3}[, ce qui est faux, bien sr.

2-3 Entiers
"Soit E un ensemble totalement ordonn, et x, x' des lments de E. On dit que x' est le
successeur de x, et on note x'= succ(x), si x < x' et si le segment ]x , x'[ est vide ; on
dfinit de mme le prdcesseur de x, not pred(x)."
exemple 20
Dans P({1, 2, 3}), {1}, ] , {1}[ est vide, {2}, ] , {2}[ est
vide, de mme pour {3}. On voit ici l'utilit de la condition "totalement
ordonn" pour que le successeur soit bien dfini s'il existe.
Dans Z, ou N, avec l'ordre usuel, on voit que le successeur d'un
lment n existe, c'est n+1 (selon le point de vue, ce peut tre la
dfinition de n + 1).
exemple 21
( traiter)
Dans Q, le nombre 0 a-t-il un successeur, un prdcesseur ?
Gnraliser.
# rponse
Si un successeur existe, soit
p
q
.
On voit que si
p
q
> 0, alors 0 
a
b
. On vrifie que
ad + bc
2bd
est entre ces deux nombres. Il n'existe donc aucun successeur
dans Q.
"Soit E un ensemble totalement ordonn. On dit que E est bien ordonn (BO) si toute
partie non vide A de E admet un plus petit lment min(A)."
exemple 22
Dans E = {2
n
| n naturel}, ordonn par division, toute partie non vide a
un plus petit lment : il suffit de prendre l'lment 2
k
, k tant le plus
petit exposant utilis dans cette partie.
Cet ensemble est bien ordonn.
NB : ceci repose en fait sur la dfinition axiomatique de N, puisqu'on
admet implicitement dans ce raisonnement que l'ensemble des exposants
a un plus petit lment.
exemple 23
( traiter)
Soit A = {
1
n
| n est l'oppos d'un naturel non nul}. Vrifier que A,
ordonn par l'ordre usuel de Q, est bien ordonn.
# rponse
Soit B une partie non vide de A. Soit B' l'ensemble des opposs des
dnominateurs des lments de B. C'est une partie non vide de N. Soit m
son plus petit lment.
Si
1
n
B, n > m, donc
1
n
>
1
m
,
32

de plus m B', donc
1
m
B,
donc
1
m
= min(B).
A est bien ordonn.
"Soit E un ensemble bien ordonn. On dit que E est naturellement bien ordonn (NBO)
si tout lment de E, sauf min(E), a un prdcesseur."
exemple 24
Les parties finies de (Z, ) sont naturellement bien ordonnes.
exemple 25
( traiter)
Dans Z, tout lment a un prdcesseur (pred(n) = n 1). Est-ce un
ensemble naturellement bien ordonn ?
# rponse
Non, car Z n'est pas bien ordonn : certaines parties n'ont pas de plus
petit lment (Z par exemple).
"Soit P : N {vrai, faux} une proprit. Soit a un lment de N. On dit que P est
rcursive partir de a si pour tout x de N suprieur ou gal a on a l'implication : si
P(x) = vrai, alors P(succ(x)) = vrai."
exemple 26
Soit P la proprit :
"le nombre de parties d'un ensemble n lments est 5.2
n
."
33

Cette proprit est rcursive partir de 0 : on voit facilement que le
nombre de parties d'un ensemble n+1 lments est le double de celui
d'un ensemble n lments (voir exemple 28).
Remarquer que cette proprit est rcursive partir de 0, mais fausse :
(P(0) = faux).
exemple 27
( traiter)
Vrifier que la proprit "La somme des n premiers entiers naturels est
gale
n
2
2
+
n
2
+
1
2
" est rcursive partir de 1.
# rponse
Supposons la proprit vraie pour n. La somme des n + 1 naturels est
alors :
n
2
2
+
n
2
+
1
2
+ n + 1.
Or
n +1 ( )
2
2
+
n +1
2
+
1
2
s'crit :
n
2
+ 2n +1
2
+
n
2
+
1
2
+
1
2
,
n
2
2
+ n +
n
2
+
1
2
+1.
C'est bien la mme formule, donc la proprit est rcursive.
34

"Soit P une proprit sur N, rcursive partir de a. S'il existe un lment b de N, plus
grand que a, tel que P(b) = vrai, alors P(x) est vrai pour tout x suprieur b."
exemple 28
Le nombre d'lments de l'ensemble des parties d'un ensemble n
lments est 2
n
; si n = 0, c'est vrai (une seule partie, la partie vide).
Supposons le rsultat vrai pour n. Si E est un ensemble n + 1 lments,
on note a l'un d'entre eux. Les parties de E sont de deux types, celles qui
contiennent a, et les autres. Elles se correspondent biunivoquement
puisque toute partie H ne contenant pas a est associe une partie qui
contient a, soit H {a}. Les parties qui ne contiennent pas a sont les
parties de l'ensemble E-{a} qui a n lments. Il y en a 2
n
en tout. Le
nombre de parties de E est donc 2
n
+ 2
n
= 2
n+1
.
D'o, par rcurrence, le rsultat annonc.
exemple 29
( traiter)
La proprit :
"La somme des n premiers entiers naturels est gale
n
2
2
+
n
2
+
1
2
" est-
elle vraie (cf. 27) ?
# rponse
On a vu que cette proprit est rcursive.
Pour n = 1 elle n'est pas vraie, 1 3/2. Elle n'est mme jamais vraie,
puisque le nombre
n
2
2
+
n
2
+
1
2
n'est jamais entier (n(n + 1) est pair donc
n
2
2
+
n
2
entier).
35

Revenant au raisonnement du (27) on voit que toute formule de la forme
n
2
2
+
n
2
+ c est rcursive quel que soit c. Il suffit de choisir c pour que la
proprit soit vraie pour n = 0, soit c = 0. On retrouve une formule bien
connue :
1 + 2 +3 ++ n =
n(n +1)
2
.
"Dans N, toute partie majore a un plus grand lment, les intervalles sont les segments
ferms et les sections finissantes fermes."
exemple 30
Soit I = {n N | n
2
+ 2n + 13 37}.
C'est un intervalle ; en effet la fonction x x
2
+ 2x + 13 est croissante
sur R
+
, donc :
si n
1
, n
2
I et n
1
m n
2
, m
2
+ 2m + 13 n
2
2
+ 2n
2
+13 37.
De plus I est born puisque si n
2
+ 2n + 13 37 , alors n
2
37, donc
n 6. C'est donc un segment ferm.
Le graphe est trac ci-contre (avec MAPLE).

36

Le segment est donc [0 , 4]. La fonction tant monotone, on pouvait aussi
tablir une table de valeurs :

n 0 1 2 3 4 5
13 16 21 28 37

exemple 31
( traiter)
Soit A = {n N | | n
2
+ 6n + 3 | 7}. Est-ce un intervalle ? Vrifier
que c'est une partie majore, et trouver son plus grand lment.
On pourra s'aider d'un graphique, et de calcul numrique.
37

# rponse
Graphiquement :

La partie au-dessous de 7 correspond aux abscisses 0, 6, 7. Ce n'est pas
un intervalle, c'est une partie majore de plus grand lment 7.
Par le calcul, on tablit le tableau de variations de la fonction u dfinie
par :
u(x) = | x
2
+ 6x + 3 |.

x 0 3 +
2x + 6 + 0
x
2
+ 6x + 3 12 0
| x
2
+ 6x + 3 | 12 0 +
La partie A est donc borne.
38

2-4 Anneaux et corps
"Soit (E, T, ) un ensemble muni de deux lois de composition interne. On dit que (E, T,
) est un anneau si 1- (E, T) est un groupe commutatif, 2- est associative et admet un
lment neutre diffrent du neutre de T, 3- est distributive par rapport T."
exemple 32
Les anneaux usuels sont (Z, +, ), (Q, +, ), (R, +, ), (C, +, ).
On en rencontrera d'autres (matrices, polynmes, suites).
L'ensemble Z[x] des fonctions sur R, polynomiales coefficients entiers
relatifs, est un anneau, par exemple, pour les oprations usuelles
d'addition des fonctions, et de multiplication des fonctions. L'lment
neutre de l'addition est la fonction 0, l'lment neutre de la multiplication
est la fonction constante gale 1.
exemple 33
( traiter)
Appelons A l'ensemble des endomorphismes de (R
2
, +), c'est--dire
des applications u de R
2
dans lui-mme qui ont la proprit suivante :
pour tout couple de vecteurs (V, W) du plan, u(V + W) = u(V) + u(W).
On dfinit l'addition de deux endomorphismes comme d'habitude :
(u + v) (X) = u(X) + v(X) pour tout vecteur X.
On considre une seconde loi interne (le vrifier) dans A, la composition
des applications :
uov (X) = u(v(X)).
Vrifier que (A, +, o) est un anneau.
Questions identiques si on considre B, ensemble de toutes les
applications du plan dans lui-mme, avec les mmes oprations.
39

# rponse
(A, +) est un groupe commutatif : l'opration + est dfinie partir de
l'addition des vecteurs, qui est une loi de groupe commutatif. Il n'y a
aucun problme de vrification. De mme, il est facile de voir que
l'opration o est interne.
L'opration o est associative ; pour tout vecteur X :
uo(vow)(X) = u(v(w(X))) = uov(w(X)) = (uov) ow(X).
Pour la distributivit ; pour tout vecteur X :
uo (v + w)(X) = u(v(X) + w(X)),
= u(v(X)) + u(w(X)),
= uov(X) + uow(X).
L'lment neutre pour o est l'application identique id(X) = X pour tout X
du plan.
(A, +, o) est un anneau.
Pour B, on voit facilement que toutes les vrifications subsistent, sauf la
distributivit, qui utilise le fait que u est un endomorphisme. (B, +, o)
n'est donc pas un anneau.

40

"Soit (E, T, ) un ensemble muni de deux lois de composition interne. On dit que (E, T,
) est un corps si 1- (E, T, ) est un anneau commutatif, 2- Tout lment de E sauf le
neutre de T a un symtrique pour ."
exemple 34
Les corps que l'on utilise souvent au niveau de la Licence sont les
corps de nombres : Q, R, C. On rencontrera, par exemple dans certaines
rsolutions d'quations par MAPLE, des "extensions" du corps des
rationnels : ce sont des corps contenant Q, et contenus dans C, ou dans R.
Notons Q[i] l'ensemble des nombres (complexes) de la forme p + iq, o p
et q sont des rationnels, et i dsigne le complexe de module 1 et
argument /2, comme d'habitude.
Ce sous-ensemble de C est stable par les deux oprations de
multiplication et d'addition. On peut donc examiner la question :
(Q[i], +, ) est-il un corps ?
On va voir que oui :
Il est clair que les proprits des oprations telles que associativit,
commutativit, distributivit, subsistent puisqu'elles ne sont pas relatives
au contexte.
(Q[i], +) est un sous-groupe de (C, +) ; il est non vide et :
(a + i b) (p + iq) = (a p) + i (b q),
si a, b, p, q sont des rationnels, alors a p et b q galement.
Tout lment de Q[i] autre que 0 a un inverse dans Q[i] ; l'inverse de
p + iq dans C est :
p iq
p
2
+ q
2
,
soit :
p
p
2
+ q
2
i
q
p
2
+ q
2
,
41

c'est bien un lment de Q[i].
exemple 35
( traiter)
Un autre exemple de corps se rencontre en arithmtique, et joue un
rle important dans les applications comme la cryptographie : il s'agit des
corps finis.
Appelons K l'ensemble {0, 1, 2, 3, 4} muni de deux oprations, + et ,
supposes commutatives, et dfinies par les tables ci-dessous.
On admettra que ces oprations sont associatives, et distributive par
rapport +.
Vrifier que cet ensemble K de 5 lments est bien un corps.

+ 0 1 2 3 4
0 0 1 2 3 4
1 1 2 3 4 0
2 2 3 4 0 1
3 3 4 0 1 2
4 4 0 1 2 3

0 1 2 3 4
0 0 0 0 0 0
1 0 1 2 3 4
2 0 2 4 1 3
3 0 3 1 4 2
4 0 4 3 2 1

42

# rponse
On constate en effet que K est un anneau commutatif.
Dans la seconde table, on vrifie que dans chaque ligne autre que celle de
0, l'lment neutre 1 apparat, ce qui signifie que les lments diffrents
de 0 sont inversibles pour . L'ensemble K est bien un corps.

2-5 Les nombres rels
"On appelle groupe ordonn un groupe (G, T) muni d'une relation d'ordre compatible
avec T, c'est--dire telle que pour tout x, tout y, tout x', tout y' de G on ait l'implication x
y et x' y' entrane x T x' y T y' (on peut composer des ingalits)."
exemple 36
Vous connaissez dj des groupes ordonns :
(Z, +, ), (Q, +, ), (R, +, ) par exemple,
o on ajoute membre membre des ingalits.
Les groupes de la forme F(A, G), ensemble des applications d'un
ensemble A quelconque dans un groupe ordonn G, sont galement de
faon naturelle des groupes ordonns.
exemple 37
( traiter)
Le groupe multiplicatif (Q
*
, ) des rationnels non nuls est galement
un ensemble ordonn. Est-ce un groupe ordonn ?
Examiner la mme question pour le groupe multiplicatif (R
+*
, ) des rels
strictement positifs.
43

# rponse
Peut-on multiplier membre membre des ingalits ? On sait bien qu'en
gnral, cela conduit un rsultat faux (c'est une erreur classique) :
2 1,
3 1, "donc" 6 1.
Par contre, lorsqu'il s'agit de nombres strictement positifs, il n'y a plus de
difficult.
"On dit qu'un groupe (G, T, ) totalement ordonn, d'lment neutre e est archimdien,
si pour tout x tel que e < x, et tout y de G, il existe un entier n tel que y < x
n
."
exemple 38
Reprenons les groupes ordonns de l'exemple 32 :
(Z, +, ) est totalement ordonn.
Si x > 0, et y sont des relatifs, existe-t-il un entier n tel que y < n.x ?
Intuitivement, la rponse est affirmative. On peut effectivement le
dmontrer partir des axiomes de dfinition de N.
Ce groupe est bien archimdien.
exemple 39
( traiter)
Le groupe additif des rationnels est-il archimdien ?
Et le groupe multiplicatif des rationnels strictement positifs ?
# rponse
Soit
p
q
un rationnel strictement positif, et
r
s
un rationnel. On suppose p,
q, s strictement positifs, ce qui est toujours possible.
44

Peut-on trouver un multiple entier du premier, qui soit suprieur au
second. C'est vident si
r
s
est ngatif ou nul.
Si
r
s
est positif, on doit rsoudre l'inquation :
nps > qr.
On voit donc que cela est possible, puisque (Z, +) est archimdien.
Le groupe additif des rationnels est archimdien.
Pour le groupe multiplicatif des rationnels strictement positifs, il faut
rsoudre le problme suivant :
tant donn
p
q
strictement plus grand que 1, et
r
s
,
existe-t-il une puissance de
p
q
qui dpasse
r
s
?
Ici encore, on peut, premire vue, dire que c'est bien le cas puisque, si
x > 1, x
n
tend vers l'infini, donc dpasse n'importe quel rationnel fix
l'avance.
On peut cependant se demander comment on prouve que :
si x > 1, x
n
tend vers l'infini (laiss au lecteur).

"Un anneau (A, +, ) muni d'une relation d'ordre est ordonn si le groupe (A, +) est
ordonn, et si de plus on a l'implication : si x 0 et y 0 alors x.y 0. Si A est un
corps, on dit que c'est un corps ordonn s'il est totalement ordonn."
exemple 40
L'anneau des entiers relatifs est un anneau ordonn, de mme l'anneau
des rationnels. Bien noter que, dans le cas d'un corps, cela ne suppose pas
que le groupe multiplicatif des lments non nuls (diffrents de l'lment
neutre de l'addition) soit un groupe ordonn. La condition est plus faible.
45

exemple 41
( traiter)
On a vu qu'il existe des corps finis, par exemple :
Z/3Z = {0, 1, 2}.
En envisageant tous les cas possibles, vrifier que cet ensemble ne peut
pas tre un corps ordonn.
# rponse
Un corps ordonn est totalement ordonn, donc il faut voir toutes les
faons d'ordonner totalement un ensemble trois lments :
a) 0 < 1 < 2,
b) 0 < 2 < 1,
c) 1 < 0 < 2,
d) 1 < 2 < 0,
e) 2 < 1 < 0,
f) 2 < 0 < 1.
Compatibilit avec + : (rappel 3 = 0)
a) 0 < 1 et 1 < 2 entrane 1 < 3 donc 1 < 0, mais 1 0. Cas impossible.
b) 0 < 2 et 2 < 1 entrane 2 < 3 donc 2 < 0, mais 2 0. Cas impossible.
c) 1 < 2 et 1 < 2 entrane 2 < 4 donc 2 < 1, mais 2 1. Cas impossible.
d) 1 < 2 et 2 < 0 entrane 3 < 2 donc 0 < 2, mais 2 0. Cas impossible.
e) 2 < 1 et 2 < 1 entrane 4 < 2 donc 1 < 2, mais 2 1. Cas impossible.
f) 0 < 1 et 0 < 1 entrane 0 < 2 donc 0 < 2, mais 2 0. Cas impossible.

Ce corps n'est pas ordonn.
NB : en fait on n'a utilis que la structure de groupe ordonn. On voit que
ce groupe ne peut pas tre totalement ordonn.
46

"Dans un anneau totalement ordonn, pour tout lment a, le carr a
2
est suprieur ou
gal 0."
exemple 42
C'est videmment une proprit bien connue et souvent utilise dans les
corps ordonns usuels (rationnels, rels).
Remarquer que cela exclut que le corps des complexes soit un corps
ordonn, quelle que soit la structure d'ordre qu'on pourrait y dfinir : on
devrait avoir les ingalits :
1
2
> 0,
i
2
> 0,
soit :
1 > 0,
1 > 0, d'o :
0 > 0.
exemple 43
( traiter)
Utiliser ce rsultat pour prouver que Z/3Z ne peut pas tre un corps
ordonn.
Gnraliser un corps Z/pZ.
# rponse
On devrait avoir :
1 > 0, donc 1 < 0.
(cf. le cas des complexes). Mais 1 = 2 = 1 + 1 donc -1 > 0.
Dans le cas gnral, 1 = p 1 = 1 + 1 + + 1 > 0, on conclut de
mme.
47

"Il existe un unique corps totalement ordonn (R, +, ) ayant la proprit suivante :
Toute partie non vide majore de R a une borne suprieure dans R."
exemple 44
L'ensemble :
E = {x R | x
2
< 3},
est major, par 2 par exemple : si x > 2, x
2
> 4, donc x n'appartient pas
E. Il en rsulte (comme R est totalement ordonn) que si x est dans E,
alors x 2.
Soit b la borne suprieure de E.
C'est un nombre positif puisque 0 est dans E. Si b
2
3, on tudie les deux
autres cas :
b
2
< 3,
b
2
> 3.
Dans le premier cas, b est le plus grand lment de E. Or, on peut trouver
n assez grand pour que (b +
1
n
)
2
< 3, donc (b +
1
n
) est un lment de E,
ce qui est une contradiction.
Dans le second cas, b n'est pas un lment de E. On peut trouver n assez
grand pour que (b
1
n
)
2
> 3, donc (b
1
n
) est un majorant de E infrieur
b, ce qui est galement une contradiction.
Il en rsulte que b
2
= 3.
L'existence d'une borne suprieure entrane l'existence d'une racine carre
pour 3. On montrerait de la mme faon l'existence d'une racine n-me.
(Les arguments dvelopps ci-dessus reposent sur le fait que R est
archimdien, ce que nous vrifierons en exercice, cf. exercice 18.)
48

exemple 45
( traiter)
L'existence de bornes suprieures entrane l'existence de nombres
irrationnels, c'est--dire n'appartenant pas Q. Vrifier, par un
raisonnement par l'absurde, que la borne suprieure b ci-dessus ne peut
tre gale une fraction irrductible
p
q
.
On montrera que p est divisible par 3 (raisonner dans le corps Z/3Z),
puis, aprs simplification, que q est galement divisible par 3, d'o une
contradiction.
# rponse
On devrait avoir :
p
2
= 3 q
2
, donc,
p
2
= 0 dans le corps Z/3Z,
donc p = 0 dans le corps Z/3Z.
Il existe un entier p' tel que :
p = 3 p', d'o,
3 p'
2
= q
2
,
et par le mme raisonnement q est divisible par 3, ce qui contredit le fait
que la fraction
p
q
est irrductible.
On trouve par cet argument trs classique que 3 n'est pas un nombre
rationnel.
49

"Partie entire d'un rel : pour tout rel a, il existe un unique entier n tel que n a <
n+1, cet entier est appel la partie entire de a, et note E(a), ou [a]."
exemple 46
La partie entire n'est pas la partie "avant la virgule" dans l'criture
d'un rel, du moins dans le cas des rels ngatifs :
E( 12, 345) = 13,
E(11, 0034) = 11.
exemple 47
( traiter)
Partie entire et oprations ; en prenant d'abord des exemples, voir si
les relations suivantes sont vraies ou non :
E( a) = E(a),
E(a + b) = E(a) + E(b),
E(a.b) = E(a).E(b).
# rponse
Pour la premire :
E( 12, 345) = 13,
E(12, 345) = 12.
La relation est donc fausse.
Pour la seconde :
E(0, 6) = 0,
E(0, 7) = 0,
E(1, 3) = 1.
La relation est donc fausse en raison des retenues.
Pour la dernire :
E(2, 5) = 2,
50

E(2, 6) = 2,
E(6, 5) = 6.
La relation est galement fausse.
Dveloppement dcimal d'un rel, l'ordre n : pour tout rel a, et tout entier n, il existe
un unique rationnel D
n
tel que 10
n
D
n
est entier, et D
n
a < D
n
+ 10
n
, ce nombre
rationnel est appel le dveloppement dcimal l'ordre n de a.
exemple 48
On fera la mme remarque que pour la partie entire, en ce qui concerne
les rels ngatifs :
a = 1, 23456 ;
D
2
(a) = 1, 24 ;
b = 0, 6543 ;
D
2
(a) = 0, 65.
exemple 49
( traiter)
La partie entire est un cas particulier de dveloppement dcimal. On
peut donc prvoir que l'criture du dveloppement dcimal d'une somme,
d'un produit, d'un oppos n'est pas immdiate. Illustrer ce phnomne,
pour les dveloppements l'ordre 2, par des exemples.
# rponse
Exemple 1 :
D
2
( 1, 2367) = 1, 24,
D
2
(1, 2367) = 1, 23 D
2
( 1, 2367) .
Exemple 2 :
D
2
(1, 278) = 1, 27,
51

D
2
(0, 356) = 0, 35,
D
2
(1, 634) = 1, 63 1, 62.
Exemple 3 :
D
2
(1, 278) = 1, 27
D
2
(0, 356) = 0, 35.
Ici, le produit des dveloppements dcimaux n'est pas un dveloppement
dcimal l'ordre 2 :
1, 27 0, 35 = 0, 4445.
D'ailleurs :
D
2
(0, 4445) = 0, 44 D
2
(1, 278 0, 356) = D
2
(0, 454968) = 0, 45.
"Dans R, les intervalles sont les segments, les sections finissantes ou commenantes, et
R."
exemple 50
L'ensemble :
E = {x R | x
2
< 3},
utilis plus haut est un intervalle.
Si y et x sont des lments de E, avec x < y, et si z est un rel vrifiant :
x < z < y,
alors on doit distinguer diffrents cas.
() x 0. On peut lever ces ingalits au carr membre membre (R
est un corps ordonn), d'o :
x
2
< z
2
< y
2
< 3,
donc z est dans E.
() y 0. On obtient des ingalits quivalentes en multipliant par 1 :
x > z > y 0,
on conclut comme dans le premier cas en levant au carr.
52

() x < 0 < y. On procdera de mme selon la position de z par
rapport 0.
Cet intervalle born est un segment :
E = ] 3 , 3 [.
exemple 51
( traiter)
Soit F l'ensemble :
F = {x R | x 0, et x
2
+ x 2}.
Vrifier que c'est une section finissante. Dterminer min(F).
# rponse
C'est un intervalle ; si x est dans F et x' > x, alors :
x'
2
+ x' x
2
+ x 2,
donc x' est galement un lment de F.
Cette partie est borne infrieurement (par 0) et non borne
suprieurement (tout rel suprieur 2 est dans F), c'est donc une section
finissante.
On voit que 1 est un lment de F, et qu'un rel strictement infrieur 1
n'est pas dans F, puisque :
0 x < 1 0 x
2
< 1 x + x
2
< 1.
Donc 1 = min(F) et :
F = [1 ,.[ (not le plus souvent [1 , +[).

53

indications pour rsoudre - mthode - lexique
3 Pour Comprendre
et Utiliser
3-1 noncs des exercices
Majorer, minorer, chercher le plus grand (ou plus petit)
lment d'un ensemble ordonn, la borne suprieure
(infrieure). Savoir raisonner dans un ensemble
totalement ordonn, non totalement ordonn. Utiliser la
monotonie des applications. Reconnatre un intervalle, un
segment. Ensembles bien ordonns. Faire une rcurrence.
exercice 1
Soit E un ensemble ordonn. Dans E soient A et B des parties majores.
1) On suppose d'abord que A et B ont un plus grand lment () ainsi
que A B et A B. Quelle relation y-a-t-il entre max(A B),
max(A B), max(A) et max(B) ? ()()
2) Si on suppose que A et B ont une borne suprieure dans E, ainsi que
A B et A B, tablir des relations entre sup
E
(A B), sup
E
(A B),
sup
E
(A), sup
E
(B).()()
exercice 2
Soient E et F des ensembles ordonns. On note les relations d'ordre
dans ces deux ensembles.
1) On appelle ordre produit sur E F la relation dfinie par :
54

(x, y)
P
(s, t) si (x s et y t).
Dmontrer que cette relation est bien une relation d'ordre.
On suppose ici E et F totalement ordonns (), (E F,
P
) est-il
totalement ordonn ? () Cette dfinition s'tend sans difficult un
produit quelconque d'ensembles ordonns.
2) On appelle ordre lexicographique sur E F la relation dfinie par :
(x, y)
L
(s, t) si (x s et x s) ou (x = s et y t).
Dmontrer que cette relation est bien une relation d'ordre.()
Si on suppose E et F totalement ordonns, montrer que (E F,
L
) est
totalement ordonn.()
3) Un exemple : N N. On munit N de la relation d'ordre usuelle.
On considre d'une part l'ordre lexicographique, et d'autre part l'ordre
produit.
Pour ces deux ordres respectivement, quelle est la section finissante
ferme () [(3, 4) , [, la section commenante () ], (3, 4)] ,
le segment ferm () [(1, 2) , (7, 6)].
On prcisera dans chaque cas si ces ensembles sont finis ou infinis.
Le segment [(3, 4) , (5, 2)] est-il dfini ?
On note p et q les projections de N N sur N :
p(x, y) = x, q(x, y) = y.
Ces applications sont-elles monotones () (on distinguera le cas de
P

de celui de
L
.)
4) Un autre exemple : Z Z. On munit Z de la relation d'ordre usuelle, et
Z Z de l'ordre lexicographique.
Soit A = {(n, m) | n 4, m 2}.
Quel est l'ensemble des minorants de A ?
L'ensemble A a-t-il un plus petit lment ? () L'ensemble compl-
mentaire de A a-t-il un plus grand lment ? L'ensemble A est-il un
intervalle () ?
55

Un lment de (Z Z,
L
) a-t-il toujours un prdcesseur ? un
successeur ? () L'ensemble (Z Z,
L
) est-il bien ordonn ? () ().
Vrifier que les parties de la forme [a , [ Z sont des intervalles.
exercice 3
Soit (E, ) un ensemble totalement ordonn.
Examiner les conjectures ()suivantes ()() :
1) Toute partie finie non vide de E est borne.
2) Toute partie borne non vide de E est finie.
3) Toute partie non vide majore de E admet un plus grand lment.
exercice 4
Sur la notion de "treillis".
Un ensemble ordonn est un treillis si la proprit suivante est vraie :
"toute partie 2 lments a une borne suprieure et une borne infrieure".
Parmi les exemples d'ensembles ordonns tudis jusqu'ici, certains sont
des treillis. Citez-les. ()
1) Dmontrer que le produit de deux ensembles totalement ordonns,
muni de l'ordre produit, est un treillis.()
2) Dans un treillis, dmontrer que toute partie finie non vide a une borne
suprieure et une borne infrieure.( )
3) Dfinir une bijection croissante entre le treillis des parties de {1, 2, 3},
ordonn par l'inclusion, et le treillis form du cube {0, 1}
3
, ordonn par
l'ordre produit (l'ensemble {0, 1} tant ordonn par 0 1). ()
La bijection rciproque est-elle croissante ?
4) Gnraliser : pour chaque entier naturel n, dfinir une bijection
croissante
n
entre P({1, 2, , n}) et {0, 1}
n
. ()
Si pr
i
dsigne la projection de {0, 1}
n
sur son facteur numro i :
pr
i
: (a
1
, a
2
, , a
n
) a
i
,
56

caractriser l'application compose pr
i
o de P({1, 2, , n}) dans {0, 1}.
exercice 5
Dans cet exercice, on note E
n
le n-cube {0, 1}
n
. L'ensemble {0, 1} tant
ordonn par 0 1, on ordonne E
n
par l'ordre lexicographique.
1) On tudie d'abord le cas n = 3. On associe chaque lment (a
0
, a
1
, a
2
)
de E
3
l'entier :
b
3
(a
0
, a
1
, a
2
) = a
2
+ 2a
1
+ 4a
0
.
Quelles sont les valeurs prises par b
3
?
Vrifier que b
3
est une bijection croissante de E
3
sur le segment [0 , 7] de
l'ensemble N. A quoi correspond la bijection rciproque ? ()
Est-elle croissante ?
2) Gnraliser : dfinir une application injective b
n
de E
n
dans N.
Dterminer quelle est son image.
exercice 6
Sur la notion d'arbre.
Un arbre est un ensemble ordonn fini o toute partie 2 lments a une
borne infrieure, et aucune partie 2 lments non comparables n'a de
majorant. On appelle "feuille" un lment de l'arbre qui n'a pas d'lment
plus grand que lui. On appelle "nud" les autres lments.
Vrifier que lorsqu'on supprime une feuille dans un arbre, l'ensemble
complmentaire est encore un arbre.
1) Dessiner tous les arbres 3, 4, 5 lments.()
2) Dmontrer que, dans un arbre, toute partie non vide a une borne
infrieure (). En particulier, l'ensemble a un plus petit lment
(expliquer pourquoi ?). On l'appelle la "racine" de l'arbre.
57

3) Dmontrer que, dans un arbre, toute partie non vide majore est
totalement ordonne (). Dduire que toute partie non vide majore a un
plus grand lment. ()
Dmontrer que, dans un arbre, tout lment, sauf le plus petit, a un
prdcesseur ().
4) Soit a un lment de l'arbre (A, ). Expliquer pourquoi l'ensemble :
B(a) = {x A | x a},
est un ensemble non vide totalement ordonn.
Le nombre d'lments de B(a) est appel la "hauteur" de a, note h(a).
Dmontrer que deux lments a et b, tels que a b et h(a) = h(b) ne sont
pas comparables () ().
Calculer h(pred(x)) en fonction de h(x).
5) On suppose (par commodit) que dans l'arbre A, il n'y a pas plus de 10
nuds ou feuilles de hauteur donne. On numrote les lments de A de
la manire suivante, par rcurrence : la racine est numrote 1. Les
lments de hauteur 1 sont numrots 10 19 (au maximum). Pour les
lments de hauteur 2, on numrote de 100 109 ceux qui sont prcds
par 10, etc.
Plus prcisment, 10 u(pred(x)) + 9 u(x) 10 u(pred(x)).
tablir la relation () : 2 10
h(x)
1 u(x) 10
h(x)
.

Vrifier qu'on dfinit ainsi une bijection croissante u de A sur un
ensemble totalement ordonn. On remarquera que A n'est, en gnral, pas
totalement ordonn. Appliquer cette mthode, par exemple, aux arbres
dessins au dbut.
exercice 7
tudier la conjecture () suivante :
Soit f : (E, ) (F, ) une bijection croissante.
La bijection rciproque g de f est une application croissante ().
58

exercice 8
Quelques proprits lmentaires des applications monotones
(croissantes pour fixer les ides). On pourra utiliser, pour tester les
rponses, les trois applications suivantes : il n'est pas interdit d'imaginer
d'autres applications si ncessaire.
f
1
: N N, x 2
x
,
f
2
: R
+
N, x E(x) (partie entire),
f
3
: R
+
R
+
, x x 1+E(x).
Soit f : (E, ) (F, ) une application croissante entre des ensembles
ordonns. tudier les conjectures () suivantes :
1) Si A est une partie de E qui a un plus grand lment, alors f(A) a un
plus grand lment et max(f(A)) = f(max(A)).( )
2) Si A est une partie de E qui a une borne suprieure () dans E, alors
f(A) a une borne suprieure dans F, et sup
F
(f(A)) = f(sup
E
(A)) ()( ).
3) On suppose E totalement ordonn. Soit a E. On suppose que le
successeur de a existe, ainsi que le prdcesseur. Dans ce cas, f(a) a un
successeur et succ(f(a)) = f(succ(a)) ().
De mme, f(pred(a)) = pred(f(a)).
4) Supposons de plus f surjective : si E est Bien Ordonn (), alors F
aussi. Si E est NBO () alors F aussi.
Calculer dans un anneau, un corps.
exercice 9
Quelques proprits lmentaires des anneaux et corps () () :
1) Soit (K, +, ) un ensemble muni de deux lois internes.
On suppose que (K, +) est un groupe, on note 0 son lment neutre.
On suppose que (K{0}, ) est un groupe.
59

On suppose enfin que la loi est distributive par rapport + gauche et
droite.
Dmontrer que (K, +, ) est un corps.()()
2) Dans un anneau () (A, +, ), on note 1 l'lment neutre de , et 1
son oppos.
tablir les galits :
(1) a = a (1),
a a = (a) (a).
3) Dans un anneau commutatif, tablir la "formule du binme" :
a, b (a + b)
n
= a
n
+ C
n
1
b.a
n1
+ + C
n
p
b
p
.a
np
+ + b
n
.
4) Si l'anneau n'est pas commutatif, dvelopper (a + b)
2
, (a + b)
3
.
exercice 10
Quelques proprits des anneaux Z/nZ () :
1) Soit n un naturel strictement plus grand que 1.
Vrifier que la relation (dite de congruence modulo n) :
x R y si x y est divisible par n,
est une relation d'quivalence sur Z.
On dit que x est congru y modulo n.
On note Z/nZ l'ensemble quotient.
2) Vrifier que l'addition et la multiplication de Z sont compatibles ()
avec la congruence modulo n. On en dduira que le quotient est un
anneau commutatif.
3) Premier exemple : n = 5.
crire la table de multiplication de Z/5Z {0}.
Rechercher les diviseurs de 0 (), les lments nilpotents (), les
lments inversibles (). Cet anneau est-il un corps ?
4) Deuxime exemple : n = 6.
Rpondre aux mmes questions.
60

5) Troisime exemple : n = 8.
Rpondre aux mmes questions.
Ces rsultats seront repris en arithmtique et on verra un nonc gnral.
6) Dans chacun de ces anneaux, rsoudre les quations ()() :
X
2
= 1,
X
2
= 1,
X
2
4 X+ 1 = 0, X
n1
= 1.
exercice 11
Quelques exemples d'anneau obtenus par extension de Z, et de corps
obtenus par extension de Q.()
Soit t un complexe, non rationnel. On pose :
Z[t] = {a + bt | a, b Z},
Q[t] = {a + b t | a, b Q}.
1) Soit x un lment de Q[t]. Dmontrer qu'il s'crit de manire unique
sous la forme x = a + b t, avec a, b des rationnels.()
On suppose que t est solution d'une quation du second degr
coefficients entiers du type :
t
2
+ pt + q = 0,
Calculer en fonction de t, p, q les expressions de t
2
, t
3
, t
4
.
Dmontrer que Z[t] et Q[t] sont des anneaux. ()
2) Exemple de l'anneau Z[i], et de Q[i].
Chercher les lments de Z[i] inversibles dans cet anneau ().
On a vu que Q[i] est un corps (exemple 34).
3) Exemple de l'anneau Z[ 3 ], et de Q[ 3 ].
On suppose a et b rationnels.
Montrer que le produit (a + b 3 )(a b 3 ) est un rationnel et qu'il ne
peut tre nul que si a et b sont nuls. En dduire que Q[ 3 ] est un
corps.()
61

4) Trouver des couples d'entiers (a, b), avec b 0, tels que a
2
3 b
2
, soit
gal 1 ou 1 ().
Dduire, dans Z[ 3 ], des exemples d'lments inversibles (), non
entiers.
5) On revient au cas gnral. Dmontrer que t est inversible dans Q[t],
donner l'expression de son inverse. ()
Soit t' l'autre racine de X
2
+ p X + q = 0.
Pourquoi est-elle diffrente de t ? Montrer que cette racine appartient
Z[t].
On suppose a et b rationnels. Montrer que le produit (a + bt)(a + bt') est
un rationnel et qu'il ne peut tre nul que si a et b sont nuls. En dduire
que Q[t] est un corps.()
exercice 12
Endomorphismes () de Q.
1) Soit f une application de Z dans lui-mme.
On suppose qu'elle vrifie les proprits :
f(a + b) = f(a) + f(b), f(ab) = f(a)f(b).
Calculer f(0), f(a), f(k.a) pour k et a entiers relatifs.
Supposer f(1) = 0. Dmontrer que f(x) = 0 pour tout x.
Supposer f(1) 0. Dmontrer que f(1) = 1, puis que f est l'identit de Z.
2) On suppose maintenant que f est un homomorphisme d'anneaux ()
de Q dans lui-mme, ayant les mmes proprits.
Dmontrer que f est l'identit de Q.()
exercice 13
Sur la notion de noyau () d'un homomorphisme.
(Le dbut a dj t propos dans le volume 1, il est repris ici comme
prliminaire.)
62

1) Soit h : A --. B un homomorphisme de groupes (). On note
indiffremment e l'lment neutre de A et de B, et par un point (".")
l'opration de A et de B. On appelle H l'ensemble :
H = {a A | h(a) = e}.
Dmontrer que H est un sous-groupe de A.
On l'appelle le "noyau" de h.
Vrifier que si u H, pour tout g A, g.u.g
1
H.
Dmontrer que h est injectif () si et seulement si son noyau ne
contient que l'lment neutre.()
2) Soit maintenant h : A B un homomorphisme d'anneaux ()( ).
C'est en particulier un homomorphisme de groupes, et il a un noyau H,
qui est un sous-groupe de (A, +). On note + et les oprations d'anneaux.
Dmontrer que H a la proprit suivante () :
si a A et u H, alors a u H.
(On y reviendra en arithmtique.)
3) Dduire de ce qui prcde qu'un homomorphisme de corps est nul ou
injectif.()
Utiliser l'ordre dans un groupe, un anneau, un corps.
exercice 14
Quelques proprits des groupes commutatifs ordonns.()
Soit (G, +, ) un groupe commutatif ordonn. On note 0 son lment
neutre, et pour tout lment x de G, x son symtrique.
Prliminaire :
a- Dmontrer que pour tout triplet d'lments de G, (g, h, k), on a
l'implication :
si g < h alors g + k < h + k.
63

b- Dmontrer que pour tout quadruplet d'lments de G, (g, h, k, j), on a
l'implication :
si g < h et k < j alors g + k < h + j.
(c'est--dire que la relation x R y si x y et x y, est compatible avec +)

1) On suppose que dans G tout lment est comparable () 0.
On pose :
G
+
= {g G | g > 0},
G
= {g G | g < 0}.
Dmontrer que si g est un lment de G
+
, alors g est un lment de G
(), et rciproquement, et que G

+
et G
sont des parties stables ()

pour + ().
En dduire que si G est un groupe fini, son ordre () est impair.
Dmontrer que G est totalement ordonn ().
2) On suppose que G est un groupe fini, d'ordre strictement suprieur 1.
Dmontrer que G n'est pas totalement ordonn ().
3) On suppose maintenant G totalement ordonn. Dmontrer que dans G,
aucun lment non nul n'est d'ordre fini, en particulier aucun sous-groupe
non trivial () n'est fini ().
On suppose de plus G {0}. Dmontrer que G n'a pas de plus grand
lment, ni de plus petit lment.
4) On suppose G totalement ordonn.
Donner un exemple o G
+
a un plus petit lment (), et un exemple o
G
+
n'a pas de plus petit lment, mais a une borne infrieure ().
On suppose que G
+
a un plus petit lment, soit a. Dmontrer que
a = max(G
). On pose :
H = {g G| a > g}.
Dmontrer que H a un plus petit lment, qui est a + a = 2a.
64

On suppose que G
+
n'a pas de plus petit lment, mais a une borne
infrieure. Dmontrer que inf
G
(G
+
) = 0.
exercice 15
Quelques proprits des anneaux commutatifs totalement ordonns
()().
Soit (A, +, , ) un anneau commutatif totalement ordonn. On note 0
l'lment neutre de +, 1 celui de , a le symtrique pour + de a, a
1
le
symtrique pour de a.
(A, +, ) est un groupe commutatif totalement ordonn. On utilisera les
rsultats de l'exercice prcdent qui s'y appliquent, ainsi que les
notations.
1) Dmontrer que 1 > 0. Plus gnralement, vrifier qu'un lment
idempotent () est dans A
+
().
Soit (a, b, c) un triplet de A. On suppose que a > b et que c est un
lment inversible suprieur 0. Dmontrer que a c > b c.
2) Soit a un lment inversible () de A, on suppose que a est dans A
+
.
Dmontrer que a
1
est galement dans A
+
().
Soit (a, b) un couple d'lments inversibles de A
+
. On suppose a > b.
Dmontrer b
1
> a
1
.
Si a > 1, dmontrer que a
1
< 1, et 0 < a
1
.
3) On suppose que A est un corps ordonn.
Expliquer pourquoi, si min(A
+
) existe alors min(A
+
) 1.
Dmontrer qu'il existe un lment suprieur 1, en dduire que 1 n'est
pas le plus petit lment de A
+
.
On veut dmontrer que A
+
n'a pas de plus petit lment.
On fait un raisonnement par l'absurde : supposons que min(A
+
) existe,
soit a cet lment. Dduire que A a un plus grand lment. Conclure.

65

Calculer dans le corps ordonn des rels : chercher une
borne suprieure (ou infrieure), majorer, minorer,
utiliser les intervalles.
exercice 16
Quelques relations lmentaires () sur les bornes suprieures () dans
R.
(On pourra crire des relations analogues pour les bornes infrieures.)
Par convention, les bornes suprieures sont calcules dans R.
Dans cet nonc, A et B sont des parties non vides majores de R.
1) Discuter l'existence de sup(A B), sup(A B) et tablir leurs
relations avec sup(A), sup(B).
2) On dsigne par A + B l'ensemble :
{a + b | a A, b B}.
Dmontrer l'existence de sup(A + B). Cette borne suprieure est-elle
gale sup(A) + sup(B) ? ().
3) On suppose de plus que A et B sont des parties de R
+
. On dsigne par
A.B l'ensemble :
{a.b | a A, b B}.
Dmontrer l'existence de sup(A.B), et comparer sa valeur avec
sup(A).sup(B).
exercice 17
Proprits importantes de R.
Il s'agit ici d'tablir quelques proprits "connues" de R, partir de sa
seule caractrisation c'est --dire d'tre un corps ordonn dans lequel :
Toute partie non vide majore () a une borne suprieure.
1) Prliminaire : Soit A un sous-ensemble non vide de R form d'entiers.
On suppose que A admet une borne suprieure S dans R.
66

Expliquer () pourquoi il existe exactement un lment de A appartenant
:
]S
1
2
, S].
Soit N cet lment. Dmontrer que N = max(A), puis que S = N ().
2) R est archimdien ().
Soit a un rel positif, non nul, et b un rel quelconque.
Soit A le sous-ensemble de R :
A = {n | n.a b}.
A peut-il tre vide ?
Si A n'est pas vide, dmontrer qu'il a une borne suprieure, puis que cette
borne suprieure est un plus grand lment. Soit N = max(A). Dmontrer
que (N + 1).a > b. Conclure que R est archimdien ().
3) Dduire de la question prcdente que pour tout rel x il existe () un
unique entier relatif n vrifiant :
n x < n + 1.
(Il s'agit de la partie entire, dont on prouve ainsi l'existence partir des
proprits de base de R.)
4) Soit G un sous-groupe de (R, +). On utilise les notations et rsultats de
l'exercice 14. On suppose que G
+
a un plus petit lment, soit a.
Dmontrer que G = Z.a.
exercice 18
On vrifie que les proprits de dfinition de R impliquent que Q est "de
manire naturelle" un sous-corps de R, distinct de R.
1) On dfinit une application de Z dans R en posant :
(n) = n.1 (dfini par rcurrence).
Dmontrer que cette application est un homomorphisme injectif de
groupes additifs ().
67

2) On dfinit une application de Q dans R en associant une fraction
p
q
le rel (p).(q)
1
.
Pourquoi (q) est-il inversible dans R ? Vrifier que les images de deux
fractions quivalentes () par sont bien gales.
Dmontrer que est un homomorphisme de corps injectif ().
3) On dmontre dans cette question que la borne suprieure dans R de :
{x | x
2
3, x > 0},
n'est pas un rationnel.
Soit S cette borne suprieure. On veut dmontrer d'abord que S
2
= 3.
Si S
2
< 3, dmontrer qu'il existe () un entier n tel que (S +
1
n
)
2
< 3.
Pourquoi est-ce contradictoire avec la dfinition de S ?
Si S
2
> 3, dmontrer qu'il existe un entier n tel que (S
1
n
)
2
> 3.
Pourquoi est-ce contradictoire avec la dfinition de S ?
On s'efforcera de rdiger les arguments partir des proprits de base de
R (existence de borne suprieure) et des proprits qui en ont t tires
dans les exercices prcdents (R archimdien ()).
On sait maintenant que S
2
= 3. Rappeler pourquoi ce n'est pas un
rationnel.
exercice 19
Quelques exemples de recherche de borne suprieure ou de borne
infrieure(). On rdigera le plus prcisment possible les
dmonstrations. Il est conseill de s'aider de dessins pour formuler des
conjectures () sur les bornes. Si une borne est un lment de
l'ensemble, on le signalera.

68

1) L'ensemble tudi est :

A =
n
2
+ n 1
n
2
+ 2
n N

`
)

.
Montrer que pour n assez grand (qu'on prcisera), les lments de A sont
compris entre deux entiers naturels conscutifs (). En dduire que A est
born, et donner un minorant et un majorant de A ().
Dterminer la borne suprieure et la borne infrieure de A ().
2) L'ensemble tudi est :

B =
n + sin(n
2
)
n +1
n N

`
)

.
Montrer que B est born, et donner sa borne suprieure et sa borne
infrieure ().
3) L'ensemble tudi est l'ensemble C des modules des nombres
complexes situs dans la partie du plan dfinie par :

M = z C1 > Re(z) Im(z)} {
.
Reprsenter M. Dire quelles sont les bornes de C (au vu du dessin), puis
dmontrer que ces conjectures sont vraies ().
exercice 20
Soient I et J des parties non vides de R.
On suppose dans tout l'exercice que J domine I, c'est--dire que pour tout
x de I et tout y de J, x y.
On pourra prendre des exemples pour explorer cette situation et celles
constitues par les hypothses complmentaires ci-dessous.
1) Dmontrer que sup
R
(I) et inf
R
(J) existent (). Quelle relation y-a-t-il
entre ces deux rels ? Dmontrer que I J a au plus un lment ().
2) Donner un exemple () o sup
R
(I) = inf
R
(J), et un exemple () o :
sup
R
(I) < inf
R
(J).
69


3) Examiner les conjectures suivantes : ()
si I J = , alors sup
R
(I) < inf
R
(J),
si I J , alors sup
R
(I) = inf
R
(J) = max(I) = min(J).
4) On suppose I J , et que I et J sont des intervalles. La runion
I J est-elle un intervalle ? Examiner la rciproque : si I, J, et I J sont
des intervalles, alors I J . ()
5) On suppose que I J = , et I J = R. Dmontrer que () :
sup
R
(I) = inf
R
(J).

70

3-2 Corrigs des exercices
exercice 1-C
1) Soit a = max(A) et b = max(B), c = max(A B), d = max(A B).
Les lments a et b sont des lments de A B donc sont infrieurs au
plus grand lment de cet ensemble :
a d et b d.
Si max(a, b) existe, on crira :
max(a, b) d.
De la mme faon, c est un lment de A et un lment de B, il est donc
infrieur aux plus grands lments de ces ensembles :
c a et c b.
Si min(a, b) existe, on crira :
c min(a, b).
(QC-1) L'hypothse faite sur A B est-elle superflue ? Autrement dit, si
max(A) et max(B) existent, max(A B) existe-t-il toujours ?
On cherchera des exemples (ou contre-exemples) dans un ensemble
totalement ordonn (R par exemple) et dans un ensemble non totalement
ordonn (N*, |) par exemple.
2) Le raisonnement est un peu diffrent, il faut bien savoir le faire :
Soit a' = sup
E
(A), b' = sup
E
(B), c' = sup
E
(A B), d' = sup
E
(A B).
L'lment a' est le plus petit des majorants () de A. Comme A est une
partie de A B, tout majorant de A B est un majorant de A. La borne
suprieure d' est donc un majorant de A, donc d' a'. De mme d' b'.
Bien noter qu'on n'utilise pas a' A, qui n'est pas toujours vrai. ()

Ici encore, si max(a', b') existe :
max(a', b') d'.
71

Par un raisonnement analogue, on obtient c' a' et c' b'.
(QC-2) Examiner la question analogue QC-1.
exercice 2-C
1) La vrification ne pose aucun problme puisqu'il s'agit de vrifier
sparment pour chaque composante.
Un graphique illustre bien cette relation d'ordre ( entre un plus petit et
un plus grand).

Cette relation est l'vidence non totale, puisqu'il faut que la
comparaison soit dans le mme sens pour les deux coordonnes :
par exemple (1, 2) (3, 4),
mais (1, 2) n'est pas comparable () (2, 1).
2) La relation
L
est une relation d'ordre.
72

Soient x, y, z, t des lments de l'ensemble.
Rflexivit :
(x, y)
L
(x, y) car x = x et y y.
Antisymtrie :
si (x, y)
L
(z, t), et (z, t)
L
(x, y), deux cas sont examiner :
x z, alors x < z et z < x ce qui est contradictoire,
x = z et y t d'une part, x = z et t y d'autre part d'o t = y,
donc (x, y) = (z, t).
Transitivit :
(x, y)
L
(z, t) et (z, t)
L
(u, v).
Diffrents cas sont examiner :
x < z, et z < u, d'o x < u et (x, y)
L
(u, v),
x < z, et z = u, t v, d'o x 1.
De faon gnrale, soit (x, y) et (u, v) des couples, comme est totale, on
a l'un des cas :
x u :
si x u alors (x, y)
L
(u, v),
le cas x = u a dj t vu.
La relation d'ordre
L
est totale.
73

3) Pour l'ordre produit, la section finissante est le produit :
[2 , [ [3 , [.
C'est un ensemble infini.
Dans le cas de l'ordre lexicographique, la section finissante est galement
un ensemble infini. Ce n'est pas un produit :
{2} [3 , [ [3 , .[ N.
Pour l'ordre produit, la section commenante est le produit :
[0 , 3] [0 , 4].
C'est un ensemble fini.
Pour l'ordre lexicographique, la section commenante () n'est pas un
ensemble fini : {3} [0 , 4] [0 , 2] N.
Le segment [(1, 2) , (7, 6)], pour l'ordre produit est l'ensemble fini :
[1 , 7] [2 , 6].
Le segment ferm, pour l'ordre lexicographique, est un ensemble infini :
{1} [2 , [ [2 , 6] N {7} [0 , 6].
Bien entendu, le segment [(3, 4) , (5, 2)] n'est pas dfini dans l'ordre
produit, puisque les extrmits ne sont pas comparables ().
Dans le cas de l'ordre produit :
si (x, y)
P
(x', y') alors p(x, y) p(x', y') et q(x, y) q(x', y').
Ces deux applications sont monotones croissantes ().
Dans le cas de l'ordre lexicographique :
si (x, y)
L
(x', y') alors p(x, y) p(x', y'),
mais q(x, y) et q(x', y') peuvent tre dans un ordre quelconque.
L'application p est croissante, q n'est pas monotone.
4) A = {(m, n) | n 4, m 2} :
Les minorants () de A sont infrieurs (2, 4), donc de la forme (x, y)
avec :
x < 2 ou x = 2, y 4.
74

L'lment ( 2, 4) est le plus petit lment de A : dans A les lments
(u, v) vrifient u 2, et v 4. Les minorants de (2, 4) sont donc les
minorants de A.
Le complmentaire de A n'est pas major, puisqu'il contient des lments
d'abscisse aussi grande qu'on veut, en particulier il n'a pas de plus grand
lment.
Non, A n'est pas un intervalle () : entre (2, 4) et (1, 4) il y a une
infinit d'lments qui n'appartiennent pas A : {1} ] , 4].

Un prdcesseur () de (a, b) est un lment (a', b') tel que :
(a', b') <
L
(a, b),
donc a' = a et b' < b, ou a' < a.
De plus aucun lment n'est compris, au sens strict, entre (a, b) et (a', b').
Mais si a' < a, (a', b') <
L
(a', b' + 1) <
L
(a, b), donc on ne peut pas avoir un
prdcesseur de ce type.
Dans le premier cas, si b' < b 1, (a, b') <
L
(a, b 1) <
L
(a, b) donc (a, b')
n'est pas un prdcesseur.
Enfin entre (a, b 1) et (a, b) il n'y a aucun lment : (a, b 1) est bien le
prdcesseur de (a, b).
Dans l'autre sens, le successeur de (a, b) est (a, b + 1).
Il est facile de voir que Z Z n'est pas bien ordonn () : l'ensemble
lui-mme n'a pas de plus petit lment.

75

exercice 3-C
1) Dans un ensemble totalement ordonn, une partie finie F non vide a un
plus grand et un plus petit lment. On peut le voir par rcurrence sur le
nombre d'lments : soit n le nombre d'lments de F.
Si n = 1 c'est vident.
Supposons la proprit vraie pour un ensemble n 1 lments, soit a un
lment de F. La partie F \ {a} a n 1 lments, soit b son plus petit
lment et c son plus grand lment.
E est totalement ordonn, donc soit a c, max(F) = a, sinon
max(F) = c.
2) Soit a un minorant de la partie F, et b un majorant. La partie F est
contenue dans le segment [a , b]. Il est donc quivalent de voir si, dans E,
tout segment ferm est fini.
C'est vrai dans N, par exemple.
Par contre, on a vu que ce n'est pas vrai dans Z Z, ordonn par l'ordre
lexicographique.
3) L encore, on voit que ce n'est pas vrai dans Z Z, ordonn par l'ordre
lexicographique, ainsi {1} Z est major, par (2, 0) par exemple, et n'a
pas de plus grand lment.
exercice 4-C
Exemples :
a) tout ensemble totalement ordonn est un treillis.
b) si E est un ensemble, P(E), ordonn par inclusion, est un treillis. La
borne suprieure de {A, B} est l'union A B, la borne infrieure est
l'intersection A B.
1) Si E et F sont des ensembles totalement ordonns, soit (x, y) et (z, t)
des lment de E F, et A ={(x, y), (z, t)}.
76

On peut faire des dessins.
Distinguons les cas :
() x z et y t, alors (x, y) = min(A), (z, t) = max(A) ;
() x z et t y, un majorant (u, v) de A vrifie :
x u, z u, y v, t v.
En particulier (z, y) est un majorant, et c'est le plus petit.
De mme, (x, t) est le plus grand minorant.
Les autres cas reviennent changer les rles des deux lments.
2) On dmontre cette proprit par rcurrence. Elle est vraie par
dfinition pour les parties deux lments (ainsi que pour celles un
lment).
Supposons la proprit vraie pour toute partie n 1 lments.
Soit F une partie ayant n lments. Soit a un lment de F, on note G la
partie n 1 lments dfinie par :
G = F \ {a},
et b = inf(G), c = sup(G) (par convention, les bornes sont dfinies dans
E). La partie {a, b} a une borne infrieure, soit b'.
Cet lment b' est infrieur a et b donc tout lment de F, c'est un
minorant de F.
Soit x un minorant de F. Cet lment vrifie :
x a, et :
y G, x y, donc, par dfinition de b :
x b.
Cet lment x est donc un minorant () de {a, b}, donc x b'.
On voit que b' est le plus grand minorant de F, c'est--dire sa borne
infrieure.
On prouve de la mme faon que F a une borne suprieure, qui est :
c' = sup({a, c}).

77

3) Comparons les structures ordonnes de ces deux ensembles (qui ont
bien le mme nombre d'lments).
On voit qu'elles sont semblables ("isomorphes"). Les reprsentations
suggrent la dfinition suivante pour une application
3
de P({1, 2, 3})
dans {0, 1}
3
, qui respecte l'ordre, c'est--dire qui est croissante.
(0, 0, 0),
{1} (1, 0, 0),
{2} (0, 1, 0),
{3} (0, 0, 1),
{1, 2} (1, 1, 0),
{1, 3} (1, 0, 1),
{2, 3} (0, 1, 1),
(1, 2, 3) (1, 1, 1).
En vue de la gnralisation demande dans la question suivante, on
remarque que, si pr
i
dsigne la projection sur le i-me facteur :
pr
i
((a
1
, a
2
, a
3
)) = a
i
,
la bijection u ci-dessus se caractrise par :
pr
i
(
3
(F)) = 1 si i F, et 0 sinon.(i = 1, 2, 3).
La bijection rciproque, soit v, est galement croissante :
v((a
1
, a
2
, a
3
)) = {i | a
i
0}.
4) On gnralise en caractrisant l'application
n
entre P({1, 2, , n}) et
{0, 1}
n
par la mme relation que ci-dessus :
pr
i
(
n
(F)) = 1 si i F, et 0 sinon.(i = 1, 2, , n).
La bijection rciproque est, comme la question 3) :
v((a
1
, , a
i
, , a
n
)) = {i | a
i
0}.
exercice 5-C
1) tableau des valeurs :
78


(0, 0, 0) 0 (1, 0, 0) 4
(0, 0, 1) 1 (1, 0, 1) 5
(0, 1, 0) 2 (1, 1, 0) 6
(0, 1, 1) 3 (1, 1, 1) 7

Il est clair qu'il s'agit d'une bijection croissante. La bijection rciproque,
qui est galement croissante, correspond l'criture d'un entier en base
2 : par exemple 101 est l'criture de 5, 11 l'criture de 3.
Comme de coutume, le chiffre de poids le plus fort est gauche.
2) On gnralise l'application en posant :
b
n
(a
0
, a
1
,, a
n 1
) = a
i
2
n1i
i = 0
i = n1
.
C'est une application strictement croissante : si x et y sont des n-uples,
avec x <
L
y, alors :
b
n
(y) b
n
(x) = (y
i
x
i
)2
n i 1
i=0
i =n 1
.
Dans cette somme, les termes (y
i
x
i
) sont des entiers compris entre 1 et
1, et le premier terme non nul vaut 1.
Or pour tout k :
2
k
> 2
p
p =0
p =k 1
,
la somme ci-dessus est donc bien strictement positive, et l'application est
injective.
L'image de {0, 1}
n
par cette application est le segment d'entiers :
[0 , 2
n
1].
La bijection rciproque correspond l'criture d'un entier au plus gal
2
n
1 sous forme binaire.
79

exercice 6-C
Soit A un arbre, et f une feuille. Soit B le complmentaire de f dans A.
Si {a, b} est une partie de B, c'est une partie de A. Elle a une borne
infrieure dans A, soit c. Cet lment c est dans B puisque f n'a pas
d'lment plus grand que lui, donc c'est la borne infrieure de {a, b} dans
B. Si les lments a et b ne sont pas comparables, la partie {a, b} n'a pas
de majorant dans A, donc a fortiori pas de majorant dans B.
1) On dessine les arbres de proche en proche partir de cette remarque.
2) Soit A un arbre et A' une partie non vide de A. On raisonne par
rcurrence sur le nombre d'lments de A'. Par dfinition, si A' a deux
lments, la proprit est vraie. Supposons que A' a n lments, et
supposons la proprit vraie pour n 1. Soit f un lment de A', et B' le
complmentaire de {f} dans A'. Soit r la borne infrieure de B'.
L'ensemble {f, r} a une borne infrieure, qui est la borne infrieure de A'.
Appliquons cette proprit l'arbre A. Il a une borne infrieure, qui est
en mme temps un lment de A, donc un minimum ().
3) Soit B une partie majore de l'arbre A. On fait un raisonnement par
l'absurde : supposons qu'il existe dans B deux lments, soient a et b, non
comparables (). Alors la partie {a, b} n'a pas de majorant, ce qui
contredit l'hypothse sur B. Ces lments n'existent donc pas : B est
totalement ordonn ().
Comme il s'agit d'une partie finie, elle a donc un plus grand lment.

Soit f un lment de l'arbre A. Si f n'est pas le plus petit lment de A,
l'ensemble B(f) des minorants de {f} n'est pas gal {f}.
L'ensemble B(f) \ {f} est non vide et major, donc il a un plus grand
lment, soit g. Cet lment g vrifie :
g < f,
et il n'y a pas d'lment entre g et f, puisque g est le plus grand des
minorants stricts de f. Il en rsulte que g est le prdcesseur () de f.
80

4) L'ensemble B(f) est non vide et major donc totalement ordonn.
On raisonne par l'absurde : supposons que a et b vrifient a b,
h(a) = h(b), et de plus a b.
Dans ce cas, b est un lment de B(b) mais pas de B(a).
Il en rsulte que B(a) B(b) et B(a) B(b), donc h(b) > h(a) d'o une
contradiction.
5) Il faut montrer que l'application dfinie est strictement croissante.
Soient f et f' deux lments distincts comparables de l'arbre, par exemple
f f'.
La hauteur de f' est donc strictement plus grande que celle de f. Or :
10 u(pred(x)) + 9 u(x) 10 u(pred(x)), donc, par rcurrence :
2 10
h(x)
1 u(x) 10
h(x)
,

donc :
u(f') > u(f).
On a ainsi tabli une bijection croissante entre un ensemble non
totalement ordonn (en gnral) et un ensemble totalement ordonn
(partie de N).
exercice 7-C
A la lumire de l'exercice prcdent, on voit que cette conjecture est
fausse. On a un contre-exemple avec E non totalement ordonn, et F
totalement ordonn.
Examiner de ce point de vue d'autres exemples vus prcdemment.
(QC-1) Supposer de plus E totalement ordonn. Que devient cette
conjecture ?
exercice 8-C
1) Soit y = f(x), un lment de f(A), x tant un lment de A. On a :
x max(A), donc f(x) f(max(A)).
81

De plus max(A) est un lment de A donc f(max(A)) est un lment de
f(A).
2) Soit y = f(x), un lment de f(A), x tant un lment de A. On a :
x sup
E
(A), donc f(x) f(sup
E
(A)), donc :
sup
E
(A) est un majorant de f(A).
Est-ce le plus petit majorant ? Soit b un majorant de f(A) on ne voit
pas bien comment enchaner pour comparer b et f(sup
E
(A)). Il y a deux
difficults : F n'tant pas suppos totalement ordonn, b et f(sup
E
(A)) ne
sont pas ncessairement comparables () ; f n'tant pas suppose
surjective (), on ne peut pas comparer dans E.
Cherchons un contre-exemple avec les applications ci-dessus :
f
1
ne convient pas, c'est une situation correspondant la question 1)
f
3
n'est pas surjective, soit A = [0 , 1[. On a :
sup(A) = 1, f
3
(1) = 1, f
3
(A) = [1 , 0[, sup(f
3
(A)) = 0.

Dans ce cas, f
3
(A) a bien une borne suprieure, mais ce n'est pas l'image
de la borne suprieure de A. Remarquer que les ensembles sont
totalement ordonns.
(QC-1) Que peut-on dire de f
2
?
(QC-2) Reprendre la question en supposant f surjective et E, et F
totalement ordonns. Identifier la difficult qui subsiste.
3) On sait que succ(a) > a, donc f(succ(a)) f(a).
En l'absence d'hypothse d'injectivit () sur f, on ne sait pas si
f(succ(a)) f(a). On ne peut donc conclure.
On voit la mme difficult pour l'image du prdcesseur.
Cherchons un contre-exemple ; pour une application croissante non
injective de N dans N, on peut prendre :
g : n E(n/3).
On voit que :
82

g(0) = g(1) = 0, donc g(succ(0)) succ(g(0)),
g(4) = g(3) = 1, donc g(pred(4)) pred(g(4)).
(QC-3) reprendre la question en supposant de plus f injective.
4) Soit B une partie non vide de F. Comme f est surjective,
B = f
*
(f
*
(B)).
La partie non vide f
*
(B) de E a un plus petit lment, donc son image
aussi. L'ensemble F est Bien Ordonn ().
Soit b un lment de F. On suppose que b n'est pas min(F). Il a un
antcdent, soit a. Si a est min(E), tout lment de E est suprieur a,
donc tout lment de F est suprieur b, ce qui est faux.
Donc a admet un prdcesseur, soit a' :
a' < a, il n'y a pas d'lment entre a' et a.
Sans hypothse d'injectivit sur f, on ne sait pas si b' = f(a') < f(a) = b.

Supposons que f est injective. S'il existe b" strictement compris entre b'
et b, soit a" un antcdent de b".
Comme E est totalement ordonn, a" est comparable a :
a a" est impossible car cela entrane b b" alors que b" < b, donc :
a" < a.
De mme, on tablira que a' < a". Or a' est le prdcesseur de a, donc a"
n'existe pas, et donc b" n'existe pas.
Donc si f(a') f(a), f(a') est bien le prdcesseur de f(a).
Si f(a') est gal f(a), f(a) n'a pas toujours de prdcesseur : reprendre
l'application :
g : n E(n/3),
on voit que g(2) n'a pas de prdcesseur, puisque c'est 0, alors que 2 a un
prdcesseur.
Remarquer toutefois que sur cet exemple g(2) est le plus petit lment.

83

Si f(a') = f(a) et si ce n'est pas le plus petit lment, que peut-on en dire ?
Soit A = {x E | f(x) = f(a), et x a}. Cet ensemble ne contient pas
min(E), puisque par hypothse f(a) n'est pas min(F). Soit y = min(A), et
y' = pred(y) (qui existe puisque y min(E)).
On a les proprits suivantes :
f(y') f(a), f(y') f(a).
Comme ci-dessus, si z est un lment vrifiant :
f(y') < z < f(a),
alors il a un antcdent z' vrifiant :
y' < z' < a,
ce qui est impossible.
Il en rsulte finalement que f(y') est le prdcesseur de f(a) : F est NBO.
exercice 9-C
1) La proprit tablir est la commutativit de la loi +. Soit 1 l'lment
neutre de (K{0}, ) :
(1 + 1) (a + b) = (a + b) + (a + b),
= a + b + a + b,
(distributivit droite)
(1 + 1) (a + b) = (1 + 1) a + (1 + 1) b,
= a + a + b + b,
(distributivit gauche)
a + b + a + b = a + a + b + b,
b + a = a + b,
(simplification dans (K, +)).
2) On calcule :
a + (1) a = 1 x a + (1) a,
= (1 + (1)) a,
= 0 a,
84

= 0.
De la mme faon :
a (1) + a = 0.

Enfin :
(a) (a) = a (1) (1) a,
= a ((1)) a,
= a a.
3) Cette galit s'tablit par rcurrence :
Elle est videmment vraie si n = 1.
Si elle est vraie pour n, on calcule (a + b)
n+1
.
(a + b)
n+1
= (a + b)(a + b)
n
,
= (a + b)(a
n
+ + C
n
p
b
p
a
np
+ +b
n
),
= a
n+1
+ ba
n
+ +C
n
p
ab
p
a
np
+ C
n
p
b
p+1
a
np
++b
n+1
.
Comme A est un anneau commutatif,
ab
p
a
np
= b
p
a
np+1
.
Le coefficient de b
p
a
np+1
dans (a + b)
n+1
est donc :
C
n
p
+ C
n
p1
,
soit :
C
n+1
p
,
d'aprs les formules usuelles, d'o la formule du binme dans un anneau
commutatif.
4) Si l'anneau n'est pas commutatif, les formules ne se simplifient pas :
(a + b)
2
= (a + b)(a + b),
= a
2
+ ba + ab + b
2
.
(a + b)
3
= (a + b)
2
(a + b),
= (a
2
+ ba + ab + b
2
)(a + b),
= a
3
+a
2
b + ba
2
+ bab + aba + ab
2
+ b
2
a + b
3
.
85

exercice 10-C
1) La vrification ne pose pas de problme.
Rflexivit : x x est divisible par n.
Symtrie ; s'il existe un relatif k vrifiant :
(x y) = kn, alors (y x) = (k)n.
Transitivit ; s'il existe des relatifs k et t vrifiant :
(x y) = kn et (y z) = tn, alors (x z) = (k + t)n.
2) Compatibilit de l'addition :
s'il existe des relatifs k et k' vrifiant :
(x y) = kn, et (x' y') = k'n, alors :
(x+x') (y+y') = (k+k')n.
Compatibilit de la multiplication :
s'il existe des relatifs k et k' vrifiant :
(x y) = kn, et (x' y') = k'n, alors :
(xx') (yy') = (x y)x' + (x' y')y,
= knx' + k'ny,
= (kx' + k'y)n.
Le quotient Z/nZ est donc muni de deux lois. Pour la premire (+), c'est
un groupe commutatif. La seconde (.) est associative et distributive par
rapport la premire. De plus il existe un lment neutre pour (.), qui est
la classe de 1, et qui est diffrent de la classe de 0 (car n > 1).
(QC-1) Que se passe-t-il si n = 1 ? n = 0 ?
3) Table de multiplication de Z/5Z {0}.
. 1 2 3 4
1 1 2 3 4
2 2 4 1 3
3 3 1 4 2
4 4 3 2 1
86

Il n'y a aucun diviseur de 0 (pas de 0 dans la table). Il n'y a donc pas
d'lment nilpotent (ils sont diviseurs de 0).
Enfin, 1 figure dans chaque ligne, donc tous les lments non nuls sont
inversibles. Il s'agit donc bien d'un corps.
4) Table de multiplication de Z/6Z {0} :
. 1 2 3 4 5
1 1 2 3 4 5
2 2 4 0 2 4
3 3 0 3 0 3
4 4 2 0 4 2
5 5 4 3 2 1
Les classes de 2, 3, 4 sont diviseurs de 0.
Les puissances de 2 sont 2, 4, 2, 4, donc 2 n'est pas nilpotent, et 4 non
plus. Les puissances de 3 sont 3, 3, donc 3 n'est pas nilpotent. On voit
enfin que la classe de 1 et celle de 5 sont inversibles (prsence de 1 dans
la ligne). Il n'y a donc pas d'lment nilpotent.
Cet anneau n'est pas un corps. Il a des diviseurs de 0, il n'est donc pas
intgre ().
5) Table de multiplication de Z/8Z {0} :
. 1 2 3 4 5 6 7
1 1 2 3 4 5 6 7
2 2 4 6 0 2 4 6
3 3 6 1 4 7 2 5
4 4 0 4 1 4 0 4
5 5 2 7 4 1 6 3
6 6 4 2 0 6 4 2
7 7 6 5 4 3 2 1
Dans cet anneau, 2, 4, 6 sont diviseurs de 0.
Les puissances de 2 sont 2, 4, 0, donc 2 est nilpotent (), ainsi que 4.
87

Les puissances de 6 sont 6, 4, 0, donc 6 est nilpotent ().
Les lments 1, 3, 5, 7 sont inversibles.
Dans ce cas, l'anneau n'est pas intgre ().

6) On rsout les deux premires quations par numration des cas, en
consultant les tables de multiplication.

X
2
= 1.
n = 5, 1 = 4 dans cet anneau, x = 2 et x = 3 sont les solutions.
n = 6, 1 = 5, il n'y a pas de solution.
n = 8, 1 = 7, il n'y a pas de solution.
X
2
= 1.
n = 5, x = 1 et x = 4 sont les solutions.
n = 6, x = 1 et x = 5 sont les solutions.
n = 8, x = 1, 3, 4, 5 et x = 7 sont les solutions.

X
2
4X + 1 = 0, soit (X 2)
2
= 3.
On cherche si 3 a des racines carres.
n = 5, pas de solution.
n = 6, 3 est l'unique racine carre et x = 5 est la solution.
n = 8, pas de solution.
X
n1
= 1.
n = 5, X
4
= 1, donc X
2
= 1 ou 4, donc 1, 2, 3, 4 sont solutions.
n = 6, X
5
= 1, donc X est inversible, c'est-dire 1 ou 5.
x = 1 est solution, videmment, 5 ne l'est pas.
n = 8, X
7
= 1, donc X est inversible, c'est--dire 1, 3, 5, 7.
x = 1 est solution. Pour 3, 5, 7, x
2
= 1, donc x
6
= 1, donc x
7
1.

88


(QC-2) Dans la question prcdente, on observe :
Dans Z/5Z, x
4
= 1 est vrifie pour x = 1 et x = 4,
Dans Z/6Z, x
5
= 1 est vrifie pour x = 1 mais pas pour x = 5,
Dans Z/8Z, x
7
= 1 est vrifie pour x = 1 mais pas pour x = 7.
Pouvez-vous gnraliser, noncer une conjecture, la dmontrer ou la
rfuter.()
exercice 11-C
1) On crit :
x = a + bt,
x = a' + b't,
(b b')t = a' a.
Si b b', alors :
t =
a' a
b b'
.
Or, par hypothse, t n'est pas rationnel, ce rsultat est donc faux.
Il en rsulte que b = b' et donc a = a'.
Pour t
2
:
t
2
= pt q.
Pour t
3
:
t
3
= t ( pt q),
= pt
2
qt,
= p ( pt q) qt,
t
3
= (p
2
q)t + pq.
Pour t
4
:
t
4
= (p
2
q)t
2
+ pqt,
89

= (p
2
q)( pt q) + pqt,
t
4
= ( p
3
+ 2pq)t q(p
2
q).
On imagine bien que toute puissance de t, et par suite toute expression
polynomiale en t, s'exprime comme un lment de Q[t] (ou de Z[t])
(preuve par rcurrence).

Z[t] et Q[t] sont des sous-ensembles de C. Les proprits des
oprations (associativit, distributivit, commutativit) sont
automatiquement vrifies. L'lment neutre de la multiplication est bien
un lment de Z[t] :
1 = 1 + 0t.
Seules les stabilits doivent tre prouves :
si x et y sont des lments de Z[t], x + y, x y, x sont galement des
lments de Z[t] (respectivement, de Q[t]).
Toutes ces vrifications sont faciles. Pour le produit, on utilise le calcul
prcdent de t
2
, bien entendu.
2) Un lment de Z[i] est un complexe dont la partie relle et la partie
imaginaire sont des entiers relatifs.
On sait calculer l'inverse d'un complexe :
x = a + bi.
Pour que cet inverse soit un lment de Z[i], il faut et il suffit que les
quotients :
a
a
2
+ b
2
,
b
a
2
+ b
2
,
soient des relatifs.
Or ces rationnels sont, en valeur absolue, au plus gaux 1 : ce ne sont
des entiers que s'ils valent 1, 0, ou 1.
Les seuls lments de Z[i] inversibles dans Z[i] sont donc 1, 1, i, i.
Dans Q[i], il n'y a aucun problme, on voit que tous les lments non
nuls sont inversibles : c'est bien un corps.
90

3) On calcule le produit :
(a + b 3 )(a b 3 ) = a
2
+ (ba ab) 3 b
2
( 3 )
2
= a
2
3b
2
.
C'est bien un rationnel.
S'il est nul, l'un des facteurs est nul, donc par exemple :
a + b 3 = 0,
donc si b 0 :
3 =
a
b
,
ce qui est faux, puisque 3 n'est pas rationnel ().
Il en rsulte que b = 0, donc a = 0.
Soit x un lment non nul de Q[ 3 ], x = a + b 3 .
On peut crire :
1
x
=
1
a + b 3
=
a b 3
a
2
3b
2
=
a
a
2
3b
2
b
a
2
3b
2
3.
Cet inverse est bien un lment de Q[ 3 ].
4) On procde par essais : (ici avec l'aide d'un tableur)

a axa axa1 axa+1 rac((axa1)/3) rac((axa+1)/3)

1 1 0 2 0 0, 816496581
2 4 3 5 1 1, 290994449
3 9 8 10 1, 632993162 1, 825741858
4 16 15 17 2, 236067977 2, 380476143
5 25 24 26 2, 828427125 2, 943920289
6 36 35 37 3, 415650255 3, 511884584
7 49 48 50 4 4, 082482905
8 64 63 65 4, 582575695 4, 654746681
9 81 80 82 5, 163977795 5, 228129047
91

10 100 99 101 5, 744562647 5, 802298395
11 121 120 122 6, 32455532 6, 377042157
12 144 143 145 6, 904105059 6, 952217872
13 169 168 170 7, 483314774 7, 527726527
14 196 195 197 8, 062257748 8, 103497187
15 225 224 226 8, 640987598 8, 679477711
16 256 255 257 9, 219544457 9, 255628918
17 289 288 290 9, 797958971 9, 831920803
18 324 323 325 10, 37625494 10, 40833
19 361 360 362 10, 95445115 10, 98483804
20 400 399 401 11, 53256259 11, 56143013

Pour les 20 premires valeurs de a, on trouve 2 solutions l'quation :
a
2
3b
2
= 1,
soit :
(2, 1), (7, 4).
On ne trouve aucune solution :
a
2
3b
2
= 1.
(QC-1) En vous plaant dans Z/3Z, dmontrez qu'il n'y a aucune solution
cette quation.
Compte tenu des formules crites dans Q[ 3 ], on voit que les nombres
suivants sont inversibles dans Z[ 3 ] :
2 + 3 , 7 + 4 3 .
Bien entendu, pour chacun de ces nombres a + b 3 , les nombres :
a + b 3 , a b 3 , a b 3 ,
sont galement inversibles.
5) Le rel t est solution de l'quation :
X
2
+ pX + q = 0.
92

On crit :
t (t + p) = q.
Il n'est pas possible que q soit nul, sinon t = 0 ou t = p, or t n'est pas
rationnel.
D'o l'galit :
t + p
q
=
1
t
.
L'inverse de t est bien un lment de Q[t].
La somme des racines de l'quation ci-dessus est p, donc :
t' = p t.
La seconde racine de l'quation est un lment de Z[t], non rationnel.
Elle est diffrente de t, sinon t = p/2.
On calcule le produit :
(a + bt)(a + bt') = a
2
+ ab(t + t') + b
2
tt',
= a
2
pab + qb
2
.
Ce produit est bien un rationnel.
S'il est nul, l'un des facteur est nul, par exemple :
a + bt' = 0,
donc si b 0 :
t' = a/b,
ce qui est faux, puisque t' n'est pas rationnel.
On en dduit b = 0, et a = 0.
On procde alors comme dans la question 3) :
si a + bt 0,
1
a + bt
=
a + bt'
a
2
pab+ b
2
q
=
a
a
2
pab + b
2
q
+
b
a
2
pab + b
2
q
t' .
Cet inverse est bien dans Q[t]. Tout lment non nul tant inversible dans
Q[t], cet anneau est un corps.
93

exercice 12-C
1) On trouve :
f(0 + 0) = f(0) + f(0),
f(0) = f(0) + f(0)
d'o par simplification dans le groupe (Z, +) :
0 = f(0).
On rappelle que c'est une proprit gnrale des homomorphismes de
groupes.
De mme, pour tout homomorphisme de groupes, f(a) = f(a).
Enfin, on a galement f(k.a) = k.f(a) par rcurrence.
Si f(1) = 0, f(a) = f(a.1) = f(a) f(1) = 0.
Si f(1) 0, soit c = f(1). Par hypothse, f(1.1) = f(1) f(1), donc ce
rationnel vrifie :
c = c
2
,
donc, puisque c 0, ncessairement c = 1.
Il en rsulte que pour tout entier relatif k :
f(k) = f(k.1) = k f(1) = k.
2) Si n est un entier non nul :
f(n.(
1
n
)) = n f(
1
n
) = 1 ,
donc f(
1
n
) =
1
n
.
Pour un rationnel non nul quelconque, soit
p
q
:
f(
p
q
) = p f(
1
q
) =
p
q
.
(QC-1) Dans les raisonnements dvelopps ci-dessus, distinguer
soigneusement le rle de chacune des hypothses.
94

Dduire un nonc ne comportant pas d'hypothse sur l'image par f d'un
produit, permettant de conclure que f est l'application identique.
(QC-2) Plus gnralement, trouver tous les endomorphismes du groupe
(Q, +), puis tous les homomorphismes de groupes de (Q, +) dans (R, +),
enfin tous les homomorphismes de groupes de (Q, +) dans (R
+*
, )
exercice 13-C
1) H est un sous-groupe.
Il suffit de vrifier les proprits () :
a H, 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.
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.
Donc g.u.g
1
H.
On dit que H est un sous-groupe "distingu" s'il a cette proprit.
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 :
95

a.b
1
= e, et a = b.
2) Soit a A, u H :
h(a u) = h(a) h(u),
= h(a) 0,
= 0, donc :
a u H.
On dit qu'un sous-groupe de (A, +) est un "idal" de l'anneau (A, +, )
lorsqu'il possde cette proprit.
(QC-1) Dans Z, vrifier que l'ensemble des nombres pairs est un idal.
L'ensemble des nombres impairs est-il un idal ? Et l'ensemble des
multiples de 3 ?
3) Pour montrer qu'un homomorphisme est injectif, il suffit (question 1)
de voir que son noyau est gal {0}.
Soit f : (K, +, ) (L, +, ) un homomorphisme de corps.
Soit H son noyau.
Si H{0}, soit a un lment non nul de H. Il est inversible.
1 = a
1
a, donc d'aprs 2),
1 H, or pour tout b de K,
b = b 1, donc :
b H.
Il en rsulte que H = K donc f est l'application nulle. Si H = (0}, f est
injective.
exercice 14-C
Prliminaire.
a- Si g < h alors g h donc, comme k k, g + k h + k. Peut-on avoir
une galit g + k = h + k ? Non puisque dans un groupe on peut
simplifier, et cette galit entranerait g = h.
Cas particulier : g < h quivaut g h < 0. (prendre k = h)
96

b- Consquence, si g < h et k < j, alors g + k < h + k < h + j. On ne peut
avoir d'galit g + k = h + j puisque cela entranerait g + k = h + k, d'o
g = h, qui est faux.

1) Supposons que g est un lment de G
+
. Comme tout lment est
comparable 0, deux cas sont envisager :
g > 0,
g < 0,
en effet g ne peut tre 0 si g 0.
Le premier cas donne (cf. prliminaire) :
g + (g) > 0, qui est faux,
donc c'est le second cas qui est vrai : g G
.
La rciproque se fait de mme.
G
+
et G
sont des parties stables () pour + d'aprs le prliminaire.

Dans cette situation, l'application de G dans G qui associe g son
symtrique g est une bijection de G
+
sur G
: c'est videmment une

bijection de G dans lui-mme, qui est sa propre rciproque, et l'image de
G
+
est G
d'aprs ce qui prcde. Si G est fini, G

+
aussi ; soit p son
cardinal ; donc G est de cardinal 2p + 1.
Tout lment tant comparable 0, soit a et b des lments de G.
L'lment a b est comparable 0, donc a b 0 ou a b 0, soit a b
ou a b. Le groupe est totalement ordonn.
2) Supposons G fini, et G {0}. Soit g un lment de G, g 0. On sait
que g est d'ordre fini, donc il existe n entier naturel non nul tel que
n.g = 0.
(rappel : n.g est dfini par rcurrence par :
1.g = g, 2.g = g + g, n.g = (n 1).g + g).
On a donc :
(n 1).g = g.
97

Or si G est totalement ordonn, on a soit g > 0, donc (n 1)g > 0 et
g < 0, soit g < 0, donc (n 1).g < 0 et g > 0, donc dans tous les cas on
obtient une contradiction. Le groupe G n'est pas totalement ordonn et il
existe des lments non comparables 0.
(QC-1)Certains lments sont-ils comparables 0, comparables entre
eux ?
3) Supposons G totalement ordonn. D'aprs la question prcdente,
aucun lment de G ne peut tre d'ordre fini, sauf 0 bien entendu. On sait
que dans un sous-groupe fini, tous les lments sont d'ordre fini (),
donc il n'existe pas d'autre sous-groupe fini que {0}.
Supposons que G a un plus grand lment, soit h. Il en rsulte que :
h > 0, donc :
h + h > h,
ce qui est une contradiction.
Un plus petit lment serait l'oppos d'un plus grand lment, donc il
n'existe pas non plus.
4) Dans le cas de Z, min(Z
+
) = 1. Dans le cas de Q, min(Q
+
) n'existe pas,
mais inf
Q
(Q
+
) existe et est gal 0.
Si G
+
a un plus petit lment, soit a cet lment.
On sait que a est un lment de G
. S'il existe dans G
un lment b
suprieur a, alors b est un lment de G
+
infrieur a. Donc b = a,
et b = a. D'o a = max(G
).
L'lment a + a est dans H = {g G| g > a}. Supposons qu'il existe un
lment a' de H infrieur 2.a :
a' > a,
2.a > a',
a > a' a > 0,
on voit que cela implique l'existence dans G
+
d'un lment strictement
infrieur a, ce qui est faux.
Donc 2.a = min(H).
98


(QC-2) On suppose de plus G archimdien. Dmontrer qu'il est
isomorphe Z.
Si G
+
n'a pas de plus petit lment, mais admet une borne infrieure, soit
s cette borne infrieure. Comme 0 est un minorant de G
+
, par dfinition,
on voit que :
0 s.
Il n'est pas possible que s soit strictement plus grand que 0 puisque, dans
ce cas, ce serait un minorant de G
+
appartenant G
+
, c'est--dire un plus
petit lment. On en dduit que inf
G
(G
+
) = 0.
exercice 15-C
1) On sait que dans un anneau ordonn, tout carr est suprieur 0, or :
1 = 1
2
,
ce raisonnement s'applique tout lment idempotent ().
Si a > b, alors (a b) 0. Comme c 0, on dduit :
(a b) c 0,
a c b c 0,
a c b c.
Est-il possible que :
a c = b c.
Non, car en multipliant droite par c
1
, on en dduirait a = b, qui est
faux.

2) On suppose a 0. Comme A est totalement ordonn, soit a
1
> 0, soit
a
1
< 0. Dans ce dernier cas, a a
1
0, ce qui est faux puisque 1 > 0.
Donc a
1
> 0.
On utilise le rsultat prcdent :
a > b,
99

a > 0, donc a
1
> 0, donc a a
1
> b a
1
, soit :
1 > b a
1
;
b > 0, donc b
1
> 0, donc b
1
> b
1
b a
1
, soit :
b
1
> a
1
.
On suppose maintenant a > 1. Encore une fois, comme a 1, il y a deux
cas pour a
1
:
D'abord, a
1
> 1, et dans ce cas, en multipliant par a inversible positif :
a a
1
> 1,
1 > 1, qui est faux ;
ensuite a
1
< 1.
C'est donc ce second cas qui est vrai.
3) Il est clair que, s'il existe, min(A
+
) 1 puisque 1 est un lment de A
+
.
On rappelle que dans un groupe totalement ordonn il n'y a pas de plus
grand lment.
L'lment 1 n'est pas le plus grand donc il existe b > 1. Cet lment est
non nul, donc inversible, donc :
0 < b
1
< 1,
donc 1 n'est pas le plus petit lment de A
+
.
Si a = min(A
+
), alors a
1
= max(A
+
) = max(A), or ce plus grand lment
n'existe pas.
On en dduit que min(A
+
) n'existe pas.
exercice 16-C
1) Si A et B sont non vides, A B est non vide, et si M (resp.N) est un
majorant de A (resp. de B), alors max(M, N) est un majorant de A B.
Il en rsulte que A B a bien une borne suprieure. D'aprs la remarque
prcdente, max(sup(A), sup(B)) est un majorant de A B, donc :
sup(A B) max(sup(A), sup(B)).
100

Pour A B, il peut arriver que cette intersection soit vide mme si A et
B ne le sont pas. Si A B , alors, comme A B A, A B est
major par sup(A), donc sup(A B) existe et :
sup(A B) sup(A).
De mme :
sup(A B) sup(B).
En rsum :
sup(A B) min(sup(A), sup(B)).
(QC-1) A partir d'exemples, voir si cette ingalit peut tre stricte dans
certains cas, ou si elle est toujours une galit.
2) Pour tout a de A :
a sup(A),
pour tout b de B :
b sup(B),
donc pour tout a de A et tout b de B :
a + b sup(A) + b sup(A) + sup(B).
On voit que sup(A) + sup(B) est un majorant de A + B. Comme la borne
suprieure est le plus petit majorant :
sup(A + B) sup(A) + sup(B).
Y-a-t-il galit ?
On applique la dfinition : un lment infrieur sup(A) + sup(B) est-il
un majorant ? Soit un rel positif. On a l'ingalit :
sup(A)
2
< sup(A),
donc sup(A)
2
n'est pas un majorant de A, donc il existe a dans A tel
que :
sup(A)
2
< a sup(A).
De mme, il existe b dans B tel que :
101

sup(B)
2
< b sup(B).
En ajoutant membre membre, on obtient la proprit :

il existe a dans A et b dans B tels que :
sup(A) + sup(B) < a + b sup(A) + sup(B).
On voit qu'un nombre infrieur sup(A) + sup(B) n'est pas un majorant.
On conclut :
sup(A + B) = sup(A) + sup(B).
3) On procde de mme :
Pour tout a de A :
a sup(A),
pour tout b de B :
b sup(B), donc :
pour tout a de A et tout b de B, b tant positif, ainsi que sup(A) :
a.b sup(A).b sup(A).sup(B).
On voit que sup(A).sup(B) est un majorant de A.B. Comme la borne
suprieure est le plus petit majorant :
sup(A.B) sup(A).sup(B).
(QC-2) Peut-on avoir sup(A) = 0 ou sup(B) = 0 ? Dans ce cas quelle est
la valeur de sup(A.B) ? On suppose maintenant sup(A) > 0 et sup(B) > 0.
Expliquez pourquoi sup(A.B) > 0.
exercice 17-C
1) La borne suprieure est le plus petit majorant, donc S
1
2
n'est pas un
majorant de A. Il existe donc au moins un lment de A, dans l'intervalle
considr. Comme la longueur de cet intervalle est
1
2
, et que la
102

diffrence entre deux lments de A est de 1 au moins, il n'y a qu'un
lment de A dans l'intervalle.
En particulier, tout autre lment de A est extrieur l'intervalle, et de
plus infrieur S, donc infrieur N, qui est donc max(A). Lorsque le
plus grand lment existe, c'est la borne suprieure, donc S = N.
2) A peut tre vide : si b est ngatif, comme n et a sont positifs, aucun
entier ne vrifie la condition.
Si A n'est pas vide, on peut lui appliquer le prliminaire : c'est un
ensemble d'entiers non-vide, major (par
b
a
), donc qui admet une borne
suprieure dans R. Cette borne suprieure est le plus grand lment. On
le note N.
Il est clair que, comme N + 1 > N, N + 1 n'est pas dans A, donc :
(N + 1).a > b.
On en conclut que R est archimdien, puisque dans le cas o b < 0, on a :
1.a > b
et dans le cas o b 0, on utilise l'entier N + 1 ci-dessus.
3) Si on applique le rsultat prcdent a = 1 (on a vu que 1 > 0) et b =
x, suppos positif, on obtient la partie entire comme max({m | m.1
x}).
Si x < 0, on peut raisonner d'abord avec x ; il existe un unique entier
naturel N tel que :
N x < N + 1, d'o :
N 1 < x N.
Si x n'est pas entier, cette ingalit est quivalente :
N 1 < x < N.
La partie entire est N 1.
Si x est entier, il est gal N, et on crira plutt :
N x < N + 1.
La partie entire est N.
103

4) L'lment a est strictement positif. Soit b dans G
+
. D'aprs 2), il existe
n entier naturel tel que :
b < n.a.
Soit N le plus petit de ces entiers. On a l'encadrement :
(N 1).a b < N.a, donc :
0 b (N 1).a < a.

Or, G tant un sous-groupe, (N 1).a est un lment de G, ainsi que :
b (N 1).a.
Comme a est le plus petit lment positif de G, on voit que :
b (N 1).a = 0,
b = (N 1).a.
Pour les lments de G
, on raisonne sur leur oppos, qui est dans G

+
.
Conclusion G = Z.a.
exercice 18-C
1) Cette application est un homomorphisme de groupes :
(n + m) = (n + m).1 = n.1 + m.1 = (n) + (m).
Pour montrer que est injective, il suffit de montrer que son noyau ()
ne contient que 0 (cf. exercice 13).
Si (n) = 0, alors n.1 = 0, or dans un groupe totalement ordonn il n'y a
pas d'lment d'ordre fini, donc cela implique n = 0 (cf. exercice 14).
2) Dans une fraction, le dnominateur, ici q, n'est pas nul, donc, comme
est injective, (q) n'est pas nul donc inversible dans R. Si
r
s
est une
fraction gale
p
q
, c'est que p.s = r.q dans Z. Donc :
(p).(s) = (r).(q), soit :
(p).(q)
1
= (r).(s)
1
.
104

Pour l'injectivit, on peut utiliser un rsultat selon lequel un
homomorphisme de corps est nul ou injectif. Comme (1) 0, il suffit
de montrer que est un homomorphisme de corps, ce qui se fait sans
difficult :
a
b
+
c
d
|
\
|

=
ad + bc
bd
|
\
|

= (ad + bc)(bd)
1
,
= (a)(d) + (b)(c) [ ](b)
1
(d)
1
,
= (a)(b)
1
+ (c)(d)
1
[ ]
,
a
b
+
c
d
|
\
|

=
a
b
|
\
|

+
c
d
|
\
|

.
a
b
x
c
d
|
\
|

=
ac
bd
|
\
|

= (ac)(bd)
1
,
= (a)(c)(b)
1
(d)
1
,
=
a
b
|
\
|

c
d
|
\
|

.
3) Supposons S
2
< 3. Calculons S+
1
n
|
\
|

2
:
S+
1
n
|
\
|

2
= S
2
+ 2
S
n
+
1
n
2
.
Soit a = 3 S
2
. C'est un nombre positif strictement.
Le corps des rels est archimdien, donc il existe un entier N tel que :
4S < Na.
De mme, il existe un entier N' tel que :
2 < N'a < N'
2
a.
Si n = max (N, N'), on a les deux ingalits simultanment :
105

2
S
n
<
a
2
,
1
n
2
<
a
2
,

donc :
S+
1
n
|
\
|

2
3 = S
2
+ 2
S
n
+
1
n
2
3 = 2
S
n
+
1
n
2
a < 0.
Cela signifie que S +
1
n
est un lment de A, plus grand que la borne
suprieure S, ce qui n'est pas possible.
Supposons S
2
> 3. Calculons S
1
n
|
\
|

2
.
S
1
n
|
\
|

2
= S
2
2
S
n
+
1
n
2
.
En procdant comme ci-dessus, on trouve qu'il existe un entier n tel que :
S
1
n
|
\
|

2
3 = S
2
2
S
n
+
1
n
2
3 > 0.
Si b = S
2
3, il suffit de prendre n tel que :
4S < b.n.
On obtiendrait ainsi un majorant de A infrieur S, ce qui n'est pas
possible.
On conclut donc que S
2
= 3.
Ce nombre n'est pas un nombre rationnel : voir l'exemple 45.
On montre ainsi l'existence d'un rel non rationnel.
106

exercice 19-C
1)

A =
n
2
+ n 1
n
2
+ 2
n N

`
)

.
On peut tudier la fonction d'une variable relle :

x a
x
2
+ x 1
x
2
+ 2
.
La drive est :
x
2
+ 6x + 2
x
2
+ 2 ( )
2
.
Elle s'annule pour une seule valeur positive :
3+ 11.
L'tude habituelle de signe montre que la fonction est croissante avant
cette valeur (pour x 0), et dcroissante ensuite.
Il en rsulte que la valeur maximale prise par un lment de A est la plus
grande de celles prises pour n = 6 et n = 7, et on voit bien que les valeurs
de cette fonction sont comprises entre 1 et 2, et entre 1 et 2 partir de n
= 1.
Dmontrons-le. L'ingalit :
n
2
+ n 1
n
2
+ 2
1,
quivaut :
n
2
+ n 1 n
2
+ 2 ,
soit :
n 3.
En rsum, pour n 3, les lments de A sont suprieurs 1.
L'ingalit :
n
2
+ n 1
n
2
+ 2
2,
107

quivaut :
n
2
+ n 1 2n
2
+ 4,
soit :
n
2
n + 3 0.
Le trinme du premier membre est toujours positif, puisqu'il n'a pas de
racine relle et que le coefficient du terme de plus haut degr est positif.
On trouve bien que, pour n 3, les lments de A sont compris entre 1 et
2.
Les valeurs pour n < 3 sont :

n n
2
+ n 1
n
2
+ 2

0
1
2

1
1
3

2
5
6

On voit donc que A est born :
1
2
est le plus petit lment de A, et 2 est
un majorant de A.

Maximum : le calcul donne (arrondi 4 dcimales) :

n n
2
+ n 1
n
2
+ 2

6 1,0789
7 1,0784
108


La borne suprieure est le plus grand lment, soit
41
38
.
2)

B =
n + sin(n
2
)
n +1
n N

`
)

.
Ici, la mthode de base consiste remplacer l'expression "sin(n
2
)" par 1,
pour minorer, ou 1, pour majorer. On remplace ainsi l'expression :
n + sin(n
2
)
n +1
,
par des expressions plus simples qui l'encadrent :
n 1
n +1
n + sin(n
2
)
n + 1
n +1
n +1
.
Il en rsulte clairement que B est born, inclus dans le segment :
[1 , 1].
Soit a un rel strictement infrieur 1, et h = 1 a.
On a la majoration suivante (elle repose encore sur l'encadrement du
sinus par 1 et 1) :
1
n + sin(n
2
)
n +1
=
1 sin(n
2
)
n +1
2
n +1
.
Il existe un naturel n tel que
2
n +1
soit infrieur h puisque cela quivaut
(n + 1)h > 2. On sait que cette inquation a une solution puisque h est
positif et R archimdien.
Pour une telle valeur de n, on a les ingalits :
a <
n + sin(n
2
)
n +1
1.
On voit ainsi que 1 est le plus petit majorant de B, 1 = sup
R
(B).
Est-ce un plus grand lment ? Il faudrait que sin(n
2
) prenne la valeur 1.
109

Or, la fonction sin prend la valeur 1 seulement pour des valeurs de la
variable de la forme
2
+ 2k, k entier relatif. Comme est irrationnel,
ces valeurs ne sont pas des entiers. La borne suprieure 1 n'est pas un
plus grand lment.
Pour la borne infrieure, calculons quelques valeurs, arrondies 3 dci-
males :

n n + sin(n
2
)
n +1

0 0
1 0,921
2 0,414
3 0,853
4 0,742
5 0,811
On voit que 0 ne semble atteinte que pour n = 0. Vrifions-le.

L'quation :
n + sin(n
2
) = 0
n'a de solution que si n = 0, ou n = 1, puisque la fonction sin prend ses
valeurs entre 1 et 1. Si n = 1, on obtient :
1 + sin(1) = 0,
ce qui est faux, puisque sin(1) est positif.
Pour les valeurs de n suprieures 1, l'expression
n + sin(n
2
)
n +1
est
strictement positive.
Conclusion, 0 est le plus petit lment de B.
110

3)

M = z C 1 > Re(z) Im( z)} {
:
On peut proposer la conjecture () :
min(C) = 0,
sup
R
(C) = 2.
Le premier rsultat est vident puisque 0 est un minorant (un module est
positif ou nul) et que 0 est un lment de M.
Pour le second, on doit vrifier que 2 est un majorant, et que c'est le
plus petit.
Soit z = x + iy un lment de M :
z = x
2
+ y
2
2x
2
,
car |y| x, et donc z 2, puisque 0 x < 1.
Soit a un rel strictement infrieur 2.
Il faut mettre en vidence dans M au moins un complexe dont le module
est strictement plus grand que a. Posons b =
a + 2
2
.
Soit t le complexe de module b et d'argument
4
. C'est bien un lment
de M, puisque :
b < 2,
t = b
2
2
(1+ i),
Re(t) <1,
0 Im(t) = Re(t).

Par dfinition, b est strictement plus grand que a, donc t convient.
Le rel 2 est la borne suprieure de C.
Ce n'est pas un plus grand lment, car dans le calcul ci-dessus,
l'ingalit z 2, est stricte, puisque x < 1.
111

exercice 20-C
Des exemples :
I
1
=] , 0], J
1
= [2 , +[,
I
2
= [1 , 2], J
2
= [2 , 8],
I
3
=]4 , 2], J
3
=]2 , +[.
1) Comme J n'est pas vide, I est major (). Comme I n'est pas vide, il
admet une borne suprieure. C'est le plus petit majorant, donc sup
R
(I) est
infrieur tout lment de J : c'est un minorant () de J. Il en rsulte
que J est minor, donc admet une borne infrieure qui est le plus grand
minorant. On a donc :
sup
R
(I) inf
R
(J).
Si I J n'est pas vide, soient x, y des lments de I J.
Comme x I et y J :
x y.
Comme y I et x J :
y x.
On conclut que ces lments sont gaux.
Donc si I J n'est pas vide, il a un seul lment.
2) L'exemple (I
2
, J
2
) correspond sup
R
(I) = inf
R
(J), et l'exemple (I
1
, J
1
)
sup
R
(I) < inf
R
(J).
3) La premire conjecture est fausse : le cas (I
3
, J
3
) en est un contre-
exemple. Si on n'a pas pens un tel contre-exemple, comment rsoudre
cette conjecture ?
Par la contrapose par exemple () :
Si sup
R
(I) = inf
R
(J), alors I J . On a vu que l'intersection n'a qu'un
lment si elle n'est pas vide, soit a cet lment. Que reprsente-t-il ?
C'est un lment de J, donc un majorant de I, et c'est aussi un lment de
I. C'est donc max(I). Par un raisonnement analogue, a = min(J). La
112

contrapose, si elle est vraie, entrane que les ensembles I et J ont
respectivement un plus grand lment et un plus petit lment.
Les ventuels contre-exemples sont donc chercher dans des cas o, par
exemple, la borne suprieure de I n'est pas dans I. On peut penser alors
pour I un intervalle ouvert ]b , a[, et, de l, pour J un intervalle ayant a
comme borne infrieure, de la forme ]a , c[ par exemple.
Pour la seconde conjecture :
On reprend le raisonnement expos dans la dmarche ci-dessus. Il montre
effectivement que si l'intersection n'est pas vide, elle est constitue d'un
seul lment qui est la fois max(I) et min(J), donc aussi sup
R
(I) et
inf
R
(J). Cette conjecture est vraie.
4) Conservons les notations de la question 3) :
I J = {a}.
Soient x et y dans I J, tels que x < y, et soit z vrifiant x < z < y.
Si x et y sont tous deux dans I, ou tous deux dans J, alors z est dans I, ou
dans J, donc dans I J. Sinon, x est un lment de I et y un lment de J.
On distingue deux cas.
D'abord z < a, alors :
x < z < a ,
et comme x et a sont des lments de l'intervalle I, z est aussi un lment
de I, donc de I J.
Dans l'autre cas, a z, donc :
a z < y,
donc z est encadr par deux lments de l'intervalle J. C'est un lment
de J donc de I J. La runion I J est bien un intervalle.
La rciproque est fausse, comme le montre le contre-exemple (I
3
, J
3
).
Pour penser ce type de contre-exemple, reprendre la question 3). Si la
rciproque est vraie, elle implique que si I, J, I J sont des intervalles,
alors max(I), min(J) existent et sont gaux. On cherchera donc des
113

(contre)-exemples ventuels dans des cas o max(I) ou min(J) n'existent
pas.
(QC-1) Si les ensembles I, J, I J sont des intervalles, est-il vrai que
sup
R
(I) = inf
R
(J) ?
5) On dmontre la contrapose. Si sup
R
(I) < inf
R
(J), alors :
I J , ou I J R.
Sous l'hypothse sup
R
(I) < inf
R
(J), il existe un lment strictement
compris entre sup
R
(I) et inf
R
(J) (par exemple leur moyenne). Soit r un de
ces lments.
Comme r est suprieur sup
R
(I), il ne peut appartenir I. Comme il est
infrieur inf
R
(J), il ne peut pas non plus appartenir J. Il en rsulte que
r n'appartient pas I J, donc I J R.

114

3-3 Corrigs des questions complmentaires
exercice 1-QC
(QC-1) Si l'ensemble n'est pas totalement ordonn, il n'est pas certain que
le plus grand lment de A et celui de B aient un majorant commun dans
A B. Par exemple si la relation est la relation de divisibilit dans les
entiers naturels, et :
A = {2, 4}, max(A) = 4,
B = {3, 9}, max(B) = 9,
il n'y a pas dans A B de multiple commun 4 et 9. Dans ce cas, A B
n'a pas de plus grand lment.
Dans un ensemble totalement ordonn, si max(A) et max(B) existent, l'un
des deux est plus grand que l'autre, c'est max(A B).
(QC-2) La situation est diffrente : on voit par exemple ci-dessus que
A B est major, et qu'il a une borne suprieure (36).
Mais on peut trouver des exemples o A B n'est pas major, il suffit de
restreindre l'ensemble ordonn de rfrence : dans {2, 3, 4, 9, 12}, ci-
dessus, A B n'est pas major (voir aussi l'exercice sur les arbres).
Dans ce cas, videmment, il n'y a pas de borne suprieure.
Si l'ensemble est totalement ordonn, sup(A) et sup(B) sont comparables,
l'un des deux est plus grand, c'est un majorant de A B. Ce majorant est
le plus petit : supposons par exemple que c'est sup(A). Soit t un lment
infrieur sup(A) : t n'est pas un majorant de A donc n'est pas un
majorant de A B. Dans ce cas, sup(A B) = max(sup(A), sup(B)).
exercice 7-QC
(QC-1) Soit y, et z dans F, vrifiant y z, y z. Comme f est bijective,
ces lments ont des antcdents uniques :
x = f
1
(y), t = f
1
(z), et x t puisque y z.
115

L'ordre de E est total donc ces lments sont comparables. Deux cas sont
envisager :
x < t, ou t < x.
Si t < x, f tant croissante :
f(t) f(x), soit :
z y, ce qui est faux (y < z).
Il en rsulte que x < t.
La bijection rciproque f
1
est donc croissante.
exercice 8-QC
(QC-1) L'application f
2
est surjective. On observe cependant par
exemple :
A = [0 , 1[, sup
E
(A) = 1, f
2
(A) = {0}, sup
F
(f
2
(A)) = 0, f
2
(sup
E
(A)) = 1.

La surjectivit ne suffit pas, mme dans le cas totalement ordonn.
(QC-2) On vient de voir que ces hypothses ne suffisent pas pour que la
conclusion de la conjecture 2) soit vraie.
Reprenons le raisonnement prcdent :
Il est toujours vrai que sup
E
(A) est un majorant de f(A). Est-il le plus
petit ?
Soit b un majorant de f(A). Comme f est surjective, l'lment b a au
moins un antcdent, soit a, dans E.
La question est de savoir si a est un majorant de A. Soit x dans A, l'ordre
de E tant total, soit x a, soit x > a. Envisageons ce cas.
Il en rsulte f(a) f(x), soit b f(x). Cette relation n'est possible que si b
est un lment de f(A) : en effet b est par hypothse suprieur tout
lment de f(A), donc b f(x), d'o b = f(x).
Dans ce cas, b est un lment de f(A) qui est aussi un majorant de f(A),
d'o b = max(f(A)).
116

En rsum, si f(A) admet un plus grand lment, ce raisonnement ne
permet pas de conclure que sup
F
(f(A)) = f(sup
E
(A)). C'est d'ailleurs dans
ce cas que se place le contre-exemple de la (QC-1).
Si f est surjective, E totalement ordonn, et si f(A) n'a pas de plus grand
lment, alors le raisonnement commenc ci-dessus se poursuit :
f(a) f(x) est impossible donc x > a est impossible, donc x a.
L'antcdent a de b est donc un majorant de A. Il est donc infrieur la
borne suprieure :
a sup
E
(A), d'o f(a) f(sup
E
(A)), donc :
f(sup
E
(A)) est le plus petit majorant de f(A) :
f(sup
E
(A)) = sup
F
(f(A)).
(QC-3) Supposons donc f injective. Comme succ(a) a, f(succ(a)) f(a),
et f(succ(a)) f(a). Ceci ne suffit pas pour que f(succ(a)) soit le
successeur de f(a) : il faut encore tablir qu'il n'y a aucun lment de F
strictement compris entre f(a) et f(succ(a)).

Soit z un lment de F vrifiant :
f(a) z f(succ(a)),
ici encore, sans hypothse de surjectivit on ne pourra pas "remonter"
dans E pour utiliser la proprit caractristique de succ(a) par rapport a.
Ajoutons cette hypothse, c'est--dire supposons f bijective.
Soit t l'antcdent de z. On a les ingalits (cf. exercice 7, QC) :
a t succ(a),
donc soit t = a, soit t = succ(a), et donc soit z = f(a), soit z = f(succ(a)).
On conclut bien que f(succ(a)) = succ(f(a)) dans le cas d'un iso-
morphisme.
117

exercice 10-QC
(QC-1) Pour n = 1, la relation est triviale (tous les lments sont
quivalents). L'ensemble quotient a un seul lment, ce n'est pas un
anneau (selon la dfinition adopte ici).
Pour n = 0, au contraire, un lment n'est quivalent qu' lui-mme, le
quotient est Z, c'est bien anneau.
(QC-2) Pour n = 3 et n = 9, les tables donnent :

1 2
1 1 2
2 2 1
2
2
= 1

118

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

8
2
= 1, donc 8
8
= 1.
Si on gnralise partir de ces exemples, on obtient l'nonc :
"Soit n un entier impair. Dans Z/nZ, x
n1
= 1 est vrifi pour :
x = 1 et x = n1".
En ce qui concerne x = 1, c'est vident. Pour x = n1, on voit que x = 1
dans l'anneau quotient, donc x
n1
= (1)
n1
, donc si n 1 est pair,
x
n1
= 1.
exercice 11-QC
(QC-1) Si on calcule dans Z/3Z, on obtient l'quation suivante (on a not,
par abus, a la classe d'quivalence de a dans Z/3Z) :
a
2
= 2.
Rappelons la table de Z/3Z {0} :
1 2
1 1 2
2 2 1
Il est clair que l'quation ci-dessus n'a pas de solution.
119

exercice 12-QC
(QC-1) Notons (+) la premire hypothse et () la seconde.
Il est clair que l'on aboutit f(k) = kf(1) sous la seule hypothse (+).
Si f(1) = 0, on en dduit f(k) = 0 pour tout k.
Si on suppose f(1) = 1, on dduit que f est l'identit.
Dans cette situation, les deux noncs suivants sont donc quivalents :
f vrifie () et f(1) 0,
f(1) = 1.
Tous deux permettent de conclure que f est l'identit.
(QC-2) D'aprs ce qui prcde, les endomorphismes du groupe (Q, +)
sont dfinis par la donne de f(1). Ils sont tous de la forme f(x) = a x.
Ceci s'tend naturellement aux homomorphismes de (Q, +) dans (R, +).
Plus gnralement, soit :
f : (Q, +) --. (G, ),
un homomorphisme de groupes.
Comme prcdemment, on voit que f(k) = f(1)
k
, si k est un entier relatif,
et f(ka) = f(a)
k
, pour k entier relatif et a rationnel quelconque. En
particulier :
f(k.1/k) = f(1) = f(1/k)
k
.
En appliquant (R
+*
, ), on obtient :
f(1/k) = f(1)
(1/k)
, donc :
f(p/q) = f(1)
(p/q)
, pour (p, q) Z Z
*
.

120

exercice 13-QC
(QC-1) L'ensemble des entiers relatifs pairs est bien un idal : 0 est pair,
la diffrence de deux nombres pairs est un nombre pair, le produit d'un
entier quelconque par un nombre pair est un nombre pair.
Par contre l'ensemble des nombres impairs n'est pas un idal : ce n'est
mme pas un sous-groupe puisque 0 n'est pas impair.
L'ensemble des multiples de 3 est un idal : 0 est multiple de 3, la
diffrence de deux multiples de 3 est un multiple de 3, et le produit d'un
entier quelconque par un multiple de trois est un multiple de trois.
exercice 14-QC
(QC-1) Le raisonnement dvelopp dans la correction montre qu'aucun
lment n'est comparable 0. D'ailleurs deux lments ne sont jamais
comparables puisque g h entrane g h 0.

(QC-2) Supposons G archimdien : pour tout lment a tel que a > 0, et
tout lment b il existe un entier n tel que n.a > b.
Soit b un lment de G
+
, et a = min(G
+
).
Soit n le plus petit entier vrifiant n.a > b.
Si (n 1).a < b, alors :
0 0}.
Il en rsulte que G
= {n.a | n entier naturel, n > 0}, puis G = Z.a.

L'application n n.a est bien un isomorphisme de Z sur G.
121

exercice 16-QC
(QC-1) Pour s'orienter soit vers un contre-exemple, soit vers une
dmonstration gnrale, on peut essayer de commencer une dmons-
tration :
Soit t = min(sup(A), sup(B)), et x un rel strictement infrieur t. Peut-
on montrer que x n'est pas un majorant de A B, c'est--dire qu'il existe
z dans A B strictement infrieur x ?
x < t sup(A), donc il existe z
1
, dans A, tel que x < z
1
t,
x < t sup(B), donc il existe z
2
, dans B, tel que x < z
2
t.
Bien sr, rien ne prouve qu'on peut choisir z
1
, ou z
2
, dans A B.
Mme dans le cas o ces bornes sont des maximum, il n'y a aucune
raison pour que max(A) ou max(B) soit dans A B.
A partir de l on peut laborer un contre-exemple :
A = [0 , 1] {2}, B = [0 , 1] {3},
max(A) = 2, max(B) = 3,
A B = [0 , 1],
max(A B) = 1.

(QC-2) Si A est un ensemble de rels positifs, et sup(A) = 0, c'est que
A = {0}. Dans ce cas, pour tout B, A.B = {0}.
Il en rsulte :
sup(A.B) = sup(A).sup(B).
Si sup(A) > 0, et sup(B) > 0, il existe dans A et dans B des lments non
nuls (par exemple dans A un lment entre sup(A)/2 et sup(A)).
Leur produit est strictement positif, donc sup(A.B) est strictement positif.
122

exercice 20-QC
(QC-1) On a vu que de faon gnrale sup
R
(I) inf
R
(J).
Si sup
R
(I) inf
R
(J), il existe donc un rel, soit t, tel que :
sup
R
(I) < t < inf
R
(J).
Soit x un lment de I, et y un lment de J :
x sup
R
(I) < inf
R
(J) y,
donc x t y.
Or x et y sont des lments de I J, qui est un intervalle, donc t est
galement un lment de I J.
Ceci est contradictoire avec sup
R
(I) < t < inf
R
(J).
En effet, t ne peut tre dans I puisqu'il est plus grand que la borne
suprieure, et t ne peut tre dans J puisqu'il est plus petit que la borne
infrieure.
Il en rsulte que sup
R
(I) = inf
R
(J).

123

4 Pour Chercher
4-1 Indications pour les exercices ()

exercice 1-I
1) Nommer les plus grands lments (a = max(A)).
Utiliser la proprit : un plus grand lment est comparable tout autre
lment et est suprieur tout autre lment.
2) La borne suprieure est le plus petit majorant.
On peut la comparer aux autres majorants, et aux lments de l'ensemble.

exercice 2-I
1) Faire un dessin, prendre des exemples.
2) Prendre des exemples pour bien comprendre cette relation : (2, 1) et
(1, 2), (3, 4) et (1, 2)
Il faut distinguer des cas : pour (x, y)
L
(s, t), d'abord (x s et x s)
c'est--dire x < s, y et t quelconques, ensuite (x = s et y t).
4) Pour (a, b) dans Z Z, chercher quelle condition (a', b')
L
(a, b),
puis, en distinguant les diffrents cas, s'il se peut qu'il n'y ait aucun autre
lment entre les deux.
124

exercice 3-I
Indication gnrale : revenir sur les exemples et exercices dj traits
(dans cet ouvrage ou ailleurs) pour tester les conjectures.
On pourra de cette faon trouver ventuellement des contre-exemples, ou
se convaincre qu'un nonc est probablement vrai.
Ensuite passer une dmonstration en forme dans ce cas.

exercice 4-I
Voir les ensembles totalement ordonns, et P({1, 2, 3}).

1) Faire des dessins, prendre des exemples.
Deux cas sont sparer, selon que les deux lments sont comparables,
ou non.
2) Rcurrence, bien entendu.
3) Ce sont des ensembles finis, "petits", donc on peut les reprsenter
facilement en schmatisant d'une faon quelconque l'ordre (une flche
par exemple).
Voir en quoi ils se ressemblent.
4) Formaliser la dfinition de la question prcdente pour la gnraliser.

exercice 5-I
Penser l'criture en base 2.
Pour gnraliser, on peut d'abord considrer le cas n = 4 ou n = 5.

125

exercice 6-I
1) Procder de proche en proche partir de 3, grce la vrification
prliminaire.
2) Rcurrence.
3) Si une partie non vide est majore, toute sous-partie, en particulier
toute sous-partie 2 lments est majore.
4) Si a b, a b et h(a) = h(b), comparer B(a) et B(b).
5) Rcurrence.

exercice 7-I
Examinez les bijections croissantes que vous avez rencontres.

exercice 8-I
2) Rflchir ce qui peut empcher cet nonc d'tre vrai.
Tester sur les applications proposes.
3) Si a < succ(a), est-on sr que f(a) < f(succ(a)) ?

exercice 9-I
1) C'est la commutativit de l'opration qui doit tre tablie.
2) Calculer a + (1) a.
3) Rcurrence.

126

exercice 10-I
6) Procder par numration des cas.
QC-2) Chercher un nonc du type :
"Dans Z/nZ, x
n1
= 1 est vrifi pour x = n 1 si n "

exercice 11-I
1) Supposer qu'un lment x s'crit de deux faons comme combinaison
de 1 et t, et aboutir une contradiction si les coefficients sont distincts
(raisonnement par l'absurde, utilisant l'hypothse "t n'est pas rationnel").
2) Utiliser le calcul de l'inverse d'un nombre complexe que vous
connaissez.
A quelle condition les parties relles et imaginaires sont-elles entires ?
3) Ici encore utiliser une technique bien connue : la multiplication par la
"quantit conjugue", c'est--dire ab 3 , par rapport a+b 3 .
Se rappeler que 3 n'est pas rationnel (on admettra cette proprit si
ncessaire).
5) De t
2
+ p t + q = 0, tirer 1/t en fonction de t.
Prendre toutes les prcautions d'usage avant de diviser par une donne
littrale !
Penser aux formules donnant la somme et le produit des racines d'une
quation du second degr en fonction des coefficients.
L'expression a + b t' joue le rle de la "quantit conjugue" ici.

exercice 12-I
2) Dans le cas d'un homomorphisme d'anneaux, f(1) = 1.

127

exercice 13-I
1) Transformer h(a) = h(b) en composant par h(b)
1
.
2) Se rappeler que dans un anneau a 0 = 0.
3) Voir que le noyau est {0} ou le corps tout entier (double inclusion ()).

exercice 14-I
Le prliminaire permet de voir que la relation < (c'est--dire et ) est
compatible avec la loi de groupe.
1) Tout lment est comparable 0. Ensuite utiliser le prliminaire.
2) Si G est fini, tout lment est d'ordre fini.
A partir de n.g = 0, voir qu'il y aurait des lments diffrents de 0, la
fois plus grands que 0 et plus petit.
3) Reprendre les arguments de 2).
4) Penser des groupes ordonns que vous connaissez bien (Z, Q).
Supposer qu'il existe a' tel que a < a' < 2a. Comparer a' a et a.

exercice 15-I
1) Un idempotent est un carr.
2) Tout lment est comparable 0.
3) Utiliser l'exercice prcdent : dans le groupe (A, +), il n'y a pas de plus
grand lment.

exercice 16-I
2) Dmarche gnrale ().
Prendre un rel R, infrieur sup(A) + sup(B), c'est la somme d'un rel
infrieur sup(A) et d'un rel infrieur sup(B).
128

Dduire qu'il existe des rel a et b dans A et B respectivement dont la
somme est comprise entre R et sup(A) + sup(B).

exercice 17-I
1) Entre deux entiers il y a une diffrence qui vaut au moins 1.
2) Utiliser le 1). Revoir ce que veut dire "archimdien".
3) Distinguer selon le signe de x.

exercice 18-I
1) Utiliser la notion de noyau (exercice 13)
2) cf. exercice 13.
3) Le corps des rels est archimdien, ce qui peut s'exprimer en disant
que certaines inquations portant sur les entiers ont une solution :
(celles de la forme n.a > b, avec a > 0.)
Penser aussi que n
2
n si n est entier naturel.

exercice 19-I
1) C'est un problme classique de rsolution d'inquations.
Une fois les lments de A encadrs pour presque tous les n, voir les cas
particulier (qui sont en petit nombre) et calculer un majorant et un
minorant.
Penser l'exploration graphique.
Le "tableau de variation" est galement un outil puissant pour traiter les
problmes de majoration ou minoration qui portent sur des fonctions
drivables.
Un calcul approch peut galement tre utilis.
129

2) Penser que la fonction sin prend des valeurs entre 1 et 1.
3) Utiliser le calcul habituel du module en fonction de la partie relle et
de la partie imaginaire.
Pour montrer qu'un majorant est la borne suprieure, il suffit de vrifier
() qu'il existe au moins un lment de l'ensemble entre ce majorant et un
nombre plus petit.
Pour choisir cet lment, on peut prendre un cas particulier facile traiter
(s'aider de la reprsentation de M).

exercice 20-I
1) Proprit de base de R. Raisonnement classique sur les bornes ().
2) Ce sont des exemples simples.
Penser des intervalles ouverts ou non.
3) Une bonne varit d'exemple doit vous suggrer les rponses.
4) Ici encore, faites des dessins, puis les raisonnements qu'ils vous
suggrent. Se rappeler ce qu'est un intervalle ().
5) La contrapose est peut-tre plus facile prouver. Attention sa
formulation (ngation de "et").

130

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 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 a 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, B aussi, soit Q. Il faut dmontrer que P Q.

2- Prouver qu'une application f est injective : les mthodes sont varies.
utiliser directement la dfinition :
supposer f(x) = f(y), montrer x = y.
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.

131

3- 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, 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 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).

4- Utiliser max (ou min) : On doit toujours mettre en oeuvre les deux
proprits caractristiques de max (ou min). C'est un lment de
l'ensemble. C'est un majorant. Ne pas oublier que, lorsque max existe,
max = sup. Les mthodes qui s'appliquent aux bornes suprieures et
infrieures s'appliquent en particulier au plus grand ou au plus petit
lment.

5- Utiliser sup (ou inf) : deux caractristiques de sup. C'est un majorant,
c'est le plus petit majorant. Pour calculer sup(A), on peut souvent
commencer par dterminer les majorants de A, puis voir s'il existe un
plus petit majorant. Ne pas ngliger, lorsque la situation le permet,
l'tude des variations d'une fonction drivable d'une variable relle.
Consquences pratiques : sup(A) est plus grand que tout lment de
A. Dans beaucoup de situations, on connat bien A, mais pas sup(A).
132

On dmontre des proprits de sup(A) en "passant par" A. Si
x < sup(A), ce n'est pas un majorant donc il existe un lment a de A
vrifiant x < a sup(A). Pour montrer une galit du type T sup(A),
on montre que T est un majorant de A : pour tout a de A, T a. Pour
montrer une ingalit du type S sup(A), on cherche un lment de
A plus grand que S : il existe a dans A tel que S a (analogue pour
inf).

6- Raisonner dans un ensemble totalement ordonn : on utilise souvent
la sparation des cas. tant donns a et b, deux cas sont possibles,
a b et b a, ou parfois, a b et b < a.
Les parties finies ont un max et un min. Les applications monotones
bijectives sont des isomorphismes (la rciproque est monotone).

7- Calculer dans un anneau : pour les calculs algbriques de base, il faut
procder comme on le ferait dans R, ou Z. Toutefois, prendre garde
quelques points :
la multiplication n'est pas ncessairement commutative (on verra
l'exemple du calcul matriciel).
il peut exister des diviseurs de zro (), ce qui rend plus dlicates
les simplifications ( voir galement en calcul matriciel).
il se peut qu'un multiple entier d'un lment non nul soit nul (voir
les exemples du type Z/kZ).

8- Calculer modulo n, c'est--dire dans un anneau Z/nZ : on calcule
comme dans Z, pour l'essentiel, en remplaant toutefois les multiples
de n par 0. L'usage est de noter de la mme manire un entier p et sa
classe d'quivalence, ce qui conduit des critures telles que 5 = 2
(modulo 7), en principe claires dans le contexte. Lorsque n n'est pas
trop grand, beaucoup de problmes simples s'tudient par
numration des diffrents cas.
133

9- Raisonner dans un groupe ou un anneau ordonn : l'opration
compatible avec la relation d'ordre permet de "transporter" une
situation par translation (loi de groupe). Si x y, alors x + z y + z.
En particulier ce qui se passe en relation avec 0 s'tend en dehors de
0. Par exemple, dire que tout lment est comparable 0 quivaut
dire que l'ordre est total. Pour utiliser de manire analogue la seconde
opration d'un anneau (loi ), il faut prendre des prcautions. Elle
n'est compatible avec qu'en ce qui concerne les lments suprieurs
0.
Pour calculer dans un groupe commutatif ordonn, on peut procder
comme dans les entiers relatifs, ou dans les rationnels, ou les rels.

Les mthodes dans les exercices :

ex. 1 : 4, 5 ex. 2 : 4, 5, 6 ex. 3 : 6
ex. 4 : 4, 5, 6 ex. 6 : 6 ex. 7 : 6
ex. 8 : 4, 5 ex. 9 : 7 ex. 10 : 8
ex. 11 : 7 ex. 13 : 7 ex. 14 : 9
ex. 15 : 6, 9 ex. 16 : 5 ex. 19 : 5
ex. 20 : 5

134

4-3 Lexique ()
A
Anneau : soit (E, T, ) un ensemble muni de deux lois internes ().
On dit que c'est un anneau si (E, T) est un groupe commutatif
(), si est distributive () par rapport T, enfin si admet un
lment neutre ().
Antisymtrique (relation) : c'est une relation R qui a la proprit
suivante. Pour tout x et tout y, x R y et y R x entrane x = y.
Application monotone : une application est monotone si elle est
croissante, ou dcroissante ().
Archimdien : un groupe commutatif ordonn (G, +, ) est archimdien
si pour tout lment a, a > 0 (0 = lment neutre), et tout lment b,
de G, il existe un entier naturel non nul n tel que n.a > b.

B
Bien ordonn : un ensemble ordonn () est bien ordonn si toute
partie non vide a un plus petit lment ().
Borne suprieure (respectivement infrieure) : dans un ensemble ordonn
(E, ), la borne suprieure (resp. infrieure) d'une partie A est le
plus petit (resp. grand) lment de l'ensemble des majorants (resp.
minorants) de A.

C
Comparable : dans un ensemble ordonn (E, ) (), on dit que deux
lments x et y sont comparables si x y ou y x.
Compatible : dans un ensemble E, une loi interne et une relation R sont
compatibles si l'implication suivante est vraie : si x R y et z R t,
alors x z R y t.
135

Conjecture : nonc mathmatique correctement crit, dont on ne sait pas
s'il est vrai ou faux.
Contrapose : la contrapose de l'nonc "si P alors Q" est l'nonc :
"si non(Q) alors non(P)".
Corps : un anneau () (A, +, ) est un corps si est commutative et si
tout lment de A diffrent de l'lment neutre () de + a un
symtrique () pour .
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).
Diviseur de zro : dans un anneau () (A, +, ), on dsigne par 0
l'lment neutre () de +. Un lment a est un diviseur de 0 s'il
existe un lment b non gal 0 tel que a b = 0.
E
Endomorphisme : pour un groupe, un anneau, un corps, E, un
endomorphisme est un homomorphisme () de E dans lui-mme.

F
Fractions quivalentes : ce sont deux fractions qui reprsentent le mme
rationnel. Les fractions
p
q
et
r
s
sont quivalentes si et seulement si
ps = qr.

136

H
Homomorphisme d'anneau : si (A, +, ) et (B, +, ) sont des anneaux, un
homomorphisme d'anneaux de A dans B est un homomorphisme de
groupes () de (A, +) dans (B, +) qui vrifie de plus :
pour tout x et tout y de A f(x y) = f(x) f(y),
f(1) = 1 (1 dsigne l'lment neutre de dans ces deux anneaux).
Homomorphisme de corps : c'est un homomorphisme d'anneaux entre
des corps ().
Homomorphisme de groupes : si (G, ) et (H, T) sont des groupes, un
homomorphisme de G dans H est une application f de G dans H,
qui vrifie pour tout x et tout y de G, f(x y) = f(x) T f(y).

I
Idempotent : dans un anneau, un lment idempotent est un lment gal
son carr.
Injectif : une application est injective si deux lments distincts ont des
images diffrentes.
Intgre : un anneau () est intgre s'il ne possde pas de diviseur de
zro () diffrent de 0.
Intervalle : dans un ensemble ordonn (E, ) (), un intervalle est une
partie I de E qui a la proprit suivante : si x et y sont des lments
de I, alors tout lment de E compris entre x et y est un lment de
I.
Inversible (lment) : dans un anneau () (A, +, ), un lment a est
inversible s'il existe un lment b de A tel que a b = 1 (lment
neutre () de ).

137

M
Majorant (respectivement : minorant) : dans un ensemble ordonn (),
un majorant (resp. minorant) d'une partie est un lment plus grand
(resp. plus petit) que tout lment de cette partie.
Majore (partie) (respectivement : minore) : une partie d'un ensemble
ordonn () est majore (resp. minore) si elle admet un
majorant (resp. minorant) ().

N
Naturellement bien ordonn (NBO) : un ensemble ordonn (E, ) ()
est Naturellement Bien Ordonn, s'il est bien ordonn (), et si
tout lment, sauf min(E), a un prdcesseur.
Nilpotent (lment) : dans un anneau () (A, +, ), un lment a est
nilpotent s'il existe un entier naturel n tel que a
n
= 0.
Noyau : le noyau d'un homomorphisme de groupes () est l'ensemble
des lments dont l'image est l'lment neutre.

O
Ordonn (ensemble) : soit E un ensemble. Si est une relation d'ordre
dans E, on dit que E, muni de , est un ensemble ordonn.
Ordre : une relation R dans un ensemble est une relation d'ordre si elle
est rflexive (), antisymtrique (), et transitive ().
Ordre d'un lment d'un groupe : dans un groupe (G, ) un lment g est
d'ordre fini s'il existe un naturel non nul n tel que g
n
= e (lment
neutre du groupe). L'ordre de g est alors le plus petit entier ayant
cette proprit.
Ordre d'un groupe : nombre d'lments de ce groupe.

138

P
Plus grand (respectivement : petit) lment : encore appel maximum
(resp. minimum). Dans un ensemble ordonn, le plus grand
lment d'une partie A est un lment de A qui est un majorant
(resp. minorant) de A : tout lment de A lui est comparable (),
et il est suprieur ou gal tous les lments de A (resp. infrieur
ou gal).
Prdcesseur : dans un ensemble ordonn (E, ) (), un prdcesseur
d'un lment a est un lment b tel que b a, b a, et il n'existe
pas d'lment c vrifiant b < c < a.

R
Rflexive : soit R une relation sur E. Elle est rflexive si pour tout x de
E, x R x.

S
Section finissante (respectivement : commenante) : dans un ensemble
ordonn (E, ) (), soit a un lment. La section finissante (resp.
commenante) ferme d'origine a est l'ensemble des lments de E
suprieurs (resp. infrieurs) ou gaux a. La section finissante
(resp. commenante) ouverte est l'ensemble des lments
strictement suprieurs (resp. infrieurs) a.
Segment : dans un ensemble ordonn (E, ) (), soient a et b des
lments, un segment d'extrmits a et b est form des lments de
E compris entre a et b. Selon que l'on prcise "compris au sens
strict", ou strictement suprieurs a et infrieurs ou gaux b, etc.
on obtient le segment ]a , b[ ouvert, ]a , b] ouvert gauche, ferm
droite, etc.
Stable : une partie A d'un groupe (G, ) est stable si pour tout x et tout y
de A, x y est un lment de A.
139

Successeur : dans un ensemble ordonn (E, ) (), un successeur d'un
lment a est un lment b tel que b a, b a, et il n'existe pas
d'lment c vrifiant b > c > a.
Surjective : une application f : E F est surjective si tout lment de F a
un antcdent.
Symtrique (relation) : une relation R sur un ensemble E est symtrique
si pour tout x et tout y de E on a l'implication : x R y y R x.

T
Totalement ordonn : un ensemble ordonn () est totalement ordonn
si tous les lments sont comparables () deux deux. On dit
encore que l'ordre est total.
Transitive (relation) : une relation R sur un ensemble E 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.
Trivial : le sous-groupe trivial d'un groupe est celui qui a pour seul
lment l'lment neutre du groupe.

Daniel Alibert - Cours Et Exercices Corrigés - Volume 2

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Daniel Alibert - Cours Et Exercices Corrigés - Volume 2

Загружено:

Авторское право:

Доступные форматы

Daniel ALIBERT cours et exercices corrigs volume 2

(), et rciproquement, et que G

sont des parties stables ()

sont des parties stables () pour + d'aprs le prliminaire.

: c'est videmment une

d'aprs ce qui prcde. Si G est fini, G

. S'il existe dans G

, on raisonne sur leur oppos, qui est dans G

= {n.a | n entier naturel, n > 0}, puis G = Z.a.

Вам также может понравиться