Continuité

Dans tout ce chapitre, I, J . . . sont des intervalles de R.

1 Définitions et premières propriétés

1.1 Définitions
1.1.1 Continuité en un point

Définition (Continuité en un point) Soient f : I −→ R une application et a ∈ I. On dit que f est continue en a si lim f
a
existe. On sait dans ce cas, f étant définie en a, que lim f = f (a). Ainsi on peut dire que, par définition, f est continue en a si :
a

∀ε > 0, ∃ α > 0/ ∀x ∈ I, |x − a| < α =⇒ f (x) − f (a) < ε.

ce qui revient aussi à dire que : f (x) = f (a) + o(1).

x→a

   Explication Dire que f est continue en a, c’est dire que quand x s’approche de a, f (x) s’approche de f (a) sans faire
de saut, de sorte que le graphe de f soit sans trou. b
f (a)
bc
f n’est pas continue en a.

a
f (a) b
f est continue en a.

a
bc
b
f n’est pas continue en a.
f (a)
a

Exemple La fonction valeur absolue | · | est continue en tout point de R.

En effet Soit a ∈ R. Montrons que | · | est continue en a. Soit donc ε > 0. On cherche α > 0 tel que :

∀x ∈ R, |x − a| < α =⇒ |x| − |a| < ε.

Or n’oublions pas l’inégalité triangulaire — et sa version raffinée : ∀x, y ∈ R, |x| − |y| 6 |x − y|.
Il nous suffit alors de poser α = ε pour avoir ce qu’on veut.

Exemple Pour tout n ∈ N, la fonction x 7−→ xn est continue en tout point de R.

En effet On peut supposer n 6= 0. Soit a ∈ R. Montrons que x 7−→ xn est continue en a.
• Pour tout x ∈ R :
X
n−1
Inégalité triangulaire X
n−1
xn − an = |x − a| × ak xn−k−1 6 |x − a| |a|k |x|n−k−1 .
k=0 k=0

En particulier, pour |x − a| 6 1, on a |x| = a + (x − a) 6 |a| + |x − a| 6 |a| + 1 et donc :

n  
X
n−1

n−k−1 |a| + 1 − |a|n
n
n
n n k
x −a 6 |x−a| |a| |a|+1 = |x−a|×
= |x−a|× |a|+1 −|a|n 6 |a|+1 |x−a|.
k=0
|a| + 1 − |a|

• Soit alors ε > 0. On cherche α > 0 tel que : ∀x ∈ R, |x − a| < α =⇒ xn − an < ε.

( )
ε
Nos calculs précédents nous donnent l’idée de poser α = min 1,
n , valeur pour laquelle on obtient
|a| + 1
bien le résultat voulu.

1
 1.1.2 Continuité à gauche/à droite en un point

Définition (Continuité à gauche/à droite en un point) Soient f : I −→ R une application et a ∈ I.

• On dit que f est continue à gauche en a si f|I∩ ]−∞,a] est continue en a, i.e. si lim f existe (et vaut f (a)).
a−

