Vous êtes sur la page 1sur 9

c Christophe Bertault - MPSI

Continuit
Dans tout ce chapitre, les lettres I, J . . . dsignent des runions finies dintervalles ventuellement des intervalles
mais pas forcment.

Dfinitions et premires proprits

1.1

Dfinitions

Dnition

(Continuit en un point) Soient f : I R une fonction et a I. On dit que f est continue en a si lim f
a

existe. On sait dans ce cas, f tant dnie en a, que lim f = f (a). On peut donc dire que, par dnition, f est continue en
a

a si :

ou encore si :

f (x) = f (a) + o(1),


xa

> 0,

> 0/

x I,

|x a| < =

f (x) f (a) < .


f (a)

f (a)

f (a)
a

f est continue en a.

f nest pas continue en a.

f nest pas continue en a.

Dnition (Continuit sur une runion nie dintervalles) Soit f : I R une fonction. 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) lensemble des fonctions continues sur I valeurs dans R.

Exemple

La fonction valeur absolue | | est continue sur R.


En eet

Soit a R. Montrons que || est continue en a. Soit > 0. Pour tout x R :

lingalit triangulaire amliore. Posons donc = . Comme voulu :

x R,

|x||a|

|x a| < =

|xa| daprs
|x| |a| < .

Dnition (Continuit gauche/ droite en un point) Soient f : I R une fonction et a I. On suppose f


dnie au voisinage de a gauche et droite.
On dit que f est continue gauche en a si f|I

],a]

est continue en a, i.e. si lim f = 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 = f (a).
a+

f est continue en a
gauche,
mais pas droite.

f (a)

f est continue en a
droite,
mais pas gauche.

f (a)
a

Thorme (Caractrisation de la continuit laide des continuits gauche/ droite) Soient f : I R une
fonction et a I. On suppose f dnie au voisinage de a gauche et droite.
f est continue en a si et seulement si f est continue gauche et droite en a.

Dmonstration

Nous avons dj montr ailleurs que :

lim f = f (a)
a

lim f = lim f = f (a).


a

a+

c Christophe Bertault - MPSI

Exemple

La fonction partie entire est continue droite, mais pas gauche, en tout entier relatif.
En eet

y = x

Soit n Z. Pour tout x [n, n + 1[, x = n.

Par consquent lim x = n = n et donc est continue droite en n.


xn+

Au contraire, pour tout x [n 1, n[, x = n 1.


Alors lim x = n 1 = n = n et donc f nest pas continue gauche en n.
xn

1.2

Prolongement par continuit en un point

Dnition (Prolongement par continuit en un point) Soient a I R et f : I \ a R une fonction. Si


lim f existe et est finie, on dit que f est prolongeable par continuit en a. Le prolongement f de f obtenu en posant
a

f (a) = lim f est alors continu en a.


a

y = f (x)

y = f (x)
f (a)

Les fonctions f et f sont distinctes en toute rigueur puisquelles nont pas le mme domaine de dnition, mais on choisit
gnralement de noter encore f le prolongement f , histoire de simplier.

Dmonstration

Nous devons montrer que f est continue en a, i.e. que lim f = f (a). Par dnition de f , f et
a

f concident sur I \ a , donc lgalit lim f = f (a) peut tre crite ainsi :
a

> 0,

> 0/

x I \ a ,

|x a| < =

f (x) f (a) <

Cest presque le rsultat voulu mais pas tout fait, car f est aussi dnie en a et il faut en tenir compte. La
proposition |x a| < =
f (x) f (a) < tant trivialement vraie pour x = a, on peut rcrire
comme on le souhaite : > 0, > 0/ x I,
|x a| < = f (x) f (a) < .
Exemple
sin x
La fonction x
nest pas dnie 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.
x0
x
La fonction x x ln x nest pas dnie 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.
x0

1.3

Caractrisation squentielle de la continuit

Thorme (Caractrisation squentielle de la continuit en un point) Soient f : I R une fonction et a I.


Les assertions suivantes sont quivalentes :
(i) f est continue en a.
(ii) Pour toute suite (un )nN de limite a valeurs dans I, la suite f (un )

Dmonstration

nN

a pour limite f (a).

Consquence immdiate de la caractrisation squentielle de la limite.

En pratique
Ce thorme est le plus souvent utilis dans le contexte suivant, que nous connaissons bien : celui
des suites dnies par une relation de rcurrence de la forme un+1 = f (un ) . Si (un )nN converge vers un rel et si f
est dnie et continue en , alors f () = .

c Christophe Bertault - MPSI

Le rsultat suivant est une jolie application ultra-classique de la caractrisation squentielle de la continuit et de la densit
de Q dans R.
Thorme

(Equation fonctionnelle des homothties)

Soit f C(R, R). On suppose que pour tous x, y R : f (x + y) = f (x) + f (y).


Alors f est une homothtie, i.e. une fonction de la forme x x pour un certain R.
Autre formulation : les endomorphismes du groupe (R, +) qui sont continus sur R sont exactement les homothties.

Dmonstration

Soit f C(R, R). On suppose que f (x + y) = f (x) + f (y) pour tous x, y R.

1) Montrons que f est impaire.


Pour tout x R : 0 = f (0) = f x + (x) = f (x) + f (x),
2) Montrons que pour tous x R et n N :
Initialisation :

f (nx) = nf (x).

donc en eet f (x) = f (x).


On xe x R.
donc f (0.x) = 0 = 0.f (x).

f (0.x) = f (0) = f (0 + 0) = f (0) + f (0) = 2f (0) = 2f (0.x),

Hrdit : Soit 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).
3) Montrons que pour tous x R et n Z : f (nx) = nf (x).
Daprs 2), il nous reste montrer le rsultat pour x R et n Z \ N. En loccurrence :
1)

