c Christophe Bertault - MPSI

Relations dordre
Relations dordre

Dans toute cette partie, E est un ensemble.

1.1

Relations binaires

Dfinition

(Relation binaire) On appelle relation binaire sur E tout triplet R = (E, E, ) o est une partie de E E.

Au lieu de noter (x, y) , on notera gnralement xRy, ce qui se lit : x est en relation avec y par R .
   Explication Tout cela a lair bien compliqu. Pourtant une relation binaire sur E nest quune faon de relier entre
eux certains lments de E.
Il faut bien noter quen gnral la relation xRy nimplique pas la relation yRx. On peut trouver cela contre-intuitif premire
vue car le franais ne distingue pas bien les phrases x est en relation avec y et y est en relation avec x , mais cela parat
plus clair si on a lexemple suivant en tte : A aime B mais B naime pas A .

On peut reprsenter les relations binaires au moyen de ce quon appelle des graphes orients : un graphe
orient est un ensemble de points appels les sommets du graphe, relis par des artes flches.
Pour comprendre cela, donnons-nous une relation binaire R sur E. Les sommets du graphe orient associ
R sont tous les points de E. Deux sommets x et y sont lis par une arte oriente de x vers y si la
relation xRy est vraie ; une double flche indique quon a la fois xRy et yRx.
Par exemple, le graphe ci-contre reprsente la relation binaire R sur J1, 6K dfinie par :
1R2,
Exemple

2R1,

2R2,

2R5,

2R6,

3R3,

3R5,

2
5

5R3.

Vous connaissez depuis toujours certaines relations binaires :

la relation dgalit = sur E ;

la relation 6 sur R ;

ici, = (x, x)

ici, = (x, y) R R/

xE

x6y

la relation 6 sur lensemble RR , dfinie par :

f, g RR ,

f6g

la relation de divisibilit | sur Z, dfinie par :

m, n Z,

m|n

Dfinition

et

3R6

x R, f (x) 6 g(x)

k Z/ n = km.

(Proprits des relations binaires) Soit R une relation binaire sur E.

On dit que R est rflexive si :

x E,

On dit que R est transitive si :

xRx.

x, y, z E,

On dit que R est symtrique si :

x, y E,

On dit que R est antisymtrique si :

xRy et yRz

xRy yRx.

x, y E,

xRy et yRx

= xRz.

= x = y.

   Explication Ces proprits ventuelles des relations binaires se voient particulirement bien sur les reprsentations
sous forme de graphes cest un peu moins clair pour la transitivit.

2
5

1
6

Rflexivit :
Une boucle chaque sommet.

1
5

4
Transitivit.

1
6

Symtrie :
Que des flches doubles
(sauf pour les flches qui bouclent ).

2
5

6
4

Antisymtrie :
Aucune flche double.

c Christophe Bertault - MPSI

Exemple
La relation dgalit = sur E est rflexive, transitive, symtrique et antisymtrique.

Les relations 6 sur R et RR sont rflexives, transitives et antisymtriques. Elles ne sont pas symtriques car par exemple :
162

mais

2
1,

et

(x 7 x) 6 (x 7 x + 1)

mais

(x 7 x + 1)
(x 7 x).

La relation < sur R est transitive et antisymtrique, mais elle nest ni rflexive, ni symtrique.

La relation | de divisibilit sur Z est rflexive et transitive, mais elle nest pas antisymtrique car par exemple 2|2 et
2| 2 alors que 2 6= 2.
La relation dinclusion sur P(E) est rflexive, transitive et antisymtrique.

La relation S sur R dfinie par :

et symtrique.

1.2

x, y R ,

xS y

x et y ont le mme signe

est rflexive, transitive

Relations dordre

Dfinition (Relation dordre) Soit R une relation binaire sur E. On dit que R est une relation dordre sur E si R est la
fois rflexive, transitive et antisymtrique.
Les relations dordre sont souvent notes 6 ou 4 ou . ou - . . .

Exemple
Les relations 6 sur R et RR sont des relations dordre il en est de mme des relations >.
La relation dinclusion sur P(E) est une relation dordre.
Exemple
La relation de divisibilit | sur Z nest pas une relation dordre on a vu quelle nest pas antisymtrique ; la
relation de divisibilit | sur N en revanche en est une.
En effet
Rflexivit : Soit n N. Alors n|n car n = 1 n.
Transitivit : Soient n, n0 , n00 N tels que n|n0 et n0 |n00 . Montrons que n|n00 .
Or puisque n|n0 , il existe k N tel que n0 = kn ; et puisque n0 |n00 , il existe k0 N tel que n00 = k0 n0 . Du
coup n00 = k0 n0 = kk0 n, et donc n|n00 .
Antisymtrie : Soient n, n0 N tels que n|n0 et n0 |n. Montrons que n = n0 .
Or puisque n|n0 , il existe k N tel que n0 = kn ; et puisque n0 |n, il existe k0 N tel que n = k0 n0 . Alors
n = k0 n0 = kk0 n. Deux cas doivent tre distingus ici :
1) Si n = 0, alors n0 = kn = k 0 = 0 et donc n = n0 comme voulu.
2) Si n 6= 0, on obtient kk0 = 1 en simplifiant par n. Or k et k0 sont deux entiers naturels, donc
k = k0 = 1. Ici aussi, n = k0 n0 = n0 .
   Explication