• On dit que f est continue à droite en a si f|I∩[a,∞[ est continue en a, i.e. si lim f existe (et vaut f (a)).
a+

   Explication
f est continue en a à gauche, f (a) b bc f n’est pas continue en a à droite,
c
b f (a) b
mais pas à droite. mais pas à gauche.
a a

Théorème (Caractérisation de la continuité à l’aide des continuités à gauche/à droite) Soient f : I −→ R une
◦
application et a ∈ I.
f est continue en a si et seulement si f est continue à gauche et à droite en a.

Démonstration
f est continue en a ⇐⇒ lim f existe ⇐⇒ lim f et lim f existent et valent f (a)
a a− a+

⇐⇒ f est continue à gauche et à droite en a. 

Exemple La fonction partie entière b·c est continue à droite, mais pas à gauche, en tout n ∈ Z. Cela se voit très bien sur le
graphe de la fonction.
b

En effet Soit n ∈ Z. Souvenons-nous que pour tout x ∈ [n, n + 1[, bxc = n. y = bxc
b bc
Par conséquent lim bxc = n = bnc et donc b·c est continue à droite en a.
x→n+ b bc

Au contraire, pour tout x ∈ [n − 1, n[, bxc = n − 1. b bc

Alors lim bxc = n − 1 6= bnc = n et donc f n’est pas continue à gauche en a.
x→n− b bc

bc

1.1.3 Continuité sur un intervalle

Définition (Continuité sur un intervalle) Soit f : I −→ R une application. On dit que f est continue sur I si f est
continue en tout point de I.
On note C(I, R) ou C 0 (I, R) l’ensemble des applications continues sur I à valeurs dans R.

Exemple Les fonctions usuelles — exp, ln, puissances, fonctions circulaires et hyperboliques et leurs inverses — sont continues
sur leurs ensembles de définition respectifs. Pour les fonctions de base — exp, ln, sin et cos — nous l’admettons. Pour les autres
qui sont construites à partir de celles-ci, nous allons pouvoir le montrer bientôt.

1.2 Prolongement par continuité en un point


Définition (Prolongement par continuité en un point) Soient a ∈ I¯ ∩ R et f : I r a −→ R une application. Si lim f
a
existe et est finie, on dit que f est prolongeable par continuité en a. Le prolongement f¯ de f obtenu en posant f¯(a) = lim f est
a
alors continu en a ; on le note généralement encore f pour simplifier.

2
 y = f (x) y = f¯(x)

   Explication
bc
f¯(a) b

Voici comment on peut représenter graphiquement ce théorème

dans le cas où a ∈ I — figures analogues si a est une borne de I.

a a
Démonstration Nous devons montrer que f est continue en a, i.e. que lim f = f (a). Or par définition de f¯,
¯ ¯ ¯
 a
f¯ et f coïncident sur I r a . Par conséquent, l’affirmation selon laquelle f possède une limite en a, égale par
définition à f¯(a), peut s’écrire :

∀ε > 0, ∃ α > 0/ ∀x ∈ I r a , |x − a| < α =⇒ f¯(x) − f¯(a) < ε F.

Ceci signifie presque que lim f¯ = f¯(a), mais pas tout à fait : en effet, f¯ n’est pas définie sur I r a mais sur

 a  

I r a ∪ a . Or il est bien clair qu’on peut remplacer « I r a » par « I r a ∪ a » dans F, car
f¯(a) − f¯(a) = 0 < ε pour tout ε > 0, indépendamment de α. On obtient bien ainsi :
∀ε > 0, ∃ α > 0/ ∀x ∈ I, |x − a| < α =⇒ f¯(x) − f¯(a) < ε. 

Exemple
sin x
• La fonction x 7−→ n’est pas définie en 0 mais on peut la prolonger par continuité en ce point en lui donnant la valeur
x
sin x
1 en 0, car lim = 1.
x→0 x
• La fonction x 7−→ x ln x n’est pas définie en 0 mais on peut la prolonger par continuité en ce point en lui donnant la valeur
0 en 0, car lim x ln x = 0.
x→0

1.3 Caractérisation séquentielle de la continuité

Théorème (Caractérisation séquentielle de la continuité en un point) Soient f : I −→ R une application et a ∈ I.

Les assertions suivantes sont équivalentes :
(i) f est continue en a.


(ii) Pour toute suite (un )n∈N de limite a à valeurs dans I, la suite f (un ) n∈N
a pour limite f (a).

Démonstration Conséquence immédiate de la caractérisation séquentielle de la limite. 

   En pratique Ce théorème est le plus souvent utilisé dans le contexte suivant, que nous connaissons bien : celui
des suites définies par une relation de récurrence de la forme « un+1 = f (un ) ». Si (un )n∈N converge vers un réel ` et si f est
définie et continue en `, alors f (`) = `.

Le résultat suivant est une jolie application ultra-classique de la caractérisation séquentielle de la continuité et du fait que
tout réel est limite de rationnels.

Théorème (Equation fonctionnelle des homothéties)

• Soit f ∈ C(R, R). On suppose que : ∀x, y ∈ R, f (x + y) = f (x) + f (y).
Alors f est une homothétie, i.e. : ∃ λ ∈ R/ f (x) = λx.
• Ce résultat peut s’exprimer aussi de la façon suivante : les endomorphismes du groupe (R, +) qui sont continus sur R
sont exactement toutes les homothéties.

Démonstration Soit f ∈ C(R, R). On suppose que : ∀x, y ∈ R, f (x + y) = f (x) + f (y) et on pose λ = f (1).
• Montrons que f est impaire.

Soit x ∈ R. Alors : 0 = f (0) = f x + (−x) = f (x) + f (−x), et donc en effet f (−x) = −f (x).

• Montrons que : ∀x ∈ R, ∀n ∈ N, f (nx) = nf (x).

Déjà, f (0.x) = f (0) = f (0 + 0) = f (0) + f (0) = 2f (0) = 2f (0.x), et donc f (0.x)

= 0 = 0.f (x).
Soit alors n ∈ N. On suppose que f (nx) = nf (x). Montrons que f (n + 1)x = (n + 1)f (x).


f (n + 1)x = f (nx + x) = f (nx) + f (x) = nf (x) + f (x) = (n + 1)f (x).
Nous obtenons bien, par récurrence, le résultat annoncé.

3
 • Montrons que : ∀x ∈ R, ∀n ∈ Z, f (nx) = nf (x).
Etant donné le second point,

nous pouvons nous contenter de travailler avec x ∈ R et n ∈ Z r N. Alors
−n ∈ N, et donc f (−n)x = (−n)f (x). Du coup :



0 = f (0) = f nx + (−n)x = f (nx) + f (−n)x = f (nx) − nf (x),

ce dont on tire le résultat : f (nx) = nf (x).

• Montrons que f|Q = λ IdQ .

p 
Soit r = ∈ Q, où p ∈ Z et q ∈ Z r 0 . Montrons que f (r) = λr. Or via le troisième point :
q

f (p) = f (qr) = qf (r)

p
= f (p.1) = pf (1) = λp. On déduit de ceci que f (r) = λ = λr comme voulu.
q

• Montrons que f = λIdR .

Soit x ∈ R. Montrons que f (x) = λx. Nous savons que tout réel est limite d’une suite de rationnels :
soit donc (rn )n∈N une suite de rationnels de limite x. Puisque f est continue en x, nous pouvons dire que
f (x) = lim f (rn ) via la caractérisation séquentielle de la continuité. Il ne nous reste plus qu’à conclure
n→∞
grâce au quatrième point : f (x) = lim f (rn ) = lim λrn = λ lim rn = λx. 
n→∞ n→∞ n→∞

1.4 Opérations sur la continuité

Théorème (Opérations sur la continuité)

(i) Somme, produit. . . : La somme de deux fonctions continues en un point est continue en ce point ; de même pour
le produit. L’inverse d’une fonction continue en un point non nulle en ce point est continue en ce point. Idem pour les
continuités à gauche, à droite et sur un intervalle.

(ii) Composition : Soient f : I −→ J et g : J −→ R deux applications.

• En un point : Soit a ∈ I. Si f est continue en a et si g est continue en f (a), alors g ◦ f est continue en a.
• Sur un intervalle : Si f est continue sur I et g continue sur J, alors g ◦ f est continue sur I.

Démonstration Conséquence immédiate du théorème sur les opérations sur les limites. 

   En pratique Cette remarque est très importante : pour montrer la continuité d’une composée g ◦ f , ne vous
contentez pas d’un vague « C’est continu par composition ». Mettez en évidence les intervalles I et J et suivez scrupuleusement
l’énoncé du résultat ci-dessus.

h 1
i2
Exemple La fonction x 7−→ ln x2 + e x est définie et continue sur R× .

En effet
1
• La fonction x 7−→ est continue sur R× (à valeurs dans R) ; la fonction x 7−→ ex est continue sur R ; par
x1
composition x 7−→ e x est continue sur R× .
1
• La fonction x 7−→ x2 est continue sur R, donc sur R× ; par somme, x 7−→ x2 + e x est continue sur R× .
1
• La fonction x 7−→ x2 + e x est continue sur R× à valeurs dans R× ×
+ ; et x 7−→ ln x est continue sur R+ ; par
1

composition x 7−→ ln x2 + e x est continue sur R× (à valeurs dans R).
• Enfin la fonction x 7−→ x2 est continue sur R ; on en déduit le résultat voulu au moyen d’une dernière
composition.

4
2 Les grands théorèmes
C’est fort triste, mais le programme stipule que vous n’êtes pas obligés de savoir refaire les démonstrations des trois théorèmes
présentés dans ce paragraphe. Je vous conseille néanmoins de les travailler. Tout de même, l’algorithme de dichotomie utilisé
dans la démonstration du théorème des valeurs intermédiaires est au programme et doit être bien compris.

2.1 Théorème des valeurs intermédiaires

La définition suivante n’est qu’un rappel. Vous trouverez les détails le concernant dans le chapitre « Relations d’ordre ».

Définition (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.

Théorème (Théorème des valeurs intermédiaires)

(i) L’image d’un intervalle par une application continue est un intervalle.
Autre version (plus pratique) de ce théorème :
(ii) Soit f ∈ C(I, R). Alors pour tous a, b ∈ I et pour tout y compris entre f (a) et f (b), il existe x compris entre a et b
(non unique en général) tel que y = f (x).

   Explication bc
b

Dessinez n’importe quelle fonction continue sur un intervalle, l’assertion (i) vous pa- Pas un intervalle b

raîtra aussitôt claire. Cependant le moindre point de discontinuité la rend fausse ; c’est b

ce qu’indique la figure ci-contre sur un cas particulier.

Un intervalle
$ $ $ Attention !
bc
L’assertion (i) affirme que si f ∈ C(I, R), alors f (I) est un intervalle. Elle ne
dit pas que I et f (I) sont nécessairement deux intervalles de même nature. f (I) bc f (I) b

Par exemple, I peut être ouvert et f (I) un segment ; ou bien I peut être
semi-ouvert et f (I) ouvert ; ou bien. . .

I I
I ouvert, I semi-ouvert,
f (I) fermé. f (I) ouvert.
Démonstration
• Montrons l’équivalence des versions (i) et (ii) du théorème. Il nous suffira ensuite de montrer la vérité de
l’assertion (ii).
(i) =⇒ (ii) On fait l’hypothèse que l’image d’un intervalle par une application continue est toujours
un intervalle.

Soient alors f ∈ C(I, R), a, b ∈ I, a < b,
et y compris entre
f [a, b] est

f (a) et f (b). Par hypothèse,
un intervalle ; par ailleurs f (a) ∈ f [a, b] et f (b) ∈ f [a, b] ; par conséquent y ∈ f [a, b] . Cela signifie
justement qu’il existe un x compris entre a et b pour lequel y = f (x), comme voulu.
(ii) =⇒ (i) On fait l’hypothèse que pour toute application f ∈ C(I, R), pour tous a, b ∈ I et pour
tout y compris entre f (a) et f (b), il existe un x compris entre a et b tel que y = f (x).
Soit alors f ∈ C(I, R) fixée. Nous devons montrer que f (I) est un intervalle. Soient donc u, v ∈ f (I) et
y ∈ R tels que u 6 y 6 v. Montrons que y ∈ f (I). Ce qui est sûr, c’est qu’il existe deux réels a, b ∈ I
tels que u = f (a) et v = f (b). L’assertion (ii) que nous supposons vraie affirme alors l’existence d’un x
compris entre a et b (donc x ∈ I) tel que y = f (x), ce qui nous dit bien que y ∈ f (I) comme voulu.
• Démontrons l’assertion (ii). Pour simplifier, supposons qu’on ait a 6 b et f (a) 6 f (b) — un raisonnement
analogue au raisonnement qui suit établirait chaque autre cas. Nous cherchons un réel x ∈ [a, b] tel que
y = f (x). Le réel x va être construit au moyen d’un algorithme appelé dichotomie, que nous avons déjà
rencontré quand nous avons démontré le théorème de Bolzano-Weierstrass.

5
 f (b) b

y b

Le réel x
y = f (x)
f (a) b . construit par dichotomie.
x
a = a0 b0 = b
a1 b1
a2 b2
a3 b3
a4 b4
a5 b5
..
.
Posons a0 = a et b0 = b. Soit alors n ∈ N. Supposons construits a0 , a1 , . . . , an , b0 , b1 , . . . , bn ∈ R tels que :
1) a = a0 6 a1 6 . . . 6 an 6 bn 6 bn−1 6 . . . 6 b0 = b ;
b−a
2) ∀k ∈ J0, nK, bk − ak = ;
2k
3) ∀k ∈ J0, nK, f (ak ) 6 y 6 f (bk ).
Nous allons construire deux réels an+1 et bn+1 rendant vraies les assertions 1), 2) et 3) au rang (n + 1).
8  
>
> a n + bn a n + bn
< a n+1 = a n et b n+1 = si f >y
2  2 
Posons : .
>
> a n + bn a n + bn
: an+1 = et bn+1 = bn si f <y
2 2
a n + bn
Montrons que 1) est vraie au rang (n + 1). Or puisque an 6 bn , on a an 6 6 bn , et donc nécessai-
2
rement an 6 an+1 6 bn+1 6 bn .
8  
>
> a n + bn a n + bn
< − an si f >y
2  2  bn − an 2) b − a
De même, montrons 2) : bn+1 − an+1 = = = n+1 .
>
> a n + bn a n + bn 2 2
: bn − si f <y
2 2
 