f (nx) = f (n)x = f (n)x

2)

= (n)f (x) = nf (x).

nN

4) On pose = f (1). Montrons que f|Q = IdQ .


p
Soit r = Q, o p Z et q Z \ 0 . Alors qf (r) = f (qr) = f (p) = f (p.1) = pf (1) = p daprs 3), donc
q
p
f (r) = = r.
q
5) Montrons que f = IdR .
Soit x R. Comme Q est dense dans R, nous pouvons nous donner une suite de rationnels (rn )nN de limite
x. Par continuit de f en x et daprs la caractrisation squentielle de la continuit : f (x) = lim f (rn ).
n

Enn :

1.4

4)

f (x) = lim f (rn ) = lim rn = lim rn = x.


n

Oprations sur la continuit

Que ce soit en un point ou sur un intervalle, les combinaisons linaires et le produit de deux fonctions continues sont continus.
Mme chose pour linverse dune fonction qui ne sannule pas. Mme chose enn pour la compose de deux fonctions composables.
Ces rsultats dcoulent immdiatement des rsultats analogues que nous avons prouvs sur les limites de fonctions.
Exemple

La fonction x ln x2 + e x
En eet

est dnie et continue sur R .

Attention, pour la composition, il faut bien prciser les domaines manipuls !

1
est continue sur R ( valeurs dans R) et la fonction x ex lest sur R, donc par
x1
composition x e x est continue sur R .

La fonction x

La fonction x x2 est continue sur R, donc sur R . Par somme, x x2 + e x est continue sur R .
1

La fonction x x2 + e x est continue sur R valeurs dans R et x ln x est continue sur R , donc par
+
+
1
composition x ln x2 + e x est continue sur R ( valeurs dans R).
Enn la fonction x x2 est continue sur R. Le rsultat dcoule donc dune dernire composition.

c Christophe Bertault - MPSI

Les grands thormes

2
2.1

Thorme des valeurs intermdiaires

La dnition suivante nest quun rappel plus de dtails dans le chapitre Relations dordre .
Dnition

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


x, y, t R,

Thorme

x I et y I et x

= t I.

(Thorme des valeurs intermdiaires ou TVI)

(i) Ici, I est un intervalle et on xe a, b I. Soit f C(I, R). Alors tout rel compris entre f (a) et f (b) possde
au moins un antcdent par f entre a et b.
Autre version :
(ii) Limage dun intervalle par une fonction continue est un intervalle.

Explication
Dessinez nimporte quelle fonction continue sur un intervalle, lassertion (ii) vous
paratra aussitt claire. Il sut dun point de discontinuit pour quelle soit fausse,
comme on le voit bien sur la gure ci-contre.

Pas un intervalle

Un intervalle
Attention !

f (I)

f (I)

Lassertion (ii) arme que si I est un intervalle et si f C(I, R), alors


f (I) est un intervalle. Elle ne dit pas que I et f (I) sont ncessairement
deux intervalles de mme nature. 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 ouvert,
f (I) ferm.

Dmonstration