Une relation dordre sur E est, comme son nom lindique, une relation qui met de
lordre entre les lments de E. Ordre sentend ici au sens de hirarchie : il y
a un haut et un bas, des plus petits et des plus grands. Si 4 est une relation dordre
sur E, la relation x 4 y sinterprte gnralement en disant que x est plus petit
que y ; cela dit, cette interprtation est purement conventionnelle et on pourrait
considrer que la relation x 4 y signifie que x est plus grand que y cest une
question de got.

1
3

Dans le graphe associ une relation dordre 4 sur E, les seules boucles
prsentes sont lies la rflexivit de 4. Il nest pas possible davoir une boucle de
la forme x1 4 x2 , x2 4 x3 , . . . , xn1 4 xn , xn 4 x1 o x1 , x2 , . . . , xn sont des
lments distincts de E. Si en effet on avait une telle boucle, alors on aurait x2 4 x1
par transitivit de 4, puis x1 = x2 par antisymtrie, contrairement lhypothse.
Cette proprit des relations dordre a un impact gomtrique sur les graphes qui
leur sont associs. Les graphes de relations dordre ont comme une orientation
naturelle : en les parcourant on va toujours de lavant, on ne revient jamais en
arrire, on ne tourne jamais en rond. Cest un peu comme les rseaux fluviaux : les
fleuves et les rivires coulent tous en direction de la mer et ne bouclent jamais. Cest
prcisment cette orientation ou sens de lecture qui nous invite considrer
que certains lments sont plus petits/grands que dautres.

1
4
2
2
2

1
4

3
Boucle

c Christophe Bertault - MPSI

Dfinition

(Elments comparables, relation dordre total/partiel) Soit 4 une relation dordre sur E.

Soient x, y E. On dit que x et y sont comparables par 4 si on a x 4 y ou y 4 x ventuellement les deux et dans
ce cas x = y par antisymtrie.
On dit que 4 est totale si deux lments quelconques de E sont toujours comparables par 4, i.e. :
x 4 y ou y 4 x.

x, y E,
Une relation non totale est dite partielle.

Exemple
La relation 6 sur R est une relation dordre totale. En particulier tous les rels sont comparables 0 positifs ou ngatifs
et cest pourquoi, par exemple, on a eu le droit de dfinir la fonction valeur absolue |x| sur R en distinguant deux cas :
x > 0 et x < 0.
La relation 6 sur RR est une relation dordre partielle. Par exemple, les fonctions sinus et cosinus ne sont pas comparables :
on na ni sin 6 cos ni cos 6 sin.
La relation de divisibilit | sur N est une relation dordre partielle car 2 et 3 sont incomparables pour cette relation : on
na ni 2|3 ni 3|2.
La relation dinclusion sur P(E) est une relation dordre partielle
 ds
 que E contient
 au moins deux lments. En effet,
si a et b sont deux lments distincts de E, alors on na ni
a b
ni
b a .

1.3

1.3.1

Majorants/minorants, plus grands/petits lment,

bornes suprieures/infrieures
Majorants/minorants

Dfinition

(Majorant/minorant) Soient 4 une relation dordre sur E et A une partie de E.

On dit que A est majore (pour 4) sil existe M E tel que : a A, a 4 M .

Un tel lment M est appel un majorant de A. On dit aussi que A est majore par M ou encore que M majore A.
On dit que A est minore (pour 4) sil existe m E tel que : a A, m 4 a.
Un tel lment m est appel un minorant de A. On dit aussi que A est minore par m ou encore que m minore A.
On dit que A est borne (pour 4) si elle est la fois majore et minore.
$ $ $ Attention ! Une partie majore A possde en gnral plusieurs majorants : par exemple, si M en est un majorant
et si M 4 M 0 , alors M 0 est aussi un majorant de A. Cest pourquoi on ne parle jamais du majorant, mais toujours dun
majorant de f . Raisonnement analogue pour les minorants.

Exemple
Lintervalle ] , 1] est major par 1, mais aussi par
Lensemble

8, 10, 12

2, 3. . . Il nest pas minor.