a n + bn a n + bn
Montrons enfin l’assertion 3). Si f > y, alors an+1 = an et bn+1 = , donc aussitôt
2 2
3)
   
a n + bn a n + bn a n + bn
f (an+1 ) = f (an ) 6 y 6 f = f (bn+1 ) ; et si au contraire f < y, alors an+1 =
2 2 2
  3)
a n + bn
et bn+1 = bn , donc f (an+1 ) = f < y 6 f (bn ) = f (bn+1 ).
2
Voilà, notre construction des suites (an )n∈N et (bn )n∈N est achevée. Telles qu’elles sont construites, ces deux
suites sont adjacentes via 1) et 2), et possèdent donc une limite réelle commune x ∈ [a, b]. Mais faisons
tendre n vers ∞ dans les inégalités 3) ; la continuité de f en x et la caractérisation séquentielle de la limite
montrent que f (x) 6 y 6 f (x), i.e. que y = f (x) comme voulu. 

   En pratique (Valeurs approchées des zéros d’une fonction continue, par dichotomie) Dans le cas où il
s’agit de déterminer la valeur approchée d’un zéro d’une fonction continue, réécrivons

l’algorithme de dichotomie précédent sous
la forme d’une procédure Maple zerodicho. A partir d’une fonction f ∈ C [a, b], R — sous l’hypothèse que a 6 b et que f (a) et
f (b) sont de signes contraires — et d’un réel ε > 0, zerodicho détermine un zéro de la fonction f compris entre a et b à ε près.