I semi-ouvert,
f (I) ouvert.

Commenons par montrer que lassertion (i) implique lassertion (ii). Soit f C(I, R), o I est un intervalle.
Montrons que f (I) est un intervalle. Soient u, v f (I) et y R tels que u y v. Il sagit de montrer que
y f (I). Ce qui est sr, cest que u = f (a) et v = f (b) pour certains a, b I. Daprs (i), du coup, y = f (x)
pour un certain x compris entre a et b. En particulier x I car I est un intervalle, et enn y = f (x) f (I).
Dmontrons maintenant (i). Pour simplier, on suppose a
dans les autres cas et on note X lensemble

t [a, b]/

b et f (a)
f (t)

Comme f (a) y, a X et donc X est une partie non


vide de R. Par ailleurs X est majore par b. La proprit de
la borne suprieure nous garantit donc lexistence de sup X,
que nous notons x. Nous allons prouver lgalit y = f (x) en
prouvant successivement que f (x) y et f (x) y. La gure
ci-contre illustre le bien-fond de cette dmarche.
Comme x = sup X, nous savons que x est la limite
dune suite (xn )nN dlments de X, et comme f (xn )
y
pour tout n N, la caractrisation squentielle de la continuit montre que f (x) = lim f (xn ) y.
n

f (b) raisonnement analogue

y .
f (b)
y = f (x)
y

f (a)
a

Si x = b, f (x) = f (b) y par hypothse. Supposons donc x < b. Pour tout n assez grand, on peut
1
1
1
[a, b], mais par ailleurs x +
X. Pour de tels n, f x +
/
alors dire que x +
> y, donc aprs
n
n
n
passage la limite et utilisation de la continuit de f en x, f (x) y.

c Christophe Bertault - MPSI

Explication
On aurait aussi pu prouver le TVI par dichotomie principe dj utilis pour la dmonstration du
thorme de Bolzano-Weierstrass. Lide est la suivante : on part dun intervalle, on le coupe en deux, on conserve lune de ses
moitis et on rejette lautre, puis on recommence tout a un nombre inni de fois. A la n avec de gros guillemets
lintervalle a compltement fondu et il ne reste plus quun point. Bien sr, une grande question se pose : comment choisit-on la
moiti dintervalle quon conserve ? Pas au hasard en tout cas ! Nous avions un critre de slection adapt au contexte quand
nous avons dmontr le thorme de Bolzano-Weierstrass, nous en aurons un autre spcique pour le TVI.
Pour simplier, plaons-nous dans le cas o a b et f (a) f (b) et posons a0 = a et b0 = b. A partir de lintervalle [a0 , b0 ] = [a, b],
nous allons construire par rcurrence de nouveaux intervalles plus petits [a1 , b1 ], [a2 , b2 ], . . . Plus prcisment, soit n N.
Supposons quon ait dj construit des rels a0 , a1 , . . . , an , b0 , b1 , . . . , bn pour lesquels :
1)
a = a0 a1 . . . an bn bn1 . . . b0 = b,
ba
2)
k 0, n , bk ak =
,
2k
3)
k 0, n , f (ak ) y f (bk ).
a n + bn
a n + bn

an+1 = an
et bn+1 =
si f

2
2
On dnit au rang n+1 les rels an+1 et bn+1 de la manire suivante :
a n + bn

an+1 = an + bn et
bn+1 = bn
si f

2
2
Il reste alors vrier, pour achever la construction par rcurrence, que an+1 et bn+1 vrient les proprits 1), 2) et 3) au rang
n + 1 ce que nous ne ferons pas ici. Les suites (an )nN et (bn )nN ainsi construites sont alors adjacentes daprs 1) et 2),
donc possdent une limite commune x [a, b]. Or si nous faisons tendre n vers dans 3), la caractrisation squentielle de la
continuit montre que f (x) y f (x), i.e. que y = f (x). Fin de la preuve du TVI par dichotomie.

f (b)
y

Le rel x
construit par dichotomie

y = f (x)

f (a)

a = a0

b0 = b
b1

a1
a2

b2
b3

a3
.
.
.
Exemple