est minor par 2 et major par 120 pour la relation de divisibilit sur N.

P(E) est minor par et major par E pour la relation dinclusion.

1.3.2

Plus grands/petits lments

Dfinition

(Plus grand/petit lment) Soient 4 une relation dordre sur E et A une partie de E.

Soit M E. On dit que M est un plus grand lment de A ou un maximum de A (pour 4) si M A et si M est un
majorant de A.
Soit m E. On dit que m est un plus petit lment de A ou un minimum de A (pour 4) si m A et si m est un
minorant de A.

c Christophe Bertault - MPSI

   Explication

}|

M majore A

{ z

M A

}|

Bref, un plus grand lment M dune partie A est un lment de A plus grand que tous les autres.

Thorme (Unicit du plus grand/petit lment) Soient 4 une relation dordre sur E et A une partie de E.
Si A possde un plus grand (resp. petit) lment pour 4, celui-ci est unique et on lappelle donc le plus grand (resp. petit)
lment de A. On le note alors max A (resp. min A).

$ $ $ Attention !

Les plus grands/petits lments sont uniques. . . sils existent !

Dmonstration
les plus petits.

Contentons de faire le travail pour les plus grands lments dmonstration analogue pour

On suppose que A possde deux plus grands lments M et M 0 . Il sagit de montrer que M = M 0 . Alors M est
un majorant de A et M 0 A, donc M 0 4 M ; de mme M 0 est un majorant de A et M A, donc M 4 M 0 . Ainsi
M = M 0 par antisymtrie de 4.

On travaille dans cette srie dexemples avec la relation dordre naturelle 6 sur R.

Exemple