> zerodicho :=proc(f,a,b,epsilon) # La procédure "zerodicho" imite la preuve du théorème des valeurs
# intermédiaires.
local u, v ; # Elle requiert l’utilisation de deux variables locales u et v.
u :=a ; # La variable u joue le rôle des nombres a(n) successifs.
v :=b ; # La variable v joue le rôle des nombres b(n) successifs.
while abs(v-u) > epsilon do # Voici le corps de la procédure.
if evalf(f(u)*f((u+v)/2)) <= 0 # Si f (u) et f ((u+v)/2) sont de signes contraires,
then v :=(u+v)/2 ; # [ u , (u+v)/2 ] contient un zéro de f,
# donc on se restreint à cet intervalle.
else u :=(u+v)/2 ; # Sinon l’intervalle [ (u+v)/2 , v ] contient un zéro de f.
fi ; # Tant que |v-u| > epsilon, on rétrécit l’intervalle [ u , v ]
od ; # jusqu’à obtenir l’approximation voulue d’un zéro de f.
evalf((u+v)/2) ; # On demande à la procédure de renvoyer (u+v)/2 (sous forme flottante,
end ; # sinon Maple risque de nous renvoyer des fractions très compliquées.

6
Exemple L’équation e−x = x d’inconnue x ∈ ]0, 1[ possède une solution.
1
En effet La fonction f : x 7−→ e−x − x est continue sur [0, 1] et on a f (0) = 1 et f (1) =
− 1 < 0. Du
e
coup, comme f (1) 6 0 6 f (0), il existe x ∈ [0, 1] tel que f (x) = 0 via le théorème des valeurs intermédiaires.
Evidemment, x 6= 0 et x 6= 1.

Corollaire (Image d’un intervalle par une application continue strictement monotone) Soient f ∈ C(I, R) et
a, b ∈ R̄, a < b.
• Si f est strictement croissante sur I :
   
1) et si I = [a, b], alors f (I) = f (a), f (b) ; 2) et si I = ]a, b], alors f (I) = lim f, f (b) ;
   a+ 