Lquation ex = x dinconnue x ]0, 1[ possde une solution.


1
1 0 1 = f (0). Du coup f (x) = 0
e
pour un certain x [0, 1] daprs le thorme des valeurs intermdiaires. Et videmment, x = 0 et x = 1.
f

La fonction x ex x est continue sur [0, 1] et f (1) =

En eet

Thorme

(Corollaire strictement monotone du TVI) Soient a, b R tels que a < b.

(i) Soit f : [a, b] R une fonction continue et strictement croissante.


Alors f est bijective de [a, b] sur f (a), f (b) .
(ii) Soit f : [a, b[ R une fonction continue et strictement dcroissante.
Alors f est bijective de [a, b[ sur lim f, f (a) .
b

(iii) Soit f : ]a, b[ R une fonction continue et strictement croissante.


Alors f est bijective de ]a, b[ sur lim f, lim f .
a

(i)

(ii)

f (b)

f (a)

f (a)

lim f

(iii)

lim f
lim f

Il existe bien sr dautres versions du thorme selon que f est croissante ou dcroissante et dnie ou non en a et b, avec
ventuellement a = et b = .

Dmonstration Contentons-nous du cas o f est strictement croissante sur [a, b[. Evidemment f est bijective
de [a, b[ sur son image f [a, b[ , mais nous devons montrer que f [a, b[ = f (a), lim f . En tout cas, daprs le
b

TVI, f [a, b[ est un intervalle.

y
< y.

c Christophe Bertault - MPSI

Or f (a) f [a, b[ et f (a) minore f [a, b[ par croissance de f , donc f (a) = min f [a, b[ . Egalement, en vertu
du thorme de la limite monotone, lim f = sup f [a, b[ . Ainsi f [a, b[ est lun des intervalles f (a), lim f ou
b

f (a), lim f . Mais peut-on avoir lim f f [a, b[ ? Il existerait dans ce cas x [a, b[ tel que f (x) = lim f , et
b

aussitt f serait constante gale lim f sur [x, b[, ce qui contredirait la stricte croissance de f . Puisque donc
b

lim f f [a, b[ :
/
b

2.2

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


b

Thorme des bornes atteintes

Thorme

(Thorme des bornes atteintes)

Toute fonction continue sur un segment y est borne et atteint ses bornes.
Autre version :
Limage dun segment par une fonction continue est un segment.
y = f (x)

Explication
Le TVI montre que limage dun intervalle par une fonction continue est un intervalle. Nous
avons cependant remarqu que limage dun intervalle ouvert (resp. semi-ouvert) nest pas
ncessairement un intervalle ouvert (resp. semi-ouvert). Le prsent thorme arme quen
tout cas un segment est toujours transform en un segment.

Attention ! Insistons : sur un intervalle qui nest pas un segment, une fonction continue na aucune raison dtre

.
borne en gnral. Pensez la fonction tangente sur ,
2 2
Dmonstration
Soient a, b R avec a
b et f C [a, b], R . Daprs le TVI, f [a, b] est un intervalle.
Contentons-nous de montrer que f possde un maximum mme chose pour un minimum. La proprit de la
borne suprieure dans R nous autorise poser s = sup f [a, b] avec s = ventuellement. Il existe alors une
suite dlments de f [a, b] de limite s, bref, une suite (xn )nN dlments de [a, b] pour laquelle lim f (xn ) = s.
n

En particulier, (xn )nN est borne, donc daprs le thorme de Bolzano-Weierstrass, possde une suite extraite
x(n) nN convergente, disons de limite x [a, b]. Par continuit de f et daprs le thorme des suites extraites,
f (x) = lim f x(n) = s. En particulier s = f (x) R, donc s < , donc f est majore sur [a, b]. Mais lgalit
n

s = f (x) montre aussi que s est mieux quune borne suprieure :


Exemple

s = max f [a, b] .

Toute fonction continue priodique dnie sur R est borne.


En eet Soient T > 0 et f C(R, R) T -priodique. Alors f est borne sur [0, T ] daprs le thorme des bornes
atteintes, donc pour un certain K R+ : x [0, T ],
f (x)
K.
x
x
x
1 <
, alors 0
T
T
T
ce qui montre bien que f est borne sur tout R.

Soit x R. Puisque

2.3

x
T < T , et donc :
T

f (x) = f x

x
T
T

K,

Continuit dune fonction rciproque

Nous avons dj rencontr ce thorme dans notre chapitre sur les fonctions usuelles en version light. En voici prsent la
version intgrale avec dmonstration.
Thorme

(Continuit dune fonction rciproque) Ici, I est un intervalle. Soit f C(I, R). On pose 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 mme sens de variation que f sur J.

c Christophe Bertault - MPSI

y=x
Explication
Nous savons que les graphes de f et f 1 sont symtriques lun de lautre par rapport la droite
dquation y = x. Si le graphe de f est continu, i.e. traable sans quon ait besoin de lever la pointe
du crayon, comment le graphe de f 1 ne le serait-il pas ?

y = f (x)
y = f 1 (x)

Fonction injective,
non monotone,
non continue.

Attention !
Le moindre point de discontinuit ruine la validit de
limplication Injective = Strictement monotone .
Dmonstration

Commenons par montrer lquivalence des assertions (i) et (ii). Nous savons dj que (i) implique (ii), sans
hypothse de continuit dailleurs.
Rciproquement, aisonnons par contraposition en supposant que f nest pas strictement monotone. Alors f
nest ni croissante donc il existe x, y I tels que x < y et f (x) > f (y) ni dcroissante donc il existe
x , y I tels que x < y et f (x ) < f (y ).
Pour [0, 1],
x + (1 )y [x, y],
or [x, y] I,
donc f x + (1 )y
est bien dni.

Notons alors la fonction f (1 )x + x f (1 )y + y de [0, 1] dans R, continue comme


compose. Comme (0) = f (x) f (y) > 0 et (1) = f (x ) f (y ) < 0, alors (0 ) = 0 pour un certain
0 ]0, 1[ daprs le TVI, i.e. f (1 0 )x + 0 x = f (1 0 )y + 0 y .
>0

<0

Pourtant :
(1 0 )x + 0 x = (1 0 )y + 0 y ,
Conclusion : f nest pas injective !

sinon on aurait :

(1 0 )(x y) = 0 (y x ).

Supposons prsent f strictement monotone sur I par exemple strictement croissante. Alors f ralise
une bijection de I sur son image J un intervalle daprs le TVI et f 1 : J I est croissante sur J.
Soit b J. Sous lhypothse que f 1 est dnie au voisinage de b gauche, nous montrerons seulement que
f 1 est continue gauche en b. En tout cas, daprs le thorme de la limite monotone, lim f 1 (y) existe,
yb

notons-la . Comme lim f (x) = f () par continuit de f en , alors lim f f 1 (y) = f () par composition,
yb

i.e. f () = b, et donc enn :

lim f
b

==f

(b).

Exemple Rappelons que nous avons tabli en dbut danne lexistence des fonctions arcsinus, arccosinus et arctangente au
moyen du corollaire strictement monotone du TVI, et leur continuit grce au prcdent thorme de continuit dune rciproque.

Lipschitzianit et continuit uniforme

Dnition

(Lipschitzianit) Soient f : I R une fonction et K R+ . On dit que f est K-lipschitzienne sur I si :


x, y I,

f (x) f (y)

K|x y|.

Explication
f (x) f (y)
xy

Bref, f est K-lipschitzienne sur I si pour tous x, y I distincts :

K.

f (x) f (y)
est le coecient directeur de la corde du graphe de f entre
xy
les points dabscisses x et y. Dire que f est K-lipschitzienne sur I revient donc dire
que les pentes des cordes de son graphe sont majores par K en valeur absolue. Plus
gnralement, dire que f est lipschitzienne revient dire que les pentes des cordes de
son graphe sont bornes.
Par exemple, la fonction reprsente ci-contre droite nest pas lipschitzienne car il
est facile de construire des cordes de pente aussi leve quon veut en valeur absolue
dans les deux zones entoures en pointills.
Or le quotient

On peut toujours ici trouver


des cordes aussi pentues quon
veut, donc la fonction nest pas
lipschitzienne.

c Christophe Bertault - MPSI

Pente +2

Pente +2

Les gures de gauche et de droite illustrent


la 2-lipschitziennet de la fonction reprsente : les cordes issues de chaque point
ont toutes un coecient directeur compris
entre 2 et 2.
Pente 2

Exemple

Pente 2

La fonction x |x| est 1-lipschitzienne sur R en vertu de lingalit triangulaire :

Exemple

|x||y|

|xy|.

La fonction x
En eet

Dnition

1
est 1-lipschitzienne sur [1, [.
x
1
xy
|x y|
1
Pour tous x, y [1, [ :
=
=

x
y
xy
|x|.|y|

x, y R,

|x y|.

(Continuit uniforme) Soit f : I R une fonction. On dit que f est uniformment continue sur I si :
> 0,

Explication

> 0/

x, y I,

|x y| < =

f (x) f (y) < .

Dire que f est continue sur I, cest dire que f est continue en tout point y de I, cest--dire :
y I,

> 0,

> 0/

x I,

|x y| < =

f (x) f (y) < .

Avec la continuit, on se xe donc un point y I et un niveau , et on rcupre un . Si on change de y ou de , on change a


priori la valeur de .
Avec la continuit uniforme, on obtient un en ayant seulement x un . Cet est donc valable pour tout point
y I. Ladjectif uniforme est prcisment l pour signier cette indpendance de par rapport y.

Pour une mme valeur de . . .

. . . mais plus on sapproche de 0, plus la pente est grande


et plus les valeurs de quon trouve sont petites.

A cause de cette vanescence de en 0,


aucune valeur de ne peut convenir
pour tout point.
Il ny a donc pas continuit uniforme.

2
. . . on arrive trouver une valeur assez grande de
pour la continuit en ce point. . .

Thorme
(i) Toute fonction uniformment continue sur un intervalle y est continue.
(ii) Toute fonction lipschitzienne sur un intervalle y est uniformment continue donc continue.

Dmonstration

Soit f : I R une fonction.

(i) Evident : sil existe un uniforme valable pour tout point, alors bien sr quil en existe un pour chacun !

(ii) Supposons f K-lipschitzienne sur I pour un certain K > 0. Soit > 0. Posons =
. Alors pour tous
K
x, y I tels que |x y| < :

f (x) f (y)

K -lip.

K|x y| < K = .

Le thorme prcdent nadmet pas de rciproque en gnral, sauf ci-dessous pour lassertion (i) dans le cas dun
Thorme

(Thorme de Heine) Toute fonction continue sur un segment y est uniformment continue.

segment.

c Christophe Bertault - MPSI

Dmonstration
Raisonnons par labsurde en supposant que f non uniformment continue sur [a, b]. Alors
pour un certain > 0 : > 0, x, y [a, b]/ |x y| < et f (x) f (y)
.
Pour tout n N , nous pouvons donc nous donner xn , yn [a, b] tels que |xn yn | <

1
et f (xn )f (yn )
n

La suite (xn )nN tant borne entre a et b, elle possde une suite extraite convergente x(n)
du thorme de Bolzano-Weierstrass, de limite un certain [a, b].

nN

en vertu

1
, le thorme dencadrement montre que lim y(n) = .
n
(n)

Comme lim (n) = et |x(n) y(n) | <


n

Pour conclure, passons lingalit f (x(n) ) f (y(n) )


0 = f () f ()
> 0 contradiction.

la limite en utilisant la continuit de f en :

Attention ! Le thorme de Heine est vrai uniquement parce quil y est question de segments. Par exemple, la
1
fonction x est continue sur ]0, 1] mais elle ny est pas uniformment continue.
x
En eet

Il sagit de montrer que :

> 0/

> 0,

x, y ]0, 1]/

Posons = 1. Soit ensuite > 0 quelconque. Posons x = min 2, 1


et en outre :

|x y| = x

x
x
= <
2
2

et

|x y| <

et y =

1
1
1
1
2
=
=

x
y
x
x
x

et

1
1

x
y

x
. Il est alors vrai que x, y ]0, 1]
2

1 = .

Extension aux fonctions complexes

Les notions de continuit en un point, sur une runion nie dintervalles et en un point gauche/ droite sont dnies dans
le cas complexe de la mme faon que dans le cas rel ceci prs que | | dsigne la fonction module et non la fonction valeur
absolue. On note C(I, C) ou C 0 (I, C) lensemble des fonctions continues sur I valeurs dans C.
Le rsultat suivant est une consquence immdiate de la caractrisation de la limite dune fonction complexe en un point
laide de ses parties relle et imaginaire.
Thorme (Caractrisation de la continuit partir des parties relle et imaginaire) Soient f : I C une
fonction et a I.
f est continue en a si et seulement si Re(f ) et Im(f ) le sont.

La caractrisation squentielle de la continuit est maintenue. De mme les oprations de combinaison linaire, produit et
inverse sur les fonctions continues donnent lieu aux mmes rsultats que dans le cas rel.
Les grands thormes sur la continuit en premier lieu le TVI sont en revanche faux pour les fonctions complexes. Par
exemple, limage du segment [0, 2] par la fonction continue t eit est le cercle trigonomtrique, qui nest pas un intervalle.