(i) R na ni plus petit ni plus grand lment car il nest ni minor ni major.
(ii) Lintervalle [0, 1[ na pas de plus grand lment en revanche 0 est son plus petit lment.
En effet

Contentons-nous de dmontrer (ii).

0 [0, 1[ et 0 est un minorant de [0, 1[ : 0 est donc bien le plus petit lment de [0, 1[.
Un plus grand lment de [0, 1[ est en particulier un lment de [0, 1[. Nous allons passer en revue tous les
lments de [0, 1[ et montrer quaucun dentre eux ne majore [0, 1[. Cela montrera bien quaucun dentre eux
nest un plus grand lment de [0, 1[.
0

Soit M [0, 1[. Montrer que M nest pas un majorant de [0, 1[, cest montrer que : a [0, 1[ / a > M .
M +1
Bref, nous devons exhiber un rel compris strictement entre M et 1. Posons a =
. Puisque 0 6 M < 1
2
1M
> 0, donc a > M comme voulu.
on a 0 6 a < 1, i.e. a [0, 1[. Enfin a M =
2

M +1
2
Exemple

On travaille dans cette srie dexemples avec la relation de divisibilit | sur N.

(i) 0 est le plus grand lment de N eh oui ! et 1 est son plus petit lment.

(ii) Lensemble N r 0, 1
(iii) Lensemble

2, 3, 6

En effet

ne possde ni plus petit lment ni plus grand lment.

possde un plus grand lment cest 6 mais pas de plus petit lment.

Dmontrons seulement les assertions (i) et (ii).

(i) Lentier 0 est un lment de N plus grand que tout le monde car tout le monde le divise, donc 0 est le plus
grand lment de N. Lentier 1 est un lement de N plus petit que tout le monde car il divise tout le monde,
donc 1 est le plus petit lment de N.
(ii) Raisonnons en deux temps.

1) Raisonnons par labsurde et supposons que N r 0, 1 possde un plus petit lment m. Alors en
particulier m|2 et m|3, donc m|(3 2), i.e. m|1. Le seul n
diviseur
o de 1 tant 1 lui-mme, on en dduit
n que
o

m = 1. Ceci nous fournit une contradiction, car 1

/ N r 0, 1 alors que, par hypothse, m N r 0, 1 .

2) Raisonnons de nouveau par labsurde et supposons que N r 0, 1 possde un plus grand lment

n. Alors comme 2n N r 0, 1 , on 2n|n, de sorte quil existe k N tel que n = 2kn. Si n 6= 0, ceci
1

/ N, ce qui est contradictoire ; par consquent n = 0. Nous avons donc bien obtenu une
donne k =
2
n o
n o
contradiction, car 0
/ N r 0, 1 alors que, par hypothse, n N r 0, 1 .

c Christophe Bertault - MPSI

1.3.3

Bornes infrieures/suprieures

Dfinition

(Borne suprieure/infrieure) Soient 4 une relation dordre et A une partie de E.

Sil existe, le plus petit lment de lensemble des majorants de A pour 4 est appel la borne suprieure de A (pour
4) et not sup A. Pour rsumer, on dit souvent que sup A, sil existe, est le plus petit des majorants de A.
Sil existe, le plus grand lment de lensemble des minorants de A pour 4 est appel la borne infrieure de A (pour
4) et not inf A. Pour rsumer, on dit souvent que inf A, sil existe, est le plus grand des minorants de A.
   Explication
La notion de plus grand/petit lment dune partie A tait contraignante car elle contenait une
condition dappartenance A. Avec la notion de borne suprieure/infrieure, on essaie prcisment dassouplir cette contrainte.
La diffrence essentielle entre les plus grands/petit lments et les bornes suprieures/infrieures dune partie A, cest donc que
les bornes suprieures/infrieures nappartiennent pas forcment A.
$ $ $ Attention !

La borne suprieure/infrieure nexiste pas toujours.

Remarque
En tant que plus grand (resp. petit) lment, la borne suprieure (resp. infrieure) de A est unique si elle
existe et cest pourquoi on a bien le droit de la noter sup A sans ambigut.
Thorme (Lien entre les plus grands/petits lments et les bornes suprieures/infrieures) Soient 4 une relation
dordre et A une partie de E. Si A possde un plus grand (resp. petit) lment pour 4, alors A possde une borne suprieure
(resp. infrieure) pour 4 et on a :
sup A = max A
(resp. inf A = min A).
Dmonstration
Contentons-nous de faire le travail pour les bornes suprieures dmonstration analogue
pour les bornes infrieures.
Soit M lensemble des majorants de A. Nous devons montrer que M possde un plus petit lment alors A
possdera une borne suprieure et quen fait ce plus petit lment est max A on aura donc sup A = max A.
Il suffit de vrifier deux choses :
1) que max A M : or par dfinition, max A est un majorant de A ;
2) que max A est un minorant de M : or par dfinition max A A.

Exemple Lintervalle R+ ne possde pas de borne suprieure car il nest pas major ; cependant, parce quil possde un plus
petit lment qui est 0, il possde aussi une borne infrieure, 0 galement.
Exemple

Nous avons vu que [0, 1[ navait pas de plus grand lment ; cela dit [0, 1[ possde une borne suprieure cest 1.
En effet
Sintresser la borne suprieure (ventuelle) de [0, 1[, cest sintresser dabord lensemble M des
majorants de [0, 1[. Montrons que M = [1, [. Facile en deux tapes :
1) linclusion [1, [ M est claire car tout rel suprieur ou gal 1 majore [0, 1[ ;
2) pour linclusion rciproque, il suffit dobserver que si M
/ [1, [, i.e. si M ] , 1[, alors
M +1
M<
< 1 et donc M ne majore pas [0, 1[.
2
Nous pouvons prsent conclure : M = [1, [ possde un plus petit lment, 1. Cest donc que [0, 1[ possde une
borne suprieure et que sup[0, 1[ = 1. Vous devez savoir faire vous-mmes ce genre de raisonnement !

Exemple
Pour la relation de divisibilit | sur N, borne suprieure et plus grand commun multiple (PPCM) dune
part, et borne
et plus petit
n infrieure
o
 commun diviseurn(PGCD)o dautre part sont
 des expressions synonymes.
Ainsi :

inf 6, 8, 10 = PGCD 6, 8, 10 = 2
En effet

et

sup 6, 8, 10 = PPCM 6, 8, 10 = 120.

Si A est une partie de N, on appelle plus grand commun diviseur de A tout entier naturel d tel que :
(i) d est un diviseur de A, i.e. d divise tout lment de A : a A, d|a
(bref, d est unminorant de A) ;

(ii) d est le plus grand des diviseurs de A :

N,

a A, |a

|d

(bref, d majore lensemble des minorants de A).

On retrouve bien ainsi la dfinition de la borne infrieure de A comme plus grand lment de lensemble des
minorants de A. On peut procder de mme avec la notion de PPCM. Nous reviendrons sur ces notions dans un
prochain chapitre.

c Christophe Bertault - MPSI

1.4

Application ltude des fonctions

Le contexte des fonctions offre peut-tre lutilisation la plus naturelle, du moins la plus visuelle, des notions que nous venons
dintroduire.
Dfinition

(Fonctions majore/minore/borne) Soient A une partie de R et f : A R une application.

On dit que f est majore sur A si f (A) lest pour la relation dordre naturelle 6 sur R ; cela revient dire quil existe
M R tel que : x A, f (x) 6 M .
Un tel rel M est appel un majorant de f sur A. On dit alors que f est majore par M sur A ou que M majore f sur A.
On dit que f est minore sur A si f (A) lest pour la relation dordre naturelle 6 sur R ; cela revient dire quil existe
m R tel que : x A, f (x) > m.
Un tel rel m est appel un minorant de f sur A. On dit alors que f est minore par m sur A ou que m minore f sur A.
On dit que f est borne sur A si f est la fois majore et minore sur A ; on peut montrer que cela revient dire quil
existe K R+ tel que : x A, f (x) 6 K.

Majore non minore

Minore non majore

Borne

$ $ $ Attention !

Si f est majore (resp. minore), f possde une infinit de majorants (resp. minorants).
Quand on part la recherche dun majorant ou dun minorant dune fonction f , ne jamais choisir un rel qui dpend
de la variable ! En dautres termes, si vous voulez majorer f (x), ne choisissez pas un M qui dpend de x ; votre M doit
majorer f (x) indpendamment de x.
Le contraire de majore nest pas minore . En gnral, les fonctions ne sont ni majores ni minores.
Dfinition

(Maximum/minimum dune fonction) Soient A une partie de R et f : A R une application.

Soit M R. On dit que M est le maximum de f sur A si M est le maximum de f (A) pour la relation dordre naturelle
6 sur R ; cela revient dire que M est un majorant de f sur A et quil existe c A tel que f (c) = M .
Sil existe, le maximum de f sur A, gal par dfinition max f (A), est not max f ou max f (x).
A

xA

Soit m R. On dit que m est le minimum de f sur A si m est le minimum de f (A) pour la relation dordre naturelle
6 sur R ; cela revient dire que m est un minorant de f sur A et quil existe c A tel que f (c) = m.
Sil existe, le minimum de f sur A, gal par dfinition min f (A), est not min f ou min f (x).
A

xA

Un unique maximum
atteint deux fois
$ $ $ Attention !
. &
Les extrema dune fonction, i.e. ses maxima et ses minima, sont chacun
b
b
uniques, mais leurs valeurs respectives peuvent tre atteintes en plusieurs
points.
Exemple
La fonction sinus possde un maximum et un minimum, respectivement 1 et
1. Tous deux sont atteints une intfinit de fois : en tous les points de 2Z
pour le maximum, en tous les points de 2Z + pour le minimum.
Un unique minimum
atteint une fois

Pas un maximum
mais un maximum local
.
(pour plus tard)
b

c Christophe Bertault - MPSI

Dfinition

(Borne suprieure/infrieure dune fonction) Soient A une partie de R et f : A R une application.

On dit que f possde une borne suprieure sur A si sup f (A) existe.
Si elle existe, la borne suprieure de f sur A, gale par dfinition sup f (A), est note sup f ou sup f (x).
A

xA

On dit que f possde une borne infrieure sur A si inf f (A) existe.
Si elle existe, la borne infrieure de f sur A, gale par dfinition inf f (A), est note inf f ou inf f (x).
A

   Explication

La grande diffrence entre les extrema et les bornes suprieures/infrieures, cest que les
extrema sont forcment atteints alors que les bornes suprieures/infrieures ne le sont pas
ncessairement.

xA

Borne suprieure
(non atteinte)
&

Minimum,
donc borne infrieure

Deux proprits importantes de N

Cette deuxime partie du chapitre explore plus profondment le contexte de la relation dordre naturelle 6 sur N. Plus
prcisment, nous allons y tablir deux proprits essentielles trs intuitives de lensemble des entiers naturels.
Thorme

Toute partie non vide de N possde un plus petit lment.

Dmonstration Soit A une partie non vide de N. Nous voulons montrer que A possde un plus petit lment.
Raisonnons par labsurde et supposons justement que A ne possde pas de plus petit lment.
Nous allons montrer par rcurrence que A est minore par n pour tout n N. Nous en tirerons aussitt une
contradiction.
1) Dj, A est minore par 0 car toute partie de N lest.
2) Soit alors n N. Supposons A minore par n. Comme par hypothse A ne possde pas de plus petit
lment, nous en dduisons donc que n
/ A. Du coup : a A, n < a. Mais cette proposition peut
scrire avec des ingalits larges : a A, n + 1 6 a. Ceci signifie prcisment que A est minore par
n + 1. Fin de la rcurrence.
Nous venons donc de montrer que : n N, a A, n 6 a. Soit alors a A A est non vide par
hypothse. Alors en particulier a + 1 6 a et cest une belle contradiction.


Corollaire

Toute partie non vide majore de N possde un plus grand lment.

Dmonstration
Soit A une partie non vide majore de N. Par hypothse, lensemble M des majorants de A
est non vide. En vertu du thorme prcdent, il possde donc un plus petit lment m.
Supposons dabord que m = 0. Alors
pour tout a A, a 6 m = 0, et comme a N, a = 0. Puisque A est
non vide, cela montre que A = 0 . Par suite A possde un plus grand lment, 0.
Supposons prsent que m 6= 0. Alors m 1 N r M puisque m est le plus petit lment de M. Or si donc
m 1 ne majore pas A, cest quil existe un lment a A tel que m 1 < a. On a donc m 1 < a 6 m,
do a = m. Finalement, m est un majorant de A et un lment de A (puisque m = a) et A possde donc
bien un plus grand lment.


c Christophe Bertault - MPSI

La relation dordre naturelle sur R

Cette troisime partie du chapitre explore plus profondment le contexte de la relation dordre naturelle 6 sur R.

3.1

Compatibilit avec les oprations usuelles daddition

et de multiplication

Thorme

(Compatibilit de la relation dordre avec laddition et la multiplication)

x, y R,

x, y R,

x6y

y x > 0.

x > 0 et y > 0

x + y > 0 et xy > 0.

On peut montrer partir de l que pour tous x, y, z R :

3.2

x6y

x+z 6 y+z

x6y

y 6 x

x 6 y et z > 0

0<x6y

= xz 6 yz
1
1
0< 6 .
y
x

La droite acheve R
n

On apelle droite acheve lensemble R , , not R,

o et sont deux symboles
Dfinition (Droite acheve R)
diffrents rgis par les lois suivantes :
(Prolongement de lordre)
(Prolongement de laddition)

x R,

x R,

(Prolongement de la multiplication)
et

$ $ $ Attention !

3.3

r {0},
x R

< x < .

x+=+x =
x + () = () + x =

r {0},
x R

x () = () x =

x=x =

si x > 0
si x < 0

Cette dfinition ne donne aucun sens aux oprations suivantes :


et

+=
.
() + () =

si x > 0
si x < 0
1
1
et
=
= 0.

0 ,

La proprit de la borne suprieure/infrieure

Le rsultat suivant est lune des proprits les plus importantes de lensemble des rels. Sa dmonstration dpend de la faon dont on construit lensemble R partir de lensemble des rationnels Q. Pour nous qui admettons
navement lexistence des nombres rels, une telle dmonstration est sans importance. Directement ou non, cest en tout cas de ce
rsultat que nous allons dduire dans lanne tous les grands thormes danalyse au programme : thorme de la limite monotone
pour les suites et les fonctions, thorme des suites adjacentes, thorme de Bolzano-Weiertstrass, thorme des valeurs intermdiaires, image dun segment par une fonction continue, thorme de Heine, thorme de Rolle, thorme des accroissements
finis, construction de lintgrale dune fonction continue par morceaux.

Proprit de la borne suprieure/infrieure :

Toute partie non vide majore de R possde une borne suprieure (dans R).
Toute partie non vide minore de R possde une borne infrieure (dans R).

   En pratique La proprit de la borne suprieure/infrieure est un rsultat dexistence : elle nous fournit le critre
pour montrer lexistence des bornes suprieures/infrieures dans R. Notez quelle ne donne cependant aucun renseignement sur
la valeur des bornes en question. Cest pourquoi elle nest utilise que dans des contextes thoriques dans lesquels on ne connat
pas davance la valeur de ces bornes.

c Christophe Bertault - MPSI

Toute partie de R
possde une borne suprieure et
Thorme (Proprit de la borne suprieure/infrieure dans R)
une borne infrieure.
sont
De plus, si A est une partie non vide de R majore dans R, alors sa borne suprieure dans R et sa borne suprieure dans R
gales ; mme chose pour les bornes infrieures.

Dmonstration
La preuve de ce rsultat nest pas difficile une fois quon a admis la proprit de la borne
suprieure dans R, mais il faut distinguer de nombreux cas et cest assez pnible.

. . Il nous apprend une
   Explication
Lintrt de ce thorme rside dans sa simplicit : Toute partie de R.
chose : lnonc de la proprit de la borne suprieure dans R tait un peu compliqu parce quen un sens R est incomplet ; il lui
manque ses deux extrmits. Quon les rajoute et le monde devient beau.
Exemple
et elles valent 1 toutes
Le segment [0, 1], partie non vide majore de R, possde une borne suprieure dans R et dans R,
les deux. Cela dit, il serait idiot dutiliser ici la proprit de la borne suprieure pour montrer lexistence dune borne
suprieure : dans la mesure o on sattend ce que cette borne soit 1, il suffit de le vrifier. Le rel 1 est un plus grand
lment de [0, 1], donc sa borne suprieure.
sup = , car le plus petit lment de lensemble des majorants de , qui est R
tout entier, est .
Dans R,
sup R+ existe et vaut .
Dans R, R+ ne possde pas de borne suprieure car il nest pas major ; mais dans R,
La proprit de la borne suprieure permet de dfinir une fonction un peu bizarre que nous aurons loccasion dutiliser
plusieurs reprises dans lanne : la fonction partie entire.
Thorme

(Partie entire)

y = bxc

Soit x R. Il existe un unique entier n Z tel que n 6 x < n + 1. On lappelle la

partie entire de x et on le note bxc. Cet entier bxc est le plus grand entier relatif
infrieur ou gal x.
bxc 1

x1

bxc

bxc + 1

bxc + 2

bc

bc

x+1

bc

bc

bc

Dmonstration
Commenons par montrer lunicit de bxc. Nous montrerons son existence ensuite. Soient donc m, n N tels
que m 6 x < m + 1 et n 6 x < n + 1. On a alors :

m6 x<m+1
n 1 < x 6 n

donc par somme :

mn1 < 0 < mn+1

et enfin

Compris strictement entre 1 et 1, lentier m n est donc nul, i.e. m = n.

1 < m n < 1.

Pour lexistence de bxc, supposons dabord x > 0 et posons X = n Z/ n 6 x . Lensemble X est une
partie de R qui est non vide (car 0 X) et majore par x. Il possde donc une borne suprieure en vertu de
la proprit de la borne suprieure, que nous noterons bxc. On a bien, comme voulu, bxc 6 x.
Comme bxc 1 < bxc, bxc 1 nest pas un majorant de X ; nous pouvons donc nous donner au moins un
lment n de X tel que bxc 1 < n. Soit alors m X. Si on avait m > n, on aurait mme m > n + 1,
do m > bxc ; mais cette ingalit contredit le fait que bxc est un majorant de X. Par consquent m 6 n.
Lentier n est donc le plus grand lment de X. Cen est donc galement la borne suprieure, i.e. n = bxc.
Nous venons de montrer que bxc est un entier (car n en est un), le plus grand entier relatif infrieur ou gal
x.
On a enfin forcment x < bxc + 1. Si le contraire tait vrai bxc + 1 6 x alors bxc + 1 serait un lment
de X strictement suprieur bxc ; cela contredirait le fait que bxc est le plus grand lment de X.
Nous venons dans ce paragraphe de construire la fonction partie entire sur R+ .

c Christophe Bertault - MPSI


Pour finir, supposons x < 0 et posons bxc =

si x est un entier
. Dans le cas o x est un
sinon

x
bxc 1

entier, on a clairement bxc 6 x < bxc + 1.

Dans le cas contraire on a x > 0, donc bxc 6 x < bxc + 1 en vertu de la premire partie de la
dmonstration. Multipliant cette ingalit par 1 nous obtenons bxc = bxc 1 < x 6 bxc = bxc + 1.
Comme enfin x est suppos non entier, on a bien bxc 6 x < bxc + 1 comme voulu.

Exemple

3.4

b11c = 11,

b5, 2c = 5,

b4c = 4,

mais attention :

b7, 3c = 8

(et non pas 7).

Intervalles de R

Jusquici, on vous a dfini les intervalles de R de faon intuitive en sappuyant essentiellement sur des exemples. Mais les
intervalles de R ont des formes distinctes cause de leurs bornes. La dfinition suivante a lintrt de dcrire dun coup dun
seul, sans soccuper des problmes de bornes, tous les intervalles de R. Nous nous en servirons plus tard dans lanne quand
nous dmontrerons le thorme des valeurs intermdiaires.
Dfinition

(Intervalle de R) On appelle intervalle (de R) toute partie I de R telle que :

x, y, t R,

x I et y I et x 6 t 6 y

= t I.

   Explication
Un intervalle de R est donc une partie I de R qui contient tous les segments dont les extrmits sont
dans I, ou encore qui contient toutes les valeurs intermdiaires des points quelle contient ; cette proprit porte un nom :
on dit que les intervalles de R sont convexes.

Le thorme suivant montre que cette dfinition parle bien des intervalles auxquels nous avions affaire jusquici, et quelle ne
parle que deux. Rappelons que, par dfinition, a et b tant des lments de R ventuellement gaux en cas dingalit
stricte on note :

[a, b] = x R/

a6x6b

]a, b] = x R/

(intervalle ferm ou segment),

a<x6b

[a, b[ = x R/

(intervalle semi-ouvert gauche)

et

a6x<b

]a, b[ = x R/

(intervalle semi-ouvert droite),

a<x<b

(intervalle ouvert).

Thorme (Caractrisation des intervalles de R) Les intervalles de R sont exactement toutes les parties de R ayant
lune des formes suivantes : [a, b], [a, b[, ]a, b], ]a, b[, o a, b R sont tels que a 6 b avec ventuellement a = et b = en
position de borne ouverte .

Remarque

Lensemble vide est un intervalle. Il figure dans cette liste sous la forme, par exemple, de lintervalle [0, 0[.
Dmonstration
Il est bien clair que tous les [a, b], [a, b[, . . . sont, avec la dfinition donne plus haut, des
intervalles de R. Montrons rciproquement que tout intervalle de R a lune de ces formes.
et b
Soit donc I un intervalle de R. Plusieurs cas doivent tre distingus. Notons a la borne infrieure de I dans R
sa borne suprieure.
Supposons que I est la fois major et minor et que a, b I. Montrons que I = [a, b]. Dj, puisque a, b I,
alors par dfinition de I, [a, b] I. Inversement, si x I, on a bien a 6 x 6 b par dfinition de a et b, de
sorte que I [a, b].
Supposons que I est la fois major et minor, que a I mais que b
/ I. Montrons que I = [a, b[.

1) Si x I, on a a 6 x 6 b par dfinition de a et b, et mme a 6 x < b car b

/ I. Ceci montre que
[a, b[ I.
2) Inversement, si x [a, b[, alors x < b et donc x nest pas un majorant de I ; il existe donc y I
tel que x < y. Du coup, on a a 6 x 6 y avec a, y I, donc I tant un intervalle, x I comme voulu.

Supposons que I est minor mais non major et que a

/ I. Montrons que I = ]a, [.

1) Si x I, on a a 6 x par dfinition de a, et mme a < x car a

/ I. Ceci montre que I ]a, [.
2) Inversement, si x ]a, [, alors a < x et donc x nest pas un minorant de I ; il existe donc y I
tel que y < x. Par ailleurs, puisque I nest pas major, x nest pas un majorant de I et donc il existe z I
tel que x < z. Finalement, on a y < x < z avec y, z I, donc I tant un intervalle, x I comme voulu.

10

c Christophe Bertault - MPSI

Supposons que I nest ni minor ni major. Montrons que I = R. Dj, I R par dfinition.
Inversement, soit x R. Puisque I nest ni minor ni major, x nest ni un minorant ni un majorant de I. Il
existe donc y, z I tels que y < x < z. On obtient ainsi y < x < z avec y, z I, donc I tant un intervalle,
x I comme voulu.
Jespre que vous avez compris le truc. Je vous laisse le soin de rdiger les cas restants.

Le thorme suivant montre que lensemble Q des rationnels et lensemble R r Q des irrationnels sont enlacs lun lautre
de faon tout fait fusionnelle, comme deux peignes imbriqus lun dans lautre.


Thorme

Entre deux rationnels distincts il existe toujours un irrationnel.

Entre deux irrationnels distincts il existe toujours un rationnel.

Dmonstration

Nous avons montr dans notre chapitre dintroduction que

Soient r, r 0 Q tels que r < r 0 . Posons x = r + (r 0 r)

entre r et r 0 .

2 est irrationnel.

2
et montrons que x est un irrationnel compris
2

2
< 1, x < r + (r 0 r) 1 = r 0 . Ainsi x est compris entre r et r 0 .
2

xr
le serait aussi, ce qui est faux.
Mais par ailleurs x est irrationnel ; car si x tait rationnel, 2 = 2 0
r r

On a x > r car r 0 r > 0 ; et comme

Soient x, x0 
R r Qtels que x < x0 . Nous devons montrer lexistence dun rationnel entre x et x0 .
1
Posons q =
+ 1 ; q est un entier strictement positif. Par dfinition de la partie entire on a :
x0 x
q>

1
,
x0 x

ou encore

1 < q(x0 x).

Posons ensuite p = bqxc + 1 ; p est un entier. Toujours par dfinition de la partie entire :
qx < p 6 qx + 1 < qx + q(x0 x) = qx0 ,
Nous avons bien trouv un rationnel

Corollaire

et aussitt

x<

p
entre x et x0 .
q

p
< x0 .
q


Tout intervalle ouvert non vide de R contient au moins un rationnel et un irrationnel.

tels que a < b. Montrons que ]a, b[ contient un rationnel et un irrationnel.

Dmonstration
Soient a, b R
Introduisons deux rels a0 , b0 ]a, b[ tels que a0 < b0 .
Si a0 ou b0 est rationnel, alors ]a, b[ contient bien un rationnel ; sinon, si a0 et b0 sont irrationnels, alors comme
a0 < b0 il existe un rationnel entre a0 et b0 en vertu du thorme prcdent, qui est aussi lment de ]a, b[.
Dans les deux cas ]a, b[ contient un rationnel.
Si a0 ou b0 est irrationnel, alors ]a, b[ contient bien un irrationnel ; sinon, si a0 et b0 sont rationnels, alors
comme a0 < b0 il existe un irrationnel entre a0 et b0 en vertu du thorme prcdent, qui est aussi lment
de ]a, b[. Dans les deux cas ]a, b[ contient un irrationnel.


11