3) et si I = [a, b[, alors f (I) = f (a), lim f ; 4) et si I = ]a, b[, alors f (I) = lim f, lim f .
b− a+ b−

• Si f est strictement décroissante sur I :

   
1) et si I = [a, b], alors f (I) = f (b), f (a) ; 2) et si I = ]a, b], alors f (I) = f (b), lim f ;
   a+ 
3) et si I = [a, b[, alors f (I) = lim f, f (a) ; 4) et si I = ]a, b[, alors f (I) = lim f, lim f .
b− b− a+

   Explication En principe ce résultat est très intuitif, mais au cas où, illustrons-le de quelques figures dans le cas où
f est strictement croissante.
1) 2) 3) 4)
b b bc bc

b c
b b bc

a b a b a b a b

Démonstration Contentons-nous de travailler dans le cas où f est strictement croissante sur I. Puisque f est
continue sur I, le théorème des valeurs intermédiaires affirme que f (I) est un intervalle.

Supposons qu’on ait I = [a, b[ — les autres cas se traitent avec le même genre d’idées. Nous savons, en vertu
du théorème de la limite monotone, que lim f = inf f (I) et que lim f = sup f (I). Or f est continue en a, donc
a+ b−    
inf f (I) = lim f = f (a). Comme f (a) ∈ f (I), f (I) est l’un des intervalles suivants : f (a), lim f ou f (a), lim f .
a+ b− b−
Mais peut-on avoir lim f ∈ f (I) ? Si c’était le cas, il existerait alors x ∈ I tel que f (x) = lim f , et aussitôt f serait
b− b−
constante égale à lim f sur [x, b[, ce qui contredirait la stricte croissance de f . Puisque donc lim f ∈
/ f (I), alors
  b−   b−
I 6= f (a), lim f . Conclusion : I = f (a), lim f . 
b− b−

   Explication Vous avez utilisé déjà souvent le corollaire que nous venons de démontrer. En Termimale, on vous a
demandé parfois de montrer qu’une certaine fonction f : [a, b[−→ R s’annule une et une seule fois sur [a, b[ — par exemple, mais
vous saviez le faire aussi pour les autres formes d’intervalle. Que racontiez-vous alors ?
1) Tout d’abord, généralement en étudiant le signe de f 0 , vous montriez que f est strictement monotone sur [a, b[,
par exemple strictement croissante.
2) Ensuite, vous calculiez lim f .
b−

 3) Lastricte croissance de f et sa continuité vous permettait alors d’affirmer le caractère bijectif de f de [a, b[ sur
f (a), lim f .
b−
 
4) Il ne vous restait plus qu’à vérifier que 0 se trouve bien dans l’intervalle f (a), lim f , et vous en déduisiez bien
b−
que l’équation f (x) = 0 possède une unique solution dans [a, b].

A présent, il est indispensable que vous compreniez quels théorèmes sont cachés précisément derrière l’étape 3) de cette méthode.
L’argument que vous donniez d’un coup d’un seul en Terminale est en réalité composé de deux arguments parallèles. La stricte
croissance de f , indépendamment
de toute continuité, implique

 l’injectivité
 de f sur [a, b[. Par conséquent f réalise une bijection
de [a, b[ sur son image f [a, b[ . Mais puisque que f [a, b[ = f (a), lim f via le corollaire précédent (à base de continuité, lui),
  b−
f réalise comme voulu une bijection de [a, b[ sur f (a), lim f . La continuité n’est donc là « que » pour nous assurer de l’égalité

  b−
f [a, b[ = f (a), lim f .
b−

7
2.2 Image d’un segment par une fonction continue

Théorème (Image d’un segment par une fonction continue)

(i) L’image d’un segment par une application continue est un segment.
Autre version (plus pratique) de ce théorème :


(ii) Soient a, b ∈ R, a < b et f ∈ C [a, b], R . Alors f est bornée et atteint ses bornes, i.e. possède un maximum et un
minimum (non uniques en général).

   Explication b

Le théorème des valeurs intermédiaires montre que l’image d’un intervalle par une fonction conti- b

nue est un intervalle ; mais nous avons remarqué que l’image d’un intervalle ouvert (resp. semi- y = f (x)
b
ouvert) n’est pas nécessairement un intervalle ouvert (resp. semi-ouvert). Le présent théorème
affirme qu’en tout cas un segment est toujours transformé en un segment par une application
continue. b

Sur un dessin, le fait que la fonction continue f soit bornée sur [a, b] signifie que lorsqu’on trace
le graphe de f entre les points d’abscisses a et b, le crayon ne part jamais à l’infini.

a b
$ $ $ Attention ! Insistons : sur un intervalle qui n’est pas un segment, une fonction continue n’a aucune raison d’être
bornée en général. Pensez à la fonction tangente.

Lemme Soit A une partie non vide de R. Il existe une suite (an )n∈N d’éléments de A de limite sup A, la borne supérieure
étant prise dans R̄.

Démonstration
• Démonstration du lemme :
1) Supposons d’abord que sup A = ∞. Soit n ∈ N. Puisque n n’est pas un majorant de A, A contient
au moins un élément an > n. Via le théorème de minoration, lim an = ∞ comme voulu.
n→∞

1
2) Supposons à présent que s = sup A ∈ R. Soit n ∈ N. Puisque s − n n’est pas un majorant de A,
2
1
A contient au moins un élément an > s − n . Comme par ailleurs la suite (an )n∈N est majorée par s, le
2
théorème des gendarmes affirme que lim an = s.
n→∞

• Démonstration du théorème
: Soient a, b ∈ R, a < b et f ∈ C [a, b], R . Le théorème des valeurs
intermédiaires affirme que f [a, b] est un intervalle. Mais est-ce un segment ? Puisqu’un segment est un
intervalle possédant un maximum et un minimum, il est clair que les versions (i) et (ii) sont équivalentes.
Démontrons l’assertion (ii), i.e. que f possède un maximum et un minimum. Traitons

seulement le cas d’un
maximum — démonstration analogue pour
un minimum. Posons s = sup f [a, b] (s = ∞ éventuellement).
Via le lemme appliqué à la partie f [a, b] , il existe une suite (xn )n∈N d’éléments de [a, b] telle qu’on ait
lim f (xn ) = s. En particulier, (xn )n∈N est donc une suite bornée (entre a et b). Via le théorème de
n→∞

Bolzano-Weierstrass, nous en déduisons l’existence d’une suite extraite convergente xϕ(n) n∈N de (xn )n∈N ,
disons de limite x ∈ [a, b]. Par continuité de f , et sachant que la limite d’une suite
extraite d’une suite
convergente est convergente de même limite, on obtient alors f (x) = lim f xϕ(n) = s. En particulier

n→∞
s = f (x) ∈ f [a, b] ⊆ R, et donc s < ∞, ce qui signifie que f est majorée
sur [a, b]. Mais l’égalité
« s = f (x) » montre aussi que s est plus que la borne supérieure de f [a, b] , c’est en fait un maximum.
Notre théorème est ainsi démontré. 

Exemple Toute fonction continue périodique définie sur R est bornée.

En effet Soient T ∈ R×+ et f ∈ C(R, R) T -périodique. Alors f est bornée sur [0, T ] via le théorème précédent,
de sorte que pour un certain K ∈ R+ : ∀x ∈ [0, T ], f (x) 6 K.
x jxk x jxk  jxk 
Soit x ∈ R. Puisque −1 < 6 , alors 0 6 x − T < T , et donc : f (x) = f x − T 6 K,
T T T T T
ce qui montre bien que f est bornée sur tout R.

8
2.3 Théorème de la bijection
Nous avons déjà rencontré le théorème de la bijection dans notre chapitre sur les fonctions usuelles, en version light. En voici
à présent la version intégrale, avec démonstration.

Théorème (Théorème de la bijection) Soit f ∈ C(I, R). On note J = f (I).

• Les assertions suivantes sont équivalentes :
(i) f est strictement monotone sur I.
(ii) f injective sur I (donc bijective de I sur J).
• Dans ces conditions, f −1 est continue et strictement monotone de même sens de variation que f sur J.

   Explication
Le théorème de la bijection a une interprétation graphique très simple. Nous savons que les y = f (x)
graphes de f et f −1 sont symétriques l’un de l’autre par rapport à la droite d’équation y = x.
Si le graphe de f est continu, i.e. traçable sans qu’on ait besoin de lever la pointe du crayon,
comment le graphe de f −1 ne le serait-il pas ? y = f −1 (x)

y=x

$ $ $ Attention ! Fonction injective,

Nous savions déjà qu’une fonction strictement monotone est injective. Mais nous n’avions pas de non monotone,
réciproque à cela. Nous en possédons une à présent, dans le cas des fonctions continues en non continue.
tout cas. Notez bien que le moindre point de discontinuité ruine la validité du théorème, comme b

l’illustre la petite figure ci-contre. bc

Démonstration
• Commençons par montrer l’équivalence des assertions (i) et (ii). Nous savons déjà que (i) implique (ii), sans
hypothèse de continuité d’ailleurs.
Réciproquement, faisons l’hypothèse que f est injective sur I et raisonnons par l’absurde en supposant que
f n’est pas strictement monotone. Alors f n’est ni croissante — donc il existe x, y ∈ I tels que x < y et
0 0 0 0 0 0
f (x) > f (y) — ni décroissante  — donc il existe x , y ∈ I tels que x < y et f (x ) < f (y ).
[0, 1] −→ R

. Cette application est
Notons alors ϕ l’application
λ 7−→ f λx + (1 − λ)x0 − f λy + (1 − λ)y 0
bien définie par convexité des intervalles — le segment joignant deux points quelconques d’un même intervalle
est intégralement contenu dans cet intervalle. De plus, ϕ est continue sur [0, 1] en tant que composée. Or
ϕ(0) = f (x0 ) − f (y 0 ) < 0 et ϕ(1) = f (x) − f (y) > 0. Le théorème des
valeurs intermédiaires

affirme alors
l’existence d’un λ0 ∈ ]0, 1[ tel que ϕ(λ0 ) = 0, i.e. f λ0 x + (1 − λ0 )x0 = f λ0 y + (1 − λ0 )y 0 .
Mais enfin, nous avons supposé que f est injective, donc λ0 x + (1 − λ0 )x0 = λ0 y + (1 − λ0 )y 0 , ou encore
λ0 (x − y) = (1 − λ0 )(y 0 − x0 ). Dans cette égalité, le terme de gauche est strictement négatif et celui de droite
strictement positif, c’est une contradiction. Nous avons bien montré que f est strictement monotone.

• Faisons à présent l’hypothèse que f est strictement monotone sur I — par exemple strictement croissante,
pour simplifier. Alors bien sûr f réalise une bijection de I sur son image J.

1) Montrons que f −1 est strictement croissante sur J. Soient x, y ∈ J tels que x < y. Nous devons
montrer que f −1 (x) < f −1 (y). Or si on avait f −1 (x) > f −1 (y), alors la croissance de f montrerait que
x > y, contrairement à nos hypothèses ; d’où le résultat.

2) Montrons enfin que f −1 est continue sur J. Soit b ∈ J. Le théorème de la limite monotone affirme
◦
l’existence des deux limites lim f −1 et lim f −1 , dans le cas du moins où b ∈ J — si b est une borne de J,
b− b+
on raisonne de la même façon d’un seul côté. De plus : lim f −1 6 f −1 (b) 6 lim f −1 .
b− b+
Supposons par exemple qu’on ait lim f −1 < f −1 (b) et donnons-nous x un réel compris strictement entre
b−
lim f −1 et f −1 (b). Alors f −1 (y) 6 lim f −1 < x < f −1 (b) 6 f −1 (z) pour tout y ∈ J∩ ] − ∞, b[ et pour
b− b−
tout z ∈ J ∩ [b, ∞[, puisque f −1 est croissante. Ces inégalités montrent à la fois que x ∈ f −1 (J) car x est
compris entre deux éléments de f −1 (J) = I qui est un intervalle, mais aussi que x ∈ / f −1 (J) puisque x ne
−1
−1 −1
peut être aucun des f (y) ou f (z). Il y a là une contradiction, et donc lim f = f −1 (b). De même
b−
lim f −1 = f −1 (b). Finalement lim f −1 = f 1 (b), i.e. f −1 est continue en b. 
b+ b

Exemple Les fonctions arcsinus, arccosinus et arctangente sont continues sur leurs ensembles de définition respectifs via le
théorème de la bijection, comme nous l’avions déjà observé en début d’année.

9
 Exemple Soit n ∈ N× . La fonction x 7−→ xn est continue et strictement croissante sur R+ , avec 0n = 0 et lim xn = ∞.
n→∞
√
Elle réalise donc une bijection
√ de R+ sur lui-même dont l’inverse, notée n ·, est appelée fonction racine nème . Le théorème de la
bijection affirme que n · est continue sur R+ .
1 1 ln x
Nous avons déjà construit une fonction x 7−→ x n sur R× + en posant : ∀x ∈ R× +, x n = e n . Pour tout x ∈ R× + , on a
1
n ln x
n n× ln x ln x √
n 1 √ n
xn = e n =e n =e =x= n
x , donc x n = x par injectivité de la fonction x 7−→ x sur R+ . Les fonctions
n

√ 1
x 7−→ n x et x 7−→ x n sont donc égales (sauf en 0 où la seconde n’est pas définie). Nous possédons ici deux définitions d’un
même objet mathématique.

3 Lipschitzienneté et continuité uniforme

Définition (Lipschitzienneté) Soient f : I −→ R une application et K ∈ R+ . On dit que f est K-lipschitzienne sur I si :
∀x, y ∈ I, f (x) − f (y) 6 K|x − y|.

Exemple La fonction x 7−→ |x| est 1-lipschitzienne sur R en vertu de l’inégalité triangulaire : ∀x, y ∈ R, |x|−|y| 6 |x−y|.

1
Exemple La fonction x 7−→ est 1-lipschitzienne sur [1, ∞[.
x
1 1 x−y |x − y|
En effet Soient x, y ∈ [1, ∞[. Alors : − = = 6 |x − y| et c’est fini.
x y xy |x|.|y|

Définition (Continuité uniforme) Soient f : I −→ R une application. On dit que f est uniformément continue sur I si :
∀ε > 0, ∃ α > 0/ ∀x, y ∈ I, |x − y| 6 α =⇒ f (x) − f (y) 6 ε.

   Explication Dire que f est continue sur I, c’est dire que f est continue en tout point y de I ; c’est donc dire que :

∀y ∈ I, ∀ε > 0, ∃ α > 0/ ∀x ∈ I, |x − y| 6 α =⇒ f (x) − f (y) 6 ε.

Avec la continuité, on se fixe donc un point y ∈ I et un niveau ε, et on récupère alors un certain α. Si on change de y ou de ε,
on change a priori la valeur du α.
Avec la continuité uniforme, on obtient un α en ayant seulement fixé un ε. Aussi ce α est-il valable pour tout point y ∈ I.
On parle de continuité uniforme pour signifier cette indépendance de α par rapport à y.

$ $ $ Attention ! Toute permutation abusive des quantificateurs ∀ et ∃ est plus que jamais exclue.

Théorème Soit f : I −→ R une application.

(i) Si f est uniformément continue sur I, alors f est continue sur I.
(ii) Si f est lipschitzienne sur I, alors f est uniformément continue sur I (et donc continue sur I).

Démonstration
(i) Supposons f uniformément continue sur I et montrons que f est alors continue sur I. Il s’agit donc de
montrer que f est continue en tout point de I. Soit a ∈ I un tel point. On obtient la continuité de f en a en
posant tout simplement « y = a » dans la définition de la continuité uniforme de f sur I.
(ii) Supposons f K-lipschitzienne sur I pour un certain K ∈ R× + — nous pouvons bien sûr choisir K 6= 0 —
et tâchons de montrer que f est uniformément continue sur I.
ε
Soit donc ε > 0. Posons α = et montrons que : ∀x, y ∈ I, |x − y| 6 α =⇒ f (x) − f (y) 6 ε.
K
Fixons pour cela x, y ∈ I et supposons qu’on ait |x − y| 6 α. Alors :
K−lipschitzienneté
f (x) − f (y) 6 K|x − y| 6 Kα = ε comme voulu. 

10
 Le théorème suivant établit une réciproque, dans le cas où I est un segment , de l’affirmation précédente selon laquelle la
continuité uniforme implique la continuité.

Théorème (Théorème de Heine) Soient a, b ∈ R, a < b et f ∈ C [a, b], R . Alors f est uniformément continue sur [a, b].

Démonstration Raisonnons par l’absurde en supposant que f n’est pas uniformément continue sur [a, b]. Alors :

∃ ε > 0/ ∀α > 0, ∃ x, y ∈ [a, b]/ |x − y| 6 α et f (x) − f (y) > ε.

1
• Pour tout n ∈ N× , nous pouvons donc nous donner deux éléments xn , yn ∈ [a, b] tels que |xn − yn | 6 et
n
1
f (xn ) − f (yn ) > ε — choisir α = .
n
• La suite (xn )n∈N étant ainsi bornée entre a et b, elle possède une suite extraite (xϕ(n) )n∈N convergente en
vertu du théorème de Bolzano-Weierstrass, de limite un certain réel ` ∈ [a, b].
1
• Mais nous savons que lim ϕ(n) = ∞. L’inégalité |xϕ(n) − yϕ(n) | 6 et le théorème des gendarmes
n→∞ ϕ(n)
impliquent donc que lim yϕ(n) = `.
n→∞

• Pour conclure, remarquons que notre application f est continue en `. Par conséquent, si nous passons
l’inégalité f (xϕ(n) ) − f (yϕ(n) ) > ε à la limite, nous obtenons 0 = f (`) − f (`) > ε > 0. Contradiction. 

$ $ $ Attention ! Le théorème de Heine est vrai uniquement parce qu’il y est question de segments. Par exemple, la
1
fonction x 7−→ est continue sur ]0, 1] mais elle n’y est pas uniformément continue.
x
1
En effet Montrons que x 7−→ n’est pas uniformément continue sur ]0, 1]. Il s’agit de montrer que :
x
1 1
∃ ε > 0/ ∀α > 0, ∃ x, y ∈ ]0, 1]/ |x − y| 6 α et − > ε.
x y
n o x
Posons donc ε = 1. Donnons-nous ensuite α > 0 quelconque et posons x = min α, 1 et y = . On a alors bien
2
x x 1 1 1 2 1
x, y ∈ ]0, 1] et en outre : |x − y| = x − = 6α et − = − = > 1 = ε. C’est terminé.
2 2 x y x x x

4 Extension au cas des fonctions complexes

Nous allons brièvement étendre les résultats que nous avons obtenu pour les fonctions réelles aux fonctions complexes. Les
notions de continuité en un point, à gauche, à droite, et de continuité sur un intervalle sont définies dans le cas des fonctions
complexes de la même façon que dans le cas des fonctions réelles — mais | · | désigne dans ce contexte la fonction module, et non
la fonction valeur absolue. On note C(I, C) ou C 0 (I, C) l’ensemble des applications continues sur I à valeurs dans C.
Le résultat suivant est une conséquence immédiate de la caractérisation de la limite d’une fonction complexe en un point à
l’aide de ses parties réelle et imaginaire.

Théorème (Caractérisation de la continuité à partir des parties réelle et imaginaire) Soient f : I −→ C, a ∈ I¯ et

` ∈ C. Les assertions suivantes sont équivalentes :

• f est continue en a. • Re(f ) et Im(f ) sont continues en a.

De même les assertions :

• f est continue sur I. • Re(f ) et Im(f ) sont continues sur I.

La caractérisation séquentielle de la continuité est maintenue. De même les opérations d’addition, produit, multiplication par
un scalaire et inverse sur les fonctions continues donnent lieu aux mêmes résultats que dans le cas réel.

Les grands théorèmes sur la continuité — en premier lieu, le théorème des valeurs intermédiaires — sont faux pour les
fonctions complexes. Par exemple, l’image du segment [0, 2π] par la fonction continue t 7−→ eit est le cercle trigonométrique, qui
n’est pas un intervalle.

11